+ 16. Is g less than 0?
True
Let f = 1.6 - 8.6. Let g = -7 - f. Which is smaller: g or -1?
-1
Let q(z) = -z**3 - 8*z**2 - 7*z - 1. Let t be q(-7). Is 2/169 >= t?
True
Let m = 20 + -12. Let p(o) = o**3 - 9*o**2 + 7*o. Let a be p(m). Let r be 38/60 - (-4)/a. Which is greater: 1 or r?
1
Let f = -1/419 - 10471/1676. Which is smaller: -7 or f?
-7
Let t = 14 - 15. Is -1/89 != t?
True
Let s be ((-1)/(-1))/(-1 + 12/11). Which is bigger: 43/4 or s?
s
Let m = 209 - 619/3. Which is greater: m or -0.2?
m
Let s = -5 + 5. Suppose 5*t - 2*p - 4 = 0, s = 4*t - 8*t + 2*p + 4. Suppose 0*z = -z + 2*o + 12, -3*z + 4*o = -26. Do t and z have the same value?
False
Let p be (12*1)/((-15)/10). Let s be (132/p)/(2/2). Let v = 17 + s. Is 2 equal to v?
False
Let t = 22 + -14. Is 9 bigger than t?
True
Let k = -4 + 9. Is k < 2?
False
Let o = 4.4 - 4.3. Is 0.04 < o?
True
Suppose -2*h + 2*z + 98 = 0, 4*h = z + z + 198. Which is smaller: 49 or h?
49
Let y be 1/(-2) + 6884/72. Let t = 95 - y. Which is greater: 0 or t?
0
Suppose -5*q - 64 = 4*z + 21, 2*z - 2*q = -20. Let w be ((-1)/(-10))/((-12)/z). Let f be (-25)/30 + 2/(-12). Is w > f?
True
Let k = -14 - -7. Let j = -6.8 - k. Let v = -4.2 - -4. Is v at most as big as j?
True
Let l = 145/3 + -48. Let z be 6/2 - (3 + -2). Let h be (z + 0 - 2)/1. Is l smaller than h?
False
Suppose 0 = 2*w - 3*d + 23, 3*d - 4 = 3*w - 2*w. Suppose 2*l = -l - 54. Is w at most as big as l?
True
Suppose -5*s = 3*k - 0*k - 16, 3*k = 3*s. Let n be (0/k)/(-2 - 0). Suppose 3*w + n*w + 3 = -3*z, 10 = -3*w + 4*z. Is -2 greater than w?
False
Suppose 0 = 2*x + n + 9, 40 = -0*x - 5*x + n. Is -9 less than or equal to x?
True
Let v = 9 - 8.92. Let i = 0.18 - -0.1. Let w = v - i. Which is smaller: 2 or w?
w
Let s = 15 - 15.11. Let y = -0.21 + 0.22. Let l = s + y. Is l greater than -0.1?
False
Let m = 0.4 - 1.4. Is -0.05 greater than or equal to m?
True
Suppose 5*t - 5*b = 45, -5*t - 2*b + 25 = 3*b. Let z(l) = -l**2 + 7*l + 7. Let n be z(t). Let f = 126 - 118. Is f at most as big as n?
False
Let p = 1 - -2. Let v = p - 20/7. Which is smaller: 1 or v?
v
Suppose -4*a = 3*g + 12, 2*g + 8 = -2*a - 3*a. Let n be (-2)/g*(2 - 8). Which is bigger: -8 or n?
n
Let t(n) = -2*n. Let q be t(1). Which is smaller: q or -8/7?
q
Let u = -762470/191 + 3992. Is u < -1?
False
Suppose -4*w = 4, -a = 2*w - 3*w - 5. Let f(k) = a*k**2 + 1 + 0 + k**3 - 10*k**2. Let z be f(6). Which is smaller: z or -1/8?
-1/8
Suppose 0 = -3*d - 20 + 5. Let t be (-8)/(-20) + (-3)/d. Suppose 3 = -2*u - t. Is -2 bigger than u?
False
Let u = 12 - 8. Which is smaller: 0 or u?
0
Let y be (-2 - 0)*219/6. Let j = y + 439/6. Which is greater: j or 0?
j
Let t = 5 + -2. Is 7/2 >= t?
True
Suppose 0 = x + 6 - 3. Let k be -1 + -1*(-9)/(-3). Which is smaller: x or k?
k
Let h(r) be the second derivative of r**3/3 - 3*r**2/2 - 3*r. Let q be h(2). Which is greater: 0 or q?
q
Suppose 17*c - 13*c = -96. Are c and -22 equal?
False
Suppose 0 = 4*p + x - 3, 0*x + x = 3. Which is smaller: p or -4/15?
-4/15
Let u be 14/4*(-2 + 0). Let y = 5 + u. Is y at most 2/3?
True
Suppose 0*t = 3*t - 12. Suppose -3*q - 6 = -q - 2*r, 0 = 5*q - 2*r. Suppose 4*g = 10 + q. Which is smaller: t or g?
g
Let n = -140 - -173. Are 32 and n equal?
False
Suppose 3*c = -2 - 1. Is -1 not equal to c?
False
Suppose 3*w - 5 = 2*c - 4, 0 = 3*w + 5*c + 13. Which is bigger: w or 0?
0
Let b(d) = 1 - 5 - 5*d + 3. Let l be b(1). Let n be (3/l)/(3/(-2)). Which is bigger: 1 or n?
1
Let w = -19.2 + 19. Does 2/9 = w?
False
Suppose -18 = -3*q - 3*u, u = -2*u + 3. Suppose 0 = -q*d + 3*d. Is -1 < d?
True
Let g = 620/3 - 209. Let b = 2 + -3. Which is greater: g or b?
b
Let g = -4 + 1. Let b = g - -5. Let d be -1 - b*(-3)/(-3). Which is greater: -2 or d?
-2
Let q = 83/6 + -40/3. Is -7/6 <= q?
True
Let p be (4/52)/((-2)/(-12)). Is p at least as big as 0?
True
Let t = -8.06 - -8. Let i = 0.04 - t. Which is smaller: i or -2/7?
-2/7
Let o = 0 - 0.1. Let v be (-6)/(-9)*3/2. Let a be (-3)/((-9)/(-2)) + v. Is o < a?
True
Let i = 0 + 0. Let u = 0.2 - i. Is -1 smaller than u?
True
Suppose 4*n - 6*n = -20. Let p be 2/4*(-8)/n. Is p > -1?
True
Let a = 25 - 38. Which is greater: a or 2/9?
2/9
Let g(z) be the first derivative of -z**4/4 - 2*z**3/3 + 3*z**2/2 + 3*z + 1. Let v(q) = -q**2 + q - 1. Let p(t) = -g(t) - 2*v(t). Let c be p(-5). Does -2 = c?
False
Let i = 325 + -6173/19. Let t = 10 - 9. Which is smaller: t or i?
i
Suppose -3*k = -5*o + 19, 3*k = 6 - 0. Suppose 4*z = -j - 19, -o*z + 2*j - 9 = 5. Which is greater: -2 or z?
-2
Let q be (-2)/6*(-15 + -6). Let j = q - 7. Is -1/4 bigger than j?
False
Let k = -1.1 - -1.05. Let u = 2.05 + k. Is 2 bigger than u?
False
Suppose 3*m - 5*m = 6. Do m and -5 have different values?
True
Let c = 0 + 0. Let w(u) = u**3 + u**2 + 3*u - 3. Let q be w(2). Let g be (-20)/q + (-1)/(-3). Is g less than or equal to c?
True
Suppose 63 = -10*w + 5*w + 4*o, w + 2*o = -7. Which is bigger: w or -1?
-1
Let o = 11 + -34/3. Is -10 > o?
False
Suppose 0 = -3*c + 25 + 8. Which is smaller: c or 10?
10
Suppose 24 = 5*k + 4. Suppose -3*g + 5*t = -k + 20, -3*t = -2*g - 10. Is -2/3 at most g?
False
Let w = -0.4 - -0.8. Let k = 0.22 + -0.02. Let n = w - k. Which is greater: n or 2/11?
n
Let q = -32 - -31. Is 19 at most q?
False
Suppose 2*q = -2*q. Let m = 1396/7 - 199. Is m at least q?
True
Suppose -7*y = 4 + 3. Do -4/7 and y have different values?
True
Let l = 0.3 - 0.2. Let w = -25.1 + 25. Which is bigger: w or l?
l
Let v be ((-2)/(-4))/(11/(-22)). Which is bigger: 3/53 or v?
3/53
Let q = 2.9 - 3. Let o = -7.2 + 2.2. Is q smaller than o?
False
Let d be (-5)/35 - 138/14. Which is bigger: -7 or d?
-7
Let q be (-25)/(-2) + 3/6. Are q and 12 equal?
False
Let z(i) = -i**3 - 5*i**2 - 4*i. Let q be z(-3). Let n = -5 - q. Is -5 at least n?
False
Let t = 0 - 0. Let c = 5 + t. Let d = c - 5.2. Which is bigger: d or -1/3?
d
Let l be 1/(-6) - (-5)/30. Is 4/9 < l?
False
Let m(q) = 3*q - 3. Let l be m(2). Suppose -5*j = 2*x - l*j + 4, -x - 3*j = 8. Which is greater: 7/5 or x?
7/5
Let o(a) = a**2 - a. Let c be o(2). Let q(w) = -w**3 + 3*w**2 - 1. Let n be q(c). Suppose 10 = -n*z + 8*z. Is 2 < z?
False
Let t = -3 - -5/2. Which is bigger: t or 1.1?
1.1
Let b = 2 + -4. Let q be (-319)/(-14) - (-1)/b. Let l = 22 - q. Which is smaller: -1 or l?
-1
Let r(l) = -l - 2. Let a be r(-5). Are 5 and a non-equal?
True
Suppose -2*z = 2*w - 4, 0*w = -3*w + 3*z - 6. Is -1 at least w?
False
Suppose 0 = 4*i + 46 - 2. Let q = -7 - -14. Let n = q + i. Is n < -4?
False
Let k = -14 - -740/53. Let z be 0/(1/(4/(-12))). Which is greater: z or k?
z
Suppose -i + 14 = -3*t, t + 80 - 24 = 5*i. Let c = -10 + i. Is 1 equal to c?
True
Let x be 0 + 0 - (1 - 3). Which is greater: x or 3?
3
Suppose 8*s - 20 = 3*s. Suppose -4*y + 3*k - 1 = y, 0 = s*y - 3*k - 1. Let t = -2 - y. Is t > -0.1?
True
Suppose 2*d = 5*d - 15, 2*i = d - 13. Let b be 149/2 + i/(-8). Let a = b - 373/5. Which is smaller: a or 3?
a
Let p = 0.05 + -0.45. Let v = 0.1 + 0.1. Let y = p + v. Does y = -2?
False
Let l = -1.71 + 0.71. Let b = -7 + 4. Which is greater: b or l?
l
Let k = -4/3 + 1/2. Which is bigger: k or -1?
k
Suppose -3*b = -3*d + 12, -5*d = b - 4*d - 6. Is 13/10 not equal to b?
True
Let s = 6 - 6. Suppose 2*c = 4*i + 20, s = -0*c - 4*c + 2*i + 10. Do c and 0 have the same value?
True
Let s = -6744/13 - -519. Which is bigger: s or 1?
1
Suppose 0 = 6*j - 11*j. Let o be (16/12)/(28/6). Is o equal to j?
False
Let r be 4/6 + (-24)/27. Let n be -1*(1/1)/(-1). Is n bigger than r?
True
Let y(l) = -l**3 + 11*l**2 + 1. Let i be y(11). Are -2/15 and i non-equal?
True
Let q = 3 + -1. Let f = -1 + q. Suppose 7 - 2 = 5*t. Is f < t?
False
Let t(j) = j**3 + 8*j**2 - 5. Let y be t(-8). Let a be 16/(-10) - (-2)/y. Which is bigger: a or 0?
0
Let d = 1.2 + -7.2. Let r = 4 + d. Which is smaller: 0 or r?
r
Let r(a) = -a**2 - 2*a. Suppose -3 = 3*m + 3. Let q be r(m). Which is smaller: q or -3?
-3
Suppose -n - 3 = -3*f, 27 + 0 = 4*n + f. Which is greater: n or 3?
n
Let l(t) = t**3 + 2*t**2 - 2*t + 1. Let c be l(-3). Let x be 4/(-6)*9/c. Let m = 2 - x. Which is smaller: m or 3/7?
m
Let u = -32 - -72. Is u < 40?
False
Let x = -0.09 + 0.14. Let h = x - 0.25. Let r = 7/46 - 155/414. Which is smaller: r or h?
r
Let j = 30 + -30. Is j less than or equal to 2?
Tr