-3)/1. Let c(d) = 0*d - n*d - 14 - 2*d. Is 14 a factor of c(-7)?
True
Is 5/(-20) - 8/(224/(-24843)) a multiple of 43?
False
Suppose -6*z + 3*z - n = 2, 0 = z - 5*n - 10. Suppose 4*s = -0*s + 8, z = 3*j + 4*s - 755. Does 39 divide j?
False
Is 18 a factor of 70 - (44/33)/((-2)/3)?
True
Suppose g = 5*g - 16. Let j be (36/10)/(g/10). Suppose j*r = 8*r + 24. Does 12 divide r?
True
Let w = -1077 + 1589. Is w a multiple of 4?
True
Let t be (-3)/(-9) + 31/(-3). Let c = t - -12. Suppose -c*w - 2*n = n - 50, 0 = -5*w - 2*n + 147. Is w a multiple of 10?
False
Let t(q) = 2*q + 3 - q**3 + 4*q + 1 - 2*q**2 - 7*q. Is t(-4) a multiple of 8?
True
Suppose -3*c - 14 = -x, 2*c - 2 = x + 3*c. Let n(b) = b**3 + b**2 - b + 5. Let p be n(-4). Does 23 divide (-2015)/p - x/3?
False
Let u be ((-12)/3)/(-1)*3. Let j be 4/u*(-1 - -178). Suppose 2*l - v = j, 0*l = -l - 4*v + 7. Is l a multiple of 8?
False
Let c be 0/(1 + 3) - -2. Suppose 4*t - c*t - 262 = m, -3*t + 398 = -4*m. Suppose 5*y - 10*y = -t. Is y a multiple of 26?
True
Let u(d) = 17*d - 4. Suppose -z = -7 - 3. Is 22 a factor of u(z)?
False
Let v = -1808 - -2180. Is v a multiple of 5?
False
Let s be 24/20*(-5)/(-3). Suppose s*f + 2*f = 64. Is 8 a factor of f?
True
Let d(k) = -k**3 + 24*k**2 + 25*k + 20. Let m be d(25). Let o(f) = f**3 - 19*f**2 - 3*f - 28. Is 22 a factor of o(m)?
False
Let q = 2064 + -1836. Is 7 a factor of q?
False
Let w be 6/(-18) - (-7)/3. Suppose 0 = -w*t + 4*t. Suppose -2*i - x = -7, t = 4*i - x + 2*x - 13. Is 2 a factor of i?
False
Let y = 61 - -108. Let m = y - 95. Is m a multiple of 9?
False
Suppose p + 3*p - 20 = 0. Suppose 2*l + 63 = p*a, -6*l + l - 9 = a. Does 2 divide a?
False
Suppose -930 = -4*s - s. Let l = 66 + s. Does 18 divide l?
True
Suppose 3*t + 60 = 7*t + 5*x, -2*t + x = -16. Suppose 0 = t*c - 936 + 86. Is c a multiple of 21?
False
Let r be 3 - (3 + -1 + -3). Let z = r + 116. Suppose 0 = 2*f - 5*f + z. Is f a multiple of 17?
False
Let u = -67 + 23. Let n = u - -89. Does 9 divide n?
True
Suppose -686*f + 689*f = 2574. Is 66 a factor of f?
True
Let j = 3885 - 1973. Is 38 a factor of j?
False
Let h(x) = 2*x**2 - 55*x - 72. Is 15 a factor of h(39)?
True
Let z(y) be the second derivative of -38*y**3/3 + 2*y**2 + 18*y. Is z(-1) a multiple of 6?
False
Let p(f) = -17 + f**3 + f - 9*f - 2*f**3 + 2*f**3 + 11*f**2. Does 28 divide p(-11)?
False
Let t(c) = -9*c + 127. Is t(7) a multiple of 64?
True
Suppose 0 = -h - s - 14 + 3, 3*s = 0. Let p(g) = g**2 + 11*g + 6. Let n be p(h). Is 51 + 0 - (n - 2) a multiple of 7?
False
Does 7 divide 0 + (231/(-14))/((-3)/28)?
True
Suppose 2*c = -284 + 344. Does 19 divide c?
False
Does 11 divide (-23)/(-69)*1752/1?
False
Let h(n) = n + 4. Let z(q) = -q**2 - 11*q - 10. Suppose 2*a + 18 - 4 = -2*w, 0 = 5*w + 3*a + 41. Let d be z(w). Is h(d) a multiple of 4?
True
Suppose 1530 = 3*j - a, 0*j + 2*j = -3*a + 1020. Is j a multiple of 51?
True
Suppose 0 = -6*q - 98 + 314. Suppose 0*t = 3*t - q. Let g = t - -14. Does 13 divide g?
True
Let n = -96 - -67. Let h = 43 + n. Is 3 a factor of h?
False
Is 453 - ((-8)/16)/(1/6) a multiple of 18?
False
Suppose 3*f = 3*j - 0*j - 15, 3*j - 5*f = 17. Suppose 5*h = -5*m + 455, -6*m = j*h - 4*m - 358. Is 11 a factor of h?
True
Suppose -108 = -13*n + 10*n - 5*d, 4*n + 4*d - 144 = 0. Is n a multiple of 12?
True
Let x(q) = -q**2 - 24*q + 15. Let p be x(-27). Let g = p + 411. Is 16 a factor of g?
False
Let o be (0 - 2/(-8)) + (-246)/(-8). Let g = 15 + o. Is g a multiple of 10?
False
Suppose 49*i - 71663 + 19135 = 0. Is 29 a factor of i?
False
Suppose -66 = -5*w + 4*a + 29, 3*w + 5*a = 20. Suppose 0 = 3*p + 2*p - w, 5*v = p + 107. Does 11 divide v?
True
Let b(w) = 2639*w**2 + 2*w - 1. Does 15 divide b(1)?
True
Let z be 29 + (-4 - -4)/3. Let k = z + -21. Is 2 a factor of k?
True
Let t = 63 - 28. Let p = t + -18. Is p a multiple of 3?
False
Does 11 divide 458/4 - -3*4/(-24)?
False
Let u = -522 + 622. Is 4 a factor of u?
True
Suppose 0 = 3*x + 6. Let v be (1 - 1) + 50/x. Let r = 63 + v. Does 16 divide r?
False
Let k(g) = 12*g**2 - 2. Let z be k(-1). Let b(c) = 4*c + 3. Is b(z) a multiple of 2?
False
Suppose -3*y - 9375 = -18*y. Is 25 a factor of y?
True
Suppose -12*k + 1206 = -6*k. Is 9 a factor of k?
False
Suppose -198 + 78 = 4*i. Let v = 200 - 140. Let s = i + v. Is s a multiple of 8?
False
Suppose 3*l + 9 = -3. Is 41 - 1*(l - -5) a multiple of 17?
False
Let r(u) = -18*u + 15. Let g be r(-5). Suppose -2*a + c = -g - 276, -a = -2*c - 186. Does 48 divide a?
True
Let s = 90 - 63. Let r = s + -25. Suppose r*v - 16 = -8. Does 2 divide v?
True
Let m(g) = -18*g**3 - g**2 + 6*g + 5. Does 19 divide m(-3)?
False
Let v be ((-4)/20*2)/(4/(-200)). Is 5 a factor of (13/(-5))/((-2)/v)?
False
Suppose l - 8 = -0*m - 2*m, 5*m = 10. Suppose l = r + r. Suppose r*j + 10 = y, y - 5*j - 6 = 1. Is y a multiple of 8?
False
Is (1798 + 8 + -2)/2 a multiple of 31?
False
Let j(l) = 22*l - 3*l + 19 - 12*l - 6*l. Is j(-11) a multiple of 2?
True
Let j be 1*(8 - (1 + 3)). Suppose 0*s = -3*r + 5*s - 17, j*s - 19 = -3*r. Let p(z) = 2*z**3 + z**2 - z + 1. Is p(r) a multiple of 2?
False
Let y(g) = g**2 - 5*g + 4. Let d be y(3). Let v be 2 + d + 13 + 0. Let s = v - 3. Is s a multiple of 10?
True
Suppose -2*k = -3*h - 164, 3*k + 4*h + h = 284. Let g = k + -64. Does 8 divide g?
True
Suppose -4*s = 3*j - 1801, s + 598 = j - 0*s. Suppose l + 3*k = 252, 3*l - j = 3*k + 169. Does 20 divide l?
False
Suppose -747 - 345 = -12*p. Does 3 divide p?
False
Suppose -14 = 4*o + 18. Let h = 1 - -1. Does 6 divide h/o - 291/(-12)?
True
Suppose 8 = 5*k + 28. Does 9 divide 0 - (-84)/(k/(-2))?
False
Is 9/((-6)/(-10)*60/744) even?
True
Suppose 259 = 3*s + 112. Does 4 divide s?
False
Suppose 2*f - 2*h + 19 = 5*f, 0 = -f + 2*h + 1. Let z(i) = i**2 + 8. Let l be z(6). Suppose 0 = 5*m - 2*m - f*o - l, 4*o + 32 = 2*m. Does 4 divide m?
True
Let r(g) = 105*g**3 + g**2 - 2*g + 2. Let w be -6*(-3)/9 - 1. Is 7 a factor of r(w)?
False
Is 32 a factor of (16 + -2)*(-96)/(-14)?
True
Does 4 divide (590/413)/((-1)/(-35) + 0)?
False
Let k = -66 - -116. Let t = k + -25. Is t a multiple of 5?
True
Let h be -5 - -3 - 1/((-1)/6). Suppose -h*n - 525 = -11*n. Is 12 a factor of n?
False
Suppose 0 = -2*d - k + 6*k + 10, -4*k - 8 = -d. Suppose d = 6*v - 113 - 475. Does 10 divide (-5)/10 - v/(-4)?
False
Suppose 61*l = -109433 + 312563. Is l a multiple of 90?
True
Let f be -3 - (4 - 14)/2. Suppose f*z = -2, -2*z + 3 - 5 = -3*t. Suppose -u - 2*b + 53 = -3*b, t = -4*b + 4. Does 21 divide u?
False
Let m(r) = 5*r - 40. Is m(11) a multiple of 5?
True
Let i(b) = b**2 - 3*b + 2. Let y(x) = -4*x - 4. Let u(q) = -9*q - 7. Let a(s) = 2*u(s) - 5*y(s). Let h be a(-4). Is 6 a factor of i(h)?
True
Suppose -3936 = 29*t + 3*t. Let o(m) = -176*m**2 - 2*m + 1. Let d be o(1). Let l = t - d. Is 18 a factor of l?
True
Let v(f) = -f**3 + 14*f**2 + 2*f + 16. Let p = 9 - -5. Is v(p) a multiple of 4?
True
Let n(b) = -4*b - 4. Let i be n(11). Let j = i + 97. Is j a multiple of 7?
True
Let n(w) = w**2 - 8*w + 1. Let p = -5 + 14. Let t be n(p). Let q = t - -18. Does 9 divide q?
False
Let p be ((-3 - -1)*-2 + -3)*25. Let j = 58 - p. Is 13 a factor of j?
False
Let o(w) = -4*w + 14. Let c be o(4). Suppose 0 = h - 7 - 15. Let q = c + h. Is 6 a factor of q?
False
Suppose 0 = -4*r - 34 - 10. Let a = r + 14. Suppose -3*z - x + 26 = 0, -a*x - 8 = z - 6*x. Does 7 divide z?
True
Suppose 0 = 3*y - 153 - 384. Suppose 5*l - 177 = 4*g, 3*g + y = 2*l + 3*l. Is 37 a factor of l?
True
Let n(t) be the third derivative of -13*t**4/24 + 7*t**3/6 + 17*t**2. Does 12 divide n(-9)?
False
Let j(u) be the third derivative of -u**4/24 - 5*u**3/6 - 6*u**2. Let r be j(-7). Suppose i + 38 = r*i. Is i a multiple of 15?
False
Suppose -9*z + 1894 + 833 = 0. Let v = -163 + z. Is 14 a factor of v?
True
Let n = -1173 + 2517. Is 8 a factor of n?
True
Suppose 2*j = -300 + 980. Is j a multiple of 10?
True
Suppose 3*c = -4*f + 8*f - 207, 228 = 4*f + 4*c. Is 9 a factor of f?
True
Let z be 2/(-12) + 5673/18. Suppose d - 99 = -i, 2*d + z = 3*i + 13. Is i a multiple of 25?
True
Let r(c) = 21*c**2 - 2*c - 1. Let i(h) = -2*h - 12. Let f be i(-7). Suppose -2*b + 5 = 5*z, 3*z + 12 = f*b - 1. Is r(z) a multiple of 11?
True
Let d(g) = 10*g**2 - g**3 - 7*g + 14 + 0*g - 6. Suppose 5*r + 3*t = 51,