6
Let v be 5 + (-3)/(6/4). Suppose 0*s = -v*s - g + 5, 0 = 5*s + 4*g + 1. Suppose -9 = -2*w + 6*w + 3*j, 2*j = -s*w - 6. Which is greater: -1 or w?
w
Let s = -1142660/9 + 126832. Let p = -130 - s. Suppose -a + 9 = 8. Is a > p?
True
Let n(b) = 49*b**3 + 2*b**2 - 1. Let h be n(1). Suppose -h = 5*w + 5*j, 0 = -4*w + 6*j - j - 4. Is w less than or equal to 1?
True
Let m = -9.9 - -10. Which is smaller: -9 or m?
-9
Let y be 57/4 - 15/60. Is 13 less than y?
True
Let m(n) = -3*n**2 + n + 7. Let s be m(-4). Let x = s - -43. Let p(l) = -l**2 - l - 1. Let i be p(-1). Which is smaller: i or x?
x
Suppose 6 = 3*x - 3. Is x equal to 1?
False
Let c(s) = -2*s**3 - 2*s**2 - s. Let f be c(-1). Let o be f/((-24)/(-3) - 3). Does o = 0?
False
Suppose -8*g - 126 = -17*g. Let v = 21 - 6. Does v = g?
False
Let z(r) = -r**3 - 6*r**2 + 5. Let k be z(-6). Suppose 0 = 4*q - s - 13, -k*s = -2*s + 15. Let d be q*((-2)/(-4) + 1). Is d not equal to 5/2?
True
Let k(r) = 5*r**3 + 6*r**2 + 10*r - 4. Let h be k(-8). Let j = 117489/52 + h. Let a = j - -24/13. Is a greater than 1?
True
Let a = -6 + 4. Let w = -5 - -3. Does w = a?
True
Let f = -41/7 + 6. Are 1 and f unequal?
True
Let c = 6 + -10. Let k = -3.3 + -0.7. Let s = k - c. Which is smaller: -1 or s?
-1
Let r(w) = w**3 - 5*w**2 - 2*w + 6. Let i be r(5). Let q(c) = -c**3 + 9*c**2 - 10*c + 11. Let g be q(8). Which is greater: g or i?
i
Let v be ((-2)/(-3))/(2 - 1). Let f = -9 - -5. Let p be (2/f)/((-1)/2). Which is smaller: p or v?
v
Let s = 0.02 + -5.02. Let z = s - -4.8. Let o = 1 + -2. Which is bigger: o or z?
z
Let a = -21 + 15. Let v = -6.3 - a. Is v at most -0.3?
True
Let o = 4 - 3. Suppose 3*l - z - 2 = 0, -3*z - 4 = 2*l - 20. Which is smaller: l or o?
o
Suppose -r - w = -3 - 1, -3*r - 13 = -2*w. Let a be (6/(-4))/(8 - -1). Which is smaller: a or r?
r
Suppose -3*a + 9*a = -132. Let k = -22 - a. Which is smaller: k or -8/11?
-8/11
Let u = -3 + 4. Let n be (3 - 1)*u/(-2). Let p = -5 - -4. Is p != n?
False
Suppose 9 + 1 = -5*c. Which is bigger: c or -20/11?
-20/11
Let w(o) = o**2 + 5*o + 7. Let x be w(-4). Do x and 14/9 have the same value?
False
Suppose 15 = -6*u - 15. Suppose -4*b = 4*j + j + 7, -2*b + 4 = 0. Which is bigger: u or j?
j
Suppose -2*l - l = -9, -4*l + 14 = 2*n. Which is smaller: n or 8?
n
Let x(m) = m**2 - 5*m - 4. Let o be x(6). Let h be o + 6/(-2) - -49. Let i be 0 - 2 - h/(-27). Which is bigger: -1 or i?
i
Let w = 77 + -77. Which is bigger: w or 4/27?
4/27
Suppose l + y = -y + 7, 3*l + 3*y = 12. Suppose 0 = 3*a + a - 5*w - 16, 0 = 3*a + w - 12. Let z = a + l. Are 5 and z nonequal?
False
Let a be -4*(1 - 0) + 8. Let k be (-2)/a + 559/(-26). Is k smaller than -21?
True
Let t = 5 + -2. Is t < 13/5?
False
Suppose -3 - 2 = 5*s. Is -1/6 <= s?
False
Let s = 1.5 + -0.5. Let n = 2 - s. Let w = n + 0. Which is bigger: w or 2/7?
w
Let s be 2/21*91/897. Is s < -1?
False
Let j = 3/751 - 12797/7510. Which is greater: j or -3?
j
Suppose 7*t - 2*t - 10 = 0. Let g = t - 0. Suppose 0 - 2 = g*w. Is -1 less than w?
False
Let a be (2 + (-44)/28)/((-8)/(-28)). Suppose -2*v - 4*c = 14, -c + 0*c - 5 = v. Let l be (5 + -3)*v/(-2). Is l at least as big as a?
True
Let d = 11 - 11.1. Which is greater: d or 2/5?
2/5
Let t = -0.97 - -1.1. Let n = t + 0.07. Let m be (-1)/2*(-4)/6. Which is greater: m or n?
m
Let d(h) be the third derivative of -h**6/120 - h**5/20 - h**4/24 + h**3/3 - h**2. Let l be d(-2). Suppose 0 = -4*b - 5 + 9. Which is smaller: l or b?
l
Suppose 2*u - 2*k + 35 - 13 = 0, 0 = 5*k - 15. Let s(p) = -p**2 - 8*p + 5. Let r be s(u). Is 3 > r?
False
Let p(o) = -o**2 - 6*o + 7. Let q be p(-7). Suppose 3*y + 0*a = 4*a + 3, -2*y + 2*a + 2 = q. Let x = 47/45 - 13/9. Are x and y equal?
False
Let s(z) = -2*z**2 + z + 2. Let m be s(2). Let j = 7 + m. Is j < 3?
False
Suppose -5*r = -31 + 6. Suppose -5*p + 11 = -4*g, 2*g - r = -2*p + p. Suppose 5*v - 4*v - g = 0. Do v and 1 have different values?
False
Suppose 2*w + 9*j - 35 = 4*j, 2*j = -w + 16. Is -5/2 smaller than w?
True
Let t be ((-11)/2)/((-27)/150). Let a = 92/3 - t. Which is greater: 1 or a?
1
Suppose 4*j - 31 - 17 = 0. Suppose -j + 2 = 2*t. Are t and -7 nonequal?
True
Let h be (3/(-2)*2)/(-4). Which is greater: -3 or h?
h
Let r = -5.85 - 0.15. Let t = 0 + r. Is 0.1 not equal to t?
True
Let z = 0.24 - 0.34. Are z and 11/5 equal?
False
Let q = -70 - -70. Is 0 at least q?
True
Let f(t) = -t**3 - 4*t**2 - 6. Let i be f(-5). Suppose 3*s + i = -3*g + s, 5*s = -5*g - 40. Let a = g + 5. Is a at most as big as 2?
True
Let z = 1652/5 - 333. Does z = -3?
False
Let b(i) = i**2 - 6*i. Let o(y) = y**2 - 7*y. Let x(t) = -6*b(t) + 5*o(t). Let m = 3 + -2. Let z be x(m). Is -1 equal to z?
False
Let i(j) be the third derivative of j**5/60 + j**4/6 - j**3 - 5*j**2. Let x be i(-5). Is -1 <= x?
True
Let a be (1/2)/(2/4). Which is smaller: 2/93 or a?
2/93
Let q = -0.3 + 1.3. Let l be 34/8 + -4 + 0. Which is bigger: q or l?
q
Let j be 4*(2 + (-4 - -3)). Suppose 0 = 2*v + 2 - j. Which is bigger: 2 or v?
2
Suppose -2 + 6 = 2*g. Let t be 1/g - 243/18. Which is greater: -14 or t?
t
Let w be 15/(-3) + -1 + 6. Which is smaller: 1/93 or w?
w
Suppose 0 = -i - 4*i. Let f be 0/(-9) + -3 + i. Let m = 0 + -3. Are f and m unequal?
False
Let n = -198 - -206.9. Let m = 26 - 17. Let z = m - n. Which is smaller: 1/4 or z?
z
Suppose 9 = 2*d + d. Suppose -d*j - 8 = -26. Let h = 3 - j. Are -3 and h nonequal?
False
Let f = -3902 - -42962/11. Let v = f - 38/11. Is 0 equal to v?
False
Let r = -1.674 + 0.074. Do r and -0.3 have the same value?
False
Let s be 30*(-1 + -1)/(-6). Suppose 18 = -2*r + 4*r + 2*o, 2*o = 5*r - s. Which is smaller: 5 or r?
r
Let p = -66620/11 + 6100. Let z = p - 13898/319. Which is smaller: 0 or z?
0
Suppose -2*k = -k - 1. Suppose 4*b - 7*b + 3*q - 24 = 0, 0 = 3*b - 2*q + 25. Let n be -4 + 3 - 7/b. Is n less than or equal to k?
True
Let k = 167 + -2838/17. Which is bigger: k or -1?
k
Suppose 3*d - 12 = -0*d. Suppose -3*l + 4*m + 1 - 17 = 0, -4*l = m - d. Which is smaller: -6/5 or l?
-6/5
Let y = 1 - 1. Which is greater: y or -14?
y
Suppose -h = 2*h - 6. Let f(q) = -72*q - 2. Let b be f(2). Let p = 587/4 + b. Is p at most as big as h?
True
Let i(z) = z**2 + 1. Let m be i(0). Is m less than 2/11?
False
Let c(u) = -2*u**2 + 17*u + 166. Let o be c(-6). Let v be (-20)/3 + 1/(-3). Which is greater: v or o?
v
Let p be 35/20 - (-1 + 2). Which is bigger: p or -1?
p
Let f(y) = 2*y**2 - y + 10. Let q be f(0). Which is smaller: q or -0.1?
-0.1
Let d(n) = 2*n + 2. Let z be d(-4). Is -6 bigger than z?
False
Let b(p) = -3*p**2 + p + 1. Let i be b(-1). Let g be (4/(-3))/((-12)/(-18)). Which is smaller: g or i?
i
Let b(f) = -f**2 + 2. Let w be b(-3). Let c(m) = m + 7. Let g be c(w). Is -1 at least g?
False
Suppose 3*n + 4*x + 23 = 4*n, 0 = n - 5*x - 27. Let j = 106 - 99. Is j less than or equal to n?
True
Let r be -1 + 4 - 8/4. Suppose -2*x + 3*k + 8 = 2*x, -2*k = -2*x + 4. Let q be (-2 - -1)/((-11)/x). Is r smaller than q?
False
Suppose -6 = -3*p + 3. Suppose 0 = -p*s - 0*s. Is s at most 1/5?
True
Let x(z) = -7*z**2 + z - 2. Let f(i) = 13*i**2 - i + 3. Let o(m) = 3*f(m) + 5*x(m). Let q be o(1). Let g be (-5)/(10/4) + q. Which is smaller: 4 or g?
g
Let u(m) = m**3 + 4*m**2 - 2*m - 2. Let s be u(2). Let g be s/(-12) - (-26)/4. Is g smaller than 6?
True
Let u = 11.1 + -11. Let m = 0.1 + -2.1. Let l = m - -2. Is u at most as big as l?
False
Let c be (-1)/(-2 + 1) - -1. Suppose c*b = -0 - 6. Which is smaller: -2 or b?
b
Let s be ((-45)/60)/((-3)/(-11)). Is s at most -3?
False
Let v = 2/13 - 32/39. Which is bigger: v or 3?
3
Let m = -7 + 4. Let t = 24 + -26. Let z = t - m. Is -1 > z?
False
Let n = 0.1 + 0.9. Let l = -578784/55 - -10523. Let a = -6/11 - l. Is a smaller than n?
True
Let b = 52439/41048 - -150/733. Let r = -13/7 + b. Suppose 0*i - 5 = 5*i. Which is smaller: r or i?
i
Let w(g) = g**3 - 6*g**2 - 8*g + 9. Let m be w(7). Suppose -2*v + 0*v = 5*x - 15, -v - m*x = -6. Is v less than or equal to -3/10?
False
Let k(r) = r**2 + 8*r - 46. Let t be k(6). Does t = 38?
True
Let o = -4 - -7. Let z(w) be the third derivative of -w**4/24 + 2*w**3/3 - 3*w**2. Let v be z(o). Which is smaller: -2/3 or v?
-2/3
Suppose -2 = -9*q + 7. Is 2 bigger than q?
True
Suppose -4*w = 4*q + 4, -5*q + q - 3*w = 0. Let j be q/(-2) 