
Let c(d) be the first derivative of d**4/4 + 3*d**3 + 9*d**2/2 - 10. Let z be c(-8). Is -6 at least as big as z?
True
Let k(i) = -16*i + 25. Let u be k(-5). Let f = 106 - u. Are 1/230 and f non-equal?
True
Let g(h) = h**2 + 3*h - 3. Let y be g(-6). Suppose -3*p - 4*i = -21, 2*i = 7*i + y. Suppose 0 = -m - 2*m + 36. Is p < m?
True
Let u = -1416 + 1393. Which is greater: -36 or u?
u
Suppose 2*f - 11 = -3. Suppose -3*q = -5*x - 6, -x - 2*q = -0 - f. Is x greater than or equal to 2/9?
False
Suppose -3*a = -d - 108, 0 = -2*d + 6*d + 3*a + 402. Which is bigger: -104 or d?
d
Suppose -3*h + 6 = 0, 5*h + 15 = 2*s - 21. Let p(m) = -m**3 + 24*m**2 - 24*m + 29. Let r be p(s). Is r less than or equal to 9?
True
Let m = -124 - -128.1. Let a = m + -2.1. Which is smaller: a or -0.3?
-0.3
Let z = -47 - -17. Suppose i = 2*p + 62, -4*p + 4*i = p + 158. Is p greater than z?
False
Let p be (67/(-2) - -7)/(1/2). Is -56 less than p?
True
Suppose 4*c + 2*m = 476, -5*c = 3*m - 322 - 275. Which is bigger: 115 or c?
c
Let o(f) = f**3 + 4*f**2 + 4*f + 1. Let c be o(-4). Suppose -w = -5*g - 65, -3*w - 45 = 4*g + 26. Which is greater: c or g?
g
Let w = -68943/123250 + 2/3625. Which is smaller: -2 or w?
-2
Let c = 3.1 + 3.5. Let d = c - 30.6. Is d bigger than -2?
False
Suppose 2*a + 0*a + 42 = -4*u, -a - u - 21 = 0. Which is smaller: a or -23?
-23
Let b = -21 + 13. Let o = b + 13. Let f be o/9*(-12)/(-8). Is 2 less than or equal to f?
False
Let c = 1816/7 + -819030/3157. Let z = c + 2720/3157. Let u = 5/14 - z. Is u at most as big as 0?
True
Suppose 0 = n + d - 4, 3*n + d + 3 = 5. Let b = 361 + -9748/27. Which is greater: n or b?
b
Let u be 1 - 1/2*-2. Suppose 2*c = u - 6. Let q = -5 - c. Is q greater than or equal to -3?
True
Let r be (-3)/((-6)/(-26)) + (-55)/(-11). Which is greater: r or 1.6?
1.6
Let t be (3/9)/(6/198). Is 11 greater than t?
False
Let c = 78 - 83. Let v be 2 + 0 + (-50)/20. Are c and v unequal?
True
Let y = 5.82 + -15.82. Does -2.7 = y?
False
Let c = -349990/7 - -49736. Is c < -263?
False
Let o be 48/(1 - -3) - -2. Let x be (-84)/24*(-8)/o + -13. Which is bigger: -10 or x?
-10
Let z = -105 + 278. Which is smaller: 3 or z?
3
Suppose 0 = -4*d + 5 + 3. Suppose -c + 6 = d. Let z(n) = -n. Let l be z(c). Are -10/3 and l nonequal?
True
Let h = 611/28 - 95/7. Is 8 greater than h?
False
Let h be ((-300)/(-125))/(2/(-5)). Which is smaller: -5 or h?
h
Suppose 5*b + 4*v - 324 = 0, b + 5*v = 72 - 3. Which is smaller: b or 66?
b
Let a = 711 + -713. Which is greater: 14 or a?
14
Let p = -184.9 + 185. Which is greater: p or -9/10?
p
Suppose 14*w = 5*w - 4*w. Are w and 2/2515 equal?
False
Suppose -5*a + 5*m + 98 + 57 = 0, 2*a - 67 = m. Are a and -2 equal?
False
Let d(t) = -t**3 - 3*t**2 - 4*t + 11. Let x be d(3). Let p = 44 + x. Let m be 9*(1/(-3) - 1). Is m not equal to p?
True
Let g(k) = 4*k + 14. Let s be g(10). Suppose -4*b = -10*b + s. Which is smaller: b or 15?
b
Let l(x) = -3*x**2 + x + 7. Let f be l(6). Which is greater: -96 or f?
f
Let b = 135 + -325. Let x be (19/b)/(4/30). Is 0.05 at least as big as x?
True
Suppose 4417 = 3*s - x, -2681 - 277 = -2*s - 2*x. Let m be 0 + s/(-140) + -1. Let k = -58/5 - m. Is k less than or equal to 1?
True
Let x = 0.1787 - 2.1787. Which is smaller: x or 86?
x
Let p be (-2314)/(-39) - 2/(-3). Let u = -55 + p. Is 6 greater than u?
True
Suppose -c - 1 = n, 0 = 2*c - 2*n - 0 - 6. Let a be (-6)/72*(-495)/33. Which is greater: c or a?
a
Let u = -318/11 + 29. Let x = 51 - 257/5. Which is greater: x or u?
u
Let h = -3.3 + 0.4. Let j = -2.3 - h. Which is greater: j or -0.2?
j
Let q(l) = -2 + 5*l**3 - 3*l**3 - l**2 - 2*l**2 + 3*l. Let c be q(2). Suppose -c*j = -5*j. Is 3/5 <= j?
False
Let j = -44 - -86. Suppose 0 = 2*y - 2*g + g + 17, 5*g - 5 = 0. Let b be (y/(-6))/((-4)/j). Is -14 at most b?
True
Suppose 3*t + 43*g = 44*g - 4590, 2*g = 4*t + 6118. Which is bigger: -1530 or t?
-1530
Suppose 0 = n - 5 - 0. Suppose z + 20 = n*z - x, -z = 4*x + 12. Suppose z*r + r = 0. Are 0 and r unequal?
False
Suppose 14 + 9 = -d + 4*m, -5*d + 4*m - 163 = 0. Let b be (-16 - -11)*2/d. Do b and -1 have the same value?
False
Suppose 5*o - 2*i - 22 = 0, -3*o - 5*i = -7 - 0. Let t be 9/(-3) - (-2 - -2)/o. Which is smaller: -1 or t?
t
Let l be (-8)/20 - 6/(-12). Are l and -1 equal?
False
Let q(k) = 14*k**2 + 17*k - 44. Let t be q(4). Which is bigger: t or 249?
249
Let q = 1.047 - 8.047. Which is bigger: 4/5 or q?
4/5
Let f be -5 + 0 + (-2)/659 + 5. Which is greater: 1 or f?
1
Let v = 281 - 1288/5. Which is greater: v or 0?
v
Let c = -2/2997 + -971/41958. Is c bigger than -1/2?
True
Suppose 13*u = -19*u + 640. Let x be (-108)/8*4/(-3). Is x greater than u?
False
Let l = 120.5 + -120. Which is greater: l or -0.35?
l
Let c = -5.97 - -6. Let i = -35.77 - -36. Let o = i - 0.43. Is o at most c?
True
Let m = 11/3 - 3. Let o = 0.11 - 0.71. Is m less than o?
False
Suppose 2*c = -v - 3 - 6, 4*v + 18 = c. Let o(f) = -6 + 4*f - f**3 + f - 4*f**2 - f. Let d be o(v). Which is smaller: 1/13 or d?
d
Let z = 105 - 55. Let f = 50.5 - z. Which is smaller: -0.4 or f?
-0.4
Let c = -31582/23691 - 2/7897. Which is greater: -131 or c?
c
Let k = 12/5 - 103/45. Which is smaller: -1 or k?
-1
Let g be 0 + ((-12)/(-3))/152. Let d be (-1)/(-5)*((-5 - 7) + 12). Which is bigger: d or g?
g
Let p = -0.1 + 0.1. Let g = 13880 - 69403/5. Which is greater: p or g?
p
Suppose 7*d = 2*d + 30. Let h = 121 - 119. Which is greater: d or h?
d
Let l = -631/2623 - -9/61. Let b = -14 + 15. Are l and b non-equal?
True
Let m be 4/(-30) + 68/510. Let x be (-21)/(-12) + (-2)/(-8). Let v be 0 + (x - (-8)/(-7)). Is v != m?
True
Let h = 0 + -0.1. Let v(t) = 2*t**2 - 41*t - 184. Let o be v(-4). Which is smaller: o or h?
h
Let v = -8 - -7. Let c = 2/157 + -177/26219. Do v and c have different values?
True
Let a = 3 + -2.3. Let b = 0.8 - a. Let c = -0.1 + b. Which is smaller: 4 or c?
c
Let m = 715 - 715. Is -1/8 at most m?
True
Let n = -39 + 38.69. Let k(q) = 5 - 7*q + q**3 + 0*q**3 - 2 - 4 + 6*q**2. Let v be k(-7). Is n greater than or equal to v?
True
Let i = -1398 - -437575/313. Is i > 0?
True
Let x = 34 - 29. Suppose 4*u = -i - 3*i - 8, x*u + 3*i = -6. Which is greater: u or 2/25?
2/25
Suppose -j + 0*j + 13 = 0. Let p = 12 - j. Is p equal to 4/3?
False
Let s = 136 + -91. Which is smaller: s or 47?
s
Let p = -6/7 + 44/35. Let x = 55 - 50. Suppose 1 + x = -6*w. Is w != p?
True
Let r be ((-12)/(-2))/((-2)/5). Let z = r + 15. Suppose z = l - 5*l + 12. Are 1 and l nonequal?
True
Let i be 1/(-7) - 60/(-28). Let w be (6 - -2)/(-2) + i. Is 2 at least as big as w?
True
Let h be (0 + 7)*44/(4 - 0). Let s = -69 + h. Let q be (-7 + 1)/(-1*1). Does q = s?
False
Let y be (80/(-14))/((-14)/49). Suppose -5*v + y = 5*q, 3*q = 3*v + 2*q. Is v != 1?
False
Suppose 74*x = 53*x - 5754. Are -274 and x nonequal?
False
Suppose 61 = -q + 7*m - 2*m, -2*q - 2*m - 110 = 0. Let g = -91 - q. Is g at most -34?
True
Suppose 2*v = -5*x - 0*v + 245, -224 = -4*x + 4*v. Let f = 43 - x. Which is bigger: f or -10?
f
Suppose -7*q + 15 - 43 = 0. Let j be 16/300*(-10)/q. Which is bigger: -1 or j?
j
Let p be 2/8*(-444)/(-37). Let i = 0 + 0.2. Is p less than i?
False
Suppose 0*i - 6 = 3*i. Let j be i*(-2 - (-45)/10). Is 0 at least as big as j?
True
Let w = 0.121 - 28.521. Let s = -0.4 - w. Let j = s - 30. Is -0.1 less than or equal to j?
False
Suppose -u = -13*w + 18*w + 17, 5*w + 15 = 0. Suppose 0 = -5*d - 5*f - 25, -2 = d + 6*f - 2*f. Which is smaller: d or u?
d
Let c = 188/11 + -4678/275. Is 1 smaller than c?
False
Suppose -4*a = t - 51, a + 3*t + 2 - 1 = 0. Let v be 132/12*(-1)/(-1). Let w = v - a. Which is smaller: -2 or w?
w
Suppose c + 4*c = 25, 101 = -4*k - 3*c. Is -85/3 less than k?
False
Let b be 2/1*(-1867)/8. Let o = b - -469. Which is bigger: -0.1 or o?
o
Let t = 5743/123 - 140/3. Which is bigger: -3 or t?
t
Let h = 116418 + -570564620/4901. Which is greater: -1 or h?
h
Let b = -51 - -60. Suppose -3*a = -0*a + 6. Let p(w) = 4*w**2 + 4*w + 2. Let q be p(a). Are q and b unequal?
True
Let v = -1898134/195 + 9734. Which is bigger: 1 or v?
1
Let a = -5.3 - -0.3. Let b = a - -3. Let m be 3/(-5)*62/186. Is m <= b?
False
Let q be 0 - (-291)/1071 - 2/21. Suppose -y + 5 = -6*y. Is y not equal to q?
True
Let l be (7 - -1) + ((-31159)/2397 - -5). Is l 