ppose 2*p = -4*r + 29 - 5, p - 2*r + 4 = 0. Suppose -p*l + 330 = l. Does 32 divide l?
False
Suppose 9 = s + 2*s. Suppose -27 = -4*w - s. Is 21 + w - (-1 + 1) a multiple of 13?
False
Let c = 32 + 1. Is (-1768)/(-44) - 6/c a multiple of 13?
False
Let x = 243 - 128. Does 23 divide x?
True
Suppose 0 = l - 2*f - 28, 0*l + l - 37 = 5*f. Let w = 12 + l. Is w a multiple of 17?
True
Let r(q) = q**3 + 3*q**2 - 2*q - 4. Let z be r(-3). Let i(x) = 1 - x + 2*x**2 - x + 2*x**z. Is 3 a factor of i(1)?
True
Let t = -3 - -8. Suppose -p - 4*p = -25, t*p - 9 = 2*l. Does 5 divide l?
False
Suppose -2*h + 181 = 5*j, h - 3*j = 4*h - 294. Let x = -47 + h. Is x a multiple of 14?
True
Let u be -5 + 3 + 33 + 1. Let z = -26 + u. Is 2 a factor of z?
True
Suppose r - 29 = -2*y, 8*r = 3*r + y + 156. Is 10 a factor of r?
False
Is 4 a factor of 3 + (-63 - 2)/(-5)?
True
Let m = 10 + -14. Is (-51)/(-1) + m + 1 a multiple of 16?
True
Let u(x) = x**2 + 3*x - 22. Is u(-9) a multiple of 8?
True
Let r(t) be the first derivative of -t**3/3 - 6*t**2 + 9*t - 2. Is 14 a factor of r(-9)?
False
Let z = 10 + -8. Suppose -2*f = z*f - 32. Is f a multiple of 4?
True
Let v(p) = -31*p**3 + p - 2. Let j be v(3). Is 13 a factor of j/(-14) - (-4)/14?
False
Does 29 divide 27/(-1 - 23/(-20))?
False
Let b(u) = 10*u - 6. Let v(f) = 11*f - 6. Suppose 0 = -4*k + 4 - 28. Let o(r) = k*b(r) + 5*v(r). Is o(-6) a multiple of 12?
True
Suppose c + 15 - 493 = -4*o, 4*o = -5*c + 470. Suppose -q + o = 4*q. Is q a multiple of 12?
True
Let u = 4 + 32. Suppose 3*b + 5*d + 11 = 2*b, -4*b + 3*d = -25. Suppose 0 = c + c + b*j + 2, 2*j + u = 4*c. Is 4 a factor of c?
False
Let d = 112 - 67. Does 15 divide d?
True
Suppose 0 = a + 4*u - 244 - 25, -2*a = 2*u - 544. Is a a multiple of 39?
True
Let w(y) be the third derivative of 7*y**4/24 + y**3/6 - 6*y**2. Does 25 divide w(10)?
False
Suppose -3*w = -c + 59, -269 = -5*c + w - 44. Is 3 a factor of c?
False
Suppose -5*y + 1648 = -0*d + 2*d, d - 332 = -y. Is 40 a factor of y?
False
Suppose 0*h = 5*h. Suppose h = -4*k + 5 + 23. Is 6 a factor of k?
False
Let s = 44 - 94. Let i be (1 + s)*(2 + -3). Suppose i = 3*q + 7. Is q a multiple of 14?
True
Suppose 0 = -14*p + 6*p - 40. Let h(g) be the third derivative of g**6/120 + g**5/12 - g**4/6 + 2*g**3/3 - g**2. Is h(p) a multiple of 12?
True
Let f be (6/4)/(6/32). Let i(q) = -q**2 + 8*q + 2. Let m be i(f). Suppose y - 4 = 0, o - 4*y = -m*o + 101. Does 13 divide o?
True
Is (370/(-15))/((-2)/3) a multiple of 6?
False
Let i(a) = -9*a - 1 + a - a. Does 9 divide i(-4)?
False
Suppose -2*h + 4*h = -6. Let n be h/(-6) - (-5)/2. Suppose 75 = 7*l - 2*l - 5*r, -n*r + 45 = 2*l. Is l a multiple of 8?
False
Does 4 divide (-352)/11*(-1)/2?
True
Suppose 0 = -4*y + 1 + 3. Let k be (1 + 0)/y + 2. Let f(b) = b**3 - b - 4. Does 17 divide f(k)?
False
Suppose 2*b + 2*b = 44. Does 11 divide b?
True
Let f be (0 - -1)/(6/138). Let v = 41 + f. Is v a multiple of 13?
False
Suppose -3*u + 40 = 2*u. Is 4 a factor of u?
True
Let x(f) = f**3 + 11*f**2 - 15*f + 8. Let r be x(-12). Suppose -i = i - r. Is i a multiple of 8?
False
Let h = -9 + 21. Is 12 a factor of h?
True
Suppose 3*q + 9 = 3. Let b = 19 + q. Is 17 a factor of b?
True
Let w = 14 + 5. Is 13 a factor of w?
False
Let y = -5 - -5. Suppose -5*w = 3*n, y*n = 4*w + 4*n. Suppose 3*l - t - 35 = w, 0 = -l + 6*l + 4*t - 30. Does 5 divide l?
True
Suppose 46 = 2*q + a - 131, 2*q - 168 = -4*a. Is 18 a factor of q?
True
Let y(a) = a**2 + 4*a. Let t be y(-5). Suppose -4*v - t*d = v - 100, -2*d = -v + 5. Does 13 divide v?
False
Let j be 33/15 - 1/5. Let d = 6 + 2. Suppose -j*f + d = -f. Is f a multiple of 5?
False
Suppose 2*f - 30 = 2*p, 3*f - 5*p - 5 = 5*f. Suppose -j + 6*j = f. Is j a multiple of 2?
True
Let a be (-1)/1 + (-99)/(-3). Let l = -17 + a. Suppose -5*i + 96 = 4*o, 0 = i + 5*o - 0*o - l. Does 10 divide i?
True
Let i = -10 + 10. Suppose i = -5*d - 3*q + 103, 0*d + 2*d = 3*q + 58. Suppose 3*l = 2*l + d. Is 13 a factor of l?
False
Let w = 241 + -134. Is 4 a factor of w?
False
Suppose 5*k = -20 - 50. Let a be (k/4 - -2)*-2. Suppose 42 = a*o - 6. Is o a multiple of 8?
True
Let x(z) = -z - 5. Is x(-17) a multiple of 4?
True
Suppose 4*h = -n + 21, n + 2*h = -h + 21. Suppose 3*m = y + 25 - 4, 5*m + 3*y = n. Suppose 0 = -4*d + 2*x + 102, 5*d - m*x = -x + 120. Does 13 divide d?
False
Suppose t = -3, t - 85 = -2*b - 2*b. Is b a multiple of 11?
True
Suppose 0 = -3*i - 0*p - 4*p + 32, -5*p = -25. Suppose m = 2*r + 13, -r = 5*m + i*r - 5. Is m a multiple of 2?
False
Suppose -3 + 11 = 4*r + 4*l, -3*l - 26 = -5*r. Does 5 divide 2 + (r + 2)/2?
True
Suppose -2*o = 2*o - 184. Suppose s - 145 = 2*r - 4*r, -5*s = 15. Let t = r - o. Is 14 a factor of t?
True
Let u(c) = 5*c + 0*c - 2*c**2 + 6*c**2 - 4*c. Does 3 divide u(-1)?
True
Suppose 69 = -c + 4*c. Is c a multiple of 10?
False
Let s(i) = -2*i**2 - 4*i + 4. Let c(z) = 5 - 16*z + 6 + 4*z - 3*z**2 - 2*z**2. Let h(k) = 6*c(k) - 17*s(k). Does 16 divide h(-3)?
False
Let i(z) = -z**2 + 12*z - 5. Let o be i(6). Let m = o + 20. Does 17 divide m?
True
Suppose -5*k - 10*k = -165. Is k a multiple of 11?
True
Let w(r) = -r**3 + 5*r**3 - 3*r**2 + 2 - 3*r**3 + 3*r. Is w(3) a multiple of 5?
False
Suppose 83 = h + b + 2*b, -h - b + 81 = 0. Suppose -4*z + h = 5*t + 8, z - 15 = -t. Is 12 a factor of t?
True
Suppose -3*k = 3*p + 2*k - 114, -5*p = k - 168. Does 13 divide p?
False
Let q(d) = 17*d**2 + 4*d - 3. Let r be q(2). Let b = 26 + -60. Let c = b + r. Is c a multiple of 14?
False
Let p be 8/(-32) + (-637)/(-4). Let m = p - 96. Is m a multiple of 21?
True
Suppose -y + 27 = 7. Is 11 a factor of y?
False
Does 8 divide (204/(-10))/(16/(-40))?
False
Is 245/20 - (-2)/(-8) a multiple of 6?
True
Let g(o) = 4*o**3 + 4*o**2 - 2*o + 6. Let m(w) = -5*w**3 - 4*w**2 + 2*w - 7. Let r(h) = 4*g(h) + 3*m(h). Does 3 divide r(-4)?
False
Suppose 3*h + 0*h - c = -202, -3*h + 2*c = 197. Let o = h - -135. Does 22 divide o?
True
Suppose -4*v + q + 67 = -114, 2*v - 103 = 3*q. Is v a multiple of 22?
True
Suppose 0 = 2*x + 5*u - 286 - 11, -2*x - 2*u = -282. Suppose 4*n - 3*f + f = x, 3*f = n - 24. Is n a multiple of 18?
True
Is 18 a factor of 48/3*4 - -4?
False
Let m(u) = 12*u - 6*u**2 + 3*u**3 - 8*u + 2 - 2*u**3. Let d be m(6). Suppose 34 = 5*l - d. Is l a multiple of 12?
True
Let v(z) = -z**3 - 4*z**2 - 3*z + 3. Does 21 divide v(-7)?
False
Let j = -350 - -685. Let c be (-2)/8 - j/20. Let b = c + 32. Is 7 a factor of b?
False
Suppose 0 = -2*s - 0 - 4, 0 = -2*k + 3*s + 6. Suppose z - 19 + 4 = k. Is 15 a factor of z?
True
Suppose -u = -6 - 4. Suppose -s + 6 = 2*h - 0, 4*s = -h + u. Suppose -s*y + 2 + 8 = 0. Is 5 a factor of y?
True
Let p(h) = h**3 - 6*h**2 + 6*h + 6. Let k be p(5). Let g = k - 7. Suppose 4 = g*v - 64. Is v a multiple of 6?
False
Let j(o) = -4*o + 2. Suppose -23 = -k - 9. Let m = 8 - k. Is j(m) a multiple of 13?
True
Let h(p) = 2*p**2 - 11*p + 10. Let j be 7/(1*(3 - 2)). Let v be h(j). Let c = -13 + v. Is c a multiple of 9?
True
Let o = -108 + 202. Let r = o - 46. Does 12 divide r?
True
Is 29 a factor of ((-10)/15)/(4/(-870))?
True
Let d = -2 - -8. Suppose -d*b + b = -130. Is 13 a factor of b?
True
Suppose -2*c + 6 = 4*u, -3*c + c + u = -16. Let o = c - 2. Suppose 2*a + 14 = -5*z + o, -21 = -3*a + 4*z. Is a a multiple of 3?
True
Let m = 7 + -4. Suppose 8*k - 115 = m*k. Does 10 divide k?
False
Is 78 + 3/(5 - 2) a multiple of 22?
False
Let u(k) = -3*k. Let c be u(-1). Suppose j - 2*n = -404, -6*n = j - n + 432. Is 7 a factor of c/(-5) + j/(-20)?
False
Suppose -5*z + 65 = 25. Is z a multiple of 8?
True
Let b(d) = d**2 - d - 1. Let f(a) = -3*a**2 + 2*a + 3. Let h(z) = -8*b(z) - 3*f(z). Let l be h(-3). Suppose 0 = -x + 1 + l. Is 2 a factor of x?
False
Suppose -h = -0*h - 2. Does 17 divide (4/(-8))/(h/(-68))?
True
Let g(z) = 13*z - 2. Let m be g(-2). Let l = -1 - m. Let a = 38 - l. Does 4 divide a?
False
Let g = -3 + 6. Suppose 1 = g*h + 4. Is 6 a factor of 0 + (h - 2) + 18?
False
Let u(k) = 75*k - 1. Let f be u(1). Let l = f - 44. Is l a multiple of 6?
True
Let i be (4*4 - 2)/(-1). Does 9 divide 2 + -4 + (-2 - i)?
False
Let j = -4 - -1. Let m = j - 1. Is ((-2)/m)/(3/102) a multiple of 11?
False
Let t(i) = 8*i**2 - 1. Is t(-1) a multiple of 2?
False
Let t be 1 - 3/(1*-3). Let a be ((-1)/(-3))/(t/12). Is a