alse
Suppose 4*l - 8 = -24, 56 = -4*j - l. Let r be ((-26)/(-3))/j*(2 - -1). Which is smaller: 1 or r?
r
Suppose 4*p + 23 = 3*s, 9*s = 8*s - 5*p + 14. Suppose -v = 3*v + 7*f - 21, -v = -3*f + s. Is v > -1/267?
True
Let y = 0 - -0.3. Let o be (1/(-4)*0)/5. Suppose 9*p - 20 + 2 = o. Do y and p have the same value?
False
Let t = 170 + -169. Let c be ((-1)/t - 1)*1. Let o = 10 - 35. Which is bigger: c or o?
c
Let g be ((-1)/(-6))/((-2)/45). Let a = 41920 - 41918. Which is greater: a or g?
a
Let v be (14/5)/(3/(-15)). Let q be (-17)/((-119)/(-63)) + 139. Let u be (v/(-8))/(q/40). Do 1 and u have the same value?
False
Suppose 4*u + 18 = -6. Let t be 0 - -3*u/(-63). Let r = -1694 + 1695. Which is smaller: t or r?
t
Let i = 8161 + -481513/59. Which is bigger: i or -1?
i
Let v = 4080 + -12242/3. Is 2363 <= v?
False
Suppose -3*y - 44 = -5*k, -4*y + 2*k = 6*k + 16. Let b be 234705/(-1218) + y/28. Let t = 193 + b. Is 1 at least as big as t?
True
Let v(d) = -d**3 + 14*d**2 - 13*d - 15. Let p be v(13). Let h be 54/15 + p/25. Let c be (3/(-54))/(h/(-45)). Is 1 at most c?
False
Let k = 125 + -19. Let b = 105.97 - k. Is -6 at most b?
True
Let o(n) = -n**3 + 12*n**2 + 32*n + 34. Let d(u) = u**3 + 17*u**2 - 37*u + 34. Let v be d(-19). Let a be o(v). Which is smaller: -162 or a?
-162
Suppose 5*f + 5*x - 75 = 0, -4*x + 5*x - 51 = -3*f. Let g be f*(-3 - (-50)/15). Let d be (6/4 - g/(-12))/2. Is 3/4 at least d?
False
Let m = -49.5 - -19.5. Let h = -0.02 - -23.02. Let v = m + h. Which is greater: -1/6 or v?
-1/6
Let z = -661 - -2297. Is 1636 <= z?
True
Let f = -327 + 174. Let d be (-18)/f + (-206)/17 + 0. Which is greater: -3 or d?
-3
Let d = -104.9 + 23. Let s = d - -82. Let t = 0.4 + -0.362. Which is greater: s or t?
s
Let u = -2167/7 + 8689/28. Which is bigger: u or 0.53?
u
Suppose -4*m = 2*q - 26, 4*q - 5*q - 4*m + 23 = 0. Suppose 0 = -0*n - q*n. Let c be -3 - (4 - 1820/304) - -1. Is n less than c?
False
Suppose -109 = -14*j - 25. Suppose 5*z + j*c - 2*c + 1 = 0, 3*c = 4*z + 7. Let l = -249/8 - -121/4. Is z < l?
True
Let u(y) = 4403*y**2 + 2*y. Let d be u(-1). Let v = -206839/47 + d. Which is smaller: 0 or v?
0
Let f be ((-2)/2)/(3 + (-1969)/(-22)). Suppose -10 = -3*z - 1. Let h be (-2)/z - (-4)/6. Which is bigger: f or h?
h
Suppose g + 0*u + 64 = 2*u, -3*g - 152 = 4*u. Suppose -981 + 4722 - 47061 = 760*w. Are g and w equal?
False
Suppose -42*v = 2*l - 40*v + 16914, -5*l - 2*v = 42279. Is -8454 greater than l?
True
Let j = -45.08 - -44.08. Let g = 142 - 231. Is j < g?
False
Let q be (-3)/12 + (-13)/416*-12424. Is q at least -2/11?
True
Let n be ((-24)/2172)/((-9)/81*-327). Which is smaller: 1 or n?
n
Suppose -4*j - 6 = -327*k + 326*k + 17, -j - 6 = 0. Let r = 1/13344 - -26165/6978912. Is r less than or equal to k?
False
Let r = 54 + -52. Let u be (1/(-2))/(1/r). Is -1/199 bigger than u?
True
Suppose 391*b = -2*b + 342 + 51. Are b and -4/5685 unequal?
True
Let x = -49 + 57. Suppose 5*y = 13 - x. Suppose -8 = -11*q + 7*q. Is q smaller than y?
False
Let g be -3*((-110)/15 - 91/(-13)). Which is bigger: g or -7/32?
g
Suppose 3181 = o + 3205. Let z(g) = -5*g**2 + 2*g. Let t be z(-2). Is t != o?
False
Let m = 79 - 75. Suppose 3*a = m*i + 14 - 2, -i = 2*a + 3. Suppose -3*k - 58 + 55 = a. Which is greater: -2/127 or k?
-2/127
Let f = 7938664 - 1952914205/246. Let t = -142/41 - f. Is t at least 8?
True
Let r be (-22)/(-24) - (-4)/(-6). Let b = 444.33 - 442. Let o = 2.35 - b. Which is smaller: o or r?
o
Let v = -0.017 + -1.883. Let o = v - -2.64. Let y = -0.54 + o. Is y at most as big as 0.08?
False
Let b(x) be the first derivative of x**4/4 - 2*x**3 - x**2/2 + 3*x - 18. Let f be b(5). Is f > -26?
False
Let d(p) be the second derivative of -p**3/6 - 3*p**2/2 - 51*p - 2. Let v be d(-10). Which is smaller: 5 or v?
5
Suppose 264*m - 335*m = 0. Let t be ((-2)/(-62))/(2/2). Is m greater than or equal to t?
False
Suppose -y - 4*y + 1 = 2*c, 0 = 2*y + c. Let j = -5052 - -4984. Is j >= y?
False
Suppose -5*c - 65 = -3*k + 27, -3*k = 3. Let l = c - -14. Let n be (48/(-2100))/((-2)/l - 0). Which is bigger: n or -1?
n
Let i(c) = -c**3 + 11*c**2 - 18*c + 268. Let h be i(10). Does h = 0.33?
False
Let b = 1.2347 - 0.2347. Which is greater: b or 9082?
9082
Let y = 6/1375 + 1351/5500. Is y at least 53?
False
Let p = 265 - 257. Let w(d) = d**3 + 5*d**2 + 5*d + 4. Let j be w(-4). Let o = -1 + j. Which is smaller: o or p?
o
Suppose -2*i - 5*r - 6 = -0, 4*i - 2*r = 12. Suppose -p = i*p + 645. Which is smaller: p or -213?
p
Let o(q) = 7*q**2 + 24. Let k(d) = -12*d + 77. Let f be k(7). Let w be o(f). Is 368 >= w?
True
Let z = 20 + -43. Is -14 bigger than z?
True
Suppose -3*g = -5*r + 6087, 0 = 2*r - 5*r - 2*g + 3656. Suppose -12*c + 1038 = -r. Which is smaller: 1 or c?
1
Let g be (-2)/584*-8*(-3 - (-644)/212). Do g and 0 have different values?
True
Let c = 25084081/609 + -41189. Which is smaller: c or 0?
c
Suppose 184*d + 85481 = 370497. Is d greater than 1551?
False
Let p be 8/(-14)*112/(-16). Let y be 2/p*(0 - -69 - -3). Let h be 4*3/y + 0. Which is greater: h or -26?
h
Suppose -2*t + 18 = -c + 3*c, c = 1. Let d(k) = 19*k**2 - 160*k + 2. Let q be d(t). Suppose 2*w = -0*w - 124. Is q less than or equal to w?
True
Let w = -12.6035 - 1.5585. Let h = -0.838 + w. Which is greater: h or -12?
-12
Suppose -s - 7 = 4*k + 14, 2*s = 5*k + 10. Let v(m) = 3*m**2 + 15*m. Let z be v(s). Which is bigger: z or 0.0454?
0.0454
Suppose 0 = 2*s + 243*b - 247*b + 374, 4*s - 2*b + 724 = 0. Is s greater than -2310/13?
False
Let s(v) = 6 + 0 - 12*v - 4. Let i be s(2). Let o = i + 22. Is o at least as big as 12/11?
False
Let k = 26567 + -27695. Which is smaller: -1129 or k?
-1129
Let y = -562 - -567. Let i be y/(-2) + 9*(-856)/(-2736). Which is smaller: i or 0?
0
Let u(f) = f**3 + f**2 - 2*f. Let b be u(2). Let s = 7 - b. Which is greater: s or -30?
s
Let a = -120446970 + 18910666796/157. Let u = a + -3137. Which is greater: 1 or u?
1
Suppose 4*b + 9 = 2*i + 337, -3*b = 6. Is -1170/7 <= i?
False
Let i = -82.37 + 82. Let p = 0.17 + i. Which is bigger: p or 0.009?
0.009
Let a be (-117)/(-12) - ((-4)/4)/4. Let o be (-177)/93 + -4*(-5)/a. Suppose 0 + 1 = m. Which is smaller: o or m?
o
Let j = 1938 - 1922. Suppose 2*r = -5*m + r - 44, -2*r - 40 = 4*m. Let u(c) = -c**2 - 7*c + 6. Let z be u(m). Which is greater: j or z?
j
Let u(r) = 3 + 4*r + 9*r**2 - 8*r - r**3 + 5. Let k(n) = -11*n - 46. Let q be k(-5). Let j be u(q). Which is greater: j or 0.2?
0.2
Suppose 0 = -2085*c + 2094*c + 8361. Which is smaller: -931 or c?
-931
Let q = 5.767 - -0.217. Let a = q - 5.9. Let i = 0.084 - a. Is 63 less than or equal to i?
False
Suppose -3*f = 2*f + 25. Let q = -505487 + 505470. Is f < q?
False
Let a = -65 + 71. Suppose h - 4*y - 4 = 0, 4*h + 3*y - 3 = -a. Let u be 4/(-10) + 7/(-45). Is h <= u?
False
Let g(k) = -5*k + 68. Let d be g(41). Is d smaller than -106?
True
Let b = 1/203 - 755/70847. Let y(g) = -g**2 - 6*g + 8. Let i be y(-7). Which is smaller: b or i?
b
Suppose -4*r + 3*h - 391 = r, -4*r = -4*h + 308. Let p be (-224)/r + -2*1. Which is smaller: -2 or p?
-2
Let g = -261.039 - -0.039. Let c = g + 253. Which is greater: c or 0.5?
0.5
Let w = -144.806 + 145. Let n = w + 0.206. Let b = -1 + 2. Is n smaller than b?
True
Let q = -0.0769 - -29.0769. Which is smaller: -47 or q?
-47
Suppose 5*b + 65 = -11*j + 10*j, 5*j + 3*b = -237. Which is bigger: j or -26?
-26
Suppose 2*w = -5*x + 19, -2*w + 6*x = 4*x + 2. Which is bigger: 87/26 or w?
87/26
Let s = 22638.6 - 22639. Is -862 bigger than s?
False
Let h = -3.991 - 0.009. Let q = -4.88 - 0.12. Let a = h - q. Which is smaller: 0.012 or a?
0.012
Let y = 0.384 + -0.154. Let k = y - -1.77. Is -2/3 at least as big as k?
False
Suppose i - 4*x - 1185 = 0, 5*i + 6*x - 5849 = 7*x. Which is smaller: i or 1171?
i
Let c(v) = -3*v**3 - v**2 + 75*v - 2. Let o be c(8). Which is smaller: -5014/5 or o?
-5014/5
Let v = -35/8 - -37/8. Let f = -440.067 - -440. Do v and f have the same value?
False
Suppose -22*f + 28268 = 31524. Is -115 smaller than f?
False
Let x = -146 - -145.34. Let o = x + 11.66. Are -0.2 and o nonequal?
True
Let u = -2/1103 - -58489/16545. Let v = u - 829/120. Let o = v - -259/72. Which is bigger: -1/10 or o?
o
Let x be (-4)/(-54)*3 + (-1675714)/2043. Are x and -5750/7 equal?
False
Le