factor of z?
False
Suppose 4*w + 7*k = 4*k + 99, 0 = -4*w + 5*k + 91. Let z = w - -423. Is z a multiple of 23?
False
Is 16 a factor of (-203)/49 - -4 - 649175/(-161)?
True
Let q = 5405 + 9032. Is 14 a factor of q?
False
Let p(l) = 973*l + 7274. Is 321 a factor of p(43)?
True
Suppose 14*l - 11868 = 1107 + 2859. Is 5 a factor of l?
False
Let x = -5 + -100. Is ((-12264)/x)/(((-8)/10)/(-2)) a multiple of 13?
False
Let s(n) = n**3 + 51*n**2 - 46*n - 622. Is 15 a factor of s(-41)?
False
Suppose f - 35023 = -5*m - 3*f, -m + 6971 = -4*f. Is m a multiple of 14?
False
Let j be (2/(-17) + (-611)/442)*-52. Suppose 0 = p - 660 + j. Does 72 divide p?
False
Let f = -333 - -1934. Suppose -5*v + 4*j = -f, -5*j + 313 = v - 4*j. Does 15 divide v?
False
Let l(a) = 2*a**2 - 29*a + 1. Suppose 5*u + 2*m = 3*m - 26, -5 = 2*u + 5*m. Let g(o) = o**2 - 14*o + 1. Let k(x) = u*g(x) + 3*l(x). Is 12 a factor of k(19)?
True
Suppose -k - 3*v + 2*v - 3 = 0, -v = 3*k + 15. Does 9 divide ((k/9)/2)/((-3)/1485)?
False
Let b(h) = -h**3 - h - 7. Let f be b(0). Let q(m) = 77*m**2 + 8*m + 83. Let w(k) = 17*k**2 + 2*k + 21. Let l(p) = 2*q(p) - 9*w(p). Does 8 divide l(f)?
True
Suppose -1557 = 23*a - 26*a + g, 0 = -3*a - 3*g + 1569. Is 9 a factor of a?
False
Let s(z) = 48*z - 358. Let p be s(8). Let h(l) = -5*l**2 - 23*l - 32. Let w(a) = a**2 - 1. Let n(d) = h(d) + 6*w(d). Is 13 a factor of n(p)?
False
Suppose 23*p = -50*p + 100156. Is p a multiple of 28?
True
Let s(b) = 4*b + 77. Let i be s(-15). Suppose q + 141 = 2*f, -2*q + 41 = f - i. Is 21 a factor of f?
False
Let u(g) = 375*g**2 + 9*g + 4. Let s be u(3). Suppose -s = 18*o - 14710. Does 29 divide o?
False
Let f be 756/(-36) - -1*5. Let n(k) = 2*k**2 - 5*k - 26. Is 20 a factor of n(f)?
False
Let p(d) = 12*d - 187. Let x(q) = q**2 - 29*q - 94. Let m be x(33). Is p(m) a multiple of 32?
False
Suppose -381480 = -7*n + 6*n - 11*n. Does 187 divide n?
True
Let r(q) = q**3 + 4*q**2 + 178*q - 141. Is 3 a factor of r(15)?
True
Suppose -2*v + 3*i = -41, -4*v + 0*i + 4*i + 84 = 0. Let k(b) = 3*b**2 - 32*b + 41. Is k(v) a multiple of 55?
False
Let x = 3769 - -6078. Is x a multiple of 37?
False
Let j(b) be the first derivative of 24 + 21*b + 1/2*b**2 + 5/3*b**3. Is j(-4) a multiple of 16?
False
Let p(b) = 7*b**3 - 5*b**2 + 68*b + 20. Does 12 divide p(9)?
False
Let z(s) = -s**3 + 11*s**2 - 9*s - 21. Let w be z(10). Let k(d) be the first derivative of d**4/4 + 4*d**3 + 4*d**2 + 15*d - 4. Does 14 divide k(w)?
False
Suppose -j - o - 2*o + 733 = 0, o - 1466 = -2*j. Is j a multiple of 6?
False
Suppose m + 0*i - 139 = -3*i, 2*m = 4*i + 328. Suppose f - 4*z - 164 = 0, -f + 2*z + 16 + m = 0. Does 11 divide f?
True
Let p(z) = -z**3 + 36*z**2 - 260*z + 7449. Does 9 divide p(31)?
True
Is (-1452)/(-18)*(91 - (-4)/2) a multiple of 22?
True
Let b(q) be the second derivative of -q**3/2 - 18*q**2 - 21*q. Let y be b(-13). Suppose y = -c, 0 = -x - 0*x + 2*c + 43. Is 3 a factor of x?
False
Let f(r) = 49*r + 145. Let n be f(-3). Suppose 26 = 4*m - 0*m - x, -5*m = 5*x - 20. Is 12 a factor of (m/12)/(n/(-212))*1?
False
Let y(z) = -z - 2. Let c be y(-9). Is (-256)/(-1*(c - 5)) a multiple of 7?
False
Let c be (-7445)/7 - 126/294. Let k = -723 - c. Is k a multiple of 11?
True
Suppose 6*k - 11*k + 25 = 0. Suppose 5 = -d, -3*u + k*d - 299 = -7*u. Suppose t - 3*i = 29, -4*i + 3*i + u = 5*t. Does 2 divide t?
False
Suppose -2*w + 2 = 0, -c - 36*w + 25230 = -37*w. Is c a multiple of 135?
False
Let l be (-1937)/(-4) - 6/24. Suppose -z + 5 = 0, 3*h - 4*z + 0*z - l = 0. Suppose 175 = 5*w + 5*c, -5*w - c + h = -3*c. Does 14 divide w?
False
Does 43 divide 25274/6 + (-782)/(-102) + 0 + -6?
True
Let f = 21801 + -11356. Does 65 divide f?
False
Suppose 164*v + 79*v - 3142197 = -466524. Is v a multiple of 58?
False
Let f = -1632 - -924. Let s = f + 1092. Is 32 a factor of s?
True
Suppose -456 = 5*v - 4*h, v - 97 = 2*v + 5*h. Let m = 140 - 298. Let q = v - m. Is q a multiple of 6?
True
Suppose -4 + 383 = x + 4*u, 3*u = 0. Let z = -260 + x. Is 17 a factor of z?
True
Suppose 0 = 4*x - 586 + 610, 2*x = 3*k - 61206. Does 6 divide k?
False
Let q be (-2 - -1)/((7/(-1))/35). Suppose 0 = 3*p + 4*s - 89 - 375, -5*s = q*p - 780. Is 10 a factor of p?
True
Let b(c) = -6*c**3 + 8*c**2 + 5*c + 13. Is b(-5) even?
True
Suppose 4*x - 2 = 6*x. Is 2 a factor of (-2 - x - -2)/((-8)/(-376))?
False
Let h = 199 + -201. Does 30 divide (21*14 - h) + 4?
True
Suppose s = -w + 18329, -4*s + 7*w - 8*w = -73316. Does 110 divide s?
False
Let i = -625 + 438. Let l(a) = a**2 + 52*a + 1099. Let t be l(-24). Let s = t + i. Is 12 a factor of s?
True
Let s be 3/4*(6 + 0 + -2). Suppose -37 = -s*p - 4. Let x(a) = -a**3 + 9*a**2 + 22*a + 14. Is x(p) a multiple of 14?
True
Suppose 56 = 7*g + 7*g. Let z be 36*(-4*g/(-16))/(-1). Let u = 25 - z. Is u a multiple of 12?
False
Suppose 12 = 11*c - 7*c. Suppose 3*f - 96 = -c*w, f + 3*w = -0*f + 40. Does 4 divide f?
True
Suppose -205910 + 382866 = 51*o - 634556. Is o a multiple of 9?
True
Let a be -2*(-2)/(-6)*-12. Let r be ((-29)/5 + 1)/(a/(-160)). Suppose q = -q + r. Is 24 a factor of q?
True
Let z be 3/(-3)*3 + 5. Suppose -4*a - 14 = -5*v, z*v + 3*a - 3 = -2. Let i(r) = 12*r**3 - 2*r**2 + 3. Does 34 divide i(v)?
False
Let b be 13/(-5) + -4 + 36/10. Let v(h) = 10*h**2 - 6*h - 15. Is 31 a factor of v(b)?
True
Suppose 74 = 25*g - 26. Suppose -g*b + m + 212 = 0, 6*m - 7*m = -5*b + 264. Is b a multiple of 6?
False
Let r = 5635 - 4947. Does 100 divide r?
False
Suppose 0 = -3*j - 226 + 61. Let c(d) = d**3 - 36*d**2 + 96*d - 1. Let k be c(33). Let m = j - k. Is 12 a factor of m?
False
Let z(c) = 2*c**3 + 13*c**2 + 2*c + 16. Let v(p) = 2*p**3 + 11*p**2 + p + 15. Let m(o) = 7*v(o) - 6*z(o). Does 10 divide m(6)?
False
Let y(h) = -3*h - 32. Let p(d) = -8*d - 97. Let n(m) = -6*p(m) + 17*y(m). Let t be n(10). Suppose 4*c - t*c = -292. Does 10 divide c?
False
Let q(n) be the second derivative of -5*n**4/24 + n**3/2 - 8*n**2 + 4*n. Let c(k) be the first derivative of q(k). Is c(-12) a multiple of 22?
False
Suppose -23*z + 24*z - 12 = 0. Suppose z*p = 13*p - 114. Is p a multiple of 19?
True
Suppose -13*y + 18*y - 15 = 0, g = -5*y + 20. Suppose 12*o - 11*o - 842 = g*r, -3*o + 3*r = -2526. Is 23 a factor of o?
False
Let h(x) = -2*x - 26 + 62 - 2*x. Does 8 divide h(-24)?
False
Suppose 5*c - 2*b - 31 = 0, -3*c + 3*b = -10 - 14. Suppose -9*v + 1012 = -c*v. Is v a multiple of 8?
False
Suppose 0 = -t - 3*b + 3731, 5*t - 18712 = -18*b + 22*b. Does 5 divide t?
True
Suppose -4*w + 41782 = -51891 - 64727. Is w a multiple of 25?
True
Suppose 23324 + 8094 = 23*k. Is k a multiple of 5?
False
Let m = 11 - 56. Let k = -31 - -3. Let b = k - m. Is 3 a factor of b?
False
Let t = -1689 + 1059. Let a = t + 1124. Does 17 divide a?
False
Let g(l) = 112*l**2 - 15*l - 175. Is g(-7) a multiple of 14?
True
Suppose -221*z - 17215 = -232*z. Suppose -3*g + z = -b - 4*b, 2*g + 5*b - 1060 = 0. Does 25 divide g?
True
Let n(w) = -17*w**3 - 7*w**2 + 6*w. Let a(h) = 21*h**3 + 7*h**2 - 7*h + 1. Let u(d) = -4*a(d) - 5*n(d). Let y = -9 + 3. Is u(y) a multiple of 23?
False
Let y(o) = 179*o**2 + 132*o - 704. Is y(6) a multiple of 76?
False
Does 11 divide (-4850)/15*(7 + 868/(-70))?
False
Is (11/(-4) + 2)*(-41712)/(24/4) a multiple of 66?
True
Suppose b - 108132 = -5*b. Is b a multiple of 111?
False
Suppose 0 = -10*f + 8*f + 604. Suppose 123 = 17*q - f. Is 25 a factor of q?
True
Is 76/(-95) + (-134253)/(-35) + -1 a multiple of 18?
True
Is 106 a factor of (61088/12 - 3) + (-5)/(-15)?
True
Suppose -8152 = -3*j + 4*a, 47*j - 2*a - 8168 = 44*j. Does 11 divide j?
True
Let n(j) = j**3 + 75*j**2 - 190*j - 35. Is 58 a factor of n(-77)?
False
Does 164 divide 1/(8*2/83936)?
False
Let u = 2131 + -1169. Suppose -50*m = -40*m - 100. Suppose u = 3*y + m*y. Is 6 a factor of y?
False
Let g(i) = 12*i**2 - 28*i + 32. Let f be g(10). Suppose -857 = -3*a + f. Is a a multiple of 9?
True
Let x = 51 - 43. Suppose -5*q = -157 - x. Suppose 4*y + 5*m = 94, -2*y + 5*m - 1 + q = 0. Is 10 a factor of y?
False
Suppose 3*q + w + 276 = 0, -4*q - 220 - 140 = 4*w. Let a = 178 + q. Is 56 a factor of a?
False
Suppose -4 - 9 = u - 5*v, -3*u - 4*v = -18. Suppose 220 = 3*z + z - 4*f, z = -u*f + 64. Is z a multiple of 6?
False
Suppose 3*x - q + 20 = -x, -3*q - 12 = 0. Let s be 