3*m + 2. Let o be n(3). Suppose p - 6*p = 0. Which is greater: o or p?
o
Let b(o) = -2*o**3 + 3*o - o**2 + 2*o**3 + o**3 - 2. Let r(c) = c**3 - c**2 + 4*c - 2. Let d(j) = 5*b(j) - 4*r(j). Let z be d(2). Is -2/13 at least z?
False
Suppose -2*x = -0*x - 16. Suppose 16 = -5*y + q, 2*y = -x*q + 3*q - 1. Which is smaller: -1 or y?
y
Let g(p) = p**2 + 10*p + 21. Let v be g(-7). Is 0 != v?
False
Let y be (-3)/(-9) - 5/6. Let g(x) = x + 6. Let t be g(-7). Is y greater than or equal to t?
True
Let d(n) = n**2 - 6*n + 1. Let j be d(6). Let s(b) = -2*b + 1. Let k be s(1). Let l = k + 1. Do l and j have the same value?
False
Let g(q) = -2*q + 2. Let o = -8 - -12. Let h be g(o). Is -6 greater than or equal to h?
True
Suppose -4*j - 15 = -3*j. Let f = j - -29/2. Is f < -0.07?
True
Let s be (4 + -3)/(1/77 - 0). Is s at most as big as 77?
True
Let h be 1/((-32)/12 - -3). Suppose -2*f - 4 = -h*f. Which is greater: 3 or f?
f
Let u = 138 - 80. Let r = u - 287/5. Is 2/7 <= r?
True
Let q(n) = 9 - 3*n - 4*n + n**2 + 3*n - 4*n. Let d be q(7). Suppose -h + 3*z = d, 0*h - 3*h = -5*z + 6. Which is smaller: h or -1?
h
Let i(a) = -a + 2. Let u be i(2). Let j be (-1*84/35)/(2*-1). Is u != j?
True
Let n = 0.907 + 0.093. Which is bigger: n or -0.03?
n
Suppose 9*y - 3*y = 0. Are y and 0 nonequal?
False
Suppose -4*x = 3*n + 11, -2*x - 7 = 3*n - 0*n. Let o be n - (3 + 0 + -3). Is o greater than or equal to 1/3?
False
Suppose 20 = k - 4*v, 4*k - 8*k + 15 = -3*v. Let o = -7 - k. Is o greater than -8?
True
Let t be 1 + -2 + (-5 - -4). Let d be t*(3 - (-68)/(-20)). Suppose 0 = -2*f - 0 + 2. Do d and f have the same value?
False
Let m = -116.1 + 116. Let b = 0.1 - 1.1. Which is greater: m or b?
m
Let y = -168 + 176. Which is smaller: -0.02 or y?
-0.02
Let t = 11.2 + -10. Which is bigger: 1 or t?
t
Let a(g) = g**3 - 3*g**2 - 2*g - 3. Let q be a(4). Suppose 10 = -q*f - 2*t, 2*f + 20 = -f - 4*t. Which is greater: 1 or f?
1
Let t = -5/21 + 4/7. Is -9 bigger than t?
False
Let h = -1.7 + 0.7. Is 82 less than or equal to h?
False
Let p = -135/278 + -2/139. Is -21 bigger than p?
False
Let p(v) = -v**3 + v**2. Let y be p(0). Which is greater: y or 3/7?
3/7
Suppose 3*v + 3*z = -2*v + 27, 4*v - 4*z = -4. Suppose 0 = -v*d - 3 - 0. Which is bigger: d or -3?
d
Let s be 57/(-190)*-2*(-4)/(-30). Are 1 and s equal?
False
Let c = 10 - 9.8. Let p = 6 + -4. Which is smaller: c or p?
c
Let y(c) = -2*c**2 - 8*c. Let a be y(-4). Is a > -2/5?
True
Let k = -0.1 + 0.11. Let q = 7/3 - 3. Are k and q unequal?
True
Let m(s) = -s**3 - 6*s**2 - 6*s - 3. Let q be m(-5). Is 7/12 < q?
True
Suppose -3*c = -109 + 70. Is c at most as big as -3/5?
False
Let k(y) = 2*y + 3. Let w be k(-2). Let r be (-74)/(-26) - (8 + -5). Is w at most as big as r?
True
Let x = 1/15 + 8/5. Let k(v) = v + 10. Let t(n) = -n - 10. Let b(s) = -2*k(s) - 3*t(s). Let r be b(-9). Which is smaller: r or x?
r
Let q be (-6)/24*48/(-26). Which is bigger: q or 1?
1
Let g be ((-210)/50)/(6/(-8)). Which is smaller: 5 or g?
5
Let q(v) = -v**2 - 4*v - v**2 + 1 - v**2 + 2*v**2. Let w be q(-4). Is 0 > w?
False
Suppose 3*p + 5*l = -71, -19 = -3*p + 4*p + 4*l. Is -27 greater than or equal to p?
True
Suppose -15 = -3*m, 0 = 5*h + 3*m - 6*m + 10. Suppose -2*f = -2 - 2. Suppose -f + h = -u. Is u < 0?
False
Suppose 0 = i - 2*i - 3, -j - i = 5. Suppose 2*k - 2 = -0*k. Let w = j + k. Which is smaller: w or 2/7?
w
Let g = -114 - -118. Suppose 2 = 2*h - 0. Which is smaller: g or h?
h
Let h(s) = s**2 - 1. Let x be h(1). Let w = x - -2. Suppose 1 = -3*m + w*m. Is 1 bigger than m?
True
Let m = 148 - 122. Which is smaller: 27 or m?
m
Suppose 2*a - 4*t = -12, -2*t + 13 = -4*a + 1. Let v be (a/2)/((-4)/(-4)). Let o be 32/12 + 1/v. Which is smaller: o or 1?
1
Let b(t) be the first derivative of -7*t + 1/2*t**2 - 1. Let g be b(8). Are g and 1 non-equal?
False
Let m = -57 - -54. Is m greater than or equal to -0.14?
False
Let a = 5 + 1. Suppose 2*y - 2*r = -a, -13 = 3*y - 5*r + 4. Which is bigger: -2/9 or y?
y
Let w be -1*4/4*-2. Suppose -4*s = 2*b - 4, 2*b + 3*b + 20 = 0. Are w and s unequal?
True
Let x = -2 + 3. Let z = -2472/23845 - 2/1255. Which is smaller: x or z?
z
Let w = 23/3 + -25/3. Let c = -0.13 + 0.33. Which is smaller: w or c?
w
Let i = -411/4 - -16859/164. Which is bigger: -2/5 or i?
i
Let q = 0 - 0.5. Let y = -0.5 + q. Let i = 0 + y. Are 1 and i nonequal?
True
Suppose 72 = -4*x + x. Let v = x - -503/21. Is -1 > v?
False
Let o = 7.5 - 6. Let t = -9 + 7. Let r = t + o. Is 1 at most r?
False
Let a = -9.02 - -0.92. Let o = a - -8. Is -1 > o?
False
Let o = 517/60 - 35/4. Let r be (2/2 + -2)/(-1). Which is bigger: o or r?
r
Suppose -6*t = -3*t. Suppose -2*l - 2 = -t. Do -3/4 and l have different values?
True
Let r = -1 + 1.2. Let w = -19 + -1. Let p = -20 - w. Is r less than p?
False
Let c = -14 - -53. Suppose -c = 3*o - 12. Do -8 and o have different values?
True
Let b be (2/18)/((-148)/24 - -5). Which is smaller: 1 or b?
b
Let p be (2/28)/((-2)/(-12)). Let c = 39/2 - 433/22. Which is greater: p or c?
p
Let t = -2/15 - 97/60. Let m = t - -2. Which is bigger: -2 or m?
m
Suppose -3*l = -v + 1, -5*v - 10 = -7*v - 2*l. Suppose -v*j = -j. Which is greater: j or 0.1?
0.1
Let k(j) = j**2 - j + 2. Let g be k(3). Let v be (-1)/(1 + (-22)/24). Let m be v/g*(-4)/6. Is m at most 1?
True
Let c be -1*(3 - (-10)/(-1)). Suppose 0 = 3*y + c - 4. Which is smaller: -4/13 or y?
y
Let l = 2 + -2.07. Let t = -763.93 - -767. Let d = l + t. Is 1 at least as big as d?
False
Let x = -0.5 - -7.5. Let q = x + -5. Let i = q + -2.4. Which is smaller: 1/4 or i?
i
Let v = 31 + -22. Suppose -2*k - 6 = -26. Which is bigger: v or k?
k
Let y(n) = n**3 - 5*n**2 - 5*n - 3. Let f be y(6). Suppose 4*g + f = -9. Let s be 2/6 - (-1)/g. Is 2 bigger than s?
True
Let m(s) = -4*s - 49. Let g be m(5). Which is bigger: -71 or g?
g
Let r(u) = 29*u + 4. Let i(g) = -7*g - 1. Let d(t) = 9*i(t) + 2*r(t). Let x be d(-1). Suppose h + x*h = -3*c + 5, c = 5. Is -2/3 > h?
True
Let n = -13 - -13. Are n and 8/7 unequal?
True
Let q = 55.8 - 56. Which is bigger: -8/3 or q?
q
Let b(q) = q - 8. Let a be b(7). Is -1/20 greater than a?
True
Suppose 4*w - 1 + 0 = -5*g, 15 = -5*g. Let q be 8/20 + w/(-10). Which is smaller: -4/13 or q?
-4/13
Let b be (-2)/((-2 - -6) + -1). Let r = 6 + -5.89. Let m = r - 0.21. Is m < b?
False
Suppose -r = -0*r + 3, 3*r + 18 = -3*j. Let g be j/2*3/(-18). Is g < 2/3?
True
Let m(f) be the first derivative of -f**4/4 + 4*f**3/3 + 2*f**2 + 7*f + 3. Let w be m(5). Which is smaller: 1 or w?
1
Suppose 3*m + 13 = a + 3*a, 3*m + 3*a - 15 = 0. Do -57 and m have different values?
True
Suppose -2*s + 3*n = 13, 9 = 4*s - 0*n + n. Let u be (-68)/24 - s/6. Is -3 bigger than u?
False
Suppose 31*r - 2 = 29*r. Which is smaller: r or -1/77?
-1/77
Let v(t) = t**3 + 3*t**2 - 5*t. Let y be v(-4). Suppose 3*m = y*n - n + 24, 2*n - 5*m = -16. Do -7 and n have different values?
True
Suppose 2*d - 3*g - 2 = -g, 2*g = -3*d + 18. Let u = 5 - d. Does u = 0?
False
Let z be ((-2)/(-1))/((-20)/70). Let g(s) = -s**3 - 7*s**2 + 8. Let o be g(z). Suppose -4*y + 10 = b, 2*y + 2*y = o. Are -1 and b equal?
False
Let m be (-6)/(-15) + (-66)/(-10). Suppose 2*n - m*n + 10 = 0. Suppose 6*t - 3*a - 8 = n*t, t + 5*a - 2 = 0. Is t <= 2?
True
Let v be ((-1 - -2)/1)/((-30)/(-12)). Is -20 equal to v?
False
Suppose 0 = 5*w - w + 16. Let j = w - -6. Is 3/5 smaller than j?
True
Let g be 4/6 - 46/(-3). Let m be 7/(42/g) - 2. Are 0.1 and m non-equal?
True
Suppose -5*u - 5*b - 25 = 0, -5*u = -3*b - b - 11. Let v(s) = -s**2 + 6*s + 2. Let w be v(6). Let k = u - w. Is -3 not equal to k?
False
Suppose -11 = -4*s - 3. Let a be -3*2*s/(-3). Let m(b) = b - 5. Let c be m(a). Do -1 and c have the same value?
True
Let i = 12 - 24. Let v be 6/9 - (12 - -1). Let j = v - i. Which is greater: j or -1?
j
Let i be (-28)/21*6/(-4). Let c(d) = d - 4. Let b be c(6). Suppose 5*u + b + 7 = i*s, -5*u = -s + 7. Is -1/2 at most u?
False
Let x = -8891/1316 + 2/329. Let g = x + 25/4. Suppose -5*i + 2*i - 5*b = 0, 4*b = 2*i. Which is smaller: i or g?
g
Suppose -5*h - 20 = -4*m, 2*h = 5*m - 2*m - 15. Which is bigger: 2/55 or h?
2/55
Let w = 4.99 - 5. Let v = w - 0.06. Is -2/3 <= v?
True
Let r be (-1 - -2)/(14/4). Suppose x + 21 = 4*o, 5*x + 5*o = x. Let z = x + 4. Which is sma