e -3*n = 5*f - 1, -f + 8*n = 3*n + 11. Which is bigger: f or i?
i
Let h = 246.5 - 296.5. Which is bigger: h or 6?
6
Let t(i) be the first derivative of i**4/4 + 5*i**3 + 7*i**2 - 12*i + 8. Let v be t(-14). Is -21/2 != v?
True
Let r = 3397/2 - 1742. Is r at least -44?
True
Suppose 10407 + 6081 = -8*v. Let o = v - -47395/23. Is o not equal to -1?
True
Suppose -24 = -7*d - 10. Is -0.38 bigger than d?
False
Suppose -69 = -11*p + 19. Suppose p*m = 64 + 40. Is m < 11?
False
Let t(g) = 2*g**3 + 8*g**2 - 3*g + 5. Let z be t(-8). Let q be 2378/z - 6/(-21). Let s = q + 7/23. Which is greater: s or -3?
-3
Let y = 12 - 8. Suppose i + 9 = y*i. Suppose -4*k + 17 = 5*p, 4*k - 3*k = -i*p + 13. Is 3 smaller than k?
False
Suppose 6 = 3*x, 0 = 3*d - 13*x + 16*x + 96. Which is bigger: d or -37?
d
Let t = -8 + 7. Let v = -5.91 + 5.59. Which is smaller: v or t?
t
Let g(v) = -19 + 35 + 8*v + v**2 + v - 15. Let l be g(-9). Which is greater: 1/23 or l?
l
Let n be 3 + ((-2)/1 - -3). Let m be (21/(-7))/(2/n). Let w be 1/(-1) + m + 3. Is w >= -2?
False
Suppose -4*u + 9 - 1 = 0, s + u - 6 = 0. Let q be ((-14)/s)/(-7)*(10 - 0). Is 5 bigger than q?
False
Let b = 0.92 + -0.65. Let m = 0.17 - b. Are m and 2/23 unequal?
True
Let u be (-3828)/2068 - 4/(-2). Which is smaller: 1 or u?
u
Suppose -1051 - 7402 = 79*d. Is d greater than 3?
False
Suppose 13*h + 2*h - 645 = 0. Which is smaller: 38 or h?
38
Let u = 0.1 - -0.1. Let k = -41 - -32. Let g = k + 9. Is g less than or equal to u?
True
Suppose 5*l - 55 = -t, 5*t + 69 = l + 58. Suppose 0 = -5*w + 4 + 51. Are l and w non-equal?
False
Let t(u) = u - 3 - 3*u - 4. Suppose 3*n = -3*z - 3, 5*z - 5*n + 0*n + 45 = 0. Let w be t(z). Is w >= 2?
True
Suppose 0*x - x = -g - 17, -5*g = 2*x - 69. Let d be (x/4 - 4)*(-2)/3. Are d and 1/79 equal?
False
Let u be (-12)/60 + 432/2185. Is u less than 0?
True
Let p = -823.46 + 825. Which is greater: p or 0.2?
p
Suppose -5*y - 16 = m, -5*m + 13 + 19 = -3*y. Let i be -2 - (1 + -7)*y/3. Let x be -11 + (-2)/8*-2. Is i at least as big as x?
True
Let u = 23 - 32. Let w(q) = -q**2 + 12*q + 28. Let d be w(13). Suppose -10*z = -d*z - 45. Is u > z?
False
Let n(q) = -2*q**3 + q**2 + q - 1. Let v(k) be the third derivative of k**4/12 + k**3/6 + 4*k**2. Let u be v(0). Let t be n(u). Is -8/5 at most t?
True
Let k = -23 + -7. Let v = k + 11. Let l = v + 15. Is -3 bigger than l?
True
Let f be (3 + (-28)/8)/(43/36). Which is greater: 0 or f?
0
Let c be 1128/(-18)*(-12)/8. Which is greater: 92 or c?
c
Let x be -229*(6/2 - 1*4). Is 229 smaller than x?
False
Suppose 1619 - 39 = -10*g. Does -158 = g?
True
Suppose -2*r = -7*r + 10. Let n be r + -4 + (-4 - (-124)/21). Which is smaller: 0 or n?
n
Let z = 51/83 + -523/581. Suppose -5*v + 34 = -3*v. Is z < v?
True
Suppose -2*o = 8, -14*o + 17*o = 4*u. Is 0.016 < u?
False
Let m = -19 + 33. Let p = 13.9 - m. Let g = 13 - 30. Are g and p nonequal?
True
Let m(z) = -26*z**2 - 2*z + 2*z + 4*z - 5*z. Let d be m(1). Let k = 23 + d. Are -2 and k nonequal?
True
Let j = -130.998 - 1.202. Let w = 131 + j. Is w bigger than 2/11?
False
Let m(o) be the first derivative of -o**4/4 + 7*o**3/3 + 17*o**2/2 + o - 13. Let t be m(9). Is t equal to -3?
False
Suppose -5*q - 7 = 4*g, 3*q - 4*g = q + 14. Suppose -35 = 2*c + 5*f, 0 = f - q + 6. Is c != -48/11?
True
Let m = 23 + -16. Let y = m - 15. Let x = y + 4. Which is smaller: 1/3 or x?
x
Let d(u) = -u. Let s(n) = -n**2 - 1. Let p(f) = 3*d(f) - s(f). Let g be p(2). Is -4/23 > g?
True
Let j be 12/28 - (-5052)/(-28). Which is smaller: -182 or j?
-182
Let s = 0.036 + -2.036. Let o = -1.6 - s. Do o and -0.2 have different values?
True
Let g = 33.75 - 34. Let j = -0.8 - 0.95. Let p = j + g. Which is greater: 0 or p?
0
Let b = -2127 - -1706. Is b < -420?
True
Suppose 2*h + 306 = 4*f, 2*h + 15 = f - 54. Let n be ((-35)/(490/(-28)))/(-4). Do n and f have the same value?
False
Let i(y) = -3*y**2 + y + 26. Let u be i(-4). Which is smaller: u or -24?
u
Let s = 2.7 - 2.9. Let q = s + 0. Is q bigger than -13?
True
Suppose 5*l + 2 = -3*h, 1 = -h - 3. Let b be ((-8)/10)/(l/(-10)). Suppose 0 = -3*c - 6, 2*d - b*c = -3*c - 18. Are -10 and d nonequal?
False
Let t(g) be the first derivative of g**3/3 + 7*g**2/2 - 10*g - 2. Let z be t(-9). Let r = -9 + z. Are 1/2 and r equal?
False
Suppose 5*t - u = -5, 3*t = -0*u - 2*u - 3. Is 0.066 not equal to t?
True
Let o be 3 + ((-175)/15)/5. Which is smaller: -59 or o?
-59
Let c = -183 + 429/2. Is c >= -0.1?
True
Let y be 0 - (12 + -6 - 22). Which is smaller: y or 7?
7
Let c(v) = v**2 + 7. Let y be c(0). Suppose 5*i - 13 = y. Suppose -4*s + 14 = 3*w - 21, 0 = -w - 3*s + 20. Is i != w?
True
Let p = -6623 + 6623.1. Suppose 3*x - 6*x = 2*o - 9, -3*x + 5*o = -30. Is p equal to x?
False
Let k be ((-5)/(-2) - 3)*-12. Let s(o) = o**2 - 5*o. Let f be s(5). Suppose -3*q + 0*q - k = f. Are 0.1 and q nonequal?
True
Suppose -5*n = -0 + 10, 2*d - 2 = -n. Let v = 432/5 + -85. Which is bigger: d or v?
d
Let l = 1488 + -1507. Which is greater: 3.3 or l?
3.3
Let o = -2.78 + 3. Let g = o - 0.52. Let j = -40 + 278/7. Which is smaller: g or j?
g
Let d = -6/299 + 4240/2691. Let l be -13 + (23 - 5) - (-1*2 - -5). Is d != l?
True
Let k(y) = -7*y. Let u be k(6). Let b be (-12)/((-22)/(-55) + (-6)/10). Let s = b + u. Is 17 less than or equal to s?
True
Suppose 23 = 2*c - 5*w, -c - 3*w + 4 = 9. Let m be 0/c - 1*-2. Suppose 2*g - 23 = m*j + g, -3*j - 30 = 3*g. Are j and -10 equal?
False
Let n = -10899 + 164054/15. Let b = n - 38. Which is smaller: b or -1?
-1
Let l(j) = -5*j - 21. Suppose 5*t - 4 = m + 2, -52 = 3*m + 2*t. Let w be l(m). Is 60 > w?
True
Let l(a) = -a**3 + 5*a**2 + 4*a. Let c be l(5). Let b(w) = -4*w - 12. Let p(j) = j**2 + 25*j + 16. Let v be p(-24). Let q be b(v). Does q = c?
True
Let f be (-841)/244*(-200)/60. Let l = -2/183 - f. Which is smaller: l or -13?
-13
Let k be ((-2)/(-18))/(377/851469). Suppose 1004 = -3*i - i. Let t = i + k. Which is greater: t or 1?
1
Let c(j) = -j + 8. Let t be (1 - -6)/(5/5). Let k be c(t). Let v be k/(-26*3/12). Are 2/13 and v equal?
False
Suppose -732*h + 757*h = -6075. Is h less than -243?
False
Let s = -75621541/58869052 - 3/232684. Let f = 17/23 + s. Suppose 4 = 5*o + 9. Is f greater than o?
True
Let k(x) = x**3 + 6*x**2 + 2. Let i be k(-6). Let h be -2 + 2 - i/(-1). Suppose -q + h = -4*o + 2*o, -o - 10 = 4*q. Do q and -1 have the same value?
False
Let l(s) = s**3 - 10*s**2 + 19*s - 14. Let w be l(8). Suppose 5*g + w = -3*b + 5, 4 = 5*b - 4*g. Do b and 2/341 have different values?
True
Let p be (3/(-123))/(39/9). Let u = p + 8549/3731. Which is bigger: 2 or u?
u
Let o = 0.543 - 0.443. Let b be (-2)/(-5) - 62/80. Which is greater: b or o?
o
Suppose c - 3 = -4. Let j(d) = -6*d - 14. Let k(a) = -7*a - 13. Let s(m) = 5*j(m) - 4*k(m). Let v be s(-9). Which is bigger: v or c?
v
Let f = -49 + 51. Suppose f*r + 104 = -2*r. Is r <= -2?
True
Let h(j) = j**3 + j**2 - j + 1. Let w be h(1). Suppose -2*u - 2*b = 3*u - 20, u - 4 = -w*b. Suppose 0 = 4*q + u*a - 12, 5*a - 17 = -6*q + 3*q. Is q >= 3?
False
Suppose -62*d = -914 + 3394. Is -44 at most d?
True
Let y = -118634/105 - -5744/5. Let d = y + -56/3. Let f = 1 + 0. Is f less than d?
False
Let l(x) = 5385*x + 8. Let o be l(-6). Let t be (-12 - -10) + o/(-58). Let v = t - 555. Which is bigger: 1 or v?
1
Let h = -8.04 + 0.04. Let i = h - -8. Let y = 4196/13 + -323. Which is bigger: y or i?
i
Let u = -0.4527 + 0.1527. Which is bigger: u or -148?
u
Let j(i) = -2*i + i**3 - 5 + 9*i**2 + 2*i. Suppose 41*z = 99 - 468. Let d be j(z). Is d less than or equal to -5?
True
Let m be (-3)/16*(-9 + 2 - -3). Is m smaller than -2/177?
False
Let l = 378 - 785. Which is smaller: -1 or l?
l
Let y = -3 - -4. Let r = y + 1. Let b = r + -3. Which is bigger: b or 0?
0
Let g(j) = 330 + 2*j - 337 - 2*j**3 + 3*j**3 - 5*j**2. Let n be g(5). Is 11/3 greater than n?
True
Suppose -5*f + 99 = -o - 2*o, 4*f - 102 = 3*o. Which is smaller: o or -36?
o
Suppose 28*q - 3 = 27*q. Let g be q + 23/(2/(2/(-7))). Is -2 less than or equal to g?
True
Let k = -11 - -7. Let b be -32 + ((-16)/(-2))/k + 0. Are b and -35 nonequal?
True
Suppose 2*h - 7*h = -2*f + 210, 0 = 2*f + 4*h - 192. Suppose 0 = 4*v + 3*b + 2*b + f, -2*b = 3*v + 75. Which is smaller: v or -26?
-26
Let r = -78482/11165 - -204/29. Which i