et k be v(1). Let i be (-1)/3 + 282/(-9). Let u = k + i. Is u >= -1?
True
Suppose 0 = 3*i + 2*g + 8, 4*g - g = 2*i - 12. Is 2/25 > i?
True
Let c be -3*4/2682*3. Let k = 288/745 - c. Suppose 15 = -11*y + 4. Which is bigger: y or k?
k
Let o(s) = s + 7. Let g be o(-5). Suppose 0 = -0*j + g*j. Let f be -1 - (-6)/8 - j. Is 1 < f?
False
Let w = 5.2 - -1.8. Let q = w + -6. Is q smaller than -4?
False
Let h = 123 + -17587/143. Which is smaller: h or 0?
0
Suppose -5*x - 13 = 2*s, -12 = 4*x - 2*s + 2. Suppose 5*f = 15*f. Which is bigger: f or x?
f
Let l = -3 + 0. Let x = l - -3. Let i be ((x + 0)/(-1))/(-2). Is 1/3 bigger than i?
True
Suppose -h + 0*h + 4 = 0. Suppose 27 + 8 = 5*y. Which is greater: h or y?
y
Let i be (-210)/(-4)*(-20)/15. Let k be 4741/i - (-5)/(-25). Let w = -68 - k. Is -1 greater than w?
False
Let v(o) = o**3 + 16*o**2 - o - 22. Let i be v(-16). Let z be i/(-3) + (-3 - 0). Is 1 equal to z?
False
Let v(l) = -l - 10. Let p be v(-9). Let h = -11 + 8. Which is smaller: p or h?
h
Suppose -o = -5*f + 15 + 5, 2*o - 25 = -3*f. Suppose 2 = -4*c + 2*s - 4*s, 0 = -5*c + 4*s + 30. Let q = c - o. Is -5 != q?
True
Let j = 63 - 62.81. Are -0.2 and j nonequal?
True
Let h = 62.3 + -62. Which is greater: -0.8 or h?
h
Let i be 0 - 0 - 3*-9. Suppose 0*y + 2*y - 3 = -l, 0 = 5*y - 4*l - i. Suppose -5*h - 13 = -3*s, 3*s + y*h = 6*s - 3. Is -1 > s?
True
Let c(w) = -4*w**3 - w**2 + 2*w - 1. Let r be c(1). Is r at least -13/5?
False
Let k = 2 + -2.1. Let c = -9 - -9. Which is smaller: k or c?
k
Let x = 11 - 12. Are -12 and x non-equal?
True
Let g be (-38)/8 + (-3)/12. Let m be g/(-25) - (-714)/5. Let p = -1575/11 + m. Which is bigger: p or 0?
0
Let x be (-4)/(-16) + 99/(-12). Which is smaller: -3 or x?
x
Let j = 9 + -15. Let f be j/3*(-2)/(-4). Let c = 33/14 - 269/126. Which is smaller: c or f?
f
Let i be 3 + 1 + -2*1. Let w(q) = -2*q + 5*q**i + q - 3*q**2. Let m be w(1). Is m greater than 1?
False
Let o(y) = 3*y + 3. Let g be o(-2). Which is greater: g or 5?
5
Suppose -16 = -6*z + 4*z. Is 2/15 equal to z?
False
Suppose 7*z - 5*z - 2 = 0. Suppose 0*c + 5*c - 70 = 0. Suppose -n = g + z, -4 = -5*g - 4*n - c. Do -6 and g have the same value?
True
Suppose 63 = -3*w + j, 3*w + 4*j + 75 = j. Let i be 18/(-22) - (-4)/w. Which is greater: -2/7 or i?
-2/7
Let y = -27.1 + 27. Which is greater: -0.04 or y?
-0.04
Let l be 1*(-1 + -2 - -3). Suppose 0 = 5*b + 2*a - 13, 16 = -4*b - l*b + 5*a. Which is bigger: b or 3/7?
b
Let m be (-6)/16 + -2*1281/(-48). Is 54 at most as big as m?
False
Let u = 10 + -16. Let x = 12 + u. Let h be 2/(x/(-7)) - -2. Which is smaller: -1 or h?
-1
Suppose -3*f + 18 = 3*f. Suppose 8*s = 5*s - f. Is -1/32 not equal to s?
True
Let j be ((-3)/(-2))/(3/(-4)). Let m = 1 + j. Let o be 4/(-10)*20/28. Is m less than or equal to o?
True
Let g(o) = 2*o**2 + o - 1. Let w be g(-1). Let s(y) = y + 2. Let m be s(-4). Which is smaller: w or m?
m
Let s be -1*(0 + 11) - -1. Let i be 6/(-24) + s/24. Is i bigger than 3/2?
False
Let s = -0.2 - 0. Let v = s - -2.2. Let k = 2 - v. Which is smaller: -1/4 or k?
-1/4
Let f be 2/(-5 + (-56)/(-20)). Is f bigger than -1?
True
Let d = 9.11 - 9. Let g = d + -0.01. Which is smaller: g or -2/5?
-2/5
Let m = 8 - 3. Let l = -2 + m. Is 2 greater than or equal to l?
False
Suppose -2*r + 170 = -0*r. Let p = r - 167/2. Is 2 at least as big as p?
True
Let h = 123.1 + -123. Let l = 17 - 25. Let s = l - -8.3. Which is bigger: s or h?
s
Suppose 5*n - 51 = 49. Let j = n + -19. Which is bigger: j or 3?
3
Let y be 1/(90/44 - 2). Let b be (-9)/(-3) - (0 + 2*-1). Suppose -p + b*z = p - y, -4*p + 3*z + 16 = 0. Is p smaller than 1/3?
False
Let x = -131/258 + 1/129. Are x and -22 equal?
False
Let h(j) = -j**2 - 10*j - 2. Let d be h(-10). Let k be (d/(-6))/((-14)/(-6)). Is k equal to 0?
False
Let o = -120 + 77. Which is smaller: -44 or o?
-44
Let o be ((-12)/(-16)*2)/((-28)/(-8)). Let d = 0.3 + -0.4. Is o < d?
False
Suppose 2*w + 2 = 0, -2*w + 31 = m - 4*m. Let f = m + 11. Let o(v) = v**3 + 3*v**2 - 3*v + 4. Let x be o(-4). Is f <= x?
True
Suppose 9*i - 4*i - 15 = -5*q, 2*i + 5*q = 18. Let k be (((-12)/(-9))/(-4))/(-3). Is k at most i?
False
Suppose -u + 16 = -9*u. Which is bigger: u or 1?
1
Let v = 5 + -11. Let c be (8 - 5)*2/v. Let p be (c/6)/((-1)/2). Is p at least 1?
False
Let d = -1 - 1. Let m = 3 - d. Let w = m - 4. Which is bigger: w or 0?
w
Let f(p) = -p - 4. Let k be f(-2). Let r = -19 + 19. Is r at least k?
True
Let o = -18 - -25. Let h = 27 - o. Suppose 0*r - 5*r - h = 0. Which is smaller: r or -2?
r
Let j = -163/12 - -40/3. Let n = -6 - -7. Is n > j?
True
Let h be ((5 - 3) + -1)/1. Let x be (23 + h)*(-2)/4. Let v = -3 - x. Is v >= 10?
False
Let d = 2 + -3. Let j be (2 + -3)*(-5 - 1). Let p be (-2)/j - (-4)/6. Is p greater than or equal to d?
True
Let m = -0.3 + 0.2. Let f = 0.4 - m. Let x = -0.5 + f. Which is greater: x or -0.2?
x
Let k(x) be the third derivative of x**5/60 - x**4/24 + x**3/6 + 2*x**2. Let u be k(1). Are u and 2/29 unequal?
True
Let x = -1.29 - -2.59. Which is greater: -1/2 or x?
x
Suppose -3*d - 7 = 17. Let l = -19 - d. Let s(w) = w**2 + 10*w - 13. Let c be s(l). Is -2/3 != c?
True
Let x(a) = 2*a - 8. Let i be x(6). Suppose 0 = 3*j - 4*r + 36, -j - i*r + 3 - 15 = 0. Is j greater than or equal to -12?
True
Suppose -2 = 10*b - 11*b. Is b less than 2?
False
Suppose 2*n + 4*k - 12 - 14 = 0, -3*n = 2*k - 19. Let b(u) = -7*u - 3. Let h be b(-1). Is n greater than h?
False
Let p = -6 + 8. Suppose -p*l + 5 = -l. Is 5 greater than l?
False
Let o = -5183 + 57083/11. Let r = -4643542/55 + 84434. Let g = r - o. Is g bigger than 2/9?
False
Let b = 0.08 - -3.92. Let a = 8 - b. Let g = 4 - a. Do -0.7 and g have different values?
True
Let j(d) = -d**3 + 5*d**2 + d - 7. Let h be j(5). Is h less than 6?
True
Suppose 2*u + 0*f + 5*f - 80 = 0, 3*f - 102 = -3*u. Suppose 0 = 2*j + 2*d + u - 80, -5*d = j - 45. Suppose 0 = -w - 3*w + j. Is 5 at least w?
True
Let w = 19/42 + -2/7. Let m be (2/44)/((-2)/(-8)). Is w at least as big as m?
False
Let l(d) = 7*d + 20. Let h be l(-8). Is -35 >= h?
True
Let w be 0 + 4/(2 - -2). Is -2/33 less than w?
True
Suppose 8 = -j - 3*m, -m + 9 = -4*m. Do j and 1/17 have the same value?
False
Let k(y) be the second derivative of -y**5/20 + y**3/6 - y**2 - 3*y. Let a be k(0). Which is bigger: a or -8/3?
a
Let s(u) = -u**2 + 20*u + 22. Let z be s(21). Suppose -7 = -3*p - 1. Which is greater: p or z?
p
Let x(w) = 4*w**2 + w. Let q be x(-1). Suppose -q*n = n - 4. Is 1 less than or equal to n?
True
Suppose -3*m = -4*y + 9, -4*m - 20 = -5*y - 9*m. Let r = -1 + 4. Let b be r/(1 + -4)*-1. Which is smaller: y or b?
b
Let u be -1*5/15*(1 + 0). Let b = -16 - -8. Is b at most as big as u?
True
Let c be -1 + -1 + (0 - -4). Let i = -4 + c. Let y = 23 + -24. Which is greater: y or i?
y
Let i(g) = g**2 + 7*g + 5. Let o be i(-6). Let p be (-6)/(-6) + 3/(-2). Is o bigger than p?
False
Let w = -0.35 + -0.67. Let d = -1 - w. Let g = d - 0.42. Is 1 <= g?
False
Let l be 10/(-45) - (-303)/27. Which is greater: 12 or l?
12
Let l(i) = 5*i**2 + i. Let q be l(-1). Suppose q*o + 11 + 9 = 0. Let t be 14/o + 2/(-10). Are t and -1 equal?
False
Let l(x) = 437*x**3 - x**2. Let z be l(1). Let v be 5/((-550)/z) + 4. Is v greater than or equal to -1?
True
Let x = 0 - 1. Suppose 4 = 4*f - 4*i, -3*f - 5*i - 5 = f. Let t = 0 + f. Which is smaller: x or t?
x
Suppose -3*w + 2*d + 52 = -31, 0 = 5*w - 5*d - 135. Let l be w/50 - 2/4. Is 0 > l?
False
Let m = -7 - -13. Let a be m/39 - (-22)/26. Is -1 less than a?
True
Suppose b + 5*x = -11 - 6, -3*x - 12 = 0. Let k(l) = 6*l + 1. Let a(g) = 5*g + 1. Let p(y) = 7*a(y) - 6*k(y). Let d be p(-2). Is d < b?
False
Let l be (1*-1)/((-240)/81 - -3). Which is smaller: l or -25?
l
Let b be 3 + -3*1/(-3). Suppose -2*x = -j, 1 + b = x + 2*j. Let o = -230/21 - -86/7. Which is bigger: o or x?
o
Suppose 0 = g + 2*g + 18. Let b(v) = -v**2 - 5*v + 13. Let h(j) = -1. Let x(z) = -b(z) - 5*h(z). Let a be x(g). Do a and -2 have different values?
False
Let k = 60/259 + 2/37. Let h be (-1 + 3)*(-2)/4*0. Is h less than or equal to k?
True
Let n(k) = -k**2 - 4*k. Let u be n(-2). Suppose -2*v = -7*v + 25. Which is greater: u or v?
v
Let y(m) = -m + 10. Let d be y(9). Is d bigger than -2/13?
True
Let u = -2 + 6. Suppose 0 = u*m -