t a(y) = 41*y + 27. Let l be a(-3). Let q = -78 - l. Is q a multiple of 4?
False
Let n(f) = -171*f + 130. Is n(-3) a multiple of 9?
False
Let c = 577 + -100. Does 86 divide c?
False
Let d(z) = z**3 - 18*z**2 + 17*z + 25. Let l be d(17). Suppose 2*m + 3*p = l, -3*m - p = -10 - 24. Suppose 13*n - 108 = m*n. Does 9 divide n?
True
Suppose -5*d + 399 = 2*z, 0*z - 240 = -3*d - z. Is d a multiple of 9?
True
Let o be -1*(-3)/(3 - 2). Suppose -216 = -o*d - d. Suppose 4*g - 130 = d. Is g a multiple of 14?
False
Suppose 21*k - 24108 = -28*k. Does 6 divide k?
True
Suppose 0 = -22*y - 23*y + 25020. Is 13 a factor of y?
False
Suppose 2*n + 60 = 7*n. Let p(d) = -d**3 + d + 8 + 11*d + n*d**2 + 9. Is p(13) even?
True
Suppose k + 88 = -5*x, 1 = -k - 2. Let t = 35 + x. Does 20 divide 2/6 + 1380/t?
False
Let z = -18 - -11. Let d(c) = -c - 5. Let u be d(z). Suppose u*w + 2*m = 74, -31 = -w - 2*m + 10. Does 11 divide w?
True
Suppose 47 = 3*c + a - 5933, -5*c + a = -9980. Is 57 a factor of c?
True
Let o be (-16)/(-6) + 8/(-12). Let u = -170 + 244. Suppose -12 = o*a - u. Does 23 divide a?
False
Is 39 a factor of (-2)/4 - (5 + 7465/(-10))?
True
Suppose -5*h - 5*s + 5 = 0, -5*s = 16 + 4. Suppose o = 4*j + 112, 0 = -h*j - 12 + 2. Suppose 0 = -3*f - m + 364 - o, -f + 100 = 3*m. Is 17 a factor of f?
True
Let k(n) = 4*n**2 + 7*n + 2. Let u be k(4). Let p = u + -55. Is 12 a factor of p?
False
Suppose -14*q + 16*q - 76 = 0. Suppose n + 4*o - 3*o = q, 3*n - 3*o - 126 = 0. Does 20 divide n?
True
Let z = 4 + -72. Let t = -22 - z. Is 23 a factor of t?
True
Suppose -53 = -c + 223. Is c a multiple of 12?
True
Let h(d) = d**3 + 34*d**2 + 7*d + 258. Let s be h(-34). Let j be -50*(1 + 1 + -3). Let m = j + s. Is m a multiple of 31?
False
Let f(l) = -58*l - 6. Let m(n) = -n**2 + 11*n - 30. Let z be m(7). Does 12 divide f(z)?
False
Let z be 9/(-18) + (-187)/2. Let c = -58 - z. Is c a multiple of 5?
False
Suppose 2*t - 2*n = 1624, -5*t + 27*n + 4046 = 29*n. Does 27 divide t?
True
Let a = -25 - -333. Does 28 divide a?
True
Let i = -2553 + 2760. Is i a multiple of 23?
True
Does 4 divide 2072/35 - (-2)/10*-1?
False
Suppose -8*h + 3*s = -6*h - 81, 183 = 5*h - s. Is 4 a factor of h?
True
Let y = -461 - -931. Is y a multiple of 10?
True
Let r(u) = 2*u**2 - 9*u - 4. Let v be r(7). Let b = -20 + v. Does 3 divide b?
False
Suppose -5*p - m = 2*m - 32, 0 = -4*p + 4*m. Suppose 0 = -d + 4*f + 15, 0 = -p*d + 2*d + f + 9. Is d even?
False
Does 55 divide 11356/6 - (0 + (-10)/(-15))?
False
Let g be ((-24)/(-14))/(2/(-7)). Does 44 divide (-274)/g*3*12/6?
False
Let a = -2178 - -4258. Does 52 divide a?
True
Suppose 4*l + 3*h = -33, -3*h + 6 + 9 = 0. Let s = -9 - l. Suppose 5*f - 42 = s*f. Is 7 a factor of f?
True
Let f be (-60)/40 - 7/(-2). Is 33 a factor of f/2*(2 + 40)?
False
Is 65 a factor of 122940/135 + 4/(-6)?
True
Let f = -21 + 15. Let k be (1 - f/(-3))*-5. Suppose -k*n + 26 = -4*n. Is 26 a factor of n?
True
Let k = 8 + 163. Is k a multiple of 9?
True
Suppose 0 = -2*f + 37 + 159. Let u = f + -66. Is u a multiple of 8?
True
Suppose z - 319 = s, -954 = 4*z - 7*z + 2*s. Is z a multiple of 17?
False
Suppose -2*t - 8 = h, t + 6 - 2 = -5*h. Suppose h = -4*c + 2*c. Does 8 divide 2 + 23 + c + 1?
False
Suppose 20*d + 6*d - 16614 = 0. Is 35 a factor of d?
False
Let v(n) be the first derivative of -n**6/360 - n**5/15 - n**4/8 - 4*n**3/3 - 7. Let h(c) be the third derivative of v(c). Is h(-6) even?
False
Let i = 13 + -9. Suppose -65 = 3*u - i*u. Is u a multiple of 9?
False
Let k(i) = -i**3 + 6*i**2 - 2*i + 2. Let w(l) = l**3 + 8*l**2 + 8*l - 6. Let d be w(-7). Let o be d/(-3) - (-2)/(-6). Does 13 divide k(o)?
True
Let c = 9871 - 6591. Does 10 divide c?
True
Let c = -39 + 77. Let x = -14 + c. Is 8 a factor of x?
True
Let g = -608 + 1052. Is 37 a factor of g?
True
Let s(r) = -8*r + 2*r**2 - 4 - 2 - 1 + 13. Is 3 a factor of s(5)?
False
Let t(i) = -3*i + 41. Let f be t(27). Let z = 2 - f. Does 7 divide z?
True
Suppose 6*b = -60 + 180. Suppose 3*c - 7 = b. Is c a multiple of 3?
True
Suppose 4*q - 12*q = 8. Is ((-24)/6)/(q/8) a multiple of 7?
False
Suppose 0 = 2*k + 5 - 13. Suppose 906 = 4*f - 3*p, -p + 890 = 4*f + k*p. Suppose 3*w + w - r = 180, -5*w = r - f. Is 16 a factor of w?
False
Let l(s) = -s**3 - 3*s**2 - 2*s. Let a be l(-3). Let u = 10 - a. Suppose -161 = -5*t - u*n, 5*t - t - 130 = -2*n. Is t a multiple of 10?
False
Is (2*(-2)/8)/(26/(-13988)) a multiple of 5?
False
Suppose -4*l + 3*l + 2 = 0. Let v(t) = 5*t - 3*t + 3 + t. Does 2 divide v(l)?
False
Suppose -x + 1355 = 959. Is 22 a factor of x?
True
Let q = -8 - -8. Suppose -8*i + 228 + 332 = q. Is i a multiple of 19?
False
Let u be -1*4 - (-26 + -34). Let w = u - 42. Is 14 a factor of w?
True
Suppose 438 = -13*v + 16*v. Does 4 divide v?
False
Let t = 158 + 190. Is 29 a factor of t?
True
Suppose 0 = 14*h - 13*h. Suppose 9*m - 7*m + 8 = h. Does 15 divide (20/8)/(m/(-48))?
True
Let u = 46 + -56. Does 8 divide (-1112)/(-6) - u/15?
False
Let y = -112 + 136. Let k = y - -6. Does 3 divide k?
True
Suppose 4*k = 5*x + k + 319, x - 3*k = -59. Is -2*(x/5 - -4) a multiple of 6?
True
Is 20 a factor of -3*(-2)/(-3) + 231 + 9?
False
Let a be (18 - 21) + 82/(-2). Let i = -66 - a. Is 13 a factor of ((-11)/i)/(1/70)?
False
Suppose 15 = z - 5*d, 5*z - 2*d = -0*d + 52. Let b(h) = -h**2 + 18*h - 35. Is b(z) a multiple of 9?
True
Does 4 divide (-1)/(-1*4/480)?
True
Suppose -1580 = -2*v - 5*f, -5*v + f = -6348 + 2398. Suppose n + 2*x = 158, -4*x - v = -5*n + x. Is n a multiple of 22?
False
Suppose 0 = 2*d - 0*d. Let z(t) = -t**3 - 5*t + 36. Let y(j) = j**3 + 6*j - 35. Let w(p) = 4*y(p) + 5*z(p). Does 8 divide w(d)?
True
Suppose 9*r = 352 + 890. Suppose 2*a + r = 5*a. Does 23 divide a?
True
Let g be (-1)/(-4)*2*-6*1. Is 2 a factor of -2 + (g + 4 - -33)?
True
Let u = 3864 - 1544. Is u a multiple of 80?
True
Is 12/2 + (34 - (-19)/1) a multiple of 4?
False
Let t = -1 + 13. Suppose -3*m + 6 + 6 = 0. Suppose m*y + t = v - y, y - 111 = -4*v. Is 9 a factor of v?
True
Suppose y + 5*x = -0*x + 15, -2*y - 5*x = -30. Suppose -2*w = 3*w + y. Let j = 11 - w. Is 7 a factor of j?
True
Let p(v) = v**3 - 6*v**2 + 2*v - 5. Let s be p(6). Let z be -5*s/((-175)/10). Suppose z*i = i + 26. Does 5 divide i?
False
Suppose 0 = -9*a + 1513 - 361. Is 128 a factor of a?
True
Let n(h) = 6*h**3 - 2*h**2 - 4*h + 4. Let i be n(2). Suppose i + 236 = 4*t. Does 17 divide t?
True
Suppose 5*h + 35 = 5*t, -3*h - t + 2 - 3 = 0. Does 20 divide (7 - 12)/(h/48)?
True
Suppose u - 1252 = 2369. Is u a multiple of 17?
True
Suppose -2*o + p = o - 18, -o = -2*p - 11. Suppose r - 3*r + 45 = o*c, 4*r - 27 = -3*c. Does 9 divide c?
True
Let r(w) = 6*w - 44. Let c be r(11). Suppose 0 = 5*m - 10*m. Let z = c + m. Is z a multiple of 7?
False
Suppose 0 = -11*k + 3*k + 144. Is 18 a factor of (322 + k/3)*(-1)/(-2)?
False
Suppose 2*y + w - 34 = -4*w, 4*y - w = 46. Let r = y + -8. Suppose -3*p = -r*p + 36. Does 9 divide p?
True
Suppose -17*d + 6*d + 8096 = 0. Is 23 a factor of d?
True
Let o(m) = -m - 22. Let f be o(-5). Let j = -10 - f. Is j a multiple of 5?
False
Let h(j) = 6*j + 32. Let s(p) = -p - 1. Let d(o) = h(o) + 5*s(o). Is 9 a factor of d(-9)?
True
Suppose -5*j = 1 - 11. Suppose b = -j + 4. Suppose -b*p - 14 + 122 = 0. Is p a multiple of 9?
True
Suppose 13*y - 14*y - 2*p = -1120, 2*p = 10. Is y a multiple of 111?
True
Does 8 divide -2*10143/(-270) + (-6)/45?
False
Let g = -17 + 22. Suppose -4*u + 5*r = -15, 11*u = 6*u + g*r + 15. Suppose -3*o + u*o + 75 = 0. Is 25 a factor of o?
True
Suppose -4*l = 10 - 18. Suppose 0 = l*w + 3*w - 320. Is w a multiple of 9?
False
Let i(p) = -p**2 + 5*p - 4. Let w be i(4). Suppose w = -2*n + 59 + 85. Does 17 divide n?
False
Suppose -3*o = -5*o + 306. Let r be (-4 - -1) + o/1. Suppose 2*b = 3*l + 77, -5*l + 5 = 5*b - r. Is 17 a factor of b?
True
Let z(m) = -78*m + 27. Let v be z(-6). Suppose 5*w - 6*k = -k + v, 2*k - 182 = -2*w. Is w a multiple of 19?
True
Let u(t) = -3*t + 4. Let q be u(-1). Let l(j) = -j**3 + 9*j**2 - 12*j - 2. Does 3 divide l(q)?
True
Let u(d) = 8*d**3 + 9*d**2 - 6. Let m(v) = -23*v**3 - 26*v**2 + 18. Let n(h) = -6*m(h) - 17*u(h). Is n(4) a multiple of 10?
True
Let i(o) = 73*o + 62. Is i(1) a multiple of 19?
False
Suppose 3*g - 3*l = -5*l - 533, 4*g + 712 = -2*l. Let h = 362