t > a?
False
Let c = 13.38 - 1.28. Let b = -12 + c. Let p = 5 - 5.04. Which is smaller: p or b?
p
Let x = -30.93 - -31. Let z = x + -0.47. Does -2/3 = z?
False
Let l be (-14)/7 - (-6)/4. Let o = 10 - 2. Which is bigger: o or l?
o
Let k = 295 + -370. Is k less than -75?
False
Let i be 2/10 - 45458/(-210). Let f = 742/3 - i. Let y = 32 - f. Which is greater: 2 or y?
2
Let y(f) = 2*f + 402. Let z be y(-19). Which is greater: z or 366?
366
Let n = 82 + -171. Let z = n + 181/2. Which is greater: 3 or z?
3
Let s = 34 + -18. Let b = 17.8 - s. Is b > 0.1?
True
Let l(n) = n**2 + 2*n - 79. Let t be l(8). Are t and 3/44 unequal?
True
Let j = 1218 + -1229.93. Let f = j + 12.5. Let o = -0.6 + f. Is 1 at least o?
True
Let j = -2/513 - -13352/3591. Suppose 2*i + 0 = -8, 3*g - 2*i - 20 = 0. Is g equal to j?
False
Let y = 830 - 827. Let x(c) = -c**3 + 8*c**2 + c - 6. Let d be x(8). Is d greater than or equal to y?
False
Let r = 1.457 - -0.543. Are -400 and r equal?
False
Let g = -180 + 1262/7. Let k = 14179 + -14179.1. Is k greater than or equal to g?
False
Let h(t) = t - 10. Let z be h(13). Let g = -3 + z. Let w be 0 + 4 + g + -5. Is -3/4 bigger than w?
True
Let n be (1/(-63))/(198/11361). Let m = n + 16/27. Let d = 2/11 - m. Which is smaller: -0.4 or d?
-0.4
Let d = -37.9 - -32.9. Are 1/3 and d nonequal?
True
Let t = 0.094 - 52.094. Which is smaller: 4 or t?
t
Let u be (-13 + (-57)/(-6))*(-2)/(-14). Which is smaller: 5 or u?
u
Let a be 4960/(-24)*(-1)/(-8). Which is greater: a or -25?
-25
Let n be (-7 - (-8 - 0)) + 0. Do n and 2/135 have different values?
True
Suppose 2*s + 8 = 3*s. Suppose 4*d - 2 = n - 2*n, 8 = 2*n + 4*d. Is s less than or equal to n?
False
Let o = 7 + -8. Let w = 1569943/13 + -120694. Let f = -71 + w. Which is greater: o or f?
f
Let y(u) = u**2 - 12*u + 2. Let h be y(9). Let z = h - -19. Let t be 9/(-4)*(-32)/z. Which is greater: -11 or t?
-11
Suppose 3*m = -7 - 47. Let v = -19 - m. Is v <= -8/15?
True
Suppose -2*m = 3*m + 35. Let g = m - -22. Let z be g/162 - (-2)/(-12). Which is bigger: z or 1?
1
Let f = -2/7 - 1/21. Let w be 3 + -4 + 1 + -4. Let s be (-2 + 10/w)/15. Which is bigger: s or f?
s
Let a = -0.9 + -0.1. Let y = 93.64 + -0.24. Let c = 92 - y. Which is smaller: c or a?
c
Suppose 0 = 4*k - 7 - 17. Let f be ((-1)/3)/((-4)/(-3)). Does f = k?
False
Suppose -7*w + 2*w = 780. Let s be ((-4)/16)/(w/16). Is s not equal to 1?
True
Let u = -100 - -92. Let z = -2 - -3. Which is bigger: u or z?
z
Let g(u) = -u**2 + 24*u + 81. Let l be g(27). Let y = 1192/7 - 171. Does y = l?
False
Let f be (-1)/18*(20 - 0). Let t(v) = -2*v - 7. Let u be t(-5). Suppose -2*x + u = 7. Which is smaller: x or f?
x
Let k = -3 - -12. Let n(t) = -61*t + 35*t + 25*t - 12. Let v be n(k). Which is smaller: v or -22?
-22
Suppose -9 = 3*n + 27. Let q be -4*(2 - (-2 - -5)). Suppose 62 = -q*f + 18. Which is smaller: f or n?
n
Let b(k) = k**2 - 3*k - 120. Let n be b(0). Are n and -121 equal?
False
Suppose 5 - 9 = -2*y. Suppose 0 = -2*f + y. Which is smaller: -2/53 or f?
-2/53
Let f(v) = 4*v + 70. Let u be f(-17). Is 39/19 bigger than u?
True
Let d = -76 + 48. Let i be (-1)/((-4)/d - 0). Let c = 0.05 - -0.95. Is i at most as big as c?
True
Let z = -1/1933 - -1937/7732. Is z less than 0.074?
False
Let b be ((-4)/(-6))/(120/(-11250)). Is b != -64?
True
Let y be 5/(3 - 22/8). Suppose -17 = a - y. Which is bigger: -13 or a?
a
Suppose 0 = -0*s + 2*s. Suppose 6*a = -5*m + 3*a + 197, -m - 4*a + 53 = s. Suppose r + q = m, -3*q + 8 = 2. Is 35 < r?
False
Let f(o) = 2*o**2 - 8*o - 14. Let b be f(8). Suppose b*g = 52*g + 22. Let l be -1 + (4*4)/(-2). Which is smaller: l or g?
g
Let c = -6 + 32/5. Suppose k = -3*k - 4, 2*y - 29 = -5*k. Which is greater: y or c?
y
Let x = -282 + 4797/17. Suppose 2*u = 2 + 4. Suppose -c - 2 = z, -4*c = -0*z - u*z - 13. Is x less than c?
True
Suppose 10*u + 5 = -15. Is 68 at most as big as u?
False
Let i(y) = -y - 1. Let h be i(-2). Let f(l) = l + 7. Suppose 0*w - 4*w = 20. Let m be f(w). Are m and h equal?
False
Let k = -7984/17 - -470. Which is smaller: -1 or k?
-1
Let i = 211 - 311. Is i > -100?
False
Suppose 4*s - 6*s = 0. Suppose 3*o + 9 = s, -3*n + o = -2*o - 9. Let i be (-11 - -18) + (-1 - 0). Which is smaller: i or n?
n
Let o be (2486/420)/11 - 27/54. Which is greater: 1 or o?
1
Let h be 2 - (-2 + 14/(-2)). Let q = h + 16. Let b = q - 36. Is -11 at most as big as b?
True
Let i = -0.0219 - 221.9781. Is i at least as big as 2?
False
Let m be (112/12)/((-964)/(-324) + -3). Let d be -1 + (-148)/m - (-8)/14. Are d and 1/3 unequal?
True
Let j = -1155/4 + 289. Which is smaller: 29/5 or j?
j
Let u = 0.174 - 0.074. Is u <= 12?
True
Suppose 5*n = -4 + 14. Suppose n*a + 0*a = -8. Let u be a + 1 - (-5 - -2). Is 2/19 at least u?
True
Let n(k) = k**2 + 2*k - 7. Let u be n(5). Let v = -1187 + 1020.1. Let m = v + 167. Which is bigger: m or u?
u
Let a be (2 + -8 + 1)/(9 - 2). Let h(v) = -v**2 + 2*v - 1. Let w be h(1). Which is bigger: w or a?
w
Let p(i) = i - 27. Let y be p(3). Is y greater than -164/7?
False
Suppose -49 = 8*g + 135. Suppose 2*c = -31 - 15. Is c >= g?
True
Let w(z) = -z**3 + 8*z**2 - 5*z - 7. Let h be w(7). Let m = 8 - h. Suppose 5 = 5*c, l = -2*c - 2 + 6. Which is greater: l or m?
l
Let h = -153 - -162. Does h = 6?
False
Suppose 2*u + w = -35, 0*u + 5*w - 1 = u. Which is smaller: -15 or u?
u
Let a be 12/(-9) + (-52)/(-30). Let w = -2 - 0. Which is bigger: w or a?
a
Let y = -672620 + 18149479/27. Let i = -417 - y. Suppose -3*u - u = 0. Are i and u equal?
False
Suppose -4*n = z - 1 - 23, -16 = -4*z. Suppose -3*j - 130 = -8*j - 5*x, 2*x - 127 = -n*j. Are j and 0.2 nonequal?
True
Let f = 48177 + -92388. Let c = 76794505/1737 + f. Let h = 3376/85113 - c. Are 0 and h nonequal?
True
Suppose u + 2*g - 11 = 7*g, -5*u + 4*g = 29. Let b(s) = -2*s**2 + 3. Let w be b(3). Let h = 7 + w. Which is bigger: h or u?
h
Let s(t) = t**3 - 9*t**2 + 8*t + 4. Let k be (-240)/(-6) + 0/(-2). Suppose 3*g - 32 = -3*u + g, 4*u = -2*g + k. Let m be s(u). Which is bigger: m or 5?
5
Suppose -3*c + 8*j - 3*j = -41, -3*c - j + 53 = 0. Suppose 4*u + 16 = 0, 4*l + 5*u = 19 + 21. Is l >= c?
False
Let h = 5 + -11. Let m(q) = q**3 + 5*q**2 - 7*q - 7. Let w be m(h). Suppose -9 = 2*b - 3*l, b + l - 4 - 4 = 0. Which is greater: w or b?
b
Suppose 2*a - 2*p = -20, 4*p + 94 - 14 = -4*a. Let s be 2/6 - 55/a. Suppose -6*m = -s*m. Is 2/3 <= m?
False
Suppose -3*b + 6 = -33. Suppose -3*u = 9, -5*d = u - 0*u + b. Is d greater than or equal to -18/7?
True
Let t be 1 - 9 - (-4 - -2). Suppose -18 = -0*v - 2*v. Let o = v + -15. Is t greater than o?
False
Let d = -1 + 27. Let i = d + -23. Let m be (-27)/(-6) + 2/(-4). Which is bigger: m or i?
m
Let a(u) = -u**3 + 5*u**2 - 4*u - 3. Let i be a(4). Let j be 163/815 - (-4)/5*-4. Is i != j?
False
Let y be 5 + -2 + 0 + 0. Let m be (-4)/(-108)*9*(2 - 4). Which is bigger: y or m?
y
Let n be (-3)/12 + 1005/(-12). Let z = n + 41. Which is greater: z or -44?
z
Let o be 5/((-270)/4) + 0. Let h be (-5)/1*33/(-165). Are o and h unequal?
True
Suppose -u = 3*g - 11, 5*u - 11 = -4*g - 0*u. Let c(o) = 5*o - 3. Let m be c(2). Let q = -4 + m. Is g at least q?
True
Let l(q) = -q**3 + 16*q**2 + 17*q + 1. Suppose -6*p - 3*c + 42 = -3*p, 4*p - 2*c - 74 = 0. Let d be l(p). Which is greater: d or 1/17?
d
Suppose 0 = -31*i + 36*i + 45. Let u be (-30)/9 - -1 - (-6)/i. Which is greater: u or -2?
-2
Let y = 255 - 255. Which is smaller: -452 or y?
-452
Let y(n) = n**2 + n - 1 - 9*n - 2*n**2 + 22. Let w be y(-10). Which is greater: 6/11 or w?
w
Let d = -2.9 - -6.7. Let x = -5.5 + d. Let g = x - -1.5. Is g at most -2/7?
False
Let p be 10/(-4) + 1 - (-9)/18. Let z(w) = 2*w**2 + w. Let f be z(p). Let x = 587 - 2926/5. Does x = f?
False
Suppose -42 + 33 = -3*t. Suppose -t*c - 9*c = 36. Which is greater: 1 or c?
1
Let m = -23352 - -303346/13. Which is smaller: m or -17?
m
Suppose -72*l + 52*l = 120. Is -6 at least as big as l?
True
Let k(s) = 33*s + 22. Let y be k(-3). Which is smaller: -76 or y?
y
Let x be 8/15*(-6)/4. Let k(m) = -4*m + 11. Let z be (-1)/(-2) - 10*(-1)/4. Let i be k(z). Which is smaller: i or x?
i
Suppose -3*h - 4*r - 7 + 0 = 0, 5*r = -5. Is -22/41 >= h?
True
Let s = 6914 + -6914. Let z be (2/5)/((-83)/5). Which is smaller: s or z?
z
Let v(c) = -3*c**2 - 5*c + 3. Le