s unequal?
True
Suppose 0 = -5*b - 5 - 0. Let f(l) = -11*l**2 - 1. Let u be f(b). Let i be u/(-91) - 6/21. Which is bigger: i or -0.1?
-0.1
Let g = -22.93 + 11.99. Let n = g + -0.06. Which is greater: 1/2 or n?
1/2
Suppose -4*v + 3 = -1. Let i = 0 - -3. Let r be v/(i*1/3). Which is bigger: -1/7 or r?
r
Let a = 77.3 - 74. Let z = a + -3. Let h be 1 + -1*(1 - -2). Which is smaller: h or z?
h
Let f be (0 - (-3)/6)*6. Suppose -10 = -0*r + 2*r + 4*d, -15 = f*r + 3*d. Does r = -6?
False
Let i(s) = -s - 2. Let m be i(0). Let x be (-14)/35 - (-64)/10. Let z = x - 4. Is m greater than z?
False
Suppose 34 = 3*s + 5*n, -3*n - 2*n - 2 = s. Let q be (-849)/(-36)*s/4. Let j = q + -106. Is 0 bigger than j?
False
Let l(k) = -7*k + 11. Let q be l(2). Let w = 2 + -4. Which is smaller: q or w?
q
Let d = 4233/80 - 263/5. Which is bigger: d or 0?
d
Suppose -3*u = 5*x + 13 - 36, 4*u + 12 = 4*x. Let k = u - 2. Suppose 6*j = 2*j. Is k > j?
False
Suppose -2*s = 2*q + 10, 0 = -4*s + 2*q + 3*q + 25. Suppose -40 = 2*v + 5*k - 15, 4*v - k + 17 = s. Is v at most -4?
True
Let p = -2/175 + -27/700. Suppose 0*v - 4 = v + k, -5*v - 5 = 2*k. Which is bigger: v or p?
v
Suppose -2*b = -4*b - 4. Let l(f) = -f**2 + f + 1. Let w be l(-1). Which is smaller: w or b?
b
Suppose 0 = 3*m - 5*f + 29, -m = m + 5*f + 11. Let i(h) = h**2 - 9*h + 5. Let v be i(7). Which is smaller: v or m?
v
Let d(y) = -3*y - 4. Let m be d(-3). Suppose -m*g - 4*t + 228 = -152, 4*t = 0. Let a be 46/g - 1/2. Which is smaller: 1 or a?
a
Let f = 4 - -1. Suppose 9*v - f = 4*v. Which is smaller: 2 or v?
v
Let c = -19 - -6. Which is smaller: -12 or c?
c
Let q(u) = -2*u + 6. Let z be q(0). Which is smaller: z or 5?
5
Let i = -1 - 0. Let u be -5*i*(0 + 1). Which is smaller: -0.1 or u?
-0.1
Let x be 8*1 - 2/2. Suppose k - 4*c = 4, -2*k + c + 2*c - 7 = 0. Let u = k + x. Is -1 <= u?
True
Suppose z = 16 + 8. Suppose -6*h + z = -3*h. Suppose 0 = -4*q + 4*a - 23 - 5, 0 = -2*a + h. Is q less than -4?
False
Suppose -3*l - l + 4*z - 24 = 0, -5*l = 2*z + 16. Suppose 3*t + 4*m = -14, t + 4*m = 4*t - 2. Which is greater: l or t?
t
Suppose 5*q - 4*d + 2 = 0, 0*q - d - 8 = 3*q. Let i be (65/(-39))/(q/(-3)). Is -3 greater than i?
False
Let s be (1 - 5)*14/(-4). Let t = -6 + 14. Let d be (-18)/s - t/(-28). Which is greater: d or -2?
d
Let z = -0.1 - 0.1. Let l = 7 + -7.1. Let h = l + 0. Which is smaller: z or h?
z
Let c = 7 + -7. Which is smaller: c or -0.06?
-0.06
Let u = -1 - -3. Suppose 0*n - 840 = -u*n. Let f be 3 - 4/(n/309). Is -1 not equal to f?
True
Let c(v) = -v - 7. Let y be c(-4). Let i be (-3)/(-6 - 3)*y. Which is smaller: i or 2/11?
i
Suppose -3*m - m - 5*i + 7 = 0, 3*m - 14 = 5*i. Let o be 1*0/3 - m. Is -3/2 less than o?
False
Let j be 10/4*24/30. Let f be (-2862)/(-3444) - 1/j. Let n = f + 4/41. Are -1 and n equal?
False
Let u = 0.2 - 0. Let m = 0.1 - u. Which is smaller: m or 3?
m
Let p = -100 + 104. Which is greater: 6 or p?
6
Let k(l) = 2*l**2 - l. Let c be k(1). Let z = -7.5 - -7. Let r = z - -0.4. Is c greater than r?
True
Let x = 345 + -14489/42. Let j = 5/14 - x. Is 1 <= j?
False
Let f(n) = -n**2 + 5*n + 3. Let p be f(4). Let z be 6/(-21) + (-82)/p. Which is greater: -13 or z?
z
Let z = 0.7 + -2.7. Let o = z - -2.3. Which is greater: o or -0.1?
o
Suppose -2*r = -5*r. Suppose 0*z - 3*z - 5 = g, 0 = -3*z + g + 5. Is z > r?
False
Suppose 0 = 26*g - 21*g + 5. Are g and -1/11 equal?
False
Let f(c) = -c**3 + 3*c**2 + 4*c - 2. Let p be f(4). Let r = -1 + 3. Let m be r + 1*-2 - 3. Is p at most as big as m?
False
Let v = 8 - 8. Suppose 3*r + v = 12. Let c = 2 - 2. Which is smaller: r or c?
c
Suppose 0 = -4*j - 4*k + 20, -4*j - k - 2 + 16 = 0. Suppose -3*a - 3 = -2*g + 31, j*a + g = -19. Which is bigger: -7 or a?
-7
Let y be 3/((-3)/(-1 - 2)*-1). Is -12/5 >= y?
True
Let d(h) = h**2 - 8*h + 1. Let c be d(6). Let b = c - -8. Which is bigger: -4 or b?
b
Let h(k) = k - 4. Let f be (1 - 1)*(-5)/(-5). Let t be h(f). Which is smaller: -3 or t?
t
Let c be (-1 + 3)*2/(-2). Suppose -7*b + 3*b = -h + 1, h = b + 10. Suppose -3*f + 0*f - 4 = -5*z, -z = 4*f + h. Which is bigger: c or z?
z
Let n = 27 + -17. Let j = -14 + n. Which is greater: -3 or j?
-3
Let t = -10677 - -587612/55. Let u = -70463/55 - -6443/5. Let i = u - t. Which is greater: i or 0?
i
Let c = -21 + 19. Is -5 less than or equal to c?
True
Let n = -12 - -11. Is n not equal to -10?
True
Let y = -6 - -5. Is -3/37 greater than y?
True
Let s = 7.83 + -8. Let f = -0.03 + s. Is f < 0.2?
True
Let h be 485/(-148) - 3/(-1). Let n = h - -1/37. Is n greater than 1?
False
Suppose -4*m + 18 = -d + 3, -d = -3*m + 10. Let k(y) = 4*y - 17. Let b be k(m). Does 6 = b?
False
Let w = -72 + 68. Suppose -2 = v - 2*v. Let b be v/10*(-1 - -3). Which is bigger: b or w?
b
Let j = 45 + -26. Suppose 2 - 7 = -u - v, 3*v - j = -4*u. Which is smaller: u or 3?
3
Let n = -3 + 2. Is n smaller than -5?
False
Suppose 4*v + 0*v + 24 = 0. Suppose -2*c = 10, 8*r + 55 = 3*r - 4*c. Let s = r - v. Are s and -1/7 non-equal?
True
Suppose q + 14 = 2*q. Do 2 and q have different values?
True
Suppose n + h = 1, 5*h = 3*n - 7*n + 3. Suppose 0 = -m + 4*d + 12, -m - d - 16 = n*d. Is -4 smaller than m?
False
Suppose 20 = 4*j + j. Suppose 164 - j = -2*f. Let v be (2/(-4))/((-8)/f). Which is greater: -3 or v?
-3
Suppose -2*w = 2*p + 2*p + 316, -3*p = -2*w + 244. Is p not equal to -80?
False
Suppose h + 8 = -2*h + 5*b, -h - 5 = -4*b. Is 9 not equal to h?
True
Let g(a) = -47*a**3 + 19*a**2 + 46*a**3 - 7*a**2. Let k be g(12). Is -2 != k?
True
Let c = -17.29 + 0.29. Let o = -16.7 - c. Let v = -2 - -1. Which is smaller: v or o?
v
Let v be ((-32)/680)/((-2)/(-5)). Is 1 not equal to v?
True
Let a = -22 + 45/2. Let x = 37 + -36.96. Which is smaller: a or x?
x
Let u be (-6)/(-3) + 159/(-85). Let n = u - 1/34. Is 0 less than or equal to n?
True
Let j(x) = -x - 3. Let h = -7 - -3. Let v be j(h). Are 1 and v unequal?
False
Suppose 2*k - 7*k = 20. Let p be (-7)/(7/k)*1. Are p and -2/11 equal?
False
Suppose 2*x + 3*f + 2 = -0, -5*x + 4*f + 18 = 0. Let g be -1 + ((-86)/(-30) - x). Let k = -4 + 5. Is g smaller than k?
True
Let i = -213 - -4045/19. Let o(a) = 10 - 2*a - a + 2*a. Let j be o(9). Is j < i?
False
Let l be 5/(-1 - -2) + 0. Suppose 0*x = x - l. Suppose 2*f + 8 = m - 1, 2*m + 2*f = 0. Do x and m have the same value?
False
Let v = 29/70 + 3/35. Let x be 39/5 + 2/10. Which is greater: v or x?
x
Let y be (-12)/(-16)*(-22)/3. Let o = -5 - y. Is o smaller than 2?
True
Let h be (-126)/35*-1*(-100)/6. Which is bigger: h or -59?
-59
Let a = 7.8 - -1.2. Let z = -2 + 1.9. Is z smaller than a?
True
Let o be (18/(-48))/(3*2). Is -0.1 bigger than o?
False
Let i be 3 + -2 - -2*1. Let g = 4 - i. Which is smaller: -3/7 or g?
-3/7
Let w = 24.9 - 26. Let a = 2.9 - w. Let u = a - 4. Which is smaller: 0.1 or u?
u
Let z = 8.7 + -9. Let q = 1/172 - -335/1548. Is q at most z?
False
Let t be (2 - 2)/1 - (-4)/(-94). Let x = -0.2 - 0.8. Is x not equal to t?
True
Let q = -1 + -1. Let m be -2*-1*(-3)/(-24). Which is greater: q or m?
m
Let v = -12 + 24. Let w = v + -12. Is 2/9 equal to w?
False
Let o be (-5 - -29)*(-3)/(-6). Is o at least 0.2?
True
Let z = -42 - -46. Is 2 less than z?
True
Suppose -21 - 7 = 7*o. Which is greater: -7 or o?
o
Suppose -p = -2*p. Let w(s) = s + 5. Let t be w(p). Let x = t - 6. Is -1 <= x?
True
Suppose 2*c + c + 33 = 0. Which is smaller: c or -10?
c
Let a = 2368 + -26066/11. Which is smaller: a or -1?
a
Let z = -10.9 + 11. Is z < 3?
True
Let m(h) = -h**3 - 3*h**2 - 3*h - 1. Let q be m(-2). Let k be (q - -1)*3/(-39). Is 0 not equal to k?
True
Let d be (55/10)/(17/5). Let c = -2/17 + d. Is -1 at least as big as c?
False
Let i(f) = f + 9. Let t be i(-11). Let j = -3 - 3. Let b = j - -4. Is b <= t?
True
Suppose -q + 3*q - 4*u = 8, -3*q + 5*u + 12 = 0. Let n = -1 - 2. Let t = q + n. Is 2 less than t?
False
Suppose 0 = 3*q - 3*f + 6, 4*q - 22 = -4*f + 2. Let n be (-1 - (-12)/13)*q. Which is greater: n or -3?
n
Suppose 79 = 4*t - r, -2 + 0 = -2*r. Suppose 3*a - t = -2*a. Is 3 at most a?
True
Let d(g) = 5*g**3 - 10*g**2 - 9*g - 1. Let u(p) = -9*p**3 + 19*p**2 + 17*p + 2. Let c(j) = 11*d(j) + 6*u(j). Let t be c(-3). Which is smaller: -2/11 or t?
-2/11
Suppose 0*u = 5*u - 5. Is u at most -10?
False
Let j(x) = x**2 + 7*x + 8. Let z be j