a) + s(a). Is q(-3) a multiple of 15?
False
Let o(v) = -v**3 + 4*v**2 + 10*v + 17. Is 15 a factor of o(-8)?
True
Let r(b) = 124*b**3 + 10*b**2 - 4*b - 2. Does 14 divide r(2)?
True
Suppose 0 = -0*x + 4*x - r - 1007, -x + 257 = -2*r. Is x a multiple of 17?
False
Let z = -12 - -15. Let i(k) = 3*k + 3*k + 0*k - z - 3*k. Is 7 a factor of i(4)?
False
Let r be (-3 + (-37)/(-3))*24/2. Let c = -55 + r. Is c a multiple of 19?
True
Let i(o) = o**3 + 16*o**2 - 31*o + 10. Is i(-10) a multiple of 23?
True
Let v = 923 + -293. Does 90 divide v?
True
Let d = -13 + 13. Suppose d = -4*s - s + 220. Is 11 a factor of s?
True
Suppose -4*q = 3*o - 5*q - 67, 3*o - 2*q - 71 = 0. Suppose 2*g - 2*s - s = -o, 5*g = -2*s - 100. Let h = g + 27. Does 3 divide h?
True
Let p be (238/(-5))/1 + (-12)/(-20). Is 56 a factor of (p - -43)/((-63)/61 - -1)?
False
Let w(j) = -j - 76. Let o be w(0). Let a = 181 + o. Is 21 a factor of a?
True
Let c = -35 - -31. Let i = -45 - c. Let y = -13 - i. Is 7 a factor of y?
True
Suppose 0 = -2*b - 44 - 4. Is 1 - 4*b/4 a multiple of 25?
True
Suppose -5*s = 4*k - 145 - 52, 0 = s - 2*k - 31. Suppose 4*w + 4 = 0, 4*w + s = 3*z - 2*z. Is z a multiple of 2?
False
Suppose -3*i = -48 - 762. Is i a multiple of 18?
True
Suppose -10*i - 33 = -173. Suppose 4*u + i - 2 = 0, 4*u = 2*w - 142. Is w a multiple of 7?
False
Suppose -3*z = 5*i - 445, -2*i = 5*z - 0*i - 710. Is 6 a factor of z/16 + 3/12?
False
Suppose 69 = -4*y - 419. Let r = y + 242. Suppose r = l + l. Is l a multiple of 26?
False
Let c(r) = -5*r**3 - 5*r**2 + 2. Let o be c(-2). Let p = o - -13. Does 35 divide p?
True
Is 46 a factor of 0 + (1 + 4 - 6) + 130?
False
Let s = 29 - 3. Is s a multiple of 13?
True
Is -160*((-280)/50 + (5 - 1)) a multiple of 18?
False
Let b(a) = 28*a + 52. Let s(n) = -55*n - 103. Let m(l) = 5*b(l) + 3*s(l). Does 43 divide m(-7)?
False
Suppose 0 = -25*x - 5*x + 8070. Does 51 divide x?
False
Let s be (-32)/(-56)*7 + 0/2. Suppose 432 = s*y + 4*l, 289 = 3*y - 3*l - 11. Is 26 a factor of y?
True
Let n(x) = -x**3 - 19*x**2 - 22. Let d(q) = -2*q**3 - 37*q**2 - 44. Let f(w) = -3*d(w) + 5*n(w). Is f(-16) a multiple of 22?
True
Does 40 divide -4*((-15)/6 - -2)*28?
False
Suppose 3*y - 7*y = -56. Suppose -y - 6 = -4*t. Suppose 25 = 3*j + t*r, 3*j + 4*r - 2*r = 37. Does 4 divide j?
False
Is (235*(-32)/200)/(4/(-30)) a multiple of 6?
True
Let v(l) = -2*l - 5. Let x be (-32)/8 - 0/(-2). Let i be v(x). Suppose -39 = -i*r + 66. Is 13 a factor of r?
False
Suppose -4*c + 15*c - 1958 = 0. Does 34 divide c?
False
Let s = 36 + -32. Suppose s*d + 0*d = 348. Is 33 a factor of d?
False
Suppose 0 = -10*g - 10*g + 660. Is g a multiple of 4?
False
Let p(g) = -g**3 + g**2 + g - 6. Let v be p(0). Does 3 divide 2*((-15)/v + 0)?
False
Let o(x) = 2*x**3 - 11*x**2 + 10*x - 7. Let d be o(5). Is (9/d)/((-2)/(-788)) a multiple of 36?
False
Let s(k) = -92*k - 25. Is 4 a factor of s(-3)?
False
Let p = -118 - -118. Is 210 + p + 1 - (8 - 5) a multiple of 23?
False
Suppose 17*g - 18*g = -126. Does 9 divide g?
True
Let x be (-70)/(-18) - (-8)/72. Suppose -3*f - 5 = -5*a, 0 = -x*f - 7*a + 3*a + 36. Suppose 4*m - 53 + f = 0. Is m a multiple of 12?
True
Suppose 0 = -b - x + 1386, -3*b - 5*x + 102 = -4056. Is b a multiple of 21?
True
Let x(u) = 181*u - 26. Is 16 a factor of x(2)?
True
Suppose 12*z + 49 = 5*z. Let f(n) = -19*n - 34. Does 12 divide f(z)?
False
Suppose 3*f - 48 = -3. Let o = 10 + -5. Let i = f - o. Is i a multiple of 4?
False
Suppose 0 = q - 5*a - 267, 1002 = 4*q - 0*q + 2*a. Is 18 a factor of q?
True
Let r = 1047 + -315. Is r a multiple of 12?
True
Suppose -2*x + 8 = -5*z - 16, -8 = 2*x + 3*z. Suppose -5*j + 172 = 3*a, -x*j + j - 132 = -2*a. Does 16 divide a?
True
Let z(i) = -1 + 4 + i**3 - 3*i - 1 - 4*i**2. Let l be z(4). Does 7 divide (-68)/l - (-4)/20?
True
Let w = 833 - 522. Is w a multiple of 12?
False
Let o(n) be the third derivative of n**5/60 + n**4/4 - 2*n**3/3 - 2*n**2. Let v be o(-9). Suppose -3*i = u - 1 - v, 160 = 4*u - 4*i. Does 12 divide u?
True
Suppose h - 6 = -2*h. Suppose 376 = h*i + 140. Suppose 5*v = 2*o + i, 25 = 2*v + 3*o - 26. Is 12 a factor of v?
True
Suppose n + a - 48 = 0, -4*n - 2*a + 225 = n. Let o = 10 + n. Does 7 divide o?
False
Suppose 860 = 5*s - 1520. Is s a multiple of 12?
False
Let l be 213/9 - (20/12 - 1). Suppose l*a + 252 = 25*a. Does 5 divide a?
False
Suppose s + c = -0*c + 65, -3*s + 2*c + 210 = 0. Is s a multiple of 17?
True
Suppose -3*l = -2*z - 28, 5*l - 2*z - 25 = -3*z. Is 4/((-10)/(-12) - l/18) even?
True
Let s(p) = -4*p**3 - 3*p**2 + 26*p - 15. Is 27 a factor of s(-8)?
False
Let c(h) be the third derivative of h**6/120 + h**5/20 - h**4/6 - 7*h**3/6 - 11*h**2. Is c(5) a multiple of 18?
False
Let z be ((-2)/3)/((-5)/15). Suppose 5 = -z*q + 49. Let n = 5 + q. Is 11 a factor of n?
False
Let d be (-28)/21*-1*(-1 + 4). Suppose 7*h - d*h + r = 371, -5*h + 2*r = -633. Is h a multiple of 14?
False
Let q be ((-8)/(-12))/(3/1242). Suppose -6*n + 3*n = -q. Is n a multiple of 14?
False
Let t(n) = n**3 + 3*n**2 + n + 552. Is t(0) a multiple of 4?
True
Let m = 44 + -38. Suppose -87 = -m*z + 45. Is 11 a factor of z?
True
Let g(l) = 7*l**2 - 6*l - 6. Let m be g(-4). Suppose -m = -c - 18. Does 16 divide c?
True
Suppose -u + 7 = 2*k - 1, 4*k + 5*u = 16. Let g be 2/(-8) - (-42)/8. Suppose -g*m - q + 2*q = -295, k*q - 20 = 0. Does 20 divide m?
True
Let h(k) = -32*k**2 + k. Let n be h(1). Let x be (5 - 1)*-3*(-1)/3. Let d = x - n. Is d a multiple of 6?
False
Let c(u) = 67*u - 66. Is 76 a factor of c(7)?
False
Let i = 778 - 471. Does 35 divide i?
False
Let m = -48 + 68. Suppose -m = -4*u + 480. Is u a multiple of 25?
True
Let v = -31 - -33. Let w(y) = 18*y**2 + 6*y + 1. Does 17 divide w(v)?
True
Let d(f) = -7*f**2 + f - 9. Let x(r) = 3*r**2 + 5. Suppose y + 0*y = 5. Let n(w) = y*x(w) + 2*d(w). Is n(-7) a multiple of 14?
True
Suppose 36*i - 2310 = 31*i. Is i a multiple of 14?
True
Suppose q - 2*a - 782 = -2*q, -3*a = -4*q + 1041. Let j = q - 166. Let y = 157 - j. Is 10 a factor of y?
False
Suppose -d = -3*m + 156, 0 = 4*m + 4*d - 108 - 116. Suppose 27*h = 26*h + m. Is h even?
False
Let w(a) be the first derivative of -a**4/4 + 3*a**3 + 7*a**2/2 - 3*a - 20. Does 39 divide w(7)?
False
Let w be -1 + (1 - 4 - -4). Suppose a - h - 4*h = -1, -h = w. Does 10 divide (31 - -2 - 2) + a?
True
Let f = 32 + -29. Suppose -f*x = -82 + 7. Is 5 a factor of x?
True
Let i(c) = 6*c - 96. Does 6 divide i(24)?
True
Let s(h) = 4*h - 42. Let v be s(-17). Let f = -2 - v. Is 20 a factor of f?
False
Suppose 0 = 7*y - 6*y - 5. Suppose 0 = i + 3*i - y*t - 74, -t = 2. Does 3 divide i?
False
Let k(q) = 14*q**2 - q + 5. Is k(-4) a multiple of 18?
False
Suppose 1 = 3*m + 5*o, -o - 2 - 1 = m. Let l = m + 16. Let u = l + 13. Does 6 divide u?
False
Suppose 3*k + j - 275 = -k, 3*k + 3*j = 204. Is k a multiple of 13?
False
Let q(z) = -615*z - 133. Is 34 a factor of q(-2)?
False
Let s(i) be the third derivative of i**4/24 + 13*i**3/3 + 11*i**2. Is 10 a factor of s(12)?
False
Suppose 8*p = 4*p + 2832. Is 74 a factor of p?
False
Let c = 839 - 475. Is c a multiple of 11?
False
Suppose 0 = m - 198 - 2586. Is m/18 + (-4)/(-3) a multiple of 12?
True
Suppose -s - 4*m = 10, -m - m = s + 4. Let h(q) be the second derivative of q**5/5 - q**4/12 + q**3/6 - 15*q. Is 30 a factor of h(s)?
True
Suppose -22052 = -28*n + 44672. Is 14 a factor of n?
False
Let t(s) = 95*s**3 - 3*s**2 + 3*s + 1. Let g = 99 + -98. Does 7 divide t(g)?
False
Suppose 93 - 11 = 2*h. Suppose 2*s + 233 = -3*s - 3*n, h = -s - 2*n. Let x = 89 + s. Does 15 divide x?
False
Let z be 116/24 - (-5)/30. Let t be z/20 + (-22)/(-8). Is 1/((-280)/(-92) - t) a multiple of 4?
False
Let o(y) = y**2 - 4*y + 5. Let j(t) = t**2 + 3*t - 5. Let l be j(-6). Let s = l + -18. Is o(s) a multiple of 25?
True
Suppose -5*o - m + 310 = -2*o, 5*o + 4*m - 505 = 0. Let v = -176 + 152. Let u = v + o. Does 12 divide u?
False
Let u = 15 + -12. Suppose -620 = -8*i + u*i. Is 31 a factor of i?
True
Suppose -46 = -o + 2*j, 0*o = o - j - 41. Is o a multiple of 3?
True
Let a = 3580 - 2278. Does 21 divide a?
True
Is (5260 + 0)*(-80)/(-320) a multiple of 5?
True
Suppose -a - 2*y - 3*y + 354 = 0, -5*a = -4*y - 1625. Suppose -3*f - 32 = -a. Does 33 divide f?
True
Let d(m) = m**3 - 7*m**2 + 7*m - 1. Let