 9. Let g be k(y). Which is greater: g or -8?
-8
Let j = -4.4 - 1.6. Let q = j - -6.2. Which is bigger: q or 0?
q
Suppose 4*a = 5*l + 5, -4*a - 2*l = -2*a + 2. Which is bigger: -1/11 or a?
a
Let v(n) = n**2 + 11*n - 11. Let g be v(-12). Which is greater: g or 2?
2
Let u = -3 - -6. Suppose 23 = -3*p + 2. Let v be (-2)/(-7) + 2/p. Is u less than v?
False
Let r(m) = m**2 - 2. Let g be r(2). Suppose -4*i - 1 = 3*b - 10, -4*b = -g*i - 12. Is i < 2/3?
True
Let n(i) = i**2 - 4*i - 2. Let p be n(-3). Let u be 2/5 + 192/(-10). Let w = u + p. Which is greater: 0 or w?
w
Let w = 40 + -41. Which is greater: w or -4?
w
Let j be 42/(4 - 2)*-1. Let w be (3/j)/((-1)/4). Is w <= 2?
True
Suppose -4*a - 11 = 29. Are a and -11 nonequal?
True
Let u = 91.9 - 92. Is 2/5 less than or equal to u?
False
Suppose -4*r - 2*t = -108, -5*t - 94 = -r - 2*r. Let g be 11/r - 3/12. Is g at least 1?
False
Let d be 22/8 + (-1)/(-4). Let g = -5 + d. Is g <= -1?
True
Let j be 6/(-4)*(-56)/(-12). Is -7 at least as big as j?
True
Let s(p) = -2*p**2 + 7*p - 6. Let f be s(5). Let d = -11 - f. Suppose y = d - 7. Is y >= -1/4?
True
Let c = 1 - 3. Let t be ((-36)/(-3))/(-2) - -2. Let j = t - -2. Is c at least j?
True
Let s(p) = p**2 - 10*p + 12. Let o be s(9). Let g be 34/18 - o - -1. Is g not equal to 1?
True
Let z = 14 - 1. Suppose 5 = -3*c + 2*c, -z = -2*l + 3*c. Are 1 and l equal?
False
Let z = -160 + 161. Are z and 45 non-equal?
True
Let a = -1 - -10. Let l be 2/a - (-14)/(-144). Which is bigger: -1 or l?
l
Let g be (2/(-4))/((-7)/(-420)). Let j be (-34)/g - (-7)/(-21). Which is bigger: j or 0?
j
Let f = -548/5 - -110. Which is smaller: f or 0?
0
Let i = -3 + 8. Suppose i*u + 11 = n - 0, 2*n + u = 11. Suppose f = 2*a - 1, a = 4*f + 5 + n. Is a != -1?
False
Let n = -13937/2138791 + 9/1181. Let q = n - -10840/23543. Do q and 1 have the same value?
False
Let i = -8837/9 + 983. Suppose 3 = -c + 5. Do c and i have the same value?
False
Let o = -6 - -31. Which is smaller: o or 0?
0
Let q = -82 + 191/2. Is q smaller than 13?
False
Let g = 26 + -23.9. Let f = -0.3 + 2.3. Let d = f - g. Which is smaller: d or 0.1?
d
Let u = 227/3 + -75. Let g = -0.09 - -6.09. Let m = 3 - g. Is u > m?
True
Let y = 1.7 - -8.3. Let o = y + -9. Let t = -5 + o. Which is greater: -1 or t?
-1
Let w = 23 - 26. Let y(q) = 2*q + 12. Let u be y(-9). Is w not equal to u?
True
Let f be 10/(-25) - (-71)/190. Which is greater: -1 or f?
f
Suppose -x + 14 = 2*j - 0, 3*j + x = 21. Which is greater: 8 or j?
8
Let b(c) = 4*c + 7. Let s be b(-2). Is s equal to -2?
False
Suppose -3*b + b + 8 = 0. Suppose -g - 3 = b. Let n be ((-2)/g)/(9/7). Is n at most 0?
False
Let s be -2 - (180/(-26))/3. Let v = -53/130 + s. Suppose 52*x = 57*x. Do v and x have different values?
True
Let k be 10/4*(-7 + 9). Let b = 0 + 0. Suppose b = i - 0*i - 4*x - 13, k*i = 2*x + 11. Which is greater: i or 2?
2
Let c(u) = -2*u + 50. Let w be c(24). Suppose -2*m - 28 = -4*b, -m = -0*m. Is b < w?
False
Suppose -6 = 3*k - 4*s, -4*k + s = -0*k - 5. Which is greater: 0 or k?
k
Suppose x + x + 18 = -3*d, -4*x = -3*d. Let o be ((-10)/(-15))/(d/6). Which is greater: 2/29 or o?
2/29
Let d(q) = 2*q**3 + 5*q**2 + 5*q + 2. Let v be d(-3). Let o be 2/9 - v/63. Let m = 2 + -1. Which is bigger: m or o?
m
Let u = 13 + -7. Let p = 4 - u. Let a = p - -1. Which is smaller: -1/3 or a?
a
Let i = 0.5 + -0.4. Which is greater: i or 1?
1
Let x = 3 + 9. Let u be (-2 - 0)/(2/(-12)). Is u not equal to x?
False
Let j be (-8)/21 + (-6)/(-9). Let q = -0.15 - -0.22. Let i = q + 0.03. Is j at least i?
True
Let i(h) = h**2 - 6*h - 1. Let c be i(6). Which is smaller: 19 or c?
c
Let z be 0/((2 - 8)/(-3)). Is -2 greater than z?
False
Let n be (8/(-6) - 16/(-24))*-3. Do 7/8 and n have the same value?
False
Let m(v) = -v**3 + 3*v**2 - 4*v + 6. Let l be m(4). Let u = l + 17. Is u smaller than -8?
True
Let y = -5 - -6. Which is greater: 8/7 or y?
8/7
Let i = -0.05 + 0.19. Let t = i + -0.14. Are 0 and t equal?
True
Suppose -24 = -5*a - 2*r - 1, -2*a + 2*r = 2. Suppose 65 = 2*c + a*c. Suppose -4*p - 15 = 3*n, 2*p + p + c = -4*n. Is -2 at least p?
True
Let t = -25 - -10. Which is greater: -1 or t?
-1
Let a = 0.4 + -0.4. Let f = a + -1. Is f greater than 0.2?
False
Suppose -b + 3*v - 7*v - 15 = 0, 4*b - 12 = 2*v. Are -1/18 and b unequal?
True
Let c be -2 + (-2)/18*-14. Is c less than -0.2?
True
Let c be (9/(-21))/(3/(-2)). Which is smaller: c or 4?
c
Let g be (308/100 - 3)/((-4)/(-20)). Which is smaller: g or 1.7?
g
Let s be 1/((-1 + 3)*1/(-6)). Which is smaller: s or 0?
s
Let v = 0 + 11. Suppose 2*i + v = 2*x - 11, -3*x = 2*i - 8. Suppose -5*q = -9 - x. Do q and 3 have different values?
False
Let x = 109 - 542/5. Let n(d) = d + 13. Let w be n(-7). Let g = w + -7. Is g >= x?
False
Let y(i) = -i + 5. Let v be y(7). Let d = v + -4. Let r be -1 - 0 - (-6 - d). Is 0 bigger than r?
True
Suppose -2*g = 3*a + 14, -g = -3*g - a - 6. Suppose -3*x = -3*p + 113 - 473, 4*p = 5*x - 600. Let n be (x/63 + -2)*6. Is n != g?
True
Suppose 0 = -5*r + 8 - 53. Let x = -13 - r. Is x bigger than -3?
False
Suppose 3*i + 2*i = 0. Which is smaller: -0.1 or i?
-0.1
Let t be 4/22 - (-26)/(-22). Suppose -2*f + 4 = -6*f. Is t less than or equal to f?
True
Suppose 0 = 6*b - 12*b - 12. Which is smaller: -4 or b?
-4
Let r be 148/329 + (-6)/14. Is 0 at least as big as r?
False
Let y be 8/(-12) + 17/12. Suppose -3*z + 5*k - 15 = 0, 5*z - 2*k + 6 = -0*z. Which is smaller: y or z?
z
Let p(u) = 2*u**3 - 2*u**2 + u. Let f be p(1). Let n = 9 - 18. Let z = n + 8.8. Is z < f?
True
Suppose 17*k - 18*k = 0. Is -5 greater than or equal to k?
False
Let t(n) = n**3 - 2*n + 1. Let b = 6 + -4. Let f be b/6 - (-2)/3. Let i be t(f). Which is smaller: -2 or i?
-2
Let t(s) = -2*s**3 - 3*s**2 - 2*s + 1. Let c be t(-2). Let b(d) = d**3 - 10*d**2 + 8*d + 6. Let p be b(c). Do p and -3 have the same value?
True
Let p(d) = d**2 - 15*d + 23. Let x be p(13). Do 0 and x have the same value?
False
Let n(l) = -5*l. Let s be n(-1). Suppose -2*r - r + s*i = -1, -2*r - 4*i + 8 = 0. Which is smaller: r or -0.3?
-0.3
Let l be ((0/(9/(-3)))/1)/3. Which is greater: l or 1/19?
1/19
Let i be (-398)/11 - (-4)/22. Let k be 16/(-66)*i/16. Is -0.1 smaller than k?
True
Let i = -35/82 + -3/41. Does i = -2.5?
False
Let k = -0.6 - 0.4. Do k and -42 have different values?
True
Suppose -2*x - 6 = -0. Let b be (18*1)/(3/2). Suppose z + k = 1, -b = -4*k + 8. Which is bigger: x or z?
x
Suppose -2*d + 4*z = 3*z - 8, -2*d + 3*z = -8. Suppose 4*n - d = 4*y, -5*n - 5*y = -0*n - 5. Is -1/6 greater than or equal to n?
False
Let f = 0.5 + -2.5. Let m = -7 - -6. Let p be 0 + 18/14 + m. Is p less than or equal to f?
False
Suppose -w - 190 = -2*s - 2*s, -90 = -2*s + 3*w. Is s != 48?
False
Suppose 13*j = 9*j + 44. Suppose 3*d = -2*f + 39, -3*d + 3*f - 31 = -5*d. Is j less than or equal to d?
True
Let f = -36 + 12. Let d = f + 48. Let q = d - 73/3. Is q at least 1?
False
Let c(j) = 5*j**2 - 3*j - 2. Let z be c(2). Suppose 26*i - 28*i = z. Which is smaller: i or -7?
-7
Let c be 2 + ((-20)/6 - -1). Let v(n) = n**3 + 3*n**2 - n - 2. Suppose -2*q = 10 - 4. Let t be v(q). Which is bigger: c or t?
t
Let l(k) = k**2 - 3*k. Let b be l(4). Suppose -3*t - 4*x = 10, -b = 4*t + 4*x - x. Suppose 4*n - 14 + 2 = 0. Is t greater than or equal to n?
False
Let q = 2 + -3. Let u = q - -6. Suppose 0 = u*p - 2 - 3. Is p not equal to 1/2?
True
Let n be 3/(0/2 + 1). Suppose n*h = -2*h. Which is greater: 3/7 or h?
3/7
Let c = 1 + 0. Let y = -2632/115 - -114/5. Which is smaller: c or y?
y
Let c = -0.2 + -0.1. Let d = -0.5 - c. Let v = 0.2 + d. Does 1/5 = v?
False
Let i = 86/3 - 28. Which is greater: i or -0.16?
i
Let k = 1.04 - 0.04. Let l = -12 - -5. Which is smaller: k or l?
l
Let s = -0.28 + 11.28. Let b = s - 11.4. Is 2/9 >= b?
True
Suppose -z - 55 = 4*z. Is z at least as big as -9?
False
Let u(y) = -y**3 - 5*y**2 - 4*y - 1. Let o be (-2 - (-2 - -1))*4. Let v be u(o). Which is smaller: -12/13 or v?
v
Let i = 54 - 30. Which is smaller: i or -1/3?
-1/3
Let v be (-10)/4*2/20. Is 12 <= v?
False
Let l be (-1 - -2)/(2/(-22)). Let d = 16 + l. Which is greater: 6 or d?
6
Let r = 36 + -181/5. Is r <= 6?
True
Let h(o) = -o - 7. Let i be h(-16). Suppose 27 = 4*w + 7. Let v = w - i. Which is smaller: v or -5?
-5
Let s = 3/103