ppose -3*c = c - 4*x - 16, -4*c - 4*x = 16. Are c and i unequal?
True
Let g be (-9)/21 - 4/(-14). Is g greater than -1?
True
Suppose -5*p + 18 = 4*s - 0*s, 14 = 2*s + 5*p. Let b be (3 - s)/((-4)/(-1)). Does -0.8 = b?
False
Let q = 48 + -33. Which is smaller: 0.1 or q?
0.1
Let l be (-3)/2*(-8)/(-32). Let g = 5/56 + l. Is 8 less than g?
False
Let o = -188 + 194. Let p be (14/(-4))/((-1)/2). Is p at most as big as o?
False
Let n = -9/7 + 1. Let u be (-1 - 0)/(-2)*-8. Which is smaller: u or n?
u
Let d be (3/(-6) - -1)*0. Which is smaller: -7/9 or d?
-7/9
Let f be (12/6 - -10)*(-1)/(-4). Suppose -3*o = 3*a - 3, -5*a - 3 = -a - 3*o. Which is smaller: f or a?
a
Let f be 0/2 - (3 - (-240)/(-81)). Is f at least as big as 0?
False
Let x(l) = -l**3 - 2*l**2 + 2*l - 2. Let t = -7 + 7. Suppose t = 2*k + 2*k + 12. Let f be x(k). Which is bigger: -3/11 or f?
f
Let r(a) = 3*a - 1. Let i be r(4). Is i != 0?
True
Suppose 5 = 2*a - a. Let z = a - 1. Which is smaller: 3 or z?
3
Let p = -4 - -2. Let g be p - (0 - (-18)/(-10)). Which is smaller: g or -1?
-1
Suppose d + 4*b + b = 23, 4*d = 3*b. Which is smaller: d or 2?
2
Let i = 1.95 - -0.05. Is i less than or equal to -23?
False
Let f(l) = -l**3 - 2*l**2 + 4. Let h be f(-3). Let t = -22 + h. Is -9 at most t?
True
Let f = -1235 - -2531/2. Which is smaller: f or 30?
30
Let v be (-24)/(-14) - 8/(-28). Suppose v = -o + 1. Let j = -8/11 - -6/11. Is o equal to j?
False
Let u(m) = m**3 - m**2 - 5*m**3 + m**3 - m + 4*m**3. Let j be u(2). Which is bigger: j or 4?
4
Let m be 843/(-15) - (-2 - -1). Let p = m - -55. Do p and 1 have the same value?
False
Let u(w) = -w**3 - 7*w**2 + 7*w. Let j be u(-8). Is j <= 7?
False
Let l = -1 + 0. Let n be (7/(-6))/(10/15). Which is greater: l or n?
l
Suppose 0 = 2*f - 7*f. Let r(l) = -l**3 + 3*l**2. Let q be r(3). Do f and q have different values?
False
Let w be 4/14 - 5/(-7). Let s be (14 - 15)*(-22 - 0). Let j = s + -22. Which is greater: j or w?
w
Let s(g) = 23*g + 3. Let t be s(4). Let z be (-1)/(-2) - t/110. Which is smaller: z or 0?
z
Let k(m) = -m**3 - 9*m**2 - 9*m - 2. Let y be k(-8). Which is smaller: 4 or y?
4
Let v = -0.14 - -0.1. Let p = 2.96 - v. Let d = -2.8 + p. Do 1 and d have the same value?
False
Let v = 25 + -1. Is v at most as big as 0.1?
False
Suppose -4 = 3*b + 2*i, 2*b - 6 = -i + 4*i. Let c = 37 - 37. Let f = b - c. Is f less than or equal to 3?
True
Suppose m = -4*m - 15. Let a = 3 + m. Let d = -1 + a. Which is smaller: -2 or d?
-2
Let t be 27/72*8/6. Is t greater than 1?
False
Let d = -0.1 + 0.1. Let p = 7.012 + 0.088. Let q = p - 7. Are d and q equal?
False
Let c = -3/191 + 467/17572. Do 1 and c have the same value?
False
Let c be (-2)/5 - 85/(-25). Let l = c - -1. Let a = 0 - l. Is a at least as big as -4?
True
Let c = -43/2 + 21. Which is smaller: -1 or c?
-1
Let w = 15 + -14. Which is greater: w or 4?
4
Let a(y) = 5*y + 2. Let u be a(-4). Let v = 63 + u. Let k be 5/v - 2/(-9). Are k and -2/11 nonequal?
True
Let a = -0.41 + -0.09. Let l = -0.7 - a. Is -0.2 equal to l?
True
Let a(r) = r**3 - 2*r**2 - r + 2. Let g be a(3). Let v be -2*63/g - -1. Let n = -15 - v. Is 0 not equal to n?
True
Suppose 2*r + 1 = -1. Suppose -4*v + v + 108 = 5*i, v + 2*i = 37. Suppose 5*n + v = -3*m, -n - 3 - 4 = m. Which is greater: r or m?
r
Let n = 2 + -2. Let z = -2 - -6. Let b be (z/(-10))/(44/(-20)). Is n greater than b?
False
Suppose -29 + 69 = 5*m. Suppose 4*b = -0*b + 32. Is m > b?
False
Suppose -b = -3*b. Let u(s) = s**3 + 11*s**2 + s + 15. Let y be u(-11). Suppose 0 = y*m - b*m. Is m greater than -3/5?
True
Let o = -6 - -1. Let j be (-20)/o*(-2)/(-4). Is j <= 2?
True
Let u be 6/(-27) + (-112)/(-18). Suppose f = u - 2. Which is greater: f or 3?
f
Let b be 1/(-3 - ((-1015)/(-10) + -3)). Are b and 0 equal?
False
Let z(r) = -r**2 + 3*r - 1. Let n be z(4). Let m = 10 + n. Suppose -u + m = 4*u. Which is bigger: 2/15 or u?
u
Let q = -5 + 8. Suppose 0*v + 4*i + 20 = -2*v, 0 = -q*v - i - 10. Let b = -17.1 + 14.1. Are v and b unequal?
True
Let l be (2 + 0)/((-3)/(-6)). Suppose -l*b + 0*c = 2*c - 14, c = 4*b - 5. Are b and 1 equal?
False
Let m = 0 - -2. Suppose 0 = -4*y + 6 + m. Suppose -y*o + 2 = -2. Is 2 > o?
False
Let h = -0.952 + 0.012. Let u = h - 0.06. Let i be (2/18)/(5/15). Which is greater: i or u?
i
Let n be 6/(-2)*8/(-60). Is 3/5 at most n?
False
Let q be (2/(-3)*3)/6. Let a = 0.09 + -0.09. Is a bigger than q?
True
Let m = -189 - -188. Which is greater: m or 6/43?
6/43
Let x = -0.005 - 0.095. Which is smaller: x or -8.3?
-8.3
Let q = -18/5 + 103/30. Suppose -3*r = r - 2*o + 2, 0 = 3*r + 3*o - 3. Is r less than q?
False
Let h(w) = -w**3 - w**2 + 6*w + 6. Let a be h(-3). Are 5 and a equal?
False
Let s = 54/55 - 4/5. Let x = -0.012 - 0.988. Is s less than x?
False
Let v be 1 + (-4)/(20/105). Is -18 < v?
False
Let x = 5 + -1. Let y(r) = 4*r**2 + 1. Let h be y(-1). Is x smaller than h?
True
Let n = 41 + -28. Which is smaller: 12 or n?
12
Suppose -5*w = l - 2 + 12, 0 = -2*l + 4*w - 6. Suppose -3*p - p + 4 = 0. Let s be 9/(-2) - p/2. Are l and s nonequal?
False
Suppose 2*w = s - 2*s - 4, -4*s - 4*w - 8 = 0. Are s and -2 unequal?
True
Let s(x) = x**3 + x**2 - x. Let y be (-3 + 1 - -2)*-1. Let v be s(y). Which is smaller: v or 2/5?
v
Let g = 78 - 78. Is g equal to -0.05?
False
Let o = 21/8 - 163/56. Are o and -1 nonequal?
True
Let n = -19 - -13. Let l = 5.8 + n. Which is bigger: l or -1/3?
l
Suppose -a + 4*q = a - 26, 4*a - 2*q - 22 = 0. Which is greater: a or 21/11?
a
Let b be -1 + -7 + 1 + -1. Let a be (-1)/3 - (-69)/(-9). Do a and b have the same value?
True
Suppose 0*n + n = 1. Let o = 59/399 + -2/399. Which is bigger: o or n?
n
Suppose 2*l - 2*o - 22 = 0, -12 = o + 2*o. Let y = 2 - l. Let q = 7 + y. Are q and 4/3 equal?
False
Let k(a) = -a**2 - 6*a - 11. Let n be k(-7). Let h = n - -15. Suppose 0 = -0*i - 5*i - 10. Is h at least as big as i?
False
Let h(n) = 2*n. Let c be h(-1). Let u be -49 + c + (3 - 2). Let a = u - -352/7. Do a and 0 have the same value?
False
Let x be (3 + (-36)/8)*-2. Is x > 0?
True
Let q = 10 + -10.8. Let p = 1.2 - 1. Let g = p - q. Is -1 at least g?
False
Let r(j) = j - 1. Let x be r(0). Let z = -12/31 - -214/713. Which is greater: x or z?
z
Let w(m) = -m + 6. Let c be w(3). Suppose 5*j + 4 = -4*o - 2, -j + c*o + 14 = 0. Suppose -20*q = -19*q - 1. Which is smaller: j or q?
q
Let o = -761/1056 - -25/32. Are -1 and o equal?
False
Let d = -471/11 + 43. Let z = -3 - -4. Which is bigger: z or d?
z
Let s be ((-2)/1)/(10 - 8). Suppose -n + r + 3 = 0, 3*n - 2*r - 14 = -7. Which is bigger: n or s?
n
Let v(u) = u**2 - 3. Let h(a) = a**3 + 7*a**2 + 8*a + 12. Let m be h(-6). Let w be v(m). Is -4 less than or equal to w?
True
Let h(a) = -a**3 - a**2 + 3*a + 2. Let n be h(-2). Let j be (3 + (n - -2))*-1. Is -5 equal to j?
True
Let r = 7.35 - 7. Let b = -0.2 + r. Let t = -0.05 - b. Is 0 at most t?
False
Let d = -0.278 + 0.108. Is 2/3 bigger than d?
True
Let v be (-10)/35 - (-130)/14. Suppose 3 = -2*p + v. Is 4 >= p?
True
Let o = -0.1 - 2.1. Let y = -1.2 - o. Let x = 1.2 + -1. Are x and y non-equal?
True
Suppose 15 = 6*l + 21. Which is bigger: 1/6 or l?
1/6
Let a = -1/106 - -233/2226. Let x(t) = t**3 + 3*t**2 - t - 4. Let u be x(-3). Which is smaller: u or a?
u
Let y = -1.66 - -1.7. Let k = y + -0.14. Is 4 <= k?
False
Let d(h) = h**3 + 5*h**2 + 6*h + 2. Let s be d(-2). Suppose 0 = 3*b + 2*v - 16, -s*v - 14 = -0*b - 2*b. Are b and 0.1 nonequal?
True
Let d(p) = 3*p**3 - 4*p**2 + 2*p + 1. Let v be d(2). Suppose -2*l - 1 = 4*k - 11, -k - 4*l = -v. Let a = 0 + -1. Which is smaller: k or a?
a
Let c be 4*(-3)/((-9)/(-6)). Let w = c - -3. Which is smaller: w or -3?
w
Let a be 15/(-10) - (-3)/2. Let r = -652/7 - -93. Are r and a equal?
False
Suppose 5*s + 4*d + 16 = 4*s, -3*s - d = 4. Which is bigger: 16 or s?
16
Let q be (2/3)/(2/(-3)). Let h be (q*2)/((-24)/60). Which is bigger: 4 or h?
h
Let v(o) = o**2 + 4*o + 2. Let s be v(-3). Let i be s + (-96)/(-21) + -3. Which is bigger: 0 or i?
i
Let i = 7 + -9. Let z be 1/i*(-12)/(-15). Which is smaller: -0.3 or z?
z
Let v = -1.4 + 2.8. Does v = -1?
False
Let h = 1/8 + 3/8. Let c = 9 - 7. Suppose c = -5*z - 8. Which is greater: z or h?
h
Suppose -m = -0*m + 2. Let c be m*1*1/3. Let p = -7 - -6. Is c less than or equal to p?
False
Le