s v greater than 1?
False
Let p = 3 + 0. Suppose 2*q = 2*a - 9 - 13, 2*q + a + 13 = 0. Let f(y) = y**3 + 7*y**2 - 8*y + 1. Let h be f(q). Which is smaller: p or h?
h
Let m = 655/9 - 20879/288. Let o = 4/7959 + 674851/3310944. Let z = m - o. Which is bigger: z or 0?
z
Let z(h) = -h**3 - 2*h**2 + 4*h + 4. Let y be 3*(-10)/(-15) - 5. Let j be z(y). Suppose -c - j + 2 = 0. Which is bigger: c or 2/41?
c
Let r be 11/3 - (-3)/9. Let n be r/9 + (-1 - 1). Let q = -1/9 + n. Is -2 bigger than q?
False
Let s(f) = f - 3. Let b(q) = -q + 8. Let o be b(5). Let y be s(o). Which is greater: 2/37 or y?
2/37
Let h = 6 - 8. Let o = 153/38 - 1261/266. Is h at least o?
False
Let s(q) = 3*q + 16. Let f(o) = o**3 + o**2 - 3*o - 6. Let y be f(0). Let u be s(y). Is u < 1/10?
True
Let n = -25/2 + 341/26. Is n less than or equal to 1?
True
Let v = -270/11 - -10683/407. Which is smaller: 3 or v?
v
Suppose -3*g + 63 = 5*t - 35, t + 154 = 5*g. Suppose -5*c = -11 + g. Let p(m) = -2*m**2 - m. Let r be p(-2). Is c greater than or equal to r?
True
Let v = 1397 - 121541/87. Let r = -184/435 - v. Let a be 159/(-81) - (-1 - 1). Do r and a have the same value?
False
Let a(l) = l**2 + 9*l + 19. Let v be a(-6). Which is smaller: v or 3/446?
3/446
Let i be (5/10)/(1/66*-1). Let j = -65/2 - i. Is 2 <= j?
False
Suppose 27*c - 26*c = 23. Let y = c + -25. Let x be y/15 + 68/(-765). Which is bigger: x or 2/9?
2/9
Suppose 5*w = -4 - 6. Let y = 3.02 + 0.68. Let l = y + 1.3. Which is smaller: l or w?
w
Let f = 126 - 79. Let y = f - 50. Which is smaller: y or 3/2?
y
Let s = -957 - -959.3. Is 0 at least s?
False
Let v be 8/(-7)*(-98)/28. Suppose -v*k = 1 + 7. Suppose 0 = -j - n + 5, 3*n = -4*j + 21 - 5. Which is smaller: j or k?
k
Let z = -457 - -4955/11. Are -6 and z unequal?
True
Let f = -0.01 - 0.14. Let k = 0.35 - f. Is k != -3/7?
True
Let l(u) = 2*u - 4. Let r be l(3). Suppose 0 = -2*g + 2*t - 8, -r*g - 3*g - 3*t = 4. Is -2 at least as big as g?
True
Let t(m) = 6*m + 2. Let c = 33 - 29. Suppose 0 = c*p + 5*o - 15, -p - 3*o = 2*p - 12. Let l be t(p). Is 31 <= l?
True
Let t = -0.095 + -10.305. Let a = 10.2 + t. Is 1.3 not equal to a?
True
Let d be (2 - 8/20*5) + 40. Suppose 0*o - 3*x = -5*o - 36, 5*o + d = 5*x. Let z be -8 - (-2 + (2 - 1)). Is o less than z?
False
Let o = -76541/11 + 6971. Is 12 equal to o?
False
Suppose -6*g + 4*g - 12 = 0. Let m = g + 10. Which is smaller: 15/4 or m?
15/4
Let v(g) = g**3 - g**2 - 9*g. Let z be v(4). Let y = 24 + -10. Is y not equal to z?
True
Let d(l) = -l**2 - 5*l + 1. Suppose 5*a = -12 - 13. Let x be d(a). Which is greater: 8/9 or x?
x
Let u(m) = -m**3 + 3*m**2 + 5*m + 26. Let c be u(5). Is c > 12?
False
Suppose 5*q + 2*z = 43, 5*q - q - 4*z = 12. Let v be 1 - (-4 + q) - -4. Suppose v*a + 5 = -2*r - 3, 2*a - 2*r = -28. Is a equal to -10?
False
Suppose 0 = 3*m - 4*d - 22, 5*m = d + 6 + 8. Suppose 5*u - 26 = g, 2*g = -0 + 8. Which is greater: u or m?
u
Let t be ((-20)/14)/((-1)/7). Let m = 12 - t. Suppose 2*x - m*y + 0*y = 6, 2*y = -2*x - 6. Which is bigger: x or -4/11?
x
Let a = 2.05 - 0.05. Let u = 0.182 - 0.042. Let l = -1.86 - u. Is a less than l?
False
Suppose -4*b = 30 - 78. Let o = -3 + b. Which is smaller: o or 8?
8
Let t(b) = -b**3 - 16*b**2 + 18*b + 19. Let y be t(-17). Suppose m + y*u = 51, 4*u = 3*m + 3*u - 181. Is 58 greater than m?
False
Let x be 1240/15*30/(-4). Let d be (1*-1)/(-2)*40/x. Are d and -1 equal?
False
Let q be (3 - 0)*(-2)/(-3). Let k(n) = -n**3 - 12*n**2 + 3. Suppose -2*d + 24 = -4*d. Let a be k(d). Which is smaller: q or a?
q
Let l = -570/221 - -32/13. Which is bigger: l or 1?
1
Let x(k) = 31*k - 11. Let l be x(-1). Is l > -125/3?
False
Let b be (-594084)/(-148614) - (1 - -3). Is 0 < b?
False
Suppose 19 = 4*d + 3*w - 24, -w - 3 = 0. Let i be (-3 + 5)*d/(-2). Let z = 8 + i. Is z smaller than -3?
True
Let q be 0 + ((-2)/3 - 0). Let f = 1.42 - 3.68. Let l = 0.86 + f. Is l equal to q?
False
Let f be (2/(-6))/(3/(-45)). Let w be (24/(-105))/((-38)/855). Which is smaller: w or f?
f
Let x be (-1)/(0 + -1 + (-350)/(-325)). Suppose -c = c. Suppose -s - 5*n - 34 = c, 7*n = s + 4*n + 2. Is s < x?
True
Suppose -z = -3*z - 50. Let j be (-3 - 60/z) + (-224)/10. Is j <= -23?
True
Let n(o) be the second derivative of o**4/12 - o**3/3 - 3*o**2/2 - 16*o. Let s be n(-2). Which is greater: 0.2 or s?
s
Suppose -4*a + 126*t - 125*t - 90 = 0, a - 5*t - 6 = 0. Let l = -71 - -48. Is l at most as big as a?
False
Let r = -244 + 350. Let o be (-4)/(-24) + r/12. Let i be 6/o - (-2)/(-3). Is 2 > i?
True
Let n = -0.738 + -0.262. Is -207 less than n?
True
Suppose 103 = d + 120. Let n be (1/(14/3))/(d/(-68)). Which is smaller: n or 0?
0
Let o = 17 + -17. Let l = -45 - -45.01. Which is smaller: o or l?
o
Suppose -45*l + 56 = -49*l. Does l = -16?
False
Let r = 6 + -9. Suppose 3*s = 3*z + 18, -2*s - 3*s + 24 = -3*z. Which is smaller: r or s?
r
Let m be (-5)/15*(1905/(-6) + 1). Let g = -105 + m. Which is bigger: -37 or g?
g
Let r = 810 - 516. Is 296 at most as big as r?
False
Let o = -50.81 - -51. Let z = -0.19 + o. Is -0.14 greater than z?
False
Let v be 5329/21 - (-4)/(-12). Let z = -253 + v. Let i = -0.03 - -0.13. Which is greater: z or i?
z
Let g(t) be the first derivative of 1 - 1/2*t**2 + 0*t + 9/4*t**4 - 1/3*t**3. Let c be g(-1). Is c < -7?
True
Suppose 0 = o - 2, -2*o - 23 = -4*i + 37. Suppose -7*u - i = -16. Let d = -1/13 + 17/52. Which is greater: u or d?
d
Let z = 1 + -2. Let q = 34/2195 + 17047/61460. Let p = 3/20 - q. Which is smaller: z or p?
z
Let t = -357104/19 + 18789. Which is greater: -6 or t?
t
Let x(p) = -8*p**2 + 37. Let f be x(0). Is 36 not equal to f?
True
Let v = -51 - -12. Let g = v + 1. Let a = 40 + g. Is a > 0?
True
Suppose -5*i + 158 = -2*w, -i + 5*i = -3*w + 108. Suppose 0 = -4*k - 42 - i. Which is bigger: -20 or k?
k
Let q = -484 - -466. Which is greater: q or -1/5?
-1/5
Suppose -503 - 157 = 66*t. Which is smaller: -54/5 or t?
-54/5
Let s(z) be the first derivative of -3*z**2/2 - z - 3. Let c be s(-2). Suppose -3 = 4*a + c. Do a and -5 have the same value?
False
Let i be 2/2 + (-2272)/2248. Which is bigger: i or -1?
i
Suppose -4*u - 5 = -21. Suppose u*i + 2 = -2. Let r = -1333/20 + 257/4. Which is smaller: r or i?
r
Suppose 3 = 5*m - b, 5*m - 5*b + 4 = -1. Let w = -5 + m. Let h = -7 - -4. Does h = w?
False
Let m be ((-33 - -1)/(-2))/(-1). Let k be 0 + (-4 - -1) - 62/m. Let o(b) = -b**2 - 4*b - 2. Let a be o(-2). Do k and a have different values?
True
Let x(j) = j**3 + 3*j**2 - j + 3. Let q be x(-3). Suppose q*r + 0*r = -2*r. Which is smaller: r or -18/25?
-18/25
Let q = 23 + -48. Let u = q - -19. Let p be (-5)/u*6/30. Which is smaller: 0.2 or p?
p
Let q be 27/(-18) + 2/(-4). Let d be q + 1*(-4 + 2). Is d at most -3?
True
Suppose -l + 9705 = 2*u, -11 = l - 16. Let s = -1294952/267 + u. Do -1 and s have different values?
True
Suppose -5*y - 10 = 5*q, -3 = -5*q + 2*q. Let s be (0 - 1) + 15/y. Suppose -33*w - 158 - 73 = 0. Is w not equal to s?
True
Let i(a) be the second derivative of -a**3/6 - a**2/2 + a. Suppose -2*s - 5*x - 17 = 2*s, -s + 22 = -4*x. Let d be i(s). Is d greater than -3?
False
Let s = 15 - 11. Suppose s = 5*k - 6*k. Let d be ((-2)/k)/((-6)/(-12)). Is 3/5 less than d?
True
Let g = 6 + -8. Let k = 120 + -292. Let p be k/(-112) + g/8. Is p greater than 0?
True
Suppose -6*u = 2*u - 16. Let j = -0.42 - 0.14. Let q = 0.06 + j. Are u and q equal?
False
Let b(l) be the first derivative of -l**2/2 - 3*l + 6. Let m be b(11). Let t be 34/m + 0 - -2. Is t < 1?
True
Let a(g) = 4*g**2 + 22*g + 15. Let k be a(-11). Suppose 5*c + 82 = k. Do c and 36 have different values?
True
Let t be (-66)/(-10) - 9/15. Suppose -4*a = -t + 22. Let f(x) = -x**3 - 4*x**2 - 3*x - 6. Let y be f(a). Which is greater: y or 5?
y
Let r = 2369 + -2400. Which is bigger: r or -2?
-2
Suppose -26*p + 31*p = 100. Let g be (8/p + 3/5)*1. Which is greater: g or -5?
g
Suppose -7*w - 3*n + 15 = -10*w, -2*w - 5*n = -11. Let t = -84 + 754/9. Let p = t - 22/63. Is w less than p?
True
Let u(r) = 23*r + 2. Let j be u(-1). Let t be 2/(-7)*j/12. Is t < -3/2?
False
Let b = -2.62 + 2.1. Let k = -12.52 - b. Is k at most 2?
True
Suppose 5 - 3 = t. Suppose u = -5*z + 8 + 6, -t = -u - 2*z. Let i be (-4)/(-12) + 16/(-3). Which is smaller: i or u?
u
Let g = 152 - 107. Let r be