4. Let m = 18 - 13. Suppose -3*b + 9 = -3*u, -4*u = -6*u - m*b + 22. Which is smaller: n or u?
u
Let t be (((-30)/20)/1)/(-1 - 1257/(-1260)). Which is greater: t or 3?
t
Let v be 730830/630 + 7 + (-19)/3. Are v and 1161 equal?
False
Suppose 5*x = 2*d + 11900, -3*x - 3*d = -3040 - 4100. Which is greater: x or 1?
x
Suppose -3889 - 5088 = 47*w. Which is bigger: w or -194?
w
Let l be 60/12 + -9 + 461 + 11. Is 503 equal to l?
False
Let c = 422847.4 + -422847. Let p = 96 - -7. Are p and c unequal?
True
Let h = -321 - -322.57. Let n = 27 - 26.83. Let q = h - n. Which is smaller: q or 2?
q
Let z be (-21)/4*(-7540)/(-39). Which is greater: -1016 or z?
z
Let v = 16.2 - 7.6. Let f = 104.4 - 107. Let l = v + f. Which is greater: l or 0.01?
l
Let a = 0 - 2. Suppose -188 = -4*r + 2*g - 28, -r - 3*g = -54. Let t be (-40)/r + (-1)/((-15)/(-5)). Is t at least a?
True
Let x = 1988911/305 - 6521. Which is greater: x or 1?
1
Let d(w) = -3*w**2 - 314*w + 1803. Let t be d(-119). Which is smaller: -3311 or t?
t
Let q = 146.10772 + -0.45772. Is q at least as big as 1?
True
Let d(j) = -39*j - 49. Let r be d(-7). Let h be (5/r*12)/((-18)/(-8)). Is h bigger than 1?
False
Suppose -j = -4*g - 5, g + 5*j = 11 + 14. Is g < 1/26359?
True
Let x(s) = 3*s - 11. Let i(b) = b - 2. Let p(l) = -4*i(l) + x(l). Let w be p(-3). Suppose 0*z + 5*z = -w*z. Is 5/7 equal to z?
False
Let h(o) = 640*o - 1416. Let q be h(2). Which is bigger: -135 or q?
-135
Suppose 148*w + 114 = 46*w - 294. Is -8 less than or equal to w?
True
Let r = 82 - 77. Suppose -12*b + r*b = 7. Are b and -7/10 non-equal?
True
Let h = 49 + -118. Let o = 397.7 - 468.7. Let v = h - o. Which is bigger: -10/7 or v?
v
Let m be (3 - 4 - -2)*3. Suppose -5*c - 2*h - 7727 = 0, -m*c + 0*h = -5*h + 4630. Let t = 205487/133 + c. Is t smaller than 0?
False
Let o be (-3334)/(24/12*-1). Are 1665 and o nonequal?
True
Let u(k) = 2*k**2 + k + 1. Let b be u(-1). Suppose b*w - 2*y = -6, 0 = y + 3 - 2. Suppose 5*q + g + 3 = 0, 30*q - 33*q - g - 1 = 0. Which is greater: q or w?
q
Let d(n) be the first derivative of -24*n - 1/4*n**4 - 4*n**2 + 11/3*n**3 - 20. Let p be d(10). Is p at least as big as -3?
False
Let v = 15975 - 10678. Suppose 149 = 22*t + v. Is t equal to -234?
True
Let b be (-218)/(-327) + 3/9. Is -9/1504 < b?
True
Let p = 17275 + -14856497/860. Is 0 equal to p?
False
Let k be 152*9*4/(-24). Let d = 1525997/9 + -169327. Let w = d + k. Which is greater: w or 1?
1
Let w = -768.1413 + 0.1413. Let i = w - -561. Is 0.1 greater than i?
True
Let b = -977870.8 + 977872. Suppose 3*j - 2*i + 28 = j, -5*j = -2*i + 73. Which is bigger: j or b?
b
Let j = 287 + -288. Let d be (288/(-28) + 4/14)*j. Which is smaller: 122/11 or d?
d
Let d be (12/18)/((-2)/(-21)) - 2. Suppose -t = w + 37, 0 = -2*t + d*w - 14 - 53. Let i = -13 - t. Does i = 0.1?
False
Let u = -1255/16393 + 8/97. Let z be (50/(-350))/(((-6)/3)/14). Is z < u?
False
Suppose -3*y + 814 = 5*j, -606 = -4*j + 5*y + 23. Let t = j + -161. Which is smaller: 4 or t?
t
Suppose 1810 = -10*m - 310. Let f be -2 + m/21 - 54/(-126). Is f at most as big as -13?
False
Let i = 7.66 - 7.86. Are i and 141/2 nonequal?
True
Let u be ((-46)/(-4))/((-21)/798). Let t = u + 420. Suppose -j - 5*b + 4 = 9, -4*j + 2*b - 64 = 0. Is j greater than t?
True
Let n = -21550 + 21549. Let q be (-2)/(-7) - 6959104/3276. Let b = q - -2124. Which is smaller: n or b?
n
Let m(h) = h**3 + 18*h**2 + 62*h - 40. Let k be m(-13). Suppose 4*a + 4*q = -88, -2*q + 8 = -6*q. Are a and k non-equal?
True
Let l be (-954)/(-530) + 12/(-15). Which is bigger: -2/1017 or l?
l
Let n = 1201/4 - 298. Let d be 4016/(-26) + 408/884. Let f be (6/(-7))/(66/d). Which is smaller: n or f?
f
Let h = -5928 - -646153/109. Is -1 at most as big as h?
True
Let m be (14 - (14 + 1)) + 329. Which is bigger: 327 or m?
m
Let r = 1791 - 1790.3. Do r and -0.93 have the same value?
False
Suppose 0 = 5*h + 4*d - 548, 2*h - 24*d = -20*d + 208. Which is greater: h or 111?
111
Let a(z) = -6*z**3 - z**2 + z + 2. Let f be a(2). Suppose 2*c - 132*t = -130*t - 54, 4*t = 3*c + 79. Let j = f - c. Is -19 at most as big as j?
True
Let z be 4 + -4 - (-4 + 1). Suppose 4*f = n + 3 + 8, -3*n + 3 = -z*f. Suppose -5*c = s - 9 - 6, 4*s + 15 = n*c. Which is greater: 6 or s?
6
Let t(h) = h**3 + 22*h**2 - 22*h + 23. Let n be t(-23). Suppose 11*w + n*w + 11 = 0. Does 4/43 = w?
False
Let p = -0.089 + 0.038. Let r = 2.097 - 2.146. Let q = p + r. Which is smaller: q or 0.4?
q
Suppose -4*l + 363 = -3*z + 118, 5*l + 5*z = 315. Let a be (l/(-4))/(3/6). Which is smaller: a or -26?
a
Let p be (-4)/8 - 4940/40. Is 1/2 > p?
True
Let g = -0.04457 - 70.95143. Let q = -0.004 + g. Let r = 71.3 + q. Is 2 at most r?
False
Suppose -333*l + 326*l + 29044 = 10907. Is 2590 < l?
True
Let k = -74116/69 + 3221/3. Suppose -4*m = -3*m. Which is smaller: m or k?
k
Suppose 61 = -2*s + 587. Let z = -219 + s. Which is smaller: -2/3 or z?
-2/3
Let a = -878 + 871. Let i = -0.6 - -0.58. Which is greater: a or i?
i
Let a = -29/5 - -599/105. Suppose -4*z - 2*r - 14 = 0, -3*r = -2*z - r + 8. Which is smaller: a or z?
z
Let a = -676 + 319. Let q be 52/208 + (-12845)/36. Let j = a - q. Is 0 greater than or equal to j?
True
Let q = -7 - -10. Suppose -3*a = -3*u - 171, -a - 3*u - 1832 = -1857. Which is greater: a or q?
a
Let i(g) = -4*g**2 - 175*g + 1371. Let a be i(8). Which is smaller: a or -296?
-296
Let f be (-46)/138 + -2*1/3. Let k be (57/(-19) - f*3)/1. Are 1/53 and k non-equal?
True
Let r = 1052 + -995. Which is smaller: r or -37?
-37
Suppose -4*f + 5*w - 12503 = 0, 3*f + 6974 = -2*w - 2409. Is f less than or equal to -3127?
True
Let m be 0/((-2 - (-5)/3)*6). Is m at most as big as -1746?
False
Let k(x) = -x**3 - 2*x**2 + 99*x - 1. Let w be k(-11). Do 4/593 and w have the same value?
False
Let q be -8 - ((-196)/(-7))/(1/(-31)). Which is smaller: q or 2578/3?
2578/3
Suppose -3*s + 24 = -0. Let l(t) = -5*t**3 - 10*t**2 - 34*t + 17. Let k(x) = 2*x**3 + 3*x**2 + 11*x - 6. Let v(j) = 8*k(j) + 3*l(j). Let m be v(s). Is m > 19?
False
Let g(u) = -u**2 - 10*u + 27. Let o be g(-12). Suppose -o*p + 2*b = -7, 2*p + 7 = -4*b + 1. Suppose 10 = -2*i - 4*y, -5*y - p = 9. Are i and 1 unequal?
True
Let v(h) = h**2 - 5*h - 6. Let f be v(10). Suppose -t + 2*u + 3*u + 8 = 0, f = -3*t - 2*u. Which is smaller: t or -20?
-20
Let o = 0.04 - -0.96. Let m = o + 0.8. Let h = -0.02616 + 1.02616. Is m at least as big as h?
True
Let s be 3/(4 - 1)*3430/40. Let c = s - 86. Let m(z) = z**2 + 5*z - 5. Let u be m(-6). Is c greater than or equal to u?
False
Let o = -6.11 + -4.89. Let d = 0.47 - 0.47. Is o not equal to d?
True
Let y(o) = -4*o + 14. Let i(c) = -2*c + 9. Let l be i(2). Let p be y(l). Let x be (p/492)/(2/(-8)). Which is smaller: x or -1?
-1
Suppose 17 = -5*l + 42. Suppose -13 = -f - l. Let j be (f/(-6))/2*33 + 2. Which is bigger: j or -19?
-19
Let n = -557 + -1289. Which is smaller: n or 1?
n
Let k be (-4)/34 - 31612/(-549542)*2. Are -1 and k equal?
False
Let m = 88203 - 165380629/1875. Which is smaller: -1 or m?
-1
Let i = 79 - 51. Suppose i = -12*f - 2*f. Let r be -4 + (1 - 17/(-7)). Are r and f nonequal?
True
Let q = -1866 + 1867. Which is bigger: q or 2/7615?
q
Let h be (-3 + 4)*(-2)/4*-4. Suppose -5*s - 4*f = h - 1, -3*s - f + 5 = 0. Suppose s*l = -4*l - 7. Which is smaller: l or 0.06?
l
Suppose 4*t + 5*p = -622, -828*p + 827*p = -t - 142. Which is smaller: -142 or t?
t
Let h be ((-2)/(-6))/(3/(-132)*-11*4). Which is bigger: -3345 or h?
h
Let u(x) = -x**3 + 40*x**2 - 549*x + 20. Let g be u(23). Which is smaller: -3611 or g?
g
Let a = -2 + 9. Suppose -44*y = v - 47*y - 81, -225 = -3*v + 3*y. Let f be -7 + v/4 + -5. Which is smaller: f or a?
f
Let r = -14494/8697 - 1/8697. Which is bigger: r or 111/2?
111/2
Let f be (-4)/14*(-3)/(-2). Let g be (-126)/7*13/(-26). Suppose 1026 = g*a + 1017. Which is greater: a or f?
a
Suppose 906 = -4*w + 5*v, 0*w - 3*w = -5*v + 677. Let h = 459/2 + w. Let q = -10 - -20. Is q != h?
True
Let b(d) = -176*d - 2113. Let g be b(-12). Which is smaller: 200 or g?
g
Suppose -4*j = 2*x + 14 + 4, -28 = 4*j + 4*x. Let c = -5536 - -66391/12. Which is smaller: c or j?
c
Let l be 1 - -12 - 0/(3 + 2). Suppose -l*q = -16*q + 57. Let m(g) = 3*g**2 - 2*g - 2. Let x be m(3). Are q and x equal?
True
Let g(x) = -173*x + 