= -2*j + 4*c. Let n be (8/21)/(2/3). Which is bigger: n or j?
n
Suppose 4*w + 27 = g, -5*g - 2*w + 55 = -6*w. Is g >= -3?
True
Let z be (-4 - 3)*-5*-1. Let q be (4/12)/(z/6). Is q greater than 1?
False
Suppose -188 = -7*p + 862. Let q be (0 - 11)*(-210)/p. Is q at most 14?
False
Suppose 68*n - 63*n = -595. Do n and -116 have the same value?
False
Let m = -0.027 - -11.027. Let a = -9.7 + -1.3. Let u = a + m. Is -0.08 > u?
False
Suppose -3*o - 4 = -o. Let l = -206 - -1846/9. Is l < o?
False
Let i = 35 + -32. Let x = i - 3. Is x less than or equal to -15?
False
Let g be 1/(-4) - 3/4. Let t = -4657 + 870857/187. Let b = -195/748 - t. Which is bigger: b or g?
b
Let m = -19 + 1. Let v be (-3)/(-9) + 600/m. Which is greater: -32 or v?
-32
Let c(l) = -l**3 + 4*l**2 + l. Let s be c(4). Suppose -3*n = -s*o - n, o - 5*n - 9 = 0. Are -1/12 and o equal?
False
Let m be 2241/108 + -21 + 3/(-4). Let z = -0.07 - 0.01. Are m and z non-equal?
True
Let t be (-10)/3*1/(-2)*(-588)/4655. Let s be (54/(-3))/((-6)/4). Suppose -3*d + 5*a = 22, -2*d = -4*d - 2*a + s. Which is greater: t or d?
d
Let g(u) = -u**3 - 6*u**2 - 4*u + 3. Let p be g(-5). Let j = -5 + 9. Suppose -5 = j*y + y. Is y smaller than p?
False
Suppose 2*h + 6 = 0, 4*n - 2*n = -h + 59. Let b = 162 + -133. Is n at most b?
False
Let s(m) = -m**2 - 2*m + 17. Let i be s(-5). Let a = -10 - -15. Let p = a + -4. Which is smaller: i or p?
p
Let w be (2/3)/((-2)/(-6)). Let d be 24/36 + w/(-3). Which is smaller: d or 8/7?
d
Let q = 2.95 + 0.05. Let k be (-12)/48*(-24744)/21. Let a = k + -294. Which is greater: a or q?
q
Let u = -214482 - -9006665/42. Let d = u + 75/2. Let a = 10 - 12. Are a and d non-equal?
True
Let q = -8767.18 + 8596. Let x = q + 173. Let c = x - -0.18. Do 4 and c have different values?
True
Let n(t) = t**2 + 5*t - 6. Let b be n(-5). Suppose -2*i + 4*j = -12, -3*i - 6*j = -11*j - 12. Is b greater than or equal to i?
True
Suppose -k + 2*z - 1 = -3, -3*k + 17 = 5*z. Let r be 78/(-195)*(-15)/2. Which is smaller: k or r?
r
Let x = 11 + -6. Let r = 9023 - 9035. Are x and r non-equal?
True
Let z(b) = 19*b - 476. Let w be z(25). Which is greater: w or 7/79?
7/79
Suppose -182 = -3*f + 10*f. Let i = -19 - f. Suppose 0 = p - 1 + i. Is -6 less than p?
False
Let i = -281060 - -828982/3. Let d = i - -4804. Let b = d - 72. Which is smaller: b or 1?
b
Let i = 6986 + 4659. Let v = -989811/85 + i. Let d = v - -4/17. Is 7 greater than d?
True
Suppose -5*r = g - 38, 0*g - g + r + 38 = 0. Suppose -g + 13 = 5*y. Let d be 10 + (y - (-3 + 2)). Is d at most as big as 7?
True
Let i = 6 + 14. Let u be i/70*2/(-4). Is u at most -1/3?
False
Let l be (689/(-26))/(3/(-6)). Is l at least as big as 52?
True
Let i = 89/36 + -20/9. Let t(p) be the first derivative of -p**2/2 + 2. Let v be t(-1). Which is smaller: v or i?
i
Let a(u) = -2*u + 16. Let g be a(7). Suppose g*t + 12 = 8. Suppose -4*d = 5*f, 0 = 4*d + d - 2*f. Is t <= d?
True
Let f be (4 - 5)/(2/306). Let n = f - -759/5. Let z = 0.2057 + -0.1057. Which is smaller: z or n?
n
Let c = 607.1 - 607. Is c > 1059?
False
Let j = 15 - 10. Let g = -42.183 + 40.2. Let y = 0.017 - g. Is y < j?
True
Suppose 6*d - d = 5*s + 1115, 3*d + s = 653. Which is bigger: 222 or d?
222
Let f(m) be the third derivative of m**4/24 + 4*m**3/3 - 2*m**2. Let h be f(5). Is 13 at least h?
True
Let h = 47 + -44. Suppose -7 = -4*d - h*i + 8*i, i = -2*d - 7. Is d < -17/6?
False
Suppose 0*k = -4*k. Suppose 3*a - a + 36 = k. Let v be (1 - -1)*(-9)/a. Which is greater: 3/16 or v?
v
Let g(d) = 5*d + 12. Let u be g(0). Let h be ((-7)/2 - -2)/(u/2). Which is smaller: 39/5 or h?
h
Suppose -81*d + 776 = -73*d. Are 96 and d unequal?
True
Let a = 4 - 1. Let k = 54/17 - 157/119. Do k and a have the same value?
False
Let d(h) = -h**3 - 19*h**2 - 16*h + 26. Let n be d(-18). Let v = -1484 + 5901/4. Is n greater than or equal to v?
False
Let h = 201 - 217.6. Is 1 equal to h?
False
Let l = 2.279 + -0.279. Is -33 less than or equal to l?
True
Let l(o) = o**2 - 9*o + 7. Suppose -592 = -8*t + 760. Let g be (-3)/(-2) + t/26. Let a be l(g). Which is smaller: 5 or a?
a
Suppose -119*c + 3706 = -578. Which is bigger: 15 or c?
c
Let k = -92 + 94. Let w = -3/647 - -1795/108049. Let f = w - -491/835. Are f and k equal?
False
Let i be (-1105)/(-102)*(-9)/20. Which is smaller: -6 or i?
-6
Let d(g) = g - 31. Let o be d(46). Do o and -1 have the same value?
False
Let l = 409856/5 + -164623/2. Let j(v) = -40*v**2 + 9*v - 7. Let n be j(3). Let q = l - n. Is q at most as big as -1?
False
Suppose j + 9 = -d, 0 = 4*d + d - j + 75. Let t be (-3 - -2 - d) + 0. Let k(p) = 14*p**2 - p + 1. Let c be k(1). Which is bigger: c or t?
c
Let c be -15 + 10 - (-2 + 6 - 9). Is c equal to 6/67?
False
Let b = 21742 - 21741. Let o be (-1)/1 + (-22)/(-21). Is b at least o?
True
Let y be (-2)/(1/(1/(-1))). Let k(r) = -5*r**2 + 3*r + 9. Let x(g) = -g**2 + g + 1. Let q(f) = -k(f) + 6*x(f). Let d be q(y). Which is greater: -2/79 or d?
-2/79
Let q = 53/63 - 9/7. Suppose -t + 4*d = -17, 2*d + 23 = -t - 2*d. Let p be t - 4/(-2) - 0. Which is smaller: p or q?
p
Let c be (2/(-2) - -1)*(-50)/100. Let u be 20/8*2/6. Is c at most as big as u?
True
Let l = 31 - 29. Let k be 0 - (51/(-21) + l). Suppose 4*w - w = 0. Is k > w?
True
Let g be -3 + (-38)/(-12) - 29/66. Let u(c) = c**3 - 6*c**2 - 8*c - 3. Let i be u(7). Let l = 10 + i. Which is smaller: g or l?
g
Let j(t) be the second derivative of t**3/6 - 9*t**2 - 10*t. Let o be j(7). Which is smaller: -9 or o?
o
Let d be (31 - (5 + 0)) + 2. Is 57/2 at least as big as d?
True
Let m = -30 + 61. Suppose m = 4*q - 1. Which is bigger: 9 or q?
9
Let g = 53 - 52. Let v be 1 + -3 + (-36)/(-20). Which is smaller: v or g?
v
Let x = 1955 - 1954. Which is smaller: x or -57?
-57
Suppose 0 = -2*x - 2*x + 3*m - 119, -2*x - 61 = -3*m. Let j be (8 - 2779/(-133)) + 0/(-2). Let z = j + x. Which is smaller: 1 or z?
z
Suppose -4*d + 6 = -14. Let k be (-62)/(-8) + (-16)/(-64). Is k at most as big as d?
False
Let o(k) = k**3 - 21*k**2 + 19*k + 30. Let i be o(20). Is i less than 3?
False
Let u(b) = 2*b**3 - 2*b**2 - 17. Let w be u(-4). Let d = w - -707/4. Let m(z) = -z**2 - z. Let p be m(-1). Is p > d?
True
Let j be (-302)/(-18) - 10/(-45). Let u = -11 + j. Let d = 1 - u. Which is bigger: 2 or d?
2
Let z = 95543/24 + -3981. Suppose 0*y + o + 4 = -4*y, 2*y - 4*o - 16 = 0. Does z = y?
False
Let f be 6/9 + 3/9. Let y = -766 + 503. Let d = 2107/8 + y. Does d = f?
False
Suppose -o = -7 + 5. Let h be o/(-10) + (-304)/880. Does 4 = h?
False
Let p be (1*-356)/((-5)/5). Which is greater: 2 or p?
p
Let b = -0.1 - 1.2. Let j = -1.28 - b. Let z = 0.6 - 2.6. Which is bigger: z or j?
j
Let x = 68.8 - 13.8. Let h = 66 - x. Which is smaller: 1 or h?
1
Let w be 5/(22 + -7) - 16/(-6). Let f(v) = v + 3. Let c = 6 + -3. Let n be f(c). Do w and n have the same value?
False
Let f be ((-8)/(-12))/(1/111). Suppose n = 5*c + 52, -f = -3*n - c + 2. Let o = n + -137/5. Is -6 at least as big as o?
False
Let q = 35 + -35.071. Is q less than -2?
False
Suppose 3*f - 16 = -4*o, 11 = 3*f + o - 2. Suppose -d + f*t - 15 = 0, 0 = 5*d + 2*t + t + 6. Let j = d + 1. Do j and -3 have different values?
True
Let p be (-15)/10*2 - 1*-4. Which is greater: p or 1/64?
p
Let p = 451/323 + -31/19. Which is smaller: 1 or p?
p
Suppose 10*p - 680 = 2*p. Let x = -74 + p. Is x at most 7?
False
Let y(p) = -22*p + 23. Let b be y(1). Which is greater: 5/6 or b?
b
Suppose 5*h + 9*u = 4*u - 195, 5*u = -4*h - 160. Which is greater: -32 or h?
-32
Suppose -5*i + 20 = -0*i. Suppose 4*u + 24 = 3*b + b, 3*u - 10 = -i*b. Is u greater than -10?
True
Let t = -588 + 587.89. Is 11 < t?
False
Let d = 3 - -13. Let b be 2/((-3)/(-18) + 0). Let v be b/d + 62/(-104). Which is smaller: -1 or v?
-1
Suppose -4 = -5*w + 1. Let s(i) = -3*i - 4*i**2 + 5*i**2 + 0*i**2 - 3. Let g be s(0). Is w greater than g?
True
Let h = -3195/4 + 795. Let x = 217 + -127. Let o = x - 94. Which is smaller: o or h?
o
Suppose 4*g = 2*r + 8, -2*g - 5*r - 21 + 1 = 0. Let v be (-13)/26*(-3)/(3/(-2)). Let y = g - v. Which is greater: -1/38 or y?
y
Let a = -84 + 109. Is a at least 28?
False
Let z(y) = -4*y**2 - y. Let c be (3 - 2 - 7) + 3. Let w be z(c). Let f be 13/11 + 6/w. Which is smaller: 5/3 or f?
f
Suppose 4*i = 20, -2*u - 3*u = -3*i + 25