+ r = 13, -4*r - 12 = -3*g - 7*r. Suppose -4*c = g*y - 2, y + 2 = -5*c - 1. Is p > c?
True
Suppose -60 = -8*r + 3*r. Let c = 18 - r. Let z be 56/55 - c/(-33). Which is smaller: 2 or z?
z
Let q = 5177/11 + -466. Let s = -7 + 2. Let w = s + q. Is -1 >= w?
False
Suppose -2*l - 4*m = -12, 2*l - 9 = -m + 6. Let g be 2/l + (3 - 2). Which is smaller: g or 2?
g
Let j = -652/465 + 1/465. Let g be 7/((-147)/(-9)) + 6/(-14). Is j >= g?
False
Let u = 62.03 + -62. Which is smaller: -1 or u?
-1
Let z = 133 - 141. Is 1 at least as big as z?
True
Let t be ((-65)/(-20))/(2/56). Let d = -277/3 + t. Which is smaller: -1 or d?
d
Let s(i) = i + 7. Let n be s(-7). Suppose n = w + 2, -4*o = -6*w + 3*w - 22. Is 4 > o?
False
Let f be (-2)/715*1 + 0. Let h = f - -136/2145. Let y = h - -20/33. Does y = 2?
False
Suppose 3*q + 4*n - 9 = 0, q - 9 = -2*q - 2*n. Suppose -4*c = -q*c + 5. Is c bigger than 0.2?
False
Let k be 5 - (3 - ((-6)/2)/(-3)). Which is smaller: k or 20/11?
20/11
Let k = -0.069 + 0.139. Do k and -6 have the same value?
False
Let x(u) = u**2 + u + 1. Let s be (8/(-3))/((-10)/15). Let l be (-2)/s - 2/(-4). Let c be x(l). Is 2 equal to c?
False
Suppose 4*w - 3 - 5 = 0. Suppose w*f - 13 = 4*j - 3, 3*f + 3*j = -30. Which is smaller: f or -4?
f
Let i be (-2)/(-12)*(-2 - -5)*10. Do i and 7 have different values?
True
Suppose 4*h = -i + 51, 3*h - 5*h + 15 = -3*i. Let y be (-2)/(-6) - h/9. Is -2/9 at least as big as y?
True
Let a be 2/(-4)*(2 + -2). Which is smaller: -2/11 or a?
-2/11
Let q be 3/(-1) - (-22 + 13). Which is smaller: q or 3?
3
Suppose 5*n - 4 = 16. Which is greater: -2 or n?
n
Let c be -3 - (-2 - -1 - 0). Which is smaller: -1/2 or c?
c
Let j = -1/827 + 306822/4135. Let f = j - 75. Is -2 less than f?
True
Let h = -7/11 - -85/99. Let v = h + 13/63. Which is smaller: 0.4 or v?
0.4
Suppose -2 = -v + 2*v. Let l be v/(-7) + 2246/(-3696). Let m = l - 1/88. Is m >= 1?
False
Let h = -5 - -14. Let y(q) = -11*q - 1. Let i be y(-1). Is h bigger than i?
False
Let p = 60 + -54. Which is smaller: -2 or p?
-2
Let p(u) = 15*u - 1. Let b be p(-1). Let a be 2/(-56) - (-4)/b. Suppose -2*t - 10 = 0, -4*h + 0*h - 3*t = 11. Which is smaller: a or h?
a
Let c(m) = -m**3 + 2*m - 1. Let n be c(1). Is n < -2?
False
Let c be ((-1)/4)/((-30)/16). Let s(x) = 11*x**2 + x + 1. Let a be s(-1). Suppose 5*o + a = p, o = p + 3*o + 3. Which is bigger: c or p?
p
Let b(v) be the second derivative of -v**5/20 + v**4/4 + 2*v**3/3 - 3*v**2/2 + 5*v. Let x be b(3). Which is smaller: x or 0?
0
Let t(q) = 6*q - 15. Let d be t(11). Suppose 5*j + 6 = d. Is j > 9?
False
Suppose u - 4 = 1. Let s(o) = o**2 - 4*o + 5. Let n be s(4). Are u and n nonequal?
False
Suppose 36 = 2*q - 0*q. Let o = -158/9 + q. Is 1/4 smaller than o?
True
Let v = -2 - -2.5. Let s = -37/4 + 107/12. Which is smaller: s or v?
s
Suppose 4*n - 5 = -k, -20 = -4*n - 3*k + 7*k. Suppose 2*v + 12 = -n*x, -5*v + x - 26 = -8. Which is bigger: v or -3?
-3
Let k = 3.952 + 0.048. Is k at least -8?
True
Suppose -3 = -d - 2*z, d + 0 + 1 = 2*z. Let u(q) = q**3 - 9*q**2 + 5*q + 6. Let g be u(7). Let r be (g/(-15))/d + -2. Which is smaller: 2 or r?
r
Let r(f) be the second derivative of -f**4/12 + 4*f**3/3 + 3*f**2 + 5*f. Let c be r(8). Is c less than 5?
False
Suppose 9 = -3*h + 3*c + 33, h = 5*c + 8. Let s = -7 + h. Which is smaller: s or -1/3?
-1/3
Let q = -85 + 74. Is q bigger than -12?
True
Let h = -0.112 - -29.112. Which is greater: h or -1?
h
Let b = 1 - 3. Let c be (-6)/(-4) + (-1)/b. Is c at least as big as 6/7?
True
Suppose -304 = -3*k + 209. Let v = 23072 + -160305/7. Let b = v - k. Which is bigger: b or -1?
b
Let j be -2*(-2)/8 + 0. Let f = -2.3 + 2.4. Which is greater: f or j?
j
Suppose 22*f - 18 = 13*f. Is f less than or equal to 12/13?
False
Let w = -1 + 0. Let c = w - -3. Let r = 2 - c. Is -2/7 < r?
True
Suppose 3*z = -5*x + 7, -5*x = -4*x - 2. Let h be z - (-2 - (41 + 2)). Let i = -133/3 + h. Is i at least -1?
True
Let j be 4*(-3 - (-34)/10). Let k = 2 - j. Which is bigger: -1 or k?
k
Let g be (1 - -1)/((-4)/(-30)). Let z be ((-12)/g)/(4/10). Which is bigger: z or -1?
-1
Let o = 105/101 + -35377/23634. Let j = 11/18 + o. Let t = 1.7 - 0.7. Which is greater: t or j?
t
Suppose 3*l + 25 = 7. Let r = l - -6. Is 0 equal to r?
True
Let m be (0 - -3)*(-6)/(-2). Suppose y + 2*y = m. Let p be 3 + 2/y*-3. Is -1/6 > p?
False
Let p(o) = o**3 + 7*o**2 + 4*o - 11. Let w be p(-6). Which is greater: w or -36?
w
Let s = 3 + 5. Let d = 8 - s. Are 3/4 and d equal?
False
Let f = 54 - 53. Which is greater: f or 2/3?
f
Let h be 52/12 - (-2)/3. Let r be (-1)/3 + 32/6. Is r greater than h?
False
Suppose -6*b = -7*b + 1. Let p(f) = -f**2 - 5*f + 6. Let d be p(-6). Is d > b?
False
Suppose -2 = 5*k + 2*p, -7*p = 3*k - 5*p - 2. Is -11 <= k?
True
Suppose 2*y = 3*k + 49 - 40, -4*k - 12 = 4*y. Let a be (-15)/(-34) - 1/2. Which is greater: a or y?
y
Let w = 1 - 1. Suppose 4*f + 0*f = w. Is f greater than -3/4?
True
Let g(j) be the first derivative of -j**2/2 + 6*j - 1. Let c = -11 + 18. Let x be g(c). Which is greater: x or 1/6?
1/6
Let o be (-2)/(-4) + 10/4. Suppose -v + o*v = 0. Is -4/7 != v?
True
Suppose 0 = -2*m - m + 327. Let g be 2 + m/4*1. Let h = 29 - g. Does h = 1?
False
Let d = -5 - -3. Let y(v) = -v**3 - 1. Let p be y(2). Let w = 6 + p. Which is smaller: d or w?
w
Let n(d) = -d**3 + 3*d**2 + 6*d - 5. Let o be n(4). Suppose -o*r + 3 = -j + 1, -5*j - 3*r = 64. Is -11 at least j?
True
Let w = 7.3 + -7.1. Which is smaller: -3 or w?
-3
Let w be ((-2)/(-6))/((-1)/(-2)). Let s be (0/(-10))/((-2)/(-2)). Which is smaller: w or s?
s
Let r = -8 - -13. Suppose r*j = 2*j. Let f be 6/(-4)*(-2)/(-4). Which is smaller: j or f?
f
Suppose 3*b = 3*t + 12, -5*b = 5*t + 4 + 6. Let c = 2/47 + 133/188. Are b and c unequal?
True
Let t(v) = v**2 - 2*v - 3. Let h be t(-2). Suppose 24 = r - 4*y, -2*r = -r + h*y + 12. Is r > 8?
False
Let b = -0.12 - -1.02. Are -0.1 and b unequal?
True
Suppose -5*z + 27 = 4*x + 6, 3*z = 2*x + 17. Suppose 0 = -3*v + 4*v + 4, -5*h + z*v = -20. Which is greater: h or 6/17?
6/17
Let j = 0.012 + 0.988. Are j and 1 nonequal?
False
Let p = 2 - 3. Let t = 207 - 2279/11. Does p = t?
False
Let q = 0.3 - 0.3. Let a = q - -0.1. Let v = a - 0. Which is smaller: -1/3 or v?
-1/3
Let h = 240 - 240. Let z = 0 - 0.1. Which is smaller: h or z?
z
Suppose 0*q = -4*q - 2*y - 60, 2*y = 5*q + 84. Let u be 1/(-2) - (-40)/q. Let m be 1/(2/(u + 1)). Which is greater: m or 2/19?
2/19
Let x be (-13)/(-12) - (-2)/8. Suppose 9*n = 4*n. Is n greater than or equal to x?
False
Let w = 208 - 1870/9. Let j = -0.2 + 0.4. Is w not equal to j?
True
Suppose 5*o = 7 + 8. Suppose 0 = 5*c + 3*v - 14, -c + o*v - 5 = 3. Let k = -243/7 + 35. Is k <= c?
True
Let h = -1431 + 34333/24. Let f = 1/40 + -3/20. Let r = f - h. Which is greater: r or 0?
r
Suppose 2*v = 2*l + 2, 0*l = 3*l + 4*v + 31. Do -3 and l have different values?
True
Let y = -11 + 20. Let h = -5 + y. Suppose -3*n + 15 = -6*n, q - n = h. Do -2/13 and q have the same value?
False
Let p be ((-481)/(-111))/((-46)/48 - -1). Is p smaller than 104?
False
Let t = 3 + -4. Suppose -4*y - 33 = f - 6*f, -4*y = f + 27. Which is smaller: y or t?
y
Suppose 0 = -0*c - 4*c - 3*m - 81, 0 = -3*c + 3*m - 87. Is c at least -28?
True
Let d = -34 + 34.04. Which is greater: -0.5 or d?
d
Let w be (-2)/3 + (-137)/(-156). Let c = w - 6/13. Let l be (6/(-3))/(0 - 5). Which is smaller: c or l?
c
Let b = -4/23 - 61/46. Suppose 0*h + 3 = -3*h. Let t be 3/((-3)/(-1))*h. Are b and t nonequal?
True
Let q = 9 - 15. Which is smaller: q or -1/5?
q
Let a(y) = -2*y**3 + 2*y**2 - y. Let j be a(1). Let g = j + 5. Which is smaller: 3 or g?
3
Let j = -17 + 12. Let k be 12/(-60) + 4/j. Let u be (-2)/(-18)*(-6)/(-4). Is k greater than u?
False
Let u = -5.2 + 5. Let g = -0.3 - u. Let n = g - 0. Is 1 greater than n?
True
Let u(f) = f**2 - 6*f + 9. Let d be u(4). Which is greater: d or 2?
2
Suppose 3*w - u = 2*u + 69, -3*w + 64 = -2*u. Is 17 less than w?
True
Let o(n) = -n**2 + 10*n - 14. Suppose 4 = 4*p - 36. Let f be o(p). Let a = -9 - f. Is a at most 5?
True
Let a = 296 + -5030/17. Is 1 not equal to a?
True
Suppose x + 3 = -i, 14 + 1 = -4*i - 5*x. Let l = i + -3. Let z = l - -5. Is z greater than or equal to 1?
True
Let v(g) = g**2 + 8*g - 5. Let i be v(-8). Is i <= 