 Let w be r(n). Is 3 a factor of i(w)?
False
Let i be 94/2 - (7 + -7). Let d be i*(0 + (-2)/2). Let n = -25 - d. Is 22 a factor of n?
True
Let w = -14 + 104. Does 41 divide w?
False
Let w be -9 + 8 + (2 - -108). Let k = w - 75. Does 13 divide k?
False
Let s(y) = 2*y + 83. Let q(h) = 2*h + 84. Let d(b) = -4*q(b) + 5*s(b). Let x be d(0). Let t = -33 + x. Is t a multiple of 23?
True
Suppose 4*p = -5*r + 50 - 10, -p + 3 = 3*r. Suppose 3*j = -9, k + p = -2*k - 2*j. Does 36 divide (-54)/(-12)*(-94)/k?
False
Suppose 3*k = 12*k - 45. Suppose -105 = -k*q + 2*q. Is 17 a factor of q?
False
Let f(q) = -q**2 + 7*q + 11. Let x be f(6). Let j(g) = -7*g + 15*g + x*g. Does 25 divide j(1)?
True
Suppose -5 - 39 = 5*p - 2*w, 5*p + 30 = -5*w. Suppose 0 = 2*y + 398 - 70. Does 7 divide y/p - (-2)/4?
True
Suppose -7*w + 316 + 2029 = 0. Is w a multiple of 18?
False
Suppose 4*i - 3*o - 32 = o, 4*i + 2*o - 14 = 0. Suppose 0*j + i*j = 15. Suppose 141 = 3*n + j*g, -5*n + 68 = 2*g - 176. Is 8 a factor of n?
False
Is 27 a factor of (-33)/(-88) + (-28938)/(-16)?
True
Suppose -3*c - 3*a + 2424 = 0, c + 5*a = 2*c - 820. Does 5 divide c?
True
Suppose 36 = -13*d + 9*d. Let f = d + 83. Does 27 divide f?
False
Let c(x) = x**3 - 7*x**2 + 8*x - 7. Let h be (-112)/(-16) - 2*1. Let g be -1*(-36 - -1)/h. Is 9 a factor of c(g)?
False
Let p be 152/(-6) + (-1)/(-3). Let f(u) = 12*u - 8. Let l be f(5). Let o = p + l. Is o a multiple of 16?
False
Let v be (-6)/21 + 312/14. Suppose -2*m - v = -214. Is 10 a factor of 0 - 3 - m/(-4)?
False
Let f(z) = z**2 - 1. Let c(i) = 7*i**2 + 3*i + 3. Let k(u) = c(u) + 3*f(u). Let n be k(-2). Let a = n - -11. Is 9 a factor of a?
True
Let f(z) = 2*z**2 - 10*z + 3. Let w be f(5). Suppose -w*m = m - 320. Does 9 divide m?
False
Let d(n) = -n**3 - 5*n**2 - 5*n. Let r be d(-4). Suppose 5*t - 584 - 3552 = p, -p = -r. Is t/15 + (-1)/5 a multiple of 11?
True
Suppose 4815 = -4*q - 11*q. Is (-1)/1 - (q - 4)*1 a multiple of 46?
False
Suppose -53*y + 32610 = -30619. Is y a multiple of 45?
False
Suppose 0 = -w - 3*k + 386, 461 + 707 = 3*w + 4*k. Is w a multiple of 8?
True
Suppose 0*z = z - 2. Suppose 2*g + 38 = 4*k, 5*k - z*g = -4*g + 25. Let x = -3 + k. Is x a multiple of 4?
True
Let z(k) = -k**2 - 11*k - 12. Let b be z(-8). Let l be (-3 - (-17)/4)*b. Suppose m - 15 = -c, -c + 2*m + 3*m + l = 0. Is 3 a factor of c?
True
Suppose 4*z + 413 = 5*t, 2*z + 0*t - 5*t + 209 = 0. Let f = 113 + z. Is 9 a factor of f?
False
Let s(i) = -i**2 + 29*i - 4. Is s(6) a multiple of 9?
False
Let y(q) = q**2 + 2*q + 1. Let k be y(-3). Suppose f = -k*t + 113, -22 = -0*t - t + f. Does 7 divide t?
False
Suppose 13*b + 1734 - 30464 = 0. Is b a multiple of 34?
True
Let t(h) = -62*h**3 - 2*h - 1. Let s be (12/8 - 2)*2. Let u be t(s). Let o = u + -25. Is o a multiple of 8?
False
Suppose 0 = h + 4*w - 88, 3*w = 4 + 5. Is 5 a factor of h?
False
Let l be (-27 - -2)*5/(-25). Suppose l*y = 2*d + 811, 0 = -5*y + 3*y + d + 324. Is y a multiple of 38?
False
Let d(j) be the first derivative of 16*j**4 - j**2/2 + j - 2. Suppose -3 = -0*f - 3*f. Is 14 a factor of d(f)?
False
Suppose 0*l + 48 = 3*l. Let c be 2/6*(-19 + -2). Let t = c + l. Is t a multiple of 5?
False
Suppose 5*o + 3*j + 5028 = 7*o, -2*o + j + 5036 = 0. Does 8 divide o?
True
Let f(n) = 8 - 17*n - n - 4*n - 19. Is f(-4) a multiple of 12?
False
Let d(k) = -3*k + 3. Let x be d(2). Let v be (1/x)/((-2)/18). Suppose -v*w = -82 + 16. Does 11 divide w?
True
Suppose 626 = r + 3*m, -3*r + 0*r + 3*m + 1854 = 0. Does 10 divide r?
True
Let y be 56/20 + (-8)/10. Suppose -y*s + 560 = 5*s. Is 20 a factor of s?
True
Suppose 3*r - 1786 = 4*u, 3*u - 1524 = -3*r + 234. Is r a multiple of 5?
True
Suppose 5*f - 721 = -t + 424, -3*f - 5*t = -665. Is f a multiple of 23?
True
Let r(q) = 15*q**3 + q + 3. Let a be r(3). Suppose 2*k + k - a = 0. Is k a multiple of 36?
False
Let d(i) = -i**2 - 3*i. Let n be d(-3). Let l be (-2 - -1)*-83 + 1. Suppose n*j + 4*j - l = 0. Is j a multiple of 17?
False
Let c = 26 - 25. Let b be -13 - 1/(1/c). Let g = 10 - b. Does 24 divide g?
True
Is 20/(-12) + 12082/42 a multiple of 11?
True
Let a(c) = 40*c - 16. Is a(3) a multiple of 12?
False
Does 20 divide -2 + 1 - (83 + 0)*-7?
True
Let g(u) be the third derivative of -u**5/60 - 5*u**4/24 + 4*u**3/3 + 19*u**2. Is 2 a factor of g(-4)?
True
Let t(k) = 5*k**3 + 7*k**2 - 8*k. Is t(2) a multiple of 8?
False
Suppose -4*i + 48 + 48 = n, 0 = 3*n - 4*i - 256. Is n a multiple of 22?
True
Let m be (1 - 5) + (6 + -3 - -99). Suppose -7*j + 42 = -m. Does 5 divide j?
True
Suppose -4 = -10*o + 9*o. Let p(r) = r**3 + 8*r**2 + 7. Let u be p(-7). Suppose 8*l - 4*l = -2*t + u, -2*t + o*l = -48. Is 5 a factor of t?
False
Suppose -1 + 2 = -3*b - 5*j, -5*b = -5*j + 15. Does 15 divide (-57)/b + (-6)/(-4)?
True
Let p be 4/7 + 66/7. Does 15 divide (6/p)/(16/400)?
True
Let n be 8/2*-8*1. Is 18 a factor of (-414)/(-12)*n/(-12)?
False
Let g = -1015 - -1708. Is 9 a factor of g?
True
Let o be (-18)/(-4)*(-5 + 7). Suppose o = 6*i - 3*i. Suppose -153 = -6*b + i*b. Is b a multiple of 17?
True
Let i(y) = -8*y + 3. Let d(u) = 17*u - 6. Let s(p) = p**3 - 4*p**2 - p + 2. Let g be s(4). Let v(x) = g*d(x) - 5*i(x). Is v(3) a multiple of 15?
True
Let g(o) = -2*o**3 + 30*o**2 - 23*o - 13. Is g(11) a multiple of 6?
True
Let t(b) = -b**3 + b**2 + 2*b. Let k = -2 - -4. Let p be t(k). Does 17 divide p/2 - 3 - -23?
False
Let z(g) = g. Let b be z(2). Suppose 2*t - 96 = 2*d, -b*t = 2*t + d - 167. Let a = t - 31. Is a a multiple of 4?
True
Let l = 468 - 315. Is 27 a factor of l?
False
Let q = 60 + -53. Let x(o) = 4*o**2 - 19*o + 12. Is 25 a factor of x(q)?
True
Let i(w) = -2*w - 6. Let f be i(-5). Suppose -11 - f = -5*t. Does 18 divide 20 - (1 + -2) - t?
True
Suppose 5*m + 23 = 6*m. Let c(h) = -h - 13. Let b be c(0). Let r = m + b. Is 3 a factor of r?
False
Let j = 17 - 17. Is (11 - (j - -3))*(-86)/(-8) a multiple of 14?
False
Let u(v) = 24*v + 3. Let h be 1/(-9) - 20/(-18). Is u(h) a multiple of 4?
False
Suppose -4*a + 9588 = 2448. Does 76 divide a?
False
Let u = -3 - -7. Let d(a) = 5*a - 65. Let j be d(13). Suppose u*v - 6*v + 50 = j. Does 5 divide v?
True
Let i be 0/2*(-2 + 3). Let x = -275 + 291. Suppose i = -3*r + x + 23. Does 5 divide r?
False
Let d(i) = 2*i**2 + 36*i - 1270. Is d(-52) a multiple of 9?
False
Let l be ((-10)/8)/(-1)*(10 + -6). Suppose -4*n + 2*o - 4*o = -162, l*o = -5*n + 215. Is n a multiple of 5?
False
Let v(b) be the first derivative of 15*b**4/2 + b**3/3 - b**2/2 - b + 2. Does 16 divide v(1)?
False
Let c(v) = -11*v + 420. Is 28 a factor of c(0)?
True
Let q(k) = -14*k**2 - 222*k + 9. Does 89 divide q(-14)?
False
Suppose 0 = 3*h + 3*j - 333, -2*j = 4*h - 297 - 155. Does 7 divide h?
False
Suppose -7*f + 404 - 1503 = 0. Is f/(-2) - (-24)/(-16) a multiple of 23?
False
Let f(x) be the third derivative of x**5/60 - 7*x**4/24 + 4*x**2. Suppose 5*k - 40 = -5*b, 0*b = -b. Does 6 divide f(k)?
False
Let i(d) = -4*d + 4. Suppose 4*s - 2 = c + 11, 4*s = 3*c + 23. Is 12 a factor of i(c)?
True
Suppose -5*n + 291 = 51. Let j be (-16)/n - 1/(-3). Is 11 + (0 - j - -1) a multiple of 4?
True
Let j(d) = -11*d**3 - 8*d**2 + 6. Does 6 divide j(-5)?
False
Let z(b) = 673*b**2 + b. Is z(-1) a multiple of 21?
True
Let s(p) = 6*p - 1. Let i be s(1). Suppose -3*j = -5*w + 349, 0 = -0*w + 3*w - 3*j - 207. Let o = w - i. Does 22 divide o?
True
Let q(b) = b**2 + 4*b - 3. Let a be q(-7). Suppose a = 2*y - 0*y. Let p = y - -26. Is 23 a factor of p?
False
Suppose 2*m - 5*m + 555 = 0. Let f = m - 128. Is f a multiple of 19?
True
Let n = 1350 + -938. Does 38 divide n?
False
Let o(d) = -d - 11. Let l be o(-10). Let f be (17 + l)/(3 - 4). Is 33 a factor of (f/48)/((-1)/99)?
True
Let b be (-17)/3 + ((-20)/3)/(-10). Is 22 a factor of b/((-265)/130 - -2)?
False
Let w(t) = t**3 - 11*t**2 - 10*t - 2. Let i(s) = s - 1. Let d be i(1). Suppose 0*u + 12 = u + a, -2*u + 3*a + 24 = d. Is 11 a factor of w(u)?
True
Let n(x) = 2*x + 8. Let h(m) = -3*m - 7. Let q(k) = -4*h(k) - 5*n(k). Let r be q(7). Suppose 0 = 3*t + s - 59, -4*s + r = t - 2*t. Is 6 a factor of t?
True
Let p be ((-2)/(-4))/((-3)/36). Let s(y) = -5*y + 4. Does 17 divide s(p)?
True
Is 43 a factor of -504*(-12)/(-8)*-2 + 4?
False
Suppose -f + 0*f = -513. Is 19 a factor of f?
True
Suppose -16*q + 2