1. Is 36 a factor of u(c)?
False
Let z(n) = 627*n**3 - 21*n**2 + 32*n + 9. Is 11 a factor of z(2)?
True
Let s(a) = 3*a**3 - 3*a**2 + 7*a + 3. Let v(d) = -d**3 + d**2 - 4*d - 1. Let h(w) = 2*s(w) + 5*v(w). Let p be h(4). Let u = 43 - p. Does 12 divide u?
False
Let v(g) = 4*g**3 + 2*g**2 - 6*g + 4. Let s be v(2). Suppose 2*q - 4*q = s. Let r = -7 - q. Is 3 a factor of r?
True
Let v(u) = 80*u + 29. Let t be v(2). Let q = 148 + t. Is q a multiple of 7?
False
Let s(o) = -350*o - 3. Let r be s(-2). Suppose -2*x = -563*c + 566*c + 1443, 481 = -c + 4*x. Let b = r + c. Is 19 a factor of b?
False
Let a(f) = 7*f**3 + 43*f**2 - 28*f - 64. Let r(o) = 4*o**3 + 21*o**2 - 14*o - 31. Let m(j) = 3*a(j) - 5*r(j). Is 13 a factor of m(-24)?
True
Suppose 6711 = 3*p + 2*o - 327, -16468 = -7*p + 3*o. Does 60 divide p?
False
Let u(g) = g**3 + 6*g**2 + g + 2. Let s be u(-6). Let m be (-50)/(-8) + (12/s)/12. Let w(l) = l**3 - 3*l**2 - 7*l + 11. Does 11 divide w(m)?
True
Let j(s) = 1231*s**3 + 43*s**2 - 130*s. Is 58 a factor of j(3)?
True
Let i = -64 - -61. Let m be (-1268)/(-8) + i/6. Suppose -m*k + 131 = -157*k. Is 19 a factor of k?
False
Let x = 432 - -1442. Does 24 divide x?
False
Let a be (-1 - 53)*(228/(-18) + 8). Let r = -182 + a. Is 10 a factor of r?
True
Let o(x) = 4033 - 4011 - 80*x**2 + 310*x**2 + 22*x. Is 46 a factor of o(-1)?
True
Let u(i) = 17*i**2 - 18*i + 17*i**2 - 33*i**2 - 37. Let l be u(20). Suppose l*c - r = 125, 0*r - 4*r - 20 = 0. Is c a multiple of 21?
False
Suppose -27*s = -18*s - 137*s + 95488. Is 14 a factor of s?
False
Suppose 0 = 3*l - 2*f - 35, -l - 4 + 5 = 2*f. Let h = 11 + l. Let t = h + 10. Is t a multiple of 6?
True
Let z(y) = 19*y - 11. Let j(a) = -29*a + 3. Let w be j(-1). Suppose 0*q - 3*n = 3*q - 42, -n = 3*q - w. Is z(q) a multiple of 32?
True
Suppose -3*q + 6 = -33. Let n(o) = -o**2 + 0*o**2 - 348 + 365 + 18*o. Is 40 a factor of n(q)?
False
Suppose -720 - 17 = 11*n. Let o = -67 - n. Let d = o - -25. Is 11 a factor of d?
False
Let a(m) = 970*m - 5317. Is 12 a factor of a(9)?
False
Suppose 0 = -15*s + 14*s - 125. Let i be -8 - -4 - (1 + s). Suppose -5*r + 75 = -i. Does 13 divide r?
True
Suppose 2*k + 0*k - g - 458 = 0, 2*k - 454 = 3*g. Suppose z - 4*x = 820, 3*z = 3*x + 2266 + k. Does 52 divide z?
False
Suppose -9 = -3*y, -5 = -c + y - 2*y. Suppose 6*d = -c*d + 40. Suppose 4*z + 4*m + 0*m - 36 = 0, -5*m = d. Is z a multiple of 3?
False
Suppose -3*d + 6038 = -5*j - 7629, -5*d + 5*j = -22795. Does 6 divide d?
False
Suppose 60*b - 62*b + 10174 = 4*r, -5*b = 3*r - 25477. Is 18 a factor of b?
False
Suppose 56*x = 55*x - 4*z + 16256, -7*z + 16238 = x. Does 8 divide x?
True
Let d = -4949 - -5417. Is d a multiple of 9?
True
Let h be (6/(-4))/(24/(-48)). Suppose q - 4 = -3*g, h*g - 7 = -5*q + 1. Suppose -k + 3*p + q = 0, 4*k - 3*p - 57 = -8. Is 13 a factor of k?
False
Let t(y) = 2*y - 72. Let g be t(38). Suppose -g*w + 116 = 52. Is w a multiple of 2?
True
Suppose 327 + 88729 + 19580 = 12*v. Is v a multiple of 3?
False
Is (-60)/(-35)*22*(-3948)/(-16) a multiple of 22?
True
Suppose -2*f = 5*o - 4791, 0*o = -o + 4*f + 945. Suppose 0 = -8*r + 2915 + o. Does 22 divide r?
True
Let r(d) be the first derivative of d**3/3 - 9*d**2 + 2*d - 147. Let z(i) = 24*i - 1. Let h be z(1). Is r(h) a multiple of 10?
False
Let k = 214 - 216. Does 6 divide (k/10 - 0) + 7154/70?
True
Let c be -2*5/((-30)/9). Suppose 6*u - 162 = c*u. Let r = -27 + u. Is 27 a factor of r?
True
Suppose 17*t = 12*t + w + 18, 0 = -5*t + 2*w + 21. Suppose -4*s + r + 58 = -306, t*s + 2*r - 262 = 0. Does 18 divide s?
True
Let z = -4533 + 5442. Is 5 a factor of z?
False
Let g be 1 - 2 - (-165 - -22). Suppose -3*c - b + 76 = -139, -2*c = b - g. Is 10 a factor of c?
False
Suppose 2*x - 3*z + 425 = 0, -10*z + 5*z = -4*x - 853. Is 19 a factor of (-167 + 1)*x/62?
False
Suppose b + a - 1234 = 0, -27*b - 2*a = -23*b - 4940. Is 31 a factor of b?
False
Suppose 101 = -5*v + 666. Let w = -13 - v. Let l = 370 + w. Does 13 divide l?
False
Suppose -3*t = -n + 511, 4*n = 4*t + 1910 + 94. Let m = 13 + n. Suppose 8*b - m + 189 = 0. Does 20 divide b?
True
Let y = -118 - -209. Let g = -88 + y. Suppose -3*u + 2*u + g*n + 101 = 0, -121 = -u - n. Is u a multiple of 4?
True
Let a(v) = 35 - 6*v**2 + v**3 - 63*v**2 - 27*v + v**3. Is 35 a factor of a(35)?
True
Suppose -8*x + 5*x + 975 = 0. Let a = -206 + x. Does 7 divide a?
True
Let p(o) be the third derivative of -o**7/1260 - 23*o**6/360 + 13*o**5/20 - 36*o**2. Let v(z) be the third derivative of p(z). Is v(-16) a multiple of 8?
False
Suppose 123*o - 59*o - 36*o - 66220 = 0. Does 6 divide o?
False
Let a(x) = 6*x**2 + 26*x + 64. Does 11 divide a(-22)?
False
Suppose -8 = 2*z - 6*z, 4*z = 3*k + 755. Let h = -222 - k. Is 3 a factor of h?
True
Let f(k) = 1215*k**3 + 13*k**2 + k - 39. Is 174 a factor of f(3)?
True
Let r(n) = -n**3 - 10*n**2 + 10*n. Let h be r(-11). Suppose 0 - 1 = z - 2*k, 0 = -4*z + k - h. Does 23 divide (-70)/z - (-7)/(-21)*1?
True
Let b be 5/(1/4 + -4 - -4). Does 18 divide (b - 14)/(1/24)?
True
Let c be (-20)/60*(-5 - -2) + 1. Suppose -839 = -2*s + 5*a, 1723 = c*s + 2*s - a. Does 18 divide s?
True
Let m = -76 + 86. Let d(h) = -h**3 + 11*h**2 - 11*h. Let a be d(m). Is (221/65 - (-4)/a) + 15 a multiple of 6?
True
Let f(h) = 20 + 7*h**2 + 12*h + 13*h + 31 + 14*h - 44*h. Is f(-9) a multiple of 51?
True
Suppose -3*q + 5*a = -6*q + 21899, -q - 4*a + 7288 = 0. Does 84 divide q?
True
Suppose -2131348 - 982412 = -65*i. Is 12 a factor of i?
True
Suppose h + 4*o + o + 113 = 0, -5*h + 5*o - 685 = 0. Let l be 173/(-7) - (-38)/h. Is 358/3 + l/(-15) a multiple of 17?
False
Suppose -2*p = -12 + 16, -4334 = -3*s - 2*p. Does 10 divide s?
False
Let i = 44881 + -25060. Suppose 4421 - i = -25*g. Does 58 divide g?
False
Let z(l) = l**3 + 2*l**2 + 2. Let s be z(-2). Let w be (-5649)/(-27) + s/(-18)*2. Let m = w - 149. Is 10 a factor of m?
True
Suppose -113 = -28*f + 55. Suppose f*m = 458 + 76. Is 8 a factor of m?
False
Let o = 7 + 390. Let q(w) = -23*w + 9. Let a be q(-3). Suppose 19*m = a + o. Is m a multiple of 24?
False
Let q(p) = p**2 - 38*p - 748. Does 17 divide q(-51)?
True
Let x = -4115 - -41401. Does 103 divide x?
True
Suppose 0 = -3*f - 3*t + 507, 4*f + 36*t - 683 = 39*t. Does 4 divide f?
False
Let c be (-34)/(-12) - (-1 - (-20)/24). Let g be (-1 + 0 + c)/(22/33). Suppose a - g*a + 630 = 0. Is a a multiple of 15?
True
Suppose 125 = s - 3*h, -2*s = -4*h + 7*h - 277. Suppose 3*n - s = -x, -5*n = -7*n - 3*x + 101. Does 2 divide n?
False
Let i = 1882 - 1331. Let j = i - 266. Suppose 4*y + y - j = 0. Is y a multiple of 16?
False
Let z(w) = -8*w + 9. Let x(j) = 15*j - 21. Let s(p) = 6*x(p) + 11*z(p). Let o = 40 - 19. Is s(o) even?
False
Let p = -16 + 9. Suppose 97*u = 23*u + 11544. Is 5 a factor of (-166)/p - (-4 + u/42)?
False
Let x(i) be the first derivative of -3*i**4/4 - 2*i**3 + 6*i**2 + 15*i - 162. Is x(-8) a multiple of 21?
True
Let w be (-1 + 2)*(-1 + (-4 - -8)). Does 7 divide (217/w)/((-18)/(-54))?
True
Let d(j) be the first derivative of -43*j**2/2 + 109*j - 142. Is d(-4) a multiple of 9?
False
Let w be 9/15 + (-27)/(-5) + 0. Let v be (w/2)/(96/320). Does 41 divide 8/v + (-20482)/(-110)?
False
Let o(a) = a**3 - a**2 + a + 183. Let t be o(0). Suppose 0 = -51*j + 54*j + t. Let s = j + 91. Is 10 a factor of s?
True
Let c = 28 - 3. Suppose 8*i = -5*s + 7*i - c, -5*s = -3*i + 45. Let t = 28 + s. Is t a multiple of 5?
False
Suppose 0 = -4*w + 2*t + 10, 4*w + 5 = w - t. Suppose 5*z - 2*o + 56 - 815 = w, 4*z - 594 = -5*o. Is z a multiple of 2?
False
Let y(q) = -q**2 - 15*q - 14. Let c be y(-14). Let g = c - -8. Does 7 divide (-2370)/(-135) + g/18?
False
Suppose 3*g = 5*i - 161 - 691, 0 = 2*i + 2*g - 328. Suppose 4*k - i = 696. Is k a multiple of 18?
True
Suppose 0 = 5*k - 25, -5*t + 2604 = k - 26606. Does 33 divide t?
True
Suppose -37 = -4*o - 21. Suppose 3*h = -6*l + 2*l + 2, 0 = o*l + 4*h. Is 17 a factor of (-138 - -2)*(l - 3)?
True
Let i(m) be the second derivative of -m**5/20 - m**4/4 + m**3/6 - 3*m**2 - 8*m. Let u be i(-4). Suppose u*n - 348 = 3*n. Is 29 a factor of n?
True
Let p(b) = -b + 1. Let l(w) = 58*w - 2. Let q(t) = l(t) - 4*p(t). Suppose 10*u - 11 = 9. Is q(u) a multiple of 22?
False
Suppose c + 10*c - 891 = 0. Let l = 28 + c. Does 40 divide l?
False
L