irst derivative of s**4/4 - 2*s**3/3 - s**2/2 - 3*s + 7. Let l be z(3). Suppose 820 = -l*u + 13*u. Is 5 a factor of u?
False
Suppose -2*h + 7 = 3*p, 0 = 4*p - 3*h - h - 36. Suppose 0 = t - s - 2*s - 165, p*s = -3*t + 523. Is 8 a factor of t?
False
Let u(c) = 4*c**2 - 23*c + 34. Let i(s) = -2*s**2 + 24*s - 35. Let q(r) = -3*i(r) - 2*u(r). Is q(-14) a multiple of 9?
True
Let w(g) = -85*g**3 + 9*g**2 + 14*g + 6. Is w(-2) a multiple of 2?
True
Let m(z) = 3*z + 9. Let u be m(-6). Does 13 divide (12 + -1)*(-198)/u?
False
Let x(c) = 3*c**2 + 9*c + 6. Let q be x(-3). Is ((-534)/(-15))/(q/45) a multiple of 63?
False
Suppose 23*c - 20*c - 3*q - 201 = 0, 0 = -c - 4*q + 57. Suppose 0 = c*t - 56*t - 765. Is 5 a factor of t?
True
Is -3*65/39*(-311 + 3) a multiple of 35?
True
Suppose -23*i + 153*i = 924300. Is i a multiple of 9?
True
Let i(d) = -5*d + 2. Let v be i(4). Suppose -q + 4*q + 16 = -5*o, o - 15 = 2*q. Does 13 divide (1 + q)/(v/156)?
True
Let z = -208 - -1456. Is z a multiple of 52?
True
Is 15 a factor of (285/6)/((-305)/(-112118))?
False
Let z = 34 + -32. Suppose -4*j + 10 = -z. Suppose 0 = j*f - 4*f + 43. Is 34 a factor of f?
False
Let l(f) = -6*f**3 + 17*f**2 + 20*f + 18. Let h(g) = 7*g**3 - 17*g**2 - 22*g - 18. Let a(u) = 5*h(u) + 6*l(u). Does 20 divide a(17)?
False
Let s(k) = 3*k - 21. Let o be s(7). Let f be (o + -4 + 4)*-1. Suppose 5*v - 39 = -4*y + 146, 2*y + 10 = f. Is v a multiple of 10?
False
Let c(u) = 2*u**2 + 5*u + 8. Let p be c(-3). Suppose 1052 = -12*g + p*g. Does 5 divide 0 + g/(-36) - 2/9?
False
Let f(w) = -393*w - 162. Let j be f(-2). Let m = 1553 - j. Is m a multiple of 11?
False
Let k(a) = 30*a + 3. Let s be k(-2). Let v be s/19 + 3/(3/548). Suppose -3*p - v = -8*p. Is p a multiple of 22?
False
Let d(k) = -18*k + 68. Let j be d(-22). Let y = j + -327. Is y a multiple of 20?
False
Let b be 5 - (-1 + -5 - -7). Let j(o) = 0*o + 9*o - 6 + 11*o. Is 15 a factor of j(b)?
False
Let j = 2256 + 5949. Does 24 divide j?
False
Let g(a) = -a**2 + 10*a + 2. Let q be g(10). Suppose -7*r = -q*r + 20, 4*y = -5*r - 28. Let z = 31 + y. Does 18 divide z?
False
Suppose -78 = -l - 74. Suppose -l*r = r - 3*a - 1948, 3*r - 1188 = -3*a. Is 49 a factor of r?
True
Suppose 89*p - 7*p - 211970 = 0. Is p a multiple of 66?
False
Let k = -41 + 83. Let f = k + -38. Suppose 3*i + r - 149 = 0, 55 = i - r + f*r. Is i a multiple of 12?
False
Let z be 1704/(-14) + (-6)/21. Let j be ((-12)/(-10))/((-5)/(-925)). Let r = z + j. Is 10 a factor of r?
True
Let n(x) = 18 + 12 + 48*x - 9. Is 13 a factor of n(6)?
False
Suppose i - 6 = -2. Let j(r) = 2*r**3 - 5*r**2 + 3*r - 2. Let f be j(i). Let a = f - 9. Is 14 a factor of a?
False
Suppose 5*y = 11*y - 252. Is y*9*(-3 - (-21)/6) a multiple of 21?
True
Let c(l) = l**3 - 59*l**2 + 137*l - 128. Let a be c(57). Let s = a + -268. Does 14 divide s?
False
Suppose 0 = -9*o + o + 416. Suppose 0 = o*i - 57*i + 6520. Does 28 divide i?
False
Suppose -3258 = -94*w + 100*w. Let u = w - -802. Is u a multiple of 16?
False
Suppose -45288 = 50*d - 58*d. Suppose 20*t = d + 3819. Does 20 divide t?
False
Let k = 58 - 13. Suppose -2*q + 5*q = -39. Let y = k + q. Does 4 divide y?
True
Suppose 7*f + 2859 - 339 = 0. Let t = 550 - f. Is 21 a factor of t?
False
Is 13 a factor of (((-19773)/(-2))/3)/((-5631)/(-18770))?
True
Let g be 4/(-6)*(-7 - 5). Suppose -4 = 3*x + g. Is 22 a factor of ((-32)/x)/2 + 33?
False
Let h(c) = -35*c - 90. Let l be 27*-1*4/12. Is h(l) a multiple of 25?
True
Suppose 4*z = 3*i + 26, 2*z + 4*i - 10 - 14 = 0. Let n be (-45)/(-6) + 4/z. Suppose 3*l + 2*r = 36, -3*r = 5*l - n*r - 60. Is 3 a factor of l?
True
Let t be 95/15 - -2*(-1)/6. Suppose -t*c + 143 = -1873. Does 21 divide c?
True
Suppose 33422 = -4*s - 2*k, 5*k = 12 - 7. Does 55 divide (786/(-114) - -7) + s/(-38)?
True
Suppose n = 4*s - 4 + 6, 5*n + s = -32. Is 61 a factor of (900 + 15)*(-4)/n?
True
Suppose 0 = -3*u - 4*k + 26939, -1767 = 3*k - 1773. Is u a multiple of 5?
False
Let r be -1 - (-124)/(3 + 1). Let o = r + -6. Suppose -180 = o*x - 26*x. Is 15 a factor of x?
True
Suppose 3*v - 3*y - 264 = 0, -2*y + 246 = 3*v + y. Let w be (-1)/5 + 187/v. Let p(x) = 36*x + 19. Does 13 divide p(w)?
True
Let r be 8/(-3 + -1 - (3 + -6)). Is 6 a factor of ((-60)/8 - r)*408?
True
Suppose 503 = a - r, r - 667 = -4*a + 1325. Let g = a + -209. Is 58 a factor of g?
True
Let p(q) = 6*q + 13. Let b(r) = -18*r**2 + 3*r**3 + 20*r - 4*r**3 - 2*r**3 + 2*r**3 + 33. Let a be b(-19). Is 21 a factor of p(a)?
False
Let x(z) be the first derivative of -z**6/360 + z**5/6 + z**4/4 + z**3 + 11. Let b(q) be the third derivative of x(q). Is b(9) a multiple of 9?
False
Suppose -250 - 5 = -5*j. Suppose -j*v + 48*v + 117 = 0. Suppose -4*d = -113 - v. Is 4 a factor of d?
False
Let i(j) = -2*j - 2. Let b be i(-2). Is 11 a factor of (276/9)/2*21/b?
False
Let x = -260 - -456. Suppose t + 1 = -1, 5*f - 2*t = -x. Let p = 102 - f. Does 40 divide p?
False
Let i(v) = -227*v + 4. Let p be i(-1). Let f be (-2)/(-3)*p*6/(-4). Is 9 a factor of (-5)/((-40)/12) - f/2?
True
Let k(i) = -19*i - 39. Let x be k(-8). Suppose -75 = -3*b + 3*h, -3*h = 5*b - 2*h - x. Is b a multiple of 10?
False
Suppose 16*b - 5961 - 1895 = 0. Suppose 3*p - w - 735 = 2*w, -w = -2*p + b. Is 17 a factor of p?
False
Suppose -2*u + 20 + 6 = 0. Suppose 0 = 2*l - 3*l - 4*m, -3*m - u = 4*l. Is 13 a factor of 3*l/12*-27?
False
Let b = 57 - 57. Suppose b*l - 3*a + 13 = -l, 4*a - 20 = 4*l. Does 12 divide l*(-488)/(-12)*6/(-4)?
False
Suppose -11*u - 3941 = -21464. Does 59 divide u?
True
Let x be (-30)/(-12)*(-22)/(-5). Let v(w) = -17*w + w - x*w. Is v(-1) a multiple of 7?
False
Let a be 26/(-26) - ((-3 - 3) + 0). Suppose -164 = -m - a*v, -2*m + m + 172 = -3*v. Does 13 divide m?
True
Let c(a) = -a**3 + 7*a**2 - 9*a - 2. Let u be c(5). Let h(n) = -3 - 2*n + u*n**2 - 4*n**2 + 3*n - n**3. Is h(-5) a multiple of 23?
True
Let t(r) = 189*r**2 + 2*r + 10401. Is 18 a factor of t(0)?
False
Is 88 a factor of ((400/120)/(4/(-3)))/((-3)/1578)?
False
Let t(b) = -b - 4. Let m be t(-7). Suppose 4*i - 2*g + 4 = m*i, 4*i + 3*g + 5 = 0. Is 14 a factor of (i*12 - 4)/(-1)?
True
Suppose 3953 = 96*d - 95*d + 3*b, 11889 = 3*d + 4*b. Does 11 divide d?
True
Suppose 360*p - 334*p - 228617 - 415845 = 0. Is 28 a factor of p?
False
Let f be 2 - (-8 + 6) - 53/(-1). Let m = f + -30. Is m even?
False
Let j(x) = x**3 + 62*x**2 - 12*x - 15. Is 12 a factor of j(-61)?
False
Let y be 4/(-10) + (-7398)/(-45). Let d = -23 + y. Does 6 divide d?
False
Let k = 25 + -23. Let t be (-5 - -8)*k/(-3). Is (4800/(-21))/t + 4/(-14) a multiple of 11?
False
Let g(o) = 8*o + 298. Let r be g(-37). Suppose 2*n + 281 = r*a + 7*n, a + 5*n - 143 = 0. Does 23 divide a?
True
Let v(w) = 6*w - 9. Let f(p) be the first derivative of -3*p**2 + 9*p - 7. Let y(k) = 2*f(k) + 3*v(k). Is y(12) a multiple of 15?
False
Let l be (-1)/(-5) + (-1)/(-15)*-3. Suppose 4*w - 43 + 3 = -5*r, l = -4*w + 20. Suppose 0 = q + q, r*v = -2*q + 660. Is 45 a factor of v?
False
Suppose 123952 + 218750 = 158*y. Is y a multiple of 9?
True
Suppose 0 = 2*s - 38*r + 40*r - 3042, 0 = 5*s + 2*r - 7614. Is s a multiple of 12?
True
Let x = -8951 + 17311. Does 88 divide x?
True
Let q(z) = z**3 - 7*z**2 - 3*z + 28. Let w be q(7). Suppose -w = c - 9. Suppose 5*l = 3*x + 33 - 163, 2*l = c*x - 84. Does 8 divide x?
True
Suppose 3*x - 21 = 6*x. Let z(y) = -3*y**2 - 20*y + 4. Let n be z(x). Let t = 43 + n. Is t a multiple of 10?
True
Let j(s) = -s**3 - 8*s**2 - 4*s + 11. Suppose 0 = n + 2. Let r be (-8)/((-3)/(-1 + n)). Is 9 a factor of j(r)?
False
Does 55 divide (-206016)/(-36) + (-56)/21?
True
Suppose -5*k + 2*h = -31002, -76*k - 3*h + 12397 = -74*k. Is k a multiple of 16?
False
Suppose -2920 - 39664 = -41*i - 8144. Is i a multiple of 40?
True
Suppose -2*r + 12 = s - 5*r, 5*s - 3 = -4*r. Let m(c) = 20*c - 15. Is 3 a factor of m(s)?
True
Suppose -2*m = -8*m + 18. Suppose 10 = -4*w + 5*w + o, m*w - 36 = -5*o. Does 10 divide 1 + 1 + -4 + 504/w?
True
Let c be ((-8)/3)/(1/3). Let v(h) = h**3 + 14*h**2 - 3*h - 12. Let t be v(c). Suppose 3*d = 7*d - t. Is 11 a factor of d?
True
Suppose 1 = -4*m + 5, 4*m + 2776 = -4*n. Let v = n + 1159. Is 6 a factor of v?
False
Suppose 3*w = 5*w - 4. Suppose -2*q - m + 10 = 0, w*q + 2 - 12 = 4*m. Suppose 2*f + 3*o = 3*f - 21, -q*f