6760/9 - 752. Is j smaller than -2?
False
Let i = 5074/7 - 726. Is -2 less than i?
True
Suppose 0 = 5*r + 3*n - 2, r + 0*r = n + 2. Let u(m) = -2*m - m**3 + 10*m**2 + 0*m - 6 + m + 17. Let g be u(10). Is g smaller than r?
False
Let p be (2/(-10))/((-16)/3930). Let n = p - 49. Are 0 and n nonequal?
True
Let k be (-156)/180 - 4/30. Is -1 at most k?
True
Let b be (-4)/(-5) - 2/(-10). Do b and 5/4 have different values?
True
Let i = 0 + 0. Let p(z) = z**2 - 12*z - 2. Suppose 2*d - 14 = 10. Let h be p(d). Is i < h?
False
Suppose -1 - 3 = p. Is -0.1 less than p?
False
Let f = 16 - 15. Is f bigger than -0.1?
True
Let b = 1.3 + -1.2. Let w(s) = s + 6. Let k be w(0). Let d be 2/12 + (-2)/k. Which is bigger: d or b?
b
Let t(o) be the second derivative of o**4/12 + 2*o**3/3 + o**2 - o. Suppose 3*k + 3*s + 15 = 0, -k - s - 1 = -2*s. Let u be t(k). Which is greater: u or -2?
u
Suppose 4*c = -1 - 3. Let l = 12 + -9. Let a be 1/l - 5/9. Which is smaller: a or c?
c
Let j = -341 + 344. Let u = 4 + -2. Suppose -q = 5*b + q - 5, 2*b - u*q - 2 = 0. Which is greater: b or j?
j
Let u = 58 - 53. Do 3 and u have the same value?
False
Let v(s) = s**2 + 12*s + 8. Let f be v(-12). Suppose 3*j = f*j. Are 3 and j equal?
False
Let n(i) = 2*i**3 + 5*i**2 - 2*i + 5. Let j be n(-3). Is 7 < j?
False
Let v = 8 + -9. Let w be v/((-1)/2*-1). Which is bigger: w or -20/7?
w
Let g = -3 - -3. Let u be (-5)/(-2) + -4 + 2. Is u <= g?
False
Let s(j) = j**2 - 2*j - 1. Let p be s(-3). Let a be 4/14 + (-60)/p. Let w = a + 4. Which is greater: w or -2?
w
Let w be (1 + 0)/(1/(-2)) + 3. Is -7 < w?
True
Let d be 1 - (10/75 - -1). Which is smaller: 0 or d?
d
Suppose -l + 1 = -1. Let m(v) = -6*v. Let h(u) = -7*u + 1. Let q(z) = 5*h(z) - 6*m(z). Let s be q(-4). Is l less than s?
False
Let h(w) = -5*w - 3. Let u(b) = 4*b + 3. Let y(z) = 3*h(z) + 4*u(z). Let k be y(-4). Let t = k + 2. Is t less than 1?
False
Let q = 97/57 + -2/57. Let c be (-1)/(-4) + (-6)/(-8). Is c greater than q?
False
Let y = 1.5 + -1. Let d = -2 - -2. Are y and d nonequal?
True
Let t(o) = 5*o - 52. Let a be t(10). Which is greater: 0 or a?
0
Let p = 37/2 - 19. Is -50 smaller than p?
True
Let f be 5/15 + 132/9. Is f smaller than 16?
True
Let r = -13 - -10. Let f = -3 - -6. Let q = r + f. Is 5 smaller than q?
False
Let f = 22 + -16. Let g(r) = -r**2 + 6*r + 3. Let u be g(f). Are u and 2 equal?
False
Let r(i) = -i**2 - 6*i + 1. Let c be r(-5). Suppose -c*k + k = -5. Which is greater: -1 or k?
k
Let h = -55 - 5. Let x = -426/7 - h. Which is smaller: 0 or x?
x
Suppose 6*g - 22 - 32 = 0. Do 7 and g have different values?
True
Let d be ((-3)/2)/((-45)/(-30)). Which is greater: -2/197 or d?
-2/197
Let k = -59 - -62. Which is smaller: -1 or k?
-1
Suppose 0 = -a + 3*c - 2*c - 2, 5*a + 3*c = -2. Is 16/9 smaller than a?
False
Let p = 263/6 + -1781/42. Which is bigger: p or 2?
2
Let c = 4 - 4. Let g(s) = s**2 - s + 3. Let u be g(0). Which is smaller: c or u?
c
Let o(g) be the first derivative of -g**3/3 + 3*g**2 + 4*g + 3. Let u be o(6). Suppose 0 = -4*l + 5*d + 16, u*d + 20 = 2*l + 3*l. Is 4 < l?
False
Let h = -71 - -71.16. Is h greater than 0.1?
True
Let c be (3 - (-10)/(-3))*12. Which is bigger: -2 or c?
-2
Let i = 3.081 + -0.081. Which is bigger: 13 or i?
13
Let c be 0 + -4 + (5 - 9). Which is bigger: c or -9?
c
Let m = 0.7 - 1.7. Let c be (-5)/(-15) - 284/(-6). Let o = -48 + c. Is o greater than or equal to m?
True
Let u be (15/2)/(8/80). Let h be u/(-27) + (-10)/45. Which is smaller: 3/2 or h?
h
Let c = 26 + -25. Let g(k) = -3*k**3 - k**2 + 1. Let z = 1 - 0. Let h be g(z). Which is greater: c or h?
c
Suppose 5*y - c + 4 = -2*c, -4*y - 4 = c. Let h(z) = -z + 18. Let m be h(y). Suppose -3*f = -4*i + 20, 2*f + m = 6*i - i. Is i < 1?
False
Suppose -2*k - 5*g = k, -4*g = 0. Let b = -124 - -1614/13. Which is bigger: b or k?
b
Suppose -o + 4 = -0*o. Suppose 0*w = o*w. Let k be ((-3)/(-3 - w))/1. Are 2/19 and k equal?
False
Let x be 12/32 - ((-35)/8)/7. Is 1 <= x?
True
Let k(t) = t + 4. Let r be k(-4). Suppose -2*g - 3*g - 10 = 0. Let m be g*(-1 - 15/(-9)). Is r at most as big as m?
False
Let p be (-8)/(-3)*188/720. Let k = 8/27 - p. Is k < -0.3?
True
Suppose -2*i + 20 = -4*a, -2 - 6 = 4*a + i. Is 1/2 at least as big as a?
True
Suppose 11 = -5*i - 2*s, -4*i - 9 = i + 3*s. Let x be i/(-10)*(-15)/6. Suppose v + 3*g + 0 - 12 = 0, 12 = 3*g. Do v and x have different values?
True
Suppose 3*u = -6*x + x - 57, 3*x = 5*u + 129. Let a = u - -13. Is -10 not equal to a?
True
Let n = 1.5 + -2.2. Let i = n - 3.3. Let c = -4.2 - i. Which is bigger: c or -2/13?
-2/13
Let g = 1315/8 + -164. Is g greater than -0.1?
True
Let h be 3 - (-19)/(-4) - -3. Is h at most 2?
True
Let m(u) = 2 + 2*u**2 - 2*u**2 + u**2 + u. Let r be m(0). Is r at most as big as 0?
False
Let b = -12 + 11.9. Is b equal to -15/2?
False
Let u = 44 - 46. Let h = 26 + -11. Suppose -6*m + m = h. Which is greater: u or m?
u
Let j = -3 + 6. Suppose 6*v - 18 = -0*v. Are j and v non-equal?
False
Suppose s - 2 = 3*s. Let b be 4/(-3) + (-130)/(-78). Is b greater than s?
True
Let m = 2 - 28/15. Suppose -2*f = -3*f + 1. Which is bigger: f or m?
f
Let g = 168 - 185. Which is greater: 0 or g?
0
Let g = 1339/7 - 191. Let o = 0.7 + -0.4. Which is smaller: o or g?
g
Let a = -1/89 - 705/623. Is a at least 0?
False
Suppose y + 2*m = -2*m - 20, -2*m + 10 = -2*y. Let i = -6 - y. Is i <= 1?
False
Let c be (3/8)/((-2)/(400/(-12))). Which is smaller: 7 or c?
c
Suppose 3*x - 1 = -4. Let j = -0.87 + 3.87. Do x and j have different values?
True
Let o = -2/427 + -816/8113. Suppose 0 = -t + 5*s + 19, 7*s = 2*s - 20. Is t < o?
True
Let i be 0 + -2 + (-3 - -7). Suppose -12 = -5*u - i. Is u != 2/3?
True
Let m = -23/12 + 7/4. Suppose 2*w + 3*v = -v + 6, -4*w - 3*v + 2 = 0. Does m = w?
False
Let p(b) = 2*b - 2. Let r be p(3). Suppose 0*n = r*n - 4. Which is smaller: n or -2/21?
-2/21
Let w(f) = f - 2. Let c be ((-15)/6)/(-5)*8. Let u be w(c). Is u at most as big as 1?
False
Let f(r) = r**3 - 7*r**2 + 5*r + 5. Let k be f(5). Is -20 less than k?
False
Suppose 4*z - 3*z + 5 = 3*m, 0 = -5*z - 4*m + 13. Is -11 != z?
True
Let d be 2/(-1*16)*-6. Let n be (-1)/2*(-5 + 11). Let q be (-2 - n) + (1 - 0). Is q not equal to d?
True
Let m(w) = -w**3 + w**2 + 4. Let x be m(3). Let r = -24 - x. Let q be (-3)/(-5) + r/25. Is 0.1 != q?
True
Suppose g = -1 + 3. Let w = g + 0. Which is greater: w or 3?
3
Let i(y) = y + 4. Let d be i(-3). Let s = 67/4 + -879/52. Does d = s?
False
Let s(m) = m - 12. Let o be s(10). Let r be o + (-23)/(-4) - 3. Is r smaller than 2?
True
Let n = 519/8 + -65. Suppose -x - 5*x = -3*x. Are n and x non-equal?
True
Let b be 1 - (0 + -2) - 2. Which is bigger: -4/9 or b?
b
Let p(z) be the first derivative of z**2/2 - 12*z - 2. Let m be p(5). Let y = 5 + m. Which is smaller: y or 0?
y
Let a = 56 + -56. Which is greater: -6/77 or a?
a
Let c = -3 + 4. Let p be (4/3)/((-6)/(-9)). Suppose 0 = -6*f + p*f. Is c != f?
True
Let x = -2.1 - -1. Let y = x - -1. Does -0.02 = y?
False
Let p be (-8)/(-6)*-3 + 371/98. Are -4 and p nonequal?
True
Let c be (-180)/(-46) - 1*(7 - 3). Suppose 4*f + f + 5 = 0. Which is smaller: f or c?
f
Let n = 46/165 + 4/33. Which is greater: -1 or n?
n
Let y = 124 - 96. Which is greater: 0.2 or y?
y
Let j(h) = -h**3 + 5*h**2 + 9*h - 18. Let w be j(6). Is w bigger than 1/2?
False
Let w be ((-10)/90)/(6/10). Let q = -182/837 - w. Which is greater: q or -1?
q
Let u(b) = b**3 - 11*b**2 + 11*b - 10. Let z be u(10). Let a = 2 + -4. Let t be 2 + a + (2 - z). Is t bigger than 3?
False
Let r be ((-3)/26)/(6/(-8)). Suppose n + 2*m = 3*n, -n - m + 2 = 0. Are n and r nonequal?
True
Let z(o) = o**2 + 4*o - 4. Let f = 7 + -11. Let w be z(f). Let a be w + -2 + -2 + 3. Which is smaller: -3 or a?
a
Suppose 4*o = 5*o. Suppose -2*i + o*i = -4. Suppose -2*l - i*d - d = 19, -l = 4*d + 22. Are -4/5 and l non-equal?
True
Let f = -0.23 + 7.03. Let h = 7 - f. Which is smaller: 0 or h?
0
Suppose 5*m - 11 = -3*u, -3*u - 4 = 3*m - 13. Is m less than 1?
False
Let u = -29/2 - -14. Which is smaller: u or -1?
-1
Let h be 0 + (51/(-2))/((-2)/(-4)). Is -51 at most as big as h?
True
Let a = 209/2 - 310/3. Which is smaller: 2 or a?
a
Suppose q = 3*d + 7 + 3, -28 = -2*q - 2*d. Let i be (-4)/(-24)*q + -2. Is i greater than or equal to 0?