-100 - -698/7. Let c = 59 - -44. Let f = 103.18 - c. Which is greater: b or f?
f
Let p be 3/2 - 1*(-200)/(-176). Which is smaller: 0 or p?
0
Let l(g) = g - 3. Let a(w) = 2*w - 2. Let v(y) = 2*a(y) - 3*l(y). Let q be v(-5). Are q and 2 non-equal?
True
Let a = -8629/114 - -227/3. Do a and 1/12 have different values?
True
Let c = 762 + -767. Let t be 50/15*(-6)/5. Which is greater: c or t?
t
Let o be (-30)/45 - (-28)/6. Suppose -4*r = -s + 13 - 5, -8 = -3*s + o*r. Is s less than or equal to -5/6?
False
Let y = -347 - -352. Does y = -2?
False
Suppose 0 = -5*u - 3*a - 2, -u + 4*a + 31 = 13. Suppose 3*y = -5*l + 31, u*l - 43 = -3*l + y. Suppose 0 = 4*o - l. Which is greater: o or 3?
3
Suppose 2*i = -5*x - 100, -9 = -3*x + 3*i - 48. Let y = 23 + x. Suppose -y*k + 8 = -3*l, 4*k = 3*l + 1 + 6. Which is greater: 1/6 or l?
1/6
Let o = -37/153 - -1/51. Suppose 5*q + 29 = y + 3, 0 = -5*y - q + 26. Let d(b) = b**3 - 6*b**2 + b - 5. Let w be d(y). Which is smaller: o or w?
o
Let l be 2/(-9) + (-6)/27. Let m be (33 + 7)/10 - (0 + 3). Is l at most m?
True
Suppose 2*s - 9*s = -35. Suppose 2*o - 2 = 2*m, 0 = 4*o - s*m - 0*m - 7. Which is greater: -1 or o?
-1
Let f(t) = t - 2. Let g be f(2). Let u = 171 + -115. Let x = 83 - u. Is g equal to x?
False
Let i be (24/(-192))/(3/164). Are -6 and i nonequal?
True
Let a = 550 + -549.97. Are 20 and a unequal?
True
Let n(r) = r + 34. Let q be n(-10). Suppose q = 3*y + 6. Let o be (-9)/(-10) - y/15. Is o > 2/9?
True
Suppose -13 = 4*s + 11. Let k(d) = d**2 + 11*d + 3. Let m be k(s). Let h be m/45 - (-62)/70. Do h and 1 have the same value?
False
Let t be (254/27 - 3)/((-1)/(-30)). Let w = t - 192. Which is greater: w or -1?
w
Let x = -1182 + 1290. Which is greater: x or -2?
x
Suppose 10*y = 6 + 14. Which is bigger: y or 44/17?
44/17
Suppose f + 2 - 1 = 0. Suppose -c + 6 = 5*w + 1, 5*c + 4*w - 25 = 0. Suppose -c*y = -2*y. Is y less than or equal to f?
False
Suppose z - 4*g - 1 = 0, 3*z + g = -2*g + 18. Let k(s) = s**2 - 10. Let x be k(z). Is 14 bigger than x?
False
Let b = 112703/24588 - 2/6147. Let t be 1 + (-1)/(-132)*497. Let f = t - b. Is f greater than or equal to 2?
False
Suppose 0 = -2*z - 10, 0*z + 5*z = 4*w - 17. Let t = -58 - -86. Let q be w/4 - (-46)/t. Which is bigger: 1 or q?
q
Let r = -9 - 69. Let s = r - -235/3. Let z = 10 + -19. Is z at least s?
False
Let c = -289 - -6067/21. Let z = -1 + 2. Is c > z?
False
Suppose -4 = -4*i - 0. Let r = 105 + -108. Let t be r/(i - (-3 + 3)). Is t bigger than -3?
False
Let d be (-100)/(-7) - (26 + -24). Is 0 > d?
False
Let t = -0.2723 + 0.325. Is 1 <= t?
False
Let i = -7 - -7.3. Let l = i - -1.1. Is -0.2 >= l?
False
Let y(j) = j**3 - 12*j**2 - 31*j + 32. Let a be y(14). Let b be a + -2 + 0/4. Is b at least 1?
False
Suppose -20 = -5*p, -13 = -5*f - p - 44. Is -14 greater than f?
False
Let m be (6/(3 + 9))/(-1). Do 1.6 and m have different values?
True
Let u = 14306 - 58583072/4095. Which is smaller: u or 0?
u
Let b = -53 - -76. Let g = b + -23.06. Which is smaller: 3 or g?
g
Suppose 22*n - 20*n + 4 = 0. Let c be n/11 - (-713)/(-253). Is c smaller than -3/2?
True
Let r(o) = -7*o**3 + 5*o**2 - 5*o - 2. Let t(w) = 6*w**3 - 5*w**2 + 4*w + 2. Let a(p) = -2*r(p) - 3*t(p). Let z be a(2). Which is smaller: -19 or z?
-19
Let r = -370 - -369. Which is greater: 91/5 or r?
91/5
Suppose 42 = 3*y + 2*u + 34, -2*y - u = -7. Is 6 >= y?
True
Let y = -1488 - -1492. Is 2 at least y?
False
Let p = 2/201 + -764/36381. Is p bigger than 1?
False
Let o = 29 + -44. Suppose 0 = -0*j - j + 17. Let h = j + o. Is 1/2 at most h?
True
Let h be -1 - (-2)/6*3. Suppose 3*l - l + 13 = r, h = -4*r + 4*l + 40. Suppose -4*g = -3*g - 7. Are g and r nonequal?
False
Let f = 1.6 - -0.4. Let z = 0.043 - -23.757. Let d = z - 14.8. Are d and f non-equal?
True
Suppose -2*t = 5 - 1. Is 2 at most t?
False
Let h = -12.5 + 4.5. Is h at least as big as -15?
True
Let m(v) = -v + 7. Let q be m(6). Let l = -101 - -101. Which is smaller: q or l?
l
Let y be (-35)/(-21) - (-2 + 3). Which is smaller: 7.5 or y?
y
Let n = -0.37 - -45.37. Let b = n + -46. Is -1 < b?
False
Let h = -2 - -4.4. Which is smaller: h or -13?
-13
Let x(s) = s**2 - 5*s - 5. Let b be (-3)/(-6) - ((-18)/4)/(-3). Let v be x(b). Does v = 4/23?
False
Suppose -40*z = -32*z - 264. Let i = -78 + 110. Which is smaller: i or z?
i
Let q = 0.3 - 0.4. Let x = 11.8717 - -1.1283. Do q and x have the same value?
False
Let m be 212/26 + (240/78)/(-20). Which is smaller: 0.29 or m?
0.29
Let n = -0.19 + 18.19. Suppose 0 = -31*x + 36*x - 25. Suppose -x*q = b + 1, -3*b - 4 = b - 2*q. Is n <= b?
False
Suppose -4*i = 14*i - 324. Is 23 != i?
True
Let l = 17/19 - 233/133. Is l less than 7?
True
Let j(z) = -z**3 + z**2 + 20*z + 2. Let f(k) = k**3 - 7*k**2 - 17*k - 4. Let q be f(9). Let v be j(q). Which is smaller: v or 4?
v
Let i = 41.14 + -41. Suppose -8 = 2*v - 4*l, 0 = -3*v - 2*l - 0*l + 12. Do v and i have different values?
True
Let h = 13 + -23. Let i = 612 + -621. Do h and i have the same value?
False
Let g = 179143/71 + -2523. Let v = 283/497 - g. Suppose -2*b = -12*b + 2*b. Which is bigger: b or v?
v
Let q be (-46)/((-6)/((-12)/4)). Let t(z) = -z - 64. Let p be t(q). Which is bigger: p or -42?
p
Suppose 4*p = 29 - 9. Suppose s + 65 = -p*x, x - 2*s = -s - 7. Let y = 4 + -14. Which is bigger: y or x?
y
Let x be (-4)/(-10) + 29*6/15. Suppose 0*f = -4*f - 2*g - x, -2*f + g = -2. Which is greater: -11 or f?
f
Let f = -341 - -311. Are f and -30 nonequal?
False
Suppose y = 29 - 3. Suppose 30*j = y*j. Is j greater than 1/11?
False
Let o be (12 - -3) + -2 - 4. Suppose 2*w - 3*w - 4 = 0. Let g = o + w. Is g >= 5?
True
Let h = 0.378 + -0.178. Which is greater: 1/4 or h?
1/4
Suppose -53*u + 38*u = 2190. Which is greater: 1 or u?
1
Let t(v) = 3*v**2 + 4*v. Let y be t(-3). Let s(h) = -13*h + 66. Let b be s(4). Let a = y - b. Which is greater: -1 or a?
a
Let w be 10/(-6) + 3/(-9). Suppose 4*c - a + 6 = 0, -c + 3*c = 5*a + 6. Let z = c + 0. Is w >= z?
True
Suppose 6*w - 457 = 5. Suppose 4*s = -3*h - w, -h + 0*h - 19 = 3*s. Does h = -59/2?
False
Let n be 4/12 - ((-908)/2652)/(-1). Do 1 and n have the same value?
False
Let n be (-8)/(-44) - (-118)/(-286). Let m = 226 + -225. Is n greater than m?
False
Let s be 16/(-18) - 25/225. Are -1/532 and s equal?
False
Let k be (-16)/(-10956)*-1*(-15)/(-10). Which is bigger: 1 or k?
1
Suppose -3*j - 4 = d - 8, d - 4*j = 25. Which is bigger: d or -0.5?
d
Let s be (-12)/(-18) + (-4)/(-3). Suppose 2*j + s*j = -20. Let a = 3 + j. Which is bigger: -1/2 or a?
-1/2
Let o be (-2)/20 - (-1)/10. Suppose o = 7*k + 19 + 23. Which is bigger: k or -3?
-3
Let p(g) = 2*g**3 - 15*g**2 - 8*g + 2. Let a be p(8). Let n be (-1)/((31/(-2))/(a/(-8))). Is n equal to 0?
False
Let n be (-56)/(-35) + (-6)/10. Suppose -2*b + 4 = 5*u, 3*b + 6 = -2*u + n. Let s = -3 + u. Do s and -1 have the same value?
True
Suppose 4*u + 4*x = 0, -4*u = x - 0 + 3. Let l be u + ((-50)/(-8) - 5). Let o(f) = 2*f**2 - f. Let s be o(1). Which is smaller: s or l?
l
Suppose 5*y - 55 = -5*c, -5*y + 20 = -4*y + 4*c. Is 13/2 less than y?
True
Let w = -5558 - -66431/12. Let k = w + 67/3. Is -25 > k?
False
Suppose 4*n + 12 = -140. Let s = 37 + n. Which is smaller: s or 3/16?
s
Let v = 2645 + -2644. Let x = -197/5019 + -2/239. Which is smaller: x or v?
x
Let d(y) = 2*y + 9. Let i be d(-4). Suppose -i - 1 = -p. Suppose 4*q = p*b + 14, -q - 2*b = -b + 1. Which is bigger: q or 3?
3
Let o = -18 - -18.12. Let p = o - 0.02. Let i = -22 - -200/9. Which is greater: i or p?
i
Let f(w) = -w. Let g be f(-10). Let c = g + -9. Suppose 3*d + p = -17, p - c - 7 = 2*d. Is d less than 0.2?
True
Suppose z + 5*a + 19 = 0, -a - 1 = 4*z + 4*a. Suppose z = -n + 1. Which is smaller: n or -13?
-13
Let a be -43 + (-49)/7 - 6. Is a smaller than -63?
False
Let d(z) = -3*z**2 - 94*z + 20. Let c be d(-19). Do c and 723 have the same value?
True
Let i = 783 + -779. Is 3 < i?
True
Let t = -1 + -6.4. Let g = -0.4 - t. Suppose 2*d - 1 - 1 = 0. Which is greater: g or d?
g
Let g = -433 + 432. Let o = -35 + 34.04. Which is bigger: o or g?
o
Let d = 14.86 - 14.9. Are 0.8 and d nonequal?
True
Let s be 2*4*(-1)/2. Suppose 18*u + 4*c - 21 = 19*u, 0 = -c + 4. Which is greater: s or u?
s
Let d be (1 - (-6)/(-4))*674. Is d greater than -337?
False
Suppos