- 5*a = 5*k + 35, -22 = -5*k - a. Suppose 0 = -2*j - k*l + 72, -i*j = -l + 2*l - 95. Does 8 divide j?
False
Let z = 150 + 590. Is z a multiple of 17?
False
Let z(k) = -4*k**2 + 190*k - 67. Is 39 a factor of z(44)?
False
Let w(f) = 74*f - 29. Is 10 a factor of w(10)?
False
Let w(c) = -118*c + 47. Does 18 divide w(-2)?
False
Suppose 0 = -3*h - n + 1147, -2*h + 26 + 752 = -2*n. Suppose 2*m + 2*m = h. Is m a multiple of 16?
True
Let z(m) = -m**3 - m + 5. Let l be z(0). Suppose -4*a + 5 = -l*x, 5*x + a + 5 = -2*a. Let c(h) = -45*h - 1. Is c(x) a multiple of 10?
False
Is 106/1431 + (-6314)/(-54) even?
False
Let l(d) = -6*d - 10. Suppose -2*n - 2*n - 40 = -3*u, 3*n + 3*u = -9. Is 16 a factor of l(n)?
True
Let l(n) = 72*n**2 + 5*n + 19. Is 15 a factor of l(-3)?
False
Let c(v) = -v**2 + 15*v + 18. Let l(h) = 3*h - 5. Let x be l(6). Is 11 a factor of c(x)?
True
Let z(v) = -v + 4. Let x be z(3). Suppose -4*b + r + 23 = -x, -b = -r - 9. Suppose b*n + 1 = 21. Is n a multiple of 4?
True
Let z(t) = 28*t + 2. Suppose -4*m + k + 8 = 0, -1 = -4*m + 4*k + 19. Let c be z(m). Is (84/70)/(4/c) a multiple of 7?
False
Suppose -4*m - 1273 + 6253 = 0. Is m a multiple of 13?
False
Let w(q) = 232*q + 7. Let p be w(-1). Let v = -15 - p. Does 21 divide v?
True
Let k(h) = -11*h - 59. Does 14 divide k(-13)?
True
Let o be ((-47)/(-3) + 4)*-18. Let j = 614 + o. Is 14 a factor of j?
False
Suppose -6 + 46 = 40*t. Let u be 1/((6/(-16))/(-3)). Let h = u - t. Does 7 divide h?
True
Suppose -5*d + 1083 = -20*a + 24*a, 3*a + 854 = 4*d. Is d a multiple of 10?
False
Let u(g) be the second derivative of -5/2*g**3 + 7*g - 6*g**2 + 1/6*g**4 + 0. Does 15 divide u(9)?
True
Let x be (-51)/(-12) - (-1)/(-4). Is 6 a factor of (-279)/(-6) - (-6)/x?
True
Let u be ((-1)/(-2))/(5/50). Suppose -p + u*s = 7 + 13, -35 = -2*p - 5*s. Suppose -5*c + 250 = 5*b, 0*c + 158 = 3*c - p*b. Does 25 divide c?
False
Is 14 a factor of (5 - 7) + -1 + 6867 + 4?
False
Suppose 7*t = -3*t + 720. Suppose -5*m = -t - 383. Is m a multiple of 14?
False
Suppose -720 = -4*h - 2*n, 0 = 5*h + 4*n - 3*n - 900. Suppose -4*u - u + h = 0. Does 5 divide u?
False
Suppose -4*i + 11298 = -2*q, -i - 3*q + 4*q + 2827 = 0. Does 36 divide i?
False
Suppose 0 = 19*g - 25*g + 3618. Does 9 divide g?
True
Let g(f) = 76*f + 115. Is g(28) a multiple of 19?
False
Let p be 35/(-2)*2*(-360)/42. Suppose p = a + 3*a + 4*b, 2*a = b + 156. Does 11 divide a?
True
Let b(t) = -2*t + 19. Let r be b(9). Let m be (r/(-2))/((-9)/1548). Suppose -3*w - 2 = -m. Is w a multiple of 5?
False
Let x(w) = w**3 + 20*w**2 + 18*w + 5. Suppose 0 = -9*z + 11*z + 38. Does 3 divide x(z)?
True
Let b(v) = 9*v - 1. Let z(s) = s**2 - 2*s - 3. Let t be z(3). Let x = t + 1. Is b(x) a multiple of 4?
True
Let g = 15 + -12. Suppose -2*s - g = -9. Suppose -s = -2*u + 9. Is u a multiple of 3?
True
Let d be (-222)/(-2) - (-2 - 0). Suppose -d = 5*g - 353. Does 16 divide g?
True
Let x = -1944 - -4471. Is 22 a factor of x?
False
Let p be (-72)/3 + -3 + 0 - -2. Does 45 divide ((-238)/(-6))/((p/30)/(-5))?
False
Suppose -p = 2*f - 90, 5*p = -4*f + 455 - 35. Let a = 146 - p. Is 45 a factor of a?
False
Let r(m) = 27*m - 70. Is 25 a factor of r(13)?
False
Let k(u) = -16*u - 2. Let z(w) = -3*w**3 + w**2 - 1. Let t be z(1). Let o = t + 2. Is 4 a factor of k(o)?
False
Let r be 4/(-8)*0/(-1). Suppose -1 = -i, 42 = 2*m - r*i + 4*i. Does 19 divide m?
True
Suppose 4*n - 13 = -q, 2*q = -q + 5*n - 12. Is (-2 - 2 - -6) + 10 + q a multiple of 6?
False
Let s(d) = 7*d - 1. Let g(n) = 2 - 6*n + 4*n - 9*n. Let a(p) = 5*g(p) + 8*s(p). Is 10 a factor of a(8)?
True
Let k(l) = 16*l**2 + 51*l + 51. Is k(-17) a multiple of 22?
False
Suppose 0 = 8*p - 546 - 54. Let v be ((-1)/(-2))/((-1)/(-6)). Let s = p - v. Is s a multiple of 24?
True
Let g be 2/(-6) + 2/6. Let x(i) = -11*i**3 - 3*i**2 + 8*i + 185. Let v(q) = -7*q**3 - 2*q**2 + 5*q + 123. Let r(f) = 8*v(f) - 5*x(f). Is r(g) a multiple of 16?
False
Let h = 12 - 11. Suppose v = -h, -33 = -3*r + 7*r - 3*v. Let n = r + 30. Is 11 a factor of n?
False
Let d(u) = -573*u + 23. Is 67 a factor of d(-3)?
True
Let g(q) = q**3 + 8*q**2 + 3*q - 2. Let h be g(-8). Let w = -1 - h. Let a = w + -15. Is a a multiple of 6?
False
Let q(s) = 13*s - 27. Let d be q(3). Suppose 0 = d*o - 1141 + 241. Is 25 a factor of o?
True
Let h(l) = -2*l + 8 + l - 7*l. Suppose 10*i + 4*i = -56. Does 10 divide h(i)?
True
Let f = 3 + 3. Suppose 0 = -3*a - 0*a + 5*j - 8, j = 4. Does 8 divide 244/6 - a/f?
True
Let b(s) = -s**3 - 11*s**2 + 10*s - 22. Let w be b(-12). Suppose 4*r = w*f + 2 - 62, -f + 31 = -3*r. Is f a multiple of 7?
True
Let u(y) = 3*y**2 - 3*y + 7. Suppose 94 = -10*r + 14. Is u(r) a multiple of 37?
False
Let u = 19 + 5. Suppose -3*w + 2*p = 2*w - 72, -w - 2*p = -u. Suppose -2*z + w = -50. Does 11 divide z?
True
Is 1 + -2 + (0 - -243) a multiple of 41?
False
Suppose -f + 5*f = 12. Suppose 8*i = f*i + 10. Let a(d) = d**3 - d**2 + d + 1. Is a(i) a multiple of 7?
True
Let d(h) = -3*h**2 + 53*h + 109. Does 4 divide d(19)?
False
Is 24/(-36) + ((-3491)/(-3) - 2) a multiple of 14?
False
Suppose z = 3 - 2. Suppose -5 = -2*v + z. Suppose 31 = 5*b - v*b + 5*p, b + p - 23 = 0. Does 7 divide b?
True
Let v be (4 - 2)*(-2)/(-4). Let l be 3*-3*(-4)/6. Let u = v + l. Is 3 a factor of u?
False
Suppose -2*d + 0*d + 124 = 0. Suppose 2*r - d - 90 = 2*p, 3*r = -2*p + 208. Suppose 0 = 4*n - 196 - r. Is 18 a factor of n?
False
Suppose -5*c - 62 = -0*c + 3*g, c + 18 = -2*g. Let r(u) be the third derivative of u**5/60 + 5*u**4/24 + 7*u**3/3 + 10*u**2. Does 16 divide r(c)?
True
Suppose 3*l - 19 + 7 = 0. Suppose l*h - 2*m - 2*m - 1004 = 0, -m = -3*h + 743. Is 41 a factor of h?
True
Suppose 0 = 4*n - 1422 - 3378. Is n a multiple of 10?
True
Let a(z) = z**3 + 5*z**2 - 8*z - 8. Let v be a(-6). Suppose 4*q + 3 = -2*h + 5, 0 = -v*h - q + 25. Suppose 49 + h = 2*p. Is 19 a factor of p?
False
Let u(z) = -9*z - 9. Let t be u(-7). Let m = 59 - t. Is 5 a factor of m?
True
Let w(j) be the second derivative of j**5/20 - j**4/12 - j**3/6 + 20*j**2 + 8*j. Does 20 divide w(0)?
True
Suppose 5*p = 5*l + 20, 6 = -2*l + 4*p - 4. Let g be (-129 - -3)*2/l. Suppose -g = -4*h + h. Is 7 a factor of h?
True
Let r(n) = 2 + 1 + 1 - 1 - n**2 - 10*n. Let l be r(-10). Suppose 2*g = -q + 12, -4*q + 12 = -l*g - g. Does 6 divide q?
True
Suppose 110 = p - 2*h, 3*p - 113 - 222 = 5*h. Does 2 divide p?
True
Suppose t = 5*k - 6635, k + t - 3*t - 1336 = 0. Is k a multiple of 17?
True
Let q(k) = -59*k + 34*k - 10 + 26*k + k**3 - 7*k**2. Is 24 a factor of q(8)?
False
Let z(q) = q**3 - 3*q**2 - q - 6. Let c be z(4). Suppose 0 = c*v - 564 + 204. Does 15 divide v?
True
Let z(u) = 10*u - u**2 + 4 + 7*u + u - 4*u. Is 26 a factor of z(6)?
True
Let x be (-2)/(-10) + (3 - 48/15). Suppose x*y + 3*y = 288. Does 24 divide y?
True
Let m be ((8 - 2)/(-2))/(-1). Is 20 a factor of 3 + m + -3 + 351/3?
True
Let y = -261 - -557. Does 8 divide y?
True
Let n = 26 - 22. Let t be 12 - 0/(-3) - n. Suppose -t*c + 129 = -39. Is 21 a factor of c?
True
Suppose 0 = -52*i + 53*i - 4. Is 192 + 1*(i + -1) a multiple of 15?
True
Let l = 200 + -133. Suppose -37 = -2*v + l. Suppose -v = -4*z + 4. Does 14 divide z?
True
Let d = -942 - -1592. Does 25 divide d?
True
Suppose p = -3*p + 5*c + 15, 5*p - 3*c = 9. Suppose 5*o = 4*u + 131 - 572, p = 4*u + 2*o - 406. Does 18 divide u?
False
Suppose 4*h - 8*t + 11*t - 3209 = 0, -1602 = -2*h - 4*t. Is 11 a factor of h?
True
Let t(c) = 4*c + 91. Is 35 a factor of t(-14)?
True
Let q(j) = 1. Let n(k) = 2*k**2 - 9*k - 3. Let o(g) = n(g) + 3*q(g). Is 18 a factor of o(6)?
True
Suppose 0 = -0*p - 4*p. Suppose -610 = -5*t - p*t. Suppose t = 4*s + 22. Is 6 a factor of s?
False
Let g(c) be the third derivative of -c**6/120 - c**5/10 - 5*c**4/8 - 3*c**3/2 + 13*c**2. Is 30 a factor of g(-5)?
False
Let b(f) = -f**3 - 11*f**2 + 10*f + 137. Does 21 divide b(-12)?
False
Let w be (-58)/7 - (3 + (-92)/28). Let h(p) = -4*p + 16. Is h(w) a multiple of 8?
True
Let s be (-2)/2*3*-1. Suppose -s*b = b - 324. Suppose -3*p - 41 = -3*a + 67, -2*a + b = -5*p. Is a a multiple of 11?
True
Let j be 4 + -2 + (-12)/(-2). Let k = -7 + j. Does 23 divide k/4 + (-454)/(-8)?
False
Suppose -91 - 133 = -z. Does 32 divide z?
True
Let n(w) = 2*w - 10. Let i be n(7). Suppose i*h - 20 = -h. Sup