0 - s - (8 + -9). Suppose -q - 5 = -0*q - 2*v, 0 = l*v. Which is smaller: -4 or q?
q
Let j be (-68)/10 + (-24)/(-5) + -4. Does j = 3?
False
Let r = 62 - 69. Let s be r/(-2)*24/(-42). Let i(q) = q + 2. Let o be i(-4). Is o greater than or equal to s?
True
Let v(s) = s**3 + 24*s**2 + 2*s - 1. Let o be v(-24). Is o equal to -47?
False
Let w be 1 + 3 + -3 - 5. Let l be (10/w - -2)*-8. Suppose l*x + 3 = x. Is 1/3 at most x?
False
Suppose 2*l - 8 = -4*t, t - l - 8 = -0*t. Let h be (0 - 3) + (-40)/(-8). Suppose h = -g + 4. Is g less than t?
True
Let b(t) = 5*t**3 - 67*t**2 - 42*t - 17. Let d be b(14). Which is smaller: -11 or d?
d
Let i = 63 + -35. Let w be ((-77)/i)/(-3 - (-22)/8). Which is smaller: 13 or w?
w
Let x = -12/209 + -7022/1463. Is x < -6?
False
Suppose -6*o + 24*o - 2808 = 0. Which is greater: 158 or o?
158
Let g = -2767 - -2759. Is -0.021 >= g?
True
Let s = 49 + -48. Is 101 not equal to s?
True
Suppose 3*h = -c + 4*h - 1, 5*c - 2*h + 14 = 0. Let n be -2*1 - 128/c. Suppose 0 = 2*v - 3*m - n, v - m + 58 = 6*v. Is v less than or equal to 12?
True
Suppose -2*o - 5*g - 11 = 0, 0 = 2*o - g - 0 - 7. Let j be 1/3 + 268/6. Suppose 0 = 3*l - 4*z + 1, 3*l + 5*z = -o*l + j. Is l < 5?
False
Let v = -4 + 7. Suppose 5*t + 4*c - 125 = 2*t, 4*t + 3*c = 176. Suppose v*n + t - 17 = 0. Which is smaller: -11 or n?
-11
Let o = 290 - 592. Is -302 greater than o?
False
Let k = -14 - -22. Let u(x) = x**3 - 3*x**2 - 2*x - 3. Let n be u(-2). Let t = k + n. Is t equal to -10?
False
Let s = 9.3 + -8. Let w = 1.2 - s. Let j = -0.42 - 0.48. Are j and w equal?
False
Suppose -4*x + 62 = 3*m, 14 = -2*m + 2*x + 60. Suppose -m - 10 = -4*r. Let u be (-6)/r - (-77)/140. Is u != 3/2?
True
Let k(f) = -2*f + 52. Let c be k(26). Which is greater: -0.023 or c?
c
Let a = 39 - 13. Let u be 4/a*-27 + 4. Is u less than -3?
False
Let s = -11 + 45. Suppose -4*t + 2 = s. Which is smaller: -6 or t?
t
Let m be -15*(-1 + (848/(-120) - -8)). Which is bigger: -1/900 or m?
m
Let r = -2.6 - 3.4. Let a = r - -4. Is a greater than -18?
True
Let y = -5.153 + 5.183. Let j = -2.3 - -2. Which is greater: y or j?
y
Let c be ((-30)/(-9))/(2/(-6)). Let f be (((-320)/84)/c)/(2/3). Does f = 0?
False
Let a = -12 - -12.13. Let u = a - 0.34. Let l = u - -0.11. Which is greater: l or 4/5?
4/5
Let w = -557/819 - 4/117. Let v(y) = 5*y + 5*y - 7*y + 0*y - y**2 + 9. Let u be v(5). Which is smaller: w or u?
u
Let n be 1062/(-26) + 12/(-78). Let i = n + 42. Is 6 at least as big as i?
True
Let d = -59.99 + 61. Let h = 0.01 - 0. Let q = d - h. Which is smaller: q or -2/11?
-2/11
Let i = -5 + 4. Let s be -2*3/(-2) + 1175/(-375). Are i and s nonequal?
True
Let g = 0.88 - 0.74. Let c = g + 0.06. Is c smaller than -0.7?
False
Suppose -50 = 3*k - 2*v, -k + v = 2*k + 55. Which is greater: k or 0?
0
Let g = -1 + 3. Suppose -5*h - 209 = -g*y, 3*h = 7*h + 20. Is 91 < y?
True
Suppose 3 = -k, -3*a = 3*k - 66 + 18. Let h = -26 + 27. Is h < a?
True
Let n = -0.0678 + 11.8678. Is n at most -3?
False
Suppose 3*z + 1 = u + 4, -u + 2 = -4*z. Suppose 3*s - 4*n + 65 = 0, 6*n - 3*n + 32 = -2*s. Which is smaller: s or u?
s
Let q = -94.1 - -98. Let r = q + -4. Is 0.08 bigger than r?
True
Let u = 0.76 + -0.8. Let i = -0.24 - -0.1. Let w = u - i. Does w = 5?
False
Let t = -14.8 - -123.8. Is -2 != t?
True
Let r = 1504 - 1506. Is 122 equal to r?
False
Let y = 37/15 + -9/5. Let v be 2/8*(-10)/(-160). Let f = v + 119/576. Is f at least as big as y?
False
Let f be ((-27)/3)/(4/(-336)). Suppose 8*l - l - f = 0. Is 108 greater than l?
False
Suppose 10 = -9*x - 44. Let s be (-7)/x*(-300)/(-280). Suppose d + 4*d = 5. Which is bigger: d or s?
s
Let d = 0.164 + -0.22. Let z = d - 0.014. Let b = 0 + -1. Which is smaller: z or b?
b
Let s(l) = l**2 + 3*l + 1. Suppose -5*y = 6 + 4. Let f be s(y). Is 1/21 less than f?
False
Suppose -47 = 6*d - 17. Let a(y) = -2*y - 7. Let v(c) = -c. Let z(r) = -a(r) + 3*v(r). Let h be z(11). Do h and d have the same value?
False
Let m = 6794/17 - 1428083/3570. Let g = 2/105 + m. Let a = g + 4/21. Which is smaller: a or 1?
a
Let u(b) = -12*b**2 - 6*b - 1. Let j be u(-1). Is j >= -54/7?
True
Let k be 3/(945/25221) + 7/3. Is k at most 83?
True
Let m(q) = -4*q**2 - 2*q - 4. Let n be m(-3). Let o = n + 19. Let f be (-39)/(-9) - 10/o. Which is smaller: 18/5 or f?
18/5
Let l = 4.37 + -8.37. Which is greater: l or -85?
l
Suppose -11*l = -9*l. Let s be -4*(12/16)/(-1). Let z be 595/(-1617) - s/(-7). Is z less than l?
False
Let w = -1932 + 1940.035. Let f = w - 0.035. Which is greater: 3/5 or f?
f
Let v = 66 - 77. Let c = v + 3. Which is bigger: 0.2 or c?
0.2
Let m = 105 - 62. Suppose 38*w - m*w - 85 = 0. Is w >= -16?
False
Let h(c) = -c**3 - 12*c**2 + 2*c - 25. Let y be h(-12). Which is bigger: y or -45?
-45
Suppose -2*q + 87 = -3*z, 0 = 6*z - 7*z + q - 30. Let y be 0 + (z/13)/3. Which is greater: y or -2?
y
Let h be (20/30)/(8/10). Let v = 533/6 + -89. Let q = v + h. Is q < -0.24?
False
Suppose -3*y + 6 = -y. Suppose 5*n + y*u = 7, -n - 7*u = -5*u. Let q = 2 - 2. Are q and n equal?
False
Suppose -33 = -3*j - 6. Let d be (-2 - (9/4)/j) + 2. Is 13/4 equal to d?
False
Let h = 322 + -205. Let u = 1988/17 - h. Which is greater: -1 or u?
u
Let w = -244/8513 - 260727624/297955. Let x = w - -875. Is x not equal to 0.1?
True
Let r be 7/7 - 1309/(-7). Which is greater: 189 or r?
189
Let x = 120 - 113. Which is bigger: 58/7 or x?
58/7
Let g(c) = 4*c**2 - 21*c - 58. Let z be g(-3). Which is greater: 44 or z?
44
Suppose -4 = -2*c + 3*c. Let t be 32/(-5) - (-10)/25. Is t bigger than c?
False
Suppose p - 2*p = -2*q - 7, 5*q + 10 = 0. Let v be 8/p*21/14. Let o be (2 + 0)*(-2)/v. Is o >= 1?
False
Let i(p) = p**3 - 9*p**2 + 9*p + 6. Let d be i(7). Suppose -19*z = -26*z - 210. Which is smaller: d or z?
z
Let z = -64 - -76. Let w = -91 - -102.8. Let q = z - w. Which is smaller: 0 or q?
0
Suppose -2*i - 5*m + 17 = 0, -2*m - 28 = 26*i - 31*i. Is i greater than 6?
False
Let b = 12 - 16. Let s be (-1 - b/6)*21. Let q = -14 - -6. Which is greater: q or s?
s
Let p = 1109 + -12202/11. Let k be 0 - 1/((-2)/2). Suppose -2*h + 1 = -f, -k = f - 2*h + 4*h. Which is smaller: f or p?
f
Let a(x) = -x + 2. Let g(q) = 2*q - 3. Let p(n) = 7*a(n) + 4*g(n). Let b be p(-1). Which is smaller: -1/6 or b?
-1/6
Let j be ((-186)/(-9) - -11) + 10. Which is greater: j or 42?
42
Let a = -1270 + 1189. Do 1/13 and a have the same value?
False
Let y = 176.9 + -177. Let x = 0.1 - 0.1. Let p = x + y. Which is smaller: 0 or p?
p
Let b be -5 - 14/(-4) - 10/(-4). Let p = 5.5 - 6. Let f = 0.3 + p. Do f and b have different values?
True
Let u = 2.9 - 3. Let m = -0.02 - u. Let v = -1.55 + 1.55. Is m less than v?
False
Let x = 1072 - 13970/13. Which is greater: x or -4?
x
Let o = -13 - -14. Let h be o - (2 - (2 - 3)). Let w = h + 4. Which is smaller: w or 3?
w
Let r be (-12)/(-16)*16/138. Let s = -142 + 146. Let b be (14/5 - s) + (-2)/(-10). Which is smaller: r or b?
b
Let r = 21 - 15. Let b = 14 + -19.88. Let o = b + r. Which is bigger: -2/3 or o?
o
Let l = 16024/3 - 5294. Let i = -698/15 + l. Which is bigger: 1 or i?
1
Let m = -0.212 + -96.088. Let d = m - -100. Which is bigger: 2 or d?
d
Suppose -7*w + 3*w + 256 = 0. Suppose 5*j - 80 = -3*r, -5*j + w = -j + 4*r. Is j < -0.1?
False
Let o = 0 + 0.07. Let n = o + -0.03. Let f be 2/15*-12 + 2. Which is smaller: n or f?
n
Let z be -40*((-15)/(-6))/5. Let u = z + 25. Let d = 7.6 + -7.7. Is u smaller than d?
False
Let d = 206 - 207. Is -2/253 > d?
True
Suppose 3*s - 4*s + 31 = -4*k, -50 = 5*k - 5*s. Which is greater: k or -5?
-5
Let i be (0 + -54)/(-6) + 7. Let p be (-2)/(1*-2)*3. Which is smaller: i or p?
p
Let c = 114 + -190. Let y = c + 49. Is y less than -0.2?
True
Let f = -122 + 77. Let u be 2*f/(-132)*(1 + 1). Is u != -2/7?
True
Let q be 8/(-3) - -3 - 140/15. Let y(u) = u**2 + 5*u - 11. Let b be y(q). Is b != 25?
False
Suppose -227 = -34*r - 669. Is r not equal to -55/4?
True
Let w(d) be the second derivative of d**4/12 + d**3/6 - 5*d**2/2 + 4*d. Let z be w(3). Suppose -j = m + 3*m + 8, -3*m - 4*j = -z. Which is smaller: m or 0?
m
Let a = -48 + 38.5. Let v = 1.5 + a. Is v < -2?
True
Let l = 2463/34 - 145/2. Is l > -12?
True
Let w be 442/(-510) + (-3)/((-45)/(-2)). Suppose 4*x - 9 = 3*x. Let z be -1*x/5 - -2. Which is greater: w or z