Let v be s(3). Is v >= j?
True
Let z(u) = 11*u**3 + 12*u**2 + u + 4. Let w(r) = -7*r**3 - 8*r**2 - r - 3. Let i(g) = -8*w(g) - 5*z(g). Let c be i(-3). Is c >= 4?
True
Let n be (-24)/(-32) + (-2)/(2 + -4). Which is smaller: n or 1?
1
Let f = -7 - 2. Let o = f + 9.3. Let s be 4/2*(-2)/4. Is s greater than or equal to o?
False
Suppose 26 = -2*r + s, 54 = -4*r + s + 2. Let y = -31 + 18. Is y < r?
False
Suppose 5 = 4*p - 7. Let s be (-2)/p - 16/(-18). Which is bigger: s or -1?
s
Suppose 4*y + 0*y = 0. Let j be (y + 6)/(2/1). Which is smaller: 4 or j?
j
Suppose 5*n + 16 - 1 = 0, -5*c + 3*n + 9 = 0. Suppose c = -5*g + 20, 0 = j - 4*g + g + 22. Which is greater: -11 or j?
j
Suppose s = -5*t + 8*t - 1, -s - 5*t = -15. Let o = -7 + s. Do -7/3 and o have the same value?
False
Suppose 4*z + 3*m = 2*m - 21, 0 = -5*z + 4*m - 21. Let b(o) = -o**3 - 6*o**2 - 5*o - 2. Let t be b(z). Let d be (2*t - -2) + 3. Are 1 and d unequal?
False
Suppose 0 = n, -2*c - 38 = 5*n + 4. Let p be (-36)/(-21) + (-6)/c. Is 1/2 equal to p?
False
Let v(h) = -h**3 - 4*h**2 + 6*h + 4. Suppose -2*o - 2 = 8. Let i be v(o). Let p = -1 - 0. Is p at least as big as i?
True
Let w(y) = -2*y - 2. Let s = -6 - -4. Let z be w(s). Which is greater: z or 5/4?
z
Suppose -3*x + 36 = -5*o, -5*o = -5*x + 25 + 25. Are 9 and x nonequal?
True
Suppose z + 3*z + 12 = 0. Is -2 at most z?
False
Suppose -2*o = 3*u - 0 + 2, 4*o - u = -4. Let x(p) = p - 8. Let r be x(8). Let j = r + 1/3. Which is bigger: o or j?
j
Suppose -x = 3*x - 8. Let t be x/3 - 4/(-12). Suppose -a - 3*b = 3*a + 9, -3*b = -2*a + 9. Are t and a nonequal?
True
Let d = 5 + 0. Suppose -d*m = -25 - 0. Suppose 0 = -m*v, 2 = -2*b - 2*v - 0. Is b greater than -2?
True
Let m = -2275 - -9147/4. Which is smaller: m or 11?
11
Let c = -0.97 - 0.03. Let g = 1 + c. Let k = g - -2. Is k at least 3/2?
True
Let w(b) = b**2 - 10*b - 12. Let l be w(11). Is -8/5 greater than or equal to l?
False
Let o = -1127/45924 + 5/267. Which is smaller: o or 0?
o
Let y = -5 - -5. Let k = 14/39 - 1/39. Is y equal to k?
False
Let d(g) = 89*g - 9. Let w be d(-4). Let a be -1*6203/34*2. Let m = a - w. Which is bigger: m or 0?
m
Let h be -1*(2136/(-21) - -3). Let x = -99 + h. Which is smaller: x or -4?
-4
Suppose 5*l - 23 = 2. Let f be l/2 + 2/(-4). Suppose x = -4*t - 11, -11 = f*t + 3*x - 8*x. Is -3 at most t?
True
Let x(j) = -j - 3. Let p be x(0). Let i = -2 + 0. Are p and i equal?
False
Let g(b) be the second derivative of -b**4/12 + 7*b**3/6 + b**2/2 - 4*b. Let n be g(7). Is -2/47 less than or equal to n?
True
Let z = 1/9 + -25/63. Let y be 0 - ((-3)/1 - 1). Which is greater: y or z?
y
Let k = 0.005 + -0.105. Are k and 11 nonequal?
True
Suppose 10*f - 9*f = 12. Let c = 10 - f. Which is bigger: c or -2/3?
-2/3
Suppose -4*q + 2*u = -5 - 3, 0 = -q - 4*u - 7. Which is smaller: -1/10 or q?
-1/10
Let c = 29 - 332. Let o be c/66 - 3/6. Let r = 313/55 + o. Is r less than 2?
True
Let f = 9 - 14. Is -4 >= f?
True
Let g = 22 - 23. Is -2 >= g?
False
Let l = -2.3 + 0.3. Let w = l - -3. Let k be 2/8*(-4)/(-4). Which is smaller: k or w?
k
Let u(m) = -m - 7. Let z be (-27)/(-3)*-1 + 2. Let j be u(z). Which is bigger: 2/13 or j?
2/13
Let u = -1131/25 - -11561/150. Let b = u - 31. Which is smaller: 2 or b?
b
Let z be 6/(-2) - (-120)/9. Is 9 greater than or equal to z?
False
Let x(k) = -k**3 + 7*k**2 - 5*k - 5. Let u be (-26)/(-4) - 1/2. Let s be x(u). Suppose 3*v = -s - 5. Which is smaller: v or -1?
v
Suppose -3*z + 1 = -2. Let b = 8 + -6. Suppose -b*q = -q. Which is greater: z or q?
z
Let d = -0.6 - -0.54. Is -0.1 <= d?
True
Let m = -119 + 120. Which is greater: m or -10?
m
Let q = -23 + 8. Which is bigger: 1 or q?
1
Suppose i = -3*c + 5, -c - i + 2 = -3. Let j = -20 - 0. Let o be (15/j)/(21/(-8)). Which is smaller: o or c?
c
Suppose 0*t = t. Suppose t = 2*d + 4 - 14. Does d = 4?
False
Let n = 4 + 2. Let w = 0 + 0. Is w smaller than n?
True
Let i(c) = 3*c**2 - 19*c + 6. Let x be i(4). Is -23 <= x?
True
Let d = -16.1 - -17. Let w = 0.8 - d. Is w less than -2?
False
Let x = 399/2 - 4359/22. Which is smaller: x or 0?
0
Let r be (-1)/(-7)*(-4 + 2). Let o = 0.58 - -0.22. Which is smaller: o or r?
r
Let t be (-4)/(96/26) + 1. Is 1 greater than t?
True
Let c = 15 - 15. Suppose -5*s + s = 0. Let o = s - c. Which is smaller: 1/6 or o?
o
Let o be ((-2)/(-3))/((-2)/(-3)). Let k = -37 + 75/2. Which is smaller: k or o?
k
Let c = -22 + 10. Let z = c - -14. Which is smaller: 0 or z?
0
Let j(d) = -d**2 + 7*d + 6. Let l = -13 + 19. Let w be j(l). Let x be (-3)/w - (-5)/4. Is x at most 2?
True
Suppose 2*i + 4*q + 26 = 0, -i + 4*q + 11 = -0*i. Let g = 7 + i. Which is bigger: 1 or g?
g
Let q be ((-24)/(-5))/(-1 + (-16)/(-20)). Which is bigger: -23 or q?
-23
Suppose 7*c = 3*c. Which is smaller: 2/203 or c?
c
Let j = -2/67 - -1145/201. Is 7 less than j?
False
Let p = 50/3 - 16. Let o be 0 - (-5)/(10/(-8)). Let s be 5/20 + 1/o. Which is bigger: s or p?
p
Suppose 6*g - 2*g - 20 = 0. Let a(n) = -8 - n + 7 + 8. Let p be a(g). Is -1 not equal to p?
True
Let z = -586/5 + 5479/45. Let g = -40/9 + z. Is g < 1?
True
Let b = -2.6 - -0.6. Let h = -3 - b. Let r = 2.8 - 3. Is h at least as big as r?
False
Suppose 0 = -4*j - j - 30. Let g(w) = w**3 + 6*w**2 + 2*w + 6. Let k be g(j). Is -6 at least as big as k?
True
Suppose 5*j - 68 = -2*u + 4*j, 5*u - 173 = -4*j. Is u <= 34?
True
Let g = -73/5 + 881/60. Which is smaller: 1 or g?
g
Let v be (-2)/9 + (-224)/(-36). Let y = v + -6. Is -3/5 equal to y?
False
Suppose 0 = -3*o + 10 - 37. Let w = -5 - o. Suppose 4*h - w = 2*h. Do h and 0 have different values?
True
Suppose j + 2 = 1. Suppose r + 2*r = 12. Let v = -7 + r. Is v less than j?
True
Let c be 0 - (-1)/(180/41). Let j = c - 1/36. Which is greater: j or 1?
1
Let w = 70.2 - 70. Which is greater: -3/14 or w?
w
Let i(q) = -q**2 - 19*q + 11. Let s be i(-19). Which is smaller: s or 12?
s
Let u be (-30)/4*(-20)/(-30). Let i be 6/(-2) + 20/(-10). Is u at least as big as i?
True
Let z(m) = -m**3 + 2*m**2 + 9*m. Let d be z(4). Which is smaller: d or 6?
d
Let r(o) = -4*o + 27. Let y be r(7). Which is greater: y or 2/279?
2/279
Let y = 323/7 + -46. Let f(t) = t**2 + 8*t + 6. Let l be f(-7). Which is greater: y or l?
y
Let v = -10 - -23. Suppose -2*h = -3*h + v. Let q be -1 - 1/(h/(-15)). Is q less than -1?
False
Suppose 5*a - 5*s = -s - 18, 3*s - 4 = -a. Which is bigger: -8/3 or a?
a
Let y(f) be the first derivative of 2*f**3/3 - 3*f**2/2 + f - 3. Let k be y(2). Are k and 1 nonequal?
True
Let c(y) = 8*y**3 + 3*y**2 + 3*y - 8. Let k(z) = -7*z**3 - 4*z**2 - 4*z + 7. Let x(i) = 6*c(i) + 7*k(i). Let l be x(-9). Are l and 9 nonequal?
True
Suppose 50*t = 47*t - 3. Which is greater: 5/12 or t?
5/12
Let r be (-6)/4*(-4)/3. Suppose i + 4 = -i. Let z = r - i. Is z > 4?
False
Let p = -203/52 + 2/13. Which is smaller: 0 or p?
p
Let y be ((-2)/20)/((-2)/6). Let g be 6/14 - 32/(-7). Suppose -5*f - p = -g, -p - 3 = 3*f - 6*f. Which is greater: y or f?
f
Suppose -10 = -k + 2*n - 0, -3*k + 26 = -5*n. Let b = 3 - k. Let y be (4 - -1)/(15/6). Which is bigger: y or b?
y
Let k be (36/(-594))/(1/(-3)). Suppose -2*p - p = 0. Which is smaller: p or k?
p
Suppose 8 = -3*t - 25. Let n = t + 10. Is 3/8 less than n?
False
Let i = -447/5 - -90. Which is smaller: i or -3?
-3
Let y = 0.07 - 1.07. Let u(n) = -n**3 + 6*n**2 - 6*n + 4. Let h be u(5). Do h and y have different values?
False
Let l = 16 - 16. Which is smaller: l or -2/15?
-2/15
Let g = -26 - -27. Let k be (-2)/(-4) - (-4)/(-5). Which is smaller: g or k?
k
Let n(v) = -v - 3. Let c = -1 + 1. Suppose -5*b + 4*x - 3*x - 18 = c, 2*b - x + 6 = 0. Let j be n(b). Is 1 at least as big as j?
True
Let q = 0.1 + 1.9. Let s = 6 + -4. Let j = 1 - s. Do j and q have different values?
True
Let u = 42.094 + -0.094. Which is smaller: -1 or u?
-1
Suppose -5*i = -27 + 2. Suppose 2*g - 10 = 0, -5*b + 0*g = -i*g + 25. Is -2/11 >= b?
False
Let w be 1 - (1 - -2 - 2). Let f = w - -1. Let d(t) = -t**2 - 7*t - 5. Let u be d(-6). Is u <= f?
True
Let m(a) = a**3 + 8*a**2 + 10*a + 18. Let w be m(-4). Which is greater: w or 41?
w
Let b(q) = 4*q - 3. Let h be b(-2). Which is bigger: 1/2 or h?
1/2
Let a(g) = -g**3 - 2*g**2 + 4*g. Let b be (60/8)/((-2)/(-4)). Suppose t + 0*t + 4*o + b = 0, 12 = -3*t - o. Let x be a(t). Is x less than