de (-182)/((45/(-12))/15)?
False
Let t(h) = 476*h - 56. Let a(x) = 25*x - 3. Let f(r) = 56*a(r) - 3*t(r). Let i(p) = -2*p + 5. Let z be i(3). Is f(z) a multiple of 19?
False
Let n be ((-22)/3)/((-4)/6). Suppose 4*d = 2*d + 14. Let l = d + n. Is 6 a factor of l?
True
Let d = 198 - 138. Does 20 divide d?
True
Suppose 3*t - 15030 = -12*t. Is t a multiple of 14?
False
Let c(b) = b**2 - 12*b - 109. Does 62 divide c(31)?
False
Suppose -x + 5*g = -58 - 19, 4*g - 8 = 0. Does 9 divide x?
False
Let z(h) = h - 7. Let q(o) = 3*o - 21. Let j(t) = -4*q(t) + 11*z(t). Let v be j(7). Suppose 0 = k + f - 28, 2*k - f - 41 = -v*f. Is k a multiple of 14?
False
Let x(g) = g - 3. Let s be x(3). Suppose 0 = c - 5*t - 2, s = -6*c + 2*c + 5*t + 8. Suppose -c*i + 5*u + 60 = 0, -5*i + 119 = 6*u - 3*u. Is 6 a factor of i?
False
Let n be 6/33 - (4 + 344/(-44)). Suppose -3*r + 88 = -n*d, r + 4*d - 37 - 3 = 0. Is r a multiple of 16?
True
Let n be (-18)/(-24) + (-2)/(-8). Let c = n - -18. Let q = c - 4. Is 15 a factor of q?
True
Suppose -4*r + 4 = 0, 17*r = -5*p + 13*r + 64. Is p a multiple of 4?
True
Let l = 41 + -38. Does 18 divide (76 - -12) + 0 + l?
False
Let u(z) = 4*z**2 - 17*z - 10. Let d be u(5). Suppose d*b - 24 - 36 = 0. Is 4 a factor of b?
True
Let c = -1301 - -2238. Is 11 a factor of c?
False
Let h be -557 + (-5)/(-5) + -4. Is 14 a factor of (12/(-10))/((-2)/(h/(-12)))?
True
Suppose -142 - 54 = 2*t. Let i = -28 - t. Does 17 divide i?
False
Let g = -20 + 16. Let j be (-7 - -9)/(g/(-6)). Let x(n) = n**3 + 4*n**2 - 5*n + 3. Is 17 a factor of x(j)?
True
Suppose 10*n + 276 - 476 = 0. Does 3 divide n?
False
Let t be 28/5 + (-4)/(-10). Let k(f) = f**2 - f + 5. Is 5 a factor of k(t)?
True
Let b(p) = -p**2 - 16*p - 15. Let u be b(-15). Suppose u = r + 7*y - 2*y - 105, 16 = 4*y. Is r a multiple of 4?
False
Suppose 147*o - 148*o = -4*k - 1147, 2*o = 4*k + 2278. Is o a multiple of 39?
True
Suppose 3 - 125 = -2*d. Suppose 0 = 2*z + 3*j + 39, 0*z - 3*z - d = 5*j. Does 25 divide (200/z)/((-1)/3)?
True
Suppose n = -4*v + 5*v - 567, -2*v + 4*n = -1128. Is 30 a factor of v?
True
Is 9189/90 - (-1)/(-10) a multiple of 34?
True
Let z be 3*(-3 - 22/(-6)). Suppose -i - 2*s - 2 = -z*i, 5*i + s = 32. Is i a multiple of 3?
True
Let c = 34 + -4. Let r(u) = u**3 - 4*u**2 - 8*u. Let g be r(5). Is 15 a factor of (-109)/(-2) - g/c?
False
Suppose -23*y + 17*y + 432 = 0. Is 11 a factor of y?
False
Let o(b) = 5*b**2 + 43*b - 598. Does 6 divide o(11)?
True
Let k(c) be the second derivative of -5*c**3/6 + 3*c**2/2 + 2*c. Suppose 2*a + 2 + 8 = 0. Does 14 divide k(a)?
True
Suppose 11 = 3*f + 2. Let m(a) = 5 + 0*a**2 + 2*a**2 - a**2 + a**f - 10*a. Is m(4) a multiple of 9?
True
Let q be (-2)/(-4) + 27/(-2). Let w be 0/(-2) + q + 15. Let u = w - -6. Is u a multiple of 8?
True
Let k be 2/7 + 11958/42. Let b = k - 195. Let i = -42 + b. Is i a multiple of 13?
False
Does 6 divide 112/(-80) - 9291/(-15)?
True
Let d be 4/10 - (-56)/10. Suppose z - 8 = d. Suppose -4*o - z = -34. Is 2 a factor of o?
False
Let a = -35 - -37. Let p(k) = k + 5. Let t be p(-4). Suppose -w + 3 = x - t, -a*x + 18 = 4*w. Is w a multiple of 2?
False
Is (-67328)/(-288) - (16/18)/(-4) a multiple of 18?
True
Let h(z) be the third derivative of 217*z**5/60 - 3*z**4/8 + 4*z**3/3 - 21*z**2. Is h(1) a multiple of 31?
False
Let t = 194 - 79. Suppose -1 - t = -4*d. Does 9 divide d?
False
Let p(f) = -3*f. Suppose -6*y - 4 = -2*y. Let s be p(y). Suppose -5*h - 174 = -s*n, -2*h + 3*h = 5*n - 268. Is n a multiple of 9?
False
Let w(o) = -o**2 + 12*o - 2. Let b(s) = -s**3 - 8*s**2 - 8*s + 1. Let n be b(-7). Is 3 a factor of w(n)?
True
Let m be ((-3)/3 - -737) + -1. Suppose p = 8*p - m. Is p a multiple of 35?
True
Let h(a) = 35*a**2 - 57*a - 9. Is 46 a factor of h(9)?
False
Let f be -81 + (0 - (-2 + 2)). Let y = f - -114. Suppose -95 - y = -4*a. Is a a multiple of 16?
True
Let r(v) = 2*v**2 - 10*v - 1. Suppose 5*n - 37 = -3*q, n - 5*n + 31 = q. Is r(n) a multiple of 26?
False
Let m(o) = o + 17. Let n(q) = -3*q - 35. Let c(p) = -5*m(p) - 2*n(p). Let b be c(-7). Let j = b + 44. Is j a multiple of 11?
True
Let r(d) be the first derivative of 14*d**3/3 - d**2 + 2*d - 12. Does 27 divide r(2)?
True
Suppose -3*o + 4176 = n, -2*o + 505 + 2279 = 3*n. Is o a multiple of 24?
True
Let n(q) = -45974 + 0*q**2 + q**2 + 45952. Let m(x) = -x**3 + 3*x**2 - x - 4. Let r be m(3). Does 14 divide n(r)?
False
Suppose 0 = k + 3*j - 5, 4*k - 3*k + 2*j - 4 = 0. Suppose b - 2 = -2*z + 2, k = -b. Is 3 a factor of 36/(-9) - z*-3?
False
Let k = 547 - -68. Does 17 divide k?
False
Suppose -2*k + 8740 = 5*w - 0*w, 5*w - 2*k = 8740. Is 19 a factor of w?
True
Suppose -19*y + 19018 - 6478 = 0. Is 15 a factor of y?
True
Let g(x) = -x**3 + 22*x**2 - 27*x - 2. Let j be g(19). Suppose -h + j = -6*o + 11*o, 0 = -3*o + 5*h + 352. Does 19 divide o?
True
Let u(l) = l**2 - 3*l - 10. Let q be u(-6). Let k be 1 - (-2)/((-8)/q). Is 13 a factor of (-82 + -3)*6/k?
False
Let i = -23 - -26. Let t(o) = 6*o**2 + o - 3. Is t(i) a multiple of 18?
True
Let g(o) = -6*o**2 + 1 + 4 + 3*o**3 + 143*o - 148*o. Does 47 divide g(5)?
False
Let z(m) = -3*m**2 - 5*m - 12. Let x(p) = -10*p**2 - 16*p - 35. Let v(h) = 2*x(h) - 7*z(h). Is 21 a factor of v(-10)?
True
Suppose -4*h = -4*x + 97 + 79, x + 3*h - 32 = 0. Let a = 81 - x. Does 14 divide a?
False
Let o(h) = h**2 - 6*h + 7. Let r be o(14). Suppose 0 = 4*q + r - 335. Does 6 divide q?
True
Is 23 a factor of (522/4)/(132/2024)?
True
Let c(s) = -s**3 + 4 + s - s**2 - 2*s**2 - 4*s**2 + 0*s**2. Is 10 a factor of c(-8)?
True
Suppose -17*b + 12*b = 3*u - 12036, -3*u + 3*b = -12060. Is u a multiple of 13?
True
Let n(a) = -4*a**2 + a - 3. Let s(p) = -17*p**2 + 3*p - 11. Let m(l) = -9*n(l) + 2*s(l). Is 10 a factor of m(5)?
True
Suppose 6*o - 569 - 49 = 0. Suppose n + b = o, 3*n + 2*b = 8*n - 480. Is 13 a factor of n?
False
Let l = 285 + -54. Is 21 a factor of l?
True
Suppose 80*y - 81*y + 2*o + 2322 = 0, y - 5*o = 2328. Does 27 divide y?
False
Let r(q) = -q**2 - 28*q - 12. Let h be r(-17). Let f = h + 101. Is f a multiple of 46?
True
Let l(i) = -i**3 - 2*i**2 - 4*i - 5. Let m be l(-5). Suppose s + 3*p - 93 = 0, 2*s - 3*s - 4*p + m = 0. Is s a multiple of 13?
False
Let l = 106 - -52. Is l a multiple of 2?
True
Suppose -4*f - 3*b = -888, 4*f + b + 68 = 964. Is 25 a factor of f?
True
Let l(z) = -8*z**2 - 6*z - 2. Let f be 8/(-12)*6 - -2. Let q be l(f). Let h = 28 + q. Is 6 a factor of h?
True
Suppose 13*u = -0*u + 8736. Suppose f - 8*f + u = 0. Does 16 divide f?
True
Suppose 0 = -6*s + 4*s + 54. Let t = 32 - s. Does 6 divide 312/20 + 2/t?
False
Let n = 543 - 217. Does 13 divide n?
False
Suppose -20*m + 12 = -16*m. Suppose -m*b = -0*b - 501. Is b a multiple of 23?
False
Let k = 136 + -141. Does 5 divide -9 - (k - -1) - -90?
True
Let j(x) = 20*x + 340. Does 25 divide j(28)?
True
Suppose 35 = -3*b - x, 33 = -4*b - 3*x - 17. Let v = -11 - b. Suppose 6*z - z - 50 = v. Is z a multiple of 7?
False
Suppose 2*z + 45 = -z. Let s = 18 + z. Suppose 4*u = -u + s*j + 40, 0 = 3*u + 5*j + 10. Is u even?
False
Suppose -6*x + x = -v + 1235, -491 = 2*x - v. Let a be x/12*(-12)/4. Let s = a - 26. Is s a multiple of 9?
True
Suppose -8*i - 976 = -10*i. Does 61 divide i?
True
Let n be ((-3)/(-3))/(2/6). Let m(f) = 2*f**3 - 3*f**2 - 3*f + 1. Let g(p) = -p**3 - p**2 - p + 1. Let c(b) = -g(b) - m(b). Does 7 divide c(n)?
False
Let x(j) = j**2 + 4*j + 6. Let q(t) = t**2 + 5*t + 6. Let l(u) = 6*q(u) - 7*x(u). Let p be l(6). Does 10 divide 2/(-3)*p/2?
True
Suppose -4*n = -3*n, -3060 = -5*i + n. Suppose -j = 2*j + i. Let m = j - -294. Is m a multiple of 30?
True
Let p(t) = -3*t - 15. Let v be p(-11). Is 5 a factor of (-100)/(-3) - v/(-27)?
False
Let v(r) = -7*r + 17. Is v(-9) a multiple of 20?
True
Suppose 0 = j + 5*q - 344, -41 = -4*j - 4*q + 1303. Does 8 divide j?
False
Is 122 a factor of (-10)/95 + (-16648)/(-38)?
False
Let y = 1882 - 901. Is y a multiple of 46?
False
Let q(r) = 6*r - 22. Suppose 0*w = -5*w + 70. Does 20 divide q(w)?
False
Let d(y) be the first derivative of 1 + 1/3*y**3 + 10*y + 2*y**2. Does 6 divide d(-7)?
False
Suppose 0 = 4*m - 5*h - 973, -4*m - 246 = -h - 1231. Does 13 divide m?
True
Is 24 a factor of 20/(-4) + 532 - (2 - -1)?
False
Let j = -199 - -263. Is 6 a factor of j?
False
Is