 -4*m - 66 + z = 0. Which is bigger: 49/3 or m?
49/3
Let m = 52 + -53. Let s be 120/(-36)*m/(-5)*-2. Is -2 greater than s?
False
Let m = 0.59 + -131.59. Are m and -1 non-equal?
True
Suppose -w + 2 = 1. Let a be 1209/4991 + w*2/(-7). Which is smaller: a or 0?
a
Suppose 5*c + 28 + 31 = 2*z, c = -2*z + 53. Let x = z - 16. Are x and 8 unequal?
True
Let m(i) = -i. Let z(b) = -b**2 + 2*b + 6. Let l(h) = -3*m(h) + z(h). Let g be -4 - (-45)/12 - 75/(-12). Let u be l(g). Is -2 equal to u?
False
Let f = 81401/4 - 20350. Let o(w) = -w - 2. Let k be o(-5). Let z = -2 + k. Is f < z?
True
Suppose -2*b - 2*h = -82, -4*h - 205 = b - 6*b. Are b and 38 unequal?
True
Suppose -3*b - 44 = -5*a + 844, -4*b - 712 = -4*a. Is a at least 176?
True
Let o(h) = -h + 21. Let p be o(-10). Is 31 less than p?
False
Suppose -f + 8*k + 255 = 4*k, -2*k = -4*f + 1020. Are 255 and f equal?
True
Suppose 2*h - 3*h = -103. Let c = h + -22. Let k be (-18)/c + 43/(-9). Is k < -3?
True
Let l be 4/(-24)*-9*6. Let g be 4 + -2 + l - -2. Which is greater: g or 15?
15
Let y(x) be the first derivative of -3*x**2/2 - x + 1. Let d be y(-3). Let o = d - 7. Is -1/10 equal to o?
False
Let q = 28.05 + -217.05. Which is smaller: q or 0.2?
q
Let u = -0.14 - -0.25. Let t = -0.31 + -2.58. Let b = u - t. Is b smaller than -3?
False
Let d be ((-1)/((-1734)/12))/(-2). Which is smaller: d or 1?
d
Let s = 28 - 23. Suppose -2*l + p = -0*p - s, -4*l + 3*p = -11. Which is smaller: l or 11/7?
11/7
Let s = 21683/3 - 6978. Is 250 bigger than s?
True
Suppose 15 = -0*a - 3*a, -i - 2*a = 21. Is -8 at most as big as i?
False
Let w = -81 - -85. Is -4 at least as big as w?
False
Let t = -76 + 148. Suppose -3*a = z + t, 0 = 3*z - a - 3*a + 164. Is z smaller than -60?
False
Let y = 22 - 31. Let x = -9.4 - y. Let k = x + 0.4. Is k less than 5?
True
Let o(b) = -2*b + 9. Let u be o(4). Let c = u + -2. Which is smaller: c or 1?
c
Let a = 5 + -1. Suppose o - 2*y = -3*y + 13, 3*y + 31 = a*o. Suppose 11 - o = q. Which is greater: q or -2/39?
q
Let x = -0.134 + 0.054. Let a = -0.08 - 0. Let r = a - x. Is 2/3 bigger than r?
True
Let f be 12/9*(-75)/2. Let o = 68 + f. Is o less than 18?
False
Suppose -1125*z + 1130*z - 5 = 0. Which is smaller: z or -10/43?
-10/43
Let k(s) = 9*s**2 - 9*s + 9. Let i(f) = 5*f**2 - 4*f + 4. Let j(u) = -7*i(u) + 4*k(u). Suppose 5*h - h = 24. Let v be j(h). Is -1 < v?
False
Let z = -3780.9 - -3976. Let m = z + -178. Let h = m + -17. Which is smaller: -10/13 or h?
-10/13
Suppose -4*z = -2*x + 60, -4*x + 135 = -0*z - 5*z. Let a be x/16*1/(-45). Which is bigger: 0 or a?
0
Let s(f) = f**3 + 14*f**2 - 13*f + 5. Let b be s(-12). Let q be (-12)/(-36) - b/42. Let v = -21/2 - q. Which is smaller: 1 or v?
v
Suppose -4*h + 12 = -5*f, 5*f + 17 - 2 = 5*h. Let n = 0.604 - 0.51. Which is smaller: f or n?
f
Let q(v) = v**3 - 7*v**2 + 3*v - 6. Let a be q(8). Let f = 76 - a. Which is smaller: f or -4?
f
Suppose 4*p - p - 3 = 0. Let j = -86 - -112. Let v be (-8)/j*7*(-5)/(-35). Which is bigger: v or p?
p
Let r(f) = 4*f**2 - 181*f + 1067. Let z be r(7). Let j be ((-6)/20)/((-12)/5). Which is smaller: j or z?
z
Suppose -42 = -3*h - 4*h. Suppose -k + 4 - h = 0. Let z be 19/(-7) + (-4)/14. Is z less than k?
True
Let t = -20.3 - -22. Let y = t + 11.3. Is -0.1 bigger than y?
False
Let w be 5*(-2)/15 + 16/42. Which is smaller: -0.41 or w?
-0.41
Let q = 66 + -32. Let h = 26 - q. Which is bigger: h or -7?
-7
Let i be 13/3 + (-40)/(-24). Suppose -28 = -3*y + m + 3*m, -5*m - 40 = -5*y. Suppose 23 = y*d + 7. Which is smaller: d or i?
d
Let k be -6 + (-5 + -4)/(-3). Suppose 12 = 2*p + 4*i, 2*p - 2*i - 3*i - 3 = 0. Let s(u) = -u + 2. Let w be s(p). Which is smaller: w or k?
k
Let j(u) = u**2 - 4*u - 23. Let b be j(7). Let m be b/4 - 525/(-126). Are 3 and m equal?
False
Let a = 5 - -7. Let g be (-2 - 1)/(a/(-16)). Suppose -5*t = -i - 15, 18 + 1 = t + 3*i. Does t = g?
True
Let h = 26 + -83. Let x = -40 - h. Let i = x + -20. Which is smaller: 2 or i?
i
Let b = -35826/37 + 6778/7. Which is smaller: b or 0?
0
Let g = 252 + -257. Let x = 5 + -5.06. Let l = -1.94 + x. Is g less than l?
True
Let l = -6 + 8. Suppose 5*h = 3*m - 26, 0 = -l*m + 7*m + h - 90. Is 17 >= m?
True
Let h = 29.142 + -0.142. Let f = h - 69. Which is bigger: f or 0?
0
Let s be (1 + 1)/(4/6). Suppose -6*t = s*t + 45. Is -1 at least t?
True
Let o = -333 + 348. Which is smaller: o or -1/4?
-1/4
Let v be (-92)/(-16) - 0/(-2). Which is smaller: v or -1/4?
-1/4
Let k be 31/33 + 104/1716. Does k = 2/859?
False
Let g = -756 - -766. Is g smaller than 2/25?
False
Let c = 1736.1 - 134.1. Which is smaller: 1 or c?
1
Let r be (-3672815)/(-26548)*(-832)/(-1496). Let q = r - 2/73007. Let f = -77 + q. Is f less than 1?
True
Let v be (-8 - -6)*(-21)/6. Suppose 3*t = 3*g + 15, v = 3*t + g - 16. Suppose 5*n + 2*o = 32, n = -3*n + 3*o + 44. Which is smaller: t or n?
t
Let j = -45 - -44. Is j at least 2?
False
Let k be 11/4 + 13/4 + -3. Suppose -5*d = -k*d - 20. Is 9 >= d?
False
Let h = 390 + -388.96. Is -0.2 greater than h?
False
Suppose 0 = c - 16*c. Is 1/1213 bigger than c?
True
Let c be (-240)/889 + 4/14. Suppose 0 = 92*p - 40*p. Which is smaller: p or c?
p
Let v = -2430.2 - -2540.17. Let d = -113 + v. Let f = d - -3. Is f less than or equal to 0.1?
True
Suppose 2*p - 5 = -v, 2*v + 3*p = 7*p - 6. Which is smaller: 3/47 or v?
3/47
Suppose -p - 2*s = 6, -2*p + 3*s = -10 + 1. Suppose x = 2*m + 3, -2*x - m + 0 + 11 = p. Let d = x - -3. Which is smaller: d or 9?
d
Let q(y) = -y**3 + 4*y**2 + 6*y + 7. Let o be q(6). Let d = 29 + o. Is -2/13 != d?
True
Let b be 5/(-35) - (-432)/(-14). Let q = b - -32. Let o be (52/(-25) + 2)*-1. Is o at most q?
True
Let g be -2 + (0 + 2)*-1. Let k = 28 + -25. Suppose 0 = k*b + 7 - 1. Is b < g?
False
Let m = -13860 - -20776143/1499. Which is smaller: m or -1?
-1
Let f be 5010/150 + 1/(-10)*-6. Let x = -33 + f. Which is bigger: x or -5/34?
x
Let v(x) = -x**2 - 14*x - 10. Let l(q) = q - 1. Let o(a) = -l(a) - v(a). Let c be o(-12). Which is greater: c or 1/29?
1/29
Suppose -i + 5*t - 330 = 0, -33*i + 37*i = 4*t - 1272. Which is smaller: -314 or i?
i
Let j(a) = -a**3 + 13*a**2 + 4*a - 2. Let d be j(12). Suppose 0 = 12*o - 158 - d. Which is smaller: 27 or o?
27
Suppose -57 = 2*g - 63. Which is greater: g or -1/47?
g
Let k be (-2)/3 + (-88)/(-6). Let j be k/24 + (-1)/4. Let f = -1.94 - -2.02. Which is smaller: f or j?
f
Let u = -3.56 + 3.4. Let g = -3.16 - u. Which is greater: -1 or g?
-1
Let s = 34 - 90. Let a = s - -57. Which is greater: 0.5 or a?
a
Suppose 0 = -z + 21*b - 16*b + 41, 5*z - b - 109 = 0. Is z at least as big as 85/4?
False
Suppose 0 = -4*d - 51 - 289. Which is bigger: -84 or d?
-84
Let f be (-5 + 7)*(-45)/(-6). Let u be (26/(-6))/((-8)/24). Which is smaller: f or u?
u
Let h be (-9 - -284)*-9*(-6)/36. Is h smaller than 412?
False
Let u = 0 - 3. Let t = -2.07 + 3.07. Let k = u - t. Is k not equal to -0.2?
True
Let q = -36 - -36.3. Let n = 0.45 - q. Is 0 smaller than n?
True
Let y be 40/238 + 2/(-7). Suppose 5*w - 3*b - 18 = 0, 0 = 2*w - 2*b - 15 + 7. Is y <= w?
True
Let a(g) = -g**3 - 6*g**2 - 3*g + 1. Let q(d) = 1. Let v(c) = -a(c) - 4*q(c). Suppose 0 = -2*m - 9 - 1. Let b be v(m). Is b at most 5?
True
Let n(o) = -6*o**2 - 8*o - 13. Let c(p) = 7*p**2 + 8*p + 14. Let x(b) = -5*c(b) - 6*n(b). Let u be x(-7). Which is greater: 2 or u?
2
Suppose -4*j - 3*t + 1 = -5*j, -4*t + 23 = 3*j. Suppose -2*s - 3*v = -11, -2*s + 12 = -j*s + 5*v. Which is smaller: 21 or s?
s
Let u be -6*(-1)/12*0. Suppose 52*o - 53*o + 57 = u. Is 57 not equal to o?
False
Let x = -5 + 5. Let c = -11.753 - -5.799. Let v = c + -0.046. Which is smaller: x or v?
v
Let t = -637/3 + 212. Which is bigger: t or 73?
73
Let f be (-11)/(-4) - (52/(-16) - -3). Suppose -f = -3*i, 5*r = 3*i + 65 + 2. Does r = 16?
False
Suppose n - 5*j - 4 = -3*j, 4*j = n - 4. Let i be n - (-4)/(8/(-6)). Is 1 bigger than i?
False
Let q(c) = c + 12. Let v(o) = -13. Let n(r) = -5*q(r) - 4*v(r). Let z be n(-6). Let u be -1 + (4 - 62/z). Which is smaller: 1 or u?
u
Let h be 4/34 - (-330)/(-3672). Let u(w) = -25*w + 49. Let s be u(2). Is s bigger than h?
False
Let j be 2/(-25)*(184/(-21) + 9). Which is smaller: 1 or j?
j
Suppose 3*s = 2*n - 131, 0 = 3*n - 3*s + 2*s - 214. Is n < 76?
True
Suppose -9*d = -7*d + 40. Let u 