a or 3?
a
Let f = -2.9 + 14.1. Let m = 41.2 - f. Is -3 smaller than m?
True
Let m(w) = -7*w + 110. Let b be m(13). Suppose 10*c - 5*c = -2*x - b, -3*c = x + 12. Which is smaller: x or -60?
-60
Suppose -5*g + 13 = 128. Let p(v) = -v**3 - 23*v**2 - 5*v + 17. Let z be p(g). Suppose 3*o = 2*o + y - 24, y = 5*o + z. Is -28 bigger than o?
False
Let j(p) = -p**3 - 3*p**2 - 1. Let z be j(-3). Let f be (-8)/14 - (13 - 1769484/154980). Let a = -14/205 + f. Which is smaller: z or a?
a
Let b = 9370309/161 - 58201. Are b and 1 equal?
False
Suppose 0 = -41*g + 23*g - 29*g + 22983. Suppose -2*a = 2*a - 1956. Is g <= a?
True
Suppose 0 = 131*k - 230335 + 1744171. Is -11557 not equal to k?
True
Suppose 34*a = -5*a - 78. Suppose 0*l - 25 = -5*l, -k + l = 45. Let d be (-6)/33 + k/22. Is d > a?
False
Let f be (-8 + (-705)/(-90))*(26 + 4/2). Let z = 6 - 11. Is z <= f?
True
Let n = 1/43268 + 258163/62522260. Do -1 and n have the same value?
False
Suppose -2*g - g + 96 = 0. Let c be (-153)/(-152) - (4 - 116/g). Is c equal to 1?
False
Let c(g) = g**2 + 18*g - 10. Let j be (-20 - 2) + (1 - -4). Let q be c(j). Let h = 72 + q. Is 45 smaller than h?
False
Suppose -22141 = -5*t - 4*y, -48*y + 51*y = 4*t - 17657. Is t > 4421?
False
Let b be -126*(1 + -4) - -6. Suppose 22*u + 56 = -b. Are -20 and u unequal?
False
Let p = 0.3717 - 0.3817. Let l = 0.2 + -0.5. Which is greater: p or l?
p
Let s(p) = p**3 - 10*p**2 + 8*p - 4. Let d be s(9). Let b be (-34)/(-51)*d/(-4)*6. Which is bigger: 12 or b?
b
Suppose -4*b - 23*b - 54 = 0. Let p be (-4)/(-54)*b*(-459)/306. Is 0 at most as big as p?
True
Suppose 0 = 5*i - 3*g - 25, -2*g + 26 = i + 21. Suppose -4*v - 3*b = -3, -3*v + 5 = 2*v + i*b. Is v greater than 1/311?
False
Let j = -278 - -395. Let f = j - 129. Which is smaller: f or -77/6?
-77/6
Let a be -7 + (-46526)/(-4730) - (-3 - -1 - 6/(-5)). Let x = -0.1 + -0.9. Is a at least as big as x?
True
Let i = 206 + -184. Let b = i - 26. Which is greater: 0.13 or b?
0.13
Let o(t) be the first derivative of 35*t**2 + 5*t + 109. Let w be o(-2). Is w > -135?
False
Let t(q) = -18*q**3 - 4*q**2 - 13*q + 9. Let p be t(5). Let u be 2/12 + p/(-36). Let z = u + -54. Is z greater than 13?
False
Let b(q) = q**2 + 11*q - 107. Let h be b(7). Which is bigger: 16 or h?
h
Let p(n) = 2*n**3 - 4*n**2 - 71*n + 7. Let t be p(7). Let c be 38/60 + (-1)/(-6). Which is smaller: t or c?
t
Suppose -3*s + 2*y = -2*y - 143, -2*y = 4*s - 198. Suppose -2*p + i = 1 - 21, 5*p = 3*i + s. Is p smaller than -1?
False
Suppose 0 = 4*o - 4, -2*o + 0*o = 5*k - 27. Suppose -2*v = 4*t + 28, 3*v - 4*t = -k - 17. Which is bigger: v or -12?
v
Let k(q) = 4*q**2 - 11*q**2 + 0 + 1 - 7*q + 6*q**2 - q. Let g be k(-8). Which is smaller: -6/61 or g?
-6/61
Let h = 2742.6 + -2670.6. Which is greater: 4/9 or h?
h
Suppose 0 = 3*x - 5*i - 11 - 49, 0 = 2*x + i - 40. Suppose -10*y = -x*y - 20. Let b be 18/15*(1 + 4). Is b smaller than y?
False
Let t = -1593 + 1575. Which is bigger: -552/29 or t?
t
Let v be 1254/190 + 3*(-4)/2. Let k(g) = -g + 8. Let t be k(0). Let c = -6 + t. Which is smaller: v or c?
v
Let q = 1165/2306 + -6/1153. Let x = -2.9 + -0.5. Let n = -0.6 + x. Which is greater: q or n?
q
Let f(u) = 10*u + 69. Let l be f(-7). Let h be 2*l/7 + (-42642)/(-1610). Does h = 25?
False
Let f = -11 + 13. Let o be (4/(-5))/(-1 - (-77)/75). Let v = o + 54. Which is bigger: f or v?
v
Let z be ((-26)/4)/((-2)/(-12)). Let j = -60 - z. Suppose 140 = -5*y + 3*s, 4*y + 38 = 2*s - 70. Which is bigger: y or j?
j
Let l = 3656 + -3655.991. Is l at least as big as -7?
True
Let h be ((-3)/2)/((-1)/(-12)). Let m be 14/h - ((-18)/(-12) + -2). Which is greater: 1 or m?
1
Let q = -1003 + 1000.452. Let b = q + -0.419. Let z = b - 0.033. Is -0.5 less than or equal to z?
False
Let i = 2.8 + -2.3. Let m = 49.42 + i. Let l = -50 + m. Which is smaller: l or -0.3?
-0.3
Let s = -35 + 80. Suppose -6*c = 45153 - 45417. Is s < c?
False
Let w(z) = 56*z + 2025. Let o be w(-30). Which is smaller: o or 347?
o
Let g = -42 + 55. Suppose 10 = -5*n, 3*m + n + g = -4*n. Let s = -331 + 27803/84. Does m = s?
False
Let r(m) = -3*m**2 + m - 5. Let u(k) = -2*k**2 + k - 5. Let v be (-6)/(1*(1 + 0 - 3)). Let z(w) = v*r(w) - 4*u(w). Let x be z(2). Which is bigger: -1/32 or x?
-1/32
Let o(v) = -9*v**2 - 8*v + 14. Let b be o(-3). Let w be -40 - 1 - (-3)/(-3). Which is greater: w or b?
w
Let a = -34734 + 34735. Is 125/256 bigger than a?
False
Let b be 514/(-10) - 6/45*-3. Let g(d) = -d**3 + 46*d**2 - 47*d + 42. Let w be g(45). Which is smaller: w or b?
b
Let a = -4253669/229 + 18575. Is 1 smaller than a?
False
Let l = 22.998 + -22.798. Let b = 387.1 - 55.1. Is b less than or equal to l?
False
Suppose -765976 - 30113 = 190*d - 23*d. Is d less than or equal to -4768?
False
Let v be 2 + ((-189614)/169)/(6/3). Let f = v - -559. Is 0 equal to f?
False
Let b = 0 - 1. Let t = 333640/2817 - 1066/9. Let h = 644/2817 + t. Which is smaller: h or b?
b
Suppose 0 = -2*w - g - 4, -5*w + 6 - 16 = -4*g. Let b be w/(-1) + 1 + -1. Suppose -b*l = -3*l - 26. Which is smaller: l or -25?
l
Suppose -17*r - 27*r - r + 3825 = 0. Which is smaller: 42 or r?
42
Let h(g) = g**2 - 2*g - 60. Let x be h(0). Suppose 212*f = 197*f - 900. Are f and x non-equal?
False
Let t = 4925 - 4146. Is 780 less than t?
False
Let b = 4110 + -65785/16. Suppose 2*s - 256 + 64 = 33*x, 15 = -s - 2*x. Which is smaller: b or s?
s
Let g = -307.4 + 306.4. Which is smaller: -1844 or g?
-1844
Let h be (4546 - -19)/5 + -9. Is 901 greater than or equal to h?
False
Let r = -1013/10 + 101. Let x = r + -1/30. Let w be (2375/75 + -30)/(125/(-45)). Is x > w?
True
Let d(u) = 273*u + 1368. Let z be d(-5). Is -18 > z?
False
Let l be 60/(-210) - 944/3752. Which is smaller: -1 or l?
-1
Let k = -15895 - -16613. Which is greater: 716 or k?
k
Let p = 2948/289 + -5149807/578. Is -8900 less than p?
True
Let l = -164 - -168. Suppose l*g - 7 + 23 = -y, 2*g = -y - 8. Is y equal to 18/43?
False
Suppose 2*h + 2*k - 5*k + 59 = 0, 0 = 5*h + 3*k + 179. Let f be 0 - 267/2970*h - 3. Let a = 2/165 - f. Which is greater: 0 or a?
0
Suppose 5*o = -0*b - b - 16, -3*b = -o - 32. Let w be b/45 - (-2)/10. Let m = 47 + -48. Which is smaller: m or w?
m
Let f = -0.7 + 1.62. Let h = f - -0.18. Let i = -3.1 + h. Is 1/23 at least i?
True
Let t = 1619 + -1688. Which is smaller: t or -1/15?
t
Let w = -429 + 435. Let s be 1341/w - 9/18. Which is smaller: s or 222?
222
Let o = -86 + 89. Suppose 3*d - 39 = -o*l, -10*d - 2*l + 40 = -7*d. Is 15 at most d?
False
Let p be 7/((-175)/230)*(-9 + 14). Which is smaller: p or -51?
-51
Let y be 4/(-3)*11/((-110)/2865). Let f = y - 620. Is f < -239?
False
Let v = 1195 - 1195. Which is smaller: v or 0.141?
v
Let u be ((-201)/6)/(-67)*(-2 + 0 + -1). Which is smaller: u or 5/206?
u
Let d = -1707.2 + 178.2. Which is smaller: 0.1 or d?
d
Let c be (-2)/5 - (-2)/5. Suppose 0 = 3*t + 2*y - 22 + 53, 0 = 4*t + 3*y + 40. Let u be t/(13/(-6))*6/27. Is c at most u?
True
Suppose -2*h - 920 = -2*y, -y + 450 = -h - 2*y. Let c be (20853/h)/9 - -5. Let g(o) = -o**2 + 8*o + 9. Let f be g(9). Which is smaller: f or c?
c
Let h = 3397 + -3397.1. Are h and -175/3 equal?
False
Suppose -5*q + 9*b - 12*b = -126, 3*b - 30 = -q. Let z be 2 - ((-9)/(-6) + (-276)/q). Let n(j) = 2*j - 1. Let m be n(7). Which is smaller: z or m?
z
Suppose 97*z + 4 = 92 + 9. Which is smaller: 6/2521 or z?
6/2521
Let y be 4/(-10) - (-21)/(-35). Is y bigger than 13/564?
False
Let a = 40 - 39.53. Let u = -0.1235 - -0.6535. Let o = a + u. Which is bigger: -1/5 or o?
o
Suppose 79*a + 379*a = 328386. Is 705 greater than a?
False
Let w(m) = -2*m**3 - 47*m**2 - 24*m - 22. Let f be w(-23). Let c be (-5)/24*(-272)/(-476). Is c != f?
True
Let i(r) = -r - 16. Let x(k) = k + 14. Let a(p) = -3*i(p) - 2*x(p). Let b be 1/((6/(-26))/3). Let f be a(b). Does 4 = f?
False
Let k = -0.8 - 0.2. Let g be (360/50)/(210/(-200)). Which is bigger: g or k?
k
Let s = -286 + 98. Let z = s + 83. Which is smaller: 0.1 or z?
z
Let s(j) = -29*j**2 + 45*j + 51. Let n be s(5). Which is smaller: -3148/7 or n?
-3148/7
Suppose 2*i + 67 = v + 52, -35 = 3*v + 4*i. Is v at least 4/12705?
False
Let g = -574 + 301. Let a = g + 25934/95. Let h = 0 + -1. Is a less than h?
False
Let f be (-10)/8 - 12/(-8). Let l = 522.1 - 521. Which is smaller: l or 