w + 60 = k*h. Is 3 a factor of w?
False
Suppose 0*p = -c + 2*p - 25, -4*p = -4*c - 80. Is 8 a factor of (c/4)/(75/(-36) - -2)?
False
Let r(k) = -k - 1. Let b(d) = 25. Let a(c) = b(c) + 25*r(c). Let m be a(-5). Suppose 2*g + 37 = m. Is g a multiple of 11?
True
Let p be ((-24)/(-16))/(2/4). Suppose 4*c = p*c. Is 3 a factor of -2 - (-7 - c/1)?
False
Let f = 1334 + -1264. Is 32 a factor of f?
False
Suppose 5*m + 1745 = 5*d, d + m - 6 = 345. Does 25 divide d?
True
Suppose 2*k + 5*j + 11 + 12 = 0, -4*j - 32 = 5*k. Does 47 divide -339*46/(-42) + k/14?
False
Let h(v) = v + 1. Let d be h(-1). Suppose d = -2*c - c. Suppose -2*w - b - b + 60 = c, -125 = -4*w + b. Is w a multiple of 11?
False
Suppose 21*z = 15*z + 2214. Does 14 divide z?
False
Suppose 0 = 2534*c - 2541*c + 5467. Does 71 divide c?
True
Let d = 58 - 47. Suppose -139 = -4*c + 5*f, -f - d + 57 = c. Is 14 a factor of c?
False
Does 7 divide 4/90*5 - 108340/(-90)?
True
Let f = 18 + 74. Suppose 4*i = -o + 5*i + f, o + 5*i = 74. Let s = 124 - o. Is s a multiple of 10?
False
Let s = 22 + -20. Let h = s - -12. Is h a multiple of 4?
False
Does 7 divide ((-40)/30)/(2/(-63))?
True
Let k be -10*-3*1*3/(-18). Let z(b) be the second derivative of b**4/12 - b**3 + 3*b**2/2 - b. Does 13 divide z(k)?
False
Let b(u) = -u**2 + 6*u + 5. Let g be b(7). Let i be (5 - 2)*(-2)/g. Suppose r = 3*z - 2*z + 21, -57 = -i*r + z. Is r a multiple of 8?
False
Suppose z + c = 903, 10*c = 2*z + 7*c - 1826. Is z a multiple of 58?
False
Suppose 2*y - 4*h - 10 = 0, -4 - 2 = -3*y - 3*h. Suppose y*a + 8 = -1. Let x(l) = 2*l**2 + 3*l - 1. Is 8 a factor of x(a)?
True
Suppose 5*p + 2*d = -0*d + 23, -3*p - d + 14 = 0. Let f(y) = 4*y**2 + 7*y + 8. Does 13 divide f(p)?
True
Let r(y) = -17*y - 135. Does 15 divide r(-19)?
False
Let i(n) = 3*n**3 + 9*n**2 + n + 9. Let l = 2 - -2. Let x(u) = -2*u**3 - 8*u**2 - 8. Let p(t) = l*x(t) + 3*i(t). Is p(5) a multiple of 3?
False
Let n = 1207 + -754. Is 18 a factor of n?
False
Let v(i) = 2*i**3 + i**2 + 3*i - 3. Let c = 16 - 13. Is v(c) a multiple of 29?
False
Does 102 divide (-187)/(-3)*(-2 + (21 - 1))?
True
Suppose 10*x - 12 = 6*x. Suppose 0 = x*b + 68 - 473. Is b a multiple of 20?
False
Suppose -5*r - 2*j + 650 = 0, -10*j + 9*j = 4*r - 520. Is r a multiple of 26?
True
Let h(r) = r**3 + 3*r**2 - 6*r - 4. Suppose -5*x = -m - 95, -3*x + 2*m + 22 + 28 = 0. Suppose 0 = -j - 4*j - x. Is h(j) a multiple of 4?
True
Suppose -998 = -5*s + 2917. Does 29 divide s?
True
Suppose -2*g - 8 = -4*g. Suppose -3*k + 10 = g. Suppose 5*i = 2*b + 22, -k = -i + 3*b + 5. Does 2 divide i?
True
Let w be 5/(-15) + 235/3 + 0. Let o = 111 + w. Does 21 divide o?
True
Suppose -96*t = -80129 - 17503. Does 9 divide t?
True
Let k(q) = 20*q**3 + q**2 - 34*q + 93. Does 9 divide k(3)?
True
Suppose j + j = 24. Let b = j + 18. Suppose 9 + b = p. Is p a multiple of 8?
False
Let l(f) = -f**2 - 5*f + 3. Let y be l(-5). Suppose 4*n + 0*n - 4 = u, 5*u = -4*n + 28. Suppose -150 = -4*p - n*q, -5*q + y*q + 6 = 0. Is p a multiple of 8?
False
Let z = -681 - -856. Is z even?
False
Let c(w) = 4*w**2 + 9*w**2 - 25*w**3 - 13 + 26*w**3 - 5*w**2 + 3*w. Does 39 divide c(-4)?
True
Let y = -15 - -26. Let a = 23 - y. Is 5 a factor of (a + 2)*(-3)/(-6)?
False
Suppose 0 = 4*m - 4*i - 184 - 96, -214 = -3*m + 5*i. Does 22 divide m?
False
Suppose -2*x = 33 - 9. Let n = -41 - -58. Let h = n + x. Is 4 a factor of h?
False
Suppose 2*q + 10 - 26 = -4*l, 0 = -2*q - 8. Let h be 14 + (-7)/(14/l). Suppose 3*d = h + 193. Is 14 a factor of d?
False
Let f(w) = 15*w**2 - w - 3. Let s be f(-2). Suppose -5*r + 61 = -s. Is r a multiple of 12?
True
Suppose 59*u - 66*u = -931. Is 19 a factor of u?
True
Let r(i) = -i**3 - 12*i**2 + 2*i - 57. Is 7 a factor of r(-13)?
False
Suppose n = 2*k - 2755, 5*k + n - 11060 + 4176 = 0. Is k a multiple of 27?
True
Does 10 divide ((-12)/(-10))/(-6 + 16812/2800)?
True
Let t be (0 - 1) + 16/2. Let k be (-6 + t)/((-2)/4). Is 70*(-2)/8*k a multiple of 35?
True
Let a(b) = -b**2 + 7*b + 8. Suppose -g - g + 18 = 2*x, 0 = 5*x + g - 37. Let i be a(x). Is 33 a factor of i/3*63/2?
False
Let t = -464 + 548. Is t a multiple of 28?
True
Suppose 4*r = 21*n - 26*n + 272, 2*n - 2*r = 116. Is n a multiple of 20?
False
Suppose n = -2*q - 62, -23 - 99 = 4*q + n. Let p = -20 - q. Let z(x) = -x**3 + 11*x**2 - 11*x + 13. Is 2 a factor of z(p)?
False
Let l(c) = -c + 1. Let z = 56 - 68. Does 5 divide l(z)?
False
Suppose -4*w + 41 = -5*s, -22 = 5*s + 3. Suppose -w*c + 26 + 34 = 4*k, -3*c + k + 49 = 0. Is c a multiple of 16?
True
Suppose -2*t = 3*m - 378 - 1119, -4*t = m - 3019. Is t a multiple of 18?
True
Let g = -232 - -253. Is g a multiple of 3?
True
Let x(h) = -h**2 - 5*h + 3. Let n be x(-5). Suppose -5*q - l + 547 = 0, 4*l + 232 = 5*q - n*q. Is q a multiple of 25?
False
Let x(y) = y**2 + 4*y + 5. Let n be x(-6). Let b = n - -1. Does 13 divide b?
False
Let z(g) be the first derivative of 13/3*g**3 + 7 + 8*g**2 - 1/4*g**4 - 4*g. Is z(14) a multiple of 8?
True
Let i(q) = q**2 - q. Let n be i(-5). Suppose -5*g = 4*p - n, -p + 54 = 4*p - 2*g. Suppose 85 - p = 3*l. Does 14 divide l?
False
Let u = 13 + -2. Suppose 3*c - 13 = u. Suppose -3*a = -c*a + 245. Is 7 a factor of a?
True
Suppose -4*x - 120 = z + 27, 2*x + 5*z + 87 = 0. Let g be -54*(-8)/x*-6. Let p = g - 44. Is 7 a factor of p?
True
Is 2 a factor of 10/((-60)/(-42)) + 48?
False
Suppose -4*q + k + 3075 = 100, -5*q = 5*k - 3725. Is 24 a factor of q?
True
Let m(l) be the third derivative of l**8/5040 - l**7/720 + l**6/120 + l**5/10 + 6*l**2. Let y(h) be the third derivative of m(h). Does 19 divide y(4)?
False
Suppose 0 = -4*n - 3*t + 330, 2*n + 3*t = -n + 246. Suppose 81 = 3*r - n. Does 11 divide r?
True
Let n(c) = -67*c**2 + 3*c + 7. Let d be n(6). Is 9 a factor of d/(-66) + (-2)/12?
True
Let q be 6/24 - 13/4. Let r be -2 - (-22 + 0 + q). Suppose 2*y - 57 - r = 0. Is 20 a factor of y?
True
Let u = 32 + -32. Suppose -q + u + 12 = 0. Does 2 divide q?
True
Suppose -4*r = 4*z - 352, 5*r = 21 - 1. Is 42 a factor of z?
True
Suppose 0*w = 2*w - 176. Suppose 5*h - h + w = 0. Is (h/(-3))/((-14)/(-21)) a multiple of 3?
False
Suppose -k - 2*d + 1232 = 0, 1174 = 2*k - d - 1280. Is 33 a factor of k?
False
Let v = 55 - 77. Let x = 7 - v. Is x a multiple of 28?
False
Let h(z) = 16*z**2 + 3*z - 24. Is h(4) a multiple of 4?
True
Let o(w) = 5*w**3 + 3*w**2 - 14*w + 1. Let h(m) = -14*m**3 - 9*m**2 + 41*m - 2. Let c(f) = 4*h(f) + 11*o(f). Does 2 divide c(-5)?
False
Let z(o) = -31 - 21*o - 3 - 32 - 12. Is z(-10) a multiple of 22?
True
Let c = -11 + 10. Let a(k) = 9*k**2 + 2*k + 1. Is 7 a factor of a(c)?
False
Let o(x) = 28*x**2 - 4*x - 86. Does 13 divide o(-8)?
False
Let o(m) = -m**3 + 15*m**2 - 7*m + 45. Is 2 a factor of o(14)?
False
Let c be (0 + 3 - 2)*-15. Let w be ((-8)/(-6))/(5/c). Let i = 31 - w. Is 9 a factor of i?
False
Suppose -x - 10*x = -4950. Is 15 a factor of x?
True
Let p(y) = y**3 + 3*y**2 - 20*y + 2. Is p(7) a multiple of 22?
True
Let o be (2/(-6))/((2 - 5)/45). Suppose o*d - 105 = -n, -d = -0*n + 2*n - 30. Is d a multiple of 4?
True
Suppose 3*w = -9 + 126. Let g = w + -30. Is g a multiple of 9?
True
Suppose 3*v = -0*c + 3*c + 306, -4*v = -5*c - 511. Let b = c + 177. Is 23 a factor of b?
False
Suppose -2339 - 3001 = -10*u. Is u a multiple of 11?
False
Suppose -10*o + 0*o = -20. Suppose o*b = y + 377, -2*b + 4*y - 382 = -4*b. Is 27 a factor of b?
True
Suppose -s - 5*n = -37, 4*s = 3*n + 86 + 39. Let p = s - 78. Let t = 79 + p. Does 9 divide t?
False
Let b(o) = -7*o + 22*o - 65 + 77. Is 34 a factor of b(12)?
False
Let s(x) = 7*x**2 - 19*x + 19. Does 11 divide s(-7)?
True
Let l(g) = -g**3 - 9*g**2 + 3*g + 11. Let a(y) = y**3 + y**2 + y - 1. Let h(s) = -2*a(s) - l(s). Is h(5) a multiple of 16?
True
Let l(k) = k**2 + 11*k - 26. Let x be l(-13). Let m = x + 14. Does 5 divide m?
False
Let c(g) = -g**2 + 11*g - 13. Let s be c(9). Suppose x = s*x. Suppose -p + 32 + 7 = x. Is 13 a factor of p?
True
Let i = 37 - 20. Suppose 1 = -4*r + i. Is (2 + -1)/(-1) + r a multiple of 3?
True
Suppose -3*a = 509 - 11. Let d = -76 - a. Is 30 a factor of d?
True
Suppose -3*r - 6*f = -4*f - 1918, -r = -5*f - 628. Is r a multiple of 29?
True
Suppose 239 = -2*m - 2*a + 1065, -4*a - 12 = 0. Is m a multiple of 32?
True
Let l be (53 + 0 + 4)/(-1)