 v(c) = 3*c**2 + 3*c**2 + 8 + c**3 - 7*c + c. Suppose 14 = -0*w - 2*w. Let q be v(w). Are q and 2/3 equal?
False
Let c = 4.9 - 2.9. Let x = -10 + 15. Suppose -4*g = -7*g + 2*d + 4, -x*g = -d - 9. Are c and g non-equal?
False
Suppose 0 = -5*u + 10, u + u - 16 = 2*k. Let w be (-22)/k + 4/12. Suppose -t - 3 = -3*d + 1, d + w = -t. Is -1/2 at most d?
True
Let m = 7 - 1. Which is greater: m or 2/3?
m
Let r be -1 - 10/(-5) - (-66)/(-9). Is -7 equal to r?
False
Let l be 0/((-1 - -2) + 1). Suppose -5*j = 4*o - 5, -3*o - 2*j + l = 5. Is o < -4?
True
Let n = 3.1 - 1. Let r = n + -2. Is -1 bigger than r?
False
Let j(b) be the second derivative of b**4/12 + 2*b**3/3 - 5*b**2/2 - 2*b. Let x be j(-5). Let p(k) = k + 7. Let w be p(-5). Is w < x?
False
Let b be (-6)/4*(-24)/9. Suppose b*u = -u. Let r be -1*1*(-11)/(-55). Is r bigger than u?
False
Let s = 2 + -1. Suppose s = -2*z + 3. Let q(f) = f - 3. Let p be q(3). Which is smaller: z or p?
p
Suppose -4*h = 2*c - 6 + 16, 5*h = -15. Let j = 2 + c. Is j < 1?
False
Let w = 204 + -3470/17. Let a = 0.2 - 1.2. Which is bigger: a or w?
w
Let p(j) = 2*j. Let g be p(1). Suppose 0 = n - g*n - 2, 0 = -a + 5*n + 13. Suppose -12 = h + a*m, 0*m = -2*h + 3*m + 12. Is 0 greater than or equal to h?
True
Let r = -0.18 - 0.12. Let b = r - -0.2. Which is greater: b or -2/3?
b
Let l = -56 - -58. Let i = -1.2 + 0.2. Are l and i nonequal?
True
Let p = -29 + 23. Let x be 6 - 3/p*-2. Which is smaller: 7 or x?
x
Let i(t) = -t + 3. Let b be i(-6). Suppose -b = 2*z - 11. Is -2/7 <= z?
True
Suppose 5*o = 2*q + 25, -2*o - 4*q - 19 = q. Let a be (2 + -1)*(o + 6). Suppose -a + 0 = s + 4*g, 5*g + 18 = s. Is s < 1?
False
Let v be (-18)/10 - (-2)/(-10). Let p(d) = -d**2 - d. Let m be p(-2). Is m less than v?
False
Suppose 3 = -3*g + 15. Let p = 4 - g. Suppose 2*b + r = 6*r + 10, p = -4*b - 4*r - 36. Are -6 and b nonequal?
True
Let h = -10 + 15.4. Let m = -0.4 + h. Let a = 3 - m. Which is bigger: a or 1?
1
Let y(l) be the second derivative of -l**4/12 + l**3/6 + 4*l. Let h be y(0). Is h equal to 3/16?
False
Let z be (-26)/72 - (-2)/8. Let m = 0.6 + -0.5. Which is smaller: z or m?
z
Suppose 0 = -8*n + 5*n - 12. Which is greater: n or -5?
n
Suppose 5*q = c - 6*c - 10, 4*q - 4*c + 48 = 0. Let z be (-5)/15 + q/(-12). Which is smaller: z or -3?
-3
Suppose 4*v = -l + 10, 21 = 4*l + 3*v + 7. Let m be 14/18 - l/(-9). Is m smaller than 2/3?
False
Let p(u) = u**2 - 4*u - 5. Let t be p(5). Let w be (1 + 1/(-2))*t. Which is greater: -3/8 or w?
w
Suppose m - 5*r = 2*m - 19, 0 = 4*m + r. Let s be 3/(m - (-7)/(-2)). Let v = 0.1 + -0.1. Which is greater: v or s?
v
Let t = 0.8 + -2.8. Let j = t - -3. Which is smaller: 1/3 or j?
1/3
Let i(h) = -h**2 + 5*h + 8. Let c = 9 + -3. Let q be i(c). Suppose -2*t = -2*k - 11 + 3, 0 = q*t + 2. Which is smaller: k or -4?
k
Let n be 31 - 2/(2/3). Let f be 17/n + 1/4. Let y = f + -67/70. Which is smaller: y or 0?
y
Suppose -4*v = 5*a + 5, 3*v = a - 2*v + 1. Let r = 1 + a. Let y = 32/175 + -1/25. Is y != r?
True
Suppose v + 5 = -2*x, 2*v = -0*v + 4*x + 6. Let n = 22821364/39 - 585259. Let i = n - -287/3. Which is greater: i or v?
i
Let a(o) = -o**3 - 3*o**2 + 12*o + 4. Let s be a(-5). Is -2 at most as big as s?
False
Let w(o) = 4*o**2 - 3*o**2 - 3*o - 2 - 2*o**2 + 1. Let r be w(-3). Are 1/3 and r unequal?
True
Let h be 8/(-15)*(-25)/(-35). Let f = h - 2/105. Let c be 0/(1/(1/2)). Is f at least c?
False
Let t = 3 - -2. Suppose -3*l = 4*y - l - 2, -t = 5*l. Which is smaller: y or -3/7?
-3/7
Let b(m) = m**3 - 3*m**2 + 7*m + 11. Let h be b(-4). Which is bigger: h or -128?
-128
Let w = -2 - -2. Let z(k) = k**3 + 2*k - 4. Let y be z(4). Let c = -202/3 + y. Are c and w equal?
False
Let w = 32 - 47. Let b = -46/3 - w. Is b < 0?
True
Let k = 70 - 83. Which is greater: 1 or k?
1
Let n be 12/9*15/2. Suppose n = -5*x + 4*m, -m = -3*x - 6*m + 31. Which is bigger: x or 2/3?
x
Suppose -6 - 14 = -2*l. Let u be (-1)/(2 - 18/l). Are u and -4 equal?
False
Suppose -4 + 1 = 3*b. Let d = 23 - 25. Is b bigger than d?
True
Let i = -1 + 3. Suppose -k + i = -2*k. Is -2 < k?
False
Let n = 16 + -16.9. Let l = 0.8 + n. Are l and 2/3 non-equal?
True
Let i be 25/30*(-1)/5. Which is smaller: i or 0?
i
Let s(b) = b + 21. Let c be s(-4). Which is smaller: 14 or c?
14
Suppose -78 = 3*b - 21. Which is smaller: b or -21?
-21
Let d be (7 - 2) + (-1)/1. Let z be d/(-28) + (-54)/14. Is -4 less than or equal to z?
True
Let k = 0.07 + -0.01. Let l = -2.185 + 0.185. Which is bigger: k or l?
k
Suppose -2*x + 0*x - 3*h - 15 = 0, -h - 5 = -4*x. Let j(l) = l**3 + l + l - l. Let w be j(0). Is x >= w?
True
Let a = -58 + 35. Which is greater: -1 or a?
-1
Let f = -19 + 11. Let q(w) = w**3 + 7*w**2 - 10*w - 6. Let v be q(f). Suppose 0*u = 5*u + v. Is -1/2 <= u?
False
Let q(f) = -f**2 - 5*f + 17. Let m be q(-7). Let s(r) = -r**3 + r + 2. Let n be s(0). Which is smaller: n or m?
n
Let i = 9198983/63567 - -10/9081. Let t = -145 + i. Let s = 0.1 - 0.1. Is s bigger than t?
True
Suppose 7*t - 3 - 4 = 0. Suppose -2 = -3*l + 1. Is l smaller than t?
False
Let l = -4/19 + 31/57. Let o = 0.09 - 0.09. Which is bigger: o or l?
l
Let s = -3 + 1. Let c be s/10 + (-7)/(-35). Suppose -3*v - r - 2*r = 12, 0 = -5*r - 20. Is c > v?
False
Suppose 17 = 4*u - 5*g, 2 - 6 = -u + g. Suppose -1 + 4 = u*p. Which is smaller: 0 or p?
0
Suppose 5*q - 10 - 5 = 0. Let d = q - 0. Let k be ((-6)/4)/(3/(-6)). Is k at least d?
True
Let b = -0.01 + -0.99. Let o = b - -2. Is -0.1 less than or equal to o?
True
Let r = -7 + 4. Let w = 3 + r. Suppose 2*l - 6*l = w. Is l greater than -1?
True
Suppose 4*m = -0 + 16. Suppose 6 = -v + m*v. Suppose -21 = -t - v*t. Which is greater: t or 6?
t
Let s = -9 + 9. Let t be -2 - 1/(-9)*16. Which is bigger: t or s?
s
Let o(q) be the first derivative of q**3/3 - 2*q**2 - 5*q - 2. Let f be o(5). Let r = 6 + -5. Which is greater: f or r?
r
Let r be 2*-1 + (-28)/(-4). Suppose -4*w - 3*c + 19 = 0, -4*w = -r*w + 5*c - 24. Is 1 < w?
False
Let p(w) = w**2 - 9*w + 5. Let x be p(8). Which is greater: -4 or x?
x
Suppose -v = -5*d + 3, -4*v = 2*d - 5 - 5. Suppose -v*l - 4 + 0 = 0. Let o be (-3)/(l + (-26)/(-4)). Which is smaller: o or 0.1?
o
Suppose -3*w = -8*w - 10. Which is greater: 1 or w?
1
Suppose -3*d = d - 12. Let i = d + -3. Let n be (-2)/(1/2 - i). Which is smaller: -5 or n?
-5
Let w be ((-1)/3)/(52/6). Which is greater: 1 or w?
1
Suppose 0 = -3*u + 5*c - 31, -3 = -0*u + 4*u + c. Are -5/2 and u non-equal?
True
Let x be (-76)/18 + 4 - (-13)/18. Which is smaller: x or -1/5?
-1/5
Suppose -3*n + 19 = 2*q, -3*q - 2*q + 34 = 3*n. Is 0 less than n?
True
Let v = -3.7 - -1.1. Let w = v - 0.4. Let q = w - -2. Is q bigger than 1?
False
Let w = -0.05 - -3.05. Let t = 0.03 + -3.03. Let q = w + t. Which is smaller: 2 or q?
q
Suppose 2*u - 17 = -u + 2*d, 3*u = 4*d + 13. Let t be u/5 + (-2)/5. Let z = -8.9 - -9. Which is smaller: t or z?
z
Let o = 5 + -15. Let s(c) = -c**2 - 9*c + 10. Let r be s(o). Suppose r = -2*m + 4. Which is bigger: m or 1?
m
Let q = 21 + -19. Suppose -3*v + 4 = q*p, -3 = -2*p + 4*v + 29. Is 8 > p?
False
Suppose 3*s - 5*r = 10, -3*s = -0*r + 5*r - 20. Suppose 0 = 3*g - 8*g + 40. Which is bigger: g or s?
g
Suppose 8 = 4*t - 2*n, -3*n = -0*t + 2*t + 4. Are 3/4 and t nonequal?
True
Suppose -y + 58 = 5*c, 41 = c + 3*c - y. Let v = 112 + -103. Which is bigger: c or v?
c
Let h be ((-33)/(-44))/((-3)/(-16)). Suppose h*j + 23 + 41 = 0. Is -15 <= j?
False
Let k(u) = 14*u - 13*u - 3 + 0. Let r be k(5). Is 0 less than r?
True
Let l = -22 + 24. Suppose -2*a = l*a. Which is smaller: 6/7 or a?
a
Let b = 0.71 - -0.29. Are b and 27 equal?
False
Let d be 1*(-6)/3*1. Suppose 3*c - 12 = 0, 5*v - 2*c + 8 + 15 = 0. Do v and d have the same value?
False
Let a = -1/7 - 1/7. Let y(w) = 1. Let x(j) = j - 2. Let g(p) = -x(p) - 4*y(p). Let k be g(-2). Are k and a equal?
False
Suppose -3 = 3*b - 6. Let y(m) = -m**3 - 4*m**2 + 6*m. Let s be y(-5). Let w = -5 - s. Which is greater: b or w?
b
Let b = 349/1020 - 3/340. Let x(r) = -r - 2. Let n be x(-2). Which is smaller: n or b?
n
Let t be 29 - (1 - (2 + -4)). Let f be t/10 + (-6)/(-15). Which is smaller: f or 7/2?
f
Let n be -8 - -11 - 1*-3. Is 3 bigger than n?
False
Let y = -6 - -8. Is -0.07 > y?
False
Let o(l) = 2*l - 3 - 3*l + 1. Let t be o(-3). Let x