big as 0?
True
Let v = 2.6 + -1.9. Let i = -0.2 - -0.8. Let r = v - i. Is -0.1 less than or equal to r?
True
Let z be 63/12*32/6. Let u be (-8)/z + 4/14. Let x = 7.8 + -8. Is x at most u?
True
Suppose -d + 4 = 5. Let j be (0 - 1 - -1)/d. Is 1/5 greater than j?
True
Let v be (-107)/21 - (-4)/42. Let c(l) = -l**2 - l - 3. Let y be c(0). Which is smaller: v or y?
v
Let h = 3 - 1. Suppose 0 = 4*j + 4*d + 12, -h*j + 0*d - 14 = 4*d. Suppose -2*g = 2*z - 4, -2*g - 2*g + 2*z = -14. Which is smaller: g or j?
j
Let i = 100 - 1305/13. Which is greater: 1 or i?
1
Let g = 587 + -22894/39. Which is smaller: -1 or g?
-1
Suppose -17 = -5*b - 2. Let k = -79 + 80. Which is bigger: k or b?
b
Let a(t) = -t**3 + 11*t**2 + 12*t + 1. Let c be a(12). Let m be 0/(-8) + 5 + c. Which is greater: m or 4?
m
Suppose f - 3 = 2*w - 9, 4*w = -f. Let x = -3/10 - -31/70. Is w smaller than x?
False
Let x = 11 + 1. Which is smaller: 11 or x?
11
Let l be (2/(-4))/((-4)/(-24)). Suppose 5*s + 35 = -0*s - 5*a, -15 = 2*s + 3*a. Let m be (l/(-15))/(s/5). Which is bigger: m or 0?
0
Let t be ((-3)/2)/(3/156). Let n be 51/t + 2/4. Suppose 0 = 5*o - 2*o. Which is greater: n or o?
o
Let c(d) = -5*d + 35. Let f be c(7). Which is greater: f or -2/83?
f
Let h = -63/26 + 12/13. Let a = -13 + 14. Let c = -1 + a. Which is smaller: h or c?
h
Let p(g) = -g - 8. Let y be p(-6). Let b = y - -4. Suppose -3*f - 6 = -2*f - 3*x, -b*x + 4 = -4*f. Is -1/2 at least f?
False
Let h = 2 + 3. Which is smaller: 6 or h?
h
Let r = 1 + 3. Suppose l - r*l = 9. Which is smaller: -4 or l?
-4
Suppose 4*q = 5*q + 23. Is q less than or equal to -21?
True
Suppose -2*p = -8*p. Which is greater: -2/61 or p?
p
Let v = -0.826 - -7.836. Let q = 7 - v. Which is smaller: 0 or q?
q
Let t be -1 + (10/(-15))/((-4)/6). Let r = 31/9 + -11/3. Which is bigger: r or t?
t
Suppose -o + 5*o + 3*z = -3, -4 = -2*o + 4*z. Let v = 93/5 - 1777/95. Which is bigger: v or o?
o
Let t be 2817/135 + 4/30. Suppose 0*b = 3*b - 60. Which is smaller: t or b?
b
Suppose 0 = -0*b + b - 5*y - 3, 2*y = -5*b - 12. Let p be -2*(-1 + (-1)/b). Which is greater: -1 or p?
p
Let j = 0.176 - -0.654. Let b = j + -0.9. Let n = 0.93 - b. Which is greater: n or -3?
n
Let m = -31 - -57. Which is greater: 28 or m?
28
Suppose 0 = -3*j - 4 - 2. Let o be -34 + 33 + (-1 - (-3 - -1)). Which is greater: j or o?
o
Let t = -3 + 13. Let j be 4/(-20) - (-12)/t. Let d = 1.8 - 2. Which is bigger: d or j?
j
Let d = -1767/11 - -159. Which is smaller: -3 or d?
-3
Suppose 2*d + 3 - 1 = -4*b, 5*d - 2*b = -65. Is -11 greater than d?
False
Let w = 44.1 + -44. Let f(o) = o + 5. Let q be f(-8). Let u be (-16)/(-10)*q/(-12). Which is bigger: w or u?
u
Let j = 7 + -3. Let l be (-2)/j + 1/2. Is -3 at least l?
False
Suppose 4 = 5*n - 16. Are n and 0.9 nonequal?
True
Let p be (1/4)/(3/(-6)). Is 2/23 smaller than p?
False
Suppose -3*d + 20 = 2*d. Suppose d*u = -2*o - 0*u + 20, -4*u + 20 = o. Which is smaller: o or 2/7?
o
Let m be ((-10)/8)/5 - (-44)/(-48). Is m < 0?
True
Let r = -0.8 + -3.2. Let j = -22.9 - -19. Let w = r - j. Is 2 greater than w?
True
Let l be ((-18)/22 - -1) + 291/33. Are l and 8 unequal?
True
Let i = 3 - 3. Is i >= 1/4?
False
Let w = 586/33 + -67/11. Is 12 greater than or equal to w?
True
Let b be 18/21*7*(-2 + 4). Which is smaller: -2/13 or b?
-2/13
Let r be ((-3)/(-6)*-2)/3. Is 0 bigger than r?
True
Let i(z) = -3*z - 9. Let y be i(-3). Is y less than -4/9?
False
Suppose 3*t - 17*t = 14. Which is smaller: t or -2?
-2
Let g = 11 + -11.07. Let u = g - -0.03. Let q = 2.96 - u. Is -1 less than or equal to q?
True
Suppose 3*r = -3*v + 4 + 14, 24 = 5*r + 2*v. Let d = 3 + 2. Does d = r?
False
Suppose -16*b + 10*b = 48. Is -6 smaller than b?
False
Let s(j) be the first derivative of -j**3/3 - j**2 - 1. Let h be s(-5). Are -15 and h nonequal?
False
Let d be -4*(2*5)/(-1). Let h = 736/21 - -541/105. Let t = h - d. Which is smaller: -1 or t?
-1
Let r be -2 + -2 + 64/18. Which is smaller: 1 or r?
r
Let y = 81.37 - 81. Is 0 at least as big as y?
False
Let c = 0.4 - -0.6. Let o = 0.17 + 1.83. Are o and c nonequal?
True
Let f(d) = -d**2 - 10*d + 6. Let g be f(-10). Suppose -5*r - 16 = -g. Suppose 3*h - 4*b + 2 = -7, -5*h - 15 = -5*b. Which is bigger: r or h?
r
Let r = 0 + 0. Suppose r*x - 5 = -x. Which is greater: x or 6?
6
Let z be (1/((-3)/(-42)))/2. Let n = z - 7. Which is greater: n or -2/17?
n
Suppose -h = -6*h. Suppose 2*t - 5 = -19. Let l = t + 22/3. Is h equal to l?
False
Suppose -5*r + 15*r + 50 = 0. Let g be (-1)/(-2)*(4 + 2). Suppose 2*q = -g*h + q - 17, 0 = -4*h + 5*q + 9. Is h less than r?
False
Let x = 0.22 - 0.22. Is 0.04 at least as big as x?
True
Suppose -3*v - v + 70 = o, 3*o = 5*v - 96. Is 17 bigger than v?
False
Let o = -3 + 2. Let x(u) = -6*u**3 + 4*u**2 + u + 5. Let r(n) = 5*n**3 - 3*n**2 - n - 4. Let v(c) = 5*r(c) + 4*x(c). Let m be v(0). Are o and m unequal?
True
Let g = 8 + -9. Are -3/44 and g nonequal?
True
Let a = -14.53 + -80.57. Let b = -91 - a. Let t = 4 - b. Is t not equal to 2/5?
True
Let s(o) = o + 3. Let x = 1 + -5. Let z be s(x). Are -2 and z equal?
False
Suppose 0*d + 3*d + 15 = 0. Let y = 9 - 7. Let z = y + -2. Which is bigger: z or d?
z
Let j be 2 - 1/(2 + -1). Suppose 38*m - 1 = 37*m. Is j smaller than m?
False
Suppose 0 = 11*u - 11 + 33. Is -5/8 at least as big as u?
True
Suppose -65 = 2*v - s + 2*s, 110 = -3*v + s. Let p be (-918)/v + 4/(-2). Let l = 124/5 - p. Which is greater: l or 1?
1
Let h be (4/39)/((-28)/6). Let s = h + -358/273. Is s >= -2?
True
Let u be 3 + -2 + 4/2. Let o = 3 - u. Which is smaller: o or 1/3?
o
Let o be -2 + (-1)/2*2. Let w be o/9*2*-3. Suppose c = w*c. Is 0 >= c?
True
Suppose f + 0*f = 4. Suppose 0 = -f*n + n. Let w(y) = -y - 3. Let l be w(-3). Is n greater than l?
False
Let v(n) = -n + 4. Let o be 3 + (-1 - -2) + 0. Let t be v(o). Is 1 less than or equal to t?
False
Suppose 4*i + 3 = -1. Let b be i/(-2)*3/(-6). Which is smaller: b or -1?
-1
Let u = -10/39 - -12/13. Let f be 3/(-12) - (-13)/4. Suppose -3 = 6*n - f*n. Do n and u have different values?
True
Let r be ((-5)/(-2) - 2)*1. Let c(a) = a - 1. Let m be c(3). Which is smaller: m or r?
r
Suppose 0 = -w + 2*w - 5*s - 13, -2*w - 3*s = 0. Let b(q) = -q**2 - 8*q - 10. Let h be b(-6). Let n = w + h. Which is smaller: n or 4?
4
Let a be (1 + 5)/(-3) + (-23)/(-5). Which is smaller: a or 3?
a
Let s(n) = -n + 6. Let v be s(7). Suppose y + 5*t - 11 = 2*t, 0 = -5*y - 3*t + 19. Suppose 5*k = -2*h - 15, -y*k - 5*h - 12 = -3*h. Is v < k?
False
Let u = -0.17 - -0.09. Let x = u + 0.38. Which is smaller: x or 0?
0
Let d be 0 + 2 + (-96)/51. Suppose 0 = 4*k - 8, 0 = 2*x - 7*x - 2*k - 1. Is x bigger than d?
False
Let y(u) = u**3 - 3*u**2 - 1. Let j be y(3). Let o be 3 + (80/(-4))/4. Is o at least j?
False
Let w be (-4)/(-5) - 4/10. Let m be ((-9)/6)/(6/(-16)). Suppose 2*x = -i - 4*i - 15, i + m*x + 21 = 0. Which is smaller: w or i?
i
Let p(n) = n**3 - 6*n**2 - 4*n + 4. Let b be p(-4). Let u = 702/5 + b. Let c = 0.1 + 0. Is c <= u?
True
Let u = -5 - -3. Let c = 44 - 43. Which is greater: u or c?
c
Let z = 1698/5 + -338. Let r = z - 47/20. Is -1 at least as big as r?
False
Let u(y) be the second derivative of -y**4/12 + y**3/3 + 2*y**2 - 25*y. Suppose z = 5*n - 25, -n + 3*n + 2*z + 2 = 0. Let m be u(n). Which is smaller: -5 or m?
-5
Let v be (0 - 0) + 21/27. Let b be (-229)/(-171) - (-36)/(-54). Let h = v - b. Which is bigger: h or -1?
h
Let o = -6 + 4. Let i = 2 - 2. Suppose -2*g - 5*j + 19 = 0, 5*g - 3*j + 26 + 4 = i. Do g and o have the same value?
False
Let z(d) = -d**3 + 4*d**2 - 4*d. Let s be z(2). Is s > 1/5?
False
Let i(f) = f**3 - 10*f**2 - 9*f - 13. Let x(y) = -y**2 - y - 1. Let j(c) = i(c) - 6*x(c). Let z be j(5). Let b = -2 + 5. Is b less than z?
False
Suppose -3*w - w + 16 = 0. Suppose -w*c - 15 = z + c, -12 = 5*z + 4*c. Is z smaller than -1/2?
False
Suppose h - 8 = 10. Suppose 5*x - 2*x + h = 0. Let c be ((-3)/x)/((-1)/4). Do c and -1 have different values?
True
Let f = 11 + -21. Let j(k) = -k**2 - 9*k + 9. Let p be j(f). Are p and -5/7 nonequal?
True
Let z be (-1 - -1)/((-4)/(-2)). Suppose z*i = 2*i. Suppose -2*l - 3*l + 5 = i. Which is bigger: -1/3 or l?
l
Let h be (-4)/(-1)*10/(-5). Let c = -11 - h. Which is smaller: -4 or c?
-4
Let l(h) = -h**3 - 7*h**2 + 8*h + 8. Let n