 Is a > g?
False
Suppose -4*k + 123 = -5*y + 38, -k + 20 = -y. Which is greater: k or 1/4?
k
Let r be (0 - 69/(-21)) + -3. Let l = -1/21 - r. Let t = 1 + -1. Which is greater: l or t?
t
Let z = 241/3 - 81. Let n = 1.8 + -2. Is z at most as big as n?
True
Let n = -7 + 8.3. Let w = n - 7.3. Which is bigger: -1 or w?
-1
Let r(n) = n**3 + 3*n**2 + n + 1. Let v be r(-2). Suppose 3*m - 1 - 8 = 0. Are m and v unequal?
False
Let o = 1 - -4. Suppose 4*a - 7 = o. Suppose a = 2*k + 9. Is k at most as big as -2?
True
Let a be (315/(-36))/(1/(-4)). Is 34 less than a?
True
Let f = -12 + 17. Suppose -4*r - 24 = j, 4*j - f*j - 14 = 2*r. Is -2 at most as big as j?
False
Suppose -i = d + 2, 5*d - 6 = -4*i - 16. Suppose 5*a = -i*a - 5. Let b = 29/2 - 15. Which is smaller: b or a?
a
Let w = 46 - 45. Which is greater: w or -14?
w
Let x be (-32326)/(-120) + (-1)/4. Suppose -5*g = 5*w - g - 1337, 0 = 2*w + 2*g - 534. Let t = w - x. Is 0 > t?
True
Let y(p) = p**2 + 6*p - 1. Let i(w) = -2*w - 1. Let t be i(1). Let g = t + -3. Let d be y(g). Is -3 at most d?
True
Let c be 1 - 2 - (-2 - 3). Let m(s) = -s**2 + 16*s - 29. Let r be m(13). Suppose 3*j - 11 = -2*w, -3*j - c*w + r + 3 = 0. Which is greater: j or -2/7?
j
Suppose -2*s + 5*p - 10 = 1, p - 7 = -2*s. Let b be -1 - (-3 + s + 0). Which is smaller: b or 2/7?
b
Suppose 0*p + 4*f = -2*p + 18, 0 = -4*p - 3*f + 26. Suppose 3 = 5*n + 2*b - 4*b, -p*b = 5*n - 10. Which is smaller: n or 2/9?
2/9
Let h = 1 + 9. Suppose -4*p = -5*o + 274, h*p + 320 = 5*p - 5*o. Let k be (9/6)/(p/(-8)). Are 0 and k nonequal?
True
Let k be (10/5)/(1 + 1). Let v be 15/10*k*2. Let p be 3/((-6)/(-10)) + -2. Is v at least p?
True
Let p = -1 + 1. Let k = -1 + p. Which is greater: -2/19 or k?
-2/19
Let c = -4 - -17. Suppose -3*k + 4*v + c = -7, -2*k = -3*v - 15. Which is smaller: -1 or k?
-1
Let k be ((-1)/6)/(2/8). Suppose 5*l = 8 + 7, 2*l = h + 5. Which is smaller: k or h?
k
Let h be (2/4)/((-6)/(-180)). Let z be (-4)/(-6)*h/(-10). Let n = -203/6 - -34. Which is smaller: z or n?
z
Let q = -5 - -3. Let t = 6 + q. Let h = t + -5. Is h less than 2?
True
Let g(q) be the first derivative of -q**4/4 - 4*q**3/3 + 3*q**2 + 7*q + 4. Let r be g(-5). Which is smaller: r or 3?
r
Let q be 4 + -2 + -3 + 0. Let v be (-2)/(-16)*(-5)/10. Are v and q unequal?
True
Suppose 0*k - 2*k + 3*g + 13 = 0, 3*k - 2*g = 7. Let d(z) = z**3 - 15*z**2 + 14*z. Let s be d(14). Do k and s have different values?
True
Let q be (-2)/2 + -1 + 1. Which is bigger: q or 4?
4
Suppose 2*x + 2*y - 558 = 7*x, 2*y = 2*x + 222. Let l = x + 55. Let b be 1*l/27 + 2. Which is bigger: b or 1?
1
Let v = 0.06 - 0.31. Let y = v + 0.18. Let z = 4.07 + y. Are z and -0.1 unequal?
True
Let l be (-8)/(-3) + 2/(-3). Suppose q + l = 5*c - 2*q, 4*c + 3*q = -20. Is c equal to -2?
True
Let q be ((-6)/(-8))/(2/8). Let v = 6 - 3. Suppose 0 = -3*x + q*t - 3, -5*t + v = 5*x - 2. Is 1/3 equal to x?
False
Let q be 34/9 - (-2)/9. Let k be (-12)/q + 3 + -1. Which is greater: -2/11 or k?
-2/11
Let z = -13 + 9. Let w = z - -4. Let s = w + 1. Which is greater: s or -2/5?
s
Let q be 4 + (-13)/(325/110). Let k = -88 + 527/6. Which is bigger: q or k?
k
Suppose 5*x = -2*w + 4*w - 6, 0 = -5*w + 15. Let t(b) = 0 - b + 0*b + 3. Let d be t(3). Is d != x?
False
Let g(c) = -c**3 - 4*c**2 + 5*c - 5. Let z be g(-5). Let m = -14 - z. Are m and -9 nonequal?
False
Let k = 1.14 - 1. Let a = -0.04 + k. Let q = -5/14 - 1/7. Is a bigger than q?
True
Suppose -2*c - 18 = c - 3*q, 4 = q. Which is smaller: c or -10?
-10
Let q = 702/5 - 141. Let g = -10 + 9. Is g > q?
False
Let j = -31.1 - -31. Is 0.05 != j?
True
Let j(p) = -p**3 + 8*p**2 - 13*p + 15. Let n be j(7). Is 0 at most n?
False
Let s(x) = -6*x**2 + x**2 + 2*x**2 + 2*x**2 - 4*x - 3. Let r be s(-2). Is 1/2 <= r?
True
Let h be 4*-1 - (-1)/1. Let f be (-1)/h*(-4)/6. Which is smaller: -1 or f?
-1
Let t = -0.19 + 0.27. Let r = t + 0.12. Let k = 0.1 - 0.1. Which is bigger: k or r?
r
Let f = 41 + -77. Let q be 8/f + (-4)/(-18). Suppose 0*s - 4*s = q. Is -1/5 equal to s?
False
Let j = -2 - -2. Let z be 9*1*3/9. Suppose -2*q = z*q + 5. Which is smaller: q or j?
q
Let f = -137821/43 - -3205. Is f at least -1?
True
Let a = -14 - -13.8. Is 6 greater than a?
True
Let q be (1/2 - 0)*-2. Let a be (-138)/(-38) + q - 2. Let t = a + -46/133. Which is smaller: -1 or t?
-1
Let j(s) = 8*s**3 + s**2 + s + 2. Let v be j(-1). Which is smaller: -3 or v?
v
Suppose 2*g + 2*g = 36. Which is bigger: g or 6?
g
Let r be (-1)/5 - 18/10. Let y be (-20)/224 - r/(-7). Let m be ((-1)/2)/(1/(-2)). Which is smaller: y or m?
y
Suppose -4*x = m - 8 - 2, -x + 4*m - 6 = 0. Let t = 1 - 1.3. Let s = -0.2 - t. Which is smaller: x or s?
s
Let b = -10 + 9. Let h be (16/516)/(2/(-3)). Which is smaller: b or h?
b
Let t = -0.06 + 0.14. Let k(x) = x**2 + 4*x + 2. Let u be k(-2). Let j be (9/(-6))/(-5 - u). Which is bigger: j or t?
j
Let j = 20 + -18. Is 5 less than j?
False
Let j(s) = 2*s**2 + 2*s. Let z be j(-2). Suppose 0 = 8*t - z*t + 8. Is t less than or equal to -5/4?
True
Suppose 0 = -3*y + 52 + 11. Let n = -10 + y. Which is smaller: 12 or n?
n
Let g = 35723/63 + -567. Which is bigger: g or 1?
1
Let l be (-1)/2*8/20. Is -4 less than l?
True
Let a(y) = -y**2 - 2*y + 3. Let f be a(2). Let c = f - -7. Suppose 0 = 5*p - 25 + 15. Are c and p equal?
True
Let d be (4/(-3))/((-2)/3). Suppose 5*h - 4*t = 83, -4*h - 16 = -d*t - 80. Suppose -i - 3*x + 10 = -x, h = 3*x. Which is smaller: i or 1/5?
i
Suppose -6*s = -3*s. Let p(l) = l**2 + 1. Let g be p(s). Which is smaller: -2 or g?
-2
Let q = -5 - -5.5. Let i = q + -0.5. Let v = -6.5 + 6. Are v and i unequal?
True
Suppose -44 = 3*q - 4*d - d, -36 = 5*q + d. Is q bigger than -37/4?
True
Let m be ((-27)/(-36))/((-3)/(-38)). Which is bigger: 0 or m?
m
Let a be 0*(-1 + (-6)/(-4)). Suppose a = 4*i - 3*i + 1. Let n = -2 - -1.9. Is n bigger than i?
True
Let t = -1 - 2. Let y(s) = s**3 - 2*s**2 - 3*s - 3. Let w be y(3). Let l = t - w. Which is smaller: 1 or l?
l
Let h be (-2)/(3 - (-25)/(-9)). Which is smaller: -10 or h?
-10
Let s(u) = u**3 - 2. Let a be s(0). Let q be a - (-3 - -1 - 3). Let m be (-1 - -1)/(q - 2). Is m >= 1?
False
Suppose 2*w + 4 = 4*w. Let p be (-81)/(-18)*w/(-3). Is p at least as big as -5/2?
False
Let f be (1/(-22))/((-57)/(-76)). Which is smaller: 2/3 or f?
f
Let f = -71/3 + 24. Which is greater: f or -45?
f
Let f = 0.11 - 0.11. Let z = -2 - f. Let m = 0 + 0.3. Is m >= z?
True
Suppose r + 0*i = -4*i - 20, -4*r = -3*i - 15. Let v be 12/(-18) - 11/(-3). Let w be 2*(v/(-2) + 1). Which is smaller: r or w?
w
Suppose -4*z = 2*a, 2*a + 5 = -6*z + z. Suppose 8*i = 3*i + a. Suppose -4*c + 6 + 2 = 0. Is c != i?
False
Suppose 2*t + 4 = 0, 4*v - 2*t = 7 + 5. Let o be (-108)/(-20) + 4/(-10). Which is greater: o or v?
o
Let s be (0 - 0) + (-4)/9. Let o = 1.6 + 0.1. Let y = -2.7 + o. Which is greater: s or y?
s
Suppose 0 = 2*k - 4*k + 44. Is 21 greater than k?
False
Let k be (4 - 0) + -2 + 19. Are 61/3 and k equal?
False
Let b = 10 + -9.2. Let u = b - 0.5. Is -1 greater than or equal to u?
False
Let c = 0.03 + -0.33. Which is greater: 2 or c?
2
Let y(x) = -x. Let g(k) = -k**2 - 9*k + 2. Let m(d) = g(d) - 5*y(d). Let o be m(-4). Let p(s) = 2*s - 2. Let i be p(2). Is i smaller than o?
False
Suppose -3*g = 2*g - 5. Let n(y) = -4*y - 1. Let s be n(g). Which is smaller: -6 or s?
-6
Let b = -7.1 + 6.6. Which is bigger: b or -4?
b
Let m(b) = -b**3 + 6*b**2 - 3*b - 7. Let c be m(5). Suppose 0 = 2*g - c*g. Suppose -2 = o - g. Which is smaller: -1/2 or o?
o
Suppose -2*s + 19 = -5. Let q = s + 12. Suppose 4*r + q = -4*y, 3*y - 2*y + 4*r = -18. Is -1/2 > y?
True
Let s = 11 + -49. Is s at least -1/3?
False
Suppose 4*c - 46 = 98. Let o be 2/(-4)*c/(-30). Does o = 0?
False
Let r be (1/(-2))/((-1)/(-2)). Let k be (-10 + -2)/3*r. Suppose j = k*j - 6. Is j less than 2?
False
Suppose 118 = -4*u + 422. Suppose 3*g - u = 2*y, -g - y = -0*y - 17. Suppose 5*t + g = -4*c - 0*c, 2*c - t = -4. Which is smaller: -2 or c?
c
Let z = 0.43 + 0.07. Is 0.2 bigger than z?
False
Let q be ((-18)/(-15))/(22/(-4)). Let n = 250 + -13749/55. Let b = n + q. Which is bigger: b or 1?
1
Let r be ((-4)/(-5))/(5/25). Suppose r*n = 3*w - 0*w, -2*w = 2*n. Which is smaller: w or -1/5?
-1/5
Let u(n) = -n - 16. Let j be u(-10). Are j and -6