4 - g. Which is smaller: b or -0.2?
-0.2
Suppose -n = -c + 4, -c + 0*c = -2*n - 10. Suppose -d - f = -5*f - 7, -4*d - 5*f - 35 = 0. Which is smaller: n or d?
n
Suppose -j + 2*m + 55 = 2*j, 80 = 4*j - 4*m. Let r be j/(-20)*1/3. Which is smaller: -7 or r?
-7
Suppose 2 = -7*d + 8*d. Let n be d/3 + (-4)/6. Let j(b) = -b**2 - 6*b - 6. Let w be j(-5). Is n < w?
False
Suppose x + 2 = -5*u, 3*x - u - 3*u - 13 = 0. Suppose x*z = z + 24. Which is smaller: z or 11?
11
Let u(v) = -v**2 - 9*v - 10. Let r be u(-7). Suppose 0 = r*k + 3*g + 8, -2*k + 0*g - 4*g = 14. Which is smaller: -2 or k?
-2
Let c(f) = -f**2 - 5*f - 2. Let r be c(-4). Let o = -359 - -2525/7. Which is smaller: r or o?
o
Let f = 4/259 + 800/15281. Let g = 90/413 + f. Which is smaller: 0 or g?
0
Suppose 15 = -2*z + 1. Is -7 at most z?
True
Suppose -2*u + 3 = 5*i - 9, 5*i = -5*u. Let d = -6 + i. Let k = -1 - -1.1. Is k >= d?
True
Let t = 15 - 11. Suppose 215 = -t*q - 69. Let z = q + 211/3. Which is greater: -1 or z?
z
Let j = -89/5 + 19. Which is greater: 2 or j?
2
Let q be (4 - 7)/(204/8 - 1). Is -1 at most q?
True
Let m(k) = k**3 - k. Let f be m(0). Let j(l) = l**3 + 6*l**2 - l. Let n be j(-3). Let r be (-3 - f)*(-4)/n. Which is smaller: r or 1?
r
Let m be 0 + 116/(-10) - (-16)/(-40). Are -14 and m unequal?
True
Let a be (-98)/(-212) + 12/(-24). Let l = a - 49/106. Let h(k) = -k**2 - 7*k - 7. Let o be h(-5). Which is greater: l or o?
o
Let x(f) = -f**2 - 6*f - 4. Let d be x(-2). Which is bigger: 5 or d?
5
Let k = 21 + -15. Suppose -2*m = -m + 6. Let q be m/(-36)*8/k. Is q at most -1/3?
False
Let i be 1/(-3)*132/11. Let r = 0 + 0. Suppose -5*d + 3*m - 14 - 6 = 0, r = d + 5*m + 4. Are i and d unequal?
False
Let g(w) = -2*w**3 + 27*w**2 - 12*w - 12. Let o be g(13). Is o != 1?
False
Suppose 12*n - 20 = 10*n. Is n equal to 11?
False
Let b be 1/(-2) + 20/28. Which is bigger: b or 0?
b
Let g be -4*1 + (-102)/(-27). Is g at most as big as 0?
True
Let g = -0.9 - -1. Let c = 0 - g. Which is bigger: c or -1/3?
c
Let o be (12/(-10))/(1/(-5)). Suppose 4*h + 2*r = -0*h + 10, -3*r + o = 3*h. Is 4 smaller than h?
False
Let q = -87.2 - -87. Let z = 11 - 16. Is z greater than or equal to q?
False
Let v = -127 - -1141/9. Let k = 35/36 + v. Which is bigger: k or 1?
1
Suppose 4*z - u - 7 = 3, 3*z = -3*u. Let q be 9/(-6) - (-1)/z. Let m be (q*2)/(5/5). Which is greater: m or -3?
m
Let i be -2 + ((-9)/18)/((-2)/4). Which is greater: 1/9 or i?
1/9
Let q = 19 + -23. Which is smaller: q or 1?
q
Let k be 5 + (-63)/12 + (-3)/(-28). Which is greater: k or 3/2?
3/2
Let q = -29 + 17. Let s = -12 - q. Is s equal to -15?
False
Let m be 2*((-15)/(-2))/3. Let l be (-135)/(-25) + (-2)/m. Suppose o = 4*x + 3*o + 26, -l*o - 41 = 4*x. Which is bigger: x or -3?
-3
Let o be (-2 - 6/(-3)) + -1. Are o and -12/7 nonequal?
True
Suppose -7 = -4*g - 3. Let q = -2 + 2. Let m be ((-2)/(-1 - q))/1. Which is smaller: m or g?
g
Let h = -10 + 5. Let v(z) = -z**3 - 4*z**2 + 5*z - 1. Let q be v(h). Do -1/3 and q have the same value?
False
Let p(k) = 2*k**3 - 34*k**2 + 9. Let h be p(17). Which is smaller: 8 or h?
8
Let f = 1971/17612 + -3/629. Which is bigger: f or -1?
f
Let q be 5/(-10)*2 + -16. Which is bigger: -15 or q?
-15
Let h(c) = 10*c - 4. Let d(w) = -7*w + 3. Let t(x) = 7*d(x) + 5*h(x). Let b be t(-3). Let k(n) = -n**2. Let z be k(-2). Do b and z have the same value?
False
Let u = -7.062 - 0.038. Let y = u - -7. Which is greater: y or -3?
y
Let m be 1908/(-210) + 2/7. Let u = -122/15 - m. Let z = 0.1 - -3.9. Which is greater: z or u?
z
Suppose -3*b = 120 + 30. Let u be (1/15)/((-20)/b). Is -2 > u?
False
Let z be 122/18 - (-24)/108. Is 7 smaller than z?
False
Suppose 0*n = 2*n - 8. Is n at least 9/2?
False
Let r(j) = -6 - j**3 + 16*j**2 - 25*j**2 + 2*j**3 + 9*j. Let h = 16 + -8. Let w be r(h). Are 0 and w unequal?
True
Let x(g) = g**3 - 6*g**2 + g - 3. Let v be x(5). Is -2 equal to v?
False
Suppose 2*n + 27 = 5*n. Suppose 3 = y + n. Let o be (-7)/6 + (-4)/y. Which is smaller: 0 or o?
o
Let y(l) = -l**2 + 11*l - 3 + 0 - 16. Let r be y(9). Is -1/50 smaller than r?
False
Let a = -22 + 24. Which is greater: -3 or a?
a
Suppose 0 = -9*p + 2*p - 7. Suppose -3*w = -8*w. Let u be (1*2)/(-2) - w. Is p less than u?
False
Let k = -5.86 - 0.14. Let r = 3 + k. Which is bigger: r or 0?
0
Let b(k) = -1 + 2 - 13*k + 2*k + 0. Let l be b(-4). Suppose 4*n - 3*u - l = 2*u, 3*n - u - 20 = 0. Which is smaller: n or 4?
4
Let h be (-592)/(-56)*(-3)/6. Is h smaller than -6?
False
Let m = 0 + 0.1. Let g = -1.1 + m. Suppose 6*d = 5*d + 2. Which is smaller: g or d?
g
Let a be (5 - 4)*(1 - 0). Let i = -1 + a. Which is greater: i or -4/15?
i
Suppose 0 = -3*h + 6*h. Suppose -4*r + 5*r + 4*j + 10 = h, -5*r - 25 = -5*j. Are r and -5 unequal?
True
Let f = -9 + 8. Let s = 1 + 0. Suppose -3*x - 5*u - s = 3, 3*x - 10 = 2*u. Is f greater than or equal to x?
False
Let y(d) = d**3 - 10*d**2 + 8*d + 3. Let n be y(9). Let v be (-6)/(-9) + (-8)/n. Suppose 2*m - v = -0*m. Which is smaller: 2/19 or m?
2/19
Let a be 2/6 + 4/(-12). Let o = -1595/8 - -199. Which is greater: a or o?
a
Let q be 1 - -1*36/(-44). Which is smaller: q or 0.5?
q
Suppose 2*v = v - 2. Let y = 1 - v. Suppose -y*i = -b + 5, -2*i + 5*b + 0*b - 12 = 0. Are i and 2/23 equal?
False
Let i = -131612/79 - -1666. Is i < 1?
True
Let x be 39/9 - 4/12. Suppose x*m = m. Which is smaller: 1/9 or m?
m
Suppose -5*z = -3*l + 28, -l + 2*z + 2 = 4*z. Let k(x) = -x**3 - 8*x**2 - 6*x - 13. Let q be k(-7). Let m be (l/(-5))/((-6)/q). Do -6 and m have the same value?
False
Suppose 7*c - 335 = -76. Is 37 <= c?
True
Let a be 0/2 + 88/8. Suppose 3*t + 2*q = a, q + 0 = -t + 3. Are 6 and t non-equal?
True
Let f(u) = -u. Let c be f(2). Let n be (2/1 + -3)/1. Which is smaller: c or n?
c
Let o be 14/21*(-2)/(-4). Is o >= 0.8?
False
Let s = 3.8 - 4. Let a = 5/11 - 57/77. Is s >= a?
True
Let k = 29 + -25.1. Let x = 4 - k. Which is smaller: x or -1?
-1
Let b be 2 - (-5)/(5/2). Suppose 4*a = -b*z - 4, -5*z - 9 = 5*a - a. Suppose 0 = -2*r + a - 0. Is r at most 0.1?
False
Let t(z) = -z**2 - 4*z + 2. Let d be t(-3). Suppose d*w + 13 = 3. Which is bigger: -3/5 or w?
-3/5
Let f be 208/32 - 1/2. Is f at least 4?
True
Suppose 0 = 3*l - 0*l + 3. Let m = l + 2. Is 1 != m?
False
Let b = -0.35 + 0.25. Let m = -4 + 3. Which is bigger: m or b?
b
Let x be ((-2)/(-4)*2)/(-1). Let k = 6278/7 + -892. Let d = k + -293/56. Is d bigger than x?
True
Suppose -10 = -l - 19. Are -8 and l nonequal?
True
Let z be 4 - -2 - (-3)/3. Let b be 2/z - 136/(-14). Let w be b/(-8) - (-2)/8. Is w bigger than 0?
False
Let g(p) = 3*p**2 + 1. Let s(q) = q**2 - 4*q - 6. Let n be s(5). Let y be g(n). Suppose 0 = -b - y*b + 20. Is b less than or equal to 4?
True
Let m(h) = -h**3 - 4*h**2 - h - 5. Let g be m(-4). Let j be (4/10)/(54/51). Let i = -2/45 + j. Which is greater: i or g?
i
Let k = -503/9 + 56. Which is greater: k or -3?
k
Let o be 1045/(-242) + 3 + 2. Does o = 1?
False
Let o(p) = -p**3 - 8*p**2 - 10*p + 7. Let r be o(-5). Let b = 20 + r. Is 2/3 less than or equal to b?
True
Suppose 0 = 2*l - 5*l. Suppose l - 10 = 5*m. Is m equal to -4/7?
False
Let p(z) = 8*z**3. Let n be p(-1). Let g be n/38*3/6. Is 1 at least as big as g?
True
Let g be (-6)/9 + (-2)/(-3). Let a = 3 - g. Is a at most as big as 3?
True
Let o = 22 - 13. Let a(m) = -9 + o - 2*m. Let k be a(-2). Is 2/7 > k?
False
Let w be 4*(6/8 - 0). Suppose -5*g + 28 - w = 0. Suppose d - 13 = g*k, k - 2*d + 5 = -d. Which is smaller: k or -1?
k
Let g be (-1)/4 - 153/(-324). Which is bigger: 1 or g?
1
Let f be (29/2)/((-3)/(-6)). Let w = f + -59/2. Is w at most -1?
False
Suppose 2*j = 5 - 15. Do j and -3 have the same value?
False
Let i = -16 + 5. Is i greater than -32/3?
False
Let g be (-2)/6*(-99)/(-6). Let p = g - -21/4. Suppose 0 = -4*h + 2*h. Which is greater: h or p?
h
Suppose -4*q - 2*p = q - 36, 3*q - 4*p = 6. Is q bigger than -3?
True
Let z = 3/23 + -7/230. Which is smaller: 1 or z?
z
Let b = 2 - 22. Which is bigger: b or -18?
-18
Let c be ((-3)/(36/3))/1. Suppose x + 2*x = 9. Let i = -2 + x. Which is bigger: i or c?
i
Let t(m) = m - 1. Suppose 4*h = -3*b - 8, 3*b - h - 2 = -2*b. Let w be t(b). Is w not equal to 0?
True
Let c be 15/(-25)*(-4)/(-6). Let r = -6 - -4. Which is greater: r or c?
c
Let y be 20/(-7) - (4 + -6