0.961 - 0.039. Let t = l + 21.5. Let o = -7.5 - t. Which is greater: o or 0.2?
0.2
Let t = -1978/19 - -104. Suppose 0 = -2*f + j - 0 + 6, 5*f + 2*j - 33 = 0. Let m = 5 - f. Is m greater than t?
True
Let s(h) = h**2 + 9*h - 10. Let a be s(-10). Let o(p) = -9*p - 15. Let k be o(a). Are -15 and k unequal?
False
Let m = 7.678 + 0.322. Is m at least 2/25?
True
Let i = 9323/10 - 5949/5. Let w = i - -249. Which is smaller: -10 or w?
-10
Let l = -1/18502 - -37941/17336374. Let s = l - -883/25299. Which is greater: s or 0?
s
Let c = 43 + -22. Let u = 19.968 - -0.032. Let x = c - u. Is -0.1 > x?
False
Let l = -23047 - -23899741/1037. Which is smaller: 2/3 or l?
l
Let g(y) = -8*y**2 - y + 4. Let d be 69/(-21) - (-4)/14. Let b be g(d). Let q be 5/(-3)*(-13)/b. Which is smaller: 3 or q?
q
Let v = 29 - 31. Let z be v/7 - (-92)/28. Let k be 0/(0 - z - -4). Which is greater: 1/6 or k?
1/6
Let f = 0.31 + -0.83. Let m = 3763 + -3764. Are m and f non-equal?
True
Suppose -n + 2632 = n. Let j = 114490/87 - n. Which is smaller: j or 0?
j
Let m = -3413 + 10048/3. Which is bigger: -64 or m?
m
Let n = 595 + -588. Is -0.56 equal to n?
False
Let p(f) = f**3 + f + 1. Let d = -8 - -8. Let q be p(d). Which is bigger: 2 or q?
2
Suppose -j + 3 = -4*v - 5, -5*j - 5*v = -15. Suppose -60 = j*a - 4. Let l be (-7)/a - (-9)/2. Is 3 bigger than l?
False
Let b be (-6 - -8)*2/(-10)*-60. Let y = b + -6. Which is greater: y or 16?
y
Let k(w) = 478*w - 14. Let s be k(10). Let x be s/(-42)*9/(-3). Let r = x + -341. Is 0 equal to r?
False
Let t(d) = -23*d**2 - 21*d + 7. Let q be t(-5). Are -462 and q nonequal?
True
Let q(a) = a**3 + 73*a**2 + a + 41. Let v be q(-73). Is -42 at most v?
True
Let u be 6*-4*(5/(-30) + 0). Suppose 2*q + 32 - u = 0. Which is smaller: 2 or q?
q
Let k(v) = -v**2 + 5*v + 11. Suppose -4*j = -4*x + 8, 0 = 2*x - 4*j - j + 2. Suppose c = x*c - 18. Let h be k(c). Which is smaller: h or 6?
h
Let f = 1185 - 1185.8. Let h be (-5)/(-1 + (-66)/10). Let t = 3/19 - h. Which is bigger: t or f?
t
Let x = 131 - 132. Is x < 2/187?
True
Let m = 73613/68 + -4317/4. Let g = -355/51 + m. Is -4 bigger than g?
False
Let r = 28 + -4. Let f = r - 38. Is -15 equal to f?
False
Let z(c) = c**3 + 10*c**2 + 17*c. Let a be z(-9). Is a not equal to -508/7?
True
Suppose 7*j + 4299 + 3135 = 0. Let q = j + 145496/137. Which is smaller: -1 or q?
-1
Suppose 0 = 5*c + 156 + 49. Is -41 <= c?
True
Suppose 3*g - 96 = -0*g. Let a be 0/(-3) + (-26)/g + 1. Is a at most 1?
True
Suppose 2*q + 40 = -28*p + 30*p, -q = -5*p + 108. Which is smaller: 16 or p?
16
Suppose -5*n + 49 = 54. Does n = -1/112?
False
Let z(w) = -w**3 + 37*w**2 + 82*w - 166. Let s be z(39). Which is smaller: s or 15?
s
Suppose 11 - 8 = -a, -z - 2*a - 7 = 0. Let j be -4 + 2 - (4 + z + -6). Is 4/5 greater than j?
False
Let z(g) = 9*g + 4. Let p be z(1). Which is smaller: p or 18?
p
Let n = -307/20 - -59/4. Let c(l) = l**3 + 4*l**2 - l - 2. Suppose -3*u - i = 14, 4*u = 2*u - 3*i - 14. Let m be c(u). Is n less than m?
True
Let p = 514.248 - 514. Is 1/3 <= p?
False
Let a = 12.2 + -28.2. Is 0.08 smaller than a?
False
Let i(h) = h**3 - 15*h**2 - 13*h - 8. Let y be i(16). Let x = 16 + y. Is 56 smaller than x?
False
Let a(x) = 2*x - 3. Let g(v) = 3*v - 5. Let p(b) = 5*a(b) - 2*g(b). Let m be p(1). Is m less than or equal to 1/30?
True
Let w = -2228/73 + -279213/584. Let z = w - -506. Is z smaller than -4?
False
Let c = 41/9 + -17/3. Which is smaller: -2 or c?
-2
Let r be (9 - (3 + 6)) + 1. Is -653 equal to r?
False
Let n = -421.025 + 445. Let q = n - -0.025. Let t = -24 + q. Which is smaller: 3/11 or t?
t
Suppose -f - 6 = -0. Let p be (-10)/(-3)*f/(-4). Suppose 2*l - 1 = 1, 0 = -p*j + l - 11. Do j and -2 have the same value?
True
Let i = -828 - -1741/2. Let k = 48 - i. Let t = -3 - -10. Are t and k equal?
False
Let y = 39 + -38.89. Let r(t) = t**3 - 5*t**2 + 5*t - 3. Let i be r(4). Is y bigger than i?
False
Let q be 4/(-6) + 1700/(-51). Let k = 36 + q. Which is smaller: -1 or k?
-1
Let y = -14149/43 + 329. Suppose 6 - 2 = 4*s. Do y and s have the same value?
False
Let m = 16.128 - -0.122. Let d = m + -0.25. Which is bigger: d or -3?
d
Let t be ((-3)/(-7))/(610/50 - 11). Are t and 1/4 equal?
False
Suppose 4*p + 7*z + 788 = 5*z, -2*p = 5*z + 386. Is -197 less than p?
False
Let i be 14/(-63) - (-3)/18. Let k = -350 + 349.95. Are i and k non-equal?
True
Let t be (-2651)/(-99) + (58/18 - 3). Which is greater: t or 28?
28
Let s be 55/(-15) - 6/(-9). Suppose -3*j - 1 = -2*j. Which is greater: s or j?
j
Let v = -10/123 + 6539/246. Let q = -27 + v. Let g be ((-1)/(-3) + 9 + -9)*0. Which is smaller: g or q?
q
Suppose 2*b - 4 = z, 0 = -3*z + 7*z - b + 2. Suppose 0 = 2*j + 6 - 10. Suppose h = 3*q + q + 7, j*q + 5*h = -9. Are z and q non-equal?
True
Suppose -4695 = -17*h + 32*h. Is h greater than or equal to -312?
False
Let r = -14 - -13.9. Let v = 50 + -16. Let w = -13 + v. Which is smaller: r or w?
r
Suppose 22*j = 20*j - 222. Which is bigger: j or -108?
-108
Let s = 52329/484705 + -2/7457. Does -1 = s?
False
Let v be 1/((-27)/6516*1/3). Which is smaller: v or -722?
v
Suppose -5*o + 4 = -1. Let a be 4/(-5) - o*-1. Suppose -14*l - 16 = 2*l. Which is smaller: a or l?
l
Let r = 319 + -325. Which is bigger: -3.9 or r?
-3.9
Let u be ((-3582)/(-276) + -13)*(-3)/1. Which is greater: 1 or u?
1
Let o be -2*-61*(-2)/4. Let v be 2733/45 + (-10)/25. Let w = v + o. Which is smaller: w or 0?
w
Let s(w) be the second derivative of -w**4/12 - w**3/3 - 3*w**2/2 - 40*w. Let i be s(0). Are -14 and i non-equal?
True
Suppose 3*b - 4*b - 14 = 0. Let i be 16/(-3) + b/21. Is i bigger than -7?
True
Let j = 31 + -31. Suppose 0*n - n = j. Is -3 less than or equal to n?
True
Let u = -39 - -38. Let f be (14/(-35))/(u/(-5)). Are -2 and f equal?
True
Let i = -847120/1599 - -6888/13. Which is smaller: i or 0?
0
Suppose -5*c = -g - 3*g - 28, 0 = c - g - 6. Suppose -5*t - 250 = 4*w + 135, -308 = c*t + 3*w. Is t <= -76?
True
Let m be (64/24)/((-8)/(-3)). Let j be (10/20)/(5/(-2)). Is j greater than m?
False
Let c be (-1098)/21 + 2/7. Let p = c + 51. Is p > -14?
True
Let h be ((-26)/78)/(0 + (-8)/3). Are h and 19 unequal?
True
Suppose g - 2 = 0, h + g = 5*h - 6. Suppose 0*a - 13 = r + 2*a, 0 = -4*r - 4*a - 40. Let d = -5 - r. Is h at least d?
True
Let n = 0.201 - 13.441. Let v = n - 0.86. Let j = v - -14. Are 0.15 and j unequal?
True
Let j = -428 - -773. Do 345 and j have the same value?
True
Let k be (1/(-1 + 256))/(400/60360). Let t = k + -3/850. Which is bigger: 1 or t?
1
Let u be 0 + 0 + 0 - 2. Let d be (u/3)/(10/15). Is d bigger than -7/5?
True
Let q(c) = -c**3 + 5*c**2 - 3*c. Let r be q(4). Let s be r + -2 + (-12)/8. Let a be (-32)/2*(-1)/(-1). Which is smaller: a or s?
a
Let w be (4/(-5))/(2/60). Let s = w - -25. Let m be 26/72 + (-9)/36. Which is bigger: m or s?
s
Let q be ((-84)/126)/(2*2/72). Let d = 34 - 46. Are d and q equal?
True
Suppose 6*i + 9 = 9*i. Let y be (-1*2*3)/(-1). Suppose h - 8 = i*v, -4*v - 5 - y = -h. Are h and -4 nonequal?
True
Let a = 104.1 - 101. Let r = a - 4.1. Which is smaller: r or -3/7?
r
Let s be (22/44)/((-2)/4). Let h be s/(-3)*(-150)/4. Which is smaller: -13 or h?
-13
Let g = -1457 - -1454.9. Let z(p) = -p**2 + 6*p + 9. Let x be z(7). Suppose h = 5*m - 7, 4*m + h = -0*h + x. Which is greater: m or g?
m
Let u = 1265 - 1204. Is u <= 62?
True
Let m be 8/12 + ((-22)/6 - -4). Do m and -1/79 have different values?
True
Let i be (24/16 + -1)*8/50. Are -11 and i unequal?
True
Let i be 52/(-13) + 116/2. Suppose 3*p - 3*f - 63 = 0, 0 = 4*p + 3*f - f - i. Is 0.1 equal to p?
False
Let o = -0.01 + 4.01. Let j = -25 + 32. Let m = o - j. Are -2 and m nonequal?
True
Let m = -1254 + 1254. Is m less than -1/1754?
False
Let n = 1 + -2. Suppose 4*c = -3*t + 2*t + 13, 5*c = 5*t + 10. Let y be (-3 - t) + 3/(99/96). Is y equal to n?
False
Suppose q = -3*q + 60. Let a be (10/q)/(2/6). Let p be -2 + -2*(-19)/10. Is p not equal to a?
True
Let v be 7 + 3 + (-35)/5. Let u be v - ((-3)/4 - (-166)/44). Which is greater: u or 0?
0
Suppose 2*u = 2*p - 3*p + 7, p = -3*u + 8. Let o be (-1*(u + -1))/3. Which is greater: o or 1/5?
1/5
Let u = 10/3639 - 193627/276564. Let r = 1/19 - u. Suppose -4*p - y - 5 = p, 2*y + 10 = 3*p. Which is bigger: r or p?
r
Let l = -0.05 - 0.06. Is 3/2 at le