2))/((-1099)/56). Which is smaller: -0.1 or b?
-0.1
Let j be (-28)/(-49) - 418/1001. Suppose -22 + 8 = 2*u - 4*b, 0 = 3*u - 2*b + 5. Let d = u - 2. Which is smaller: j or d?
d
Suppose 24 + 24 = -4*s. Let t be (4/5 - 1) + (-118)/10. Let w = t - s. Which is greater: w or 3?
3
Suppose a = 10 + 37. Suppose -t - 2*n - a = -4*n, 100 = -2*t + n. Is -50 bigger than t?
True
Let f be 0 + -1 + (-49)/(-2). Let h = -29 + f. Suppose 12 = -4*a, -5*p - a = 12 + 21. Is h equal to p?
False
Suppose -4*i + 4 = -4*w, -4*i + 11 = -2*i + w. Is i greater than -1?
True
Let o = 0.3 - 0.2. Let y(z) = -212*z**2 + 1486*z - 9. Let q be y(7). Which is bigger: q or o?
q
Let x = -66 + 66.33. Let b = 14.67 + x. Which is smaller: 1 or b?
1
Suppose -3*a - 30 - 165 = 0. Let s = 78 + a. Which is smaller: 10 or s?
10
Let j = 56328 + -173666/3. Let i = j + 1528. Let g = i + 33. Which is bigger: g or 0.1?
g
Let t be (1 + (-2)/3)/((-40)/600). Is -5 not equal to t?
False
Let z = -1087/30 + 902/15. Let q = -47/2 + z. Which is smaller: 0 or q?
0
Let t be 0 + (-8 - 4/2). Let m be (-24)/45 + (-4)/t. Let h be (-15)/18 + 2 - 2/12. Which is greater: m or h?
h
Let o(x) = 4*x - 2. Let w(p) = -p - 1. Let g(n) = o(n) + 5*w(n). Suppose -5*r - 15 = 5*f, -2*f - 1 = -9. Let t be g(r). Is t at most 0?
True
Let u = 61 - 63. Let o be 189/(-595) - u/17. Let d = -1 - 0. Is o not equal to d?
True
Let a = -33/8 - -265/72. Suppose 3*l = -3*w - 6, 2*l - w = -2*l + 2. Which is bigger: l or a?
l
Let q = 5741/3696 - -125/264. Let i = q - 5/16. Let j be (-3*(1 + 0))/(-1). Which is bigger: i or j?
j
Suppose -4*o = 4*b - 16, 5*b = 4*o + 21 - 1. Let c = -3/22 + 23/88. Which is bigger: c or o?
c
Let s = 74.2 - 66. Let r = -5.8 - s. Which is smaller: r or 0?
r
Let v = -178319/377 - -473. Is -1 != v?
True
Let s(h) = h**2 + 7*h - 1. Let u be s(-7). Suppose -5*p - 1 - 4 = 0. Are u and p non-equal?
False
Let d be 0/5 + 4/1. Suppose 30 - 6 = d*j. Suppose 2*m - 17 = 5*m - 2*v, -3*v - j = 0. Which is smaller: -5 or m?
m
Suppose 2*d + 5*n = n - 68, 130 = -4*d - 2*n. Suppose 10*b + 70 = -20. Let j be (3 - (57/b)/(-1)) + 4. Is d smaller than j?
True
Suppose 5*w = n - 35, 5*w + 3*n + 10 = -n. Let s be 2/w - (6/6)/1. Do 0 and s have different values?
True
Let j = -2 - -1. Let d = 5.9 - 7.9. Is d at most as big as j?
True
Let t(i) = -2*i**3 + 2*i**2 - i - 4. Let k be t(-1). Is k smaller than -2/1669?
False
Let w(o) = -o**3 - 10*o**2 + 19*o + 191. Let k be w(-10). Which is smaller: 0.75 or k?
0.75
Suppose -282 = 4*d - 3*a + 2*a, -d - 61 = -5*a. Which is smaller: d or 3?
d
Let h be (0 + 5)*(-3)/(-12)*-28. Do -588/17 and h have the same value?
False
Suppose 9*k = 11*k + 188. Do -91 and k have different values?
True
Suppose -4*s + 6 = 2. Suppose -b = -2*b - s. Let o(d) = 8*d**2 + 3*d + 2. Let c be o(b). Is 23/4 < c?
True
Let f(r) = -1262*r**3 + 2*r**2 + 8*r + 5. Let m be f(11). Let s = 152821944/91 + m. Let t = s + 25. Which is greater: -1 or t?
t
Let g = 29 + -28. Are -3/101 and g nonequal?
True
Suppose 5 = -5*l - 2*m + 13, 0 = -l - 3*m + 12. Let n be 45/(-12) + l + 3. Let k = 157/380 - 1/76. Is k > n?
True
Let j be (-8)/(-1 + 2)*27/(-6). Let y be (8/j)/(-1)*3/(-23). Is 1 at least as big as y?
True
Let j = -1205/426 + -1/213. Which is greater: j or -2?
-2
Let o be (18/(-5))/((-273)/(-130)). Which is smaller: o or -1?
o
Let p be (-8)/(-10) - (-2)/(-3). Let m(r) = 5*r - 51. Let t = 117 - 107. Let h be m(t). Is p >= h?
True
Suppose 227 = -5*b + 192. Do b and -21 have the same value?
False
Let a(x) = -x**3 + 35*x**2 + x + 28. Let j be a(35). Is j equal to 63?
True
Let i(o) = o**2 - 13*o + 8. Let v be i(5). Let f(m) = 5*m - 2. Let l be f(2). Let z be (-4 - 1) + v/l. Which is bigger: -10 or z?
z
Let g be (8/12)/(4/(-6)). Let i be 50/(-84) - 4/(-6). Is g > i?
False
Suppose 17*y = -0*y + 68. Suppose 3*c + 2*c - 15 = 0. Suppose h = -c*h + y. Which is greater: h or -2?
h
Let o be (-22)/70 - -8*(-4)/112. Let v = o - -1/5. Is -0.5 greater than v?
False
Let u = -1/100 - 179/2100. Let a be 1 - 1/(3/21). Let x be (-2 + 1)*(-7 - a). Is u less than x?
True
Let s(g) = g**2 - 4*g + 8. Let y be s(3). Suppose -p - 4*i + 11 = 0, -2*i - 1 = y*p - 2. Do -17 and p have different values?
True
Let t be (2 + -3)/(2/44*2). Which is smaller: t or -29/3?
t
Let u(q) be the first derivative of q**4/4 - 8*q**3/3 + q**2/2 - 6*q - 3. Let m be u(8). Suppose m*b = 6*b - 12. Is b greater than or equal to 0?
True
Let w(i) = 5*i**2 + 8*i - 9. Let c be w(4). Suppose -c = s + 2*q, -2*s = 3*s - q + 526. Let l be -4 - (-4)/((-100)/s). Do l and -0.02 have the same value?
False
Let g = 273 - 911. Let n = -3178/5 - g. Do 2 and n have the same value?
False
Let m be -2 + 1*80/(-68). Let c = 906/221 + m. Which is bigger: 2 or c?
2
Let k(a) = 3*a**3 - 2*a**2 - a. Let w be k(-1). Let q(z) = -6*z - 33. Let n be q(-6). Suppose -n*p = 2*j + 2*p - 19, -p - 10 = 5*j. Which is smaller: j or w?
w
Let p = -8 - -6. Let o be (-7)/(-9) - (-3)/(-3). Are o and p equal?
False
Let p(y) = -39*y + 257. Let d be p(6). Do d and 16 have the same value?
False
Let y = -53.905 + -0.095. Let l = y - -54. Is l less than 0.9?
True
Let w = 1413 - 18368/13. Do w and 72 have the same value?
False
Let c = 303 - 302.9. Is -0.0058 bigger than c?
False
Suppose 3*l - 24 - 69 = 0. Suppose 2*j + 16 = g, -1 = -3*g + 2*j + l. Are g and 7 non-equal?
True
Let x = 0 + 39. Let s = x - 39.1. Let j = -0.1 - -4.1. Is j less than or equal to s?
False
Let s = 15 + -15. Let r be 8/(-5)*(99/18 + -8). Which is bigger: s or r?
r
Let n = -232.727 + -0.273. Is n at most 0.1?
True
Let s be -4 + 48/4 + -2. Suppose 0 = -z + 5*n + 11 + s, 2*n = -4*z + 46. Let r be (12/9)/(16/z). Which is smaller: 2/3 or r?
2/3
Let r = 219 + -257. Is 1 at most as big as r?
False
Suppose 174 = -4*i + 3*g + 2*g, 36 = -i + 5*g. Let m = 369/8 + i. Let j(f) = -5*f**3 + 23*f**2 + 7*f + 16. Let n be j(5). Which is smaller: n or m?
m
Suppose 9*x = 155 - 146. Which is smaller: x or 2/591?
2/591
Suppose -x - 1 = 7. Let k = x + 10. Let j be 3/k*(-2)/15. Is -2 at least j?
False
Let q = 0 - -0.1. Suppose -5*s = 10, u = 2*s + 13 - 121. Let d = u - -347/3. Which is bigger: d or q?
d
Suppose 0 = -5*k + 2*w - 97, -79*k = -82*k + w - 58. Suppose -3 + 110 = -5*t - d, -2*t - 3*d = 48. Is k < t?
False
Let g(i) = -i + 9. Let b be g(-13). Let u = b - 20. Is 3/5 at most u?
True
Let p = 653 - 654. Which is bigger: -10/11 or p?
-10/11
Let h(v) = v**3 + 3*v**2 - 2*v + 1. Let j be h(-4). Let k be (-1)/(1/j*(3 + -2)). Let u be 8/(-4) + 9 + 0. Is k < u?
False
Let n = -0.1123 - -0.1123. Is 73 greater than or equal to n?
True
Let d = -22 - -8. Suppose 3*u - 9 = 33. Let r = u + d. Is 0 bigger than r?
False
Suppose -3*p + 26 = 5*y, 0*p + 3*y + 18 = 3*p. Let t = -50 - -14. Let j = t - -42. Which is smaller: j or p?
j
Let w = 14 - -7. Let b be (-1 + w/15)/(8/(-70)). Let k = -8 + 4. Is b at most as big as k?
False
Let o be (-3)/(-1 + ((-24)/27)/(-1)). Let b = 3 + o. Which is bigger: b or 31?
31
Let b = -215.974 - -210.9. Let f = b - -0.074. Is f at least as big as 3/5?
False
Let z = -1525 - -1522. Is -5/19 <= z?
False
Suppose 0 = -3*y + 19 + 5. Suppose 3*s = -3*g + 24, -g = s - 2*g - y. Suppose 2*f + 17 = i, -4*i + 7*f = 2*f - 53. Which is greater: i or s?
s
Let h = 17 + -15. Let x(k) = -4*k + k**2 + 18 - 11 - h*k**2. Let n be x(-4). Which is bigger: 5 or n?
n
Suppose -d - 104 = -5*d. Let p = -25 + d. Let v be (-2)/((-8)/(-7) + -2). Is v greater than p?
True
Let s be 0/(-2 + (1 - 1)). Suppose s = -7*v + 80 + 74. Which is greater: 20 or v?
v
Let g = 266 - 264. Let s be -1 + 0 - 4/3. Let u = g + s. Is u at least as big as 1?
False
Let q be ((-90)/4)/3*159/954. Is q less than -48?
False
Suppose 0 = v + 2, -4*p - 1368 = 5*v + 382. Let z be (2/(-1))/4 + p/(-6). Does z = 72?
True
Suppose -9160 = -2*v + 12*v. Which is smaller: -915 or v?
v
Let f = -195/4 + 49. Let n = -32.77 + 33. Let o = -0.23 + n. Is o smaller than f?
True
Let b(c) = c**2 + 2*c + 2. Let k be b(5). Let u be -1*k/(-5) - 0. Let h = -7 + u. Which is smaller: -3/2 or h?
-3/2
Let u be (10 - -1 - (-176)/(-44)) + 361. Is u != 370?
True
Let r = 0.06 + 7.94. Let y = 68 - 61. Let d = r - y. Which is bigger: 0.4 or d?
d
Let z = -20/83 + 681/415. Which is smaller: 1 or z?
1
Suppose 7 = -12*t + 127. Let m be (-12)/(-220) + 0 + (-6)/t. Which i