-3*c + 3*r = 6, -3*r + 7 = -5*c - r. Let s be ((-476)/(-18))/(-7) + 4. Is s at least c?
True
Let h be (1/2)/(3/24). Let j = h - 6. Let p = -26 - -26. Which is smaller: j or p?
j
Let s = -7 + 14. Suppose s*y + 4*w = 2*y + 11, -5*y + 15 = 5*w. Is y != -3/4?
True
Let v(m) = -m**3 - 6*m**2 + 7*m + 6. Let q be v(-7). Let b = q - 5. Let x be (-1*(-1)/(-1))/b. Which is smaller: 1 or x?
x
Let p(g) = g**3 + 19*g**2 + 19*g + 18. Let r be p(-18). Let f = 2079/20 - 104. Is r at most f?
False
Suppose -2*j = 2*j - 324. Let b = 730/9 - j. Is -1 equal to b?
False
Let c be (-4)/14 + 15/28. Let i(g) = g**2 + 2*g - 2. Let p be i(-3). Is c >= p?
False
Suppose 3*p + 4*b + 20 = 0, 0*p + 16 = -p + b. Is p >= -11?
False
Let h = 9.9 - 10. Is h smaller than 0.12?
True
Suppose 0 = 2*o - 5*r + 26, 4*r = 3*o - 0*o + 25. Do 2 and o have the same value?
False
Let h = 3 - 3. Suppose 3*m + 1 - 4 = h. Let w be 3 + -1 - (-4 + m). Which is smaller: w or 4?
4
Let x(b) = -b**3 + 13*b**2 - 12*b + 5. Let s be x(12). Let a = -6 + s. Is -1/6 not equal to a?
True
Let h(v) = 1 - 4 + v + 2. Let x be h(2). Let d be -2 + x + (-5)/(-4). Is d greater than -1?
True
Let f be 4/20 - (-3)/(-5). Let j be 34/24 - (-1)/4. Let w = 7/6 - j. Which is smaller: f or w?
w
Let a(j) = -j**2 - 5. Let r be a(0). Suppose -4*b - 2 = 3*q + 4, -2*q - 4 = -3*b. Which is smaller: r or q?
r
Let y = -22129/26 - -851. Which is smaller: 1 or y?
y
Suppose 0*n = -4*n - 5*x - 81, -5*n - 4*x - 90 = 0. Are -14 and n equal?
True
Let d be ((-4)/(-3))/((-2)/(-3)). Let h be d - 1 - (-33)/3. Let i be (-3)/h*(-8)/6. Which is bigger: 0.3 or i?
i
Suppose -3*u + 4*s = -15, -4*s = 7*u - 2*u + 7. Let c = -92/31 + 4754/1581. Which is bigger: c or u?
u
Let d be (1/(-1) - -1)/2. Let f be d/(-1 + -1) + -1. Is 0 less than f?
False
Let h be 20/(-35) - (-6)/(-14). Let x = -389/7 - -55. Which is greater: x or h?
x
Let j = 7/12 + -1/4. Let g(s) = s**3 - 2*s**2 + 2*s - 1. Let z be g(2). Let y = z - 3. Is j < y?
False
Let i = 106 - 102.06. Let z = -0.04 + -0.02. Let l = z - i. Is l less than 1?
True
Suppose 0 = -4*s + 5*s - 9. Let g = -14 + s. Is g at least -6?
True
Let y = 0.07 - 0.32. Which is bigger: -1/5 or y?
-1/5
Suppose 2*q - 34 = -3*m, 0 = -q - m + 3*m + 24. Suppose -u - q = -0. Let h be (-13)/u - (-2)/(-5). Is h < -1?
False
Let b be 4 + 2/7 + -4. Suppose 2*o - 6 = 8. Suppose 4*i = o*i. Which is bigger: i or b?
b
Let x = -6 - -2. Let h be (-3 - -4)/(1/(-8)). Let l be h/6 - 4/6. Which is bigger: l or x?
l
Suppose 5*j + 0*j = 0. Let y be j/(2/2*-2). Let b be -1 + 6/5 - y. Does b = 1?
False
Let w be ((-6)/(-8))/(3/(-12)). Let f be (-3)/12 + 28/(-16). Let b be 3/w - (0 - f). Which is greater: b or -4?
b
Suppose -4*b - 22 = -5*n, n + 6*b + 13 = b. Suppose -n*o = g - 3*o + 3, 0 = 4*g - 3*o + 9. Is g greater than -6/13?
True
Let s be 0/((2 + -4)*-1). Suppose 3*z - 5*z = s. Which is smaller: -1 or z?
-1
Let t(z) = -z**3 - 3*z**2 - z + 3. Let m be t(-2). Is m smaller than -1/14?
False
Let l be 1/(-4)*(-3 - -4). Let i(f) = f + 5. Let q be i(-4). Let d = q + -1. Which is smaller: d or l?
l
Let k = -0.14 - -0.44. Let a be 4*(16/(-4))/(-4). Are k and a non-equal?
True
Suppose -5*d + 61 + 14 = 0. Let t be d/(-9)*1*-3. Let s = t - 4. Is s smaller than 2/3?
False
Suppose -5*p + n + 3 = 0, 3*p + 12 = 2*p - 4*n. Which is smaller: p or -14?
-14
Let i(w) be the third derivative of -w**6/120 + w**5/20 - w**3/6 - w**2. Let b(d) = d**2 - 2*d - 2. Let m be b(-1). Let f be i(m). Is f equal to 1?
True
Let a be 3/9*(-4 - -3). Is 0 smaller than a?
False
Suppose 0 = -y - 2*z, -y + z + 4*z - 35 = 0. Do y and -10 have the same value?
True
Let i = -1154.94 + 992.9. Let y = i - -158. Let v = y + 0.04. Is 0.1 at least v?
True
Let t be -1 + (-1)/(1*-1). Let x(d) = 4*d - 26. Let v be x(6). Is v at least t?
False
Let x = -77 - -543/7. Let h be (1/2)/((-1)/(-10)). Suppose -16 = -4*o + 3*y, -2*o = 2*y - h + 11. Are x and o equal?
False
Let f(n) = -7*n + 61. Let k be f(20). Which is smaller: -78 or k?
k
Let o(x) = -x**2 + 8*x - 2. Let s be o(8). Let c(b) = b + 1. Let l be c(s). Which is bigger: l or -4/7?
-4/7
Suppose 10 = 5*g + 5. Is g greater than -1/22?
True
Suppose -3*b - v - 21 = 0, 5*b - 3*v = -9 - 40. Is -9 at least as big as b?
False
Suppose -33 = -c - p, 0*c + 15 = c - 5*p. Let s be ((-4)/c)/(4/6). Which is bigger: s or -0.3?
s
Let k(o) = -o**2 + 1 + o**2 - 2*o**2 - 9*o**3 + 22*o**3. Let n be k(1). Which is smaller: 11 or n?
11
Suppose -l - k + 16 = 2*l, -16 = -2*l + 2*k. Is 2 at least l?
False
Let f be 2/(-6)*(-4 + 1). Suppose -m + 8 = 3, -m = 2*q + f. Suppose -3*u + 6*u = -5*b, b - u = -8. Do b and q have different values?
False
Let g be 10/(-12) + (-1)/(-2). Let j = -271 - -270. Which is smaller: g or j?
j
Let c(v) = 4*v. Let k(g) = -1. Let x(i) = c(i) + 3*k(i). Let d be x(2). Let s be (2/d)/((-12)/(-10)). Which is bigger: s or 3?
3
Let g = 7 + -4. Suppose 5*k - 2*k = -g. Is k greater than -1?
False
Let k(q) be the third derivative of q**4/24 + 7*q**3/3 - 2*q**2. Let z be k(-12). Are 3 and z unequal?
True
Suppose 2*g + 9 = -1. Suppose -5*w = -3*w - 10. Let c = g + w. Are c and 1/4 non-equal?
True
Let k = 7.8 + -23.1. Let x = -15 - k. Which is bigger: 0 or x?
x
Let c = 801460/13694343 + -892/4371. Let o = c + -2/241. Let t = 9/26 - o. Which is smaller: 0 or t?
0
Suppose -2*i + 0*i = -6. Suppose -4*k = 5 + i. Which is bigger: -0.1 or k?
-0.1
Let p be 6 + (-1 - -1) + 1. Let w(h) = h**2 + 7*h - 11. Let i be w(-9). Are p and i nonequal?
False
Let o be (-6)/(-15)*15/(-8). Which is smaller: -1 or o?
-1
Suppose 0*i + 4*i = -3*v + 16, 0 = 5*v + i - 4. Let w = -13 + 13. Is v greater than or equal to w?
True
Let k = 133 - 28. Let r be 5/(-25) + 11/k. Is r smaller than 1?
True
Let w = 0.01 - 0.51. Let d = w + 1.1. Let r = 0.4 + d. Which is smaller: -7/5 or r?
-7/5
Let u(f) = -13*f - 1. Let i be u(1). Which is bigger: i or -13?
-13
Let p = 1 + -24. Let n = p + 22. Is n less than or equal to -2/11?
True
Let b = 9.1 + -9. Which is smaller: 0.3 or b?
b
Let f = 1 + -1. Let n = -4 + -34. Let j be -3 + n/(-13) - f. Do j and 0 have the same value?
False
Let v = 78.153 + -0.153. Is v <= 1?
False
Let w(k) = k**2 - 4*k + 1. Let l be w(4). Let r be 0 + (-78)/(-28) + -3. Which is smaller: r or l?
r
Suppose -g - 5 = 0, 0*g - 2*g = 5*n - 5. Suppose n*l - 4*h = -l - 20, -2*l = 4*h + 16. Let t be l/(-27) - (-2)/(-9). Which is bigger: -1 or t?
t
Suppose 0 = a - 4*a. Let m = -0.2 + 0.3. Let b = -0.1 + m. Is b equal to a?
True
Let h = 2254/9 + -250. Let m = -13/63 + -1/63. Let i = h - m. Is i greater than or equal to 1?
False
Let b = -2/153 - -622/765. Let g be 1 + 1*(2 + -2). Suppose -f - g = -j, 5*j = 1 + 9. Which is smaller: f or b?
b
Let w = -1.95 + -0.05. Let a = -4 - w. Is a at least -0.2?
False
Suppose 0 = s + 4 - 6. Let l be 10*(-4)/(-18) - s. Is l smaller than -1?
False
Let v = -0.2 + 0.4. Let b = -0.2 + v. Suppose 47 - 12 = 5*w - 5*x, 2*x = -2. Which is smaller: b or w?
b
Suppose -3*r = -2*m - 0*r - 1, -4*m + 4*r = 8. Is -4 at least m?
True
Suppose w - 5 = -13. Let u be w/2*(-6)/(-8). Let l = u + 0. Is 0 greater than or equal to l?
True
Let g be (-2)/5*(-1)/(-2). Let l = 30 + -29. Is l greater than g?
True
Let n be ((-4)/(-8))/(1/(-2)). Let q be (91/(-26))/(n/(-2)). Are q and -7 nonequal?
False
Let k(m) = -2*m + 45. Let h be k(21). Which is smaller: -1 or h?
-1
Let k be 0 - ((-5)/2)/(-5). Let x = 6.8 + -7. Which is bigger: x or k?
x
Suppose a + 3 = -1. Let j be 3/12 - (-1)/a. Suppose 0 = 2*i - j*i. Is i greater than or equal to 3/4?
False
Let f(x) = -x**3 - 3*x**2 - 8. Let m be f(-4). Are m and 8 equal?
True
Let k(v) = 2*v**2 - 2*v - 1. Let n be k(2). Suppose y = -3*r + 4, -3*y + 4 = -2*r + n. Let j = 2 - r. Is j at most as big as 1?
True
Suppose 2*d + 10 = -3*n - 0, 4*n + 16 = -4*d. Which is greater: n or -9/4?
n
Let f be -5 + 5 - 1*3. Let a be 4/(-92)*f - 0. Is a <= -1?
False
Suppose -g - 10 = -6*g. Let n = -37 - -38. Is g != n?
True
Let q(w) be the third derivative of -w**5/30 - w**4/4 - w**3/3 - 3*w**2. Let k be q(-4). Let l = k - -10. Which is bigger: l or -1?
l
Let q = -25 + 12. Let r = q + 8. Which is bigger: r or -4?
-4
Let w = 45 + -42. Which is smaller: 2/7 or w?
2/7
Let o(j) = -2*j - 3. Let r be o(2). Suppose 3*v - 24 = 6*v. Which is greater: v or r?
r
Let n = 110 + -10