 = 13*i + 6. Let s(h) = -f(h) + 2*n(h). Does 4 divide s(-2)?
True
Let z = 1071 + -696. Is 5 a factor of z?
True
Let z(o) = o**3 - 9*o**2 + 8*o + 11. Let v be z(8). Let q be (-2)/v + 145/11. Suppose 2*a - 11 = q. Is 4 a factor of a?
True
Let b(q) = 23 - 5*q**2 + 6*q**2 + 6*q + 9. Is b(-8) a multiple of 3?
True
Suppose 0 = -3*f - 3*c, 6 - 1 = 3*f + 2*c. Suppose 2*k - 4 = f*y - 18, -4*k = -3*y. Suppose 4*q - 5 = k*u + 21, -5*u = -10. Is 5 a factor of q?
False
Let v(m) = m + 1. Suppose 15 = 4*t - 1. Let a(n) = -14*n - 2. Let g(o) = t*v(o) + a(o). Is 34 a factor of g(-10)?
True
Suppose -7*u + 2037 = -3*u + 5*c, 1521 = 3*u - 3*c. Is u a multiple of 5?
False
Let v(d) be the second derivative of -8*d**3 + 3*d**2 + 6*d. Is 17 a factor of v(-3)?
False
Suppose -4*x = -5*w + 283, 0*x - 301 = -5*w - 2*x. Suppose -z = 4*r + w, 4*r + 44 + 20 = 4*z. Does 9 divide ((-54)/30)/(1/r)?
True
Let v = 22 - 19. Suppose 230 = v*b - 8*b. Let h = b + 90. Is 18 a factor of h?
False
Let j(h) = 8*h + 0 - 6 + 1. Let w be (-4)/14*(3 - 17). Is 7 a factor of j(w)?
False
Let o be (-15 + 12)*(-12)/4. Let k be (3/2)/(1/(-2)). Is 3 a factor of -6*2/k + o?
False
Let y be 5/20 + 30/8. Suppose 2*u + 0*u = y. Suppose 4*d - 2*l = u*l + 124, d - 3*l = 41. Is 13 a factor of d?
True
Let n(m) = 198*m**3 - m + 2 + 3*m - 199*m**3 + 2*m**2 + 3*m. Let y = 1 - 4. Is n(y) a multiple of 10?
False
Suppose 4*t = -4*a - 144, -a + 4*t - 3*t - 38 = 0. Let u = a + 82. Does 5 divide u?
True
Let i(t) = 0*t**2 + t**2 - 15*t + 5*t**2 - 10 - t**2. Let j be i(8). Suppose j = -u + 6*u. Does 19 divide u?
True
Suppose 2*j + j = -6. Let m be 370/15 + j/3. Let t = 59 - m. Is 16 a factor of t?
False
Is 45 a factor of (-30)/(-1)*(-45)/(-2)?
True
Let g(r) = 24*r - 16. Let b(t) = -168*t + 111. Let h(i) = 2*b(i) + 15*g(i). Is h(3) a multiple of 12?
False
Let d(m) = 169*m + 3. Let f = 25 + -23. Let z be d(f). Suppose 0 = 3*n - 2*l - 215, 47 - z = -4*n - l. Is 16 a factor of n?
False
Let k be -2 + (-45)/(25/(-5)). Suppose -309 - 895 = -k*m. Does 43 divide m?
True
Let f(j) = 5*j**2 + 6*j + 1. Is f(11) a multiple of 32?
True
Let g(r) = 102*r + 4. Let j be g(-1). Let x = 346 + j. Is 31 a factor of x?
True
Suppose 0 = 23*a + 24160 - 99600. Is 80 a factor of a?
True
Suppose -5*c = 5*h - 690, 5*c + 148 = 6*c - h. Does 3 divide c?
False
Suppose -30*g + 24*g = -1002. Is 7 a factor of g?
False
Let u = 1664 - 742. Does 78 divide u?
False
Let x(v) = -v**2 + 7*v - 6. Suppose -9 - 11 = -4*m. Let j be x(m). Suppose 0 = j*a + b + 2*b - 181, 0 = a + b - 45. Does 23 divide a?
True
Suppose 0 = -2*d - 4*v + 176, 2*v = -2*v - 8. Suppose -15 - d = -g. Is 21 a factor of g?
False
Suppose l - 3*y = -3*l + 274, 0 = 5*l + 3*y - 329. Is 23 a factor of l?
False
Let x = -1742 + 2802. Is 26 a factor of x?
False
Let d(q) = q**3 + 13*q**2 - q - 21. Is 11 a factor of d(-10)?
False
Suppose 0 = 16*h + 139 - 699. Is 5 a factor of h?
True
Let q(w) = -10*w + 31. Suppose 5*a = -4*k - 38 + 11, -4*k + 5*a - 77 = 0. Does 29 divide q(k)?
False
Let z(t) = -12*t**3 + t**2 - 9*t - 6. Is z(-3) a multiple of 13?
False
Is -4*42/12*-17 a multiple of 14?
True
Let o(i) = 216*i**2 - 95*i + 3. Is 18 a factor of o(-3)?
True
Suppose -36 = 3*i - 27. Is 13 a factor of 1162/6 + i/(27/(-12))?
True
Suppose -74*w + 17819 + 9635 = 0. Is w a multiple of 43?
False
Suppose 5*s = 5*g - g - 15549, 4*g = s + 15561. Does 13 divide g?
False
Suppose 9 = -6*w - 9. Let s be 1/(0 - (-2)/(-78)). Let t = w - s. Is t a multiple of 18?
True
Let w = -1363 + 1959. Suppose 4*r - w = -0*r. Suppose -3*j + r = -5*h, -5*j - h + 5*h + 270 = 0. Is j a multiple of 13?
False
Suppose -3*d + 455 = -10*d. Let p = -37 - d. Is p a multiple of 4?
True
Does 36 divide -1 + (-467)/(-5) - 74/185?
False
Suppose -4*q = 4*h - 280, q = -4*h + 50 + 35. Is 8 a factor of q?
False
Let r = 5 + -4. Does 12 divide r*(-1 + -2) - -76?
False
Let m = -661 - -2685. Does 22 divide m?
True
Suppose 19*r - 22*r = -4*v + 4216, 5*v = r + 5259. Does 10 divide v?
False
Suppose -3*l + 222 + 394 = x, 3*l = -4*x + 619. Let v(f) = 2*f**2 + 3*f + 2. Let r be v(-2). Suppose l = r*u + 13. Is u a multiple of 16?
True
Let a(w) = 6*w**2 - 113*w - 93. Is a(21) a multiple of 3?
True
Suppose -5*r + 2*s = 4*s + 2, 0 = -r + 5*s - 22. Let u = r - -5. Suppose -4*a - u*n = -189 - 140, 234 = 3*a - 2*n. Is 16 a factor of a?
True
Let q(z) = 17 - 30 + z**3 - 2*z**3. Let a be q(0). Let n = -6 - a. Does 2 divide n?
False
Suppose 13*q - 103 - 79 = 0. Suppose 146 = -q*a + 2694. Is 26 a factor of a?
True
Let w(g) = -g**2 - 7*g - 2. Let y be w(-6). Let k(v) = v**3 + 6*v**2 - 5*v + 4. Does 13 divide k(y)?
False
Suppose -293 + 10 = -2*w + y, -w + 4*y + 124 = 0. Is 8 a factor of w?
True
Is 16 a factor of 9/(-63) + (-4384)/(-14)?
False
Let l(d) = -d**3 - 12*d**2 + 20*d. Let y be l(-14). Suppose 5*z + y = 7*z. Is 28 a factor of z?
True
Let l(a) = 3*a**3 - 2*a**2 + 6. Let k be l(5). Let i = -183 + k. Suppose 0 = 6*s - 4*s - i. Is 37 a factor of s?
True
Let s = 14 - -24. Suppose -5*g + 12 = -s. Is 3 a factor of g?
False
Does 19 divide -9 - (-1)/(6/216)?
False
Suppose 0 = 6*h - 13 - 89. Suppose 2*n + h = 63. Is 23 a factor of n?
True
Let m be ((-12)/3)/(2/41). Let z = m - -172. Is 10 a factor of z?
True
Suppose 0 = -0*d + 2*d - 5*l - 212, 5*d - 5*l - 530 = 0. Suppose 4*t = -6*i + i - 103, 0 = 4*t + 2*i + d. Does 6 divide t/15*(-10)/3?
True
Let v = 1517 - 1133. Does 6 divide v?
True
Suppose -n - 4*y + 110 = -9*y, -3*y = 0. Is 5 a factor of n?
True
Suppose 4*x + 13 - 185 = 0. Does 8 divide x?
False
Let s be ((-12)/(-2))/(-2) - -64. Suppose -2*z = -z - s. Is z a multiple of 17?
False
Suppose 4*v - 4*s - 4308 = -7*s, v + 4*s = 1064. Does 4 divide v?
True
Suppose 5*j - 8 = 2. Suppose -4*r = -j*r. Suppose 0 = 3*i + 4*k - 2*k - 73, r = 2*i + k - 49. Does 8 divide i?
False
Let a(t) = -9*t - 15. Let i = 26 + -36. Let s be a(i). Suppose -5*p = -55 - s. Does 13 divide p?
True
Let q(x) = 29*x - 95. Is 21 a factor of q(13)?
False
Does 22 divide (158 + -8)*(-484)/(-33)?
True
Suppose 298 + 377 = q. Does 14 divide q?
False
Let h(g) = 4*g**2 + 2*g - 1. Let z be h(-2). Suppose 0 = -8*q + z*q - 378. Is q a multiple of 18?
True
Suppose z - 1 = t, -2*t + 3*z - 2 = 4. Suppose -7*m + t*m + 176 = 0. Let l = 20 + m. Does 27 divide l?
False
Let c = 134 - -39. Let p = c - 61. Is 16 a factor of p?
True
Let o(z) = -3*z + z**2 + 2 - 1 - z - 14. Is 8 a factor of o(7)?
True
Let x = -18 + 30. Suppose -t + 5*k = -283, -k - k - 8 = 0. Does 17 divide x/(-16) + t/4?
False
Let u(g) = -g**3 + g**2 - g - 4. Let x be u(0). Let p(o) = -3*o**3 + o**2 - o. Let j be p(1). Is 8 a factor of x*6*j/6?
False
Suppose 4*u + 2*f - 3158 = 0, -4*u + 5*u + 3*f - 797 = 0. Is u a multiple of 49?
False
Let n = 3 - -1. Let s(t) = -28*t**3 + 2*t + 2. Let g be s(-1). Let m = g + n. Is m a multiple of 16?
True
Let a(t) = -t**2 + 6*t + 9. Let g be a(7). Suppose 0 = 3*i + 5*o, o = i + g*i. Suppose i = -0*m - m + 36. Is m a multiple of 12?
True
Let w = -1001 - -1519. Is 74 a factor of w?
True
Let l(m) = -m**2 + 12*m - 20. Let f be l(10). Suppose -3*p + 20*p - 527 = f. Is p a multiple of 6?
False
Let f be (-1)/3 + 4352/6. Suppose -5*x = -3*j + f, -j = -2*j - 2*x + 260. Does 30 divide j?
False
Let i(v) = v**2 + 16*v + 21. Let m be i(-13). Let l = 42 - m. Is l a multiple of 30?
True
Suppose 0*b = -6*b + 828. Does 37 divide b?
False
Suppose -5*h - 4*i = -6*i - 530, 2*h + i = 212. Is 9 a factor of h?
False
Let c(s) = -s - 24. Let a be c(-24). Suppose a*j + 540 = 10*j. Does 7 divide j?
False
Let x = -518 - 406. Let t be 18/(-14) + (-4)/(-14). Does 12 divide (t/(-2))/((-7)/x)?
False
Suppose 6264 = -15*d - 36. Does 59 divide (0 - (-32)/20)/((-4)/d)?
False
Is 4 a factor of 14 - (-1)/(-2)*1*4?
True
Suppose -3*w - 128 = -5*l, 2*l + 5*w = 4*l - 36. Is 5 a factor of l?
False
Suppose f - 2*a = -0*f + 72, -5*f + 373 = 3*a. Suppose -2*h - 2*x - x = -158, h = x + f. Does 19 divide h?
True
Let m be ((-94)/(-3))/(2/(-3)). Let h be 4/14 - m/7. Suppose -5*p - 4*k - h + 85 = 0, 4*p = -4*k + 60. Does 9 divide p?
True
Let s = -231 + 510. Does 31 divide s?
True
Let j be (1 + -1)/(-1) - -57. Let u = 121 - j. Suppose g - u = -g. Does 5 divide g?
False
Let h(g) be the first derivative of 4*g**3/3 - 3*g**2 - 3*g - 23. Does 3 divide h(3)?
True
Suppose -4*n - 5*s + 58