**2 - z + 4. Let u be p(0). Suppose 2*n = u*n - 24. Is n a multiple of 6?
True
Let j(y) = -y**3 - 8*y**2 + 8*y - 5. Let n be j(-9). Suppose -x = 3*m - 6, m - 15 = -2*x - n*m. Does 3 divide 66/x - (-6)/(-15)?
False
Let i = 99 + -70. Suppose i - 11 = 2*o. Is 4 a factor of o?
False
Let x(i) = i**2 + 2*i + 12. Is x(-5) even?
False
Let t = -21 + 25. Is 4 a factor of t?
True
Is ((-1)/2)/(12/(-1584)) a multiple of 33?
True
Does 11 divide (88/12)/(6/27)?
True
Suppose -57 = -3*v + 228. Suppose -2*a + 7*a + 250 = 5*h, 2*h = 3*a + v. Suppose -2*b + h = 3*b. Does 10 divide b?
False
Suppose 5*z = 223 + 117. Does 14 divide z?
False
Let a = 3 - 7. Is 14/a*60/(-35) even?
True
Suppose 4*j = -26 + 2. Let q = -6 - j. Suppose q = -3*i - 5*r + 5, 2*r = i - 9 - 0. Is 5 a factor of i?
True
Let s(j) = 7*j - 4. Does 7 divide s(5)?
False
Let a(r) = r**2 - 5*r + 2. Let c be a(5). Suppose 0 = 2*l - z - 7, 7 = c*z - 3. Is l a multiple of 5?
False
Let o be (-78)/(-2) + -2 + 3. Is 4 a factor of o/5 + -1 + 1?
True
Suppose -12 = -z - 2*r + 1, 4*r + 64 = 4*z. Does 3 divide z?
True
Let h be (-4)/3*6 - 0. Is 10 a factor of (-2)/h - 115/(-4)?
False
Let d = -105 + 208. Suppose -5*u + 47 = -d. Suppose 2*y + u = 4*y. Does 14 divide y?
False
Let r = 7 + -3. Suppose -r*a + a = 858. Does 11 divide (-6)/(-15) + a/(-10)?
False
Let f(k) = -4*k + 16*k - 2 - 1 + k. Does 18 divide f(3)?
True
Let s(w) = -w**3 + 6*w**2 + w - 1. Let a be s(6). Suppose a*m - 2 = 33. Suppose 2*c + 60 = m*c. Is 12 a factor of c?
True
Suppose -3*g + 2 = -1. Let y be 1/(g/(-2)) + 3. Is 5 a factor of -1 - ((-15)/1)/y?
False
Let z(i) be the third derivative of -11*i**4/24 - 5*i**3/6 - 2*i**2. Is z(-6) a multiple of 11?
False
Let l = 26 + -46. Let u = 32 + l. Is 16 a factor of (20/15)/(1/u)?
True
Let n be 119/4 + (-2)/(-8). Suppose 2*p - 116 = -2*x, -3*x - n + 258 = 4*p. Is p a multiple of 27?
True
Let x(h) = h + 3*h + 6*h**2 - 5*h**2 - h + 1. Suppose -3*a + 5*v + 50 = 10, 0 = -v - 5. Does 14 divide x(a)?
False
Let v = -5 - -8. Suppose -5 = 2*o + y, 0 = v*o - 8*o - 3*y - 13. Let c = 1 - o. Does 3 divide c?
True
Let s(a) = 2*a**2 + 6*a + 1. Is s(-5) a multiple of 5?
False
Suppose 3*v + 22 - 328 = -h, 2*h = 0. Is v a multiple of 13?
False
Let l(s) = s**2 - s - 6. Let r be l(0). Let q(m) = -5*m + 1. Does 18 divide q(r)?
False
Let l = 4 + 24. Suppose g = l + 21. Does 17 divide g?
False
Let k = 194 - 41. Does 7 divide k?
False
Does 4 divide 44/16*4*4?
True
Is 12 a factor of (-13 + -5)/(15/(-40))?
True
Let a(w) = 3*w - 11. Does 17 divide a(10)?
False
Suppose -24*j + 22*j + 138 = 0. Does 14 divide j?
False
Suppose -5 = -i - 4*m + 7, i = m - 3. Let p = 5 + -3. Suppose -5*f = -4*g - i*f + 115, 4*g = -p*f + 122. Is 11 a factor of g?
False
Does 2 divide (-6)/(-1) - 6/6?
False
Suppose -u + 22 = m, -5*u - 2*m = -4*m - 75. Let c = 0 + u. Does 11 divide c?
False
Let m be -111*-1*(-4)/(-6). Does 21 divide m - (27/3)/3?
False
Let g = -121 + 266. Suppose -5*z = 4*y - 120, 10*z - y = 5*z + g. Does 17 divide z?
False
Let b = 19 - 11. Suppose -b = -x - x. Is x even?
True
Let g be (-4)/3*(-1380)/8. Suppose -a + g = 4*a. Let t = -26 + a. Does 10 divide t?
True
Let k be 1/(3 + 38/(-13)). Suppose 2*r + 3 = k. Suppose r*w = -0*w + 55. Is w a multiple of 3?
False
Let p be 24/(-16) - 6/4. Does 19 divide -92*(-1 + p/(-6))?
False
Let t be -10*2/(-4) + 2. Suppose 3*f + 0*f = 42. Let y = f - t. Does 5 divide y?
False
Let k(r) = -r - 2. Let h(p) = 2*p + 3. Let u be h(-4). Let z be k(u). Suppose 0 = 2*a - 5*s - 37, -3*s = -0*a + z*a - 45. Is 6 a factor of a?
False
Let k = 10 - 5. Suppose -24 = -j + k*s, 0 = 4*j - j - 4*s - 28. Is j a multiple of 3?
False
Suppose 140 = 11*k - 355. Is k a multiple of 9?
True
Let y = 20 - 10. Let s = 15 - y. Is s a multiple of 3?
False
Let d(t) = -t**3 - 6*t**2 - 5*t - 1. Let k(n) = -n - 12. Let w be k(-7). Let q be d(w). Is 4 a factor of 1/(q + 0) - -7?
False
Let t = 11 - -3. Suppose -t = -3*a + 46. Is a a multiple of 10?
True
Suppose 5*b + 29 = -3*l + 249, -3*l + 236 = b. Is l a multiple of 20?
True
Suppose 0 = -0*a + 5*a - 235. Suppose 0 = 3*b - 3*i - 9, 14 = -b - 5*i + a. Is 7 a factor of b?
False
Let p(j) = -j**3 - 12*j**2 + 13*j + 3. Let b be p(-13). Is ((-3)/(-2))/(b/22) a multiple of 11?
True
Let c(i) = i**3 - 8*i**2 - 13*i - 5. Does 11 divide c(10)?
False
Let o be 4*-1*(1 + -2). Suppose 4*q - q - 12 = 0. Suppose -5 = f - o*w, 2*f - 2*w = q*f - 30. Is 10 a factor of f?
False
Let y be (-1 - -197) + -1 + -3. Suppose 3*o + o - y = 0. Does 12 divide o?
True
Let q = 1 - 0. Is 2 a factor of (10/6)/(q/3)?
False
Suppose 13*n + 13 = 416. Is 16 a factor of n?
False
Let f = 180 + -123. Suppose -2*i + 48 = -4*t, 0 = -3*i - t + 2*t + f. Suppose 4*g - 35 = -3*p + 20, -2*p = -2*g - i. Is p a multiple of 13?
True
Let g = -71 - -170. Does 9 divide g?
True
Let d = 1 + 0. Let b be (2 + -1 + d)/1. Suppose 0 = 2*t - n - 44, b*t + 5*n = 4*n + 44. Is t a multiple of 10?
False
Let y(w) = -w**3 - 2*w**2 + 2*w - 3. Let g be y(-3). Suppose -h + g*h = 0. Suppose -6*f + f + 75 = h. Is f a multiple of 5?
True
Suppose -5*f = -40 - 55. Is 5 a factor of f?
False
Suppose 2*h - h + 8 = 0. Let n = h - -28. Does 17 divide n?
False
Let s = 93 + -30. Does 30 divide s?
False
Let l = 123 - 111. Is 7 a factor of l?
False
Suppose 5*q + 2*h - 370 = 0, 0*q - h - 67 = -q. Suppose -93 = -3*l + s, -2*l = -4*s - 0*s - q. Does 13 divide l?
False
Let f be 12/36 + (-1)/3. Suppose 54 = h + 4*h + p, f = 3*h - p - 26. Is h a multiple of 3?
False
Let k(z) = 2*z**2 - 1. Let y be k(-3). Suppose 0 = h - 4*b, 3 - y = -4*h + 2*b. Suppose h*j - 41 = 15. Does 7 divide j?
True
Suppose 16*k = 21*k - 350. Is 22 a factor of k?
False
Let y be (-30)/(-9) + 2/(-6). Let x = 1 + y. Let i(v) = v. Is i(x) even?
True
Let b(k) = k**2 - 8*k - 9. Let f be b(9). Suppose f*y = y - 3. Let s = 22 - y. Is s a multiple of 11?
False
Let a be (-1 - 0)/((-2)/2). Suppose -5*k + 59 + a = 5*j, 0 = 2*j - 4*k + 6. Is (0 + 1)/(j/210) a multiple of 12?
False
Suppose -3*z + 6*z - 130 = -5*h, 5*z = -2*h + 223. Does 9 divide z?
True
Suppose 7*t = 2*t + 85. Does 8 divide t?
False
Let q(u) = u**2 - 7*u - 5. Let n(k) = -4*k**3 - k**2 + 1. Let b be n(1). Does 13 divide q(b)?
True
Let z be 1*(0/(-2) + -4). Let r(n) = 3*n**2 - 2*n - 5. Is 17 a factor of r(z)?
True
Let r = 10 + -4. Suppose 60 = -t + r*t. Does 5 divide t?
False
Let z = -478 + 769. Is z a multiple of 19?
False
Let c(t) = -t**2 + 6*t - 10. Let s be c(5). Let o(p) = 3*p**2 + 8*p + 6. Is 14 a factor of o(s)?
False
Let t(c) = 7*c**2 - c + 1. Let x be t(1). Let u be (-6)/(-2*1/x). Is u/2*4/6 a multiple of 6?
False
Let p(y) = 7*y**3 + 3 + 3*y - y**2 - 13*y**3 - 6 + 7*y**3. Suppose 0 = 2*c - 2*r - 4, -3*c - 2*r + 5 = -6*r. Does 12 divide p(c)?
True
Let v(y) = 2*y**2 - 12*y + 19. Let j(b) = -b**2 + 6*b - 9. Let o(h) = -5*j(h) - 2*v(h). Does 2 divide o(6)?
False
Let w be (-4)/2*-1 + 10. Is 8 a factor of (-9)/54 - (-194)/w?
True
Suppose 3*v = -2*t - 48, 5*v + 56 + 29 = -5*t. Let b = 37 + v. Is 7 a factor of b?
False
Let r be 11 + 2*9/(-6). Let y = r - 3. Suppose 0 = -4*l + 3*i - 31 + 112, i - y = 0. Is l a multiple of 9?
False
Let f = 4 - 10. Let a(g) = -4*g + 3. Is a(f) a multiple of 9?
True
Let o(m) = -3*m - 1. Let p(c) = -c**2 + 7*c - 6. Let f be p(6). Let v = -5 + f. Is o(v) a multiple of 7?
True
Suppose -1 = -3*c + 5. Let x(g) = 11*g + 2. Does 14 divide x(c)?
False
Suppose -3*k - 79 = -4*k + j, 4*k + j = 336. Does 8 divide k?
False
Let g be ((-1)/(-3))/(2/(-6)). Let b = 14 - g. Does 15 divide b?
True
Let c(y) = -y**3 + 4*y. Let s(f) = f**2 + 8*f + 4. Let a = -10 - -3. Let h be s(a). Does 12 divide c(h)?
False
Let q be (4/(-6))/((-4)/(-6)). Let k(o) = o. Let w(v) = 2*v. Let y(j) = q*k(j) + w(j). Is y(10) a multiple of 7?
False
Suppose -2*a + 3*w + 49 = -0*a, -15 = 3*w. Suppose 3*v = -l - 2*v - 1, -a = -3*l + 5*v. Does 4 divide l?
True
Suppose 5*h + 3 = -27. Is ((-10)/h)/(2/30) a multiple of 15?
False
Let n be 4/(-8)*(0 - 8). Suppose n*z - 399 = -135. Is 22 a factor of z?
True
Suppose -6 = -3*b, 0*b - 31 = -3*w - 2*b. Does 9 divide w?
True
Let m = -25 + 28. Is m a multiple of 2?
False
Suppose 2*d = -1 - 11. Let n = 14 - -14. Let q = n - d. Is 12 a factor of q?
False
Suppose 2*y + p - 28 = 7, 0 = -4*y + 5*p + 105. Suppose -4*c + 5*w + 103 = -0*c, y = 4*w