 + 3176. Let k = i + -153/91. Which is smaller: k or 0.1?
k
Suppose i = -4 + 5. Suppose -3*v - 4 = -i. Is v bigger than 2?
False
Let b = 0 - -0.2. Let g = b - 1. Let m = g - -1.1. Is m smaller than -0.1?
False
Let s be -1 - (0 - (-3 - -19)). Let m = 8 - s. Which is smaller: m or -5?
m
Suppose -5 - 4 = c - 2*z, -3 = -3*z. Let o be 1 + -1 + 2/c. Suppose 5*k - 2 = 3. Which is bigger: o or k?
k
Let g(w) be the second derivative of w**3/6 - w**2/2 - 2*w. Let c be g(1). Let j be 1*(c + 0 + 1). Is j >= 1/6?
True
Suppose 0*w = -w + 4*a + 13, 2*a = 4*w - 66. Does 18 = w?
False
Suppose 0 = -0*b + 4*b. Let r(y) = y**2 + y - 4. Let i be r(b). Which is bigger: -2 or i?
-2
Let o be (-10)/6 + (-1)/3. Let j = 22446 - 89175/4. Let b = -154 + j. Is o equal to b?
False
Suppose 0 = 5*p + 31 + 34. Let v = 15 + p. Is 2 less than v?
False
Let b(c) = 4*c - 45. Let i be b(20). Are i and 34 unequal?
True
Let k = -9.9 - -10. Is 2/59 smaller than k?
True
Let x be (-253)/(-1155) - (-2)/(-15). Is x smaller than 0?
False
Let f = -6 - -13. Suppose 0 = -4*v - 2*o, -v + 3*o = -3*v - 8. Suppose f*r = v*r. Is r greater than 1/2?
False
Suppose l - 5*m - 21 = 0, 3*m = 4*l - 13 - 3. Is l equal to -5?
False
Let x = -38 + 41. Is x > 3?
False
Let k = -0.3 - -3.3. Let m = k - 1.9. Let b = m - 1. Is 0.2 at most b?
False
Let i(d) = -d**2 - 9*d + 8. Let l be i(-10). Which is smaller: -4 or l?
-4
Suppose -5 = -f, -2*f - f = -5*s - 130. Suppose 0*q - 4*q = 100. Let v be s/(-5) - (-15)/q. Which is smaller: v or 5?
v
Let m be 4/14*(-3 - 2*-5). Which is smaller: m or 0.4?
0.4
Let r(x) be the second derivative of 13*x**3/6 + x**2 - 5*x. Let l be r(1). Is l at least as big as 14?
True
Suppose v = 5*v - 12. Suppose v*x + x = -4. Let m be ((-4)/4)/1*(-4 + 3). Which is smaller: x or m?
x
Suppose -2*u + 3 = -3, -3*o = -2*u - 21. Let i be (18/8)/(o/(-24)). Suppose 0 = 11*r + 25 + 30. Which is bigger: i or r?
r
Let c = 23 - 22.5. Which is bigger: -0.1 or c?
c
Let s(y) = -y**3 - 9*y**2 + 12*y + 21. Let d be s(-10). Which is bigger: d or 13/7?
13/7
Let j = 277 - 2213/8. Suppose 2*o + 5*y = -o + 23, -4*o = -y. Is o at most as big as j?
False
Suppose 5*u + 14 = z + 42, 4*u - 16 = 4*z. Suppose -2*i = 5*y - 34 + u, -3*y + 8 = -i. Is 4 less than or equal to i?
True
Let v(a) = -11*a**2 + 8*a - 5. Let f(r) = -4*r**2 + 3*r - 2. Let c(w) = 8*f(w) - 3*v(w). Let m be c(2). Is m less than 5/2?
False
Let q = 0.6 - 0.6. Let p = q - 0. Which is smaller: p or 1?
p
Let t = 8 + -12. Let r be 6/t - (-5)/10. Is -6/11 less than or equal to r?
False
Let g = -5.11 + 0.11. Let c = 1.06 - 0.06. Is c less than or equal to g?
False
Let d(o) = o**2 + 4*o - 2. Let u be d(-5). Let z be (-2)/u*18/20. Is -2/9 less than z?
False
Suppose -9 = -t + 3*f, -2*t + 3*f - 22 = 7*f. Let i be (2/15)/(t/9). Let r be (-2)/8 - (-4)/16. Which is smaller: i or r?
i
Let y(f) = -f**3 - 3*f**2 + 2. Let r be y(-3). Are 0 and r equal?
False
Let r = -0.01 + 0.11. Suppose p - 2*p + 5*j = 26, 4*p + 29 = 5*j. Which is greater: r or p?
r
Suppose 3*z = 13 - 19. Is 75 bigger than z?
True
Let z be (-1)/(-3) - (-118)/6. Suppose 4*n - o = -5*o - z, 5 = 3*n - 2*o. Which is smaller: 2/9 or n?
n
Suppose 5*t - 2*y + 3 - 11 = 0, -t + 4*y = 2. Is 16/7 <= t?
False
Let k = 26 + -18. Let w = -5 + k. Which is smaller: 3/2 or w?
3/2
Let x be (-288)/880 + (-4)/10. Do x and -1 have different values?
True
Suppose -2 = 3*s + w, 2*w = -s - w + 10. Let m be 5/(-3) + (-1 - s). Is m less than -2?
False
Let i = 22899/4 + -5687. Suppose -3*v - 114 = -l, -v + l - 76 = v. Let f = v + i. Which is smaller: -1 or f?
-1
Let i = -2/3371 + -6600/239341. Are -1 and i non-equal?
True
Suppose -5*p + 4*p = 1. Suppose -2*j - 6 = j. Are j and p nonequal?
True
Let r(x) = x**2 - 8*x - 8. Let k be r(9). Are k and 1/10 nonequal?
True
Let a(o) = o**3 - 5*o**2 - 6*o - 5. Suppose v + 30 = 6*v. Let n be a(v). Let l = -1 + -3. Which is greater: l or n?
l
Let u = 33.9 + -33.8. Let i = -3 - -3.8. Which is greater: u or i?
i
Let d(a) = -2 - 2*a**2 - 2*a - 13*a**2 + a. Let b be d(-2). Let l be ((-4)/b)/(6/10). Which is smaller: l or 0.1?
0.1
Let i = 36 + -39. Suppose 0 = v - 2*v. Are v and i non-equal?
True
Suppose -6*v + v - 25 = 0. Let x(l) = l + 10. Let d be x(v). Is d at least 5?
True
Let q = 5 - 2. Which is greater: 2 or q?
q
Let l be (-3)/((-6)/(-4)) - 3. Let v(q) = q**3 - 4*q**3 - 5*q**2 + 2*q**3. Let a be v(l). Does a = -1?
False
Let k(y) = y**3 + 3*y**2 - 6*y - 5. Let d be k(-4). Is 5 equal to d?
False
Let h = -398 - -2791/7. Suppose 0*g + 2*g = 2. Is h <= g?
True
Let i = 967 + -39650/41. Is 1 != i?
True
Suppose 6*l = -0*l - 192. Is l at least as big as -33?
True
Let d(s) = -4*s + 3. Let f(v) = 3*v - 3. Let a(k) = 4*d(k) + 5*f(k). Let y be a(-8). Let q = 8 - y. Is 4 at most q?
False
Let g(w) = -7*w**2 + 2*w - 1. Let u be g(2). Let m be (5/u)/(1*-1). Is m at most as big as 1?
True
Let u = 34 - 104/3. Suppose 0 = 3*q - 4*n + 15, 0*q - 20 = 4*q - 2*n. Let t = -2 - q. Is u at most as big as t?
True
Let m = -89 - -151. Is 1 != m?
True
Let d(y) = -y**3 + 5*y**2 - 2*y + 6. Let x be d(5). Let a be 161/196 + 1/x. Is a at most as big as 1?
True
Let c be (2/4)/(3/(-6)). Which is smaller: -2/27 or c?
c
Suppose 5*z + 7*f - 2*f - 20 = 0, -4*f = -z - 1. Let h = 4 - 5. Let o = h + 3. Is z at least as big as o?
True
Suppose 0 = -y + 3*v + 2, -7*y - 2*v + 10 = -2*y. Let m be ((-8)/(-2))/((-2)/y). Let d be 2/(-6) - (-2)/(-3). Is d > m?
True
Let d = 13 + -19. Is d smaller than -6?
False
Let u = -11 - -6. Let z = -3 - u. Is z at most 0.2?
False
Let x(b) = 4*b**2. Let g be x(-1). Suppose g*t - 20 = -0*t. Suppose 5 = 5*i + 3*f, -4*i - 5*f - 1 + t = 0. Which is smaller: i or -2/11?
-2/11
Let m = 9/30968 + -1071121/1765176. Let k = m + 2/57. Which is smaller: k or -1?
-1
Let n = 90 + -64. Suppose 0*c = -3*o + 2*c - n, -5*o - 50 = -2*c. Is o less than or equal to -13?
False
Let o be (1 - (-3)/9)*-3. Let x(i) = -i**3 - 2*i**2 + 7*i + 5. Let f be x(o). Which is greater: 10 or f?
10
Let y = 14 + -12. Let q be ((-12)/(-6))/(-12 + y). Which is bigger: q or 0.1?
0.1
Let t = 23 + -12. Which is bigger: t or 0?
t
Let p = 17 + -17. Which is smaller: 9 or p?
p
Let r be 4 + -1 + (1 - 0). Suppose 4*v + 25 = -v. Let c(l) = -l**3 - 6*l**2 - 6*l - 1. Let i be c(v). Is i less than r?
False
Let m be (3/4)/((-2)/8). Let u = -3 - m. Let b be 4*(-3)/42*-1. Is u at least as big as b?
False
Let v = 8.9 + -9. Let t = 0.24 + 0.06. Which is smaller: t or v?
v
Let k be (3/14)/(8/(-28)). Let s(a) = -a**3 + 5*a**2 + 7*a - 6. Suppose -4*f + 4 = -20. Let x be s(f). Does x = k?
False
Suppose -3 + 7 = -4*c. Let o be ((-2 - c)*-1)/(-1). Let j(d) = d**3 + 4*d**2 + 3*d. Let p be j(-2). Which is greater: p or o?
p
Let d be (-52)/(-105) - (-24)/(-60). Is d smaller than -0.1?
False
Let x(y) = y + 1. Let q be x(-1). Let l be (5/20)/(-1) - -1. Is l > q?
True
Let v be 10/(-72)*23/5. Let n = 47/18 - 5/2. Let d = v - n. Which is smaller: d or -2?
-2
Let q(x) = -36*x**3. Let b be q(-1). Let r be 3/(-2)*(-4)/b. Is 0 != r?
True
Let h = 0.1 - 0.3. Let n(q) = 5*q - 3. Let s be n(3). Let v = 47/4 - s. Is v > h?
False
Let z be (-13)/3 - (-2)/6. Let p be 1/2 + 2/z. Is p > 0?
False
Let g(k) = 3*k + 9. Let l be g(8). Suppose 4*t + l = 5*s, s + 18 = 3*s - 4*t. Let z be s + 0*1/3. Which is greater: z or 4?
z
Suppose 4*c - 3*w = -3, 8*w - 3*w - 10 = 5*c. Suppose -5*a + 2 = -c*a. Which is bigger: 0 or a?
a
Let t = 10 - 7. Let a be t/(-54)*4/(-2). Which is greater: a or 0?
a
Let y be -6*((-6)/(-9) + (-41)/30). Is y at most 3?
False
Suppose 7 = -n - 0*n. Let m(z) = -z**2 - 7*z + 3. Let l be m(-7). Let y be 2/3*l/n. Is y greater than 2/11?
False
Let v be 12/(-7) + 2/1. Let c = -5 + 3. Which is smaller: c or v?
c
Let f = 1.58 + -1.4. Which is greater: f or -1/2?
f
Suppose 7*c = -3*c + 180. Is 18 greater than c?
False
Let m = -122 - -116. Which is smaller: m or -4?
m
Let l be (-12)/9*2/8. Which is smaller: 5 or l?
l
Let s be (-1)/(6/4 - 1). Let n be -2 - 1/2*s. Suppose -9 = -f - 5*y, -4*f = y - 3 + 5. Is f at least n?
True
Let s be (27/(-24))/(1/(-2)). Let n = -15.1 - -15. Which is smaller: s or n?
n
Let k(n) = 1 + 0 - n - 2. Let o be k(1). Let u = 4 + -7. Which is greater: o or u?
o
Let y = -10 + 9. Let d = -205 + 2257/11. Which is greater: y or d?
d
Let h be (-2)/(-4) - (2 - 2). Let 