 = 2*h - 2*y. Is h a multiple of 12?
True
Let l = 28 - 6. Suppose 46 = u - l. Is u a multiple of 17?
True
Suppose 0 = y + 2*i - 10 + 3, 49 = 3*y - i. Is 5 a factor of y?
True
Is 25 a factor of 4942/21 - 1/3?
False
Suppose k = -0*j - 4*j + 14, -3*k + 33 = 3*j. Let z = k - 4. Is z a multiple of 3?
True
Suppose -3*o + 2*a - 5*a = -867, -3*a - 1437 = -5*o. Is o a multiple of 24?
True
Is (-64)/(-4) + 1 - 4 a multiple of 4?
False
Let q be (2 + 1 - 2)*0. Let a be 1*(3 - q/(-3)). Suppose -a*j = -33 - 132. Is j a multiple of 15?
False
Suppose 4 = 4*j - 0, -4*j - 12 = -r. Let u(f) = -f**3 + 3*f**2 + 2*f - 2. Let i be u(4). Let p = i + r. Is p a multiple of 6?
True
Let t = -17 - -22. Suppose -3*c - 84 = -2*z, 210 = t*z + c - 3*c. Is 14 a factor of z?
True
Suppose 0 + 24 = q. Suppose -3*t - 9 = 5*v - 73, -2*v + q = 2*t. Is v a multiple of 7?
True
Suppose 0 = 3*z + 3*m + 6, -m = m - 10. Let d(g) = g**3 + 6*g**2 - 8*g - 8. Let l be d(z). Let t(j) = 23*j**2 + 2*j + 1. Is t(l) a multiple of 11?
True
Suppose 5*s - 4*t + 304 = s, 4*t - 230 = 3*s. Let k = s + 104. Does 10 divide k?
True
Let r(f) be the second derivative of 2*f**2 + 2*f**3 - f + 1/6*f**4 + 0. Is 18 a factor of r(-8)?
True
Suppose p - 4*p - 15 = 0, -p - 2 = -s. Let f = -1 + -6. Let g = s - f. Is g a multiple of 4?
True
Suppose 8*y + 48 = 12*y. Is 4 a factor of y?
True
Suppose 5*t - 18 = -3. Let a(p) = -8*p + 3. Let h be a(t). Is 11 a factor of (-14)/h - (-182)/6?
False
Is 62 + 8*(-5)/(-10) a multiple of 22?
True
Let c(v) = v**3 - 10*v**2 + 9*v + 4. Let f be c(9). Let u(n) = 1 + f*n - 53*n**3 + n**2 - 3*n + 0*n**2. Is u(-1) a multiple of 14?
False
Let o = 5 - -10. Is o a multiple of 4?
False
Let k(m) = -m**3 - 8*m**2 - 9*m + 7. Let g(v) = 3*v + 5. Let x be g(-4). Is k(x) a multiple of 14?
False
Let f = 10 + -2. Let d = f - 10. Let s(v) = -4*v**3 - 4*v**2 - 3*v - 2. Does 20 divide s(d)?
True
Let h = 3 + 4. Let q(a) = 17*a - 9. Does 28 divide q(h)?
False
Suppose -3*m - 12 + 239 = w, -860 = -4*w + 4*m. Does 13 divide w?
False
Suppose 0 = -0*r - 2*r + 3*z + 46, 0 = 5*z. Suppose 5*p + r + 33 = 4*k, -3*p = 0. Does 14 divide k?
True
Suppose 2*g - 126 - 62 = 0. Is g a multiple of 12?
False
Let z(m) = 3*m**2 + 9*m - 4. Let q be (14/(-4))/(1/2). Let t be z(q). Suppose 9*g - 4*g - t = 0. Is g a multiple of 8?
True
Suppose 3*m - 3 + 24 = 0. Is (24/m)/(2/(-14)) a multiple of 24?
True
Let o be 22/(-4) - (-2)/(-4). Let r = -25 - -4. Is (-222)/(-7) + o/r a multiple of 11?
False
Let f(w) = w**2 + 13*w - 11. Does 16 divide f(-16)?
False
Let n(i) = 2*i + 20. Let f be n(-9). Suppose f*p = -31 + 95. Is p a multiple of 8?
True
Suppose -497 + 17 = -3*i. Does 20 divide i?
True
Let o(x) be the third derivative of 17*x**7/420 + x**6/180 - x**4/24 - x**3/2 + 3*x**2. Let l(d) be the first derivative of o(d). Does 15 divide l(1)?
False
Let a(w) be the third derivative of w**6/120 - w**5/12 + w**4/12 + w**3 - 13*w**2. Suppose -3*x = 5*z - 5, 3*z = 4*x + 4*z - 18. Does 9 divide a(x)?
False
Let t be (3 + 25)/2 + -3. Let c(y) = -y**2 - 6*y + 2. Let r be c(-5). Let a = t - r. Is a even?
True
Let d(h) = h**2 + 3*h - 7. Suppose -5*b = 4*r - 10, 6*r + 3*b - 6 = r. Let j be (3 - r)/(2/(-4)). Is d(j) a multiple of 11?
True
Let b = -60 + 26. Let u be 1/((4/(-46))/2). Let l = u - b. Is l a multiple of 4?
False
Suppose r - 2*r - 93 = -5*h, -3*h = 3*r - 45. Suppose -2*k = -3*k + h. Suppose 0*s = -s + k. Is s a multiple of 9?
True
Suppose 2*r + 121 = 5*m, 2*r = -3*m + m + 40. Is 18 a factor of m?
False
Suppose o - 103 - 34 = 5*j, -3*o + 506 = 4*j. Is 27 a factor of o?
True
Suppose 5*w + 4*h = 457, -2*h + 205 = 3*w - 68. Is w a multiple of 16?
False
Suppose 0 = 5*i, 9 = -2*u + 5*i + 31. Let y = 49 - 47. Suppose y*j = u + 3. Is 5 a factor of j?
False
Suppose -41 = 2*j - i, -i = 2*j + i + 26. Is 20 a factor of (-182)/(-9) - (-4)/j?
True
Let x be 3*-1*15/(-9). Suppose 4*m - 3*s - 24 = s, -4*m + x*s = -26. Suppose -m*o = -3*t + 8, 2*t + o - 36 = -2*t. Does 4 divide t?
True
Suppose -z - 2*h + 4 = 2*z, 2*z + 2*h - 6 = 0. Let c(a) = -18*a. Let f be c(-1). Let g = z + f. Is 9 a factor of g?
False
Let f be (48/10)/((-3)/(-40)). Let x = f + -23. Is x a multiple of 13?
False
Suppose -3*d = -2*i - 494, -d + i = 4*i - 161. Is 12 a factor of d?
False
Let i be 126/30 - (-1)/(-5). Suppose 16 = -2*h - i. Let z = 25 + h. Does 6 divide z?
False
Let l(n) = 4*n**2 + 2*n - 3. Let q be l(2). Let o = 3 + q. Suppose -o = -s - s. Is s a multiple of 5?
True
Suppose 0 = -5*f + 8 + 7. Suppose 4*v = f*v + 36. Is 12 a factor of v?
True
Suppose 2*w = 5*w - 12. Suppose -w*u + 14 = 58. Let j = 24 + u. Is 7 a factor of j?
False
Let w(z) = -21*z - 1. Is 20 a factor of w(-1)?
True
Does 7 divide 1/(-10)*2 - (-1862)/35?
False
Let s = 2 + -11. Let n = -9 - s. Suppose t = -n*t + 53. Is t a multiple of 20?
False
Let q = -69 - -144. Is q a multiple of 15?
True
Let q(b) = b**2 + 4*b + 4. Let o be q(-4). Does 11 divide o*11*7/14?
True
Suppose 4*b = -5*z + 81, -17 = -3*b - 0*b + 5*z. Does 7 divide b?
True
Suppose -4*b + 1 = -11. Suppose 2 = b*g - 1. Let i = 16 + g. Is i a multiple of 9?
False
Let l(r) = r**3 + 3*r**2 - r - 3. Let x be l(-3). Let z = x + 4. Suppose -51 = -z*v + 41. Is v a multiple of 23?
True
Let i(a) be the third derivative of -a**4/24 + 2*a**3/3 - a**2. Let f be i(4). Suppose 5*c - 55 = -f*c + 5*v, -32 = -4*c + v. Is 3 a factor of c?
False
Suppose b + 5*y - 55 = 0, -2*b - 166 = -4*b + 4*y. Does 13 divide b?
False
Suppose -l + 4*a + 78 = 0, -3*a + a = 2*l - 146. Let r = l - 50. Is r a multiple of 12?
True
Let q = 94 - -12. Suppose 6*x - 5*g = 4*x + 16, 5*x + 4*g = q. Is 6 a factor of x?
True
Suppose 0 = -5*b - 4*f + 6 - 5, -5*b = 5*f. Let i be b/(-1 - 0) + 50. Let n = -3 + i. Is 17 a factor of n?
False
Suppose 108 = 2*c + 16. Is 11 a factor of c?
False
Suppose 3*c = 2*c. Suppose -v + 3*v - 36 = c. Suppose -4*g + 3*o + 82 = 6*o, 2*o - v = -g. Is g a multiple of 22?
True
Suppose -2*d + 86 = -t, 5*t + 7 = d - 18. Is 15 a factor of d?
True
Let l = -18 + 42. Is 2 a factor of (-25)/(-3) + 16/l?
False
Let p(h) = h - h + 3*h + 9 - 2*h. Let j be p(-5). Let s = 1 + j. Does 3 divide s?
False
Is 4/(-10) - ((-1744)/10 + -1) a multiple of 25?
True
Suppose -4*h = -a - 306, 5*h - 4*a - 540 = -152. Is h a multiple of 17?
False
Suppose 3*s = -5*o + 255, 0 = -2*s - 0*s - o + 163. Is 10 a factor of s?
True
Let l be -1 - (-3*1 - -1). Let c be ((l - 2)*0)/(-1). Suppose c*t = t - 22. Is 8 a factor of t?
False
Is -1*(-1 - -2) + 75 a multiple of 13?
False
Suppose 5*m - 1104 = 2*m. Does 7 divide (2/(-4))/((-8)/m)?
False
Let c(b) = b**2 - 18*b + 1. Does 18 divide c(-4)?
False
Let v = 6 - 6. Suppose v = 3*q + q - 24. Suppose -2*h - q = -34. Is 7 a factor of h?
True
Let j(g) = g**2 - 5*g - 17. Does 29 divide j(-8)?
True
Let n(k) = k**2 - 3*k + 15. Is n(6) a multiple of 15?
False
Let f(l) = -l**3 + 5*l**2 + l - 3. Let v be (0 - (-2 - -4)) + 4. Suppose 0 = -v*z + z + 4. Does 17 divide f(z)?
True
Let l(g) = 15*g - 1. Is l(3) a multiple of 11?
True
Suppose 3*p = -2*k + 92, 0*k = 4*p - 3*k - 100. Let h be (-3)/(-4)*(4 + 0). Suppose h*x - p = 2. Does 7 divide x?
False
Let d(h) = h - 3. Let f be d(7). Suppose 0 = f*z - 7*z - 9, -2*c = -2*z - 66. Is c a multiple of 15?
True
Suppose -2*p - 2*u + 80 = 2*u, -42 = -p - 4*u. Suppose -c + 3*c - p = 0. Does 7 divide c?
False
Suppose -5*z = -1213 + 208. Does 19 divide z?
False
Let t(g) = -1 + 8*g - 2 + 5. Is 18 a factor of t(2)?
True
Suppose 5*m = -4*p - 0*p + 185, -4*m = p - 60. Is 19 a factor of p?
False
Suppose p - 5*x = 28, 35 = 6*p - p - 4*x. Does 4 divide (80/15)/(2/p)?
True
Let x(s) be the third derivative of s**5/30 + s**4/12 - s**3/6 + 3*s**2. Does 6 divide x(-3)?
False
Let x(d) = 2*d**3 - 3*d**2 - 4*d + 2. Let v be x(3). Let s = v - -9. Is s a multiple of 26?
True
Let l = -8 + 31. Is 23 a factor of l?
True
Suppose 40 = -6*r + 2*r. Let p be ((-5)/r)/(2/(-36)). Let d = 15 + p. Is 3 a factor of d?
True
Let t = 6 - 3. Suppose 0*x + 93 = t*x. Does 12 divide x?
False
Suppose -3*d = -12, 4*g + 0*d + 20 = d. Is 8 a factor of (-2)/g - 39/(-2)?
False
Let k(c) = 6*c - 2. Let z be 2/((-6)/(-45)*3). Let t be k(z). Let x = 41 - t. Is x a multiple of 13?
True
Suppose 2*o - 2*l = 3*o + 7, -5*o - 3*l = 0. Suppose 4*a + 0*a = -2*i + 38, a - o*i + 1 = 0. Does 3 divide 