+ 3*q + 19. Is n(-3) a multiple of 11?
True
Let x(g) = 0*g**2 - 2*g**2 - 2*g + g + 3*g**2 - 16. Let p = 311 - 317. Is x(p) a multiple of 26?
True
Let v(w) = -2*w**2 + 5*w + 4. Suppose -14 = -3*p + 1. Let c be v(p). Is (-1 + 16/(-6))/(1/c) a multiple of 7?
True
Suppose 4*d + 30840 = 2*b, 5*b - 44350 = -2*d + 32774. Does 16 divide b?
True
Let t(i) = 345*i + 37. Is t(13) a multiple of 133?
True
Let w(x) = x**2 - 4*x + 7. Let c be w(-18). Suppose -9*s - c = -2239. Suppose 3*h = 4*t - s, 5*t + 4*h - 182 = 42. Is t a multiple of 16?
True
Suppose 0*f + 2*f = -s - 6, s + 18 = -5*f. Let l(p) = 6*p**2 + 2*p + 7. Let a be l(f). Let q = a - -9. Does 13 divide q?
True
Let u(a) be the second derivative of 25/2*a**2 + 10/3*a**3 - 1/12*a**4 + 0 + 24*a. Is u(21) even?
True
Let j be (-14*(-3)/(-8))/((-15)/(-40)). Is 66 a factor of 10020/8 + (-21)/j?
True
Let y(b) = -3*b - 13. Suppose -3*k + 5*w + 5 = -33, w - 26 = -5*k. Let c be y(k). Let s = c + 136. Is 9 a factor of s?
False
Let f(n) = -2*n + 87. Let y be f(3). Let q = 30 + y. Is 24 a factor of q?
False
Suppose -80604 + 2196 = -99*z. Is z a multiple of 21?
False
Suppose 0*b + 8*b = 0. Suppose b = w + 2*j + 1 + 7, -4*w = 5*j + 20. Let m(z) = -4*z + 50. Is 5 a factor of m(w)?
True
Let a = -613 - 625. Let d = 1775 + a. Does 19 divide d?
False
Suppose -4*h = -3*s - 79, -2*h - 6*s = -s - 33. Suppose -32 = -m - 2*j, -m + h = m - 5*j. Is m a multiple of 2?
True
Let h(y) = -26*y + 81. Let r be h(3). Suppose -4*q + r*z = 1362 - 4262, -q = -4*z - 712. Does 26 divide q?
True
Let a(n) = -11*n - n - 7*n - 8 + 30*n. Let r be a(4). Suppose r*u + 42 = 37*u. Does 6 divide u?
True
Is (-240941)/(-153) - (7 + (-390)/54) a multiple of 7?
True
Let w(p) = 218*p + 3. Does 15 divide w(9)?
True
Let c be 138/115*(-20)/(-6). Let h(y) = y**3 - 4*y**2 + y + 1. Let k be h(c). Suppose -k*i + 46 = -149. Is 9 a factor of i?
False
Let r(g) = g**3 - 2*g**2 - 2*g + 9. Let b be r(2). Let v(n) = n**3 - 3*n**2 + 6*n - 5. Is 15 a factor of v(b)?
True
Let x be 30/(2 - 4) - 3. Let j be 4/x - 112/63. Is 4 a factor of j/(-3) - 804/(-36)?
False
Let w(k) = -28*k - k**2 - 59 + k**2 + 20 + 3*k**2. Is 11 a factor of w(18)?
True
Let u be (-8)/3*-21*28/784. Let y(o) = o**3 + o + 5. Let i be y(0). Suppose 1 = -u*b - 5, -i*w = 4*b - 28. Is w a multiple of 8?
True
Suppose 88 = -33*k + 41*k. Let j(r) = r**2 + 8*r - 65. Is 8 a factor of j(k)?
True
Let k = 33195 + -31372. Is 2 a factor of k?
False
Let o be (1 - 57/(-9))*87. Let j = -404 + o. Does 8 divide ((-4)/12)/((-3)/j)?
False
Let o be 4 - 1 - 5 - 22. Suppose 168*l - 181*l = 56680. Does 11 divide l/o - 2/3?
False
Suppose -5*k + 413244 = -14*p + 15*p, -5*k + 3*p = -413268. Is k a multiple of 87?
True
Let n be ((-4)/(-1))/(9/9). Let g(f) = -5*f + 10. Let r be g(n). Let y = 39 + r. Is y a multiple of 29?
True
Let d be 4/(-2) + 3 + 2. Let t = 3 - d. Suppose -u - 2*u + 27 = t. Is u even?
False
Let f(h) = -h**2 - 16*h + 68. Let t = -48 - -28. Let d be f(t). Is 10 a factor of 4 - d/(-32)*-2*64?
False
Suppose -113*c = -116*c + 15. Suppose -1162 = -c*s - 2*n, -3*s = 5*n - 548 - 134. Does 26 divide s?
True
Suppose 3*u - 135 = 450. Suppose 5*f + u = 25. Let r = f + 118. Is 14 a factor of r?
True
Let b(x) = 84*x + 20. Let r(i) = -17*i - 4. Let j(l) = -2*b(l) - 11*r(l). Suppose 4*f = 7*f - 18. Does 7 divide j(f)?
False
Let v(d) = 498*d + 6990. Is 42 a factor of v(17)?
True
Let s(q) = 705*q**2 - 45*q + 459. Does 57 divide s(10)?
True
Let r = 29 + 130. Suppose 2*v - r = 3*p, -26 = -2*v + 2*p + 128. Is 26 a factor of v?
False
Let g(w) = -w**2 + 34*w - 76. Let m = -373 + 389. Is g(m) a multiple of 9?
False
Suppose 3*u - 16056 - 49369 = 30500. Is u a multiple of 12?
False
Let a = 2 - -1. Suppose -417 = -3*z - 4*x, a = 3*x - 6. Suppose -24 = r - z. Does 12 divide r?
False
Let b(g) = -3*g**2 - 567*g + 584. Is 180 a factor of b(-78)?
False
Let r be (5 - 4)/(5/935 + 0). Let o = r - -92. Is o a multiple of 14?
False
Suppose -2568 = -10*h + 1922. Suppose -w + 19*v + h = 20*v, 2*v - 451 = -w. Does 15 divide w?
False
Suppose -8*z = 6 - 46. Let f(o) = 22*o - 3. Is 8 a factor of f(z)?
False
Let b be -8 + (1 - 0)/(17/(-51)). Is (-2)/11 + (-3962)/b a multiple of 17?
False
Let f = 10 + -7. Suppose 0 = f*c - 1 + 61. Does 11 divide (4 + -2)*-10*55/c?
True
Let z = -93 + 250. Suppose 7 - z = -10*l. Let m = l + 8. Is m a multiple of 23?
True
Let h be ((-3)/(-6))/((-1)/(-6)). Suppose -28 + 1 = -h*i. Let c(t) = t**3 - 10*t**2 + 12*t - 3. Is c(i) a multiple of 12?
True
Let z be 1 + -6 - (-19 + 10). Suppose 3*r - 211 - 38 = -m, -2*r = -z*m - 180. Is 12 a factor of r?
True
Let c be (215/(-15))/((-1)/18). Suppose -796 = -2*b - c. Let w = -146 + b. Is 14 a factor of w?
False
Suppose -12*z + 9*z = -414. Suppose 14*w - 12*w = z. Suppose 3*a + 125 = n, -3*n = 5*a + w - 374. Is n a multiple of 20?
False
Let y be (45/12)/((-12)/(-80)). Is 27 a factor of (y + -9)/(96/(-52) - -2)?
False
Let b be 517/(-66) + 2 + 2/(-12). Is (2665/30)/(-13)*b a multiple of 20?
False
Let z be 5/(-30) + 2/12. Suppose z = -3*c + 6*c + 2*h - 135, -5*c - 3*h = -224. Let s = 1 + c. Is 13 a factor of s?
False
Let v = -167 + 172. Suppose -3*d + 984 = v*n, 3*d - 24*n - 984 = -26*n. Does 48 divide d?
False
Let a(z) = 12*z + 24. Let b be a(-6). Let i = b + 51. Is (5/i)/((-10)/(-810)) a multiple of 27?
True
Suppose -4*a - 18 + 82 = 0. Suppose 0 = -8*n + a*n - 2040. Does 51 divide n?
True
Let h be ((-598)/(-8))/((-4)/(-16)). Let i = 2101 + -2313. Let d = i + h. Is d a multiple of 41?
False
Does 10 divide 8152 + -1 + (-517)/47?
True
Suppose -4*t = -4*y - 47604, 203*y - 23820 = -2*t + 208*y. Is t a multiple of 16?
False
Let p(w) = -467*w - 805. Is 7 a factor of p(-13)?
False
Let u(r) = -5*r**2 - 247*r - 38. Does 24 divide u(-11)?
False
Let g be ((-169)/(-52))/(1/(-8)). Is 19 a factor of 2/(-6)*(g + -1855)?
True
Let t = -3068 - -3228. Is 40 a factor of t?
True
Let n(s) = 6*s - 62. Let u be n(12). Suppose 0 = -4*m - u + 110. Is 2 a factor of m?
False
Suppose 4*h - 29656 + 5713 = 3*w, 3*w = -3. Is h a multiple of 133?
True
Suppose 5*k - 15 = 2*w, -3*w - 7 - 5 = 3*k. Let f(z) = 16*z + 7. Let d(c) = 14*c + 5. Let l(j) = 5*d(j) - 4*f(j). Is 2 a factor of l(k)?
False
Let r(x) = -515*x - 3354. Is r(-18) a multiple of 17?
True
Let d(j) = 2*j - 20. Let z = 65 - 55. Let b be d(z). Suppose b = 3*o - 94 - 176. Is 15 a factor of o?
True
Let s be (-2945)/(-76) - -6*1/(-8). Suppose m = s + 112. Does 10 divide m?
True
Let r(s) = -s**3 - 7*s**2 - 43*s - 527. Is 26 a factor of r(-17)?
True
Let d(c) = -c**2 - 4*c + 34. Let z be d(-8). Let a(y) = 33*y**z - 9*y**2 - y + 63*y**2. Is a(-1) a multiple of 22?
True
Let s = 286 + -282. Suppose -s*p - b - 400 = -6*p, 4*p - 800 = 4*b. Does 9 divide p?
False
Let x(o) = -6*o**3 - 6*o**2 - 22*o - 62. Let z be x(-5). Suppose 1 = g, -5*h + 861 = -g - z. Does 11 divide h?
False
Let a = 115 + -111. Is 18*((-160)/(-15) - a) a multiple of 15?
True
Let g(d) = -26*d + 16. Let f be (-1 - -1)*(-23)/46. Is 3 a factor of g(f)?
False
Suppose -253 = -l + 9*i - 4*i, 5*i + 521 = 2*l. Let m = 474 - l. Does 49 divide m?
False
Suppose 18648 + 420 = 7*q. Suppose -6*l = -q - 1926. Does 27 divide l?
False
Let w be 2*(1/(-1) + 844). Suppose -w = -q - 555. Is q a multiple of 39?
True
Suppose 17*j = 22*j - 1860. Let x = -295 + j. Does 9 divide x?
False
Let k = -3725 + 6309. Does 3 divide k?
False
Let d(t) = 381*t + 4817. Is d(-12) a multiple of 3?
False
Let k = 123 + -297. Let d be 24*((-9)/(-72))/(2/(-204)). Let v = k - d. Does 33 divide v?
True
Let i be (4/(-3))/(2 - 32/12). Suppose -204 = -5*b + 2*q, 1 + i = q. Suppose b = 4*j - 30. Is j even?
True
Let q(i) = i**3 + i**2 - i + 17. Let j be q(0). Suppose 4*k + 15*k = 2*k. Suppose k*w = w - j. Is w even?
False
Let a = -2 + -1. Suppose -27130 = -2*v - 27136. Is 3 a factor of v - (1 + (a - 16))?
True
Let b(v) = -71*v - 416. Does 9 divide b(-12)?
False
Suppose -132 = -9*k - 2*k. Suppose -k*r + 2725 + 371 = 0. Let u = -114 + r. Does 24 divide u?
True
Suppose -9*k = -5*k - 4*r - 24264, -18201 = -3*k + 4*r. Is k a multiple of 47?
True
Is -103293*12/(-36)*42/18 a multiple of 23?
True
Suppose 11*m = -2*m - 2210. Let j = -131 - 123. Let r = m - j. Does 12 divide r?
True
Let u(v) = 8*v**3 + 14*v**2 + 6*v - 12. Let l(d) = 3*d**3 + 5*d**2 + 2*d - 4. Let s(t