 -3*w - p*w = 0. Suppose 0 = -w*j + 3*j. Is j equal to -2?
False
Let g = -7.83 - 0.07. Let w = -12 - g. Let d = -4 - w. Is d > -5?
True
Let w(z) = 3*z + 12. Let o be w(-7). Which is smaller: 0 or o?
o
Let r = -113/3 - -37. Let k = -0.4 - -8.3. Let t = k - 8. Which is bigger: r or t?
t
Suppose -3*i + 1 + 2 = 0. Let l(m) = -m**3 - 2*m**2 + 2*m + 6. Let t be l(-4). Let f = t - 388/13. Which is bigger: f or i?
i
Let h = 0.7 - 5.7. Is h greater than -5/2?
False
Let p be 3 + 2 + 0/(-2). Suppose 5*s - 4*k = 37, 4*s - k = -p*k + 8. Let v(w) = w**3 - 5*w**2 - w + 7. Let d be v(s). Is -1 not equal to d?
True
Let r be 2/(-2)*(-1)/(-4). Let a = 0.417 - 0.427. Which is bigger: a or r?
a
Let d be 1 + 0 - (-3 + 5). Let f be (-1 - d)/(-1) - -1. Let t = 0 + 5. Is f > t?
False
Suppose 5 = -5*v, 2*i - 12 = 7*i - 3*v. Let g be (-4)/(-6)*i/(-2). Let b(a) = -14*a - 54. Let m be b(-4). Which is smaller: m or g?
g
Let k(b) = 4*b**2 + 12 - 2*b**2 - 8*b - 3*b**2. Let f be k(-9). Is f bigger than 1?
True
Let w = 0.19 - -10.21. Let f = -10 + w. Is f at least as big as -2/5?
True
Let h = 87 - 84. Let b = -2 - -5. Is h <= b?
True
Suppose 0 = 2*w - 3*p + 5, -4*w - 5*p = -4*p + 3. Do w and -5/6 have different values?
True
Let v be ((-6)/(-549))/(0 + 1). Let m = v - 559/915. Let d(c) = -c**3 + 6*c**2 + 7*c - 1. Let y be d(7). Which is smaller: m or y?
y
Let k = 2 + -8. Let p be k/(-5)*(-141)/84. Let c = -23/10 - p. Is c less than or equal to -1?
False
Suppose -4*w = f - 3*f - 14, 10 = 4*w + 2*f. Suppose 3*z = 4*l + 24, 2*z - l - 18 = -7. Is z greater than or equal to w?
True
Let b be 4/(10 + -5 - -5). Is b equal to -3?
False
Let x = 23839/174 + -137. Which is smaller: 1 or x?
x
Let j = 1 + 3.1. Let r = 3.97 - -0.03. Let h = j - r. Is 0.1 greater than h?
False
Suppose 0 = 5*b - 4*l - 36, b - 13 = -5*l - 0*l. Suppose 3*p - 5*n = -b, -2*p - 1 = 5*n - 4. Let g = 10562/207 + -460/9. Which is bigger: p or g?
g
Let f be (-109)/(-140) - (-1)/(-1). Let t = f - 1/35. Let c = 4.19 + -0.19. Which is smaller: c or t?
t
Let o be (4/305)/(18/(-85)). Let y = 3/61 - o. Suppose 2*j + 4*w = 10, -2*j + 2*w - 17 = -3*w. Is y greater than or equal to j?
True
Let o = 0.12 + 0.18. Let r = -9 + -14. Let j = r + 45/2. Which is bigger: o or j?
o
Let b = 1.5 - 7.5. Let k = -5.9 - b. Is 0.6 > k?
True
Suppose 2*l + l = -18. Let t = l - -8. Let q be ((-11)/5 - -2)*t. Which is smaller: -2/13 or q?
q
Let m(n) = 2*n**2 + 7 + n**2 - 2*n**2 - 7*n. Let v be m(6). Let s be (v - 0/(-1))*-2. Is -0.1 greater than s?
True
Suppose -8*i + 393 = 385. Let r = -12/7 + 55/28. Are r and i unequal?
True
Let l be -1 - (-3 + 5 + -4). Suppose 5*y = -2*u - 0*y + 21, -u - y = -3. Let n = u - -2. Is n < l?
True
Let k = 2 - -4. Let b = k + -4. Let z(w) = w**3 + 2. Let y be z(0). Is y <= b?
True
Let y(o) = 2*o**3 + 27*o**2 - 19*o - 45. Let d be y(-14). Is 24 < d?
True
Let g(b) = -b**2 - 8*b - 8. Let p be g(-6). Suppose 0*y + 28 = p*n + 3*y, -n = 2*y - 12. Which is smaller: n or 3?
3
Let f be (3/(-6))/(3/24). Let k be 1 + (f - -2 - 0). Suppose 4*z + 3*n = -0*z - 20, n = -2*z - 8. Is k greater than or equal to z?
True
Let y(b) = -b**2 + 7*b + 8. Let q be y(8). Suppose 0 = -q*f - f + 5*u + 23, f + 7 = -u. Are f and 0 non-equal?
True
Let l(j) be the third derivative of -j**6/120 + j**5/20 - j**4/4 + 7*j**3/6 - 4*j**2. Let n be l(3). Is -11 >= n?
True
Let i(j) be the second derivative of -j**5/20 + j**4/12 + j**3/2 - j**2 - 2*j. Let g(n) = -n**2 - 5*n - 2. Let s be g(-4). Let o be i(s). Is o < 3/7?
True
Let s = -3 - -6. Suppose 0*a - s = a. Does a = -3?
True
Suppose 6*i - 8 = 4*i. Suppose 5*j + i*q = 8, -5*j + 4 + 2 = 3*q. Which is smaller: 2 or j?
j
Let w = -3.2 - -3.37. Let p = -0.07 + w. Which is smaller: p or -0.02?
-0.02
Let x = -13 - -9.9. Let r = 0.1 + -0.2. Let a = r - x. Which is greater: a or 1?
a
Let o be -5*(3 - (-26)/(-10)). Let j be (3/o)/((-10)/12). Does 3 = j?
False
Suppose u = 3*t - 4, 15 = 4*t + 3. Suppose -5*c = -h, 0 = u*h - c + 24 - 0. Let q be 3/(((-15)/2)/h). Is 3/2 smaller than q?
True
Let x = 97/4 - 24. Suppose 0 = 3*m + a - 152, 26 + 226 = 5*m + 3*a. Let w = m - 205/4. Which is smaller: w or x?
w
Let l be 1/6*3/2. Is 1/9 > l?
False
Let m(o) be the third derivative of -o**6/120 - 7*o**5/60 - o**4/24 - o**3/6 - 3*o**2. Let f be m(-7). Let s = -5 - -5.1. Which is smaller: f or s?
s
Let q(o) = o - 5. Let r = -4 + 5. Let p be 0/r + (-40)/(-8). Let x be q(p). Do 1/2 and x have the same value?
False
Suppose -3*o - o = 3*r - 11, 2*r - 4 = -o. Let z be ((-3)/(-6))/((-2)/(-20)). Suppose 4 = -g + z*g. Is r > g?
False
Let q be (-1)/2*4/(-6). Suppose -3*r + 2*i + 8 = -r, -2*i - 8 = -5*r. Which is greater: q or r?
q
Let t = -1 - -6. Suppose t*x - x = 0. Suppose 6*k - 3*k = x. Is k > 0?
False
Suppose 9 = -2*h + 3*h. Suppose 4*u = -s + 16, 7 = u + 3*s - 8. Suppose 5*z + 2*o = 30, -2*o = -u*z + 44 - 10. Is h > z?
True
Let u(t) be the first derivative of t**2/2 + 2. Let w be u(1). Let m be w - 2/3*3. Which is smaller: -1/12 or m?
m
Let d be (-15)/12 - 3/(-12). Suppose h - 4*y = 5*h, 0 = -5*h - y - 8. Is h at most as big as d?
True
Let o be (12/(-5))/((-4)/10). Let d = o + 2. Let j be d/(-32) - 3/4. Does j = 0.2?
False
Let v be -2*(0 + -1) + 0. Let q be ((-5)/3)/((-4)/12). Is v < q?
True
Let o be 5*(-1 - (-3)/15). Let h be 1*-2 - 24/o. Which is greater: 3 or h?
h
Let j = -1 - -16. Let s = -14.9 + j. Which is bigger: -0.07 or s?
s
Suppose 0 = k + 2 + 3. Let h(i) = i**3 + 5*i**2 + 4*i - 2. Let p be h(k). Let u = p + 43/2. Is u >= -1?
True
Let k = 3 + -3.04. Let n = k + 4.04. Let i = -4.1 + n. Is i at most 0?
True
Suppose -5*k = 5*r + 20, k - 2*r - 1 + 8 = 0. Let b = k + 5. Let n be 1/(-2)*8/6. Is n bigger than b?
False
Let b = -34 + 18. Let c = 16.1 + b. Which is smaller: c or -1?
-1
Let j = -39/11 - -997/275. Let m be (-3 - 1)*(-22)/88. Is j greater than or equal to m?
False
Let y(g) = -g**2 + g + 1. Let s be y(3). Let j(c) = c**3 + 6*c**2 + 3*c - 7. Let r be j(s). Let f be (-6)/(-36) - 23/(-6). Is f at most r?
False
Suppose 3*k - 57 = c, -3*k - 5*c + 57 = -0*c. Let w = k - 16. Do 4 and w have the same value?
False
Suppose -x = 5*o + 24, 2*x - 2*o = -0*o + 12. Let v be 1 - x - 1/(-1). Let z be (v + -1*2)*-1. Is 0 smaller than z?
True
Suppose 4*l + 18 = -10. Is l <= -8?
False
Let t = -38/39 - -892/195. Let h = t - 44/15. Let r = 1/15 - h. Is r greater than or equal to -2?
True
Let u = -12517/15 + 834. Which is smaller: 1 or u?
u
Let g be (-22)/(-4) - 1/2. Let z be (-6)/g + 2/10. Which is greater: -4/5 or z?
-4/5
Let m = 27 - 30. Is m < -16/5?
False
Suppose 0 = -3*h + 12, 0 = -g - 2*h - 2*h + 18. Let a(r) = -r**2 - 9*r - 17. Let f be a(-4). Which is greater: g or f?
f
Suppose -18*z = -21*z + 6. Suppose 2 = z*t - 5*i - 4, i = t - 3. Which is bigger: t or 5/3?
t
Suppose -3*b + 17 = 2*b + 2*j, -5*j = 2*b - 11. Let h be 1/(5/(-2) + 3). Suppose 0 = -x + h*x. Which is bigger: b or x?
b
Suppose -20 = -7*q + 2*q. Suppose 4*d - q = 6*d. Is -2 greater than or equal to d?
True
Suppose 3 + 1 = h. Let q be 0 - h/5 - -2. Is 1 less than or equal to q?
True
Suppose -5*d = -5*i + 85, -41 = -3*i - 2*d - 0*d. Let j be (-5)/i + (-5)/(-33). Which is bigger: 1 or j?
1
Suppose 0 = 4*v + 2 + 2. Let q be v + -2 + (0 - -4). Let m = q - 2. Which is bigger: m or 3?
3
Let f be (6/(-10))/((-4)/20). Suppose -17 = -3*q - x, q + 3 = f*x - 8. Suppose -3*v = -q*b + 10, -5*v - 6 = 2*b + 2. Which is smaller: 3 or b?
b
Let o be (26/6)/(3/(-9)). Let n = 12 + o. Is n less than or equal to -4/7?
True
Let n = -1 + 7. Let f be (-1)/(-6) + n/(-27). Which is bigger: f or -1?
f
Let s(t) = 11*t**2. Let j be s(1). Let c = j + -11. Is c greater than or equal to 0?
True
Let v be (-1)/((-2)/(-8) - 0). Let k(d) = -d**2 - d + 4. Let j be k(2). Let u = j - v. Is 2 > u?
False
Let z be ((-6)/(-4))/((-2)/(-316)). Let b = 1655/7 - z. Is b less than -1?
False
Let x = 519 + -14535/28. Let w = 9/28 - x. Is 1 not equal to w?
True
Suppose 2*g + 4 = -2, -16 = 4*s + 4*g. Is 0 smaller than s?
False
Suppose 5*u - 34 + 9 = 0. Suppose y - b - 8 = -2*y, -y = u*b - 8. Suppose 0*p + p = y. Is p smaller than 2?
False
Suppose a + 4*a = 5*c + 390, -c + 3*a - 74 = 0. Is -81 < c?
True
Let w = -23 + 46. Suppose w + 10 = -3*x. Is -0.1 at least x?
True
Let u = 0.41 - 0.4. Let p = 0.41 - u. Which is smaller: