 is bigger: o or 2/3?
o
Suppose q + 2*q = 0. Suppose 0 = 4*l - 8 - q. Suppose -l + 0 = -m. Which is greater: m or -0.3?
m
Let c(p) = 3*p + 1. Let b be c(2). Suppose -8 = -2*y + 8. Which is bigger: b or y?
y
Let n = 46.7 - 47. Is n <= 28?
True
Let u = -52 - -37. Do -15 and u have the same value?
True
Let z = -15 - -13.6. Let c = z + 0.4. Let v = c - -1. Which is smaller: -0.1 or v?
-0.1
Let u be (-6)/495*6/2. Which is smaller: u or 1?
u
Let o = 33 + -100/3. Let w = -1.3 - -1. Let n = w + 0.2. Is o < n?
True
Suppose 3*x - 18 = s + 50, -4*s = 3*x - 73. Let v = x - 41. Let o = v - -35/2. Is o >= -1/4?
False
Let t be (-4)/12*4/10. Are -1 and t non-equal?
True
Let i = 227/3 + -75. Which is smaller: 12 or i?
i
Let p = -6 - -18. Let o be (1 + 0)/(p/84). Which is smaller: 6 or o?
6
Let v be (-9)/(1 + (-3)/(-6)). Let i be -5*v/15 - 4. Which is smaller: i or -3?
-3
Let i be -1 - (0 + -3 - -1). Which is smaller: i or -0.2?
-0.2
Let h(n) = n**3 + 13*n**2 + 12*n + 6. Let g be h(-12). Suppose -d - 8 = 4*k, 4*k - g*d + 8 = -d. Is -6/5 greater than k?
True
Suppose -35 = -2*z - 11. Suppose 7*y - 3*y = -z. Which is smaller: y or -4?
-4
Suppose 4*u + 2 - 6 = 0. Suppose -3*b + 2 = -2*b. Let k be (-44)/75 - b/(-3). Which is greater: k or u?
u
Let h(p) be the second derivative of -p**5/20 + p**4 - 5*p**3/3 - 4*p**2 - 3*p. Let w be h(11). Is 2 < w?
True
Let w(g) = 0*g + 8*g - 2 - g**2 - 3*g. Suppose 5 = -2*d + 3*x, -x = d - 6 + 1. Let h be w(d). Which is smaller: h or 3?
3
Let v be -2 - ((-90)/75)/((-2)/(-5)). Let o be ((-3)/7)/((-6)/(-4)). Which is smaller: o or v?
o
Suppose z = -2*v + 1, 2*z - 12 = 3*v - z. Is v smaller than -2/109?
True
Let d = -691/77 + 59/7. Which is smaller: d or 0?
d
Let u be 120/(-63) - (-4)/12. Which is bigger: u or -3?
u
Let f = -21 - -21. Which is smaller: f or 1/82?
f
Let o(z) = -z**3 - 7*z**2 + 8*z + 3. Let w be o(-8). Suppose 7 - 4 = -w*i. Which is greater: 1 or i?
1
Let w = -7 + 4. Let j(h) = -1 + 2*h + h + h - 3*h. Let o be j(w). Which is bigger: o or -2?
-2
Suppose -78 = 3*b + 120. Which is greater: b or -65?
-65
Let q = -1/7 - -29/56. Is -3/7 <= q?
True
Let j = 2 - 2. Let y = 22 - 21.3. Which is smaller: j or y?
j
Let n(u) = u**3 - 6*u**2 + 5*u - 4. Let r be n(5). Let k = r - -6. Which is bigger: 3 or k?
3
Let n be 4/(-10) + ((-112)/(-40))/7. Which is smaller: -3/13 or n?
-3/13
Let m = 187/5 + -37. Let w = -25 + -5. Let u be (-3)/2 + (-15)/w. Which is smaller: m or u?
u
Let y = 12 + -15. Which is bigger: y or -9/5?
-9/5
Let g be 56/(-30) - (-6)/9. Let r = 63 + -44. Suppose 16*v = r*v. Which is greater: g or v?
v
Suppose -4*v = 37 + 3. Let x = v + 11. Which is bigger: x or -3/17?
x
Let d be (4 - 1 - 0)/(-1). Suppose 0 = p - 3 - 5. Let f be -2*(1 + 4/p). Is d != f?
False
Let x = -7 - -12. Which is smaller: 7 or x?
x
Suppose 7 = -5*u - 8. Let d be (-1 - -3)/((-2)/u). Suppose -15 = -5*p, 15 = -0*v + d*v + 4*p. Is 4/7 greater than or equal to v?
False
Let u = -5 - 6. Let c = u - -11. Which is greater: c or -1?
c
Let u(s) = 4*s**2 - 2 - 3*s + 2*s + 1 - 5*s**2. Let t be u(-1). Which is bigger: t or -2/7?
-2/7
Suppose -10 - 5 = -n. Let c be (-18)/n*1/2. Let d be (-2)/2 + (-2 - -1). Which is smaller: d or c?
d
Let d(t) = -t**3 + 4*t**2 - t - 3. Let z be d(3). Suppose 5*v - 2*f = -f, v = -z*f. Let x be (v*(-1)/(-2))/1. Which is bigger: -3/4 or x?
x
Let a(g) = g - 9. Let j be a(5). Let t be (j/6)/(1/(-3)). Which is bigger: t or 0?
t
Let p(t) be the first derivative of 1/3*t**3 + 7*t + 2 - 7/2*t**2. Let j be p(6). Which is smaller: 2 or j?
j
Let c = 2 - 3. Suppose -5*v + 5*q = -60, v - q = -4*v + 52. Suppose 6*k = 3*k - r - 5, 3*k + v = -2*r. Is c at most k?
True
Let n = 52 - 62. Are n and -0.1 non-equal?
True
Let q(j) = -j**2 + 9*j - 15. Let t be q(8). Is t != -7?
False
Let c = 0.127 + -0.027. Is 1/6 <= c?
False
Let j = 112 - 160. Which is smaller: j or 2?
j
Let o(x) = -x**3 - x**2 + 2*x - 1. Let m be o(-2). Let c = 14 + -18. Which is bigger: c or m?
m
Let u be (-4)/10 + 37/5. Let b(s) = s**3 - 8*s**2 + 7*s - 1. Let q be b(u). Is 4 <= q?
False
Let t be (18/2)/(-3 + 4). Let u be -7 + 7 - (-4)/t. Which is smaller: u or -1?
-1
Let c = -114 + 113. Which is smaller: c or 2/81?
c
Let j be 8/(-5) + (-2)/5. Let h = 20.1 + -20. Which is smaller: j or h?
j
Suppose -f - 2*z + 30 = 0, -63 = 3*f + 2*z - 165. Are 36 and f non-equal?
False
Let r = -3 - -3.1. Let o = -2 + -10. Let x = o - -12. Which is smaller: x or r?
x
Let z = -5/36 + 1/4. Suppose 60 = f + 2*f. Suppose 5*s = 5*v + 25, -4*s = -s + 4*v + f. Which is greater: s or z?
z
Suppose -3*i = 4*c - 10, -2*i - 4*c = -7*i + 70. Let n(b) = b**3 - 16*b**2 + 27*b + 23. Let d be n(14). Which is smaller: i or d?
d
Suppose -1 + 4 = i. Suppose 0 = i*l - 25 - 11. Let j = l - 62/5. Which is greater: -1 or j?
j
Let f be -2*(-7)/14*-1*5. Is f at most as big as -33/7?
True
Let k be 1 - -1 - (-21)/(-11). Let b = -8 + 8. Which is smaller: k or b?
b
Let a(j) = -j**3 + 6*j**2 - 4*j - 6. Let r be a(5). Which is smaller: r or -2/5?
r
Suppose 5*h - y - 14 = 0, 4*h - 5*y = 6*h - 11. Is 17/6 > h?
False
Suppose 2*f + 2*f = -o + 23, -2*f = 3*o - 19. Let d(q) = -q**2 - 7*q + 66. Let k be d(5). Is k bigger than f?
True
Let j = 11 + -6. Let h = 5 - j. Is h != 2/5?
True
Let l(h) = -h**2 + 13*h - 9. Let i be l(10). Do 22 and i have different values?
True
Suppose 3 = -3*j - 0. Let p = -35/8 - -7/2. Let t = p - -5/24. Does t = j?
False
Let a = 24 - 31. Is a at most as big as -4/3?
True
Let j = 68 - 477/7. Let t(l) = 2*l + 8. Let v be t(-6). Let z be -2 + (-2)/v*4. Which is smaller: j or z?
j
Let o be (2/5)/((-1)/(-5)). Let t be o/4 - 4/8. Suppose y + 2*q = 3*q + 2, q + 3 = 2*y. Is t <= y?
True
Let t = -2 - -2. Let o be (0 - -2)*(-2)/4. Let z = o + t. Which is smaller: 2/9 or z?
z
Let n = -1.1 - -0.9. Let o = 5 - 4.6. Let v = n + o. Is v bigger than 1?
False
Let q(y) = y + 4. Let l be q(-4). Let o be ((-2)/(-6))/(15 + -12). Which is smaller: o or l?
l
Let s(x) = 12*x**3 - x**2 + x + 2. Let y be s(-1). Let r(z) = z**3 + 4*z**2 - 5*z. Let n be r(-5). Let v be (n - -2)*y/9. Which is smaller: v or -4?
-4
Let b(n) = 4*n - 25*n**3 + 6*n**3 - 3*n. Let i be b(1). Let u be 2/5*15/i. Is u at least -2?
True
Let v = 13 + -13.07. Let q = v + -1.93. Is -9 greater than q?
False
Suppose m = -2*m + 6. Let k be m*3/(-3 - 0). Which is smaller: -1 or k?
k
Let i be -6*(-4)/56 + (-978)/(-21). Is i greater than or equal to 47?
True
Let f(r) = -r**2 + 7*r + 8. Let l be f(6). Let w be (9 - (3 - 0))/l. Which is greater: w or -0.1?
w
Let k be (-4)/10 - (-408)/945. Which is bigger: k or 1?
1
Let s(k) = -k + 8. Let a be s(0). Let l be a/(-10) + (-1)/5. Let p = -22 + 24. Is p < l?
False
Let r(x) = -6*x + 1. Let v be r(1). Is v less than or equal to -19/3?
False
Suppose 0*g + g = -x - 3, 11 = -x - 3*g. Let c be (0 - (-1)/x)*-1. Let b be c/2*-10 + -3. Which is greater: b or -0.1?
b
Let y(i) = -i**3 - 3*i**2 - 4*i. Let t be y(-3). Let j = t + -12. Let h = 3 - 2. Which is bigger: h or j?
h
Let x be 1246/77 + (-4)/22. Is 15 greater than x?
False
Let i be (-3)/6 + (-5)/(-10). Which is smaller: i or -1/20?
-1/20
Let u be 0 - ((-9)/(-3) + 6). Is -8 < u?
False
Let j = -24 - -24. Which is greater: j or 2/33?
2/33
Let m = -47.1 - -47. Are m and -58 unequal?
True
Let y be (2/3)/(22/6). Are y and 2 equal?
False
Suppose 2*u + 0*b - 2*b + 324 = 0, -4*u - 2*b = 678. Which is smaller: u or 1/4?
u
Let c(u) = u + 4. Let l be c(-5). Suppose -4*k = 0, m + 0 = k - 1. Let g be (-2)/(-1)*m + 2. Which is smaller: g or l?
l
Let w = 0.2 - 0.3. Let m = -231 + 231.02. Are m and w unequal?
True
Let u = 449/11 - 41. Let q = 0 - 0. Is q less than or equal to u?
False
Let l(k) = -8*k + 69. Let y be l(0). Is 70 != y?
True
Let q(x) = -x**2 - 3*x + 7. Let c be q(-5). Let a be 2*(-2)/(12/c). Suppose -4*i - n - 3 - a = 0, 2*i - 2*n + 2 = 0. Do i and -1 have the same value?
True
Let h = 11 - 7. Suppose -h*g = -11 - 13. Suppose 3 = -2*n + 5*n. Which is greater: n or g?
g
Let z be 0*1/(-2)*1. Suppose z = g + 4*g - 75. Suppose -2*k + 6*k - g = -3*d, 3*d - 5*k = -12. Is d >= 0?
True
Let x = 19 + -9. Is 8 greater than or equal to x?
False
Let c = 0.9 - 0.1. Let v = 0.2 - c. Let k = -0.2 + 0.1. Which is bigger: k or v?
k
Let b be -2 + 4/((-12)/(-5)). Let w = b - -2/3. Let t = -4.8 + 5. Which is bigger: 