915)/(-30)?
True
Let s(h) = 2*h**2 + 41*h + 1861. Does 5 divide s(0)?
False
Suppose 148 = -2*p + 2*v, 0*p - 3*p = 5*v + 230. Let b = 627 - p. Is b a multiple of 26?
True
Let j(h) = -8*h**3 - h**2 + 24*h + 118. Does 35 divide j(-8)?
False
Suppose -46 = 5*f - 0*f + 3*j, 0 = -2*j - 4. Let v(h) = h**2 + 7*h - 4. Let m be v(f). Suppose 2*i + q - 28 = 0, 0 = -m*q + q. Does 2 divide i?
True
Suppose -21*s - 6280 = -11*s. Let l = 647 + s. Does 19 divide l?
True
Does 9 divide -5 - (347171/(-111) + (-2)/(-3))?
False
Let o(a) = 46*a + 223. Suppose n - 5*f - 33 = 0, 15*n - 10*n + 4*f - 20 = 0. Is 14 a factor of o(n)?
False
Suppose 14*q - 81722 + 17658 = 0. Is 11 a factor of q?
True
Let q(w) = 141*w + 21. Let g be q(-3). Let a = 460 + g. Is a a multiple of 8?
False
Let x be -62*12/(-2)*22/33. Suppose -h = -3*s + x, 7*h - 390 = -5*s + 4*h. Is s a multiple of 5?
False
Let n = -9442 + 11716. Is n a multiple of 10?
False
Let r = 15605 + -13226. Is r a multiple of 30?
False
Let w be ((-4)/(16/7))/(1/(-4)). Suppose -w*a + 5*u + 6060 = -2*a, 6078 = 5*a + u. Does 19 divide a?
False
Suppose -199*p + 214*p - 255420 = 0. Is 43 a factor of p?
True
Suppose 520 = 6*j - 32*j. Let n = j + 268. Does 11 divide n?
False
Suppose -r + 90 = 3*k + 31, -2*r = 2*k - 46. Let y = k + -29. Let z = y + 15. Is 2 a factor of z?
True
Let y = -2 + 98. Let b(f) = -f**2 + 5*f + 8. Let z be b(6). Suppose -z*t + 5*a + y = 0, -60 = -2*t + a + 44. Is 45 a factor of t?
False
Let l(a) be the second derivative of -a**4/12 - 8*a**3/3 - 31*a**2/2 - 9*a. Let c be l(-13). Suppose -3*y - 100 = -c*y. Does 5 divide y?
True
Let p be -28*(-20)/6*(-15)/175. Let z(u) = 11*u**3 + 14*u**2 + 10*u - 5. Let x(g) = -5*g**3 - 7*g**2 - 5*g + 2. Let l(f) = 9*x(f) + 4*z(f). Does 9 divide l(p)?
False
Is 17 a factor of (-742)/159*11190/(-4)?
False
Suppose 193*t - 396422 + 7913 = 0. Does 55 divide t?
False
Let h(r) = r**3 - 5*r + 4*r**2 + 4*r**3 - 4 + r**3 - 7*r**3. Let j be h(3). Is 16 a factor of 3184/20 - 8/j?
True
Suppose 576398 = -576*j + 624*j - 229810. Does 26 divide j?
True
Suppose -1 = -2*n + 9. Let z(q) = -3*q - 19. Let a be z(-8). Let o = a + n. Is o a multiple of 10?
True
Let c = -12 - -16. Suppose 9*x = c*x - z - 27, 2*x + 4*z = 0. Is (-2 + x)*(-9)/4 a multiple of 2?
True
Is (-35813)/(-13) + 240/(-3900)*(-5)/2 a multiple of 3?
False
Is (-13 + 85)/(-4)*3883/(-3) a multiple of 66?
True
Is 31 a factor of (-26)/(5 + 8)*-62?
True
Let o = 2284 + -1460. Does 2 divide o?
True
Let j(i) = 21*i - 48. Let c(d) = 4. Let z(m) = -15*c(m) - j(m). Does 7 divide z(-12)?
False
Let p(m) be the first derivative of -m**4/4 + 4*m**3/3 + m**2/2 + 7*m + 9. Suppose 10 + 10 = 4*c, -3*f + 27 = 3*c. Does 4 divide p(f)?
False
Let p = -68 - -72. Suppose -242 = -p*d - 754. Let j = 230 + d. Is 34 a factor of j?
True
Let x = 7610 + -7474. Does 3 divide x?
False
Is -160*(6 + (-360)/25) a multiple of 12?
True
Suppose -4*l = -3*j + 48, -2*j = 5*l - 4*j + 67. Is 485*l/(-100) - 6/8 a multiple of 12?
True
Let x(z) = -114*z + 312. Let r be x(8). Let h = r + 903. Does 18 divide h?
False
Suppose -4*v + n + 7447 = 0, 3 = 10*n - 11*n. Suppose -4*p - 3*j + 4370 = 0, 4*p + 2*j - 2511 - v = 0. Is p a multiple of 80?
False
Let j = -1457 - -3842. Is j a multiple of 17?
False
Let v be -4 - (-256)/44 - 4/(-22). Suppose 2*r + 4*b = 10, v*b + 0 = r + 7. Let q = r + 43. Is q a multiple of 11?
False
Let z be -4 + ((-6)/(-2))/3. Is z/(12/16)*(-2 - 19) a multiple of 14?
True
Let o(s) be the third derivative of -s**6/40 - s**5/10 + 19*s**3/6 + s**2 - 8. Is 4 a factor of o(-3)?
False
Let i = -20978 + 35980. Is 26 a factor of i?
True
Let m(r) = 256*r**2 - 1 - 13*r + 6*r + 10*r. Is m(-1) a multiple of 27?
False
Is 21/(25/(404000/48)) a multiple of 14?
True
Let z(v) = 3*v**3 - 17*v**2 + 208*v + 118. Is z(14) even?
True
Does 95 divide (-7160)/4*(-114)/4?
True
Let t = 209 + -205. Suppose 5*z = 3*i + 430, 5*z - t*i - 429 - 1 = 0. Does 16 divide z?
False
Let k = -611 + 615. Suppose -5*q + 3680 = 4*w, -k*q + 1226 + 1718 = -w. Is q a multiple of 46?
True
Let k be 3/((-4)/12 - 2/(-3)). Let t be (-7)/(42/(-4)) - (-3927)/k. Suppose 4*r - 122 = -v, 6*v - t = 2*v + r. Is v a multiple of 14?
False
Suppose -7*z + 1 + 34 = 0. Suppose 0*w - 4*w = z*h - 1008, 5*w + 219 = h. Is 17 a factor of h?
True
Let h be 7 + -1*2 - -2. Let q(k) be the second derivative of 7*k**3/6 + 3*k**2 + 1295*k. Is 5 a factor of q(h)?
True
Suppose 9*j - 22805 - 17520 = 24466. Is 12 a factor of j?
False
Suppose -3*j = -9*j - 12. Let p be ((1 - -4) + j - 2)*100. Let x = p - -10. Is 9 a factor of x?
False
Does 26 divide (-1)/(6/(-1528))*4797/123?
True
Let s = 7 - 4. Suppose -52*v + 50*v + 164 = 3*t, 245 = 3*v + 4*t. Suppose -a + s*q + 2*q + v = 0, 3*a = q + 195. Does 14 divide a?
False
Let o be ((18/3)/6)/((-1)/(-5)). Suppose -3*q - o*t + 196 = -47, -4*q = 5*t - 324. Is 6 a factor of q?
False
Suppose 12750 = 3*y - 5*v, 0 = 4*y + v - 15530 - 1447. Does 9 divide y?
False
Let x(z) = 8*z**2 - 25*z + 66. Suppose 11 = 66*g - 65*g. Is 7 a factor of x(g)?
False
Let d(c) = -3*c - 4. Let i be d(-5). Let t = i - 8. Suppose t*o - o = 14. Does 4 divide o?
False
Let l(n) = -n**3 + 5*n**2 + 26*n - 8. Let c be l(8). Suppose c*o + 1 - 393 = 0. Is o a multiple of 7?
True
Suppose -5*i - 13 = 227. Is 7 a factor of (-8)/6 - (-176)/i - -26?
True
Suppose -49 = -8*o + 2399. Does 8 divide o?
False
Let v(u) = 96*u**2 - 349*u + 4514. Is 116 a factor of v(14)?
True
Let k(x) = 3 + 15*x - 3*x**3 + 8*x - 17*x**2 - 5*x. Let a(j) = -j**3 - 9*j**2 + 9*j + 2. Let b(s) = -5*a(s) + 2*k(s). Does 2 divide b(10)?
True
Suppose -43517 + 7534 - 6269 = -14*a. Does 24 divide a?
False
Let p(x) = x**3 - 16*x**2 + 57*x - 58. Does 6 divide p(23)?
True
Let n = 676 + -1171. Let a = n + 794. Does 13 divide a?
True
Let g be (-5)/1 + 5 + 187. Suppose 3*u + 13 - 1 = 0, -3*y - 4*u - g = 0. Let d = 123 + y. Is d a multiple of 33?
True
Suppose -55 - 15981 = -17*w + 3956. Does 7 divide w?
True
Let o be (-1 + 1)*1/(-2). Suppose r - 4*n - 2 - 22 = o, n = -4*r + 11. Is r*-1 + 4*(-33)/(-4) a multiple of 3?
False
Suppose -5*i + 5642 = 8*s - 6*s, -5654 = -2*s - 3*i. Does 10 divide s?
False
Suppose 3*w = -3*g - 3, 3*w + 4*g = -0*w - 8. Let p = 6 + w. Is 1194/p - (-6)/10 a multiple of 16?
False
Suppose 46*f = 33*f + 91. Let t(v) = v**2 + 3*v - 3. Let o(p) = 2*p**2 + 7*p - 6. Let u(b) = -3*o(b) + 7*t(b). Does 5 divide u(f)?
False
Suppose -27 = -14*v + 1. Suppose -1 = -5*a - 5*k + 1094, v*k + 422 = 2*a. Does 12 divide a?
False
Let l(r) = -r**3 + 6*r**2 - 3*r - 8. Let b be l(5). Suppose 2*t + 136 = -4*u, -2*u + 214 = -3*t + b*u. Is 22 a factor of (5 - 11/(-5))/((-3)/t)?
False
Let r(j) = j**2 - 4*j + 1. Let a be r(2). Let c be 3/3 + (-1107)/a. Suppose 2*f - 4*l = c, -4*f = -l - l - 722. Does 50 divide f?
False
Let m(y) = 13*y**2 + 6*y - 3. Suppose -2*n + 7 = c + 1, 4*c - 4 = -4*n. Let j be m(n). Suppose 0 = -l + 6*h - 5*h + 91, -4*l = 2*h - j. Is l a multiple of 14?
False
Suppose 0 = 3*o + 310 + 491. Let q = -96 - o. Is q a multiple of 9?
True
Let b(y) = y + 1. Let z(o) = -o**3 + 12*o**2 - 10*o - 1. Let a(w) = -3*b(w) + z(w). Suppose -32*n + 321 - 65 = 0. Does 16 divide a(n)?
False
Suppose -3*a - 19000 = -5*t, -3*t + 2*a = -2*a - 11389. Does 4 divide t?
False
Suppose 0 = -u + 13*u + 144. Let z(n) = n**3 + 18*n**2 - 12*n - 1. Let x be z(u). Suppose x = 14*d - 631. Is 15 a factor of d?
False
Let m(o) = 10*o**2 - 47*o + 138. Is 6 a factor of m(3)?
False
Suppose -5*d - i + 224400 = 0, 4*d - 91405 = 3*i + 88115. Does 176 divide d?
True
Suppose 4*x + 512 = -4*r, 0*r - 4*x = 5*r + 642. Let w = r + 244. Does 38 divide w?
True
Let i be ((-12)/(-8))/((-2)/(24/(-9))). Suppose -2*b - 3 = -i*g - 7, 0 = -4*b - 3*g - 13. Does 2 divide (b - 3) + 15 - -2?
False
Does 97 divide 1627177/25 + (-184)/2300?
True
Let j(t) = -t**2 - t - 5. Let c be j(-5). Let k(l) = -l**3 + 4*l**2 - 6*l. Let p be k(5). Let f = c - p. Is f a multiple of 6?
True
Suppose -5*w + 167 = -q - 0*q, -5*w - 668 = 4*q. Let v = q + 215. Is 4 a factor of v?
True
Let d be (-180)/(-13) + ((-50)/13 - -4). Let m(z) = 2*z - 25. Let r be m(d). Suppose -a - t - 4*t + 55 = 0, -5*a = r*t - 341. Does 13 divide a?
False
Let d be (-18)/36 - (-2210)/4. Suppose 2*j = -5*z + d, 2*j + j - 878 = 5*z. Is j a multiple of 11?
True
Let h = 3329 + -2681. 