or b?
b
Let l be (-113)/(-36) - 4/16. Let y(u) = 2*u**2 + 10*u + 2. Let q be y(-5). Which is smaller: q or l?
q
Let l = -150 - -106. Let y(k) = -k**3 - 42*k**2 + 89*k + 43. Let r be y(l). Is -2/423 at most r?
False
Let g be -21 + 31 - -122 - (-6 + 0). Is 138 > g?
False
Suppose n + 89*k = 93*k + 10, 3*n - 3*k = 21. Which is smaller: 152/23 or n?
n
Let m = 130 - 371. Let k = -238 - m. Let r = 2/271 + 799/1897. Is r >= k?
False
Let n = 214553/193386 + -186/167. Which is smaller: n or 0?
n
Let s be (-6)/15*(1 + -166). Suppose 1362 = 14*y - s. Are 1 and y equal?
False
Let b = -208 - -206. Let f(p) = 4*p**2 + 6*p + 10. Let l be f(b). Which is greater: l or 15?
15
Let y(k) = 34 - 16 - 3*k - 23. Let u be y(-9). Let j = 140 + -116. Is j less than or equal to u?
False
Suppose 3*j - 4 = -13. Let h be (9 - 12)/(j/(-2)). Let k be 33/378 + h/14. Which is bigger: k or -0.1?
k
Let o = 336 - 331. Suppose 3*l = -f - 21, 2*f - 25 = 7*f - o*l. Is f smaller than -6?
True
Suppose 26*s - 94*s = 3536. Let v(n) = -11*n**2 - 2*n + 3. Let r be v(-3). Let g = r + 39. Which is bigger: g or s?
g
Let q = -0.5645 + -396.4355. Are -4 and q equal?
False
Suppose 9*v + 4*v = 2327. Which is smaller: v or 176?
176
Suppose t - a + 69 = 0, -183 = 3*t - 0*t + 5*a. Let d be ((-81)/(-36))/((-6)/176). Let b = t - d. Is b at least as big as -1?
True
Let g be (-812138)/399 - (-5 - 117/(-21)). Let l = g - -2036. Which is greater: 0 or l?
0
Suppose -2*n + 295 = z - n, 4*z + n - 1183 = 0. Let c = -484 + z. Which is smaller: -187 or c?
c
Let h = -0.7073 - -0.9073. Are -4.343 and h equal?
False
Let b = 277.5 + -258.5. Is b greater than -3/124?
True
Suppose -2*v - 15*h + 17*h = 278, -4*v - h = 541. Is v less than -136?
False
Let d be (-13)/(-1) - (-4)/(-2). Suppose 19*g = 8*g + d. Which is greater: 2/397 or g?
g
Let z = -424.24 + 424.14. Let f = 6 + -8. Are f and z non-equal?
True
Suppose 3*t + 9*l - 12*l + 480 = 0, 252 = -t + 24*l. Which is bigger: t or -169?
t
Let w = -105619/57 - -5557/3. Which is smaller: w or 2/15?
w
Let b = 0.11 - -0.09. Suppose -4*v = f - 6, 5*f + 25 + 13 = -3*v. Let r be ((-2)/(-4))/(3/(f - 8)). Which is greater: r or b?
b
Let n(j) = 5*j**2 - 45*j + 191. Let x be n(18). Which is greater: 5002/5 or x?
x
Let c(g) = g**2 - 13*g + 24. Let o be c(25). Let n = o + -330. Which is bigger: n or -59/8?
n
Let y(x) = -2*x - 11*x - 14*x + 3*x + 186 + 3*x. Let i be y(9). Is 0.12 smaller than i?
False
Let y = -23 - 62. Let c = 83 + y. Let o = -1.6 - c. Is -8 greater than o?
False
Suppose 3*t - g - 750 = 2*g, t - 244 = -2*g. Let r = -7692/31 + t. Which is smaller: r or 1?
r
Let k(r) = -r + 2. Suppose 14 + 7 = 3*c. Let x be k(c). Suppose 3*s + 69 = 16 + 44. Is x <= s?
True
Let p be (-3)/(17 - -82)*(-642215)/13. Let w = 1497 - p. Which is smaller: 1 or w?
w
Let p = -6393 + 5662. Which is smaller: p or -5109/7?
p
Suppose 0*g - 2*g - 10 = 0, 3*p + 43 = -5*g. Let l be p - -4 - (-6 + 1). Suppose 48 - 84 = -l*t. Is t smaller than 11?
False
Suppose 3*m + 5 = -2*m. Let f be 2 + -2 + (-6 - 2/(-5)). Let c = f + 57/10. Which is bigger: m or c?
c
Let a = -206 - -207.16. Let n = 14.84 + a. Is n equal to -2/17?
False
Let c = -494 - -402. Let p be (-8 - c/12)/(5/(-1461)). Which is bigger: p or 97?
p
Let w = 5269 + -4761. Is w at least as big as 510?
False
Suppose -2*c + 14 = 18. Let h be (c - -43)*(-4 - -3). Which is smaller: -42 or h?
-42
Let q = 11.719 - 10.719. Which is smaller: -520 or q?
-520
Suppose 2*l + 20254 = 8*h - 4*h, -4*h + 3*l = -20257. Which is greater: h or 5061?
h
Suppose -17*u + 49 - 712 = 0. Let f be (-3 - u/9) + 3/(-9). Is f < 5/83?
False
Let a be (9 - 13 - -2*1) + 2. Suppose 12*p - 20*p - 1632 = a. Are 0.1 and p equal?
False
Let x = 609/8 + -14455/184. Suppose f + u = 5*u + 10, 4*u + 4 = 4*f. Are x and f equal?
False
Let s = -164056/33337 - -182/37. Let c = s + -36929/5406. Let h = c + 791/114. Are 2/9 and h nonequal?
True
Suppose -9 = -7*k + 29*k - 13*k. Which is smaller: k or -1/1356?
k
Let m be 30/492*245/(-25). Let y = m - -4/41. Is y equal to 2/15?
False
Suppose -1710 = 4*y - 2*j, 18*j + 25 = 23*j. Is y smaller than -0.05?
True
Let f = 118 - 113. Suppose -f*c - c = 60. Suppose -z + 5*u - 32 = 0, -5 = -z + 2*u - 25. Is z equal to c?
False
Let y(r) = 4*r**3 + 38*r**2 + 5*r - 54. Let w be y(-10). Which is smaller: -1517/5 or w?
w
Suppose -x + 4*x = 0. Let l = 9 - 7. Let h be l/(-7)*5/55. Is h > x?
False
Let n be (-3 - 1)*1 - 23047/(-5757). Let y(c) = -c**2 + 9*c - 7. Let b be y(8). Does b = n?
False
Let n be -3*(3 - 7)/4. Let b be (n + 2*-1)*(-18 - -1). Let l = 14 + b. Is -4 less than l?
True
Suppose -6*j + 33 = 4*j - 1637. Is -28 >= j?
False
Let o = -548/33 + 190/11. Which is smaller: 76.2 or o?
o
Let y = -11 + 13. Let l(n) = -n**2 - 7*n - 11*n + y*n - 10 - 3*n. Let o be l(-17). Is 24 at least as big as o?
True
Let r be (-1)/(-4) + (-14)/4. Let n(p) = p**3 + 12*p**2 - 14*p - 8. Let z be n(-13). Suppose -z*k = 17 - 17. Which is smaller: k or r?
r
Suppose -9*h + 6*h - 46 = -4*r, -3*h - 26 = -2*r. Suppose -r = -q - 3. Suppose q*b - 4*b = -5*z + 47, -b - 11 = -5*z. Which is smaller: b or 10?
b
Let x(h) = -4*h + 1. Let c be x(-3). Suppose 0 = b - 2*u - 5, b - 4*u = 5 + 2. Suppose b*n = 4*z - 54, -4*z + 7*z = 3*n + 39. Which is smaller: c or z?
c
Suppose -120 + 0 = -10*f. Suppose f*r + 0*r = -12. Let x be -2 - r - (4 + 1 - 5). Is x less than 1/16?
True
Let k = 21.7 - 198.7. Let s = -177.053 - k. Let f = 2 + -2. Which is bigger: f or s?
f
Let z(w) = -5*w**3 - w**2 + 3*w + 2. Let q be z(-2). Let v be 5/(75/110)*48. Let m = v + -321. Is q > m?
True
Let d = 130 - 125. Suppose -16 = 3*f - g + 638, d*g = 0. Which is greater: -217 or f?
-217
Let h be (-110)/(-3)*(-12 - -15). Let j be 215/(-86)*(-6)/h. Is 1 greater than or equal to j?
True
Let b(m) = -m**2 + 139*m - 1932. Let n be b(123). Which is smaller: n or 1.09?
1.09
Let n = -3071.2 - -3071.1. Which is smaller: n or -5292?
-5292
Let m be (-1 - (-11)/(-110))/(3/5). Suppose 3*h + 0*h = 3*w - 30, -w + 20 = -3*h. Suppose 4*t = w*t. Is t <= m?
False
Let g = 7806.371 - 7803. Let d = g + 0.629. Which is smaller: d or -2/15?
-2/15
Let x be 61/88 + (1 - (-21)/(-24)). Let f = x - 7/22. Is f greater than 1?
False
Let z = -1.23 + 44.23. Let v = 43.028 - z. Let h = 0.172 + v. Is 35 greater than or equal to h?
True
Let l(i) = -80*i**2 + 2*i + 16. Let u be l(3). Let v = u - -136108/195. Which is smaller: v or -1?
-1
Let t = -252/37 + 339518/49839. Which is bigger: t or 0?
t
Let i = -667.1 - -718. Let y = i + -51. Let p = 1327/99 - 128/9. Which is smaller: y or p?
p
Let z(g) = 28*g**2 + 28*g - 30. Let v be z(-14). Is 5066 > v?
False
Let j = -5.3 + 3.74. Let n = j + 0.66. Let z = 2 + -3. Which is smaller: n or z?
z
Let j(a) = 216 - 2*a - 105 - 127 - a**3 + 10*a**2. Let i be j(9). Let y = 45 - i. Which is smaller: y or -4/3?
y
Let v(j) = j - 8. Let i be v(11). Suppose 10*z - 17 - i = 0. Let x = 34 + -171/5. Which is smaller: x or z?
x
Let n = 232915/4 - 55581. Are n and 2648 non-equal?
True
Let u = -5.288 - -4.988. Which is greater: 0.148 or u?
0.148
Let t = 1 - 2. Let s = -2.525 - -2.53. Let q = 4.005 - s. Are q and t equal?
False
Let m = 156 - 328. Let h be m/176 + (-9)/12. Which is bigger: -1 or h?
-1
Let i = 2114 - 2149. Which is smaller: i or -32?
i
Let b = 29 + -51. Suppose 0 = -2*u + 49 + 31. Let j = u + -63. Is b less than or equal to j?
False
Let j(m) = 105*m + 52. Let c be j(13). Let t be c/70 + 6/(-60)*1. Is t at most 20?
False
Let q = 578 + -543. Which is smaller: 23 or q?
23
Let j = -11.895 - 0.105. Let f be 4/(-14) + (-88)/(-14). Suppose -6*k + f = -0*k. Which is bigger: k or j?
k
Let f(u) = -4 + 29*u**2 + 4*u + u**3 - 22*u**2 + u. Let d be f(-6). Suppose 2*p = m - d, -5*p + 2*m - 5 = -0*m. Is p <= -9/5?
False
Let u(z) = 2*z**2 + 21*z - 72. Let m be u(3). Suppose -m*o = -50*o - 1476. Is o <= -36?
True
Let n = 128 - 127. Is n equal to -18?
False
Let s = -0.9 + -34.1. Let v = s - -38. Is v equal to 0.1?
False
Let a(b) = 28*b - 13. Let t be a(5). Let u = -557 - -558. Are t and u non-equal?
True
Let l = -0.75 - -0.61. Let w = 14.86 - l. Which is bigger: w or -3/4?
w
Suppose 0 = -661*z + 653*z + 48. Suppose 6 = 3*s - 3. Let k be 3/((-15)/(-2))*s. Is k at most z?
True
Let a be 4 - ((4 - 1) + 15/60). Is a greater than 152?
False
Let v be 48/(