
Suppose 0 = -4*k + 5*d - 19 + 104, -5*k - 3*d + 60 = 0. Let p(q) = -q**2 + 11*q - 2. Let w be p(9). Which is smaller: k or w?
k
Suppose 4*j + 2*z = 32, -j + 1 = 7*z - 10*z. Let m(b) = -b + 24. Let k be m(j). Is k smaller than 17?
False
Let d(j) = -4*j - 148. Let k be d(-28). Let i(u) = 10*u - 4. Let c be i(-3). Is c bigger than k?
True
Let n = -2 + 1.7. Let v = -0.6 + n. Let l = v + 1.9. Which is smaller: -0.05 or l?
-0.05
Suppose 16 - 41 = -5*k. Suppose -k = -14*q - 19. Which is bigger: q or 2/9?
2/9
Suppose 3*d - 2*z - 3*z = 2, 0 = 2*d - z + 1. Let o be d - (-213)/5 - (-6)/15. Is 42 smaller than o?
False
Suppose 3*m - h = -0*h + 85, -4*h + 65 = 3*m. Let w(i) = i**3 - 6*i**2 + 7*i - 15. Let d be w(6). Is m greater than d?
False
Let h be 0/3*12/(-24). Is -6/43 <= h?
True
Let f = 54 + -21. Let v = f + -33. Do 4/3 and v have different values?
True
Let h(c) = c**2 + 3*c + 3. Let m be h(-3). Suppose m*u - 2*u - 50 = 0. Is 49 greater than u?
False
Let m = 10543/42 + -251. Let h = 89/210 - m. Let f = 0.3 + 0. Which is greater: f or h?
h
Let o = -10.8 + 10. Let t = o - -0.4. Let m = 175 - 177. Do t and m have the same value?
False
Let q = 86 + -44. Let h = q - 35. Is h at most as big as 6?
False
Let k(u) = -4*u + 4. Let h be k(0). Suppose 3*s = -4*q + 2*q - 10, 0 = 5*s + 4*q + 20. Suppose 20 = -4*a, 4*p - 2*a + 2 + s = 0. Which is smaller: p or h?
p
Let z = 1.49 - 1.19. Let i = -4 + 0. Let u(c) = c + 4. Let m be u(i). Is m less than or equal to z?
True
Suppose -4*o = -4*x - 140, -x = -4*x - 4*o - 105. Let n = x - -40. Is 9 greater than n?
True
Let v = 1741 - 1738. Let t = 1307/280 + -15/56. Which is smaller: t or v?
v
Let n(z) = -9*z**3 + 8*z**2 + 4*z - 12. Let g(x) = -9*x**3 + 7*x**2 + 4*x - 11. Let i(p) = 7*g(p) - 6*n(p). Let a be i(2). Is a greater than -1/3?
False
Let i be 273/(-22) + (-900)/825. Let u be -12 + 0 + (0 - 1). Is u equal to i?
False
Suppose -4*j - 4 = -n + 5, 14 = -4*j + 2*n. Suppose 3*i = 3*x - 2*x - 1, 4*x - 2*i - 4 = 0. Let c = -2 + x. Do c and j have the same value?
True
Let k be -24 - (-56)/(56/(-7)). Is k != -157/5?
True
Suppose 833*k + 16 = 832*k. Is k less than -17?
False
Let j be (-2)/(-5) + 56/10. Suppose 3*z + 28 = -5*h, -6 = 2*h + h. Let q = z + j. Are q and 4/3 unequal?
True
Suppose -4*w = 5*k + 4 - 31, -4*w - k = -47. Suppose w + 11 = 4*j. Are 0 and j nonequal?
True
Let l(p) = 6*p**3 - 5*p**2 + 21*p + 7. Let x be l(4). Which is greater: 393 or x?
x
Let m(b) = -26*b + 202. Let n be m(8). Which is greater: -90/17 or n?
-90/17
Let v = 4.3 - 7.9. Let u = v - -11.6. Which is smaller: -8/7 or u?
-8/7
Let x(q) be the third derivative of q**5/60 - 29*q**4/24 + 29*q**3/6 - 8*q**2 + q. Let d be x(26). Is -47 at least as big as d?
True
Let k = 226 + -187. Is k smaller than 39?
False
Suppose 22 = 8*y + 6. Suppose y*b + 3*b + 15 = 0. Which is bigger: b or -6?
b
Let v = 481 + -44. Is v <= 437?
True
Let m be (1 - 0)*(3 - 4). Let j = -27 + -23. Let r be (2*(-1)/j)/1. Is m at least as big as r?
False
Suppose q + 5 + 1 = -4*b, 0 = 4*q + 4*b. Let g be -1*1/(-2)*(-8)/(-4). Suppose -g = q*u - 7. Are u and 3 non-equal?
False
Suppose 4*r = 2*y + 34, -2*y + 2*r - 30 = -3*r. Let o = -23 - y. Is 26/9 <= o?
False
Suppose 4*b + 8 - 12 = 0. Let x be 4*(-1)/11*2*b. Is x bigger than -1?
True
Let v = -9 - -4. Suppose 0 = 17*s - 0*s + 119. Which is smaller: s or v?
s
Suppose 4*i = 5*t + 70, 0*i + 4*t = 3*i - 52. Let o = i - 22. Is o at least -4?
True
Let a be -4 + (96/42 - -2). Let v = -0.05 + 0.17. Let t = v - 0.19. Is a at least t?
True
Let q = 13 + -13.5. Let t = -0.6 - q. Let k = -0.53 - -0.83. Which is smaller: k or t?
t
Suppose 0 = 2*l + 30 - 28. Let z = -6/203 + 20/203. Is z < l?
False
Let s(w) = -2*w + 26. Let x be s(13). Let j be (-6)/315*20/28. Is x greater than j?
True
Suppose 0 = -3*x - 4 + 1. Let t be x/3 - (-5)/(-15). Let q = -5 - -4.8. Which is smaller: q or t?
t
Let m = -283 - -278. Are m and 0.06 unequal?
True
Let n = 1599 - 8032/5. Which is bigger: n or -6?
-6
Suppose -10*c + 7*c + 5*w = 11, 0 = -3*w + 12. Let d(r) = -r**2 + 2. Let p be d(0). Let q = p - c. Do -1 and q have the same value?
True
Let w be 2/(-6) + (-4)/6. Let z = -11 + 12. Suppose q = -4*x + z, -24 = q - 3*x - 11. Which is smaller: w or q?
q
Suppose 16 = 5*x - 4*m, -2*x + 9 + 2 = 3*m. Let p be (2/3)/(x/(-36)). Let w be (-56)/p - (-10)/15. Is w less than 12?
True
Suppose 21 = -6*u + 3*u. Let d be 10/(-35) - 9/((-63)/(-37)). Which is smaller: d or u?
u
Suppose -3*u = -4*x + 107, 2*x + 44 = 5*x + 5*u. Let s = -22 + x. Does s = -1/4?
False
Suppose 0 = -4*g - 12*g - 240. Let k be (-3)/(-71)*10/g. Is k >= -1?
True
Let p be (-162)/(-4) - 1*(-3)/12. Is p >= 40?
True
Let o = 55 - 54. Suppose 12*z = -13 + o. Is 2/45 at least z?
True
Let l(w) = 6*w**2 - 4*w + 1. Let n be l(3). Let z = 6222 - 31327/5. Let g = n + z. Is 4 smaller than g?
False
Let p = -339 + 586. Do 248 and p have the same value?
False
Let g(u) = -35*u + 69. Let r be g(2). Which is smaller: -5/42 or r?
r
Let o(y) = -78*y - 43. Let s be o(-4). Is 269 equal to s?
True
Let b = -463 + 406. Do b and -55 have different values?
True
Let p = -3090 - -3080. Suppose -2*o = -3*c - 47, -3*c - c + 3*o = 64. Is p >= c?
True
Let p = -5.1 + 0.1. Let x = 26 - 17. Let t = -8 + x. Is p at most t?
True
Let m = -6 + 9. Suppose 2*z + 5*y = 4*z + 9, 4*y + 2 = -3*z. Let b = m - z. Is b greater than 3?
True
Let c = 266.1 + -260. Is c != 1?
True
Suppose 12*m = 4*m - 224. Let q be 6/4*m/378. Which is smaller: -0.2 or q?
-0.2
Let j be ((-2)/(-3) + 0)/(2/18). Which is smaller: 1/2 or j?
1/2
Let y = -0.29 - -53.29. Let g = y + -54. Which is smaller: g or 4/29?
g
Suppose -4*z + 1 = 4*f - 15, -25 = -4*z - f. Let p be -2 + (-8 + 3)/(-5). Is p greater than or equal to z?
False
Let z be 4 - ((-106)/(-2) + -3). Let j = z + 61. Is 15 at least as big as j?
True
Suppose 545 = 9*y + 1517. Let a = y + 109. Are a and 47 non-equal?
True
Suppose o + 5*s = 16, -2*o - 3*s + 36 = 3*o. Suppose -2*k = -3*d + 15, -d - 5*k - o = -4*d. Is d at least -1?
True
Suppose 14*d = -d + 15. Let t = 8 - d. Is 9 less than t?
False
Let y(q) = 11*q + 2. Let k be y(1). Suppose -16 + k = -3*i. Which is smaller: i or -1/23?
-1/23
Suppose -64*j + 1128 = -88*j. Which is greater: j or -9?
-9
Let s be 5/((-5)/(-6)) + -1. Let r(p) = 13 + 6*p - 9 - 8*p + 5*p**2 - 3*p**2. Let f be r(0). Which is bigger: f or s?
s
Let n(u) = -u - 7. Let g = -20 + 9. Let f be n(g). Suppose f = 2*l + 2. Which is greater: l or -2/9?
l
Let f = 183 - 266. Let j = 83.1 + f. Which is bigger: 0.96 or j?
0.96
Let r = -71 - -60. Let v = 5 + r. Let d be 7*(0 + 0 + -1). Is d > v?
False
Suppose 5*j + 25 = 0, -731 = 3*c - 6*c + j. Is 239 <= c?
True
Let h = 487 - 409. Is h < 74?
False
Let f be 1 - 2 - 0*19/(-380). Let m = -1540 + 7779/5. Let x = 533/35 - m. Are f and x non-equal?
True
Let k = -17 + 12. Let z = 4 + k. Let s be z*2/(-8)*4. Which is bigger: s or 3?
3
Suppose 2*f = 3*a + f - 11, -29 = -2*a + 5*f. Suppose -a*b + 5*b = 3*g + 3, -4*g + 2 = -b. Let u = b + 3. Is u at most 0?
False
Let n = -19.2 - -7. Let q = n - -12. Which is greater: 1.5 or q?
1.5
Let u = -166 + 59. Is u > -107?
False
Let h = 2929 - 6295/2. Which is smaller: -219 or h?
-219
Let n be -36*(3/(-6) - -1). Let j be 17/(-3) + 6/n. Let w be (21/7)/(j - -1). Which is greater: -1 or w?
w
Let w be (16/(-10))/(8/220). Let k = -15 - w. Is 29 < k?
False
Let d be (-14)/77 + (-112)/(-11). Suppose -d = -4*p - 6. Which is bigger: p or 2/43?
p
Suppose -3*v + 4*s + 50 = -v, 0 = 5*v + 5*s - 155. Is 0.07 less than or equal to v?
True
Suppose 4*k - 32*f = -24*f - 12, 11 = 3*k - f. Let o(a) = -a**2 - 5*a - 3. Let m be o(-3). Let y be (3*m)/((-6)/(-4)). Is k equal to y?
False
Let s = 31 + -10. Let k = 18 - s. Which is smaller: k or -2/25?
k
Suppose o + 3*r = 5 + 7, o - 14 = -4*r. Suppose -o*z + 20 = -10. Let f be (0 - -1*1)*2. Which is greater: f or z?
z
Let g be 0 + 3 - 84/30. Suppose -6*b - 20 = 4*c - b, 0 = 4*c + b + 4. Is g <= c?
False
Let u(i) = 3*i**2 + i + 1. Let h be u(-1). Let r(f) = 7*f**2 - f + 5*f**2 - f**h + f**2 + 11. Let b be r(13). Is b greater than or equal to 2?
False
Let a = 2/253 + 90/253. Suppose -21 + 11 = -10*o. Are o and a equal?
False
Let p = -379/150 - -2/75. Let x = -30 - -28. Which is smaller: x or p?
p
Let o = 34 - 24. Let r be ((-76