e -9 + 4 = 5*t. Let q be (t + 104/100)/((-6)/15). Which is smaller: 0 or q?
q
Let l = 6 - 1.4. Let a = l + 1.4. Let y = a - 5.8. Do y and -0.2 have the same value?
False
Let v be (-20 - -31) + (-12 - -4). Is v less than 72/17?
True
Suppose -4*r + 12 = -2*b, -5*r + r + 44 = -4*b. Let c be 1 + -11 + 15 - 20. Which is greater: c or b?
c
Let w(b) = -13*b - 167. Let o be w(-14). Which is smaller: o or 18?
o
Let o = -74 - -73.77. Let j = o - -14.23. Is 1 at least j?
False
Let r be ((-4)/(-8))/(2/(-4)). Suppose 2*w + w = -2*s - 29, 2*s = -5*w - 31. Let b(x) = -2*x - 25. Let o be b(s). Which is bigger: o or r?
o
Let i be (8*(-2)/6)/((-7006)/93). Is i bigger than 1?
False
Let y = 169 - 1185/7. Let q = 1.5 + -4.3. Let z = q + -3.2. Which is bigger: y or z?
y
Suppose 0 = 4*z, -2*m + 5*z + 7 = -1. Suppose -1 = m*j - 33. Which is greater: 5 or j?
j
Let p = 8 + -6. Suppose t = -t - p, -77 = -3*j + 5*t. Let w = -117/5 + j. Are -1 and w unequal?
True
Let j(y) = y**2 - 4*y - 69. Let g be j(-9). Are 49 and g unequal?
True
Suppose -10*p + 2*p = -32. Suppose 3*a - 2*t = -p, -a + 3*t = a + 1. Which is smaller: 1 or a?
a
Let o be (3 - 1)/(-2) - -38. Let g be o/(-15) - 4/12. Suppose 2*w + 8 = -0. Which is bigger: g or w?
g
Let a(c) = -20*c - 478. Let k be a(-22). Are -153/4 and k non-equal?
True
Let d = 4.96 + -5. Let o = d - 0.08. Let y = 2.88 - o. Which is smaller: y or 0.1?
0.1
Suppose 5*b = 4*a - 52, 2*a - 15 = 4*b + 5. Which is smaller: 29 or a?
a
Suppose -7*l + 8 = -3*l, 15 = 5*u + 5*l. Suppose -74 = -5*y + 26. Let m = u - y. Is m not equal to -19?
False
Let v(i) = 2*i - 7. Let x be v(-5). Let a be (36/(-4))/(2 - 3). Let c = -26 + a. Does c = x?
True
Suppose -y = -4*y + 2*a + 463, 2*a + 614 = 4*y. Let d = -131802/7 + 1176691/63. Let z = d + y. Is z greater than or equal to 0?
False
Let f be 2/(-8) - 294/(-56). Let l = f - 32/7. Suppose 4 - 1 = -3*u. Is u greater than l?
False
Let m = 8 - 7. Suppose -2*p - l = -6*p - 22, 2*l = -5*p - 21. Let f(i) = -i**2 - 4*i + 7. Let b be f(p). Do m and b have different values?
True
Let o = -366 - -365. Which is greater: o or 92?
92
Let r = -56 + 60. Let h be ((-3)/r)/(8/(-32)). Which is smaller: h or 1?
1
Suppose 0 = -3*k - 8 - 4, 5*i - 39 = k. Suppose 9 = i*m + 2*m. Let z be 0*-1*(-2)/(-2). Which is smaller: z or m?
z
Let s(m) = m**2 + 7*m - 16. Let f = -2 - 7. Let t be s(f). Which is greater: t or -7?
t
Let g be (-21)/56 - 19/(-8). Let a be (-11)/(-22)*g*-1. Is a at most 2/47?
True
Let s(m) = -34*m - 21. Let h be s(1). Is -167/3 greater than h?
False
Let b = -3 - 0. Let j = b + 3.3. Let n = 0 - j. Is n < -1?
False
Let g = -10 + -12. Let v = -26 - g. Let u = v + 6. Which is bigger: 0.4 or u?
u
Let u = -6839/3 + 198136/87. Which is greater: -3 or u?
u
Suppose c = -3*c + 12. Suppose -c*t = -4*t + 2. Which is smaller: 0 or t?
0
Let j be -1 + 1528/116 + -7. Is 5 > j?
False
Let k = 6821/1603 - -7/229. Which is greater: k or 5?
5
Suppose 3 - 42 = 39*k. Which is greater: k or -1/313?
-1/313
Let r = -231 - -208. Let x = 37 - 61. Are r and x unequal?
True
Suppose 0 = -7*u + 10*u + 63. Let g be (0 - 0) + (-14)/u. Is g less than or equal to -7?
False
Let k = -4 + 7. Let u(n) = n**3 - n**2 - n. Let d be u(0). Suppose k*p = -d*p + 6. Is p smaller than 0?
False
Let a = -87 + 80. Suppose 45 = 5*m - 2*m. Let z = -22 + m. Is a equal to z?
True
Let y = -53 - -51. Are 6/19 and y unequal?
True
Let i(q) = -7*q + 71. Let p be i(10). Which is smaller: 2/4895 or p?
2/4895
Let a be (-2469)/(-24) - (4 + -1). Let t = a + -99. Are t and 2 nonequal?
True
Suppose -x + 5*j + 21 = 0, -4*j + 7 - 81 = -3*x. Let t be (-56)/x + 16 + -14. Is 2/15 less than t?
False
Let g = 0.0353 - 3.0353. Are g and -9.4 unequal?
True
Let r = 200 + -3786/19. Which is smaller: r or 0?
0
Let v(f) = -f**2 - 3*f - 5. Suppose 0 = -4*i - 8, 3*h + 2*i = -0 - 10. Let p be (4 + 10/h)*6. Let o be v(p). Do o and -23 have the same value?
True
Let t be -74*2*(-7)/(-28)*4. Let f be 2/(-8)*1 + (-39)/t. Which is greater: f or -1?
f
Let a = 2.3 - -0.7. Let v = 2597.98 - 2598. Which is bigger: a or v?
a
Let b = -10.45 + -10.55. Which is greater: b or -3/4?
-3/4
Let k = 110 + -110.1. Which is smaller: k or 11.5?
k
Let q = -42 - -16. Let r = 25.9 + q. Is -3/5 < r?
True
Let r = 70 - 121. Let s = r - -51.041. Which is smaller: 1 or s?
s
Let s = 175 + -130. Is 47 at most as big as s?
False
Let j = 28 - 11. Suppose 20 = 15*i - j*i. Which is smaller: -11 or i?
-11
Let u(c) = c**3 - 12*c**2 - 5*c + 64. Let n be u(12). Which is bigger: n or -84?
n
Let f(o) = -o + 11. Let w be f(8). Let l be (9/w)/((-54)/(-8)*2). Do -2 and l have different values?
True
Let b = 15.033 - 15. Let s = -32.033 + b. Let z = 35 + s. Which is bigger: 0 or z?
z
Suppose 5*j + w - 35 = 0, -4*w + 11 = 2*j - 21. Suppose 2*r - j = -24. Is r bigger than -9?
False
Let n(d) be the first derivative of d**3/3 + d**2/2 + 5*d + 2. Let h be n(0). Suppose -5*c + 15 = 4*w, -h*w = -2*c - 21 - 6. Which is smaller: c or -8/9?
c
Let p = 330 - 332.66. Let h = p - -2.3. Which is greater: h or -1/3?
-1/3
Suppose 3*y = 4*d - y + 72, 5*d + y = -78. Let w = 183/748 - -1/187. Is w != d?
True
Suppose 0 = 4*w - 4*m - 24, 2*w + m = w. Suppose j = 3*j - 4*x, 0 = -w*j + x. Suppose -4*c = 3*b - 7, -2*c + j*c = 5*b - 21. Which is smaller: -1 or b?
-1
Let o(v) = v**3 + 3*v**2 + 4*v + 5. Let m be o(-5). Let k = -65 - m. Are 2/123 and k equal?
False
Let v(x) = -x**3 + 12*x**2 - 25*x - 19. Let r be 18/((2/(-5))/((-1)/5)). Let w be v(r). Let o = -5 - -3. Which is smaller: o or w?
o
Let b(d) = d**3 + 10*d**2 + d - 19. Let s be b(-8). Let x be 2/(-5) - 2043/(-20). Let z = s - x. Is 0 at most as big as z?
False
Let j = -122.061 - -122. Let z = j + 2.061. Let g = -3.1 - -3. Is z less than g?
False
Let i = 531 - 520. Which is smaller: i or 2?
2
Suppose -5*y = -5 - 0. Let z = -57 + 69. Suppose -5*a = 4*j - 16, 0*a = 5*a + 3*j - z. Do y and a have different values?
True
Let d = 4545/18212 - -2/4553. Let h = 12 - 4. Let q = h - -1. Which is smaller: q or d?
d
Suppose -670 = 34*z + 758. Is -302/7 greater than or equal to z?
False
Let r(j) = -15*j - 690. Let y be r(-46). Which is smaller: y or -2/1435?
-2/1435
Suppose -2254 = -3*w - 4*w. Let c = w - 8051/25. Is 1 at most as big as c?
False
Suppose -2*t - 31 - 37 = 0. Let y = t - -34. Let f = -8.5 - -1.5. Which is greater: f or y?
y
Let w = -87 + 91. Which is smaller: 3/10 or w?
3/10
Let c be 3/15 + 42/15. Let y be (-2)/c*(-63)/(-48). Which is smaller: 0 or y?
y
Let z be 7 - -6 - (-1 - -3). Let l(f) = -f**2 + 0*f**2 - 11*f + 1 + 2*f**2. Let b be l(z). Is b at most 2/5?
False
Suppose -3*k + 5*h - 30 = 0, k - 4*h + 15 - 5 = 0. Let s be ((-2)/5)/(((-182)/k)/(-13)). Are -3.5 and s non-equal?
True
Let t be (2/5)/((-7)/5). Let p be 12 - ((-21)/(-7) + 4*-1). Suppose h - 3*j = -13, -5*h = -2*j - 0*j + p. Does h = t?
False
Let s be (2/(-10)*1)/(-1). Let p be (6/28)/(36/42). Which is greater: p or s?
p
Let g be (-1)/(-2) + 318/(-244). Let r = -1/305 - g. Let a be (-6)/(-39) - (-1 + 44/(-52)). Does a = r?
False
Let r = -750.2 + 729. Which is smaller: 0 or r?
r
Let a be (-88)/(-24) + 2/(-3). Suppose -2*o + 5 = -v, 2*v + 2 - 10 = -5*o. Let r = v - -5. Is r greater than a?
True
Suppose 0 = 2*l - 5*t - 45, 2*t = l + 5 - 29. Let w be 36/l*20/(-6). Let n be w/(-22) - (-7 + 7). Is -1/2 smaller than n?
True
Suppose 15 + 7 = -22*f. Are f and 32 nonequal?
True
Let x = 5 - 0. Let p = 7.2 - x. Let y = -0.2 + p. Is 2 < y?
False
Let o = 154 + -218. Let v(n) = -4*n**2 - 64. Let y be v(0). Is y > o?
False
Let j = 8 - 7. Suppose -3*y + j = 13. Let l be y + 5 + 2/1. Is 3 >= l?
True
Suppose 0 = -z - 3 + 5. Let v be (-14 + -1)*(-1 - 0). Let q = v + -13. Does z = q?
True
Suppose 3*y + y = 8. Let d be ((-16)/4 - -1) + (1 - -3). Is d at least y?
False
Let m be (-50)/35*(-105)/48. Is 4 bigger than m?
True
Let z = -15.5 + 12. Let t = 0.5 + z. Let p = -110 + 112. Which is bigger: t or p?
p
Let t = -144 + 286. Let u = 97 - t. Which is smaller: u or -46?
-46
Suppose -57 = 24*z + 15. Suppose -3*g + 5*o = -2*g + 9, -o + 13 = -3*g. Is g at least z?
False
Let w = 677.06 + -677. Which is bigger: w or 8?
8
Let y = -70/3 + 24. Suppose 5*j = k + 4*k - 10, 3*j + 7 = 2*k. Let l be 0/(-22) - k/3. Which is smaller: y or l?
l
Let j = -786 + 573. Does j = -213?
True
Let i = 