-l = 2, h + 2*l = 5*h - 8. Let z be (15/66)/(2/8). Let i = z - 29/44. Do h and i have different values?
True
Let a = -70972/411 - -518/3. Do 1 and a have different values?
True
Let c = -133 + 141. Is 15/2 at most as big as c?
True
Let k be (-238)/59 + 2 + 2. Let a = 0 - -1. Is k bigger than a?
False
Let b(k) be the first derivative of -2 - 5*k + 1/2*k**2. Let n be b(5). Which is smaller: n or 1?
n
Let i = 0.3 + -0.2. Let n be (-35 - 1)/(-1 + 0). Let s be 64/n - (2 + 0). Which is greater: i or s?
i
Let v = 112.5 - 113. Let h = -2.2 - 1.3. Let y = h + v. Which is smaller: y or -1?
y
Suppose 5*q - 7*z - 45 = -3*z, 2*q + 5*z + 15 = 0. Let w be (q + 0 + -1)*-1. Let u = 1 - 5. Does w = u?
True
Suppose -7*b = -2*b - 20. Suppose 0 = -4*r - 4*o + 8, r - 6 = 3*o + 8. Suppose r*u = b*u. Which is greater: u or 2/9?
2/9
Let y(h) be the first derivative of -h**2/2 - h - 4. Let u be y(-6). Suppose u*q = -i + 16, q - 18 = -3*i - 4*q. Is i equal to -2/17?
False
Let h(t) = -t**2 - 4*t - 1. Let d be h(-3). Suppose 3*m + 3 = -3. Let i be (-2 - m)/(-2) + 0. Which is greater: d or i?
d
Let r = 34 + -31.2. Let n = 3 - r. Is -10 >= n?
False
Let z(w) be the second derivative of w**4/12 - 5*w**3/6 - 3*w**2 + 2*w. Let o be z(6). Is o <= 1?
True
Let a = -7/8 - -3/8. Is a smaller than -0.9?
False
Let l be ((-121)/(-11) - 26)*(-3)/5. Let a be -1 + 2/((-4)/10). Let k be 1/3 + (-2)/a. Is k equal to l?
False
Suppose -17 = -4*o - 13. Which is smaller: -1/110 or o?
-1/110
Let z be -5*6/(-9)*-3. Let u(s) = -s**2 - 11*s - 6. Let x be u(z). Suppose 3*r - g + 13 = 0, 9*r + 5*g - 5 = x*r. Which is greater: -4 or r?
r
Let j = -7 + 3. Let d(r) = 1 + 3*r + r**2 - 1 - 5. Let m be d(j). Is m <= -0.1?
True
Let n = 0.5 + -0.51. Let k = n + 0.41. Let r = k - 0.4. Which is bigger: 2 or r?
2
Let n(x) = -x**3 - 2*x**2 + x - 2. Suppose 3*y - f + 13 = 0, -y = -5*f + f + 19. Let u be n(y). Let i be (-14)/(-3) - 1 - 6/9. Which is bigger: u or i?
u
Let g = -1 - 2. Let d = -1.4 - 1.6. Let w = d - g. Which is smaller: w or 2/5?
w
Suppose -2*h - 5*a + 5 = 2*h, 0 = -5*a - 15. Let k = -3 + h. Is 2 equal to k?
True
Let p(v) = -v + 2. Let c be p(0). Let b(t) = -3*t + c*t**2 + 0*t**3 - t**3 + 3 + 0*t**3. Let y be b(2). Which is smaller: y or 2/7?
y
Let f be (-14)/18 - (-9)/3. Which is greater: f or 1?
f
Let s = 2.6 - -29.4. Does s = 1?
False
Let x be (4 - 3 - 0) + (3 - 1). Let b be (0 - (0 + 3))/(-1). Is x equal to b?
True
Suppose -4*s - 28 = -4*t, -s - 2*t + 4 = 8. Is s <= -5?
True
Let v = 13 + -8. Let s be 3 + v/(35/(-22)). Which is bigger: s or 0.2?
0.2
Let q = -74 - -83. Is 10 at least as big as q?
True
Let g be -1*(-15)/(-5) - -3. Which is smaller: -4/5 or g?
-4/5
Let s be (-2)/14 - 12/42. Let d = 3 - 1. Suppose -b - 2*a - 6 = -d*b, -b = 4*a + 12. Is b > s?
True
Let j = -139 + 140. Is -4/45 > j?
False
Let q be (-142)/(-12) + (-2)/(-12). Let i = 19 - q. Let f(j) = -j**3 + 7*j**2 + 1. Let a be f(i). Which is bigger: a or 2?
2
Suppose d - 7 = -3*w, 0 = -4*d + 4*w - 3 - 1. Suppose 0 = l + i - 2 + 3, -3*l + 5 = -5*i. Which is bigger: l or d?
d
Let d = 0.047 + 0.183. Let q = 0.03 - d. Let h = 0.1 + q. Which is greater: h or -0.3?
h
Suppose 0 = -2*k + k. Is k < 3/17?
True
Let d(b) = -b**2 + 23*b - 42. Let v be d(21). Let m be 0*((-1)/(-2))/(-1). Is v at least m?
True
Let t = 794/21 + -94/21. Let q = t + -33. Is q at most 0?
False
Let g = -11 - -10. Which is smaller: g or -5?
-5
Let q(s) = -2*s + 3. Let w be q(3). Let y be (-93)/w + 1 + 1. Let t = 100/3 - y. Is t < -2?
False
Let g = -81 - 29. Let t be (4/g)/(1/5). Suppose x - 3*s - 12 = s, 2*s = -5*x - 6. Is x > t?
True
Suppose 5*d = -0*d + 4*q + 55, 0 = d + 3*q - 11. Suppose -d = -4*o - 3. Let m(i) = -i**2 + 6*i - 3. Let j be m(5). Are j and o nonequal?
False
Suppose -2*g + 2*x + 9 = -7, 20 = 2*g - 4*x. Suppose -5*y + g = -2*y. Is 1 > y?
False
Suppose 3*w - 26 = -2*w - 4*i, 2*w = -i + 8. Suppose 3*h - 4 + 1 = 0. Let g be -2 + (h - (w - 4)). Which is greater: g or -2/7?
g
Let n be -8 - (1 - 4 - -2). Let x = -30 - -22. Let j = x - n. Is j less than -2?
False
Let n = 8 + 6. Let z be 3/4 - n/8. Are 0.2 and z unequal?
True
Let i = 11 + -18. Let z be (1 - 0) + 17/i. Is z > -2?
True
Suppose 10 = 3*o - 14. Let x(g) = g**2 - 6*g - 17. Let c be x(o). Which is bigger: c or -1/9?
-1/9
Let u = 5 - 0. Let t = u + -4. Let k = 0.1 - 0.2. Which is smaller: t or k?
k
Let w be 0 + (-4)/((-8)/10). Let s(i) = -i**3 + 5*i**2 + 5. Let n be s(w). Let f = n + -3. Are f and 5/2 non-equal?
True
Let h be -1 + (-7)/(-10)*1. Which is smaller: 1 or h?
h
Suppose 0 = y - 5*w + 27, -4*w - 7 + 19 = 4*y. Let v(s) = -s**2 + 7*s - 9. Let b be v(6). Let u be ((-6 - b)*-1)/(-4). Which is smaller: u or y?
y
Let z = 4268/14099 + 1/613. Let n = -3/161 + z. Which is bigger: n or 3/4?
3/4
Let i(h) = 14*h + 1. Let o be i(-3). Let p be o/4 + 2/8. Is p less than or equal to -11?
False
Let r be 2/11 - (-40)/22. Suppose 6 = r*o - 0*o. Which is greater: 2 or o?
o
Let r(k) = k**3 + 9*k**2 + 9*k + 9. Let z be r(-8). Let p be (-1)/(18/(-21) + z). Let l = 7 + p. Which is bigger: l or -2/19?
l
Let j be (-7 + 1)*(-3)/33. Let x(f) = -3*f - 10. Let z be x(-4). Which is greater: z or j?
z
Let n = -1.1 + 0.1. Let d(v) = -v**3 - 5*v**2 + 6*v + 5. Let h be d(-6). Let t be 1*4*h/(-20). Is n bigger than t?
False
Let f be (-1)/4*1*-4. Let v be (f/(-1))/((-44)/8). Let m = 2 - 1. Which is bigger: m or v?
m
Let d(f) = f - 5. Let t be d(4). Let b be 3/(-2) - (0 + t). Let k = 2.008 + -0.008. Which is bigger: k or b?
k
Let q(v) = -v + 7. Let k be q(7). Suppose 3*g - 6 = k, -2*f + 4*g = 6 + 14. Is f bigger than -4?
False
Let l = 1 + 7. Let x be ((-3)/(-10))/((-6)/l). Which is bigger: x or -2/7?
-2/7
Let c = -45 - -46. Which is greater: -1/16 or c?
c
Suppose -5*u - 3 = -2*u. Let o be u/(22*(-3)/(-12)). Is o at least 0?
False
Suppose 0 = 3*g - 4*g + 1. Let h = 5337/19 - 281. Which is bigger: h or g?
g
Suppose -4*b = -7*b - 105. Let h be 8/28 - 18/b. Which is greater: 0 or h?
h
Let f = 7 + -6. Suppose 2*l + 6 = 4*j, -3*l - f = -3*j + 5. Are -2/19 and j unequal?
True
Let r = 5 - -22. Is r at least 26?
True
Let t(d) = -d**3 - 4*d**2 - 3*d - 4. Let k be t(-3). Is k less than or equal to -4?
True
Let o(c) = c**2 + 2*c + 2. Let l be o(-3). Suppose l*b - 4 = -9. Do b and -2/3 have the same value?
False
Suppose -v - 8 = -5*p, v + 2 = 2*p - 0. Suppose -h - 4 = -4*h + 4*r, -3*r - v = -2*h. Suppose 3*j = -0*s - h*s + 9, -15 = -5*j. Which is bigger: 2/11 or s?
2/11
Let d = -41.2 + 38. Is -2/5 smaller than d?
False
Let l be ((-6)/(-21))/((-45)/105). Is l at most -1?
False
Let p(w) = w**2 + 8*w + 6. Let x be p(-7). Which is smaller: x or -2?
-2
Let y(n) = n**3 - 9*n**2 - 11*n + 5. Suppose 2*h + 8 = 2*x + h, -4*x - 3*h + 6 = 0. Let o be (-15)/(0 - x/2). Let i be y(o). Which is bigger: -6 or i?
i
Let g = -15 + 11. Let c = 0.01 - -4.99. Let n = g + c. Is 2/5 greater than or equal to n?
False
Let p = -541496/201 + 2694. Which is greater: p or 1?
1
Suppose -2*h + 3*s + 6 = -h, -3*h - 4*s - 34 = 0. Which is smaller: h or -3?
h
Let f be (-5)/(15/2)*3. Let x be ((-1)/f)/((-10)/(-12)). Is x > 1?
False
Suppose 0 = 4*z + 13 - 13. Is 1/127 >= z?
True
Let h = -18 - -11. Let q be (-2)/6 + h/(-3). Which is smaller: q or 1/2?
1/2
Suppose -14 = o + 4*n, 3*o - 3*n - n + 74 = 0. Which is greater: -23 or o?
o
Suppose 0 = 5*j - 2*j - 84. Let y be j/16 + 2/8. Which is smaller: 1 or y?
1
Let t = -244/117 + 30/13. Suppose 4*h + 5 - 21 = -x, -2*x - 8 = -2*h. Suppose 5*w = -5*m - 26 - h, 4*m = 5*w - 15. Is t less than w?
False
Let m = 0.02 + 0.18. Let l = -0.2 + m. Which is bigger: l or 0.4?
0.4
Let b(j) = -j**2 + 5*j - 1. Let o be b(4). Let n = o + -2. Let a = -14 + 15. Is a at most as big as n?
True
Let g = 49/73 + -6499/438. Which is bigger: g or -14?
-14
Suppose 75 = -5*p + 75. Which is smaller: 2/153 or p?
p
Let c be 6 - 6/(-3) - 2. Let b be (2/3)/(c/81). Let r be (b/6)/((-21)/(-4)). Which is smaller: -1 or r?
-1
Let v = 11.911 + 0.089. Is v != 1?
True
Suppose -3*d + 0*d = -6. Suppose 0 = 2*s - d*x - 14, -s = 3*s + 4*x - 44. Suppose p + 4*p = 2*o + 3, 2*o + s = -p. Is -1 less than p?
False
Let f = 4 - -2. Suppose -w - f = -3*w. Which is smaller: 1 or w?
1
Suppose b + 3*b + 4 = 0. Let a be (b - 2/(-3))*0. Let y be 0 - (2 - (a - -2)). Is -1 at least as big as y?
