pose p*b = -1 + 13. Suppose a = b*a - 160. Is 7 a factor of a?
False
Let y = -5 + 8. Suppose 7 = y*a + h + 4*h, -1 = h. Is 3 a factor of 4*10/a - -2?
True
Suppose -2*d + 2*t + 1442 = 0, -385 = -d + 4*t + 321. Does 22 divide d?
True
Let y be (-2*((-1165)/2)/5)/1. Let x = y + -104. Is x a multiple of 43?
True
Suppose -2*i - 1627 + 1957 = 0. Is 10 a factor of i?
False
Suppose -m - 4*p = -766, m + 2*p = 962 - 204. Is 15 a factor of m?
True
Suppose 3*y = 32 + 196. Let d be (1 - -8)*(-1)/(-3). Suppose 5*l - d*f - y = -7*f, -5*f - 28 = -4*l. Is l a multiple of 12?
True
Let l(m) = m**3 + 12*m**2 - 14*m - 8. Let x be l(-13). Suppose s - 2 = -x*z, -14 = -4*s - 2*z + 12. Let r(f) = 7*f - 12. Does 13 divide r(s)?
False
Let x = -172 - -424. Is 17 a factor of x?
False
Let s(t) = -873*t + 138. Is 33 a factor of s(-4)?
True
Suppose -27*h = 7980 - 20832. Does 28 divide h?
True
Suppose 6*j + 696 = 3474. Is 79 a factor of j?
False
Let r = 264 - -460. Is 48 a factor of r?
False
Let o = 942 - 711. Is 18 a factor of o?
False
Let d = -98 - -392. Does 42 divide d?
True
Let q = 152 + -110. Does 6 divide q?
True
Suppose 0 = -2*i - 18*i + 40180. Does 55 divide i?
False
Let q(t) = 2*t**2 + 21*t - 9. Let i be q(-11). Suppose 5*o + 379 = i*n, -3*n - 67 + 593 = o. Does 15 divide n?
False
Let h(t) = -t**2 - 6*t - 5. Let w be h(-4). Suppose -10 = -3*j + 2. Suppose -54 = -2*f - w*p - 6, 76 = 2*f - j*p. Is 12 a factor of f?
False
Let k = 16 + -11. Suppose -126 = -k*a - 3*g, -a = -3*g + g - 20. Does 4 divide a?
True
Suppose 0 = -0*v + 6*v + 942. Does 16 divide v*(-2)/(-3)*42/(-28)?
False
Suppose 5*g - 4*g = 22. Let c = g - 7. Is c a multiple of 15?
True
Let l(t) = -t**3 - 9*t**2 - 6*t - 6. Suppose 0 = 4*s - 76 - 52. Let u = 23 - s. Is l(u) a multiple of 11?
False
Let l be 2/4 - 11/(-2). Suppose -4*i = -l*i + 392. Is i a multiple of 30?
False
Let x(i) = -2*i + 14. Let h be x(11). Let m(u) = u + 12. Let s be m(h). Suppose 5*a - 124 = -s. Does 8 divide a?
True
Does 10 divide 3*3321/9 - -1?
False
Let n(k) be the third derivative of -k**4/24 + k**3/6 - 7*k**2. Let c be n(-13). Let x = c - 0. Does 6 divide x?
False
Let v(r) = -17*r + 437. Is v(-35) a multiple of 32?
False
Let i(z) = -2*z**2 - 6*z + 1. Let b be i(-3). Let a(n) = 45*n**2 + 2*n. Is 6 a factor of a(b)?
False
Is 10 a factor of (-3 + (-9)/(-27))/(2/(-573))?
False
Let k be (-1)/((-137)/46 + 3). Let l = k + 95. Let y = l - -23. Is 24 a factor of y?
True
Suppose 0 = -3984*x + 3976*x + 16208. Is x a multiple of 88?
False
Suppose 0 = 4*u - 0*u + 5*b + 25, -b - 5 = 3*u. Suppose 6*v - 162 = -u*v. Is 19 a factor of v?
False
Let f(l) be the third derivative of l**5/15 + 5*l**4/24 - l**3 - 5*l**2. Is 8 a factor of f(-4)?
False
Suppose -23*q - 324 = -27*q. Suppose u - 3 = 0, 2*u = -2*t + 3*u + q. Is t a multiple of 10?
False
Let u(d) = 66 - 17*d + 62 - 165. Is 23 a factor of u(-13)?
True
Suppose 0*i + 6 = -3*i. Let a be 1/i*(4 + -8). Does 25 divide (-4)/(-8)*a*75?
True
Let n(b) = 6*b**2 - 4*b - 15. Is 5 a factor of n(5)?
True
Suppose -6*p - 5*p = -924. Is 14 a factor of p?
True
Suppose -2*v + 143 = -289. Does 36 divide v?
True
Let y(j) = -110*j + 34. Is 78 a factor of y(-16)?
True
Let k be (-10 + 12)/(4/(0 + -2)). Suppose 3*a = -2*n + 38, -3*n + 4*n - a - 9 = 0. Let x = n - k. Is 14 a factor of x?
True
Suppose 42*s = 38*s + 468. Is 53 a factor of s?
False
Suppose 12*c + 20808 = 36*c. Is c a multiple of 51?
True
Let c be (0 + -5*2)/(-1) + -4. Does 2 divide -2*3/3*(5 - c)?
True
Let g be ((-12)/(-30))/((-6)/(-15)). Let t(n) = 11*n**3 + 1. Does 2 divide t(g)?
True
Let a(b) = 17*b**2 - 6*b + 24. Is a(4) a multiple of 17?
True
Is 28 a factor of 10/(5/(-530)*-1)?
False
Suppose 0 = 5*p + 2*p - 14. Let y = p - 5. Let i(n) = -7*n + 7. Is i(y) a multiple of 13?
False
Let x(h) = -6*h**3 - 7*h**2 - 9. Let s(b) = -b**3 - 1. Let z(d) = 5*s(d) - x(d). Let w be z(-7). Is 5 a factor of 679/35 + w/(-10)?
False
Suppose 0 = -4*j + 60 + 324. Is 10/((-8)/j*4/(-6)) a multiple of 38?
False
Suppose -5980 = -23*b - 1150. Is 77 a factor of b?
False
Let c(f) = 5*f**2 + 7*f - 14. Is c(7) a multiple of 14?
True
Let p be (-6 + (-20)/(-4))*(-3 - 5). Let d(j) = 15*j + 8 - j**2 + 5 + 0*j**2. Does 29 divide d(p)?
False
Suppose 4 = -12*k + 13*k. Is (-2)/k - (-57)/4*2 a multiple of 4?
True
Let w = 381 + -65. Does 62 divide w?
False
Let v(a) = 44*a**2 - 10*a + 66. Is 27 a factor of v(5)?
False
Let v be (-3)/(-12) - (-5)/(-20). Suppose -y + 132 = -v*y. Is 20 a factor of y?
False
Suppose 0 = -4*r, -3*i + 72 = -0*r + 5*r. Suppose -12*u - i = -14*u. Is 3 a factor of u?
True
Let b(z) = -2*z**2 - 4*z + 9. Let s be b(-6). Let n = 45 + s. Is 4 a factor of n?
False
Let w = 22 - 18. Suppose 2*c - 72 = -h, w*c - 72 = 2*c - 2*h. Let n = 59 - c. Does 23 divide n?
True
Let y = -76 - -106. Let z be -3 + -3 + y - 2. Suppose -3*q + 11 + z = 0. Does 5 divide q?
False
Suppose -c + 3933 = 8*c. Does 39 divide c?
False
Let n(q) be the first derivative of -5 + 2*q + 5/3*q**3 - 3*q**2. Does 6 divide n(2)?
False
Let k(w) = 6*w**2 - w + 14. Let m(b) = -7*b**2 - 15. Let c(l) = 4*k(l) + 3*m(l). Is 13 a factor of c(7)?
True
Suppose 28*s - 7830 = 14570. Is s a multiple of 32?
True
Let u be 24/12*(-2)/(-4). Is ((-1)/3)/(u/(-213)) a multiple of 36?
False
Let m(n) = -9*n - 18. Let o(w) = -w**2 - 7*w - 9. Let t be o(-7). Does 9 divide m(t)?
True
Let w(v) = -11*v + 0*v - v**2 - 7 + 0*v. Is w(-7) a multiple of 7?
True
Is (-1)/(-5) - 231246/(-145) a multiple of 58?
False
Suppose -3*o = 5*m + 1 - 11, 3*o - 5*m - 20 = 0. Suppose o*n - 26 = 124. Does 10 divide n?
True
Let t(f) = -f**3 + 5*f**2 + 2*f - 10. Let h be t(5). Suppose -5*w + h*w + 57 = 2*v, 0 = v + 3*w - 28. Does 17 divide v?
False
Suppose -3*p - 30 = 2*p. Let z = 18 + p. Let m = z + 6. Is 13 a factor of m?
False
Let j be 0 - ((-15 - (0 + -4)) + 1). Suppose 0 = j*y - 485 + 95. Is 4 a factor of y?
False
Suppose -184 = -14*f + 13*f. Does 2 divide f?
True
Let g(s) = s**3 - 13*s**2 + 9*s - 8. Let y be g(12). Let q = y - -65. Does 19 divide q?
False
Suppose 4*g - 8*g + 316 = 0. Let w = g - 73. Is w a multiple of 3?
True
Let c(u) = u**3 - 11*u**2 + 11*u - 7. Let d(z) = -z**3 + 10*z**2 - 10*z + 6. Let t = -18 - -21. Let y(i) = t*d(i) + 2*c(i). Is y(6) a multiple of 4?
True
Let n(d) = 6 + 6*d - d**3 - 2*d + d + 5*d**2. Let k be n(6). Suppose 3*g + 5*f = 30 + 13, 4*g - f - 88 = k. Is g a multiple of 12?
False
Suppose 0 = -16*o + 15*o + 216. Is 10 a factor of o?
False
Suppose 140*f = 141*f - 1144. Does 104 divide f?
True
Suppose 173*b - 208*b + 37030 = 0. Is b a multiple of 79?
False
Suppose 2*w - 1016 = -4*t, -5*w - 3*t + 2707 = 181. Is w a multiple of 42?
True
Let o = 65 - 74. Is 9/(-6)*(21/o + -1) a multiple of 4?
False
Let y(k) = 5*k**3 - k**2 - 22*k + 3. Is y(4) a multiple of 11?
False
Is 59 a factor of (4264/2 - -4) + -9 + 12?
False
Suppose 0 = 2*y + 2*q - 1016, q - 151 = y - 659. Is 10 a factor of 3*(2/5 - y/(-30))?
False
Let y(z) = -z + 23. Let m be y(9). Suppose -g + 2*g - r - 5 = 0, 2*r + m = 3*g. Suppose -289 = -g*w + 155. Is 16 a factor of w?
False
Suppose n + 0*n = 5*p - 14, 4*p - 14 = -2*n. Let d(t) = t**2 + 6*t. Let s be d(-6). Suppose s*l + 99 = p*l. Is 11 a factor of l?
True
Let m be 2/5 - (-13654)/(-10). Let r = -13 + 19. Does 14 divide m/(-60) - r/8?
False
Let j = -314 - -451. Is j a multiple of 19?
False
Suppose 0 = -2*v + 6, -5*l - 14 = 3*v + 2. Let i be (-43)/l - (-6)/(-10). Suppose i = n - 4. Does 10 divide n?
False
Suppose 5*o - u = 50, 4*u = 3*o + 4 - 17. Suppose r - 3*z = -4 - 3, -o = 3*r + z. Is ((-308)/21)/(r/6) a multiple of 11?
True
Does 2 divide (1212/(-18))/(8/(-24))?
True
Let u = -827 - -1660. Is 20 a factor of u?
False
Let n(r) = 652*r**2 - 33*r - 33. Is n(-1) a multiple of 31?
False
Suppose 5*v = -5*x + 2*v + 154, -3*x = v - 94. Is 30 a factor of x?
False
Suppose 2*n + 0*j = 2*j - 694, 3*j - 694 = 2*n. Let b = n - -492. Does 29 divide b?
True
Let k(j) = 2*j**2 - 35*j - 18. Let d be k(18). Suppose -189 = -5*s - 4*m + 300, d = s + 4*m - 101. Is s a multiple of 12?
False
Suppose -m + 4 = i + 2, -2*i - 4 = 0. Suppose 18 - 2 = m*z. Suppose -2*a = -z*a + 26. Is 7 a factor of a?
False
Suppose -b - 18 = 4*v, 0 = b - v - 6 - 1. Suppose 40 = 5*a + 5*c, b*c - 26 = -3*a + 3. Is a even?
False
Does 48 divide (4 + -5 + 113)*6?
True
Suppo