- 7, -p = -3*s + 5*t. Is 2 < s?
True
Let x(t) = -5*t - t**3 + 7*t**2 + 2*t**3 - 2*t**3 - 4. Let h be x(6). Let j be (-4)/(-20)*6*(-20)/(-12). Is h equal to j?
True
Suppose -5*k + 1 = n, 3*k - 79 = 2*n + 3*n. Is n greater than or equal to -15?
True
Let c be (10/(-4))/((-3)/6). Suppose 0 = t + 4*v + 18, -c*t + 0*v - v = 52. Which is smaller: t or -9?
t
Suppose -4 - 5 = -5*n + 2*g, -5*g - 11 = -n. Let p(y) = -2*y**3 - 2*y**2 + 2*y - 1. Let h be p(n). Let r = h + 0. Do r and 2/3 have different values?
True
Suppose 0 = -5*h - 0*h + 45. Suppose 7 = t + 2*n, 2*t + 7 + h = 2*n. Which is greater: -4 or t?
t
Suppose 2*g = -5*y + 20, -y - 4 = -8. Which is bigger: g or 1/158?
1/158
Let r be (2 + 12/(-9))*(-18)/12. Let o be (-4)/10*(5 + 0). Which is smaller: r or o?
o
Let y = 8 - 8. Let q be y/(-1) + -3 - -2. Let v be 8/33*9/12. Do q and v have different values?
True
Let v be 2/2*-7*1. Let x = v + 6. Let s be -1*(6 - 0/x). Is s != -6?
False
Let l be (-8)/(-12)*(-96)/20. Let o be ((-16)/(-24))/((-2)/6). Which is smaller: l or o?
l
Let w(j) = j**2 - 6*j - 3. Let q be w(7). Let s = q + 2. Let u = s + -4. Is u greater than or equal to 0?
True
Let t be (4/(-10))/(2 + 4 + 0). Which is bigger: -1/3 or t?
t
Let x(v) = -v**3 - 8*v**2 + 9*v + 2. Suppose 2*k - g - 2*g = -24, k + 3*g + 3 = 0. Let r be x(k). Which is smaller: 3 or r?
r
Let m(u) = u**3 - 8*u**2 + 5*u + 5. Let l be m(7). Is l bigger than 0.2?
False
Suppose -48*v + 42*v - 12 = 0. Let i(m) = -1 + m - 1 + 0. Let n be i(0). Is v smaller than n?
False
Let y be 0/1 + (3 - 5). Is y bigger than -3/5?
False
Suppose -2*t = 8 + 18. Which is greater: 1/5 or t?
1/5
Suppose 9 = g - 11. Suppose -l - 3*y + 6*y = -16, 3*y = 5*l - g. Suppose m = 2*b - 11, 5*b - 4*b - 8 = m. Is b at least as big as l?
True
Let y = -1/70 - -57/70. Let b be ((-3)/1)/(3/(-2)). Are y and b non-equal?
True
Let q = -2/41 + -3/779. Which is smaller: 0 or q?
q
Let a = 8 + -9. Let d = a + 5. Let y be d/(-6) - 32/6. Is y at most as big as -1?
True
Let f = -8 - -10. Let u = -5 + f. Let a = 3.05 + u. Which is bigger: a or 2/3?
2/3
Let n be 438/36 - 1/6. Which is smaller: 13 or n?
n
Suppose 6*b = -6*b. Suppose 2*y - 8 = -5*m + 3*y, -6 = -3*m + y. Are m and b non-equal?
True
Let v(z) = -z**2 - 7*z - 6. Suppose 0 = 3*w - 6, 2*w + 16 = 5*b + 5*w. Suppose b*m = -u - 0*u - 8, -4*m - 34 = 5*u. Let g be v(u). Which is smaller: g or -4/7?
-4/7
Suppose y - 2*y = 4. Let t(g) = -g**2 - 6*g - 5. Let x be t(y). Which is smaller: x or 4?
x
Let c(q) = -q + 2 - 11*q**2 + 12*q**2 - 5*q. Let l be c(6). Suppose 0 - l = -2*r. Which is smaller: r or -1/8?
-1/8
Suppose 4*f + 3*z - z + 78 = 0, z = 1. Is f at most -20?
True
Let d = -79 + 79.2. Is d greater than or equal to -20?
True
Let b be 1 + (2 - 1)/1. Suppose -18 = -u - 15. Suppose 5*t = -b - u. Is 1 > t?
True
Let g = 28 - 85/3. Is 2/35 smaller than g?
False
Let c(l) = -l - 1. Let s be c(-10). Let a be 15/s*(-2)/(-5). Do a and 1 have different values?
True
Let d be (3/(-18))/(1/(-3)). Let m = -65 + 63. Which is greater: d or m?
d
Let b = 8 + 33. Is 41 at most as big as b?
True
Let k = 1 - 2. Let p be (-1 - k) + 1/7. Is p at least -1?
True
Let n(t) be the third derivative of -t**6/120 + t**5/6 - 3*t**4/8 + 3*t**2. Let p be n(9). Are 4 and p non-equal?
True
Let n = -16 - -18. Suppose 6 = v + 3*l - n*l, 0 = 3*v + 2*l - 14. Which is greater: v or 4?
4
Let f(x) = x**3 + 4*x**2 + 4*x + 5. Let t be f(-4). Is -1/4 greater than t?
True
Let j(a) = -a**2 - 4*a. Let u be j(-3). Suppose -u*g - n - 3 = 2*n, 0 = 5*g + 4*n + 5. Which is smaller: -1/4 or g?
g
Suppose 0 = 2*f - 5*f. Let d be 6 - (8 + -9 + 5). Which is bigger: d or f?
d
Let s be (12/10)/(8/(-190)). Let f = -505/18 - s. Which is bigger: f or 0?
f
Suppose -3*u = y - 31, -5*y + 3*u = -68 - 51. Which is greater: y or 2/5?
y
Suppose -3*c = -o + c - 10, -16 = 4*o - 4*c. Let k be (1 - o/5) + -1. Let f = 3 + -2. Which is greater: f or k?
f
Let w = -0.09 - -0.09. Let x = w - -1. Does -3 = x?
False
Let o(p) = p + 2. Let x be o(6). Let f be (12/(-8))/((-6)/x). Is 2 bigger than f?
False
Suppose 4*o + 0*o = 4. Let b be 2/8 - (-441)/(-4). Let m = -435/4 - b. Are o and m nonequal?
True
Let s be (-1)/(-3) + (-26)/42. Let w = -5 + 5. Which is bigger: w or s?
w
Let i = 9 - 6. Let u = 2.9 - i. Let d = 121 + -124. Which is bigger: d or u?
u
Let h be -6 + 1 + -1 - -1. Let f = 17.9 + -18. Is f <= h?
False
Let p = 9 - 6. Suppose 4*r - 3 - 5 = 0. Suppose -r + 14 = 3*z. Is p bigger than z?
False
Suppose 8*k + 3 = 11*k. Let h = -125 + -43. Let p be ((-16)/h)/(k/6). Which is smaller: 2 or p?
p
Let s be 2 - (1 + 1 + -2). Let n be s/18*(-1 - 0). Let q = 39 - 38. Which is bigger: q or n?
q
Let c(o) = o**2 + 5*o + 2. Let x be c(-4). Let g be (x/(-3))/(4/(-12)). Let t be 6/9 + g/(-6). Is t less than or equal to 1?
True
Let y = -16 - -10. Let x(v) = -v**3 - 7*v**2 - 7*v - 6. Let t be x(y). Let q = 48 - 143/3. Is q != t?
True
Let n be 10/(-6) - (-5 - 0). Which is bigger: 2 or n?
n
Let k(t) = -t**2 + 8*t + 9. Let p be k(8). Which is greater: p or 12?
12
Suppose 0 = f - 1. Let n = 21 - 41. Let l be 2*(-1)/n*-2. Is l smaller than f?
True
Let s be (-12)/(-18) + (-16)/6. Is -3 != s?
True
Suppose 2 = -29*b + 31*b. Which is smaller: 3/73 or b?
3/73
Suppose 4*i + 96 + 8 = 0. Let j be 3 + (-4)/(-40)*i. Which is bigger: -1 or j?
j
Let s be 1 - (3 + (0 - 0)). Let r = -8 + 13. Suppose 7 = -3*l - r. Is l < s?
True
Let q(p) = p**2 + 9*p - 6. Let a be q(-9). Let j be a/(-9)*2 - 2. Which is smaller: j or -0.1?
j
Let h = -20 + 19. Is h at most as big as 1/51?
True
Let d be (-4)/18 - (-2172)/(-8694). Let t = d - -1/23. Let l be (-1)/(-2)*(-2 - -2). Which is bigger: l or t?
l
Let j = -425 - -19553/46. Which is greater: 1 or j?
1
Suppose -2*x - 31 = -9. Which is smaller: x or -12?
-12
Let j be ((-12)/10)/((-9)/30). Let k(p) = -j*p - 1 + 8 + 13*p + p**2 + 0*p**2. Let n be k(-8). Is -1 less than n?
False
Suppose m = 2*m + 2. Let d = -0.02 - -1.02. Is m at least as big as d?
False
Suppose 4*c + 0*c = 2*h + 226, 4*h = -4*c + 244. Let t = 121 - c. Let p be 24/t*(-6)/8. Are -0.1 and p non-equal?
True
Suppose -5*i - 97 = -2*j, 3*i + 280 + 10 = 5*j. Is j not equal to 61?
False
Let t = 4 + 0. Let q = 3.86 - 0.06. Let b = t - q. Which is greater: b or 0.1?
b
Let r = 32/19 - 59/114. Is r bigger than 1?
True
Let x = -5.6 - -6. Which is smaller: 1 or x?
x
Let q = 0.8 + -0.76. Let y = -0.05 + q. Let d = y + -1.99. Which is greater: d or 1/5?
1/5
Let s = -15 - -12. Is 2 at least s?
True
Suppose -2*o = -4*i - 2, i - 3 = 2*o + 4. Let m be 10/((0 + i)/3). Is m less than -10?
False
Suppose 3*y + 3*x + 8 = -1, 12 = y - 2*x. Suppose 4*z + y - 18 = 0. Let h be (5 + 0)/(-5 + z). Is -4 bigger than h?
True
Let j(u) = -u**2 - 5*u + 1. Let p be j(-5). Let f(h) = -17*h**2 + 1. Let l be f(p). Let b be 12/l*(-2)/(-6). Is -1 bigger than b?
False
Let z = -177 - -176. Which is smaller: 2/169 or z?
z
Let o(w) = 14*w + 13. Let z(b) = 5*b + 13. Let h(u) = 2*u + 7. Let y(a) = -5*h(a) + 3*z(a). Let x(t) = 6*o(t) - 17*y(t). Let i be x(6). Is 4 equal to i?
True
Let w = 171/4 + -2557/60. Which is bigger: w or -11?
w
Suppose 5*j - m + 61 = -0*m, 0 = -4*j + 2*m - 50. Let n(o) = -3*o + 4. Let w be n(5). Is w at most j?
False
Let f = 7 + -5. Let d = -2.03 + f. Which is greater: d or -0.1?
d
Let t = -159 - -273. Let p be (-2)/(-4) - 69/t. Let v = -20/171 + p. Does v = 1?
False
Let y(g) = -g + 3. Let u be y(5). Let v be (-8)/4*u/4. Which is bigger: -3/8 or v?
v
Let w be 311/5 - (-5 + 8). Let a = -59 + w. Which is greater: a or 0?
a
Let w = 13.3 + -14. Let k = -0.6 - w. Let l = -1 + 2. Does l = k?
False
Let f be (-1914)/(-14) + (0 - 0). Let c = f - 137. Is 1 less than c?
False
Let k = -0.03 + -3.97. Let c = k + -3. Which is smaller: c or 0.1?
c
Let f be (-1)/5 - (-14)/(-30). Let p = 1 + -0.9. Let t = p + 1.9. Is t smaller than f?
False
Let u = 0.071 + 54.929. Is -1 equal to u?
False
Suppose 4*p - f + 3 = 0, 5*p - 12 = -3*f - f. Suppose 2*d + p*d = 0. Is -1/5 greater than or equal to d?
False
Suppose -4*t - 31 = 5*u, 4*t + 7 - 3 = 4*u. Let f(a) be the second derivative of a**4/12 + a**3/3 - 3*a. Let v be f(u). Is 2 > v?
False
Let y(w) = w**3 - 6*w**2 - 6*w - 7. Let u be y(7). Let k = 932/5 - 187. Is u != k?
True
Suppose 2*a - m - 217 = 0, 0*a - 2*a + 3*m + 219 = 0. Sup