 z(7)?
False
Let f be (-1 - -1) + -2 - -36. Suppose -20 = -4*q - q + b, -3*q + 5*b = -f. Suppose 13 = q*w - 23. Is w a multiple of 9?
False
Let x be 1/(((-10)/(-4))/(-5)). Let d(l) = -20*l. Let n(b) = b. Let u(r) = -3*d(r) - 75*n(r). Does 15 divide u(x)?
True
Let a(u) = -2*u**3 + 3*u + 1. Let h be a(-2). Let r be (-122)/(-6) - (-2)/3. Suppose 4*q = r + h. Is 4 a factor of q?
True
Let z(j) = 4*j**2 + j - 2. Let q be z(-2). Let b = -6 + q. Is 3 a factor of b?
True
Let l = 401 + -191. Suppose 4*s - l = s. Suppose -76 = -5*v + 4*c + s, 5*c = 5. Is 15 a factor of v?
True
Let r(s) = s**3 + 8*s**2 - s. Let g be r(-8). Let z be -2 + -8 - 4/(-2). Is 7 a factor of 2/g + (-166)/z?
True
Suppose -4*c + 81 = -c. Suppose 4*l = 4*i - 6 - 30, -2*i - 2*l - 2 = 0. Suppose -3*o = -i*o + c. Does 13 divide o?
False
Suppose 0 = 3*f + 2*f + 5. Is f + -26*4/(-8) a multiple of 12?
True
Does 9 divide (-2 - 1)/(6/(-74))?
False
Suppose -k + 6 = -4*k, 4*a = 5*k + 2. Let c(w) = -3*w**3 - 2*w**2 + 2. Does 13 divide c(a)?
False
Let f = 97 + -26. Is 15 a factor of f?
False
Let n = 11 + -7. Suppose 16 = n*p - 2*p. Is p a multiple of 4?
True
Let x(v) be the second derivative of v**4/6 - v**3/2 - v**2 + 2*v. Does 4 divide x(-2)?
True
Let g be ((-15)/12)/(1/(-4)). Let h(v) = g*v - 3 + 4 - 3*v + 9*v**2. Is 18 a factor of h(-2)?
False
Let v = -7 + 33. Suppose k - 4*p = 4*k - v, 66 = 5*k + p. Is 14 a factor of k?
True
Let p be (-6)/(-3) - (-54)/(-1). Let f be p/(-14) - 4/(-14). Let h = 14 - f. Is 6 a factor of h?
False
Let n(k) = -k**3 + 3*k**2 + 2*k + 3. Let o be n(3). Let w(f) = 2*f**2 + f. Let r be w(1). Suppose r*v - o = -j, j + 0*v - 4*v - 2 = 0. Is j a multiple of 6?
True
Let w(h) = 8*h - 9 + 2 - 3*h**2 + 2*h**2. Let l = -6 + 12. Does 5 divide w(l)?
True
Let j be -54*((-6)/(-4) + 0). Let a = -44 - j. Let l = 53 - a. Is l a multiple of 8?
True
Let m = 15 + -2. Let u(s) be the first derivative of -s**4/4 + 4*s**3 + 7*s**2 - 6*s + 6. Is 3 a factor of u(m)?
False
Let y(s) = 7*s**2 - 4. Does 15 divide y(-2)?
False
Suppose 28*g - 156 = 24*g. Is g a multiple of 39?
True
Suppose 15 = -3*j, 0 = -5*d - 5*j - 129 - 511. Let x = -34 - d. Is 19 a factor of x?
False
Let g = 79 - 55. Is 12 a factor of g?
True
Let u = 14 + 18. Suppose u = -z + 2*z. Does 8 divide z?
True
Suppose -h - 7 = -n - 35, -5*h + n + 148 = 0. Is h a multiple of 9?
False
Let w = -31 + 9. Suppose s - 2386 + 259 = 3*j, -s - 3537 = 5*j. Does 18 divide (-4)/22 + j/w?
False
Suppose 3*d - 4*w = 24, -2*d + 2*w = -7*d + 14. Let x(y) = 15*y - 2. Does 25 divide x(d)?
False
Let u(l) = 3*l**3 - 4*l**2 + 3*l + 1. Is 11 a factor of u(3)?
True
Let l = 401 + -276. Is l a multiple of 27?
False
Let i = 17 + 45. Is i a multiple of 31?
True
Let a(q) = q**2 - 5*q + 2. Let p be a(5). Let j = 7 - p. Suppose j*y - y + 16 = h, 4*h = -5*y + 22. Does 4 divide h?
True
Let b(d) = 0 + d**2 - 2*d - 10 + 0*d - 2*d. Is 20 a factor of b(8)?
False
Suppose 0*y - 4 = -y. Suppose y*m - 8*m = -88. Suppose -n - 5*r + m = 0, r - 162 = -5*n + 2*r. Does 16 divide n?
True
Suppose -14*u - 1161 + 3317 = 0. Is 22 a factor of u?
True
Let f = 12 - -5. Suppose 0 = 5*o - 2*r - 30, -f = -3*o - 0*o + r. Is o a multiple of 4?
True
Let f be -34*(1 - (-2)/4). Is 5 + -2 - f*1 a multiple of 18?
True
Let z(t) be the second derivative of 79*t**4/12 + t**3/3 + t**2/2 - 2*t. Let b be z(-1). Suppose b = 4*h - h. Is h a multiple of 14?
False
Let n = 23 + -15. Suppose -5*a = -2*z - n, 4*z + 4*a - 46 = -z. Is 4 a factor of z?
False
Let i = -30 - -41. Does 11 divide i?
True
Let g = -28 + 60. Let v = -7 + g. Suppose z - v = -4*z. Is 4 a factor of z?
False
Suppose -m - 2 = 3. Does 12 divide (m - -4)*43/(-1)?
False
Suppose -5*u + 0*u = -65. Let z(m) = m**3 + 7*m**2 + 4*m + 7. Let y be z(-6). Let c = y - u. Does 3 divide c?
True
Suppose -4*h + s = 3*s - 56, 3*s = 2*h - 28. Does 7 divide h?
True
Let j(a) = -a**3 - 5*a**2 - a + 7. Let h be j(-6). Let p be (-68)/2 - 0/8. Let q = p + h. Does 6 divide q?
False
Let t(n) = 3*n + 1. Let w(b) = 1. Let j(o) = -5*t(o) + 5*w(o). Let f be -2 + 2/(4/2). Is 15 a factor of j(f)?
True
Let w = -8 - -24. Does 10 divide w?
False
Is 7 a factor of (-1 - (-255)/7) + 66/(-154)?
True
Let j = -6 + 21. Let x = j + 5. Is 10 a factor of x?
True
Suppose 2*i - 3*u = -253, 0*i - 5*u - 120 = i. Let h = i - -235. Is (-1 - h/(-6))*3 a multiple of 21?
False
Suppose -2*d = 2*u - 0*d - 638, 3*u - 997 = 5*d. Does 35 divide u?
False
Let f = -9 - -11. Suppose -5*d + h = -20, 3*d - f = -h + 2. Does 7 divide d - -2*(-51)/(-6)?
False
Suppose 4*a = 6*a - 6. Let c(b) = -5 - 2*b + 4 + 3*b + 10*b**a. Is c(1) a multiple of 4?
False
Let i = 14 - 18. Let a(n) = -n**2 - 8*n - 6. Does 5 divide a(i)?
True
Suppose 3*t = 5*t, -5*t = -5*n + 2040. Suppose -s = -7*s + n. Does 17 divide s?
True
Let j = 91 + -62. Is 29 a factor of j?
True
Let a be 143 + 4*1/2. Let b be ((-3)/6)/((-1)/8). Suppose -5*o + b*s = -170, 4*s + s + a = 4*o. Does 15 divide o?
True
Let l(r) be the first derivative of -r**3/3 + 7*r**2/2 - 2*r - 1. Let b(f) = f + 3. Let w be b(0). Is l(w) a multiple of 10?
True
Let f(n) = -n**3 + 6*n**2 - 3*n + 7. Let d be f(6). Is (-1161)/(-33) - (-2)/d a multiple of 17?
False
Let q(f) = f. Let g be q(2). Suppose -a + g*a = 27. Is 9 a factor of a?
True
Let p(u) = -u**2 + 3*u + 1. Let z be p(2). Suppose -f - 5 = 0, z*c + c + 3*f - 57 = 0. Does 9 divide c?
True
Suppose 3*k = 2*k + 10. Let a be (-4)/k + (-51)/(-15). Suppose w - a*m + 6 = -w, 0 = 5*w - m - 11. Is w a multiple of 2?
False
Let f(l) be the first derivative of 5*l**4/4 - 2*l**3/3 + l - 1. Let m be f(1). Suppose 5*y + 33 = 2*a, -3*a = -0*a + m*y - 107. Is a a multiple of 10?
False
Suppose -40*u = -37*u - 144. Does 12 divide u?
True
Suppose -5*k - 27 + 92 = 0. Let f(t) = t. Let z be f(5). Suppose z = 2*u - k. Is u a multiple of 8?
False
Let f = 20 - -20. Does 10 divide f?
True
Suppose -5*w = -w - 24. Suppose w = o - 5. Is 9 a factor of o?
False
Let i be (-2)/4 - 2/(-4). Suppose 5*b - 4*k = 122, i*b = 5*b + 2*k - 104. Is 10 a factor of b?
False
Let u = 36 - -3. Is 39 a factor of u?
True
Let r(f) = -f**2 + 10*f - 7. Let z be r(9). Suppose -g - z*g = -33. Is g a multiple of 5?
False
Let y(g) be the first derivative of 7*g**2/2 - 2*g + 2. Does 7 divide y(3)?
False
Suppose 2*s + 71 = 4*a - 3*a, 5*a - 4*s = 349. Is a a multiple of 5?
False
Suppose 6*w - 85 - 281 = 0. Is 7 a factor of w?
False
Let p be (-2)/(-8) + 7/4. Let x = p + 0. Suppose -4*i + 41 = 3*b, -x*b = -2*i - 2*i + 6. Is b a multiple of 3?
False
Is (-90)/((-8)/(-10)*55/(-22)) a multiple of 15?
True
Suppose -50 - 10 = -2*r. Is r a multiple of 8?
False
Let c be (2/(-2) + 1)/(-2). Let x(q) = q**3 - q**2 + q + 7. Is x(c) a multiple of 7?
True
Let b be 0 - -56 - (-1 + 2). Let a = b - 25. Is 10 a factor of a?
True
Let m = 151 - 90. Let w be 0 - -3 - 1 - -1. Suppose -4*o - 61 = -w*b, 5*b - 4*o - 38 = m. Is 19 a factor of b?
True
Let l(n) = -3*n + 27. Is 2 a factor of l(8)?
False
Suppose -4*f + 28 = 4*j - 5*f, j - 3*f - 7 = 0. Let l(g) = -6*g - g**2 + 2*g**2 - 4 + 0*g**2 + 0. Is l(j) a multiple of 3?
True
Let z be 25/(-2)*(-32)/10. Suppose 4*k - z = 2*k. Is k a multiple of 9?
False
Let d be 5/2*(-84)/(-10). Let t = -12 + d. Does 3 divide t?
True
Suppose -3*a + 3*s = 4 + 14, -5*s + 22 = 3*a. Does 3 divide 2 + 1*a/(-1)?
True
Suppose b = 2*s - 136, b + 3*b - 353 = -5*s. Is s a multiple of 14?
False
Let g be (5/(-4))/((-2)/8). Suppose -l + 1 + 24 = -g*s, 5*l - 29 = s. Is l a multiple of 4?
False
Suppose -4*q + 15 = -7*q. Let w(i) = -i**2 + 1. Let b be w(q). Let x = b + 45. Is 7 a factor of x?
True
Let n be -2 - (-21 + -3)/3. Let r = n + 14. Is r a multiple of 20?
True
Suppose 2*n - 3*d - 33 - 51 = 0, -3*n = -4*d - 128. Does 4 divide n?
True
Suppose 5*y - 16 = 4*x - 5*x, 4*x + 20 = y. Is y a multiple of 2?
True
Let i be -1 + 234 + -5 + 5. Suppose -5*z = -3*m + 143, -5*m + i = -3*z - 0. Is 23 a factor of m?
True
Let g = 18 + -18. Let w(z) = -15*z - 2. Let i be w(-6). Suppose 4*n - k - i = -g*k, 0 = -4*n - 4*k + 108. Is 18 a factor of n?
False
Let i be (-6)/15 + 242/5. Suppose -j = -3*j + 2. Is 8 a factor of j*5*i/15?
True
Suppose 0 = 3*x - 6*x + 24. Is (-1359)/(-33) - x/44 a multiple of 12?
False
Let a = 0 - -3. Suppose 0 = -5*w - 4*r + 75, 0 = -4*w - a*r + 5*r + 34. Does 3 divide w?
False
S