 + j*f, 0 = -4*x - 4*f + 224. Is 17 a factor of x?
True
Suppose k + 11*k + 96 = 0. Is 14 a factor of 147*(k/(-3) + -2)?
True
Let j = 2361 - 906. Is 68 a factor of j?
False
Let x(g) be the third derivative of g**8/20160 + g**7/1008 - g**6/144 - g**5/60 - g**2. Let j(a) be the third derivative of x(a). Does 19 divide j(-8)?
True
Suppose 2817 = -12*y + 10197. Is 41 a factor of y?
True
Let x(n) = 3*n**2 + 12*n + 12. Let d be x(-7). Let a = d + -19. Is 14 a factor of a?
True
Let u be (23 - 14)*(-2)/(-6). Suppose 3*z + 5 = 2, 0 = u*y - 2*z - 392. Does 26 divide y?
True
Suppose 3*p + 2*s = 592, 3*p = -3*s + 368 + 223. Is 18 a factor of p?
True
Suppose 5*m = 7*m - 6. Let p(x) = x + x + 0 - m - 2. Is 6 a factor of p(6)?
False
Suppose -170 + 1760 = 5*q. Is 33 a factor of q?
False
Let z be (5 - 27/6)*0. Suppose 3*m - 3*w - 111 = 30, 5*m + 2*w - 249 = z. Is 7 a factor of m?
True
Is 12 a factor of -7*(-22)/77 - -2640?
False
Let f(j) = -j + 6. Suppose 0*i = 3*h + i + 28, 10 = 5*i. Is 8 a factor of f(h)?
True
Suppose 26*p = 6*p + 19480. Is 11 a factor of p?
False
Suppose 10*k - 14620 - 200 = 0. Is 19 a factor of k?
True
Let c = 238 + 28. Does 10 divide c?
False
Let i be 72 + 1 + -5 - -3. Suppose -2*g = 3*u - 80 - i, 0 = -5*g + 4*u + 389. Is g a multiple of 7?
True
Let h(s) be the first derivative of -8*s**2 + 4*s - 5. Let y(k) = -4*k**2 + k - 1. Let r be y(1). Is 25 a factor of h(r)?
False
Let n be -1*3 - (-7 + -8). Let i be (-6)/(-9)*1*n. Suppose 5*p + 284 = 4*w, -i = 3*p + 4. Is w a multiple of 12?
False
Let b be (12 + -3 + 2)/1. Let q = 34 + b. Is q a multiple of 9?
True
Let x = -9 - -13. Suppose 29 = 3*f + 5*u, -u = -4*f + u + x. Suppose 3*z = 2*o + 70, -f*o + 143 = 5*z + 39. Is 11 a factor of z?
True
Suppose -4186 = 30*k - 37*k. Is 46 a factor of k?
True
Let k(p) = 3*p + 5. Let x be k(-9). Let g = x + 4. Let u = 33 + g. Is u a multiple of 15?
True
Let o(k) = -k**2 - 10*k - 4. Let b be o(-9). Suppose 0 = b*s - 93 - 127. Is 16 a factor of s?
False
Let z = 1345 - 784. Is 16 a factor of z?
False
Let d be (-3 - (1 - 457)) + -3. Let q = 655 - d. Suppose q = 2*h + 31. Is h a multiple of 30?
False
Suppose -3*q + 4*w = -331, 7*w + 424 = 4*q + 6*w. Suppose 3*o - g = q, -4*g = -5*o - 8*g + 175. Is 35 a factor of o?
True
Does 33 divide 401/3 - 120/72?
True
Let f(a) = -9*a - 9. Let b be f(-3). Let s = 72 + b. Is 22 a factor of s?
False
Let m(t) be the first derivative of t**3/3 + t**2/2 + 2. Suppose 0 = 48*a - 54*a - 48. Does 21 divide m(a)?
False
Suppose 3*a - 28 = -13, 5*v - a - 230 = 0. Is v a multiple of 3?
False
Suppose 2*l - 8 = -0*l - 4*a, 5*l - 4*a = -8. Suppose -172 = -2*g - j - 0*j, -3*g - 3*j + 258 = l. Is 22 a factor of g?
False
Suppose -17*s + 778 = -242. Does 3 divide s?
True
Let h(s) = 2*s**2 - 13*s - 69. Is 3 a factor of h(-4)?
True
Let d(b) = -b**3 - 10*b**2 - 47*b - 31. Is 7 a factor of d(-14)?
False
Suppose -2*a + 2334 = 4*w + 128, 2756 = 5*w + 4*a. Is w a multiple of 23?
True
Let i(m) = m**3 - 9*m**2 + 11*m + 1. Let r be i(9). Let w = -210 + r. Does 14 divide (-2)/3 - w/3?
False
Suppose 4*s + 3*c - 3015 = 0, 249 = -s - 2*c + 999. Does 5 divide s?
False
Let q be 1 - 0 - (-6)/(-3). Is 11 a factor of (5 + -4)*-29*q?
False
Suppose -24384 = -106*z + 94*z. Is z a multiple of 7?
False
Let j be 27 + 6*2/(-4). Suppose y = 3*y - j. Does 4 divide y?
True
Let o = -468 + 1332. Is 18 a factor of o?
True
Suppose -12 = 6*l - 9*l. Suppose -l*h + 85 = -55. Does 7 divide h?
True
Suppose -38952 = -50*n + 48. Is 78 a factor of n?
True
Let o(n) = n**3 + 7*n**2 + 3*n - 13. Is 30 a factor of o(6)?
False
Is -8 + 4 + 343 + 0 a multiple of 10?
False
Suppose 0 = -2*j - 0*j. Suppose j = 3*d - 4 - 2. Is 16 a factor of ((-68)/(-1))/2 - d?
True
Suppose -26*m + 30*m = 504. Is 3 a factor of m?
True
Let x(r) = 218*r - 9. Is 28 a factor of x(4)?
False
Let g be (577 - -14) + (-4 - (0 - 2)). Suppose -5*h = -41 - g. Is h a multiple of 7?
True
Let t(y) = 6*y**2 + y - 7. Suppose -58*q = -56*q + 8. Is t(q) a multiple of 19?
False
Let i be 106/12 - (-5)/30. Is 9 a factor of (i/(-6))/((-2)/60)?
True
Let m = -5 - -14. Let w be m/(27/12) + 0. Suppose -49 = -5*k - w. Does 4 divide k?
False
Let i(d) = 36*d + 10. Does 37 divide i(4)?
False
Suppose 0 = -2*z - 3*z + 45. Let a be 9*(-2 - (-21)/z). Suppose 5*d + x - 102 = -a*x, 4*x = -4*d + 80. Is 11 a factor of d?
True
Let z be (-310)/(-8) + 1/4. Let r(t) = 7*t + z - 4*t - 5*t. Is r(0) a multiple of 13?
True
Let d be (14 - 2)*9/27. Suppose -2*r + r = 4*z + 26, d*r + 5*z + 115 = 0. Let c = r + 63. Does 24 divide c?
False
Let t = 1061 - 785. Does 3 divide t?
True
Let o = -104 - -147. Let g = o - 34. Is g a multiple of 6?
False
Let r(h) = 2*h - 8. Let z be r(6). Suppose 0*t - z*t = 20. Let x(u) = -u**3 - 3*u**2 + 5*u - 3. Is 22 a factor of x(t)?
True
Is 129960/133 + 8/(-7) a multiple of 16?
True
Suppose 1064 + 661 = 15*q. Is q a multiple of 23?
True
Let j = 2051 - 1085. Is j a multiple of 30?
False
Let l be 6/21 + (-415)/7. Let g = -34 - l. Does 25 divide g?
True
Let y(t) be the first derivative of t**5/20 + t**4/2 + 5*t**3/6 - t**2 - t - 7. Let x(b) be the first derivative of y(b). Does 10 divide x(-4)?
True
Let u be (-1 + 1 + 1)*5. Suppose -4*l - 157 = 443. Does 8 divide l/2*(-2)/u?
False
Let c be (22 - 4)*(-220)/(-12). Suppose 8*k - c = 3*k. Is k a multiple of 11?
True
Let j = -552 - -930. Is j a multiple of 22?
False
Suppose -8*o + 6*o = 0. Suppose o*l + 2*l = 0. Is 34 a factor of (-7 - -4) + (37 - l)?
True
Suppose 0 = -5*x + h + 1423, -5*x + 35*h - 33*h + 1421 = 0. Does 15 divide x?
True
Suppose -a + 2037 = 3*o, 5*a - 2*o + 2042 = 6*a. Is 1/(a/512 - (-4)/(-1)) a multiple of 4?
True
Let f(d) = 31*d**3 - 2*d**2 + 12*d - 25. Is f(2) even?
False
Does 20 divide ((-6)/4)/(-3) + (-43110)/(-180)?
True
Let r(n) = n**2 + 3*n - 6. Let c = 15 + -23. Is 34 a factor of r(c)?
True
Let p(t) = -2*t + 7. Let n be p(3). Suppose -5*o - y - 14 = 0, 2*y - n + 5 = 2*o. Is 10 a factor of -34*o/4 - -3?
True
Let u = 941 - 591. Is 35 a factor of u?
True
Let x(f) = 79*f - 3. Is x(2) a multiple of 31?
True
Suppose -3*k = 2*c + 33, k + c = -c - 15. Let r be 16/9 + (-2)/k. Suppose -j + 4*b = 2*b - 42, -60 = -r*j - 2*b. Is j a multiple of 21?
False
Suppose -5*h = -4*r + 1255 + 820, 5*r = 3*h + 2597. Is 13 a factor of r?
True
Suppose -2*p = 3*x + 64, 2*x + 92 = -4*p - 28. Let s = p + 28. Let r(l) = -16*l - 2. Does 13 divide r(s)?
False
Suppose 0 = f - 5*y - 22, -4*y + 7 = 2*f + 5. Suppose 400 = f*d - 2*d. Is d a multiple of 40?
True
Let y be 2/4*-2 - -14. Suppose -z + g + 3 = 0, -5*z + y = -z - 3*g. Suppose -5*u + 161 = -2*s, -3*u + 6*u = z*s + 105. Is 5 a factor of u?
False
Let x = 6 - 2. Let k(b) be the second derivative of 3*b**3 + 3*b**2/2 - 4*b. Is 21 a factor of k(x)?
False
Let f(p) = 59*p - 9. Is 8 a factor of f(11)?
True
Suppose -4*n + 628 = -560. Is (-6)/1*n/(-18) a multiple of 33?
True
Let n(j) = 4*j - 6. Let d be n(3). Let g(c) = -c**3 + 7*c**2 - 3*c - 7. Let o be g(d). Suppose -o = y - 36. Is 25 a factor of y?
True
Let y(c) = 18*c - 1. Let t(b) = 0*b**2 + 6*b + 11 - b**2 + 2*b. Let m be t(9). Is y(m) a multiple of 7?
True
Let l(m) = 2*m**2 - 4*m + 13. Suppose 29 = 5*f - 1. Let q be -6*(-4)/f - -2. Does 13 divide l(q)?
False
Suppose 0 = -0*u + 2*u - 4*y - 8, y + 1 = u. Let t = u - -15. Let c = 22 - t. Is c a multiple of 6?
False
Suppose 0*o = -4*o. Suppose -5*j = -5*a + 25, 4*a - 20 = -2*j - o*j. Suppose 0 = -j*t + 2*t + 5*z + 19, 5*t - 2*z - 25 = 0. Does 3 divide t?
True
Let p be 1/(-4) - -7*(-6)/(-8). Suppose p = 2*z - 27. Is 10 a factor of z?
False
Let m(p) = 3*p - 58. Let r be m(8). Let s = r + 76. Is s a multiple of 13?
False
Suppose -58 = -4*y + 2522. Does 49 divide y?
False
Suppose -3*h = -359 - 4477. Does 31 divide h?
True
Let f(c) = -16*c + 3. Let u(r) = -31*r + 6. Let q(t) = 9*f(t) - 4*u(t). Let p be q(-7). Suppose 5*x - 297 = p. Is x a multiple of 22?
True
Suppose 4*m - 6*f - 667 = -11*f, 0 = -m - 3*f + 165. Is m a multiple of 28?
True
Suppose -d - 28 = -q, 3*d + 2*d + 32 = q. Is q a multiple of 3?
True
Let q(f) = f**2 - 11*f + 13. Let b be q(10). Suppose b*n = -2*n - 40. Is 1/((-2)/n) - 0 a multiple of 2?
True
Let r be -1 + ((-696)/(-32))/((-6)/(-112)). Let x = r + -243. Does 9 divide x?
True
Let b = -22 - -19. Let t = b - -8. Suppose t*a - 211 = 179