 - 78 = -4*j. Suppose 5*z = z - j. Is (132/10)/(-3)*z a multiple of 11?
True
Suppose 2*z = -2*a + z + 6, 5*a = 5*z. Suppose -5*k = q - 165, 4*q + 76 = k + a*k. Is 8 a factor of k?
True
Let w(u) = 24*u - 26*u - 8 - 19*u. Let s be (3 - 1) + 1 + -7. Is w(s) a multiple of 30?
False
Let h be (13 - 14) + 5/1. Suppose 4*m = 2*x + 2*x + 28, -h*m + 16 = -x. Is (-2 - (x - -2)) + 7 even?
False
Does 24 divide (-109480)/(-240) + 2/(-12)?
True
Let k(i) = i**3 + i**2 + 903. Does 21 divide k(0)?
True
Let k = -17 + 24. Suppose 2*r + s = k*r - 95, -74 = -3*r + 4*s. Is 13 a factor of r?
False
Suppose -2*s - 2125 = -7*s - k, 1711 = 4*s + 3*k. Suppose -6*w - 110 - s = 0. Let j = -54 - w. Is 8 a factor of j?
False
Suppose f - 3*f + 28 = 0. Suppose -2*u + f = -0*u. Let h = u + 3. Does 5 divide h?
True
Suppose 2*z = 16 - 46. Let w = -9 - z. Does 13 divide w/(-8) - (-139)/4?
False
Suppose -7 = m - 11. Suppose -2*o + 34 = 4*d, -m*d - 4*o + 21 + 15 = 0. Is 8 a factor of d?
True
Let m(s) = 3*s**3 + 27*s**2 - 7*s + 16. Does 39 divide m(-9)?
False
Suppose 5*v + 1875 = 2*u, -207*u - 4*v - 936 = -208*u. Is 52 a factor of u?
False
Suppose 0 = 2*g + 4*x - 1524, 8*g = 10*g - 2*x - 1542. Is g a multiple of 14?
False
Suppose -5*n - 2*a - 14 = 2*a, -5*n - 3*a = 13. Is 2 a factor of 1/(2*1/(-8))*n?
True
Let c = 682 - 381. Is 43 a factor of c?
True
Does 30 divide (-1 - 84 - 4)*(0 + -3)?
False
Let h(c) = 2*c - 3. Let i be h(3). Let x(m) = 8*m**3 - 9*m**i - 5 - 10*m - 7 + 13*m**2. Is 4 a factor of x(12)?
True
Let f(m) = -m**2 + 3*m + 4. Let j be f(4). Suppose 2*p - 190 = b, p - 5*b - 92 - 12 = j. Let k = p - 55. Is 10 a factor of k?
False
Suppose -5*c - 5 = 0, -x = -2*x + 5*c + 9. Is 12 + x - (5 - 3) a multiple of 7?
True
Let g(c) = 5*c**2 - c - 4. Let h(p) = p**2 - 1. Let x(f) = -g(f) + 6*h(f). Let n be x(-2). Suppose -3*z + 3*a + 87 = n, 3*z - a = 4*a + 91. Does 10 divide z?
False
Let l(k) = -10*k + 10. Let j be l(4). Let g = j - -17. Let x = -5 - g. Is x a multiple of 8?
True
Let k(y) = 3*y - 20. Let h be k(6). Does 22 divide 91 + -2 + 0/(h - 2)?
False
Let x(r) be the second derivative of r**4/6 - r**3/6 + 2*r**2 + 6*r. Let u be 5 + (-4)/1 + 2. Is x(u) a multiple of 13?
False
Suppose -4*x + 116 = -5*v, -4*x - 3*v + 81 = -3. Is 4 a factor of x?
True
Let z be -2 + 90 - (-1 - -1 - 1). Suppose -3*u + z = -2*u. Is 10 a factor of u?
False
Suppose 0 = -2*v + 4, 3*u - 2198 - 534 = 2*v. Is u a multiple of 19?
True
Let v(m) = -m**2 - 37*m - 133. Is 12 a factor of v(-16)?
False
Suppose 0*u + u - 3 = 0. Let x(d) = 8*d + 18*d - 8*d - u. Is 22 a factor of x(2)?
False
Suppose 40 = 2*d - 5*l, -3*l + 0*l - 100 = -5*d. Suppose d - 3 = g. Is g a multiple of 13?
False
Let b(l) = l**3 + 2*l - 10. Suppose 27 = 5*d + 7. Is 8 a factor of b(d)?
False
Let p = 471 - 387. Is 14 a factor of p?
True
Let u(a) = 10*a + 329. Does 3 divide u(-10)?
False
Suppose -6 = 4*h - h. Is ((-11)/(-11))/(h/(-158)) a multiple of 51?
False
Suppose -b - 2*z + 350 = 0, -b - z - 705 = -3*b. Is 27 a factor of b?
False
Let z(m) = 4*m + 318. Is 8 a factor of z(-67)?
False
Let f(u) = -u**3 + 5*u**2 + 7*u - 8. Let q be f(4). Suppose -12 - q = -4*d. Is d a multiple of 4?
True
Let f(j) = -j**2 + 15*j - 9. Let d be f(11). Is 5 a factor of d/(-2)*(0 + 16/(-20))?
False
Let a = -952 - -1927. Is 72 a factor of a?
False
Suppose 3*x = -91 + 16. Let v = x - -31. Let u(a) = a + 19. Is u(v) a multiple of 25?
True
Let h(s) = -9*s - 47. Suppose 0 = a - 3*i + i, 0 = -a + 4*i + 6. Does 3 divide h(a)?
False
Let v be 69/5 - -4*6/(-30). Suppose v = i - 41. Is i a multiple of 4?
False
Let z(a) = 3*a**2 + 8*a + 7. Let r be z(-9). Let o be -72*((-39)/(-9) + -3). Let p = r + o. Does 19 divide p?
False
Suppose 4*q + 13 = 85. Suppose -u + 2*u - q = 0. Let r = u + -3. Is r a multiple of 15?
True
Let o(u) = -u**3 + 12*u**2 - 10*u - 1. Let f be o(11). Let w = 1 + f. Does 11 divide w?
True
Let h = -20 - 3. Let w(b) = 46*b - 1. Let i be w(1). Let o = h + i. Is o a multiple of 11?
True
Let r(h) = h + 3. Let s be r(1). Let q(j) = j + 39. Let b be q(0). Suppose k = 2, 101 = s*a - 5*k + b. Is 7 a factor of a?
False
Suppose 9 + 1 = 5*y. Let h(g) = -4*g**3 - 9*g**2 + 1. Let l(o) = o**3 + 2*o**2. Let v(i) = 2*h(i) + 9*l(i). Is v(y) a multiple of 3?
False
Suppose 4*d + 496 = 3*g, 409 = 4*g - 2*d - 259. Does 24 divide g?
True
Suppose 7 = 5*d - 8. Let y be (103 - 9/d) + 0. Suppose 0*p = 5*p - y. Is p a multiple of 10?
True
Let n = 100 - 96. Suppose 0 = -2*w + n*w + z - 197, -4*w = 3*z - 391. Does 25 divide w?
True
Let k = -118 + 188. Is k even?
True
Let z(q) = -97*q - 359. Does 56 divide z(-20)?
False
Let c(x) = x**2 - x - 7. Let m be c(-3). Suppose -4*w = -5*l - 0*w + 1254, -1251 = -m*l + w. Does 26 divide l?
False
Let v(t) = -t**3 - 7*t**2 - 5*t - 3. Suppose 22 = -3*h + 5*y - 14, 5*h + 2*y + 29 = 0. Does 22 divide v(h)?
False
Let m(g) = -3*g**3 - 11*g**2 - 9*g + 5. Does 18 divide m(-7)?
True
Let j = -440 - -809. Does 41 divide j?
True
Suppose t + 25 = 31. Let x(b) = b**3 - 7*b - 5 - 2 - 1 - 4*b**2. Is x(t) a multiple of 7?
False
Let t = 115 + -64. Let q be 4/5 + -6*(-1422)/60. Let s = q - t. Is s a multiple of 20?
False
Let x(g) be the first derivative of 1/3*g**3 + 6 + 3/2*g**2 + 3*g + 1/4*g**4. Does 12 divide x(3)?
True
Let p(b) = 37*b**2 - 9*b - 22. Is p(-2) a multiple of 9?
True
Let c(l) = -3*l - 27. Let y(n) = -n - 1. Let j(d) = -c(d) + 2*y(d). Does 6 divide j(-11)?
False
Let p be (-69)/(1 - -2)*-23. Suppose -5*y + 2*b + 670 = 0, -3*y + 3*b = 118 - p. Does 30 divide y?
False
Suppose -55 = k + 4*k. Let j = k - -14. Does 3 divide (16 + 2)/j + 3?
True
Suppose 3*d + 4*d - 21 = 0. Let s be 18/4 - (-1)/(-2). Suppose 5*p - k = 5, -p - d = -s*k + 3*k. Is p a multiple of 2?
True
Let x be (-12)/78 - 50/13. Let k(w) = -5*w - 17. Let l be k(x). Suppose 0 = 4*v + 20, -2*h - 4*v = -l*h + 50. Does 10 divide h?
True
Suppose 0 = g + 1 - 4. Suppose g + 27 = y. Suppose 0*p + 2*p = y. Is p a multiple of 15?
True
Let d(r) = 8*r**2 - r - 15. Is d(3) even?
True
Let c = -1 - 2. Let y be 20*10 + 3 + c. Suppose 0*x = 2*x - a - 131, 3*x - 5*a = y. Does 13 divide x?
True
Let t(m) = 2*m**3 + 3*m**2 - 4*m - 3. Let g be t(-3). Does 24 divide (-12)/g - (-476)/6?
False
Let b = 28 + -26. Suppose 0 = -b*t + 9 + 31. Does 10 divide t?
True
Is (472/(-32))/(1/(-8)) a multiple of 25?
False
Suppose 3*w + 3*b + 8 = 2*w, 5*w - b = 24. Suppose m = -w, q - 3*m - 11 = -m. Suppose d = -q*d - 4, -3*j - d = -242. Does 27 divide j?
True
Suppose -2*p + 4*d = -244, -2*p + 241 = -2*d - 3*d. Is 25 a factor of p?
False
Let v = -341 - -636. Is v a multiple of 26?
False
Suppose 3*g - 3740 = -p, -4*g - 5*p - 2337 + 7320 = 0. Does 29 divide g?
True
Suppose 2137 = 26*b + 265. Is b a multiple of 18?
True
Suppose -2*o = 2*o - 20. Suppose 2 = -2*p, 3*p = a + 2*p - o. Suppose -4*v - a*w = -170 - 78, 2*w + 56 = v. Is v a multiple of 15?
True
Suppose 5*u = 4*i + 45, 4*u - 3*i = 3*u + 20. Let p be ((-1)/2)/(3/(-2208) + 0). Suppose u*w = 92 + p. Does 16 divide w?
False
Suppose -14*s + 1687 = -12*s - 3*f, 3*s - 5*f = 2531. Does 6 divide s?
False
Let f = 176 - 50. Does 9 divide f?
True
Let l = -397 - -574. Is l a multiple of 8?
False
Let h = 177 - 120. Let v = 103 - h. Is 8 a factor of v?
False
Let v(q) = q**3 + 35*q**2 - 55*q + 174. Is v(-34) a multiple of 40?
True
Let i(g) = 29 - 12*g + 2 + 16*g. Does 5 divide i(17)?
False
Let j(h) = 123*h - 45. Is j(7) a multiple of 51?
True
Let j = -50 - -84. Let s = j + 14. Is s a multiple of 16?
True
Suppose -5*q = -11*q + 60. Suppose -3*a = -q*a + 378. Does 4 divide a?
False
Let k(u) = u**2 - 17*u - 15. Let w be k(18). Suppose v - 33 = w*j, -2*j + 90 = -v + 5*v. Is v a multiple of 6?
True
Suppose 5*a - 39 = -4*u + 121, -4*u = -5*a + 120. Does 5 divide a?
False
Let r(k) = 250*k**2. Let j be r(-1). Does 19 divide 3/1*(-4 + j/15)?
True
Let s(j) = j**2 + 9*j + 7. Let c be s(-7). Let w = c + 9. Does 27 divide w/5 - (-2015)/25?
True
Does 18 divide (-6)/(48/(-1582)) + (-3)/(-12)?
True
Let b(f) = -7*f**3 + 11*f**2 + 4*f - 4. Let a(m) = 8*m**3 - 12*m**2 - 5*m + 5. Let j(p) = -5*a(p) - 6*b(p). Is 26 a factor of j(5)?
True
Suppose 0 = -4*u + 4*a + 2856, 3*a - 2*a - 706 = -u. Suppose -6*c + u = 182. Is 32 a factor of c?
False
Let c(h) = 5*h**2 - 6 - 5*h - 4*h**2 + 2*h + 0*h. Is c(-6) a multiple of 24?
Tr