greater: f or -214?
f
Let x = -8.29 + 6.29. Is x greater than or equal to -1/80?
False
Suppose -36*d - 2307 = 285. Do -73 and d have different values?
True
Let g = -570/11 - -52. Let n = -564 - -569. Are n and g unequal?
True
Let t be (12/5)/((-30)/(-75)). Let h be (-3 + t)/(6/(-4)). Let z be ((-16)/4)/(-268)*h. Is 0 at least z?
True
Let w = -22 - -27. Let c(u) = -u**3 + 6*u**2 - 3*u + 4. Let l be c(w). Which is greater: l or 15?
15
Let o = -200437/82612 + 306/1087. Let k = o - 2/19. Which is greater: k or -2?
-2
Let w = -1268 - -13906/11. Is -3 greater than w?
True
Let v = 19 + -21. Let k(p) = -3*p**3 + 1. Let c(r) = r**3 + 4*r**2 - 1. Let d be c(-4). Let z be k(d). Which is greater: v or z?
z
Let q be (-2 + 9/6)/((-726)/(-36)). Do -1 and q have different values?
True
Let h = 15 + -9. Let s be 4/h*(1 + 2). Suppose -2*o - 2*f - 12 = 0, -s*o - 3*f = -1 + 15. Which is smaller: -2 or o?
o
Let w = -22 - -22.56. Let t = w - 0.86. Which is bigger: 1 or t?
1
Let q be (-20)/(-16) + 1*(-12)/(-16). Let r = -1 + 3. Is q >= r?
True
Let r(u) = 5*u**2 + 8*u + 4. Let s be r(-1). Which is bigger: s or 1/2043?
s
Let h = -203 - -206. Let r = 4 + 2. Suppose -h*f = -r*f. Which is smaller: -7 or f?
-7
Let x = -344 + 123. Which is greater: -222 or x?
x
Suppose -v + 300 = 2*v. Let g be v/(-6) + (-2)/6. Let c = g + 17. Which is smaller: c or -1/11?
-1/11
Let n = -49.95 + -0.05. Let x = 51 + n. Which is bigger: x or -2/9?
x
Suppose 0*b = -5*b - 5. Suppose 0*t = 2*t + 16. Let f be 1/(1/t + -1). Do b and f have different values?
True
Let l be -11 + 7 - (-374)/4*1. Is l at most 91?
True
Let o = -86.1 + 88. Let q = 1.9 - o. Is q > 0.67?
False
Let w = 1.31 - -0.19. Let z = 0.5 - w. Does z = -8?
False
Let a(w) = -w**2 - 7*w - 3. Suppose 0 = 4*u + 15 + 9. Let k be a(u). Let z(i) = -111*i + 667. Let h be z(6). Which is greater: k or h?
k
Suppose -145 = -7*c + 51. Suppose 0*d + 2*d = t + 59, -34 = -2*d - 4*t. Is c > d?
True
Let a(r) = 2*r**2 - 8*r - 21. Let n be a(-2). Suppose 4 = 2*w - 4*w. Let i(k) = -k. Let q be i(w). Is n less than or equal to q?
False
Let n = -0.081 + -0.058. Do 0 and n have different values?
True
Let a = -32 - -70. Let h = a + -42. Are h and -2 nonequal?
True
Let x = 45 + -46.6. Let s = x - -0.6. Which is bigger: 31 or s?
31
Let j be (-18)/(-4)*(-44)/30. Suppose 4*q + 3*h + 36 = 0, 0 = 51*q - 56*q - 2*h - 38. Which is smaller: j or q?
j
Let a be 4/22*-13 - -2. Let v be ((-52)/8)/(-13)*2. Which is smaller: a or v?
a
Let g = 9683 + -222751/23. Let n = 302/115 + g. Let u = -0.3 + 1.3. Is n <= u?
True
Suppose 27*s - 22*s - 20 = 0. Let p = -60691/11 - -5521. Which is smaller: s or p?
p
Let s = 0.032 - 24.032. Let m = s - -23. Which is greater: 0.05 or m?
0.05
Suppose -5*r + 43 = -4*w, 0*w - 4*r - 16 = w. Let s be ((-45)/(-3))/(1/(-1)). Which is bigger: w or s?
w
Let u = -8 + 12. Let h(z) = -19 + 8*z + 8 + 19 + 4*z**2. Let d be h(-1). Is u at most as big as d?
True
Let b be ((-1178)/(-2))/(-17 - -18). Which is smaller: 588 or b?
588
Let m be 4 + (-159)/16*180/(-54). Are 36 and m non-equal?
True
Let t(d) = d**2 - 4*d + 6. Let o be t(5). Let h = -3336 - -3347. Is o at most h?
True
Let k = 0.96 + 0.04. Let z = -0.3 - -0.9. Let u = z + -0.51. Is k < u?
False
Let x = -5 - -12. Let q be (-1)/x + 2171/49413. Let h = q + 2/543. Do h and -1 have different values?
True
Let n = 10.4 + 0.6. Let l = -11.5 + n. Let s = 0.6 + l. Which is smaller: -2/3 or s?
-2/3
Let m be 3 + -1 + 22/7. Let n(b) = 4*b**2 - b + 6. Let o be n(0). Is o bigger than m?
True
Suppose -10*n + 0*n - 10 = 0. Let o = -7 + 7.3. Let b = o - -2.7. Which is smaller: n or b?
n
Let s(v) = -v**2 + 5*v + 5. Let q be s(5). Suppose -q*l + 104 = 3*l. Are l and 13 equal?
True
Suppose -3*g + 2*g = -n - 24, 4*n = 3*g - 95. Is n >= -20?
False
Let a be (-5)/55*372/3. Which is smaller: -10 or a?
a
Let t be (-28)/5 - (1 - 6/10). Is -49/8 < t?
True
Suppose -443 = 17*w - 1582. Which is greater: 65 or w?
w
Suppose 0 = 3*a - 5*a + 8. Let p be (-184)/4255*10/a. Do p and 0 have the same value?
False
Suppose 0 = 2*i - 2*u + 6, 13 = 3*u - 2. Suppose i*w + 0*w = 0. Is 0 bigger than w?
False
Let d = -3.3 - -2.9. Let h = d + 0.4. Which is greater: h or -31?
h
Let y = -3 - -9. Suppose -z - 14 = 3*j, 15 = -5*z + 2*j - y*j. Let d be 4*z - (-20 - -6). Is 19 >= d?
True
Let c be 80/45 + (-2)/(-9). Suppose -c*h = -6*h + 4. Let l = -4724/11 + 430. Is l less than or equal to h?
True
Let s(i) = i - 18. Let h be s(0). Let q = -11 - h. Suppose 3*r - 11 = 13. Is r greater than q?
True
Suppose -69*i = -58*i - 11. Which is smaller: i or 3/725?
3/725
Suppose 5*d + 1 = -2*j, 6*d = 3*d + j - 5. Let w be 4/15 + (-18)/27. Which is bigger: w or d?
w
Let l(n) = 5*n - 6. Let q be l(3). Let f(i) = i - 22. Let a be f(q). Let u = 17 + a. Do 2 and u have different values?
True
Let f be ((-6)/(-4))/(42/196). Let r(h) = -h**3 + 7*h**2 + 4*h - 7. Let s be r(f). Which is smaller: s or 22?
s
Let j = 53867.97 - 54994. Let o = -1121 - j. Let f = -0.03 + o. Which is smaller: f or 1?
1
Let z = -1997 - -109838/55. Is z != 0.1?
True
Let d be ((-40)/(-16))/((-210)/(-24)). Suppose -44 = -2*c - 3*i, 3*i - 2 = 4*i. Is d at least c?
False
Suppose -11 = -3*z - 2*g + 3, 2*g - 10 = -z. Suppose -t + 2 = -4*c, -3*c + 3*t + 7 = -z*t. Which is bigger: 0 or c?
0
Let w = -33 + 35.8. Let m = w - 2.1. Let r = -2.7 + m. Is r equal to 2/19?
False
Let u = 73.14 - -0.86. Let p = u - 74. Is p at least as big as -1.2?
True
Let k = 52.69 + -53. Let s = k + -0.49. Which is greater: -2 or s?
s
Let r be (-4)/(-4) - 2 - -3. Suppose 3*i + 4*w + 11 = 0, -i = -w - r + 1. Let o be 2/9 + 38/(-90). Which is greater: o or i?
o
Let y = -903 - -903. Let a = -2 - -3. Is y bigger than a?
False
Let b = 51649/14 - 7337/2. Is b <= 21?
True
Suppose 0 = 3*m - 5 + 2. Let l(x) = -26*x**2 + 3*x - 3. Let q be l(m). Is q <= 2?
True
Suppose 3*c + 4 = -2. Let x be (4/40*c)/(26/6). Which is smaller: 1 or x?
x
Let a = -0.31 + 0.3. Let t = -3.01 - a. Let g be (-6)/63*4/(40/(-15)). Which is bigger: t or g?
g
Let n = -59 - -86. Let v = -29 + n. Let s = -0.1 - -0.3. Is v <= s?
True
Let k = 5 + 2. Let n = -24 + 58. Suppose n - 2 = 4*c. Is c greater than k?
True
Suppose -4*j + 70 = -26. Let u be 324/j + 3/6. Is 12 less than u?
True
Suppose 3*o - 3 = 3*z, -2*o + 6*z = 2*z. Suppose -2*g - o*g + 44 = 0. Is g at least as big as 11?
True
Let g = -6.36 + 6. Let x = 0.33 + g. Is x at most -2?
False
Let c = -34 + 36.1. Let m = -2.3 + c. Which is greater: m or 8?
8
Let c be (-22)/5 - 1/((-3)/15). Let g = -2 + 4. Is g less than c?
False
Suppose -130 + 2165 = -37*b. Do b and -55 have different values?
False
Let v be 0 + 64/6 + (-2)/9. Which is smaller: v or 1/3?
1/3
Let y = -31 + 36. Let a be (-4)/6 + (-60)/(-9). Let h be (-8)/a + 10/y. Are 2 and h equal?
False
Suppose k = 2*q - 3*k - 82, 43 = q - 3*k. Which is smaller: 50 or q?
q
Let q = -25 + 28. Suppose 95 - 451 = -q*f + 2*w, -4*f + 478 = -w. Let g be 44/f - (-4)/(-10). Is g greater than or equal to 0?
False
Suppose -11*l + 10 = -16*l. Is l at least -14/17?
False
Let y = -31 - -34.8. Let a = -3.5 + y. Which is smaller: -1 or a?
-1
Let o = -26.8 - -3.8. Which is bigger: -19 or o?
-19
Suppose 5*z + w + 541 = 0, 0 = z + w + 138 - 33. Which is bigger: z or 1?
1
Suppose -29 = -4*m + 3*y, -14 = 4*y - 2. Suppose -4*s + 798 = -m*b - 0*s, -3*s = 2*b + 310. Let c be 2/7 + b/14. Which is smaller: -10 or c?
c
Let y = 61 - 60.73. Is 6 equal to y?
False
Let b = -2/17 - -53/306. Is b bigger than -1/2?
True
Let j = 36.7 + -36.1. Which is bigger: j or -103?
j
Suppose x - 4 = -5. Let m be 24/16 + 28/(-18). Is x > m?
False
Suppose -4 = 2*c + 4*o, 5*o - 2*o + 5 = -c. Suppose c*y + 14 = -54. Let d be -4 + (y + 3)/(-2). Which is greater: d or 6?
6
Let s be ((-826)/(-6195))/((-8)/9 - -1). Are s and 77 non-equal?
True
Let p(b) = 24*b + 34. Let w be p(-3). Is w smaller than -38?
False
Let s(g) = 2*g + 2. Let p be s(-2). Let h(y) = -2*y - 6. Let i be h(p). Is i equal to -2/11?
False
Let h be 7/(-70)*3/(-3). Suppose 0 = 4*l + l - 5. Is l <= h?
False
Let i = -5725/54 - -106. Which is bigger: -1 or i?
i
Let c(w) = 122*w + 21. Let k be c(8). Is k greater than 998?
False
Suppose 5*k + 2 = 4*k. Let y be (-216)/(-324) + 22/(-6). Is k smaller than y?
False
Let x(g) = -g**3 + 11*g**2 + 13*g. Let c be x(12). Let b