-p + 10. Let j be s(6). Suppose j = -2*q + 10. Suppose q*c = 3*n - 246, 5*c - c = 3*n - 244. Is 21 a factor of n?
True
Let o(s) = 96*s**3 + 187*s**2 - 572*s + 1. Is o(3) a multiple of 8?
True
Let b(q) be the third derivative of q**4/6 + q**3/3 - 8*q**2. Let g = 33 + -31. Does 3 divide b(g)?
False
Let n(q) = 660*q - 216. Does 105 divide n(5)?
False
Let h = 8928 + -6341. Is 5 a factor of h?
False
Let m be 135/25 - 6/15. Suppose 4*n - m*n + 5 = -5*v, -20 = -4*n - 2*v. Suppose 0 = 4*s - 0*s + n*o - 662, 174 = s - 3*o. Is s a multiple of 42?
True
Let w(p) = 3*p + 37. Let q be w(-10). Suppose -4*f = q - 27. Is 2 a factor of f?
False
Suppose 0 = -3*b - 2*i + 4*i + 18, 4*i = -12. Let v be ((-5876)/(-16) - 4)/(1/b). Suppose -6*y + v = 445. Is 21 a factor of y?
True
Suppose -3*x - 525 = -6*x. Let j(o) = o**2 - 67*o + 977. Let b be j(19). Let d = x - b. Is 26 a factor of d?
False
Suppose 5*y - 276 = -y. Let s(a) = 25 - 22*a - 23*a + y*a. Is 17 a factor of s(-8)?
True
Let s(b) = -31*b + 25. Let o be s(6). Let p = 240 + o. Suppose 0*f + p = f. Is f a multiple of 15?
False
Let z = 166 + -166. Suppose q + 600 = 3*s, z*s + 400 = 2*s + q. Is s a multiple of 25?
True
Let w(g) = g**2 + 10*g + 11. Let d be w(-8). Let t be d/(-30) - (-3 - 38/(-12)). Suppose 4*s = -x - 2*x + 400, t = -4*x + s + 546. Does 12 divide x?
False
Suppose 0 = 9*h - 3*h - 1032. Let x = 252 - h. Is 16 a factor of x?
True
Suppose 0 = 5*q - 117106 + 5881. Suppose 5*n - 4*l - 821 = 0, 124*n + l = 125*n - 164. Is 2/11 + q/n a multiple of 30?
False
Let i(x) be the first derivative of 2*x**3/3 - 10*x**2 + 3*x - 121. Is 27 a factor of i(-6)?
False
Let b = 844 - 248. Let q = 2177 + -2569. Let n = q + b. Is 12 a factor of n?
True
Suppose -3*x - v + 12 = 0, 0 = -3*x - 4*v - 1 + 4. Suppose -1310 = -x*c + 1480. Is c a multiple of 18?
True
Let f(o) = 172*o - 11. Does 4 divide f(1)?
False
Let n(y) be the first derivative of y**4/4 + 14*y**3/3 + 13*y**2/2 - 42*y - 51. Does 6 divide n(-12)?
True
Let l(d) = 6*d + 32. Let n = -131 + 143. Is 19 a factor of l(n)?
False
Let j(h) = h**3 + 7*h**2 + 4*h - 4. Let p be j(-5). Let t(o) = -59*o + 881. Let b be t(15). Does 5 divide 2/((-1)/p*b)?
False
Suppose -12*s - 420 = -17*s. Suppose -7*i + s = -3*i. Is 12 a factor of i?
False
Does 14 divide 135*(10 + 289) + -17?
True
Suppose -231 = -3*o - 54. Let p = 2868 + -2842. Let l = o - p. Is 14 a factor of l?
False
Suppose -99*k = -103*k - 2*v + 27834, 5*v + 27855 = 4*k. Is k a multiple of 30?
True
Let p(k) = 256*k**2 - k. Let c(a) = 9*a + 370. Let v be c(-41). Is p(v) a multiple of 3?
True
Suppose 7 + 123 = 5*t. Suppose t + 130 = -3*f. Let k = -25 - f. Does 27 divide k?
True
Let w(b) be the third derivative of 7*b**5/60 - b**4/3 - 5*b**3/6 - 19*b**2. Is w(9) a multiple of 64?
False
Let b(j) = -87 + 25 + 39 + 34 - 43*j. Does 13 divide b(-7)?
True
Let f = -43 + 48. Suppose -4*m - 2*q = -m - 23, -40 = -5*m - f*q. Suppose -3*x = 2*k + m - 45, 4*k - 5*x - 98 = 0. Is k a multiple of 10?
False
Does 4 divide (464646/(-2590))/(3/(-20))?
True
Let n(w) be the first derivative of 7*w + 22 - 11/2*w**2 + 1/3*w**3. Does 18 divide n(-7)?
False
Let g(h) be the third derivative of -h**6/30 - 7*h**5/30 - h**4/12 - 2*h**3/3 + 2*h**2 + 21. Is 17 a factor of g(-6)?
False
Let f = 177 - 175. Suppose -5*r + 30 = 5*d - 185, 0 = 3*d - f*r - 114. Is 14 a factor of d?
False
Let n(l) be the first derivative of 17*l**2/2 - 123*l + 81. Is n(27) a multiple of 15?
False
Let u(v) = 3*v**2 - 189 + 792 - 49*v**3 - 2*v**2 + 47*v**3 - 2*v + 255. Is u(0) a multiple of 22?
True
Let k be ((45/(-27))/(-5))/((-1)/(-36)). Let v(x) = x**3 - 13*x**2 + 22*x + 3. Does 21 divide v(k)?
False
Let f(g) = -g**2 - 22*g - 25. Let r be -9*(-35)/15*6/(-7). Let d be f(r). Suppose d*y - 42*y - 545 = 0. Does 15 divide y?
False
Suppose 2*p - 4 = -0*p. Let v(j) = -12*j**2 + 31*j + 4*j**2 + 6*j**p - 1. Is 14 a factor of v(15)?
True
Suppose -12*q + 3069 + 32235 = 0. Is q a multiple of 6?
False
Suppose -4*t - 2*o = 54, t = -4*o + 3*o - 15. Let d(z) = -4*z**3 + 3*z - 10*z**2 - 24 + 3*z**3 + z. Is 36 a factor of d(t)?
True
Let w = -96 - -100. Suppose -w*a - 4 = 2*c, -a = -8 + 11. Suppose 91 = c*g - 437. Is g a multiple of 44?
True
Suppose -5*v - 5*n + 15595 = 0, 5*v - 12480 = v - 5*n. Suppose -425 - v = -5*k. Does 12 divide k?
True
Suppose -v + 40 = 3*w, 4*w + 5*v = -10 + 45. Suppose -23*x = -w*x - 10752. Is x a multiple of 13?
False
Let w(d) be the second derivative of -d**4/12 - 5*d**3/2 - 23*d**2/2 - 8*d. Let o be w(-13). Suppose -3*p + 192 = o*p. Does 8 divide p?
True
Let u(x) = -x**2 + 62*x - 472. Is 20 a factor of u(34)?
True
Let x be -2 + 21/9 + 47/3. Let k = x + -10. Is (3 - 22/k)*-21 a multiple of 3?
False
Let g = 4 + 11. Suppose 18 = 4*x - 3*x + 5*y, -2*y + g = x. Suppose -x = 6*a - 187. Is a a multiple of 5?
False
Suppose 0 = z + 5*r - 19, 3*r = 4*z - 3*z + 21. Let w be ((-6)/((-90)/(-1405)))/((-2)/z). Does 8 divide (-2)/14*w + (-5)/35?
True
Let f(m) = -m**2 - 17*m - 12. Suppose 3*j = 5*j + 32. Let k be f(j). Suppose o - 2*z - k = 0, -2*o - 4*z + 51 = 11. Is o a multiple of 12?
True
Let y(x) be the second derivative of x**5/20 + 7*x**4/6 + 11*x**3/6 - 7*x**2/2 + 25*x. Let g be y(-13). Suppose -g*n = -20*n + 275. Is 25 a factor of n?
True
Let x = 1110 - 470. Suppose x - 3292 = -17*k. Does 3 divide k?
True
Suppose 131 = -4*a - 8*r + 3*r, -3*a - 4*r - 97 = 0. Let w = -23 - a. Suppose -w*g + 12*g = -588. Does 15 divide g?
False
Let f = 9 + -6. Suppose -3*k - f*i + 129 = 0, -2*k + 20 + 51 = 5*i. Is k a multiple of 6?
True
Is (21582/110 + 2/(-10))*6 a multiple of 42?
True
Let g(m) = -10*m + 362. Let f = 297 + -297. Is 47 a factor of g(f)?
False
Let k(f) = 13*f + 108. Let b be k(-8). Does 3 divide 15 - (8/(-5 + 3) + b)?
True
Let h = -6736 - -6808. Suppose 0 = -l + 115 + 14. Suppose 2*o + 5*a = l, o - 5*a - h = -0*o. Is o a multiple of 8?
False
Let j = 452 + -396. Is 7*16/j + 1 + 76 a multiple of 2?
False
Let l = 592 + -587. Suppose -l*s + 1337 = -513. Is 5 a factor of s?
True
Let f(t) = -5*t**2 + 19*t + 5. Let m be f(8). Let d = -131 - m. Does 5 divide d?
False
Let a(j) = j**2 - 9*j - 18. Let r be a(10). Let o = 30 + r. Is (20 - o) + 39 + (-1)/1 a multiple of 12?
True
Let i(y) = y**3 - 5*y**2 + y - 13. Let k be i(6). Suppose 52 = 2*g - 5*m, 4*m = 3*g + k - 121. Suppose -4*j - 2*l = -82, -5 + g = j - 3*l. Is 22 a factor of j?
True
Let d be 24/5*27/54*-45. Is (-4)/(-6) + (-162360)/d a multiple of 47?
True
Suppose 30*n + 9*n = 138634 + 86903. Is 31 a factor of n?
False
Suppose 3032 + 14480 = 4*a - 2*g, 2*g + 4 = 0. Does 3 divide a?
True
Suppose 0 = 7*n - 7 - 7. Suppose 0 = -2*o - n*r + 220, o + 3*o - 2*r = 416. Suppose o = -4*b + p + 487, 396 = 4*b + 4*p. Is 16 a factor of b?
True
Is 8 a factor of ((-638)/(-8))/(18 - 4024/224)?
False
Suppose 9*l = 3*l + 2652. Let a = l - 72. Is 74 a factor of a?
True
Let n(q) be the second derivative of q**5/10 - 5*q**4/12 + 9*q**2/2 - 16*q. Let v be n(5). Suppose -3*u = -2*h + v, -3*h + 2*u + 66 = -2*h. Is 14 a factor of h?
True
Let v = 16762 - 10357. Is v a multiple of 61?
True
Let v = -657 + 4257. Suppose 23*o = 13*o + v. Does 20 divide o?
True
Let v = -13557 + 19263. Does 7 divide v?
False
Let p be 0 + (-10 + -4 + 9 - -4). Let h(l) = 598*l**2 - 7*l - 7. Is 23 a factor of h(p)?
True
Let f = -1810 + 1191. Is 51 a factor of -10 - (-4 + 1) - f?
True
Let m(n) = 1981*n**2 - 5*n - 5. Is m(-1) a multiple of 3?
False
Suppose -6*x + 4*x + 712 = 0. Suppose -2 = q, 32 = -23*l + 27*l - 4*q. Suppose -x = l*z - 1916. Is z a multiple of 52?
True
Suppose 32*d = -d - 57*d + 1632510. Does 11 divide d?
True
Let n be 235 + -2 + 2 + 6. Let p = 731 - n. Is p a multiple of 5?
True
Let q = 13297 - 3313. Is q a multiple of 16?
True
Let w be 5/(-6) + 179056/(-96). Let x = w + 2768. Is x a multiple of 81?
False
Let q be ((-7150)/33)/((-2)/6). Suppose 104 = 2*y - q. Is y a multiple of 37?
False
Is 28 a factor of 144/60 - (-9108)/5?
False
Suppose 3*v + 3230 = 4*c, -c + 2*v - 372 + 1182 = 0. Suppose 2*m - r = c, -m - 4*r = 2*m - 1231. Is m a multiple of 25?
False
Suppose -2*r + 2681 - 109 = 0. Suppose -5*q + 4*a = -19, 5*q - 27 = -0*a + 2*a. Suppose -r = -q*l - 229. Is l a multiple of 23?
False
Suppose -120 = -12*h + 960. Is 5 a factor of h?
True
Is ((-96)/(-5))/((-39102)/(-434