5, 0*u + 4*z + 2660 = u. Is u a multiple of 8?
True
Suppose 3*p = p - 4*r - 10, 4*p = -r + 15. Let f = 9 - p. Suppose f*u = 3*u + 62. Is u a multiple of 14?
False
Let l(w) = w**3 - 19*w**2 - 9*w + 18. Let m be l(20). Suppose -6*r - 40 + m = 0. Is r a multiple of 5?
False
Let g(h) = -77*h**3 - h**2. Is 9 a factor of g(-1)?
False
Suppose -3*h = -4*n - 1232, 2*n = -2*h + n + 836. Is h a multiple of 13?
True
Let k be (-4)/18 - (-20)/9. Let a be -3 + (2 - 20/(-9 - -4)). Suppose 5*s - 2*j = 39, k*s = 5*j + 6 - a. Does 9 divide s?
True
Suppose 4*y - 2*x = 6122, -3*y + 729 = -5*x - 3859. Is y a multiple of 19?
False
Suppose 1048 = 4*i - 4*w, 4*i - w = -0*i + 1060. Is i a multiple of 19?
True
Let x be (-1419)/4*-2 + 2/4. Suppose 17*z + 183 - x = 0. Is 4 a factor of z?
False
Let r(p) = 27*p + 108. Is 12 a factor of r(8)?
True
Let u = -19 + 24. Suppose u*d = d. Suppose 0 = b - 18 - d. Does 6 divide b?
True
Let a(s) = 17*s + 4. Let r be a(7). Let d = 176 - r. Is d a multiple of 12?
False
Let o be (2/(-4))/(5/(-60)). Let f(n) be the second derivative of 13*n**3/6 - 7*n**2 - 4*n. Does 16 divide f(o)?
True
Let l = 17 - 45. Let d = -26 - l. Suppose -c = -5*i + 2*c + 248, -d*i - 5*c = -124. Is 13 a factor of i?
True
Is 239/3 + 32/24 a multiple of 9?
True
Let g(r) = -43*r + 27. Is 26 a factor of g(-31)?
False
Suppose -f + 38 + 0 = 0. Let x = f - 7. Suppose -3*z + x = -11. Does 5 divide z?
False
Let a(k) = 32*k + 20. Let r(x) = 3*x + 5. Let c be r(0). Is a(c) a multiple of 20?
True
Let c be ((-22)/(-55))/(2/(-20)). Let d = c + 38. Let u = d + -22. Is u a multiple of 12?
True
Is 18 a factor of ((-16)/6)/((-6)/315)?
False
Suppose 5*c - 7*d = -3*d + 190, -2*c = -4*d - 76. Suppose -2*k + 5*t = -c, -t + 48 = 4*k - 4*t. Does 3 divide (-87)/(-9) - 6/k?
True
Let k = -903 + 1743. Does 60 divide k?
True
Suppose 5*q = -4*n + 5, 4*n + 3*q - 8 = -q. Suppose 0 = -4*r - 5*d + 167, -n*d + 0*d = r - 23. Is r a multiple of 6?
True
Let s be ((-207)/(-6))/(1/2). Let t = s - 41. Is 7 a factor of t?
True
Let y = 2 + 2. Let d be (-3)/((y/(-2))/(-2)). Is (2 - (d - -19))/(-2) a multiple of 4?
False
Let m(f) = f**2 - 4*f + 2. Let h be m(4). Suppose 14 - 8 = h*l. Suppose 3*o + 174 = 5*z, l*o - 27 = -z + o. Is 12 a factor of z?
False
Suppose -20 = 5*z, 4*z - 32 = u - 138. Suppose -44 = -2*j + 2*v + 34, 2*j + 2*v - u = 0. Does 14 divide j?
True
Let p(h) = h**2 - 10*h + 137. Is 10 a factor of p(-20)?
False
Let l(u) = 21 - 27 + 3*u**2 + 15 - 8*u - 7*u. Let r be l(11). Suppose 7*a = 4*a + r. Is 23 a factor of a?
True
Let g(t) = 2 + 3*t - 14 - 2*t + 6 + 7. Suppose -2*o + 27 = -0*v + 5*v, -2*o = -2. Does 6 divide g(v)?
True
Suppose 15332 = 4*d + 4*f, -13*d + 5*f = -12*d - 3815. Is d a multiple of 8?
False
Suppose -119 = -4*m - 5*s, -m - 6*s = -7*s - 41. Does 3 divide m?
True
Let f(l) be the first derivative of l**3/3 + 9*l**2/2 - 12*l + 41. Let g be (-11 - 1) + 0/(-1). Does 6 divide f(g)?
True
Suppose -a + 21 = g + 3*g, g = 3*a + 2. Suppose g*p = 845 + 330. Suppose 5*r = -70 + p. Is 11 a factor of r?
True
Let g = 4451 - 2221. Is 29 a factor of g?
False
Let r = 1217 - 645. Is r a multiple of 3?
False
Let k(a) = a**2 + 2*a + 2. Let z be k(-2). Does 34 divide 1/1*120 + z?
False
Let c be (-30)/4*(-10)/(-15). Let w be (20/25)/((-2)/c). Suppose -55 + 7 = -w*v. Is v a multiple of 12?
True
Suppose 0 = 56*i - 12198 - 59370. Is i a multiple of 9?
True
Let w(u) = 2*u**3 - 45*u**2 + 21*u + 22. Let b be w(22). Suppose -t - 5*z = -b*t - 27, -4*z - 40 = -2*t. Is 6 a factor of t?
False
Suppose -3*y = -5 - 10. Let b = 26 - y. Let o = 36 - b. Is o a multiple of 3?
True
Suppose 4*r + 4*b - 12431 - 465 = 0, 4*b = -5*r + 16120. Is 62 a factor of r?
True
Let a(m) = -16*m**3 + 9*m + 23. Does 64 divide a(-4)?
False
Is 103 a factor of (-309*5)/((-12)/(25 - 21))?
True
Let j = -167 + 657. Suppose 0*t + j = 5*t. Is t a multiple of 7?
True
Suppose -4860 = -5*h - 5*g, -4*h + 3*g + 3798 = -111. Is h a multiple of 15?
True
Let v = -43 + 70. Suppose -2*i = -71 - v. Does 6 divide i?
False
Let t = -19 + 21. Suppose 4*y - 132 = -t*y. Is y a multiple of 7?
False
Suppose 5*p + 978 = 11*p. Let v = 231 - p. Is v a multiple of 17?
True
Let s(j) = -j - 11. Let y be s(-7). Let g be (-11)/(33/(-180)) - y. Suppose w + 237 = 3*v, v + w - g - 19 = 0. Is v a multiple of 15?
False
Suppose 12 = 7*f - 3*f. Let s be -4*(-100)/(-48)*f. Let v = 90 + s. Is v a multiple of 20?
False
Let s(r) = -r**3 + 2*r**2 + 3*r + 39. Does 23 divide s(-9)?
False
Suppose -24*k + 21*k = 4*j - 2680, -16 = -4*k. Is 42 a factor of j?
False
Suppose 17*w - 24*w = -3724. Is 14 a factor of w?
True
Let w(s) = s**2 - 3*s + 55. Suppose v + 0*v = 0. Does 17 divide w(v)?
False
Suppose 0*w + 84 = 4*x - 2*w, -w = 3*x - 53. Let z = x - 18. Is 4 a factor of (0 + z)*(-9 + 26)?
False
Suppose 9*v - 5*v = 8. Suppose -148 = -5*f + a, -v*a - 2*a = 5*f - 133. Does 9 divide f?
False
Let p(s) = -s**3 + 12*s**2 - 7*s - 7. Let l be p(11). Let v = 157 - l. Is v a multiple of 24?
True
Let y be -15*(12/(-9) + 1). Suppose -240 = -0*q - y*q. Does 15 divide q?
False
Let k = 709 + -385. Does 27 divide k?
True
Suppose 0 = 5*j - 4*j - 12. Is 37 a factor of 120 - -3*(-8)/j?
False
Let v = 1923 + -947. Does 99 divide v?
False
Let h be (-18)/8*16/(-6). Suppose t = h*t. Suppose -4*u + 16 + 56 = t. Is 9 a factor of u?
True
Let n(x) be the second derivative of 5*x**3/6 + 21*x**2 + 10*x. Does 46 divide n(18)?
False
Let q = -3 + -1. Let t be ((-1)/2)/(q/(-8)). Does 12 divide (3 + t)/((-3)/(-30))?
False
Does 21 divide (-162)/(-3)*3*147/18?
True
Suppose -4 + 3 = -z. Does 11 divide (-25 + 5)/(z/(-1))?
False
Let k(a) = -20*a**2 + 11*a - 675. Let l(b) = 7*b**2 - 4*b + 225. Let n(z) = -6*k(z) - 17*l(z). Let r be n(0). Suppose -6*x + x = -r. Does 12 divide x?
False
Suppose 0 = 5*b - 4*m - 623, 2*b - 2*m + 0*m - 248 = 0. Let l = 186 - b. Is l a multiple of 23?
False
Let k = -3116 - -5393. Is k a multiple of 11?
True
Let q(x) = x**3 + 20*x**2 - 4*x - 15. Let d be q(-20). Does 17 divide (d - -5)/(6/15)?
False
Suppose -9*s + 473 = 2*s. Is s a multiple of 5?
False
Let t be ((-21)/(-14))/(1/(-6)). Let i = 16 + t. Let m(w) = 8*w + 11. Is 18 a factor of m(i)?
False
Suppose c + 6*c = -35. Does 14 divide 19*(c/5 - -2)?
False
Does 29 divide (-2)/7 - (-5482)/(-7)*-2?
True
Let k(w) = -w**2 - 8. Let d(l) = l**2 - l + 8. Let t(x) = -2*d(x) - 3*k(x). Let s be 20/4*12/(-10). Does 20 divide t(s)?
False
Is ((-3)/(-2))/((-1204)/608 + 2) a multiple of 3?
False
Suppose 0 = -19*s - 12853 + 84350. Is s a multiple of 159?
False
Let y(b) = b - 7. Let w = 7 + 0. Let x be y(w). Suppose 3*k - 20 - 103 = x. Is k a multiple of 14?
False
Let n(o) = -o**3 - 6*o**2 + 7*o + 2. Let w be n(-5). Let u = w - -88. Is 10 a factor of u?
True
Let s(j) = -38*j + 36. Let r = 69 + -75. Is 44 a factor of s(r)?
True
Suppose -12 = p - 2*p. Let j = p - 10. Let r(i) = 4*i**3 - 2*i**2 + i - 2. Is 17 a factor of r(j)?
False
Suppose 5*s = s + 288. Suppose -s*j + 68*j = -368. Does 13 divide j?
False
Let h(i) = -8*i. Let b(x) = -2*x - 1. Let q be b(0). Let c = -2 - q. Is h(c) a multiple of 5?
False
Suppose 0 = -38*w + 13*w + 4850. Is 5 a factor of w?
False
Let x(m) = -m**3 - 9*m**2 - 12*m**2 + 14*m + 3*m**2 - 17. Does 13 divide x(-19)?
True
Let k = -133 - -189. Suppose 0 = 3*h + h - k. Is h a multiple of 14?
True
Let z(v) = v**3 - 11*v**2 + 19*v - 32. Does 34 divide z(12)?
True
Let a(p) = -6*p**2 + p + 1. Let w(s) = -s**2 - 7*s + 7. Let y be w(-8). Let d be a(y). Is 6 a factor of ((-36)/21)/(d/42)?
True
Suppose 0 = 6*j - 14*j - 736. Let c = j + 161. Is c a multiple of 7?
False
Let y(d) = 3*d - 7. Let h(q) = 2*q - 3. Let z(r) = -5*h(r) + 3*y(r). Let l(p) = p**3 + 6*p**2 + 11*p + 17. Let f be l(-5). Is z(f) a multiple of 7?
True
Let t(a) = -2*a**3 + 4*a + 3. Let v be t(-4). Let w(r) = 4*r + 186. Let j be w(-33). Let n = v - j. Is 21 a factor of n?
False
Suppose 0 = -5*k + 2*u + 15, -12 = -4*k - 3*u + 6*u. Let o be (-1 - (-14)/6)*k. Does 15 divide 48*(1/o - -1)?
True
Let p(r) = -3*r**3 + 3*r - 9. Let j(d) = 4*d**3 - 3*d + 10. Let m(k) = 4*j(k) + 5*p(k). Is m(4) a multiple of 3?
False
Suppose -3*l + 4*i - 640 = 0, l + 215 = 2*i + i. Let z = -104 - l. Suppose -3*y - 5*p + z = 0, -4*y - 2*p + 144 = -0*p. Is 12 a factor of y?
True
Let y = 10 + -6. Suppose -t - y*k - 13 = -9*