 Suppose 11 = -x*s - 1. Let r(v) = -v - 6. Let a be r(s). Is -2 >= a?
True
Let o = -16 + 14. Let t be (-2)/5 - (-44)/10. Let y = t - 7. Is o < y?
False
Suppose 0 = -3*n + 9, 0 = -g - 2*g - 2*n + 84. Suppose -1 = 5*t - g. Suppose -x = x + t*a + 18, -x - 5*a = 14. Is x at least -3?
False
Let j = 18958 + -1459666/77. Let g be 2/22*25 - 3. Let v = j + g. Is 0 greater than v?
False
Let h = 13 - 11. Which is smaller: h or -0.1?
-0.1
Let j be ((-8)/(-3))/4 - (-112)/(-60). Is j smaller than -2?
False
Let o(k) = -k - 5. Let h be o(-5). Let v(p) = -p**3 + p**2. Let i be v(h). Let t = 1 + i. Which is smaller: t or 1/3?
1/3
Let c(q) = 0 + 7*q**2 - q**3 - 2 - 3 - 5*q. Let v be c(6). Let a(g) = g**3 + 6*g**2 - 17*g - 8. Let p be a(-8). Is p > v?
False
Suppose -z + 4 = z. Suppose -3*c - 2*c = -4*f + 6, z*c + 4 = 2*f. Suppose 5*y - 5 = 5*o, 0*o + 3*o + 3 = -f*y. Which is bigger: 0.3 or y?
0.3
Suppose 4*r - 21 + 21 = 0. Which is smaller: r or -21/16?
-21/16
Let t be (-45)/(-6) - 2/4. Let c = 9 - t. Are 1 and c unequal?
True
Let w = 241 - 1703/7. Is -3 at least as big as w?
False
Let n(d) = -d**2 - 3*d + 4. Let f be n(-4). Which is smaller: 3/7 or f?
f
Suppose -24 = -0*c - 3*c. Is c < 6?
False
Let c = 5 - 3. Let p = -1.5 + -2.6. Let b = p + 4. Which is greater: b or c?
c
Let n = -6 + 9. Suppose -4*v - 11 = -n. Let i be (-1)/3*1*3. Which is smaller: i or v?
v
Let a(u) = -u**2 - 2*u. Let r be a(-2). Let w = 3 + -2. Suppose -w + r = n. Which is smaller: n or -4/5?
n
Let x = -0.37 + 0.18. Let z = 0.11 - x. Is 0.3 smaller than z?
False
Let l be (-4)/(-6)*3/(-2). Suppose 0*g = -g + 7. Suppose g = -5*q - 3. Which is smaller: q or l?
q
Suppose 19*f - 18*f - 17 = 0. Which is greater: f or 16?
f
Let t be 1 + 15 + 6/(-4). Let v = -15 + t. Is -2 equal to v?
False
Let r be ((-2)/(-4))/(3/(-12)). Let u = 13/25 - -129/425. Let t = -76/51 + u. Which is bigger: t or r?
t
Let v = 800/17 - 47. Suppose 0 = -4*i - 12. Let g be 1*((-6)/i)/(-2). Is g less than v?
True
Let m be (-68)/(-140) + 2/(-10). Which is smaller: 0.2 or m?
0.2
Let w(z) = -2*z - 13. Let s be w(-7). Let c be (-3 - -4)/(-7 + -1). Which is bigger: c or s?
s
Let t(f) = -5*f**3 - 1. Let g be t(-1). Is g at most as big as 19/5?
False
Let n be (-15)/(-3 - 108/8). Which is greater: 2 or n?
2
Let q = 252 + -377. Is q >= -126?
True
Let u = -239/2 + 125. Does u = 5?
False
Let r be (-129)/(-26) - 3 - 2. Let u be 4/(-5) + (-2)/10. Which is smaller: u or r?
u
Let i = 2 + 0. Let a = -1 + i. Let u = -151 + 1055/7. Is a greater than or equal to u?
True
Let w(m) = m**2 - 5*m + 6. Let q be w(3). Let v be (1/(-3))/((-1)/12). Suppose v*p + q + 4 = 0. Which is smaller: p or -1/8?
p
Suppose 4*w - 1 = 11. Suppose -5*v = -2*s + 6*s - 2, 3*s + w*v - 3 = 0. Suppose -15 = -6*n + n, n - s = -5*k. Which is greater: 1 or k?
1
Let o = 4 - 1. Let l = 1 + o. Suppose s + s = l. Is s <= 3/5?
False
Suppose 11 = -w - 4*w - 2*i, -3*w - 12 = 3*i. Let h be (2/8)/(1/w). Which is smaller: h or 0?
h
Let s be (5/((-10)/(-6)))/(21/14). Let n = 4 + -2. Suppose r - n = -1. Do r and s have different values?
True
Let p(u) = -u - 33. Let l be p(5). Are l and -39 equal?
False
Let t = -7 - -6.88. Let q = t - -8.12. Let h = -8.3 + q. Is -2 greater than h?
False
Suppose 3*z - 24 = 7*z. Let d = z - -6. Is d <= -3/7?
False
Let q be -3 + (-14)/6*-3. Suppose -u - 2*u = 0, q*u = -3*n. Let v be 16/5 + -3 - n. Is v greater than 1?
False
Suppose 0 = 4*v + 2*l - 10, l - 2 = 1. Which is greater: v or -1/5?
v
Let o be 7/(-3)*4/14. Which is smaller: o or 2?
o
Let j be 1*1*((-8)/(-2) + -3). Which is smaller: -2/55 or j?
-2/55
Let h = 69 + -34. Are h and 33 unequal?
True
Let q(m) be the third derivative of m**6/120 + m**5/20 + m**4/12 + 2*m**3/3 + 3*m**2. Let y be q(-3). Let s be (-6)/(-9)*6/(-4). Does s = y?
False
Let o = -0.39 - 23.61. Let u = 46 + o. Which is smaller: 0 or u?
0
Let b = 24 + -18. Let k = b + -6.2. Which is greater: 7 or k?
7
Let n = 147/2 - 107. Let q = -33 - n. Let x = 0 - -1. Which is bigger: q or x?
x
Let b = -31.4 - -31. Which is smaller: 3 or b?
b
Let b = 49 + -50. Which is smaller: b or 2/15?
b
Suppose 3*j = 2*d - 4*d + 3, -d = 5*j + 2. Let x(k) = 2*k**2 + k + 1. Let p be x(j). Is 1 at least p?
False
Let n(t) be the first derivative of -t**3/3 - t**2/2 + 8*t + 7. Let y be n(-5). Is y < -11?
True
Let h(n) = -n**2 + 5*n - 2. Let s(a) = -a + 2. Let y be s(-2). Let k be h(y). Suppose -4*b = -b. Which is smaller: k or b?
b
Suppose 163 = 5*i - 3*t + 28, -2*t - 106 = -4*i. Are -3 and i equal?
False
Let h be (2*3/(-18))/(10/(-12)). Is h greater than 10?
False
Let p(c) = -7*c - 6. Let a be p(-12). Let r = a + -309/4. Which is smaller: 2 or r?
r
Let q = -85.1 + 81. Let v = q - -4. Are v and -5 non-equal?
True
Let k = 2.1 - 4.1. Which is smaller: -1 or k?
k
Suppose -4*a + 3*c = -81, 2*a + 0*a - c = 43. Which is bigger: a or 23?
a
Let g = -1 - -2. Let y = 4 - 1. Let l be (y + 0)/3 + g. Do l and 2/5 have the same value?
False
Suppose 3*a - 12 = -3*p, 0 = -0*a + a + 2*p - 5. Suppose -a*k = 2*o + 19, 0 = k + 2*k - 2*o - 1. Let s be 1/2 - k/(-6). Are -1 and s nonequal?
True
Let x = 508 - 4567/9. Is x < 2?
True
Let i = -0.4 - 6.8. Let f = 7 + i. Which is bigger: 4/3 or f?
4/3
Suppose 0 = 4*p - 8, 5*p - 2 = 2*g - 4*g. Is -1 equal to g?
False
Let x = -124/315 - -6/35. Let w = -0.4 + 0.1. Is w equal to x?
False
Let l = 2 - -0.05. Let i = l + -0.05. Let y(u) = -2*u + 3. Let c be y(1). Which is bigger: i or c?
i
Let m(z) = z**2 - 6*z + 4. Let h be m(3). Which is bigger: -7 or h?
h
Suppose w + w + 6 = 0. Let c be 4/18 + (-32)/(-18). Let b be 1*-5 - (-4)/c. Is b smaller than w?
False
Let m(q) = q + 6. Let n be m(-6). Suppose -u - d + 9 = -4*u, n = 4*u - 4*d + 20. Does -1/7 = u?
False
Let w = -2.97 - -3. Let m = 0.83 - -0.2. Let l = w - m. Which is smaller: -2 or l?
-2
Let h = -5 - -6. Which is smaller: 4 or h?
h
Suppose 22*s - 9*s + 780 = 0. Is -60 greater than s?
False
Suppose 5*o + 2*o = -2*o. Which is smaller: o or 3/26?
o
Let h(x) = 13*x**2 + x. Let w be h(-1). Let l be (2/44)/((-3)/w). Are l and 1 nonequal?
True
Let l = 0.19 - 2.19. Is l > -1/3?
False
Let d = -8 - -19. Do d and 10 have the same value?
False
Let l(n) = -n**2 + 5*n. Let x be l(5). Which is greater: 4/3 or x?
4/3
Let d = 284 - 1984/7. Which is bigger: 1 or d?
1
Let w = -4 - -6. Let r = -2 - w. Is r not equal to 2/3?
True
Let g = 1 + -1. Let w = -4 + g. Let t = w - -4. Which is bigger: 2/5 or t?
2/5
Let d = -12 + 12. Let w be (d - 0)/(4/2). Let z be -5*(2/5 - 0). Which is smaller: w or z?
z
Let a(f) = -3*f + 12. Let q be a(5). Is -12 smaller than q?
True
Suppose -y - 1 = -b + 1, b = 4*y - 1. Suppose 5*p = 2*p + 3. Suppose 3*v + p + b = -5*g, -g - v = 2. Are g and -1/5 nonequal?
True
Let k = -72 - -16. Let x be (-6*(-1)/k)/3. Which is greater: 1 or x?
1
Let x be (2/(-12))/((-2)/(-6)). Let i = -2 - -1. Is i at least x?
False
Let l be 1/((-5)/(-3 + -2)). Let n(c) = 79*c. Let o be n(1). Let g = o + -554/7. Is g bigger than l?
False
Suppose -2*m = -3*m - 5*p + 18, 5*m + 18 = 2*p. Let r(g) = 208*g + 3. Let a be r(m). Let v = a - -4540/11. Do -1 and v have the same value?
False
Let y be (-4)/(-6)*2/126. Which is smaller: y or -1?
-1
Let p = 18 + -19. Is p >= -3?
True
Let g = 15/67 + 141235/603. Let w = 234 - g. Which is smaller: 1 or w?
w
Let v be 2/4 - 5/(-2). Let f be (3/(-4))/((-9)/18). Is v at least as big as f?
True
Suppose -z = -4*z + 126. Let q = 60 - z. Let y be (q/8 + -2)/2. Do y and 1 have different values?
True
Suppose 4*y - 1 = -5. Let z be -1 + (2 - -2) - y. Suppose -2*u = 5*m - 3*m - 8, 9 = -3*u + z*m. Is -2/9 <= u?
True
Let n = -43 - -128/3. Is -0.1 equal to n?
False
Let n = -1 - -5. Suppose 0 = -2*k - z - 1, -4*z - 6 = n*k - 2. Which is smaller: 7/5 or k?
k
Suppose -4*p = 0, -3*g + 40 = g - 4*p. Which is greater: 11 or g?
11
Let t(g) = -g**3 + 13*g**2 + 13*g + 25. Let p be t(14). Which is bigger: -3 or p?
p
Suppose -3*j - 3 + 0 = 0. Is 3/7 greater than or equal to j?
True
Let p(d) = d**2 - 8*d + 9. Let k(v) = v**3 - 4*v**2 + v + 3. Let h be k(4). Let w be p(h). Suppose -w*g = -3*g. Is g greater than or equal to -1/4?
True
Let o = 6 + -11. Suppose -3*l = -7 + 22. Is l not equal to o?
False
Let k = -45 + 45.02. Which is greater: k or 0?
k
Let o = 1516 - 6011/4. Which is greater: 13 or o?
o
Let a = 8/