4 - 29. Which is smaller: l or z?
z
Suppose 2*g = 3*w + 94, 3*g - g = -3*w - 74. Let f = -4813 - -23927/5. Which is greater: w or f?
f
Let d(s) = -997*s + 5244. Let b be d(8). Is -2732 not equal to b?
False
Let y = -804 + 1864. Let m be 0 - 1 - 59422/(-56). Let u = y - m. Which is bigger: 0 or u?
0
Let c be (-257)/(-567) - 114/266. Suppose 0 = -f - 14 - 5. Let z = 19 + f. Which is smaller: c or z?
z
Let b(i) = 5*i**3 - 5*i**2 + 3*i - 2. Let y = 66 - 64. Let q be b(y). Let j be (-3)/q + (-238)/16. Which is smaller: -11 or j?
j
Let f(t) = 43*t**3 - t**2 + 5*t + 3. Let n be f(-2). Let m be 7/10899*n - 2/(-9). Which is smaller: m or 1?
m
Let o = 30 + -30. Suppose o = -8*f - 3*f. Suppose -p + 18*p + 255 = f. Which is smaller: p or -11?
p
Suppose 0 = 2*m + 2*m - 56. Let r(p) = -11*p**2 + 57*p + 149. Let g be r(7). Suppose -m + 5 = g*j. Are j and -16/15 equal?
False
Let a = -11342/21 + 540. Suppose 0 = 7*m - 13*m + 66. Let r = m + -11. Is a greater than r?
False
Let k = -716497/762526 + -1/52588. Which is smaller: -2 or k?
-2
Let p be (-4 + 242 + 4)/((-7)/14). Let u be (p/(-48))/(-11)*-80. Does 73 = u?
False
Suppose 73*w - 4*v = 76*w - 8665, 3*w + 5*v - 8660 = 0. Is 2895 < w?
False
Let j = -119.37 + 89.37. Which is bigger: 28 or j?
28
Let j = -3999 - -3733. Is j at least -268?
True
Let n be (-15)/(-440)*16*-593. Is -323 less than n?
False
Let n be -4*(((-174170)/(-200) - -5) + (-8)/(-1)). Is -3536 at least as big as n?
False
Let q = -335/4 - -85. Let f = 5908 + -5922. Which is smaller: f or q?
f
Let t = -5.98 - 0.02. Let w = -0.00145 + 0.90145. Is t greater than w?
False
Let s = 4128 + -4217. Which is greater: s or -2?
-2
Let b = 24 - 21. Suppose -b*t - 9 = 0, 2*c - t + 31 = 4*t. Let o(s) = s**3 + 24*s**2 + 23*s + 1. Let w be o(c). Is 1/6 <= w?
True
Let p be 12/(-28) - 68/(-56)*2. Suppose -p*z + 25 = -27*z. Which is bigger: z or 1/27?
1/27
Suppose 5*k + 8060 = -8*k. Let s = -702 - k. Is s greater than -82?
False
Let s = 4868920682198978/331467 - 14689005790. Let f = -5/353 + s. Let d = f + -3827/66669. Which is smaller: d or 1?
d
Let s(r) = -r**3 + 25*r**2 - 30*r + 18. Let z = 509 + -486. Let d be s(z). Are d and 386 equal?
True
Let v(l) = l**3 + 143*l**2 + 2859*l + 381. Let t be v(-119). Suppose 2*i - 2*x = 46, -3*i - 2*i + 2*x + 109 = 0. Is i equal to t?
False
Let h = 169 + -178. Let b be -114 + 7 - (-12)/h*-3. Are -103 and b non-equal?
False
Let s be 4/(-42) - 485115/(-3465). Let h = 140 - s. Which is greater: h or -1?
h
Let b = 6632 + -7255. Which is smaller: b or 14?
b
Let t be ((-8)/16)/(-5 + 63/14). Which is greater: t or 3/778?
t
Let s = -48 + 31. Suppose -3*w + 4*w - 2*c = 26, -3 = -3*c. Let j be (w + 6)/(-1 - 1). Is j bigger than s?
False
Let j = 7587 - 538670/71. Is 1 less than or equal to j?
False
Let t = -16794 + 252016/15. Do 8 and t have the same value?
False
Let h(z) = z**3 - 104*z**2 - 73*z + 2143. Let d be h(104). Does -5447 = d?
False
Let n(b) = -b**3 - 36*b**2 + 140*b + 403. Let r be n(-40). Which is greater: r or -2?
r
Let l be 1/(-4) - 14374/(-23256). Let i = 8/153 - l. Let c be (-49)/46 - (-14016)/214912. Is i greater than c?
True
Let m be 5/40*(31 - 23). Which is smaller: -94 or m?
-94
Suppose 73*b = 66*b. Is b less than 1/536?
True
Let o = 423 + 83. Let h = o - 1516/3. Is h less than or equal to -3?
False
Let y(o) = 5*o - 3. Suppose -105 - 107 = -5*z - 2*p, -p - 48 = -z. Let s = z - 42. Let a be y(s). Is a smaller than 7?
False
Let p = 2057726942470/2373 + -867141602. Let g = -8/791 + p. Is -1/2 at least g?
True
Let y be 3*(-1456)/4104 - 2/(-9). Let i = -233/209 - y. Suppose 4*r = n + 6, r + 5*n + 9 = -0. Which is smaller: r or i?
i
Let i be 26 + (-1 + -4 - -2 - -2). Let g be (-2)/6*i/95. Let q = -149/399 - g. Which is bigger: q or 2/19?
2/19
Suppose -m + 8 = 3*r, 7*r = m + 5*r + 7. Which is bigger: m or -29/15?
m
Let f(i) = 16*i + 243. Let k be f(-15). Is 282/67 at most as big as k?
False
Suppose -5*c + 25 = -10*c + 5*j, 4*c + 4*j + 44 = 0. Let i be 7*1/((-4)/12). Let g be (-2)/c*(-12)/i. Is g at most 1?
True
Let b = 4 - 6. Let x = -1576 + 1241. Let z = x - -334.88. Is z less than or equal to b?
False
Let r(o) = -2*o**3 - 43*o**2 - 22*o - 105. Let a be r(-21). Is 0 bigger than a?
True
Let r be 13/39 - (-12)/(-9). Let q be (r + -8)*(103/15 - 7). Which is smaller: q or 0?
0
Let k(x) = -x**3 - 3*x**2 + 3*x - 1. Let p be k(-3). Let v be (-2)/(-4)*76/p. Suppose -256*w + 389*w = -311*w - 1776. Is w at least v?
False
Let b be 31/(-5) + 6 - 1/(-5). Suppose -m = 4*n + 409, 3*m + 116 = -n - b*m. Do -101 and n have different values?
False
Suppose 3*h + b - 40616 = 0, 5*b - 3*b = 3*h - 40628. Do 13541 and h have different values?
True
Let v(x) be the second derivative of -21*x**5/10 - x**3/3 - 3*x**2/2 - x. Let s be v(-1). Suppose -57 - 63 = -3*a. Do a and s have the same value?
False
Let t be (6/15)/((-259525)/21625 - -12). Which is bigger: t or -341?
-341
Suppose 8*x = 7*x + 3*q - 14, 0 = -x - 3*q + 16. Which is bigger: x or 2/2405?
x
Suppose -13*l - 22749 = 4*l - 19468. Which is greater: -162 or l?
-162
Let x(w) = -w**2 - 24*w - 15. Let k be x(-21). Suppose 2*n = 7*z - 8*z + 86, 0 = 3*n - 5*z - 155. Which is smaller: k or n?
n
Suppose -12*y + 27 + 9 = 0. Suppose u - 5 = -w, y*w - 7*u = -4*u + 9. Let c = 38 - 73/2. Which is smaller: w or c?
c
Let v = 1943.1 - 1935.1. Which is smaller: v or 4/657?
4/657
Let a(b) = -7*b**2 + 524*b + 74. Let s be a(75). Which is smaller: -1/47151 or s?
s
Let l(n) = -n**2 + 67*n + 268. Let t be l(-4). Which is greater: 3/97 or t?
3/97
Let y(f) = -5*f**3 - 2*f**2 + f + 2. Let n be y(-2). Suppose 0 = l + 3*i + 1, -1 = 3*l + 3*i + n. Let z = -5 + l. Is z at least -20?
False
Let h = 4454 - 4458. Is h not equal to 871?
True
Suppose 1762*g - 30702 = 1719*g. Which is smaller: 713 or g?
713
Let l = 22223/12482 + 16333636487/3482478. Let m = l - 4692. Are -1 and m unequal?
True
Let o(y) = 2*y**2 + 4*y + 3. Let f(g) = -2*g + 19. Let q be f(11). Let x be o(q). Let l be (-2)/x - 55/(-45). Which is smaller: l or 2/17?
2/17
Let s = -595 + 602. Let y be 2950/35 - 4/14. Suppose -s*f = -28*f - y. Does f = -4?
True
Let u = -189640369467988/231 - -820952649543. Let j = -1330845 - u. Let s = -76/11 - j. Is s at most as big as -1?
False
Let i = -48.12 - -0.59. Let t = i - -47. Let j = t - -5.53. Which is greater: j or 3/5?
j
Let q be (-1)/6 - 7210/(-2604). Which is smaller: q or 2?
2
Let y(m) = -2*m**3 - 149*m**2 - 184*m - 572. Let j be y(-73). Is j at least as big as -3126?
False
Let z(i) = 2*i**2 + 44*i + 625. Let o be z(-16). Which is greater: 437 or o?
437
Let r be (-58648216)/52130496 - (-36)/32. Which is bigger: -1 or r?
r
Let v = 2/3 + -1/6. Let d = 22.16 + -444.16. Which is smaller: v or d?
d
Let n(m) = 4*m**2 - 16*m - 1. Let z be n(4). Let l(w) = -w**3 + 2*w**2 + 1. Let q be l(2). Let x be z*(-3)/q*(23 + -2). Is 63 not equal to x?
False
Let f = 931.9 + -900. Let b = -31.92 + -0.08. Let p = b + f. Which is bigger: 3 or p?
3
Suppose 0 = 2109*x - 2127*x + 3312. Let q be 6/9 - (-3282)/18. Which is smaller: q or x?
q
Let q(z) = -39*z + 275. Let l be q(7). Suppose y - i = -3*y - 5, -3*i - 3 = -3*y. Let d = y - -3. Which is bigger: d or l?
l
Let b = -0.81 - 408.19. Let u = 410 + b. Which is greater: u or 31?
31
Let s(g) = 24*g + 266. Let x be s(-11). Suppose 0 = -4*y - x*q + 6*q + 344, 3*y - 4*q - 253 = 0. Are y and 92 unequal?
True
Let j = -16684/27 - -618. Let r = 4 - -12. Suppose -29*m + r*m = 0. Are j and m non-equal?
True
Let r be 27 + 105/(-28)*4. Let n be 8/(-10)*(-4 - 1). Which is greater: n or r?
r
Let u = 65 - 60. Suppose 5*a + u*n - 12 = 18, -2*a + 2 = -3*n. Suppose 4*h = a*v - 16, 3*h - 6 = -15. Is v greater than 2/59?
True
Let x = 0.3 - 0.1. Let y = 663442/3 - 221143. Which is greater: y or x?
y
Let t = -5440 + 3911. Which is smaller: t or -1530?
-1530
Let g = 24.785 + -24.985. Is g less than -1255?
False
Let k = -6.082 - -0.182. Let m = k + 5.8. Which is bigger: m or -158?
m
Let h = 2293/595 + -66/17. Let t(g) = g**3 + 24*g**2 + 1. Let z be t(-24). Let y = 0 - z. Are y and h non-equal?
True
Let n = -2.72 + 2.753. Is 4 less than n?
False
Suppose 13*r - 81 = -201 + 94. Is -13/5 equal to r?
False
Let b = -0.12048 - 1.00552. Let f = 0.225 - 0.099. Let i = f + b. Is 17 not equal to i?
True
Let y(h) be the thir