). Let m = -4 - n. Suppose -4*h = 2*l, -19 + 1 = h - 4*l. Which is smaller: m or h?
h
Let q = -1.1 - -0.1. Let a = -2 - q. Let m = 0.2 + -0.2. Which is greater: m or a?
m
Let j = 1161/10 - 116. Let z = 2/5 + j. Suppose 25*f = 20*f + 5. Is z at most f?
True
Let h = 3 - 0. Suppose -3*o = z - 0*o - 2, -z + 3*o = -2. Suppose -5 = 2*k - i + 1, -z*i = 5*k - h. Is 0 <= k?
False
Suppose -4*a - 5 - 7 = 4*d, 4*d = 2*a. Suppose 6*t = 3*t + 6. Let f = t + d. Which is greater: -1 or f?
f
Suppose -12 = -2*p + 3*p. Let s be (-6)/(-36) + 2/p. Suppose -u = 3, 5*i - 2*u = -s*u + 16. Is i at least 3?
False
Let p(o) = -5*o**3 + 3*o**2 - o - 8. Let x(s) = -9*s**3 + 7*s**2 - 2*s - 16. Let y(t) = 11*p(t) - 6*x(t). Let n be y(-9). Which is smaller: n or 3/13?
n
Suppose d = -0*d + 5. Suppose 4*b - 50 = -5*p - 0*b, 0 = b - 5. Which is smaller: p or d?
d
Let l(u) = -u**2 + u - 1. Let x(s) = 2*s**2 - 4*s + 6. Let v(c) = -l(c) - x(c). Let h be v(4). Are -9 and h non-equal?
False
Let b = -7.9 + -0.1. Let x = b - -10. Which is bigger: x or -0.2?
x
Suppose -6*q + 5*q = -1. Which is bigger: -17 or q?
q
Let o = -0.063 + 18.063. Is 0 at most as big as o?
True
Let q = 13 + -5. Suppose -j = -0*j + 4*y - 2, 4*j + 5*y = q. Is j at most as big as 1?
False
Suppose -5*q - 2*w + 4 = -1, 0 = -5*q - 3*w. Do q and 10 have the same value?
False
Let x be (-1336)/(-3290) + 0/4. Let f = x - 2/329. Which is bigger: f or 0?
f
Let w(a) = a**2 + 10*a + 24. Let y be w(-7). Is y at least 2?
True
Suppose -7*a + 2*a = -15. Suppose -20 = 4*j, 2*k - 4*j = 13 + a. Let h be k/(-7) + (-2)/(-42). Which is smaller: h or 1?
h
Let l be 16/(-1 - 3) + 3. Let r = l - 7. Let c be (-5)/6 - 4/(-12). Is c at least r?
True
Let n be -3 + (-12)/(-10) - -2. Let d(a) be the third derivative of a**6/120 + a**5/15 + a**4/24 + a**3/2 + a**2. Let x be d(-4). Which is bigger: n or x?
n
Let f = -2 + 6. Let v = f + -25/6. Which is smaller: 1 or v?
v
Let c = 14 - 15.2. Let d = -0.2 - c. Let i = 0 - d. Is i at most as big as 2/5?
True
Let s = 581/3 + -188. Is s less than 7?
True
Let h be ((-1)/(-2))/(11/(-22)) - -1. Let o = 42/5 + -153/20. Is h bigger than o?
False
Suppose 0 = 4*g - 0 + 12. Which is smaller: g or -2?
g
Let u = -9.1 - 1.9. Which is smaller: -1 or u?
u
Let o = 2362/13 + -182. Which is smaller: o or -1?
-1
Suppose 2*q - 18 + 28 = 0. Which is bigger: -6 or q?
q
Let a(r) = -r**3 + 4*r**2 - 8*r + 6. Let g be a(4). Is -26 smaller than g?
False
Suppose 4*y - c - c + 58 = 0, -y - 10 = 4*c. Is y at most as big as -85/6?
False
Suppose 0*l = l - 1. Let n = l - 1. Let p(h) = h**2 - 6*h - 6. Let f be p(7). Which is smaller: n or f?
n
Suppose 9*u - 5 = 4*u. Let x be (0 - 0)/(-3 + u). Let l = 3 - x. Is l <= -2/3?
False
Let u = 8 - 7. Let l be ((-9)/24)/((-9)/6). Which is smaller: u or l?
l
Let m = 8 - 7. Suppose 2*v + 3*v + 3 = -3*y, y - v = -1. Which is smaller: y or m?
y
Let p = 363/7 - 52. Let g(h) = -2*h - 1. Let c be g(-2). Suppose c*n = 8*n - 3*x - 12, 5*x = 2*n - 20. Which is bigger: p or n?
n
Suppose -3*d + 130 = y, 4*y + 193 = 4*d + 25. Which is greater: 42 or d?
d
Let r be (-26)/(-16) + (-18)/12. Let o = 1/3 + -5/6. Is o less than r?
True
Let s be (2/3)/((-10)/(-65)). Which is bigger: 4 or s?
s
Let j be (-5 + 8)*(-3)/(-9). Which is smaller: 16/7 or j?
j
Suppose 0 = -2*h - 0*h - 6, -1 = -2*y + 5*h. Let r(m) = m**3 + 7*m**2 - m - 5. Let f be r(y). Let o be ((-1)/(-2))/((-5)/f). Which is smaller: -1 or o?
-1
Let l be (8/6)/((-870)/(-685)). Let u = 24/29 - l. Which is smaller: u or 0.06?
u
Suppose y + l = 32, -2*y + 76 = -0*l - l. Suppose 3*k = 3*w - y + 15, 2*k + 2 = -w. Suppose -b + 4*m - 11 = 0, 3*b + 5 = 4*m + m. Which is greater: b or w?
b
Let b be 8/(-16)*(2*2)/(-1). Is b != 1?
True
Let n = 119 + -113. Is n at least 0?
True
Let h be (-16)/(-104) + 30/(-26). Let f be 0 - (-3 + h + -2). Which is greater: 7 or f?
7
Suppose 4*j - 4*a = 2*j - 18, -5*j - 3*a = -20. Are j and 32 non-equal?
True
Let i(t) = -t**2 + 4*t - 4. Let p be i(3). Let c be p + 0 - (-4 - -1). Let s be (-27)/36*c/6. Which is smaller: 5 or s?
s
Suppose s = 5*s - 32. Let v(y) = -3 + 4*y - 10 - 3*y + 3. Let x be v(s). Is -6/5 >= x?
True
Let n be (-15)/6 + (-1)/4. Is n smaller than -4?
False
Let v = 104 - 58. Does 47 = v?
False
Let j be 65/4 + (-2)/8. Suppose 0 = 5*g - g - j. Let u = -12 - -23/2. Is g less than or equal to u?
False
Let z be 10/(-9) - 52/(-13). Which is smaller: z or 2?
2
Let t(x) = -2*x**3 + x**2 - 3*x + 2. Suppose -4*d + 5*r = -4, -6*d + 5 = -d - 2*r. Let p be t(d). Which is smaller: p or -5/6?
p
Let c(o) = o**2 + 10*o + 9. Let u be c(-9). Let p = 0 - 0. Is u != p?
False
Let o be (0 + 0)/(3 - 4). Let j(v) = -v**3 + 6*v**2 + 7*v - 1. Suppose 0 = -3*y + 3 + 18. Let g be j(y). Which is smaller: g or o?
g
Let w be (0 + 3/(-3))*-1. Let c be (0/4)/(-1*w). Let f = -6 + 7. Is f less than or equal to c?
False
Suppose 3*o - 2 = -5. Let x be 9/21 - (-40)/(-28). Is x bigger than o?
False
Let r(a) = -a**3 - 3*a**2 - 4*a - 3. Let f be r(-2). Suppose v - 8 = -3*v. Let u be 0 - v - (-4)/3. Which is greater: f or u?
f
Let b be (-12)/(-16) - (-2)/(-8). Let o = -0.11 + -3.89. Let w = o - -3.7. Do w and b have different values?
True
Let a = -0.4 + 0.3. Is -24 at most as big as a?
True
Let z(w) = 4*w - 3. Let c(h) = 3*h - 2. Let d(l) = 7*c(l) - 5*z(l). Let f be d(3). Suppose 5*n - 4*n = f. Is n at least 3?
True
Let m be (-3)/12 - 13/(-4). Let q be (7 - m)/(2/4). Let y be (-5)/(-2)*q/10. Is y at least 1?
True
Let s = 1.7 - 2. Let m = s + 0.4. Let v = 75 - 71. Is m at most as big as v?
True
Let k = 165 - 1159/7. Let r = 7 - 4. Let z = 3 - r. Is k less than z?
True
Suppose 5*k + 12 = 37. Suppose -k*l = -0*j + 2*j + 9, -3*j - 7 = l. Which is smaller: l or -15/8?
-15/8
Let k(r) = r**3 - 4*r**2 - 5*r - 1. Let c be k(5). Let q = 7 + -10. Which is bigger: c or q?
c
Let w be 6/(-18) + 74/6. Let q = w - 9. Does 3 = q?
True
Let o be (-1)/(-2 + (-22)/(-10)). Let n(u) = 2*u - 12. Let h be n(4). Is h less than or equal to o?
False
Suppose 2*d + 0 = s + 6, s + 10 = 3*d. Let t be -4*s/((-64)/(-18)). Which is smaller: t or -1?
t
Let b(w) = w**3 + 3*w**2 + w + 1. Let h be b(-3). Let t(s) = -s - 7. Let l be t(-6). Which is smaller: h or l?
h
Suppose -o + 3*o - 1020 = 0. Let a be 24/o*(-5)/(-2). Which is greater: 0 or a?
a
Let o = -30 + 31. Is 0.7 > o?
False
Let c = -3 - -2. Let u = 314/21 + -15. Let s = 19/42 - u. Which is greater: s or c?
s
Suppose 8*p = 10*p + 92. Let y be 10/35 + p/63. Do y and -1 have the same value?
False
Suppose -5*s + 23 + 2 = 0, -2*l = 2*s - 4. Let w(h) be the second derivative of h**4/12 + 2*h**3/3 - 2*h**2 - h. Let o be w(-4). Is l >= o?
True
Let c = 0.4 + -0.1. Let v = c + 0. Which is bigger: -1 or v?
v
Let z = 10 + -19. Which is smaller: z or -19/2?
-19/2
Let w(r) = 4*r**2 + 2*r + 1. Let g be w(5). Let x be 2/(-5) + g/15. Suppose -x*t + 3*t + 12 = 0. Does t = 4?
False
Let y be (-14)/(-16) - (1 - 0). Let c be (-1 + 0)*(3 + -3). Let w be -1 + (c - 1) - -1. Which is smaller: y or w?
w
Let l be -1*(-2)/(-2)*-1. Suppose 1 = 2*r - 1. Let b = l + r. Is b greater than 2/3?
True
Let m = -2.92 - 0.08. Is -1/2 bigger than m?
True
Let m be 4/10 + (-4032)/30 + 1. Is m > -134?
True
Let x = -1592123/9 + 177308. Let s = 405 - x. Which is smaller: s or 0?
s
Let w = -10/47 - 400/329. Is -1 greater than w?
True
Suppose -3 - 3 = 3*u. Let f be (2 + -2 + -1)*u. Is f equal to 0?
False
Suppose 4*l - 3 = 1. Let c = 268/7 + -38. Which is bigger: c or l?
l
Let a(o) = 4*o**2 - 2*o. Let g(t) = 11*t**2 - 7*t. Let q(j) = 17*a(j) - 6*g(j). Let m be q(-4). Which is greater: 2 or m?
2
Suppose 114 = -4*i - 3*x, i - 6*i - 141 = 3*x. Let d be i/(-30) + (-2)/5. Let j = -9 - -10. Which is bigger: d or j?
j
Let h = 2 - 6. Let q = -9 - h. Suppose 0 = -4*c - 16 - 0. Are q and c non-equal?
True
Let d be (-4)/(-14) + 36/21. Suppose 10 = -d*f + 48. Suppose 5*b + 1 = -f. Is -3 not equal to b?
True
Let o = 31 - 15. Suppose 4*r - 12 - o = -2*p, p = 5*r - 42. Do -2/7 and r have the same value?
False
Let j(x) be the third derivative of x**6/120 - x**5/30 + x**3/6 - 3*x**2. Let g be j(2). Suppose s + 2 = f + f, -3*f = -s - g. Is s < -4?
False
Suppose -2*b = -0*b - 2. Let c be 2/(-4) + 2/8. Which is smaller: c or b?
c
Let o = 49 - 34. Suppose 0 = -2*g - 5 + o. Is 6 at most g?
False
Let p = 113 + 