(-6)/p - 7*c. Is -6 at most as big as r?
True
Let c = -1.5 + 1.7. Do -7 and c have different values?
True
Suppose -a + 10 = -6*a. Let o = 1 + a. Let c = 1 - 2. Do c and o have the same value?
True
Let u(x) = -5*x + 13. Let i be u(3). Which is smaller: -6/7 or i?
i
Let d(x) = 2*x - 8. Let m be d(6). Suppose -3*c + m*c = 1. Which is bigger: 1/4 or c?
c
Let y be (-4)/18 + (-22)/(-18). Let u = -1.94 + -0.06. Is y bigger than u?
True
Suppose 0 = 2*c - 0*c - 4*k + 22, 22 = -2*c - k. Let s = 18 + c. Which is greater: s or 6?
s
Let c be (1 + 3237/(-12))/2. Let q = c - -134. Which is greater: -1 or q?
q
Let f = 18 - 3. Which is smaller: 16 or f?
f
Let c = -32 - -45. Suppose -3*k - c = 5*q + 22, 10 = -5*q + 2*k. Which is bigger: -6 or q?
q
Let t be ((-120)/25)/(11/(-5)). Are t and 3 non-equal?
True
Let t(s) = -5*s - 3. Let f be t(-3). Suppose -2*u - f = u. Let x(j) = -j**2 - 5*j - 4. Let p be x(-5). Do p and u have different values?
False
Suppose -11*l + 12*l - 16 = 0. Which is smaller: 17 or l?
l
Let k = -446113/3386250 + -2/564375. Let c = 2/63 + k. Which is smaller: c or 1?
c
Let z be 2/((-18)/33)*18/(-48). Are z and 2 non-equal?
True
Let w = -9.24 - -8. Let b = w - -4.3. Let j = b - 0.06. Is -0.1 at least j?
False
Let l be 5/4*1/(-10). Let t = 7 - 6. Is l at least t?
False
Let l = -26 - -14. Is -11 != l?
True
Let z = 7 - 11. Let h = z + 5. Which is bigger: h or -7?
h
Let m(j) = 3*j + 7. Let p be m(-6). Let z = -7 - p. Let i be (3 - z/6)*-3. Is -8 != i?
True
Let c = -12 - -23. Let x = c - 11. Is 0 smaller than x?
False
Suppose 0 = -2*x + 36 - 6. Let r be (10/x)/((-10)/6). Let b = 0.3 - -0.7. Do b and r have different values?
True
Let w be (-18)/(-4)*(-12)/(-18). Suppose g + 5*q = w*q - 6, -2*g = q + 3. Is -4/3 at least as big as g?
False
Suppose -3*f + 0*g = 3*g + 15, 2*f - g = -19. Let n be (-2)/(-5) + 37/(-5). Is n < f?
False
Suppose 0 = -4*f - 20, 4*b + 0*f = 3*f - 33. Is -12 smaller than b?
False
Let z be (-2)/4 - 14/(-42). Which is bigger: 1 or z?
1
Let g(b) = -b**2 - 7*b + 11. Let f be g(5). Which is smaller: f or -47?
f
Let f(v) be the third derivative of v**6/120 + v**5/15 + v**4/12 + 2*v**2. Let z be f(-2). Suppose 1 = -z*x + 9. Is x bigger than 2/3?
True
Let d = 11 - 13. Let t be 1 + d - (0 + 1). Is -2 < t?
False
Let h be 16*1*(-1 + 2). Suppose 2*j = 4*y - 46, -5*j - 119 + h = -4*y. Is j at most as big as -19?
True
Suppose -5*b + 5 = 2*z - 1, -z = b. Are z and -5 non-equal?
True
Let w(o) = -o**3 - 4*o**2 + 7. Let s be w(-3). Let t be 18/12*(s + 14). Is 18 greater than t?
False
Let m = 0.26 - -0.04. Suppose 0 = -b - 2. Which is smaller: b or m?
b
Let d(l) = 0*l + 4*l - 3*l + 5. Let u be d(-6). Let v be 2/(-20)*(-15)/12. Do v and u have the same value?
False
Let o(h) = h**2 - 2*h - 4. Suppose -n - 9 = 3*x, -3*n - 3*x - 2 = 1. Let s be o(n). Is s greater than or equal to -1?
True
Let d = -0.047 - 1.953. Is 1/4 smaller than d?
False
Let f = -10 - -39/4. Is -0.1 at least f?
True
Suppose -4*l + 16 = -4*h, -3*l - 12 = -5*h - 6*l. Let v be ((-18)/105)/((-6)/20). Which is smaller: v or h?
h
Let j(z) = 2*z + 15. Let y be j(-6). Suppose -3*s = 2*f + s - 6, s = -5*f - y. Is -2/77 bigger than f?
True
Let b be (-12)/((33/(-2))/(-1)). Let p = b + 37/66. Suppose 4*f - 6 = -u + 9*f, 0 = 2*u + 5*f + 3. Is u at most p?
False
Let i = 6 - 4. Suppose -3*a + 5*q + 42 = 0, -2*a = i*a - 5*q - 51. Let h be ((-3)/45)/(6/a). Do h and 1 have the same value?
False
Suppose 0*y - 5*c - 18 = -2*y, -5*c - 2 = 2*y. Is y <= 6?
True
Let f(l) = l**3 + 3*l**2 - 6*l + 5. Let p be f(-5). Let h = p + 6. Let z = 13 + h. Which is smaller: 0 or z?
0
Let j(q) = -q**3 + 5*q**2 - q + 1. Let w be j(4). Suppose 0 = s + 4, 0 = 5*g - 3*g + 4*s - 10. Do g and w have different values?
False
Let q = -49/24 + 11/8. Is -1 equal to q?
False
Let r be (-8 + 4 + 4)/2. Is -2/97 < r?
True
Let z = -45 + 44. Let n be ((-4)/15)/((-2)/(-9)). Which is smaller: z or n?
n
Let j(p) = -6 - 2 + p + 2. Let g be j(0). Is g at least -6?
True
Let m = 6 + -4. Let r(s) = -m*s**3 - 5*s**2 - 2 + 1 + s**3. Let n be r(-5). Is -1 smaller than n?
False
Let n(m) = m**3 + 3*m**2 + m + 3. Let r be n(-3). Is r equal to 7/9?
False
Let r(f) = -f**2 - 13*f - 19. Let p(d) = -2*d**2 - 26*d - 39. Let n(o) = 6*p(o) - 13*r(o). Let c be n(-12). Does 0 = c?
False
Suppose -2*w + 24 = 5*f, w + w - 2*f = -4. Let b = -10 - -16. Let n be (1/(-3))/(w/b). Are -3/5 and n unequal?
True
Let y = 89 + -88.9. Is 76 bigger than y?
True
Let z = -13 - -12.9. Which is smaller: -5/6 or z?
-5/6
Let s be 27/(-7) - (23 + -24). Do -2 and s have different values?
True
Let c = -27.2 - -24. Let a = 3 + c. Is 0 smaller than a?
False
Suppose 9*t = 4*t. Is t > 0?
False
Let y = 6 + -6. Let v = -10 + 8. Which is greater: v or y?
y
Let f = 390 + -389. Let k be (-6)/(-34)*-1*1. Is f less than k?
False
Let a be 3 + -1 - (-2 + 1). Suppose -4*s + 5 = -a. Suppose -s*l + 11 + 1 = 3*x, l = -x + 4. Which is greater: 2/7 or l?
2/7
Suppose 48 = 4*w + 5*h, -5*w + 3*h - 5 + 28 = 0. Suppose w*o = -0*o + 14. Does 20/7 = o?
False
Let y = -119 + 597/5. Let h = -149 + 747/5. Is y equal to h?
True
Let n(r) = r**3 + r**2 + r - 1. Let t be n(1). Let w be (t - 4)*(-2)/(-14). Is w < 0.3?
True
Let m be ((-40)/(-32))/((-1)/4). Is 1 < m?
False
Let h = -8 - -9. Let k be ((-6)/10)/((-3)/15). Which is smaller: h or k?
h
Let x be 0 - -1 - 70/(-2). Suppose 3*d = -10 - 5, 0 = -3*j + 3*d + x. Let o be (8 + -6)/(2/8). Which is smaller: o or j?
j
Suppose -3*z = 2*r - 0*z, -r = -5*z. Suppose 0*s - s - 1 = 3*y, r = 3*s - 3*y - 9. Which is bigger: s or 1?
s
Let s = -169/215 - -8/43. Which is smaller: -2 or s?
-2
Let l = 2/13 - 19/39. Suppose 6 = -2*m - 2*t - 0, 18 = 2*m - 4*t. Suppose -m + 2 = f. Does f = l?
False
Let h = -654/35 - -92/5. Let p = 137 - 142. Is h less than or equal to p?
False
Let y = -3 + 7/2. Let h(a) = -3*a**3 - a - 1. Let v be h(-1). Suppose 0 = v*n - 2 - 4. Is n at least y?
True
Suppose -3*y - 5*q = -0*y - 42, 5*y + 3*q - 54 = 0. Let x = y - 6. Let r be (x/(-5))/((-12)/4). Which is smaller: r or 1?
r
Let b(s) = s + 8. Let z be b(-6). Let g be z/6*4/6. Are 1 and g unequal?
True
Let y be 6/2*(-3 + 0). Let s be y/(-15) + 27/5. Let f(d) = d**3 - 7*d**2 + 6*d - 1. Let x be f(s). Is x greater than -1?
False
Let y = 2 - 1. Let o = -0.1 + 0.1. Let k = o + -0.1. Is k less than y?
True
Suppose -3*c = -c + 2. Suppose 0*b = b + 3. Let z be (b/9)/(c/3). Is 1 at least z?
True
Let r = -1 - 0. Let v be ((-45)/(-6))/(3*r). Let t(g) = -g**3 - 6*g**2 + 5*g - 17. Let a be t(-7). Is a greater than v?
False
Suppose 0*p = 4*p - 2*y + 6, p + 9 = 2*y. Let x(z) = -2*z**2 - z. Let h be x(-1). Do h and p have different values?
True
Let t = 4.2 + -4.51. Which is greater: t or 1?
1
Let v = -3.5 - -3. Let k = -0.1 - v. Let g = k - -0.1. Is g at most as big as 0?
False
Let s(k) be the third derivative of -k**6/120 - k**5/30 + k**4/8 + k**3/6 - 5*k**2. Let p be s(-3). Which is bigger: p or -2/15?
p
Let a = -135 + 105. Which is greater: a or -1/6?
-1/6
Let n(q) = q**3 - 5*q**2 - 7*q + 8. Let t(p) = -p**3 + p. Let o be t(-2). Let j be n(o). Suppose -j + 0 = 2*a. Do -1 and a have different values?
False
Let b = -3 - -29. Are 25 and b equal?
False
Let s = 12.92 - 13. Which is greater: 2/7 or s?
2/7
Let t = 16.6 - -0.4. Let h = t - 16. Is 10 > h?
True
Let d be 2 + 5 + (2 + -3)/1. Is 6 at most as big as d?
True
Let z be -3 + -1*(-38 + 2). Let n be (-12)/5*110/z. Which is greater: n or -6?
-6
Let m = -49.9 - -50. Which is smaller: m or -57?
-57
Let j = 314/231 - 2/77. Suppose -7*o = -0*o - 14. Which is smaller: j or o?
j
Let q = -4 - -4. Let j = -3 + q. Let x be (j/(-2))/((-99)/12). Which is smaller: -1 or x?
-1
Let c be ((-3)/27)/(2/6). Which is smaller: 0.9 or c?
c
Let p = 0 + 1. Let q be 3 - (2 - p)*-1. Let i(l) = l**2 + 7*l + 9. Let r be i(-6). Is q < r?
False
Suppose 4*i - i - 9 = 0. Suppose -i*w - 3 = -15. Suppose -14 = -2*s - 4. Is w less than s?
True
Let x be ((-2)/(-6))/((-12)/(-18)). Is x less than -44?
False
Let m = 11 - -5. Let o be m/(-10) + (-2 - -4). Which is smaller: 0 or o?
0
Suppose -3*b - 2*b = 20. Let a be 2 + -6 - -1 - b. Is a less than 3/2?
True
Let h(b) = -b**3 - 8*b**2 - 7*b + 6. Let w be h(-7). Let c = w + -6. Is c at least as big as 0?
True
Let y = -445/1554 + 8/111. Are y and 0 unequal?
True