as big as -1/6?
False
Suppose -3 = -2*v + v. Let m be 12/6 + (-1)/1. Let w be (2 - 0) + 0 + m. Is v at most w?
True
Let b(j) = j**3 + 2*j**2 + j - 2. Let t be b(-6). Let k be 2/(-11) - t/(-132). Which is bigger: k or -1?
-1
Let c be 2/14*33 + (-2)/2. Let v(n) = n**2 + n + 2. Let l be v(-2). Which is bigger: l or c?
l
Let u be (92 - -1) + (0 - 0). Suppose -u = -5*l + k, 0*l - 5*k = -3*l + 47. Suppose -4*s + 0*v - 1 = -v, -4*s - 5*v = l. Which is bigger: s or 1?
1
Let l = -933/5 + 991/5. Is 1/3 less than l?
True
Let t(q) = q**3 + 7*q**2 - 7*q + 8. Let c be t(-8). Suppose -6 = 3*o - 4*h - 0*h, -5*h + 15 = 0. Suppose r - m - 5 = 0, 5*r = -m + o*m + 5. Are c and r equal?
True
Let a be 15 + -4 + 5/5. Are a and 12 unequal?
False
Let t = 1 + -0.7. Suppose -5*m - l = 9, 3*m + l = 2*m - 5. Are m and t equal?
False
Suppose 0 = -2*v - 3*v - 55. Is -9 greater than or equal to v?
True
Let n be (-22)/(-4) + 1/(-2). Suppose 16 = -n*t - 4*u, -3*t + t + 4 = -u. Let w(l) = -l**2 - 7*l - 11. Let c be w(-5). Is t at least as big as c?
True
Let f = -0.4 + 0. Which is greater: -2/3 or f?
f
Suppose 0 = -s + 4*x - 13 + 1, -4*s - x - 31 = 0. Let z(g) = -g**2 - 7*g + 5. Let n be z(s). Suppose -3 = l - 0. Are n and l unequal?
False
Let o be (-1)/2*(-32)/560. Let z(y) = -y - 1. Let a be z(-2). Are a and o nonequal?
True
Let n = 44.1 + -46. Let o = n - 0.1. Let h = -4 + 7. Are o and h non-equal?
True
Let w be 2/6 + 3/(-9). Let c be w + -2 + 43/4. Let h = c + -9. Is h at least as big as -3/4?
True
Let l(t) = 2*t + 6. Let j be l(-3). Is 1/34 smaller than j?
False
Let f(n) = -3*n + 14. Let x(s) = s - 5. Let a(p) = 4*f(p) + 11*x(p). Let c be a(1). Suppose 3 = -0*m + 3*m. Is c less than m?
True
Suppose -5*i + 6 = -2*i. Is i less than 5/7?
False
Let r = -0.04 - 2.96. Let a = r - -2. Let q = -174 + 701/4. Is q <= a?
False
Suppose 1 - 5 = 2*a. Which is bigger: a or -4?
a
Let s(q) = -q + 9. Let a be s(0). Let c be 6/7*(-3)/a. Suppose 3*u = u. Is c at most u?
True
Let v be ((-8)/(-3))/(126/54). Which is smaller: 1 or v?
1
Suppose 4*z - 3 = 1. Which is smaller: 7 or z?
z
Suppose -f - 3 = 0, -2*o + 1 = f + 6. Let r be -1 + 3/(-8) - -1. Is o at least r?
False
Let j = 1 + -9/7. Is -2/9 smaller than j?
False
Let v be (8/16)/((-1)/2). Which is smaller: 4/21 or v?
v
Let j be 90/81 - (-2)/(-18). Are j and 1/21 non-equal?
True
Suppose 12 = -5*w + i, 0*i = -w + 2*i - 6. Let m be (-1 + 4)*(-4)/6. Is w at most as big as m?
True
Suppose 0 = 2*o - 3*t - 23, o = -t - 2*t - 11. Let i = -6 - -7. Suppose z = i + 3. Do o and z have the same value?
True
Let j be 0/2*(-1 - -2). Let r be -4 - 1/((-8)/30). Is r equal to j?
False
Let f = -2 - -2.2. Let n = f - -0.1. Is 2 >= n?
True
Let g be -1*(-4 + -1 + 4). Are g and -1/32 non-equal?
True
Let o(m) = m**2 - 4*m + 4. Suppose 2*k = 4 + 2. Let w be o(k). Is 1 at most as big as w?
True
Let q(b) = 0 + b**2 + 5 - 4. Let m be q(-2). Let w be -1 - (15/(-2))/m. Which is greater: 2 or w?
2
Let w be (94/(-90) - -2) + 2 + -3. Which is smaller: w or -0.1?
-0.1
Let w(q) be the third derivative of 2*q**2 - 1/30*q**5 + 1/6*q**4 - 1/120*q**6 + 0 + 1/3*q**3 + 0*q. Let y be w(-3). Which is smaller: y or 0?
y
Let t = 3.4 - -1.6. Which is greater: t or 2/5?
t
Let g(w) = -w**2 - 7*w - 10. Let m be g(-5). Are m and 2/57 non-equal?
True
Suppose 4 - 13 = -3*q. Let a be (-3 - 0/(-1)) + 5. Suppose 3*o = -a*o + 10. Is o greater than q?
False
Let z = 15.34 + -0.34. Are -2/5 and z equal?
False
Suppose -5*o = -3*o - 10. Suppose -26 = -h + o*j, 4*j + 42 = 5*h + j. Is h > 6?
False
Suppose 0 = a + 1 - 4, -a = 3*b - 24. Which is bigger: b or 23/3?
23/3
Let a be (-2 - 2/(-4))/(6/(-4)). Which is bigger: a or -2/83?
a
Let r = 3 + -2. Suppose 4*j = 2 + 2. Let h be (j - 2)*2/(-16). Which is bigger: r or h?
r
Let y = 8 + 33. Suppose 3*i + 31 = -0*i + 4*o, 5*i + y = 4*o. Let s = -4 - i. Which is greater: s or 0.1?
s
Let f = -18 + 13. Let t(x) = 5*x + 14. Let r be t(f). Which is smaller: r or -10?
r
Let y = -110 - -107. Suppose -5*b - 4 = -b + 4*m, 2*b - 4*m = -14. Is b less than or equal to y?
True
Let q(c) = -2*c - 19. Let i be q(-15). Does i = 11?
True
Let u be 5/(-10) - 3/6. Let i be (-5)/2 + u/(-2). Which is bigger: -8/3 or i?
i
Let k = 17.5 + -18. Let d = k + 0.5. Let z = -1.97 + -0.03. Is d smaller than z?
False
Let d(z) = -z**2 - 4*z - 9. Let w be d(0). Let i(x) = -x**2 - 5*x + 1. Let n be i(-6). Let s = w - n. Which is smaller: s or -3?
s
Suppose a - 1 = h - 0, 11 = 5*a - 2*h. Suppose 3*n - 9 = 0, d = -a*d + 3*n + 31. Which is greater: 0 or d?
d
Suppose -7*o + 11*o = 12. Suppose 4*b = o*b. Is -5 smaller than b?
True
Let k = 42.8 - 39. Let h = 4 - k. Suppose 0 = 4*a - a + 6. Is h greater than or equal to a?
True
Let h(u) = -u**3 - 17*u**2 - 13*u + 21. Let s be h(-16). Which is smaller: -25 or s?
s
Suppose 2*v = -v + 3. Which is smaller: v or 0.2?
0.2
Let q = 515/36 - 57/4. Is 0 >= q?
False
Let y be 4 - (-2 - (-1 - 1)). Let v = -2 + y. Let k be (v/4)/(1/(-6)). Is -2 equal to k?
False
Let n = 7.2 - 2.2. Let b be 2/(1/(1/1)). Which is smaller: b or n?
b
Let f = -1.61 + 0.01. Let j = 0.4 - f. Which is greater: 0.1 or j?
j
Suppose 0 = 6*x - 2*x. Let y(g) = -g**2 - 6*g - 1. Let d be y(-6). Which is smaller: x or d?
d
Let o(r) be the second derivative of r**4/12 - 3*r**3/2 + r**2/2 + r. Let t be o(9). Let k be (0 + 3)/((-9)/(-2)). Which is bigger: k or t?
t
Let l(k) = k**3 + k - 3. Let y be l(0). Let v(a) = -4*a - a**2 + 0 - 4 + 0. Let i be v(y). Which is smaller: -2 or i?
-2
Suppose 4*n + n = -5, a + 2*n + 2 = 0. Suppose 0*b = 5*w - 5*b - 5, 4*b + 8 = a. Is -3 greater than or equal to w?
False
Let h = -0.3 + 0.1. Is -0.6 smaller than h?
True
Let x = -16 + 9. Which is greater: x or -6?
-6
Let y = 114 + -572/5. Which is smaller: y or 3?
y
Let v(l) = l**3 - 6*l**2 + 5. Let b be v(6). Suppose 5*m = 2*x, 0*x = 2*m + x - 9. Suppose -u + 2*u = 2*a + 8, -18 = b*a - m*u. Are a and -1 non-equal?
True
Suppose 3 + 15 = 2*l. Is l greater than or equal to 1?
True
Let v = 2407/5 + -483. Which is smaller: 2 or v?
v
Let y(a) = -2*a**2 + 7*a + 4. Let c(d) = -3*d**2 + 14*d + 8. Let g(f) = 3*c(f) - 5*y(f). Let n be g(-6). Is n >= -6/5?
False
Let w be (3 + -2 - 0)/(-1). Let u = 14422710/116851 - -6/16693. Let c = u - 123. Which is bigger: w or c?
c
Let h be (-2)/2 - -2 - -1. Let o be h*((-1)/2 + 0). Which is smaller: 1/24 or o?
o
Let w = 2 + -4. Suppose 0*l + 3*t = l - 1, 5*l + t = -11. Is l greater than w?
False
Let o(h) = h**2 + 4*h + 1. Let k be o(-2). Is k <= -0.02?
True
Let i = 5 - 2. Let m = 12 + -3. Suppose 2*g + 3*w = -g - 12, 4*g - m = w. Which is smaller: i or g?
g
Suppose -m + 0 = 4, 0 = 5*h - m - 9. Suppose -8 = 4*g + 4*s, 2*g + 0 = -5*s - h. Which is smaller: -2 or g?
g
Let z be (1/(-4))/((-2)/8). Let y be z/(-2)*(-48)/1. Let a be (6/8)/((-3)/y). Which is smaller: -5 or a?
a
Let q(h) = h**3 + 7*h**2 + 2*h - 4. Let w be q(-6). Suppose 0 = w*p - 25*p. Which is smaller: -2 or p?
-2
Let v = 0.6 + -4.6. Let s = 3.6 + v. Let b = s - -0.3. Which is smaller: 1/2 or b?
b
Let g = 2.9 - 0.9. Let z = -1.8 + g. Let p = z - 0. Is 4 at least as big as p?
True
Suppose -3 = -h + 4. Suppose -t - h = -4. Let x(l) = -2*l**3 + l - 1. Let u be x(1). Is t < u?
True
Let q be ((-6)/((-162)/1))/(26/(-12)). Which is greater: q or 1?
1
Suppose 3 = -5*g - 22. Let y(a) = -a**3 + 6*a**2 - 7*a + 6. Let v be y(5). Which is smaller: v or g?
g
Let n(d) = d**2 - 6*d + 5. Let b be n(5). Suppose 0*h - 2*h = b. Let k = -21/80 + 1/16. Which is bigger: h or k?
h
Suppose -4*d - 69 = 639. Let m = d - -2656/15. Which is bigger: 1 or m?
1
Let z = 10 + -12. Let f be (z/10)/((-8)/15). Which is greater: f or -1/4?
f
Let d = 8 + -86/11. Let p(f) = -f**3 + 3*f**2 - f - 1. Let q be p(2). Which is bigger: q or d?
q
Suppose -9 = -2*i + 2*x + 7, -4*x = 4*i + 8. Let u(a) = -a**3 - 6*a**2 - 5*a. Let k be u(-5). Is k greater than i?
False
Let t be -2 - 16/(-1 + -3). Which is greater: t or 3?
3
Suppose 0*h - 3*h = 4*a + 5, 0 = -5*a - h + 2. Is a greater than or equal to 3/14?
True
Suppose -g = 2, 3*s + 0*s - g = 5. Is s <= -2/79?
False
Let k = 0.07 + 0. Let w = -14.13 - -14. Let t = k - w. Is -3/4 less than t?
True
Let m(d) = -d**3 + 6*d**2 - 3. Let n be m(6). Is n >= -3?
True
Suppose 26 = -3*u - 5*f, -20 = -u + 5*u + 3*f. Let l(t) = t**2 + 6*t - 2. Let g 