4. Suppose 5*a - o*n - 1318 = 0, 2*n = -4*a - 0*a + 1058. Is a a multiple of 12?
True
Suppose -5*h + 0 = -4*u + 5, 0 = -h + 3*u - 1. Let p = 4 + h. Suppose 5*s = p*z + 285, 0 = s - 4*s + 2*z + 170. Is s a multiple of 15?
True
Let i(w) = w**3 - 24*w**2 - 32*w - 44. Let h be i(26). Is -1 + -2 + 0 + 5 + h a multiple of 33?
False
Let h = -2686 - -1587. Let c = h - -1711. Does 13 divide c?
False
Suppose 0 = 64*c - 116*c + 17472. Is 14 a factor of c?
True
Suppose 147475 = 69*g + 34614 - 197777. Is g a multiple of 3?
False
Suppose 71108 = -19*h + 334695. Suppose -49*k + 25866 = -h. Does 8 divide k?
False
Suppose -2*r + 5*d + 34474 = -1731, -4*d + 90628 = 5*r. Is r a multiple of 123?
False
Let c = -4804 - -4843. Does 13 divide c?
True
Suppose 0 = 5*z + 389 - 359. Is (-2601)/(-19) - z/57 a multiple of 5?
False
Let l = -880 - -1378. Suppose 0 = -5*i + 5*j + 640, 4*i - j = -4*j + l. Does 20 divide i?
False
Suppose -2*l - 14 = -5*f - 8, -2*f = l - 15. Suppose -8 = -q + 16. Suppose -16 = -f*c, -s = s + c - q. Is 10 a factor of s?
True
Suppose 1795675 = 143*l - 2234923. Is 5 a factor of l?
False
Suppose -5*h + 7 = -18. Let v = 988 + -986. Suppose v*j + 91 = 2*d - d, h*d - 3*j - 427 = 0. Is d a multiple of 12?
False
Suppose -27 + 28 + 92 = -31*b. Let n(m) = 3*m - 3*m**2 - 4*m**3 + 0*m**3 - 5*m + 7. Is n(b) a multiple of 10?
False
Suppose 6*g - 50 = -38. Suppose j = -2*o - 147, 0*o + g*o - 3*j = -159. Let z = 6 - o. Is z a multiple of 14?
False
Suppose 16*u - 107517 = -10*u + 2307. Is 11 a factor of u?
True
Suppose -5*b = 3*a - 12, -b + 0*a = a - 2. Let x be (-9)/(-4)*4/b. Suppose -5*l = -5*d - 2*l + 817, -d + x*l = -173. Does 10 divide d?
False
Let i(a) = 223*a + 3294. Is i(16) a multiple of 47?
True
Let n(t) = 8*t**2 - 25*t + 37. Let c = 244 - 235. Is n(c) a multiple of 26?
False
Does 58 divide (303/9)/(1076/(-120) + 9)?
False
Is 37 a factor of (7 + 2)/(5162/(-23310) - (-70)/315)?
True
Suppose -15*p + 8246 = 21*p - 17962. Is 67 a factor of p?
False
Let m(j) = 1052*j**2 - 86*j - 2. Does 22 divide m(-3)?
True
Let l(x) = 69*x - 171. Let k be l(-5). Let d = k - -549. Does 3 divide d?
True
Let k(x) = 42*x - 52 - 31 - 85*x. Is 17 a factor of k(-5)?
False
Let h(f) = -f**2 + f + 109. Let x(g) = -6*g**2 - 19*g - 10. Let s be x(-3). Is 10 a factor of h(s)?
False
Suppose -x - 2*x + 138 = 0. Suppose -4*c = -50 - x. Let z = c + -12. Is 6 a factor of z?
True
Suppose 0 = 3*x - 8*x - 55. Does 9 divide -1*2 - (1875 - -6)/x?
False
Let g = 42068 + -26792. Is g a multiple of 67?
True
Does 7 divide (781 - 782)/(10/(-36)*(-4)/(-9580))?
False
Let y be 0/(1/((-2)/(-4)) - 1). Suppose -8*x - 48 = -2*b - 4*x, y = 5*b + x - 142. Let m = 64 - b. Is 34 a factor of m?
False
Suppose 9*t + 1000 = 22420. Is 5 a factor of t?
True
Let i be (6 + (-14)/3)/(6/(-9)). Is 33 a factor of (-171)/(-76)*i/3*-88?
True
Let z(g) = -g**2 - 9*g - 7. Let r be z(-3). Is 18 a factor of (-2 - -943) + 44/r?
False
Let i(q) = 28*q - 104. Let f = -252 - -263. Does 4 divide i(f)?
True
Suppose 0 = -2*c - 10, -4*s - 141*c = -146*c - 1585. Does 128 divide s?
False
Suppose -40*g + 165 = -35*g. Suppose 3*l = -2*l + 105. Let b = g - l. Is b a multiple of 11?
False
Let z = 126 - 162. Is z*2/(-32)*(-704)/(-3) a multiple of 66?
True
Let m(l) = -l**3 + 79*l**2 + 14*l - 230. Is m(79) a multiple of 12?
True
Let q = 11040 - 5096. Is 39 a factor of q?
False
Is ((-15146)/(-6))/(72/54*2/24) a multiple of 61?
False
Let t(v) = v**2 - 3*v - 1. Let f be t(2). Let m(q) = 4*q**2 - 6*q + 6. Is 6 a factor of m(f)?
True
Suppose -1574812 + 233034 = -83*q. Is q a multiple of 43?
False
Let g = -383 - -383. Suppose -17*d + 2755 + 5388 = g. Does 15 divide d?
False
Let s(x) = x**2 - x - 1. Let a(t) = 11*t**2 + 1. Suppose -4*m = -0*m + 4. Let o(d) = m*s(d) + a(d). Is o(-2) a multiple of 8?
True
Let n = 405 - 277. Suppose -n*t = -125*t - 1437. Is 25 a factor of t?
False
Let k = 978 - 289. Let q = 1454 - k. Is q a multiple of 17?
True
Suppose 4*s - 47122 = -x, 5*s - 23015 - 24098 = -x. Is x a multiple of 52?
False
Suppose 2*u - u + 3*a = 66, -4*u - a = -308. Let g = u + -75. Suppose -g*j + 79 = -2*w, 4*w = 6*j - j - 129. Is j a multiple of 2?
False
Let f(n) = n**3 - 7*n**2 - 11*n + 9. Let m be (-117)/(-15) + 2/10. Let a be f(m). Is 24*1*(-10)/a a multiple of 8?
True
Let o(n) = n**3 + 8*n**2 - 10*n. Let h(t) = -t**3 - 8*t**2 + 15. Let x(y) = y**2 + y + 1. Let f(k) = -h(k) - x(k). Let r be f(-7). Is o(r) a multiple of 7?
False
Let y = 147 + -72. Let j = -10 + y. Let f = -29 + j. Does 12 divide f?
True
Let n = -26 - -300. Suppose 12*g = -n + 1498. Does 17 divide g?
True
Let r = -177 + 193. Suppose -p = -4*f - 124, -5*f + 9 = -r. Does 12 divide p?
True
Suppose 0 = -2*y - 3*a + 1303 + 3770, 4*y - 2*a - 10186 = 0. Does 212 divide y?
True
Let f(x) = -4*x**3 + 75*x**2 + 35*x - 34. Is 55 a factor of f(14)?
True
Suppose 7 = 3*l - 5*z, -15 = -2*l - 2*z + 11. Suppose 7*d - 10 = 2*d. Does 6 divide (l/d)/((-2)/(-16))?
True
Suppose 239*f - 241105 = 47*f - 81361. Is 8 a factor of f?
True
Let t(s) = -2*s**3 - 19*s**2 - 8*s + 8. Let n be t(-9). Let m be (-12)/(-1 + -2) - n. Suppose 4*r = -m*l + 101 + 180, l = -3*r + 65. Is l a multiple of 5?
False
Suppose 0 = -4*j - 4*s + 32, 0 = -2*j + 4*s - 7*s + 19. Suppose t - m = -t + 5, j = 5*t - m. Suppose t = -y + 7*y - 714. Is 17 a factor of y?
True
Suppose -3*h - 28 = -2*h - 2*q, -5*q = 4*h + 151. Let g(x) = x + 78. Let c(t) = -t - 77. Let o(w) = -6*c(w) - 5*g(w). Does 8 divide o(h)?
False
Suppose 2*y = 5*p - 24, -3*y + 8*y - 10 = -5*p. Suppose 5*j - 213 = 2*f, 5*f + p*j + 550 = 1. Let n = 160 + f. Does 7 divide n?
False
Let z(x) = 2746*x**3 - 6*x**2 + 15*x - 10. Is z(1) a multiple of 15?
True
Let r(s) = s + 10. Let u be r(-7). Suppose 0 = -9*v - u*v + 4740. Does 41 divide v?
False
Let h = 1463 - 655. Let v = h - 668. Is v a multiple of 7?
True
Suppose -25*m + 26*m = 3. Suppose 3*o = -4*p + 13 - 30, 3*o = -m*p - 12. Let s(r) = 94*r**3 + 1. Is 15 a factor of s(o)?
False
Let d be -3 - 8*(-5 - -4). Suppose 3*u = -d*z + 2124, 2*u - 2*z = 5*u - 2133. Is u a multiple of 31?
True
Let a be 1/((-1)/5490)*(-6)/9. Suppose -a = -14*f + 2*f. Is f a multiple of 61?
True
Let q(g) = -g**3 - g**2 + 29*g - 13. Let o be q(6). Suppose -3*w + 198 = -255. Let p = w + o. Does 34 divide p?
False
Let v(z) = 11*z**2 + 32*z + 28. Let a be v(-14). Suppose f - 1164 = -2*p, -3*p + 6*f - 5*f + a = 0. Is 55 a factor of p?
False
Let c(z) be the third derivative of z**6/40 - 7*z**5/15 - z**4/8 + 19*z**3/6 - 89*z**2. Does 15 divide c(10)?
False
Let l be ((-63)/18)/(1/(-4)). Suppose 17*f = -l*f + 14570. Does 47 divide f?
True
Let a be ((-2)/4)/(34177/6838 + -5). Suppose 0 = 9*w - a - 322. Is 13 a factor of w?
True
Let t(u) = u**2 - 1. Suppose -s + 3*s - 4*j = -6, -3*j + 6 = -3*s. Let l(h) = -12*h**2 - 15. Let i(w) = s*l(w) + 18*t(w). Is 39 a factor of i(-2)?
True
Let a = 3202 - 1416. Is (1 - (-2)/(-4)) + a/76 a multiple of 12?
True
Let z be 4/(-22) - (-310)/11. Suppose 3*w - 4 = 4*s, -3*w = 2*w + 2*s + z. Is w/7 - (-312)/7 a multiple of 22?
True
Suppose a + 3 = 0, 2*t = -2*a - 23 - 41. Let l(o) = 3*o + 110. Is l(t) a multiple of 7?
False
Let u = -116 + 119. Suppose -u*l + 14 = 4*m, 0 = 5*m + 3*l - l - 14. Suppose p = -3*c - m*p + 564, 4*c - 2*p = 740. Is c a multiple of 31?
True
Suppose 2*b = -2*j - 1858, 0 = 5*j - b - 3*b + 4663. Let y = 112 - j. Does 20 divide y?
False
Suppose -84 = -4*a - 4*m, 0 = -2*a - 4*m - 21 + 73. Suppose 3*n + 3887 = a*n. Is n a multiple of 9?
False
Suppose -11053 = -9*l + 3*l + 25127. Is 30 a factor of l?
True
Let f = 10 - 2. Let l be 398/11 + f/(-44). Suppose l = k - 19. Does 5 divide k?
True
Suppose y + 38253 = 5*g, -5*g = 2*y - 23164 - 15080. Does 45 divide g?
True
Let x be (-3)/(-5) + 66/15. Let z(o) = -o**3 + 4*o**2 + 5*o. Let w be z(x). Suppose 4*f - 479 = m, 3*f = -w*m - 3*m + 363. Is 40 a factor of f?
True
Let u = -27174 - -51310. Is u a multiple of 28?
True
Let r(o) = -6*o**3 - 15*o**2 + 11*o + 54. Is 31 a factor of r(-12)?
False
Suppose -3*n - 4*l = -66694, -n + 9342 = 2*l - 12892. Does 29 divide n?
False
Let p = 173 - -53. Suppose 0 = -4*h + 2*b + p, 3*h = 4*h + 3*b - 67. Does 10 divide h?
False
Suppose 69*k = z + 66*k - 4503, 0 = -5*z + 2*k + 22515. Does 32 divide z?
False
Let w be ((-4)/(-5))/((-2)/(-5)). Let b be 