 Suppose 4 = 3*c - s. Suppose 6*z - c*z = 204. Is z a multiple of 19?
False
Does 13 divide 1133*((-7 - -2) + (18 - 12))?
False
Let w be (-610)/(-18) + (-1)/(-9). Let z = w + -22. Is 3 a factor of z?
True
Let h(a) = -a - 5. Let t be h(-7). Suppose -t*i + 3*i - 3 = 0. Suppose 0 = s - 2*v, 4*s + 2*v = -i*v + 39. Is s a multiple of 2?
True
Let u(q) = 2*q**2 + 3*q - 3. Let r be u(-7). Suppose -2*y = -88 - r. Is y a multiple of 11?
False
Suppose 2*g + 1023 - 2333 = 0. Does 6 divide g?
False
Let w be (-5)/(15/9) - 2. Let l(f) = f**3 + 9*f**2 + 8*f + 9. Is l(w) a multiple of 13?
False
Let n = -16 + 55. Does 3 divide n?
True
Let x(u) = 4 - 5 - u**2 - 4*u - 3. Let p be x(-4). Is 16 a factor of 2/(-4) - 310/p?
False
Let u(n) = 41*n + 51. Does 27 divide u(6)?
True
Let b(t) = t**2 + 36*t + 119. Is 7 a factor of b(-42)?
True
Let w(y) = y**2 + 13*y + 2. Let r be w(-13). Let k(m) = 0*m**2 - 63*m**3 - 41*m**3 + m + 2 + 2*m**r + 2*m. Does 35 divide k(-1)?
True
Let s be 2*(-495 - 7/((-28)/(-8))). Is 21 a factor of 1 + s/(-8) - (-3)/4?
True
Let b = 257 + -127. Does 65 divide b?
True
Suppose -m + 0*m = 3*t - 499, -5*t + 805 = -5*m. Let j = t - 45. Is 12 a factor of j?
True
Let f(z) be the first derivative of z**2 + 27*z + 12. Does 18 divide f(0)?
False
Suppose 5*o + 57 - 167 = 0. Let m = 25 - o. Is (-78)/(-9) - (-1)/m a multiple of 9?
True
Suppose -9*b = -12*b + 651. Does 11 divide b?
False
Let o = 220 + -18. Suppose -4*k + o = -470. Suppose 3*j - 75 = 5*p + 75, 0 = 4*j + 4*p - k. Is j a multiple of 15?
True
Let q(d) = -3*d + 1 - 1 + 0 + 2. Is q(-5) a multiple of 3?
False
Does 3 divide 12*2/4 + 21?
True
Let x(o) = -130*o + 2. Let p be x(-3). Does 7 divide ((-3)/(-2))/(21/p)?
True
Let h(a) = a**3 + 41*a**2 - 47*a - 60. Does 28 divide h(-42)?
False
Let f = -7 + -30. Let s = -33 - f. Is 2 a factor of s?
True
Suppose 0 = 6*f - 5*f - 7. Suppose 3*g - 34 = c, -f*g + c = -5*g - 22. Let p(a) = -a**2 + 14*a + 29. Does 11 divide p(g)?
False
Let n(k) = 8*k**2 + 4*k + 3. Let d be n(-2). Let i = 43 - d. Does 8 divide i?
True
Let g(c) = 2*c + 48. Suppose 0 = -8*s - 30 - 90. Is 2 a factor of g(s)?
True
Let p(k) = 5*k**3 + 3*k**2 - 6*k + 7. Let j be p(5). Suppose 3*c - 656 = -5*x, -5*x + 5*c + j = c. Does 19 divide x?
True
Let b be 2/(-7) - (-72)/(-42). Let j = b + -7. Is (j/6)/(4/(-152)) a multiple of 18?
False
Let p(u) = 2*u**3 + 50*u**2 + 48*u - 34. Is p(-23) a multiple of 32?
False
Let o(f) = f**3 + 7*f**2 - 6*f - 1. Let v(a) = a**2 + 5*a - 9. Let m be v(-7). Suppose 23 = m*p + 58. Is o(p) a multiple of 14?
False
Let l(r) = 80*r**2 + 31*r + 7. Is 7 a factor of l(-3)?
False
Suppose 2*u = 2*v - 25 - 17, -v - 3*u + 33 = 0. Suppose -3*j + 12 + v = 0. Is j even?
True
Suppose -f - 147 + 15 = -2*s, 0 = 4*s - 4*f - 268. Is 15 a factor of s?
False
Let y(s) = 2*s + 34. Is 6 a factor of y(16)?
True
Suppose -4*w - 18 = -2*j + 3*j, -2 = -3*j + 2*w. Let z be (-9)/3 + -3 + 0. Does 3 divide -12*(j/z + -1)?
False
Suppose -70*o = -64*o - 234. Is o a multiple of 9?
False
Suppose 0*m = -4*m - g + 1236, 0 = 5*m - g - 1536. Does 11 divide m?
True
Suppose 0 = 43*z - 19328 + 4192. Does 16 divide z?
True
Suppose 5*o - 9 + 27 = -2*p, -o + 3*p + 10 = 0. Let d be (-1)/(-2) - 988/(-8). Is 9 a factor of (1/o)/((-2)/d)?
False
Suppose 3*y + 20 = 8*y + 2*d, 0 = 3*y + d - 13. Is (162/(-63))/(y/(-28)) a multiple of 12?
True
Suppose 13*a - 8*a = 0. Suppose -3*p - 2*w + 63 = w, a = 4*w + 20. Is p even?
True
Let l(q) be the second derivative of q**4/3 - q**3/3 + 5*q. Let w be l(2). Let y = w + 45. Is 17 a factor of y?
False
Let y(p) = p**2 + 3*p - 5. Let c be y(0). Let x(k) = 7*k**2 - 3*k + 5. Does 15 divide x(c)?
True
Let z(s) = 20*s**2 - 23*s - 187. Is 13 a factor of z(-9)?
False
Suppose -56*s + 49*s + 4144 = 0. Is 37 a factor of s?
True
Let u = 2188 - 1549. Does 14 divide u?
False
Let w = 64 - 148. Let i = -69 - w. Does 3 divide i?
True
Let f = -76 + 78. Suppose -u = f*c - 91, 3*c - c = -2*u + 94. Is 35 a factor of c?
False
Let a = 799 + -439. Is a a multiple of 15?
True
Let p(y) = 4*y**2. Let a be p(-1). Suppose -5*k - 15 - a = x, 0 = 4*k - 4*x + 20. Does 12 divide (-5 - k)*1 - -61?
True
Suppose 14 = q + 9. Suppose f + 2*s - 228 = -f, 0 = s - 1. Suppose q*o + 87 = 5*y - f, 0 = 4*o. Is 10 a factor of y?
True
Suppose -3*t = -5*u - 1265, -u + 758 + 501 = 3*t. Is t a multiple of 6?
True
Suppose 2*o + 9 = -4*s + 25, 2*o - s - 36 = 0. Is o/4 - (-8 - 1) a multiple of 13?
True
Let d = 185 + -182. Is d a multiple of 3?
True
Let o = 15 + -18. Let m be (2/1)/1*o. Is 23 a factor of (-274)/m + 19/57?
True
Let s be (-1)/((-3)/30*1). Let y = s - 5. Suppose 0 = 2*b + 4*l - 58, 24 + 40 = b - y*l. Is 13 a factor of b?
True
Suppose 2*o - 11 = 8*v - 3*v, 5*v - 61 = -2*o. Is (o + -3)/((-3)/(-9)) a multiple of 10?
False
Let a be -3 + (-20)/(16/(-4)). Suppose -2*c = 2*n - a, -5*n + 2 = -c + 3*c. Suppose n*r + 3*r - 72 = 0. Is 11 a factor of r?
False
Suppose 9*i = 4*i + 390. Suppose -2*l + 224 = l - 2*g, l - i = 4*g. Is l a multiple of 18?
False
Suppose -5*y + 3*f = -7104, -12*f = -3*y - 7*f + 4256. Does 10 divide y?
False
Let n(p) = 6*p - 2. Let r be n(1). Suppose f + 2*q = r*f - 316, -2*q + 440 = 4*f. Is 43 a factor of f?
False
Suppose 2*d + a - 466 = 0, -2*a - 450 = -2*d + a. Suppose 6*t - d = 3*t. Suppose -4*m + 325 = t. Does 11 divide m?
False
Let l(z) = -z**3 + 2*z + 910. Is l(0) a multiple of 65?
True
Let p(q) = 364*q - 528. Does 64 divide p(11)?
False
Suppose 13*p = 2*p - 4213. Let g = 559 + p. Is g a multiple of 20?
False
Let t = 7 + -14. Let f(p) = -2*p**2 - 7. Let s(r) = -3*r**2 - r - 6. Let l(y) = 4*f(y) - 3*s(y). Is 9 a factor of l(t)?
True
Suppose 5*o - 6773 = -3*b, o - 1356 = -0*o - 2*b. Is 123 a factor of o?
False
Let v be (1 - -4)*(-10)/(-25). Let y(q) = 2*q**2 + 8*q - 3. Let x be y(-12). Suppose 5*u - x = -3*s, 3*u + v*s - 123 = -3*s. Is 18 a factor of u?
True
Let z = 1788 + -1185. Is 19 a factor of z?
False
Suppose z = -0*z + 6. Suppose -4*q - n - 3 = -0, -z = 3*q + 2*n. Suppose -7*y = -2*y + 25, 5*s - y - 115 = q. Is s a multiple of 9?
False
Suppose -3*s + 0*s = -4*l - 9760, 0 = 2*s + 5*l - 6522. Is s a multiple of 71?
False
Let l(q) = q**2 - 20*q + 27. Let d be l(-21). Let z = d + -484. Suppose -3*p - 140 = -z. Is p a multiple of 22?
True
Let u(t) be the first derivative of t**4/4 + 5*t**3/3 + 3*t**2/2 + 4*t + 1. Suppose 4*k + 3 = 3*k. Is u(k) a multiple of 13?
True
Suppose -2*c + 4*w = -42, 2*c - 40 = 3*w + 1. Let j(p) = 18 - 6*p - c - 7*p. Does 14 divide j(-3)?
False
Suppose 3*i - 4*i + 271 = 4*g, -4*i = 5*g - 325. Is g even?
False
Suppose 0 = -11*x + 13*x - 2, -b + 15 = x. Does 2 divide b?
True
Let p(c) = 2*c**2 - 11*c + 9. Is 54 a factor of p(-9)?
True
Let p(q) be the third derivative of 3*q**5/20 - 5*q**4/24 + 23*q**3/6 + 21*q**2. Does 14 divide p(3)?
False
Let s = 26 - 20. Is 11 a factor of 26 - 12/(3 - s)?
False
Suppose 2*j + z - 225 = 0, -j + 6*j + 4*z - 555 = 0. Suppose w = 3*q - 59, -j = -2*q - 3*q + 5*w. Is 17 a factor of q?
False
Suppose 0 = 2*a + 3 + 9. Let o(r) = r**3 + 7*r**2 - 7*r + 1. Let c be o(a). Suppose 0 = -2*p + 5*d + c, 0*d - 110 = -5*p - 5*d. Is p a multiple of 9?
True
Let p(t) = 139*t**2 + 49*t - 205. Is 12 a factor of p(4)?
False
Let a = 1439 - -441. Is a a multiple of 47?
True
Let w be (1 - 3)/((-2)/3). Let b(g) = -w*g + g**2 + 0*g + 7 + 7*g. Is 14 a factor of b(-10)?
False
Suppose l + l = 196. Suppose 7*b - l = 1022. Does 16 divide b?
True
Let w(c) be the third derivative of c**5/15 - 5*c**4/24 + c**3/3 - 5*c**2. Is 4 a factor of w(2)?
True
Let c(q) = -32*q + 56. Does 20 divide c(-22)?
True
Is (34/3)/(16/(-18408)*-13) a multiple of 17?
True
Let j(i) = -6*i. Let m be 3 + -1 + 4 + 1. Let w be j(m). Let x = w - -61. Is x a multiple of 9?
False
Let u(w) = -6*w**2 + 3*w + 2. Let c be u(-1). Is (-2)/c + 626/14 a multiple of 9?
True
Suppose 2*a = 5*u + 1 + 7, -3*a = -12. Suppose 12 = 4*f + 3*x, 2 = f - 3*x - 1. Suppose f*d + d - 8 = u. Is d even?
True
Suppose -3*y - 4*j = -2 - 0, 4*j = 4*y - 40. Suppose -d + 15 - y = 0. Does 9 divide (d/(-6))/((-2)/40)?
False
Suppose -2333 = -6*d + 3979. Suppose 0 = -4*k + 2*j + d, 2*k = -k + 2*j + 788. Does 33 divide k?
True
Let v = -1039 + 2214. Is 25 a factor of v?
True
Suppose 0 = 3*u + 3, -4*b + 3*b - 3*u = -431. Is b a multiple of 62?
True
Let z(