east -11?
True
Let q = -0.05 - -0.05. Let k = -3 - q. Which is smaller: -2/3 or k?
k
Let k = -0.01 - -5.01. Let n = -10 + 13. Suppose 2*c - 3*m - 3 = 0, n*m + 5 = -4*c - 2*m. Is k less than c?
False
Suppose -13*u - 8 - 5 = 0. Which is bigger: 7/32 or u?
7/32
Suppose -5*k - 25 = -0*k. Suppose -2*g = 6 + 4. Is g bigger than k?
False
Let h = 156 - 334. Let o = 1243/7 + h. Let f be (5/(-10))/((-2)/4). Is f < o?
False
Let a = 1.5 - -1. Let z = -3 + a. Let j = -1.5 - z. Is j less than or equal to 0.4?
True
Suppose 0 = -3*p + 10 + 2. Suppose -8 = 8*w - p*w. Are w and -5 nonequal?
True
Let v(u) = -u**3 - 5*u**2 - 2*u - 4. Let g be v(-4). Let s be (-118)/10 - (-4 - 84/(-20)). Is g <= s?
True
Let o be 2255/10*12/26. Let j = -104 + o. Is j < 0.1?
True
Let y = -34 + 26. Are y and -9 non-equal?
True
Let p be ((-1)/6*3)/((-1)/(-38)). Is -19 bigger than p?
False
Let p = -5 - -3. Let y = -3 + 5. Let o = y - 1.9. Is o > p?
True
Let l be (-1 + (-668)/(-660))/(3/30). Which is greater: -1 or l?
l
Let g = 1.5 + -1.4. Which is smaller: g or 23?
g
Let c = -1221 - -15888/13. Which is smaller: c or 1?
1
Let j = -3 + 4. Let b = -0.8 + 0.6. Is b at most j?
True
Let c be (2 - 16 - 1)*-1. Let h be (1 - 0)/((-5)/c). Suppose 0*k = -5*k - 20. Which is greater: k or h?
h
Suppose -1 - 3 = -2*y. Suppose -y*o + 2 = -0. Let r be (-8)/42*6/4. Is o < r?
False
Suppose 5*x = 3*a + a + 22, 0 = -2*x + 2*a + 10. Suppose 3*n + 15 = -x*j, 3*n + 3 = -0*j + 2*j. Which is greater: -4 or j?
j
Suppose 0*c = -c + 4. Let v be 5 - (3 + -1 + 1). Let y be 4*(-3)/(-2) - v. Is y equal to c?
True
Let l be 5*(-2 + (7 - 4)). Suppose 0 = -3*y - 5*z + z - 10, 7 = -l*y + 3*z. Let f = 1 + -0.8. Is f <= y?
False
Let h = 54 - 268/5. Let s = 0.11 + -4.11. Let l = s + 3.9. Which is smaller: l or h?
l
Let k = -0.056 + 0.256. Let h = -0.2 + 0.4. Is k at least h?
True
Suppose 3*q + 165 = -2*f, 3*f = 2*q - q + 66. Is q < -55?
True
Let r(c) be the third derivative of c**6/120 + c**5/15 + c**4/24 + 2*c**3/3 - 3*c**2. Let t be r(-4). Which is smaller: t or -2/7?
-2/7
Let s be 14/(-35) + 6/(-10). Let y = 1 + s. Let x = -116/3 + 39. Which is greater: x or y?
x
Let o = 13 - 9. Suppose 4*v - 4*u - 29 = -5, -2*v = 2*u + 8. Let c be o/(-8) - (0 - v). Which is greater: 0 or c?
c
Let x(h) = h**3 + 8*h**2 + 8*h + 7. Let b = 12 - 19. Let k be x(b). Suppose 4*r + 6 + 2 = k. Is -3/5 greater than r?
True
Let l = 22 - 19.8. Which is smaller: -1 or l?
-1
Suppose 2 = 3*g - g - 2*p, 0 = -4*g + 3*p + 7. Suppose 0 = g*w - 5*w - 5. Suppose 5*f + 10 + 14 = 4*b, 0 = 4*f - 3*b + 19. Is f at least w?
True
Let f = -1 - -0.8. Let u = 0.23 + -0.13. Which is greater: f or u?
u
Let q be (-3)/4*64/120. Which is bigger: 0.02 or q?
0.02
Suppose -2*j + 4*j = 2*h + 4, -5*h = -4*j + 9. Let l = 4/27 + -205/108. Let z = 3/2 + l. Which is greater: z or h?
z
Let s(a) = 2*a**2 + 12*a - 2. Let y be s(-7). Is -1 equal to y?
False
Suppose 0*u - 30 = 5*t + 4*u, t + 4*u = -22. Suppose 0 = 3*n - 6 - 6. Let m be 54/24 + n/t. Which is greater: -2/11 or m?
m
Let f = 31 - 32. Let x be (0 + -1 + 2)/(-1). Let y be x/4 + (-14)/(-120). Is y < f?
False
Suppose -k - 2*w - 10 - 5 = 0, -4*w - 12 = 0. Let n be (k/6)/3*-2. Which is bigger: 2/3 or n?
n
Let t = -0.4 - -0.47. Let i = t + -0.07. Is -3 not equal to i?
True
Let n(b) = b**3 + b**2 - 2*b - 3. Let u be n(-3). Is u < -14?
True
Suppose b = -h - 4, 0*h = 3*b + 5*h + 12. Let g be (-1)/b - 22/(-8). Let s = 7 - 3. Do g and s have the same value?
False
Let k(d) = -d**3 - 6*d**2 - 13*d - 15. Let i be k(-4). Suppose 2*s + 3 = 3*p + 5*s, -4*p + s = -4. Suppose 6 = c + p. Is c greater than or equal to i?
True
Let r = 4 - 5. Is r < -2/33?
True
Let t(s) = 2*s - 2 + 3 + 3. Let h be t(-3). Let v = 0 + h. Is v at least 1/2?
False
Let o be (-1*5/5)/(65/(-3)). Is 0 less than o?
True
Let x(q) = 3*q**2 - q. Let n be x(-1). Suppose 3*d = c + 12, 0 = 4*d - 9*d + 3*c + 16. Suppose -4 = 3*y - 4*a + 2*a, 30 = d*y + n*a. Is 2/7 at least y?
False
Suppose 4*j + 2*w + 7 - 35 = 0, -48 = -4*j + 3*w. Let s = j - 3. Which is bigger: 5 or s?
s
Suppose 15 = 5*m + 2*t - 3*t, m - 22 = 4*t. Let g = -11 + 16. Suppose g = 7*l - m*l. Is l at least as big as -2?
True
Let o be -4*(-4)/(18 + -2). Which is greater: o or 2/3?
o
Let d(o) = -o**2 - 8*o - 1. Let s be d(-8). Which is greater: s or 1/27?
1/27
Let j = 14 + -14. Let c = 0.2 + -0.3. Which is greater: c or j?
j
Let q = 98.1 - 98. Let x = -0.06 - -0.03. Which is smaller: x or q?
x
Let b be ((-4)/6)/(-2)*3. Suppose -5*r - 5 = h, 6*h + 2 = -2*r + h. Let c = r - b. Which is bigger: -1 or c?
-1
Let o = -178 + 180. Suppose c = 3*c + v - 17, -c = 4*v - 12. Let b be (2*1/c)/1. Which is smaller: b or o?
b
Let s(j) = -2*j - 2. Let p be s(2). Let g = -2 + 1. Let a be p/10 - (0 + g). Which is bigger: 0 or a?
a
Let h(d) = -d**3 - 21*d**2 + 21*d - 7. Let k be h(-22). Are k and 15 nonequal?
False
Let j = -2 + -3. Which is smaller: -1 or j?
j
Let h be (-2)/(-52)*(-12)/2. Is h at most -2?
False
Let s(l) = -7*l**3 + l**2 - l. Let m be 6/9 - (-1)/3. Let f be s(m). Let g(j) = -j - 4. Let u be g(f). Is 3 less than u?
False
Let r = 631/2 + -302. Do r and 14 have the same value?
False
Let a(n) = -n**3 + n**2 + 3*n. Let q be a(3). Let b be (q/18)/(10/(-6)). Do 0 and b have different values?
True
Let m(i) = -i**2 + 7*i - 3. Let w be m(7). Let c be (2/w)/(66/(-54)). Is c at most as big as 1?
True
Let u = 3 - 2.9. Let g = -0.1 + u. Let k = g - 0. Which is bigger: -2 or k?
k
Let j be (-2 - -1) + -2 + 5. Which is smaller: 1 or j?
1
Suppose -6*m + 56 = 8. Is 9 < m?
False
Suppose 2*h + 20 = 2*z + z, -32 = -3*z + 5*h. Suppose -z*x - 15 = -x. Suppose 4*o + 20 = -o. Which is smaller: x or o?
x
Suppose a + 3*d - 5 = -2, 2*a + 2*d - 2 = 0. Is a at least 1/143?
False
Let q be (-52)/264 - (-1)/(-6). Do q and 2/7 have the same value?
False
Suppose -2*w + 3*w = 2*d - 1, -w = -3*d + 3. Let u = -7 + 5. Let x = w + u. Which is smaller: -2/9 or x?
-2/9
Let s = -21 + 21.96. Let m = s + 0.04. Is -3 equal to m?
False
Let n be 135/(-75)*20/(-6). Is n bigger than 4?
True
Let m = -2 + -1. Let a(g) = -2*g - 15. Let n(u) = u + 15. Let q(v) = -3*a(v) - 4*n(v). Let f be q(7). Which is greater: f or m?
f
Suppose -2*g = 1 + 9. Let n be ((-12)/45)/(g/50). Is n > 4?
False
Let r = -62 + 46. Which is smaller: -15 or r?
r
Suppose -4*s = 5*m + 13, -4*m - s + 2*s - 2 = 0. Let i be (2 + 0)*6/(-16). Which is bigger: i or m?
i
Let v = 5.96 + -6. Let w = -0.14 - v. Let r = -0.11 + 0.41. Which is bigger: w or r?
r
Let q be (-6)/9 - (-22)/24. Let u = -2 + 5. Let f = 4 - u. Is q at most as big as f?
True
Let f = 25 + -21. Is f greater than 3?
True
Let p(x) = -9*x**2 - 3*x + 3. Let c be p(2). Let r = 193/5 + c. Is r smaller than 0.5?
True
Let p = -2 - -5. Suppose 4*t - 1 = p*t - a, 3*a - 1 = -5*t. Which is bigger: -2 or t?
t
Let d(u) = -9*u - 53. Let f be d(-6). Let w = 0.5 + -0.1. Let n = w + -0.2. Which is smaller: n or f?
n
Let x = 0.69 - -0.31. Is x <= 0.2?
False
Let h = -9 + 9. Let s = 1.2 - 1. Which is smaller: s or h?
h
Let f = 540/11 - 50. Which is greater: 0 or f?
0
Let a(i) = 6*i**2 + 3*i + 2. Let p be a(-2). Let l be p/(-9) - (1 - 3). Is -1 >= l?
False
Let v = 179 + -887/5. Which is bigger: 2 or v?
2
Let d = 16 - 17. Is -2/5 not equal to d?
True
Suppose -3*z - 17 - 4 = 0. Which is greater: -9 or z?
z
Let j be 88645/(-61075) + 9/15. Let t = -2/349 + j. Which is smaller: -2 or t?
-2
Let o(u) = 6 + u - 4 + 1 + 3. Let x be o(-3). Which is bigger: x or 2?
x
Let o = -61.24315 + -0.02685. Let y = -61 - o. Let x = y - -0.03. Which is greater: -0.1 or x?
x
Let m(z) be the first derivative of -z**2/2 + 3*z - 3. Let p be m(2). Let i be 8/14*1/(-2). Is p <= i?
False
Let g be (2 - 24) + (-2)/1. Let s be g/6 + (2 - 0). Let f be (3/(-11))/(3/s). Which is smaller: f or 0?
0
Suppose -5*h + 2*g - 5 = 0, -4 = 2*h + 3*g + 17. Let c be (1/4)/(h/(-12)). Is 10/9 smaller than c?
False
Let s(d) = d**2 - 5*d - 6. Let z be s(6). Suppose z = 4*t - t + 12. Let j be -1 + (2 + t)/1. Which is smaller: -1 or j?
j
Let y(n) = -n + 5. Let r be y(-4). Let j = -6 + r. Which is smaller: 0.1 or j?
0.1
Let p = 29/391 - -1/23. Which is bigger: p or 0?
p
Let i = -2.976 - -3. Is i at most as big as -2/5?
False
Let v(y) = y**2 - 6*y - 8. Suppose -8 = -4*o, -3*b + o = 2*o - 23. Let i be v(b). Does i = 0?
