*a + l + 3 = 0, 2*a + 2*l + 6 = -a. Let m = a + b. Is -3 greater than m?
False
Suppose -4*j + 4 = -2*j - g, 2*g = -4. Is -4/9 at least j?
False
Let m be (-4*2/(-12))/(6/27). Which is bigger: m or 5?
5
Let d = 1.97 - 2. Which is smaller: d or -0.2?
-0.2
Let a = -6 - -10. Let r = a + -3. Let j be (r - 1)*(-1)/(-2). Is j at most -2?
False
Let r(u) = u**2 + 3*u. Let n be r(-4). Let s be 9*n/6*-1. Let l be (-5 - s)/((-1)/(-6)). Is l less than or equal to 5?
False
Suppose 3*f - 1 = 5*f + u, -4*f + 5*u + 33 = 0. Suppose f*p - 3 - 3 = 0. Let l(g) = -g**3 - 4*g**2 - 3*g + 2. Let x be l(-3). Which is smaller: p or x?
x
Let m = -8 - -1. Is m not equal to -6?
True
Let f = -5/11 - -13/77. Is -1 greater than or equal to f?
False
Let r be 0/((-6)/(-4)*-2). Let j = -311/116 - -11/4. Which is greater: r or j?
j
Suppose 5*l = l - 20. Let z = l + 3. Let u be 0/(-2) - 1/(-3). Which is smaller: z or u?
z
Let n = -134/3 - -45. Which is smaller: n or 1?
n
Suppose -2 = 2*y - 3*y + 2*f, -5*y = -f - 1. Which is bigger: -3/7 or y?
y
Suppose -t - 1 + 0 = 0. Suppose 0*y + 8 = -4*y. Let p be (5 + -7)/(4*y). Is t at most as big as p?
True
Let q = 23.6 - 20. Is -1 != q?
True
Let x be (-5)/(-10) + 70/4. Which is smaller: 19 or x?
x
Let f(v) = v**3 + 8*v**2 + 9*v + 10. Let c(o) = o**3 + 10*o**2 + 11*o + 11. Let y be c(-9). Let n be f(y). Is n > -3?
False
Let l = -34 - -34. Is 1/20 equal to l?
False
Let n(a) = -a**2 - 4*a + 8. Let w be n(-5). Suppose -12 = -w*z - 3*z. Which is smaller: 3 or z?
z
Let l(j) = -12*j**2 + 3*j + j**3 + 5 + 0*j - 3*j. Suppose -5*w = 2*n - 6*n + 28, -16 = -4*w. Let a be l(n). Is 0 > a?
False
Suppose 4*d = -5*b + 8*b - 3, 4*d - 1 = -b. Let k be 52/(-12) + (-4)/6. Let s be (-4 - k)/((-14)/(-6)). Which is bigger: s or d?
s
Let r = -271/15 + 56/3. Suppose -3*p - 6 = -f - f, -p = -3*f + 9. Let q be (-2 - -2)*(-1 - p). Is r smaller than q?
False
Let a(p) = -p**2 + 6*p. Let g be a(5). Suppose g*s - 1 - 4 = 0. Which is bigger: s or 2?
2
Let b(f) = -2*f + 6. Suppose 10 = 4*z - 10. Let q be b(z). Which is smaller: -5/2 or q?
q
Suppose -3*c + 2 = -h, -2*c + h = 6*h + 10. Is -1/3 at least as big as c?
False
Let l(d) = -d**2 + 8*d - 2. Let i be l(6). Is 11 greater than or equal to i?
True
Suppose 6 = 6*m - 0. Is m bigger than 1/14?
True
Suppose 2*m + 3*y = 14, -y + 2 = -0*m - 2*m. Let p be 1/2*10/(-20). Which is greater: m or p?
m
Let s be (0 + (-2)/66)*-4. Let k = -16/11 + s. Which is smaller: k or 0?
k
Let f = 10.3 + -0.3. Let x = -10.1 + f. Is x less than 1/6?
True
Suppose 2*w - w = 0. Let a = -191 + 767/4. Which is greater: w or a?
a
Suppose 12 - 2 = -2*g - 4*q, -g + 2*q - 5 = 0. Let s = g + 7. Suppose f - 2 = -2*b + 10, 5*f = -s*b + 28. Which is bigger: 3 or f?
f
Let u be 170/738 - 2/9. Let c = 239/861 + u. Do 2 and c have the same value?
False
Let a = -9426/7 - -1342. Are a and 0.1 unequal?
True
Let p = 19 + -17. Let j(a) = 2*a + 1. Let b be j(p). Is b > 5?
False
Suppose -2*a - 3*v = -17, -a + 4*v = 2*a. Let p be 1/(-1 + 2)*-3. Let j = p + a. Which is smaller: j or 3/4?
3/4
Let k = 1 - 6. Let m be (-5 - k)/(-4 - -1). Is m bigger than -1/3?
True
Let x = 0.74 - 0.84. Is x greater than 31?
False
Let g be -5*5/50*(-1 - -1). Is 0.017 at least as big as g?
True
Suppose 3*f + 3 = r - 0, 3*r - f - 17 = 0. Suppose -3*c + 0 = -21. Which is bigger: r or c?
c
Suppose -3*t = -y - 1, 2*t - 2 = 3*y - 13. Suppose 5*f + 10 = 0, -g - g - 4 = t*f. Let k be (1 + 2/(-3))*-2. Is k less than or equal to g?
True
Let i = -2252.1 - -2164. Let t = -82 - i. Let q = t + -6. Which is greater: 1 or q?
1
Let s = 2 + 2. Let v = -5 + s. Let j(l) = -l. Let b be j(v). Which is bigger: 0 or b?
b
Suppose 17 = -12*s + 5. Does 2/11 = s?
False
Suppose a + 3 = s, -2*s + 5*a - 27 = -3*s. Is s smaller than 5?
False
Let o be -2 - (-1)/2*14. Suppose -o*c - 1170 = -10*c. Let j be (-2)/(-9) - 16/c. Is j bigger than -1?
True
Suppose -3*t = 4*t - 21. Which is smaller: t or 16/5?
t
Let t be (-3)/(39/(-15) - -2). Let m(w) = -w**2 + 6*w + 1. Let r be m(5). Is t >= r?
False
Let a(g) = g**3 - 7*g**2 + 4*g + 12. Let h be a(6). Which is smaller: -2/95 or h?
-2/95
Let m be (12/(-7))/(2/(-14)). Let z be (1/(-2))/((-2)/m). Suppose -2 + 5 = -z*y. Which is bigger: -2 or y?
y
Suppose -4*m + 0*m = -8. Suppose -3*i - 5*j = 8, -2*j - m + 1 = -i. Are -2/9 and i equal?
False
Let p be (-48)/(-64)*8/6. Let s = -4 - -6. Which is smaller: s or p?
p
Let n be -1 + 2*(-142)/(-280). Let r = n - -3/35. Let c = r + -3/5. Which is bigger: c or -1?
c
Let g = 2.8 + -4.1. Let l = -1.02 + 2.02. Is g smaller than l?
True
Suppose -m - 7 = -4*d + 5, d + 16 = 5*m. Suppose 5*f - m*z = -13 - 3, -z = -5*f - 4. Suppose -16 = -f*q - 5*q + 4*l, q + 12 = -3*l. Is q equal to -2?
False
Let d be 9/12*(-32)/(-84). Is 0 smaller than d?
True
Let r = 9 - 23. Are r and -14 unequal?
False
Let x(u) = -3*u - 3. Let t be x(-3). Let n(i) be the third derivative of i**5/60 - 7*i**4/24 + i**3 + 2*i**2. Let p be n(t). Which is greater: -1 or p?
p
Let z(j) = -2*j - 3. Let l be z(-3). Suppose -5*b + 2*h = 0, -23 = b + 4*h - 9*h. Is b != l?
True
Suppose u + 6 = 2. Let a(g) = -g**2 - 11*g - 8. Let o be a(-8). Suppose -o = 3*b - 4. Is b smaller than u?
False
Let g be -2 - -4 - 0/2. Suppose -g*y + 22 = 2*w, -4*w - y + 16 + 19 = 0. Which is bigger: w or 7?
w
Suppose -4*d = 2*r - 4, 19 = 3*d + 2*d - r. Let j(u) = u**3 - 4*u**2 + 4*u - 3. Let c be j(d). Which is smaller: 1/6 or c?
c
Let f = 24/133 + 2/19. Is f at most as big as 12?
True
Let c = 132 + -145. Which is smaller: c or -7?
c
Let n = 13 + -13. Which is smaller: n or -10?
-10
Let q = -0.99 + 0.39. Is 0 less than q?
False
Let w = 30 - 61/2. Is w smaller than -2?
False
Let q = -1 - -1.4. Let b = 0.3 - q. Does b = 5?
False
Let u = 29 - 35. Suppose 4*j = 5*j - 6. Suppose -3*o - 4*r = j, -5*o - 24 = -2*r + 12. Is o less than u?
False
Suppose 0 = 2*m - 7*m - 5. Are m and 3/31 unequal?
True
Let b = 7 - 10. Let s be (3/9)/((-5)/b). Is s smaller than 0?
False
Suppose 1 + 4 = 5*g, -2*p + 34 = 4*g. Which is greater: 18 or p?
18
Let b = -5 + 8. Suppose -5*w - b*o + 9 = 0, w - 4*o - 13 = -2. Which is bigger: 5 or w?
5
Suppose 3*f = 0, -3 = 4*t + f + 1. Suppose -7 = -2*r - 5*r. Which is smaller: t or r?
t
Let g = 164663 - 1813786/11. Let v = 227 + g. Is 1 at most v?
False
Let h = 33 - 34. Is 1 at most as big as h?
False
Suppose 0*x = 2*x - 8. Let v = -14 + x. Let t be 34/70 - (-2)/v. Which is bigger: t or 0.1?
t
Suppose 3*b = 8 + 4. Which is bigger: b or 0.03?
b
Let m = -25 + 26. Which is smaller: m or 1/3?
1/3
Suppose 3*n = n - 2. Let d be (-2)/3*(-2 - n). Which is greater: 0.2 or d?
d
Let r(x) = -x + 8. Let s be r(8). Let t be (2/(s - 8))/(-1). Let l = -2 + 3. Is t greater than l?
False
Suppose 4*f = 5*h + 12, 3*h = -2*h - 4*f - 28. Which is smaller: -1/3 or h?
h
Let a = -11 - -7. Let i(f) = f**2 + 6*f + 6. Let t be i(a). Which is smaller: -1 or t?
t
Let g be ((-32)/40)/(4/(-10)). Is g at least 3?
False
Let i be (1/5)/(((-63)/(-2))/9). Is i greater than 1/3?
False
Suppose -4*z - 9 = -1. Is z < -3?
False
Let p be ((-4)/(-3))/((-464)/(-24)). Let r(c) = -c**3 - 5*c**2 + 6*c - 1. Let v = -22 - -16. Let t be r(v). Which is smaller: p or t?
t
Let w = 86 - 603/7. Let x be 0/(0 + (3 - 2)). Does w = x?
False
Let k(s) = s**2 - 2*s + 1. Let l be k(2). Let z be -2*l + 3 - 0. Let q be 3*z*(-1)/(-6). Is q at least -1?
True
Let a be (-386)/6 + 5 + -4. Let r = a + 64. Which is smaller: 2 or r?
r
Let a = -1 - 3. Let n = -105 - -104. Are a and n equal?
False
Suppose 12 = 3*h - 0*h. Is h less than 3?
False
Let n = 12 - 13. Is n equal to 2/17?
False
Let d be (-10)/(-4) - (-6)/(-4). Suppose o = 2*o + d. Which is smaller: -4/7 or o?
o
Let s(w) = -w**2 + 14*w + 31. Let f be s(17). Which is smaller: f or -18?
f
Suppose -i + 5*i - 12 = 0. Suppose -3 = 3*g, 5*g + 17 = -i*m - 0*m. Which is smaller: m or -2?
m
Let b = -27/26 - -129/143. Which is smaller: b or 1?
b
Suppose -4*g = -2*f + 39 - 7, -5*g - 43 = -3*f. Suppose 0 = j - 4*j + f. Is j >= 0?
True
Let k(f) = -f**3 + 9*f**2 + f - 9. Let p be k(9). Let q be p + ((-1430)/8)/5. Let h = 35 + q. Do h and 0 have different values?
True
Let a(r) be the first derivative of -4 + 1/2*r**2 - 6*r. Let s be a(4). Is s bigger than -3?
True
Let f(c) = c**2 - 9*c + 13. Let j be f(9). Let o = j + -5. Which is smaller