r = 0.9 - b. Let q be (-9)/(-30)*8/(-6). Are q and r non-equal?
True
Suppose -7*b + b = 0. Let v be (-1 + 0)/(3/(-2)). Is b > v?
False
Let l = 0.4 - 0.34. Let w = l - -0.04. Is w at most as big as -0.8?
False
Let r = 2 - 1.9. Let u = -3.98 + -0.02. Let k = -1 - u. Is k > r?
True
Let s(u) = u**3 - 7*u**2 - 3. Let m be s(7). Suppose -3*y - 3*a + a - 22 = 0, 5*a = -3*y - 37. Let q = -4 - y. Is q at most m?
False
Let o = -18/59 - 274/649. Which is smaller: o or -1?
-1
Let c = 0 - -6. Let h(s) = -s**2 + 6*s + 2. Let o be h(c). Suppose 0*r = 3*r - 9. Are r and o equal?
False
Suppose a = -a - 2. Let y(h) = -2*h**2 + h + 1. Let f be y(a). Is f less than or equal to 1/3?
True
Suppose -7*y - 2*r - 10 = -9*y, 0 = r + 3. Let z = -3 + 3. Suppose -4*t = -2*t - 4*m - 8, z = -3*m - 6. Is t <= y?
True
Let n = -133 + 2533/19. Which is greater: n or 0?
n
Let f(o) = o**2 + 7*o + 9. Let t be f(-5). Let q = 1 - 2. Is t <= q?
True
Let o = -89/129 + 1/43. Let r(f) = -f - 7. Let l be r(-6). Let c be 5 - 4 - (-2)/l. Is o < c?
False
Let r(p) = -p**3 - 4*p**2 + 2*p + 9. Let x be r(-4). Let g = -219 + 2407/11. Is x not equal to g?
True
Let t be 2 + (-1)/(3/18). Let n = -2.3 + 2. Let b = -0.7 + n. Which is greater: b or t?
b
Let o(c) = c**2 - 11*c - 8. Let f be o(12). Let u be 0 + 0 + (-3)/f. Is u equal to -2?
False
Suppose -2 + 6 = 4*z. Let b be (-5 + 1)*(z + 0). Let r be ((-3)/(-30))/(b/(-10)). Is 0 greater than r?
False
Suppose -r = -9 + 2. Let z = r + -10. Let d be (0 - 3) + 1/(-1). Which is bigger: z or d?
z
Suppose 0 = 3*j - 1 - 2. Let i = 0 - -2. Suppose 5*t = 2*g - 29, 0*t - 2*t - 14 = -i*g. Is g greater than j?
True
Let h = -45.096 - -45. Is h at most as big as -0.1?
False
Suppose 0 = 3*r - 4*r - 1. Let o = 19 - 77/4. Do r and o have the same value?
False
Let c(n) = n**3 - 4*n**2 + 7*n + 3. Let m be c(6). Let k = m - 365. Let z = -987/4 - k. Which is smaller: z or 0?
0
Let o be (-38)/9 - 4/(-18). Let r be -4 + 19*(-1)/o. Is 0 < r?
True
Suppose m + 20 + 3 = 4*w, 16 = 5*w + 3*m. Suppose -3*y = -w*y. Let d = -2/129 - -272/903. Does d = y?
False
Let t = 1579/11 - 144. Which is greater: 0 or t?
0
Let k = -57.9 + 40. Let a = -18 - k. Is -2/17 less than a?
True
Let i = 139/252 + -4/9. Which is greater: -1 or i?
i
Let w = -3/91 - 37/1638. Is 1 at least w?
True
Suppose -r = 1 - 3. Suppose -2*s - 5 = -r*i + s, -3*s + 1 = 4*i. Suppose t = -2*n - 0*t - i, 0 = -3*n - t - 4. Is -3 greater than or equal to n?
True
Let x = -121 - -113. Which is bigger: x or 0.06?
0.06
Let x(b) = -b + 1. Let j be x(-2). Let o(g) = g**2 - g - 18. Let u be o(5). Are j and u nonequal?
True
Let u = 192 + -192. Which is smaller: -58 or u?
-58
Let f(q) = q**2 + 3*q. Let p be f(-3). Let g be (0 + 79)*(3 - 2). Let a = -397/5 + g. Is a smaller than p?
True
Let h = 150 + -78. Which is smaller: h or 71?
71
Let a be (8/168)/((-1)/2). Which is smaller: a or 1?
a
Suppose -3*p + 27 = -12. Which is greater: 12 or p?
p
Suppose -2*h = -f, 4*h - 4*f = h. Which is greater: 2/9 or h?
2/9
Suppose 4*a = 2*a + 8. Suppose -3*t + 17 = 2*k - 2*t, -16 = -k + 2*t. Suppose 0*x - 5*x = -k. Are a and x equal?
False
Let j(x) be the third derivative of x**5/60 - x**4/24 - 2*x**3/3 - x**2. Suppose -3*t + 9 = -v, 0 = 8*v - 4*v + 5*t - 32. Let w be j(v). Is w > 3?
False
Suppose -5 + 4 = -n. Is 6/7 at least n?
False
Suppose 3*w + 4 = 4*p, -p - 8 = -3*p. Suppose -4*o - 35 = -5*b, o - w = -4*b + 3. Let k be 2*(2 + b/(-2)). Which is bigger: k or 2?
2
Let l(p) = -p**2 - 6*p + 11. Let o be l(-8). Are o and -4 nonequal?
True
Let t = 9.05 + -9. Let f = t + -0.15. Is 3 <= f?
False
Let d = -5.01 - -0.01. Let y = d - -6. Let v = -2 - y. Is 1 at most v?
False
Let i(o) = 3*o**2 - o. Let w be i(1). Let p be ((-3)/w)/((-3)/2). Is -2/39 != p?
True
Let j(o) = -5*o**2 - 2*o - 1. Let r be j(-3). Let x = r - -281/7. Let a be -3*8/24 + (1 - 0). Are x and a unequal?
True
Let u be (-55)/45 - (-4)/18. Let p be (-1 - (u + -2)) + -2. Let v = 95 - 663/7. Which is greater: p or v?
v
Let y = -4 + 3. Which is smaller: y or 12?
y
Suppose 0 = 4*z + 4*d - 20, -3*z - 4*d + 3 + 16 = 0. Which is bigger: 4 or z?
4
Let q be (-2 - -1) + 9/5. Let r = -438 + 2183/5. Let o = r + q. Which is bigger: -1 or o?
o
Let c = 86 + -432/5. Let s = 0 - -1. Let a be s/(1/(-2)) - -3. Is c greater than a?
False
Let g = 0.9 + -1. Which is smaller: 20 or g?
g
Let o be (-604)/(-84)*6 + 2/(-14). Which is smaller: 42 or o?
42
Suppose -5*q + 40 = -7*q. Do -19 and q have different values?
True
Let d be (1016/(-18))/((-4)/(-6)). Let s = 7868/93 + d. Which is greater: s or -1?
s
Let n = 6 + -5. Let w = n - 1.1. Which is bigger: w or 0.4?
0.4
Let z = 42 + -45. Which is greater: z or -26/11?
-26/11
Let z = 0.38 - 3.38. Which is smaller: -0.01 or z?
z
Let y(w) = -w**2 - 8*w - 4. Let f(r) = -r - 1. Let u(t) = 4*f(t) - y(t). Let p be u(-4). Is -1 not equal to p?
True
Let o(a) be the second derivative of a**6/120 + a**5/10 - a**4/3 - 4*a**3/3 + a**2 - 2*a. Let v(i) be the first derivative of o(i). Let d be v(-7). Does d = -2?
False
Let g = -367/18 + 41/2. Suppose -2*p = p. Is g less than p?
False
Suppose -3*r + 9 = -4*x - 20, 4*x = r - 23. Is x greater than -3?
False
Let i be (14/(-8))/(6/(-24)). Suppose t + 3*r - i = 9, -18 = -3*t - 3*r. Which is smaller: t or 2/7?
2/7
Let v(u) = u**3 + 9*u**2 + 6*u - 11. Let q be v(-8). Suppose 4*h = 2*d + 10, -d + 3 + 13 = q*h. Which is greater: d or 3?
3
Suppose 5*r = 4*x + 1, 2*x = -4*r + 5 + 1. Which is bigger: 0.02 or r?
r
Suppose -3*i = 2*i - 5. Let u(k) = -k**2 + 2*k. Let g be u(2). Suppose g = 3*t - 7 + 1. Is t >= i?
True
Let f = 2 + -3. Suppose 4*i + 5 - 13 = 0. Let c be i - (-54)/(-21) - -1. Is f less than c?
True
Let d = -43 - -167/4. Which is bigger: d or 1/4?
1/4
Let m = 12 - 7. Suppose 0 = -m*a - 0*a - 15. Which is smaller: a or -4?
-4
Let q be 1 + 6*8/4. Is 11 greater than q?
False
Let y = 0.4 + -0.5. Let p(q) = 3*q**2 + 5 + q**3 + 6*q**2 + 0*q**3 + 8*q + 0*q**3. Let r be p(-8). Which is bigger: r or y?
r
Let v be 7 + -1*(-3 + 2). Suppose 0 = 5*z - v + 3. Is z <= -1/16?
False
Let u = 7/38 + -1/418. Let a = -24 + 23.8. Which is smaller: a or u?
a
Suppose 0 = 2*k + 10, 35 + 25 = 5*g - 5*k. Let t = g + -16. Let r be 21/t*3*-1. Which is greater: r or 8?
8
Let a = 4 + -5. Suppose 3*s - 96 = -9*s. Which is bigger: s or a?
s
Let l be ((-8)/(-30))/((-2)/(-3)). Which is smaller: -7 or l?
-7
Let o be 1/3 + (-160)/336. Which is smaller: -0.2 or o?
-0.2
Let z be 42/55 - (-16)/(-40). Do -1 and z have different values?
True
Suppose 3 = -2*h - 33. Is -18 less than h?
False
Suppose 0 = -3*r - 9, -2*r + 1 + 5 = 4*b. Suppose -3*h = -6 - 6. Is b greater than h?
False
Suppose 5*l + 4*q + 31 = 0, -3*q + 17 = -2*l - 0*l. Which is smaller: -2 or l?
l
Suppose -2*c = -4*m + 3*m + 4, -4*m - c - 2 = 0. Let v be ((-25)/5)/(m + 1). Which is bigger: v or -4?
-4
Suppose -2*x = -2 - 26. Suppose 4*p = 2*u + 8*p + x, 4*p = -u - 13. Is u bigger than 0?
False
Suppose -13*b - 280 = -9*b. Let c = b + 492/7. Which is bigger: 0 or c?
c
Let p(q) = -q**2 - 3*q + 1. Let n be p(-2). Suppose n*w + 0 - 3 = 0. Suppose 12 = 2*x - 3*k, 0 = -x - 3*x + 5*k + 20. Which is smaller: w or x?
x
Let d = 2 + -4. Let a be d/(-10) + 198/(-15). Let n be (-1)/4 - a/4. Is 4 bigger than n?
True
Let o be (2 - (-6 + 7)) + 31/(-24). Which is smaller: 1 or o?
o
Suppose -12*o - 20 = 4. Suppose 5*f = -x + 6*x + 15, 0 = -4*x + 5*f - 11. Is o at least x?
True
Let y be (-2)/2 - (-2 - -2). Let p(k) = 4*k + 41. Let t be p(-14). Which is greater: y or t?
y
Suppose -6*k + 324 = -z - 3*k, -5*z = 2*k + 1535. Let p = z + 2151/7. Is p greater than or equal to -3?
True
Let p(o) = o**3 - 11*o**2 - 4*o + 2. Let l be p(5). Let v be l/(-81) - (-8)/(-4). Is 0 smaller than v?
True
Let c = -2/303 - -704/14847. Is c >= 1?
False
Let z be -3 + 0 - 0/1. Let n be -3*1*(-1)/z. Let p be 0 + 1 + (-10)/8. Is n > p?
False
Let j = 0.1 - -0.1. Let f(k) = 2*k - 8. Let l be f(5). Let a = l + -7/3. Which is smaller: a or j?
a
Let j = -1/31 - 20/341. Let a = j + 13/22. Is 0 at most a?
True
Let m(s) = s**2 - 4*s. Let g be m(3). Which is greater: -1/4 or g?
-1/4
Let o = -0.09 - -0.19. Which is smaller: o or -1?
-1
Let i be (-68)/6*(-85)/(-105). Let o = i + 80/9. Which is smaller: 4/5 or o?
o
Let y = -43.3 - -46. Is -2 less than or equal to y?
True
Let n