4). Suppose 3*a + 3*n = 9, n - 2*n = 5*a + f. Let k(y) = -y**3 + y**2 - 2*y + 2. Is k(a) a multiple of 5?
False
Let v(r) = r**2 - 121*r - 116. Is v(-52) a multiple of 148?
True
Let p = -39 - -47. Suppose -p*i = -0*i - 72. Suppose 12*a - 324 = i*a. Is a a multiple of 12?
True
Let t be (-7 + 65)*2/4. Suppose t*q - 33*q = -1872. Does 36 divide q?
True
Suppose 11*a = 18*a + 2436. Let p = a + 372. Is 8 a factor of p?
True
Suppose 15*j = 3 + 27. Suppose 5*s - 713 = -5*a + 2*s, -j*s = a - 137. Is 11 a factor of a?
False
Let h be 188/46 + 16/(-184). Suppose 0 = -3*t - h*k + 2058, 2766 = 4*t - 8*k + 6*k. Does 46 divide t?
True
Let h(z) = -15*z - 25. Let p be h(-4). Let q = p - 29. Is 3 a factor of q?
True
Let g(i) = -i - 1. Let q(s) = -s**2 + 18*s + 7. Let o(r) = -6*g(r) - q(r). Let k be o(8). Let u = -30 - k. Is u a multiple of 3?
True
Suppose 28152 + 42887 = 12*v - 2509. Does 92 divide v?
False
Suppose 56*f = 61*f - 2865. Suppose -120*z = -117*z - f. Is 10 a factor of z?
False
Let j(w) = -13*w**2 - 2*w. Let a be j(-1). Let b(t) = 4*t**2 - 10*t - 14. Let f be b(a). Suppose -f = 7*d - 1490. Is 13 a factor of d?
True
Suppose -c = -3*c. Suppose 0*t = -3*t + 4*h, -2*h = c. Suppose 3*m + 0*m - 156 = t. Is 5 a factor of m?
False
Is 5 a factor of (-48180)/(-6 - 16) + 0 + 8?
False
Let s = 14 + -12. Suppose 0 = -a + 7 - s. Suppose 172 = 2*z - d - 3*d, -2*z - a*d = -190. Is 23 a factor of z?
False
Suppose 2*s = 5*h + 15, 2*s + 4 = 3*h + 13. Suppose s = 5*y - 15. Suppose -5*z = -n - 95, 0 = -4*z - 0*z - y*n + 95. Is z a multiple of 2?
True
Let c(z) = 17801*z + 2050. Is 10 a factor of c(2)?
False
Let s = 11544 - -781. Suppose -15*t - 10*t + s = 0. Is t a multiple of 48?
False
Suppose 0 = -21*d + 14*d + 14. Suppose -2*u + 1177 = b, 2*b = -5*u - d*b + 2944. Is 17 a factor of u?
False
Suppose -37*p = -3261 - 2918. Let l = p - 107. Is 60 a factor of l?
True
Let w = -89 - -91. Suppose -2*v = -5*q + 173, 0 = -5*v - w - 18. Suppose -2*b = 2*k - 80, -3*b + q = 2*k - 42. Does 7 divide k?
False
Suppose 24 = 2*z + 4*q, -4*z - 5*q + 27 = -3*z. Suppose -3*s + 1296 = z*r, -s + 5*r = -0*r - 449. Is 14 a factor of s?
True
Let s(v) = -33*v - 312. Let w be s(-9). Is (1 - w/(-21)) + (-12820)/(-14) a multiple of 53?
False
Suppose -17*c + 1776 = -25*c. Let u = 198 - c. Does 7 divide u?
True
Let t(r) be the first derivative of r**6/120 + 7*r**5/60 - 3*r**4/8 + 5*r**3/3 + 7*r**2 - 19. Let b(c) be the second derivative of t(c). Does 3 divide b(-8)?
True
Let a(o) = -5*o**2 + 3*o**2 + 5*o**2 - 12 - 526*o - 8 + 522*o. Does 4 divide a(-4)?
True
Let p = 3908 + -3567. Is 11 a factor of p?
True
Let y = 21197 - 13585. Is y a multiple of 22?
True
Let d(f) = 70 - 49 - 57 - 18*f. Let y be d(-8). Let m = -12 + y. Does 32 divide m?
True
Suppose -k = 4*f - 3*k - 8, -4*k = -4*f + 16. Suppose 2*j + 606 = 7*j - 3*d, -3*d - 6 = f. Suppose 2*s = 4, 0*h = 2*h - 3*s - j. Is 4 a factor of h?
False
Let f(l) = -33*l**2 - 20*l - 23. Let j(b) = -34*b**2 - 21*b - 20. Let y(x) = -4*f(x) + 3*j(x). Is 18 a factor of y(-5)?
False
Suppose 1147328 = -167*x + 219*x. Is x a multiple of 118?
False
Let t be 2 - -14*((-43)/(-2) - 2). Suppose 4*u = n + 761, t = -3*u + 3*n + 839. Is 8 a factor of u?
False
Let u(l) = l**3 - 19*l**2 + 17*l + 20. Let s be u(18). Let z(r) = -111*r**2 + r + 4. Let n(w) = 111*w**2 - 3. Let a(o) = s*z(o) + 3*n(o). Does 36 divide a(-1)?
True
Let u be 5/(10*4/48). Let h be -2 + u/1 + 2. Is 19 a factor of (-539)/(-21) + h/(-9)?
False
Suppose -3*p + 0*p + y = -11, 5*p + 2*y = 0. Suppose -196 = -5*a + 2*a + 2*h, -2*a = -p*h - 134. Does 13 divide (3 + a)*4/5?
True
Suppose -2*w - 1363 = 3*g, -8*g + 3*g + 4*w = 2301. Let q = g + 489. Is q a multiple of 2?
True
Let t(i) = -9*i - 18. Let d be t(-10). Suppose 2*u + d = 6. Is 2 a factor of 3*6/(-27) - u/9?
False
Is 14 a factor of 459721/15 - (-33)/(-14850)*30?
False
Suppose -20*h - 370421 + 123171 = -145*h. Does 8 divide h?
False
Suppose -2*x - 3 = q, 12*x = 17*x + 20. Suppose q*y - 2*c - c = 454, 0 = -2*y - 2*c + 188. Does 21 divide y?
False
Suppose 3*j + 2*j = w - 2576, 0 = 2*j. Suppose -17*h + w = -h. Is 14 a factor of h?
False
Let n = 114 - 162. Let i = n + 51. Suppose f + i*g - 324 = -2*f, -g = -f + 112. Does 10 divide f?
True
Suppose 6*x - x = 6*f - 183899, -5*f + 3*x = -153241. Is f a multiple of 47?
True
Suppose -4*p + 0*p - 1117 = -5*a, 4 = 2*p. Does 13 divide a?
False
Let g = 171 - 166. Suppose -h - 240 = -g*t + 253, -3*h + 383 = 4*t. Does 7 divide t?
True
Let g be 3*-1*(1 - 4). Suppose -18*j = -21*j + g. Let v(i) = 4*i**3 - 3*i**2 + 5*i. Is v(j) a multiple of 12?
True
Suppose 2*y - 3*y = -3*b, -3*b + 18 = y. Let r(v) = 23*v**2 - 4*v + 16. Let l be r(4). Suppose l = y*a - 5*a. Does 26 divide a?
False
Suppose -2*d = -3*l + 71, -d - 51 = -2*l - 2. Suppose 9*o - 63 - l = 0. Does 28 divide 4/o - (-233)/5?
False
Let k = 34 + -31. Let c(q) = 8*q**2 - 3*q. Let y be c(k). Let w = 79 - y. Is 3 a factor of w?
False
Is 18 a factor of ((-480)/18)/20*71*-9?
False
Let j = 681 - 39. Suppose -2*i + 4 = 0, i - 880 - j = -4*n. Is n a multiple of 62?
False
Suppose 0 = -4*b + 62*b - 14558. Is b a multiple of 6?
False
Suppose -4*z = -2*x + 20, -4*x + z + 5 = -0*z. Does 51 divide (-21 + 276)/(1 - x)?
True
Suppose -33 - 35 = -4*f. Let b = -14 + f. Let u(p) = p**3 - 4*p + 2. Is 2 a factor of u(b)?
False
Let b(m) = 3*m**2 + 4*m - 2. Let j(h) = h**2 - h + 17. Let x be j(0). Suppose 5*n + 3 = -x. Is b(n) a multiple of 11?
False
Let f(u) = 23*u + 8. Let y be (-52)/3*-3 + 1 + -2. Let i be 136/y*(-3)/(-2). Is 25 a factor of f(i)?
True
Let q = 232 - 341. Let f = 143 + q. Is 3 a factor of f?
False
Suppose 12*o = 26*o - 98. Suppose 3*i - 717 = -g, -o*g - 478 = -2*i - 2*g. Is i a multiple of 26?
False
Let n be (4 - (-75)/20)*-12. Let m = 216 + -67. Let k = m + n. Is 8 a factor of k?
True
Let y be (-1)/(-3) - (3 - (-7638)/(-9)). Suppose -5*d + y = 4*t - 3*d, -5*d = -4*t + 825. Is 21 a factor of t?
True
Let n be 61/(-5) + (2 - (-117)/(-65)). Let m = 1 + -3. Does 6 divide (n/(-18))/(m/(-210))?
False
Suppose -14*f = -12*f - 2*a - 109604, a = -7. Does 342 divide f?
False
Suppose 0*c = 3*c + 4*k + 380, 128 = -c - 2*k. Let n = -120 - c. Suppose -65 = -n*p - 9. Does 6 divide p?
False
Is ((2 - -23)*(-10)/30)/(9/(-2970)) a multiple of 2?
True
Is 50 a factor of (-1350)/72*(244/(-3) - -4)?
True
Let r = -24 - -35. Let p(w) = -r + 6*w**3 + 15 + 11*w - 11*w + w**2. Is 14 a factor of p(2)?
True
Let i(k) = -2*k**2 - 13*k + 75. Let m(s) = -s**2 - 7*s + 37. Let r(x) = -3*i(x) + 5*m(x). Is 30 a factor of r(-18)?
False
Let y be (3/5)/(10/50). Suppose -y*p = 3*w - 4*p - 1468, 2*p - 976 = -2*w. Is w a multiple of 14?
False
Let m be 1530/(-8) + 6/24. Let q = -156 - m. Does 2 divide q?
False
Let y(z) = 13*z - 21. Let i = 66 + -69. Let o be (-1)/i - (-17)/3. Does 21 divide y(o)?
False
Does 82 divide (-266)/2394 + 14060/18?
False
Suppose -31*c - 45*c = -342 - 38. Suppose 2*q = -4*a - 3*q + 20, 0 = 5*q. Suppose 0 = 4*m + a*n - 561, c*n = -5*m + 775 - 70. Is 24 a factor of m?
True
Let n be 34 + (2/(-9) - 60/(-27)). Let y be (n - -1)/(17/221). Suppose 635 = 12*m - y. Is 10 a factor of m?
False
Is 14 a factor of 11487/1*(65/(-15) + 20/4)?
True
Suppose 2*u + 0 = 2*i - 2, -i - 11 = -5*u. Suppose 5*j + q - 21 = 6*j, -u*j - 5*q = 79. Let t = j - -43. Is 2 a factor of t?
True
Let r be 10 - 3 - 1*5. Let o be (-14)/(-7)*(-3)/(-2). Is 28 a factor of r/((-212)/72 + o)?
False
Let a(c) = -96*c - 14304. Does 3 divide a(-192)?
True
Let o(h) = -15*h + 15. Let q be (-54)/513 - (-207)/(-19). Let l be o(q). Suppose 2*u - 4*k - 148 = 232, -l = -u + 4*k. Is u a multiple of 10?
True
Suppose -27*n = -32*n + 3*j + 147579, -n - 5*j + 29555 = 0. Is 18 a factor of n?
True
Let m(s) = s - 22. Let f be m(22). Suppose 5*p + 5*v - 2265 = 0, -3*p + f*p + 1338 = -4*v. Is p a multiple of 9?
True
Let y = 38866 - 21338. Does 14 divide y?
True
Let m = 77 + -109. Let h(o) = o**3 + 14*o**2 + o - 15. Let n be h(0). Let c = n - m. Is c a multiple of 4?
False
Let a = -1492 - -2728. Suppose -6*y - 4*n = -3*y - 752, 2*n = 5*y - a. Is 31 a factor of y?
True
Suppose 3*v - 3*p - 456 = 0, -10*p + 11*p = -4*v + 623. Suppose 3*o - 3*f - 723 = 0, -o = 4*f - v - 81. Does 10 divide o?
True
Let q be (0 - -1 - 0)*(7 - -3). Suppose -l = 3*o + q, -5*l - 18 = -3*l +