, 0 = -3*c - 3*x + 6. Suppose c*y + 6 + 4 = 0, -3*n + y - 64 = 0. Which is smaller: -22 or n?
n
Let r = 77 + -383/5. Does 0.05 = r?
False
Let n be (1 - 1)/(-5 + 8 + -5). Which is greater: n or 2/57?
2/57
Suppose 3*d + 13 = 4. Suppose -4*v = -3*f - 4 + 7, -2*f = -v + 3. Are d and f equal?
True
Let q = -0.3 - -1.3. Let d = -7 - -8. Is d at most as big as q?
True
Suppose 5 = -6*n - 1. Which is greater: 1/31 or n?
1/31
Let j(i) = i**3 + 4*i**2 + i - 1. Let d be j(-3). Let l = -2 + d. Is l greater than or equal to 10/3?
False
Let m(h) be the third derivative of 1/6*h**3 + h**2 + 0 - 1/24*h**4 + 0*h. Let v be m(0). Which is smaller: v or 0?
0
Let b = -0.06 - 0.04. Let a = 1.1 + b. Which is smaller: a or -1?
-1
Let n be ((-10)/4 + 2)*0. Let i(x) = x**2 - 4. Let p be i(4). Let o be (p/10)/(2 - 0). Do n and o have different values?
True
Let a = 12 - -1. Which is smaller: a or 2?
2
Let m be 1779/(-14) + 7/14. Suppose 6 = -0*p + 3*p, 4*h - 5*p = -518. Let v = m - h. Which is smaller: v or -1?
-1
Let z = 4265 + -27531. Let k = -92485/4 - z. Let n = k - 146. Is -1 at least as big as n?
True
Suppose -2*q + 14 = 4. Suppose -2*l + q*u + 22 = 0, 4*l = l - u - 1. Is l less than 2?
True
Let i = -0.4 - 0.1. Let r = -1 - i. Let h = r - -0.5. Which is bigger: h or -3?
h
Suppose -6*j + 9*j = 0. Suppose -5*t + 2*t + y - 3 = 0, -y = 5*t - 3. Are j and t unequal?
False
Let c = -2.8 - -1.2. Let t = c + 2.7. Let f = 6.1 - t. Is 1 < f?
True
Let c be 801/(-378) - (-4)/14. Which is greater: -1 or c?
-1
Let h(y) = y**2 - 2*y - 7. Let k be h(-5). Let g be 7/k*8/(-17). Are g and 1 nonequal?
True
Let u be (-1)/(-1 + (2 - 2)). Suppose 3*c + 5*j + 30 = c, -33 = 5*c + 2*j. Let v be ((-2)/(-10))/(6/c). Which is smaller: v or u?
v
Let k = -0.02 - -0.02. Let p = 1 + k. Is p bigger than -1/8?
True
Let g(y) = y**2 + 7*y - 8. Let a(c) = -c**3 + 7*c**2 - c - 1. Let s be a(7). Let k be g(s). Is -2/33 greater than or equal to k?
False
Let a = 28 - 27. Is 4/17 <= a?
True
Suppose -3*o + 4 = o, 5*z + 14 = -o. Let x be (2/42)/(z/(-18)). Does x = -0.2?
False
Let n = 8 + -11. Let p = 10 + -13. Is p greater than n?
False
Suppose 4*l - 10 = -38. Suppose -5*y = 5*v + 55, 12 + 3 = -5*v + 5*y. Is l equal to v?
True
Let q = 14.04 + -0.04. Let g = q + -13.96. Is 2/3 <= g?
False
Let o = 176 + -124. Let v = -258/5 + o. Is v less than or equal to 6?
True
Let t = 6.5 + -7. Let f = -0.7 - t. Is f greater than or equal to -1?
True
Let u = -8/5 + 11/10. Let p = 431/2 + -225. Let g = p + 9. Is u greater than g?
False
Suppose 0 = -15*o - 10 - 35. Do -5 and o have the same value?
False
Let c be 2/11 + (-9)/(-11). Suppose 2*y - 3 = f, 3*f + 3*y - 21 = -y. Suppose w + 2*z = 7, f*w + 4 + 11 = 3*z. Which is bigger: c or w?
c
Let o = -9 - -11. Let k be (1/o)/(7/14). Let d be ((-5)/(-10))/(0 - k). Which is bigger: -2 or d?
d
Let y = -3/124 + 323/3100. Suppose -10 + 19 = 9*b. Which is smaller: y or b?
y
Let r = -29 - 39. Let z = r + 479/7. Which is smaller: 1 or z?
z
Let q = 71568377/25 + -2863107. Let o = q + 372. Is o at least as big as -1?
True
Suppose -2*x - 3*a - 12 = 0, 2*x = -3*x + 5*a + 20. Which is smaller: -3/5 or x?
-3/5
Let h = 5.9 + 0.1. Let l = -5.9 + h. Let p = l - 2.1. Is 0 greater than or equal to p?
True
Let r be 5/(-2)*(-8)/200. Which is bigger: r or -1?
r
Suppose 2*b - 12 = 2*p, 0*b + 15 = b - 4*p. Let s(x) = -x - 7. Let c be s(-11). Suppose 0*u + 16 = c*u. Which is smaller: u or b?
b
Suppose 36 = 3*s + 9. Is s greater than 9?
False
Suppose -h = -6*h + 30. Let l = h - 11/2. Which is smaller: 2 or l?
l
Suppose -3*b + 7 + 3 = -l, 0 = -3*l + 3*b. Which is smaller: 34/7 or l?
34/7
Let k be (-80)/6*78/(-65). Let l = k - 21. Which is greater: -3 or l?
-3
Let p = 8 + -29. Is p less than -21?
False
Let r = -14 - -9. Is r at least as big as -3?
False
Let z(i) = -i**2 + 14*i - 7. Let v be z(11). Let k = 18 - v. Is k greater than -8?
False
Let y = 2.13 + -1.13. Are y and 1/114 nonequal?
True
Suppose -3*q + 18 = -3*o, -q + 6 + 0 = o. Let n be q*1/(2 - 0). Let m be n/(-18) + 1/(-6). Is 2 at most as big as m?
False
Let u = 108/7 - 15. Let v = -2 - -2. Suppose v = 5*x - 2 - 3. Is u less than or equal to x?
True
Suppose 0 = -o + 5*o + 8. Let f be (o/(-3))/((-30)/27). Is f equal to 1?
False
Suppose -4*l = v - 21, 2*v = -v + 3*l + 3. Suppose 5*n = 3*n + 8. Which is smaller: n or v?
n
Let m = -183921 - -34945081/190. Let s = -3/38 + m. Let j be 2/(-3)*(-6)/(-4). Is j <= s?
True
Suppose c - 10 = 3*w, -c + 3*c - 5*w = 15. Let y = c + 6. Is y less than or equal to 1?
True
Let y = -1.74 + 0.24. Let d = 2.5 + y. Which is smaller: d or -4?
-4
Let d be (1/(-3))/(4/(-84)). Let k be (-50)/(-6) + (-3)/9. Is k at least d?
True
Let l = 48 - 51. Are l and -5 equal?
False
Let p = 23 - 25. Let f be 4/14 - p/(-7). Which is smaller: 5/6 or f?
f
Suppose -2*n + n = 0. Which is smaller: 0.04 or n?
n
Let w = 403/548 + 2/137. Let j be -2*1*2/(-48). Let r = j - w. Which is smaller: r or -1?
-1
Let n(h) = -h. Let p be n(-3). Which is greater: p or 6?
6
Let q(v) = 3*v + 42. Let z be q(-14). Which is greater: -1 or z?
z
Let r = 13 - 13. Which is smaller: r or 3?
r
Let z be (-1)/(-3) + (-34)/(-6). Let g be z/(-9)*(-6)/4. Which is smaller: 1/2 or g?
1/2
Let u be (-6)/2*(-1)/3. Which is bigger: 1/22 or u?
u
Let j be (-5)/(100/8)*-5. Are 3 and j equal?
False
Let q(u) = -u**2 - 15*u - 6. Let n be q(-15). Is n bigger than -8?
True
Let m(o) = -o**3 - 7*o**2 - 7*o - 6. Let w be m(-6). Suppose -5*a - g - 2*g - 25 = w, a = 2*g + 8. Is -8/5 != a?
True
Let t = -14/19 - 6/95. Suppose 5*u - 2 = -7. Is u less than or equal to t?
True
Suppose 5*i - 12 = 8. Suppose 5*h + 25 = -i*t, -3*h = -7*h - 3*t - 19. Let p = 1 + -1. Which is bigger: p or h?
p
Let i = -73/324 - 2/81. Suppose 4 = -4*u + 6*u. Suppose u*l + 3 = 5. Which is smaller: l or i?
i
Let g = 3 - 5. Suppose -b - 3*u - 14 = 2*u, -5*b = 3*u + 26. Let l be (b/6)/((-4)/3). Which is greater: g or l?
l
Suppose -5*x = v + 17, 5*x - 4 = -4*v - 27. Do -13/4 and v have the same value?
False
Suppose 2 = -c - 2. Which is bigger: -5 or c?
c
Suppose -34 = -4*d - d + 4*n, 3*d - 13 = -5*n. Let o(a) = a**3 - 7*a**2 + 5*a + 2. Let w be o(d). Is w != -4?
False
Let o = 13 - 10. Let z(k) = k + 1. Let q be z(-1). Which is smaller: o or q?
q
Let c be (-9)/(297/(-6)) + (-178)/1342. Is c != 1?
True
Suppose -z - 8 = 4*q, -8*z + q = -3*z + 40. Let h(y) = -y**3 - 8*y**2 - 4. Let g be h(z). Is g != -5?
True
Let d = -9.9 - 0.1. Let s = d + 8. Do -2 and s have the same value?
True
Let i(z) = -z**3 + 5*z**2 + 4*z + 13. Let c be i(6). Let f(p) = 2*p - 1 - p + 9. Let l be f(-6). Is l at least c?
True
Let f = -547/9 - -61. Let q = 4/9 + f. Which is bigger: q or -0.5?
q
Let n = -46 - -46.1. Is 29 != n?
True
Let x = 10 + -6. Suppose 0 = -2*c + x*i + 16, 0 = c + 6*i - 2*i + 10. Suppose -p + 3*p + c = 0. Is -1 smaller than p?
False
Suppose 4*m = 12, -3*g + 5*m - 2 = 4. Suppose -5*k + 6 = -2*l, g*l - 2*k + 5*k = 12. Suppose 0 = 4*q - 23 + 11. Are q and l unequal?
True
Suppose 7 = y + 2. Suppose -3*v = -2*l + 2, -6 = -4*l + 4*v + v. Suppose l*j - y*g = 13, g - 4*g - 12 = -j. Which is bigger: -2 or j?
-2
Suppose 8*q = 2*q - 378. Is -63 less than q?
False
Let a be ((-1270)/(-14))/1 - -1. Let d = a - 92. Is -4 <= d?
True
Let f(r) = -r - 5. Let w be f(-7). Is w >= 6/5?
True
Suppose 4*f + 40 = -f. Let r be f/30*9/(-6). Is 2 bigger than r?
True
Let w(p) = -p**3 + 3*p**2 + 2*p. Let d be w(-1). Let n = -7 - d. Is n less than -7?
True
Let c(i) = -i**2 + 2*i + 4. Let t be c(3). Let j(s) be the third derivative of s**4/12 - s**3/6 + s**2. Let y be j(t). Is y not equal to 1/5?
True
Let i = -3219/2 + 1647. Let b = -39 + i. Let k = 5 - 6. Which is smaller: b or k?
b
Let b = -41/30 + 6/5. Let u be ((-2)/(-4))/1*0. Which is smaller: b or u?
b
Let i = 85764/85 + -1009. Let o = -17235/41939 - 2/2467. Let q = o - i. Is 1 greater than or equal to q?
True
Suppose -2*w = 2*w - 28. Suppose -10*r + 21 = -w*r. Is 7 bigger than r?
False
Suppose 0 = -2*j - 0 - 2. Let f be (2/(-2))/(j/4). Suppose 0 = -4*u - 4*r, 2*u - r - f*r = 7. Do 1 and u have different values?
False
Let x(q) = 4*q - 1. Let m be x(2). Let o be (-58)/18 - (-8)/36. Let u = o + m. Does u = 4?
True
Let i = -57.3 + 57. Which is smaller: 15 or i?
i
Let m be 0*((-6)/(-4) - 2). Let y = 53 - 105/2. Does 