be v(-21). Is m at least as big as -35?
False
Let m = -1408 - -1326. Which is bigger: -247/3 or m?
m
Let t(s) be the first derivative of s**4/12 + 10*s**3/3 + 3*s**2 - 3. Let c(d) be the second derivative of t(d). Let w be c(-5). Which is smaller: w or 11?
w
Let f = 32/131 - 8544/655. Which is smaller: f or -12?
f
Let u be -1 - 4 - (1 + -2). Let r be -5 + -7 + -3 + 3 + 11. Is u at least r?
False
Let j be 4*(205/164 + 71/(-4)). Which is bigger: j or -4?
-4
Let q = -1139 + 1139. Which is smaller: q or -0.0786?
-0.0786
Let r = -0.13 + 0.18. Let h = r - -31.95. Let c = 14 - h. Which is greater: c or 1?
1
Suppose 4*h - 4*s = 52, -3*s = 5*h - 2*s - 59. Let u be ((-2)/21)/(4/h). Is u < -44?
False
Let g = -270 - -381. Let m = 125 - g. Is m bigger than 0?
True
Let a = -38.4 + 38.29. Is -3/7 at least a?
False
Suppose -4*t + 2*c = -3*t - 162, 0 = -4*c. Let p be t/(-10) + (-1)/(-5). Let k be -3 + (-60)/p + 0. Is k < -2?
False
Let s = -105.23 - 1.17. Let c = s + 106. Is 1 > c?
True
Suppose -3*q + 4*t = -t - 17, 4 = -4*t. Let j be (-3 - 106/(-36))*(0 + q). Which is smaller: -1 or j?
-1
Let v = -2801/16065 + -2/945. Let y(d) = 6 + d**2 + 0 + 0*d + 6*d. Let c be y(-5). Is v >= c?
False
Let w(v) = 2*v**2 + 20 + 2 - 11 - 25*v. Let c be w(12). Is -1/173 < c?
False
Let c be (-8)/(-280)*1355 + -1. Which is smaller: 39 or c?
c
Let u(z) = z**2 - 2*z + 50. Let r be 9/(135/6) - (-2)/(-5). Let x be u(r). Which is bigger: x or 52?
52
Suppose 0*c - 2371 = 3*z + 4*c, 5*z + 3961 = -2*c. Is z smaller than -793?
False
Let h = 2975.97 + -2959. Let b = h + -17. Let q = b + -1.97. Which is smaller: -7 or q?
-7
Let o = -1018.61 - -1019. Is 2 <= o?
False
Let z = -60 + 25. Let i be (2 + -1)/((-10)/z). Is 5 bigger than i?
True
Let b = -49.2 + 51.31. Let j = -0.41 + b. Let w = -9.7 + j. Which is greater: w or 1?
1
Let d be 4 + -4 + 1 + -1. Suppose d = -g + 5 + 4. Suppose -o = 5*i - 0*i - 7, 2*o = -5*i + g. Is i at most as big as 2/11?
False
Let j = 1.44 - 0.83. Let t = -5.61 + j. Which is greater: 2 or t?
2
Let a = -181 - -192. Let c = 15 - 17. Are c and a equal?
False
Let j = 869 - 2557/3. Which is smaller: j or 16?
16
Suppose -49*l - 712 = -57*l. Are l and 86 unequal?
True
Suppose 2*n = 5*f - 7, 2*f + 24 + 2 = -4*n. Which is bigger: 5 or n?
5
Let d = -1 + 4. Suppose -w + 2*b + 1 = -0, 3*w - d*b = 9. Suppose -w*c + 12 = -13. Which is greater: 7 or c?
7
Let t = -22 + 5. Let o be t + ((-12)/(-4))/(-3). Let m be o/(-54)*(-4 + 1). Which is smaller: m or 1/10?
m
Let r = -37 - -61. Is r != 0.2?
True
Let p be ((-69)/115)/(2/(-146)). Which is bigger: p or 44?
44
Let d be 13 + -16 + (-1 - -1). Let n be 1/d + 504/54. Let a(o) = -o**2 + 11*o - 17. Let g be a(n). Is g at least as big as -1?
True
Let t = 6671152/693 - 86690/9. Let w = 2983/440 - 53/40. Let o = w + t. Which is smaller: o or 4?
o
Let g = 2072.8 - 2074. Let a = 0.01 - -0.29. Which is smaller: a or g?
g
Let v be (-2)/5 + 611/65. Let b be 3/(v/(-6)) - -79. Let f = 845/11 - b. Which is greater: f or -2/3?
f
Let x(a) = -24*a**2 + 31*a + 32. Let l be x(-1). Suppose -118 = 5*c + s, -2*c + 3*s = 3*c + 126. Is l >= c?
True
Let l be 6/(-90)*-27 - 2. Let k = 2 - 0. Is l >= k?
False
Let k = -8 + 14. Let t(n) be the third derivative of -n**5/30 + 7*n**4/24 + 4*n**3/3 - 8*n**2 + 6. Let y be t(k). Is -22 > y?
False
Let o be 1/(-3*5/(-2130)). Are 144 and o equal?
False
Suppose 5*o = 13*a - 11*a - 25, -31 = -3*a + o. Is 103/10 less than or equal to a?
False
Let c(x) = 46*x - 295. Let v be c(7). Which is smaller: v or 35?
v
Let b = -8265/88 - -699/8. Let s = 382/55 + b. Which is smaller: -1/5 or s?
-1/5
Let g = 66.002 - 66. Let x = g + -6.002. Is -0.6 >= x?
True
Suppose 2*k = 5*x - 29, -8*x = -4*k - 7*x - 31. Is k at least -33/4?
True
Suppose 0 = -18*q - 2*q + 220. Let x(f) = 2*f - 25. Let j be x(q). Let g be 5*1/(-4) + -1. Which is smaller: j or g?
j
Let s be (15 - (-7905)/(-525))*(-5)/(-83). Is s less than -1?
False
Let a = 774 - 791. Do -20 and a have different values?
True
Let h = -41 + 327/8. Let p be (-45)/(-10) - 4 - (-6)/(-4). Is p smaller than h?
True
Suppose -4*x + 838 = 2*i, 3*i - 8 = -5. Which is greater: 207 or x?
x
Suppose 94 + 10 = 26*q. Which is smaller: 50 or q?
q
Let u = -20 + 28. Suppose -3*b - 5*x = -6, 3*x - 8 = -2*b - 3. Is b greater than u?
False
Let u = 12 + -9. Let f be -5 + 0*5/15. Let r = u + f. Which is greater: -12/13 or r?
-12/13
Suppose 0 = -t + 8 - 10. Let s be (t/228)/(7/28). Which is bigger: s or 2/5?
2/5
Let v = -0.0699 + -0.0301. Let q be 62/(-4) + 1/(-2). Which is smaller: v or q?
q
Let t be ((-8)/(-165))/(24/(-40)). Let g = 1/99 - t. Let l(v) = v**2 - 2*v - 1. Let f be l(2). Is f greater than or equal to g?
False
Let v = -37 + 147/4. Let z = -3.82 + 4.2. Let l = z - 8.38. Which is greater: v or l?
v
Let b be -1 + 36 - (1 + -3). Suppose 16*n - 242 = 334. Are b and n non-equal?
True
Let g be 2/21 - (-125255)/987. Is 126 less than or equal to g?
True
Let p be (4/8)/(1/(-12)). Suppose -26 = -2*w - 2*g + 60, 0 = -5*w - 3*g + 217. Let i be (12/w)/(p/8). Is i <= 1?
True
Let n = -4 - -12. Let z = 1 + n. Let k = -10 + z. Do k and -1/2 have the same value?
False
Suppose 19*h - 212 = 16*h - 2*g, -5*h = -g - 349. Which is smaller: h or 64?
64
Suppose b = -d, 22*d = 21*d + 4*b - 10. Is d < -2.6?
False
Suppose -x + 0*m = 4*m, -3*x + 5*m = 0. Suppose j - 2 - 1 = x. Let s be 6/(-7 - 153/(-18)). Is s > j?
True
Let l = 195 + -1559/8. Do l and 0 have the same value?
False
Let j = -18.35 - 2.65. Is j <= 0?
True
Let x = 23/3 - 842/111. Let s be (0/2)/(((-22)/(-1))/(-11)). Which is smaller: x or s?
s
Let k(r) = -r**3 + 6*r**2 + 7*r + 2. Let c be k(7). Let t be 2 + 1 + 0 - c. Is t > -1/10?
True
Suppose -z + 11 = 3*t, 3*t - 3*z - 2 = 13. Let h = 103/12 + -35/6. Which is smaller: t or h?
h
Let s = 12 - 7. Let a be (-4)/(-8)*(-2)/7. Which is smaller: s or a?
a
Let l be 33/(-11) + 206*-3. Let s = -1217/2 - l. Is 12 > s?
False
Let m be (-602)/(-369) + (-74)/(-333). Which is smaller: m or 1?
1
Suppose -3*w = -h + 11, -21 - 2 = 3*h + 5*w. Let r = h + -3. Let i be 9/r - 4/(-2). Is -0.06 bigger than i?
True
Let k be 642/(-1602) - (-1)/3. Let d = 658/801 - k. Is 1 greater than or equal to d?
True
Let i = -2287019/461 - -4961. Is i at most as big as 1?
True
Let n(p) = 6*p + 27. Let s be n(23). Let k = s + -2971/18. Which is smaller: -1 or k?
-1
Let v = 165 - 56. Is 109 greater than v?
False
Let t(c) be the second derivative of c**4/12 + c**3/6 - c**2/2 - 2*c. Let a be t(2). Let x(q) = 2*q - 8. Let b be x(a). Which is smaller: b or 11/4?
b
Let w = -24.045 + 0.045. Let q = w + 32. Let l be (-3)/2*1/(-3). Are q and l unequal?
True
Let t be (3/2 - 2) + 5/2. Let k be t/(-156)*-34 - 4/6. Let l = 3 + -2. Which is smaller: k or l?
k
Let f be (2/3)/((-860)/210 + 4). Which is smaller: 7 or f?
f
Let h be (-26)/(-6) - (-14)/21. Suppose 0 = -5*d + h*n + 85, d + 5*n = 2*d - 29. Suppose -4*o - m - m + d = 0, -5*m + 22 = -3*o. Which is smaller: 2/9 or o?
2/9
Let v = 21.18 + -21. Let w = v + -0.58. Let l = 0.5 + -0.6. Is w < l?
True
Let f = 70/13 - 18576/3445. Are 0 and f equal?
False
Let d = -31 + 37. Suppose d*g - 15*g = 0. Is g less than or equal to -9/11?
False
Let k(u) = u**3 - 13*u**2 - 15*u + 14. Suppose 2*f + 3*f - 70 = 0. Let l be k(f). Which is smaller: l or -1/81?
-1/81
Suppose -4*v + 5*s = -30, -4*v + 2*v + 4*s + 12 = 0. Let x be (-14)/10*v/12. Which is smaller: 0 or x?
x
Let k(d) = -d**2 - 10*d - 24. Let t be k(-6). Are 1/1204 and t equal?
False
Let n be 16/(-2) + (21 - 17). Let u be n/2*13/(-26). Do 12/11 and u have the same value?
False
Suppose 5*s - 25 = 0, 2*o + o + 2*s - 40 = 0. Let t(v) be the second derivative of -v**3/6 + 9*v**2/2 - 2*v. Let c be t(o). Is 2/39 >= c?
True
Suppose -a = a. Suppose a = 2*c - 4*c. Let q be (c/1)/((-6)/(-3)). Which is smaller: -3/16 or q?
-3/16
Suppose -15*w = -19*w + 24. Let t be 1/w - 102/1044. Do t and 1 have the same value?
False
Let n = 173 + -177. Let p(j) = -6*j - 8. Let c(w) = 5*w + 8. Let x(i) = -7*c(i) - 6*p(i). Let b be x(n). Which is smaller: -13 or b?
-13
Let n be 1*24/16 + 531/(-386). Is n at most as big as -1?
False
Let g = 0.9 - 1.9. Which is greater: g or 43?
43
Suppose -251 = -3*h + 217. Does 155 = h?
False
Let a(k) = 16*k + 779. Let i be a(-32). Are 266 and i non-equal?
True
Let d = -0.08