et r(z) = -z**3 + 5*z**2 - 11*z + 6. Let l be r(4). Let h = l + 43. Is 9 a factor of h?
False
Let v = 3 - 0. Suppose v*i - 9 = 6. Suppose 2*w + i - 29 = 0. Is w a multiple of 12?
True
Suppose -o = 5*p - 214, p - 354 - 578 = -4*o. Does 3 divide o?
True
Let k(q) = 99*q**2 + 3*q - 3. Suppose -1 = 5*f - 6. Is 9 a factor of k(f)?
True
Let y = 14591 + -10409. Is 36 a factor of y?
False
Suppose 269*f - 274*f = -2190. Is f a multiple of 25?
False
Let b = 24 + -18. Suppose -2*a = -s + 55, -251 = -b*s + s + 4*a. Is 6 a factor of s?
False
Let l(f) = 2*f - 10. Let g be l(-7). Let c = 117 + g. Suppose c = 3*z + 3*v, 0 = -4*z - 2*v + 138 - 24. Is z a multiple of 8?
False
Suppose 3*f = -3*h + 18, 4*f = h - 2 + 1. Suppose -4*w - 32 = 2*q - 2*w, -q = -h*w + 16. Let t = q + 33. Is t a multiple of 15?
False
Suppose 2*s = -3*s + 20. Suppose h = s*t + 67, 0 = 2*h - 3*t + 5*t - 94. Is 4 a factor of h?
False
Is 23 a factor of -10*(-23)/(-2)*(-6)/5?
True
Is ((-64)/(-40) + -2)*-260 a multiple of 2?
True
Let m = -258 + 364. Is 8 a factor of m?
False
Let i(f) = -f**3 + 5*f**2 - 7*f + 13. Let x be i(5). Suppose m = -4*u - 51, 2*u + u - 3*m + 57 = 0. Is u/(-3) - x/(-33) a multiple of 4?
True
Suppose -3*m = -2*g + 4*g - 15, 5*m = -4*g + 27. Does 14 divide (0 + m - 5)*-28?
True
Let i(z) = -z - 1. Let f be i(-1). Suppose f = 2*j + 2*j - 188. Suppose 2*x - 41 = -v, -102 - j = -5*v + 4*x. Is 11 a factor of v?
True
Let i(m) = 2*m**2 + m - 3. Let o be 11/7 - (-30)/70. Is i(o) a multiple of 3?
False
Let j(h) be the first derivative of 2*h**3/3 - h**2 - 8*h + 10. Is 5 a factor of j(4)?
False
Let v(w) be the second derivative of 3*w**5/2 - w**4/12 + w**3/6 + 34*w. Let s(f) = -f**2 + 2*f. Let z be s(1). Is v(z) a multiple of 10?
True
Let x(o) = 3*o**3 - 9*o**2 - 24*o + 15. Is x(8) a multiple of 9?
True
Let y = 56 - -1. Is 7 a factor of -1 + -1 + y + -5 + 1?
False
Let i = 44 + -26. Let h(o) = 4*o - 19. Is h(i) a multiple of 6?
False
Suppose 0 = 24*q - 2858 + 458. Does 20 divide q?
True
Let n(v) = v - 1. Let w(r) = 2*r - 2. Let c(u) = -3*n(u) + w(u). Let s be c(-2). Suppose -q + 17 = 6*b - s*b, 2*b = 5*q - 68. Is q a multiple of 4?
False
Suppose 44*q + 28896 = 68*q. Is 66 a factor of q?
False
Let y(c) = 6*c + 4 - 4*c**2 + 1 - 7*c - 3 - c**3. Let o(i) = -i**3 + 4*i**2 + 4*i + 1. Let u be o(5). Is 3 a factor of y(u)?
True
Suppose -83 = -4*n - 5*v, n + 3*v - 43 = -n. Suppose -25 = 2*f + n. Let k = -15 - f. Does 2 divide k?
True
Let x = 203 + 754. Does 11 divide x?
True
Does 14 divide 225*1 - 10/10?
True
Let i(s) = -s - 12. Let q = -45 + 31. Does 2 divide i(q)?
True
Let o = 1209 - 708. Does 24 divide o?
False
Let h(a) = 2*a + 4 - 4 + 3 - 1. Let x be h(0). Suppose 4*n = 16, y + x*n - 293 = -4*y. Is y a multiple of 12?
False
Let l(k) = -25*k - 974. Is 2 a factor of l(-48)?
True
Suppose -3*x + 208 = 3*s - 191, -x = 3*s - 123. Is x a multiple of 6?
True
Suppose -445 = -354*s + 349*s. Is s a multiple of 48?
False
Let h(a) = 8*a - 5. Let n be h(12). Let r = n + -61. Is 10 a factor of r?
True
Let z(f) = -9 - 2*f + 2 - 4. Suppose 2*s = 4*s + 20. Is z(s) a multiple of 3?
True
Let b(k) = -4*k**3 - 7*k**2 - 13*k - 1. Is 4 a factor of b(-2)?
False
Let p = 13 - 17. Let o(q) = 4*q**2 + 7*q + 9. Does 13 divide o(p)?
False
Let y = -706 - -1313. Let w = -379 + y. Is w a multiple of 47?
False
Let m(x) = x**3 - 9*x**2 - 22*x + 13. Suppose -3*b - 20 = b, -19 = -4*k - 5*b. Is 6 a factor of m(k)?
False
Let q(b) = b**3 + 20*b**2 - 25. Let f be q(-20). Let j = f - -115. Is j a multiple of 18?
True
Suppose -3*z - 5*i = 208, 5*i = 4*z + i + 256. Let a = -139 - -262. Let w = z + a. Does 12 divide w?
False
Suppose 10*m - 16 = 6*m. Suppose -3*s = 3*g - 48, 0*s - m*s - 11 = -g. Does 15 divide g?
True
Let j = 1601 - 565. Is j a multiple of 74?
True
Suppose 0 = l - 2*l. Suppose -3*z + 5*f + 11 = 0, -2*z + 11 = -7*z + f. Is 11 a factor of 30 + (l/(-3))/z?
False
Let u(a) = -a + 7. Let r be u(4). Let j(f) = -38*f + 6. Let x(k) = -13*k + 2. Let p(s) = 2*j(s) - 7*x(s). Is 11 a factor of p(r)?
False
Suppose -c - 2*l + 13 = 0, 5*c + 4*l - 65 + 0 = 0. Let b = c + 23. Suppose -10*d + 9*d = -b. Is 18 a factor of d?
True
Let l = -16 - 7. Let t = l - -27. Suppose 3*z - 144 = -2*m, 5*m + 156 = t*z + 539. Is m a multiple of 15?
True
Let i(j) = j**2 + 9*j - 48. Is i(23) a multiple of 43?
True
Let v(z) = 2*z + 22. Let f be v(7). Suppose -24 - f = -4*r. Is 4 a factor of r?
False
Suppose 3*y + 1 = -5. Let n be y/6 + (-336)/(-9). Let z = n - 13. Does 12 divide z?
True
Suppose -2*j + w + 7 + 1 = 0, -5*w + 25 = 3*j. Suppose o + 428 = j*o. Does 29 divide o?
False
Let r = -33 + 15. Let g = r + 20. Suppose -g*u + 108 = a - 5*u, -2*u = 10. Is a a multiple of 31?
True
Let m(d) = d**2 - 10*d + 27. Let l be m(4). Suppose 2*o - 100 = -4*x, -l*x + 92 = x - 2*o. Is 24 a factor of x?
True
Let l be (3/6)/(4/3368). Let h = l - 278. Is h a multiple of 13?
True
Suppose 4*c - 13 + 5 = 0. Suppose 4*m - 18 = -c*f, -f - 23 = -3*f + m. Suppose -37 = -2*v + f. Is 12 a factor of v?
True
Let j = -12 + 75. Is 7 a factor of j?
True
Let a(z) = -7*z - 48. Let j be a(-6). Is 13 a factor of (-5 + (-22)/j)*-12?
False
Let k = 24 + 256. Is k a multiple of 20?
True
Let s be 29 + 3/(9/6). Suppose 4*z + 2*q - 26 = 0, 4*q - s = -5*z + 2*q. Suppose -23 = -z*j + 27. Does 3 divide j?
False
Let t(s) = 2*s**3 + 13*s**2 + 5*s - 4. Let h be t(-6). Suppose -h*p - 4*k + 68 = 0, 4*k + 102 = -2*p + 5*p. Is p a multiple of 9?
False
Does 18 divide (10/(-65) - (-8)/52) + 72?
True
Let n(l) = 2*l**2 - 4*l + 3. Let x be n(2). Suppose -h = 4*j - 199, x*j + 115 + 467 = 3*h. Let f = -100 + h. Is f a multiple of 13?
False
Let p(q) = -q + 5. Let r be p(5). Is 6 + (7 - -68) + -1 + r a multiple of 44?
False
Let j = 40 - 48. Is 6 a factor of (j/(-12))/((-3)/(-54))?
True
Let q(d) = -d**3 + 18*d**2 + 55*d + 36. Is q(19) a multiple of 9?
True
Suppose -4*w + 868 = -588. Does 28 divide w?
True
Let w(p) = p**3 + 5*p**2 + 2*p - 4. Let n be w(-4). Suppose -2*l + n + 2 = 0. Suppose l*m + 2*m = 220. Does 14 divide m?
False
Let w = -82 + 157. Does 5 divide w?
True
Let h = 1716 + -1028. Is 26 a factor of h?
False
Let z(n) = 11*n**2 + 7*n + 33. Let d be z(-5). Suppose 0 = -5*g + 2*c + 57 + d, 0 = -c. Is 11 a factor of g?
True
Suppose 0 = 5*l - y - 1482, -25*y + 23*y - 1479 = -5*l. Does 9 divide l?
True
Let t(j) = -j**3 + 10*j**2 + 36*j - 3. Is 23 a factor of t(10)?
False
Let h(d) = 36*d**3 - 3*d**2 - 1. Let o(t) = 37*t**3 - 2*t**2 - 1. Let l(q) = 3*h(q) - 4*o(q). Is l(-1) a multiple of 8?
True
Is 22 a factor of 8/(520/(-39)) - 9023/(-5)?
True
Suppose -4*f = p - 16, -3*p + 2*p + 7 = f. Suppose 4 = 5*g - 4*h, 3*g + 2*h = -h - f. Suppose 4*n = 8, -4*x - 3*n + 9 + 117 = g. Is 10 a factor of x?
True
Suppose -910 = 29*s - 36*s. Is 9 a factor of s?
False
Suppose -1047 + 8938 = 13*l. Does 82 divide l?
False
Suppose 2*n = -5*p + 28, 0 = -2*p - 4*n + 16 + 8. Suppose -4*h - 104 = -f, p*f = -0*h - h + 433. Let y = f - 13. Is y a multiple of 22?
False
Suppose 0 = -h - 4*j + 224, 8 = -27*j + 29*j. Is 4 a factor of h?
True
Let b(l) = l**3 - 4*l**2 + 4. Suppose 3*s = -3 + 33. Let x = -5 + s. Is 8 a factor of b(x)?
False
Suppose -2*q = q - 48. Is 5 a factor of (q/(-4))/((-3)/9)?
False
Let c(v) = 3 + 2*v - 17*v**2 - 1 - v**3 + 21*v**2. Let y be 34/8 + 1/(-4). Is c(y) a multiple of 5?
True
Let i = -25 - -18. Let u(k) = k + 8. Let h be u(i). Let z = 51 - h. Is z a multiple of 30?
False
Let w be (-265)/65*-2 + 2/(-13). Suppose w = 2*t - t. Does 7 divide t?
False
Suppose -23*a - 392 = -24*a + d, 1566 = 4*a - 2*d. Does 15 divide a?
False
Suppose 1840 - 422 = u + 5*k, -u + 1442 = -k. Is u a multiple of 39?
False
Suppose 19659 = 5*k + 3*b, 2*k + b - 3032 = 4831. Does 30 divide k?
True
Let m be 2701/5 + 14/5 + -3. Suppose 17*i - 12*i - m = 0. Is i a multiple of 27?
True
Let o = -2494 - -4842. Is o a multiple of 9?
False
Suppose 2*n - 10 = 6. Suppose n*c - 126 = 5*c. Does 9 divide c?
False
Is 3 a factor of -1 + -5 - (6 - 2002/7)?
False
Let r = 546 + -452. Does 11 divide r?
False
Let q(l) = 0 + 2*l + 2 - 2 + 2 + 20*l**2. Suppose 0 = -4*j + 16, -c = -7*j + 2*j + 22. Does 20 divide q(c)?
False
Let v = -331 - -403. Is v a multiple of 3?
True
Let m be -1 + (-1)/1 - 2. Let k be 2/(-2) - 8/m. Is 29 a factor of (21/(-35))/(k/(-145))?
True
Sup