n) = -17*n - 256. Does 35 divide t(-28)?
False
Let f = -26 - -37. Let s = -5 + f. Does 20 divide ((-80)/(-12))/(2/s)?
True
Let n(g) = g**3 - 2*g**2 - 3. Let b be -3*(4 + -1)*1. Let p = b - -13. Does 9 divide n(p)?
False
Let s = -4 - 2. Let f(k) = k + 8. Let z be f(-10). Is (s/z - 5) + 7 a multiple of 5?
True
Let m(u) = 3*u - 29. Is m(18) a multiple of 2?
False
Suppose -2784 = -21*j + 450. Does 11 divide j?
True
Suppose m + m - 34 = 0. Let a = m + -29. Let x = 27 + a. Is x a multiple of 6?
False
Let y = -12 - -17. Suppose -5*q + y = -4*q. Suppose 4*x = 5*l - 153 + 13, -q*x = -4*l + 112. Is l a multiple of 27?
False
Let d = -340 - -1030. Is 23 a factor of d?
True
Let l = 2 - 363. Let p = 525 + l. Is p a multiple of 41?
True
Let j = 13 + 228. Is j a multiple of 9?
False
Let b(z) = 2*z - 14. Let w be b(10). Suppose -2*x - 110 = -4*x + 5*h, -4*x + 5*h = -200. Suppose -3*v + w + x = 0. Is 14 a factor of v?
False
Let b = 274 - -49. Is b a multiple of 19?
True
Let m(r) = -2*r - 11. Let x(b) = b + 5. Let o(n) = 4*m(n) + 9*x(n). Let l be o(8). Suppose -2*t + l = -11. Is t even?
True
Suppose 2*n - 5*f = 1143 + 499, 0 = 4*f. Suppose 0 = -11*o + n - 139. Is o a multiple of 7?
False
Let g be 6/(-3) + -1 - 11. Let j = g - -80. Suppose 4*k + c - 60 = 0, -c + 0*c - j = -5*k. Is k a multiple of 7?
True
Let l(u) = 3*u**3 + 5*u**3 + 9 - 11*u**3 - u**2 + 2*u**3 - 11*u. Is 18 a factor of l(-5)?
False
Is 103 a factor of 102/(-408) - (-826)/8?
True
Suppose -6*m = -9*m + 429. Is 11 a factor of (m/(-52))/((-2)/8)?
True
Suppose 0 = 4*g + 4*j - 944, -2*j - 723 = -2*g - g. Is g a multiple of 6?
False
Suppose -46*s + 42691 + 30725 = 0. Is 32 a factor of s?
False
Let o be 108/14 - (-8)/28. Let s = o - 6. Suppose -4*d + 2*f = -s*f - 256, -5*d + 320 = 3*f. Does 16 divide d?
True
Let t = 149 - 150. Is (48 - (t + -4)) + -5 a multiple of 12?
True
Suppose 0 = -5*j - k + 8710, -5226 = -3*j + 3*k - 4*k. Is 22 a factor of j?
False
Suppose j - 5 = 8. Suppose 0 = 2*x - 3*x + j. Is x a multiple of 9?
False
Let l(t) = 22*t**2 - 3*t + 1. Let a(b) = 2*b - 13. Let f be a(7). Is l(f) a multiple of 10?
True
Let g(s) = -s**2 - 10*s - 15. Let i be g(-8). Let r be i + 3 - (-12 - -14). Suppose r*c = 79 - 1. Is c a multiple of 8?
False
Let o be 6/2 + -3 + 4/2. Let p(v) = 8*v**3 - 3*v**2 + 2*v + 1. Let r be p(2). Suppose 5*s - r = o*s. Does 19 divide s?
True
Let l = 65 + -71. Is l/27 + 614/9 a multiple of 17?
True
Let x be (-1 - (-1)/2)*6. Suppose -54 = 3*h + 3*l - 6*l, -4*h - 40 = 4*l. Let a = x - h. Is 4 a factor of a?
False
Let z(b) = -b**3 - 3*b**2 - 2*b - 2. Let d be z(-3). Suppose d*t - 79 = 5. Is 7 a factor of t?
True
Let y = -6 + 1. Let v = -10 + 12. Is 6 a factor of v/y - (-368)/20?
True
Let o(r) = 57*r**2 + 4*r + 1. Let j be o(-2). Suppose 0 = -4*f - q + j, 2*q + q - 69 = -f. Is 9 a factor of f?
True
Let q(o) = 5*o**2 + 9*o - 3. Let v(f) = 9*f**2 + 17*f - 6. Let h(w) = 7*q(w) - 4*v(w). Let a be h(-5). Suppose 32 = 7*j - a*j. Does 3 divide j?
False
Is 25 a factor of (-16)/(1232/(-14949)) - 2/14?
False
Suppose -30*q + 15*q + 1335 = 0. Is 13 a factor of q?
False
Suppose l - 4*y + 0 = 98, 5*l = -2*y + 556. Does 14 divide l?
False
Let i(p) = 18 - 43 + 0*p - 2*p + 5*p. Is i(11) a multiple of 6?
False
Suppose 0 = -2791*p + 2788*p + 1356. Is 10 a factor of p?
False
Let x = -13 + -11. Let w = x - -29. Is 3 a factor of w?
False
Suppose 2*a = -4*s - 0*s + 930, -4*a = 3*s - 700. Suppose -2*z - s = -6*z. Is z a multiple of 29?
True
Let j(k) = -k**3 + 6*k**2 - 2*k. Let p be j(5). Suppose -5*y - p = -405. Is 10 a factor of y?
False
Let l be (9/5)/((-9)/(-30)). Is 157/l - (-2)/(-12) a multiple of 14?
False
Let j(k) = -5*k**3 - 14*k**2 - 13*k - 38. Is j(-4) a multiple of 5?
True
Let l = 87 - 54. Let i = l + -19. Is 4 a factor of i?
False
Is 18 a factor of (-14355)/(-270) - (1 - 11/6)?
True
Is 13 a factor of (-55)/(-2)*(-24)/(-30)*13?
True
Let r(p) = -p**2 - 59*p - 263. Does 11 divide r(-50)?
True
Does 31 divide (51/(-2))/1*14400/(-108)?
False
Suppose 4*m - 733 = -5*g, -3*m + 363 = 4*g - 224. Suppose 3*a - 57 = 42. Suppose -a + g = 4*c. Is c a multiple of 29?
True
Let k be ((-1666)/4)/((-5)/20*2). Suppose 0 = 3*t - 5*t + 10, -3*s = 4*t - k. Does 46 divide s?
False
Suppose 2*t = 8*t - 24. Suppose -210 = -5*i - 2*r, 3*r - 64 + 209 = t*i. Is i a multiple of 4?
True
Suppose 10*s - 5*s = 0. Suppose 3*r - 4*q - 22 = 0, s + 2 = q. Let g = r + -8. Is 2 a factor of g?
True
Let m = 18 + -89. Let w = m - -161. Does 30 divide w?
True
Suppose 4*k - 6*k = -518. Does 28 divide k?
False
Let j(b) = -3*b + 1. Let v be j(2). Let a be 20/25*(-10)/4. Does 7 divide (a - v)*(-11)/(-3)?
False
Let b(z) = z + 23. Let c be b(-19). Suppose 0 = 4*n - c, p = -0*n - n + 111. Is 4 a factor of p?
False
Let t(h) = h**3 + h**2 + h + 2. Let u be t(0). Let d(m) = -8*m**u + m**3 + 2 + 6*m - m + 4. Is d(8) a multiple of 23?
True
Is 7 a factor of 3/(-4) + (-23096)/(-32)?
True
Suppose -5*a = k + 27, -4*k - 3*a - 43 = 14. Let o be -36*(-4 + 76/16). Is 8/3*o/k a multiple of 2?
True
Let l = -597 - -1402. Is l a multiple of 23?
True
Suppose -2*w + 2781 = 5*h, -4*h - 3*w + 1570 = -659. Suppose -6*f + f = -2*p + h, 3*f = 4*p - 1075. Is p a multiple of 38?
False
Suppose -5*o - 3*s = -3201, -208*o + 2546 = -204*o - 5*s. Does 71 divide o?
True
Suppose 15*m - 17808 = -13*m. Does 6 divide m?
True
Let f(v) = v**3 - v**2 - 5*v - 1. Let i be -1 - (2/(-2) + -12). Let g = i + -8. Is 11 a factor of f(g)?
False
Is 3/(((-2)/3)/((-4410)/49)) a multiple of 20?
False
Let n = -14 + 43. Suppose 0 = n*k - 34*k + 455. Is 13 a factor of k?
True
Let c = 3088 - 2024. Does 52 divide c?
False
Let m(h) be the second derivative of h**4/3 - h**3/3 + 7*h**2/2 + 16*h. Does 11 divide m(4)?
False
Let h be (3*4/(-6))/((-4)/170). Let v = h - -2. Does 29 divide v?
True
Suppose 0 = -14*k + 20*k - 204. Is 4 a factor of k?
False
Let l(k) be the first derivative of -15*k**2 + 3*k + 4. Let y be l(5). Is 13 a factor of (y/6)/(5/(-10))?
False
Suppose -3*a + 5*k = -8 - 7, -5*a + 25 = 3*k. Suppose a + 1 = 2*o. Suppose 2*d + 3*p = d, -3 = -2*d - o*p. Is 2 a factor of d?
False
Let p be (-5)/(-1) + -1 - -6. Let h = p + 14. Is 7 a factor of h?
False
Suppose -21996 = 2*s - 8*s. Is 9 a factor of s?
False
Suppose 0 = 4*t + 2*r - 78, r + 3 = -0. Is t a multiple of 2?
False
Suppose -p + 1758 = 5*k, 8 = -5*p - 2. Let a = -184 + k. Is a a multiple of 12?
True
Suppose -5*k + 1056 = -654. Let j = -99 + k. Suppose -2*v = 3*v - 2*g - j, -v + 2*g + 47 = 0. Is 28 a factor of v?
False
Let g(r) = 5*r + 11. Let t(q) = -q - 1. Let b(v) = 7*v + 20. Let f(y) = -b(y) + 3*t(y). Let n(k) = 4*f(k) + 9*g(k). Is n(5) a multiple of 8?
True
Let u be 12/(-10)*5/(-2). Let m be 2/(-2)*(2 - u). Does 6 divide (19/(-2))/(m/(-2))?
False
Let b = -14 - -32. Let u = 27 + b. Is 12 a factor of u?
False
Suppose 2*u - 25 = 4*z + 7*u, -4*u = 2*z + 20. Let t be (-6)/(-10) - 724/(-10). Suppose z*o + o - y - 11 = 0, 5*o + 4*y - t = 0. Is o a multiple of 4?
False
Suppose 0 = -n - 2*n - 234. Let c = -22 - n. Suppose 0*g - 2*g - 194 = -4*p, 2*g = -p + c. Is 16 a factor of p?
False
Let q = -12 - -175. Is q a multiple of 43?
False
Is (-15 + 405/30)*(-8432)/3 a multiple of 85?
False
Let z = 10 - 13. Let t be (6/5)/(15/(-50)). Is 44 - z - (t + 7) a multiple of 7?
False
Let u(d) = -d**2 + 3*d - 2. Let t be u(2). Let n(w) = -w**2 - w - 5. Let f be n(t). Does 15 divide f/((-10)/84) + 3?
True
Let z(a) = -36*a + 1. Suppose 4*r + 2 = 2*r. Let g be z(r). Is g/1 - (-1 + 3) a multiple of 14?
False
Let h(p) = -p**2 + 4*p - 4. Let b be h(5). Let v = b + 15. Suppose v*n = 3*n + 42. Is n a multiple of 14?
True
Is 13 a factor of (-1)/((-2)/778) - -1?
True
Let a = 24 - 16. Suppose -d + a = d. Suppose -2*x = 2*z - 54, d*z - 24 = -0*x - x. Is x a multiple of 8?
False
Suppose -2*p - 98 = -640. Is 9 a factor of p?
False
Let h(i) = -16*i - 281. Does 29 divide h(-52)?
True
Let a be 3252/14 + 40/(-140). Suppose -3*q + a = q. Is 8 a factor of q?
False
Suppose -h - 4*n + 330 = 0, -10*h + 338 = -9*h - 4*n. Does 7 divide h?
False
Suppose 8 = 2*w, -2*h + 2*w + 2*w = 4. Suppose -4*u + g - h*g = -53, 3*u = 5*g + 31. Does 5 divide u?
False
Suppose 0 = -22*x - 2*x + 15984. Is x a multiple of 9?
True
Let q(t) = 2*t**2 - 7*t + 51. Does 40 divide q(-13)?
True
Suppose 5*d = p + 