
Let d(m) = -2*m**3 - 6*m**2 - 40*m - 6. Let p be d(-8). Is p >= 954?
True
Let q(a) = 71*a**2 - 2*a + 1. Suppose 3*h + l + 2 = 0, -2*h + 1 = 2*h + 5*l. Let s be q(h). Which is bigger: 1 or s?
s
Let o(l) = l**3 - 6*l**2 - 7*l + 2. Let v be o(7). Let d be (v/((-16)/6))/((-125)/(-20)). Is d at most -1?
False
Let z be 0*(2*1)/4. Let h = -92 - -91. Let x be (-3 - -4)/((-3)/6)*h. Which is smaller: z or x?
z
Let r be (-2)/10 + (-532)/665. Let g = 79 + -1029/13. Which is smaller: g or r?
r
Suppose 2*s - 2 = -4. Let b be (3 - 7) + 48/14. Let v = b - 13/14. Which is greater: v or s?
s
Let l = 97674/55 + -1776. Is -1 smaller than l?
True
Let f = -87 - -71.3. Let k = -18.05 - -2.05. Let x = f - k. Is 0.2 < x?
True
Suppose -23*w - 1633 = 736. Which is greater: 0 or w?
0
Suppose -4*q - 2*q = -18. Let x be (-590)/(-90) + (-1)/q. Which is greater: x or 6?
x
Let p be 2/4 - (-361)/(-38). Let j be p*(-5)/15 + -7. Which is smaller: -7 or j?
-7
Let q = -2.44 + 2.25. Are q and 0.2 non-equal?
True
Let l be -2 + 1 - (-4 + 5). Suppose 2 + 46 = 4*f. Suppose f = -g - g. Is g greater than l?
False
Let z = 2181 + -2154. Let b = -0.3 - -0.3. Which is smaller: z or b?
b
Let l = 51 + -253/5. Let z = -4 + -6. Let n be 16/z - 18/(-30). Is n less than or equal to l?
True
Let l(i) = -2*i**2 - 19*i + 11. Let r be l(-10). Let c be -1 + r - 1 - 0/7. Which is smaller: 1/18 or c?
c
Let t be (44/(-6))/((-4)/6). Let v(a) = 71*a + 504. Let u be v(-7). Does t = u?
False
Let v = -0.49 + -0.51. Suppose 0 = -2*r + 8 - 0. Which is bigger: r or v?
r
Suppose -3*c - 38 = 5*m, -5*m - 5*c + 4*c = 46. Is 1 at least as big as m?
True
Let c(f) = -f**2 - 9*f - 6. Let d be c(-7). Let j be 6/d - 4/(-16). Is j equal to 2?
False
Let i(t) = -t**3 - 14*t**2 - 21*t + 36. Let y be i(-12). Which is smaller: 2/87 or y?
y
Let d = -0.034 - 31.966. Let c = 33 + d. Which is smaller: 0 or c?
0
Suppose -3*j + 13 = 3*g - 2, 4*g - 17 = -j. Are j and -2/1577 equal?
False
Let w be 114*7/(-7) - 3. Is -116 at most w?
False
Let c = -23 + 59. Let t = -17.87 + 17.77. Which is greater: c or t?
c
Let f = 14.2 + -26. Let g = -3.2 + f. Let u = -14.92 - g. Is 1 smaller than u?
False
Let c = -40 + 74. Let l = -32 + c. Which is greater: 3 or l?
3
Let l(c) = c**2 + 4*c - 15. Let x be l(9). Which is smaller: x or 101?
101
Let f(z) = -z + 26. Let m be f(15). Suppose -m*q + 6*q = 5. Is 2/9 > q?
True
Let k = 0.037 + 0.263. Is -58 at most as big as k?
True
Let n = 19694/29 + -679. Let x = -223/87 - n. Let p = 29/12 + x. Which is smaller: p or 0?
p
Let u = -529 - -411032/777. Let i = 710/52059 - u. Which is bigger: 0 or i?
i
Suppose -57*a = -52*a - 330. Which is greater: 267/4 or a?
267/4
Suppose 4*v - 8 - 76 = 4*g, 0 = -3*v - g + 75. Suppose 3*a = 15, -5*a = -0*t - 3*t + 239. Let n = t + -64. Is n <= v?
True
Let m(l) = -2*l**2 + 2*l + 9. Let g be m(4). Let f = g - -17. Which is smaller: -1 or f?
-1
Let g = 60 + -445. Let v = g + 160. Let f be 3 - v/(-42) - -2. Are f and 0 equal?
False
Let j = 86/21 - 3/7. Let a = 0.01 + 17.99. Let x = a + -16. Which is bigger: x or j?
j
Let r(d) = -5*d + 0*d - 8*d + 4*d - d**2. Let n be r(-9). Which is bigger: n or -2/65?
n
Let o = 736 - 731.03. Let h = 5 - o. Let g = 0.78 + 0.22. Is h at least as big as g?
False
Suppose 0 = 22*n - 26*n. Suppose 2*g + 0 = -u - 4, -5*g = n. Is u greater than or equal to -3?
False
Let r = 335 - 338. Which is bigger: r or -1?
-1
Suppose -13*h + 5*h = -416. Suppose 17*f - 13*f - h = 0. Is 11 equal to f?
False
Let b = -1.61 + 1.41. Which is greater: 1/32 or b?
1/32
Let a = 243 - 728/3. Which is smaller: a or -145?
-145
Let v be (-4)/(-12) - (-110)/(-42). Let o be 1 + ((-744)/63)/4. Let j = v - o. Are 2 and j non-equal?
True
Let t be (1196/490 - 3) + 6/10. Let h = -5/13 - -23/26. Which is bigger: h or t?
h
Suppose 112 = 2*u - 8. Let p be 7 - -2*(-6)/4. Suppose -r - u = -p*r. Is 21 < r?
False
Let k = -3438/19 - -2348211/12977. Is -1 >= k?
False
Let z = 0.046 + -46.046. Let n = z - -24. Let f = 24 + n. Is -6/11 greater than f?
False
Let r = -1332 - -3621. Let q be (-2)/(-6) - r/63. Let n be (2/(-3))/((-3)/q). Is n > -7?
False
Suppose -l - 4 = 3*l + 4*t, 2*l - 3 = 3*t. Suppose d + 0*d = l. Which is greater: 1 or d?
1
Let j = -0.04 + -0.28. Let o = j - -0.4. Let w = -0.22 - o. Do w and -2 have the same value?
False
Suppose k - 3*k - 3*q = 20, q + 8 = -k. Which is smaller: k or -9?
-9
Let l = -269 - -276. Is -2/3 greater than or equal to l?
False
Let a(d) = 2*d**2 + 1. Let o be a(1). Suppose 5*k + 2 = o*k. Let q(p) = p**2 + 4*p + 3. Let g be q(-2). Is k <= g?
True
Let r = -8 - -7. Is r at least as big as 39?
False
Suppose 20470 = -59*q + 36*q. Which is bigger: q or -892?
q
Let x be 6 + (12/15)/(2/(-15)). Is -4/61 equal to x?
False
Let s be 39 + 0 - (0 - 1). Suppose 5*t = -0*t - s. Let n(o) = -o**2 - 8*o. Let h be n(t). Is 3/4 >= h?
True
Let r = 1.9 + -3.5. Let u = 1.3 + r. Is 2/67 less than u?
False
Let k(y) = -y - 6. Let z(x) = -5*x - 30. Let r(s) = 11*k(s) - 2*z(s). Let b be r(-4). Let f be 1*b - (-126)/99. Which is bigger: f or 0?
0
Let a = 2/485 - -10147/9215. Which is bigger: 1 or a?
a
Let x be (0 + 0)/(12 + (-78)/6). Is x greater than or equal to 2/1565?
False
Let c be 234/36 - 4/((-32)/(-12)). Is 3 < c?
True
Let r = 7664/9 - 854. Which is smaller: r or -1?
r
Let y = -1 - 15. Let s be 17/(-34) - 15/(-2). Let w = s + y. Is w less than or equal to -9?
True
Suppose 10 = 2*o + 3*o. Suppose -20 = -b - 0. Suppose -o*f + b = -0*f. Which is bigger: f or 26/3?
f
Let r(t) = 2*t**2 + t. Let a = 2 + 0. Suppose a*s - 2 = -4. Let x be r(s). Is x at most 1?
True
Suppose 10 = 2*z + 3*c, 0*z + z - 4*c = -6. Suppose -3*b + a + 130 = 2*b, z*a + 60 = 2*b. Is b bigger than 25?
False
Let o = 134/55 - 16669/110. Let j = o + 149. Which is smaller: j or -1?
-1
Suppose -4*z + 9 = -3. Suppose n - l - 7 = -4*l, 5*n - l + 13 = 0. Is z less than or equal to n?
False
Let i = -1033.2 + 1037. Which is bigger: -1.3 or i?
i
Let c = -2 + -1. Let x = -36 + 52. Let i be (-32)/x - 2/(-5). Do c and i have the same value?
False
Suppose z - 2*g = 8 - 6, 4 = -g. Suppose 5*s + 8 = -27. Is s at least z?
False
Let o(h) = -h**3 + 2*h**2 + 3*h - 4. Let p be o(10). Let d be ((-8)/6)/(p/27). Which is greater: -1/2 or d?
d
Suppose 5*l + g - 10 = -2*g, -4*l - 4*g = -8. Let w be l + (-2 - -2) - -27. Let s = w - 117/4. Is s equal to -1/3?
False
Suppose 0 = -5*v - 4*l + 43, v - 5*l + 2 - 28 = 0. Which is smaller: v or 71/6?
v
Suppose -9 = -3*n, 5*g + 2*n + 34 = g. Let h be (-3 + (-25)/g)*2. Which is smaller: 13 or h?
h
Let w be 592/60 + -3 + (-376)/(-120). Let b = -3 - -3.1. Is w greater than b?
True
Suppose -33 - 27 = 6*l. Let u = l + 12. Suppose 2*p + 20 = -u*p. Is -3 at most p?
False
Let q be (-510)/4 + (-69)/(-46). Is -126 > q?
False
Let v(q) = -4*q**3 - 2*q**2 + 2. Let s be (-20)/48*-4*-3. Let r = -7 - s. Let d be v(r). Is d greater than 26?
False
Let o be (-2)/18*11 - 4/(-18). Suppose -4*f = -9*f + 15. Suppose 0 = -f*p - 0*p. Which is greater: p or o?
p
Let k be ((-108)/90)/(2/(-5)) + -96. Let b = k + 93. Which is greater: 1/5 or b?
1/5
Let k be (-30)/9 + 1680/450. Suppose 0*b = -f - 4*b - 3, 5 = 2*f - 3*b. Let p be -1*f*(-2 - -1). Is p less than or equal to k?
False
Let u = -333 + 339. Which is greater: u or -0.1?
u
Suppose 24*u + 25 = 29*u. Suppose -4*t = u*c + 10 - 29, 0 = 5*c + 2*t - 27. Which is smaller: 9 or c?
c
Let z = -66 - -3031/46. Are z and -1 equal?
False
Let d = -1556/27903 + 7/213. Let r be 14/(-175)*(-674)/524. Let g = d + r. Which is smaller: 0 or g?
0
Let z be -1 - 3572/552*-1. Let d = z - -2/69. Which is greater: -1 or d?
d
Let l(m) = 10*m + 13. Suppose -5*d + p = -6 + 25, 0 = -3*d + 3*p - 9. Let c be l(d). Is c at most 0.1?
True
Let p = 411 - 336. Is 75 <= p?
True
Let a = -346 - -343. Which is smaller: a or 16?
a
Suppose 6*n + 5*o - 3 = 4*n, n - 2 = -3*o. Which is bigger: -5/53 or n?
-5/53
Let r(z) = 4*z - 14. Let q be (5/(-15))/(3/27). Let t be r(q). Is 0 != t?
True
Suppose -w = 5*k - 0*w + 1, -3*w + 14 = -2*k. Which is bigger: -2/153 or k?
-2/153
Suppose -49*c = -11*c + 2432. Which is smaller: c or -62?
c
Let u = -952 + 974.95. Let h = u + -23. Is -3 greater than or equal to h?
False
Let b = -0.2 + 0.4. Let s = 5 + -6. Let l = s + 2. Is b <= l?
True
Let v(u) be the second derivative of u**7/2520 +