Let a be (-74)/(-28) + 17 + -19. Let v(r) = 2*r - 1. Let g be v(1). Are a and g unequal?
True
Let i be 59*-1*-20*(-13)/65. Which is greater: i or -234?
-234
Let w = 0 + 1. Let d(y) = -2*y**2 + 11*y - 6. Let p = -13 - -18. Let l be d(p). Which is bigger: w or l?
w
Let g(r) = r**3 - 8*r**2 + 3*r - 2. Let p be g(7). Let x be (-28)/p + (-1)/3. Let j(t) = 4*t**2 - 55*t - 14. Let d be j(14). Is x != d?
True
Let o = -6544.9 + 6545. Let w be (-6)/(-86)*(-4)/(-6). Which is bigger: o or w?
o
Let t = 0.18 - 140.18. Let r = t + 112. Is r at least 2?
False
Let o = -2079 - -2150. Which is bigger: o or 8?
o
Let k(v) = -2*v**3 + 5*v**2 - 3*v - 5. Let s be ((-5)/2)/(7/(-14)). Let t be k(s). Is -146 greater than t?
False
Let d(o) = o**3 - 7*o**2 + 8*o - 1. Let n be d(6). Let l = n - 6. Let k(h) = -h**3 + 7*h - 5. Let m be k(2). Is m greater than l?
False
Let n = -4 - -3. Let c be (8/70)/(n/(-5)). Let u = 1503 - 1501. Is u >= c?
True
Suppose 0*s - 4*s - 4 = 2*o, -3*s - 16 = -5*o. Let n = 607/366 - -1/122. Which is bigger: o or n?
o
Let b be 1*((-115)/5 + 3). Let j be (48/15)/(3 + 56/b). Which is smaller: 2 or j?
2
Suppose 20 - 19 = i. Is i greater than 6/11?
True
Let m be (2 - -1)*301/(-63). Let h = m + 14. Let y = 3 - 3. Is h bigger than y?
False
Let o = -0.1 - -0.1. Let u = -746 - -668.7. Let h = -77 - u. Which is greater: h or o?
h
Let y be 0 + (-128)/12*3/22. Which is bigger: y or 3?
3
Suppose 8*p = -5 - 83. Is 0 < p?
False
Let x be 35/72 + 9 + (-82)/9. Let y = 3 - 4. Is x smaller than y?
False
Let y(f) = f**2 + 20*f - 176. Let r be y(22). Is 749 greater than r?
True
Let n be ((-1)/9)/(-4*5690/(-240)). Are n and 0 nonequal?
True
Let o(x) = x**3 - 14*x**2 + 13*x + 5. Let v be o(13). Let y(d) = d - 5. Let m be y(v). Let r = 100 - 498/5. Is m >= r?
False
Let r = 11 + -9. Let a be r - 4 - 1 - 2. Which is smaller: 0 or a?
a
Let m = 51 - 51. Is m bigger than -11/8?
True
Let v = -17.25 - -5. Let s = v - -0.25. Let h = s + 13. Is h at most as big as 1?
True
Suppose 6 = 4*k + 2*c - 0*c, 3*k = 2*c + 15. Let v be 12/14 + (-3)/(0 + k). Which is bigger: v or 0?
0
Suppose -x = 20*x + 1449. Which is smaller: x or -70?
-70
Let o be 112/18 - 4/18. Suppose 0 = p - 4*c, -o*p = -p - 2*c. Let z = -345/7 - -49. Which is greater: z or p?
p
Let i be (4/8)/((-4)/(32/12)). Is -0.075 > i?
True
Let l = -198 - -190. Is l greater than -9?
True
Let y = -6 - -8. Suppose n - s = s, n = -y*s. Let v = 2.2 + -0.2. Is n equal to v?
False
Let q(a) = -a**2 - 7*a - 5. Let k be q(-6). Let z be 12/((4 + -5)*-1). Let d be 12/45 - (2 + z/(-9)). Is d bigger than k?
False
Suppose -3*d - 41*r = -37*r + 26, -3*d - 2*r - 16 = 0. Suppose -3*u = u - 16. Let t be -2 - d - 1*u. Which is smaller: 0 or t?
t
Suppose 1 = -5*n + 21. Suppose 0*p = -2*p - n. Let h(v) = 84*v - 89. Let d be h(1). Is d greater than or equal to p?
False
Suppose 58 + 102 = -8*z. Let h = 1 + z. Let n be (h/114)/((-3)/(-8)). Is 1 != n?
True
Let m be 9620/6919*((-26)/36 - -1). Let o = m - -20/99. Are 2 and o unequal?
True
Let g be (6/(-4))/(2/(-20)). Let j be 1/3 + 385/g. Which is greater: j or 25?
j
Suppose 13 = 2*m + 5. Suppose 34 + 30 = 4*u + m*i, -3*i - 40 = -5*u. Is u > 10?
True
Let c(m) = 21*m + 14. Let l be c(4). Suppose 5 = -5*d, 3*t - l = -d + 3*d. Which is smaller: t or 31?
31
Suppose 3*h - 14 = -59. Let z be -5 + 2*(-4)/(-4) + -14. Is h at least as big as z?
True
Let m(t) = 3*t**3 + 2*t - 6. Let p be m(-5). Let k be -2 + 26/12 + p/(-102). Is 4 >= k?
True
Let g = -1.58 - -1.48. Is 5 greater than g?
True
Let j be (60/9)/(-5)*36/8. Let t be 2 - (4 + -3)*j. Which is smaller: 6 or t?
6
Suppose 47*r - 7786 = 13*r. Which is smaller: 0 or r?
0
Let j = -165 + 165. Is j < -594?
False
Let b = -3/88 - -509/88. Let v = -6 + b. Let h(p) = -5*p - 24. Let r be h(-5). Is v <= r?
True
Suppose -2106 = -c - 12*c. Is c smaller than 161?
False
Let l = -5 + 7. Let d be 1 + (-9)/6 - (-51)/2. Let i = -22 + d. Are i and l nonequal?
True
Suppose -1286*r = -1280*r + 600. Which is smaller: r or -98?
r
Let w = -54 + 29. Let i = w - -26. Is 0.1 <= i?
True
Let a = -1117/5 + 36871/165. Let c be -1*2*(-2)/(-4). Do c and a have the same value?
False
Let l = -1088 + 1090. Is 26/45 greater than l?
False
Let u be 1 - 6/8 - (-99)/572. Let z = u + 105/13. Which is greater: 9 or z?
9
Suppose -4*v = -6*v - 2. Let u(p) = -1. Let m(l) = -l + 14. Let r(o) = -m(o) - 3*u(o). Let z be r(9). Is z smaller than v?
True
Let f(y) = 8*y + 41. Let c be f(-5). Which is bigger: c or 1/298?
c
Let g = 5 + -2. Let b(h) = -h + 6. Let u be b(3). Is g < u?
False
Suppose -2*y + 6 = 4*o, -4*o - 7 = 5*y - 4. Which is smaller: -24/13 or y?
y
Let q = 6 - -14. Suppose -3*c = c + q. Let f = -1965/316 + -5/158. Which is smaller: c or f?
f
Let m(h) = -7*h - 10 + 3*h**2 + 4*h**2 + 7 + h**3 + 0*h. Let k be m(-8). Let r be (0 - -2) + 18/k. Which is smaller: r or 2?
r
Let h = -2122 + 2240. Is 1072/9 greater than h?
True
Let p(u) = u**2 - 15*u - 126. Let y be p(21). Is y at least -2/335?
True
Suppose -b + 4*x = -2, -3 = -5*x - 8. Let h be 3/(-9) + (-77)/39. Which is greater: h or b?
b
Let c be ((-67)/4)/((-32)/128). Which is smaller: c or 68?
c
Suppose 0 = -2*n + 7*n - 5. Let s be 0 - n*(-2 - 1). Let p be 25/(-30)*(s + -1). Which is greater: p or -3?
p
Let y be (1 + (1 - 2))/((-285)/(-57)). Is 860 >= y?
True
Let m = 18.982 + 0.018. Which is greater: m or -8?
m
Suppose -5*l - 151 = -4*d + 430, 5*d - 719 = -l. Let r = -9421/66 + 173/33. Let g = r + d. Is g equal to 7?
False
Let k be (-3)/(36/51) + 4. Let c = 12.7 + -12. Is c less than or equal to k?
False
Let g = -5.94 - -6. Let t = -0.14 - 0.02. Let i = g + t. Is 4 less than i?
False
Suppose -4 = -2*c + 3*s + 2*s, 4*c + 5*s + 52 = 0. Is c greater than or equal to -3?
False
Let h(a) = -a**2 - 15*a + 1. Let y be h(-14). Suppose -y*s - 40 = -7*s. Which is greater: -6 or s?
s
Let y = -297 - -296. Is -3/38 at most y?
False
Suppose 3*j + 3*k - 75 = -0*j, -5 = -j - 5*k. Let a = j - 27. Which is smaller: 0 or a?
0
Let d = 105 - 106. Let x(i) = -9*i**3 + 3*i**2 + 4*i. Let t be x(d). Is t smaller than 55/7?
False
Let c be (-16606)/(-20) + ((-747)/90 - -8). Does c = 831?
False
Let q be 5*1 + (-2)/4. Let m(j) = -6*j - 9. Let n(g) = -5*g - 9. Let h(d) = 6*m(d) - 7*n(d). Let k be h(3). Which is bigger: q or k?
k
Let u(z) = -z**3 + 3*z**2 + z + 3. Let r be u(3). Let p be 2*(-2 - 44/(-8)). Which is greater: r or p?
p
Let c = -33 - -50. Let o = -11.4 + 28.3. Let j = o - c. Which is greater: -2/7 or j?
j
Let q(n) = n**2 - 7*n + 7. Let r be q(6). Let u = r - -16. Suppose h = 4*i - u, 4*h - 2 = -0*h + 2*i. Is 4 greater than or equal to h?
True
Let r be 632/2880 + (-24)/108. Is 0.1 smaller than r?
False
Let d = 9 + -6. Let i = d + -3. Suppose -3*w - 4*j + 2*j = i, -3*j - 17 = -4*w. Which is greater: 1/2 or w?
w
Let f = -0.89 + 1.12. Let c = f + -0.13. Let o be 3/(-37)*(-2)/3. Is o at least c?
False
Let h = -0.688 + -0.312. Is h != 28?
True
Let s = 0.011 - -33.989. Let t = s - 52. Let z = 17.97 + t. Which is greater: z or -1?
z
Let b(q) = -21*q**2 - 495*q - 6. Let n be b(-23). Which is bigger: n or 2/11?
n
Suppose -u - 42 = -s, -4*s - 4*u + 104 + 96 = 0. Does 31 = s?
False
Let r(b) = -b**3 + 7*b**2 - b - 9. Let x be r(7). Let g = x - -146/9. Suppose j - 8 = -10. Are j and g unequal?
True
Let p = -1491 - -1491.43. Are p and -0.4 nonequal?
True
Suppose -r = -3*r + 20. Let p be (-4)/r + 129/(-15). Let c(f) = f**2 - 31*f + 74. Let d be c(3). Which is greater: p or d?
p
Suppose 1 = -o, -x - 2*o = -1 + 2. Let f(t) = t**3 + 8*t**2 - 13*t + 10. Let c be f(-11). Let q = 1689/8 + c. Is x less than q?
True
Let c be (-7)/((-336)/(-6)) + (-18)/(-16). Which is smaller: 1.7 or c?
c
Let w = 149/3 - 511/15. Let a = -81/5 + w. Which is greater: a or -2?
a
Suppose -4*x + 62 - 2 = 0. Suppose -2*r - 22 = -4*n, 5*r - n + 5*n = x. Is -2/19 at least as big as r?
True
Let p be (-6)/28*6 - -1. Let u = -16 - -19. Suppose 4*h - 7 = 3*d, d + 3*d = -u*h - 1. Which is greater: h or p?
h
Let a = 77.0334 + -0.0334. Is 2/5 < a?
True
Let j = -1.41 + 2.9. Let s = j - -0.31. Let m = 12.8 - s. Which is smaller: m or 0?
0
Let y be (-50)/(-8) + 2/(-8). Let h be (96/56)/(-1 + 45/35). Do h and y have the same value?
True
Suppose -5*h + 2*h = -48. Suppose h = 3*p - 3*v - 2, 4*p = 3*v + 19. Is 6/11 less than p?
True
