et c(q) = 2 + 1 - 1 + q**2 + 5*q + 0*q. Let x be c(-5). Do x and 2 have the same value?
True
Suppose -34 = 4*i + 2. Which is bigger: i or -15/2?
-15/2
Suppose 15 = 3*m, -2*i + 4 + 12 = 4*m. Is -3 less than or equal to i?
True
Let p = 17 - 14. Let k = -0.04 - 7.96. Let r = 8.1 + k. Is r not equal to p?
True
Let l(f) = -18*f**3 - f**2 - f. Let p be l(-1). Let j = 33 - p. Suppose j = r - 4*u, u + 8 = 4*r - 2*u. Are r and -2 equal?
False
Let x be 118/(-684) + 3/18. Let l = x - -859/684. Is 2 at most l?
False
Let o be 6/(-15)*(-10)/(-22). Let y(r) = -r - 7. Let f be (4/(-5))/(4/40). Let c be y(f). Which is smaller: o or c?
o
Let s = -0.8 - -0.9. Let t = -6.1 + -1.9. Is t at most s?
True
Let j(x) = x**2 + 9*x + 9. Let g be j(-8). Which is bigger: 7/5 or g?
7/5
Let r = 60 + -39. Let n = r + -19.4. Let k = n + -0.6. Is k greater than or equal to 0?
True
Let g be 4/26 + (-4)/26. Is g > -1/3?
True
Let x(d) = 3*d**2 - 4*d**2 + 12*d + 1 + 0. Let s be x(12). Are 6/7 and s nonequal?
True
Let z = 186 - 194.4. Is 2 >= z?
True
Let t = -26 - -39. Which is greater: 14 or t?
14
Let s(b) = -b**3 - b**2 + 1. Let l be s(0). Suppose 0 = d + u - 0 + 2, 3*u + 3 = 0. Is d at most as big as l?
True
Let z be 1/(2 - 5/3). Suppose z*n + 2*n = 0. Let s(b) = b**2 - 1. Let r be s(-1). Is n less than or equal to r?
True
Suppose 4*a = -24 - 4. Let s = 276 - 281. Is a at most s?
True
Let r = -15 + 23. Is r equal to 0.2?
False
Let t be ((-8)/(-6))/((-20)/(-30)). Let v be (t/15)/(1/3). Which is bigger: v or -2?
v
Suppose 4*v + 30 = 9*v. Let c = 6 - 9. Let f = c + v. Is f greater than 4?
False
Suppose -34 + 14 = 2*i. Are -7 and i unequal?
True
Let f = 10 + -14. Let g = -7 + 10. Suppose g*y + 1 = -8. Is y < f?
False
Let n(b) = -b**2 - 7*b - 6. Let z(p) = -p**3 + 5*p**2 - p - 1. Let x be z(5). Let s be n(x). Let m be 2/4 + (-13)/18. Is s at least m?
True
Let a = -117 + 346/3. Let z(y) = y**3 - 4*y**2 - 4*y - 7. Let j be z(5). Is j at most a?
True
Let a be -1*(50/15 + (-2)/6). Which is smaller: a or -11/4?
a
Let a be (-2)/(-7) - (-304)/14. Is 22 at most a?
True
Suppose 0 = 3*u + v - 0 - 1, 3*v = 3*u - 9. Which is bigger: -8 or u?
u
Let a = 26 + -18. Let p be a/44 + 62/22. Suppose 3*w - p = 4*q + 1, 2*w + 5*q + 5 = 0. Is w at least as big as 1/2?
False
Let h = 0.17 + -0.1. Is 1 >= h?
True
Let r(y) = 5*y - 4. Let j be r(-3). Let z = j + 17. Does -8/3 = z?
False
Let s(v) = -8*v**2 - 2*v + 1. Let t be s(1). Is t greater than or equal to -8?
False
Let t(n) = -n - 4. Let u be t(-8). Let m be 4 + 1 - (-2 + u). Suppose v + m = -2*v. Is v bigger than 2/5?
False
Let y(u) = u**2 + 4*u. Let m be y(-3). Let n be 1*(m - -3)/(-1). Let j be n*(7/(-2) + 3). Which is greater: 1/2 or j?
1/2
Let l = 2 + -3. Suppose 5*g + 25 = 0, -5*a + 4*a - 4*g - 8 = 0. Suppose d + 2*x - a = 5*d, -10 = -5*x. Does l = d?
False
Let n be (-10)/14 + (-2)/7. Let m be n + (2 - (-6750)/(-22)). Let i = m + 306. Which is smaller: -1 or i?
-1
Let q(w) = w**3 + 2*w**2 + w + 5. Let i be q(5). Suppose 7*s - 2*s + 135 = 5*k, -5*k - 5*s + i = 0. Let l = k + -97/3. Which is greater: l or -1?
l
Suppose -5*t - 8 = 3*t. Does -7/3 = t?
False
Let t = 0.76 + 0.97. Let s = -0.27 - t. Which is smaller: s or 7?
s
Suppose -v = 3*y - 8, 0 = -3*y - 2*y + 5*v - 20. Let w be ((-28)/(-10))/(2/10). Suppose -w = -2*s + 4*l - 0, 0 = -5*l - 15. Is y greater than or equal to s?
True
Suppose 5*r = c + 155, 0 = -6*r + 2*r - 3*c + 143. Is r < 33?
True
Let g = 0.03 + 0.97. Let x = 3 - g. Let v = x - 1. Is -1/5 <= v?
True
Let t = -11 - -16. Is t at least as big as 3?
True
Let o be 25/(-5) - 20/(-5). Is o less than or equal to -3/68?
True
Let o = -11.9 - -30.9. Is o > -1?
True
Let q = 6 - 2. Let v be -1*(-2)/((-2)/(-9)). Let b be -3*(-1 - (-8)/v). Which is smaller: b or q?
b
Let i = 63/2 - 157/5. Which is greater: -0.2 or i?
i
Let x = 10/31 - 211/558. Which is bigger: x or 7?
7
Let u(c) = -3*c**3 - c. Let f be u(1). Let h be 24/54 + f/6. Let y be -1 + (3 - 1) + -2. Is y at least as big as h?
False
Let x(t) = -21*t - 2. Let d be x(-5). Suppose o - d = 4*a, -4*a - 16 - 69 = 5*o. Let r be 10/(-4)*20/a. Are r and 0 nonequal?
True
Let g = 14276/1305 - 22/435. Let k = -32/3 + g. Is -1 smaller than k?
True
Let i be (3 + -3 - 6) + -3. Which is greater: i or -10?
i
Suppose 0 = c - 4*c + 6. Let i = -26 + 29. Which is smaller: c or i?
c
Let a = 13 + -9. Let v be ((-1 - 0) + a)/1. Is 3 > v?
False
Let d(z) = z. Let q be d(5). Suppose -6 = q*m - 1. Is m at least as big as -1/8?
False
Suppose -2*v = 3*f + 1, 4*f - 4*v = 8*f + 4. Which is greater: 0.08 or f?
f
Let d(u) = -u**3 - 5*u**2 + 6*u. Let j be d(-6). Suppose j = -4*s + 5*t + 5, -4*s - 5*t + 20 = -3*s. Let r be 1 - (s + -3) - 0. Is 0 at least r?
True
Let u = -701/9 + 78. Let g = 60 + -60. Is u smaller than g?
False
Suppose 8*h - 72 = 32. Do h and 16 have the same value?
False
Let m(r) = -r**2 - 9*r - 6. Let i be m(-8). Suppose 0*w + 8 = i*w. Suppose -v = -4*v + 5*k - 24, -3*k = -w*v - 21. Which is smaller: v or -1?
v
Let y = -4 + 5. Which is greater: y or 6?
6
Let m be (-30)/40 + (-51)/60. Let p be (4/(-6))/((-16)/(-24)). Which is smaller: p or m?
m
Let x = -7263/14 + 519. Which is smaller: x or 1?
x
Suppose g + 2 = 4. Let d be 1/(-3) + g/6. Let r(k) = k - 3. Let h be r(2). Which is greater: d or h?
d
Let z be (-1 - (-10)/(-4)) + 1 + 3. Is 0 at least z?
False
Let k be (-54)/63 - 2/(-7). Is 0 less than k?
False
Let v = 2 - 1. Is 1 at least as big as v?
True
Let z be (2 - 1)*48/(-4). Is z not equal to -11?
True
Suppose 2*o + 2*b + 57 = 15, -65 = 3*o + 4*b. Are -18 and o unequal?
True
Let q = 11 - 1. Suppose -6*d = -q*d + 12. Which is bigger: d or 0.3?
d
Let k = -62 + 62. Which is bigger: -1 or k?
k
Let v = -173/30 - -101/15. Let j = v - 4/5. Is -2 smaller than j?
True
Suppose 3*g + 5 = 14. Let a(c) = -c + 1. Suppose l - 13 = 5*b, 3*l + 5 = 5*l - 3*b. Let w be a(l). Is g less than or equal to w?
True
Let k = 9 + -3. Suppose w - k = -w. Suppose v = 4*v + w. Is v greater than or equal to 0?
False
Let l be 3/(-1)*13/39. Let c = 1 - 2. Let b(q) = q. Let d be b(c). Is d <= l?
True
Let x = -6 - -10. Let s = x + 0. Is 2 bigger than s?
False
Let x be (24/(-36))/(5/2). Which is smaller: x or -1?
-1
Let w = 0 + 0. Let c = -0.8 + 0.6. Which is smaller: w or c?
c
Let y be 16/6*(-2)/40. Let c(r) = -r**3 - 6*r**2 - r + 2. Let w be c(-5). Let n be (-7)/9 + 4/w. Are n and y non-equal?
True
Let r be -1 + -1 + 10 + -4. Let x be (24/(-14))/((-6)/r). Is x equal to 2?
False
Let x = -2229 + 1228177/551. Let t = 101908061/551 - 184951. Let u = t + x. Is -1 equal to u?
False
Let o(h) = -h**3 + 14*h**2 - 14*h + 18. Let x be o(13). Let z(d) = 3*d + 1. Let b be z(2). Let l = x - b. Is -2 less than or equal to l?
True
Let k be (-3)/(-6)*(0 - -4). Let o = 8 + k. Suppose -2*x + 6*m - 2*m = -o, 4*x - m = 6. Are 2 and x nonequal?
True
Suppose 0 = 7*b - 2*b - 4*m - 109, 4*b + 5*m = 79. Let l = b + -12. Is 8 bigger than l?
False
Let a be 1*(2 + -1) - (-102)/(-100). Which is smaller: a or -1?
-1
Let m be (-880)/(-384) - (-3)/8. Is 4 at most as big as m?
False
Let h = -1 + 1. Let i = h - -0.1. Let o = -33 + 30. Which is bigger: i or o?
i
Suppose l + 5*v = -1, -4*l = -v - v + 4. Let g be -1*(2 + 0/2). Let x be -1 + (-2)/(-8)*g. Which is greater: l or x?
l
Let h = -0.8 - -0.8. Let m be 8/(-16) - (-1)/(-3). Is m at most as big as h?
True
Suppose -5*p + 61 = 21. Let b = p + -4. Suppose 2*k - b*k = -4. Do k and 2/3 have different values?
True
Let a = 0.2 + -0.3. Suppose -3*i = -i - 12. Let m = 3 - i. Is a <= m?
False
Suppose -12 = -a - a - 3*t, a - 4*t + 5 = 0. Suppose 80 = 5*c + g, -55 = -a*c - 6*g + 4*g. Let h be 6/c + (-12)/15. Which is smaller: h or 1?
h
Suppose r - 4 = -2*w, -3*r = -w + 2*w + 8. Suppose -v + 2*g - 7*g = 19, -3*v = -w*g - 19. Which is bigger: 2/5 or v?
v
Let p be -1*(-6)/12 - (-2)/4. Is p smaller than 9?
True
Suppose -b = -4*b + 6. Let i be 4/(-22) + (-7)/22. Which is bigger: b or i?
b
Let l(i) = -1 + 0 + i - 3. Let z be l(4). Suppose -3 + 2 = -q + g, 4*g = 3*q - 4. Is q less than z?
False
Suppose 8*p = 2*p + 78. Is p <= 12?
False
Suppose -3*v = -13 + 4. Suppose -j + 1 + v = 4*m, -5*m = 4*j + 17. Which is smaller: -7 or j?
j
Let a = -6758/5 - -1341. Is a equal to -11?
False
Suppose 0 = -5*c + 15 - 150. Let o be -6 + 5 - 29/c. Which is sma