(5). Which is smaller: b or 13/15?
13/15
Let x(w) = -4*w + 5. Let t be x(18). Let d = t - -74. Which is greater: d or -3?
d
Let t = 1564 + -1563.78. Is -17/5 > t?
False
Let k be 5 - ((-14501)/(-9) - 40/180). Is k != -1605?
True
Let w = -12.09 + 0.09. Let k = w + 11.94. Let q = -4.94 + k. Is q not equal to 0.1?
True
Let g be (-10)/4*(-1 - (89 - 2)). Is g at least as big as 219?
True
Let p = -77.8 + 77.9. Let b be (-8)/44 - 7/(-11). Is p <= b?
True
Let y = -0.646 - -196.646. Is -2 <= y?
True
Let i = -527 - -512. Which is smaller: i or -10?
i
Let y = 513 + -520. Is 92 at most as big as y?
False
Let n = 47 + -92. Let j = n - -39. Let q = -13 + 8. Which is bigger: j or q?
q
Let j = 335/12118 + 3/146. Which is greater: 0.1 or j?
0.1
Let c be (-1)/(-4) + 4/(-16). Suppose -4*r - 4*n + 108 = 0, c*r = -4*r - 5*n + 108. Let x = r + -348/13. Which is greater: 0 or x?
x
Let c(w) = -4*w**3 + 5*w**3 + 2*w**2 - 8 + 9. Let o be c(-2). Let q = 2/319 - 60/319. Which is bigger: o or q?
o
Let x = -411156163/4209 - -97685. Let t = x - -88381/16836. Is t <= 5?
False
Let f(p) = -p**3 - 4*p**2 - p + 7. Suppose -6 = 15*x - 13*x. Let r be f(x). Are r and 2/87 unequal?
True
Let f(q) = 3*q - 45. Let z be f(10). Let v = z + 57. Which is bigger: v or 41?
v
Let x = -1088 + 1108. Is x at most -0.1?
False
Let b(k) = -k**3 - 3*k**2 + 3. Let v be b(-3). Suppose 15 = 5*s, -3 - 1 = 5*y - v*s. Let r be y/2*(-4 - -2). Which is bigger: -1/3 or r?
-1/3
Suppose -57 = 3*i + 4*z, 2*i - 2*z + 39 = -i. Suppose 0*m - c - 16 = -2*m, -c = m - 8. Let p(b) = b - 23. Let x be p(m). Is i < x?
False
Let f = -21 - 28. Which is greater: f or -51?
f
Suppose 5*f + 5*r - 35 = 0, -r - r = -f + 7. Let h = -7 + f. Which is smaller: 2/3 or h?
h
Let g = 573.96 + -574. Is g greater than 133?
False
Let t = -11 - -15. Which is greater: 18 or t?
18
Suppose 8 = -10*b + 12*b. Suppose -76 - 4 = b*q. Let l = 17 + q. Which is greater: l or -2?
-2
Let m = -115 + 70. Let r be (-432)/m + 0 + -1 + -2. Is r greater than or equal to 8?
False
Let z(r) = 124*r + 440. Let m be z(-5). Which is greater: m or 0?
0
Let y(j) = -3*j + 42. Let i be y(14). Let a(z) = z**2 + z + 18. Let n be a(i). Is n bigger than 15?
True
Suppose 96 + 1261 = 4*n + f, 3*n - 4*f = 1032. Is n greater than or equal to 340?
True
Suppose -3*c = -3, h + c = -9 - 10. Let t be h/90 - 1437/(-27). Which is bigger: t or 54?
54
Let s = 415/3 + -1717/12. Which is bigger: -5 or s?
s
Let v = -1 - 29. Let x(r) = r**3 + 31*r**2 - 27*r + 158. Let t be x(-32). Is t less than v?
False
Let a(f) = f**3 - 13*f**2 + 33*f - 25. Let q be a(10). Let z be (-2)/3 + 23/3. Which is bigger: z or q?
z
Let o(a) = a**2 - 3*a - 10. Let b be o(5). Are -2/487 and b nonequal?
True
Suppose -49 = -10*d + 1. Suppose 0 = d*g - 15, b + g + 7 = -b. Which is smaller: b or -2/7?
b
Let x = 0.37 + -0.69. Let o = -0.12 - x. Suppose -2 = -p + 2*k, -p = -2*p - 4*k + 32. Is o at most p?
True
Let j = 3.84 + -4.04. Are 2/47 and j unequal?
True
Let t = -9 - -9.1. Which is greater: 147 or t?
147
Suppose 4*i + 2*f = 40, -2*i + 14 = -5*f - 30. Suppose -k + i = -4*k, 3*j - 2*k - 14 = 0. Let r = 0 - -1/2. Which is bigger: r or j?
j
Let n = 1465 - 1489. Is n at least 25?
False
Let q = 2 + 0. Let i(k) = -8*k - 6*k**2 + 10*k**2 - 3 - 5*k**q. Let p be i(-7). Does 3 = p?
False
Let f(v) = 11*v**3 - v + 2. Let q be f(1). Suppose 8*c - 26 = 62. Is q at most c?
False
Let a(q) = 2*q + 6*q + 3 - 2. Let g be a(1). Let j = 10 - g. Which is bigger: -4/13 or j?
j
Suppose 0 = 20*j - 17*j - 3. Let u be 12/(-3) - (j + 1). Are u and -7 equal?
False
Let x = 5 - 9. Let w(r) = -r**2 + 11*r + 16. Let j be w(12). Suppose -j*h = -2*h. Which is smaller: h or x?
x
Let t = -144.11 + 158. Let d = t + 3.01. Let j = d + -17. Is j at most as big as 1/2?
True
Let u = 11 + -1. Let l = u + -16. Let m = -4 - l. Which is smaller: m or -12?
-12
Let w = -152 - -156. Suppose 2*s + w*v = -232, -110 = s + 6*v - 10*v. Is s at least -114?
True
Let r = -56 + 38. Let n be (-4)/r - (-1446)/(-27). Let y = -3031/57 - n. Which is greater: 0 or y?
y
Let n = -79.4 - -76. Let g = n + 2.3. Is 0.1 less than g?
False
Let g = -33 - -37. Let t be 2/g + 210/(-12). Do -2 and t have the same value?
False
Let f = -18906.1 - -18906. Let y = 11 + -15. Let p = -2 - y. Which is bigger: f or p?
p
Let f = -23 - -29. Suppose -j = f - 2. Which is smaller: j or -6?
-6
Suppose -2*d - 4*d + 6 = 0. Let j be ((-6)/(-9))/(18/d). Is j smaller than -2?
False
Let p = 8 + -1. Let n = p + -13. Which is smaller: -4 or n?
n
Let l = 2231/10 - 223. Which is bigger: -0.09 or l?
l
Let h = 1.58 - 0.38. Let n = h + -2.2. Let x = 0 - -1. Which is greater: n or x?
x
Let u = 36583/14893 - 130/53. Is u > 0?
True
Let r(p) = p**3 - 9*p**2 - 11*p + 7. Let j be r(10). Let l(c) = c**3 + 6*c**2 + 8*c + 10. Let i be l(-5). Let d = j + i. Are d and -8 unequal?
False
Let n = 53 - 53. Which is greater: -12/35 or n?
n
Let u be ((-10)/(-8) + 2)*4. Let c be (-4 - -1)/6*u. Suppose 35 = -4*n - n. Is n >= c?
False
Suppose -5*u = -4*i - 3, -2*u - 1 - 2 = -3*i. Suppose 2*c + i*s + 516 = -c, 3*c = 4*s - 516. Let h be -6*(c/(-60) + -3). Is 0 at least as big as h?
False
Let s = 1445 + -1443. Which is smaller: 66/19 or s?
s
Let j = -0.0509 - 4.9491. Which is greater: -49 or j?
j
Suppose -b = 0, 2*j + 4*b + 3 = -j. Let w be (0 - j)/(5/15). Suppose 4*x - 6*h - 8 = -8*h, -w*x = 2*h - 6. Are x and 4 nonequal?
True
Let v(r) = -r**3 - 7*r**2 + 10*r + 16. Let t be v(-8). Let h be ((-12)/4 + -18)/((-3)/(-2)). Which is smaller: t or h?
h
Let o be 5/(-10) + (-1515)/(-18). Let d = 84 - o. Is 0 not equal to d?
True
Let u = 313 - 408. Is u at most -95?
True
Let q = 11 + -9. Let f(n) = -5 - 4 - 2*n**q + 3*n**2 - 3*n. Let k be f(5). Which is greater: k or 0.2?
k
Let c(w) = -w**3 + w**2 - w + 4. Let g(v) = -1. Let k(z) = c(z) + 3*g(z). Suppose -u - 5*r - 8 = u, -3*u = r - 1. Let i be k(u). Which is greater: i or 1/6?
1/6
Let l = 2 - 1. Let s be 3/((-5)/(1265/33)). Is l >= s?
True
Let s be (37 + -36)/(2/(-226)). Which is bigger: s or -0.2?
-0.2
Let m = -1308 + 1406. Which is smaller: 96 or m?
96
Let u = -124847/105 - -1189. Which is bigger: 0 or u?
0
Suppose -1 = 3*z + 8. Let s be 0/(4/2 + z). Is -0.2 less than or equal to s?
True
Let c = -11 - -10. Let d = c - 2.4. Let t = -3.3 - d. Are t and 2/7 non-equal?
True
Suppose -42 = -8*f - 6*f. Which is smaller: f or -10?
-10
Let h be (-7 + 1)*(4 - 6). Let f(z) = z - 10. Let w be f(7). Let b = h + w. Is 8 bigger than b?
False
Let w(l) = 21*l + 222. Let f be w(-8). Is 65 bigger than f?
True
Let o = 597 - 2987/5. Is o greater than -30?
True
Suppose -2*y - 268 = 2*d, -3*y - d = -243 + 653. Let x be 0/11 - (-4)/y. Which is smaller: x or 0.2?
x
Let f = -12 - -54. Let v = f + -42. Is v at most as big as 45?
True
Suppose -2*a + 19*d - 17*d + 208 = 0, 5*a = 3*d + 524. Do a and 108 have the same value?
False
Let y be 1 + 0 + -213*(-2)/(-438). Which is bigger: y or 1?
1
Let m = -2 + 3. Let k = 324 + -323.957. Which is smaller: k or m?
k
Let m(d) = -22*d - 21. Let q be m(-1). Are -1/26 and q unequal?
True
Let w(z) = -z**3 - 3*z**2 + 2*z + 4. Suppose -2*v + 7 = -5*x - 8, -4*x - 3*v - 12 = 0. Let n be w(x). Let y be (-10)/30 - n/(-3). Which is smaller: y or -2?
-2
Let t(z) = z**3 - 6*z**2 - 7*z + 4. Suppose 2*s = 13 + 1. Let o be t(s). Let j be (-26)/40 - o/(-16). Is 1 <= j?
False
Let t(n) = n**3. Let f(q) = 4*q**3 + 4*q**2 + 8*q + 3. Let w(c) = f(c) - 3*t(c). Let v be w(-3). Is v greater than or equal to -12?
True
Let p be 58/104 + (-13)/(-312)*-6. Is 5 bigger than p?
True
Suppose 0*g = -5*t + 3*g + 75, -4*g = -t + 15. Let v = t + -15. Let y be -5 + 6 + v + -2. Which is smaller: y or -3/5?
y
Suppose -5*l = 29*j - 32*j - 785, 2*l = -4*j + 314. Which is bigger: 162 or l?
162
Let k be (-524)/(-12) - (-1)/3. Let o = k + -44. Is o greater than 1/113?
False
Let x(b) = -b**3 - 9*b**2 + 2*b + 19. Let c be (-10)/(-15) - 87/9. Let o be x(c). Is -2/55 bigger than o?
False
Let c = 2630/7 - 376. Is -92 >= c?
False
Let k = 779 - 762.14. Let h = 17 - k. Let a = h + -0.04. Is a greater than or equal to 0?
True
Suppose 567 = 5*o + b, 4*o - 3*b + 7*b - 444 = 0. Let g(t) = -5*t + 59. Let z be g(-11). Does z = o?
True
Let s(t) = -t**2 - t - 1. Let f be (-5)/((-5)/3) + -5. Let p(j) = -3*j**2 - 7*j - 4. Let g(y) = f*s(y) + 