e b(-3). Let k = -548/5 + z. Suppose -4*y + 24 = 4*f + f, 0 = -4*y - 2*f + 12. Is y greater than k?
True
Let p = 6 - 3. Let b = 1 - p. Let j be b - -3 - 1*-2. Which is smaller: 1 or j?
1
Let d be (-36)/126 - (-2)/7. Suppose -4*l - 3*j + 23 = -0*l, 5*j = 2*l + 21. Which is smaller: d or l?
d
Let x = -0.2 - 0.8. Suppose -v = -5*v - 4. Is x < v?
False
Let a be 51/15 + 2/(-5). Suppose -a*p + 2*p = 0. Which is smaller: 1/4 or p?
p
Let r(w) = w - 2. Let a be r(5). Suppose 3*c - 3*n + 6 = 0, -3*c - a*n + 19 + 5 = 0. Suppose 4*t = 3*p - 9, c*t + 2*p = 4*t + 6. Is 1 equal to t?
False
Let m = -0.4 - -0.2. Let q = -0.25 - 0.05. Let z = q - m. Are -2/7 and z non-equal?
True
Suppose -9 = -r + 3*l, r + 4*l - 2*l + 1 = 0. Let t(i) = -3*i - 3. Let z be t(-2). Let j = r - z. Is j < 0?
False
Let h = -19 + 36. Suppose 4*t + h = 5*i, 0*i = 4*i + 5*t + 11. Which is smaller: i or -1?
-1
Suppose -4*r + 12276 = -4*v, -3*r - 3163 + 106 = v. Let s be 2/(-8) + v/1496. Let g = -36/17 - s. Is 0 at least g?
False
Let l = 32 + -59. Is -27 at most l?
True
Let l(w) = w**3 - 8*w**2 - 8*w - 8. Let o be l(9). Let y = 3989/2170 + 14/155. Let c = -23/14 + y. Which is bigger: c or o?
o
Let g = 0.98 - -0.02. Is 2/43 less than or equal to g?
True
Let y = 16.7 - 18. Is -0.1 <= y?
False
Let z = 1.64 - 0.04. Is 1/2 at most z?
True
Let i = -2 - -4. Suppose 0 = -4*t + i*m + 2 + 10, 33 = 5*t + 2*m. Let c = t + -6. Is -2/15 smaller than c?
False
Let h = 39.2 + -56.3. Let i = h - -17. Which is bigger: i or 13?
13
Let c be 0 - -1*1/1. Let x be (-5 - (-1 + -5))/(20/2). Which is greater: x or c?
c
Let u = -5 - 2. Which is smaller: 1/2 or u?
u
Let t be (2 - 0)/((-1)/(-2)). Suppose -n = t*n - 40. Is n greater than 8?
False
Let u = -26.2 - -26. Which is smaller: -2 or u?
-2
Let v be (2 + 7/(-3))*-6. Let j be (v/6)/((-2)/6). Is -4/3 equal to j?
False
Let f = 74 - 76. Is f greater than or equal to 5?
False
Let d be (32/12)/4*-12. Suppose 4*r + r - 2*h + 53 = 0, -3*r - 7 = 5*h. Which is bigger: d or r?
d
Let x = -18.9 + 18.903. Is x equal to -1?
False
Let m be (3 - (1 + 3)) + 8. Is m <= 7?
True
Let y be 40/(-24)*2/(-5). Does 11 = y?
False
Let y(k) = k**3 - k**2 + k + 3. Let a be y(0). Let p = -10 + 17. Suppose -s - 5 = -p. Which is bigger: a or s?
a
Suppose -l = -p, 3*l + p - 5*p + 5 = 0. Suppose 0 = c - g, 4*g = -5*c + 3*g + 12. Suppose -o + 5*y = 13, l*o = -y - c*y + 19. Is o greater than -0.2?
True
Let l = -1 - -2. Let u = -1 - l. Is u greater than -2?
False
Let j(m) = -m + 11. Let l be j(9). Which is smaller: l or 1?
1
Let h = -21 - -8. Let z = -15 - h. Which is smaller: -3/4 or z?
z
Let f = 0.3 - 0.28. Let c = 0.37 - f. Let i = -0.05 + c. Which is bigger: -1 or i?
i
Suppose -4*b = -3*b - 1. Let w be (-4)/(-1 - b) - -3. Is 14/3 less than w?
True
Suppose -15 = -6*w + 3*w. Let b(p) = -p + 6. Let z be b(6). Suppose -x = -z*s - s + 1, 3*x - w*s + 3 = 0. Are -2/3 and x equal?
False
Let g = 0.2 + -2.2. Let w(t) = -t**2 + 2. Let q be w(-2). Is g equal to q?
True
Suppose 4*f + 31 = 3. Which is greater: f or -8?
f
Let u = -16 + 15.9. Let l be 1182*-1*(-2)/520. Let p = 47/10 - l. Are u and p equal?
False
Let t = -6911/32179 - -1980702368/18824715. Let n = 86/195 + t. Let v = 105 - n. Which is smaller: v or 0?
v
Let y(t) = 4*t - 8. Let r(f) = 3*f - 7. Let z(j) = -3*r(j) + 2*y(j). Let i be (-8)/3*9/(-6). Let n be z(i). Does n = 2?
False
Let h be 32/(-14) + 12/42. Which is bigger: 6 or h?
6
Let u = -2.196 + 0.196. Is 2/51 > u?
True
Let a be (-2)/2*1 + 69. Let d be 1*((-196)/a - -3). Is d not equal to 1?
True
Let q = 0.37 - 0.42. Is q less than -0.2?
False
Let v be 6/(-5) + 8/40. Let n be (-16)/(-12)*3/26. Which is bigger: v or n?
n
Let r = -10 - -4. Let b = -0.44 + 6.74. Let c = b + r. Which is bigger: -1 or c?
c
Let n be -2 + 3 + -1 + 1. Which is greater: n or 1/48?
n
Let t be ((-282)/(-42) - 7) + (-2)/(-7). Which is greater: t or -14/11?
t
Let q = 21/17 + -37/85. Are q and 2 equal?
False
Let v(b) be the third derivative of b**4/24 - 5*b**3/2 + 8*b**2. Let g be v(15). Which is bigger: g or -4/3?
g
Let y(w) = w + 3. Let c(a) = 3. Let g(s) = 3*c(s) - 4*y(s). Let v be g(-2). Is v != 6?
True
Let g(m) = -m**3 + 5*m**2 - 7. Let o be g(5). Which is bigger: o or -5?
-5
Let r = 4 - -32. Let x be 2/7 - r/(-21). Let m = -499/1722 + 1/246. Which is bigger: x or m?
x
Suppose s = -b - 2 + 1, -1 = -4*s + b. Let m be -1 + -2 + 1*2. Let v be (-5 - s - m)/(-5). Is 2 bigger than v?
True
Suppose -4*v + 3*o - 13 = 0, -4*o + 8 = -3*v - 0*o. Let u = 6 - 4. Let c be u/(-8) - 15/4. Is v smaller than c?
False
Let z be (-3)/(-2)*(-116)/87. Let j be 8/2 + (-2 - -1). Suppose j*l = 2*r - 7, r + 4*l = -l - 29. Is r at least as big as z?
False
Suppose 4*w - 4 + 0 = 0. Let d be 2*2/6*w. Let q be 0 + -2 - (1 - 3). Is d < q?
False
Let a be 0/(1/((-1)/(-4))). Let n = 2 + -9. Let v = n - -5. Which is greater: a or v?
a
Let u = 3 + -2. Let f = -0.9 + u. Is f != 2/7?
True
Let v = 15 + -10. Let m = -5 + v. Which is greater: 8/9 or m?
8/9
Let m be -3 + (-1 - (-1 + 13)). Let r = 28 + m. Let l = r - 7. Which is bigger: l or 6?
6
Let s be (-13)/(-2)*(2 + 0). Does 13 = s?
True
Suppose -3*m + 4*m - 6 = 0. Suppose 2*n = m*n. Are n and -2/3 equal?
False
Let g be ((-8)/(-3))/(5/(-15)). Which is greater: -7 or g?
-7
Let h = -6 - 2. Let c be 4/4 - (-10)/h. Let q = 0 + 5. Which is smaller: q or c?
c
Let y = 9.88 - 10. Let k = y - 0.18. Does 0.2 = k?
False
Let l = -23 - -30. Suppose -5*o + 12 = l. Are o and -2/15 unequal?
True
Let g = -117/4 + 29. Let p(m) = m**3 - 2*m**2 + 1. Suppose 6*j - 3 = 3*j. Let u be p(j). Are g and u unequal?
True
Let h(t) = 2*t**2 - 3*t + 2. Let p be h(3). Which is bigger: p or 12?
12
Let y be (-4)/14 - 25/35. Let a = 1/12 - 3/4. Is y at most as big as a?
True
Let y be 9/(-24)*40/(-18). Is y at most as big as 2?
True
Suppose 34 = -5*u - 0*g - 3*g, 0 = u - g + 2. Suppose -5*d - 7 = -c + 6, 3*d = -3*c + 93. Suppose -4*p - c = 2*b, 3*b = p - 0*p - 7. Is b > u?
True
Let o = 8 + -9. Let a be o + (-4)/(24/(-9)). Let x = 2 + -1. Is a < x?
True
Let d(h) = -h**3 + h**2 + h - 7. Let y be d(0). Which is smaller: y or -9?
-9
Suppose -3*c + 15 = 0, 0*c - 3*c = -4*d - 7. Suppose -h - d*h = 3. Which is greater: h or -4/9?
-4/9
Let m = 444 + -695. Let k = m - -999/4. Suppose 0 = -4*f - 0*r - r + 3, -f + 15 = 5*r. Which is smaller: f or k?
k
Suppose 2*d = 5*d - 18. Let p be d/(-2)*(-4)/12. Is p at least -1/7?
True
Suppose d = 2*d. Are 2/7 and d equal?
False
Let q = 66 - 38. Is 29 at most q?
False
Let d be (-4)/(-30)*70/98. Which is greater: 2 or d?
2
Let h(g) = g**2 - 1. Let y be h(-2). Suppose 4*t - 7 = -y, -3*z + 4*t = 1. Let p be -2 + z + 4 + -1. Which is smaller: p or 0?
0
Suppose -5*n - 69 = 3*q, -3*q + 4 = -2*n - 11. Which is smaller: -13 or n?
-13
Let b = -0.4 - -0.36. Let k = 0.04 + b. Which is smaller: 1 or k?
k
Let b = 3 + -2. Let m = 138 - 208. Let i = m - -349/5. Is i > b?
False
Let n = 211/5 - 42. Suppose q + 2*q - 60 = 0. Suppose 3*f - q = 5*o - 2*f, 0 = -2*o + 5*f - 17. Which is bigger: n or o?
n
Suppose 0 = 13*g - 8*g + 40. Which is smaller: -7 or g?
g
Suppose 6*m + 60 = 4*m + 3*w, 118 = -4*m + 5*w. Does -29 = m?
False
Let v = 1 + -1. Suppose 0 = -2*n - v*n + 6. Suppose -4*t + 3*t = -3. Is n != t?
False
Let t(d) = -d**3 + 9*d**2 - 5. Let g be t(9). Let p be g/(-5) + 42/(-39). Let y be (0 - 0)/(2 - 1). Is y greater than p?
True
Let g be 57/(-21) - (-10)/(-35). Which is smaller: g or -1?
g
Let u = 0 + -10. Let t = -10.2 - u. Is t < -1/4?
False
Let u(w) = w**2 - 3*w - 5. Let a be u(4). Let y be a - (4 - 70/8). Which is bigger: y or 3?
y
Let c(f) = f + 10. Let n be c(-8). Let t be (n/(-355))/(8/(-5)). Let h = t + 559/2556. Is -1 < h?
True
Let i = -32 - -21. Let m = 10 + i. Which is bigger: -1/5 or m?
-1/5
Let w = -7 - -4. Let u = w + 2.5. Is -1/3 less than u?
False
Let f = -3388/5 - -751. Let z = f - 74. Let l = -4/15 - z. Which is bigger: 0 or l?
l
Suppose -y - 19 = -5*w, 3 = -2*w - 2*y + 1. Suppose -w*t - 2*t = 40. Let d(m) = -m**3 - 7*m**2 + 8*m - 4. Let s be d(t). Is s less than or equal to -4?
True
Let q(y) = -y**2 + 16*y - 28. Let g be q(13). Let a = -15 + g. Which is greater: -16/3 or a?
a
Let s be (2 + (2 - 1))/2. Suppose -5*x - 5*o + 1 = -29, 5*x = 3*o - 10. Which is smaller: x or s?
x
Let j = 30 + -32. Which is smaller: 0.1