 8*l**2 - l**3 + 0*l**3 - 6 - 7 + 3 + 5*l. Let z be p(8). Suppose 0 = j - 20 - z. Is 15 a factor of j?
False
Suppose 5*i - 2*j = -261, -54 = 2*i + 4*j + 60. Let w = 77 + i. Is 3 a factor of w?
True
Suppose -6*n + 23 = -7*n. Let j = n - -25. Suppose -4*l - 12 = 0, 0 = x - 5*x + j*l + 234. Does 19 divide x?
True
Is 46 a factor of (2/4)/(-1) + (-5688)/(-16)?
False
Let k(m) = -2*m**2 + 28*m + 9. Suppose 73 + 31 = 8*d. Is 3 a factor of k(d)?
False
Let q(v) be the second derivative of v**4/12 - v**3/6 - 7*v**2/2 + v. Let g be q(-3). Suppose -2*o + 3 + 51 = d, 3*d - g*o = 184. Does 29 divide d?
True
Let m = 44 - 4. Is m a multiple of 2?
True
Let f = -325 + 570. Is 49 a factor of f?
True
Let b = 51 + -49. Does 13 divide b/(-7) - ((-1940)/28 + -1)?
False
Let s = 264 - 195. Does 19 divide s?
False
Suppose q + x + 468 = -4*q, -6 = 2*x. Let a be -3 - (q/3 + -2). Is 0 - (a*-1 - 0) a multiple of 15?
True
Suppose 2*d + l + 9 = 6*d, -3*d + 4*l + 10 = 0. Suppose -d*w - 3 = 1. Does 6 divide 0 + w + 1 + 13?
True
Let f = 51 + -60. Is (78/f)/(2/(-33)) a multiple of 11?
True
Let p = 3396 + 138. Let j be p/9 - 6/(-18). Suppose -n = -5*m + j, -378 = 4*m - 9*m - 4*n. Is 25 a factor of m?
False
Let y(n) = 230*n**2 - 2*n + 2. Let p be (-21)/14*(16/(-6) + 2). Is 54 a factor of y(p)?
False
Suppose 5*u = u + 960. Suppose 155 + u = 5*k. Let b = 131 - k. Does 12 divide b?
False
Let s be -3 + (-1 - (5 - -3)*-1). Suppose 4*c - 100 = 4*y, s*c - y - 106 = -0*y. Does 9 divide c?
True
Does 32 divide 3 + -1 + (478 - 0)?
True
Suppose -3*d = -6 - 15. Suppose 4*p - 28 = 4*h, -3*p - 2*h = h + 3. Suppose p*z - d = 98. Is 10 a factor of z?
False
Let j(m) = 52*m**3 + 9*m**2 - 2*m + 14. Let r(u) = -35*u**3 - 6*u**2 + u - 9. Let s(a) = 5*j(a) + 8*r(a). Does 15 divide s(-2)?
True
Let o = 62 - 61. Is (-63 + -3)*o/(-1) a multiple of 11?
True
Is (-22)/(-187) - 2/17 - -28 a multiple of 2?
True
Is (-4)/(-46) - 7720/(-92) a multiple of 14?
True
Let p be -9*4/(-6) + -3. Suppose 2*f + 4*k = 3*f - 17, -2*f - 3*k = 10. Suppose f = -h - p*a, -4*h + 29 = -0*h + a. Is 4 a factor of h?
True
Is 8 a factor of (85/10 + -6)*(-416)/(-10)?
True
Let r(p) = -p + 1. Let m(i) = 4*i - 38. Let z(j) = -m(j) - 2*r(j). Does 4 divide z(11)?
False
Suppose -1926 = 2*f - 7318. Suppose 16*l - 24*l + f = 0. Is 14 a factor of l?
False
Suppose -660 = -21*j + 19*j. Is j a multiple of 11?
True
Is (151 + -1)*(-37)/(-111) a multiple of 3?
False
Let m(q) = -3*q + 11 + 2 + 17. Is 10 a factor of m(-11)?
False
Suppose -58 + 278 = 2*m. Let p = m - 54. Does 4 divide (-208)/(-14) - (-8)/p?
False
Suppose -3248 = -13*k + 1692. Does 23 divide k?
False
Let z = -1026 + 2446. Is 27 a factor of z?
False
Is (-958)/(-5) - (7 + 259/(-35)) a multiple of 12?
True
Let p(h) be the second derivative of -h**3/2 + 3*h**2/2 + 5*h. Is 17 a factor of p(-11)?
False
Suppose -11*q + 10*q + 333 = 0. Let p = q - 165. Does 12 divide p?
True
Let w = -14 - -16. Let o be w - 0 - (-37 - 2). Let j = o + -18. Is j a multiple of 6?
False
Suppose -7*m + 109 = -297. Is 4 a factor of m?
False
Let k(f) = -f**2 - 105*f + 43. Is 13 a factor of k(-19)?
True
Let k(y) = -3*y + 3. Let b be k(7). Let m = b - 22. Is 9 a factor of 130/4*(-32)/m?
False
Let t = 1 + -5. Let i be (-30)/21*56/t. Suppose 3*s - 10 - i = -4*z, 0 = 3*s + 2*z - 30. Is 4 a factor of s?
False
Let l(c) = -4*c + 2. Let i be l(3). Let x = 22 + i. Suppose 3*n - x - 40 = -2*h, 5*h = 4*n - 77. Is 6 a factor of n?
True
Suppose -8 = -16*i + 12*i. Let y = i + 14. Is y a multiple of 8?
True
Suppose 2*u - 360 = 4*s + 150, 3*s = 3*u - 771. Is u a multiple of 19?
False
Suppose 3*n - 70 = -4*n. Is 10 a factor of n?
True
Suppose -5*d - 5 = 0, 0*p - 2*p + 83 = -5*d. Is (-899)/(-13) - 6/p a multiple of 23?
True
Let h(i) = 3*i + 6. Let l be h(2). Let a(g) = g**2 - 6*g - 20. Is a(l) a multiple of 13?
True
Let w be (4/(-12))/(1/(-3)). Let o be w/(-3*(-3)/315). Let u = o + -20. Is 14 a factor of u?
False
Let t be 12*(-2 - -5)/12. Suppose -3*k + 89 = 5*s, -s = 2*k + 2*k - 11. Suppose 0 = t*g - s - 59. Does 13 divide g?
True
Let t(f) = f**2 + 9*f + 14. Let s be t(-7). Suppose 7*a = -s*a + 161. Let m = a - 13. Is 2 a factor of m?
True
Let x(t) = -5*t**3 + 4*t**2 - 5*t - 11. Is x(-5) a multiple of 52?
False
Let n(s) = 7*s**2 + 12*s + 35. Is n(-4) a multiple of 33?
True
Let h be (2 - (2 + 2))/((-4)/18). Let c(z) = -z**2 + 7*z + 30. Does 2 divide c(h)?
True
Let a = -9 - -18. Suppose 2*q + 5 = a. Suppose 0*x + q*x = 138. Is x a multiple of 13?
False
Let h be (-13 + -2)/((-5)/385). Suppose 0 = -6*s + 3*s - 3*a + h, -4*a = -4*s + 1516. Suppose s = 4*c + c + 4*d, 4*c - 2*d - 290 = 0. Is 9 a factor of c?
False
Let q(z) = 5*z**2 - 37*z + 180. Is q(18) a multiple of 21?
True
Suppose -3*p - 133 = 5*w - 5*p, -4*w = -4*p + 116. Let d = 79 + w. Does 9 divide d?
True
Let m = -6 - 0. Let z = -10 - m. Does 9 divide ((-6)/7)/(z/84)?
True
Let b be ((-224)/70)/(1/(-10)). Let h be 9/15 + b/5. Suppose 0 = 3*g + 3*t - h*t - 68, -3*t - 69 = -3*g. Is g a multiple of 7?
False
Suppose -4*o + 4*b + 4000 = 0, 5*o - 2*b + 0*b - 5000 = 0. Is 50 a factor of o?
True
Suppose 5*b + 590 = 5*i, 541 = 4*i - b + 63. Does 30 divide i?
True
Let p(w) = w**3 - 6*w**2 - 4*w - 17. Does 4 divide p(7)?
True
Let c(s) = -s**3 - 49. Let w be c(0). Let j = w + 144. Is 13 a factor of j?
False
Suppose 5 = w, 5*k = 4*k - 5*w + 37. Suppose -2*a = 4*l - k, 2*l = -2*a - l + 11. Is (a - -2 - 3) + 4 a multiple of 7?
True
Let l = 178 - 72. Suppose 5*h - 465 = -3*u, 3*h + 2*u = 4*h - l. Is h a multiple of 24?
True
Let a = -706 + 1034. Is a a multiple of 2?
True
Let p(y) = -y + 1. Let q(g) = 4*g - 9. Let b be 3/2 - (-104)/(-16). Let m(h) = b*p(h) - q(h). Is 4 a factor of m(4)?
True
Suppose 2 = 2*h + r - 3*r, 4 = -4*r. Suppose h*u - u - 3*z + 154 = 0, 0 = 3*u - 3*z - 486. Does 28 divide u?
False
Let s be (-1 - -6)*2*(-1)/(-2). Suppose 2*o + 2*o - 5*l - 215 = 0, 0 = s*l - 5. Does 11 divide o?
True
Suppose 13*v - 1910 = -311. Is v a multiple of 41?
True
Let r = -372 + 717. Let f = r - 145. Does 20 divide f?
True
Suppose -102 = -5*o + 2*t, -4*o - 4*t + 73 = -31. Suppose 18 = -h + o. Does 2 divide h?
True
Let d be 2*((-7)/2 - -2) - 49. Does 6 divide (d/(-20) - -3)*5?
False
Let f be 2 + 0 + -3 + 4. Suppose -g = 3*k, f*g + 8 = -0*k - 5*k. Let a(y) = -10*y - 13. Is a(g) a multiple of 10?
False
Let l(y) be the first derivative of y**6/60 - y**5/60 - y**4/12 - y**3 + 6. Let h(b) be the third derivative of l(b). Is h(-2) a multiple of 7?
False
Is 4 + -4 - (5 + 0)*-99 a multiple of 3?
True
Suppose 5*y = -0*y - 20, -4*l + 1188 = -3*y. Is l a multiple of 42?
True
Suppose 0*r - 3*r + 4*k = -5, 1 = k. Let q(m) = m**3 - 2*m**2 + m - 6. Let n be q(5). Suppose a - 13 = 3*h, -7 = 4*a + r*h - n. Is a a multiple of 5?
False
Let i = 10221 + -6977. Is 124 a factor of i?
False
Suppose 12 + 12 = -4*p. Let t(d) = 5*d**3 - 13*d**2 + d - 1. Let b(h) = 4*h**3 - 12*h**2 - 2. Let w(k) = -6*b(k) + 5*t(k). Is w(p) a multiple of 13?
True
Let d be (12 + 416/(-40))/((-4)/30). Let j be -22*(1 + -2) - -2. Let w = j + d. Is 3 a factor of w?
True
Let m = 3 + 1. Suppose -18 = -m*o - 10. Suppose o*g = -g + 48. Is g a multiple of 9?
False
Let v(z) be the third derivative of z**8/10080 - z**7/1680 + z**6/720 + z**5/30 - 6*z**2. Let h(a) be the third derivative of v(a). Is h(-3) a multiple of 12?
False
Let q be -1 + (14377/77 - 2/(-7)). Is 27 a factor of 1*q + -2 + 6?
False
Suppose 8*o - 29 - 67 = 0. Is o a multiple of 9?
False
Does 120 divide (171/(-1))/(5/(-35))?
False
Let b be (-4 - -4) + (13 - 1). Suppose -b*o = -4*o - 840. Does 15 divide o?
True
Let g(m) = -5*m**2 + 9*m**2 + 7*m + 46 - 8. Is 33 a factor of g(-8)?
False
Let s be 1/(-1)*(-1 - -1). Suppose 3*z = w + 7 + 28, 0 = 3*z - 2*w - 34. Suppose -h + 4*h - 44 = -2*f, s = 3*h - z. Does 8 divide f?
True
Let p(s) = s**3 + 17*s**2 + 13*s + 15. Is 17 a factor of p(-16)?
False
Let a(q) = q**3 + 8*q**2 - 14*q - 13. Let b be (1/2)/(4/176). Let z = b + -31. Does 9 divide a(z)?
False
Let n(h) = -2*h**3 + 29*h**2 + 3*h - 71. Let j(l) = -l**3 + 14*l**2 + l - 35. Let w(k) = -5*j(k) + 3*n(k). Does 15 divide w(17)?
True
Is -3 + (-142278)/(-58) - 8/116 a multiple of 50?
True
Suppose -r - 7 = -167. Is 8 a factor of 1/(644/r - 4)?
True
Let p(b) = -b**3 + 10*b**2 - 5*b. Let i be 2/(-6)*42/(-2). Do