/(-2*(-2)/8). Suppose 4*f = -h*v + 24, v + 3 = -3*f + 4*f. Is 3 greater than or equal to v?
True
Suppose 0*r = 2*r + 4*t - 64, 20 = 5*t. Does 24 = r?
True
Let a(c) = -c**3 - 3*c**2 + c + 1. Let w be a(-3). Let k = -1 - w. Let i = -1/5 - -1/30. Is k at most as big as i?
False
Let t be 3 + (1 - 3) + 2. Suppose 5*g = 2*f - 4, -3*g + 1 - 7 = -t*f. Is g less than 0?
False
Let d = 16.4 - 0.4. Which is bigger: 0.1 or d?
d
Let r = 13 - 5. Let z be 4/r + 1/10. Is 2 >= z?
True
Let v be (6/(-3))/(-2)*1. Let p = v - -3. Suppose p*q + 0*m - 12 = 3*m, 4 = -5*q - m. Is q less than -2/7?
False
Let g be (0 - 1)*(6 - 10). Suppose 3*a - 2*z = 2*a - 4, g*a + z + 7 = 0. Which is smaller: a or -1?
a
Let p = -1 - -2. Let b be -1 - 0 - (-38)/35. Let q = 2/7 - b. Is p != q?
True
Let v = 154/13 - 12. Let r(x) = x**2 - 8*x - 8. Let a be r(9). Suppose 10 = 5*u + 5*w, -w = 2*u - 0*w - a. Which is bigger: v or u?
v
Let p = -93224 + 77841018/835. Let h = -4/167 - p. Is h bigger than 1?
True
Let c(i) = i**3 + 3*i**2 - 7*i - 6. Let r be c(-4). Which is smaller: r or 0?
0
Suppose -3*m + 4*d + 6 = -4*m, -2*d - 6 = 2*m. Let v(a) = 2*a**3 + 3*a**2 + 2*a + 3. Let u be v(m). Let h = -4 - u. Is h <= 1/4?
False
Suppose 4*k = 4*m + 3 + 1, -3 = -k - m. Suppose 0*f + 3*x = -k*f + 17, 3 = x. Is f < 3?
False
Let d be (-2)/(-6) + 32/(-6). Let u be d/(-4) + (-1 - 1). Which is smaller: u or -1?
-1
Let l = -31 - -30. Is l at most as big as -2/21?
True
Suppose -2*q + 0*q - 4 = 0. Is q greater than -8?
True
Let k(w) = -w. Let x be k(0). Let g(o) = -o**3 + 10*o**2 - 7*o - 10. Let m be g(9). Let c = m - 10. Which is smaller: x or c?
c
Let u = 0.05 + 2.95. Let m = u - 1. Let s = 4 + -4. Which is greater: m or s?
m
Let f = 12487/3473 - 83/23. Which is smaller: f or 1?
f
Let s = -81 - -79. Is s != -13?
True
Let t be ((-20)/(-8))/((-3)/2). Which is bigger: -2 or t?
t
Suppose 0 = -r - 5*c + 4 + 7, 3*r = -2*c + 7. Let q = r + 4. Suppose q*y - 17 = -7. Are 2 and y equal?
True
Let o(b) = 2*b**2 + 5*b - 4. Let s be o(-4). Let d = s + -4. Is 3 <= d?
True
Let b = -53 + 54. Let c be ((-1)/(-5))/((-14)/(-4)). Are c and b unequal?
True
Let t be (1 - 1)/(-1 - -2) - -2. Is t < 6?
True
Let o = 103612/11 - 2626771/297. Let x = 575 - o. Is x < 0?
False
Suppose 3*p = -3*p + 5*p. Is -2/43 smaller than p?
True
Let y = 0 - -2. Suppose 0 = 2*z + 2*i + 4, y*z - 11 = 5*z + 4*i. Suppose -3*f + 10 = 4*r, -5*r = f - 5*f + 3. Which is bigger: f or z?
z
Suppose 0 = 2*u - 2 - 2. Let m be (-1)/u - 4/(-24). Which is smaller: m or 2/7?
m
Let h be 6/(-6) + (-12)/(-10). Is 1 less than or equal to h?
False
Let y = 2 - 3. Let w = 373/6 + -62. Is w <= y?
False
Let c = 9 + -10. Let n be ((-9)/42)/((-6)/8). Is n greater than c?
True
Let k = 28 - 25. Suppose -h = k*h - 8. Suppose -3*l = -8*l - n + 12, 0 = -2*l - 2*n. Is h smaller than l?
True
Let y(p) = p + 15. Let o be y(-10). Suppose -2*j + 5*j = 5*d - 23, 4*j = -4*d + 12. Is d equal to o?
False
Let f be 184/(-72) - -4 - (3 + 0). Is -3 equal to f?
False
Let f = -0.1 - -0.1. Let u = 0.153 + -0.053. Is u bigger than f?
True
Suppose 0 = -4*f - f. Suppose -3*s - 3*v = -0*s - 15, f = -4*s + 4*v - 20. Suppose -2*r + 0*r - 2 = 0. Which is smaller: s or r?
r
Suppose -6*w + w - 5 = 0. Let r be w/4*24/27. Is -1 less than or equal to r?
True
Let d(v) = -4*v - 2. Let m be d(4). Let s be ((-3)/m)/(2/4). Let n(z) = z**3 + 6*z**2 + z + 7. Let p be n(-6). Which is bigger: p or s?
p
Let g = -99 - -48. Let l be g/(-36) + 4/(-6). Which is greater: l or 0?
l
Let q = 2 + -3. Let r be -2 - (-6 + 3 - (-29)/27). Is q at most as big as r?
True
Suppose -3*u = -9*u + 96. Is 15 > u?
False
Let k = 35 + -41. Which is smaller: -8 or k?
-8
Suppose 0 = -0*i + 4*i - m - 2, 0 = 2*i - m. Let c = 2 - i. Let t = 9 - 7. Is c smaller than t?
True
Let d = 0.71 - 0.732. Which is bigger: d or -1/2?
d
Let f be ((-1)/(-8))/(12/(-80)). Let c = 13 + -13. Which is smaller: f or c?
f
Let j be (-25)/9 + (-2 - -5). Which is smaller: j or 0?
0
Let k be 1/3 + 5/3. Let t be (-4)/(-48)*4*9. Suppose k = 5*b - t*b. Which is greater: b or 2?
2
Let x = -18 - -21. Let a be (-1)/1 + x + -3. Which is greater: a or -6/13?
-6/13
Let w be 3/4*168/1. Let d = 75973/7 + -10727. Let o = d - w. Is -2/5 <= o?
True
Let n be 0 - 1 - (-3 + 0). Let u(x) = x**2 - 2. Let z be u(n). Which is smaller: 0.1 or z?
0.1
Let u = 0.3 + -0.1. Let s = -0.1 + u. Let j(d) = -d**3 - 2*d**2 + 3*d - 1. Let k be j(-3). Which is greater: s or k?
s
Suppose 4*i - 25 = 7. Does i = 8?
True
Let u(a) = a**2 - 1. Let y be u(2). Suppose -2*f + y = -5*f. Let t = 217 + -217.4. Which is smaller: f or t?
f
Let v be -3 + (-112)/(-36) + 0. Let q = -5/9 - v. Is q equal to 2/7?
False
Suppose 0 = 13*r - 20*r - 35. Which is smaller: r or -3?
r
Suppose 2*x - v = 5, 5 = -2*v - 1. Which is smaller: x or 0.1?
0.1
Let t be (-3)/(0 - -1) - -8. Which is smaller: t or 7/2?
7/2
Let z = 0.2 + -0.14. Which is smaller: z or -1/4?
-1/4
Let o(d) = 2*d - 7. Let n be o(5). Let s(k) = k**2 + 7*k + 4. Let l be 0 + (-14)/(6/3). Let a be s(l). Is n < a?
True
Let d(q) = q**2 - q - 7. Let n be d(3). Which is bigger: -2 or n?
n
Suppose -2*r + 3*r = 2. Let k = r - 1. Let f(h) = -h - 3. Let g be f(-4). Are g and k equal?
True
Let a be 2/((-27)/21 + 1). Is -2/3 less than or equal to a?
False
Let c(l) = l**3 + 15*l**2 + 9*l - 13. Let f be c(-14). Is 57 less than f?
False
Let s = 32 + -23. Suppose 2*y - 2 = 3*p - s, -3*p - 5*y = 28. Let c = 2/37 + -43/111. Which is bigger: c or p?
c
Let i be (-7)/105 - ((-14)/10 - -2). Is -0.1 < i?
False
Let g = 283/28 - 69/7. Which is smaller: -2/3 or g?
-2/3
Suppose 0 = 197*t - 202*t - 55. Is t less than -9?
True
Let x = -2 + -12. Is x < -14?
False
Let b(z) = 2*z**2 - z - 7. Let m be b(-2). Is m < -1.5?
False
Let t(u) = u**3 + 6*u**2 - 6*u + 9. Let q be t(-7). Let s(j) = -2*j**2 + 3*j. Let i be s(q). Let o = 4 + -6. Is i greater than or equal to o?
True
Suppose -w = w. Is w smaller than -1/19?
False
Let j = 1109 - 65433/59. Is 1 greater than or equal to j?
True
Let i(q) = q**2 + 9*q + 5. Let m be i(-4). Let b be (20/m)/(4/(-6)). Is b != 3?
True
Let y = 0.08 - 0.1. Which is greater: -0.2 or y?
y
Let p = 233/3 + -77. Let f(j) = -j**2 + 7*j + 7. Let x be f(7). Let r be (-2)/x - 2/(-7). Is r less than or equal to p?
True
Let c be (-3)/(-1 - -4) + 2. Let j(b) = -b + 0*b - c + 0. Let f be j(-1). Which is greater: -1 or f?
f
Let m = 13.3 - 13.2. Which is smaller: m or 17?
m
Suppose -12 = p + 3*p - 2*q, 0 = -3*p - q - 4. Let c be (1 - 1)/((-2)/p). Suppose c*v = v. Is 2/17 > v?
True
Suppose -3*u + 2 = -b, -2*b + 4*u + u = 4. Is -5/2 smaller than b?
True
Let o = -0.71 + -0.09. Let d = o - -0.5. Let z = 1 - 1.1. Which is greater: d or z?
z
Let u = -1.04 + 5.94. Let j = u - 5. Let g = -1 + 1.2. Is j smaller than g?
True
Let x(t) = 66*t**2. Let r be x(1). Let m = r - 730/11. Is 1 <= m?
False
Let w be 0 - (-18)/4*(-32)/12. Which is bigger: -58/5 or w?
-58/5
Let v(s) = -s - 1. Let i be v(-1). Suppose 3*l = 5*y + 11, -19 = y + 5*l - i*l. Let u be (-17)/35 + y/(-20). Which is smaller: u or -1?
-1
Let k = 61 - 119/2. Which is greater: k or 2?
2
Let w(u) = -u. Let q be w(6). Let o be (9/q)/(15/(-6)). Which is greater: o or 2?
2
Let g = 1 + 1. Let a be 16/84*3/(-2). Which is smaller: a or g?
a
Let c(u) be the third derivative of u**6/120 + u**5/20 + u**4/24 - 2*u**2. Let y be c(-2). Let z be (-6)/4 + y + 0. Which is greater: 0 or z?
z
Let j be (-45)/217 + 7/49. Let n be (-313)/(-434) + (-2)/7. Let o = n - j. Which is smaller: 1 or o?
o
Suppose -f = 4*f - 25. Suppose c + 2 = i + 3, f*i = 10. Let y be c/(-9)*0 + 3. Is y smaller than 3?
False
Suppose 2*x + 16 = 2*j, -x = 1 - 5. Suppose -8 = -j*q + 8*q. Which is greater: q or 5?
5
Let q = -3 - -5. Let z = q - -3. Suppose -3*t - 5*m - 21 = 0, 2*t - z = 6*t - m. Is -2 at least as big as t?
True
Let l be 1/4 + 225/220. Let q = l - 53/33. Is q < -1?
False
Let b = 26 + -25.9. Let w = 4 - -1. Suppose -5*n = -w*z + 30, -4*n + 0*z = -z + 15. Is n less than b?
True
Suppose -5*q + 30 - 6 = -t, -13 = -3*q + 2*t. Suppose -q*p = -3 - 2. Is 2/7 at least p?
False
Let q be 4/21*-3 - (-4)/7. Which is bigger: q or -5/31?
q
Let m be (-27)/9 + 2*659/438. Is -1 at least as big as m?
False
Let o(v) = v - 4. Let q be o(3). Which is smaller: 1/4 or q?
q
Let k be 3 - 1 - (1 + -17). 