 Is -3 greater than w?
True
Let p be -3 + 3/((-18)/(-56)). Let d = 203/33 - p. Which is smaller: 0 or d?
d
Let k = 2.6 - -4.4. Which is smaller: 0 or k?
0
Suppose -5*d = -5*g, 2*g + 2*d - 3 = 3*d. Suppose 3 + 0 = g*x. Which is bigger: 0 or x?
x
Let j = 2 + 2. Suppose -a + 2 = -3*n - 1, -j*a + 12 = 0. Do 0 and n have the same value?
True
Suppose -4*j = -3*j - 9. Let r = 24 - j. Let c be 5/(-6) - (-10)/r. Which is greater: 0 or c?
0
Let g = -0.55 + 0.5. Let y = g - 0.55. Let v = -0.6 - y. Is -3 less than or equal to v?
True
Let w be 1 + 137/(-43) + 2. Which is smaller: w or 1?
w
Let h(s) = -s**2 - 5*s - 4. Let m be h(-7). Let v = -17 - m. Which is bigger: v or 0.6?
v
Let m = -19 - -10. Let r = m + 10. Is r less than 2?
True
Let g = 173 + -300. Let z = g + 1141/9. Let b(r) = r. Let f be b(0). Which is smaller: f or z?
z
Let n = -1 + 5. Let s(t) = 3*t - 6. Let r be s(n). Suppose 3*h - r = -3. Is h >= -2/17?
True
Let k be (-4)/(-24)*(-477)/(-2). Let h = -39 + k. Do h and 0 have different values?
True
Let n(y) be the third derivative of y**5/60 + 7*y**4/24 - y**3/6 + y**2. Let v be n(-7). Suppose -2*k - 4*c = -3*c - 2, -2*k - 2*c + 4 = 0. Is k <= v?
False
Let k be (-2)/(7/(-3)*-3). Let t = 0.96 - 1. Which is bigger: k or t?
t
Suppose -3*j - j + r = 30, 0 = 3*j + 4*r + 32. Let u = j - -7. Suppose -2*v = -7*v + 2*t + 5, -4*v = 3*t - 4. Does u = v?
False
Suppose -2*x - 25 = 2*k + 3*x, -5 = k + x. Suppose k = -5*t + 3*t. Which is smaller: t or -2/3?
-2/3
Let l = 2.5 + 0.5. Which is smaller: l or 1/2?
1/2
Let j(a) = -a**2 + a - 1. Let u be j(2). Which is smaller: u or -2?
u
Let z = -14.2 + 15.7. Is z at least -1/4?
True
Let g = 40969/28 + -1463. Which is smaller: -1 or g?
-1
Suppose b + 2*b + 16 = -5*k, 2*b - 2*k = 16. Suppose -4*s + 47 - 15 = 0. Suppose u + 3*u = s. Which is greater: u or b?
b
Suppose 5 + 23 = 4*c. Let v = 4 - c. Let h be (v/6)/((-1)/(-10)). Which is greater: -6 or h?
h
Suppose -u + 4 = -0. Let o(d) = d**2 + d + 5. Let r be o(0). Suppose 2*m = -u*g - 6, 2*m + r = -g - 1. Which is greater: g or 2?
2
Let c = -1837/68 + 27. Which is bigger: c or 0?
0
Let o = -8.9 - -9. Is 3 smaller than o?
False
Let u be (80/32)/((-1)/12). Is -29 <= u?
False
Let r = 0.01 + -11.01. Let o = 10.8 + r. Which is bigger: 0 or o?
0
Let t = 1.4 - -3.6. Let y = t - 4. Which is bigger: 0.3 or y?
y
Let f = 12.5 - 13. Which is smaller: -3/4 or f?
-3/4
Suppose p + 52 = 5*p - 4*i, -2*i + 14 = 3*p. Is p greater than 7?
True
Suppose 4*v - 1 - 9 = -3*c, 2 = 3*c + 2*v. Let w = -1 - -1. Suppose 5*f - 25 = w, -6*i + 5*f = -2*i + 29. Which is smaller: c or i?
c
Let u = 17 - 17.7. Let p = u - -1. Let d = 458.8 - 459. Which is bigger: p or d?
p
Suppose 3*f = f + j - 3, 5*f + 3*j = 9. Which is greater: 1/8 or f?
1/8
Let a = -0.1 + -1.9. Let r = -108577/15 + 7241. Let t = -11/5 + r. Which is bigger: a or t?
t
Let f = 0.18 - 0.08. Is 11 at most as big as f?
False
Let w = -101 - -911/9. Suppose 5*p - 25 = 15. Suppose -5 = -t + a, 4 + p = -3*a. Is t greater than w?
True
Suppose -5*o = -11 - 14. Suppose -3*r + 5*k + 6 - 43 = 0, -21 = -r - o*k. Which is greater: r or -3?
-3
Let j = -18607 - -93412/5. Let k = -75 + j. Which is bigger: k or -3?
k
Let d be 1 + 4/(-56)*18. Let t = 9 - 6. Suppose -6*l + b = -4*l + 3, -t*l - 5 = -2*b. Which is smaller: l or d?
l
Let d(l) = l**3 - 5*l**2 - 3*l + 10. Let i be d(5). Suppose -2*b + 20 = -4*w - 10, 2*b + 3*w = -5. Suppose -2*a = -b*a - 12. Does i = a?
False
Let s be ((-6)/117)/(2/(-6)). Is 1 < s?
False
Let q = -5 - -5.1. Is 1/2 smaller than q?
False
Let t = 11 - 7. Suppose -3*k = 12, -3*c + 0*c = -t*k - 28. Are c and 3 non-equal?
True
Suppose 59 = 16*f + 11. Is 3 greater than or equal to f?
True
Let n = 8 + -4. Suppose 0 = n*p - p + 12. Suppose 0 = -k + 3*c - 9, -k + 2*k - 2*c = -7. Which is greater: k or p?
k
Let z be 2/5 - 4/10. Let i be z/(-3 + 2 + 2). Is 4/3 < i?
False
Let p(o) = o**3 + 3*o**2 - 4*o - 1. Let g be p(-4). Is g smaller than -2/77?
True
Let x = 6.8 + -7. Let p = -2 - -2.5. Let y = p - 0.4. Which is bigger: x or y?
y
Let u(q) = -3*q + 15. Let j be u(8). Which is smaller: -7 or j?
j
Let n = 4 + -4. Let s be -1 - 2/(-8)*1. Which is smaller: n or s?
s
Let a be (1 + -1)/(10 - 13). Are a and 2/7 unequal?
True
Let u(p) = -7*p**3 - p**2 + 2*p - 1. Let r be u(1). Let w = 18 + r. Suppose 2*q + w - 3 = 0. Is q equal to -3?
False
Let u = 4612/3 - 1553. Let x = -16 - u. Which is greater: 10 or x?
10
Let a be 72/(-33) + (24/11 - 2). Which is smaller: -5/2 or a?
-5/2
Suppose 0 = -a - 5*f + 9, a - 4*f = -5 + 41. Let j = -121/5 + a. Let s = 3 + -2. Which is bigger: s or j?
s
Let y = -54 - -54.1. Is 3 less than y?
False
Let s = 10 - 41/4. Is 11/4 >= s?
True
Let z = 55 - 55. Which is smaller: z or -2/81?
-2/81
Let p = 1.1 + -1.3. Is p greater than -0.4?
True
Let f(y) be the third derivative of -y**5/60 + 7*y**4/24 + y**3/6 + y**2. Let j be f(7). Is -2/7 >= j?
False
Suppose 4*i = 40 + 28. Let g = i - 15. Which is smaller: g or 0?
0
Suppose -2*a = 6 + 4, -b = 5*a + 24. Which is smaller: b or 6/11?
6/11
Suppose 9*v + 22 = 4. Is v > -0.1?
False
Suppose a + 2*z = 4*z - 1, 5*a = 5*z - 25. Let n be -1 - a/(-6) - -2. Are -1 and n nonequal?
True
Let p be 100/48 + (-2)/(-8). Let t = -2 + p. Is t at most -2?
False
Let m be (-9)/(-15) + (-56)/10. Let n = 4 + m. Which is smaller: n or 1?
n
Suppose -2*f = 3*f - 4*o, 3*f + o = -17. Let z be f*(-2)/(49 + 3). Is 0 >= z?
False
Let r = -83 + 67. Which is smaller: r or -49/3?
-49/3
Let q(y) = y - 8. Let a(m) = 2*m - 9. Let z(n) = -2*a(n) + 3*q(n). Suppose -b + 5*l - 1 = 0, b - l = -3 - 2. Let w be z(b). Which is greater: -5/4 or w?
w
Let c = -1.1 + 3.1. Let r = 1.7 - c. Which is smaller: r or -2/7?
r
Let w(y) = y**2 + 6*y + 2. Let q be w(-6). Let c be 1/((-15)/(-9) - q). Let t = c - -11/4. Which is greater: -2 or t?
t
Let t = 21.314 + -0.364. Let h = t + -21. Is 0.1 at least h?
True
Let b = 4 - 3. Suppose -5*c + 2*x + 100 = 0, -4*c - 2*x + 69 = 7. Are b and c equal?
False
Let u(c) = 4*c - 3. Let s(k) = 5*k - 3. Let z(o) = 5*s(o) - 6*u(o). Let p be z(-3). Suppose -5*v = 4*t + 1, 3*v = 2*t - 4 - 1. Is t > p?
True
Let i = 1 - -1. Suppose 0 = 5*s + i*h - 53, s - 4*h = 2*s - 7. Let n be 2 + 0 - 20/s. Which is greater: n or -1?
n
Let o = 7 - 6. Which is smaller: o or -1/5?
-1/5
Suppose 8*g + 43 = 3*g + 3*d, 4*d = -2*g - 12. Let f = g + -6. Let s be -1 + 0 + (-12)/f. Which is greater: -1 or s?
s
Let b be (8/(-10))/(806/195). Do -1 and b have the same value?
False
Let f be (-66)/7*(-336)/30. Let t = f - 106. Let h = 1 + -5/4. Which is smaller: t or h?
t
Let p(a) = a - 1 + 0 - a**3 + a**2 - a. Let x be p(-1). Is 0 at least x?
False
Let s(o) = -2*o - 11. Let m be s(-9). Is m equal to 8?
False
Let k = -129 + 127. Let r = -0.85 + 0.15. Is r greater than k?
True
Let b be 3/(708/212) - 1. Let c = b - -184/649. Are c and 0.1 unequal?
True
Suppose -4*u = -8 - 4, 2*u - 2 = 4*h. Is h < 2?
True
Let w = 0.3 - 0.1. Let a = 0.215 + -0.015. Is w bigger than a?
False
Let i = -60/17 - -1/34. Is -3 < i?
False
Let h = 34 + -37. Which is smaller: -5 or h?
-5
Let v = 0.05 + -0.85. Let x = -1 + 2. Let n = v + x. Is n greater than 1?
False
Let u = 1 - -5. Suppose -5*x - u + 16 = 0. Is x >= 3?
False
Let m(i) = 3*i + 6. Let d be m(-4). Let z = 2 - 7. Which is smaller: d or z?
d
Let k be 1/8 - (-195)/104. Suppose 0 = -k*w + 13 - 1. Is w bigger than 4?
True
Let f = -32 + 226/7. Let l = -4 - -4.1. Which is bigger: l or f?
f
Let j = -22 - -16. Is j smaller than 0?
True
Suppose -4 + 1 = 3*z. Let r = -1 - -8/7. Which is greater: z or r?
r
Let h = -0.34 - -0.09. Let q = h - -0.05. Let i = 0.1 - q. Is i != -0.3?
True
Let u be (0 - (0 - 1)) + (-16)/48. Let j(b) = -b**3 - 4*b**2 + 6*b + 6. Let y be j(-5). Which is bigger: u or y?
y
Suppose b = -b + 5*j + 10, -2*j = -3*b + 4. Is b < 2?
True
Let o = 7315/23 + -318. Are -1 and o equal?
False
Suppose 0 = w + k + 2*k - 36, 0 = -2*w + k + 51. Let f be -3 + (435/w)/5. Which is smaller: -1 or f?
-1
Let o = -443/9 - -49. Which is greater: -1/30 or o?
-1/30
Let w = -47 + 76. Suppose 3*o - i = -w, -5*i + 2*i + 15 = 0. Which is smaller: -7 or o?
o
Let t(r) = 2*r - 1. Let f be t(2). Suppose a + w + 4 = -f*w, -15 = 5*w. Suppose 0 = 2*y + 2, -5*o - 7*y + 3*y = -31. Which is smaller: o or a?
o
Let z(q) be the first deriv