k**2 - 11*k - k**3. Is 15 a factor of f(13)?
True
Let o(a) = 219*a**2 + 4*a + 2. Does 15 divide o(-1)?
False
Suppose -32 = -4*z - 4*q, 2*q + 16 + 52 = 5*z. Let p(m) = -z*m - 2*m + 5*m - m**2 - 6 + 0*m. Does 5 divide p(-5)?
False
Let x be ((-2101)/(-22) + 2/4)*-3. Let m = x + 468. Does 18 divide m?
True
Let h(p) = -31*p + 6*p**2 + 6 - 11*p + 60*p. Is h(-4) a multiple of 5?
True
Let v(f) = f**2 + 6*f + 12. Let d(l) = 2*l**3 + 9*l**2 - 7*l - 1. Let c be d(-5). Is 21 a factor of v(c)?
True
Let m be (-15)/(-6) - (-1)/(-2). Suppose 2*h + 317 = 5*r, 5*r + 3*h - 4*h = 316. Suppose 0 = m*f + f - r. Does 15 divide f?
False
Suppose -54 + 50 = -2*b. Suppose 2*c - 156 = -2*o, b*c - o + 104 - 260 = 0. Let m = c + -35. Is 16 a factor of m?
False
Suppose 2*d + 62 = 2*w, 4*w + 0*w - 2*d = 132. Suppose -6*q = -5*q + 3*i - w, 2*q + 2*i = 54. Does 5 divide q?
False
Let k(m) = -3*m**3 - 2*m**2 - m. Let y be k(-1). Suppose y*j - 5*a = -2, 2*j - 5*j = -5*a - 2. Suppose -46 - 2 = -j*b. Is 7 a factor of b?
False
Is 42 a factor of 275 + 7*(-12)/(-42)?
False
Let z be 1622/8 - 7/(-28). Suppose 5*c - 52 = z. Suppose -8*u + c + 157 = 0. Is u a multiple of 11?
False
Suppose -13*a = -712 - 2148. Is a a multiple of 37?
False
Suppose 5*s + 2*j - 6*j + 218 = 0, 2*s = 2*j - 88. Let w = 43 - 47. Is 1/((w - -2)/s) a multiple of 7?
True
Let a = 184 - 77. Suppose -2*j + 5*g + a = 0, 5*j + g - 204 = 77. Is 14 a factor of j?
True
Suppose -10 + 66 = -4*k. Let d = 31 + k. Does 9 divide d?
False
Suppose 3*z - 272 = 70. Let g = z + -3. Does 18 divide g?
False
Suppose -w + 5*h - 214 = 0, -4*h - h - 184 = w. Suppose 2*i - 5*q + 189 = 0, 4*q - 396 = -2*i + 6*i. Let m = i - w. Is m a multiple of 29?
False
Let c be 259/28 - (-2)/(-8). Let z = c - 9. Suppose z*x - x = -28. Is x a multiple of 14?
True
Let x(h) = -2*h + 12 + h**3 + 4*h**2 - 16 + 0*h - 2*h. Is 11 a factor of x(-4)?
False
Is (-2 - 1*(-1 - 2))*229 a multiple of 44?
False
Suppose -5*c - 294 = -6*c. Let h = -196 + c. Does 7 divide h?
True
Let n(j) = -j**3 - 2*j**2 - j + 6. Let u be n(3). Let a = -60 - u. Does 5 divide 81/a*6/(-1)?
False
Let c = -23 + 40. Let g = 7 + c. Does 23 divide 69/2*g/18?
True
Suppose -8 + 33 = 2*s + 5*n, -2*s - 2*n + 10 = 0. Is -2*(s + 2) + 44 a multiple of 20?
True
Suppose 2*r - 264 = 3*k, 5*r + k + 2*k = 660. Let u = r - 1. Is 24 a factor of u?
False
Suppose -y + 1656 = -5*y. Is y/(-99) - (-2 + (-24)/(-11)) a multiple of 4?
True
Let x = 810 - 410. Is x a multiple of 40?
True
Suppose 5*c = 2*p + 15, -10 = -0*c + c - 3*p. Suppose 0 = -2*m + c*j + 26, 3*m - 3*j = -4*j + 39. Is m a multiple of 2?
False
Let z(s) = 11*s + 31. Let j be z(16). Suppose 0 = 2*r + 2*r. Suppose -5*h + 747 - j = r. Is h a multiple of 27?
True
Suppose n - 17 = -12. Suppose -l + n = -0*l. Suppose 2*a - l*d = 49, 2 + 2 = 4*d. Is 9 a factor of a?
True
Let w be (2 + -1)/(2 + -1). Let q = -168 + 183. Does 5 divide (-3 + q)/w - -3?
True
Let m(j) = 8*j - 90. Is m(19) a multiple of 25?
False
Let u(i) = -14*i + 6. Suppose 5*k + 21 + 3 = 2*f, -3*k - 4*f = 4. Let p(q) = -q - 1. Let a(d) = k*p(d) - u(d). Is a(1) a multiple of 3?
False
Let k = -104 + 44. Let g = -3 - k. Is g a multiple of 25?
False
Is 3/(-9) + -1682*(-7)/42 a multiple of 31?
False
Suppose -16*c + 25*c = 1584. Is c a multiple of 4?
True
Let i(k) = 2*k**2 - 21*k - 14. Is 61 a factor of i(-9)?
False
Let r(t) = 21*t + 5. Let f be r(-3). Let b = -31 - f. Suppose 0 = 2*o - b - 25. Is o a multiple of 14?
False
Suppose 1198 + 172 = 5*l - 2*p, -5*p - 251 = -l. Suppose -5*z + x + 31 + 912 = 0, 3*z - 4*x - 576 = 0. Let i = l - z. Is i a multiple of 36?
False
Let w be ((-4)/(-8) - 1)*-38. Let q = w + -9. Is q a multiple of 10?
True
Let c be (137/3)/1 + (-4)/6. Let o = c - -31. Does 19 divide o?
True
Is 40 a factor of (1/3)/((-2)/(-2 - 4012))?
False
Let w(s) = 82 - s + s**3 - s**3 + 0*s + s**3. Is 27 a factor of w(0)?
False
Suppose -r = -3*r + 2*o, 4*r = -2*o. Suppose -3*l = -r*l - 105. Is 16 a factor of l?
False
Let p(d) = 4*d - 1. Let z be p(1). Suppose 0 = g - z*g - 4. Let f = g - -27. Is f a multiple of 6?
False
Is 9 a factor of ((-350)/28 - -12) + 669/2?
False
Let v = 38 - -34. Suppose 6*z - 8*z = -v. Is z a multiple of 4?
True
Suppose 2*s = 5*f + 7*s, 0 = -5*s + 10. Let m be f + (-4)/1 + 206. Suppose 7*u = 2*u + m. Does 20 divide u?
True
Let y = -28 - -186. Is 11 a factor of y?
False
Suppose -3*m + 16638 = -6*g, 3*g - 6*g + 5526 = m. Is m a multiple of 19?
False
Suppose 17*p = 4*p. Is (12 - p) + (0 - -2)*-1 a multiple of 10?
True
Suppose 4*f + 139 - 55 = -g, 0 = g - 5*f + 120. Let t(b) = -b**2 + 2*b - 6. Let j be t(-6). Let n = j - g. Does 11 divide n?
False
Let g(z) = 41*z + 5. Let r(o) = -42*o - 4. Let b(x) = 6*g(x) + 5*r(x). Does 7 divide b(2)?
False
Suppose 0 = 2*u + 16 - 246. Does 5 divide u?
True
Suppose -27*x = -76*x + 61152. Does 96 divide x?
True
Let p(l) = -2*l**3 - 18*l**2 + 10*l + 7. Does 7 divide p(-11)?
False
Let w = 3412 + -2290. Is 11 a factor of w?
True
Let a = -55 - -220. Does 13 divide a?
False
Suppose -3*z + 9 = -3*f, 0 = 3*f - 2*z + 2 + 2. Suppose -f*g = -3*g + 48. Let t = g + -32. Does 5 divide t?
False
Let m = -11 + -9. Is 5 a factor of (-92)/m + 2/5?
True
Suppose -2*m - 10 = -4*r, 0 = 5*r - 4*m - 0*m - 14. Suppose -2*w - 118 = -2*g + r*w, -g + 49 = -4*w. Does 19 divide g?
False
Let i(k) = k**3 - 14*k**2 + 32*k - 136. Is 15 a factor of i(17)?
True
Let b be 4/10 - (-84)/15. Suppose b*n = 4*n - 6. Is 13 a factor of -51*((-1)/n - 1)?
False
Suppose -11*s = s - 120. Is 12 a factor of (-201 - (s + -7))*(-1 + 0)?
True
Suppose u + 2 = -2*c, 5*u + 27 - 3 = 4*c. Suppose 0*y = -3*s - 4*y - 38, 0 = 3*y + 15. Is 10 a factor of u/s + (-88)/(-3)?
True
Let k(p) = -p**3 - p**2 + p - 1. Let a(l) = 4*l**3 + 7*l**2 + 8*l + 7. Let s(h) = -a(h) - 3*k(h). Is 18 a factor of s(-6)?
False
Suppose 3*x - 2*z - 2648 = 0, 4*x - 8*x - 3*z + 3525 = 0. Is x a multiple of 46?
False
Does 2 divide (-1194)/(-2587) - (-826)/13?
True
Suppose 22 = 5*p + 2. Suppose 4*x = -2*k - 24, -6*x + 61 = -p*k - x. Let v = k + 75. Is 13 a factor of v?
False
Let i = 23 + -18. Suppose -15 = -i*q + 10. Suppose 180 = 3*h - 0*h + 3*x, 0 = -4*h + q*x + 240. Is 17 a factor of h?
False
Let r(t) be the third derivative of -t**5/60 - t**4/8 + 5*t**3/6 + 11*t**2. Let a be r(2). Let h(v) = -5*v - 9. Is 16 a factor of h(a)?
True
Suppose 4*r - 8393 = -1669. Is r a multiple of 41?
True
Suppose 47 = 3*r + 2*y, 22 - 83 = -3*r + 5*y. Suppose n - r = -4*d, d - 2*n - 5 = -3*n. Suppose 31 = d*u - 1. Does 3 divide u?
False
Let h(t) = -t - 12. Let x be h(-5). Let u(p) = 0 - 3 - 9*p - 1. Is u(x) a multiple of 14?
False
Let o(u) = -30*u**3 - 3*u + 22*u**3 + 36 - 24 - 14. Let s be (4/(-6) - 0)*3. Is 24 a factor of o(s)?
False
Let c(k) = 3 + 0 - 6*k - k**2 + 3 + 3*k**2. Is c(3) a multiple of 2?
True
Let w = -15 + 18. Let f = -13 - w. Is 0/1 + -1 - f a multiple of 4?
False
Let c be ((-20)/(-15))/((-8)/6 + 1). Is 25 a factor of (c/(-2))/(((-8)/100)/(-1))?
True
Suppose 3*c + 167 = 32. Is 11 a factor of (c/36)/((-1)/44)?
True
Suppose 4*x + 20 - 32 = 0. Suppose -x*c + 211 = -v, -v + 65 = c - 4*v. Is c a multiple of 6?
False
Let j(d) = 60*d + 660. Does 144 divide j(13)?
True
Suppose 2*x - 2*z = -z + 4268, -5*x + 10685 = 5*z. Let b be (-1)/4 + x/28. Suppose 5*g - 3*g = b. Does 8 divide g?
False
Suppose 2*h + 7830 = 5*m + 4*h, 5*h = 3*m - 4729. Suppose -2*t + m = 5*t. Does 14 divide t?
True
Let n(q) be the third derivative of -10*q**2 + 0 - 7/6*q**3 + 0*q - 13/12*q**4. Is 21 a factor of n(-4)?
False
Suppose -3*b - 3 - 3 = 2*x, 2*x - 8 = 4*b. Let s = -1 + x. Does 19 divide (2 - s) + -6 - -41?
True
Suppose 0 = -47*b + 37*b + 520. Is b a multiple of 13?
True
Let s = -159 + 214. Does 3 divide s?
False
Let y(l) = l**3 + 9*l**2 + 9*l + 8. Let t be y(-8). Suppose t = 6*d - 28 - 20. Does 5 divide d?
False
Is 3 a factor of (-38)/190*5/2*-60?
True
Let t(z) = z - 7. Let s be t(0). Let k(j) = -10*j - 4. Let l be k(s). Suppose 21 = -5*q + l. Is q a multiple of 9?
True
Let s(y) = y**3 - y**2 + 3*y + 3. Let o be s(0). Is -5*o/12*-68 a multiple of 13?
False
Suppose -2 = 4*q - 18. Suppose k + 96 = q*k. Does 7 divide k?
False
Let x = 1552 - 530. Is 11 a factor of x?
False
Suppose 11*a - 13317 = 4745. Does 46 divide a?
False
Let t be ((-28)/(-8) - 4)*2. Let b(z) = -155*