Let a = l - 6.7. Are a and n unequal?
True
Suppose 4*d - 5*d = 2*r - 11, -2*d + 5*r = 23. Let h be (-1)/((-1)/d) - 3. Let a be (6/8)/((-2)/8). Are a and h equal?
False
Let u be -8 + (7/3 - (-12)/18). Is -5 < u?
False
Let j(m) = -m**3 - 6*m**2 + 7*m + 2. Let r be j(-7). Suppose -5*k - 3 - r = 0. Let l be ((-8)/(-28))/((-6)/7*-1). Is l bigger than k?
True
Let n = -69 + 69.2. Is n at least 0.04?
True
Let t(c) = c**3 - 7*c**2 + 5*c. Let o be t(6). Let f be (-4)/3*o + 0. Which is greater: f or 7?
f
Let c = 7.5 + -7.5. Which is smaller: c or -1/26?
-1/26
Let r be (28/5 - 5)*5. Suppose d + 1 = 0, 4*w - 5*d - 6 - 11 = 0. Is w at least as big as r?
True
Suppose -5*b - 5 = 5*r - 45, 2*r = 2*b. Suppose -b*i + 12 = -0*i. Suppose -4*a + 0*a = -8. Is a smaller than i?
True
Suppose 0 = 5*y - 2*v + v + 27, 6 = 3*v. Let j(f) = f**2 + 6*f + 11. Let c be j(y). Suppose 6*p = -2*q + 3*p - 5, 0 = -5*q + 2*p + 35. Which is greater: c or q?
c
Let z be (-2)/8*(-16)/20. Which is smaller: z or -3/7?
-3/7
Let o = -121 - -969/8. Let p be (-3)/6 + (-2)/(-4). Which is bigger: o or p?
o
Suppose 4 = -5*c + 19. Let i = -9 + 2. Let k = 11 + i. Which is smaller: c or k?
c
Let y = -79 - -78.935. Which is smaller: -1 or y?
-1
Let b = 48 - 44. Which is smaller: 0 or b?
0
Let j(p) = p**2 + 3*p. Let m be j(-3). Let k = -6 + 7. Let s = k + 1. Which is smaller: s or m?
m
Let p(a) = a - 2. Let q be p(1). Are q and -2 unequal?
True
Let d = 1.8 + -8.8. Let f = 7.6 + d. Let q = -1.6 + f. Which is smaller: 2/5 or q?
q
Let a be (-2 - 144/(-66)) + 101/(-11). Are a and -5 equal?
False
Let r = -0.22 - 0.28. Is r bigger than -2?
True
Let a be (8/(-30))/(48/40). Do a and 0 have different values?
True
Let g be (-112)/28 - (-4 - -1). Which is smaller: g or -9/4?
-9/4
Suppose -2*b = -n - 6*b + 9, 5*b = 4*n + 6. Let r = -838/19 + 44. Which is smaller: r or n?
r
Let t(k) = k**3 + 13*k**2 + 12*k + 3. Let m be t(-12). Suppose 4*j + 8 = -4*d, -2*j - m = -4*j + 5*d. Is -1 at most j?
True
Let v = 6.74 - 0.54. Let o = 11.6 - v. Let w = o - 0.4. Is w >= 0?
True
Suppose -134*g + 248 = -130*g. Which is bigger: 63 or g?
63
Suppose -17*o = -2*o + 195. Which is bigger: -14 or o?
o
Let u = -3 - -7. Let w(q) = -q**3 + 4*q**2 + 6*q. Let l be w(5). Suppose -d + 2*c + l = -3*c, 2*d - 2*c = 10. Which is bigger: u or d?
d
Let f = -6 - -4. Let g be -3*(-4 + 2)/f. Which is smaller: -2 or g?
g
Let z be -2 - 450/(-111) - 2. Which is smaller: z or 1?
z
Let f = -12 - -16. Suppose -n + 25 = f*n. Which is smaller: 6 or n?
n
Let y be (-36)/(-16) - (-4)/(-16) - 1. Let f be -2 - -1 - (-20)/6. Which is smaller: f or y?
y
Suppose -x = -5*o + 2*x - 25, -o - 4*x = -18. Let p(d) = 4 + 3*d**2 + 2*d + 4*d - 2*d**2. Let q be p(-5). Which is greater: q or o?
q
Let g(w) = 2*w - 4. Let f be g(3). Let l = 11/5 - f. Suppose 3*v + v + 21 = -p, 3*p + 13 = -2*v. Are p and l nonequal?
True
Suppose 0 = -2*r - 8, -31 = -4*y - 4*r + 9. Let f = y + -10. Let b be ((-88)/6)/f + 3. Is b at least as big as 0?
False
Let a(d) = -70*d**3 - 2*d**2 - 2*d - 1. Let i be a(-1). Suppose 3*q - 13 = -3*b + 5, -4*q + i = -5*b. Is 2/5 greater than q?
False
Let o be 12/(-30)*(-6 + 1). Suppose o = -2*a + 4*a. Which is bigger: a or -2/9?
a
Let d = 700/9 - 78. Which is smaller: d or -0.2?
d
Let u = -611/28 + 93/4. Is u smaller than 2?
True
Let h(g) be the first derivative of -g**2 - 22*g + 5. Let a be h(-11). Is 3 at least as big as a?
True
Let a = 10 + -7. Let m = -2 + a. Let y = 5 - m. Are 2/3 and y equal?
False
Let a(p) = p - 6. Let n be a(8). Which is smaller: n or 2/5?
2/5
Suppose -4*j + 4*t - 4 = 0, 3*t - 4 = t. Which is smaller: j or 0?
0
Suppose -3*a + 3 = -6*a. Let j be ((-1)/(-3)*3)/a. Let y be ((-4)/2)/(1 - j). Which is smaller: y or -1/4?
y
Let q = 23 - 47. Let z = -10 - q. Let n be ((-7)/7)/(z/(-6)). Do -1 and n have the same value?
False
Let s = -103571 - -723643/7. Let b = s + 193. Which is bigger: -1 or b?
b
Suppose -5*x + 0*m = -2*m + 8, -2*m + 8 = 0. Suppose -4*a + 9*a + 25 = x. Let s = a + 5. Which is greater: -2/9 or s?
s
Suppose -2*j - v = 0, 3*j = 7*v - 2*v. Suppose 12 = -4*f + 36. Let q be (f/27)/((-1)/3). Is q < j?
True
Let q be 2/4*(-16)/(-4). Let j be 7/q*(2 + -1). Let l be 8/2 - (1 + -1). Is l less than j?
False
Let c be (-18)/(-8)*(-4 - 0). Let h be (-39)/63 - 3/c. Is 1 at least as big as h?
True
Let i(t) = -t**3 - t**3 + 2*t**2 + t**2 + 0*t**2 + 2 - t. Let y be i(2). Let q be (-6)/8 - (-1)/y. Which is smaller: -4 or q?
-4
Suppose -j = -t + 4 - 20, -t = -2*j + 31. Suppose 0*n - n = -5. Suppose 3*c = j, 0 = -5*b + 2*c - 5*c + n. Which is greater: -4/7 or b?
-4/7
Let p = -34.9 - -37. Let k = p + -4.1. Let w = -0.3 - -0.1. Is w greater than or equal to k?
True
Let v(n) = 2*n - 5. Let u be v(5). Suppose u*f - f = 0. Is -2/7 less than or equal to f?
True
Let o(y) = 4*y**2 - 3*y - 2. Let s(t) = -9*t**2 + 5*t + 3. Let b(k) = -5*o(k) - 2*s(k). Let v be b(4). Let g = v + 35/4. Which is smaller: g or 1?
g
Let t be 324/(-315) + 3/5. Suppose 0*w + 6 = -2*w. Let j be 2/(w + 1) + 1. Is t equal to j?
False
Let l be (-2)/6 - 254/12. Let y = l + 22. Do 0 and y have the same value?
False
Let y = -9 - -20. Which is smaller: y or 10?
10
Let z be 6/(-194)*(-34)/51. Which is greater: -1 or z?
z
Let h be (-52)/(-17) + (-4 - -1). Let m be (-6)/(-21) - 15/(-21). Which is smaller: m or h?
h
Let r = 2.02 - 0.02. Let f = r - 5. Let j = -2.9 - f. Is 0.1 at least as big as j?
True
Let g(o) = o**3 + 11*o**2 + 10*o. Let v be g(-10). Is 1 not equal to v?
True
Suppose -8 = 4*x + 8. Let q = -2/13 + -172/65. Which is bigger: q or x?
q
Suppose -3*y + y + 4*u + 16 = 0, -y - 4*u - 10 = 0. Let r be 4/(-40)*y*-2. Which is bigger: 0 or r?
r
Suppose 2*n = n + 4. Suppose 4 + 8 = n*w. Suppose -2*z - w*z = 3*s, -s = 2*z. Which is smaller: z or 2/3?
z
Let f be ((-46)/(-18))/(6/18). Which is smaller: 9 or f?
f
Let l = -338/11 - -772/33. Is l != -8?
True
Let b = 0 + -12. Let p = 13 + b. Are -0.06 and p equal?
False
Let w = -40 - -61. Let c be (-140)/(-15)*6/w. Which is greater: c or 2?
c
Let l be 25/4 - 4/8. Is 5 equal to l?
False
Let h be (-28 + 5 + -3)*-1. Is 26 < h?
False
Suppose -5*f - 15 = 0, 4*j + 5*f = -19 - 12. Let m be (-2)/(-10)*(-10)/j. Let l = 0.16 + 0.04. Which is smaller: l or m?
l
Suppose 5*m - 4*m - 4*d + 7 = 0, -4*m = -4*d + 4. Let g(b) = b - 8. Let a be g(6). Do a and m have different values?
True
Let q(y) be the second derivative of y**3/6 + y**2/2 - 2*y. Let j be q(-1). Suppose -4*s - 11 = -0*s - 3*z, -5*z = -2*s - 23. Is s at least as big as j?
True
Let c = 49 - 14. Which is smaller: 34 or c?
34
Let p = -0.15 - 2.85. Let k = -0.4 + 6.4. Let b = p + k. Is b less than -1?
False
Let k(f) = f + 1. Let s be k(3). Suppose -4*n - 4*y = -8, 0 = -3*y - 2 - s. Is n < 4?
False
Let a be -1 - 1 - (-24)/13. Let o be ((3 - 2) + -1)*1. Suppose 0 = -2*z - o*z. Which is bigger: z or a?
z
Let w = 14 - 10. Let l = w + -6. Is -2 greater than l?
False
Let l = -2.2 - -3.1. Let a = l - 1. Let r = 0.073 - -0.127. Do r and a have different values?
True
Let a = 10 + -6. Let d be (2/4)/((-2)/4). Let x be 27/(-36) + d/a. Is 2/5 bigger than x?
True
Let h = -6/469 + -920/1407. Let d(j) = j**3 + 4*j**2 + 3*j + 2. Let t be d(-3). Let c be 6/(-4) + t/(-4). Is c at least as big as h?
False
Let s(v) = -v**2 + 8*v - 9. Suppose -3*k = -2*k - 7. Let t be s(k). Which is bigger: 0 or t?
0
Let k be 0 - 25 - (1 + 4)/5. Which is smaller: k or -28?
-28
Let w = -18 + 20. Is w <= 5/2?
True
Suppose 15 = -3*x - 6. Let f be 179/x - 1 - 0. Let d = -192/7 - f. Which is bigger: d or 0?
0
Let d = -3 - -9. Let x = 3 + 4. Does x = d?
False
Suppose 4*o + p - 6 = -p, 2*p - 6 = -o. Do o and -1/2 have the same value?
False
Suppose -2*m + 16 = -6*m, 0 = i + 3*m + 13. Let c = 9532 - 47844/5. Let p = c - -37. Is i smaller than p?
True
Let i be (-2)/(-5) + (-54)/(-15). Let q(f) = f**3 - 4*f**2 - 2*f + 6. Let j be q(i). Let g = -4 + 0. Is g at most as big as j?
True
Let y be 5/((-30)/9)*2. Let z be 9/y + (-6 - -4). Which is smaller: z or -6?
-6
Let f = -6.2 + 7.2. Is f != -17?
True
Let o = 24 - 14. Suppose -o + 13 = 3*g. Is 1/10 < g?
True
Suppose 4*u - 10 = m, 4*m + 18 = 2*u + 6. Suppose 2*o + u = -2*r, 0 = -5*r + 5*o + 25. Suppose -3*l = 5*b + 11, -2*l = r*b - 6*l - 6. Is -3 > b?
False
Let f be (-15)/(-25) - 4/(-10). Suppose -q +