9 = -2*d, 2*d - 34 = -4*s. Suppose -s*c + 4*l + 4 = -2*c, 5*c = 3*l + 13. Let p = 23 - c. Is p a multiple of 9?
True
Let s(p) = 85*p + 60*p - 42*p. Is s(1) a multiple of 22?
False
Is (1/4 - (-3)/4)*25 a multiple of 12?
False
Suppose 8*u = 280 + 248. Is u a multiple of 8?
False
Does 13 divide 3 - 2 - (-150)/6?
True
Let c(y) = y**2 - 6*y. Let w(r) be the third derivative of r**5/60 - 5*r**4/24 - r**2. Let k(a) = -4*c(a) + 5*w(a). Is 3 a factor of k(-2)?
True
Let n be (-45)/10*(-8)/6. Let j(b) = -b**3 + 6*b**2 + 2*b - 5. Let x be j(5). Suppose -n*q + x = -q. Is 6 a factor of q?
True
Let r(f) = f**2 + 3*f - 2. Let o be r(-4). Suppose -3*g + 98 - o = 0. Is g a multiple of 8?
True
Let y = -440 + 648. Is y a multiple of 52?
True
Suppose 12*b + 4*k - 183 = 7*b, -k = 5*b - 192. Is b a multiple of 13?
True
Suppose -5*x + 0*x - 40 = 0. Let i = x + 6. Is 7 a factor of (-39)/i - 1/2?
False
Suppose 3*x = 4*m + 237, 2*x - 158 = -0*x - 4*m. Is x a multiple of 10?
False
Let r(w) = -w - 2. Let s be r(-4). Suppose 3*v + 0*p + s = -2*p, -5*v = 5*p + 10. Let j(g) = 7*g - 2. Does 6 divide j(v)?
True
Let l(v) = v**2 - 11*v - 38. Is l(17) a multiple of 32?
True
Is (2/(-5))/(2/(-20)) a multiple of 3?
False
Let i(t) be the second derivative of t**5/20 + t**4/2 - t**3/6 - 3*t**2 - t. Suppose 0 = -r - 3*r - o - 21, -o = 1. Does 9 divide i(r)?
False
Let v = -10 - -16. Suppose 3*u + 7 = 19. Suppose s - u*s = -v. Is s even?
True
Does 15 divide ((-3)/6)/(1/(-140))?
False
Suppose 3 + 0 = -o. Let l = 8 - 0. Let x = o + l. Does 2 divide x?
False
Does 7 divide 8/(4 - 0) - -11?
False
Is 15 a factor of 0/3 + (0 - (-90)/3)?
True
Let n be 24/(1*(-2)/(-4)). Let v = -24 + n. Does 8 divide v?
True
Let p be (2/5)/(4/(-40)). Let a(c) = c**3 + 6*c**2 + 4*c + 1. Is 8 a factor of a(p)?
False
Let w be 0 - 51 - 2/(-2). Let c = -25 - w. Is c a multiple of 13?
False
Let c(w) be the first derivative of 2*w**4 - w**3/3 + 3*w**2/2 - 3*w + 3. Does 25 divide c(2)?
False
Let v(g) = 12*g**2 + 1. Suppose -4*c = 2*h - 4, 2*c - 3*h = h - 18. Let u be v(c). Let d = 14 + u. Does 12 divide d?
False
Let z(k) = -207*k**3. Let n be z(-1). Suppose 5*r - 48 = n. Is 17 a factor of r?
True
Let v be -14 + 12 - -1*6. Does 10 divide 4*v*(-3 + 4)?
False
Let i(f) = f - 2. Suppose 0 = -0*g + 3*g - 5*j - 6, 3*j = 4*g - 19. Is 5 a factor of i(g)?
True
Suppose 70 + 135 = 5*i + 5*t, -5*i - 4*t + 210 = 0. Is 11 a factor of i?
False
Let c(m) = 3*m**3 - 4*m**2 - 4*m + 2. Is c(3) a multiple of 35?
True
Is (-10)/(-4)*(-4)/(-2) a multiple of 2?
False
Let o(a) = -a**2 + 2*a + 30. Does 14 divide o(0)?
False
Does 14 divide 308/21 - 4/6?
True
Let u = 4 - 4. Let w be 1/(-1)*(u + -27). Let f = w - 8. Does 19 divide f?
True
Let s = -11 + 15. Suppose 0 = m - s*m + 51. Is 6 a factor of m?
False
Let u(p) = 47*p + 2. Is u(2) a multiple of 24?
True
Is 2 a factor of ((-3)/6)/(2/(-36))?
False
Let v(w) = w**2 - 7*w + 7. Let a be v(5). Is 3 a factor of (a/(-9))/(2/48)?
False
Suppose 2*r - r = 2. Suppose -37 = -r*q + 5*g, -18 = 3*q - 4*g - 63. Does 11 divide q?
True
Let g(r) = r**2 - 6*r + 5. Let k be g(7). Let i = k - -5. Suppose v - 2*v = -i. Does 17 divide v?
True
Let w = 9 - 6. Suppose 18 = 2*f - w*f. Is -2 - f/(4 - 1) a multiple of 2?
True
Suppose 0 = 3*j - 0*j. Let u = j + 8. Does 4 divide u?
True
Suppose -4*t + 351 = 3*y, 3*t - 94 = -2*y + 168. Is t a multiple of 21?
True
Let v be 20/11 + 6/33. Suppose 21 = v*l - 55. Is l a multiple of 19?
True
Let a = 25 - 20. Let o(b) = -b + 1. Let p be o(-2). Suppose a*t - 155 = -p*u, 6*t = 4*t + 2*u + 62. Does 13 divide t?
False
Let f = 3 - 1. Suppose -f - 2 = -2*i. Suppose i*g - 66 = -0*g. Is g a multiple of 15?
False
Let w = 61 + -35. Does 13 divide w?
True
Let p(y) = -2*y**3 - 16*y**2 - y - 21. Let v(u) = u**3 + 8*u**2 + 11. Let q(s) = -6*p(s) - 11*v(s). Suppose 15 = -5*c - 20. Does 5 divide q(c)?
False
Suppose -4*x = 3*o - 55, 4*x + x - 63 = 2*o. Let l = x + -8. Suppose 0*a + 3*a = k - 20, 0 = -l*a - 25. Is 3 a factor of k?
False
Suppose -3*r - 280 = 2*r. Let m = r + 85. Let j = -18 + m. Is j a multiple of 4?
False
Let g be ((-2)/(-4))/((-3)/492). Let z = 135 + g. Is z a multiple of 14?
False
Let d = -68 + 35. Suppose -x + 295 = 4*r, -122 - 23 = -2*r - x. Let o = d + r. Is o a multiple of 21?
True
Let i(q) = q**2 - 4*q + 4. Let u be i(4). Suppose -6*a - 57 = -2*j - 3*a, 0 = -4*j - u*a + 64. Suppose -27 = -3*b + j. Is 8 a factor of b?
True
Suppose 3*v + 4 = -2. Let q(l) = 19*l**2 + 5*l + 4. Is q(v) a multiple of 20?
False
Suppose -4*x + x + 9 = 0. Let p be 108 + (2 - 1) - x. Let n = -68 + p. Is 11 a factor of n?
False
Let r(p) = -p + 16. Suppose -28 = -4*y - 12. Let t = -4 + y. Does 8 divide r(t)?
True
Let s(f) = -151*f + 1. Let v be s(-1). Suppose -x = -3*m + 4*x + v, -m = -5*x - 44. Is 15 a factor of m?
False
Let i(l) be the second derivative of -l**4/12 + 2*l**3 - 9*l**2/2 + l. Is i(9) a multiple of 8?
False
Let y(u) = 5*u**2 - 2*u + 3. Does 32 divide y(-3)?
False
Let v(r) be the third derivative of -r**4/12 - r**3/3 - r**2. Let q be v(-2). Suppose -48 = -2*j - 0*j + 3*b, -j = -q*b - 24. Is 12 a factor of j?
True
Let i = -4 - -4. Let r(y) = -2*y**2 - 2*y + 16. Let p(u) = -u**2 - u + 8. Let m(d) = -7*p(d) + 4*r(d). Is 7 a factor of m(i)?
False
Suppose -5 = -5*r - 5*y, -2*r + 5*y + 0*y = 5. Is 13 a factor of 0 - r - (-41 - -1)?
False
Let r(u) be the third derivative of -u**5/60 - u**4/3 - 7*u**3/6 + 3*u**2. Is r(-6) even?
False
Let w(g) = -g + 17. Does 5 divide w(-10)?
False
Let q = 5 - 2. Let h = q + 3. Does 3 divide h?
True
Let s(g) = 3*g + 8. Let v(c) = -c - 3. Let d be v(-10). Is 10 a factor of s(d)?
False
Suppose -2*a + o - 12 = -5*a, -3*a + 3*o + 24 = 0. Let y be 0 + 3 + -5 - -13. Suppose y - 2 = j - 4*b, b = a. Does 13 divide j?
False
Is 3/12 - (-3090)/24 a multiple of 30?
False
Suppose 4*a + 5*b = 68 + 110, 2*b - 4 = 0. Is 21 a factor of a?
True
Let o(p) = 2*p**2. Suppose w + 5 - 2 = 0. Is o(w) a multiple of 5?
False
Suppose 4*n = 0, -4*n = 2*f - 0*f. Suppose q = -f*q + 2. Suppose 5*k + 0*k = 4*p - 39, -5*k = -q*p + 7. Is 8 a factor of p?
True
Suppose 179 = 5*f - 26. Is 11 a factor of f?
False
Let m(q) = -4*q + 9 - q + 4*q. Is m(7) even?
True
Suppose 3*h = -2*h - 60. Is 4 a factor of (-4)/(-12)*h/(-1)?
True
Let l(n) = 4*n**2 - 20*n + 9. Is l(8) a multiple of 35?
True
Suppose -3*y - 13 + 70 = 0. Let u = -11 + y. Is 3 a factor of u?
False
Suppose t + t = 0. Let i = t - -13. Is 7 a factor of i?
False
Does 3 divide (-3 - (-6 - 0))*39/9?
False
Let x be (20 - 0) + 1 + -2. Suppose -17*m + 12*m + 15 = 0. Is 8 a factor of (m - x)*(-3 - -2)?
True
Let h = 1 - -14. Suppose -h = -n - 4*n. Suppose q = -4, -n*q = -2*o + 41 + 5. Is o a multiple of 12?
False
Let k(f) = -f**3 - 6*f**2 - 2*f + 9. Let s be k(-7). Suppose s = -r + 3*r. Is r a multiple of 12?
True
Let a(c) = -c**2 + 11*c - 15. Let u be a(11). Let g = -2 - u. Does 4 divide g?
False
Let y = 28 - -8. Is 12 a factor of y?
True
Is 5 a factor of 4/6*(37/2 + 4)?
True
Suppose -q = 2*b + 2 + 32, 0 = -q + 4*b - 4. Is 6 a factor of q/10*45/(-18)?
True
Suppose 0*s + 2*s - 8 = 0. Suppose 5*w - s*c - 83 = 0, -4*w + 5*c + 82 = 21. Suppose -w = -n - 1. Is 5 a factor of n?
False
Let j = 25 - 18. Let w = j - 3. Suppose 0 = -v + w*v - 69. Does 23 divide v?
True
Let q(z) be the third derivative of -z**5/60 - 17*z**4/24 + 4*z**3/3 - 7*z**2. Is q(-14) a multiple of 33?
False
Let r(b) = -11*b - 5. Let y be r(-5). Suppose n + 3*n = -5*q + y, -49 = -4*q - 5*n. Is q a multiple of 2?
True
Let x be (-1 + 1)/3 - -3. Let y(n) = 3 + 5 - 7*n + n**2 + x - n. Does 11 divide y(8)?
True
Let u = -12 + -87. Let w = u - -267. Suppose 3*v = 7*v - w. Does 21 divide v?
True
Suppose 0 = 4*g - g - 54. Does 5 divide g?
False
Let t be -9*(13/3 + -4). Is 26/(-3)*1*t a multiple of 14?
False
Let q be -2 + (-61 - (2 + -5)). Let u = q - -105. Is u a multiple of 15?
True
Let p(s) = -s + 8. Let r be p(7). Let n = 9 + -5. Suppose t - r + 3 = -n*v, -5*v = 2*t + 1. Is t even?
True
Let v = -23 + 64. Let d = -27 + v. Is d a multiple of 14?
True
Let g = -228 + 585. Is 51 a factor of g?
True
Let h be (2/5)/(3/15). Suppose a = -h*a + i + 66, -3*a + 2*i + 66 = 0. Is a a multiple of 13?
False
Is (0 - -15)*((-612)/(-27))/4 a multiple of 15?
False
Let j be (4/(-12))/((-2)/(-6)). Let w be ((-1)/2)/(j/(-8)