 27*v - 23*v + 432674 = 0. Is v a multiple of 12?
False
Suppose -12*i - 12*i = -19440. Suppose -g - 2*g = -i. Is g a multiple of 45?
True
Let v(n) = -5*n - 160. Let z be v(-32). Suppose 5*d - 178 - 502 = z. Does 15 divide d?
False
Let a(b) = 27*b**2 + 55*b - 751. Is 33 a factor of a(14)?
False
Let t = 142 - -166. Let f = t + 37. Is 20 a factor of f?
False
Suppose 230*y + 19006 - 158616 = 0. Is 16 a factor of y?
False
Let a(v) = v**3 - 7*v**2 + 8. Let w be a(7). Let i(b) = 33*b - 10. Let m be i(w). Let f = -129 + m. Is f a multiple of 11?
False
Suppose -18*m = -23*m + 15. Let l(x) = 17 - 8*x - 6 - 2 - 8*x**2 - x**3 + 0*x**m. Does 20 divide l(-9)?
False
Let r be 13/(13/(-418)) - -3. Let i = r + 563. Is 52 a factor of i?
False
Let b(f) = -f**3 - 16*f**2 - 23*f - 36. Let u be b(-15). Suppose -7*w + 3*c = -2*w - 1, 2*w - 4*c = 6. Is 14 a factor of ((2*-3)/w)/(u/784)?
True
Let q be (-4 - 8)/4 - -5. Suppose 989 = o + 2*o - 5*y, -329 = -o + q*y. Let a = o + -185. Does 37 divide a?
True
Let d(n) = -2*n + 2. Let a be d(-7). Let q(m) = -13*m + 21. Let f(i) = 66*i - 104. Let u(w) = a*q(w) + 3*f(w). Is 31 a factor of u(-10)?
True
Does 17 divide (-8 + -1655)/(8 + 125/(-15))?
False
Is 9 a factor of (-540)/(-8)*(9 + -5)*63/10?
True
Suppose -3*l - 1 = -4*h + 5, -5*l - 3*h = -19. Suppose -5*v + 7953 - 433 = l*f, 4512 = 3*v - 3*f. Is 22 a factor of v/48*(2 - -1)?
False
Let y = 91 + -95. Is 44 a factor of ((-548)/14)/(y/56)?
False
Let u(q) = q**3 - 13*q**2 - 15*q + 17. Let o be u(14). Suppose 8*r - o*r = 505. Let m = 172 - r. Is 6 a factor of m?
False
Is -6 - (5 + 10 + -17142) a multiple of 51?
False
Let v(c) = c**3 - 12*c**2 + 9*c + 24. Let p be v(11). Suppose -p*x = -7*x + 235. Is x a multiple of 41?
False
Suppose 2*d - 53270 = -4*i, 3*i - 68*d - 39965 = -67*d. Is 40 a factor of i?
True
Suppose -3*r + 4*i + 28 = 0, 0 = -4*r - 0*i - i + 12. Does 34 divide (-66352)/(-390) + r/(-30)?
True
Suppose 3*k - 234 = -69. Suppose 3*b + 458 = 2*h - 1130, 3*b - 803 = -h. Suppose k - h = -7*y. Is 34 a factor of y?
False
Suppose -4*i + 310 = 5*d - 548, 3 = -i. Suppose 2*v - 170 = -4*u, 2*u - d = -2*u + 2*v. Does 3 divide u?
False
Let i(s) = -124*s**2 + 1026. Is 34 a factor of i(0)?
False
Let w(x) be the third derivative of x**5/30 + x**4/12 - 2*x**3/3 + 56*x**2. Let f(k) = -k**3 - 8*k**2 - 3. Let t be f(-8). Is w(t) a multiple of 8?
True
Let x(o) be the second derivative of 155*o**3/6 - 83*o**2 + 6*o + 4. Is 38 a factor of x(7)?
False
Let a = -65 - 104. Let w = a + 455. Let k = -46 + w. Is k a multiple of 37?
False
Let n(k) = -k**3 - 24*k**2 - 46*k + 71. Is n(-37) a multiple of 103?
True
Let g(w) = -36*w + 3. Let m be g(-2). Suppose -c - m = d, 6*d = -5*c + 3*d - 379. Let l = 161 + c. Does 12 divide l?
True
Let i(u) = -3 - 15*u - u**2 - 4 + 1. Suppose 0 = -t + q - 9, 5*t - 3*q = -4*q - 45. Does 12 divide i(t)?
True
Let i = 169 + -32. Let t = -133 + i. Suppose -197 = 4*g + x - 598, 0 = -t*g + 4*x + 416. Is 18 a factor of g?
False
Let f = -42 - -50. Does 23 divide (-273)/(-4) + (-2)/f + 1?
True
Let b = 399 - 294. Suppose -4*g + 12 = 0, -2*d + 1 = -3*g + 4. Suppose -b = -d*i + 153. Is i a multiple of 19?
False
Does 38 divide 142/5*4/(56/3990)?
True
Suppose 15*l = -115737 + 175982 + 278455. Is l a multiple of 10?
True
Let s = 43 - 55. Let u = 14 + s. Suppose 4*h - 16 = -u*p, 3*p = 3*h - 5*h + 32. Does 6 divide p?
True
Let j(a) = 25*a**2 + 39*a + 457. Is 76 a factor of j(-12)?
False
Let g(m) = 555*m + 12653. Is 137 a factor of g(-7)?
True
Suppose -134878 - 122859 + 98617 = -8*p. Is 130 a factor of p?
True
Let p(b) = -b**3 - 7*b**2 + 3*b + 3. Let z(l) = -l**2 + 7*l + 11. Let i be z(9). Let w be p(i). Does 13 divide (w/27)/(2/(-156))?
True
Suppose -57*l + 4097610 + 581490 = -7*l. Does 24 divide l?
False
Suppose 3*k + 45579 = 3*g, 2*g + 2343 = 4*k + 32731. Does 8 divide g?
True
Suppose 11*c + 50 = 12*c - 4*l, -139 = -2*c - 5*l. Is c a multiple of 31?
True
Suppose -4*t + 4*n - 348 = 0, 4*t - 5*t = 3*n + 79. Let v = -72 + 35. Let p = v - t. Is 6 a factor of p?
True
Let x(d) be the third derivative of d**6/120 - 23*d**5/60 + 7*d**4/12 - 59*d**3/3 - d**2 + 2*d. Does 12 divide x(23)?
True
Let w(b) = 10*b**2 - 29*b - 15. Let d be w(-7). Let l = -652 + d. Does 2 divide l?
True
Let d = 13878 + -8679. Does 17 divide d?
False
Let h = -2399 + 3263. Is 54 a factor of h?
True
Suppose 3*t - 410 - 739 = -3*l, 5 = -t. Suppose 0*n = 2*n - w - 380, w - l = -2*n. Suppose 11*y - 3*y = n. Does 4 divide y?
True
Let q(x) = -39*x - 25. Let s(c) = 350*c + 225. Let l(z) = 35*q(z) + 4*s(z). Let w be l(-6). Let g = w + 357. Is 19 a factor of g?
False
Let z(l) = l**3 + 19*l**2 + 18*l + 3. Let q be z(-18). Suppose -x = 2*g + 5, -g = q*x - 2*g - 20. Suppose x*r - 3*r = 224. Is 28 a factor of r?
True
Suppose 82*s = 57720 - 3518. Is s a multiple of 3?
False
Suppose -8 = 4*h, 1 = 5*j + h - 12. Let t(u) = 4*u + 1388*u**j + 3*u**2 + 2 - 1387*u**3 - 4. Is t(3) a multiple of 17?
False
Let a = 3 - -6. Let y be 4 + (-3 - 0 - a). Let w(z) = z**3 + 9*z**2 + 5*z + 12. Is 6 a factor of w(y)?
True
Let b(c) = -c**2 - 39*c + 44. Let f(z) = 2*z - 14. Let v be f(-6). Does 9 divide b(v)?
False
Let o(k) be the third derivative of k**5/60 + 5*k**4/24 + 5*k**3/6 + 22*k**2. Let v be o(-5). Suppose a - v*a = 2*b - 48, b - 28 = -3*a. Is b a multiple of 9?
False
Suppose -14*n + 10*n - 4 = 0. Let k be (-22 - -21) + n + 25. Suppose -3*f + 32 = -2*u, -2*f + k + 13 = -5*u. Does 4 divide f?
True
Let p = 596 + -596. Suppose 0 = -5*f + 4*w + 880, p*f + 3*w = 3*f - 525. Does 17 divide f?
False
Suppose 0 = 5*r + 10812 + 4443. Let k = r + 1189. Is (1*3)/((-57)/k) a multiple of 7?
True
Let f(d) = -d**3 + 12*d**2 + 47*d - 38. Let l be f(13). Let h = l - -663. Does 78 divide h?
False
Suppose -22 = -x - 2*g, -6*g + 101 = 3*x - 7*g. Suppose 0 = o - h - x - 19, -o - 2*h = -45. Is 37 a factor of o?
False
Suppose 3*w + 9 = v, -4*w = -3*v - 9*w + 13. Suppose -4*n + n = v. Is 22 a factor of (-4)/(-6)*(n + 68)?
True
Let h(r) = 4*r**2 + 21*r + 15. Let o = 139 + -159. Does 91 divide h(o)?
False
Suppose 2*y - 4122 = -p, -6*y + 5*y = 0. Does 9 divide p?
True
Let y(i) = -74*i + 3305. Is y(-73) a multiple of 158?
False
Suppose 28*n = 5*n + 7682. Suppose 2*v = 4*k + 3*v - n, -v = -k + 86. Is 4 a factor of k?
True
Let j(h) = -h**2 - 9*h + 12. Let k be j(-10). Let l(g) = 6*g + 0*g + 140 - 146 - g + 6*g**k. Is l(-4) a multiple of 7?
True
Let a = -11256 + 25852. Is a a multiple of 164?
True
Let a(f) = -2*f**3 - f**2 + 7*f + 9. Let c be a(-2). Suppose 920 = 3*i + 4*p, -3*p + c = 10. Does 39 divide i?
False
Let u(j) = -j**2 + j + 5. Let s be u(0). Suppose s*f - 3*k - 40 = 0, -k + 2 = 7. Suppose -f*w = 2*x - 238, -148 = -2*w + 4*x - 48. Does 12 divide w?
True
Let w(j) = 2*j**2 + 5*j + 2. Let m be w(5). Let i = m - 70. Let b(a) = 22*a + 26. Does 9 divide b(i)?
True
Does 164 divide (45098 - 236 - (-10)/6) + (-2)/3?
False
Let q be 2/3 - 761/3. Let d be (-87)/(-4)*20/(-3). Let a = d - q. Does 9 divide a?
True
Suppose -8 = 2*t, 2*t = 5*n - 2*n - 26. Suppose -1949 = -n*x + 9067. Is x a multiple of 17?
True
Suppose -65*m + 544320 = 5*m. Does 55 divide m?
False
Let t(i) = -44*i**3 + 20*i**2 + 68*i - 16. Is 58 a factor of t(-5)?
False
Suppose -6*a - a + 525 = 0. Let u = a - 39. Is (-8)/u + (-3068)/(-36) a multiple of 28?
False
Let b = 14210 + -640. Is 10 a factor of b?
True
Let y(f) = -f**3 + 4*f**2 - 2*f + 6. Let b be y(3). Let k be (1 + b)*1/2. Suppose k*n - 31 = -3*j, -5*j + 6*n = n - 65. Is 2 a factor of j?
True
Let b = 770 + -798. Does 14 divide 405*b*7/(-42)?
True
Suppose 5*p = -u + 373, 2*u = -p - 3*p + 296. Suppose -4*x + p = -541. Suppose -4*m - 2*n + x = 0, -m - 4*n + 43 = -2*n. Is m a multiple of 37?
True
Let l = -639 + 11923. Is 26 a factor of l?
True
Suppose 0 = -7*s + 741 - 174. Let d be -6*9/(s/(-6)). Let c(w) = 19*w**2 - 6*w + 8. Is 51 a factor of c(d)?
False
Let u be -4*((-4)/(-24) + 4/(-6)). Let a be u/(-1)*(18/4 + -4). Does 3 divide (12/54 + 87/(-27))*a?
True
Let j(o) = 36*o - 221. Let p be j(6). Is 47 a factor of p/60*4*-1278?
False
Let j(h) = h**3 + 5*h**2 - h - 5. Let o be j(-5). Let d = 633 + -632. Is (o - d - 341)/(3/(-2)) a multiple of 49?
False
Suppose -2*g - g - 3 = -d, -2*d - 4*g = -6. Let n(w) = 11*w**2 - 375*w + 38. Let m be n(34). Suppose -m*t = d*