**2 + 12 + 0 + 7 - 13*c - 3. Is g(3) a multiple of 25?
False
Suppose 114576 = 429*m - 405*m. Is 31 a factor of m?
True
Suppose 240 = 3*f + f. Suppose -f = 4*b - 8*b. Suppose 0 = -17*k + 12*k + b. Is k a multiple of 2?
False
Let j be -7 + 1 - -4 - -21. Let p(f) = f**2 + 4*f - 157. Is 20 a factor of p(j)?
True
Is (5 - 164/(-8))*((-1704)/(-9))/1 a multiple of 71?
True
Let g be 4/(-6)*(-1215)/18. Let w(b) = 10*b + 90. Does 18 divide w(g)?
True
Let z(k) = -123*k - 1427. Does 10 divide z(-39)?
True
Suppose -660*z + 13033599 = -206*z - 256343. Does 106 divide z?
False
Let t = 219 + -215. Suppose 3*r = 14*a - 17*a + 240, 0 = 3*r - t*a - 240. Does 4 divide r?
True
Suppose b - 2*n + 28 - 148 = 0, 2*n = -b + 128. Suppose -9*j + 7*j + 3*t = -b, -2*j + 96 = 4*t. Is j a multiple of 6?
False
Suppose 8*u = -36*u + 20*u + 368928. Does 63 divide u?
True
Let b be 6 - 6 - -38 - 3*1. Let u(r) = 5*r**2 + 28 - 2*r - b + 14 + 0*r. Does 8 divide u(2)?
False
Suppose -16*s + 18*s = 8. Suppose 0 = 2*t - s, 5*q = 4*t - 119 + 351. Is q a multiple of 12?
True
Suppose -13639 = -32*z + 14841. Is 14 a factor of z?
False
Let g(s) = s**3 - 2*s**2 - 11*s - 6. Let r be g(6). Let l = 43 + r. Is 23 a factor of l?
True
Let r(k) = 456*k**3 - k**2 + k - 4. Does 61 divide r(2)?
False
Let d(t) = -12*t**2 - 36 + 16*t**2 - 27*t**3 + 29*t**3 - 17*t. Does 18 divide d(10)?
False
Let v be (0 + 6)/((-3)/(-2)). Let o be (-832)/(-14) - v/(-7). Is 10284/o + (0 - 4/10) a multiple of 42?
False
Let d = -15 - -18. Suppose -d*n + 18 = -21. Suppose 0 = 16*s - n*s - 156. Does 3 divide s?
False
Let y(g) = -g**2 + 4*g - 4. Let a be y(-4). Let v be 0/1 + -7 - (-76 - -50). Let z = v - a. Does 8 divide z?
False
Let i be ((-6)/(-8))/(4 + 34/(-8)). Is 28 a factor of 1588/4 - (-15)/i?
True
Suppose 1032*g + 84314 = 1037*g - 3*o, 4*g - 4*o - 67448 = 0. Is 5 a factor of g?
False
Let j be ((-8)/6)/((-4)/60). Suppose 2*t + 3*t + 4*r = -j, 2*t - 3*r = 15. Suppose t = 5*y - 4*g - 360, g = -y - 0*g + 81. Is 7 a factor of y?
False
Suppose 139*j - 578904 = 93*j - 80770. Is 7 a factor of j?
True
Let t = 7 - 3. Let h be 17080/72 - t/18. Let k = h + -132. Does 6 divide k?
False
Let d be (-748)/((-31)/30 - 32/(-32)). Suppose 4*l + 30*l = d. Does 20 divide l?
True
Suppose 14*d = -6*d + 40. Suppose -d*w = -3*o + w + 609, 219 = o + 3*w. Does 19 divide o?
False
Suppose -750 = -23*r + 1872. Suppose -8*b + r + 1022 = 0. Is b a multiple of 29?
False
Suppose -u - 17 + 19 = 0. Suppose u*m - 27 - 241 = 0. Suppose -k = 14 - m. Does 15 divide k?
True
Suppose 5*y + 469 + 556 = 5*q, 2*y = -2*q - 390. Let o be ((-3)/(-2))/(3/(-4)) - y. Suppose -4*z = -154 - o. Is 22 a factor of z?
True
Suppose -14*a + 110 = -72. Suppose -a*b + 3*v = -12*b - 353, -1819 = -5*b - 3*v. Is b a multiple of 13?
False
Let a = -5513 - -3859. Let l be (6/15)/2 - a/5. Suppose 5*j - 219 = l. Does 10 divide j?
True
Let j be -201*(4 + (-9 - -4)). Suppose -j = -i - 2*l + 67, 2*i = 4*l + 536. Does 10 divide i?
False
Let j = -71 + 77. Suppose -j = -3*n + 3*l + 9, -3*l - 15 = n. Suppose n = -2*x + 13 - 5. Is x a multiple of 2?
True
Let c(r) = -r**3 + 15*r**2 - 33*r - 28. Let j be c(12). Let n(i) = 5*i + 99. Does 2 divide n(j)?
False
Let s = -4526 - -12766. Is s a multiple of 16?
True
Let l(y) = -y**3 + 2*y + 1. Let w be l(0). Suppose 3*a - 11 = w. Let q(v) = v**2 - 4*v + 7. Is 3 a factor of q(a)?
False
Let y(j) be the third derivative of 1/2*j**3 + 0*j + 1/30*j**5 + 5*j**2 + 7/24*j**4 + 0. Does 26 divide y(-7)?
True
Let f(w) be the second derivative of -w**4/6 + 67*w**3/6 - 35*w**2/2 + 37*w. Does 3 divide f(24)?
False
Suppose 0 = -3*n + 4*n + 4*b, -3*n + b - 39 = 0. Let o(r) be the third derivative of -r**5/60 - 2*r**4/3 + 5*r**3/2 + 3*r**2. Is 9 a factor of o(n)?
True
Is 312 a factor of 207/27 - 7 - 3*85502/(-18)?
False
Let f be 11/(-3 + 0 + (-28)/(-8)). Suppose f = 2*d + 5*m, -4*m = -0*m - 8. Suppose 0 = -3*r - 2*x + 36, r = 2*x + 10 - d. Is r a multiple of 5?
True
Let x be 36/96 + (-83)/8. Let a(m) = m**2 - 19*m - 18. Is a(x) a multiple of 39?
False
Let b(i) = -2*i**2 - 40*i - 11. Let a be b(-19). Let r be 6/a + (-44)/(-72)*-74. Does 22 divide 3/(r/40)*330/(-8)?
True
Let w = -34 + 36. Suppose q - l - 30 = 0, -q + 4*l = w*l - 31. Let b = -6 + q. Does 7 divide b?
False
Suppose -b + 257 = -4*x - 0*x, -8 = 2*x. Let t = b + -158. Let i = t - 8. Is i a multiple of 24?
False
Let h(n) = -103*n**3 - 2*n**2 + 1. Suppose -o = 3*k - 6, -k + 4*o = -6*k + 17. Let z be -3 + (-2 + 1)*(-3 + k). Is h(z) a multiple of 51?
True
Let m = 2478 + -1764. Suppose 0 = 24*g - 7*g - m. Is 14 a factor of g?
True
Let a(m) = -m**2 - 3*m + 8. Let d be a(-4). Let v(g) be the second derivative of -g**5/20 + g**4/3 + g**3 - 2*g**2 + 7*g. Does 5 divide v(d)?
True
Let c(q) be the second derivative of 19*q**4/12 + q**3/2 + 15*q**2 + 3*q. Is c(5) a multiple of 13?
True
Suppose r = 5*r - 8. Let y be (6 - 4)/(r/5). Does 8 divide y/35 - 501/(-21)?
True
Let c be (-1 + 0)/((-3)/(-180)*-6). Is 48 a factor of (-2)/c + (-45144)/(-120)?
False
Suppose -87*h = -84*h - 9. Suppose -4*w = -4*m - 133 - 87, -2*w + h*m = -108. Does 6 divide w?
False
Suppose 0 = 13*z + 399 + 1226. Let u = 128 + z. Suppose 4*y = u*n - 335, n + 5*y - 290 = -2*n. Does 19 divide n?
False
Suppose q = 3*o - 534, 4*q + o = 6*q + 1083. Let n = -300 - q. Is 9 a factor of n?
True
Let s(c) = -22*c + 5. Let l be s(-2). Let x = -46 + l. Suppose -x*i + 101 = 5*d + 31, 0 = d - 3*i - 32. Does 6 divide d?
False
Does 67 divide ((-196779)/(-134))/((-15)/(-6)*(-2)/(-60))?
False
Let f(a) = -8*a**2 + 441*a - 31. Does 5 divide f(13)?
True
Suppose 5*c = 4*g + 7319 - 63718, 0 = -4*g - 5*c + 56409. Does 19 divide g?
False
Suppose 0*u = -20*u + 101218 + 87062. Is u a multiple of 18?
True
Suppose -4*k = 3*r - 9640, -13*r + 4798 = 2*k - 17*r. Is 7 a factor of k?
False
Let k = 185 - 182. Suppose k*w + 2688 = 10*w. Does 40 divide w?
False
Let x = 33 - 8. Let k = 186 - 149. Let b = k - x. Does 12 divide b?
True
Let s = -6 - -4. Suppose 81*l = -0*l + 1053. Is 10/s - -1 - (l - 70) a multiple of 6?
False
Let m = 410 + -93. Let y = -197 + m. Is y a multiple of 10?
True
Let z be -2 + (-29)/(-4) - (-15)/(-60). Suppose 0 = 4*n + 3*f + 121, -n - z*f = -3*n - 67. Let j = n - -41. Is j a multiple of 6?
False
Let a(s) = 56 - 2*s + 14*s + 34 + 4*s. Is a(9) a multiple of 11?
False
Suppose 391*m + 5284 = 395*m + 5*i, 3990 = 3*m - 3*i. Does 51 divide m?
True
Suppose -42*q = -14406 - 84. Suppose 4*n + 301 = q. Does 2 divide n?
False
Suppose y = 5*o - y - 16, 5*o = y + 13. Is 19 a factor of (-304)/(30/(-45)*(o + 1))?
True
Let m = -1325 + 943. Let s = m - -668. Is s a multiple of 22?
True
Let t be 4/(-6) - 7/(63/156). Let w be ((-235)/30)/(3/t). Let r = -34 + w. Is r a multiple of 5?
False
Let q(t) be the third derivative of t**4/6 + 6*t**3 + 27*t**2. Let p be q(6). Suppose -i - 40 = -a, -a + p = a + 2*i. Is 5 a factor of a?
True
Let g = -7327 - -13343. Does 47 divide g?
True
Let t = 7 + -5. Suppose 3*u + 11 = -t*g, -3*g + 9 = -u - 3*u. Does 16 divide (3843/(-15) - (-1)/5)/g?
True
Let m(k) = -k. Let y(r) = 3*r + 34. Let l(w) = 5*m(w) + y(w). Is l(11) a multiple of 6?
True
Suppose 8 = -4*j, 2*j - 5*j = -3*y + 36. Suppose -407 = -y*a - a. Suppose -h + 1 = -a. Does 5 divide h?
False
Let r = 83 - 104. Let w = 26 + r. Suppose -c = 3*d - 138, w*d + 4*c - 9*c = 210. Is d a multiple of 9?
True
Suppose 3*f - 3*w = -39, 2*f + 3*w - 11 = 3*f. Let h(x) = x - 26. Let z(m) = -m + 1. Let k(a) = 2*h(a) + 6*z(a). Is k(f) even?
True
Let o = 6288 + -6149. Is o even?
False
Suppose -2*x = -313 - 375. Let w(n) = 51*n + 348 + 16*n - x. Does 44 divide w(1)?
False
Suppose -9016 = -10*y + 24824. Is 24 a factor of y?
True
Let x(l) be the second derivative of 27*l + 29/6*l**3 + 0 - 8*l**2. Is 43 a factor of x(5)?
True
Let b = -986 - -991. Let u(i) = -12*i + 16. Let w(v) = -v + 1. Let p(x) = -u(x) + 6*w(x). Is p(b) a multiple of 8?
False
Let w(v) = v + 39. Let i be w(-11). Is 14 a factor of 756*(-7)/i*-2?
True
Let n = -554 - 204. Let z = n + 1267. Does 11 divide z?
False
Suppose m - 348 = 4*t, 226 = 4*m - 5*t - 1111. Let f = 547 - m. Is f a multiple of 25?
False
Suppose -5*w + 695 = -4*m, -19*w + 349 = -2*m - 16*w. Let q = -102 - m. Is q a multiple of 21?
False
Let k(c) = 8818*c - 2. Let z be k(1). Is 14 a factor of z