(w) = -3*w + 54. Is m(4) a multiple of 21?
True
Suppose -3*i + 240 = 5*o, 0*i - 2*i + 160 = -3*o. Is 16 a factor of i?
True
Suppose -3*a - 12 + 75 = 0. Is 10 a factor of a?
False
Let y(a) = 21*a**2 - 1. Does 10 divide y(-2)?
False
Suppose 4*j - 5*z - 83 = 0, 4*z + 0*z + 106 = 5*j. Is 12 a factor of j?
False
Let u = -2 - -1. Let h = 5 - u. Is 6 a factor of h?
True
Let v = -128 - -218. Is v a multiple of 9?
True
Suppose -2*k = k - 1287. Suppose 3*l = 3, -5*x + k = -0*l + 4*l. Does 23 divide x?
False
Suppose 0*u + 196 = 4*u + 4*a, 0 = u - 2*a - 40. Is u a multiple of 23?
True
Let m(h) = 12*h - 2. Let g be (-3)/(-2)*(5 - 3). Is m(g) a multiple of 16?
False
Let i = 53 + -17. Suppose i = q + 12. Is q a multiple of 12?
True
Suppose -28*m + 920 = -23*m. Is m a multiple of 42?
False
Suppose 2*j + 3*j = 425. Suppose -c = 4*c - j. Let q = c - 8. Is 5 a factor of q?
False
Let w be -1*4/(-2) + -7. Let o(y) = -y**3 - 5*y**2 - 5*y + 4. Does 14 divide o(w)?
False
Let d be (13/3 - -3)*3. Let f = d + -17. Is f even?
False
Let d be 1758/30 - (-4)/10. Let g = d + -17. Is 25 a factor of g?
False
Suppose -5*p - 4 + 9 = 0, 0 = 5*b + p - 916. Does 21 divide b?
False
Suppose 6*m + 90 = 11*m. Is m a multiple of 12?
False
Suppose 0 = -2*k - 10. Let z = k - -18. Is 12 a factor of z?
False
Let q(d) = d**2 + 35. Is q(0) a multiple of 13?
False
Suppose -3*m = -4*t + 12, t + 2 = 5*m + 5. Suppose 0 = 2*y - m*y - 66. Suppose y = p - o - 4*o, p = 3*o + 39. Is p a multiple of 24?
True
Let d(m) = -m**3 + 6*m**2 - 5*m + 3. Let n be d(5). Suppose 4*u - 50 = -b + 22, -n*u - b = -54. Is u a multiple of 6?
True
Let i = -2 - -1. Is 12 a factor of 14 - (2 - i - 1)?
True
Suppose -w + 5*w + 4 = 0. Is 20 a factor of 0*w/4 + 20?
True
Suppose 2*u = 4*f - 1 + 3, -2*f = -2*u. Let r(j) = -10*j**3 - 2*j**2 - 2*j - 1. Let z be r(f). Suppose 3*b = -z, -2*k + 54 = k - b. Is 6 a factor of k?
False
Let o = -7 - -7. Suppose -4*s + 2*l + 192 = 0, 3*l = 2*s - o*s - 104. Is s a multiple of 15?
False
Let i(m) = -20*m - 10. Is 29 a factor of i(-4)?
False
Let m = 49 + -28. Is 21 a factor of m?
True
Let h be (3/(-6))/((-1)/8). Suppose -g + h = g. Is 7 a factor of (-6)/(-3) + 24/g?
True
Let b(s) be the third derivative of -49*s**6/120 - s**5/60 - s**4/24 - s**3/6 - s**2. Let u be b(-1). Suppose 12 = 5*q - u. Is 12 a factor of q?
True
Suppose -12*d + 7*d = -330. Is d a multiple of 8?
False
Let r(k) = -k**3 - 3*k**2 + 3*k + 1. Is 11 a factor of r(-5)?
False
Let o(c) = 3*c - 1. Let b(d) = d**3 + 3*d**2 + 2*d - 1. Let j be b(-2). Let z be 2*-3*j + -1. Is o(z) a multiple of 9?
False
Let t be ((-5)/10)/(1/(-10)). Suppose t*i = 119 + 121. Is i a multiple of 24?
True
Suppose -3*b = z - 72, -4*b + 5*z = b - 100. Let v = 33 - b. Suppose 0 = 2*t + v, -r - 2*t + 2 = 5. Is 7 a factor of r?
True
Let b(n) = 0*n**3 + 0*n**3 - n**3 + 3*n - 3 - n**2 + 0*n. Let v be b(-3). Suppose -2*d = -3*d + v. Is d a multiple of 3?
True
Let g = 17 - 11. Suppose -17 = -g*t + 5*t. Is 14 a factor of t?
False
Let z = -5 + 9. Suppose 5*p - 3*f = -16, z*f - 13 = p - 3. Is 5 a factor of (-17)/p - (-1)/2?
False
Let l(j) = -4*j**3 + 10*j**2 - j - 5. Let p(b) = -3*b**3 + 9*b**2 - 2*b - 4. Let s(a) = -2*l(a) + 3*p(a). Is s(4) a multiple of 24?
False
Does 44 divide ((3 - -38) + 4)*1?
False
Let r(t) = t**3 + 5*t**2 + 2*t + 19. Is r(-5) a multiple of 3?
True
Let f(x) be the first derivative of -x**2/2 + x + 4. Is f(-6) a multiple of 4?
False
Suppose 0*h = -h. Suppose -g - 22 = -h*g. Let n = 39 + g. Does 17 divide n?
True
Suppose 0*h + 5*h - 10 = 0. Suppose -20 = -4*q, 154 = 3*a - h*q - 2*q. Let c = -33 + a. Is c a multiple of 13?
False
Suppose r + p - 28 = -0, 0 = -r - 4*p + 37. Suppose 0 = c + 3 - 53. Let k = c - r. Is 11 a factor of k?
False
Let g(x) = -x + 4. Let z be g(4). Suppose -210 = -z*l - 5*l. Does 14 divide l?
True
Let z be (1 + -3)*-2 - 1. Suppose 0 = -l + z*l - 10. Suppose 4*i = -4*j + 20, -5*i - 3*j - l = -36. Is i a multiple of 4?
True
Suppose -59*c + 264 = -57*c. Is 12 a factor of c?
True
Suppose -5*k + d = 10, 0*k - 2*k = -d + 4. Let p(j) = -4*j**3 + 2*j**2 - 2*j - 2. Does 14 divide p(k)?
True
Let y = -6 - -15. Suppose -3*h = -0*h - y. Is 3 a factor of h?
True
Let i be 14/35 + (-133)/(-5). Suppose 2*h + 6*b - 3*b = i, 0 = -3*b - 3. Does 8 divide h?
False
Suppose 2*a + 10 = 100. Suppose -4*s - 38 = -g, g + 3*s - a = -0*g. Is g a multiple of 12?
False
Is (-56 - 7)*(-1)/1 a multiple of 9?
True
Let k = 4 - -36. Suppose 0 = 2*d - d - k. Does 8 divide d?
True
Does 8 divide 2 + (126 - (7 - 5))?
False
Let f = 10 + -6. Suppose f*q + 11 = -17. Is 10 a factor of 142/7 + 2/q?
True
Suppose -2*y - 2*y + 745 = -5*u, 0 = -3*u - 4*y - 415. Does 14 divide u/(-4) + (-5)/20?
False
Let b(c) = -3*c**2 - 6*c + 3. Let m(p) = -3*p**2 - 7*p + 3. Let s(h) = -3*b(h) + 2*m(h). Let i(u) = 2*u - 5. Let t be i(4). Is 14 a factor of s(t)?
False
Suppose 0 = 4*h - 28 + 76. Let s = 10 - 6. Is h/(-30)*(s + 1) a multiple of 2?
True
Suppose 6 = 2*h + 4. Is (60/(-7))/(h/(-7)) a multiple of 20?
True
Suppose 5*r = -2*n + 430, -n - 2*n - 321 = -4*r. Does 28 divide r?
True
Suppose -5*z = -5*m - 285, 4*z - 2*m = 114 + 120. Does 20 divide z?
True
Suppose 2*m = 8, 3*o + 0*o - 130 = 5*m. Suppose 2*u + 19 + 50 = 3*l, -2*u - 75 = 3*l. Let p = o + u. Is p a multiple of 14?
True
Let j(l) = l**3 - 5*l**2 - 6*l - 8. Let s be j(7). Suppose -2*z + 0*i - 2*i - 24 = 0, 4*z = i - s. Is 8 a factor of 2/(-12) + (-194)/z?
True
Suppose 5*y = 2*y + 87. Suppose -b - b + 36 = 0. Let g = y - b. Is 11 a factor of g?
True
Suppose -5*r = -0*r + 20. Let g be (2/r)/(1/(-2)). Does 14 divide 42/18*g*6?
True
Let x(v) = 2*v**3 - v**2 + 3*v - 3. Suppose 0 = -4*k + 3*k + 2. Is x(k) a multiple of 15?
True
Suppose -o + 3*o - 6 = 0. Suppose 0*h + o = h. Suppose 0 = 2*r + h*k - 100, -5*r + 70 + 193 = k. Is 21 a factor of r?
False
Let o(h) = h - 5. Let p be o(8). Suppose 2*x = p*x + f - 20, 3*x = 2*f + 65. Is x a multiple of 10?
False
Suppose -4*i - 4*t = -336, -6*t - 175 = -2*i - t. Suppose 15 = -0*d + 3*d. Suppose -d*c + i = 4*a, 0 = -a + 4*a. Is 10 a factor of c?
False
Suppose -2*v - 12 = -2*t + v, -4*t - 5*v = -2. Suppose -2 = 2*b + 5*i + t, b - 11 = 2*i. Suppose -2*q + 24 = 4*p, 2*q - 22 = -b*p + 2*p. Does 4 divide q?
True
Is 11 a factor of ((-36)/(-30))/(2/60)?
False
Let r = 21 - 17. Let t(v) = v**2 + 2*v - 1. Is t(r) a multiple of 14?
False
Suppose 3*s = -5*q + 65, -s = 2*q - 8 - 19. Is q a multiple of 16?
True
Let c(d) = 36*d. Is 18 a factor of c(4)?
True
Suppose 0 = -3*j - 2*d + 73, -d = 2*j + d - 48. Is 14 a factor of j?
False
Suppose -5*j + 0*j = 50. Let n = j - -22. Does 12 divide n?
True
Suppose 1485 = 33*j - 24*j. Is j a multiple of 55?
True
Suppose 4*n + 0 = -4*w + 20, 15 = 3*n. Let b be 0/(w/2 - 1). Suppose b*a = -3*a + 81. Is a a multiple of 13?
False
Let m = -62 + 140. Is m a multiple of 16?
False
Suppose -2*q + 4*p = 0, 4*p = -5*q + 38 - 10. Let l(j) = j + 1. Let h be l(q). Does 14 divide ((-21)/h)/(1/(-5))?
False
Suppose -2*k + 16 = 2*k. Suppose -k*a + 101 = 13. Does 11 divide a?
True
Let a = 107 - 56. Does 11 divide a?
False
Let g(v) = v**2 + 5*v + 3. Let m be g(-5). Let i(j) = 2*j - 3*j + m*j**2 - 5*j**2 + j**3. Is 4 a factor of i(3)?
False
Suppose -44 = -5*q + 11. Does 2 divide q?
False
Let x(d) = -d + 14. Let u be x(8). Suppose -u*j + 11*j = 40. Does 3 divide j?
False
Suppose 0 = v + 2*v - 12. Let j be v/6 - 1/(-3). Let i(q) = 4*q**2 + 2*q - 1. Does 2 divide i(j)?
False
Is (-9)/(-2)*30*(-20)/(-9) a multiple of 30?
True
Suppose 3*p + 3*l + 6 + 9 = 0, -4*l = -2*p - 22. Let v = p + 13. Suppose 4*z - w + v*w = 29, -2*w = -2*z + 10. Is 3 a factor of z?
True
Let h be 1/((-34)/12 + 3). Suppose -s + h*s = 165. Is 12 a factor of s?
False
Let k = 1 - 3. Let z be 62 + k/(-2*1). Suppose 5*c - 5*y - 69 = 31, -2*y - z = -3*c. Does 12 divide c?
False
Suppose b - 5*b = -12. Suppose 20 = b*u - 22. Is u a multiple of 7?
True
Let i be (-3)/(-5) - (-54)/10. Suppose -f = 5*s - i, 3*s + 106 = 5*f + 20. Suppose 2*g - f - 6 = 0. Is 11 a factor of g?
True
Let g(b) = -2*b + 16. Is 8 a factor of g(0)?
True
Let m(t) = t + 1. Let l be m(-1). Suppose -2*w + 75 = 3*p - 12, l = -3*p + w + 87. Does 8 divide p?
False
Let d = -21 - -66. Is d a multiple of 15?
True
Let a(g) = 9*g + 3. Suppose -4 = 3*x - 4*x. Is a(x) a multipl