 - 77. Suppose w = v*w - s. Is 6 a factor of w?
True
Let i(p) = 19*p + 1. Let u be 68/(-12)*(-3)/1. Let n = u - 16. Is 9 a factor of i(n)?
False
Let d be 4 + 3*1*6/(-9). Suppose 4*c = 12, -2*y - c = d*c - 31. Is 3 a factor of y?
False
Let q(o) = -13*o**3 + 39*o**2 - 7*o - 25. Let b(w) = 3*w**3 - 10*w**2 + 2*w + 6. Let p(k) = -9*b(k) - 2*q(k). Is p(10) a multiple of 15?
False
Let r be (3/(-6))/(2/(-8)). Suppose 2*a + 2*u + 1 - 7 = 0, -r*a + 4*u + 12 = 0. Suppose 5*g - 317 = a*s, -2*s = -4*g + g + 191. Is g a multiple of 14?
False
Let r be ((-53)/(-10) - (-20)/(-25))*2. Suppose 2*i - 2*s - 256 = 0, -2*i - 5*s + 660 = 3*i. Suppose r*v - i = 4*v. Is v a multiple of 13?
True
Suppose 6*f + 3*w = 3*f - 3, -5*w - 10 = 0. Does 10 divide f/2*(-300)/(6/(-2))?
True
Let x be (-4)/(-3) + (-207)/(-27). Suppose -5*f + 40 = 3*r + 2*r, 0 = -3*f + 5*r. Suppose -f*v + x*v = 20. Does 2 divide v?
False
Suppose 3*z - 597 = s, 3*z + 5*s - 609 = 10*s. Is z a multiple of 18?
True
Let b = -23 - -2. Let h = -19 - b. Suppose -4*k - h = -90. Is 5 a factor of k?
False
Suppose 5*q - 1132 - 14238 = -3*y, -5*y - 4*q = -25634. Is 90 a factor of y?
True
Suppose r + 0 - 111 = 3*s, 0 = -2*r + 4*s + 216. Let l = 144 - r. Suppose -l - 30 = -4*i. Does 7 divide i?
False
Suppose -5*k = p - 4130 - 3315, -p = -2*k + 2971. Is 62 a factor of k?
True
Suppose 5 - 1 = x. Suppose -r - u = -154, -3*u - 608 = -x*r + u. Suppose 3*y - 177 = 3*l, -3*l + r = 3*y - 0*l. Is y a multiple of 19?
False
Let y = 23 - 19. Suppose -y*t + 21 = -11. Is t a multiple of 8?
True
Let y(t) = -t**3 + 8*t**2 - 6*t - 10. Let b be y(7). Let r be b + 2 + (0 - -3). Suppose 0 = r*h - 85 + 3. Is h a multiple of 15?
False
Suppose 4*y + 7 = -9. Let x(k) = k**3 + 7*k**2 - 2*k + 7. Does 7 divide x(y)?
True
Let s(m) = -m**3 + 13*m**2 - 11*m - 7. Let d be s(12). Suppose -5 = -d*z - 0. Is 7 a factor of -1*((4 - z) + -32)?
False
Let f(w) = -86*w - 612. Is 11 a factor of f(-13)?
True
Suppose -2*l + 532 = -284. Is l a multiple of 24?
True
Let u(r) = r**3 - 19*r**2 - 25*r - 89. Is 46 a factor of u(25)?
True
Suppose 6*j - 19*j = -1183. Does 37 divide j?
False
Suppose 15*w - 18*w = 48. Is 16 a factor of (w/20)/(1/(-25))?
False
Let s = 1544 - 914. Is s a multiple of 10?
True
Suppose -5*m - 12 = -6*m + 4*q, 0 = 4*q + 8. Suppose -10*u = -m*u. Suppose u = -0*x - 3*x + 45. Is 5 a factor of x?
True
Is (187/(-85))/(5/(-625)) a multiple of 11?
True
Is 17 a factor of (228/(-4))/(1/(-3))?
False
Let x(f) = 2*f**3 - 12*f**2 + 9*f + 3. Let y be x(6). Let t = y + 12. Does 22 divide t?
False
Let d(a) = -2*a - 10. Suppose -21 = -3*s + 6*s. Let z be d(s). Suppose -z*f - 2*f + 168 = 0. Does 14 divide f?
True
Suppose p - 4*d - 10 = 0, 4*p + 2*d + 2 = -3*d. Suppose 6*o = p*o + 52. Does 16 divide 2/o - (-2556)/117?
False
Let r(w) = 251*w**2 + 3*w - 4. Suppose 4 = 7*z - 3. Is r(z) a multiple of 20?
False
Suppose -260 = -7*u + 13. Suppose a = -u + 70. Is a a multiple of 11?
False
Let z be -4 + 6 + 1/1. Suppose z*p + 1 - 129 = -4*i, 5*i - 5*p = 195. Is i a multiple of 12?
False
Suppose -u - 3*u = -120. Suppose r + 3*n - 5 = -15, -5*r + u = -5*n. Let c = r - -18. Is 18 a factor of c?
False
Let a(r) = r**3 - 5*r**2 - 7*r - 93. Is 10 a factor of a(14)?
False
Let z(r) = -r**3 - 15*r**2 - 35*r + 32. Is z(-12) a multiple of 2?
True
Suppose -5*n + 15 = 125. Let a = n + 20. Does 10 divide -1 - 1/a*82?
True
Let q = 53 + -53. Suppose q = 3*f + 3, 5*j - 245 = -4*f + 9*f. Is 24 a factor of j?
True
Suppose d = -2*j - 8, -5*d + 20 = -5*j + 90. Is (-54)/12*-47*(-8)/d a multiple of 9?
False
Is (7 - 4)*1 + (-520)/(-4) a multiple of 19?
True
Suppose -5*o + 7*o = 34. Let b = o + 19. Does 10 divide b?
False
Let p = 1079 - 551. Is 66 a factor of p?
True
Suppose 3*l + f = 21, 0*f - 14 = -2*l + 3*f. Is 8 a factor of 836/l - 3*3/21?
False
Suppose -4 = -2*p, -p - 40 = -3*x - 12. Suppose -x = -t - 3. Is t a multiple of 7?
True
Suppose -3*n = 2*o - 6*o + 31, 9 = 2*o + 5*n. Suppose 525 - 77 = o*g. Is 16 a factor of g?
True
Let y(v) = v**3 - 59*v**2 + 237*v + 93. Is y(55) a multiple of 85?
False
Suppose 2*w - 4*w + 32 = 0. Let r = w - 3. Suppose r*z - 100 = 9*z. Is z a multiple of 15?
False
Let o be (-3 + 4)*(-9)/(-1). Suppose 21*z + 120 = 25*z. Suppose k - z = -o. Is k a multiple of 5?
False
Let q(p) be the third derivative of p**4/3 - p**3/6 - 2*p**2. Suppose -6 = -16*k + 26. Is 15 a factor of q(k)?
True
Suppose 0 = 2*r, 2*r = -3*d - r + 9. Suppose -3*a - 18 = -4*n, 0 = -2*a - a + 6. Suppose u - d*q = 42, 2*q - n*q - 106 = -3*u. Is u a multiple of 12?
False
Let g(y) = 4*y**2 - 12*y - 11. Does 11 divide g(-10)?
False
Let y be (0 - 0)/(2 - 0). Is (-1*12)/((-9)/60 - y) a multiple of 5?
True
Suppose 5*l + 1 = 2*s, 0*s + 20 = 5*s + 5*l. Suppose -j - 8 = w - 31, -3*w = -s. Is j a multiple of 6?
False
Suppose -9 = -10*q + 7*q. Suppose -57 = q*a - 6*a. Suppose -4*y = -1 - a. Is y a multiple of 2?
False
Suppose 2*m - 14445 = -5*r + 6*m, -4*r - 3*m + 11556 = 0. Is 9 a factor of r?
True
Let n(o) = o**3 + 11*o**2 + 23*o + 9. Suppose -3*f - t - 26 = -4, -4*f - 5*t - 33 = 0. Is n(f) even?
True
Suppose 4*d + 65*h = 61*h + 8360, -h = -3*d + 6286. Is 6 a factor of d?
True
Let x(s) = 26*s**2 - 3*s + 1. Let i be 2/6 + 12/18. Does 18 divide x(i)?
False
Let o(x) = -x**2 - 6*x - 3. Let p(y) = y - 14. Let a be p(0). Let v = a + 9. Is o(v) a multiple of 2?
True
Let n(s) = s**3 + 28*s**2 - 29*s + 81. Does 3 divide n(-29)?
True
Suppose -6*a + 198 = -0*a. Is (a/(-6))/((-2)/4) a multiple of 9?
False
Suppose 70 = r + 4*v - 18, -5*v = -r + 70. Is r a multiple of 5?
True
Suppose -4*u + 17426 - 4322 = 0. Does 39 divide u?
True
Suppose -q = q + 12. Let l = q - 0. Let n = 2 - l. Does 2 divide n?
True
Suppose -5*c = -7*c. Suppose 0 = 4*g + 4, c*q = 4*q + 4*g + 80. Let l = q - -34. Is 15 a factor of l?
True
Let t(y) be the third derivative of 0*y - 5/6*y**3 + 1/10*y**5 + 11*y**2 + 0 + 1/12*y**4 + 1/120*y**6. Does 5 divide t(-5)?
True
Let i = 301 + -125. Does 4 divide i?
True
Is 96 a factor of (-2526)/4*(-2)/(-7 + 8)?
False
Let v(f) = -f**2 + 2*f + 6. Let j be v(3). Suppose -u + 147 = j*s, 3*u - s - 4*s - 455 = 0. Is u a multiple of 30?
True
Let h(z) = -z**3 + 2*z**2 - 9. Let t be h(5). Let i(o) = -o**2 - 2. Let c be i(-5). Does 21 divide (c/12)/(3/t)?
True
Let b be (10/6 + -2)*-9. Suppose 0*x = -b*x + 63. Suppose x = p - 18. Does 13 divide p?
True
Suppose 3*a + 3 = 39. Suppose -m = -38 - a. Suppose 4*d + 5*b = m, -9 + 35 = 3*d - 2*b. Does 4 divide d?
False
Let x(j) = -52*j + 1. Let n be (-3)/(-2)*(-24)/36. Let k be x(n). Suppose -3*v = -2*t - k, -t + 3*t - 23 = -v. Is v a multiple of 19?
True
Let o = 16 + -16. Suppose -4*k = 3*y, o = -4*k - 0 + 12. Is y/((-16)/12) + 51 a multiple of 18?
True
Suppose -174*g - 270 = -179*g. Is 18 a factor of g?
True
Suppose -6*y - 1512 = -10*y. Is y a multiple of 42?
True
Suppose 4*s + 4 = 2*r, -2 + 6 = -3*r + s. Does 3 divide ((-2)/(-3))/(r/(-9))?
True
Suppose 3*n - 136 = -d, -115 = -5*n + 3*d + 107. Let u = -23 - -12. Let t = u + n. Is t a multiple of 17?
True
Suppose 3*o = 4*v + 6*o - 819, 5*v - 1025 = -5*o. Is 4 a factor of v?
True
Suppose 4*v + 0 = -4. Is 24/(4 + (-3 - v)) a multiple of 6?
True
Suppose 2*n - 3*w = 6*n + 144, -n - 17 = -4*w. Let g(k) = 4*k + 9. Let b be g(-8). Let d = b - n. Is 10 a factor of d?
True
Suppose 5*t + 3*b + 66 = 2, -29 = 4*t - 5*b. Let h = t + 33. Does 10 divide 1104/22 - 4/h?
True
Is 10 a factor of (-18062)/(-286) + 4/(-26)?
False
Let g = -17 - -22. Suppose 3*n = 9, -4*l + g*n - 3*n - 6 = 0. Suppose l*x + 3*s = x - 81, 2*x + s - 141 = 0. Is 24 a factor of x?
True
Let v(k) be the second derivative of 5*k**3/6 - 3*k**2/2 + 5*k. Let l be v(4). Let r = -8 + l. Is r a multiple of 9?
True
Suppose 5*z = -5*h + 3*z - 41, 2*z = 4. Let a = h + 11. Suppose l - 52 = -b, -l + 32 = a*b - 21. Does 15 divide l?
False
Suppose 4*q = -3*l + 2976, 0 = 11*q - 7*q - l - 2976. Is q a multiple of 4?
True
Suppose 2*w + w = 0. Suppose w = 3*f - 165 + 36. Suppose -f - 65 = -4*i. Is 11 a factor of i?
False
Suppose 3*o + 3*j - 4800 = -0*o, j = o - 1606. Is o a multiple of 56?
False
Let m = 0 - -4. Suppose 0 = -m*i + 2*i + 10. Suppose i*y - 46 = -3*q, -y - 2*y = 3*q - 42. Does 6 divide q?
True
Suppose 0 = 11*d - 7*d + 16. Does 2 divide (d/(-3)*-1)/((-18)/135)?
True
Let o be (-3)/