 r or s?
s
Let t(f) = -4*f**3 - 2*f + 2 + 6*f + 3*f**3 + 4*f**2. Let c be t(5). Let k be c/(-6) + (-2)/(-20). Which is greater: 0 or k?
k
Let j(t) = -2*t + 1. Let x be j(-1). Is x greater than 17/4?
False
Let n(c) be the second derivative of c**4/12 + c**3/3 - 3*c. Let u be n(-2). Is -2 not equal to u?
True
Let x(j) = 9*j**3 - j. Let c be x(1). Suppose -5*i = -4*l + 5 + c, 4*i + 8 = 2*l. Let h be (l - (1 + 2))*-1. Is 1 at most h?
True
Suppose -2*g - v = -3*v - 18, 3*g = 4*v + 30. Suppose 2*q = g + 22. Is q at most as big as 15?
True
Suppose -48 = 2*v - 10*v. Let d(a) = 2*a**2 - 5*a + 3. Let x be 0 + 2*(-6)/(-4). Let s be d(x). Is s not equal to v?
False
Let c = -137 + 99. Is c > -36?
False
Let u(n) = n**3 + 2*n**2 - 3*n + 3. Let z be u(-3). Suppose -1 - 29 = z*o. Let v be o/36 + (-4)/18. Which is bigger: -4 or v?
v
Let w(k) = k**3 + 8*k**2 - 2*k - 11. Let c be w(-8). Let u = 10 - c. Suppose t - 4 = -u. Which is smaller: 2/13 or t?
t
Let b be 1/(-10)*6 + (-9)/10. Is -2 smaller than b?
True
Suppose -2*w + 0 = -4. Let r be 2/(-6) - 8/(-6). Is w >= r?
True
Suppose -6*j = -j + 5. Suppose 5 = 5*w - 3*h - 5, -w - 26 = 5*h. Let l = w - j. Which is bigger: 1/3 or l?
1/3
Let x = 11 - 8. Let d be (-9)/x*(-3)/9. Does d = 10/9?
False
Let c(d) = -d**3 + 5*d**2 + 6*d + 4. Let s be c(6). Suppose s*t = 4*y + 12, -3*y - 16 = y. Is 2/5 != t?
True
Let q be 0 + (100/(-76) - -1). Is q greater than 0?
False
Let z = -26 + 180/7. Are -1 and z nonequal?
True
Let q be 572/(-188) - (-3 - 0). Which is greater: 0 or q?
0
Let r = -3.997 + -0.003. Which is bigger: 2/3 or r?
2/3
Let c = 111.1 + -101. Which is bigger: c or 0?
c
Suppose -15 = 3*d + 2*d. Let h be 11/((d + 1)/(-2)). Let v be 3 + ((-35)/h)/1. Is v bigger than -1?
True
Let n(o) = 1 + 5 - 1 + o. Let t be n(-5). Let v = -1735/9 - -193. Which is smaller: v or t?
t
Let d = 845/4981 - -2/293. Which is greater: d or -1?
d
Suppose 6*y - 3*y - 18 = 0. Suppose 4*u - 9 = 23. Which is smaller: u or y?
y
Let o = 3 - 6. Let h be 15/4 - 1/(-4). Suppose -h*q + 9*q = -5. Which is smaller: q or o?
o
Suppose 18 = 2*r - 3*d, 7*r - 4*r = d + 27. Let i(f) = -r - 2*f + 4*f - 4*f. Let l be i(-6). Is l at least as big as 1?
True
Let k be (1 - 2) + (-320)/(-444). Let z = k + -2/37. Suppose -2*a + 15 = -3*t + 3*a, 3*t = -5*a + 15. Is t less than z?
False
Suppose -10 = -6*u + 68. Which is bigger: 12 or u?
u
Suppose 0 = 2*n + 2*k + 36, 0 = n + 3*n - k + 47. Which is smaller: n or -2/5?
n
Let u = -10 + 133/13. Let z(m) = -m - 6. Let f be z(-5). Is u at most f?
False
Let s(m) = 0 + m + 0 + 1 - 2. Let f be s(4). Suppose 14 = 2*z + 4*b - 8, f*z + 12 = 3*b. Is z equal to 1?
True
Let m be (-10)/(-4)*240/100. Which is greater: -3 or m?
m
Let k = 5219747551/90 - 57997847. Let s = k + 652. Let j = -47/180 + s. Is j <= 1?
True
Let a = -35 - -27. Are a and -13/2 equal?
False
Suppose 0 = -d + 4*d. Suppose 2*k - 3 = -3*m, -4*k = -4*m - 5 - 11. Let n = m - -5/4. Is n < d?
False
Let d = -0.1 + 0.2. Let c be (0 - -3)/((-1)/(-7)). Let k be 3/c*14/(-12). Are k and d non-equal?
True
Let w = -2 + 3. Is -4/9 greater than or equal to w?
False
Suppose 0 = 5*v - 15, -3*a - 288 = -5*v + v. Is -1 <= a?
False
Let v(d) = d - 1. Let a be v(5). Let i be (4/(-2))/(3/6). Let f be (-10)/i - 4/a. Which is greater: 1/2 or f?
f
Suppose -6*j = -j + 3*k - 1, -k - 5 = -j. Suppose 8*t - 4*u = 10*t - 4, -2*t - 3 = -3*u. Are t and j nonequal?
True
Suppose -7*z - 4*z + 110 = 0. Is 9 != z?
True
Let o be 16/(-12)*6/(-2). Let b be ((-3)/6)/((-6)/o). Which is greater: b or -2/3?
b
Suppose -2*d + 14 = 2*g, 2*g + 4*d - 14 = 10. Which is smaller: 1 or g?
1
Let i = 28 + -250/9. Which is smaller: -1/4 or i?
-1/4
Let p = 1 - 4. Let s = 6 + -9. Is p less than s?
False
Let z = -665/4 - -167. Which is smaller: z or 1?
z
Let u = 6 + -1. Let k be u/3 + 1/(-1). Is k greater than 2?
False
Let g(d) = -d**3 + 2*d**2 + 8*d + 15. Let r(v) = v**3 - 3*v**2 - 8*v - 14. Let u(b) = 5*g(b) + 6*r(b). Let l be u(9). Which is greater: 3/8 or l?
3/8
Suppose 0 = 3*x - 7*x + d + 14, 3*d = 4*x - 18. Are 3 and x nonequal?
False
Let r(c) = -c**3 + 4*c**2 + 4*c + 3. Let g be r(5). Let i = g + 10. Let y be ((-4)/i)/(6/4). Which is bigger: 0 or y?
0
Suppose 11*k = 8*k - 33. Which is greater: -9 or k?
-9
Let v = 37 + -40.2. Let x = -0.2 - v. Which is smaller: -1 or x?
-1
Let d be ((-3)/(-34))/(6/8). Suppose -g - 4*s = -16, -g = 3*g - 4*s + 16. Which is smaller: g or d?
g
Let g = 10 + -2. Let v = g - 6. Let r = v - 1. Is r != 1?
False
Let u(w) be the first derivative of -w**4/4 - 7*w**3/3 + w + 1. Let r be u(-7). Is r < 2/25?
False
Let d = -5 - -6. Suppose d = -t - 0. Let u be (-10)/(-8) - 2/8. Is u at least as big as t?
True
Let g = 17 + -15. Let w be (10/(-4))/(-5)*2. Which is smaller: w or g?
w
Let v = -3 + -1. Let y be 2/20*v/2. Are y and -1 equal?
False
Let j(l) = l - 1. Let o be j(0). Which is greater: 2/13 or o?
2/13
Let x = 316/5 - 63. Let r(s) = 2*s - 44. Let f be r(22). Are x and f nonequal?
True
Let z = 3.6 + -4. Let w = z - -0.5. Which is smaller: w or -2?
-2
Suppose w = 4*w - 3. Is 5/4 >= w?
True
Let a(t) = -t**3 - t**2 - 3. Let g be a(-3). Suppose -3*z + g = 3. Is 4 at least z?
True
Suppose -5*c - 9 = 4*i, -2*i - 2*c + 2 = 6. Is -4/9 at least i?
True
Let g be -4 + (-1 - -3) - -32. Let j be (0 - 0)*10/g. Is -3/8 at most as big as j?
True
Let w(a) = a. Let m be w(5). Which is bigger: 3 or m?
m
Let b be (-12)/8*(-76)/(-15). Which is smaller: b or -9?
-9
Let h = 24 + -23. Which is smaller: h or -5/54?
-5/54
Let l = 7 - 7.22. Let v = -0.32 - l. Is v at most 1?
True
Suppose 2*n = -2, -2*w - n = -2*n - 1. Let d be -2*((-1)/2 - w). Are d and 1 unequal?
False
Let g be ((-2)/(-8))/((-6)/(-32)). Is 0 less than g?
True
Let r be (12 - 2)*(-3)/(-6). Suppose -4*o = g - 8*o + 9, r*o = g + 11. Do g and -4/7 have the same value?
False
Suppose 0 = 2*z - 4*y - 10, 1 + 2 = -y. Let p = 1333/12 - 111. Is p equal to z?
False
Suppose 4*s + 8 + 12 = 2*r, 2*r = 5*s + 26. Let b be s*(3 + 0 - 2). Let u be ((-3)/9)/(7/b). Which is greater: -1 or u?
u
Let q = -135.1 + 141. Let f = q - 6. Which is smaller: -7 or f?
-7
Let a = -1 - 11. Is -13 < a?
True
Let j = -0.37 - -0.27. Let x = 7 - 15. Let o = 6 + x. Which is bigger: j or o?
j
Let j = 0.31 + 17.69. Which is smaller: j or 0?
0
Suppose 0 = -4*b - 0 - 12. Suppose 0 = -n + 4*n - 6. Let q be 2/2 - n - 1. Which is bigger: q or b?
q
Suppose -3*z - 5*l - 1 - 5 = 0, 0 = -5*z - l - 10. Let t(k) = -k**3 + 5*k**2 + 5*k + 5. Let o be t(6). Do z and o have the same value?
False
Let b = 2 + -8/3. Which is smaller: -11 or b?
-11
Suppose 0*i = -2*i + 20. Let z be 26/90 + (-4)/i. Is 0 >= z?
True
Let p = -23378999 + 6099697734104/260905. Let d = 297327383/1304525 - p. Let l = 228 - d. Are l and 1 equal?
False
Let j be (-42)/8 - (-6)/(-8). Suppose 0 = 3*f - 15, -t + 0 = f + 2. Which is smaller: j or t?
t
Let a(d) = 3 - 8 - d - 5. Let q be 4/(-10) - (-53)/(-5). Let m be a(q). Which is smaller: 0 or m?
0
Let x(y) be the first derivative of y**2/2 + 3*y - 2. Let v be x(-7). Let w = -5 - v. Is w < -2/5?
True
Suppose 5*k + 3*j = 14, 2*k = j - 4 + 3. Suppose 4*x + 5*u + k = 0, -4*x + 2*u = -3*x - 3. Which is greater: -1/4 or x?
x
Let p be (-2 - -4)*(1 - 34/(-4)). Which is smaller: 17 or p?
17
Let v be 0 + (-3 - 1*-6). Let r be ((-5)/v)/((-5)/(-15)). Is -6 at least as big as r?
False
Suppose 0 = -5*d - 7 + 27. Suppose -2*x = -3*q, 4*q - d*x + 7 = x. Let y be (-2)/(-6 - (2 - q)). Which is bigger: y or 1?
1
Suppose -5*v = -2*d, 5*v + 2*d - 6 = 14. Suppose -h = -5*h. Let q(t) = t + 2. Let s be q(h). Is s at least v?
True
Suppose 0 = 2*k + 5*i - 28, -3*i - 8 = -2*k - 3*k. Suppose 2*x = -0*x - v + k, 4*x = -3*v + 10. Suppose -4*j = -5 + x. Is 3/2 not equal to j?
True
Let c be (-3)/20 - -1 - (-9)/(-15). Is c at most as big as -0.045?
False
Suppose 0 = -3*b + 4*s + 107, 0 = -2*b - 2*b + 2*s + 126. Let y = b + -31. Is y >= -2?
True
Suppose -18 = -4*b + b. Suppose -30 = -c - b. Let h be 20/c + 1/2. Which is smaller: 1 or h?
1
Suppose -5*m = -55 + 5. Is -2/7 at most as big as m?
True
Let y = 5 - 5. Suppose -2*b = -y*b. Is b less than -2/15?
False
Suppose 0*n + 5 = -5*n. Let p = 4 - n. Is p at most as big as 1/3?
False
Let h = 6 - 2. Let q = 16 + -16. Is q < h?
True
Let d be (-159)/(-33) - 2/(-11). Let b = -4 + d. Let y 