 of p**4/4 + p**3 - 7*p**2/2 - 6*p + 1. Let w be o(-4). Let z(r) = 3*r - 4. Is 5 a factor of z(w)?
False
Suppose -3*r - 21 + 6 = -p, -2*r = 5*p + 10. Let m = -1 + p. Does 8 divide 21/(-4)*(-5 - m)?
False
Suppose -2*z + 53 = 9. Suppose z = l - 0*l. Is 11 a factor of l?
True
Let p = 38 - 18. Is p a multiple of 9?
False
Let s(c) be the first derivative of -c**2/2 - 3*c + 3. Let a be s(-6). Is ((-12)/(-5))/(a/10) a multiple of 4?
True
Let r = 1 - 2. Let z be (-2 - r)*3*-7. Suppose u = -0*u + z. Is u a multiple of 21?
True
Is 3 - 7*-4 - -3 a multiple of 13?
False
Let u(s) = -s + 4 - 4 + 5 + 3. Is 5 a factor of u(-9)?
False
Does 3 divide 1*(94/3)/(30/45)?
False
Let a = -13 + 13. Let s(d) = d**2 + 6. Is s(a) a multiple of 6?
True
Let x = 24 - -8. Is x a multiple of 32?
True
Let m(b) = b - 1. Let j be m(-1). Let k(t) = -12*t - 3. Is 7 a factor of k(j)?
True
Suppose c = -3*l + 9, 1 = 2*c + 3*l - 11. Suppose -c*h + 21 = -0*h. Does 7 divide h?
True
Let s be 3/12 + (-1)/4. Suppose -q + 2*t + 4 = 0, 2*q + 2*t - 26 = -s*t. Is 10 a factor of q?
True
Suppose 4*j = a - 11, 3*j + 11 = -5*a + j. Suppose -l + 25 + 38 = 0. Let c = a + l. Is c a multiple of 19?
False
Let x(l) = -2 - l + 2*l - 5*l. Suppose 0*j - 3*k = 4*j - 3, 22 = -4*j + 2*k. Is 10 a factor of x(j)?
True
Suppose -6 = 5*q - 3*q. Let o be 3 + q + 2 + 0. Suppose -o = 5*h + 8, 4*f = -h + 154. Is f a multiple of 10?
False
Let h = -10 + 12. Let v = h + 25. Is v a multiple of 8?
False
Let t(p) = -3 + 5*p - 3 + 3. Is t(2) a multiple of 3?
False
Is ((-72)/(-96))/((-1)/(-184)) a multiple of 6?
True
Let t = -91 - -195. Is 22 a factor of t?
False
Let j = 120 + -54. Does 21 divide j?
False
Suppose -4*a + 3*l = -0*l - 7, 15 = 5*l. Is 4 a factor of a?
True
Let f = 18 - 13. Suppose -f*l - 7 = 3*g - 1, 6 = g - l. Let i = g + 9. Is 12 a factor of i?
True
Let j = 22 + -20. Is 26 a factor of ((-26)/j)/(2/(-8))?
True
Suppose -2054 = -25*t - 504. Does 3 divide t?
False
Suppose -i - 5*f - 62 = 0, -2*i - i - 162 = 3*f. Let n = -25 - i. Is 9 a factor of n?
True
Is 19 a factor of (-1006)/(-7) - 52/(-182)?
False
Suppose 0*l + 4*b + 33 = 5*l, -5*b - 30 = -4*l. Suppose 3*a - 12 = a + 4*v, 0 = a - 4*v. Suppose -99 = -4*f + 2*n + n, 0 = -f + l*n + a. Does 17 divide f?
False
Let t(h) = -h + 9. Let c be t(9). Suppose -3*d + d = -w - 30, -2*w + 4 = c. Does 8 divide d?
True
Does 44 divide (1 + 98/(-10))*-30?
True
Let j(x) = -11*x**3 + 7*x**2 - 4*x - 3. Let l(u) = 5*u**3 - 3*u**2 + 2*u + 1. Let o(f) = 3*j(f) + 7*l(f). Let b be o(5). Is 11 a factor of b/21 + 4/(-14)?
False
Let b = -52 + 91. Is b a multiple of 13?
True
Let x be (6/2)/(9/15). Suppose -x*p - 2*w = -w - 361, -239 = -3*p + 5*w. Does 27 divide p?
False
Is 20 a factor of (-10 + 0)/((-3)/6)?
True
Suppose 25*w - 30*w + 65 = 0. Is w a multiple of 2?
False
Let d be -1*(0 + 11) + -1. Let u = d - -10. Let c(v) = 6*v**2 + v + 2. Does 12 divide c(u)?
True
Let z(j) = -j**3 - 4*j**2 - j - 2. Let x = -15 + 9. Let r be 10/8*24/x. Does 14 divide z(r)?
True
Let m be 42 - (1 - 4 - 0). Suppose j = -4*j + m. Does 7 divide j?
False
Suppose -3*z = -z - 2*y - 36, 0 = -4*z + 3*y + 75. Does 3 divide z?
True
Suppose 3*w = 25 + 50. Is 2 a factor of w?
False
Let w(s) = 1 - 13 - 6*s**2 + 3 + s**3 + 10*s. Does 14 divide w(6)?
False
Suppose 2*j - 3*u + 12 = 0, 0 = -3*j - 0*j + 2*u - 18. Let i = j - -9. Suppose 20 = i*w - 2*w. Is 10 a factor of w?
True
Let a(o) = o**2 - 2*o - 3. Is 12 a factor of a(15)?
True
Let l(o) = 4*o**2 - o. Suppose k = 2 - 1. Let g be l(k). Suppose g*p = 5*p - 14. Does 2 divide p?
False
Let t = -20 - -41. Let w = t - -2. Let v = -5 + w. Does 18 divide v?
True
Suppose 130 = 32*p - 22*p. Is 3 a factor of p?
False
Let i(b) = 11*b + 1. Let c be i(1). Suppose 3*x - m = -16 - 16, -3*x - 3*m - c = 0. Let w = 1 - x. Is 5 a factor of w?
True
Let b = -4 + 17. Does 2 divide b?
False
Suppose -2*w - 412 = -6*w. Suppose -s = -5*o - 75 + 14, o = -3*s + w. Is 18 a factor of s?
True
Suppose -2*z + 10 = -3*r, 0 = 4*z - 4*r + 8*r. Suppose -o + z*m + 18 = -41, -55 = -o + m. Does 12 divide o?
False
Let v = 7 + 163. Is 6 a factor of v?
False
Let d be 2/(-11) - 6/(-33). Suppose 209 = 5*h + 3*x, d*x + x + 2 = 0. Is 17 a factor of h?
False
Let u be -1*3 + 36 + -5. Suppose -m - m - n = -71, -3*n + u = m. Does 10 divide m?
False
Suppose 2*r - 44 = 4. Suppose -5*j + 11 = -r. Suppose k = a - 15, -3*k + j = 2*a + 2. Does 10 divide a?
True
Let n = -9 + 12. Suppose 3*q + i - 15 = 0, n*q - 3*i - 6 = -7*i. Does 5 divide q?
False
Let r(c) = -7*c + 9. Let v be r(-7). Suppose -v = -2*d - 6. Is 13 a factor of d?
True
Suppose 3*d - 70 = -5*h, 5*h - d - 100 = 2*d. Suppose -k + h = -0*k. Does 7 divide k?
False
Suppose 5*i - 6*w - 575 = -w, 415 = 4*i + 5*w. Is 23 a factor of (-2 - 0)/((-5)/i)?
False
Let h = 24 - 9. Let m = h - 7. Is m a multiple of 5?
False
Let r be (7 - (3 + -3))*-1. Let b(o) = o**3 + 6*o**2 + 4*o + 9. Let l(i) = 2*i**3 + 11*i**2 + 7*i + 18. Let s(u) = 5*b(u) - 2*l(u). Is s(r) a multiple of 8?
True
Is 62 a factor of 2/((-12)/(-9) - 1414/1065)?
False
Suppose -2*d - 10 = 4*m - 9*m, -4*m + d + 5 = 0. Is 21 a factor of 1 + (-80)/(-4) - m?
True
Suppose -3*o = 1 + 8, 2*b + 113 = -5*o. Let p = -20 - b. Does 7 divide p?
False
Let x = 621 + -390. Does 32 divide x?
False
Let m(a) = -7*a - 25. Is 11 a factor of m(-6)?
False
Let n be (-12)/9*15/(-10). Suppose f + 4*y - 57 = -10, n*f - 74 = -4*y. Is f a multiple of 20?
False
Let h(u) = 7*u - 12. Let o be h(9). Suppose 0 = r + 2*r - o. Is r a multiple of 6?
False
Suppose 7*h = 2*y + 3*h - 164, 334 = 4*y - 2*h. Is 7 a factor of y?
True
Let w = 4 + -2. Suppose d = -3*g - d + 17, -w*d = g - 3. Is 7 a factor of g?
True
Let w be (0 + 3)*224/21. Let y = w + -15. Is y a multiple of 10?
False
Suppose 0 = 5*w + 2*c, -2*c + 8 = w - 0. Let j be ((-3)/6)/(w/(-88)). Let a = -16 - j. Does 3 divide a?
True
Let x be (-4)/10 + (-54)/(-10). Suppose -1 + 14 = x*g + i, i - 11 = -4*g. Suppose -2*f = g*f - 24. Is f a multiple of 6?
True
Suppose 2*n = x - 2*x + 92, -n - 2*x = -40. Does 17 divide (-2)/(2*(-1)/n)?
False
Suppose -32 = -h + 11. Is h a multiple of 36?
False
Suppose -5*p - 2*n - 1 - 7 = 0, -3*n - 12 = p. Suppose 0 = -p*f - f + 11. Does 11 divide f?
True
Let b(r) = r**3 + 4*r**2 + 4*r + 3. Let z be b(-2). Suppose 0 = 2*l + 5 + z. Let m = l - -13. Is 8 a factor of m?
False
Suppose 0 = l - 5*l + 4. Let z be 10 - 3 - 2*l. Suppose 2*m - m = z*n + 42, 5*n + 20 = 0. Is m a multiple of 18?
False
Let j(a) = a**2 - 3*a + 37. Is 8 a factor of j(0)?
False
Let p = 96 - 44. Is p a multiple of 26?
True
Let v be (-2)/(-7) + 8/(-28). Suppose v = -3*w + b + 2*b + 102, 2*w = -4*b + 44. Is 27 a factor of w?
False
Suppose z + 2*z - 12 = h, 0 = 5*h - 3*z. Suppose 0 = h*a - 2*k - 188, 6*a + 2*k = a + 324. Is a a multiple of 32?
True
Is (-5)/((-60)/64) + (-1)/3 a multiple of 5?
True
Let c(s) = 8*s. Let l be c(1). Let z = 43 - l. Does 10 divide z?
False
Suppose 2*i = 6*i - 480. Does 20 divide i?
True
Suppose 3*p + 24 = -p. Suppose 0 = 3*c - 4*o + o, 0 = 3*c + 3*o - 18. Is (16/(-4))/(c/p) a multiple of 4?
True
Let o(w) = -w**3 - 8*w**2 - 8*w - 4. Let g be o(-7). Suppose -2*l + 1 = -g*j, -37 = -2*j - 2*j - 5*l. Suppose 40 = j*z + 13. Is 9 a factor of z?
True
Let v(q) = q**3 - 4*q**2 + 2*q - 3. Let u be v(4). Suppose 4*h + 2*o - 10 = 0, 2*h + o = u*h - 5. Is (-5)/(h/3 - 1) a multiple of 9?
False
Let k be (-1240)/(-52) - (-4)/26. Does 5 divide 6/k + 102/8?
False
Let l = -85 - -124. Is l a multiple of 19?
False
Let p(c) = -8*c**3 + 4*c**2 + 5*c + 3. Does 48 divide p(-3)?
True
Let u(l) = -31*l - 3. Let j be u(-2). Let h be (-8)/20 + (-1)/((-20)/8). Suppose o = -2*b - h*o + j, -5*b + 5*o + 155 = 0. Is b a multiple of 15?
True
Suppose 0 = -5*k - 5*p + 225, 3*p + 140 = 4*k - 5. Is k a multiple of 20?
True
Does 17 divide (2044/(-42))/((-4)/30)?
False
Let r(y) = y + 9. Let p be r(-9). Let g = p + 2. Suppose -4*z - z + 130 = 4*q, 2*z + 56 = g*q. Is q a multiple of 15?
True
Suppose -3*u + 57 + 153 = 0. Suppose u = 7*s - 2*s. Let c = s + 21. Is 12 a factor of c?
False
Let p(s) = s**3 - 4*s**2 - 3*s + 4. Let o be p(4). Does 20 divide (117/12)/((-3)/o)?
False
Let k(l) = 0 + 2*l**2 - 11*l**3 - 2 + 2*l - 1. Let y be k(2). Is y/(-7) + 4/(-14) a multiple of 11?
True
Let u be 21/4 + (-4)/16. Suppose a - 2*s + u*s + 5 =