- 9. Let j be y(7). Let w be j/(-4)*(-3 - 1). Which is bigger: -1 or w?
-1
Let q be (7563/21)/(12/14). Let p = 419 - q. Is p != 1?
True
Let q be (6/(-4))/((-9)/12). Suppose h = -2*v + 2, 0*h + h = -4*v + 2. Is h at most as big as q?
True
Suppose 3*n + 21 = 3*x, -2*x + n + 12 + 3 = 0. Let y be 55/(-35) - x/(-14). Let g be -2 + (2 - 0) + -1. Is g greater than y?
False
Let x(j) = -5*j - 1. Let g be x(-2). Let r be (g/2)/(12/(-16)). Let p = 5 + r. Which is bigger: 2/5 or p?
2/5
Let l = -23 - -38. Does l = 14?
False
Let f(m) = -3*m + 3. Let j be f(8). Let d be ((-39)/j + -2)*1. Is -1 < d?
True
Let z(h) = 3*h - 1. Suppose 7*a - 3*a = -4. Let w be z(a). Let o be 16/10*(-1)/w. Which is smaller: 1 or o?
o
Let w(r) = 4*r**3 + 2*r**2 - 1. Let t be w(1). Let a = t - 3. Let x be (-5)/9 + a/6. Are 1 and x equal?
False
Let q = 15 - 18. Do -3 and q have the same value?
True
Suppose -1 = v - 2*v. Let z be 3/(-27)*v*-2. Suppose 2 = -0*m + 2*m. Is z >= m?
False
Let z = -103/10 + 21/2. Is -9 >= z?
False
Suppose 5*u + 2*v = 2*u + 14, -u - 18 = -5*v. Suppose f + 2 = -u. Which is greater: -7 or f?
f
Let p = -215/7 - -31. Suppose -4*z = 4*j + 12, z - 17 + 2 = 5*j. Which is bigger: p or z?
p
Let x = 3/370 + 919/740. Suppose 10 = -2*d + 4*m, 4*d + 4*m - 40 = -0*m. Suppose -18 = v - d*r, v + 2*v = -3*r + 18. Is v less than or equal to x?
False
Let d = 0.8 + -0.4. Let b = d + -0.3. Suppose 2*k + 2*u = 5*u + 8, -u + 3 = 5*k. Which is smaller: b or k?
b
Let x(v) = v**3 - 6*v**2 + 8*v - 6. Let z be x(5). Suppose 3*h = -2*w - z, w + 15 = 4*w - 5*h. Is -3/7 equal to w?
False
Let o be ((-25)/(-15))/(3/9). Suppose 3*m + o*b = 7, -m - 2*b + 0 = -3. Do m and -2/5 have the same value?
False
Let z(b) = -b**2 - 2*b - 3. Let r be z(-2). Let q = -5 - -2. Is r at most as big as q?
True
Let i = -3149/45 - -592/9. Is i at most as big as -3?
True
Let i be (-2)/3 - ((-15)/(-18) + 0). Which is greater: i or -3?
i
Let c be (-1)/(22/8 - 2/8). Are -1 and c equal?
False
Let i(v) = 12*v**3 - v - 1. Let k be i(-1). Let n be (-1)/((-8)/k*-6). Is 2 greater than or equal to n?
True
Let w = -149886097/296985 - -4/22845. Let g = -505 - w. Is g at least as big as 0?
False
Suppose 0 = 3*p + 3*n - 78, -5*p - 2*n + n = -150. Which is smaller: 30 or p?
30
Suppose 3*d - 66 = 78. Let s = d + -71. Let f = s + 47/2. Is f at most as big as 0?
False
Let q(s) = -s**3 + 5*s**2 - 5*s + 4. Let m be q(4). Let x be m + 10/(-8) + 2. Let d be (-2)/(-3)*-3 - -3. Is d not equal to x?
True
Let x = -21 - -31. Let s be 6/x - (-17)/(-45). Are s and -2/7 equal?
False
Let g be (0/(-2 - 1))/2. Let z(o) = -o + g*o + 8 - 2. Let u be z(6). Which is greater: u or -1/2?
u
Let m be (-1)/(-3)*(-5)/(-30). Which is bigger: m or 1/2?
1/2
Let p = 11.04 + -13. Let n = p + -0.04. Let y = -0.1 + 0.1. Which is greater: n or y?
y
Let w(o) = -o - 3. Let d(u) = 1. Let z(p) = -3*d(p) - w(p). Let x be z(0). Is 1/2 smaller than x?
False
Let t be -4 - -3 - (-1 + -2). Suppose 0 = 3*x + t + 1. Which is smaller: 2/21 or x?
x
Let h = 11 + -11. Suppose -a = -5*j - h - 9, -3*a + 7 = -5*j. Let s = 4 - j. Do 5 and s have different values?
True
Let i = 4581743/41545 - -11/5935. Let t = i - 110. Which is smaller: 2 or t?
t
Let z(o) = -3*o + 1. Let q be z(1). Let d be q/1 - -4 - 2. Let g be ((-1)/(-3))/(9/(-6)). Is d > g?
True
Let r be -4 - 34/14*-2. Which is smaller: r or 1?
r
Suppose 0 = 2*v + 5*o + 4 - 1, 0 = -3*v - 4*o - 8. Let r(c) = -c**2 + 11*c - 13. Let p be r(9). Let b = p + v. Are 4/5 and b equal?
False
Let j = -6.7 - 2.3. Let k = 10 + j. Which is smaller: -0.9 or k?
-0.9
Suppose 2*p - 20 = -2*p. Is 3 smaller than p?
True
Suppose 5*w + 4*b - 3 - 14 = 0, 2*b = w + 5. Suppose -4*y = -2 - 2. Are w and y unequal?
False
Suppose 3*f = 5*f + 18. Let w be (-17)/7 + f/(-3). Which is smaller: 2 or w?
w
Let y(h) = -h**2 - 9*h - 1. Let i be y(-9). Which is bigger: i or 2/117?
2/117
Let u = 155 - 150. Which is bigger: u or -4/7?
u
Let l = -1/9 - -7/9. Suppose 5*f - 6*f + 1 = 0. Which is smaller: l or f?
l
Suppose -3*g + 18 = 3. Are g and 6 non-equal?
True
Suppose -60*i + 43*i = -68. Suppose -r - 4*g = -0*g + 7, 0 = -5*r - 3*g + 16. Is i not equal to r?
True
Suppose 0 = 4*q - 3*n - 24, -5*q + 35 = 3*n + 5. Let u be (36/3)/(q/4). Let a be 14/(-30) - u/(-12). Which is smaller: -0.1 or a?
-0.1
Suppose -u - 18 = -4*u. Suppose -y = -3*y + 12. Is u at least y?
True
Let r be (8 + -1)/((-2)/12). Let s be (4/6)/((-4)/r). Is s bigger than 7?
False
Let n(v) be the second derivative of v**5/20 - v**4/4 + v**3/6 - 2*v**2 - 2*v. Let s be n(3). Which is bigger: -1/2 or s?
-1/2
Let o be 2/(-3) + 14/3. Suppose -2*y - o = -3*y. Let g be (10/y - 2)*0. Which is bigger: -4/5 or g?
g
Let j = 30/7 + -88/21. Is 0 != j?
True
Let q = -13 + 15. Let w = 0.9 + -0.1. Let u = w + -1. Which is greater: q or u?
q
Let d(g) be the third derivative of g**6/120 + g**5/15 + g**4/8 - 4*g**2. Let l be d(-3). Let w be -1*(-1 - (-7)/6). Which is greater: w or l?
l
Let r(u) = -u**2 + 8*u - 5. Let w be r(7). Suppose -k = w*k + 3. Let v = -3/2 - k. Which is smaller: v or -1?
-1
Let a be (-8 - -3) + 2/1. Which is smaller: a or 0.4?
a
Suppose -3*o - 24 = -3*n, -3*n + 3 - 11 = 5*o. Which is smaller: 1 or n?
1
Suppose 0*u = -l - u + 7, -3*l = 4*u - 17. Which is smaller: l or 10?
10
Suppose -2*z + 70 = 3*k, -4*z + 52 = 2*k - 0*z. Is 22 less than or equal to k?
True
Let p = 254/91 + -40/13. Which is smaller: 1/10 or p?
p
Suppose 4*t + 47 = t + 5*p, -16 = -4*p. Let d = t - -9. Is d at most as big as -4/3?
False
Let o(a) = a**3 + a**2 - a. Let g be o(1). Let s = -64 + 58. Which is bigger: g or s?
g
Suppose -7*v = -2*v - 25. Suppose -w + 25 = -5*s - 0, -25 = v*s + 2*w. Which is bigger: s or 0?
0
Let o = -0.13 - -0.03. Which is smaller: -1 or o?
-1
Let s be 1034/33 + 1/3. Which is bigger: s or 33?
33
Suppose 0*n - 3*w = 2*n + 3, -5*w = -5*n - 45. Let u = -7 - n. Let i(d) = d**3 + d**2 - 2*d - 1. Let g be i(u). Which is smaller: -1/2 or g?
-1/2
Let h = -44 + 95/2. Are 4 and h nonequal?
True
Let h = 4 + -3. Let i = h - 0.4. Which is smaller: 2/7 or i?
2/7
Let f = 814/57 + 1/19. Is 14 less than f?
True
Suppose 3*t + 22 = -11. Suppose -2*r = -5*r - 39. Let l = t - r. Is l at most as big as 6/5?
False
Suppose y = -4*j + 2, -j = 3*j - 3*y + 6. Is j smaller than -6/17?
False
Let d = -1.01 - -0.91. Which is bigger: d or -2/21?
-2/21
Let h = 4 + -2. Suppose -2*f = -5*f - 4*w - 14, 0 = -h*f - 5*w - 7. Let x = f + 5. Which is smaller: x or 2/13?
x
Suppose -6*q + 4*q = 2. Let s be 12/(-20)*2/(-6). Is s at most as big as q?
False
Suppose 0 = 28*f - 24*f. Is 0 < f?
False
Let i(j) = j**2 + 2*j - 5. Let c be i(-5). Let o be 2*(-1 - c/(-4)). Is o less than 5/2?
False
Let d be 10*(-1 + 94/(-10)). Is d less than -103?
True
Let s(r) = r**2 + r - 1. Let h be s(-1). Let b be h*2 + 2 + 24. Suppose -5*v = -4*o + 12, -4*v - 7*o = -3*o + b. Is -3 at least as big as v?
True
Let j = -20 - -39/2. Let i(f) = -3*f**2 - 5*f**2 + 5 + 7*f**2 - 5*f. Let r be i(-6). Is r equal to j?
False
Let m = 4 - 3. Suppose m = -2*d - 1, -h = -d - 7. Is 5 greater than h?
False
Suppose -2*c - 3*b = 4, 5*c + 3 + 2 = -5*b. Let v = -6 + c. Which is smaller: v or -4?
v
Suppose -3*s - 6 = 0, 2*h - 3*h = -2*s - 6. Suppose -3 - 9 = -h*w. Suppose 0 = -3*m - 0*m + w. Which is smaller: m or 1/2?
1/2
Let w be 83/161 - 9/21. Let l(p) = p + 10. Let y(m) = m + 10. Let h(u) = 5*l(u) - 4*y(u). Let a be h(-11). Which is smaller: w or a?
a
Let g = -1 + -8. Let q be 6/g - (-68)/(-6). Which is bigger: q or -11?
-11
Let v = 80.99 - 82. Let q = -0.01 - v. Which is bigger: -2/5 or q?
q
Let z be 30/(-4)*(-28)/6. Let d(y) = -2*y - 1. Let l be d(-3). Suppose 7*c = 5*x + 2*c - z, -20 = -l*x + 2*c. Is x >= 0?
True
Let u(q) = -q**3 - 3*q**2 - q + 2. Let c be u(-2). Suppose c*b = -5*b. Is 1 at most b?
False
Let b = -9.9 - -38. Let p = b - 28. Is p at most -1/3?
False
Let k = -17 - -41. Is k > 25?
False
Let y(k) = -5*k**2 + 2*k**3 + 3*k**3 + 3*k - 4 + 9 - 4*k**3. Let z be y(4). Suppose -4*c = -3*t - 3 + 2, -2*c + 3*t - z = 0. Is 2/7 != c?
True
Let b be (-41)/(-6) + (-3)/6. Let i = b + -17/3. Suppose -2*l + 6 = 4*d, -l + 5 = 7*d - 3*d. Is i > l?
False
Let p(j) = -j**3 + 3*j**2 - 2. Let v(t) = -3*t**3 + 8*t**2 - 7. Let n(o) = -7*p(o) + 2*v(o). Let a be n(5). Which is smaller: 3/4 or a?
a
Let h =