2*z. Are z and w nonequal?
False
Suppose -4*p - 4*j = 13 - 1, -5*p = 2*j. Is p less than 10?
True
Let f = 50 - 48. Which is smaller: 14/13 or f?
14/13
Let f be (1/9)/(153/(-27)). Is -1 greater than or equal to f?
False
Let a(p) = 2*p + 5. Let l be a(0). Is l >= 6?
False
Let i be 2 - 28 - (-5 - (-5 - -4)). Are i and -17 unequal?
True
Let p = 0 - 11. Let d = p + 11. Which is bigger: -4/13 or d?
d
Let y(w) be the second derivative of -w**4/12 - 11*w**3/6 - 5*w**2/2 - 7*w. Let v be y(-10). Which is smaller: 4 or v?
4
Let o be -6*(-8)/30 - 1. Are -1/8 and o nonequal?
True
Let t(q) = -q - 3. Let g be t(-4). Let b = 4 - g. Is 1 bigger than b?
False
Let s be 16/(-2)*10/60. Is s < -2?
False
Let a(h) = h**2 + 9*h + 14. Let c be a(-7). Which is smaller: c or 1?
c
Suppose 0*q + q + 17 = 3*l, 19 = 5*l - 4*q. Let s(t) be the second derivative of t**3/3 - 4*t**2 + t. Let f be s(l). Is f bigger than 6?
False
Let r = -13 + 18. Let z = 5.4 + -5. Let j = z - 0.4. Which is greater: r or j?
r
Let j = 3 - 2.9. Let s be ((-1)/6)/(2/8). Which is greater: s or j?
j
Let m = 3.93 - -0.07. Let f = 5 + -7. Is f at least m?
False
Let i = 2.5 + -3. Let w = i + 1. Let r = 1.5 + w. Is r > 0.1?
True
Let z = -681/68 + 41/4. Which is smaller: z or 0?
0
Let h(v) = -3*v + 5. Let d(n) be the first derivative of n**2 - 4*n - 2. Let i(l) = -4*d(l) - 3*h(l). Let t be i(-2). Which is smaller: t or 1/11?
t
Let z = -1667/5 - -332. Suppose -2*t + 8 = 4*m, -m - 16 = -4*m - 4*t. Which is greater: m or z?
m
Let h(n) = n + 2. Let b be h(0). Let c = 7/8 + -5/24. Which is smaller: c or b?
c
Let f = 3 + -2. Suppose h + 3 = 9. Let g be ((-3)/h)/(2/(-4)). Is f less than or equal to g?
True
Let h be 2 + 0/(1*2). Let j = -44 - -12. Let z = j - -65/2. Is z at least h?
False
Suppose -8*n - 7 = -87. Suppose -5*k + 0*k = -n. Suppose 3*v - 4*d = -0*v + 18, -2*v + 4*d + 16 = 0. Are k and v nonequal?
False
Let o = -7 + 14. Let q be o - (1 - 0)*2. Suppose q*m - 2 = 3. Is 0 at least m?
False
Suppose -5 - 5 = -5*x, 0 = -3*j - 5*x + 19. Let v = -1 + j. Suppose v*b - 6*b = 0. Which is bigger: b or 1?
1
Let m be ((-110)/(-4))/5 + 0. Is m at most 5?
False
Let s = -2.3 + 2. Let x = s - -1.3. Let q = -0.1 - -0.1. Is q smaller than x?
True
Let a be (-1 + 51/4)/(10/24). Which is greater: 27 or a?
a
Suppose 0 = 5*o - o + 72. Let l = -25 - o. Is l <= -7?
True
Let l be 21/(-20) + (-3)/(-12). Is l < -2?
False
Suppose 0*t + t + 7 = 0. Let m(w) = -w**3 - 6*w**2 + 6*w - 3. Let u be m(t). Suppose 3*c - u = -c. Is -2/7 != c?
True
Suppose -41 = 3*d + 4. Let j be d/(-12) - 1/1. Let b = -24 - -24.04. Which is smaller: j or b?
b
Let m be (-11)/20 - (-3)/4. Is 0.17 bigger than m?
False
Let i = -28 + 41. Let s = -40/3 + i. Which is smaller: 2/9 or s?
s
Let j(a) = 2*a + 11. Let b(f) = f. Let g(k) = 3*b(k) - j(k). Let v be g(9). Is -2 smaller than v?
False
Let a = -10.9 - -30.5. Let z = a + -20. Is z > -1?
True
Suppose h - 13*x + 8*x + 30 = 0, -2*h + 5*x = 45. Which is bigger: -12 or h?
-12
Suppose -4*p + 301 - 321 = 0. Let d be 3 - 1*(0 + -1). Suppose 29 = -3*n + d*h, 2*h + 3 = 2*n + 19. Is n greater than or equal to p?
True
Suppose 0 = 4*p + 6 + 6. Let d be 11/(-4) + (-1)/4. Is d at most as big as p?
True
Let d = 118/21 + 19/7. Which is bigger: 9 or d?
9
Let x = 0.66 + -0.26. Let w = -2 + 2. Which is smaller: x or w?
w
Let k(d) = -d**3 + 7*d**2 - 10*d + 6. Let s be k(6). Which is smaller: -2/5 or s?
s
Let a = 0.4 - 0.3. Is a at least -2/3?
True
Suppose 5*q + 200 = -325. Let b be 2 - q - (-2)/1. Let j = b + -1198/11. Which is smaller: -1 or j?
-1
Let t = 39.2 - 42. Are t and -1/2 nonequal?
True
Let g = 0 + 0. Let r = 0 - 9. Let j be 32/(-66) + (-6)/r. Which is greater: j or g?
j
Let n be (-28)/(-126) + 94/(-18). Which is greater: -40/9 or n?
-40/9
Let t be -2*(2 - (-6)/(-4)). Let w(o) = -o**3 - 14*o**2 + o + 13. Let l be w(-14). Is l at least as big as t?
True
Let u(q) = -q**2 - 4*q - 3. Let x be (-6)/(-4)*4/(-2). Let j be u(x). Which is smaller: -3/7 or j?
-3/7
Let b(z) = -z - 4. Let t be b(-4). Let c(o) = 2*o + 9. Let x be c(-4). Let y be 1 - x/(7/8). Which is smaller: t or y?
y
Let g = -14 + 6. Let k be g/(-36) + -1 + 1. Which is smaller: k or -1/4?
-1/4
Let s = -403 - -132. Let g = 1900/7 + s. Is g >= -1?
True
Let o(z) = z**2 - 1. Let v be o(2). Which is greater: v or 9/5?
v
Suppose -4*z = 2*p - 443 + 37, -2*z - 3*p + 213 = 0. Let h be ((-34)/2)/(10/58). Let d = z + h. Is 0 equal to d?
False
Let k = 262 - 5500/21. Which is smaller: k or -1?
-1
Suppose -p + 0*p = 0. Let i be 16/9 + 6/27. Suppose 0 = 2*d - i - 0. Is d at most p?
False
Let g be 1 - 11/((-1485)/(-140)). Which is smaller: g or 1?
g
Let m = -533 + 7465/14. Is m less than -1?
False
Let y(s) = -s + 1. Let p be y(0). Let v be (-3 - (2 + -5))/(-1). Let q be 26/10 + (-2 - v). Is p > q?
True
Suppose 11 = -f - 5*l, 2*f + 3*l = -2*l - 7. Let g = -1 + 0. Let q be (-2)/g - (0 - 0). Which is bigger: f or q?
f
Let g be (1 + 0 + -9)/(-2). Suppose -5*l = n - 21, g*l = 4*n - 0*l + 12. Which is smaller: n or 3/13?
3/13
Let i(y) = -y**2 + 11*y - 9. Let a be i(9). Let k be 7/(-9) - 2/a. Are k and -6/7 unequal?
True
Let m = 23 + -14. Which is bigger: 10 or m?
10
Let w be (-6)/(-9) + (-22)/6. Suppose 0 = 3*t - 0 - 12. Suppose -16 = t*p + 5*i, -8 = 3*p + 3*i + 4. Is p greater than w?
False
Let c = -40.21 + 0.21. Let f = c - -33. Let o = 0.3 + 0.7. Which is smaller: f or o?
f
Let j = 0.2 + -0.4. Let p = j - -0.3. Let n = -11.8 + 12. Which is bigger: n or p?
n
Let v be (-13)/(-3) + (-1)/3. Suppose u - 6*u = -w - 16, 4*u = 4*w. Is v not equal to u?
False
Let n(m) = -m + 3. Let v be n(0). Let s be (v - -3)/(3/(-10)). Let k = 62/3 + s. Is k at most as big as -2?
False
Let r = -2 + 1.97. Let b = 0.258 - 0.028. Let c = b + r. Which is smaller: -2/5 or c?
-2/5
Suppose 3 - 9 = 3*p. Let o be ((-5)/(-50))/(2/(-24)). Which is smaller: o or p?
p
Let j be (7/(-525)*-5)/((-2)/(-12)). Are -9 and j equal?
False
Let k be (5 - 4) + 3 + -12. Is k > -10?
True
Suppose 84*a - 86*a + 16 = 0. Which is bigger: a or 0?
a
Suppose -29 = -4*l - 5*f, -22 = -l - l - 4*f. Let c(j) = -95*j + 1. Let d be c(-1). Let w = -673/7 + d. Is l <= w?
False
Let u = -14 + 13. Which is smaller: -1/19 or u?
u
Let n be (-1)/6 - 2/(-4). Which is smaller: n or -5?
-5
Let q = 2.2 + -3.2. Let z be ((-29)/9)/(2825/120). Let k = -2/565 - z. Which is smaller: q or k?
q
Let c(b) = 2*b - 8. Let f(t) = -2*t + 7. Let h(a) = 4*c(a) + 5*f(a). Let w(k) = -2*k + 3. Let g(l) = -6*h(l) + 5*w(l). Let m be g(2). Is m at least 0?
True
Let z = -298/351 - -12/13. Let l(m) = -m**2 + 3*m + 3. Let d be l(4). Is z at most as big as d?
False
Let r = 2.862 - -0.038. Let g = 5.1 - 2.1. Let l = r - g. Is l smaller than 0?
True
Suppose 0 = -0*w - w + 3. Suppose -w*a + 6 = q, -3*a = -q + 21 + 3. Suppose -i - q = -5*x - 3*i, 3*x = -5*i - 10. Is x >= 4?
True
Let j = -0.3 - -7.3. Let y = j + -6. Does y = 0.1?
False
Let j = 3 - 2. Let q = 1.3 - -0.7. Let o = j - q. Is o at most -0.1?
True
Suppose -4*v = -2*k - v - 6, -3*v = -5*k - 6. Which is smaller: 2 or k?
k
Let z be (-1)/4 - 75/20. Let u be ((-2)/10)/(z/(-5)). Which is bigger: 0.06 or u?
0.06
Let o = 8 + -7.88. Let g = 0.4 - o. Let r = -0.02 - g. Is 0.1 greater than or equal to r?
True
Let y = -1/8 - -5/8. Let t be (-6)/(-15) + (-14)/(-690). Let q = 2/23 - t. Is y less than q?
False
Let x = -10 - -14. Suppose 4 = -2*f - 5*n, 4*f + n = -4*n + 12. Suppose 0*h = x*h + f. Is -1 smaller than h?
False
Suppose 3*l - 7*l + 888 = 0. Let h = 6880/31 - l. Is h greater than or equal to -1?
True
Let b = -0.16 - 0.04. Let y = -28/15 - -6/5. Which is greater: y or b?
b
Let u = 12.71 - -0.29. Which is bigger: u or 1?
u
Let k = 4 + -4.01. Let h = -0.07 - k. Let w = -0.26 - h. Is w less than -2?
False
Let t be 2 + (1 + -2 - 2). Let h be (0*(-1)/2)/t. Let l be 2/(-7) + 51/105. Which is smaller: l or h?
h
Let t = -22397/4025 + -4/575. Let j = t - -6. Do j and 0 have the same value?
False
Let o = -26.1 + 26. Is -2/5 at most o?
True
Let t = -32 - -19. Is t > -12?
False
Suppose s + 2*s = 0. Let o(c) = c**3 - c**2 - c - 9. Let f be o(s). Let q be 2/(-5) + f/15. Which is smaller: 1 or q?
q
Let y be 4/(32/(-10))*4. Is y > -6?
True
Let k be (-18)/(-30) + (-78)/80. Which is smaller: 1 or k?
k
Let q be (3 + (-172)/56)*37. Let p = -15/7 - q. 