. Is f smaller than 4/5?
False
Let m be 7/14 + (138/267)/(-1). Is m < 0?
True
Let u = 85 + -25. Let f = u - 60.1. Which is smaller: f or -24?
-24
Let i = 13794 - 13805. Let g(m) = 3*m**2 - m + 3. Let y be g(-3). Suppose -p = -4*p - y. Is i != p?
False
Let q(f) be the second derivative of 7*f**3/2 - f**2/2 - 15*f. Let a be q(1). Is 20 at least a?
True
Let k(n) = -18*n - 1 + 35*n - 18*n + n**3. Suppose -t + 5 = 3*x - 1, x + 4*t - 2 = 0. Let b be k(x). Is b not equal to 3?
True
Suppose -l = 5*m - 2*m + 2, 0 = 2*m - 5*l + 7. Let t be (-393)/(-9)*(-6)/4. Let d = t - -64. Which is smaller: m or d?
d
Let i = -0.51 - -0.21. Which is bigger: -159 or i?
i
Let q(c) = -5*c + 3. Let k be q(-3). Suppose 11*p - k = 15. Is p >= 3?
True
Let t = 16.0711 + -0.0711. Let u = -6 + 4. Which is smaller: u or t?
u
Suppose 3*j + 2498 = o - 293, 0 = -3*j - o - 2795. Is j bigger than -931?
False
Suppose -11*l - 96 = 3. Let w = 8 + l. Let u be 22/30 + 4/(-10). Which is smaller: u or w?
w
Let i = 11635/22 + -529. Which is greater: 1 or i?
1
Let h be 0*-1*1/(-2). Let s = -12061/18 + 670. Is h < s?
False
Suppose 8*l - 2*l + 6 = 0. Let v be (-1 + 4)*l + 42. Is v > 39?
False
Suppose k - z = 3, 5*k + 0*z = -3*z + 15. Suppose 12 = p - k. Suppose -3*a + 0*f + 57 = f, 5*f - p = 0. Which is smaller: a or 19?
a
Let n = 1.052 + -0.052. Which is greater: n or -1/1376?
n
Let q = 6152/548405 - -2/3245. Suppose 4 = 15*n - 11*n. Is q at most as big as n?
True
Let q = 0.95 - -0.05. Let b = 46.13 + -46.2. Which is bigger: q or b?
q
Let o(d) = -3*d**2 - 13*d + 18. Let g be o(4). Which is smaller: -85 or g?
-85
Let w = -11 + 36. Let n = -29 + w. Let t = 2 + -3. Which is smaller: n or t?
n
Let r be -32 + (2 - 4 - -3). Let g = r - -24. Is -7 != g?
False
Let o = -172 + 172.1. Is 45 < o?
False
Let n(h) = h**3 - 6*h**2 + 5*h + 13. Let o be n(3). Which is bigger: o or 12/77?
o
Let n = -21 - 3. Suppose -45*q - 16*q = 1464. Is n at most q?
True
Let m(u) = u**3 + 5*u**2 + u + 6. Suppose 2*b + s = -3*s - 6, 14 = -2*b + 4*s. Let q be m(b). Is q at least as big as -33?
True
Let y(n) = 3*n**2 - 10*n + 15. Let v(f) = 5*f**2 - 20*f + 30. Let m(p) = 4*v(p) - 7*y(p). Let z be m(-11). Which is smaller: 18/5 or z?
18/5
Let i(j) = 25*j**2 - 11*j + 26. Let n be i(3). Let y be 9*-193*(-1)/(-8). Let x = y + n. Which is bigger: x or 2?
2
Let t be 458*4/(-232) + 8. Are t and 0.2 non-equal?
True
Let b(w) = w**3 + 7*w**2 - 12*w - 9. Let c be b(-9). Let s = c - 117. Let n be (-4)/18 + 68/s. Which is bigger: -1 or n?
n
Suppose 25 = -5*x + 5*i + 140, -5*x = i - 127. Let n be (0 + 3 + -1)*-12. Let q = n + x. Is -1/11 > q?
False
Let b = 56 + -78. Let d = b - -22. Let w = -1983/11 - -180. Is w greater than d?
False
Let m be 0 + 1 + 147/(-27). Suppose -52 = 21*p + 11. Is m at most as big as p?
True
Let m be 20*(16/(-20))/(-2). Let c be ((-5)/(-3) - -1) + m/(-12). Is 2 less than or equal to c?
True
Suppose 0*z + 14*z = 1078. Is z at least as big as 1/3?
True
Suppose -5*x + 65 = 3*i, -2*i + 3*i = 2*x - 37. Suppose 2*q = -3*o + x, -2*o - 2*q - q = -19. Let y = -2/527 + 2118/2635. Which is smaller: o or y?
y
Let o = -3 - 2. Let h = 9 + -8. Let a(c) = -11*c + 4. Let r be a(h). Which is bigger: o or r?
o
Let s = 1/2412 + 215/2412. Are s and -1 equal?
False
Let c be 170/4 - 12/(-24). Suppose -2*w = -3*v + 130, -5*w = 2*v - 0*w - 93. Is v bigger than c?
True
Let k(n) = 11*n**3 - 23*n**2 - 8. Let o(i) = -7*i**3 + 15*i**2 + 5. Let p(m) = -5*k(m) - 8*o(m). Let t be p(5). Which is smaller: 19 or t?
t
Let d(v) = -v**2 + 8*v - 8. Let w be d(6). Let b be 1*(-2)/w*0. Let i = -3/74 - -193/1110. Which is smaller: i or b?
b
Let s = 14 + -9. Suppose s*g + 3*b + 15 = 0, -4*g - 6 = b - 1. Which is greater: g or 2/7?
2/7
Let x = -45.79 + 46. Let a = -8.21 + x. Let c = 7 + a. Which is smaller: c or 1?
c
Let s(p) = -37*p - 318. Let a be s(13). Are a and -799 non-equal?
False
Let j be 5/(-20) + 1547/(-4). Which is greater: j or -388?
j
Let a = 1/556 - 1393/1668. Let d = 8 + 6. Let w be d/(-6) + 2/6. Which is smaller: a or w?
w
Suppose -16*d = -d + 15. Is d != -2/1751?
True
Let r = 0.432 - -1287.568. Is 0.1 > r?
False
Suppose 5*v + 287 = f, 3*v - 2*f + 325 = 150. Which is greater: -65 or v?
v
Let s = -1405 - -1279. Is -127 greater than s?
False
Let j = -74 + 121. Let y = j - 47. Which is smaller: y or 2/27?
y
Let b = -68.216 - -0.016. Let n = b - -68. Is 0.26 less than n?
False
Let y be (348/42)/(3/(-7)). Let g = y - -20. Which is bigger: g or 2?
2
Let g = 4693/5 + -939. Let m = -5.09 - -0.09. Which is bigger: m or g?
g
Suppose 9270 = 53*x + 52995. Which is smaller: x or 0?
x
Let f be 1 + -3 + (12/2)/3. Is -1/34 less than f?
True
Let y = -1 + 1. Let u be ((-4023)/10)/(90/36). Let o = u + 161. Is o equal to y?
False
Suppose 4*b + 132 = -0*b. Let u = b + 29. Is u bigger than -1?
False
Suppose 2*q + i = -i + 64, -i + 68 = 2*q. Let r = -41 + 121/3. Which is greater: q or r?
q
Let g be 4/(-14)*1036/(-222). Is g > 0.069?
True
Let n = 2442069/22 + -110662. Let k = n - 341. Suppose -5*a - 1 = 4. Which is bigger: a or k?
k
Let c = -70.3 - -70. Let d = -32 + 40. Is d bigger than c?
True
Suppose -205 = -4*o + 159. Are 92 and o unequal?
True
Let y = -410.15 - -412. Which is bigger: 0.2 or y?
y
Let w(f) = -f**3 - 5*f**2 + 3*f + 5. Let g be w(-5). Let j be g/28 - (-1 + 12/16). Which is smaller: 0 or j?
j
Let k be 74 - 0/(12/(-4)). Suppose -u + k = -5*y, 5*y + 4*u = -28 - 51. Is y equal to -16?
False
Let a(i) = i**2 - 6*i + 9. Let m be a(5). Let l = 3 + 0. Suppose -2*z - 11 = -3*b, 7*b - 2*b - 19 = l*z. Which is greater: b or m?
b
Let n = -11 + 46. Let i = 35.2 - n. Is i <= 5?
True
Suppose -2*d - d + t - 3 = 0, d - 9 = -3*t. Suppose 3*p = -d*p - 3. Which is smaller: 0.9 or p?
p
Suppose -5*j - 66 = -11. Which is smaller: -41/4 or j?
j
Suppose 14*g - 10*g - 2*p + 2208 = 0, 0 = 4*g - 3*p + 2210. Which is bigger: -552 or g?
g
Let a be (-2)/(-7 + (7 - 3)). Let n = -18 + 19.7. Let h = n - -10.3. Which is smaller: h or a?
a
Let l be ((-2)/5)/((-28)/910). Which is smaller: l or 19?
l
Let o(m) = m + 2. Let r be o(7). Suppose -7*y = -8*y + 8. Is y > r?
False
Let x(y) = -y**3 + 10*y**2 + 16*y + 1. Let s be x(12). Which is smaller: -96 or s?
-96
Let r = 44151/11 + -4011. Suppose 0 = -4*z + 5 + 11. Which is greater: z or r?
z
Let l(f) = -f**3 - f**2 - f - 3. Let i be l(-3). Let c be 6/i*2*3. Let p be -5 + (4 - c) - -11. Are p and 8 equal?
True
Suppose -4*i - 16 = -5*b, -2*b = -b + 5*i + 20. Suppose 0*y - 8 = -4*y. Let j be (y - 2) + (-4)/50. Which is smaller: j or b?
j
Suppose -29*f = -27*f - 8. Suppose 0 = w - 5*c + 7, 2*c = -f*w + 6*w + 6. Is w at most 0?
True
Let w = -51 + 48. Suppose 0 = 2*s + 3 + 1. Is w <= s?
True
Let j = 4664321/478 + -9758. Which is greater: j or 0?
0
Let x be 11 + -3557*(-3)/(-969). Is 0 bigger than x?
True
Suppose 0 = -4*z + 2*z + 38. Suppose 3*r + t = -z, -9 = r + 3*t - 2*t. Let d = -0.607 - -0.507. Which is greater: d or r?
d
Let c = 14.86 + 6.14. Which is smaller: 5/3 or c?
5/3
Let u be -6*((-26)/4 - -5). Suppose 5*v + 12 = u*v. Which is smaller: 0.9 or v?
0.9
Let r(f) = -10*f - 70. Let d be r(-7). Is -244 greater than or equal to d?
False
Let u(v) be the second derivative of v**5/20 + 2*v**4/3 + 7*v**3/6 + 3*v**2/2 + 3*v. Let o be u(-6). Suppose -2 = 5*x + o. Is -6 greater than x?
True
Let r be ((-6)/12)/(3/18*-3). Is r less than or equal to 2/815?
False
Suppose -a + 50 = -0*a. Suppose -4*y - a = 5*b, -b - 4*y - 13 = -3. Let v be (14/(-35))/(2/b). Is 1 less than v?
True
Let u = 1483/5 - 297. Let x = 7.89 + 0.11. Which is greater: u or x?
x
Let k(c) be the first derivative of -c**5/30 + c**4/24 + c**3/3 + 3. Let u(s) be the third derivative of k(s). Let v be u(-3). Is v < 13?
False
Suppose 5*l + 50 = -5*v, 0*v - 8 = 2*v. Let o(p) = -p**2 + 11*p - 2. Let x be o(10). Suppose -x = 2*m - 0*m. Do m and l have different values?
True
Let h be 127/5 + -3 - 2/(-2). Which is smaller: h or 23?
23
Suppose 2 = -2*p + 22. Suppose -3*j = p*j + 78. Which is greater: j or -23/5?
-23/5
Let o be ((-171)/6)/(1/(-4)). Let s be 2/(-3) - o/(-9). Suppose -s = -2*m + 6*m. Is 1 > m?
True
Suppose 2*x + s = -67 + 74, -11 = -5*x + 4*s. Let i = -416 + 2092/5. Which is smaller: x or i?
i
Let g = -70 + 65.9. Let y = -0.051 + -2.049. Let s = g - y. Is s < -1/2?
True
Suppose 13 