 = 0, -3*f + 38 - 3 = -2*s. Let y be r(f). Which is greater: y or -3/7?
y
Suppose -3*k = p - 33, p + k - 91 = -2*p. Suppose q + 2 = 3*r - p, r - 2*q = 4. Let y = 11 - r. Which is smaller: -1/6 or y?
y
Suppose 1 = 3*q - 2, -5*a + q = 1. Is 4/91 less than a?
False
Let a be (3 - (-56)/(-20)) + (-9)/45. Which is greater: a or -29?
a
Let c be (-8)/(19904/22472) + 9. Which is smaller: c or -1?
-1
Let w = 2.62 + -2.32. Is -34 at most as big as w?
True
Let b(u) = -u**2 + 2. Let v be b(2). Let z be 12/(-8)*v/(-3). Let y = -83/120 + 1/40. Is y not equal to z?
True
Suppose -336 = -5*a - 3*h, -a - h + 43 = -23. Which is greater: 68 or a?
a
Suppose -3*f = 4*s - f + 22, 3*f = -3*s - 24. Let p = 0.18 - 1.78. Let l = 1.8 + p. Is l <= s?
False
Let i = 43.5 - 43.5. Which is smaller: i or -7.2?
-7.2
Let y(v) = -8*v**2 + 20*v + 25. Let f(t) = -7*t**2 + 19*t + 24. Let l(o) = 7*f(o) - 6*y(o). Let i be (-3)/6*13*-2. Let c be l(i). Is 18 at least as big as c?
True
Let h = 16131/2548 + -165/26. Is h bigger than -1?
True
Let a = -16532/4595 - 2/919. Which is greater: a or -3?
-3
Let y(l) = -3*l + 54. Let z be y(18). Let s = -239 - -1191/5. Is z < s?
False
Let q = 0 - 0. Let p = -33 + 13. Let w = p + 19.97. Are w and q unequal?
True
Suppose 0 = -2*g + 2*a - 22, 4*a - 14 = -2. Let u(y) = 13*y**3 - y**2 + 1. Let w be u(1). Let n = w - 22. Is g at least as big as n?
True
Let n be 8 + 1/((9/(-6))/3). Do n and 54/11 have the same value?
False
Let q(o) = o + 9. Let p be q(-5). Suppose m = 3*v - 6, -3 = p*m - m - 4*v. Let l be m/(24/(-22)) - -3. Which is smaller: 1/10 or l?
1/10
Suppose -3*k = 5*v - 118, 7*k - v + 4*v - 310 = 0. Suppose 2*h + 1 = 95. Is k > h?
False
Let h = -23117/36 + 642. Suppose 4*l + 5 = 1. Does l = h?
False
Suppose 19*a = 24*a - 200. Let l be 6/(-20)*a/8. Is 1 >= l?
True
Suppose -15 = -2*z + 5*g, -3*g + 8*g + 15 = 4*z. Suppose -2*r + 6 = -z*r - 2*y, 0 = 5*r + y - 3. Which is smaller: r or 2/21?
2/21
Let t = 448 + -869/2. Suppose -10*l + 154 = l. Is t equal to l?
False
Let z be (-22)/33 + 17/(-3). Suppose 6*a - 2*a = -3*i + 19, -2*a + i + 7 = 0. Let o be 1 - (8 - (a + -4)). Is o at most as big as z?
True
Let h(c) = -c**2 + 48*c - 210. Let o be h(15). Is -2 bigger than o?
False
Let z be 18 - 24 - (-8)/4*3. Is 3/119 not equal to z?
True
Suppose 8*l - 4*l = -4. Let n be (1*l/(-10))/((-33)/6). Which is smaller: n or 0?
n
Let l = -85 - -84. Is 1/417 equal to l?
False
Suppose 197 = -g - 13. Which is bigger: g or -209?
-209
Suppose 4*a - 20 = -3*p, 7*p - 2*p + 4*a - 20 = 0. Let h be (-1 - -3) + 1 + 9. Which is smaller: p or h?
p
Let l(b) = 248*b + 142. Let s be l(-4). Is s less than or equal to -850?
True
Let k = -257 + 242.1. Let v = k - -15. Which is greater: v or -1/8?
v
Suppose 0 = 5*q + 5*r - 455, -30*q = -26*q + 5*r - 361. Which is greater: 87 or q?
q
Let y(x) = -x**2 - 5*x + 12. Let q be y(-5). Let h be -4 + 4 + 3/q. Which is bigger: h or 7/3?
7/3
Let a = 1.03 - 0.13. Let m = a + 0.6. Let b(y) = -y**3 + 9*y**2 - 3*y + 28. Let q be b(9). Does m = q?
False
Let r = 12.385 + 0.615. Let q = 1.3 - 0.3. Is r >= q?
True
Let o be 3/4 - (-1932)/(-16). Let c be ((-4)/(-5))/(48/o). Are c and -2 equal?
True
Let k = -0.008 + -67.992. Let q = 64 + k. Is 0 at most as big as q?
False
Let w be ((-96)/21)/((-2)/7). Which is smaller: 123/8 or w?
123/8
Let s = 42488 + -15678095/369. Let q = s + -2/41. Which is greater: -1 or q?
q
Let a(k) = -k**3 + 6*k**2 + 7*k + 8. Suppose 0*v + 2*v = 2, 2*g - 13 = v. Let w be a(g). Let b be ((-18)/w)/((-30)/(-80)). Which is greater: b or -0.1?
-0.1
Suppose -6*c - 8*c + 280 = 0. Let j be (-8)/c + 1/((-110)/(-14)). Is 1 >= j?
True
Suppose 9*w - 6*w + 27 = 0. Which is bigger: w or 5?
5
Suppose 0 = -4*t - o + 2, 6*o - 10 = 5*t + o. Suppose t = 4*g + 16, -3 - 28 = -5*p - g. Which is smaller: 23/3 or p?
p
Let v = -0.35 + -1.75. Does -3/2 = v?
False
Let v be 238/((12/15)/(-2)). Let t be 3160/v + -3*8/204. Is t greater than or equal to -4?
False
Let v = 22 + -39. Suppose -4*i + 6*i + 6 = -4*s, 2*s = -5*i + 17. Is v bigger than s?
False
Let a = -37/21 + 10/7. Is 52 > a?
True
Let w = -58641/1400 - -335/8. Which is smaller: -1 or w?
-1
Suppose 4997*v = 4991*v + 11826. Which is bigger: 1972 or v?
1972
Suppose 2*w - 19 = -b + 2, -2*w + 73 = 5*b. Which is greater: 2 or b?
b
Let t be (-56)/(-6) - 2/(5 + 1). Is t bigger than 15?
False
Let r = 149 - 148.8. Are r and -33 unequal?
True
Let p be 7840/(-1456) - (-5 + -1). Is p > -0.1?
True
Let i = 68/287 + 2/41. Let h = -0.54 + 0.7. Which is smaller: h or i?
h
Let g be ((-8)/(-10))/(-9 - (-23830)/2650). Let t = g - -213/2. Suppose 3*j - 15 = -3*x, -5*j = -j - 3*x + 1. Is t greater than j?
False
Let h(n) = -3*n + 2. Let t be h(2). Let r(z) = -1227*z + 63. Let m be r(1). Let u be t/14 - m/(-336). Which is greater: u or -4?
u
Suppose 6 = 4*f - m, 2*m + 3 = 4*f - 5. Let b be 3/(-1) + (-228)/(-60). Which is bigger: b or f?
f
Let i = -44 - -56. Let l = 2 - i. Is 2 greater than l?
True
Let b(j) = 6*j + 19. Let d be b(-3). Let t be 32/80*(d + (-9)/24). Is t <= -55?
False
Let g(q) = 90*q - 721. Let w be g(8). Is -172 >= w?
False
Let c = -530.61 + 531. Is -5/4 <= c?
True
Let y(d) = -5*d**2 - 2*d - 3. Let j be y(6). Let c = j - -574/3. Which is bigger: -5 or c?
c
Let o(b) = b**3 - 8*b**2 + 10*b + 7. Let j be o(6). Let p be (-5 - j)*(5 - 4). Are p and 2/79 equal?
False
Let l(g) = -g**3 - 3*g**2 + 5*g + 6. Let m be l(-5). Suppose 7*n - 227 = -3. Which is smaller: n or m?
m
Let j = -34 + -57. Let b = j + 638/7. Is b at least as big as 5?
False
Let l = 16560682/473 + -35012. Which is bigger: l or 0?
l
Suppose 4*d + 124 - 144 = 0. Is d at most 24/5?
False
Let q(g) = g**3 + 9*g**2 + 8*g + 11. Let m be q(-8). Suppose 4*a = h + 14, a + h = 4*a - m. Suppose -a*r + 6 = 3*l, 0*l - l - 10 = -3*r. Are 2 and l nonequal?
True
Suppose 0*c + 2*c = -12. Let t(p) = -5*p**2 + 0 + 6*p**2 + 4*p**2 + p**3 + 4 - 5*p. Let b be t(c). Is -3 greater than b?
False
Suppose 5*w = 19 - 9, -4*p + 6432 = 2*w. Is 1608 < p?
False
Suppose 2 = 2*i - 0. Suppose 2*d + 0*d = -5*u + 282, u - 59 = -3*d. Let k be ((-4)/u)/((-2)/24). Is i equal to k?
False
Let a be 4/(-12) - (0 - 0). Let s = -26 + 22. Let u be 2*(1 - (-6)/s). Which is smaller: u or a?
u
Let r = 9293 + -306641/33. Is r less than 0.1?
False
Suppose -4*q - v - 84 = 0, 4*q + 96 = -2*v - 2*v. Suppose -3*t + 60 = -3*b - 0*t, -t = b + 18. Is q bigger than b?
False
Let g(f) = -2*f**2 - 4*f + 1. Let w = 30 - 25. Suppose w*m - 5*i + 0*i = 15, 5 = -5*m + i. Let x be g(m). Which is smaller: x or 0?
0
Let s(n) = n. Let x(z) = -z + 2. Let p(g) = 2*s(g) + x(g). Let w be p(-3). Let v = 6/89 - -207/890. Is w at most v?
True
Suppose 57*g = 72*g - 2295. Is g != 153?
False
Let d be (-6)/10 + (-686)/(-10) + 5. Is 73 equal to d?
True
Let k(t) = -t + 5. Let c be k(3). Suppose 23*q - 3 = 22*q. Suppose -c*o + q*o = -3. Which is greater: o or 2?
2
Let q(w) = -9*w**3 + 2*w**2 - w - 1. Let g(z) = -2*z**2 - 14*z + 1. Let y be g(-7). Let j be q(y). Let c be (-8)/(-20) + 47/(-5). Does c = j?
True
Let q(y) = -3*y**2 - 40*y + 38. Let a be q(-18). Does a = -214?
True
Let r = 0.5 + 0.4. Let k = 6 + -4. Do r and k have the same value?
False
Let n = -199 - -197. Is n greater than or equal to 4?
False
Let d = 13808/43605 - 2/2295. Let p = -667 + 668. Which is greater: p or d?
p
Suppose 3*k + 1 = 13. Suppose j - 7 = -5*r + 6, k*j + 5*r = 22. Suppose -5*t + 7 = -4*s, s + 5 = t - j*t. Is 4/9 > t?
True
Let g = 5 - -3. Let f(t) = -14*t**2 - 8*t - 2 + 4*t**2 + 8*t**2 + 3*t**2. Let k be f(g). Do k and -4 have the same value?
False
Let b = -15 - -1. Let d(v) = -v**3 - 8*v**2 + 3*v + 11. Let x be d(-8). Which is greater: b or x?
x
Let l be (5/10)/(1/2*-1). Are 5/76 and l unequal?
True
Suppose 2*q + 3*q = -25. Let f(s) = -10*s - 11. Let n be f(q). Which is smaller: n or 38?
38
Let x = -69 - -79. Let g be x/45 - (-8)/(-9). Is g != 22?
True
Let p = 32 - 110. Let v be 16/(-8) - p/(-2). Is -40 <= v?
False
Let h(y) be the first derivative of 7*y**3/3 + y**2 - y - 9. Let c be h(1). Let r = c + -9. Is r less than -7/9?
True
Let k = 0.3 - 0.32. Let n = 11.81 + -0.51. Let p = -11.1 + n. Is p greater than or equal to k?
True
Suppose -6*z + 2*z - 80 = 0. Let b be (0*(-5)/z)/(-2 + 0). Which is bigger: b or -43?
b
Suppose -7 = -2*p - 15. Let j(r) = 2*r - 