 Let y be w(-4). Which is greater: y or b?
y
Let j(h) = 1. Let d(c) = c + 1. Let a(s) = -d(s) - 3*j(s). Let n be a(-7). Suppose 0 = -y - 1 + 3. Which is greater: y or n?
n
Let z = -0.4 - 0.6. Which is smaller: z or -0.1?
z
Let c = 4 + -7. Let l = c + 3.04. Which is smaller: l or 0.1?
l
Let r = 0.054 - 0.054. Which is smaller: r or -17?
-17
Suppose 8*y - 20 = 4*y. Let s be y/25*(-5)/6. Which is bigger: s or 0?
0
Suppose 0 = -5*j + 3*j. Let z be 6 + (0 - j)/1. Let x be (4 - z) + 4/2. Is 2/5 smaller than x?
False
Suppose -2*i - 421 = -11. Let c = i + 604/3. Which is smaller: -4 or c?
-4
Let t be 38/6*(-27)/366. Let d = t - 2/61. Which is smaller: -1/5 or d?
d
Suppose -3 = 3*b - 9. Which is smaller: b or 6?
b
Let p = 17 - 25. Let i = -21 - p. Let g be (-2)/(-12) + i/6. Is -3 less than g?
True
Suppose -5*v - 4 = s - 2*v, -4*s + 3*v = 1. Let w be 2/((-2)/21*-3). Is w greater than s?
True
Let n = 0 + -2. Suppose 3*g = 2*h - 11, 5*h + 2*g = 5*g + 14. Suppose c + 0 = h. Which is greater: n or c?
c
Let u be 2*(-2 + -2) - 0. Let q = -11 - u. Suppose -y + 15 = -6*y. Is q less than or equal to y?
True
Let j = -60 - -143. Is j smaller than 84?
True
Let y = -0.04 - -0.23. Is 1 bigger than y?
True
Suppose 1 = c + 3*s - 0*s, 4*s + 29 = 3*c. Suppose -c = -4*t + 5. Suppose 0 = 2*q + t*q. Which is bigger: q or 1/5?
1/5
Let w = 132 + -651/5. Is w smaller than 1?
False
Let g(u) = 11*u**2 - u + 1. Let m be g(1). Suppose -4*a - 3*d + 5 = 0, -2*d - m = 5*a - 4*d. Suppose 5*j = 5 - 20. Is j greater than a?
False
Let a = 31203/9107 - -3/1301. Which is greater: a or 1?
a
Let w be (-4)/10 + 240/225. Is 0.5 less than w?
True
Let k = 2/1165 + 456/5825. Which is bigger: 0 or k?
k
Let p = -2 + 7. Let q = p + -3. Let s(w) = -w**3 - 5*w**2 + 6*w + 2. Let n be s(-6). Is q at most n?
True
Let s = 161 + -144. Which is bigger: -2 or s?
s
Let h be (-16)/51 - 8/(-12). Let o = h + -61/221. Is 1 >= o?
True
Let j be (3 + -4)/(1/1). Let k = 81 - 18. Let s be (-2 - (-120)/k)*3. Which is greater: s or j?
s
Let l be ((-6)/(-99))/(2/(-6)). Let p = 0 - 0. Which is greater: l or p?
p
Let x be (-2)/(-3) + 2/(-3). Suppose 0 = -x*w - w. Let n be 1 - 0 - (-1)/(-3). Which is bigger: w or n?
n
Let o = -4 - -5. Is -1 bigger than o?
False
Let t = 4.6 - 5.2. Which is bigger: t or -1/4?
-1/4
Suppose -6*q + 30 = -q. Let c(f) = f**2 + 4*f + 6. Let g be c(-4). Is g at most q?
True
Suppose 2*f + 2*f = -100. Let t be ((-4)/f)/(2/5). Is 0.2 less than or equal to t?
True
Let s = -2 - -1.8. Let f = s - -1.2. Let h = f + 0. Which is greater: h or 1/2?
h
Suppose -2*a - 4*r + 20 = 0, -3*a + 7 + 18 = 5*r. Let k = 4 - a. Let s = k + -2. Is 1 greater than or equal to s?
False
Let o be -9 - (-4 - 0/(-1)). Which is bigger: o or -4?
-4
Let d be (-1)/(-3) - (-2)/(-2). Do d and 7/6 have the same value?
False
Let f be (2*(-2)/(-12))/(-2). Let o = 4/3 - f. Which is greater: o or 3?
3
Let s be ((-8)/6)/((-10)/(-15)). Let g be (-1)/(-2)*(-1)/1. Which is bigger: g or s?
g
Let w be 2/(-5) - (-18)/45. Which is smaller: w or -1/16?
-1/16
Let a = 6 + -3. Let k = a - 4. Which is greater: k or -1/4?
-1/4
Let c be 0 + 3 + 0 + -3. Let v be (2/4)/(1/(-6)). Which is greater: v or c?
c
Let w = -2.1 - -2.4. Let l = w + -5.3. Which is smaller: l or 0?
l
Let v be 9/(-18) - 58/4. Is v less than -15?
False
Suppose t = -t + 14. Let l be (-2)/t - 16/(-7). Suppose -3*f - 5*r = -12, 2*r + 13 = l*f + 7*r. Is f >= -1?
True
Let d = 0.3 + -1.3. Let c = d - -5. Is -1/2 bigger than c?
False
Let w(c) = -c**3 + 6*c**2 - 5*c + 1. Let m be w(5). Suppose 5 = -2*g + m. Does g = -2?
True
Let x(m) = -3*m + 17. Let b be x(6). Are b and 3/133 unequal?
True
Let s = -8 + 0. Let i(a) be the first derivative of -a**4/4 - 3*a**3 - 9*a**2/2 - 7*a + 1. Let n be i(s). Which is bigger: n or 0?
n
Suppose 5 = d, 2*w - w + 36 = -5*d. Which is smaller: -60 or w?
w
Suppose -2*x + 27 = d, 5*x + 3*d - 4*d - 64 = 0. Which is greater: 12 or x?
x
Suppose -s + 5*f = -4*s + 16, -2*f = -10. Let l be 0 + ((-4)/(-2) - s). Suppose l*v - 4*v = 0. Is -2/13 smaller than v?
True
Suppose 4*q = 3*z + 19, 3*z = -z - 5*q + 16. Let x = 2 - z. Suppose -x*t + 4*t = 4. Is 3 < t?
True
Let j = 11077/9 + -1232. Which is smaller: j or 0?
j
Let g be 1/(-42)*(-3 + -1). Let t(u) = -u**2 - 2*u + 2. Let y be t(-3). Which is smaller: y or g?
y
Let o(z) = 2*z. Let l be o(-6). Which is greater: -25/2 or l?
l
Let o = -1.6 - -0.6. Is o smaller than -1?
False
Let q(d) = -d**2 - 13*d + 13. Let f be (-88)/6 - 6/(-9). Let l be q(f). Which is greater: l or 2/5?
2/5
Let t = -1 + 3. Suppose -w - 2*u = -u - 2, -t*w + 4*u = 2. Is 1/7 equal to w?
False
Suppose 6*h + 6 = 3*h. Which is smaller: -4 or h?
-4
Let n = -5 - -3. Let a = 1 - n. Is a less than 1?
False
Suppose -5 = 5*v - l, -2*v + 2*l - l = 5. Let t = -2 + 6. Let d be (-30)/18*t/10. Which is bigger: v or d?
v
Let y = -0.1 + 0.04. Let t = 3.94 - y. Let f = 4 - t. Are f and 2/9 non-equal?
True
Let z be -1 + (-148 + -2)/3. Let j be 2/11 + z/(-22). Which is smaller: 3 or j?
j
Let b(x) = -x**3 - x**2 + x + 1. Let y be b(-1). Let n = -126203/5 + 25107. Let v = n - -134. Which is smaller: y or v?
y
Let z be ((-1)/3)/(-6 + 7). Which is smaller: z or -2/113?
z
Let j(u) = -u + 12. Let i be j(9). Let b = 0.9 - -0.1. Let o = b - 2. Is i smaller than o?
False
Let g = 0.7 - 1. Let r = 193.9 + -186. Let m = -8 + r. Which is bigger: g or m?
m
Let y be 2/1 + (-26 - -15). Which is bigger: -10 or y?
y
Let c = -2 + 0. Let s(a) = 2*a - 3. Let k be s(1). Which is smaller: c or k?
c
Let n = 1.02 - 0.12. Let s = n - 0.9. Is s >= -6/5?
True
Let q = -30 - -31.7. Which is bigger: q or 1?
q
Let v = 6.9 - 7. Let j = v + -0.8. Is 2/3 smaller than j?
False
Let d = 8638 - 42778/5. Let y = 82 - d. Let m = -1473/25 + 59. Is y <= m?
True
Suppose -7 = -5*k + 3. Let x = -14 + 15. Are k and x nonequal?
True
Suppose -b + 7 = 3*v, 2*v - 5 = -1. Suppose -b = 4*r + 3. Let u = 2 - 5. Is u greater than r?
False
Let b = -0.16 - -1.16. Let f = -0.2 + 0.25. Is b at least f?
True
Suppose -3*r - 2*r = 80. Let d be 2 - r/(-6)*1. Let s = -8 + 7. Do s and d have different values?
True
Suppose -y + 2 = -3*k, -3*k + 2 = -k - 4*y. Let h be 3/10 - k/(-2). Let d be 2/(-4)*(-2 - -2). Which is greater: h or d?
d
Let c be 2/(-1) + (-84)/(-39). Let w(u) = u**3 - 7*u**2 - 7*u - 8. Let k be w(8). Let z be (-1 - -3) + (-3 - k). Is c greater than or equal to z?
True
Let t = 20.998 + 0.002. Is t > -1/2?
True
Let c = 31 - 13. Let f be (1 - -2) + c/(-5). Which is smaller: -1 or f?
-1
Suppose 0*v = 2*v + 24. Is v smaller than -10?
True
Let q be (-13)/140 - (-6)/42. Is 1 greater than q?
True
Suppose 7*h = 10*h + 4*o - 1, 4*o = 2*h + 6. Which is smaller: 2/23 or h?
h
Let g = -58/171 - 2/19. Suppose -4 = x - 4*u, 2*x - 5*u + 8 - 3 = 0. Which is greater: x or g?
x
Let p = 1.81 - -2.24. Let j = p - 4. Let f = j + -0.35. Is f at least as big as -1?
True
Suppose 2*k = 4*y - 2*k - 48, 5*y - 54 = 3*k. Let b be (-8)/12*y/2. Which is smaller: -2 or b?
b
Let u = 29 + -27. Which is greater: u or 2/19?
u
Let j(u) = -3*u**2 + u - 1. Let n be j(-1). Does n = -4?
False
Suppose -2*h + b = 9, 4*h + 8 = b - 11. Let z be (-1 - 6/h)/1. Let l(o) = 3*o + 8. Let v be l(-3). Which is greater: v or z?
z
Let d(v) = -2*v**3 + 7*v**2 - 5*v. Let l(f) = -f**3 + f**2 + 1. Let c(a) = d(a) - l(a). Let p be c(5). Is 2/5 less than p?
False
Let u be 1/((-9)/12) - -4. Is u at least as big as 4?
False
Let z(p) = p**2 - p + 4. Let w be z(0). Suppose 4*g = -w - 12. Is -4 bigger than g?
False
Let l be (-2)/2 + 174 + -1. Suppose -3*v + 3*u + 2*u - l = 0, 0 = 3*u + 3. Let p = v - -235/4. Which is bigger: p or 0?
0
Suppose -14*u - 6*u + 40 = 0. Suppose -2*f - 2*f + 8 = 0. Suppose -y = f*y. Which is smaller: y or u?
y
Let y be (32/80)/(1/(-5)). Which is greater: y or 0?
0
Let t = -15 + 14. Which is smaller: t or 5/6?
t
Let p = -4 - -6. Let d(b) = -b**2 - 4*b + 2. Let m be d(-4). Is m at least as big as p?
True
Let p be 195/(-9)*(-2)/10. Is p < 4?
False
Let n = -6 - -6. Suppose n = -6*w + w. Suppose 4*f = 5*o - 0*o - 20, 3*o = 4*f + 12. Is w greater than f?
False
Let g = -6.4 - -6. Let r = -41 + 41. Let a = g + r. Which is smaller: a or 0?
a
Suppose -2*y - 14 = b, -3*b - 3*y - 34 = -y. Let c = b - -9. Which is greater: c or 2/37?
2/37
Let n = 3929/33 + -119. Which is smaller