e u*w = 4*w + 180. Suppose -2*r - 2*t + 64 = 0, 2*r + 5*t = w + 16. Is r a multiple of 12?
True
Let q(z) = 8*z**2 + 2*z + 39. Let t be q(-10). Suppose 3*o = 3, 7*r = 2*r - 4*o + t. Is 23 a factor of r?
False
Let k(t) = t**2 - 10*t + 23. Let z be k(7). Suppose -8*u + z*u + 1008 = 0. Is 17 a factor of u?
False
Suppose -20 = 2*y - 20. Is (2 + -83)*(5/(-15) + y) a multiple of 9?
True
Let k = -479 + 117. Is 11 a factor of (k - 1)*(21/(-9))/7?
True
Let r = -102 + 16. Let n = 136 + r. Is 10 a factor of n?
True
Suppose 4*t - 21418 = 4258. Does 12 divide t?
False
Let s be (-1824)/7 + (-9)/21. Let m = -69 - s. Is m a multiple of 31?
False
Let o(y) = 3*y - 1. Let i be o(1). Suppose 5*k - 3*k = -i*c + 362, -3*c - 4*k + 538 = 0. Does 17 divide c?
False
Is (-77112)/(-126) - 2*1 a multiple of 16?
False
Is (-154170)/(-99) + 9/(-33) a multiple of 27?
False
Suppose -10*l = -3263 - 2177. Suppose -2*v + 148 = -4*i - l, -4*i = 3*v - 1068. Is v a multiple of 44?
True
Let x(t) = -t - 1. Let l(c) = 2*c**2 - c + 3. Let b(v) = l(v) - x(v). Is 11 a factor of b(-4)?
False
Let p(w) be the second derivative of -w**4/6 + 11*w**3/6 + 2*w**2 + 19*w. Does 9 divide p(5)?
True
Let q(s) = 10*s - 10. Let z(o) = o**2 + 12*o + 16. Let n be z(-11). Let f be q(n). Suppose 0 = 5*t - 3*t - 3*w - 18, 3*t + 2*w = f. Is 12 a factor of t?
True
Let z(m) = 7*m**2 - 11*m + 74. Is z(7) a multiple of 17?
True
Let m be 3/2*-2 + 13. Suppose -5*n + 0*n - m = 0. Is (-1)/(2/20*n) a multiple of 2?
False
Let q(v) = 4*v**2 + 2*v + 4. Is 15 a factor of q(-4)?
True
Suppose 0 = -5*p + 5*b - 310, -2*b - 34 = p + 28. Does 37 divide (p/8)/(2/(-72))?
False
Suppose 0 = d - 2*u - 151, 3*d - 9*u = -7*u + 453. Does 12 divide d?
False
Let p(d) = -13*d + 355. Is p(6) a multiple of 66?
False
Let x = 5 + -2. Suppose 0 = 3*n + c + x, 3*n + 2 = 3*c - 1. Let w = n + 12. Does 11 divide w?
True
Let b(c) = 30*c**2 - 8*c - 22. Let g be 1 - (-2 - (5 - 11)). Is b(g) a multiple of 15?
False
Let w = -174 - -572. Suppose 0 = -3*v - k + w, -k = -0*k + 1. Suppose 5*j + 0*j = 2*a - 69, -4*a + 5*j = -v. Is 20 a factor of a?
False
Let h(c) = -c**2 - 16*c - 11. Let m be h(9). Let l = -132 - m. Is l a multiple of 13?
True
Let h(w) = 239*w**2 - 3*w + 5. Let g be h(2). Suppose 2*p + g = 7*p. Suppose 3*o = p - 74. Is o a multiple of 13?
True
Let h(t) = -92*t**3 + 1. Let q be h(1). Let j = -221 + q. Does 13 divide (1/2)/((-6)/j)?
True
Let z(c) = 4 + 6*c**2 - 4*c**2 - c**3 - 7*c**2. Let k be z(-5). Is 15 a factor of 187/4 - k/(-16)?
False
Let d(i) = -27*i. Let u be (-4 + 3 - -3)/(-2). Let t be d(u). Suppose 0 = 4*o - t - 21. Does 8 divide o?
False
Let s(a) = 27*a**2 - 5*a - 3. Let i(b) = -55*b**2 + 9*b + 5. Let r(p) = -6*i(p) - 11*s(p). Is r(-2) a multiple of 24?
False
Suppose 26 = -3*v + 5*v. Suppose 0*z = 3*l + 5*z - 23, v = 5*l + 2*z. Suppose 0 = -4*u - 2*m + 40, 0*u + l = u - 4*m. Is 4 a factor of u?
False
Let l = -3584 - -7387. Is l a multiple of 31?
False
Let a be (-7)/((-2)/1 - -1). Let i(s) be the first derivative of s**4/4 - 7*s**3/3 + s**2 + 10*s - 34. Is i(a) a multiple of 11?
False
Suppose 1 = -v, 9*d - 4*d - 3*v - 13 = 0. Is 13 a factor of (3 - (-21)/d)*2?
False
Suppose -7*j = -2*j - 50. Let s = j - 11. Does 9 divide (0 + s)/(5/(-65))?
False
Let u = 797 - -633. Does 13 divide u?
True
Let v = -117 + 118. Let t(r) be the first derivative of 61*r**3/3 + 3. Does 18 divide t(v)?
False
Suppose -3*z + 3*q + 76 = -17, q = -4*z + 149. Suppose -c - 27 = 2*c. Let w = c + z. Does 21 divide w?
False
Let c(x) = 97*x**2 + 3*x + 2. Suppose n = -3*n + 16. Suppose y - 5 = 3*t, -n*t - 9 = -3*y + 1. Does 24 divide c(t)?
True
Let d(u) = 59*u - 7. Does 4 divide d(1)?
True
Suppose 17 = -7*y + 10. Let q be 6*(28/(-6))/2. Is 2 a factor of (y - (-1)/2)*q?
False
Let x(a) = -2*a + 36. Does 4 divide x(9)?
False
Let k be 4 + 34 + 4 + -8. Let b = 56 - k. Is b a multiple of 11?
True
Suppose 0 = -5*m - 4*c + 9381, 74*c = m + 76*c - 1875. Is 11 a factor of m?
False
Let u(k) = -k**3 + 7*k**2 + 22*k - 9. Let o(b) = 4*b**3 - 27*b**2 - 89*b + 35. Let w(h) = 2*o(h) + 9*u(h). Is 23 a factor of w(10)?
False
Suppose 8*n + u = 3*n + 10331, 3*u = -5*n + 10323. Does 138 divide n?
False
Let u = 108 - 33. Suppose -2*t + u = 5. Does 35 divide t?
True
Suppose -5*h = 3*q - 5512, -7*h = -5*h + q - 2204. Is 16 a factor of h?
False
Let s be (3 + -5)*-6 - -2. Let b be (-12)/42 + 32/s. Suppose -2*y + z + 38 = 0, -2*y - b*z = 2*z - 28. Is y a multiple of 18?
True
Suppose 4*m - 15600 = -2*n, 0 = 8*n - 3*n - 20. Is m a multiple of 12?
False
Let s(z) = 14*z**3 + z. Let a = 41 - 40. Is 5 a factor of s(a)?
True
Let b(l) = l**3 - 5*l**2 + 4*l. Let o be b(4). Suppose -j - 5 = o, 5*j = -v + 95 + 36. Suppose 5*z + v = 9*z. Is 9 a factor of z?
False
Let u = 8 + -40. Is 10 a factor of -32*-22*(-4)/u?
False
Let n = 3 - 1. Suppose 3*m + 2*t - 1 = -0*t, -m = 2*t + 5. Suppose 0 = -m*u + n*d + 134, -5*d = 3*u - 206 + 37. Is 10 a factor of u?
False
Suppose -36*c = 14*c - 212250. Does 27 divide c?
False
Let d(g) = 2*g**2 - 12*g - 2. Let i be d(13). Suppose 0 = -4*p + 4*j + i, 0*p - 3*p + 150 = 2*j. Suppose q - p = -14. Does 17 divide q?
True
Let x(q) = q**2 - q - 4. Let a be x(4). Let f = a + 31. Does 10 divide f?
False
Let g(b) = -11*b - 7. Let j be g(-5). Suppose 0 = -10*y - 4*y + 56. Suppose -y*k = -a - 82, k - 3*a + j = 3*k. Is k a multiple of 7?
True
Let l = 5 + -7. Let r be 2 + 4 + 0 + l. Suppose r*h = -0*h + 68. Is h a multiple of 6?
False
Let c(k) = 7*k**3 + 2*k**2 - k + 7. Let u be c(-3). Is 7 a factor of ((-230)/u)/((-1)/(-7))?
False
Suppose 0 = 5*g - 3*b + 316 - 2542, -3*g + 2*b = -1336. Is g a multiple of 14?
False
Let x(l) = -l**3 - 6*l**2 - 5*l + 2. Let u be x(-5). Suppose w + 9 = 4*r, -2*r + 0*r + 15 = 3*w. Suppose -u*n = w*m - 21, 0*n - 14 = -n + 2*m. Does 3 divide n?
True
Let i be (6/(-8))/((-8)/512). Suppose -t = -0*t - i. Does 24 divide t?
True
Suppose 4*u = 4*v + 9*u - 905, 5*u - 445 = -2*v. Is v a multiple of 10?
True
Let f(h) be the first derivative of 1/3*h**3 - 1/2*h**2 - 4 - 4*h. Is f(-7) a multiple of 26?
True
Suppose -3*m + 5*y - 2 = 0, -6*m + 4*m + 4*y = -2. Let d(i) = -i**2 - 13*i - 5. Let q be d(m). Suppose q = s + k, 0*s + 11 = s - 4*k. Is s a multiple of 9?
True
Suppose -68*p - 1369 = -71*p - 5*m, -1381 = -3*p - 2*m. Is 25 a factor of p?
False
Let u(w) be the third derivative of w**6/120 - 2*w**5/15 - w**4/3 - w**3/6 + w**2 - 4. Let v(l) = 8*l**3 + l. Let c be v(1). Is 8 a factor of u(c)?
True
Is 21 a factor of -1*(-1)/2*(352 - -26)?
True
Suppose 0 = -5*x + x + 5*z + 97, -x - 3*z = -3. Suppose x = -v + 21. Suppose -k + 3*k + 128 = v*t, -5*k + 180 = 5*t. Does 8 divide t?
True
Suppose -5*z + 3*u + 56 = -0*u, 4*z - 50 = 5*u. Suppose 5*t = z*t - 765. Is t a multiple of 13?
False
Suppose -11*l = 9*l - 1940. Does 39 divide l?
False
Let v(c) = -5*c + 4*c - 12 - 8*c**2 + 9*c**2. Is 18 a factor of v(-5)?
True
Suppose 2*d - 20 = d - 5*a, 0 = 4*d + 4*a - 64. Is d a multiple of 5?
True
Let c be 22 + 2/(-2) - (-109 - -110). Suppose 0 = -s + 18 + 24. Let z = c + s. Is 29 a factor of z?
False
Suppose -4*m = -6 - 26. Suppose t - 4*z - 758 = -4*t, -4*z - m = 0. Does 30 divide t?
True
Suppose 100 = j - 3*c, -2*j + 341 - 97 = 5*c. Suppose -3*x - 3*o + j = -2*x, -3*x - 4*o = -326. Does 15 divide x?
False
Let d(f) = 20*f**2 + 22*f - 112. Does 14 divide d(6)?
False
Let v(p) = 2276*p + 104. Is v(2) a multiple of 16?
True
Let l = 12 - 5. Let c = l - 5. Is 34 - ((1 - c) + -2) a multiple of 32?
False
Suppose -5*h = -17 - 8. Suppose -14*y + 9*y = -h. Suppose 2*n - 17 = -y. Does 5 divide n?
False
Suppose -l + 4*l + 3*x = -12, l = -5*x + 8. Let t(d) = d + 1. Let z be t(l). Is 2 a factor of 6/4*(-8)/z?
True
Let s(i) = -i**3 - i**2 - 3*i + 18. Let r be s(0). Suppose -2*p + 6 = -r. Is 2 a factor of p?
True
Does 10 divide 10/((2/20)/(10 + -8))?
True
Let s(c) = 4*c + 12. Let j = -31 + 37. Does 12 divide s(j)?
True
Let z be 2*(4 - (3 + -1)). Let j(b) = 16*b - 10. Is j(z) a multiple of 8?
False
Suppose -2*d + 26 = q + 2, -d = -4*q + 51. Let l be (6/q)/((-3)/(-21)). Suppose 10 = l*m - 5. Does 3 divide m?
False
Let c = 33 + 174. Is c a multiple of 9?
True
Let b be 33 + 8/(2/1). Let k = 22 + b. Is k a multiple of 40?
False
Let x(p) = 16*p**2 - 12*p + 108. Is x(6) a multiple of 18?
True
Let p(f) = f + 50