 7*g + 2. Suppose -2*l - 2*y - 20 = 0, -l - l = y + 16. Is p(l) a multiple of 3?
False
Let u(f) = -f**3 + 21*f**2 + f + 9. Is 6 a factor of u(21)?
True
Suppose -4*h + 374 = -2*o, o = -4*h + 346 + 25. Suppose 0 = 5*z + 2*q - h, 4*z + 2*q = q + 72. Let m = z + -10. Is 4 a factor of m?
False
Let j = -4 - -6. Let g(n) = 3 + 3*n**3 - n**3 - n**3 - 3*n + 5*n**2 - j*n**3. Is g(3) a multiple of 12?
True
Let j(b) be the third derivative of b**5/4 + b**4/24 + 2*b**2. Let p(g) = -g + 4. Let q be p(5). Is j(q) a multiple of 14?
True
Let g(o) = -56*o. Suppose -c + 5 = -6*c. Does 14 divide g(c)?
True
Suppose -2*j - j - 45 = 0. Let f = -9 - j. Does 9 divide (f/9)/(6/81)?
True
Suppose 4*x = -0*x - 72. Let b = x + 4. Is (b/(-4))/(1/2) a multiple of 7?
True
Let x(g) = g**2 - 32. Does 8 divide x(-12)?
True
Suppose -2*o + 5*o = 0. Let m(c) = 2 + 0 + 1 + c + 15. Does 11 divide m(o)?
False
Let x = 176 + -136. Does 10 divide x?
True
Let o(u) = -u**3 - 2*u**2 - u - 2. Does 3 divide o(-3)?
False
Let y(i) = 5*i**3 - 6*i**2 + 8*i - 8. Let p be y(4). Suppose -p = -x - 3*x + 4*h, -5*x + 304 = -3*h. Is x a multiple of 13?
False
Let g be 36/(-10) - 18/45. Is 7 a factor of (3/g)/((-5)/120)?
False
Let c(q) = 2*q**3 - 6*q**2 - 7*q - 1. Let j be c(6). Is 21 a factor of 1/3 - j/(-3)?
False
Let a be 80/15*(-3)/2. Let l(h) = -7*h - 2. Is l(a) a multiple of 13?
False
Suppose 3*t = o + 3 + 1, 0 = 3*o - 3*t. Let d = 1 + o. Suppose -4*z + 5*m + 30 = -16, d*z - 4*m = 35. Is z a multiple of 9?
True
Let i(x) = x**3 - 10*x**2 + 9*x + 7. Let m be i(9). Suppose 4*b - 5 = -4*t + m, -3*t + 3 = 0. Is (-2 - -1 - b)*-5 a multiple of 6?
False
Let d(n) = 3*n**2 + 3*n + 8. Is d(4) a multiple of 17?
True
Let c = -131 - -172. Is 21 a factor of c?
False
Let m = -4 + 20. Suppose 4*i - 28 - m = 0. Does 9 divide i?
False
Suppose -317 = 3*j + t, -4*t - 314 = 3*j - 0*t. Let c = 159 + j. Is 20 a factor of c?
False
Let o be (-42)/(1 + -2 + 2). Let r = 64 + o. Is r a multiple of 11?
True
Let g(f) = 4 + f**3 - f**3 + f**3 + f + 0*f**2 - f**2. Let i be g(0). Suppose i*v = 150 + 10. Is v a multiple of 22?
False
Suppose 9*q - 4*q - 57 = -o, o = 5*q + 7. Is 4 a factor of o?
True
Suppose 5*b = -k - k + 82, -4*k - 5*b = -154. Does 12 divide k?
True
Suppose 0 = 3*t + 3, 4*t + 49 = -m - 7. Let g = m - -74. Is g a multiple of 11?
True
Is (-6)/12*(-33 - (1 - 2)) a multiple of 3?
False
Suppose 5*t - 20 - 16 = 4*r, -4*t = -r - 31. Suppose -t*i = -3*i - 30. Suppose 0 = j + i - 17. Is j a multiple of 10?
False
Let m(p) be the first derivative of p**2 + 3*p - 4. Is m(5) a multiple of 5?
False
Let m = -8 - -13. Let r be 16/(-6)*(-2 + m). Let o = r - -31. Is 13 a factor of o?
False
Let u(b) = 32*b - 9. Let p be u(5). Let r = -61 + p. Does 15 divide r?
True
Suppose -n - 10 = -3*y, 4*n + 4 = y + 2*y. Suppose -t = -y*a + a - 6, 38 = 3*t + a. Does 4 divide t?
True
Is 34 a factor of 272/(-6)*(-9)/4?
True
Let g(m) = -m**2 + 11*m - 6. Let a be (-1 - -29) + 2/(-2). Suppose -l = -5*n - 9, -5*n - 18 - a = -5*l. Does 6 divide g(l)?
True
Let j be -6*((-1)/2 - 0). Let r(l) = l**3 - 5*l**2 + l. Let q be r(j). Let v = q + 42. Does 19 divide v?
False
Let n(g) = -g + 6. Let p be n(4). Suppose 4*c = p*z + 80, -c + 3*z + 7 = -13. Suppose -3*f + 8*f - c = 0. Is 4 a factor of f?
True
Let g be 3/(-2)*12/(-9). Suppose -g*m = -m - 5. Is (2/(-2) - -4)*m a multiple of 10?
False
Suppose 4*p - 208 = -4*q, -5 - 5 = -5*p. Does 11 divide q?
False
Let z = -94 - -134. Does 12 divide ((-45)/(-20))/(2/z)?
False
Suppose l - 44 = 3*a, 2*l - l + 2*a - 59 = 0. Does 9 divide l?
False
Let c be (-4)/(-6)*-3 + 40. Let p = -18 + c. Does 13 divide p?
False
Let s(p) = -p**3 - 7*p**2 - 16*p - 20. Is 10 a factor of s(-6)?
True
Suppose 2*h + 4*f = 100, -f - 2 = -2*f. Does 11 divide h?
False
Let w(t) = -2*t**3 + t**2 - 4*t - 3. Let r be w(-2). Let p = r - 19. Is 5 a factor of p?
False
Let p(n) = 6*n**2 + 1. Let v = 0 - 1. Is 6 a factor of p(v)?
False
Suppose i + 180 = 10*i. Is i a multiple of 8?
False
Let u be (-7 + 2)*(-2)/2. Is 3 a factor of 2*u - (-3 + 5)?
False
Let a(h) = h**2 + 12*h + 2. Let r be a(-12). Suppose 0*k - r*k = -4. Is k even?
True
Let f(p) = -p**3 + 2*p**2 + 4*p. Let v be f(3). Suppose -v*w + 23 = s, 3*s = 2*s + 2*w + 18. Is 13 a factor of s?
False
Let d(i) = 1. Let t(h) = -h + 1. Let r(b) = -4*d(b) + t(b). Let o be r(-8). Suppose -3*x = -o - 67. Is x a multiple of 11?
False
Let s be (-459)/(-12) - (-9)/12. Suppose 5*v + 15 = 0, 3*a - s = a - 3*v. Does 8 divide a?
True
Let s = -10 + 8. Does 15 divide ((-34)/(-2) + s)/1?
True
Suppose 5*h = -4*g + 37, h = 6*h - 25. Suppose 0 = -g*j + 6*j - 126. Is 14 a factor of j?
True
Let a(l) = l**3 + 7*l**2 + 4*l - 6. Let i(s) = s**3 - 5*s**2 - 6*s - 6. Let p be i(6). Is 3 a factor of a(p)?
True
Let y(q) = 2*q**2 - 2*q + 8. Let c be y(-6). Let x = 133 - c. Suppose 4*d + d = -5*w + 95, -4*d = -3*w - x. Does 9 divide d?
False
Let z = -125 + 152. Is z a multiple of 2?
False
Let g = 64 + -16. Does 16 divide g?
True
Let k(o) = 7*o + 9. Does 18 divide k(11)?
False
Suppose -16 = -3*r + 44. Does 4 divide ((-48)/r)/((-3)/10)?
True
Let a be 114/22 + (-6)/33. Suppose 0 = -2*h + 5*h - 3, -d = a*h - 17. Is 12 a factor of d?
True
Suppose -2*a + 4*a - 16 = 0. Suppose a = 3*l - 2*l. Is l a multiple of 5?
False
Let n be 8/8 + 0 + 0. Suppose -2*s + 3*z + 2*z = -39, z - n = 0. Is s a multiple of 6?
False
Let d(r) = -1 - 6*r + 0*r + 5*r + 6*r. Does 10 divide d(5)?
False
Let t be (125 - -1) + 26/(-13). Let l = -61 + t. Is 13 a factor of l?
False
Let z = -1 - -10. Let c = z + 9. Is c a multiple of 15?
False
Suppose 5*h + 4 = -16. Let r be 4/14 - 234/(-14). Let u = h + r. Does 5 divide u?
False
Let j = 1 - -7. Is (-4)/j + (-234)/(-4) a multiple of 23?
False
Suppose -t = -4*t - 24. Does 12 divide (-528)/(-42) - t/(-14)?
True
Let k(n) = 2*n**2 + 3*n + 1. Suppose c + 6 = 2*h, -2*h - 3*c + c + 6 = 0. Is 19 a factor of k(h)?
False
Suppose 3*w - 6 = -0*w. Suppose 0 = -4*j - w + 74. Is 8 a factor of j?
False
Suppose -3*m - 28 = b, 0 = -2*m + m + b - 4. Let r(j) = -j**2 - 11*j - 2. Is 8 a factor of r(m)?
False
Suppose 125 = -2*p + 7*p. Suppose -5*j - 2*c - p = -145, -3*j = -4*c - 72. Is j a multiple of 7?
False
Let n = -7 + 15. Suppose r = -3*p - 196, 0 = -2*p - 3*r - 118 - n. Let t = -44 - p. Does 11 divide t?
True
Let x(l) = -l**2 + 7*l. Let o be x(6). Suppose 2 + o = 4*u. Let m = u - -2. Is m a multiple of 2?
True
Suppose 0 = -w - 15 + 3. Is (-18)/w*(6 - 0) a multiple of 9?
True
Is 126/5 + 3/(-15) a multiple of 5?
True
Suppose 3*z - 2 = 4. Suppose -22 = -5*x - 0*x - 3*i, z*i + 2 = 0. Suppose -2*s = -5*m - 39, m + 108 = x*s - m. Is s a multiple of 11?
True
Suppose 6*a - 20 = a. Suppose a = -4*q + 5*q. Suppose 0 = 3*j + 9, 34 = 2*o - q*j - 22. Is o a multiple of 8?
False
Suppose 3*m - 2*m - 15 = -4*f, -5*m + 5*f + 50 = 0. Is m a multiple of 2?
False
Suppose l = 2*y - 0*l + 109, 3*y - 2*l = -162. Let t(k) = 37*k - 5. Let v be t(3). Let u = v + y. Does 19 divide u?
False
Let s = -10 + 16. Suppose -t = -s - 0. Does 3 divide t?
True
Let g(o) = 19*o**2 + o + 6. Does 16 divide g(-2)?
True
Suppose 0 = 2*o + 3*o - 20. Suppose -5*m - 185 = -o*r, 140 = 2*r + 2*r + 4*m. Is r a multiple of 15?
False
Let t be -3 - (0 - 3) - 26. Let c be (1 - 2)*2*t. Suppose 2*i = -2*o + c, -3*i + 43 = -i - o. Is i a multiple of 13?
False
Let i(t) = -13*t**2 - 2. Let u be i(-2). Let w be (u/8)/(4/16). Let r = -10 - w. Does 17 divide r?
True
Let l(t) be the third derivative of t**4/24 - t**3 + 3*t**2. Let w be l(3). Is 4 a factor of (-34)/w - (-12)/18?
True
Let k = 90 - -45. Is 15 a factor of k?
True
Let i(y) = -y**2 - 2*y + 3. Let c be i(-3). Let z be c + -5 - (-1 + -1). Is (0 - (9 + -2))*z a multiple of 14?
False
Let o be (8/6)/(3/(-9)). Let l = o + 8. Suppose 50 = r + 3*b, 5 = r - l*b - 17. Does 13 divide r?
False
Let r(z) be the third derivative of 5/6*z**3 + 1/12*z**5 + 2*z**2 + 0*z + 1/120*z**6 + 0 - 1/8*z**4. Does 10 divide r(-5)?
True
Suppose 4*l - 4*j - 17 = 79, -5*l + 104 = 3*j. Does 7 divide l?
False
Suppose 7*n = 2*n - 3*u + 117, -5*n + 5*u + 125 = 0. Does 9 divide n?
False
Let s be (-2)/4 - 582/(-4). Suppose -4*j + 111 = -s. Suppose u - 3*y = 23, 0*u - 5*u = 2*y - j. Is 7 a factor of u?
True
Suppose 3*g - 112 = 2*y, -g = 4*y + y - 26. Is g a multiple of 18?
True
Sup