1 - (-2 + (-81)/(-87)). Is s < 2?
True
Let v be (-3)/(-9) - (-3478)/(-399). Let a = v - -241/28. Let n = 1/38 + a. Which is bigger: -1 or n?
n
Let f be 1/(-4) + (-9)/(-4). Is 4 >= f?
True
Let m be 2*(0/(-3) + 1). Suppose 5*y + 9 = 2*v, -v - 5*y - 31 = m. Let k = -9 - v. Which is greater: 3/8 or k?
3/8
Let n = 2.7 - -1.3. Let k = -173/915 - 2/183. Does n = k?
False
Suppose -2*u - 5*r - 1 = -3, 34 = 5*u - 2*r. Let g = 8 - u. Let p be 0 + (1 - -1) - g. Is p > -2/19?
True
Let j = -17681/2855 + -4/571. Let x = j + 28/5. Let w be ((-6)/20)/(3/(-4)). Do x and w have different values?
True
Suppose -4*d = -5 - 83. Let r = d + -22. Which is bigger: -14 or r?
r
Suppose -10*p + 36 = -12*p. Is p at least -17?
False
Suppose -3*y + 5*t - 3*t = -8, 8 = -2*y - 2*t. Let z(d) = y*d + 3*d - 2*d - 5. Let o be z(6). Which is smaller: 3 or o?
o
Let d = 77 + -923/12. Is 1 > d?
True
Let r be 5 + (-7 - -3) + 9. Suppose -22 = -3*a + 5. Is a < r?
True
Let x be 3*(-1 + 5/3). Suppose -6*y = -x*y + 8. Let g(a) = -2*a - 1. Let u be g(1). Is u bigger than y?
False
Let o = 6 + -4. Suppose 2*z = 4*c + 3*z - 4, -4*z + 16 = -o*c. Let x = -124/153 - -10/17. Which is bigger: x or c?
c
Let p be (-6)/(-10) + (-16)/(-40). Which is smaller: p or -11?
-11
Suppose 5*i = -2*y + 31, 5*i - 12 = 4*y + 1. Is -6 at least as big as i?
False
Let b be (-3 - (-2 + 1))/(-7). Let q = -0.2 + 0.11. Let n = q + -3.91. Is n < b?
True
Let d be 6/(-27) - (-58)/18. Suppose 3*p + 7 = -10*c + 5*c, -4*c = 20. Let i = p - 3. Do d and i have the same value?
True
Suppose -8 = -6*s + 2*s. Let t be (-1 + 2)/(s + -1). Suppose -509 + 488 = -7*w. Is w smaller than t?
False
Let l(b) = -b**3 - 7*b**2 + 2*b + 8. Let s be l(-7). Let o be (5/(-10))/((-2)/s). Is o >= -0.1?
False
Let r be -7*((-34)/14 + 1). Let k = -9 + r. Do -1/4 and k have the same value?
False
Let s = 14801/40 - 370. Are 0 and s non-equal?
True
Let q be 1 + 3 + 9/(-2). Which is smaller: q or 3.9?
q
Let i(w) be the third derivative of 5*w**4/24 - 17*w**2. Let u(z) = -z - 2. Let d be u(-3). Let p be i(d). Which is smaller: p or 4?
4
Let s = 5.9 + -6. Let k = -1.1 - s. Is -3 <= k?
True
Let g = 114 + -99. Which is smaller: g or 0.3?
0.3
Let h be (-2)/(-7) - 33/(-7). Suppose -g - h*c + 2 = -2, 4*g - 16 = c. Let j = 3 - g. Is -1 < j?
False
Let t be (2 + -2)*4/12. Let b = 0 - t. Which is smaller: b or 1?
b
Let i = 0.95 + -1. Let z = 36 + -34.95. Let b = z + i. Which is greater: 3 or b?
3
Suppose -2*i + i + 5*u = 19, -2*i - 10 = -3*u. Which is greater: i or 14/17?
i
Suppose 0 = -0*i + 2*i - 3*t - 23, 5*i - 3*t - 44 = 0. Is i greater than 7?
False
Let c be (10 - 11)*(-2)/(-2). Is c at least as big as 2/9?
False
Let t = -5 + 4. Let q = t + 3. Let c = -158/3 - -54. Is q < c?
False
Suppose -3*v + 9 = -3. Suppose -v*k + 2*k = 0. Let t be (2/4)/(1/(-2)). Which is smaller: t or k?
t
Let w(v) = -v**2 - 9*v + 12. Let m be w(-10). Suppose -4*y + 5 + 15 = 2*n, -3*n - m*y + 10 = 0. Is n at most as big as 2/19?
True
Suppose 9*b - 13*b = -4. Suppose 5*y - 5*l + 15 = 0, -7 = 3*y - l - 4*l. Let u be y/12 + (0 - 0). Is u smaller than b?
True
Let s(j) = -6*j - 5. Let o be s(-5). Suppose 2*x + 2*x + 5*i - 17 = 0, 5*i - o = 0. Which is bigger: x or 1?
1
Suppose 0*t = 4*t - 288. Suppose -3*r = r - t. Let z be ((-4)/(-2))/(9/r). Which is smaller: 2 or z?
2
Suppose 0 = m - 6*p + 2*p + 20, 0 = -5*m - 2*p - 12. Let z = -7 + 9. Suppose -15 = n + z*n. Are m and n equal?
False
Let w be (0 - 0)*(0 + -1). Let q be ((-8)/(-6))/(92/69). Which is smaller: w or q?
w
Let y = -0.14 + 0.24. Is 1/27 greater than y?
False
Let s = 75 + -74. Which is greater: -3/142 or s?
s
Let b = -8 + 16. Let r = -12 + b. Let y = 0.047 + -1.047. Which is smaller: y or r?
r
Let s(l) = -2*l + 4. Let a be s(2). Let h be (a/(-3))/(-4)*1. Let o be 0 + (-3)/4 + 1. Does h = o?
False
Let u(k) = -3*k + 41. Let a be u(16). Which is smaller: a or -14?
-14
Suppose -b = b. Is b not equal to -3/35?
True
Let u = -1907/1224 - -1/408. Which is bigger: -2 or u?
u
Let h = 309 + -6491/21. Let a be 16 + 3 + (4 - 9). Suppose -5*n = 4*x + a, 0*x + 2*n + 7 = -3*x. Is h at least as big as x?
True
Let g = -6 + 13. Let p be ((-1)/(-7))/(g/(-14)). Which is greater: p or 3?
3
Let w be (-17)/3*1*-6. Suppose y - 4*u = -20, -y - 4*y = 2*u + w. Is y greater than or equal to -9?
True
Let n(m) be the third derivative of m**6/720 + m**5/30 + m**4/12 + 2*m**2. Let v(p) be the second derivative of n(p). Let u be v(-3). Does u = -1/3?
False
Let b(m) = 3*m - 1. Let r be b(4). Suppose 0 = a - 2*s - 9 - r, 2*s = -3*a + 28. Which is greater: a or 11?
a
Suppose -5*q + 19 = -1. Suppose 0 = -5*x + 5*g - 5, -1 = -q*x - g. Which is greater: x or 2/3?
2/3
Let w = -7 + 15. Let p = 68 + -60. Is p bigger than w?
False
Let o be -4 + 2253/30 + 3. Let z = 74 - o. Is -1 > z?
False
Let o = -53/4 - -13. Which is greater: o or -1?
o
Let m = -0.3 - -2.3. Let u = -4 + m. Let x be 2/(-7) + (-8)/(-14). Is x at most u?
False
Let l = 14 - 21. Which is bigger: 0.3 or l?
0.3
Let q be (-11)/22 - (-1)/(-2). Is -1/27 greater than or equal to q?
True
Let f = -20 - -27. Which is smaller: -1 or f?
-1
Let x = -0.7 - 0.3. Let h = x + 1.1. Let j = -4 + 3. Which is smaller: j or h?
j
Let r be 9/(-6) - (-6)/4. Is r <= 2/15?
True
Let w(h) = h**3 - 20*h**2 - h - 15. Let m be w(20). Is -35 at most m?
True
Suppose 0*m + m - 2 = 0. Suppose -3*o + 2*y + 14 = 0, -m*y - 12 + 2 = -o. Is 1 less than o?
True
Let h = -3/26 - -439/3354. Is 1 > h?
True
Let h be 8/4 + (-35146)/9240. Let l = -19/140 + h. Let b = -14/11 - l. Is 2 less than b?
False
Let j = 7.3 - 9. Let r = -0.3 + j. Let q = 0.3 + -0.1. Which is smaller: q or r?
r
Let v(u) = -u**2 - 6*u - 1. Let c = 14 - 20. Let n be v(c). Which is smaller: -1/3 or n?
n
Let l be (6/9)/(1*8/(-12)). Which is smaller: -5 or l?
-5
Let m be (2 - (1 - -1)) + 2. Let t = m + -1. Let o be (2/9)/(59/354). Is t bigger than o?
False
Let m be -3 + 1/((-1)/(-24)). Let a be (-3)/(-15) - m/30. Which is smaller: -3 or a?
-3
Let y(h) = 14*h - 18. Let c be y(2). Which is bigger: c or -8?
c
Let n(a) = 6*a + 2. Let q be n(7). Suppose -12 = -4*o - q. Let t(x) = 10*x + 1. Let r be t(-1). Are o and r unequal?
True
Let j = 9 + -3. Suppose -7*b + 2*b + 30 = 0. Is b smaller than j?
False
Suppose -2*h = -2 + 14. Let n be -2*((-3)/h)/1. Which is smaller: n or -1/3?
n
Let c be ((-4)/(-2))/((-28)/(-34)). Which is greater: 2 or c?
c
Let f = 2974 - 11967/4. Let s = f - -505/28. Let h = 0.38 - -2.62. Is h at most s?
False
Let t = -15 - -9. Let l = t - -6. Suppose -3 = 2*k - 2*o + 3, k - 4*o + 3 = l. Is -3 equal to k?
True
Let t = 8 - 12. Let w = -55/42 - -9/14. Is w >= t?
True
Let c = -3.2 + 3. Let d be 1*-4 - (-76)/16. Which is greater: d or c?
d
Let n = -34 + 375/11. Suppose -5*i = -2*h + 6, 2*i + 2*i + 3*h - 9 = 0. Is n greater than i?
True
Let g = 0.101 - -6.899. Is g at least 7?
True
Let v(j) = -j**3 - 5*j**2 + 6*j + 2. Let w(t) = -7*t**2 + 1. Let y be w(-1). Let z be v(y). Is 3 < z?
False
Suppose 110 = -9*t + 4*t + i, t - 3*i + 36 = 0. Let c be 6/t - 19/7. Is -1 < c?
False
Let r be (-158)/(-6) - 8/24. Let q be -2 - -3 - (-190)/(-7). Let z = q + r. Is z not equal to 0?
True
Suppose 3*j + 15 = -5*q, -3*j = -2*q - q + 15. Let h be (-114)/150 + (-12)/(-15). Which is greater: h or q?
h
Suppose -5*q - 8 = -q. Let o be 0 + 0 + 6 + q. Let u(z) = z**2 - 6*z + 5. Let l be u(o). Is l != -2?
True
Let g(m) = -m**2 + 10*m + 4. Let k be g(10). Let y be (1/(-4))/(k/(-16)). Does 1 = y?
True
Let t(b) = 6*b - 16. Let w be t(-3). Is -32 equal to w?
False
Let l = -32 - -31. Is 3 at least as big as l?
True
Let f = -3.06 + 0.06. Does 3 = f?
False
Let y = -4.2 + -3.8. Do 1/5 and y have the same value?
False
Let l(f) = f**2 + 10*f + 10. Let o(n) = -n - 4. Let b be o(5). Let r be l(b). Let g(d) = d + 4. Let j be g(-4). Is j smaller than r?
True
Let q be 8/114*11/(-66). Is q < -1?
False
Suppose w - 11 = 2*o, 2*w - 12 = 3*o + 7. Let k = 6 - 10. Is k < o?
True
Let d = -11 - -10. Let n = d - 0. Is n != -1?
False
Let z be -4*1*6/(-8). Suppose -z*r - 3*a - 19 = -7*r, -3 = 2*r + a. Is r != 1?
False
Suppose -7*d + 9*d + 36 = 4*u, -3*u = 4*d + 50. Which is bigger: d or -13?
-13
Let t = -0.01 - -5.01. Let b = 10/63 - 4/9. Is b at least as big as t?
False
Let k(g) = -g + 3. Let p be k(6). Let q be ((-2)/p)/(5/(-30)). Ar