 = 4*y - y - p*n - 428, 4*y = -3*n + 579. Suppose -y - 44 = -4*v. Is v a multiple of 15?
False
Let s(d) = 13*d**3 + d - 1. Let z be s(-2). Let m = 185 + z. Does 12 divide m?
False
Let a = 10 + -10. Suppose -n - 3*n + 176 = a. Does 11 divide n?
True
Let t be (64/48)/(2/3). Let z = t + 1. Does 10 divide -2 - -3 - z - -32?
True
Let u = 180 + -17. Suppose n - 123 = u. Is 12 a factor of n/6 - 5/(-15)?
True
Suppose 670 = 2*i + 3*i. Let r = i - 108. Is r a multiple of 14?
False
Let n = 2228 - 723. Does 8 divide n?
False
Suppose 9 = -3*o, 4*z = 2*o - o + 751. Let v = -67 + z. Does 15 divide v?
True
Let d(x) = x**3 + 17*x**2 + 17*x + 10. Let f be d(-16). Let q(b) = -b**3 + 4*b**2 + b + 10. Is q(f) a multiple of 42?
False
Suppose 448 = 2*d - 3440. Is d a multiple of 81?
True
Let b = 69 + 40. Suppose 2*o - b = 3*x, -o - 2*x = -3*o + 104. Is 3/9 + o/3 a multiple of 7?
False
Let h = -1110 + 1600. Is 5 a factor of h?
True
Suppose -7*q + 42 = 14. Suppose i - 2*i = -2, -q*b + 262 = -i. Is b a multiple of 14?
False
Suppose -3*n + 5*x + 129 = 6, 0 = 4*x + 12. Suppose -n = -3*y + 66. Suppose 5*o = y + 6. Is o a multiple of 3?
False
Let s(a) be the second derivative of 31*a**4/12 - a**3/3 - 9*a. Is 43 a factor of s(2)?
False
Suppose i + 3 = -4*u - 0*i, 0 = 2*u + 5*i + 15. Suppose u = -2*h + h - 63. Is 4 a factor of 4/14 + (-360)/h?
False
Suppose 0*g - 3 = -g. Let o be -38 - (9/g + -2). Let m = 62 + o. Is m a multiple of 15?
False
Let g(b) be the first derivative of -6*b**2 - 22*b + 1. Suppose -3*o - 872 = -848. Is g(o) a multiple of 16?
False
Let v be (-6)/21 + (-1060)/(-35). Let j = 163 - v. Does 25 divide j?
False
Let o = -168 + 240. Suppose 0 = 3*l + 4*r - 183 - 196, 2*l = 5*r + 245. Let t = l - o. Does 14 divide t?
False
Let c(n) = 2*n - 4. Let l(m) = -m**2 + 7*m - 1. Let v be l(6). Let r be c(v). Suppose r*d - 2*d - 48 = 0. Is 4 a factor of d?
True
Let r be ((-285)/10)/(3/(-2)). Let t = 76 + r. Does 15 divide t?
False
Let g = 1932 - 1397. Is g a multiple of 4?
False
Suppose 0 = 29*q - 22*q - 18977. Is q a multiple of 64?
False
Let n(w) = 54*w - 54. Is 39 a factor of n(6)?
False
Let o = 3580 - 2414. Is o a multiple of 13?
False
Let o be (-6 - 14)/(2 - 3). Suppose 0*l - 5*l + o = 0. Suppose 8 + 12 = l*i. Is i a multiple of 3?
False
Let s(h) = h**2 + h + 2. Let p be s(0). Suppose 0 = 2*n + p*n + 32. Let x(q) = q**2 + 11. Does 23 divide x(n)?
False
Let p(w) = -2*w**2 + 3*w - 3. Let h be p(3). Let t be -1 - -3*h/(-9). Suppose -c + 46 = t*k + 12, -5*k = -20. Is c a multiple of 11?
True
Let h(k) = -13*k**3 + 2*k**2 + 4*k + 3. Let s be h(-1). Suppose 7*n - s*n = -791. Is n a multiple of 36?
False
Is (13/13)/((-2)/(-194)) a multiple of 24?
False
Let k(r) = -7*r + 129. Does 5 divide k(14)?
False
Suppose 2*a + 8 = 12. Let d = -64 - -124. Suppose -a*i = 4*u - d, -i + u + 5 = -34. Does 13 divide i?
False
Suppose 5*w - 13 + 3 = 0. Suppose 0 = -5*r - 10, 0*h + 2*h - 5*r = w. Is ((-30)/(-9))/(h/(-18)) a multiple of 5?
True
Let w(x) = 41*x**3 - 2*x**2 - 2*x + 5. Is 30 a factor of w(2)?
False
Does 71 divide 1*1380/(-8)*(-264)/18?
False
Let t = 1279 - 690. Is t a multiple of 19?
True
Let h(i) = -2*i**2 + 3*i + 8. Let p be h(0). Is 5 a factor of 48/4 - p/(-4)?
False
Suppose 166 = 4*m + s, -3*s - 51 = -2*m + 25. Let x = 69 - m. Is 4 a factor of x?
True
Suppose 4 = -4*c + 32. Suppose 8*s - 3*s - 10 = 0. Suppose -120 = -c*l + s*l. Is l a multiple of 6?
True
Suppose -84 = 9*r + 3*r. Let l(x) = -25*x - 71. Is 13 a factor of l(r)?
True
Suppose -30*y - 7*y = -120546. Does 18 divide y?
True
Suppose -3*y - a = -2781, 50*y - 45*y - 4639 = -3*a. Does 13 divide y?
False
Suppose 0 = 3*w + 5*f + 19, -4*w + 0*w - 2*f = 16. Is 13 a factor of (-111 - 0)/w + 0?
False
Let r(n) = n**3 + 5*n**2 + n - 7. Let z be r(-3). Suppose z*q + 191 = 511. Is 10 a factor of q?
True
Suppose -11 = -s - 9. Suppose 0 = s*c + 2*c - 36. Suppose 7 + c = v. Does 8 divide v?
True
Let s = -8 + -9. Let c = -16 - s. Is (-2 - -3) + 33/c a multiple of 17?
True
Let k(f) = 124*f - 533. Is 6 a factor of k(7)?
False
Suppose -3*z - 855 = 156. Let n be 3 - 3 - z - 4. Does 16 divide (-4 - 0)/(-12)*n?
False
Let b(d) = d + 21. Let p(k) = -2*k - 49. Let f(t) = 5*b(t) + 2*p(t). Let i(m) = m**2 - 3*m + 1. Let w be i(5). Is 8 a factor of f(w)?
False
Suppose -3*b - 28 = -4*b. Let y = 11 + 8. Let d = b - y. Is d a multiple of 4?
False
Let y = 578 - -547. Is 9 a factor of y?
True
Suppose -2*u + 0*i = -i - 4, -i + 17 = 5*u. Suppose 5*a - u*a = 38. Let k = a + 23. Is 14 a factor of k?
True
Let i = -35 - -57. Let v = 36 - i. Is v a multiple of 3?
False
Let m(o) = o**3 + 4*o**2 + 4*o + 2. Let p be m(-2). Let k(x) be the third derivative of 2*x**4/3 - 72*x**2. Is k(p) a multiple of 16?
True
Let a(m) = 9*m - 6. Let j be 1/((-4)/(-8)) - -2. Does 10 divide a(j)?
True
Let b(l) = l**3 + l + 7. Let z be b(0). Let i(u) = -u**3 + 9*u**2 - 2. Does 12 divide i(z)?
True
Does 13 divide (-4 - (-2270)/35)*35?
False
Suppose 0 = -51*f + 34*f + 1275. Is 5 a factor of f?
True
Let a be 9*(-1 - 3*(-6)/27). Does 7 divide -28*(2 - 22/4 - a)?
True
Let b(d) be the second derivative of d**4/12 - d**3 - 29*d**2/2 + 33*d. Is b(-9) a multiple of 55?
False
Suppose -s - 2553 = -4*s. Does 21 divide s?
False
Suppose -5*w = -27 - 423. Does 5 divide w?
True
Suppose 0*a + 8 = -4*a. Let l be (-4 - -2 - a)/2. Suppose l = -0*n - 2*n + 54. Does 9 divide n?
True
Suppose 2*t + 40 = 4*y - 0*y, 40 = 3*y + t. Let x(m) = -m**3 + 12*m**2 - 17. Let d be x(y). Does 6 divide (-16)/4 - -1 - d?
False
Let m(g) be the second derivative of 7*g**4/4 + g**3/6 + g**2/2 - g. Suppose -4*w = 5*t - 3, -3*t + 7 = -w + 6*w. Is 8 a factor of m(t)?
False
Suppose 3*c + 2559 = 3*b, b + 0*c = 2*c + 848. Is b a multiple of 82?
False
Let o = -1206 - -1748. Is 30 a factor of o?
False
Let b(n) be the first derivative of 27/2*n**2 - n - 1. Does 31 divide b(2)?
False
Let d be 50/15 + 1 + (-2)/6. Is 23 a factor of d + (-4)/(16/(-372))?
False
Let r(x) = x**3 + 6*x**2 - 4*x + 12. Let b be r(-5). Suppose 170 = 5*g - 4*c, b = 2*g - c - 11. Does 34 divide g?
True
Let x = 16 + -18. Let r = 27 - x. Does 10 divide r?
False
Let j be (-1807)/65 - (-8)/10. Let n = j - -137. Is n a multiple of 19?
False
Does 8 divide 128/(-12)*(-6060)/40?
True
Suppose 3*k = -2 + 5, 27 = 2*a - k. Does 8 divide a?
False
Suppose c + 4*f = 3*f + 28, 5*c - 5*f - 100 = 0. Let t(n) = n**3 + 6*n**2 + 9*n. Let o be t(-3). Suppose o = -3*h + h + c. Is h a multiple of 4?
True
Suppose 0 = v + 4*i + 11, -7 = 3*v - i. Let z = -1 + v. Does 6 divide 42*2*z/(-16)?
False
Let c = 2041 + -1358. Does 26 divide c?
False
Let x = 2128 + -1158. Suppose 0 = -6*n - 10 + x. Is n a multiple of 16?
True
Let h(j) = 11*j**2 + 4*j. Let b(a) = 12*a**2 + 5*a + 1. Let k(g) = -4*b(g) + 5*h(g). Does 10 divide k(4)?
False
Suppose 35 = -5*h + 5*c, -5*c + 16 = 2*h + 2. Is (1 - -57) + (2 - (0 - h)) a multiple of 19?
True
Let i = 69 + -46. Does 2 divide i?
False
Suppose -52 = -2*i - 3*r + 49, 0 = 5*i - 4*r - 264. Let z = 30 + i. Is z a multiple of 41?
True
Let a = -3 + 3. Let g(w) = w**2 - 24*w - 17. Let t be g(25). Suppose a = -2*h - t + 18. Does 4 divide h?
False
Let k(l) = -2*l + 23. Let u be k(6). Suppose u*x - 3140 = -170. Is 30 a factor of x?
True
Let r(x) = 2*x - 3 - 1 + 16*x**2 - 6*x + 1. Suppose -6*u + 3*u + 3 = 3*i, 5*i + 4 = -2*u. Is r(i) a multiple of 23?
True
Let j = 61 + 273. Does 9 divide j?
False
Suppose -h = h - 70. Let t = h - 19. Is 8 a factor of t?
True
Suppose 19 - 62 = 4*z + v, 4*z + 52 = -4*v. Let g(a) = 2*a**2 + 6*a + 5. Let s be g(-4). Let o = z + s. Does 3 divide o?
True
Let h be (429*2)/2 + 0. Let v be h/(-4) - 15/20. Is 2 a factor of (2/6)/((-6)/v)?
True
Suppose 7*y + 0*y - 532 = 0. Let s = y - 45. Is 14 a factor of s?
False
Let k(q) be the second derivative of 13*q**4/12 - q**3/3 - 3*q**2/2 + 11*q. Let g be k(-2). Suppose s = g + 31. Is 14 a factor of s?
True
Let o(t) = -t**3 - t**2 + 3*t + 4. Let f be o(-3). Let s = 7 - 0. Let y = f - s. Does 3 divide y?
True
Let s = -9 - 3. Is (-672)/s - (1 + 1/1) a multiple of 18?
True
Suppose -x - 3 = -5*s + 3, 0 = 3*s + 4*x + 1. Let g = s - -1. Suppose 2*i - 200 = -g*i. Is 13 a factor of i?
False
Let q be -1 + 8 + 7 + -8. Let v be 2/3*(-45)/q. Let a(d) = 2*d**2 + 8*d + 5. Is a(v) a multiple of 15?
True
Let b(o) = 44*o