j + 6. Let v be (0 + 1 + 0)*8/2. Are v and j unequal?
False
Suppose -3*m + 0*m + 24 = 0. Suppose 4*t = -142 - 18. Let d be 2/m + (-6)/t. Are 0 and d equal?
False
Let x = -55 + 54. Which is smaller: x or -11/7?
-11/7
Let f(k) = k**3 + 4*k**2 - 3*k + 3. Let h be (2 + 0)/((-4)/10). Let r be f(h). Which is bigger: 1 or r?
1
Suppose m = 2*u - 1, 4*u - 2*m - 3 = -m. Is -1/37 at most as big as u?
True
Suppose 3*g + 32 = y, -3*y + 49 = -4*g + 3. Let w be ((-6)/(-2))/(1/3). Let b be w/10 - g/(-25). Is 3 at least as big as b?
True
Let n = 421 - 286. Let t be 2/(-6) + 35/n. Which is bigger: -1 or t?
t
Suppose -7*g + 3*g = 0. Let p = g + 1. Which is smaller: p or 1/14?
1/14
Suppose 3*m - 8 - 3 = g, 0 = 3*g + 2*m - 22. Suppose 0*r = 2*r + g. Let s = 3 + -3. Which is smaller: s or r?
r
Suppose -3*c = c + 28. Let q be (-1)/3*(-7)/c. Which is bigger: -1 or q?
q
Suppose -4*o + 4 = -0*o. Let c be -1 - -2 - (2 - o). Suppose -4*r + 0 = -4. Which is bigger: c or r?
r
Let h be (-2)/4*(-3 - -15). Let i be (-2)/3*21/2. Let k = i - h. Which is smaller: k or 2/5?
k
Let s(y) = -2*y + 9. Let x(u) be the third derivative of -u**6/120 + u**5/60 + u**4/24 + u**3 + 3*u**2. Let h be x(0). Let o be s(h). Is -2 != o?
True
Let w be 4*1/(-2) + 9. Is w <= 6?
False
Let k = 4 - 6. Let d = 492/91 + -979/2184. Let y = d + -45/8. Which is smaller: k or y?
k
Let b = -0.21 + -0.09. Is 2 < b?
False
Let w be 0*(2/4 - 0). Let k be (48/15)/(2/20). Let u be -3 + (-3)/((-30)/k). Does u = w?
False
Let o = 2.98 + -3. Let s be (2/(-18))/(7/(-21)). Is o at most s?
True
Let z = 30 - 88/3. Are -54 and z nonequal?
True
Let n be (2/16)/(15/150). Which is bigger: 0 or n?
n
Suppose 7*v = -3 - 4. Which is smaller: v or -5/9?
v
Let o = -57353/1554 + 19/259. Let l = o + -6929/30. Let n = l + 269. Are n and 1 equal?
False
Let b be (4 + 1 + -3)*7/(-14). Which is bigger: 1 or b?
1
Let j = 4.04 + -4. Let w = 1.04 - j. Let i = 0 + 0.3. Which is greater: w or i?
w
Let t = -4 + 3.98. Let o = -2.02 - t. Let n be 1*(1 + 5/(-7)). Is n >= o?
True
Suppose 2*q - m = -3*m + 10, 2*m = -q + 6. Let p be (2/6 - 1)*-9. Suppose 0 = 2*t - p + q. Are t and -1/7 unequal?
True
Let g(r) = -r - 4. Let v be g(-5). Which is smaller: v or -3/2?
-3/2
Suppose 3 = -k - 9. Let y be 2/k*(-8)/6. Let c = 0.3 + -0.2. Which is smaller: c or y?
c
Let v(r) = 6*r + 79. Let f be v(-13). Let a = 0 - 0.5. Is a greater than f?
False
Let z be 59/4 - (-1)/4. Suppose 3*t + t + 4 = -2*w, -5*w - z = 5*t. Let k = -2.61 + 0.61. Is k greater than or equal to t?
False
Suppose 10 = -3*t + 25. Suppose 8 = -t*x - f, x - 5*f = 4*x - 4. Is -1 at least as big as x?
True
Let p = 0.1 + 0.9. Let g = -0.33 + -14.67. Let f = g + 14.7. Is p less than or equal to f?
False
Suppose 0 = -4*u + 15 + 25. Let g be (-3 + 2)/(2/(-20)). Is g less than u?
False
Let f(z) = -z + 7. Let x be f(4). Suppose x*r + 4 = -r. Is 1/6 < r?
False
Suppose 8 = 4*b - 4. Let g(i) = i - 3. Let p be g(b). Which is bigger: p or -6/11?
p
Let z = 0.043 + 0.157. Let v(f) = -f**3 - f + 6. Let w be v(0). Let g be 1/3*w/10. Is g at least as big as z?
True
Let r be -3 - (3 + (0 - 80))/25. Which is smaller: r or 1?
r
Let i = 9 - 8. Let a = 2 + i. Is -1 > a?
False
Let q = 2 - -1. Let u = q + -2.8. Is -0.1 < u?
True
Suppose 4*i = -3*f + 13, 4*i = 5*f - 1 + 22. Let x = -3 - f. Is x at least -1?
False
Let i = 433/9 + -48. Is i < -2/3?
False
Let v = -0.76 + -0.14. Let g = v + -1.1. Let c be 2/(-30) - (-4)/10. Which is bigger: c or g?
c
Let f = 162377851/83348 + -130680/67. Let z = 2/311 + f. Which is smaller: -2 or z?
z
Let l be (-9 - 0)*(-49)/21. Which is greater: 1 or l?
l
Let i = 19 - 11. Let z(v) = -v**3 + 9*v**2 - 6*v + 2. Let l be z(i). Is l at most 18?
True
Suppose -k = 3*k. Let p = k + -1. Let r = 192/11 - 1750/99. Which is smaller: p or r?
p
Suppose -4*g - g + 20 = 0. Which is smaller: g or 6?
g
Let n = -513/91 - -40/7. Let a be ((-4)/(-6))/(8/(-12)). Is n <= a?
False
Suppose 4*p = -2*y + 20, -3*y + 5*y + p = 20. Is y > 11?
False
Let h(i) = -i**3 + 6*i**2 + i - 4. Let k be h(6). Let t be (-4)/(-16)*-9 + 3. Which is smaller: k or t?
t
Let l(p) = -p**2 + 27*p + 199. Let o be l(-6). Let j be (-4)/(-10) - (-14)/40. Do o and j have the same value?
False
Let r(k) = -k**2 - 2*k - 1. Let q be r(-5). Let w = q - -8. Let i be (-4)/w*(2 - 0). Are i and -1/7 equal?
False
Let l be (-2 + -1)*(-68)/(-12). Let k = -66.9 + 67. Which is smaller: k or l?
l
Suppose -o = 2 - 4. Let i be (16/10)/((-10)/(-25)). Suppose p + 2 + 1 = 0, 7 = -i*x - 5*p. Is o less than x?
False
Let m = 4 + -6. Let c be ((-105)/(-28))/(-2 + -1). Which is greater: c or m?
c
Suppose 3*a = 2*d + 5, 0*a + 2*a + 3 = -5*d. Which is smaller: -1/4 or a?
-1/4
Let x = -3/61 + 143/427. Which is smaller: -1.6 or x?
-1.6
Suppose -5*f + 1 = 6. Let p = 5 + -2. Let q be (6/p)/(f - 1). Is q greater than or equal to -1/9?
False
Let b be (-4)/(-6)*3/(-2). Let u(w) be the third derivative of w**6/60 + w**5/30 + w**4/12 + w**3/6 - w**2. Let a be u(b). Which is smaller: -4/7 or a?
a
Let g = 15 - 14. Which is greater: -16 or g?
g
Let f be ((-3)/6)/((-1)/(-2)). Is -1/2 at least as big as f?
True
Suppose k - 6*k - 5*n + 5 = 0, n - 2 = -2*k. Are k and 0.2 nonequal?
True
Let z(y) be the first derivative of y**2/2 + 3*y + 1. Let b be z(-3). Suppose b = -9*n + 4*n. Are n and 1 non-equal?
True
Suppose -2*k + 4 + 2 = 0. Suppose 0 = k*v + 12, 0*j + j + v - 4 = 0. Let f be ((-6)/(-8))/((-10)/j). Is 0 bigger than f?
True
Let k = 17 + -21. Let u be (-95)/220 - 1/k. Is 1 > u?
True
Suppose 0 = 4*n - 6 - 2. Suppose n*k = -3*k - 10. Let g be (1 + k)/(-1) - 0. Does 1/11 = g?
False
Let u be (-4)/8 + (-30)/4. Let d(o) = -o - 1. Let k be d(u). Suppose 0 = -k*n + 2*n. Is n >= 2/3?
False
Suppose 0 = 3*p + 2*i - 4, p - 3 = 5*i - 6*i. Let x be 2/6 - (-4)/(-3). Is p at most as big as x?
True
Let h = 2/133 - 409/665. Is h greater than 0?
False
Suppose -4*l - 9 = -3*r, 0*l - 6 = 2*l - 2*r. Suppose 2*s + 6 = -l*s. Let z be ((-12)/28)/(s/2). Which is greater: -1 or z?
z
Let k be 1 - (2 - (-24)/(-21)). Which is smaller: k or 0?
0
Let m(v) = -3*v**3 - 5*v**2 - 6*v + 2. Let o be m(-5). Suppose -37 = -5*w - o. Let q be 38/(-84) - 14/w. Which is smaller: q or -1?
-1
Let x be (3/(-4))/(33/40). Which is greater: x or 0?
0
Let y = 2/11 - 15/22. Suppose 5*n = 5*v + 10, 2*v = 5*v + 2*n + 6. Let b be ((-4)/(-2))/(v - -1). Is y at most b?
False
Let a(z) = z**3 - 5*z**2 - 7*z + 3. Let f be a(6). Let u be 2/((-2)/f) - 0. Which is smaller: 7/3 or u?
7/3
Let y(d) = d**3 - 4*d**2 - 4*d - 5. Let w be y(5). Do 6/17 and w have different values?
True
Let s = -2864/15 - -1193/5. Let c = s + -48. Which is smaller: c or -4/7?
-4/7
Let w be 6/39*(3 - 0). Which is smaller: w or -2?
-2
Let c = -7 + 7.8. Is -1 > c?
False
Suppose -7 = -2*n + 9*n. Let m be (-3)/(-1) + 1 + -2. Suppose m*a - 3*a = 0. Which is smaller: n or a?
n
Let p be 52/12 + 6/9. Is 5 at most p?
True
Suppose -5*a + 44 = -6. Let k be (24/(-40))/((-4)/a). Do 1 and k have different values?
True
Let s be ((-3)/6)/(12/8). Which is bigger: -4 or s?
s
Suppose -2*g = -0 - 8, 4 = -4*r + 3*g. Which is greater: r or 6?
6
Let j = -27/2 + 14. Is j greater than -1?
True
Let l = 16 - 32. Let n be (-10)/35 + l/(-7). Which is smaller: 3 or n?
n
Let a(i) = -i**3 + 3*i**2 + 5*i - 5. Let t be a(4). Let l = 482/7 - 69. Which is bigger: l or t?
l
Let t = 7 - 6.9. Let n = t - 0.2. Which is bigger: 1 or n?
1
Let d(m) = -m**3 - 8*m**2 + 9*m - 6. Let l be d(-9). Let u be 35/(-42) - (-4)/l. Is u >= -3/2?
True
Let d be (0 - 0) + 3 + 2. Suppose -2*y + 21 = -d*g, 3*y = y + 2*g + 6. Let p be y/(-8) + 2/(-24). Which is bigger: p or 0?
p
Let w be -2 + 2/((-32)/332). Let q = 23 + w. Is q greater than -1?
True
Let r = -20990/11 - -1910. Which is smaller: r or 3?
r
Let c be 1*3*4/(-18). Let p = 4 - 3.99. Let o = -2.01 + p. Are o and c nonequal?
True
Let q = -2.3 - -13.3. Let p = q - 13. Is 0.2 < p?
False
Suppose 3*w + 4*q = 14, w - 5*q = -0*w + 11. Suppose -5*d - 2 = 4*u - w, 5*u - 2*d = 5. Which is bigger: 12/11 or u?
12/11
Let l be 36 + (-2 - (2 + -2)) - 4. Which is smaller: l or -3/5?
-3/5
Suppose 0 = 5*d + 2*c - 85, -40 = -4*d - 0*c + 4*c. Suppose -10*w = -d*w + 15. Are w and 2 nonequal?
True
Let l = 51 - 257/5. Let v = -27 + 31. Which is greater: l or v?
v
Let h = -1.885 + -0.115. Is h at