 -4). Let c be i(f). Let a = 6 - c. Is a a multiple of 17?
False
Let y(u) = -u**3 + 10*u**2 - 9*u - 12. Is y(6) a multiple of 3?
True
Let g = 137 - 113. Let z(y) = y**3 - 24*y**2 + 7*y. Does 12 divide z(g)?
True
Let w be (-1520)/(-28) + ((-20)/(-28) - 1). Let f = 84 - w. Is f a multiple of 2?
True
Let q = 366 - 241. Suppose -2*o - q = -5*k + 37, 5*k - 4*o = 154. Is 17 a factor of k?
True
Let b = 333 + -223. Is b a multiple of 7?
False
Suppose 2*s = 2*r + 12, -5*r + 2*s - 18 = 3. Is r*10/(-75) + (-1778)/(-5) a multiple of 51?
False
Is (48/40*365)/((-2)/(-2)) a multiple of 13?
False
Suppose o = -2*o - 5*w + 22, -4*o = -5*w + 29. Let t be (-26 + 2)/(o - 0). Suppose 0 = t*d - 25*d + 120. Does 40 divide d?
True
Let u(s) = 12*s**2 - 59*s - 45. Does 34 divide u(12)?
False
Suppose -14*t = -1453 - 1095. Is t a multiple of 14?
True
Suppose -10*l - 2912 = 928. Is (l/(-112))/((-1)/(-14)) a multiple of 8?
True
Suppose -3*t + 3*b = -885, -t + 84 = 4*b - 236. Suppose 3*g - 117 = 3*a + t, -5*a - 10 = 0. Is g a multiple of 14?
False
Suppose 92 = 4*c - 2*m, -4*c + 3*c + 29 = m. Suppose -c = 2*q + 3*q. Let l = 25 + q. Is l a multiple of 5?
True
Suppose 0 = -l + 3*v + v, 4*l = -v - 68. Let h be (-3)/(-4) - 4/l. Is (5/h)/(-10)*-86 a multiple of 12?
False
Suppose -3*j + 3073 = 2*b, j - 5*b = -0*b + 1013. Is j a multiple of 11?
True
Let b(x) = 176*x**2 - 16*x + 57. Does 59 divide b(3)?
True
Suppose -8*s = -3799 - 1505. Is 78 a factor of s?
False
Suppose 0 = -106*h + 97*h + 3618. Is h a multiple of 11?
False
Suppose 5*n - 2760 = -5*l + 350, 2*n = 3*l + 1254. Does 26 divide n?
True
Let t(j) = -j**3 + 9*j**2 - 8*j + 4. Let l be t(8). Suppose l*r = 8*r - 840. Is 14 a factor of r?
True
Let v be 1*((-2)/7 + 849/7). Suppose -336 = -2*p + 3*r, 5*p + v = 2*r + 961. Does 28 divide p?
True
Is 4 a factor of (-7)/28 + (-12337)/(-52)?
False
Suppose 7*f - 2*f = 30. Suppose -f*g + 870 = -g. Suppose -g - 82 = -4*s. Does 16 divide s?
True
Let q be 0/(2*3/6). Let v(c) = c**2 + 193 - 141 + q*c**2. Is v(0) a multiple of 21?
False
Let l be (-2)/(-7)*(13 - -1). Suppose 2*o + 3*o - 334 = -l*b, 4*o - 4*b - 260 = 0. Suppose 5*i = o + 69. Is i a multiple of 9?
True
Let f be 102 - (0/3 + 2). Suppose -5*i + f - 39 = 3*o, -5*i + 82 = -4*o. Suppose -6 - i = -5*b. Is 2 a factor of b?
True
Let z be -3 - (-2 + -2) - -2. Suppose -d + 3*y - 8*y + 34 = 0, z*d + y = 158. Does 13 divide d?
False
Let p = 824 + -691. Is 4 a factor of p?
False
Suppose u = 26*f - 24*f - 3168, 3*f = -5*u + 4778. Is f a multiple of 24?
False
Let o(i) = 2*i**3 - i**2 - 5*i + 3. Let g = -2 + 5. Does 6 divide o(g)?
False
Suppose -x + 5*c = 24, -x + 6*c = 5*c + 20. Let s = 47 + x. Is 4 a factor of s?
True
Let z = -49 + 33. Let p = -33 - z. Let t = 7 - p. Is 8 a factor of t?
True
Let c be -3 + ((-52)/(-6) - 2/3). Suppose 2*w = -4*h + 166 + 62, c*h - 5*w = 270. Is 7 a factor of h?
True
Let h(w) = 0*w - w**3 + 2*w + 9*w**2 + 6 + 3*w - 4*w. Let c be 130/15 + 1/3. Does 9 divide h(c)?
False
Let z(c) = -9*c - c + 16 - c - 2*c. Is 10 a factor of z(-8)?
True
Suppose -25 = -14*t + 9*t. Does 11 divide 4/(20/t)*14?
False
Let o(n) = -n**2 + 9*n + 15. Let j be o(10). Suppose 4*p = p + 2*v + 79, -p = j*v - 15. Is 3 a factor of p?
False
Let q be (-86)/10 + (-4)/10. Let u be q/6*(-4)/3. Does 7 divide 7*(12/14 + u)?
False
Suppose 253 = 2*y - 133. Suppose 4*h = 4*r + 244, 2*h - y + 56 = -3*r. Suppose x - 2*i = h, 0 = -3*x + 4*i + i + 195. Is 10 a factor of x?
True
Let b = 9 - 5. Let y(p) = 52*p**2 + 4*p + 8. Let n be y(-2). Suppose -b*r + 0*r = -n. Does 13 divide r?
True
Let o(g) = -2*g**2 - 10*g - 9. Let z be o(-4). Is 2 - (z - -6) - (-36 + 9) a multiple of 6?
True
Suppose -4*y + 5*r - 75 = 0, 0 = 3*y - 0*r - 5*r + 50. Let u = 42 + y. Is 5 a factor of u?
False
Let r = -18 - 5. Let f = 22 - r. Is 15 a factor of 2/(-1) - (0 - f)?
False
Let x(c) = -c**3 - 7*c**2 + 11*c + 15. Let v be x(-8). Is 9/4*(-12)/v even?
False
Let y(o) = o**3 - 6*o**2 + 6*o - 1. Let x be y(5). Suppose -4*u - q + 39 = 2*q, -2*u + x*q = -14. Does 2 divide u?
False
Let y = 688 - 632. Does 2 divide y?
True
Suppose -t - 5*c + 7*c + 751 = 0, 2*t + 2*c - 1472 = 0. Does 19 divide t?
True
Let m = 7 - 4. Suppose 2*k = -m*k - 25. Is k/(2/(2 - 6)) a multiple of 3?
False
Let g = 56 - 57. Let s(v) = 61*v**2 + 3*v + 2. Is 20 a factor of s(g)?
True
Let u be 14/4*24/42. Suppose u*m = m - 2*s + 7, 4*s = 8. Does 3 divide m?
True
Let q(w) = -w**2 + 8. Let i = -4 + 10. Suppose 0 = -5*f - 2*l - i, -f - 5*l - 15 = 3*f. Does 8 divide q(f)?
True
Suppose -13*j + 18*j = -3*u + 69, 5*u + 40 = 2*j. Does 3 divide j?
True
Suppose -7*v + 6*v = -14. Suppose -3*x - 4*x + v = 0. Suppose 14 = -0*b + b + 4*p, x*b + 5*p - 34 = 0. Is 8 a factor of b?
False
Let r(k) = -k**3 - 6*k**2 - 2*k - 8. Let d be r(-6). Suppose d*y - 46 = 42. Let p = -9 + y. Is p a multiple of 13?
True
Let h(g) be the first derivative of -g**4/4 + 13*g**3/3 - 4*g**2 - 14*g - 16. Is 17 a factor of h(12)?
True
Let z(s) = 6 - 3*s + 3*s**2 - 18 - 2*s**2. Does 21 divide z(-9)?
False
Let w(o) = -o**3 + 22*o**2 + 22*o + 90. Does 67 divide w(23)?
True
Let p(y) = 170 - 28*y - 170 + 29*y. Let w = 26 - 8. Is 4 a factor of p(w)?
False
Let q be ((-60)/8)/((-2)/108). Let i be -2*(-3)/6 + 4. Suppose q = 10*a - i*a. Is a a multiple of 19?
False
Let b = 39 + -30. Let i = 27 + b. Is 4 a factor of i?
True
Let v(k) = 4*k - 11. Suppose 0 = 4*l - 2*p - 98, l + 2*p - 118 = -3*l. Suppose -2*o = o - l. Is v(o) a multiple of 10?
False
Let k be 4/(-12)*-15*1. Let c = -2 + k. Is 2 a factor of c?
False
Suppose 5*y + 1632 = s, -15*y + 12*y = 12. Does 13 divide s?
True
Suppose 0 = -11*c + 9*c. Suppose -3*w + c = -6. Suppose 4*m - 42 = 2*s, -w*m = -4*s - 4 - 32. Is 2 a factor of m?
True
Let i(u) = 2*u**2 - 11*u - 21. Suppose 0 = 4*o + f - 35, 0 = 3*f - 0 + 3. Is 26 a factor of i(o)?
False
Let q(i) = -36*i**2 - 5*i - 5*i + 10*i. Let h be q(-1). Let j = -25 - h. Is 11 a factor of j?
True
Suppose 2*j - 4*r - 122 = 0, -2*j - 2*j - 5*r + 283 = 0. Let g = -62 + j. Does 4 divide g?
False
Suppose -2*v + 5*x = -911, -3*v + 119 + 1219 = 2*x. Is v a multiple of 16?
True
Suppose -4*o - 6*y + y + 3859 = 0, -3*y - 4833 = -5*o. Is 9 a factor of o?
False
Let g = 330 - -69. Is 57 a factor of g?
True
Suppose 2*m - 644 = 514. Is 87 a factor of m?
False
Let d(a) = 3*a + 28. Suppose -5*o = -9*o. Is d(o) a multiple of 28?
True
Let v = 535 - 378. Let o = v + -26. Is o a multiple of 28?
False
Let v = 328 - 578. Let n be v*-2*1/2. Suppose 0*d = 5*d - n. Does 17 divide d?
False
Suppose 0 = -5*g - 5*k - 2170, 2*g + g + 2*k + 1307 = 0. Let l = g + 663. Is 7 a factor of l?
True
Let j(s) = s**3 - s**2 + 5. Let l be j(0). Let a(d) = d**2 + 7*d - 7. Is 10 a factor of a(l)?
False
Suppose 0 = 4*j - r - 122, 3*j - 84 = -2*r - r. Suppose -2*o + j = -60. Suppose -5*w = -p + 35, 0*p - 5*p - w = -o. Is 4 a factor of p?
False
Suppose 15*k + 284 - 5324 = 0. Is k a multiple of 21?
True
Let d = 628 + -34. Does 27 divide d?
True
Let b = 43 + -54. Let x = 13 - b. Is x a multiple of 4?
True
Suppose -2*y - 2*y + 12 = 0. Suppose 4*i + f = 3*f - 2, -y*f + 23 = 4*i. Suppose -i*m + 92 = -3*u, 5*u + 8 = u. Is 16 a factor of m?
False
Let v(b) = -25*b**3 + 3*b**2 + 10*b + 24. Is v(-2) a multiple of 9?
True
Is 113 a factor of 9 - (-558)/(-63) - (-10282)/7?
True
Let s(i) = 5*i**2 + 7*i + 4. Suppose -38*m + 31*m = -28. Is 14 a factor of s(m)?
True
Suppose -5*a + 807 = -4*a + 3*q, -2*a - q + 1619 = 0. Is a a multiple of 27?
True
Let s(p) = 181*p - 11. Is 53 a factor of s(3)?
False
Suppose 479 = 3*k - 145. Is k a multiple of 10?
False
Let h be (3/(-5))/((-1)/10). Let w be 36/(-15)*(-40)/h. Let a = w + 13. Is 24 a factor of a?
False
Suppose -5*n = -2*i + 1182, i - 7 = -11. Does 10 divide (30/20)/(n/80 + 3)?
True
Let g(f) = 239*f**2 - 5*f + 5. Let y(o) = 2*o**2 - o + 1. Let t(v) = g(v) - 5*y(v). Is t(-1) a multiple of 38?
False
Suppose -3*y + 553 = -5*i, -4*i = -0*i + 20. Suppose 2*l - 54 = 3*z + 69, -3*l - 4*z = -y. Is 15 a factor of l?
True
Let w = 7 - 3. Does 32 divide (-9380)/(-80) - 1/w?
False
Suppose 3*r = 5*p - 1854, 2*p - 4*r - 744 = -2*r. Suppose -p = -6*u + 3*u - 3*h, u = 4*h + 118. Does 33 divide u?
False
Let f = 662 + -297. Is 26 a factor of f?
False
Let a be 1*(0 - 0)/2. Suppose a = b - 14 - 14. Let l = -16 + b. Is 4 