 - 5*z(t). Does 36 divide s(-4)?
True
Let j be ((-40)/60)/(((-4)/(-15))/2). Is 24 a factor of (34 + j)/(-4 - 26/(-6))?
False
Suppose -5*k - 7*k + 48 = 0. Suppose k*p = 2*h - 80, p = h - 3*h + 90. Let l = h - 16. Does 5 divide l?
False
Let y(u) = 200*u + 742. Does 13 divide y(5)?
True
Let c = -15043 + 15049. Let a(v) = -v**2 + 1. Let k(i) = 2*i**2 + 2*i - 8. Let p(d) = a(d) + k(d). Is p(c) a multiple of 6?
False
Let f(t) = 10*t**2 + 3*t - 5. Let v be 10/(-2*(-3 + 4)/1). Let c(x) = -20*x**2 - 6*x + 9. Let l(r) = v*f(r) - 3*c(r). Is l(2) a multiple of 11?
True
Suppose 24*p - 142230 = 50346. Is 16 a factor of p?
False
Let y(m) = -448*m - 6356. Is 9 a factor of y(-35)?
True
Suppose 55*y - 1403697 = -10555 + 27123. Does 97 divide y?
False
Let b(m) be the third derivative of m**6/120 - m**5/12 - 10*m**3/3 - 49*m**2. Is b(6) a multiple of 10?
False
Suppose 13086 + 11181 = 4*u + 5*c, 2*c = u - 6070. Is u a multiple of 82?
True
Suppose 13*d = -10*d - 2277. Let c = 520 - d. Is c a multiple of 12?
False
Let u(o) = -9*o**3 - o - 2. Let r be u(-2). Let c(x) = 20*x + 515. Let b be c(-25). Let s = r - b. Is s a multiple of 20?
False
Let u(r) = -r**3 + 2*r**2 - 2*r - 48. Let n(a) = a**2 + 1. Let i(v) = 3*n(v) - u(v). Let b(q) = 13*q - 26. Let z be b(2). Does 15 divide i(z)?
False
Is 123 a factor of -1 + 4547 + (8 - (-11 - -14))?
True
Let q(z) = -z**3 + 2*z**2 - 2*z + 7. Let l be q(2). Suppose 2*s + 4*n = l*s - 439, 4*n = -3*s + 1397. Is s a multiple of 27?
True
Let c(s) = -13*s**3 + s**2. Suppose -11*o = -10*o - 1, 6 = -3*h - 3*o. Is 31 a factor of c(h)?
False
Does 58 divide 9 - ((-42724)/(-8) - 9)*-2?
True
Is -5*(0 + 5*2/50) + 13651 a multiple of 195?
True
Suppose 2*b + i = 191 + 18, b + 5*i - 82 = 0. Let n = b + -14. Does 22 divide n - 6*2/4?
False
Let s be ((-4)/(-3))/(1/288). Let z = 303 + -300. Does 2 divide s/18 - (10/3 - z)?
False
Does 3 divide (7 - 2) + (-4 - -3984)?
False
Let o(q) be the second derivative of -8*q**4 - 8*q**3/3 + 18*q**2 + 31*q. Let l(m) = 19*m**2 + 3*m - 7. Let d(j) = 11*l(j) + 2*o(j). Does 19 divide d(-3)?
False
Let c = 289 + -290. Does 10 divide c/(1*(-5)/1420)?
False
Let r be 6/(-16) + 40/128*14. Suppose -r*t - 67 = -299. Does 2 divide t?
True
Suppose -10*i - 24 = -22*i. Suppose 5*f + 420 = i*v, 165 = v - 2*f - 43. Is 39 a factor of v?
False
Suppose 0 = -4*j - y + 19993, -2*j + y = -1637 - 8364. Is j a multiple of 15?
False
Suppose 4*m = g + 2*g - 369, 4*g + 3*m = 517. Suppose -130*o + 1602 = -g*o. Is 27 a factor of o?
False
Suppose -568*d + 579*d = 60192. Is 76 a factor of d?
True
Let z(q) = 204*q + 10. Let v(c) = 103*c + 5. Let y(j) = -7*v(j) + 3*z(j). Does 14 divide y(-3)?
True
Let k(h) = 2 + 4 - 14 + 2*h + 1. Let v be k(6). Suppose v*x + 162 = 11*x. Is 6 a factor of x?
False
Suppose 71*m + 107*m = 630120. Is m a multiple of 60?
True
Suppose 0 = 3*c - 5*z + 48 - 153, 4*c = z + 140. Let g be ((-2)/6 - 0) + (-3280)/123. Let a = c + g. Does 8 divide a?
True
Is (1 + 3)/((-7)/(-18704)) a multiple of 64?
True
Suppose -15*p = -4916 - 6949. Suppose -2*f = 4*j - 1058, 4*j - 2*f = 7*j - p. Does 18 divide j?
False
Let t = 7445 - 6157. Does 92 divide t?
True
Let m(h) = h**2 - 10*h + 11. Let f = -400 + 415. Is m(f) even?
True
Let j(p) be the second derivative of p**4/12 + p**3/3 - 3*p**2/2 + 11*p. Let f be j(-3). Suppose f = 5*l + 5*b - 380, -l = 2*l - 2*b - 248. Does 10 divide l?
True
Suppose -40*y + 17714 + 52906 = 20*y. Does 29 divide y?
False
Suppose -1058*g = -1046*g - 300. Suppose -g*j - 2211 = -7286. Is j a multiple of 6?
False
Suppose -4*s - 1991 = -m, m - 1977 = 100*s - 98*s. Is m a multiple of 92?
False
Let d be (-3)/(-1*(-3)/(-16)). Let c(g) = -684*g**3 + 4 + 17*g**2 + 1366*g**3 + 12 - 15*g - 683*g**3. Is 21 a factor of c(d)?
False
Suppose 0 = 2*v - 5*g - 31, g + 17 = 5*v - 3. Is (-3636)/(-60)*5/v a multiple of 20?
False
Let k(z) = 10*z**2 + 7*z + 20. Suppose -18*p - 25 = -23*p. Is k(p) a multiple of 14?
False
Does 16 divide -95769*7/(-147) + 3/(-7)?
True
Suppose -20*v = 24*v - 6424. Suppose -l = 3*o - 174, 6*l - 4*o = 5*l + v. Is l a multiple of 18?
True
Suppose 51*o - 11052 = -3994 + 32722. Is 12 a factor of o?
True
Let k(t) = t**3 - 10*t**2 + 16*t - 53. Let a be k(9). Suppose a*g + 221 = 2471. Does 9 divide g?
True
Let s(y) be the third derivative of y**5/60 - y**4/6 - 19*y**3/6 + 25*y**2. Let w be s(7). Suppose -w*t = -3*t + 49. Is 5 a factor of t?
False
Let c(p) = 2*p**3 - 6*p**2 - 20*p - 3. Let h = 255 + -248. Does 60 divide c(h)?
False
Let w = -1 - -6. Let l(q) = -q**2 - 13*q - 45. Let i be l(-19). Is 12 a factor of -7*(w - i/(-21))?
False
Is (-11)/(429/(-538194)) + 30/195 a multiple of 10?
True
Suppose 125*d = 121*d + 40564. Is 48 a factor of d?
False
Suppose 2*j + 5*u - 34 = u, 3*u = 15. Suppose 20 = -3*w - j*w. Is 31 a factor of 3 + (1/((-2)/484))/w?
True
Let q(t) = 2*t**2 + 3*t - 12. Let k be q(-4). Suppose -5*l = -3*r + 1216, -2*r + k*l - 5*l + 810 = 0. Let i = r - 230. Is 6 a factor of i?
False
Let f(x) = -x**3 + 3*x**2 - x - 6. Let c = -24 + 42. Suppose -5*s = -3*y + c, 0 = s - 5*y + 8. Does 12 divide f(s)?
False
Let m be ((-10)/(-3))/(28/(-630)). Let b be (-18)/(-10) - 15/m. Suppose 2*h = -b + 14. Is 4 a factor of h?
False
Is -1 + 63914 + (15/((-75)/35) - -13) a multiple of 138?
False
Let a(h) = h**2 - 3*h + 19. Let s be a(3). Does 7 divide ((-201)/12)/(s/(-228))?
False
Let p(i) = -37*i + 9. Let g be p(2). Let r = 51 + g. Is 13 a factor of r/(-8) + (-7)/(-28) + 63?
True
Suppose -82 - 330 = -a. Suppose w = 5*v + 583, -5*w + 3*v - 7*v = -2886. Suppose 9*q - w = a. Is 22 a factor of q?
True
Let o(t) = -12*t - 17. Let z be o(3). Is (27/15)/(1/(-5))*z a multiple of 10?
False
Let o(u) = -u**3 + 22*u**2 + 13*u + 1121. Is o(24) a multiple of 5?
False
Suppose -7*q + 108 = -1962 + 348. Does 82 divide q?
True
Let m(j) = 1630*j**2 + 80*j + 13. Does 121 divide m(-4)?
True
Is 32 a factor of (-5*2270)/(-89 + 88)?
False
Suppose -29*p - 13*p + 1134 = 0. Suppose 7*g + 8580 = p*g. Does 39 divide g?
True
Let u be -1 - 518*30/12. Let r = u + 1890. Is r a multiple of 16?
False
Let j be (-13)/((-39)/12) + 2 + 2. Suppose j*m + 20 - 1836 = 0. Is 40 a factor of m?
False
Let i be (-3 - -2)*-2 - (2 - 2). Suppose 681 = i*q + x, -3*q + 565 = -2*x - 474. Suppose -q = -5*t - 28. Does 14 divide t?
False
Let l be (-6)/(-16) - 294/(-112). Suppose -3*j + 3*a + 66 = 0, l*j + 2*a - 72 = 3*a. Is j a multiple of 9?
False
Let v be 5/(9 + (-32)/3). Let z(s) = 6*s**2 - 4*s + 17. Does 5 divide z(v)?
False
Suppose 20*w + 63232 = 46*w. Is w a multiple of 11?
False
Suppose 4*m - 9*m + 18470 = -4*w, 7405 = 2*m - 5*w. Does 45 divide m?
True
Let r = 1222 - 207. Let h = 1519 - r. Does 8 divide h?
True
Let k = -369 - -250. Let c = k + 185. Does 3 divide c?
True
Suppose 4*p + 38305 = 5*n, 4*n - p = 11*n - 53594. Is n a multiple of 29?
False
Let f(l) = 1130*l + 8036. Is f(7) a multiple of 14?
True
Is (-396)/(-330)*4395/9 a multiple of 14?
False
Suppose r + 34240 = 3*s, 97*s - 92*s - 2*r = 57068. Is s a multiple of 360?
False
Let p(q) = 5*q**2 - 18 - 2*q - 9*q**2 + 7*q**2. Let u be p(5). Suppose -90 = -2*j + 4*w, -w + 0*w - u = -j. Is 15 a factor of j?
False
Let r(y) = -79*y**3 + 16*y**2 + 28*y + 1. Is 14 a factor of r(-2)?
False
Let i = 40967 - 28898. Does 81 divide i?
True
Suppose 8*v - 3*h = 4*v + 431, -h = 1. Let r = v + -212. Let f = r - -244. Is f a multiple of 9?
False
Suppose 989*z - 985*z = -16. Does 17 divide (-15)/(-25) + (-1212)/(-30) + z?
False
Suppose 33845 = -97*m + 503228. Is 54 a factor of m?
False
Let m be 1225/196 - ((-9)/(-4) + -1). Suppose 25 = -m*o - 0*o, -526 = -v + 3*o. Is 10 a factor of v?
False
Let m(v) = v**3 - 14*v**2 + 22*v + 27. Let o be m(12). Suppose -15 = -3*n + 3*p, 10 = 5*n - o*p - 5. Suppose -8*b + 11*b - 105 = n. Does 7 divide b?
True
Suppose -3*z - 30378 = -5*l, 0 = -4*l - 27*z + 23*z + 24264. Is l a multiple of 23?
True
Let r be ((-10)/(-3) - 2) + (-385)/(-231). Suppose -r*p + 2*p = -b - 98, 0 = 4*b + 16. Is 2 a factor of p?
True
Suppose 15*h - 7880 = -5*h. Suppose f = -k + 152, -k - 95 = 2*f - h. Is 21 a factor of f?
True
Suppose -18*b - 52*b = 42*b - 2453136. Is 259 a factor of b?
False
Let h(p) = 54*p - 119. Let z be h(2). Let w(m) = m**2 - 4. Let k(r) = -r**2 + 4. Let i(y) = -6*k(y) - 5*w(y). Does 17 divide i(z)?
False
Let