 = 3*w + 1595 + 454. Which is bigger: w or 1?
1
Let t(l) = -3*l - 10. Let g be t(-5). Suppose -m + g*m = 2*b - 6, -9 = -2*m + 5*b. Let u = m - -4. Is 14 <= u?
False
Let v = 44 + -40. Suppose -v*r - 11 = -39. Which is greater: 11 or r?
11
Suppose 4*j = -5 + 85. Is 22 >= j?
True
Suppose -336 = 231*k - 259*k. Which is bigger: k or 10?
k
Suppose -2 + 3 = v. Let g be (3/10)/((-1)/(-128)). Let w = 115/3 - g. Is w not equal to v?
True
Let k = -17 - -8. Let b be (-10)/3 - 4/6. Let q(l) = -l**3 - 3*l**2 + 6*l. Let w be q(b). Which is smaller: k or w?
k
Let p be ((-3)/(-2))/((-66)/(-23760)). Which is smaller: p or 539?
539
Suppose 5*j + 25 = -5*r - 20, -5*r = -3*j - 35. Let k be ((-2)/j)/((-7)/(-35)). Let s be -1 + 3/(30/17). Which is smaller: s or k?
s
Let b = 0.1 - 0.1. Are b and -4/49 nonequal?
True
Let o = -51 - -51. Which is smaller: -214 or o?
-214
Let q = 7.2 + -5. Let b = q + -4.2. Let r = -0.58 - -0.18. Which is bigger: r or b?
r
Let z = 198 + -196. Is 15/19 less than or equal to z?
True
Let g be (-2)/(-5) - 34/10. Let f = 1 - g. Suppose -s = -f*y + s + 10, 5 = -4*y - s. Which is bigger: 2/111 or y?
2/111
Let u = 197 + -76. Let a = u + -121. Are a and -2/473 nonequal?
True
Let a = -1.4 - -2.4. Let m = 0 - -19. Let r = -20 + m. Which is smaller: r or a?
r
Let w = 3.32 - 3.178. Which is smaller: 2 or w?
w
Let u = 58 - 52.9. Let z = u - 5. Let n = -21.6 + 22. Is z greater than n?
False
Let h = 24/53 + -582/583. Let u = -5 - -5. Is h at least as big as u?
False
Let u be 2 - -1 - 2/2. Let w = -43 - -46. Suppose 0 = 5*p - w*p - 8. Are p and u equal?
False
Let j = 73.5 + -74. Which is smaller: -65 or j?
-65
Let z = -38 - -41. Suppose 2*y = c, -c = 2*y + z*y. Is c greater than or equal to 23?
False
Suppose -3*h = 2*u - 2, 3*u - 3*h - 14 = 4. Let z = 10 + -17. Let q = 9 + z. Which is greater: u or q?
u
Let o = 2 - 21. Let s = o - -45. Let c = s - 15. Which is greater: c or 10?
c
Let h = 1.612 + 4.388. Is -93 < h?
True
Let x = 34 + -31. Suppose 2*d + 6 = -d, -5*o - x*d = 91. Which is greater: o or -18?
o
Let b = 169 + 109. Is 277 at least b?
False
Suppose 0 = 78*c - 72*c - 120. Let m = 47 + -27. Is c at most m?
True
Let j = 9 - 8.64. Let a = -0.3 + j. Let b = 2774/7 - 396. Which is greater: b or a?
b
Let v be -5 + ((-22)/10)/(50/350). Which is bigger: -20 or v?
-20
Let i(s) = 8*s - 19. Let r be i(5). Suppose 2*h - r = -5. Is h greater than 9?
False
Let g = 2.04 - -0.16. Let r = -24.72 - 6.18. Let q = 31 + r. Is q < g?
True
Let m = 592 - 701. Is 0.1 != m?
True
Let m(o) = o**2 - 2. Let i be m(3). Let z be 4*(20/(-30))/((-8)/21). Is z less than i?
False
Let j = 1.52 + -73.52. Let t = 71.9 + j. Is 4 at least t?
True
Suppose -11*c = -10 - 12. Suppose 0 = c*t + 60 + 62. Is t not equal to -61?
False
Let n = -9211/115 - 76/23. Let x = n + 83. Is x greater than 4?
False
Let f = 412 - 413. Which is greater: f or 111?
111
Let w(s) = -s**2 + 8*s + 8. Let f be w(9). Let h = -5075 - -1030227/203. Which is smaller: h or f?
f
Let g(u) = 62*u - 2. Let j(x) = 21*x - 1. Let c(a) = 2*g(a) - 7*j(a). Let h be c(1). Does h = -20?
True
Let m be 1114/140 + -3 - 0. Let r = -23/5 + m. Let l = -17/28 + r. Is l greater than 0?
False
Let q = -500 - -501. Let a(z) = z**2 - 3*z - 7. Suppose 1 - 4 = -m + 2*y, 0 = 5*m + 3*y - 28. Let b be a(m). Which is smaller: b or q?
q
Let v be ((-15)/10 + 1)*16. Let s = 48 + -28. Let g = s + v. Are g and 13 non-equal?
True
Let s = -12 - -14. Suppose u + 2*f = -13 - 2, 2*f = s*u. Let k be ((-2)/(5 + -3))/u. Is -1 > k?
False
Let z(m) = m**2 - m - 3. Let j be z(4). Let l be 2 + 84/(-49) - 2180/(-14). Let g be (-2)/j + l/(-27). Is g < -7?
False
Suppose 0 = 2*w + 3 - 21. Suppose -t - w = 3*y, 0 = 4*y - t + 3*t + 14. Suppose 8*m + 11 = -3*r + 3*m, -5*r + 5*m = 5. Is y at most as big as r?
True
Let n be (9/6)/((-36)/16 + 3). Let v be 2/((-3)/(-6) + (-5)/n). Is v at most as big as -1/6?
True
Suppose -v + 0*v = 3*v. Suppose v = -11*t + 3*t - 8. Which is greater: t or -3?
t
Suppose -8*n + 22 = -90. Let q = -41 - -40.9. Which is greater: q or n?
n
Let z be (52/12 + -4)*21. Suppose -i + 2 = 3*u - 0*i, -2*u - i + 2 = 0. Suppose u = -4*y - z + 23. Is y at least 4?
True
Let n(a) = -4*a**2 + 9*a + 4. Let s be (3 + 1)/((-9)/18). Let w(x) = 11*x**2 - 27*x - 11. Let v(j) = s*n(j) - 3*w(j). Let q be v(9). Which is bigger: -2/7 or q?
q
Let m(v) = v**3 - 8*v**2 + v + 2. Let c be m(8). Suppose -z - 3*z - 10 = 2*u, 3*u = -z - c. Let o(p) = p**2 - 2*p - 4. Let t be o(u). Is 10 at least t?
False
Let r = -68 - -70. Suppose -3*x + h = -h - 7, 3*h = r*x - 3. Is 3 equal to x?
True
Let d be ((-6)/(-9))/(1/(-15)). Let l be 1/d*-8*-35. Is -26 greater than l?
True
Let v(b) = b**2 - 7*b + 10. Let t = 11 + -7. Let d be v(t). Let z be (-2 - (1 + -4)) + d. Which is greater: z or 0?
0
Let h(y) = -y**3 - 5*y**2 + 2*y + 5. Let p be h(-5). Let v be 4/(-10) + (-37)/p. Let x(o) = -o**3 + 7*o**2 + o - 2. Let w be x(v). Does 6 = w?
False
Let b be -4 - 0 - -6 - -19. Let i = 31 - b. Let z be 10/35 - 136/(-14). Is z less than i?
False
Suppose -4*x + 20 = -8*x, l - 22 = 4*x. Suppose -l*h - 5 + 1 = 2*k, h + 2 = -2*k. Let b = 16 - h. Which is greater: 0.1 or b?
b
Let y = 5386630/3392469 + -64/59517. Let r = y - 40/27. Which is smaller: 0.1 or r?
0.1
Let w(n) = n - 34. Let a be w(0). Let u = 43 + a. Is 9 <= u?
True
Let z = 2468/9 + -273. Which is greater: 0 or z?
z
Let g = -255 + 255. Which is smaller: g or 1/2?
g
Suppose t = -t + 2. Suppose 0 = -2*p + 23 - 19. Is p at least as big as t?
True
Let v(p) = -p**3 - 14*p**2 - 14*p - 25. Let q be v(-13). Let n be (0/q)/(1*-2). Let f = -1429/27 - -53. Is n > f?
False
Let o be 2/44058*-14692 - 42/(-63). Let y = o + -469942/36715. Which is bigger: y or -13?
y
Let n = -169/100 + -3/50. Let a be 14/3 - (-4)/(-6). Suppose -s = 2*c + 2*s, -a*s + 17 = -3*c. Is c equal to n?
False
Let p = -17 - -26. Let l(h) = -h**3 + 5*h**2 - 7*h + 3. Let i be l(4). Let w be -1 + 5 + i/3. Is w less than p?
True
Suppose -3*o = -7*k + 2*k + 10, 5*o + k - 2 = 0. Let b be (6/5)/((-6)/(-20)). Suppose 21 = -b*r + r - 3*c, -4*r - 5*c - 33 = o. Which is bigger: r or -1?
-1
Let a = -8090/19 + 56662/133. Which is smaller: a or 0?
0
Let r be 31/11 - (-16)/88. Do r and 21/8 have different values?
True
Let s(x) be the first derivative of -2*x**3/3 + 13*x**2/2 - 6*x + 2. Let g be s(6). Which is bigger: g or 3/5?
3/5
Suppose -4*z + z + 15 = 0. Let j(b) = -b**2 - 3 + 6*b + 0 - b. Let c be j(4). Which is smaller: z or c?
c
Let c(p) = 164*p**2 - 2*p - 3. Let j be c(-1). Let r = j + -168. Do -12 and r have different values?
True
Let o be -5 - (-13)/(117/36). Which is smaller: -2/1211 or o?
o
Let b be 2*(6 - 4)/(8/130). Suppose -8*k = -3*k - b. Are 13 and k unequal?
False
Let f(o) = o - 6. Let r be f(5). Suppose 0 = j - 23 + 26. Which is bigger: j or r?
r
Suppose 12 = 51*u - 57*u. Let k = -0.41 + 0.01. Which is bigger: k or u?
k
Let x = -10811 + 356731/33. Let q = -124/143 - x. Is q at least as big as -1?
True
Let j be (-19288)/20 + (-4)/(-10). Let w = 47234/49 + j. Which is smaller: w or 1?
w
Let i = 24 + -35. Which is bigger: -112/11 or i?
-112/11
Let d be -5 + (-10)/(210/(-9)). Suppose -22*y - 16 = -18*y. Which is smaller: d or y?
d
Let o = 15 - 14.65. Let f = -0.25 + o. Which is smaller: f or 20?
f
Let k be ((321/7)/3 - 4) + 0. Is k equal to 10?
False
Suppose -3*l - 637 = -17*z + 18*z, 643 = -z + 3*l. Is -642 at most as big as z?
True
Let s = -3717/2 + 1777. Are s and -81 unequal?
True
Let w(a) = a**2 + 21*a + 94. Let m be w(-6). Suppose h - 4*h + 12 = 0. Suppose v + m*q = -12, h*v + 3*q + 17 = -31. Which is smaller: -11 or v?
v
Let i = 88 + -37. Which is greater: i or 50?
i
Let f(u) = u**2 + 1. Let a(b) = -4*b**2 - 14*b + 6. Let c(k) = -a(k) - 5*f(k). Let y be c(13). Suppose y*n + 3 = -15. Is n at least as big as -15/2?
False
Let g = 62/71 - 10889/355. Let l = -30 - g. Which is greater: l or 1?
1
Suppose 0 = 4*y - 14 - 134. Are y and 34 non-equal?
True
Let t = 880 - 970. Is -2 greater than t?
True
Let p = -1118 - -664. Which is greater: -453 or p?
-453
Let p be ((-6)/9)/((-4)/24). Let r be -2 + 2/((-12)/(-357)). Let x = 62 - r. Which is smaller: p or x?
p
Let f = 3 + -9. Let q be (4 - (-22)/f)*-12. Suppose -5*z + 11 = 46. Are q and z non-equal?
True
Let m be 1 + (6622/28)/(42/(-100)). Let u =