 p. Is p a multiple of 22?
True
Let z = -44 - -49. Suppose -3*g = s - 27 - 188, 0 = 3*g + z*s - 223. Does 15 divide g?
False
Let g = -34 + 10. Let c = g - -45. Let h = c + -13. Does 8 divide h?
True
Suppose l + 3*u + 45 = 0, -u = l - 4*l - 185. Is ((-10)/(-3))/(59/l - -1) a multiple of 40?
True
Suppose -4*l - 303 - 47 = -z, -3*z + 1095 = 3*l. Suppose -11*q = -z - 243. Does 18 divide q?
False
Let i(v) = -v**2 + 7*v + 17. Suppose 5*u = 4*p - 0*u - 255, 3*u = 15. Let a be (-30)/p - (-59)/7. Is i(a) a multiple of 9?
True
Let m(z) = z**3 + 9*z**2 + 15. Let q = 128 + -20. Let j be (4/(-6))/(8/q). Does 7 divide m(j)?
False
Let r(c) = c**3 - 27*c**2 + 26*c + 27. Let s be r(26). Is ((-1180)/6)/(((-144)/s)/8) a multiple of 27?
False
Let g = -190 - -276. Let n = g + -67. Is 4 a factor of n?
False
Suppose 4*c + 3610 = 2*o - c, 3608 = 2*o - 4*c. Is 18 a factor of o?
True
Does 16 divide -2*716/(-8) - 3?
True
Is (-938353)/247*(1 + -2) a multiple of 29?
True
Let f = -5 + 6. Does 36 divide -3 + f - (-140 - (-1 - -1))?
False
Suppose 67 = -3*g + 211. Is g a multiple of 17?
False
Does 24 divide (-2)/((-8)/34)*(-275 - -297)?
False
Does 4 divide (8/28)/(6/105) + 1058?
False
Let p = 23 - 0. Let l = -18 + p. Suppose -19 + 8 = -2*t - l*j, 0 = -t - 3*j + 3. Does 9 divide t?
True
Suppose -2*f + 668 = 5*z, 2*f + 3*z + 148 - 816 = 0. Suppose -3*s = 106 - f. Let n = -46 + s. Is 16 a factor of n?
False
Let w = 92 + -95. Let n(o) = -4 - 4*o + 11 - 7*o. Is 10 a factor of n(w)?
True
Suppose 150 - 534 = -a. Is a a multiple of 16?
True
Suppose -27*f = -11164 - 32279. Is 46 a factor of f?
False
Suppose -190*m = -201*m + 8239. Is 7 a factor of m?
True
Suppose 2*i + 1800 = -24*q + 25*q, 2*q + 5*i - 3600 = 0. Does 10 divide q?
True
Let b = -1078 + 1585. Is b a multiple of 8?
False
Suppose 0 = 6*v - 1945 - 491. Is v a multiple of 81?
False
Let z(y) = -6*y + 4. Let b(f) = -5*f - 10 + 2*f - 2 + 3. Let p be b(0). Is z(p) a multiple of 15?
False
Suppose -2*d + 5*s = -0*d - 28, 0 = 4*d + 5*s + 4. Let k(t) = -t**3 + 4*t**2 - t + 4. Let x be k(d). Suppose 3*f - 8*f + 110 = x. Is f a multiple of 11?
True
Let u(t) = t + 3. Let g be u(-4). Let f be 79 + (g - (-2)/(-1)). Suppose 3*r - f = -r. Does 16 divide r?
False
Let n(r) = -42*r + 22*r - 4 + 21*r. Let v = 19 - 13. Is n(v) even?
True
Let p be ((-7)/14)/((-1)/28). Let o = 32 - p. Does 13 divide o?
False
Let w = 1337 + -779. Is 6 a factor of w?
True
Let r(u) = u + 9. Let k be r(-9). Suppose -2*y - z + 96 = -y, k = 4*y + z - 396. Suppose 5*m - y = -0*m. Does 6 divide m?
False
Let g be (-2 - 0) + (68 - 16). Suppose 2*f + 20 = g. Is f a multiple of 5?
True
Suppose -x - 4 = x. Let i be (-2 + 4 + x)*1. Is 6 a factor of 36 + (-2 + i - 2)?
False
Suppose q - 3*x + 23 - 63 = 0, 3*q = 4*x + 120. Is 773/4 - 50/q a multiple of 32?
True
Let p = 14 + -9. Let h(b) = 10*b**2 + 3*b**2 + 20 - 10*b - b**3 - p. Is 18 a factor of h(12)?
False
Suppose -4*p = -11 - 5. Let k be p/(-10)*-5 - 0. Suppose -10 = k*s, 0*x - s = -3*x + 251. Is x a multiple of 18?
False
Suppose 5*u - 13 - 7 = 0. Let q(p) = 2*p + 1. Let y(a) = 4*a + 3. Let o(d) = u*y(d) - 9*q(d). Is o(-3) a multiple of 3?
True
Let d = -79 - -692. Let u = d - 408. Is 15 a factor of u?
False
Let b(n) be the first derivative of -3*n**4/2 - 4*n**3 + n**2 - n + 4. Let x(h) = -h**3 - h**2 - h - 1. Let p(t) = b(t) - 5*x(t). Is p(-8) a multiple of 10?
False
Is 16 a factor of (((-1358)/(-6))/7 + -2)*12?
False
Let p = -68 - -32. Is (1 + 42/(-8))/(1/p) a multiple of 51?
True
Suppose -2*a + 2*i = -10, -8 = -5*a - 5*i + 7. Suppose 4*g = a*y + 4 + 4, 0 = 5*g + y - 28. Suppose -4*h - 120 - 76 = -5*x, g*h + 35 = x. Is x a multiple of 17?
False
Let u be (-2)/(-23) - ((-803)/23 - 7). Let l(t) = 11*t**3 - t**2 - t - 1. Let h be l(-1). Let i = h + u. Does 10 divide i?
True
Let m(f) = -f**2 + 2*f + 9. Let y be -7 + 3 + (10 - -1). Let x be m(y). Let k = -11 - x. Does 3 divide k?
True
Suppose 3*f - 1677 = -2*f + r, -3*f - 4*r + 1020 = 0. Is f a multiple of 8?
True
Is -51*((-976)/24 + 10) a multiple of 64?
False
Let i(z) = -z**3 + 22*z**2 + 25*z - 32. Let d be i(23). Suppose -2*c = l - d, 6*c = c - 25. Is l a multiple of 8?
True
Let i be (-2 - -10) + 0 + -1. Suppose 3*b - 2*b + 5*d = i, -d + 35 = -4*b. Does 16 divide 510/16 + (-1)/b?
True
Let h(c) = -4*c**2 - 10*c - 11. Let u(s) = -5*s**2 - 11*s - 12. Let k(o) = -4*h(o) + 3*u(o). Let w be k(-5). Let y = w + 10. Is 3 a factor of y?
False
Is 99 a factor of (-6)/27 + 512371/207?
True
Does 9 divide (-25182)/(-98) - (-102)/2499?
False
Let k(o) = -11*o + 7. Let l be k(-13). Let b = l + -84. Is 6/21 - b/(-14) a multiple of 5?
True
Let d = -328 - -558. Let s = d + -157. Is s a multiple of 43?
False
Let r(g) = 2*g**2 - g - 4. Let s be r(5). Suppose c - s + 15 = 0. Is 4 a factor of c?
False
Suppose -4*v + 5*l + 0 = 17, -19 = 3*v - 5*l. Suppose 0 = 4*i + 2*p - 106, 2*p - 6*p = -v*i + 68. Let o = i + -22. Is o a multiple of 2?
True
Let w(j) = -j**2 - j + 3. Let n be w(0). Suppose -n*q = 15 - 72. Suppose 22*m - q*m - 90 = 0. Does 10 divide m?
True
Suppose -17*x = -1034 - 4848. Is x a multiple of 11?
False
Suppose 4*w - 76 = -20. Suppose 13*j + 22 = w*j. Suppose -2*r = -h - j, 5*r - 20 - 33 = 3*h. Is 11 a factor of r?
False
Let p(j) = -3*j**2 + 2*j**2 - 28 - j**3 + j**2. Let l be p(0). Let y = l - -47. Is 14 a factor of y?
False
Let a(t) = 9*t + 1. Let m(p) = 1. Let j(l) = 2*a(l) + 6*m(l). Is 20 a factor of j(4)?
True
Suppose -174 = 3*y - 3*r, 5*r + 284 - 52 = -4*y. Let x = y + 74. Is 4 a factor of x?
True
Is 15 a factor of (0 + 122)*(-15)/30*-6?
False
Let r(p) = p**3 + p - 1. Let o be r(1). Let k(j) = 137*j**2 - j + 2. Is 29 a factor of k(o)?
False
Let y = 0 + -10. Let d = 7 + y. Is (-1 - d/(-3)) + 41 a multiple of 7?
False
Let u(j) = 5*j + 3*j - 2 - 4 - 5*j. Is u(3) a multiple of 3?
True
Is 39 a factor of (11*(-140)/50)/((-2)/50)?
False
Let d be (-4)/14 + 90/21. Let i be 306/(-5) + d/20. Is 9 a factor of (-6)/12 + i/(-2)?
False
Let o(r) = -6*r**2 - 95*r - 25. Does 35 divide o(-10)?
False
Is 34 a factor of (31 - 4)/(-9)*-39?
False
Let m(w) = -35*w - 120. Does 10 divide m(-10)?
True
Suppose -3*m - 24 = -6. Let h(s) = -s**3 - 5*s**2 + s - 6. Is 6 a factor of h(m)?
True
Suppose 4 = -4*g, 0 = 6*d - 2*d - 5*g + 527. Let f(y) = y**3 + 11*y**2 + 3*y - 16. Let p be f(-11). Let s = p - d. Is 22 a factor of s?
False
Suppose -3 = -0*m - m. Suppose m*a = 71 - 5. Is 11 a factor of a?
True
Let i(f) = f**2 + 5*f + 6. Let k be i(-8). Let n(h) = -h**2 + 2*h + 4. Let y be n(4). Is 10 a factor of y/2 + (k - 8)?
True
Let l = 779 - 450. Is l a multiple of 7?
True
Let d(r) = 7*r + 39. Let w be d(-5). Suppose -w*s + 80 = -368. Is 28 a factor of s?
True
Suppose 0 = -i + 4*s + 21, -2*i + s + 6 = 2*s. Suppose j = -i + 72. Is j a multiple of 14?
False
Let h(k) = -k**3 + 8*k**2 - 6*k - 5. Let v be h(7). Suppose 4*i - 20 = 0, 3*r - 7*i + v*i = 38. Is r a multiple of 21?
True
Does 11 divide 1408/(-66)*(3 - 36)?
True
Does 22 divide 605*(24/(-4) - 96/(-15))?
True
Let b(h) = -h**3 + 6*h**2 - 6*h - 1. Let m = -10 + 15. Let s be b(m). Is 14 a factor of (-4 + (-27)/s)*56?
True
Let p = 372 + -265. Is 5 a factor of p?
False
Let a be -12*(-2 + (-20)/(-8)). Let l = 8 - a. Is (-2)/7 + 760/l a multiple of 18?
True
Suppose 2*n - 2*t = -t + 37, -29 = -n + 4*t. Let o = -5 + n. Suppose -3*m = -3 - o. Does 2 divide m?
False
Let o(l) = l**3 - 12*l**2 - 7*l + 8. Is o(13) a multiple of 4?
False
Let h = 136 - 128. Suppose h*c = -11*c + 3040. Is 10 a factor of c?
True
Suppose -1 = 2*k - 5. Suppose k*c = 4*c - v - 1, 0 = -5*c + 4*v - 5. Suppose c*z = 8*z - 620. Is z a multiple of 25?
False
Let f = 84 - 84. Suppose f = -g - 11*b + 6*b + 71, -4*b - 100 = -2*g. Does 14 divide g?
True
Let d(s) = s**2 - 4*s - 8. Suppose -2*y + 30 = 3*y. Let w be d(y). Suppose -79 = -w*i + 1. Is 14 a factor of i?
False
Let f be (15/45)/((-1)/51). Let b = f - -20. Suppose -m + 60 = b*m. Does 15 divide m?
True
Suppose -6*k + 174 = 2*g - k, -2*g = 4*k - 170. Is 11 a factor of g?
True
Suppose 0 = -7*p + 13*p - 384. Suppose 61*v = p*v - 234. Is v a multiple of 13?
True
Let m(p) = -12*p - 18. Suppose 36 = 5*b - 9*b. Is m(b) a multiple of 30?
True
Let u = 98 - -29. Does 11 divide u?
False
Let z(k) = -k**3 + 7*k**2 - k + 18. Let o be -1 - 1 - (8 - 14) - -2. Does 12 divide 