 21 = 5*c + l. Suppose -c*y = -4*g + 32, -2*g + 2*y - 4 = 4*y. Which is bigger: g or 2?
g
Let c(v) = -v + 4. Let g be c(2). Let b(t) = t**2 - 2*t. Let y be b(g). Suppose q - 5 + 7 = y. Which is smaller: q or -1?
q
Suppose 5*s = z + 13 + 5, 0 = -s + z + 2. Let t be 1/(-2)*(-8)/s. Let n be t + ((-4)/(-2) - 1). Is 3 less than n?
False
Let f(i) = -5*i**3 + 11*i + 11. Let d(m) = -6*m**3 + m**2 + 12*m + 12. Let g(w) = 4*d(w) - 5*f(w). Let y be g(-5). Which is greater: y or 0?
y
Let k = 0.1 + 0. Let b be 2/20 + (-8)/20. Let q = 31/70 + b. Are q and k unequal?
True
Let a be (-2)/(-20) - (-4 - (-28)/8). Suppose -2 = -5*p + 8. Does p = a?
False
Let o = 19/30 - -1/30. Let t = -3 - -11. Let x be (-1)/2*t/14. Is x at least as big as o?
False
Let t be 0 + 4 + (6 - 4). Let d be (3/(-27))/((-2)/t). Is d < -2/7?
False
Let c(a) = a - 4. Let s be c(4). Suppose -3 + 6 = -3*g. Let x = s - g. Which is smaller: 2/3 or x?
2/3
Let c = -0.1 + 0.2. Let p = -90 - -90.06. Is c less than p?
False
Let x(s) = -4*s + 1 + 13*s - s**3 + 0*s**3 - 9*s**2. Let w be x(-10). Suppose 2*v = -w + 3. Is -5 at most v?
True
Let a = 0.9 + 0.1. Let x = -0.9 + 0.1. Let h = a + x. Which is bigger: h or 0?
h
Let b be (1/(-2))/((-3)/72). Let v(r) = -r - 9. Let t be v(-7). Let o be (-15)/b - t - 2. Which is smaller: o or -2?
-2
Suppose 13*g = 2*g + 209. Which is smaller: g or 20?
g
Let r(b) = -b**3 - 3*b**2 + 12*b + 9. Let h be r(-5). Which is smaller: h or 6/13?
h
Let z = 22 + -20. Which is bigger: z or 4?
4
Let c(n) = -n**3 + 13*n**2 - 10*n - 26. Let w be c(12). Which is bigger: 0.8 or w?
0.8
Let r(l) = l**2 + 6*l - 5. Suppose -2*s + 1 = 15. Let g be r(s). Let d = g - 5. Are -2 and d unequal?
True
Let v = -8.07 + 8. Suppose -24 + 8 = -4*h. Let z be (-2)/(-9) + h/(-18). Which is smaller: z or v?
v
Let n = 21 - 11. Let r = -1.005 + 0.005. Is r at least as big as n?
False
Suppose -3*h - 23 = -3*a - 5*h, 0 = h - 4. Suppose -a*n = -n - 4. Let v be 6/((-2 + 0)/n). Which is smaller: v or -5?
-5
Let w be 14/(-8) + (-7)/(-28). Suppose -3*t = -7*t - 4. Which is greater: t or w?
t
Let y = 2597/8 + -325. Suppose 40 = -0*b + 5*b. Suppose 0 = b*v - 3*v + 5. Does v = y?
False
Let r = 2 + 6. Suppose 4*n = 3*n + v + 2, 4*n - v = r. Let p be (-91)/(-105) - (-1)/(-5). Which is greater: n or p?
n
Let h = 7 + -1. Let c be 2/(-1) - (-8)/h. Let a = 9 - 10. Is c at most a?
False
Let q = -184 + 183.8. Which is smaller: -17 or q?
-17
Let k = -0.27 - -0.17. Which is bigger: k or 7?
7
Let t be (0/(4/2))/(-2). Let m be (-16)/(-56)*(30/9 - 1). Are t and m non-equal?
True
Let r = -12 + 24. Let s = 10 - r. Which is greater: -3/7 or s?
-3/7
Suppose -29*w = -23*w + 6. Let p be 1 + (-6)/8 + 0. Is p greater than w?
True
Let g = 313 + -316. Suppose 2*o = 3*o + 4. Is g at least as big as o?
True
Let c be 2/5 + (-36)/65. Suppose 0*i + 5 = i. Suppose -q + 7 = q - n, -i*q - 5*n - 20 = 0. Which is smaller: c or q?
c
Let c = -15 + -6. Let w = c + 34. Let h be (-6)/21 + w/70. Do h and 1 have the same value?
False
Let m = 48 + -241/5. Is m <= -0.1?
True
Let c(v) = v**2 - 5*v + 10. Let i be c(5). Suppose 4*t - t - 2*f = 36, t - 5*f - 25 = 0. Are t and i nonequal?
False
Let r be (-7)/6 + 2/4. Let u(w) = -2*w - 28. Let v be u(-14). Is r less than v?
True
Let m = -2 - -1.92. Let b = -0.122 + 0.122. Which is greater: b or m?
b
Let s = -14 + 1. Let g = s + 7. Let r = 13 - 19. Are g and r non-equal?
False
Suppose -5 = -3*g - 2*m, 3*m = 5*g - 2*m - 25. Let h = -6 + 10. Is h >= g?
True
Let c be 3*6/(-8) + 3. Do 1 and c have different values?
True
Suppose 14*d - 63 = 17*d. Which is bigger: -22 or d?
d
Let s be 3 + -2 + (-6)/4. Let w = 2 - -5. Do w and s have the same value?
False
Let i = 24 + -47/2. Let q = 2 + 1. Which is smaller: q or i?
i
Let o = -3 + 11. Suppose -3*t + 4*r = -0*t + o, -10 = -5*r. Let c = 1 + t. Which is greater: c or 2?
2
Let b = 2 + -3. Let r = 0.07 + 2.83. Let j = r - 3. Do j and b have different values?
True
Let k(q) = q**3 - 12*q**2 + 20*q + 3. Let w be k(10). Which is bigger: 0 or w?
w
Suppose 0 = x + 2*r - 1, x + r + 1 = -x. Is x greater than or equal to -3?
True
Let r = 1.7 - 1.7. Which is bigger: -1 or r?
r
Let r = 4 - 3.8. Let i be 1/2 + 26/(-36). Which is bigger: i or r?
r
Let g = 182 + -166. Which is bigger: 14 or g?
g
Let w be 0*3/6*-1. Suppose -10 = -w*z + 5*z. Let k be (z*1)/(3 - 2). Does k = -4?
False
Let t be ((-21)/(-5))/(3/(-15)). Is -21 at least as big as t?
True
Let o be (2 + 0)/(6/1). Suppose 0 = 3*a - 3, -4*i - a + 17 = 4*a. Is i <= o?
False
Let g(k) be the second derivative of 3*k**5/20 - k**4/3 + 2*k**3/3 - k**2 + 3*k. Let v be g(2). Let t be (-2 - -1) + v/18. Which is smaller: t or 1?
t
Suppose -3*l - 2*v = -2 + 4, 0 = -3*l - 5*v - 5. Let q be ((0 - -1)/69)/(1/3). Which is smaller: l or q?
l
Let t(o) = -5 - 1 + 0 + 0 - o. Let a = 5 + -11. Let b be t(a). Is b at least 2/3?
False
Let n(g) = -3 + 2*g**2 + g**3 + g**3 - g**3 - 4*g. Let p be n(-3). Let x = -31 - -94/3. Does x = p?
False
Let i = 1 - 1. Let d be (-6)/33*1 + 65/660. Is i > d?
True
Let m = 13 + -8. Let s = m - -1. Let v = -10 + s. Is -1 < v?
False
Let f be 16/(-6) - (-2)/3. Suppose 3*t - 3*s = 9, 4*s + 2 = -3*t + 11. Suppose 3*y - 2*p = 0, -t*y + 11 = 3*p + 26. Is y equal to f?
True
Let k = 20 + -11. Is k greater than or equal to 11?
False
Let u be ((-3)/15)/(3/12). Is -1 <= u?
True
Let z(x) be the third derivative of x**5/60 + x**4/3 + 3*x**3/2 - x**2. Let o be z(-6). Which is bigger: 1 or o?
1
Let u be (-1)/14*4 + 18/112. Let m = 0 + 0. Which is smaller: u or m?
u
Let g be (-2)/(2 - (-32)/(-14)). Let v(t) be the third derivative of -t**6/120 + 7*t**5/60 + t**4/24 - 7*t**3/6 - t**2. Let d be v(g). Which is bigger: d or 2?
2
Let f = -100 - -104. Which is smaller: -1 or f?
-1
Let h(v) = v**2 - 2*v - 2. Let a be h(4). Let q(d) = -6*d + 8. Let m be q(a). Let b be (-8)/m - 10/(-14). Is b greater than -0.1?
True
Let l = -22 - -47/2. Which is smaller: l or -1/2?
-1/2
Let x = 44 - 43. Which is greater: -6 or x?
x
Let l(k) = 3*k - 1. Let f(m) = -m + 1. Let t(o) = 2*f(o) + l(o). Let d be t(3). Suppose d = -h + 3. Is h > -1?
False
Suppose 4*v + 20 = 5*a, 4*a + 0*v = v + 5. Suppose -3*m + 2*m + 7 = a. Let d be ((-35)/m)/(0 + -1). Is 5 equal to d?
True
Let x(b) = -b**2 + 7*b - 3. Let o be x(9). Do o and -21 have the same value?
True
Let y = 15 + -8. Let m = y - 5. Suppose 0*u = -m*u + 2. Is u <= 1/6?
False
Let c = -0.51 - -0.01. Let n = c - -0.3. Let w = -31/28 - -6/7. Which is smaller: n or w?
w
Suppose 5*f - 26 = 6*f. Let a be (-6)/39 + (-10)/f. Which is smaller: -1 or a?
-1
Let h = -1/18 + -4/9. Which is bigger: h or -2?
h
Suppose 8*i = 13*i - 95. Is i greater than 19?
False
Let q be -3 + (-105)/(-25) - 1. Is q at most 0?
False
Suppose 0*i + 14 = 2*i. Which is greater: 13/2 or i?
i
Suppose -i + 0 = -1. Let p = 213 - 1705/8. Are i and p unequal?
True
Let r(o) = 3*o - 2*o + 6 + 4. Let c be r(-11). Suppose -j - 1 = 1. Which is smaller: c or j?
j
Let s(r) = r**3 - 12*r**2 + 10*r + 9. Let f = -13 + 24. Let u be s(f). Let h(v) = -v**3 - 2*v**2 + 5*v + 2. Let l be h(-3). Which is smaller: l or u?
l
Let x = 0.069 - -0.221. Let s = x + 0.01. Let j = 1 + -2. Which is smaller: j or s?
j
Let v be (3/(-18))/(1/(-4)). Suppose -83 = -4*z + 21. Let n = z - 25. Which is bigger: v or n?
n
Let u be -3*1/((-6)/91). Let f = u + -265/6. Which is greater: 1 or f?
f
Suppose -4*m = -5*m - 2. Let w be (-1 - m) + (-3)/(-18). Which is bigger: 1 or w?
w
Let g = 11 - 17. Is -5 bigger than g?
True
Let c be (1 - -3)*-1 + (-8)/(-2). Is c < -4/57?
False
Let y = -1 - -0.2. Let j = y - -0.7. Is 0.1 > j?
True
Let o(r) = -11*r**2 + 11*r + 11. Let i = -1 + 4. Let t(p) = 4*p**2 - 4*p - 4. Let d(v) = i*o(v) + 8*t(v). Let g be d(-1). Which is bigger: g or 2/9?
2/9
Suppose -3*x + 4 = 37. Let r = x - -11. Which is greater: -2/3 or r?
r
Let f be (1/(-2))/(15/(-6)). Suppose -4 = -3*p + 3*i - 10, 2*p = 5*i - 19. Suppose p = -2*o - o. Is o != f?
True
Suppose -n = 2*m - 38 - 21, -2*n - m = -133. Which is bigger: 68 or n?
n
Let o = 23 + -26. Is o at least as big as -4?
True
Let s be 24/(-10) + (-2)/(-10). Let b = s + 38/15. Is b < 1?
True
Suppose -2*g + 4 = -6. Suppose -g*y + y = -24. Let n be (y/(-10))/((-8)/(-5)). Is n > 1?
False
Let v(s) = -s**3 + 7*s**2 + 10*s - 11. Let a be v(8). Suppose 0*o 