j + 12, f + 5*j = 25. Is 15 a factor of f?
True
Suppose 0 = 4*i - 0*i + 268. Let j = i + 113. Is 15 a factor of j?
False
Is (-1977)/(-18) - 2/(-12) a multiple of 22?
True
Suppose 4*n = 161 + 639. Is 44 a factor of n?
False
Let r(i) = -3*i**2 + 2*i - 4. Let j(t) = -t**2 + t. Let u(b) = -5*j(b) + r(b). Let a be u(3). Suppose z + 1 = a. Is 3 a factor of z?
False
Let v = 0 + -15. Does 15 divide (v/2)/(-5)*26?
False
Is 6 a factor of 528/32*2/(-6)*-16?
False
Is ((3 - 4) + -58)*-3 a multiple of 15?
False
Let x be -1 + 10 - 2/2. Suppose 0 = -3*b - x - 1, 5*y - 169 = 3*b. Let s = 52 - y. Is s a multiple of 16?
False
Let p(d) = d**3 - 5*d**2 - 3*d - 4. Let g be p(6). Suppose -y + 6 = -g. Is y a multiple of 17?
False
Let t(m) = m**2 - 10*m + 8. Let l be t(9). Let j(v) = -12*v - 2. Is 3 a factor of j(l)?
False
Is 15 a factor of 10/(-80) + (-225)/(-8)?
False
Suppose 0*f = -2*o + 3*f - 11, -7 = 3*o + 5*f. Let r = -8 - o. Is (-3)/(-1 - r/6) a multiple of 3?
True
Let o be (-2)/(-3) - 496/(-12). Suppose 0 = 3*j - j - o. Is j a multiple of 7?
True
Let m = -3 + -9. Let l(s) = s**2 + 11*s + 4. Is 8 a factor of l(m)?
True
Let l(f) = -10*f**3 + 2*f**2 - 2*f - 4. Does 11 divide l(-2)?
True
Let h(k) = -4*k. Does 6 divide h(-3)?
True
Let g = 469 + -227. Does 41 divide g?
False
Suppose 0*l + 262 = 3*n - 5*l, -4*n = -3*l - 342. Is n a multiple of 21?
True
Let g = -8 + 10. Suppose -g*w = 1 - 9. Suppose -w*s - 7 = -39. Is 8 a factor of s?
True
Does 10 divide 0/5 - (-1 + 2)*-70?
True
Let i = -76 - -135. Let w = -33 + i. Does 11 divide w?
False
Let z be 416/(-14) - 4/14. Let s be (z/(-4))/((-2)/4). Let d = -7 - s. Is 3 a factor of d?
False
Suppose 3*l = -l. Suppose -2*b + 2*i = -l*b, 3*i = 4*b - 3. Is (20/(-6))/((-1)/b) a multiple of 5?
True
Let p be (1 + 3)*46/8. Let m(v) = -v**2 - 4*v + 14. Let s be m(-7). Let l = p + s. Is 5 a factor of l?
False
Let g(u) be the first derivative of -u**2/2 + 23*u - 1. Let w be g(10). Suppose -w = -j - 0*j. Does 7 divide j?
False
Let d = 20 + 13. Is 6 a factor of d?
False
Let q(f) = -f**3 + 6*f**2 - f. Let r(b) = -b**3 + 6*b**2 - b + 1. Let v be 6/(-1) - (-4 - -1). Let t(x) = v*r(x) + 4*q(x). Is t(5) a multiple of 10?
False
Let u = 8 + -3. Suppose -u*r + 112 = -2*v, -12 = -3*r + 2*r + 3*v. Is 13 a factor of r?
False
Let h = -218 + 326. Is h a multiple of 30?
False
Suppose h = 4*r - 7, -5*r + 2*h - 1 = -6. Suppose 0*q = -r*q + 36. Does 4 divide q?
True
Is (-3 + -3)/(21/(-154)) a multiple of 2?
True
Let z = 0 - 1. Let l(t) = 60*t**2 + t. Let c be l(z). Suppose -o + 0*r + c = 2*r, 4*o - 2*r - 226 = 0. Is 19 a factor of o?
True
Let a(h) = 4*h**2. Is 8 a factor of a(6)?
True
Suppose 0*k = -2*k - 5*o - 33, 5 = -o. Let j be k/16 - (-13)/4. Suppose -48 = -j*x - 2*x + t, 3*x + 4*t = 38. Does 10 divide x?
True
Let r(h) = 13*h + 10. Is r(6) a multiple of 22?
True
Let a be (10/(-6) - -2)*0. Let x = -2 + 3. Does 7 divide a/x - (-10 - -3)?
True
Suppose -5*b = 15, b - 323 = -5*l + 2*b. Let s be l/(-20)*(-70)/4. Suppose -24 = -4*w + s. Is w a multiple of 7?
False
Let b(d) = d**2 - 3*d - 3. Let w be b(-2). Let n(s) = -s - 3. Let l be n(-3). Suppose 4*y - w - 9 = l. Is y a multiple of 4?
True
Let n(p) = p**2 + 4*p - 2. Let v be n(-4). Does 8 divide 2 - 27/6*v?
False
Let f = 4 - -1. Suppose -5*y + 57 = -4*k, 2*y + f*k = 4*y - 16. Suppose -2*j + y = 3*o, 3*j - 65 = -2*j - o. Does 4 divide j?
False
Suppose 5*f = 20, b - 14 = 3*b - f. Let k(j) = 2*j - 6. Let o be k(b). Let z = -5 - o. Does 6 divide z?
False
Is ((-2)/(-6))/(0 - 3/(-1107)) a multiple of 61?
False
Is 8 a factor of ((-2)/(-4))/((-3)/(-420))?
False
Let q = 116 - 109. Does 2 divide q?
False
Suppose -5*h + 269 = -466. Is 9 a factor of h?
False
Suppose i = 2 + 4. Suppose i*b = b + 150. Is b a multiple of 17?
False
Let s = 109 + -19. Is s a multiple of 10?
True
Let c = 17 + -17. Suppose 0 = -0*z + 5*z - 10. Suppose c = 2*u - z*b - 44, 2*b - 46 = -3*u + b. Does 9 divide u?
False
Suppose n - 22 = -t, t = -n - 2*n + 18. Let x = -14 + t. Does 10 divide x?
True
Suppose 0 = 4*j + 2*w - 34, 0*j - 3*j = -5*w - 45. Is 10 a factor of j?
True
Let q be (-1)/3 - (-652)/12. Suppose t - 3*t - q = -2*r, -3*t = r - 19. Does 10 divide r?
False
Suppose -5*v - 6*r + 2*r = -1174, -3*v + 710 = r. Is v a multiple of 24?
False
Suppose -31 = -f - 2*d, -3*f + 3*d - 8*d + 88 = 0. Is f a multiple of 7?
True
Let y(f) = -f**3 + 11*f**2 + 35*f - 13. Does 26 divide y(13)?
True
Let p(k) = 39*k + 24. Does 13 divide p(4)?
False
Let a(l) = 3*l**2 - 2*l - 1. Suppose -2*m + 6 = -0*m. Is 6 a factor of a(m)?
False
Suppose 0 = 2*q - 4*c - 26, 2*c + 17 = q - c. Suppose -q*d = -306 + 41. Is 24 a factor of d?
False
Suppose 5*l = 3*q - 8, 2*q + 0*q + 2*l + 16 = 0. Is q - -22 - 6/(-2) a multiple of 7?
True
Suppose -5*t = 3*r - 27, 2*r + 4*t + 0*t - 20 = 0. Suppose 0 = -5*a + r*b + 129, 0 = -0*a - 2*a - 4*b + 46. Let w = a - 11. Is 11 a factor of w?
False
Let n(s) = 8*s**2 - 1. Is 3 a factor of n(-1)?
False
Let n(f) = 8*f - 8. Let h be n(-6). Let l = -39 - h. Is 17 a factor of l?
True
Suppose -3*t + 4*f = 162 + 86, 0 = -4*t + 4*f - 324. Let r = -28 - t. Is r a multiple of 12?
True
Let z(s) = -4*s + 10. Suppose 2*l - l = -14. Does 22 divide z(l)?
True
Let l = 4 - -10. Suppose 0 = 5*f + 5, 4*u - 5*u - 3*f + 27 = 0. Let w = u - l. Does 8 divide w?
True
Let b = 70 + -33. Is b a multiple of 20?
False
Let y(q) = -q - 5. Let r(l) = -2*l - 10. Let m(f) = 3*r(f) - 5*y(f). Is m(-9) a multiple of 4?
True
Let m = 1 + -4. Is 8 a factor of (20 - (-5 - m))/1?
False
Suppose s = 5*s + h - 17, 0 = 4*s - h - 7. Suppose 15 = -s*b, 3*v + v - 201 = 5*b. Does 11 divide v?
True
Suppose 5*g + n + 120 = 0, -4*n + 8 + 41 = -3*g. Let m = -13 - g. Is 3 a factor of m?
False
Let c(i) = 4*i - 6. Suppose -4*f + 8*f = 4. Let y be f + 1 - (-6 + 2). Is 9 a factor of c(y)?
True
Let z(u) be the third derivative of -3*u**2 - 7/40*u**6 + 1/6*u**3 + 0*u + 0 + 0*u**4 - 1/60*u**5. Is z(-1) a multiple of 9?
False
Let t(d) = -2*d**2 + 29*d - 14. Is t(13) a multiple of 12?
False
Suppose -4*k + 5*w + 672 = 2*w, -w = 4. Is 11 a factor of k?
True
Let o(h) = 11*h**2 + 5*h - 17. Let m(t) = 7*t**2 + 3*t - 11. Let i(x) = 8*m(x) - 5*o(x). Let d be i(5). Suppose 0 = 5*g - d - 133. Does 15 divide g?
True
Let v(c) = -c**3 - 8*c**2 + c + 3. Is 11 a factor of v(-9)?
False
Let k(r) be the first derivative of -6*r**2 - 2*r - 7. Does 17 divide k(-3)?
True
Let m = -4 - -22. Does 9 divide m?
True
Let j = 16 + -7. Suppose d - 2*s = -d + 22, j = -d - 4*s. Does 7 divide d?
True
Suppose 4*i + 6 = 42. Suppose -11 = -4*a + i. Is 5 a factor of a?
True
Let m(d) = -d**3 + 4*d**2 + 3*d + 10. Let u be m(5). Suppose -5 = -2*g + 3. Let n = g + u. Does 2 divide n?
True
Let z(i) = i - 3. Let x be z(5). Suppose 3*v - 8 = -x. Suppose -2*l - 50 = -5*l - v*h, 3*h = 4*l - 78. Is l a multiple of 9?
True
Let n = -14 + 20. Let m(x) = -x + 18. Let g be m(19). Let d = n - g. Does 7 divide d?
True
Suppose -2*g = -d - 6*g + 44, 3*g + 174 = 5*d. Is d a multiple of 18?
True
Suppose -2*u = -4*h - 3*u - 3, -2*h - 12 = 4*u. Suppose h = -2*z + 3 - 5. Is 11 a factor of 0 - -2*(z + 15)?
False
Suppose -5*l - j = -3*j + 435, 3*j + 15 = 0. Let r = l + 199. Suppose 2*m = r - 22. Does 22 divide m?
True
Let b = 6 - 4. Is b*12/9*3 a multiple of 4?
True
Let t(l) = 13*l**2 - 4*l + 8. Does 14 divide t(-4)?
False
Suppose 0 = 5*l + i - 16, 0 = -l - i + 2*i + 8. Suppose 12 = 3*d, -l*f - 3 = -d - 19. Let u = 31 + f. Does 13 divide u?
False
Let g be (-136)/(-10) + (-16)/(-40). Let l = 22 - g. Is 6 a factor of l?
False
Suppose -2*l = 2*b - 72, l + 166 = 5*b - l. Is b a multiple of 13?
False
Suppose 15 = -3*y, 0*g - 232 = -3*g + 5*y. Is g a multiple of 15?
False
Let c = -5 + 4. Let z = c - -6. Suppose z*r - 124 = -w, r = w - 4*w + 22. Is 13 a factor of r?
False
Is 21 a factor of -2 + (-15)/(-6) + 125/2?
True
Suppose -2*w - 5*k = -81, -2*w + 2*k + k + 57 = 0. Suppose 3*v - 288 + w = 0. Does 28 divide v?
False
Let h = -114 + 201. Let o = -1 + 3. Suppose -5*u + o*u + h = 0. Is u a multiple of 14?
False
Let o = -1 + 13. Is 6 a factor of o?
True
Is (-1 - (-1 - 10))*3 a multiple of 11?
False
Let m(a) = -2 - 3*a - a**3 + 2*a**2 + 2*a**3 + 4. Is 19 a factor of m(3)?
True
Suppose 3*d = -9, q + 4*d = 5*q - 20. Suppose -2*n - 6 = q*k, -3*n + 3*k - 2*k = 21. Let p = n -