(z) = -305*z - 1081. Is 78 a factor of j(-15)?
False
Suppose a + 2*s - 5525 = 0, -17236 = -3*a + s - 675. Suppose -16*k = a - 16801. Does 58 divide k?
False
Let t(c) = 24*c**2 + 168*c + 180. Is t(-37) a multiple of 180?
True
Let z(x) = -x**2 - 13*x - 14. Let r be z(-12). Let u be 3 - 4 - -2 - r. Suppose u*s + 2*w - 105 = 0, s + 2*w - 39 = -0*s. Is s a multiple of 33?
True
Suppose 52*y + 48*y - 28*y = 259200. Is 2 a factor of y?
True
Let l = 79 - 74. Suppose l*h - 842 + 467 = 0. Is 9 a factor of h?
False
Suppose -4*z = -299 - 65. Suppose -4*k + z = 3*y, -2*k + 2*y + 30 = -12. Suppose q - 47 - k = 0. Is q a multiple of 24?
False
Suppose -4*h - 5*m + 2*m = 29, 3*h + 3 = 4*m. Is (-1 - h)*((-245)/(-10) + -1) a multiple of 7?
False
Suppose -9*p = -1101 - 2688. Is p a multiple of 13?
False
Let v = -14 - -4. Let s be 5*(2/v - -4). Suppose -2*m - o = -29, -m + o + s = m. Does 3 divide m?
True
Suppose 0 = 5*w - k - 44633, 0 = -0*k + 4*k - 28. Is w a multiple of 12?
True
Let f be -3 + 1 + 33/12*4. Suppose -16*a = f*a - 34375. Does 25 divide a?
True
Suppose -48 = -7*q + 50. Suppose q*y - 759 = 4071. Does 11 divide y?
False
Let c(d) = 4*d**2 + 15*d - 120. Does 7 divide c(-19)?
False
Suppose -8 = -662*b + 660*b. Suppose 0 = 5*h + 16 + b, -p + 3*h = -48. Is 20 a factor of p?
False
Let u be 2*(-10)/(-8) + (-2)/4. Let b be 105/6*(4 + -3)*u. Suppose -b = -2*o + 77. Is o a multiple of 14?
True
Let j(v) = v**2 + 7*v + 12. Let o be j(-5). Suppose -o*a + a = 57. Let s = 94 + a. Is 6 a factor of s?
False
Let r(u) = 149*u**2 + 92*u - 816. Is 31 a factor of r(10)?
True
Suppose 3*j + 33737 = b, -3*j + 48394 = 2*b - 19089. Is b a multiple of 35?
True
Let f(z) = -13 + 6*z - z**3 - 7*z**2 + 6*z + 0*z. Let j(o) = o**3 + o**2 + 2*o - 9. Let q be j(0). Is f(q) a multiple of 6?
False
Let p(u) be the first derivative of u**3/3 + u**2 - 92*u + 149. Does 28 divide p(16)?
True
Let u be (-4 - 2)*114/9. Let w be 12/20 + u/10. Is 20 a factor of ((-156)/(-15))/((35/(-125))/w)?
True
Suppose -470877 = -464*n + 431*n. Is n a multiple of 16?
False
Suppose 103*b - 582164 = -74580. Does 108 divide b?
False
Let f(l) = l + 4. Let v(j) = 2*j + 9. Suppose 5*z - x + 3*x - 76 = 0, 3*x + 33 = 3*z. Let m(g) = z*f(g) - 6*v(g). Is m(13) a multiple of 16?
False
Let j(l) = 20*l + 5. Let k be (2/4)/(12/96). Let c be 8/20*10/k + 3. Does 26 divide j(c)?
False
Suppose 0 = -2*i + 2*c + 5866, 5*c - c + 2936 = i. Let p = -1359 + i. Does 16 divide p?
False
Suppose 4*f - 2108 = -4*v, 4*f - 527 = -v - f. Suppose -175 = -9*h + v. Does 24 divide h?
False
Let h be (-12)/(25/8 + (-9)/3). Let i be (-2)/8 + (-1656)/h. Is i/(-4) + 5/20 + 25 a multiple of 19?
False
Let a(j) = -17*j + 1187. Does 23 divide a(-56)?
True
Suppose i + i + 6 = -4*l, -2*l = -3*i + 15. Suppose -m + 85 = -0*m - 2*k, -4*m - i*k = -307. Suppose -m = 10*c - 329. Does 12 divide c?
False
Is 15 a factor of (-44)/(-638) + (-985528)/(-116)?
False
Suppose -6*a = 15*a - 882. Suppose -a*t - 382 = -5758. Is t a multiple of 23?
False
Let s(f) be the second derivative of f**5/20 + 35*f**4/12 - 83*f**3/6 + 71*f**2/2 + f - 184. Does 7 divide s(-37)?
False
Let s(l) = 116*l**3 - 3*l**2 + l + 2. Let a be s(-1). Let c = -132 - a. Does 6 divide 15*(-1)/(-3) - c?
False
Let k = 269 - 388. Is (k/(-4))/((21/(-24))/(-7)) a multiple of 15?
False
Let z(k) = -2*k**3 + 5*k**2 - 11*k - 268. Is 67 a factor of z(-16)?
True
Let h(q) = q**2 + 3. Suppose 16*u - 147 = 141. Suppose u = -7*o + 67. Is h(o) a multiple of 13?
True
Let m = -27 - -69. Let n be 3/((1 - 0)*m/(-56)). Is ((-5 - n) + 4)/1 a multiple of 2?
False
Suppose 31*v = -13*v + 74316. Does 6 divide v?
False
Let l(b) = -3*b**3 - 30*b**2 + 26*b + 434. Does 6 divide l(-16)?
True
Suppose 3*c + 0*j = -2*j - 6, 0 = -4*c + 5*j + 15. Suppose -3*v - 6 - 21 = c. Is -308*((-2)/12)/((-3)/v) a multiple of 27?
False
Let f(r) = 6*r - 36. Let c be f(5). Is -5*(-18)/10*(-198)/c a multiple of 27?
True
Let g(z) = 585*z - 3048. Is 20 a factor of g(25)?
False
Let t = -386 - -315. Let n = t - -383. Is 8 a factor of n?
True
Let g(x) = -6*x + 51. Let n be g(12). Is ((-18)/n)/(2/98) a multiple of 23?
False
Let f = 14690 + -8713. Is f a multiple of 68?
False
Suppose -2*j = -0 - 4. Suppose -y + 15 = 4*z, -4*z - j*y + 15 = z. Is (18/z)/(33/550) a multiple of 12?
True
Suppose 5*y - 15 = 5. Suppose 0 = -0*w - y*w + 264. Let o = -39 + w. Is 7 a factor of o?
False
Let r(p) = -50*p + 8. Let q be r(3). Let a = 222 + q. Is a a multiple of 20?
True
Suppose -8*k + 3*k = -3*j + 34, -3*j = 3*k + 6. Suppose j*z - 133 = 539. Is z a multiple of 8?
True
Let y be (1 - 3)*(-30)/(-4). Is 12 a factor of (-13)/(-65) + -381*2/y?
False
Suppose 78 = -l + 2*l. Suppose 8*g - 70 + 14 = 0. Suppose -g*d = -l - 118. Is 7 a factor of d?
True
Suppose 2288*q + 2*f - 13604 = 2287*q, 5*q + 2*f - 67964 = 0. Is 151 a factor of q?
True
Let c(a) = -3*a - 6 + a - 16. Let i be c(6). Let d = 113 + i. Is d a multiple of 12?
False
Let j be (35/(2 - 1))/((-2)/(-24)). Suppose -10*z = -7*z - j. Is z a multiple of 8?
False
Is 20732657/3212 + (1/(-5))/(8/(-10)) a multiple of 41?
False
Suppose 5*u + 3*k = -34719 + 160889, -2*k - 25221 = -u. Is u a multiple of 96?
False
Let v = -69364 + 128884. Does 120 divide v?
True
Suppose w - 4*n + 46 = -4*w, -w - 2*n + 2 = 0. Let o be -4 + (-82)/w + 10/30. Suppose 2*c + o = 0, -65 = -2*a - c + 450. Is 26 a factor of a?
True
Suppose -y - 3*y + 8 = 0. Suppose -62*f + 54 = -35*f. Suppose 223 = 5*i - y*k, -f*k = -2*i + 24 + 64. Is i a multiple of 15?
True
Let k(q) = -29*q - 911. Does 14 divide k(-49)?
False
Suppose -c + 57 = t + c, 2*t = c + 119. Let u = 42 - t. Let g(m) = m**2 + 7*m - 25. Is 21 a factor of g(u)?
False
Suppose -6 + 19 = 2*t - c, 4*c + 28 = 4*t. Is 13 a factor of t*(85/3 + -1)?
False
Let j(v) = -v**2 - v + 1. Let h(d) = -342*d**3 - 5*d**2 - 12*d - 4. Let u(y) = h(y) - 3*j(y). Is u(-1) a multiple of 19?
True
Let d(y) = -y**2 - 15*y - 19. Let x = -20 - -8. Is d(x) a multiple of 13?
False
Suppose -2*p + 8*p + p - 9520 = 0. Is 20 a factor of p?
True
Let f(u) = -341*u + 778. Is f(-80) a multiple of 16?
False
Let u be ((-1)/2 + 1)*20. Suppose 4*y = u*y. Suppose -3*i + 3*k = k - 255, y = 5*k. Is i a multiple of 8?
False
Suppose -54*o - 22*o + 153054 + 452134 = 0. Does 43 divide o?
False
Let k(l) = -2*l**3 - 3*l**2 + 4*l + 3. Let w be k(-4). Let h = w - 66. Let s(j) = 93*j**3 - 2*j**2 + 2*j - 1. Is 19 a factor of s(h)?
False
Is (-467152)/(-128) - (-10)/(-16) a multiple of 54?
False
Let i(o) = -2*o**3 + 13*o**2 - 17*o + 2. Let f be i(4). Is 99 a factor of f + -8 - 3546/(-3)?
True
Let w(u) = 3*u**3 - 7*u**2 + 4*u. Let x be w(4). Let b = -75 + x. Let s(d) = d**2 - 21*d + 5. Does 2 divide s(b)?
False
Let w = 13904 + -35. Is w a multiple of 23?
True
Let s(j) = j**3 - 4*j**2 + 16*j + 76. Does 124 divide s(14)?
False
Is 4 a factor of (3295006/(-104))/(-41) + (-1)/(-4)?
False
Let r(m) = -13 - 60 - 35*m + 20 - 3*m. Does 20 divide r(-9)?
False
Suppose 8257*m - 8239*m - 63252 = 0. Is m a multiple of 7?
True
Suppose -4*d - 109 = 2*w + 109, w + 81 = 5*d. Let u = 301 + w. Let c = u - 101. Is c a multiple of 15?
False
Let y = -524 + 521. Let b(j) = -39*j - 96. Does 2 divide b(y)?
False
Let z be ((-5)/(-3) + 0)*(-606)/101. Suppose -4*m - 2*v - 2*v = 52, 0 = m - 5*v + 25. Does 14 divide (m/z)/((-12)/(-1760))?
False
Suppose 19*a = 7*a + 64140 + 132768. Is a a multiple of 176?
False
Suppose 78*p + 11543 = 85*p. Suppose 6*a - p = -11. Is a a multiple of 12?
False
Let o be -23*3/3 + 3. Suppose 4*s + 4*g + 172 = 0, -g = 4*s - 0*g + 163. Let c = o - s. Is 20 a factor of c?
True
Suppose h - 2743 = -3*k + 1225, k - 19756 = -5*h. Is h a multiple of 35?
False
Suppose -2 = 2*u + o + 2*o, 3*u - 19 = o. Suppose -14 = -u*r + q, 2*q - q - 13 = -4*r. Suppose -5*x = -3*x - 2, 0 = -2*v - r*x + 399. Does 33 divide v?
True
Let v(m) = 4*m**2 - 3*m - 12. Let h be v(5). Suppose -5*c + 126 = z - 26, 2*c = -2*z + 280. Let g = z - h. Does 16 divide g?
True
Let d(c) = 2 - 10*c - c**3 - c - c - 13*c**2. Let l be d(-12). Let k = 8 + l. Is k a multiple of 10?
True
Suppose 48010 = 15*b - 52880. Is b a multiple of 56?
False
Let n(f) = -8 - 2*f + 7*f**2 + 1 + 9. Is n(1) even?
False
Let c be 15826/246*(-78)/(-2). Let w = c - 960. Is 12 a factor of w?
False
Let l = 10776 - 723. Is l a multiple of 24?
