 b**2 - b + 40. Let r(q) = -2*q + 9. Let g be r(3). Let n(u) = -2*u + 6. Let x be n(g). Is 10 a factor of y(x)?
True
Let l(w) = -w + 39. Let c(v) = -7*v + 82. Let i be c(11). Does 2 divide l(i)?
True
Suppose -2421*z = -2422*z - p + 17568, 0 = -z - 5*p + 17584. Does 15 divide z?
False
Let m be ((-2)/(-2))/(-5*(-2)/20). Let z be (0 + m)/((-10)/15). Let j(a) = -45*a + 9. Is 12 a factor of j(z)?
True
Let u(j) = -j**3 - 28*j**2 - 120*j + 85. Is 65 a factor of u(-28)?
True
Suppose 191191 = 136*u - 287624 - 254361. Is u a multiple of 4?
False
Let o = -1109 + 319. Is 2 - -3 - (o + 27) a multiple of 12?
True
Let k(a) = -21*a + 1. Let l be k(-1). Suppose -368 - 321 = -13*u. Let c = l + u. Is 5 a factor of c?
True
Suppose -1 = -i, 19*i - 21*i = -2*a - 10. Is (-2)/a*(184 + (2 - 4)) a multiple of 5?
False
Does 20 divide 1080 + 3 - (20 + -13 - -1)?
False
Let v be (-14345)/(-55) + (-57)/(-11) + -5. Let k = -27 + v. Is k a multiple of 13?
True
Suppose b - 657 + 98 = 0. Let c(z) = -z + 149. Let u be c(0). Suppose 0 = -6*t + u + b. Is 23 a factor of t?
False
Suppose -3*c - 4*f = -124 - 183, 515 = 5*c + 5*f. Let r = -101 + c. Suppose -r*q + 119 = -1. Is q a multiple of 6?
True
Suppose 15*i - 4*k = 19*i, -5*i + 3*k = 0. Suppose -6*a + 0*a + 534 = i. Is 71 a factor of a?
False
Suppose -10*v = -12*v + 4*f + 20, -2*v + 2 = 2*f. Is -3 - (v/(-2) - 0) - -320 a multiple of 44?
False
Suppose 4*d = 5*r - 229, -2 = d - 1. Let q = -41 + r. Suppose o - q*o = w - 110, 0 = -2*w + o + 255. Is w a multiple of 25?
True
Let q(l) = -l**3 - 6*l**2 + 55*l + 4. Let k be q(5). Suppose -3*a = -k*f + 2260, 3*a - 2284 = -30*f + 26*f. Is 8 a factor of f?
True
Let v(y) be the third derivative of -y**4/6 + 55*y**3/3 - 36*y**2 - 3*y. Is 5 a factor of v(10)?
True
Let v(t) = 2*t**3 + 5*t + 18025. Is 25 a factor of v(0)?
True
Let w(l) = l**3 + 19*l**2 - 18*l + 48. Let k be w(-20). Let s be ((-180)/k)/3*(12 - 2). Let c = s - -107. Does 11 divide c?
False
Suppose -4*m + 7 + 1 = 0. Suppose -m*i - 2818 = -3*t + 396, -5315 = -5*t - 5*i. Is (t/48)/(2/8) a multiple of 16?
False
Is ((-85)/(-357)*-12)/(1/(-826)) a multiple of 20?
True
Is 16 a factor of ((-33)/22)/3*48*-152?
True
Let w be 1/(2 - 4)*-7578. Suppose -5*j + 3*j + w = 3*x, -2*x + 5*j = -2545. Is 94 a factor of x?
False
Suppose 18*n - 93513 = -43*n. Is n a multiple of 8?
False
Is 4 - 39536/(-21) - (-1 + (-2)/(-3)) a multiple of 4?
False
Suppose 0 = 87*i + 13*i - 291300. Does 25 divide i?
False
Suppose 15*g + 25 = 14*g. Let v = 27 + g. Suppose 3*x - 118 = 2*j, v*j = x - 23 - 15. Does 10 divide x?
True
Suppose -32*g + 2841 = -7687. Let a = -127 + g. Does 2 divide a?
True
Let q(l) = l**3 + 20*l**2 - 76*l + 20. Is q(-23) a multiple of 5?
False
Let t(n) = n**3 + 8*n**2 + 2*n + 2. Let k be t(-8). Let w be -1 - (k/2 - -4). Suppose 85 = 3*a - w*a. Is a a multiple of 20?
False
Let r be 2/16 - (3090/(-48))/5. Suppose -9*k + r*k - 1232 = 0. Is 28 a factor of k?
True
Let o(p) be the first derivative of p**5/20 + 5*p**4/3 + 29*p**3/3 - 36. Let k(s) be the third derivative of o(s). Does 14 divide k(17)?
False
Suppose -6*i = 65539 - 178927. Is i a multiple of 136?
False
Suppose -5*f = -3*x - 1486, -3*f + 560 = 3*x - 346. Suppose 4*w + 2*b = 594, -13*b = 2*w - 10*b - f. Is w a multiple of 54?
False
Let a(p) = 72*p**2 + 28*p - 1. Let m be 90/(-15)*(0 - (-2)/(-6)). Does 9 divide a(m)?
False
Suppose 0 = -12*x + 501526 + 327482. Does 303 divide x?
True
Let d be (-103 - -129)/((-3 + 1)/(-1)). Is 101 a factor of (d*(-11)/(-11))/(2/202)?
True
Let n = -2519 - -5863. Does 8 divide n?
True
Let s be ((-20)/15)/4 - (-2)/6. Suppose 100 = o - s*o - 2*x, 5*x - 245 = -3*o. Suppose -5*m = m - o. Does 6 divide m?
False
Suppose 7*t + t = 152. Let c(n) = 2*n - 13. Does 3 divide c(t)?
False
Let f(h) = -10*h**3 - 2*h**2 + 19*h + 9. Let s be f(4). Let r = 1059 + s. Does 50 divide r?
False
Suppose -4*j + 52246 + 22733 = -v, -2*j = -3*v - 37507. Is j a multiple of 161?
False
Suppose 211*i + 2787 - 178339 = 0. Does 13 divide i?
True
Let h be 6/696*8 + (-14510)/145. Let r = 122 + -203. Let a = r - h. Does 19 divide a?
True
Suppose o = -2*z + 8547, o = 5*o - z - 34242. Is 160 a factor of o?
False
Suppose -5*i + 967 = 4*m, 5*i + 248 = m + 25. Suppose 17*x - 9 = 14*x. Suppose -m = -2*o - r - r, x = -3*r. Does 21 divide o?
False
Let r(n) = -7*n**3 + 37*n**2 - 82*n + 24. Let l(c) = -20*c**3 + 111*c**2 - 245*c + 71. Let q(y) = -6*l(y) + 17*r(y). Is 8 a factor of q(35)?
True
Let c = 29299 + -26411. Is c a multiple of 19?
True
Suppose 612 + 1408 = 10*o. Suppose 6*b - 664 = -o. Is b even?
False
Let z = -217 + 232. Suppose -22*r + 644 = -z*r. Does 49 divide r?
False
Let v(r) = r - 19. Let c(o) = o - 18. Let n(t) = -3*t + 54. Let k(y) = -8*c(y) - 3*n(y). Let q(a) = -6*k(a) + 5*v(a). Is q(-7) a multiple of 13?
False
Let l = -2258 - -2260. Let d(h) = h**2 + 2*h + 2. Let g be d(-2). Suppose -7*u + 112 = l*x - g*u, x = -u + 62. Is x a multiple of 33?
True
Does 30 divide 6672 + (-18 + 3)*(-4)/10?
False
Let s(v) = -v**2 + 9. Let w be s(-2). Suppose 4*n + 10*o = 12*o + 48, w*o = -2*n. Is 10 a factor of n?
True
Suppose 7398 = w - 4*q, 5*w + 26*q - 37074 = 25*q. Is w a multiple of 44?
False
Suppose 3*f - 2402 = -o, -18*o + 3980 = 5*f - 21*o. Let u = f + -296. Is u a multiple of 10?
False
Let m(v) = -11*v - 364. Suppose -195 = 5*w + 4*b, 5*w + 65 = -5*b - 125. Is 2 a factor of m(w)?
False
Suppose i - 1 = 4*i - z, -4*z = 5*i + 13. Is ((-98)/4 - i)*-10 a multiple of 21?
False
Suppose -2*s - 12 = 0, 18*s - 19*s - 21126 = -2*a. Is 44 a factor of a?
True
Suppose -3*g + 35201 = -2*v, -4*g - 5*v = 4*v - 46993. Is 123 a factor of g?
False
Suppose 0 = -21*a + 2980 + 19763. Let t = a + -424. Does 38 divide t?
False
Suppose 0 = 5*p + 2*d - 344, 6 = -2*d - 0. Let q be 42/p - 56/10. Let s(o) = -o**3 - 6*o**2 - 9*o + 6. Is s(q) a multiple of 2?
True
Is 4604 + (-7 - (7 - 10 - 4)) a multiple of 63?
False
Let y(a) = 988*a + 57. Does 21 divide y(6)?
True
Suppose -69*d + 49 = -62*d. Let q(h) = -h**2 + 16*h + 17. Is q(d) a multiple of 3?
False
Let u = -3297 - -3548. Is 6 a factor of u?
False
Let a(p) = -p**2 - 33*p + 76. Let k be a(-35). Does 46 divide -2*(k + (-2093)/14)?
False
Suppose -80 = -0*c - 2*c. Suppose -5*x - 20 = c. Is 15 a factor of ((-208)/x)/((-4)/(-18))?
False
Suppose -5*d = -0*d + 425. Let a = d + 87. Suppose n + 4*b = -0*n + 45, b + 90 = a*n. Does 8 divide n?
False
Let w = 585 - 229. Suppose 0 = -w*d + 352*d + 1988. Is d a multiple of 32?
False
Let i = 27184 - 13414. Does 45 divide i?
True
Suppose -26 = -2*g + 5*u - 11, 3*g + 4*u - 34 = 0. Let f = 220 - g. Does 21 divide f?
True
Suppose -3*j - 12986 - 53305 = -k, -3*j + 331455 = 5*k. Is k a multiple of 57?
True
Let c(j) = j - 38. Let x be c(34). Let p(g) be the third derivative of -g**6/30 - g**5/60 - g**3/3 + 4*g**2. Is p(x) a multiple of 34?
True
Suppose -19*t + 10118 + 7932 = 0. Does 38 divide t?
True
Let c = -30 + 40. Suppose -3*i + 429 = 2*y, i = -c*y + 5*y + 1079. Let p = y + -151. Is p a multiple of 13?
True
Let q(j) = -7*j - 121. Let l be q(-18). Let g(n) = -3*n + 116. Does 13 divide g(l)?
False
Suppose 5*a + 113 = 5*j - 1242, 3*j = -5*a + 853. Let b = -81 + j. Suppose -4*o + 38 + 87 = 3*n, 5*o - b = 4*n. Is o a multiple of 5?
True
Suppose 0 = t - 5*t - 168. Suppose -2967 = 35*a + 820 - 7. Let u = t - a. Does 65 divide u?
False
Does 35 divide 61/122 - 4058/(-4)?
True
Let j be (-2)/(-6)*(-16 - -25). Suppose -71 - 88 = -j*w. Does 36 divide w?
False
Let m be 2 - ((-2)/6)/((-6)/36). Let c(j) = 0*j**2 + 0*j + j**2 - j + 80 + j**2. Is c(m) a multiple of 23?
False
Let a be (4 + -7)*1 - -116. Suppose 3*t + a = 5*k + 5*t, -5*t = -4*k + 64. Does 3 divide (-260)/(-84) + (-2)/k?
True
Let b be (-14)/(-21) + 455/(-21). Let a(y) = -y**3 - 22*y**2 - 23*y + 29. Is 71 a factor of a(b)?
True
Suppose 6425 = t + 27*s - 30*s, -19210 = -3*t - 4*s. Suppose 7*d - 6316 - t = 0. Is 28 a factor of d?
False
Let j(h) = -76*h + 685. Is j(-9) a multiple of 37?
True
Let y(p) = 0*p + p - 92 + 15*p - 24. Is 20 a factor of y(21)?
True
Is 65 a factor of (-363)/5*(((-195)/(-3))/(-1) + 10)?
False
Suppose 4*a = 33 + 27. Does 5 divide 1/((-30)/(-852)) - 6/a?
False
Suppose -78*u + 191958 = -39*u. Is u a multiple of 18?
False
Let t = -300 - -306. Suppose -1478 + 500 = -t*c. Is c a multiple