se
Let q be (-54)/(-58) + (-1 - 0). Which is greater: q or 0?
0
Let u = 4.98 + -4. Let c = u + 0.02. Let o = 0.5 - c. Which is bigger: -2/3 or o?
o
Suppose -2*d - 35 = 5*j, 0 = -0*d - 2*d - 4*j - 34. Let l be (d/10)/((-30)/8). Which is smaller: l or -4?
-4
Let i = 1 - -3. Let o be 72/i*(-1)/(-3). Which is smaller: 5 or o?
5
Let l(t) = -t**3 - 2*t**2 + 3*t + 2. Let a be l(-3). Let h be 3/9 - a/(-3). Is h <= 2?
True
Suppose -4 - 6 = -2*o. Suppose 2*v + d = o, 0*v + v = 2*d. Suppose v*g + 9 = -g. Which is smaller: -2 or g?
g
Suppose -3*s = s - 16. Suppose 3*y - 7 = -2*w, 2*y - s*w = 3*y + 1. Suppose y*g - 5*b = -17, -b - 4*b = -5*g - 15. Are g and -3 equal?
False
Let r be (99/(-6))/((-3)/76). Let z = r + -20903/50. Let w = -121/350 - z. Is w > -1/6?
False
Let q(r) = -r**2 - 6*r - 1. Let j be q(-5). Let p(l) = -3*l - 4. Let d be p(-3). Is j not equal to d?
True
Let w = 96 - 99. Let j = 4 + -6. Is w >= j?
False
Let m(h) = -h**2 - 4*h + 7. Let v be m(-5). Let n(p) = -5*p + 1 - 1 - 5*p**2 + 6*p**v. Let f be n(5). Is f less than or equal to 1?
True
Let b(i) = i**3 - 5*i**2 + 3*i + 8. Let m be b(4). Which is greater: 13/4 or m?
m
Let d be 3/2*(-3)/9. Suppose -2*v - 2*v - 4*c - 8 = 0, -3*v = 5*c + 16. Suppose 0*y + 5*q - 23 = 3*y, -v*q + 11 = y. Which is smaller: d or y?
y
Let n = -4.6 + 4. Let p = -4.6 - n. Let k = -1 - p. Which is greater: 1 or k?
k
Let m = -241/9 - -27. Let j be (-11)/(-5) + (-3)/15. Suppose j*x - x = 1. Is x smaller than m?
False
Let o be (-2 - -1)/((-2)/20). Let k be 159/o - 2/5. Let w = -16 + k. Which is smaller: w or -1?
-1
Suppose -s + 8 = -3*b, -2*s + b + 12 = -3*b. Suppose m - 5 = -2*q, 0 = 4*m + 6 - 18. Which is greater: q or s?
s
Let j be 9/(2/4*-3). Let o = 9/2 + j. Which is smaller: o or 1/4?
o
Suppose 2*o - q + 7 = 0, -3*q - 3 = 3*o - 2*q. Let n = 3 - o. Suppose 2*i - n*c + 12 = 0, 5*c - 4 = -3*i + 3. Which is greater: i or 2/17?
2/17
Let q(p) = -p - 2. Let x be q(-4). Suppose 0*i = x*i. Let c be (-2)/2 + i + 1. Which is bigger: 1/2 or c?
1/2
Let b be 3 - 5/((-5)/(-14)). Let q be 3 + (-5)/(30/14). Which is bigger: b or q?
q
Let m(q) = -4*q + 3*q - q**3 - 4*q**2 + 10 + 3*q - 3*q**2. Let g = 14 - 21. Let r be m(g). Is r at least as big as -5?
True
Let l(z) be the first derivative of -z**3/3 - 4*z**2 + 2*z - 1. Let r be l(-8). Suppose -5*y + r*y = 0. Which is smaller: y or -1?
-1
Let d be ((-6)/(-2) + -3)/(-2). Which is smaller: d or -1/13?
-1/13
Let v = 40468 - 5665591/140. Let w be -2 + 109/28 + -2. Let j = v - w. Which is greater: j or -1?
j
Let i = -2 - -2. Are i and -2/47 non-equal?
True
Let u = -0.44 - -0.24. Which is smaller: u or 8?
u
Suppose 0 = -0*k - k - 2. Let b be 4 + -1 - (-6)/k. Which is greater: 7/5 or b?
7/5
Let j = 4 - 1. Suppose -j*v + 5 = 2. Suppose r = -3*y + y + 5, y - 3*r = -v. Which is smaller: y or 1?
1
Suppose -35 = -5*h - 10. Suppose h*i - 3*i = 4. Suppose 2*u + 6 = 4*n, 5*n - 2*u - 15 = i*u. Which is bigger: 2/5 or n?
2/5
Suppose 0 = 4*w + 4. Let v be (-2)/4 - w/(-2). Which is bigger: -2 or v?
v
Let y = 1186/15 - 79. Which is smaller: 0 or y?
0
Suppose 5*a = -l - 4*l - 15, 8 = -2*a. Let r(n) = 4*n - 40. Let g be r(10). Is l at least as big as g?
True
Let r = -4 - -8. Suppose -h = 3*h + 4*c, r*c = 3*h - 7. Let a = -3 + 3. Which is greater: h or a?
h
Let l = 0.6 - 3.6. Let h = -2 - 23. Let f = h - -24.9. Which is greater: l or f?
f
Let o = -4 + 7. Suppose 0 = -o*z + 3 + 6. Suppose 5*r + 4*l = 2, 2*l - 3*l - 12 = -5*r. Is z < r?
False
Let r = 17 + -15. Let m = -146 + 727/5. Is r less than m?
False
Let d = 3 - 2.7. Let w = -3 + 2. Let p = w - 0. Which is smaller: p or d?
p
Suppose -3*g + 5*i = 5 + 8, 0 = -3*g + 2*i - 7. Let q be 3/(-9) - g/9. Is 2 at most q?
False
Let g = 2/9 - 5/9. Let z = -14 - -15. Suppose -5*d = -b - z, -4*b + b = -d + 3. Are g and d unequal?
True
Let o be ((-64)/(-12))/(2/15). Let b be (-3)/(-4) + 10/o. Let v = -160 - -647/4. Which is smaller: v or b?
b
Let y = -481 - -40405/84. Which is smaller: y or -1?
-1
Let b = -10 + 14. Suppose -t + 0*t + 5*n = 15, -4*n + 60 = b*t. Is 10 greater than or equal to t?
True
Let b be (-3)/(-9)*(1 + 2). Let f be 2 + 2 + 4*-1. Is b at least f?
True
Suppose 17*w = -130 - 431. Is -35 at least w?
False
Let c = -9 - -8.9. Which is smaller: 8 or c?
c
Let g = 11 - 19. Let v = g + 9. Is 2/9 less than or equal to v?
True
Let k = -7462/10523 + 2/619. Which is smaller: k or 0?
k
Suppose 3*d - 3 = 3*c, c + 4*d - 2 - 2 = 0. Let w = 7 - 19. Let h be ((-1)/5)/(w/15). Are h and c non-equal?
True
Let g(j) = 3*j**2 - 8*j + 7. Let s(o) = -4*o**2 + 8*o - 7. Let z(r) = 3*g(r) + 2*s(r). Let x be z(7). Let a(y) = -y + 3. Let c be a(4). Is x smaller than c?
False
Let i = 2 - -3. Suppose -2*n - 2 = 0, d - n + 1 = i. Which is bigger: 1 or d?
d
Let t = 0.31 - 21.31. Let j = t - -21.03. Which is bigger: 1/2 or j?
1/2
Let m = 0.7 - 0. Let u = -2 - -3. Let k = u - m. Is k > -1/4?
True
Suppose 11*d - 12*d = -2. Which is bigger: -0.2 or d?
d
Let p be (-1 - -4)/(18/(-4)). Let v = 1/3 + 5/12. Which is smaller: p or v?
p
Let y(p) = -p + 8. Let m = -5 + 14. Let x be y(m). Let i(h) = 3*h**3 + h**2 - h - 1. Let v be i(-1). Which is bigger: x or v?
x
Let w = -1 + 1.04. Let f = -0.26 - w. Does f = 2/3?
False
Let f(v) be the second derivative of v**3/6 - v. Let i be f(1). Which is smaller: 4/3 or i?
i
Suppose -4*p = -8*p. Suppose 8 - 3 = -5*n. Let w = n + 2. Which is smaller: p or w?
p
Let q(i) = 2*i + 1. Let v(s) = 2*s + 3. Let o be v(-2). Let w be q(o). Let a = w - 0. Is a greater than -2?
True
Let s be (-42)/(4/6*(-27)/(-24)). Is -57 less than s?
True
Let c = 6 - 4. Suppose -27 + 36 = 3*b. Is b smaller than c?
False
Suppose 0*w + w + 8 = 0. Suppose -5*n + 11 + 43 = 4*i, 0 = -4*i - 2*n + 60. Let a be (-36)/i + 6/w. Is a != -3?
False
Suppose 4*s = -4*r + 4, 3*r = 3*s + 2*r + 9. Let w = -4 - -3.7. Which is smaller: s or w?
s
Let g = -5 + 5.03. Let j = 0.07 + g. Which is smaller: -1 or j?
-1
Let l = -1067/9 + 119. Which is smaller: l or 0?
0
Let n = -270 - -185. Is 0 equal to n?
False
Suppose -16 = -3*s + 5*v + 12, -2*s = -2*v - 12. Let a(l) = 3*l**2 + l - 1. Let c be a(1). Let h = c - s. Which is greater: h or 1/2?
h
Let t(x) = 10*x + 5. Let h be t(-2). Is h equal to -14?
False
Let c = 0.6 - -0.5. Let g = c + -1. Let w = 8.5 - 14.5. Are g and w equal?
False
Let l be ((-1)/(-2))/((-12)/120). Which is smaller: l or -6?
-6
Let w be (-4)/10 - 51/(-15). Suppose w*k = -4*q + 5, -3*k - 5*q + 3 + 1 = 0. Let u = k - 4. Which is smaller: u or 0?
u
Let g(b) be the third derivative of b**4/12 - b**3/6 - b**2. Let y be g(-4). Let a(c) = -c - 9. Let h be a(y). Is 2/25 less than h?
False
Let s = -69/16 + 695/176. Does s = -1?
False
Suppose -5*v = -2*d - 8 + 48, d + 55 = -5*v. Let w be (v/5)/(4/26). Is -13 <= w?
True
Let j be (-1*(-1 + 1))/(-2). Let c = -24 + 40. Let h be 40/18 - c/8. Which is smaller: j or h?
j
Let t = 0.3 + 0.7. Let l = -0.392 + 0.092. Do t and l have the same value?
False
Let x = -1051953644/2616405 + 8/79285. Let n be (-8 - 1)*268/6. Let u = x - n. Is 0 equal to u?
False
Suppose -5*m + 3*q = -26, 2*m - q - 3 - 7 = 0. Let w = -19 - -31. Let g be 1/(-3)*w/8. Is m less than g?
False
Let n = 0 + -1. Let q = n + -3. Let v = 1 - 1. Which is smaller: q or v?
q
Let v be 1 + (-1 - (-1 - 2)). Let w = 1 + 3. Is w <= v?
False
Let q = -15 - -34. Let i = 13 - q. Let n = 5.97 + i. Which is smaller: 2/3 or n?
n
Let o = -0.4 - 0.3. Let i = -0.3 + o. Let q = i + -2. Which is smaller: 0 or q?
q
Let b = 46 + -54.8. Let c = b - -10. Is 1/3 bigger than c?
False
Suppose -3*k - 4 + 10 = 0. Let j be ((-5)/(-2) - 2)*k. Let p be 1 + 147/(-120) - 58/(-580). Is p at most j?
True
Let s be (-1 - -4 - 2)/((-1)/(-2)). Which is bigger: 1/2 or s?
s
Let x = 15 - 25. Let f = -128 - -117. Which is greater: x or f?
x
Suppose 5*s - 6*s = 1. Is s at most -2?
False
Let h be 5/30*2*0. Which is smaller: 8/9 or h?
h
Let g(c) be the second derivative of c**3/6 - 4*c**2 + 5*c. Let k be g(9). Suppose -6 - 4 = -5*u. Is u at least as big as k?
True
Suppose 3*f = 11 - 38. Suppose -4*k = 5*b + 46, -k + 2*b - 14 = k. Is k at least as big as f?
True
Let h(j) = j**3 - 2*j**2 - 3*j - 4. Let i be h(3). Let w = i - -1. Suppose -1 = -a + 4*m, 4*m - 4 = a + 5*m. Is a at least as big as w?
True
Let p be 9/(-35) - 9/63. Which is smaller: