t f be (-2)/4*192/176. Are -1 and f non-equal?
True
Suppose -6 = -0*i + 3*i. Let n = i + 3. Let l = -2 + n. Which is greater: l or -1/2?
-1/2
Let p be 3/2*(-4)/2. Suppose -2*n + 4*n - 10 = -4*v, 2*n = -2*v + 4. Which is smaller: p or n?
p
Let k be ((-34)/8)/(3/(-60)). Let m = k - 61. Suppose 5*w = m - 9. Is w equal to 2?
False
Let c = -6 - -12. Let r be 2/2 - (3 - c). Suppose -5*j = -20, -13 = -4*f - r*j + 7. Does f = 1/4?
False
Let s(r) = -r - 1. Let w be s(-4). Let b be 0/(1 - 3/1). Suppose 3*f = 9 - b. Is f greater than or equal to w?
True
Let u = -29 + 29. Which is bigger: u or 1?
1
Let c be 10/(-8) - 4/(-16). Is c <= -1?
True
Let h be 2/4 + 14/12. Is 0.4 less than or equal to h?
True
Suppose 2*k = j - 3, -3*j + 12 - 3 = 4*k. Suppose 5*i + 7 = -2*a, 4*i + 2*a + 2 = -4. Let q = k - i. Do q and -1/14 have different values?
True
Let l(p) be the second derivative of 1/2*p**3 + 0 + 5/2*p**2 - 1/12*p**4 - 4*p. Let h be l(4). Do 2 and h have the same value?
False
Suppose -15 = -2*m - j, -8 = -3*m - 5*j + 18. Suppose -30 - 19 = 7*x. Let q = m + x. Is -3/4 smaller than q?
True
Let i = -284 - -2257/8. Suppose 3*h - h + 6 = 0. Which is greater: i or h?
i
Let n(v) = v**2. Let h be n(-3). Let d = 9 - h. Is -1 at most as big as d?
True
Let p = -93 - -195. Which is smaller: p or -1?
-1
Let q = 212/5 + -39. Which is smaller: q or 3?
3
Let l be (-1 + 2)/(3 - 2). Let r = 5 + 0. Suppose -2*s - 1 - 1 = 2*q, r*s + 10 = 0. Is l greater than or equal to q?
True
Suppose 2*b + 4*b - b = 0. Suppose -24 + 4 = 5*p. Are b and p non-equal?
True
Let w(u) = u**3 + 4*u**2 + 2*u + 5. Let c be w(-4). Suppose 0 = -5*x + 5 + 5. Let q = 0 - x. Which is bigger: c or q?
q
Let f be 14/(-21) + 2/3. Suppose -5*i + 17 = -h - 6, -17 = -5*i - h. Let m(a) = -a**2 + 5*a - 5. Let q be m(i). Is q at least f?
False
Let v = -2 - -2.5. Let h = -1.5 - v. Let l = h + 1.9. Which is bigger: 1 or l?
1
Let u = -24 - -5. Which is smaller: u or -20?
-20
Suppose 3*d = 95 - 128. Do 1 and d have different values?
True
Let x(n) = -2*n**2 + 6*n - 15. Let v be x(4). Is -22 != v?
True
Suppose -3 = -5*a + 2*a, -n + a - 1 = 0. Suppose 2*f - 16 = 2*j + 26, n = 2*j + 3*f + 42. Let t = 29 + j. Which is smaller: t or 7?
7
Suppose 2*z + 2*h = 2, -5*z + 3*h = 54 - 19. Suppose -5*y = 19 + 1. Is y > z?
False
Let p be (-4)/10 + 8/(-5). Let a(k) = k**2 - 4*k - 1. Let q be a(3). Is q > p?
False
Let a = -9/10 + 49/60. Are 0 and a nonequal?
True
Suppose -9 - 17 = 3*s - 4*j, -3*s + 5*j - 31 = 0. Which is smaller: s or 0?
s
Let d = 14 + -14. Let n = -1 - d. Are n and -1/4 nonequal?
True
Let j be -20 + -2*4/8. Let l = j + 26. Is 3 != l?
True
Let j = -15/14 - -4/7. Let v be (-28)/(-3)*18/(-2). Let q = v + 758/9. Is q greater than j?
True
Suppose f - 4*g + 7 = 0, -3*f - 4*g = -2*f - 9. Let i be 1 + (10/(-14))/f. Let o(t) = -7*t + 315. Let v be o(45). Is i smaller than v?
False
Suppose -u - 11 = -10. Is -3/14 >= u?
True
Let o(u) be the second derivative of -u**4/12 - 5*u**3/6 - 2*u**2 + 2*u. Let n be o(-3). Let l be n/12 - 175/(-30). Is l at least as big as 6?
True
Suppose 5*n + 3 = v + 1, 4*v + 7 = 5*n. Let f(o) = -9*o - 1. Let a be f(n). Suppose a = 3*j - 10. Do 5 and j have the same value?
False
Suppose 4*p - 11 = 5*p. Are 2 and p unequal?
True
Suppose 6*u = -9 - 9. Let g be 1 + -1 + -1 + 1. Let k = g - 2. Is k greater than u?
True
Let v be 1/(-4) - (-6)/(-8). Let p be (-2)/5 - 1533/(-45). Let l = p + -34. Which is greater: v or l?
l
Let a(y) = -4*y**3 + 12*y**2 + 10*y - 1. Let f(p) = -3*p**3 + 11*p**2 + 9*p - 1. Let o(w) = -4*a(w) + 5*f(w). Let b be o(-6). Which is smaller: 4 or b?
4
Suppose -y = 3*l + 10, 3*y - 7*l = -2*l + 26. Suppose -y*r - 2*r = -20. Let s be (0 + (-3)/(-6))*6. Which is bigger: r or s?
r
Let f = 1909/17316 + -1/468. Are -1 and f equal?
False
Let p = 84.93 + -85. Which is smaller: p or 2?
p
Let d(a) = a + 7. Let y be d(-8). Let q be y*(-2 - (-64)/28). Suppose 0 = k + 4*k. Which is greater: k or q?
k
Let q = -1 + 0. Let v = -60 - -239/4. Is v at least as big as q?
True
Suppose 20*i = 20 - 60. Which is bigger: i or -10/7?
-10/7
Let g = 1.1 - 0.1. Let d = -0.06 + -2.94. Which is greater: d or g?
g
Let y(f) = f**3 + 7*f**2 + 7*f + 9. Let q(m) = -2*m + 4. Let h be q(5). Let u be y(h). Suppose u = -a + 1. Which is smaller: -1 or a?
a
Let v = 90 - 632/7. Let n = 9 - 9. Is n less than v?
False
Suppose -20*r = -21*r + 2. Which is bigger: r or -12?
r
Suppose -4*r = 10 + 14. Let v = -6 - r. Which is smaller: -1 or v?
-1
Let o(g) = g**3 - 3*g**2 - 4*g + 5. Let p be o(4). Which is bigger: p or 4?
p
Let x = 0.3 + -0.1. Is x > 9?
False
Let u = -2 - 1. Let a be 1 + -82*u/45. Let i = -29/5 + a. Which is greater: i or 1?
1
Let d = 10 + -5. Suppose d*r - 4 = 6. Let s = 40 - 38. Is r <= s?
True
Let p be (-2)/3 + 1/(-3). Let o be (-1692)/96*(-4)/42. Let z = -10/7 + o. Are z and p unequal?
True
Let c(o) = -o - 22. Let q be c(-12). Let r be 0/(-1) + -12 + 2. Is q less than or equal to r?
True
Suppose 0*z + 4*y = 3*z - 32, 5*z - y - 25 = 0. Let i be z + -2 + (-24)/14. Is -1 less than i?
True
Suppose -3*w + 20 = -4*j, 0 = -w - 3*j + 9 + 2. Which is smaller: w or 9?
w
Let t = 22 - 126. Let r = t - -1247/12. Is r <= 0?
True
Suppose 5*k + a + 1174 = 0, k - a + 44 = -186. Let n = -931/4 - k. Is 0 greater than or equal to n?
False
Let w = 8 - 8.1. Let k = -0.3 - -0.2. Let b = -0.2 - k. Is w bigger than b?
False
Suppose -n - 52 = -60. Which is bigger: n or 34/5?
n
Let n = 9.5 - 8.5. Let o = -11.12 + 0.12. Which is smaller: n or o?
o
Let j be (-4)/(-6) + (-6)/9. Let t = 0.46 + -0.06. Which is bigger: j or t?
t
Let s be (-1 + -11)/((-39)/(-26)). Let l(b) = b + 5. Let n be l(s). Which is smaller: -16/5 or n?
-16/5
Let q be 1/2 - (-4)/(-8). Which is smaller: 7/5 or q?
q
Let r = 5 - 4.84. Let d = r - 0.86. Let c = d + 1.7. Is c != -4/9?
True
Let q be 7/(-6) - 2/6. Let m = 19/10 + q. Is -1 less than m?
True
Suppose -8 = s - 2*h, -5*s + 2*h - 4*h + 8 = 0. Let x = 1 + -2. Which is smaller: s or x?
x
Suppose 0*v - 8 = 3*v - i, v - i = -2. Which is bigger: v or -1?
-1
Let v = 112 - 112. Which is smaller: -9 or v?
-9
Let u = 18 + -19. Which is bigger: -3/7 or u?
-3/7
Let a = -47/12 + 11/3. Suppose 3*i + 4 = -y, 2*i = y - 0*y + 4. Which is smaller: i or a?
a
Let g = -13 - -18. Let h be (7 - g)*(-1)/2. Which is smaller: -3/2 or h?
-3/2
Let o = 13 - 8. Let l be (-11 + o)*(-1)/(-2). Is l greater than -3?
False
Suppose 0 = 6*s - 4*s. Let y = -2 - -2. Is y not equal to s?
False
Suppose 4*t - 9*t = -75. Which is smaller: t or 17?
t
Let a be 1412/(-705) - (-3 + 1). Let o = -1376/11985 + a. Which is bigger: 1 or o?
1
Let i be -2 - -1*(1 - 0). Let a(h) = 2*h**3 - h**2 - 2*h - 1. Let y be a(i). Let q be 11/12 - y/(-3). Which is bigger: q or -1?
q
Suppose -128 = -3*x + 4*q, 3*q = -0*q - 6. Which is bigger: x or 38?
x
Let m = 3 - -4. Let v(f) = -f**3 + 6*f**2 + 8*f - 5. Let o be v(m). Suppose 0 = -o*u - u. Which is smaller: 2/3 or u?
u
Let s(p) = -p**3 + 9*p**2 + 9*p + 8. Let t = 24 + -14. Let m be s(t). Is m at least as big as 1?
False
Let r be (0 - (-2 - (-2 + 3))) + -4. Is r > 18?
False
Let h be ((-2)/(-4))/(4/(-8)). Let k = 4 + -6. Let a(c) = -c**2 - 2*c - 1. Let r be a(k). Is h less than r?
False
Let n = 3 - 0. Suppose -9 = 4*l - 5*j - 0, 5*j = 25. Let y be n/54*l*1. Which is smaller: y or -1?
-1
Let f = 7 - 7.4. Let w = 23 + -21. Which is smaller: w or f?
f
Suppose 12 = 3*s - 4*i, -2*s + 4*s = 3*i + 9. Let j(o) = -13*o - 11. Let f be j(-2). Suppose s = 5*v + f, -12 = -n + 2*v + 2*v. Which is bigger: 2/17 or n?
2/17
Let o(s) = s**2 + 17*s - 4. Let w be o(-17). Let b be (4 + 0 - 2)*-2. Does w = b?
True
Let b(v) = -2*v + 2. Suppose -5*n + 4*n + 4 = 0, -a = 2*n - 8. Let k be b(a). Which is bigger: k or 0.2?
k
Suppose 2*i + i = 3. Suppose i + 8 = 3*o. Do 5 and o have different values?
True
Let j be -1 + 1/(1/(-13)). Which is greater: -13 or j?
-13
Let f(x) = x**3 - 14*x**2 + 13*x. Let c be f(13). Suppose 3*a - a = c. Which is smaller: 3 or a?
a
Let d = 0.03 - 1.03. Let r = -2 - -2.1. Let x = r + 0. Is d smaller than x?
True
Let n(v) = -2*v + 1 + 2*v + 2*v**3. Let g be n(1). Let j be g/6 - (-6)/(-28). Which is smaller: 2 or j?
j
Let a(i) = -9*i + 1. Let u be a(-2). Suppose -3*s - 4*h = u, -s + 3*s - 10 = 3*h. Let g = -9 - -44/5. Which is smaller: s or 