r z?
c
Let y be 28/154 + (-548)/22*-2. Is 49 smaller than y?
True
Let w be 6/7*(-14)/(-3). Suppose n = w - 3. Suppose 3*c + n = -20. Which is smaller: -8 or c?
-8
Let l = 404.3 - 443. Let w = l + 39. Let s = 2 - 2. Is s > w?
False
Suppose 5*g + 0*o + o = 10, -20 = -5*g - 3*o. Let u be 0/1*(-2 + g). Suppose -8*s - 70 = -15*s + 77*s. Do u and s have different values?
True
Let c = 25 + -15. Let y be (-10)/(-2)*18/15. Is c != y?
True
Suppose 110 = -5*q - 5*v, 1 = 4*v - 11. Let x = q + 30. Suppose -o + 3*y = -15, 0*o + 2*y = 4*o - 30. Which is smaller: o or x?
x
Let y = 35 + -47. Let h be (-25)/(-30) - (-4)/y. Is h >= 29?
False
Suppose -2*d + 4 + 46 = 0. Let k be (32/10)/(135/d + -5). Is k not equal to 8?
False
Let f = 0.097 + -0.437. Let p = -0.29 - f. Is p bigger than -1/4?
True
Let s(c) = -3*c**2 - 17*c - 9. Let y be s(8). Let d = y + 989/3. Is d != -7?
True
Suppose -4 = 2*i + 2. Let f(w) = w**3 + 3*w**2 - w - 1. Let l be f(i). Let o = 0 - l. Which is smaller: o or -1?
o
Let j = -9950/13108881 + 1/8387. Let f = j + -82837/3126. Let d = f - -26. Which is smaller: -1/3 or d?
d
Suppose 0 = 2*q - 4*v + 7*v - 71, q - 2*v - 25 = 0. Is q > 37?
False
Suppose 0*c = 7*c - 84. Suppose -10*v = 28 + c. Which is bigger: v or -1?
-1
Let i(l) = 6*l + 18. Let f = 18 + -24. Let q be i(f). Let c be q/33*5/15. Does -1 = c?
False
Let x be (-2)/((-2)/(-5 + 1)). Let t(d) = -d**3 - 5*d**2 - 3*d + 2. Let s be t(x). Let j = -3/2 - 0. Which is smaller: j or s?
s
Let m be (-24)/18*(20/(-200) + (-46)/80). Let i(s) = 2*s**3 - 1. Let c be i(1). Are c and m unequal?
True
Let s = 957.84 - 958. Which is smaller: 6 or s?
s
Let l = -0.7 - -0.4. Let p = 4.9 + -4.6. Which is greater: p or l?
p
Suppose -4*a - 16 - 8 = 0. Let j = 887 + -893. Is a < j?
False
Let b = -517 + 507. Which is smaller: b or -7?
b
Let m(p) = -4*p**2 - 2*p + 2. Let k(b) = -11*b**2 - 5*b + 6. Let v(n) = -3*k(n) + 8*m(n). Let u be v(2). Is 8/13 greater than or equal to u?
True
Let o(l) = -l + 14. Let m be o(7). Let d = -7 - m. Let q be d*-2*(-1)/(-4). Is 7 at least as big as q?
True
Suppose -146*z = -154*z - 2488. Is z <= -312?
False
Let h(p) = 4*p**2 - p - 2. Let j be h(1). Which is smaller: j or -1/376?
-1/376
Let h(j) = 88 + 0*j - j + j**2 - 89. Let t be h(-3). Let m be t + -11 + 2/(-2). Are m and -2 unequal?
True
Let q be (-125)/8*2 + 1/4. Which is bigger: q or -25?
-25
Suppose 4*j = -2*c - 75 - 53, 0 = -5*j - 20. Is c at most as big as -111/2?
True
Let p(v) = v**3 + 5*v**2 - 5*v + 7. Let o be p(-6). Let k be 7/8 - (2 - 1). Is k equal to o?
False
Let y = -3/11 - 5/22. Is y less than -0.03?
True
Let h be (2/5)/(11/220). Suppose 2*w - 6*w = 0. Suppose w*z = -z + h. Which is smaller: 9 or z?
z
Suppose 23*g + 786 - 3063 = 0. Do g and 107 have different values?
True
Let j(n) = -n + 4. Let s be j(-4). Let c = 6 - s. Which is bigger: -3 or c?
c
Let t = -19 - -17. Is t less than 12/11?
True
Let v = 479/2 + -49339/206. Which is smaller: 1/4 or v?
v
Let q be ((-70)/(-12))/(-5) - (-78)/468. Which is smaller: -1/12 or q?
q
Let l(r) = -r**3 + 2*r**2 + 5*r + 4. Let z be l(-2). Which is smaller: 27 or z?
z
Suppose -5*f + 5*v - 15 = 0, 13 = -4*f + 2*v - 9. Let h = -15 - f. Let i be (-3)/(-6)*(-5 - h). Which is smaller: 10/9 or i?
i
Let s(v) = v**2 - 6*v - 2. Let r be s(7). Let m = -4 + r. Let u(g) = 5*g - 22. Let w be u(5). Which is greater: w or m?
w
Let j = -18 + 23. Let t(l) = -j + 4*l - 2 - 5 - 2*l. Let x be t(4). Is -7/2 > x?
True
Let s(u) = -42*u + 71. Let t(q) = 7*q - 12. Let m(w) = -6*s(w) - 34*t(w). Let y be m(2). Which is smaller: 66/7 or y?
66/7
Suppose 2*q + 5*f - 3*f + 6 = 0, 4*q + 3*f = -8. Let k be 607/11 + 22/(-121). Let c = 331/6 - k. Is c at most as big as q?
True
Let y = 78 + -76. Let r be (-1 + y)/(-1) - (29 - 31). Let q = 355 + -6038/17. Which is smaller: q or r?
q
Let d be 910/143 + -9 - -1. Is -0.6 at least as big as d?
True
Let f(s) = 2*s**2 - 3*s - 4. Let p be f(3). Let w(z) = 7*z**2 - 2*z + 1. Suppose 5*u - 25 = -5*n, n = -2*u + 8 - 2. Let k be w(u). Which is smaller: p or k?
p
Let s = -0.0589 - -0.5509. Is s at most -1/4?
False
Let b(m) = -12*m - 241. Let f be b(-20). Is f > -1/1553?
False
Let x = -27 - -26. Let b be -1 + x + 0 + 10 + 0. Are -3 and b equal?
False
Suppose -4*z - 23 = -3. Let s = -8.15 - -0.15. Let t = s + 6. Which is smaller: z or t?
z
Let d = 33 - 85. Let c be 9/(-6) + d/(-8). Suppose c*m + 5*n + 10 = 0, m + 4*n = 3*m - 20. Is m greater than 1?
True
Suppose -156 = -5*w + 2*w. Suppose 4*c + 4*f - 5*f = 77, 4*f - w = -4*c. Which is smaller: c or 17?
17
Let j = -2.839 - -0.039. Let s = 2.7 + j. Is s greater than or equal to -26?
True
Let d(c) = -c**3 - 5*c**2 + 5*c - 5. Let y be d(-6). Let u be y + (-1 - (-4)/6). Let m = -1648 + 1647. Which is bigger: m or u?
u
Let p be 6/(-2) + 2 - (23 - -6). Let r be 1*(p/2 - -4). Which is smaller: r or -6?
r
Let n(a) = 5*a**2 - 8*a - a**3 + 9*a + 2*a**3 - 2. Let y be n(-3). Are 12 and y equal?
False
Suppose 0 = -4*d + 2*d + 48. Suppose 2*s = 4*s + 4*h + d, 4*h = s - 18. Let r be 7*3/12 - 1. Which is smaller: r or s?
s
Let b(m) = 2*m - 9. Let d be b(6). Let h(x) = x**2 + 12*x - 8. Let p be h(-13). Suppose -p*k = -d*k. Is k at most as big as 1?
True
Let o = -220 + 226. Which is smaller: 9 or o?
o
Let b = 3 - 7. Let a(h) = -h**2 + 6*h - 5. Let t = -3 - -9. Let o be a(t). Is b at most as big as o?
False
Let o = -12 + 12.03. Let w = 15 + -17. Let z be 2 + -2 - 3 - w. Is z < o?
True
Let g = 23 - 8. Let a be 0/2*(-1 + 0). Is a < g?
True
Let s = -950 + 957. Is s != -4.5?
True
Let k be -12 - (3 + 1) - -4. Let m be (2 - (-28)/k)*-6. Suppose 3 = -p - m*p. Which is smaller: p or -2?
-2
Let d = 1.249 - -0.471. Is d at most 1/2?
False
Suppose -3 = -3*r - 0*r. Let f(s) = -15*s**2 + s - 1. Let i be f(r). Suppose 0 = -4*y - 1748*u + 1750*u - 58, -2 = -2*u. Are y and i nonequal?
True
Let f be 1986/(-498) - (7 + -11). Is 1 less than or equal to f?
False
Suppose -3*i = -5*d - i + 10, -4*i - 10 = -5*d. Let h be 4 + -17 + (d - 0). Which is smaller: h or -12?
-12
Let b = 55 + -53.2. Let s = -1.7 + b. Which is smaller: -0.3 or s?
-0.3
Let n = 30.79 - -0.21. Let q = 32 - n. Which is greater: 0.16 or q?
q
Let u be (2/4)/((-2)/4). Suppose -4*t - 99 = -27. Let r be t/10 - 1*-2. Which is smaller: r or u?
u
Suppose 895*u = 898*u + 42. Suppose 4*l - 3*b + 58 = 0, 8*l - 4*l = -5*b - 74. Which is smaller: l or u?
l
Let t(d) = -18*d**2 + d - 16. Let b be t(-4). Is -308 at least as big as b?
True
Let f = 22 - 32. Let c be (-8)/f - 52/10*9. Are c and 2 nonequal?
True
Suppose -d + 4*o + 96 = 0, 3*d - 297 = 12*o - 9*o. Which is smaller: d or -2/5?
-2/5
Suppose 0 = -2*p - 2*o + 10, -3*p + 4 = -o - 23. Suppose -3*r - 16 = p. Which is greater: -7 or r?
-7
Suppose -3*z + 45 = 54. Let h(x) = -x + 26. Let g be h(z). Which is bigger: 31 or g?
31
Suppose 4*v + 4*c = 2*v + 2, -3*c - 3 = 0. Suppose -5*f + v*f = -10. Let u = 0 - f. Is u greater than -5?
False
Let q be (-2)/22 - 61840/(-220). Do 280 and q have the same value?
False
Suppose 0 = 80*z + 118 + 122. Which is greater: -69/25 or z?
-69/25
Suppose -2*l + 2 = 4. Let n = 2 + -3. Do n and l have the same value?
True
Let v(q) = 3*q**3 + 5*q**2 - 17*q - 7. Let o be v(-7). Let l = o - -58463/87. Are 1 and l equal?
False
Let v be 72/(-180) + (-5)/((-75)/9096). Which is greater: v or 607?
607
Let r = -52.82 + 53. Let x = -0.28 + r. Is x equal to -2?
False
Let k(h) be the third derivative of h**6/120 + h**5/10 - h**4/24 - 2*h**3/3 - 6*h**2. Let t be k(-6). Suppose -t*d + 7*d + 30 = 0. Is 0 < d?
False
Let s(v) = 2*v**2 + v - 81. Let p be s(-10). Are 109 and p non-equal?
False
Let q = 70 - 492/7. Let d = -0.08 + -4.92. Let v = -5 - d. Which is smaller: q or v?
q
Let m = 984.991 - 985. Is 0.01 less than m?
False
Let q = 20 - 13. Let p = -3 + q. Suppose 0 = -p*d - 7 - 5. Which is smaller: 2 or d?
d
Suppose f - 693 + 17 = -n, 0 = -4*f - 5*n + 2709. Which is smaller: f or -1?
-1
Let c = -0.48 - -0.438. Let x = -0.492 - c. Is -0.1 at most x?
False
Let y be (-1)/(-2) - (-8)/16. Let r be (2 - y)/(-1 + 2). Are r and -2/7 equal?
False
Let n be 10326/(-21) + -3 - 2. Let p = -498 - n. Is p at least as big as -1?
False
Let u be 866/((-4)/12*6). Is -433 bigger than u?
False
Suppose 5*p - 25 = 0, 4*y = y - 5*p - 8. Suppose 2*q + 7 = q + 5*b, 3*b = q + 9. Whi