 greater: -0.3 or x?
x
Let k be 13438/(-40) + 4/16. Let h = 336 + k. Which is smaller: -1 or h?
-1
Suppose -20*j + 8*j - 972 = 0. Which is bigger: j or -83?
j
Let f = 2 - 2.1. Let l be 36/(-270) - (-56)/(-30). Let g be -2*(-33)/12*l. Which is smaller: f or g?
g
Suppose -4*q - 66 = 5*r, 4*q - 5*r + 22 + 64 = 0. Let k = q + 17. Do 0 and k have the same value?
False
Let z(w) = -w**3 - 6*w**2 - 5*w - 77. Let f be z(-7). Which is smaller: f or 33/5?
33/5
Let q = -367.2 - -318. Let l = 8.2 + q. Which is bigger: l or -2/5?
-2/5
Let f be (3/(-2))/(82/(-4)). Suppose 138*k - 129*k = 9. Which is smaller: f or k?
f
Suppose 25 = 5*s, -2*v = -v + 4*s - 8. Let q be (v/15)/(5/25). Do q and -5 have different values?
True
Let n = -451495/79 - -5715. Is n >= 0?
False
Let x = 22 + -21. Which is bigger: 2/1361 or x?
x
Suppose -4*p + 11 = -d, -4*p - 5 = -5*d + p. Let j be (0/d)/(-3 - -5). Which is greater: j or -12/13?
j
Let i = 87/56 + -10/7. Let x be 54/(-48)*(-632)/12. Let a = x + -59. Do a and i have different values?
True
Let n be 0*(-2)/(-2) - -3. Suppose q + 6 = 49. Let d be -4*(-4)/(-20) + q/10. Is n >= d?
False
Suppose 42*o = 53*o - 11. Let w(l) = 2*l**3 - l**2 + 2*l + 2. Let k be w(-2). Let d be 1/2 + 19/k. Is o at least d?
True
Let w = -1026 - -972.7. Let z = w - -56. Is z < -0.1?
False
Suppose 40 = -3*c + j, 4*c - 3*j + 35 = 2*j. Let v be (-1)/(10/c) - 28/18. Is 1 greater than or equal to v?
True
Let s = 32 - 31. Let p = -4 + 3.9. Which is greater: s or p?
s
Let i be (-2 + 1)*(-5 - -4)*-5. Let y(g) = 2*g**2 + 0 + 4*g + 1 - g**2. Let m be y(i). Which is greater: 5 or m?
m
Let s be (-19)/(266/21)*(-44)/(-26). Does s = -2?
False
Let f = -4.63 + 11.63. Are -5 and f equal?
False
Let s = 62.5 - 10.5. Let q = -51 + s. Is 0.3 != q?
True
Let t = 1170 - 1171. Which is smaller: t or -12/265?
t
Let k = -47 + 13. Let i be ((-2)/(-3))/(-2) + k/51. Let s = -8 + 15/2. Are s and i equal?
False
Suppose -189*k = -179*k + 40. Is k >= 82?
False
Let g = 19.51 + 0.49. Let u = -20.4 + g. Which is smaller: u or -1?
-1
Let b = 0.494 - 0.594. Let u = 0.4 + -0.2. Which is greater: u or b?
u
Suppose -4*j + 5*c = 39 - 5, 2*c + 8 = -2*j. Let p be ((1 - 0)*-3 - -5)*1. Let d = j + p. Is d equal to -1?
False
Let a(f) = 3*f**2 - 7*f + 1. Let q be a(4). Let l be -2 + (-4 - (-159)/q). Is l less than or equal to 3?
True
Let w(l) = 2*l - 32. Let f be (7/(-7))/(((-9)/48)/3). Let g be w(f). Which is smaller: g or 3/112?
g
Let t(g) = g**2 + g + 1. Let a(p) = p**3 + p**2 - 6*p - 9. Let u(q) = a(q) + 4*t(q). Let w be u(-4). Let m(v) = 3*v**2 - 3*v. Let k be m(3). Is w > k?
True
Let h = 1037/14 + -147/2. Is -4/5 greater than or equal to h?
False
Let z(b) = -b**2 + 28*b + 103. Let h be z(31). Which is bigger: h or 29/3?
h
Let i = -19.16 + 4.16. Which is bigger: -49 or i?
i
Let k(c) = c**2 + 3*c + 3. Let s be -2 + 78/3 + 0. Let p = s + -26. Let g be k(p). Is g < 1?
False
Let m be 12/30 - 88/(-5). Suppose -14*q + m*q + 116 = 0. Are -28 and q nonequal?
True
Let p = 0.0576 - 5.0576. Which is smaller: 0.114 or p?
p
Let t = 0.3 + -0.3. Suppose 733*b + 48 = 741*b. Which is smaller: b or t?
t
Let k be (332/415)/(4/(-70)). Is k less than -63/5?
True
Let i = -2311/17688 + 17/134. Which is smaller: i or -1?
-1
Let z = -4.06 + -613.94. Is 0 less than or equal to z?
False
Let i = -66 - -73. Is i at least as big as 49/6?
False
Let d = -0.18 - 1.23. Let r = -1.31 - d. Is -23 less than or equal to r?
True
Let r = -15 + 18. Suppose -5*l + 78 - 13 = -3*p, r*l = 4*p + 50. Is 3 < l?
True
Let x(z) = -239*z**3 + z**2 - 14 + 236*z**3 - 4 - z. Let h be x(0). Which is smaller: h or -20?
-20
Suppose 12 = 2*w - 24. Suppose u = 3 + 78. Suppose -u = -4*n - 13. Does n = w?
False
Let x = 221/385 + 2/77. Let s = 7 - 7.1. Is s greater than or equal to x?
False
Let q(y) = -32*y**2 + y - 1. Let x be q(-1). Let o = x + 106/3. Do o and 1 have different values?
True
Let n(b) = -3*b**2 - 5 + 2*b**2 - 3*b - 5*b. Let i be n(-6). Let f(v) = v**2 + 3*v - 34. Let x be f(-8). Which is bigger: x or i?
i
Let u be -2*(2 - 3) + -2. Let d = 356/1837 + -2/167. Which is smaller: u or d?
u
Let d = 0.2 + -1.2. Let n = 630 - 630.3. Is n != d?
True
Let r = 75 - 41. Let b = -173/5 + r. Suppose 2*s + 12 = 6*n - 4*n, -7 = -3*s - 2*n. Which is smaller: s or b?
s
Let l = 0.1337 - 11.2337. Which is greater: -2 or l?
-2
Let z be 17/68 - (-1131)/4. Which is bigger: z or 284?
284
Let b be 195/(-2 + -1) - -3. Let m = b - -41. Is m less than or equal to -21?
True
Let i(j) = j**3 + 6*j**2 - 5*j + 10. Let t be i(-7). Let d be (t/7)/(20/(-70)). Is d greater than or equal to 5/4?
True
Suppose 6*d = 3*d - 5*n + 79, -d + 4*n = -32. Which is greater: d or 31?
31
Let j = -69.906 - 0.094. Let y = j - -70.05. Which is smaller: y or 0.4?
y
Suppose -k + 3*w = 9, -5*k - 2*w - 2*w = -12. Let i be ((-12)/63)/1*-3. Which is smaller: k or i?
k
Suppose -64 = -13*f + 469. Let b = -73 + f. Which is smaller: -34 or b?
-34
Let o be (-6)/543*2/4. Let c = -9541585 - -56991887600/5973. Let j = c + o. Which is smaller: -1 or j?
-1
Let f(x) = -3*x + 134. Let j be f(60). Which is greater: -48 or j?
j
Let f be 6/14 + (-5046)/14. Let g be 0 - 3 - f/123. Let m = g + 138/205. Are 1 and m non-equal?
True
Let u = 21 - 103. Let t = u - -86. Is t equal to 21/5?
False
Let f(c) = c**3 + 3*c**2 + 1. Let s be f(-3). Let y(n) = 14*n + 252. Let b be y(-18). Which is smaller: s or b?
b
Let s = -6.944 + 7. Let l = -28.944 - s. Are l and -1 equal?
False
Let d(c) = 5*c**3 - 2*c + 1. Suppose -1 + 0 = -i. Let s be d(i). Let u be s/8*(2 + -3). Which is smaller: 0 or u?
u
Let r = -0.338 + -0.047. Which is smaller: r or 2/5?
r
Suppose 28 = 4*p - 4*x, -p - 3*x = -2 + 15. Suppose -4*v = p*v + 72. Which is smaller: -32/3 or v?
v
Suppose 6 = 6*t - 8*t + 4*w, 5 = 5*w. Which is smaller: t or -1/1648?
t
Suppose -96*d + 97*d + 1242 = -q, -4953 = 4*d + q. Is -1237 at most d?
True
Let n be 0/((-12)/(-8)*(-12)/(-9)). Is n greater than 3/644?
False
Let u = -11/272 + 35981/1904. Let p = 293341150/119 - 2465033. Let i = u - p. Which is greater: i or 0?
i
Suppose 4*s = 16, -17*s = 3*n - 15*s + 16. Is n less than or equal to 46?
True
Let b be 4/10*25/20 - -2. Which is bigger: b or 0?
b
Suppose 4 = -4*v - k, -15*v - 2*k - 5 = -10*v. Which is bigger: 5/12 or v?
5/12
Suppose -69312 = -82*r + 47702. Is 1427 greater than or equal to r?
True
Let l = 60782/131 + -464. Is -1 greater than l?
False
Let r(f) = -f**2 - 10*f + 2. Let s be r(-11). Let t be s/(-5) + 8/(-10). Which is smaller: -4/23 or t?
-4/23
Let d be 100/(-60) + (-1499)/(-894). Which is smaller: 0 or d?
0
Let f = -0.003 - -0.353. Let b = f - 0.35. Which is bigger: b or -1/14?
b
Let b be 13 + 400/(-32) + 446/(-4). Which is bigger: b or -112?
b
Let r = 1/663 + -1109/2652. Let g(o) = -o**3 + 3*o**2 + 6*o - 8. Let a be g(4). Is r at most as big as a?
True
Let n = 57 + -100. Let r = n + 42. Is 1 greater than r?
True
Let t(x) = x**2 + 7*x + 11. Let r be t(-7). Let y(a) = a**3 - 11*a**2 + a - 7. Let d be y(r). Do 6 and d have the same value?
False
Suppose 84*b = 74*b - 10360. Is b not equal to -1035?
True
Let l = -79 + 117. Let q = 37.9 - l. Is 2/43 < q?
False
Suppose 0 - 11 = 5*s + z, -3*s - 3*z = -3. Let b = -2 - s. Let r be 12/(-10)*(-2)/(-6). Which is bigger: r or b?
b
Let n = -44 + 42.8. Is -0.3 at least as big as n?
True
Let d(n) = -n**2 + 6*n - 3. Suppose 0 = -4*a - 2*a + 36. Let s be d(a). Which is greater: s or 9?
9
Let r be (-13)/234*4*(-6)/26. Which is greater: 19 or r?
19
Let u(t) = -t**2 + 9. Let g be u(-3). Which is bigger: g or 2/957?
2/957
Let f = 80 + -559/7. Let w(v) = 4*v - 2. Let p be w(2). Suppose 0 = 5*x - p*x + 1. Does f = x?
False
Let v = 1.211 - 0.141. Let l = v + -1.17. Which is bigger: l or 24?
24
Let r = -232 + 109. Let h be (-15)/(-10) - r/(-26). Which is smaller: -4 or h?
-4
Let n(r) = 14*r. Let h(v) = -5*v. Let m(q) = -7*h(q) - 2*n(q). Let t = 40 - 41. Let b be m(t). Do -8 and b have different values?
True
Let r = -179/22 + 18/11. Let v(t) = -7*t + 92. Let w be v(14). Which is smaller: r or w?
r
Let l be 11/9 - (-1)/(4/(-4)). Is 35 less than l?
False
Let o be (1782/(-360))/((-6)/(-50)*2). Which is smaller: -20 or o?
o
Let p be (276/60 - 6/10)/1. Let u be p - (58/24)/(180/320). Is u at most 1?
True
Let m be 60/(-6)*(-5)/14. Which is bigger: m or -2