/1921115. Which is smaller: z or 0?
z
Let k(j) = -j**2 - 9*j + 1 - 4*j + 16*j. Let x be k(3). Which is bigger: x or -2/25?
x
Let w be (-2)/(2/(-3)) - -2. Suppose -w*a = 20, -a - 2 = m + 2. Suppose -5*c + 0*c - 10 = m. Which is bigger: -1 or c?
-1
Let s(x) = 8 + 0*x + 5 + 3*x. Let t(w) = w + 1. Let v(h) = s(h) - 2*t(h). Let z be v(-7). Is 6 less than z?
False
Let r be 154/(-19) + (-582)/(-114) + -5. Let c be 4/(-6)*(-6)/(-4). Let w be (10 + -1 - 2)*c. Is r at least w?
False
Let j be (1 - 6)*6/(-3170). Which is smaller: -1 or j?
-1
Suppose 0 = -4*d + 4*t + 16, 0 = d + t + 4*t + 8. Let z = -13 - 10. Let i = 24 + z. Which is greater: d or i?
d
Suppose -64*c + 117 = -55*c. Which is smaller: 24 or c?
c
Let u be -5 - (-4)/(4/(-667)). Let b = u + 24861/37. Which is bigger: b or -1?
b
Suppose 7*i - 1140 = 2*i. Suppose i = -3*s - 3*s. Is s at least as big as -38?
True
Let b be 4/(112/21) + (-34)/64. Which is smaller: -1 or b?
-1
Let u(l) = l**3 - 13*l**2 + 16*l + 18. Let z be u(12). Suppose 74 + z = 10*y. Which is smaller: 15 or y?
y
Let y(c) = 3*c - 16. Let z be y(5). Let i(g) = -5*g**3 + g**2 - 1. Let s be i(z). Suppose l + 12 = 4*b, s*l - 4*b + b + 9 = 0. Which is smaller: 2 or l?
l
Let g = 74.9 + -73. Let i = -13 - -15. Let j = i - g. Which is bigger: j or 3?
3
Suppose -8*d + 424 = 45*d. Is 0.22 smaller than d?
True
Let w = -505 + 506. Is -2/1053 >= w?
False
Let z = -30 + 30. Let j(n) = n**2 - n - 3. Let w be j(z). Which is smaller: -12/7 or w?
w
Let l(b) = 2*b + 6. Let u be l(-5). Let a be (-165)/10 - u/8. Which is bigger: a or -15?
-15
Let f = -935152/67 + 75784595/5762. Let s = f - -805. Is s at most 1?
True
Let u(l) = -8*l - 72. Let v be u(-9). Is -1/20 not equal to v?
True
Let z = 27 - 22. Suppose -z*g + 25 = -r, 5*r = -4*g + 25 + 24. Do -1 and g have the same value?
False
Let c be 4 - (3 + 5452/(-16)). Let n = -339 + c. Do n and 4 have different values?
True
Let s(j) = 87*j**2 - j + 1. Let h be s(1). Suppose z - 14 - 21 = -5*b, 3*b + h = 3*z. Let c be 65/z + 1/(-6). Is c > 1?
True
Let f be 16/4 + 36/(-9). Is f < 2/59?
True
Let x = 683/19 + -36. Suppose -g - 14 = -5*z - 0*z, 2*g - 8 = -2*z. Which is smaller: g or x?
x
Let u(x) = 4*x**2 + 5*x + 6. Let c be u(-4). Suppose -7*i + c = -2*i. Suppose 4*w = -3*r + i, -4*r + 4*w + 2 = -r. Which is smaller: r or 7/6?
7/6
Let d = -1.7 - -30.7. Let y = d + -36. Is y at least as big as -0.1?
False
Suppose -122*o = -121*o + 19. Which is greater: o or 0.2?
0.2
Let g(u) = 18*u**3 - 5*u**2 - 15*u + 62. Let v be g(3). Which is smaller: v or 459?
v
Let p = -171/5 - -9561/280. Which is smaller: p or 0?
p
Let q = -45413/93 - 8226/31. Let j = 772 + q. Let x = -18 + j. Is x greater than or equal to 1/2?
False
Suppose -2*z + z = -15. Suppose -43 = -3*a + j, 3*a + 5*j = 10*j + 35. Is z < a?
False
Let k = 32 + -23. Suppose 11*t - k*t = 68. Which is bigger: t or 35?
35
Let u be 22 + (-12)/2 + 6. Is u less than 11?
False
Let c be (-2)/(-4) + 35/(-30). Suppose w - 40 = -4*j, 4*j + 4*w = 31 + 9. Let s be j/(-12)*4/10. Which is bigger: s or c?
s
Let t = -895 + 895. Let b(g) = -g**2 - 3*g + 6. Let o(k) = -k**2 - 2*k + 5. Let u(p) = 6*b(p) - 5*o(p). Let x be u(-9). Does x = t?
False
Let b = -287 - -295. Suppose 20 = 2*p + 4. Is p less than or equal to b?
True
Let j = -375 - -429. Which is smaller: 55 or j?
j
Let m be (-18)/54 + 1678/(-24). Is -70 <= m?
False
Let c be (48/(-9))/((-2)/36). Suppose -8*p + 4*p + c = 0. Suppose -2*z + 2*g + p = -2*g, 4*z - 13 = g. Is z at least 13/5?
False
Suppose m + 3*f - 59 = -1, 38 = m - 2*f. Suppose -5*r - m - 79 = 0. Which is bigger: -24 or r?
-24
Let p = -580 + 579. Which is greater: p or -3/277?
-3/277
Let x(l) = -4*l**2 - 27*l - 7. Let i be x(-7). Is i smaller than -13?
True
Let u = 1013 - 1037. Are 10 and u unequal?
True
Let v = -252 - -246. Let b(d) = -4*d**2 - 2*d + 1. Let z be b(1). Which is greater: z or v?
z
Let l(q) = -8*q. Let s be l(-4). Let r be ((-606)/s)/(18/(-8)). Let o = r + -27/4. Is o bigger than 3?
False
Suppose -3*a + 11 = -4*y, 5*a + 4 = 4*y + 25. Which is bigger: y or -2/171?
y
Let r(t) = -t**3 - 6*t**2 + 19. Let i be r(-6). Which is smaller: i or 20?
i
Let l be (-864)/5236 + 0 - (-10)/55. Is 1 < l?
False
Let j = -822 - -822.12. Which is smaller: -15 or j?
-15
Let r = 39 - -7. Let n = r + -41. Which is smaller: n or 8?
n
Let f = -274.4 - -276.4. Which is smaller: f or 28?
f
Let q be ((-108)/(-16))/(9/(-3)). Let f = 36 - 20. Let w = 14 - f. Which is bigger: q or w?
w
Let r(v) = -v**2 + 13*v - 3. Let f be r(12). Suppose -f*q + 25 = -74. Which is smaller: 1/4 or q?
1/4
Let i(s) = -s**3 - 9*s**2 + 7*s - 25. Let n be i(-10). Let t be 3*(-2*1)/(-2). Let h be -6*((-20)/t)/n. Is h < 7?
False
Let h = 908 - 906. Is 11/19 > h?
False
Suppose 4*s - 43 = -3. Suppose -6 = y - s. Let t be y/(-6) + (-24)/18. Is t at most -5?
False
Let d = 21 + 12. Let x = 34 - d. Which is greater: -1.9 or x?
x
Let w = -0.27 + -0.83. Let l = w - -0.1. Let s = -170 + 171. Which is smaller: s or l?
l
Let j = -590 - -1189. Which is bigger: j or 1?
j
Let y(o) = -2*o**2 - 6*o + 4. Let t be y(-7). Let b be (38/14 - 3) + t/(-84). Suppose -2*d = 4*c - 2, -3*d = -c + 1 - 4. Which is bigger: b or d?
d
Let k be 0*(-1 + 0)/1. Let z(o) = 6*o**2 - 22*o**2 - o + 7*o**2 + 10*o**2. Let c be z(k). Is c at most as big as 2/15?
True
Suppose -5*w = 224 + 331. Let d be -4 + (-783)/w + -3. Which is smaller: 2/11 or d?
d
Let s = -1299 + 1298. Is 7/102 equal to s?
False
Suppose -4*f + 3 = 19, 3*r - f - 8560 = 0. Let j be 4/(-26) - (-4 + r/52). Which is bigger: -52 or j?
j
Let p = -1726.473 - -1727. Is 1 < p?
False
Suppose -36*u = 8239 + 9689. Is u >= -498?
True
Let n = -0.04 + 0.0225. Let g = n - -20.3175. Let w = g - 20. Which is smaller: w or -2/5?
-2/5
Let a = 2.368 - -0.032. Let p = -32.6 - a. Which is smaller: p or 0?
p
Let a = 38 + -79. Let x be -16*2/(-32)*0. Which is bigger: x or a?
x
Let h be 1973/15*80/32. Let c = h - 328. Which is smaller: 2 or c?
c
Suppose -9 = 4*t - 1. Let p be -3 - t - 15/(-35). Is -2 at least p?
False
Suppose 5*k + 178 = 38. Let w = 29 + k. Is 6 at most as big as w?
False
Let f = 373 + -362. Is f less than 126/11?
True
Suppose 0 = 5*k - 50 - 5. Suppose y + k = -2*h - h, -2*h - 19 = 3*y. Is h smaller than -4?
False
Let q be (-120)/90*27/6. Are -142/21 and q unequal?
True
Let s be 572/6 - ((-24)/9 + 2). Let r = -70 + s. Which is bigger: r or 28?
28
Suppose -s + 3*c - 4 = 0, -2*c = s - 3 - 3. Which is smaller: s or 42.5?
s
Let z = -777/340 - -38/17. Let x = -0.43 - -0.33. Which is greater: z or x?
z
Let h(u) = -u**3 + 13*u**2 - u + 17. Let o be h(13). Suppose -i + v = 4*v - o, -i = v + 2. Which is greater: -4 or i?
-4
Let p = -0.6 + 3.6. Suppose -22 - 122 = 3*q. Let w = -95/2 - q. Which is smaller: p or w?
w
Let a = 25 - 43. Let i = a - -19. Let f = 979/10 - 98. Which is smaller: i or f?
f
Let z = 43 - 31. Let u = z + -5. Let v = u - 8. Does -1 = v?
True
Suppose 72*o - 77*o - 5*t - 2300 = 0, 0 = 3*o - 2*t + 1380. Are -460 and o nonequal?
False
Let t = -0.334 - 0.646. Which is smaller: t or 0.2?
t
Suppose 3*k - 20 = 5*r, 2*r + 2*k = k - 8. Let t = r + 20. Do t and 17 have the same value?
False
Suppose -6*y = -0*y - 11*y. Suppose -2*a - 3*a = -15. Suppose 4*u + a = 7. Which is bigger: y or u?
u
Suppose -2*g = -3 - 1. Suppose 2*w = -g + 4. Do w and 2/67 have different values?
True
Let h = 6280/3 - 2035. Is h bigger than 59?
False
Let n = 24.99 - 25. Let s = -2.01 - n. Which is smaller: s or 1/3?
s
Let f(u) = -u - 6. Let l be f(-5). Suppose -16 = -6*i + 10*i. Let k be 2/i*(-1)/(-3). Which is bigger: k or l?
k
Let j = -17 + -70. Let u = 86.6 + j. Do u and -13 have the same value?
False
Let i = 823483 - 303865435/369. Let q = -14/41 - i. Is q at most as big as 1/3?
True
Let s = 6.739 + 0.061. Let i = s + 2.2. Let d = -10 + i. Are d and -0.1 equal?
False
Suppose 0 = -4*c - 3*h + 2*h - 141, -155 = 5*c - 3*h. Let r be 4/(-3) - c/(-60). Let j = 2/5 + r. Which is smaller: j or -2?
-2
Let b be ((-189)/(-42))/(9/(-336)). Is -167 at least as big as b?
True
Let r(d) = -d**2 - 4*d - 12. Let z be r(-6). Let t = -31 - z. Which is smaller: -10 or t?
-10
Let n = 12 + -12.3. Let s = -2 + -13. Let o = 16 + s. Is o at most as big as n?
False
Let v be (4/72)/((-2)/(-8)). Let f = -5/18 - v. Which is greater: -34 or f?
