 + 6*y**2 + 2. Let k be w(a). Do 4 and k have the same value?
False
Let d = -1271 + 43223/34. Let n = d + 5/238. Is 0 >= n?
False
Let i(k) = -12*k - 1. Let x be i(0). Which is smaller: 8/29 or x?
x
Let q be (-2)/(-3)*(2 - 75 - 2). Is q at most as big as -49?
True
Let j be 1 + (-15)/21 - (-19)/7. Which is smaller: 5 or j?
j
Suppose -5*n = 46 - 6. Let v = 14 + n. Is -0.1 at most v?
True
Let u = -9 - -10. Suppose -4*q - 36 = -g, 1 = -2*q - 3*g - 31. Let k = -14 - q. Which is bigger: u or k?
u
Suppose -2*w + 610 = y, -5*y + 727 = -5*w + 2237. Let g = 211 - w. Let d = -1025/11 - g. Is d >= 2?
False
Let p be (3/2)/((-3)/6). Let c be 21 - (-3 + 1 - p). Let t = c - 81/4. Is -1 <= t?
True
Let n be 3*(-7)/((-42)/(-20)). Let a be -1 - (2 - (-34)/n). Is -1 greater than a?
False
Let m = -0.77 - -0.67. Which is greater: m or -69?
m
Let j = -2 - -2. Suppose 4 = -x - j. Let h = x - -4. Which is greater: h or -1?
h
Let k be ((-18)/15)/((-2)/5). Suppose 4*n + v + 15 = 0, -3*v - k = -2*n - 0*n. Let h = -4 - -5. Which is greater: n or h?
h
Let p be 16/6 - (-6)/(-9). Let y = 5/4 - 7/4. Which is greater: y or p?
p
Let k = 1130/13 + -87. Which is smaller: k or 0?
k
Suppose 5*o - 1 = -3*b, 0*o = 2*b + 2*o - 2. Let d = 572/5 + -114. Is b > d?
True
Let i = -10/99 + -365/1287. Let a = i - -23/26. Is -7 >= a?
False
Let o(u) = -4*u - 10. Let h be o(-8). Suppose 4*p + 4*s = 66 - h, -3*p + s = -13. Suppose t + 3*m = 2*t + 6, -3*t + 3*m = p. Is t equal to 2/17?
False
Let x = 35 + -37. Is 3 at least x?
True
Suppose 5*k + 2*z = -46, 2 + 13 = -5*z. Let g be (-10)/k + (-4)/16. Which is bigger: g or -1/12?
g
Let p = 16 - 15.9. Are p and -0.3 equal?
False
Let c = -2011/33 + 61. Which is smaller: c or 0?
0
Let i be -2*(4/5 - (-721)/(-70)). Is i greater than or equal to 3?
True
Suppose 5*h - 4*v - 26 = 6, -28 = -4*h + 4*v. Suppose 0 = 3*j - h + 7. Which is smaller: j or 2/35?
j
Let i be 4/(-30)*(-18)/12. Let d(h) = -h**3 + 4*h. Let f be d(-2). Which is greater: i or f?
i
Let i be 4/20 + 24/5. Suppose -i*u + 0 = 5. Which is smaller: -2/9 or u?
u
Let o = 49 + -19. Let n be (-5)/2*6/o. Which is smaller: n or 0.5?
n
Suppose -4*d - 2 = 2*l - 6, -5*d + 5*l = 10. Let o be -1 + 80 - (-4)/16. Let b = o - 80. Is b equal to d?
False
Let j(l) = 29*l. Let q be j(5). Let o be 2/(-3) + q/220. Let k = o + 139/924. Is k at most as big as 0.1?
False
Let i(r) = -2*r + 5. Let m be i(-4). Suppose -4*y - m = -57. Let z = y - 15. Which is smaller: -3 or z?
z
Let m be (1 + 0)/(2/(-6)). Let y be 4 - ((-6)/m + 0). Let g = -1 + y. Which is bigger: 1/2 or g?
g
Suppose c + 14 = 4*d, 13 = -c + 2*c + 5*d. Let h be c/(-3) + 242/33. Which is smaller: h or 15/2?
15/2
Suppose 5*m - 4*v - 45 = 0, 0*m + 2*v + 9 = m. Let c be (12/(-9))/(-2)*m. Let h(p) = p**2 - 5*p - 4. Let i be h(c). Is i equal to 2?
True
Let g be (-4)/(1/(-1) + 8). Which is greater: 0 or g?
0
Let f = 12 + -1. Is f equal to 13?
False
Let i be 4/(-14) + (-46)/(-14). Let y be ((-1)/(-9))/(3/i). Which is smaller: y or 0?
0
Let k = -3 - -7. Suppose 0*t + k*t = 0. Let r(n) = n**2 + 2*n + 1. Let h be r(0). Which is bigger: t or h?
h
Let m(g) = 3*g**2 - 2*g + 1. Let u be m(3). Let w = u - 65/3. Which is greater: 0 or w?
w
Let s = -0.2 - -0.1. Let k = 1 - 8. Do s and k have the same value?
False
Let m(h) = -h - 6. Let t(l) = -l**2 + 8*l - 7. Let p be t(8). Let o be m(p). Is -0.2 <= o?
True
Let y(i) = -i**2 + 10*i - 8. Suppose -2*s = 3*s - 30. Let g be (-2)/s + (-56)/(-6). Let v be y(g). Which is smaller: 2 or v?
v
Let r = -5 + 5. Let a be 5/(-20) + 11/12. Which is greater: a or r?
a
Let j = -1 + 4. Suppose -j = i - 5. Which is smaller: i or 3/5?
3/5
Suppose o = 3*k + 7, 2*o - 6*o = 5*k + 6. Do o and -2/57 have different values?
True
Suppose 2*u + v + 13 = -0*u, -2*u - 4 = 4*v. Which is smaller: u or -6?
u
Let g = 0.004 + -2.004. Let u = -1/131359 + 241569212/1444949. Let y = u + -167. Which is bigger: y or g?
y
Let l be 1*(-15 + -1)/(-4). Suppose -5*f = -j + l, 5*f - f = -3*j - 26. Is j not equal to -5?
True
Let l(o) = -o**2 + 5. Let z be l(0). Suppose -z = g - 4. Is -6/11 equal to g?
False
Let q(g) = 6*g + 2. Let o be q(1). Let c = o + -11. Which is smaller: c or -2?
c
Let t = -11 - -13.4. Let r = t + -0.4. Is 2 >= r?
True
Let u = 9 + -6. Let v = u - 5. Let t = 1.9 + v. Is 1 at least t?
True
Let x = 53/10 - -46/5. Let q = 14 - x. Is q not equal to 1?
True
Let r = -1 + 1.1. Let j = 0.07 + -0.1. Let h = j - -3.03. Do r and h have the same value?
False
Let n = -0.11 + -0.39. Let y = n - -1.5. Is 1 greater than y?
False
Suppose -105 = -0*h - 7*h. Do 15 and h have the same value?
True
Let w = -1.1 + 0.1. Let k be (-14)/(-4)*(-40)/(-14). Let f(o) = o**3 - 9*o**2 - 10*o + 3. Let d be f(k). Which is bigger: w or d?
d
Let d = 113 + -114. Are d and -11.4 non-equal?
True
Suppose p - q + 18 - 6 = 0, -2*p = -3*q + 22. Let x = 8 + p. Let o(l) = -l**3 - 7*l**2 - 5*l + 8. Let w be o(x). Which is smaller: -1 or w?
-1
Suppose 0*a = 5*a + t - 15, -4*a + 4*t + 12 = 0. Suppose -3 = -3*h - 2*b, -a*h + 2*h - 4*b + 1 = 0. Let l(q) = q**2 + 5*q + 1. Let g be l(-5). Is g <= h?
True
Let y = -1 + 1.1. Let z = -14.9 - -17. Let c = -0.1 + z. Which is greater: y or c?
c
Let l be 6/(-4)*2/(-21). Suppose 5*j + 6*u = 2*u + 23, 0 = 5*u - 10. Suppose 2*a + 5 = -j*a. Is l greater than a?
True
Let x be (-78)/(-15) - 4/20. Suppose -x*s + c = -59, s + 2*s = c + 37. Suppose 5*f - 4 = s. Is 1 less than f?
True
Let h = -0.3 + 0.3. Which is greater: h or 18/13?
18/13
Let f = 3 + -9. Let y(p) = -p - 4. Let v be y(f). Let j be v/(-5)*(-18)/(-6). Are -1 and j non-equal?
True
Let l be (6/(-7))/(594/(-168)). Is -1 not equal to l?
True
Let n(p) be the second derivative of -p**5/20 - p**4/12 + p**3/6 + p**2 - 5*p. Let b be 0/(-1 - 1 - 0). Let d be n(b). Which is smaller: d or 1/2?
1/2
Suppose 0 = 4*t - m - 19, -6*t + 4*t + 4*m + 20 = 0. Let i(c) = c**2 - 3*c - 4. Let v be i(t). Let y be (-6 - (-3 - 0)) + 2. Which is smaller: v or y?
y
Let a(k) = -3*k - 14. Let d be a(-6). Let o = 6 + -1. Is o > d?
True
Let w(j) = j**2 + 8*j + 6. Let k be w(-6). Let b be 3*2*3/k. Does 0 = b?
False
Let x = 427/3774 - -1/222. Which is smaller: x or -1?
-1
Let m = 4 - 1. Let d be (m/6)/(2 + -3). Which is smaller: 0.2 or d?
d
Let f be 0*(0 - (-2)/(-4)). Suppose 0 = 4*r - f - 20. Suppose g + r = 3. Which is greater: 0.2 or g?
0.2
Suppose -6*v + 10*v + 24 = 0. Let p(r) = r + 10. Let b(x) = -x - 9. Let y(q) = -3*b(q) - 2*p(q). Let o be y(v). Is 1 > o?
False
Let g(i) = i**3 + 6*i**2 - 17*i - 9. Let n be g(-8). Is n equal to -1/54?
False
Let h(o) = o**3 + 12*o**2 + 11*o - 5. Let t be h(-11). Is -3 at least t?
True
Let v = 9 + -8. Is -1 equal to v?
False
Let g = 13 - 16. Let r be 0*(g + 4/1). Which is greater: r or -3/5?
r
Suppose 3*g - 18 = -4*f, -5*f + 8 + 13 = 3*g. Let w(h) = -h - 8. Let v be w(0). Let o = v + 9. Is o not equal to f?
True
Let k = -77 + 137. Is k smaller than 59?
False
Let k(f) = -f**3 + 4*f**2 + 0*f**3 + 0*f - 5*f - 10*f**2 + 4. Let u be k(-4). Is u >= -7?
False
Let x be 4/(-6)*1/2. Suppose i + 9 = -0*i. Let j be 5/(-9) + i/(-27). Which is bigger: x or j?
j
Suppose 2*g = -3*g. Is g > 1?
False
Let l = 1090 + -55592/51. Let g = l - -12/17. Let j = 0.033 - 0.133. Is g greater than j?
True
Let p(h) = h**3 - 8*h**2 - 8*h - 10. Let a be p(9). Does 2/31 = a?
False
Let j = 59 - 60. Do 0.1 and j have different values?
True
Let a = -2.4 + 3.4. Let b = -0.9 + a. Which is greater: 0.06 or b?
b
Suppose 2*l + 27 = -4*h - l, h = l - 5. Are -8 and h non-equal?
True
Let l be -2 + (-4)/((-3)/(15/20)). Suppose 3*v = 4*v - 14. Let h be 0/3 + (-6)/v. Is h at most as big as l?
False
Let u = -0.2 - -1. Let k = 0.2 + u. Is 1 at least k?
True
Suppose -3*v = 58 + 14. Let i be v/(-14) + (-30)/(-105). Which is smaller: 3 or i?
i
Let u = -8 - -8.1. Let i = -3 - -2. Is u >= i?
True
Let q = -1147/6 + 192. Let i(p) = -p - 32. Let x be i(-33). Is x less than or equal to q?
False
Let t = -75/332 - 2/83. Is -1 at least t?
False
Let h(l) = -l + 3. Let t be h(3). Suppose -2*x = -3*n - 2, -x = 2*n + 3*x + 28. Which is smaller: t or n?
n
Let v = 5 + -6. Let a = -1 - -112. Let m = 1442/13 - a. Is v at most m?
True
Let n be 2/7 - 4/14. Let o(j) = -15*j - 1. Let l be o(-3). Let m = l + -265/6. Which is bigger: n or m?
n
Let z be 0/2 + -4 + 2. Let g = z 