. Let x = t - -26. Which is smaller: 16 or x?
16
Let i = -0.12 + 0.141. Let h = 2.021 - i. Let f be (-3 + 1)*2/4. Which is smaller: f or h?
f
Suppose 2*s - 19*y + 16*y - 67 = 0, -y = -3. Does s = 40?
False
Let s be 3 + (2 - (-1 + 13)). Let k = 0.088 - -0.012. Is s bigger than k?
False
Suppose 0 = 35*x - 33*x - 2. Which is smaller: x or 1/231?
1/231
Suppose 3 = -2*g + 3*g. Let x be (-19 - -4)*22/g. Let n be 24/x + (-4)/22. Which is greater: 0 or n?
0
Let v(c) = -c**3 - 9*c**2 + 12*c + 14. Let f be v(-10). Let s be ((-3)/f*0)/(-2). Let r be s - (9/(-3) - -3). Which is smaller: r or 1/12?
r
Let c be 0 + (5 - (29 - 0)). Which is greater: c or -23?
-23
Suppose 6*k = 25*k - 19. Do k and 1/208 have the same value?
False
Suppose 2*m = -4*v + 190, 275 = -14*m + 17*m + 4*v. Let o = m + -84. Which is bigger: -5/21 or o?
o
Suppose -3*z = -5*f + 12, 4*z + 22 = 4*f + 6. Which is smaller: f or 1/2219?
f
Let g be ((-4)/10)/(((-10854)/315)/(-18)). Is -1 less than g?
True
Let l = -389.2 - -332. Let i = -12.8 + l. Which is smaller: -1 or i?
i
Let k be (35/21)/((-4)/36). Let n(q) = 16*q**3 + 32*q + 32. Let y(s) = s + 1. Let a(i) = -n(i) + 32*y(i). Let d be a(1). Is k at least as big as d?
True
Let m = 314 + -2196/7. Which is smaller: m or 0?
0
Let u be 4/(-2) - (-12 + -6). Suppose 2*k = u + 6. Let y = -45/4 + k. Are y and -3 unequal?
True
Let o(d) = -d**3 - 29*d**2 + 94*d + 23. Let u be o(-33). Which is smaller: 1278 or u?
u
Let u = 252.8 - 276. Let p = -0.4 - u. Let i = 24 - p. Which is smaller: 0 or i?
0
Let g = -452 + 451.94. Let d be ((-2)/39)/(1/3). Which is bigger: g or d?
g
Let n = -335205/79 - -4243. Are 1 and n unequal?
True
Suppose 3*f + 65 = -2*n, f - 25 = 2*f + 4*n. Which is bigger: -2 or f?
-2
Let g be 6/(-4)*6013/(-42)*4. Which is greater: g or 860?
860
Let o(j) = -j**3 - 6*j**2 - 11*j - 2. Let k be o(-3). Suppose k*c - 4 = 0, -4*w - c - 54 = w. Which is bigger: -19/2 or w?
-19/2
Let w(i) = i + 5. Let t be w(0). Let r be 22/t + 12/(-30). Suppose o = 5*c + 21, -r*c - 3*o = -4*o + 17. Which is smaller: c or -3?
c
Let p(d) be the first derivative of d**2/2 - 7*d + 23. Let k be p(9). Let w = 0.01 - -0.29. Are k and w unequal?
True
Suppose m - 58 = -5*y + 80, -5*m + 736 = 2*y. Which is smaller: 147 or m?
147
Suppose 7*p = 3*p - 600. Let s be (295/(-20) + -2)/(5/(-45)). Let v = p + s. Which is smaller: v or 0.1?
0.1
Let x be 424/214 + (-6)/3. Suppose 0 = 4*b - 3*v + 6, -3 + 9 = 2*b + 3*v. Is b >= x?
True
Let y be (190/(-22) - -4) + 4. Let a = -481/99 - y. Which is greater: a or 2/5?
2/5
Let s = -281.97 - -293. Let b = s - 11. Let h = b - -0.17. Which is smaller: h or 2/9?
h
Let v be (384/(-56))/((-6)/(-4)). Let d = v + 423/91. Is d at least 1?
False
Let g be (2 - -4) + 14 - (1 - -1). Let u be ((-16)/(-10))/(g/45). Which is smaller: -3 or u?
-3
Let t = -287 - -300.94. Let f = -34 - -20. Let p = t + f. Is p > 1?
False
Suppose 2*p - c - 56 = -5*c, -4*p + 5*c = -86. Let f be 4/(p/18 + -5). Let s(n) = n**3 - 2*n**2 - 2*n - 1. Let g be s(-1). Which is greater: f or g?
f
Let z be (3 - 1)/(-12 - -13). Suppose f + 4 = 3*k + 25, 2*k - 82 = -z*f. Suppose -4*w - f = 3*o + 3, -3*w = 2*o + 27. Which is bigger: o or 1/3?
1/3
Let k(q) = q**2 + q + 11. Let g be k(-9). Suppose -3*y - 5*l - 119 = 0, -l = -3*y + 3*l - g. Is -32 equal to y?
False
Suppose 67*d = 71*d + 456. Which is bigger: -229/2 or d?
d
Let z(y) = -2*y - 11. Let w be z(-8). Suppose w = -m + 1. Let o be (m/70)/(4/20). Which is bigger: o or -0.1?
-0.1
Suppose -147*c + 146*c - 80 = 0. Do -77 and c have the same value?
False
Let k = 117 + -107. Suppose -4*l - 3*c + 62 = 21, -3*l + 4*c = -37. Suppose -d + 2*d = l. Which is smaller: d or k?
k
Let z = 277 + -240. Which is smaller: 45 or z?
z
Suppose -4*w + 8 = -2*l - 0, -3*w = -l - 7. Suppose 10 = 4*v + l. Let z be (-1)/v - (-12)/88. Which is smaller: z or 1?
z
Let c = -64 - -63.71. Let z = -4.9 - -6.19. Let w = c + z. Is w at most as big as -0.19?
False
Suppose -20*t + 2376 = -744. Which is smaller: t or 155?
155
Suppose -1499 = -n - 3*s, -7*n + 5948 = -3*n - 4*s. Which is smaller: n or 1489?
1489
Let n = 5.03 - 5. Let k = n + 1.97. Let r = -149 + 149.3. Is k bigger than r?
True
Suppose 22*c + 72 = 50. Which is smaller: c or -9/29?
c
Let b be 26678/3*1/(-908). Let h = 9/227 - b. Let z = h + -31/3. Which is smaller: z or -1?
-1
Let b = 737 + -855. Is -122 <= b?
True
Let j = 4 + -3.79. Let z = j + 0.09. Let i = z - 0.4. Is i at most as big as -0.1?
True
Let r = -9.25 - -7.91. Does 0 = r?
False
Let j = 2710 + -18934/7. Is 5 greater than or equal to j?
False
Let k = 2 + 1. Suppose 0*p + i = 2*p + 5, 3*p = k*i - 9. Let u be -2 + (-5)/((-15)/(-6)). Which is greater: u or p?
p
Let v = 491 - 471. Is v greater than or equal to 0?
True
Suppose 68*q + 13 = 72*q + v, -q = -3*v + 13. Which is greater: q or 19/13?
q
Suppose -s + 2*a + 42 = 4*s, -4*s - 2*a + 30 = 0. Which is smaller: s or -32?
-32
Let k be 4/((1 + -2)*(-28)/(-42)). Let m be (2 - 32)/3 + -3. Let r = -21 - m. Do k and r have the same value?
False
Let d = -23 + 24. Suppose -d = a - 5. Suppose a*c = c. Are c and -8/7 unequal?
True
Let g = -1.9 + 3.8. Let y = 2 - g. Let z = -163/370 + 3/74. Which is smaller: y or z?
z
Suppose 5*y + 18 = -3*j, -2*y + 5*y = 0. Let t = j + 4. Let p be 33*t/27 + 2. Are p and -1 unequal?
True
Let m(j) be the third derivative of j**6/120 - j**5/12 + 5*j**4/24 - j**3/2 + 11*j**2. Let c be m(4). Which is greater: -1/34 or c?
c
Let r(t) = -9*t + 47. Let q be r(-6). Let v = 2726/27 - q. Is 1 != v?
True
Let h = 103 - 195. Let s = -93 - h. Which is smaller: s or 2/111?
s
Let b = -54 - -56. Suppose -3*p = b*p - 2*h - 43, -3*p + h + 25 = 0. Do p and 7 have the same value?
True
Suppose -4*w + 10 = -2*r - w, -5*r + 13 = 2*w. Let t = -293 + 292.94. Which is greater: t or r?
r
Let p be (-4)/(-16) + 4258/(-8). Let w be 1*-2 + p/(-247). Which is greater: w or -1?
w
Let n = 67 + -67. Is n bigger than -19?
True
Let x = 419880/91 - 4614. Let q(c) = c**2 - 74*c + 145. Let t be q(2). Which is smaller: t or x?
x
Suppose 371*i + 3 = 374*i. Is -2/189 less than or equal to i?
True
Suppose -2*l = -5*u + 12, 3*l = 11*u - 9*u + 4. Let k be l - 5 - (2 - 4/12). Is k bigger than -0.1?
False
Let x = -1023 + 365. Is x at least as big as -658?
True
Let j = -2/887 + -819/30158. Let d be (-1 + 0)/(5/5). Does j = d?
False
Let d be -4 + (6 - 5) - -35. Is 27 smaller than d?
True
Let u = -110 + 33. Let y = u + 77. Is -0.2 less than y?
True
Suppose -k + 9 = -u + 1, 2*u = 10. Let x be (k + -12)/(409/2). Does x = -1?
False
Suppose 0 = -5*r - 28 - 2. Let z be (2/r)/(7/33) - -2. Which is greater: z or -1?
z
Let q(f) = -7*f - 48. Let l be q(-20). Is l less than or equal to 91?
False
Let v(b) = 57*b - 4. Let x(c) = 19*c - 1. Let h(p) = -6*v(p) + 17*x(p). Let k be h(-2). Is 45 <= k?
True
Let h = 373/2 - 191. Let n = 31 + -5. Let p = n + -30. Which is greater: p or h?
p
Let s = -4 - 7. Let h be -1 + ((-12)/(-4) - 1). Let a be (h - -1)*(10/(-4) - -2). Is a <= s?
False
Let f(l) = -l + 14. Let w be f(-24). Do w and 34 have different values?
True
Suppose 338 = 5*t + 58. Let m be ((-15)/12)/(2/t). Is -34 less than m?
False
Let m = 354.7 - 350. Which is bigger: m or -2/7?
m
Let l(w) = -w**3 + 53*w**2 + 6*w - 18. Let i be l(53). Is i bigger than 297?
True
Suppose -2*k = 3*d - 42, d = 6*d + 4*k - 68. Suppose 3*y + b = 11, -5*y + 13 = -0*b + 3*b. Suppose -d = y*m + 9. Which is smaller: m or -4?
m
Suppose -140 + 143 = -3*k. Which is smaller: 2/253 or k?
k
Let l be 66/44*2/6*734. Is l at least as big as 367?
True
Let i(t) = t**2 + 17*t - 17. Let f be i(-19). Which is smaller: 19 or f?
19
Let b be 2/9 - 424/(-36). Let u be ((-15)/(-10))/((-6)/8). Is u != b?
True
Let f = -23 - -22. Let m be f/(-5) + 258/(-15). Let s = -17 - m. Does 1/21 = s?
False
Suppose -7*w - 109 = 164. Which is smaller: w or 3?
w
Let u be (-10 - -15)*2/15. Which is smaller: u or -33?
-33
Suppose -6*z = -3*z + 9. Let x = z + 6. Suppose x*u + 5 = -10, -2*t + 11 = 3*u. Which is bigger: 14 or t?
14
Let y(i) = -i**2 + 9*i - 9. Let p(u) = -u**2 + 10*u - 9. Let s(c) = 5*p(c) - 4*y(c). Let d be s(15). Is d smaller than -26?
False
Let t = 44 - 45.1. Let v = t - -1.8. Let z = 3 + -2. Is z less than v?
False
Let x = -109 - -71. Let u = 41 + x. Is u greater than -22?
True
Let r = 169 