t x be c(o). Suppose 5*a + 5 = -2*d, -a - d = -x*d - 2. Is -5 less than or equal to a?
True
Let o = -13 - -19. Let y be 0/(-1) + (-2)/o. Which is greater: 8 or y?
8
Let k be 12/4*(-2)/3. Let j(n) = n**3 - 3*n**2 - 2*n - 7. Let c be j(5). Let h be 5/c - k/11. Which is smaller: 2 or h?
h
Let x(n) = 2*n**3 - 2*n**3 - n**3 + n**2 + n - 7. Let h be x(0). Let v = h + 7. Which is greater: v or -2/15?
v
Suppose 2*l + 3*l = 6*l. Is -7 smaller than l?
True
Let u = 4/9 - -19/18. Which is smaller: u or 3?
u
Suppose -8 = 2*l + 72. Which is smaller: l or -41?
-41
Let y = -6 - -5.9. Is y at most -1?
False
Let k(a) = -a**2 + 7*a. Let b be k(6). Suppose 0*c = 3*c + b. Do c and -1 have different values?
True
Suppose 5*a = 5*i, 4*a + a = 5. Let b be 8/12*(i - 4). Is -1 < b?
False
Let r(v) = v**2 - v - 1. Let d be r(0). Let a(o) = -14*o + 57. Let c(y) = 5*y - 19. Let j(t) = -6*a(t) - 17*c(t). Let f be j(-16). Is f at most d?
True
Let a(n) = n**3 - n**2 + 3*n + 2. Let g be a(0). Let y = 0 + 0. Which is greater: g or y?
g
Let t = -182 - -220. Is 0 > t?
False
Let o be 2/(-1) - (0 + 1). Let r = -2 - -7. Let l = r - 9. Which is smaller: o or l?
l
Suppose -6*m = -m, -2*p + 12 = m. Let a be (-3 - -3)*3/p. Is a != 1?
True
Let c be (1 - -3)/((-35)/10). Let n = -3 + 5. Suppose 3*t - n*t = 0. Which is smaller: t or c?
c
Suppose 3*m = 5 - 14. Let n be 1 + (1 - 10)/(-1). Let b = 7 - n. Are m and b equal?
True
Let v be 4/16*(-12)/(-57). Let s = v - 41/57. Is s at least 2?
False
Let q be 4 - (1 - (-2 + 0)). Let g be (-3 - -2) + q - 1. Let a be (-2)/(-20)*(-5)/2. Which is smaller: g or a?
g
Let s = 175 - 174. Is s >= 3/109?
True
Let d = -0.5 - -0.24. Let s = 3.06 - 3. Let m = s + d. Do m and 0.1 have different values?
True
Let u = 143 + -141. Suppose 2*h + 5*c = 5*h + 2, 4*c = -h + 5. Are u and h unequal?
True
Let n be 0/(-1) + (-2)/6. Let o be 1/(-12) + 1 + -1. Let k = o - n. Which is smaller: 1 or k?
k
Let t(r) = -r**2 - 5*r - 1. Let o be t(-4). Suppose 3*d + 6 - o = 0. Let b = -5 + 4. Is d greater than or equal to b?
True
Let v = 19581/10 - 1960. Let q = -2/5 - v. Let j = 0.2 - 0.3. Which is smaller: q or j?
j
Let p = -5 - -6. Suppose 3*h + p - 2 = -2*i, 5*i = 5*h - 10. Let w(z) = -z**3 + z. Let y be w(1). Are h and y equal?
False
Let u = -3 + -1. Let z = -2 - u. Let m be 5/20 + (z - 1). Is m < 0?
False
Let t = -19 - -22. Is t <= 5?
True
Let w(l) = l**3 - 4*l**2 - 6*l + 5. Let t be w(5). Let v be (-2 - t) + (-2 - -6). Is v bigger than 3/5?
True
Let b = 0.1 + 0. Let f = 134 + -128. Does f = b?
False
Suppose 3*k - 8 = 1. Let h = 6 + -7. Let f be (1 - 0 - -1) + h. Which is greater: f or k?
k
Suppose -2*z + 3 = -z. Suppose z*t - 7*t = -4*h + 8, 3*t - 2 = -h. Let v(b) = b**3 + 6*b**2 - 8*b - 7. Let g be v(-7). Do g and t have different values?
False
Let w(d) = d**3 + 6*d**2 - 17*d - 12. Let t be w(-8). Which is bigger: t or 1/10?
1/10
Let w = -0.4 + 0.2. Let x = w + 3.2. Let m = 12 - 13. Do m and x have the same value?
False
Let j(z) = 2*z**2 - 2*z. Let q be j(1). Which is smaller: q or 6/13?
q
Let i = 7 - 2. Suppose -29 = -i*v - 5*q + 16, 2*v - 13 = -q. Suppose 0 = -v*y - y. Does y = -1/4?
False
Let g be ((-6)/4)/(9/(-18)). Is -2/7 less than g?
True
Suppose 0 = -z + 3 + 2. Suppose z*u + 8 = -2. Which is greater: -4/7 or u?
-4/7
Let p = 1037/44 + -95/4. Which is bigger: p or -1?
p
Let g(y) = y**3 - 5*y**2 + 2*y + 1. Let f(p) = 1. Let o(a) = -3*f(a) + g(a). Let u be o(5). Suppose 17 = -n - 4*c, -5*c - u = 12. Is -2 bigger than n?
False
Let p(g) = -4*g + 21 - g**2 - 26 + 11*g. Let a be 2/((-1)/(-3)*1). Let m be p(a). Which is greater: 3/5 or m?
m
Let g(z) = 2*z - 10. Let u be g(6). Let t = u + -1. Which is smaller: -1 or t?
-1
Let x(u) = 6*u + 0*u**2 - u**2 + u**3 + 8*u**2 + 1. Suppose 3*v + v = -24. Let p be x(v). Which is greater: -4 or p?
p
Let x be (-4)/(-12) + (-40)/12. Let p be (-2)/7 + 65/7. Let y be ((-9)/12)/(p/8). Which is smaller: x or y?
x
Let h(d) = -5*d**3 + d**2 + 6*d + 4. Let o(m) = 14*m**3 - 4*m**2 - 18*m - 11. Let j(v) = -17*h(v) - 6*o(v). Let f be j(-6). Is f less than 0.3?
True
Let a = -38 - -112/3. Let q be (-28)/45 + 6/27. Is q < a?
False
Let v(n) = -n**3 + 5*n**2 - 3*n - 4. Let l be (-26)/(-6) - (-1)/(-3). Let o be v(l). Which is greater: o or 1?
1
Let w be -6*(-1)/(-2 + 5). Suppose -3*q - 4 = a, -4*a + q = -q + w. Which is smaller: 2/7 or a?
a
Let w(x) = -2*x + 3. Let c(n) = -n**2 + 10*n + 2. Let d be c(10). Let m be w(d). Which is bigger: m or 1/3?
1/3
Let w be 20/6 - (-3)/(-9). Let m be 0 - 0 - w/3. Let i be 5/10 - m/6. Is -3 < i?
True
Let o be ((8 + -2)/2)/(-5). Let p be 0/(3 + (-1)/1). Is o not equal to p?
True
Let r = -4.1 - -0.1. Let s = 4.58 - 0.68. Let k = r + s. Which is smaller: 0 or k?
k
Let o = -0.4 - -2.4. Let i(z) = -z**3 + 11*z**2 + z - 11. Let n be i(11). Which is smaller: o or n?
n
Let m(l) = -l**3 + 3*l**2 + 6*l + 3. Let p be m(4). Which is smaller: 23/2 or p?
p
Let z be (-4)/(-6)*3/2. Let k(b) = -2*b + 7. Let m be k(4). Which is bigger: m or z?
z
Let d(t) = t**3 + 2*t**2 + t + 2. Let k be d(-2). Let y = -68/3 - -64/3. Which is smaller: k or y?
y
Let b be -1 + (-3)/((-84)/43). Let h = 311/476 - b. Suppose -3*f + 5 = 5*a + 2*f, 4*a = -2*f. Is a at most h?
True
Suppose 5*h - 16 = -s, 14 = 3*s - 4*h + 42. Which is smaller: -2 or s?
s
Let a = -4.94 - 0.06. Let n = a + 4.94. Let o = n - 0.04. Is 1 not equal to o?
True
Let t be -3 + (-19)/(-6)*1. Let d = -1 + 0. Is t bigger than d?
True
Let f(l) = 2*l**2 + 14*l - 6. Let t be f(-8). Does 12 = t?
False
Let g = -83522/87 - -960. Which is smaller: g or 0?
g
Let m = -0.8 - 0. Let p = -2.2 + m. Let q = p - -3.1. Which is smaller: -0.1 or q?
-0.1
Let f = -23 - -24. Is 2 <= f?
False
Let o = -8.1 + 8. Which is bigger: o or 3?
3
Let c(l) = -l**2 - 2*l + 2. Let o be c(0). Is o smaller than 5/9?
False
Let s = -4 + 6. Let c be (-4)/(s - (6 - 2)). Let r = 3 - c. Do 2 and r have the same value?
False
Suppose 0 = -g + 3*q - 8*q + 8, -g + 3*q - 24 = 0. Which is greater: g or 0.2?
0.2
Let s = -387364153/200 - -1936826. Let i = 84/25 - s. Let h = 29/24 + i. Which is smaller: h or -5?
-5
Let o = -85 - -85. Are -1/13 and o equal?
False
Suppose -u = -2*u - 4. Let o(a) = -a**3 - 5*a**2 - 3*a + 3. Let m be o(u). Let i = -76 - -381/5. Which is greater: i or m?
i
Let m be (-51)/(-6) + (-15)/10. Let a = m + -8. Is a != 4/11?
True
Let c = 1/38 - 159/266. Let l be (2 - 0) + (2 - 8). Let o = l + 3. Is o > c?
False
Let n = 8 + 0. Which is smaller: n or 2/3?
2/3
Suppose 2*k - 1494 = -k. Let r = -6969/14 + k. Is r at most as big as 1?
True
Let j = 2/61 + -309/122. Let a(c) = c**2 + 3*c - 3. Let g be a(-3). Is j smaller than g?
False
Let u be (-1 + -1)/(23 - 21). Is u <= 1/4?
True
Let p = -65417/30 + 38818/15. Let l = p - 407. Suppose -5*t + 2 + 3 = 0. Which is smaller: l or t?
l
Let d(i) = 4*i - 5. Let l be d(-9). Let v be 1*-1*489/12. Let y = l - v. Which is bigger: y or 0?
0
Let n be 1*((-9)/(-3) + -5). Which is smaller: -14/11 or n?
n
Let l be 1/(-4) - (-106)/(-56). Let q = 68/35 + l. Let s = -0.1 + 0. Which is smaller: s or q?
q
Let l be (-4)/(176/(-52)) + -2. Is l bigger than -1?
True
Let h = -6481/777 - -2/259. Which is bigger: h or -9?
h
Let b(x) = x**2 - x + 21. Let a be b(0). Is a != 19?
True
Let j = -3.6 - -3. Let t = -0.1 - j. Which is bigger: t or -1?
t
Let k = -2/5 + -1/10. Suppose -2*v + 2 = -4. Suppose -v*f = 6 - 3. Is k greater than f?
True
Suppose 3*x + 2*x + 4*s = -14, 5*s = -5. Is -8/7 at least x?
True
Let j(l) = l**3 - 3*l**2 - 4*l + 1. Let a be j(4). Let i = -7 + 5. Let o be 4/(-34) + -2 - i. Is a at most as big as o?
False
Suppose 0 = -3*u + 3. Let z be 1/(u/(-2)*-1). Suppose 3*m - 4 = m + 3*y, -5*m = -y - 10. Is z less than m?
False
Let a be (-1)/(1 - (-24)/(-9)). Which is smaller: 1 or a?
a
Let j = 21 - 22. Is -12 equal to j?
False
Suppose 3*n + 0*n + 8 = 2*z, 2*z = -2*n + 8. Which is greater: 12 or n?
12
Let z = -13 + 15. Let x be (12/(-126))/(z/3). Suppose 6*n = n + 5, 4*q = -5*n + 9. Is x >= q?
False
Let o be 1/1 - (-2)/1. Suppose 2 = -o*b + 8. Suppose 12 = -4*l - 4*a, 4*l + a + b = 2*a. Which is smaller: 1 or l?
l
Let a be 1*(2 + 3/(-3)). Let k = a + -2. Let n be (-2)/2*k*4. Is n at least as big as 4?
True
Let y = -30 + 24. Are y and -38/7 nonequal?
True
Let v be (-14)/12*5/(-35). Suppose 0*j = 5*