i**3 + 9*i**2 + 5*i + 3. Let x(y) = 4*y**3 - 4*y**2 - 2*y - 1. Let t(s) = 2*k(s) + 5*x(s). Let n be t(1). Let v = n + -3. Are v and -4 equal?
False
Suppose 7*x + 244 = 895. Are x and 91 equal?
False
Let j = 0.268 - 38.368. Let b = j - -38. Which is smaller: b or -2/45?
b
Suppose -53*p + 41 = 147. Are -31/17 and p unequal?
True
Suppose 14 = 4*i - d, 5*i - 4*i - d = 5. Let x be i/(2 + 1) + 2. Let k be 39/(-9) + 3 - -3. Which is greater: x or k?
x
Suppose -26 = z - 2. Let v be (-39)/4 - z/(3 + 3). Which is bigger: 1 or v?
1
Suppose 0 = -3*x - 0*s - 2*s + 25, 5 = 4*x - 3*s. Suppose -k - 4 = x. Is -11 > k?
False
Let k(h) = -4*h**2 + 47*h - 109. Let s be k(11). Which is smaller: -230/3 or s?
-230/3
Let y = 3 + -1. Let d = -69 - -54. Let q = 31/2 + d. Is y greater than or equal to q?
True
Let l(j) = -j**3 - 17*j**2 - 15*j + 16. Let p be l(-16). Suppose p = 2*d + 8, -d + 51 = 5*f - 5*d. Which is smaller: f or 4?
4
Suppose 0 = -4*g + 3*u - 888, -41 = -2*g - u - 485. Are g and -1109/5 non-equal?
True
Let y = -10.25 - -10.35. Which is smaller: 45 or y?
y
Let u be ((-355)/(-10))/(11/(-22)). Is u greater than or equal to -70?
False
Let j = -5 + 9. Let f = j - 2. Let g be 72/56 + f/(-2). Is -0.1 >= g?
False
Let b be 76*(((-12)/(-3))/(-8) + 0). Which is smaller: b or 3?
b
Suppose 2*s = 4, 0 = a + 2*s - 3*s. Let m(b) = b**3 - b**2 - b. Let w be m(a). Which is smaller: 10/11 or w?
10/11
Suppose -2*c + 9 = -5*j - 55, 4*c + 5*j = 68. Suppose -c = -y - 64. Let s be y/(-28) - 1/(-2). Is s at most as big as 0?
False
Let l = 1.2 + 0.8. Let d = -24.9 + 26. Let w = d - 1.3. Is w less than l?
True
Let g(f) = -15*f + 135. Let n be g(5). Is 63 at least n?
True
Let r(g) = g**3 + 4*g**2 - g + 15. Let q be r(-5). Which is bigger: q or 12?
12
Let v = -5 - -4.6. Let m = v + 0.36. Which is smaller: -1 or m?
-1
Suppose -k - 2*k + 96 = -3*i, -2*k = -3*i - 99. Let a = 23 + i. Let m = a + 16. Is m greater than 4?
False
Suppose 16*k = 6 - 6. Is -2/485 at least as big as k?
False
Let i = 64 + -91. Let k be (-4)/14 + i/(-21). Suppose -g + 28 = -4*y - k, -5*y - g - 25 = 0. Is y bigger than -5?
False
Suppose 3*o - o = 0. Let w(j) = o*j - 3 - 2 - j**2 + 4*j. Let p be w(4). Which is smaller: p or -4?
p
Let a(g) = 10*g + 39. Let c be a(-4). Suppose 5*q - 4*n + 232 = 0, -2 = 5*n - 17. Is q at least c?
False
Let h(o) = o**3 + 18*o**2 - 16*o + 34. Let q be h(-18). Let f = q - 747/2. Is -53 at least as big as f?
False
Suppose 2*t + 820 = -3*q, 60*t + 836 = 58*t + q. Is t <= -415?
True
Suppose -300 = -586*i + 583*i. Which is smaller: 99 or i?
99
Let z(j) = j**3 + 17*j**2 + j - 14. Let n be z(-17). Let x be (((-282)/n)/3 - 3)*6. Is x not equal to 1?
True
Suppose 562 = -5*n - 623. Which is smaller: -471/2 or n?
n
Let j = -617/729 - -1907807/2369250. Let i = -1/375 - j. Is i at least as big as 1?
False
Let v be (104/24)/(-13)*9/(-26). Is 0.1 less than or equal to v?
True
Let n(p) = -3*p**3 - 2*p**2 + 2*p. Let x be n(-2). Suppose -x - 13 = 5*l. Let k(b) = -b**2 - 7*b - 7. Let h be k(l). Are h and 3 non-equal?
False
Suppose 10 = 327*p - 322*p. Which is greater: 4 or p?
4
Let y be (-1504)/(-1692) - 4/18. Which is bigger: y or 8?
8
Suppose 56*m - n = 57*m - 65, -126 = -2*m + 2*n. Is m <= 0.2?
False
Suppose 5*o + 0*o = 20. Let y = 22 - 17. Suppose 38 = 3*j - 5*a, 3*a - 18 = -y*j - 0*a. Which is smaller: j or o?
o
Let u = -206 - -63. Let q = -149 - u. Let i = -2.8 + 3. Is i equal to q?
False
Let b be 46/(-91) + 18/42. Let a(z) = z**2 + 7*z + 12. Let h be a(-6). Suppose -3*y - c = -0*c + 2, y = -3*c - h. Which is smaller: b or y?
b
Let t(f) = -26*f + 441. Let k be t(17). Is -1/44 > k?
True
Let o(i) = -i - 27. Let z be o(-23). Let v = -3/20 - -2/5. Which is greater: z or v?
v
Let x = 35 - 20. Suppose 0 = 5*a + x, 0 = 4*q + 2*a - 0*a - 18. Suppose -i - 1 = -2. Are i and q nonequal?
True
Let r be (-1 - -6)*84/15. Let u = 27 - r. Let f be (2 + 4)*2/(-21). Is u less than f?
True
Let h(c) = -52*c**2 - 7*c + 10. Let v(x) = -35*x**2 - 5*x + 7. Let k(q) = 5*h(q) - 7*v(q). Let j be k(1). Is j less than or equal to -16?
False
Suppose 5*u + 111 = -3*z, -u - 13 = -z + 6. Let i = -19 - u. Let x be (-6 - -3) + 6/i. Which is smaller: -10/11 or x?
-10/11
Let c(o) be the second derivative of o**4/12 + 4*o**3/3 + 7*o**2/2 - 4*o. Let r be c(-6). Let j = -6 - r. Is -0.09 < j?
False
Suppose 0*u + 2*u - 82 = 0. Suppose -3*f = 3*o - 135, -14*f - 72 = -2*o - 13*f. Are o and u unequal?
True
Let t(w) = -w**2 + w + 3. Let z be t(5). Let r be ((-45)/3)/((-515)/(-618)). Is z >= r?
True
Let c be ((-22)/(-55))/(8/5). Which is greater: c or 6/11?
6/11
Let y be (154/(-35) - -4)/(1/1530). Let h be y/(-70) + -3 - 9/15. Which is smaller: h or 4?
4
Let o = -220867/83 + 2661. Is -1 != o?
True
Let q be (-38255)/364 - 4/26. Let w = 106 + q. Is 0.9 smaller than w?
False
Let g be (12/18*-3)/(294/(-30)). Which is smaller: g or 1?
g
Let h = 4 + -6. Let x = -668 - -5347/8. Is h >= x?
False
Let k = -0.4 + 0.29. Let n = k + 0.21. Which is smaller: -2 or n?
-2
Suppose 10 = -14*p + 4*p. Let t be 2 - (7 - (p - -5)). Is t less than -3/37?
True
Suppose 0*u - 2*u + 251 = 3*s, -u = s - 82. Let k = -92 + s. Let v = -8 + 2. Which is smaller: k or v?
v
Let x be 5/((-5)/(-8)) - (23 - (-2 - -17)). Let u = 4775/24 + -199. Are u and x equal?
False
Let l be 4 - 0 - 2/2. Let v = l + -5. Let w be (-3)/(1*(-9)/v). Which is smaller: -3 or w?
-3
Let n = -21.7 - -22. Let h = -39/20 - -7/4. Which is smaller: h or n?
h
Let a be 34/252 - 49/294. Do -1 and a have different values?
True
Let f(p) = 2*p**2 - 7*p - 34. Let t be f(8). Which is bigger: t or 44?
44
Let m = 6543 - 3539764/541. Which is smaller: m or 0?
m
Let u = -9.21 - -33.32. Let w = u - 24. Let r = -0.29 - w. Which is smaller: 0.3 or r?
r
Let x = 52 + -53. Let g = 23/18 - 689/342. Is x greater than g?
False
Suppose -5*o + 114 = -3*f, 24*f + 2*o = 20*f - 152. Which is smaller: -191/5 or f?
-191/5
Let f = -15.9 - -16. Let j = -1.34 + f. Let w = j - -1.2. Which is smaller: -1 or w?
-1
Let j = 648/5 - 130. Let o = 22.5 + -23. Is o >= j?
False
Let k(g) = -12*g - 276. Let c be k(-23). Which is smaller: -1 or c?
-1
Let i = 223743/242 - 1849/2. Which is smaller: 0 or i?
0
Suppose 13*v = 5*v + 2416. Which is greater: 301 or v?
v
Let g(f) = -f**2 - f. Let p(i) be the first derivative of 2*i**2 - i + 12. Let l(x) = -g(x) + p(x). Let v be l(-6). Is v at least as big as 5?
True
Suppose 0 = -4*p + 55 + 57. Suppose -3*j + j + p = 0. Suppose 3*b - 17 - 22 = 0. Is b < j?
True
Suppose -2*s + 18 = 46. Which is smaller: -24 or s?
-24
Let m be (-5)/10*2/4. Which is bigger: 14/3 or m?
14/3
Let a = -10 - -8. Let l be 22/(-55) + 31/(-510). Let q = l + -2/51. Is a smaller than q?
True
Let r = -5915 - -372655/63. Are r and 0 equal?
False
Let b(f) = 393*f**3 + f**2 + 3*f + 2. Let d be b(-1). Does d = -393?
True
Let y = 5 - 2. Let p = 20 + -6.1. Let n = p - 14. Which is smaller: n or y?
n
Let g be (-31)/(((-75)/(-55))/(-3)). Let u = -68 + g. Which is greater: 1 or u?
1
Let d = 870/17 + -18269/357. Which is smaller: d or 0?
0
Suppose -164 - 266 = -5*w. Let a = 3012/13 + -24767/78. Let g = w + a. Which is smaller: g or -1?
-1
Let s be 27/156 + 1/(-4). Suppose 4*d - 161 = -5*k, -2*k + 2*d + 46 = -d. Let b = 30 - k. Is s > b?
False
Let y(w) = w + 5. Let g be y(13). Let f be (-2)/(-4) - (-297)/g. Let m = f + -14. Which is greater: 4 or m?
4
Let z be 801/(-65) + 18/(-30). Is -13 equal to z?
False
Let g = -56/3 - -18. Are 91/6 and g nonequal?
True
Suppose 3*j + 2*j = -2*d + 12, 0 = -4*d - 16. Suppose j*z - 3 - 17 = -4*c, 0 = -4*c. Suppose 95 = -z*k - 0*k. Is k greater than -19?
False
Suppose -3*r = p - 15, -5*p - 7 = -3*r + 8. Suppose -4*t = -2*t - 18. Suppose t = f + 2*f. Is p at most as big as f?
True
Let i be 442/(-510) - 2/(-10). Which is smaller: i or 958?
i
Let z = 2763/44 - 237/4. Which is smaller: z or 3?
3
Let q = 3 - 1. Suppose 4*g = 4*r, -q*r + 3 = -g + 1. Let n be (((-18)/(-27))/(-2))/(4/(-39)). Which is smaller: r or n?
r
Suppose d + b = -2*b - 60, 5*d + 324 = -3*b. Are d and 2 non-equal?
True
Let v = 11.1 + -11.25. Is v less than or equal to 38?
True
Let n = -23 + 22. Let s be (n/((-4)/36))/(6/20). Is s at most 30?
True
Suppose -d + 312 = 1038. Let y = d + 5073/7. Is 0 < y?
False
Suppose 0*j = -2*j + 5*f + 25, 0 = -3*j + 4*f + 3