= -2*i**3 - i**2 + 3*i - 1. Let r be b(2). Let m be ((-30)/(-8))/(r/60). Let a = -13 - m. Is 2 bigger than a?
False
Let v = 7.29 + -7.6. Let a = v + 2.31. Is -1.4 bigger than a?
False
Let u = -817 - -818. Let f be 6/(-4)*-1*2. Let y be 2/f*15/50. Is y at most u?
True
Let y = 9400 + -18403/2. Is 198 bigger than y?
False
Let d = -144986291/420 - -345205. Let z = 9/28 + d. Is -1 less than z?
True
Let t(k) = 4*k**2 + 90*k - 14. Let r be t(-21). Which is bigger: r or -141?
r
Suppose -13*d = -5*d - 16. Let h be d + 1 - 4 - (0 + -2). Let s be 6/(-8)*(-1)/(-6). Is s greater than h?
False
Let n be (-188)/3 + (-28)/84. Are n and -63 unequal?
False
Let f = 3747/11 + -341. Let b = -47/22 + f. Let o = b + 3. Which is bigger: o or 2?
2
Let x = 7/199 + 10100/1393. Which is greater: 7 or x?
x
Let l = -17771/14630 + 141/133. Does l = 1?
False
Let i(y) = 2*y. Let t be i(8). Suppose 25 = t*x - 21*x. Let h = 22 + x. Which is greater: 0 or h?
h
Let w = -748.1 - -793. Let v = w + -8.9. Which is smaller: 1 or v?
1
Suppose 8*c - 2381 - 1155 = 0. Is -1/3 < c?
True
Let g = -98391118321/194 - -507168567. Let p = -2146 - g. Is p != 1?
True
Let t = -32 - -42. Let w(n) = -5*n + 33. Let l be w(t). Suppose 5*j + 90 - 10 = 0. Which is smaller: j or l?
l
Let z(q) = q + 4. Let h be z(-5). Let f be (-1)/1 + h + 9. Let a be (77/(-33))/((-1)/3). Is f smaller than a?
False
Suppose 9*s - 10*s + 2 = 0. Is 4 equal to s?
False
Let n be (-46)/(((-10)/(-3))/(-10)*3). Is 47 at least n?
True
Let m be 3*38/(-444)*-4. Let c = -5512/5439 + m. Which is smaller: 0 or c?
0
Let x be 6/(-5)*660/(-36). Do 14 and x have the same value?
False
Let b = -890 - -885. Are b and 0.64 non-equal?
True
Let k = 9806 - 9807. Let u be 5/(-38)*6/10. Is u not equal to k?
True
Let o be -25*1/5*4. Let a be -3*5/(-6)*(-6)/o. Is a smaller than 1?
True
Let t = 176 + -268. Let h = t + 136. Which is bigger: h or 46?
46
Let m = -433/12 - -89/4. Let y = 27/2 + m. Let s = 71 + -42. Which is smaller: y or s?
y
Let m = -28729 - -201629/7. Which is bigger: 76 or m?
76
Suppose -5*d + 3*l - 5 = 0, 3 = -2*d + l + 2. Let t = 2 - -2. Which is smaller: d or t?
d
Let s(v) = -v**3 + 10*v**2 - 3*v. Let p be s(10). Let h be (p/(-175))/((-6)/100). Which is smaller: h or -4?
-4
Let w = -220 + 239. Are w and -2/47 nonequal?
True
Let u be (-10)/(-12) + ((-20)/4)/5. Let c = 15 + -16. Which is smaller: c or u?
c
Let r be (3/6)/(1/4). Let h be 1/(3 - (r - -2)). Which is smaller: h or -1/27?
h
Let g be (6/15)/((-20154)/(-3360) + -6). Which is smaller: -222 or g?
g
Let h = 362 + -178. Let p be (-60)/h*(-8)/12. Is -1 equal to p?
False
Let n = -424 - -423.88. Let d = -0.59 + 0.6. Let p = -0.99 - d. Which is greater: n or p?
n
Suppose 2*l = -l. Let s be (-6)/8 - (-14)/8. Let k = l - s. Is -3/4 less than k?
False
Let g = 0.2635 - 5.2635. Suppose -z = -b + 3 + 3, -6 = 3*b + 5*z. Which is smaller: g or b?
g
Suppose 0 = -n + 3 + 4. Let b be 40/n - 2/(-7). Let h be -1*13/b + 3. Which is smaller: 0 or h?
0
Suppose 4200 = -11*d - 9*d. Which is bigger: -212 or d?
d
Let s = 15 - 30. Let c = s + 14. Which is smaller: c or -0.4?
c
Let r = 8 + 4. Let a(f) = f**2 - 7*f - 3. Let v be a(6). Let w = r + v. Which is bigger: -3 or w?
w
Let x be ((-4)/6)/((-8)/84). Suppose -5*t + 60 = 5*j, 3*j = -4*t + 27 + x. Let c be 22/j + 24/(-8). Which is bigger: 0 or c?
0
Let o = -3 - -9. Suppose -o*d = f - 3*d, 0 = 2*d. Suppose f*i - 5 = 5*i. Which is smaller: -5/6 or i?
i
Let x = -4.119 - -0.119. Which is bigger: x or 1/98?
1/98
Let r = -729/290 + 2/145. Let i = -29/10 - r. Which is smaller: i or 0?
i
Let f be 4/(((-16)/(-12))/1). Suppose -3*l + 32 = -10. Suppose 0 = w + 3*v - 6, 5*v - l = -2*w - w. Is w at most f?
True
Let z = 81 - 74.4. Let u = -4.4 - z. Which is smaller: 2 or u?
u
Let n(x) = 2*x**2 + x. Let c be n(0). Suppose c = -k - 3*t - 10, t = -4*k - 73. Let l = k - -15. Which is greater: l or -2?
-2
Suppose 3*k + 0*k = -5*a - 14, 4*k = -a + 4. Suppose -k*x = -2*y + 12, 4*y - y = -x + 2. Which is greater: y or 6/5?
y
Let g = 54 - 59. Let p(v) = -v**2 - 2. Let r be p(g). Which is bigger: r or -51/2?
-51/2
Suppose -15 = -5*u - 0*u. Which is greater: 1 or u?
u
Let a be 1/(-1) - (-60)/18. Which is bigger: a or 0?
a
Let s(j) = j**2 - 7*j - 57. Let w be s(12). Let b(m) = 3*m**2 + m + 1. Let y = 5 - 6. Let c be b(y). Is c <= w?
True
Let y(g) = -g**3 + 8*g**2 - 2*g - 10. Let v be y(7). Let p be 15/393*(-10)/v. Is -1 at least p?
False
Let f be (-1 - -3)/((-4)/(-6)). Let j(h) = 4 + 6 + f*h + 2*h + 4*h + h**2. Let x be j(-8). Is x at least as big as 6/11?
True
Let m(r) be the second derivative of -2*r**3/3 - 7*r**2/2 - 15*r. Let k be m(4). Is -24 greater than or equal to k?
False
Let m(l) = -l**3 - 5*l**2 + 6*l - 3. Let d be m(-6). Let y be (-12)/(-9) - 2/d. Suppose 40 = -26*w + 21*w. Which is smaller: w or y?
w
Let g(n) be the first derivative of n**4/4 + n**3 + n**2/2 + 4. Let q be g(-3). Is -1/3 at most as big as q?
False
Let q = -3 - 19. Let d = q + 24. Let f = 2 + -2. Are d and f unequal?
True
Let n(o) = o - 13. Let u(z) = 1. Let v(p) = n(p) + 2*u(p). Let t be v(10). Is t at most -2?
False
Let q = 1514 + -1515. Which is smaller: q or -1/422?
q
Let b = -9690/7 - -48693/28. Let s = 352 - b. Which is greater: s or 3?
3
Suppose l + 1 = -5. Suppose -m + 3*w + 30 = -5*m, 0 = 4*m - w + 22. Is l not equal to m?
False
Let q(t) = -t - 1. Let r(s) = -1. Let g(y) = q(y) - 5*r(y). Let p(d) = -d + 5. Let o(k) = 5*g(k) - 4*p(k). Let h be o(4). Is h not equal to -0.2?
True
Let g(o) = -o**2 - 6*o + 4. Let a be g(-6). Let w = -44 + 48. Suppose -2*n = w*q + 2*n + a, -4*q = 3*n. Are -3 and q nonequal?
True
Suppose 19*a - 10 = 9. Let x = 6 - 13. Let p be 2 + -4 - x/4. Which is smaller: p or a?
p
Suppose -u = 2*u + 3*u. Suppose u*q + 11*q - 77 = 0. Is 0 != q?
True
Let t = 952 - 954. Suppose -3*d + 8 = a, 2*a - 2*d = -6*d + 10. Let p = a - t. Is p at most as big as 4/15?
False
Let w be -24*(1*-2 - 496/93). Which is bigger: 882/5 or w?
882/5
Let u = 9 - 11. Let p = u - -7. Suppose p*j - 5*h - 18 = 37, -31 = -j + 5*h. Do 6 and j have the same value?
True
Suppose 2*n - 12 = 12. Is -4 at least n?
False
Let j = 8.02 - 0.02. Let s = -0.767 - -0.77. Let l = s - 0.003. Which is smaller: l or j?
l
Let c be 3/(-9) + 40/12. Suppose 3*f + 4 = 2*o, 4*o + 3*f - c = 23. Let b be 7 - o - (0 + 3). Which is greater: b or -2/55?
-2/55
Let d = -0.26 + -23.74. Is d less than or equal to 0?
True
Let a be 62/(-5) + (-2)/(-5). Let f be (-8)/(-12)*a/(-28). Which is smaller: f or 9?
f
Let s(d) = d - 7. Let r be (-18)/(-24) - 5/(-4). Suppose -r = -5*p + 28. Let v be s(p). Is -7/5 smaller than v?
True
Let s be ((-645)/(-20))/(24/(-64)). Is s equal to -4?
False
Suppose -10 = 18*a - 23*a. Let y be (5 + -1)/a + 22/(-7). Suppose 2 - 6 = 2*s. Which is greater: s or y?
y
Let h be ((-3)/(-3 - -384))/((-1)/3). Which is greater: h or -1?
h
Let f be ((-5)/9)/((-4)/(-6)). Suppose 0*k + 5*k = -4*k. Which is greater: f or k?
k
Let a be (1 + 7)*(-1)/(-2). Let k be 3/15*(3 - a). Is 6 less than or equal to k?
False
Let z be (-48)/168*((1 - 7) + -1). Suppose 4*a + 13 = -3*b, 2*a = z*b - 1 - 9. Which is greater: -1/104 or b?
b
Let z be 4/(-11)*((-112100)/48 + 6). Let s = -847 + z. Do 1 and s have different values?
True
Suppose 0*q - 2 = -2*q. Let u be (18/15)/(6/(-200)). Let h be (-21)/28 - 14/u. Which is smaller: q or h?
h
Let z = -0.9 - -1. Let y be (-1)/((-5)/(-43)) - (-104)/(-260). Which is greater: y or z?
z
Let u(m) = -m**2 - 9*m. Let k be u(-9). Let r = -11 - -23/2. Let d = k + r. Are d and -4 nonequal?
True
Let a = 168 - 49. Let b be 63/a*2/3. Let x(l) = -l + 1. Let n be x(2). Is n not equal to b?
True
Suppose -390*n + 384*n + 114 = 0. Is n equal to -2?
False
Let o = 1269 + -1269.7. Is -20 greater than or equal to o?
False
Suppose -o + 11 = -47. Which is smaller: 46 or o?
46
Let z be -3*(-4 - 11/(-3)). Is 1/294 less than z?
True
Let k = -5638.685 - -5653. Let z = k - 0.215. Let b = 14 - z. Which is bigger: b or -0.05?
-0.05
Let n = 12 - -3. Suppose 5*v + 5 = n. Suppose h - v*l = l - 15, 5*l - 20 = 0. Is h at least as big as -2?
False
Suppose -5*v + v - 19 = 3*p, -11 = 3*p + 2*v. Let t be -1 - (-5)/(10/(-8)). Let o be 216/(-1140) + (-2)/t. Which is smaller: o or p?
p
Suppose -2*i - 1 + 5 = 0. Let p be 1 - (i - -3)/10. Is p not eq