 n(m) = -m - 4. Let h be n(-6). Suppose -a = h*a - 21. Suppose a*j - 50 = 5*j. Is j a multiple of 9?
False
Let t = -2 - -7. Suppose 2*r - 17 = 2*b + 9, t*b = 0. Let j = r + 1. Does 14 divide j?
True
Suppose 3*a + 91 = 2*y, 4*y + y = -4*a + 262. Let k = y + 41. Does 13 divide k?
True
Let k = 877 + -353. Let o = k + -328. Is o a multiple of 22?
False
Let n(r) = 8*r**2 - 2*r + 1. Suppose -4*v + 6 = 2. Is n(v) even?
False
Let z = -1298 - -2402. Does 23 divide z?
True
Let j be 5028/27 - (-6)/(-27). Suppose 2*h - 218 = q, 3*h - 141 - j = -3*q. Is h a multiple of 13?
False
Suppose 7*p - 8*p = -4*q + 38, 0 = -q + 5*p. Suppose 0 = 3*i + 6, -s - 7*i = -4*i - q. Is s a multiple of 4?
True
Suppose -o + 28 = -4*b + 100, 26 = 2*b + 2*o. Does 17 divide b?
True
Suppose -5*i = -38 - 2. Suppose 4*z + 0 = -i. Let f = 2 - z. Is f a multiple of 4?
True
Is 2*48 - 42*(-6)/(-36) a multiple of 3?
False
Let q be -198 + (-5 - -2) + 0. Let r = -61 - q. Is r a multiple of 23?
False
Let z(o) = 3*o**2 - 5*o - 5. Let n(w) = 4*w**2 - 5*w - 5. Let t(b) = 4*n(b) - 5*z(b). Suppose 3 = -2*h - 13. Is 16 a factor of t(h)?
False
Let t(c) = -c**2 + 16*c + 14. Suppose -12*m + 14*m - 12 = 0. Does 9 divide t(m)?
False
Suppose 1890 = 4*d - 22*d. Let s be (-10)/(-3*(-2)/(-111)). Let a = d + s. Is a a multiple of 13?
False
Is 56 a factor of 7/(-5)*(-2800)/35?
True
Let a(s) = 15*s**2 + 16*s + 1. Is 21 a factor of a(6)?
False
Let o be (2 - 15/6)*-2. Suppose 7*r + o - 176 = 0. Let z = r + -13. Is 4 a factor of z?
True
Let a(x) = -3*x**2 - x + 6. Let m be a(3). Let j be (0 + -6)*392/m. Suppose -17 + j = w. Is 22 a factor of w?
False
Let z be -6*3/6*-1. Suppose -3*u + 5*d = -37, 5*u - 2*d + z*d = 43. Is 5 a factor of u?
False
Let q(b) = -49*b + 6. Let a be q(-3). Suppose -2*o - a = -5*o. Is o a multiple of 11?
False
Is ((-211)/(-3))/((-34)/(-306)) a multiple of 27?
False
Let b(i) = 105*i**3 - 2*i + 1. Let d be b(1). Let x = 132 - d. Is 3 a factor of x?
False
Suppose -3*t + 6*t = 6. Suppose 2*x - 3 = 3. Suppose x*u + t = 4*u. Is 2 a factor of u?
True
Let g(p) = -107*p + 3. Let m be g(1). Let l = -28 - m. Does 38 divide l?
True
Let n be (-2)/(-7) + (-25)/(-35). Let h(x) = 23*x + 1. Is h(n) a multiple of 12?
True
Let x(k) = 6*k + 3. Let g be x(-2). Let n be (0 - -2)/(-2)*g. Let d = 32 - n. Is d a multiple of 23?
True
Let z(y) = -y - 1. Does 2 divide z(-4)?
False
Let z = 54 - 44. Suppose 0 = 7*o - 8*o + z. Does 10 divide o?
True
Suppose 2*h - 6*h = 84. Let o = -17 - h. Is o even?
True
Let b be (3 + 28/(-8))*26. Let l = 14 + b. Let r = l + 9. Is r a multiple of 4?
False
Let n = -376 + 1240. Does 37 divide n?
False
Suppose f - 3*u - 14 = 0, 0 = 5*f + 3*u - 13 - 39. Is f even?
False
Let f be (300/5)/((-2)/(-6)). Suppose f = 6*g - 0*g. Does 10 divide g?
True
Let f(g) = -2 + 1 - 4 + 2*g + 2*g**2. Let j be f(-6). Suppose y + y = -3*m + 38, -4*m + j = 3*y. Is y a multiple of 13?
True
Let s(g) = -133*g + 104. Does 74 divide s(-2)?
True
Suppose 120 = 5*g - 240. Let l = -66 + g. Is 3 a factor of l?
True
Let r be (-2)/((-1 - -3)/2). Let v be (r + -2)*(-2)/4. Suppose 0 = 2*y + 2, 0 = v*u - 3*y + 5*y - 52. Does 12 divide u?
False
Let r = 45 - 46. Does 24 divide (-178)/(-8) - r - 9/(-12)?
True
Suppose 16*g = 25*g - 2034. Is 20 a factor of g?
False
Let q be 4 - 3/(-9)*-3. Let f be (-2 + q)/(1/(-13)). Let m = f + 27. Does 8 divide m?
False
Let b(y) = -y**3 - 8*y**2 + 10*y + 13. Let w be b(-9). Suppose 0 = -w*t - 2*t + 888. Does 47 divide t?
False
Suppose 10 = 5*q - 5*g, 3*q + q + 5*g + 10 = 0. Suppose q - 6 = -3*c. Is c/(-3) + 210/18 a multiple of 10?
False
Let d = 2842 + -1541. Does 12 divide d?
False
Suppose 712 = 4*k - 3*k - 3*r, -712 = -k + r. Does 19 divide k?
False
Let r(i) = -542*i + 140. Does 17 divide r(-2)?
True
Let b = 193 - 145. Is 4 a factor of b?
True
Suppose 0*a = -3*a - 24. Let w = a + 16. Does 18 divide w + 12 - (0 - -2)?
True
Let q(k) = -4*k**3 - 2*k**2 + 4. Let h be q(-2). Suppose 0 = 5*c + g - h, -2*c + 0*g - 5 = -5*g. Suppose -p - c*p = -576. Is 26 a factor of p?
False
Let o = 4978 + -1748. Is 19 a factor of o?
True
Let v(l) = l**2 + 10*l + 4. Let x be v(-10). Suppose 4*y - 2*p - 142 = 0, y + x*p = 3*p + 34. Let t = y - 15. Is t a multiple of 10?
True
Let k = 6711 + -4223. Is k/24 - (-1)/3 a multiple of 34?
False
Suppose h + 240 = 9*h. Let x = h - 8. Does 11 divide x?
True
Suppose 4*i + 1552 = b + b, -2*b - 4*i + 1544 = 0. Suppose -5*q + b - 194 = 0. Does 8 divide q?
False
Let c(x) = x**2 + 1. Let m(f) = f**3 + 16*f**2 + 16*f - 2. Let a(d) = c(d) - m(d). Let j be 50/(-4) + 6/(-4). Is a(j) a multiple of 10?
False
Let f = 80 + -45. Suppose 3*d - f = -86. Let m = 25 + d. Is 8 a factor of m?
True
Suppose 3 = 14*t - 13*t. Suppose -p - 2*m + 11 = 0, -t*p - 2*m + 15 = -2. Suppose -4*n = -4*h - n + 34, -p*h + 23 = -n. Does 4 divide h?
False
Is 13 a factor of (-6)/45 - (6 - 309616/120)?
True
Let r(w) = 36*w - 1. Let c be r(1). Suppose o + c = -2*x - 2*x, 3*o = 15. Is 1449/35 + 4/x a multiple of 10?
False
Let q(a) = 40 + 4*a - 6*a - 46. Let g be q(-4). Suppose 12 = 3*u, g*u = -3*f - 2*u + 46. Is f even?
True
Let k(a) = 4*a**3 - 15*a**2 + 6*a + 3. Let t(f) = -f**3 + f + 1. Let n(w) = k(w) + 5*t(w). Does 11 divide n(-16)?
True
Is (-3)/(30/(-8420)) - -1 a multiple of 14?
False
Suppose 53*o - 58*o + 4*v = -6708, o + v - 1338 = 0. Does 17 divide o?
False
Let i be (-5 - -13)*3/(-6)*1. Is 14 a factor of (i + 1532/(-16))*(-24)/9?
True
Suppose -71*r = -84 - 20364. Does 16 divide r?
True
Let t(j) = 2*j**2 - 8*j - 9. Let b be t(7). Suppose -b = -v + 24. Is v a multiple of 19?
True
Suppose 10529 - 35729 = -20*i. Is 5 a factor of i?
True
Let x = -88 + 336. Is 5 a factor of x?
False
Suppose -4*y - y + 255 = 0. Suppose 2*j - 2*i + 19 - 57 = 0, 5*i + y = 3*j. Is 3 a factor of j?
False
Is (-1 + (-9)/(-2))*(-2 - -74) a multiple of 14?
True
Suppose -m + 2*r + 1 = 4, -3*m + 5*r - 6 = 0. Let b(s) = 6*s + 6 - 7 - 6 + 0. Does 3 divide b(m)?
False
Is 12 a factor of (2*-41)/(2/(-4)) + 4?
True
Let c = 179 - 100. Let d = c + -9. Is 35 a factor of d?
True
Is 10 a factor of (14/49)/(1*(-5)/(-39410))?
False
Let f(v) = -v**2 + 6*v + 3. Let c(w) = -w**2 + 16*w - 10. Let m be c(15). Let d be f(m). Let n = d - -4. Does 4 divide n?
True
Let v(c) = -15*c + 9. Let j be v(-3). Let o = 59 - j. Does 5 divide o?
True
Is 6 a factor of (-131 + 5)/((-9)/6)?
True
Suppose -16 = -5*c + 2*t, c + 3*t = 6*c - 19. Let h be -1 + (c + 61 - 3). Let m = h - 38. Does 7 divide m?
True
Let j(u) = 30*u**2 + 12*u + 18. Let t(x) = 10*x**2 + 4*x + 6. Let v(d) = 3*j(d) - 8*t(d). Is 21 a factor of v(-3)?
True
Let f = 230 + -6. Is f a multiple of 23?
False
Let w(c) = 251*c**3 - 4*c**2 + 5*c. Is w(1) a multiple of 21?
True
Let y = 86 - 91. Does 27 divide ((-1380)/8)/y*6/1?
False
Let o(a) = 5 - 5 + 3*a - 14*a - 12. Let f be o(-9). Let b = -50 + f. Is b a multiple of 14?
False
Let r(q) = q - 13. Let o be r(1). Let y(f) be the first derivative of -f**2 + 9*f + 1. Is 8 a factor of y(o)?
False
Is 19 a factor of 49/441 - (6190/(-18) - -2)?
True
Let u(g) = 635*g**3 + 2*g**2 - 7*g + 6. Does 12 divide u(1)?
True
Suppose -4*x + 50 = x. Is 5/x*8 + 47 a multiple of 17?
True
Suppose 13 = -4*p - v - 6, p - 2*v - 2 = 0. Let q(i) = -i**3 + 5*i. Is q(p) a multiple of 11?
True
Let p(t) = -4 + 4*t**2 - 32 + 9*t**2 - 12*t**2. Does 27 divide p(-12)?
True
Is 2 a factor of (4/(-3))/((-10)/1440)?
True
Suppose c - 60 = -4*c. Let u be 8/(-6)*(-18)/c. Suppose -u*l + s + 141 = 0, -92 - 102 = -3*l - 2*s. Is l a multiple of 26?
False
Suppose 4*y = y + 2229. Is y a multiple of 73?
False
Is 0 + (-3)/10*6*-45 a multiple of 9?
True
Let z(w) = 7*w + 11*w + 14*w**2 - 13*w**2 - 3*w + 32. Does 16 divide z(-16)?
True
Let b(j) be the second derivative of 3*j + 13/6*j**3 + 0 - 1/12*j**4 - 7/2*j**2. Is 6 a factor of b(11)?
False
Does 14 divide (-1055)/1*(-1)/1?
False
Let v = 842 + -428. Suppose 3*o - v = -o - 3*a, -a + 103 = o. Is o a multiple of 22?
False
Suppose 4*l - 570 = l. Suppose -z - 3*z = 2*j, 0 = 3*z. Suppose j = 4*q + q - l. Does 26 divide q?
False
Let f = 143 + 34. Does 20 divide (f - 1)/(26/52)?
False
Let h = -115 - -278. Let i(l) = -2*l**3 + 2*l**2 - 5*l - 11. Let w be i(-3). Let k = h - w. Is 29 a factor of k?
True
Does 58 divide 4/((-117)/(-116) - (-13 - -14))?
True
Let f(a) = -a + a**2 -