, -3*x = -q + 4. Is 6 a factor of r(q)?
False
Let i(u) = u + 11. Let w be i(-11). Suppose 2*s + 37 + 3 = 4*a, -5*s = w. Is a a multiple of 5?
True
Suppose i = 4*i + 15. Let j(b) = 3 + 0*b**3 + 2*b + b**3 + 7*b**2 + 5*b. Is 6 a factor of j(i)?
True
Let c(k) = 108*k**2 - 33*k - 80. Is c(-6) a multiple of 84?
False
Does 23 divide (-51)/(-85) + 681/15?
True
Let k(n) = 9*n**3 - 8*n - 21. Is 19 a factor of k(5)?
True
Suppose -238 = -5*q - 13. Let l = q - 34. Is 2 a factor of l?
False
Let s(x) be the second derivative of -x**4/12 + x**3/6 + 78*x**2 + 10*x. Is s(0) a multiple of 12?
True
Suppose -3*j = -3*d - 27, 0 = 2*j - 4*d - 7 - 21. Suppose 1 = -j*p + 9. Suppose p*l = 10 - 2. Is 2 a factor of l?
True
Let i(b) be the second derivative of -8*b**3/3 - 7*b**2/2 - 16*b. Is 29 a factor of i(-4)?
False
Let a(k) = -14*k**3 + 12*k**2 - 13*k - 5. Does 10 divide a(-5)?
True
Let r(s) = -179*s + 51. Is r(-15) a multiple of 16?
True
Let o(j) = -5*j + 234. Is 31 a factor of o(-40)?
True
Suppose 0*h = -h - 60. Let r be 1 - 7 - (-13 - 77). Let b = r + h. Is 12 a factor of b?
True
Let c = 758 - 278. Is c a multiple of 10?
True
Suppose 0 = 2*v - p - 17, 2*p + 2 - 8 = 0. Does 2 divide v?
True
Let p(v) = v + 1. Let d be p(2). Suppose d*j = 7*j + 392. Let s = -24 - j. Does 24 divide s?
False
Suppose 101 = 2*g - 63. Let r = 142 - g. Does 12 divide r?
True
Suppose 8*x - 164 = 7*x. Let v = 232 - x. Is 14 a factor of v?
False
Let x(i) = 22*i - 9. Let s be x(7). Suppose -3*b = 2*b - s. Suppose -4*y + b = -11. Is y a multiple of 6?
False
Let c be ((-285)/(-35))/3 + 2/7. Suppose 3*p - 258 = -3*f + p, -4*f - c*p = -343. Does 30 divide f?
False
Let z(d) = -93*d - 47. Is z(-7) a multiple of 80?
False
Suppose 5*d - 5*q - 885 = 0, 2*q + 0 = -2. Is d a multiple of 12?
False
Let i be -1*16/20*-5. Suppose -i = 4*s - 40. Let y(q) = q**3 - 7*q**2 - 8*q - 4. Is y(s) a multiple of 11?
False
Let z(i) be the second derivative of -i**5/20 + i**4/6 + i**3/6 + 16*i**2 - 9*i. Is z(0) a multiple of 32?
True
Let w be 106/22 + 10/55. Suppose -w*a + 16 - 1 = 0. Suppose l + a*m - 22 = 0, m = -5*l + 71 + 11. Is 16 a factor of l?
True
Let c(q) = q**2 - 3*q + 14. Is 2 a factor of c(-4)?
True
Let u(m) = -m + 86. Suppose -4*s = w - 14, 3*w - 69 = -s - 2*s. Is 6 a factor of u(w)?
True
Suppose c - 2*v - 24 = -3, 0 = -4*c - 4*v + 60. Suppose 0 = -17*g - 130 - 40. Let w = g + c. Does 7 divide w?
True
Suppose 7*v - 9*v = 0. Suppose v = -j - j + 56. Is j a multiple of 14?
True
Suppose -6*z + 519 = -2*z + 5*y, -4*y = -z + 114. Let r = -50 + z. Is r a multiple of 19?
True
Suppose -2*w = 2*t + 4, -4*t + 7*t = 5*w + 10. Suppose -15 + 3 = 4*v, -4*q - 2*v + 470 = t. Is q a multiple of 7?
True
Suppose -8*v + 3019 + 813 = 0. Is 13 a factor of v?
False
Let c = 361 - 218. Suppose 0 = i - 49 - c. Does 11 divide i?
False
Let j = -12 + 93. Let l(k) = 8*k**2 + 2*k - 2. Let i be l(-5). Let t = i - j. Is 27 a factor of t?
False
Let g = 7 + -4. Suppose -267*y = -276*y + 171. Suppose q - g*q = -j - y, -j = 2*q - 13. Does 8 divide q?
True
Let z(q) be the second derivative of q**3/6 + 35*q**2/2 + 13*q. Is z(-14) a multiple of 5?
False
Let a be 1785/(-14)*(-4)/(-3). Let o be 2/7 + a/7. Let h = o - -40. Is h even?
True
Suppose 4*c = -4*m, 0 = -5*m + 6*c - 2*c + 27. Let n be (m - (-22)/(-6))*-15. Is (1 - -49)*4/n a multiple of 9?
False
Let y(u) = -u**3 + 19*u**2 + u - 16. Let m be y(19). Suppose 2*f + 4*z = 2*z + 254, 4*f - m*z = 543. Is 33 a factor of f?
True
Let p(m) = -2 + 0*m - m - 3*m. Is p(-2) a multiple of 3?
True
Let a(q) = 1 - 8*q + 2 - q**2 - 3*q. Let n be a(-11). Suppose -n*o - o + 100 = 0. Is o a multiple of 15?
False
Let y = 8 + -5. Let v(h) = -4*h + 3. Let r be v(y). Is (1 - (-21)/r)*-6 a multiple of 2?
True
Let n = 1 + 4. Let q(v) = -3 + v**2 - 3 + 1 - 2*v. Does 2 divide q(n)?
True
Suppose 2*x = i + 467, -4*x = -x + 5*i - 733. Suppose -x = -2*v - 20. Is v a multiple of 11?
False
Suppose g + 2*n - 12 = 0, 5*g - 5*n + 176 - 236 = 0. Is 12 a factor of g?
True
Suppose -6*d + 40 = -d. Suppose -d*g + 2 = -70. Is g a multiple of 4?
False
Suppose -t - 2 + 5 = 0. Suppose -3*a = -4*a + t. Suppose a*k = -2*k - s + 20, -2*s - 5 = k. Is 4 a factor of k?
False
Let p(h) = 24*h**2 - 3*h + 6. Let f be p(3). Is 30 a factor of (-1 + 1 + (-6)/(-9))*f?
False
Suppose -x + 2 = 3*d, x - 5 = d - 19. Suppose 0 = -0*u + 4*u - 3*h - 22, 5*u - 26 = 3*h. Is 6 a factor of (-4)/x*(u + 26)?
True
Suppose -21*a + 10 = -16*a. Does 56 divide 2/a - (22 - 133)?
True
Suppose 0 = 4*w + m - 4425, 2379 = 4*w - 2*m - 2031. Is 21 a factor of w?
False
Let m(p) = -4*p + 8. Let c be m(-19). Let s = c + -30. Is 18 a factor of s?
True
Is 24 a factor of -2 - (-23)/(2*2/124)?
False
Suppose p - 4*p + a = -1095, p = -4*a + 365. Is p a multiple of 15?
False
Let d(m) = -m**3 - 6*m**2 + 5*m - 1. Let i be d(4). Is (276/(-10))/(i/45 - -3) a multiple of 35?
False
Let y = 76 - -30. Let b = -70 + y. Is b a multiple of 12?
True
Suppose 14*h = 8*h + 444. Is 9 a factor of h?
False
Let h(b) = 248 + 9*b**2 - 245 + b**3 - 2*b**3 + 12*b. Is h(10) a multiple of 2?
False
Is 61170/120 - 1/(-4) a multiple of 36?
False
Suppose -3*f + 7*f = 380. Suppose 2*t - 1 = f. Is t a multiple of 8?
True
Let h be (-26)/(-117) - 176/(-18). Let f = 46 - h. Is 6 a factor of f?
True
Let h(w) = -6*w - 55. Let f be h(-10). Suppose -5*d + 1545 = -f*l, -5*d + l + 3*l + 1542 = 0. Is d a multiple of 18?
True
Let i(v) be the third derivative of -v**8/20160 - v**7/315 + v**6/240 - v**5/15 + 2*v**2. Let m(p) be the third derivative of i(p). Is 25 a factor of m(-10)?
False
Suppose 5*x - 968 = -f, -2*x + 1904 = 32*f - 30*f. Is 12 a factor of f?
True
Let x(l) be the third derivative of 5*l**4/12 - 5*l**3/6 - 16*l**2. Is 9 a factor of x(5)?
True
Let c(o) = -o**2 - o + 12. Let k be c(-6). Does 24 divide 117 - ((-6)/k)/(1/(-9))?
True
Let j be (-2)/(-5) + 765/25. Suppose 10 - j = h + 3*p, -5*p - 11 = h. Is 3 a factor of ((-13)/26)/(2/h)?
True
Let m = -57 - -53. Is 19 a factor of (19/m)/(2/(-8))?
True
Let k(p) = -p**3 - 9*p**2 + 10*p - 18. Let t be k(-10). Let y(q) = -7*q + 6. Is y(t) a multiple of 12?
True
Let c = -21 + 21. Let b be 4*(44/(-16) + c). Let z(m) = m + 38. Does 9 divide z(b)?
True
Let l = -20 + 16. Let h be -4 - (-3 - l)*-2. Is 7 a factor of (-2)/(87/(-42) - h)?
True
Suppose -4*c + 2*r + 2308 = 0, 2*c - 12*r = -8*r + 1148. Is c a multiple of 10?
False
Let s(r) = -305*r - 210. Is 81 a factor of s(-6)?
True
Let l(o) be the second derivative of -o**5/4 - o**4/12 - 2*o**2 - o. Let u(g) = g**2 - 27*g - 3. Let j be u(27). Is l(j) a multiple of 25?
False
Does 10 divide (779/(-76)*-3)/((-3)/(-56))?
False
Suppose -8 = -2*x, -3 = 2*q + 2*x - 13. Does 18 divide (456/16)/(q/10 - 0)?
False
Let r(d) = -9*d + 1. Let y be r(-6). Let t = -43 + y. Is 2 a factor of t?
True
Let f(v) = v**2 - 4*v + 3. Let q be f(3). Suppose 0 = 5*c + 5*u - 195, q = -4*c - 0*c + 3*u + 135. Is c a multiple of 7?
False
Suppose -2 = -f - 0. Suppose f*y + 1 = 25. Suppose -30 + y = -3*g. Is g a multiple of 2?
True
Let z(m) = -7*m + 4. Let c be (-6)/15 + (-6 - (-22)/5). Does 3 divide z(c)?
True
Suppose y - 500 = -5*j + 3100, 0 = -4*y. Is j a multiple of 10?
True
Let r = 1518 - 1153. Is r a multiple of 13?
False
Let i = 1069 - 414. Does 13 divide i?
False
Let w(s) = 85*s - 40. Is 3 a factor of w(10)?
True
Let l be 3 + (3 - 7 - -4). Does 32 divide 8/l*(-1 + 13)?
True
Let r = 1166 + -895. Is r a multiple of 22?
False
Suppose y = 2*k - 13, -y = -2*y + 4*k - 21. Let j(t) = -2*t - t - 3*t + 9 - 2*t. Does 10 divide j(y)?
False
Let x(s) = 57*s + 69. Let v(k) = -14*k - 17. Suppose 4*c + 5*y = 109, -2*y = 3*c + 2*c - 115. Let z(l) = c*v(l) + 5*x(l). Is 11 a factor of z(-5)?
True
Let r(y) = y**2 - 2*y. Let m be r(3). Let d be 66/4 + m/(-6). Suppose d = 5*c - 124. Is 8 a factor of c?
False
Let h = -63 - -40. Let n = h + 107. Does 21 divide n?
True
Suppose 0 = -3*w + 2*j + j - 6, -5*w - 3*j = -14. Let y = w - -7. Is y/12 - (-104)/6 a multiple of 6?
True
Let h(y) be the second derivative of y**6/360 - y**5/120 - 3*y**4/8 - y**3/3 + 2*y. Let s(u) be the second derivative of h(u). Does 9 divide s(5)?
False
Suppose -110*q = -111*q + 48. Let i = -26 + q. Is 11 a factor of i?
True
Let f be (10/(-4) + 2)*-10. Suppose 6*i + f = 59. Does 9 divide i?
True
Suppose 2*f = 3