uppose 4*p + 6 - 14 = 0. Suppose -3*m = g - c, -m + 0*m = p*g - 30. Is m a multiple of 12?
False
Let b(o) = -o + 4. Let v be b(3). Let u = 19 - v. Is 9 a factor of u?
True
Suppose -q = -13 - 11. Suppose 5*p - 6*p = -q. Is 12 a factor of p?
True
Let o = -3 + 5. Suppose -o*j + 7 = -65. Is 18 a factor of j?
True
Suppose v = 3*n + 3*v - 110, v = -4*n + 150. Is 11 a factor of n?
False
Let d(w) = w**3 - 13*w**2 + 12. Let f be d(13). Suppose -3*l = 0, -x - 2*l + f = -5*l. Is x a multiple of 5?
False
Suppose -78 = 4*f - f. Let d = f - -54. Is 14 a factor of d?
True
Let m = 13 - -5. Let w = -5 + m. Is w a multiple of 13?
True
Let m = 101 - 72. Is 13 a factor of m?
False
Let s(j) = -j**3 - 7*j**2 - j - 1. Does 6 divide s(-7)?
True
Suppose 5*g = -3*j - j + 459, 2*g = -5*j + 561. Is j a multiple of 32?
False
Let b = -10 - -1. Let a be b/(-2)*6/9. Suppose -q = a*q - 48. Does 6 divide q?
True
Suppose 3*n + 9 - 42 = 0. Is 9 a factor of n?
False
Let u(y) = -2*y**3 - 5*y**2 - 3*y + 4. Is u(-3) a multiple of 22?
True
Let b(k) = k**2 + 3*k - 2. Let o be b(-7). Does 10 divide -2 - (-2 + o/(-2))?
False
Suppose -5*m + 155 = a, -2*m - a = m - 95. Suppose m = v - 6. Is 9 a factor of v?
True
Suppose 5*m = 4*f + 82, 2*m - 4*f + 30 = 5*m. Is m a multiple of 8?
False
Let s(z) = -z**2 + 7*z + 12. Let n be s(8). Does 17 divide 408/n*1/3?
True
Suppose -5*w = 5*z + 25, -4*w = -0*w - 2*z + 2. Let p = -2 - w. Let a(c) = c**3 + c**2 + 12. Is 11 a factor of a(p)?
False
Let h(g) = g**3 + 12*g**2 + 11*g - 11. Is h(-10) a multiple of 10?
False
Suppose -12 = 4*u - 52. Suppose -c + 5*b + 14 + 0 = 0, -2*b = -u. Does 13 divide c?
True
Let i(z) = z**3 + 12*z**2 - 5*z - 16. Let v = 15 - 27. Does 20 divide i(v)?
False
Suppose 0 = 2*l - 5*x + 13, 0 = l + 6*x - 2*x - 26. Suppose -3*z + l + 15 = 0. Does 7 divide z?
True
Suppose 0 = 4*x - 8 - 0. Suppose -3*r + x*r = -26. Is r a multiple of 13?
True
Let u(c) be the first derivative of 7*c**3 - c**2/2 - c + 9. Is 21 a factor of u(-1)?
True
Let y(h) = -h - 1. Let d(s) = 12*s + 1. Let k(i) = d(i) - 3*y(i). Let j be k(4). Let t = j - 35. Does 10 divide t?
False
Let m = 3 - 1. Suppose -4*p = -m*p - 14. Let j = -3 + p. Is 4 a factor of j?
True
Let x = -54 + 92. Does 21 divide x?
False
Let n = 3 - -6. Does 2 divide n?
False
Let l be (1/(-3))/((-2)/174). Let s = l + 9. Does 10 divide s?
False
Let u(d) = 4*d - d**2 - 9 + 5*d + 0*d. Let f be u(6). Let m = f + 0. Does 9 divide m?
True
Let h be (-4 + 1 - -1)/(-1). Let y be 6/9 + 110/15. Suppose i - h = y. Does 4 divide i?
False
Suppose 3*d = -2*c + 5*c - 15, -4*c + 18 = -2*d. Is c a multiple of 2?
True
Suppose 23*c - 7*c = 3776. Is 10 a factor of c?
False
Let m = -5 - 4. Is 3 a factor of (-2)/m - (-52)/9?
True
Suppose 5*g = 5*c - 35, -2*g - 2 = -4*c + 26. Is c a multiple of 7?
True
Let w = 169 + -116. Is 6 a factor of w?
False
Let y = 37 + 14. Suppose -99 - y = -2*n. Is 25 a factor of n?
True
Let m = -4 - -4. Suppose m = 5*a - 2 - 13. Let k(z) = z**2 + z + 4. Is 10 a factor of k(a)?
False
Suppose 2*m - 5 = 5. Does 5 divide m?
True
Is (-15)/(20/(-8) - -2) a multiple of 10?
True
Let k = 145 - 91. Is k a multiple of 9?
True
Suppose -2*r - 393 = 5*f, 0*r - 951 = 5*r + 2*f. Let c = -131 - r. Does 15 divide c?
False
Suppose -4*o = -d - 100 - 66, -4*d - 90 = -2*o. Is 16 a factor of o?
False
Is 34 a factor of (-374 + -2)*(-3)/(24/4)?
False
Suppose 13 + 8 = 5*o - 4*y, -4*o - 2*y - 4 = 0. Let k(a) = 19*a. Does 5 divide k(o)?
False
Let z = 18 + -6. Is z even?
True
Let l(h) = 18*h**2 - 2*h + 4. Is 24 a factor of l(2)?
True
Let y be (36/(-8))/((-2)/(-4)). Let a(f) = f**3 + 9*f**2 - 2*f - 12. Let m be a(y). Suppose m = h + 2. Is h a multiple of 3?
False
Let t = 7 + 0. Suppose -2*w - 100 = -t*w. Suppose -8*h + 3*h = 5*r, 0 = 4*r + w. Is h a multiple of 4?
False
Let z(s) = -3*s - 6. Let g be z(-7). Suppose d = -2*m + 6, g = -m + 3*d + d. Suppose n - 4*u = -2, -2*n + 5*u = m - 6. Is 10 a factor of n?
True
Suppose 7*w = 12*w - 125. Does 5 divide w?
True
Is -8*-1*2/4 a multiple of 4?
True
Let x(i) = 16*i - 1. Suppose -7 = -3*n + 5. Does 20 divide x(n)?
False
Let v = 74 + -44. Suppose c - 187 = -4*u, -2*u + c + c + 86 = 0. Suppose 2*y + 5*p = v, 4*y - p - u = -4*p. Is y a multiple of 5?
True
Let u(s) = -s**3 - 6*s**2 - 6*s + 3. Let z be (-22)/(-6) - 2/3. Let n be -7 + 1 + (z - 2). Does 4 divide u(n)?
True
Let z = -87 + 183. Suppose -3*b - b + z = 0. Is 12 a factor of b?
True
Let q = 12 - 1. Suppose -179 = -5*z - o, 4*o - 43 = -z - q. Let n = z + -26. Does 10 divide n?
True
Let m be (0/(-1))/(4/(-2)). Suppose -2*h + 8 = 0, 28 = 4*f - m*f + 3*h. Is 2 a factor of (f/(-3))/(2/(-3))?
True
Suppose -w + 35 = 1. Is w a multiple of 7?
False
Suppose r = 207 + 10. Suppose r = 4*a + 45. Suppose 5*m = k + 4*k - 90, 4*m = -k + a. Is 16 a factor of k?
False
Suppose -66 = -m + 2. Let k = -29 + 27. Is 20 a factor of (-4)/k + m/2?
False
Suppose -5*f = -f - 104. Does 13 divide f?
True
Let s(g) = 9*g + 5. Is s(5) a multiple of 6?
False
Let m = 21 + 7. Is m a multiple of 28?
True
Let j(v) = -17*v + 67. Does 17 divide j(-7)?
False
Suppose -3 = 4*o - 19. Suppose o*h - 12 = 4*i, 0 = -5*h - 3*i + 2 - 11. Let m(p) = p + 10. Does 5 divide m(h)?
True
Suppose -3*k - 114 = -5*k. Let y = 15 + k. Suppose -y = -2*l - l. Is l a multiple of 14?
False
Let s be 0 + 5 + -4 - 0. Is 14 a factor of s*(-9)/((-9)/22)?
False
Suppose -10 = -3*h - 3*u - u, 2*h - 5*u = 45. Is 10 a factor of h?
True
Let i(n) = 5*n - 3. Let l be i(2). Suppose -z = l - 33. Is z a multiple of 20?
False
Suppose 0 = 4*u - 0*u - 104. Let l = 48 - u. Is l a multiple of 6?
False
Let x be (-2)/(-9) + 669/27. Let z = x - 19. Is 3 a factor of z?
True
Let d = -69 + 205. Does 8 divide d?
True
Suppose 3*s = 2*y - 43, 4*y - 119 = -0*y - 5*s. Is y a multiple of 25?
False
Let a be 5*(1/1 + 0). Let i(k) = 0 - 2*k + 1 - 4 + a*k**2. Does 9 divide i(-2)?
False
Let o(d) = -10*d + 2. Let u be o(-4). Let w = u + 84. Suppose -5*p - 26 + w = 0. Is p a multiple of 6?
False
Let t be 2/(-8) - 3150/(-56). Suppose -3*y - 5*p = -p, 9 = -3*p. Suppose 0 = -2*s + g + t, -s = -0*s - y*g - 42. Is s a multiple of 12?
False
Is ((-90)/25 - -4) + 116/10 a multiple of 6?
True
Let l(w) = 10*w**3 + w**2 - 2*w + 1. Is 5 a factor of l(1)?
True
Suppose -f + y + 6 = -4, 3*f - 30 = -3*y. Suppose 2*t = 0, -5*k + 5*t = t + 20. Let p = k + f. Is 3 a factor of p?
True
Let u(c) = -7*c**3 - 10*c**2 + 3*c + 3. Let z(h) = h**3 + h**2 - h. Let o(j) = u(j) + 6*z(j). Let k be o(-4). Suppose 0 = -3*f + 159 - k. Is 17 a factor of f?
False
Let g = -7 - -9. Suppose -k + 31 = -5*d, d = -3*k - g*d + 57. Does 6 divide k?
False
Suppose 125 = 3*u + 2*u. Does 11 divide u + (-4 - -3 - 2)?
True
Suppose 195 = 3*u + 3*d, u + 5*d = 2*u - 65. Is 13 a factor of u?
True
Let c = -3 + 6. Let n(l) = -1 - c*l + l**2 + l + l. Does 11 divide n(-3)?
True
Suppose -1 = g - 5. Suppose -72 = -5*k + 3*k + 2*n, 0 = g*k - n - 144. Does 19 divide k?
False
Suppose -2*x - 3*x = 10. Let w = x - -4. Suppose -w*s + 4*s - 64 = 0. Does 15 divide s?
False
Let z = 69 - 37. Is 25 a factor of z?
False
Let n(j) = 3*j + 25. Does 7 divide n(6)?
False
Suppose 3*v - t - 76 = 0, 2*v - 5*t + 4*t - 52 = 0. Let l be ((-21)/12)/(2/v). Let b = 53 + l. Is 11 a factor of b?
False
Suppose 4*o - 14 = 10. Suppose 4*s - 2 = o. Suppose s*t = p - 0*p - 15, 2*p = 5*t + 32. Is p a multiple of 4?
False
Let y(h) be the third derivative of h**4/24 + 4*h**3/3 - 2*h**2. Let k be y(-7). Let r = k + 18. Is 10 a factor of r?
False
Suppose 3*s = -s. Suppose 0*j + 2*j - 172 = s. Suppose t - 2*n - j = -t, -5*t + 4*n + 218 = 0. Is t a multiple of 18?
False
Suppose 0 = -s + 4*r - 4, -2 - 1 = -3*r. Suppose 10 = -o - 4*m, o + 2*m = -s*o. Is 10 a factor of o?
True
Let j(w) = -52*w**2 - 7 - 4*w - w**3 + 12*w + 57*w**2. Does 11 divide j(5)?
True
Let a(s) = -5*s**3 - 4*s**2 - 3*s - 1. Let g be a(-2). Suppose g = 2*b - 13. Does 7 divide b?
True
Let p = -10 - -86. Is 15 a factor of p?
False
Is 30 a factor of 3/3 + (-2 - -61)?
True
Suppose -180 = 25*v - 34*v. Is v a multiple of 3?
False
Suppose 0 = -3*n + w + 18, -n + w = 3*n - 25. Suppose -b + 10 = -n. Is b a multiple of 17?
True
Suppose 0*t + 4 = 2*t. Suppose -5*h = -t*o - o - 30, -o = h - 6. Is h even?
True
Let x be (-1 + -13)/((-1)/(-2)). Suppose -5*w = -4*t + 105, 5*w + 2*