(d) = 8*d. Is t(h) a multiple of 12?
True
Let c be (-1)/(1/(-2158)) + -5. Suppose 0 = -10*r - 743 + c. Is 10 a factor of r?
False
Suppose -2*x + 894 - 37 = -5*f, -3*x = 5*f - 1223. Does 16 divide x?
True
Let i be 12/8*(-16)/(-6). Suppose -3*s = 5*v + 4, i*v - 4 = s + 3. Is -2*(-40 - -3)*v a multiple of 20?
False
Let z(u) = -u - 2. Let y be z(12). Let m be -1 + 6 - (y + 15). Suppose 2*o + 150 = m*r + 44, 5*r + 3*o = 116. Is r a multiple of 25?
True
Let j(w) = 6*w**2 + 8*w - 45. Let o(i) = -12*i**2 - 17*i + 90. Let m(s) = 13*j(s) + 6*o(s). Does 35 divide m(-7)?
False
Let r = -131 + 243. Is r a multiple of 8?
True
Let a(v) = -v**3 - 8*v**2 + 8*v + 28. Is 27 a factor of a(-10)?
False
Suppose -2*g = -61 + 37. Let v = -4 - -10. Suppose x = -4*w - v, -x - 2*w = -2*x + g. Is 5 a factor of x?
False
Let h(t) = t**2 + 9*t + 2. Let a be h(-9). Is 9 a factor of ((-66)/a)/((-33)/22)?
False
Let z(o) = o**3 + 29*o**2 - 20*o - 24. Is 42 a factor of z(-27)?
True
Is (2 + -1)/((-3)/(-132)) a multiple of 5?
False
Suppose 7*q + 1068 = 11*q. Suppose 0 = -m - 2*m + q. Does 33 divide m?
False
Let a be 1 - ((-3 - -1) + 509). Is a/(-10) + 18/(-30) a multiple of 10?
True
Let d(i) be the first derivative of -i**4/4 + 8*i**3/3 + i**2/2 + 10*i + 1. Let r(j) = -j**2 + 10*j - 1. Let h be r(9). Is 18 a factor of d(h)?
True
Suppose -3*v - 2*o = -0*o - 86, 3*v + o - 91 = 0. Suppose 2*i = 4*d, 3*i - 2*d = -4*d + v. Suppose 0 = -a - a + i, 271 = 3*r - 5*a. Is 26 a factor of r?
False
Let a be 2/(-8) - 2305/(-20). Suppose 4*w - a + 39 = -4*s, -4*s = 2*w - 44. Suppose -5*q + 20 = 0, -3*y - 5*q + 90 = w. Is 6 a factor of y?
True
Suppose 0 = -28*a + 8*a + 1620. Is a a multiple of 9?
True
Let j(g) = -9*g - 6. Let z be j(-3). Let k = z + -21. Suppose 2*w + k*w - 75 = -h, 4*h + 120 = 4*w. Is w a multiple of 7?
True
Let v = -82 - -41. Let w be 6/(-4)*((-77)/21 + 5). Is 21 a factor of 14/7*v/w?
False
Suppose -v = 4*q - 1784, 5*q + 1558 - 8738 = -4*v. Is 40 a factor of v?
True
Let d = -534 - -539. Let l(q) = 24*q**2 + 2*q - 1. Let g be l(1). Let b = g - d. Does 6 divide b?
False
Let q(x) = -x**2 + 6*x - 3. Let s be q(5). Suppose -s*h + 578 = -n, 5*h - 3*n - 350 = 1096. Does 48 divide h?
True
Suppose 2*q + 0*r = r - 2, q + 5*r + 1 = 0. Let t be (-1 - q)/(-1) - 0. Suppose t = -2*a + 11 + 7. Does 8 divide a?
False
Let t(h) = 4*h**2 + 10*h - 18. Let c(j) = -3*j**2 - 9*j + 18. Let r(w) = 5*c(w) + 4*t(w). Is r(8) a multiple of 4?
False
Let o(c) be the second derivative of -c**5/10 - c**4/3 - c**3/2 - c**2/2 - 14*c. Let k(w) = -w - 6. Let u be k(-4). Is o(u) a multiple of 4?
False
Let r = 2446 + -218. Is r a multiple of 29?
False
Let n be (8 + -4 - 6) + 6. Suppose -2*y = -k + 273, 0 = -n*k + 2*k - 5*y + 582. Suppose 3*z = k + 31. Is z a multiple of 26?
True
Let y(j) = 4*j**2 - 7*j - 2. Let q be y(5). Suppose -4*h + 37 = -q. Is 9 a factor of h?
False
Does 20 divide 148 + 7 - 5/1?
False
Let h(q) be the second derivative of -q**5/20 - q**4 - 5*q**3/3 - 13*q. Is 40 a factor of h(-12)?
True
Suppose 0 = 1326*c - 1338*c + 23172. Is c a multiple of 44?
False
Suppose 0 = -4*q - 5*v + 1815, -6 = -6*v + 4*v. Is 15 a factor of q?
True
Let a(i) = 55*i + 141. Is a(15) a multiple of 23?
True
Let v be (-1 - -1) + 3 - -3. Suppose v*y - 15 = y. Suppose 10 = -a - y*j, -5*a = -5*j + 2*j - 22. Does 2 divide a?
True
Suppose 24*b + 1864 = 8344. Is 30 a factor of b?
True
Let s(g) = -6*g**3 + 6*g**2 + g + 1. Let r be s(3). Let v = 16 - r. Is v a multiple of 10?
True
Let q(f) = -f**2 + 7*f - 9. Let b be q(6). Let r(z) = 8*z**2 + z**3 + 4 + 1 - 2 - 5*z**2. Does 2 divide r(b)?
False
Let b(z) = -200*z + 13. Is 73 a factor of b(-1)?
False
Let w = -206 + 545. Does 13 divide w?
False
Let k = 12 + -37. Let v = k - -28. Suppose i - 2*b = 3, b = -v*b. Is 2 a factor of i?
False
Let k be 39/(-26)*514/(-3). Let m = 380 - k. Let j = -84 + m. Is 7 a factor of j?
False
Let f(d) = -2*d**3 - 6*d**2 - 2*d - 8. Suppose -8 = -g - 3. Suppose -g*t = 10 + 10. Is f(t) a multiple of 4?
True
Let c = 108 - 106. Does 16 divide 3 + (-1 - c) - -113?
False
Let r be 27/12 + (-3)/12. Suppose 0 = -s + 206 + r. Suppose -x = x + 8, -x - s = -3*f. Does 16 divide f?
False
Let s be 2*25 + (1 - 2). Let d be 11/(66/84)*-2. Let q = d + s. Does 9 divide q?
False
Suppose -2*v = -4*t, 14 = -3*t + v + 4*v. Suppose -2*b + 2*a + 172 = 0, t*a = -b - 2*a + 91. Does 8 divide b?
False
Suppose j + 13 = 16. Suppose 0 = -j*b - 28 + 535. Does 33 divide b?
False
Let v(z) = -13 - 14 + 30 - 6*z. Let r(s) = -s**3 + 3*s**2 + 2*s + 1. Let u be r(4). Is 15 a factor of v(u)?
True
Suppose -22*u = -29*u + 231. Does 3 divide u?
True
Let a(q) be the second derivative of -q**6/240 - q**5/60 - q**4/3 + 3*q. Let h(i) be the third derivative of a(i). Is h(-5) a multiple of 13?
True
Let k(r) = -r - 5. Let y be k(-5). Suppose 8*q + 3*l + 21 = 11*q, 8 = -4*q - 5*l. Suppose y = -q*d + 21 + 30. Is 17 a factor of d?
True
Let d(z) = -31*z - 11. Let t be d(-2). Let l = t + -45. Is l even?
True
Let j(i) = -i**3 + 13*i**2 + 15*i - 9. Let o be j(14). Suppose u + 3*d - o = 0, -5*d + 11 = 3*u - 12. Let b(h) = 2*h + 14. Is 12 a factor of b(u)?
True
Suppose 8*v + 12 = 1012. Is 12 a factor of v + 2/(-2) + 1?
False
Let s be 5 + 32/(-6) - (-1033)/3. Suppose s = 2*i + i + 4*w, 3*w + 612 = 5*i. Is 12 a factor of i?
True
Is 8 a factor of 0*4/24 - 382*-2?
False
Let b = 19 + -16. Suppose -u + 220 = b*u. Let n = 8 + u. Is 21 a factor of n?
True
Suppose 2*c - 18 = 4*k, 0 = c - 4*k - 4 - 13. Let w be (0/c)/(3/(-3)). Suppose 4*m - m - 120 = w. Is m a multiple of 14?
False
Let z(c) = 0 + 3*c**2 + 1 - 2 + 2*c - 16*c**3 - 11. Does 49 divide z(-3)?
True
Let c be (0 + 2)/(2/3). Suppose -c*b + 12 = -0. Does 15 divide (8/1)/(b/10)?
False
Let g = -10 + 10. Suppose j = 2*o - 141, g = j - 2*j + 5*o - 147. Let n = 200 + j. Does 21 divide n?
True
Let g = 48 - 48. Is 11 a factor of -118*((-9)/6 + g)?
False
Suppose -2*s - 10 - 188 = 0. Let b = -66 - s. Is b - (-1)/(3/(-3)) a multiple of 8?
True
Suppose 5*f - 96 = -3*j, 5*f - 3*f + 5*j = 46. Is 9 a factor of 4/f + 536/18?
False
Let i = -6 + 6. Suppose 3*a - 3*u - 138 = i, -3*a = 2*u - 4*u - 138. Does 25 divide a?
False
Suppose 4*p - 6*p + 6 = 0. Suppose -u + 3*g + 10 = 0, -5 = -p*g - 14. Does 10 divide 0 - (-14 + -1)*u?
False
Let t(d) = -d - 6. Let y be t(-14). Suppose 10*z = y*z + 76. Is 5 a factor of z?
False
Let o(u) = u**2 + 9*u. Let h be o(-9). Suppose -19*f + 20*f - 143 = h. Is 30 a factor of f?
False
Suppose 0*q = -7*q - 7917. Is 10 a factor of (-8)/6*q/26?
False
Suppose -297*w + 301*w = 1472. Is 16 a factor of w?
True
Suppose 609 = 3*n + 210. Let j = n + -73. Does 15 divide j?
True
Is 18 a factor of (-46)/(-138) + (-1502)/(-3)?
False
Is 24 a factor of -2 - -6 - (-15)/(-6)*-8?
True
Let w(m) = m**2 + 6*m - 20. Suppose -d + 8*d = -84. Is 26 a factor of w(d)?
True
Let a = 24 + -21. Suppose -3*c - 4*f = c - 652, -2*c = -a*f - 311. Does 10 divide c?
True
Suppose 0*p + p + 3*k = -3, -4*k = 20. Suppose 4*q = q + l + p, 5*l = 2*q - 8. Is q a multiple of 4?
True
Suppose 11*a + 13 = 10*a. Let j = a - -26. Is 3 a factor of j?
False
Suppose 340 = -3*k + 8*k. Let i(y) = -31*y - 224. Let d be i(-6). Let o = k + d. Is 8 a factor of o?
False
Let j(x) = x. Let f(d) = 13*d - 14. Let w(o) = f(o) - 2*j(o). Let h be w(-10). Let t = 181 + h. Is t a multiple of 19?
True
Let h(r) be the first derivative of -r**3/3 - 5*r**2 - 9*r - 3. Does 7 divide h(-8)?
True
Let k = 755 - 231. Does 31 divide k/(-10)*10/(-4)?
False
Let m(d) = -d**3 + 9*d**2 - 7*d + 1. Let h be m(8). Is h*(-26)/(-15)*5 a multiple of 13?
True
Suppose 4*l - 8 = 0, -3*b + l + 110 = -107. Is b a multiple of 5?
False
Does 6 divide (118650/55)/7 - (-4)/(-22)?
False
Suppose -7 = 4*w + 5*t + 53, -t = 4*w + 44. Let n = w - -9. Let z = n + 9. Does 3 divide z?
False
Let o(y) = -y**3 + 3*y**2 + 2*y + 12. Let q be o(4). Suppose x + 3*x = -2*j + 114, -q*x = j - 51. Does 9 divide j?
True
Let q = -1195 - -1793. Is q a multiple of 13?
True
Let z be 15*2/3*6/5. Does 7 divide (-592)/(-6) - (0 + 8/z)?
True
Suppose 6*v - 15 = 9. Suppose -v*p + 690 = -2*j - 474, j - 878 = -3*p. Does 39 divide p?
False
Let d = -4 - 0. Let i = d - -8. Suppose 154 = i*h - 2*x, 89 + 67 = 4*h - 4*x. Does 13 divide h?
False
Let j(i) = -i**2 + 8*i + 55. Does 4 divide j(10)?
Fa