, 3*q + q + 5*o - 11 = 0. Let l be q*2*(-3)/12. Is 0 smaller than l?
True
Let x be 15/(-10)*(-4)/22. Which is bigger: x or -1?
x
Let a = 27 - 47. Let c = a + 14. Let i = 0.2 + -0.1. Is i bigger than c?
True
Let n(k) = -6*k**3 - k**2 + 4*k + 3. Let x be n(-2). Suppose 2*m - a + 33 = 0, 2*a + x = -3*m - 0*m. Is m greater than or equal to 0?
False
Let i = -7 - -7.5. Let d = i - 0.8. Which is smaller: -1 or d?
-1
Let y = -1 + -2. Let b(i) = -2*i - 5. Let l be b(-5). Let a = l + -6. Which is bigger: a or y?
a
Let y be 2/(2/(-23))*(-2)/6. Is y at most as big as 8?
True
Let h be 4 - (-4 + 8/1). Which is smaller: 2 or h?
h
Let y be 186*(-1)/(-165)*3. Let r = y - 16/5. Which is smaller: r or 2?
r
Let m = -4 - -9. Let y be (1 + 0)/(-4 + m). Which is bigger: y or 2/9?
y
Suppose 3 = -2*r - 7. Let p = 2 + r. Let c be (-3)/p + 1/(-3). Is 1 != c?
True
Let n(q) = -q**3 - 3*q**2 + 1. Let u be n(-1). Let a = u - -5/4. Is a smaller than -1/9?
False
Let a(o) = 2*o + 6. Let x(k) be the second derivative of 5*k**3/3 + 15*k**2 + 2*k. Let g(q) = 14*a(q) - 3*x(q). Let v be g(-4). Is 3 >= v?
True
Let y = -953 + 9519/10. Let q = -91/110 - y. Are 1 and q nonequal?
True
Suppose 0 = -2*y + 3*y + 6. Let i be ((-5)/2)/((-14)/(-28)). Is y at least as big as i?
False
Let f be 322/(-56) - 2/8. Is 0 < f?
False
Let d = -2 - 22. Is -25 smaller than d?
True
Let k be -1*(-2 + 6 - (4 - -4)). Let w = 13 + -9. Do k and w have the same value?
True
Let g = 7 - 6.96. Let u = g - 0.1. Let b = 0.9 - 1. Which is greater: b or u?
u
Suppose -t = 4*t - 5. Let k = t - 2. Which is smaller: -1/2 or k?
k
Suppose -x + 23 = -3*n, 0*x - 22 = 2*n + x. Let g = 10 + n. Let o be (1 - 2) + 3 - g. Which is bigger: 2/13 or o?
o
Suppose 16*d - 20 = 12*d. Which is smaller: d or 2?
2
Let o = -0.28 + 0.08. Let s = o + 0.2. Let n = 75/7 - 11. Are s and n equal?
False
Let t = -2786/9 + 310. Is 3 > t?
True
Suppose 0*w + 2*w = 0, 5*w - 12 = -3*n. Let o be n*9/12 + 0. Is o equal to 3?
True
Let m be 8/(-30)*(1 + (-150)/156). Which is smaller: m or 1?
m
Let n(v) = -v**3 - 7*v**2 - 7*v - 2. Let o be n(-6). Is o less than or equal to 7/2?
False
Let p(x) = -2*x + 3. Let m be p(2). Which is smaller: 2/21 or m?
m
Let q(v) = v**3 + 17*v**2 + 16*v + 2. Let k be q(-16). Which is smaller: 4/3 or k?
4/3
Suppose 0 = 5*x + g - 1, 0*x + g = -x + 1. Suppose 3*k + 21 = -x*k - y, y = -k - 5. Is -8 != k?
False
Let m be -1 + 6/10*1. Suppose 0*c = 4*c - 8. Suppose -a - v + 1 = 0, -a + 2*v + c = -5*a. Which is smaller: m or a?
a
Suppose -g = -5*g - 28. Which is bigger: g or -8?
g
Suppose 7*b = -4*b - 11. Which is greater: b or -26?
b
Let j = 1/928 + -4661/19488. Are j and 0 nonequal?
True
Suppose 0 = -3*k - 6*n + 2*n - 11, 4 = -2*k - 2*n. Let u be 2/3*k/(-9). Which is smaller: u or 0?
u
Let u = -74 + 57. Which is smaller: -16 or u?
u
Let p(d) = d + 5. Let z = 5 + -8. Let v be p(z). Is v at least 1?
True
Suppose 3*g = g. Suppose -a = -1 - g. Which is greater: 2/13 or a?
a
Let f(o) = o**2 + 7*o + 8. Let t be f(-6). Let d = 2 - -1. Which is greater: t or d?
d
Suppose 3*k = 4*k - 5. Suppose -3*d + 5*b = 13, -21 - 19 = -5*d - 4*b. Which is smaller: d or k?
d
Let g = 72 + -10. Is g at most as big as 61?
False
Suppose 0 = -0*o - o - 4*q - 1, 3*q - 28 = 5*o. Let m = o + 6. Let d be 2/12*(m + 1). Which is smaller: 1 or d?
d
Suppose -3*n + 54 = -0*n. Let g = -17 + n. Which is smaller: g or -1/28?
-1/28
Let i = -15 + 46. Which is bigger: i or 29?
i
Let a = 96 - 100. Which is smaller: a or -1/6?
a
Let w = 3 - 2. Suppose -2*l + 3*i - 3 + 27 = 0, 2*i - 24 = -2*l. Is w bigger than l?
False
Suppose 15 = 5*u + p, -5*p + 23 = -u - 0*p. Let o(r) = 0*r**u + 5*r + 4 - r**2 + 2*r**2. Let n be o(-4). Which is smaller: 2/3 or n?
n
Let i(t) = -450*t**3 + 3*t**2 + t - 1. Let f be i(-2). Let u = f - 14361/4. Let q = u + -359/20. Is 2 greater than q?
True
Let b = 259 - 4923/19. Which is greater: b or 0?
0
Suppose -68 = -4*d - 0*d. Let z = d - 13. Let r = 0 + 1. Is z > r?
True
Let a(z) = -z**3 - 7*z**2 - z + 5. Let i be a(-7). Let t = -13 + i. Which is greater: -3/5 or t?
-3/5
Let c be (-2)/(-32)*(-1)/(12/(-16)). Do c and -1 have different values?
True
Let l = 7 - 8. Suppose -8 = 5*g - 3. Is l > g?
False
Let n(b) = 5*b + 1. Let h be n(1). Suppose -26*m - 14 = -28*m. Which is smaller: m or h?
h
Suppose q + 2*a + 2*a = 16, -5*a + 15 = 0. Let u = 29 - 16. Suppose -x + u = 2*m + q*x, 4*m + x + 1 = 0. Is m at least -0.5?
False
Let n be ((-15)/75)/((-4)/(-10)). Which is smaller: 43 or n?
n
Let m(i) = 3*i**2 - 20*i - 9. Let w be m(7). Let d be 7/(-5) - (-4)/(-10). Which is greater: d or w?
d
Let o = -0.152 - -0.052. Let a(g) = -2*g**2 - 2*g + 1. Let l be a(-2). Let m = 1 - l. Is m < o?
False
Let l = -1 - -2. Let n = l - 2. Do n and 0.06 have different values?
True
Suppose -4*h = -2*h + 6. Let b be (-5)/h - (0 - -2). Suppose -4*w + 3*x + 12 = -9, -4*x = -2*w + 8. Are b and w equal?
False
Suppose -3*j - 2*j - 3*a = -39, -2*a - 13 = -j. Let z be 6*-3*(-2)/j. Is 4 > z?
False
Let h = 69 - 559/8. Is h >= 0?
False
Let g be 4/(-14) + (-97)/(-21). Which is smaller: 4 or g?
4
Let v = 1526/3 - 532. Is v greater than or equal to -22?
False
Let i(c) = -c + 3. Let r be i(7). Let k be 2/r - (-1 + 1). Is k not equal to -0.4?
True
Let u(a) = -9*a + 4 + 4 + 10*a. Let p be u(-9). Let y be -1 + (-5)/3 + 2. Is p at least as big as y?
False
Let k(x) = 4*x + 13. Let r be k(-6). Let y = 12 + r. Do -1/5 and y have the same value?
False
Let z be (-1*1/(-5))/(-1). Let h = -8 + 11. Suppose -c - h = 2*c. Which is greater: z or c?
z
Let p = 1.09 - 0.09. Is p <= 2?
True
Let g = 0.02 + 0.03. Is g >= -0.01?
True
Let l = -1959743/139386 - -84/1787. Let p = -85/6 - l. Which is greater: p or 2?
2
Let b = 0.05 - -3.95. Let z = -2 - -4. Let p = b - z. Which is smaller: 2/3 or p?
2/3
Suppose 33 = 5*n - 17. Is n greater than or equal to 11?
False
Let s(t) = t**2 - t + 4. Let b be s(0). Let q = b - 3. Let k = 148/693 - 2/63. Is q != k?
True
Let d be 12/9*3*-1. Which is bigger: -3 or d?
-3
Let z = -1 - 0. Let t = z - -2. Let q = 3 + -3. Is t bigger than q?
True
Let y = 0.36 - -0.64. Which is greater: -25 or y?
y
Let g be 5/((-20)/124) + 1. Which is greater: -29 or g?
-29
Let n = 0.2 - -0.8. Let c = 3 - 4. Let o = n + c. Which is smaller: o or -0.1?
-0.1
Let h(p) = p**3 - 3*p**2 - 4*p - 4. Let r be h(4). Let u = r + 4. Which is smaller: u or 1/21?
u
Let w(k) = -4*k**3 - 2*k**2 + k - 2. Let l be w(-2). Let t be l/(-2) + (-2 - -4). Let y be (-1)/2 + 2/t. Are -2 and y nonequal?
True
Suppose -o - 4*r + 4 - 2 = 0, -5*o - 5*r + 25 = 0. Suppose -o*b + 45 = -b - 4*w, -w = 5*b - 20. Which is smaller: b or 3?
3
Let d = 0 - 0.04. Let b = -0.06 + d. Is b at least 1?
False
Suppose 0 = q + 3 - 4. Let x be (2 - 1)/(68/17). Is x greater than q?
False
Let r be (-723)/(-105) - (4/7)/2. Which is bigger: r or 6?
r
Suppose 2*o - 4*p - 24 = 0, 2*p + 3 = 4*o - 15. Suppose 2*s - 6 = o, -5*s = -4*a - 20. Are 0 and a unequal?
False
Let a = 9 + -9. Let b = a - 0.2. Do 1 and b have the same value?
False
Suppose -2*m + 1 = -5. Suppose 2*t + 50 = 7*t + m*s, -2*t + 3*s + 20 = 0. Is t < 10?
False
Let w = 23693/717 - 11338079/335556. Let b be -1 + -1 + (-704)/(-351). Let m = w - b. Which is smaller: m or 0?
m
Let a = 43 - 48. Which is smaller: a or 1?
a
Let i be (-2 - 24/(-10))*10. Let a(t) = t**3 + 4*t**2 + 3*t + 2. Let v be a(-3). Suppose 2*n + v*n - 3*b - i = 0, -3*b - 2 = -2*n. Is n less than 1?
False
Let p be (-10)/6*24/(-2). Suppose 2*o + 3*g = 12, -3*o + 5*g - p = -0*o. Which is bigger: 1 or o?
1
Let b(r) = -5*r**2 + 1. Let v be b(-1). Let f be ((-60)/70)/((-6)/28). Suppose -3*i + 0*i - 4*p = 13, f*p + 10 = -2*i. Which is smaller: v or i?
v
Let x = 8 + -7. Let n be 2/(-42) - 8/28. Which is greater: n or x?
x
Let q be (-50)/(-18) - (-4)/18. Suppose 1 = b + q*u + 11, 5*u + 19 = -4*b. Which is smaller: 0 or b?
b
Let x = 17 - 28. Let z = -9 - x. Which is smaller: -1/7 or z?
-1/7
Let c = 2 + -3. Let d be c/4*-6*2. Let y be (2/6)/(6/72). Which is smaller: d or y?
d
Let p = -8 + 8. Which is smaller: 2/5 or p?
p
Let c(l) = -l - 8. Let v be c(-8). Suppose -o - 5*m + 14 = v, -m - 2*m = -3. Let p = -5 + o. Which is smaller: p or 2?
2
Let b(g) = -g**3 - 4*g**2 + 5*g + 2. Let d be b(-5). Suppose -6 = 4*x + 2*t, 7*x - 2*t - 15 = 2*x. Suppose 1 + x = 