Is 28 a factor of j(5)?
False
Suppose -4*n = -5*p - 46 + 657, 4*n + 488 = 4*p. Suppose 0 = 5*u + 5*i - 685, 5*u - p = -2*i + 571. Does 57 divide u?
False
Suppose -26 - 16 = 14*k. Is 1 + k - -11 - (1 - 0) even?
True
Suppose 3*w - 9 = -0*w. Suppose q = w*q - 6, 0 = -4*s + q - 67. Let a = s - -42. Does 13 divide a?
True
Suppose 7*d - 11*d = -52. Is 44 a factor of (-21)/(-4)*(49 - d)?
False
Let x(i) = 26*i**2 + 3*i - 5. Is x(3) a multiple of 14?
True
Let q(b) = b**2 - b - 2. Let w be q(-2). Suppose 0 = 2*n + 6, 0 = 2*p + 3*p + w*n - 1318. Suppose -5*f - 41 = -p. Is 15 a factor of f?
True
Let b = 21 - 34. Let r = b + 16. Suppose -150 = -r*a + a. Is a a multiple of 26?
False
Let r be (1 + -2)*4*9/(-12). Suppose 0 = -c - m + 209, 5*m - 319 = r*c - 906. Does 34 divide c?
True
Suppose 4*y + 5*o = 2642, 3*y - 47*o + 45*o = 1993. Is 13 a factor of y?
True
Let a = 18 + -13. Suppose 0 = x - a*d - 10, 154 = 4*x + 4*d + 18. Is x a multiple of 10?
True
Suppose 2*d - 248 = n, -5*d + 172 = -4*n - 448. Suppose 0*h - 4*h = d. Let l = h - -62. Is l a multiple of 13?
False
Let z(o) = 4*o + 2. Let t be z(8). Let q = 78 - 60. Let j = t + q. Does 13 divide j?
True
Let l(v) = -3*v**3 + 5*v**2 + 2*v + 2*v**3 + 9*v**2 - 4*v + 14. Let m be l(13). Let b = m + -59. Is b a multiple of 25?
False
Let z = -3 + 7. Suppose 2*h - 4*h = -150. Suppose 5*a - h = -2*x, -z*a + 17 + 43 = x. Is a a multiple of 7?
False
Does 3 divide (-2373)/(-9) + (-10)/12*2?
False
Is 8 a factor of 0/(2 + 20/(-4)) + 32?
True
Let o(y) = y**2 + 15*y + 24. Let s be o(-19). Let u = 113 - s. Does 6 divide u?
False
Let z be 0 - -3 - (1 + -1). Suppose -3*r + 119 = 5*q, -z*r = 2*r + 5*q - 215. Is 9 a factor of r?
False
Let m = 98 - 79. Let k = 39 - m. Is 10 a factor of k?
True
Does 15 divide 72/(-8)*(428/(-6))/2?
False
Suppose -2*j - 432 = -2*b - 50, -b - 2*j + 176 = 0. Does 4 divide b?
False
Let i(o) = o**3 + 5*o**2 - 3*o - 7. Let f be i(-6). Let k = -16 - f. Let z = k - 1. Is 7 a factor of z?
False
Let o(q) = 26*q + 126. Let h be o(-5). Let t be 0*(-2)/2 + 30. Let k = t + h. Does 15 divide k?
False
Is 5*91 + (5 - (-2 + 10)) a multiple of 16?
False
Suppose -88*m = -84*m - 1944. Is 27 a factor of m?
True
Let r = 136 + -96. Let l = r - 14. Is l a multiple of 26?
True
Is 5 + -7 + 274 + 4 a multiple of 6?
True
Suppose -3*k + 2*d = 2*k + 28, -k + 4 = 2*d. Let r(p) be the third derivative of p**6/120 + p**5/12 + p**4/8 + p**3/3 + 5*p**2. Is 6 a factor of r(k)?
True
Let t = 274 + 6. Is t a multiple of 28?
True
Let u be (-17*3)/(2*9/(-60)). Let b = -116 + u. Is 8 a factor of b?
False
Let n = -26 + 27. Let p(z) = 36*z**2 + z. Let a be p(n). Suppose 52 = 3*k - 4*u, 2*k + 5*u - 36 = a. Is k a multiple of 8?
True
Suppose 10*j - 41 = 329. Let f be (-1)/(1/7 + 0). Does 17 divide (f + 5)*j/(-2)?
False
Let x(r) = -2*r**2 + 13*r - 6. Let o be x(6). Let d be -5*(3 - (4 - o)). Suppose -d*a = -57 - 58. Does 6 divide a?
False
Suppose 0 = -5*u + u - 20. Let p = u - -10. Suppose 36 = p*a - 64. Is 10 a factor of a?
True
Let b(s) = 16 + 7*s - 67*s + 31*s. Suppose -5 + 21 = -4*a. Is 33 a factor of b(a)?
True
Let f be (-81)/(-15) - (-3)/5. Suppose -f = 2*q - 0*q. Is (24 - 1) + 9/q a multiple of 10?
True
Let c(a) = 4*a**2 + 34*a + 12. Does 6 divide c(-15)?
True
Suppose 1100 = 117*j - 113*j. Is j a multiple of 55?
True
Is 41 a factor of -1 + 294 - 11/22*12?
True
Let i = -21 + 16. Let d be (-88)/i + (-9)/15. Let h = 29 - d. Does 6 divide h?
True
Suppose 7*z - 4*z = -w + 759, -3776 = -5*w + 4*z. Is w a multiple of 14?
True
Is 3 - (1*(-21364)/7 + -8) a multiple of 34?
False
Suppose -2*a - 5*o + 278 = -45, 0 = -4*a - 4*o + 628. Let l(i) = -i**2 - 49*i + 107. Let c be l(-52). Let p = c + a. Is 35 a factor of p?
True
Let w = -82 - -97. Is 12 a factor of 43 - 2/((-6)/w)?
True
Let o(t) = 582*t**2 + 6*t - 8. Does 29 divide o(1)?
True
Suppose -60 = -7*q + 8*q. Let k = q - -90. Does 10 divide k?
True
Suppose 2*r - 52 = -2*z - 0*z, 2*r = -5*z + 67. Suppose y + 13 = 4*k, 3*k - r = 2*y + y. Is 5 a factor of 5*((-6)/k)/(-3)?
True
Let v(y) = -y**3 + 10*y**2 - 9*y + 5. Let a be v(9). Suppose -27 + 197 = a*j. Let r = -16 + j. Does 6 divide r?
True
Let p be (-2)/(-4) + (-655)/(-10). Suppose -2*y - 2*h + 208 - p = 0, 3*y - 2*h = 228. Is y a multiple of 37?
True
Suppose 3*s - 2*s - 990 = 5*q, -4*q = 0. Is 18 a factor of s?
True
Suppose 0 = 2*s + 4*r - 7198, 7197 = 243*s - 241*s + 5*r. Does 9 divide s?
False
Suppose 0 = 4*t - 1298 - 318. Does 24 divide t?
False
Let o = 115 - 141. Let m = o + 80. Is 3 a factor of m?
True
Let h(q) be the second derivative of 4*q**5/5 - q**4/12 + q**3/6 + 2*q. Let w be h(2). Let p = w + -69. Is 18 a factor of p?
False
Let c be (-10)/(-35) + 237/(-21). Let h = c + 11. Suppose 3*f + 25 = j, 4*j + 5*f - f - 20 = h. Is 6 a factor of j?
False
Suppose 0 = 5*p + 20, 48*j - p + 3781 = 53*j. Does 5 divide j?
False
Let j = -46 + 48. Suppose 4*h + 704 = 4*q, -j*q - 2*h + 0 = -332. Does 19 divide q?
True
Suppose 24 = -f + 26. Suppose -32 = -2*x + f*c + 26, 3*x + 2*c - 67 = 0. Is 5 a factor of x?
True
Does 5 divide 3 - 11778/(-36) - (-1)/(-6)?
True
Suppose 0 = 3*n + 5*z - 1049, -3*z - 2*z = -4*n + 1352. Is n a multiple of 8?
False
Let v(o) = -o**2 - 18*o - 13. Let n be v(-15). Let g = -42 + 113. Let q = g - n. Is 11 a factor of q?
False
Does 18 divide (-1 + 2)/((-3)/(-1356)) - 2?
True
Let m(h) = 121*h**2 + 15*h - 16. Is m(1) a multiple of 10?
True
Let h(f) = -2*f - 9*f - 11 - 11*f - f. Does 27 divide h(-4)?
True
Suppose 0 = -5*g + 59 - 464. Let z = 529 + g. Suppose 3*i - z = -i. Is 38 a factor of i?
False
Does 30 divide 6 - 3/(15/(-1580))?
False
Let g(o) = o**2 + 7*o. Let d be g(-6). Is 18 a factor of 2*(167/4 + d/8)?
False
Let v = 64 + -23. Suppose 5*a - v - 79 = 0. Suppose 3*n + a = 5*n. Is n a multiple of 4?
True
Let z be 2/(-6) - (-2)/6. Suppose -m - 31 = 2*l, -4*l + 4*m + 3 - 47 = z. Let j = -5 - l. Does 6 divide j?
False
Let y(p) = 48*p**2 - p + 1. Let o(g) be the first derivative of g**4/4 - g**3/3 - 3*g**2/2 + 3*g - 9. Let t be o(2). Does 24 divide y(t)?
True
Let l be (39 - 4)*1/1. Suppose -2*q = 5*a - l, 20 = 2*a - q + 3*q. Suppose a*b + 5*g - 128 - 57 = 0, -b = -2*g - 43. Is 13 a factor of b?
True
Let l(m) = -2*m + 0*m - m**2 - 2 - m + 2*m**2. Let a(v) = v**2 + 8*v - 14. Let z be a(-10). Is l(z) a multiple of 16?
True
Suppose -20*r + 4*p - 330 = -21*r, 3*r - 4*p = 958. Is r a multiple of 7?
True
Let o = 569 + -398. Suppose 5*t = -56 + o. Is 23 a factor of t?
True
Let n be (15 - (-7 + 14))/((-4)/(-102)). Suppose 2*f - n = f. Is 34 a factor of f?
True
Suppose 20*g + 590 = k + 15*g, -2*k = -3*g - 1201. Is k a multiple of 55?
True
Let x(v) = v**3 + 3*v**2 - 2*v + 9. Let z be x(-4). Let n = 21 - z. Is 8 a factor of n?
False
Let b(l) = 2*l - 35. Let r be b(19). Suppose -r*j + 1770 = 7*j. Is j a multiple of 11?
False
Suppose 2279*x - 2271*x = 19320. Does 21 divide x?
True
Let w = 4 - -410. Suppose 3*m - 18*s = -13*s + w, 5*m = -4*s + 690. Does 6 divide m?
True
Suppose 5*c + 17 - 2 = 0. Let r(f) = 17*f**3 - 4*f**2 - 3*f - 4. Let h(d) = -17*d**3 + 3*d**2 + 2*d + 3. Let g(y) = c*r(y) - 4*h(y). Does 6 divide g(1)?
True
Let d(c) = -c**3 + 10*c**2 - 9*c + 6. Let y be d(9). Suppose 0 = y*g - 10*g - 28. Let k = 1 - g. Is k a multiple of 2?
True
Suppose 5*g - 2*x - 6000 = 0, -7*x = -3*x + 20. Is g a multiple of 21?
False
Let o = 5590 + -3879. Is o a multiple of 32?
False
Let x(w) = 0*w**3 + 10 - 7*w**2 - w**3 + 11*w - w - 3. Let g be x(-8). Is 5 a factor of 15/2*(-6)/g?
True
Suppose -1 = 2*v + 7. Let x(k) = k + 8. Let h be x(v). Is h/(-8) + (-81)/(-2) a multiple of 10?
True
Suppose 3*i - 29 + 14 = 0, -3*g + 2*i + 839 = 0. Does 4 divide g?
False
Let h = 241 - 475. Let y = 8 - h. Is 62 a factor of y?
False
Suppose 445 = -5*f - 3*g + 3103, 5*f = -4*g + 2659. Is f a multiple of 34?
False
Suppose -3*r - 3*z = 6, -3*r + 24 = 3*z - 6*z. Let n be -3*(4/r)/4. Does 17 divide (-738)/(-24) - n/4?
False
Suppose -4*p - 5405 = -0*i - 3*i, i - 5*p = 1787. Does 17 divide i?
False
Suppose 0 = -q - c + 5*c - 8, -16 = 2*q + c. Is 2/q + (-903)/(-28) a multiple of 16?
True
Suppose -42 = -3*u + 198. Does 14 divide u?
False
Let q = -8 - -15. Suppose 0 = -q*o + 12*o - 1500. Suppose -2*m = 2*m - o. Does 15 divide m?
True
Suppose 0 = -k - 5*k + 1566. Let c = k + -177. Is