divide z?
True
Suppose 22*y + 528 = 23*y. Is y a multiple of 22?
True
Let s(g) = 2*g + 51. Suppose 0 = -7*z + 5*z. Let q be s(z). Suppose 0*n = -n + q. Does 15 divide n?
False
Suppose i - 10 = -8. Suppose -2*w = i - 34. Is 4 a factor of w?
True
Suppose -3*z + 2586 = 5*k, -5*k = 2*z - 891 - 1698. Is 13 a factor of k?
False
Suppose 4*u + 34 = 5*q, 3*u - 15 = -3*q - 0. Let t = q - -17. Is 6 a factor of t?
False
Let a(k) = -2*k - 37. Let l be a(-8). Is (-1719)/l + -1 + (-2)/(-14) a multiple of 11?
False
Suppose -5*j = 3*u - 3303, -1 = -u - 0. Is 44 a factor of j?
True
Let y = -34 + 19. Let o = y - -55. Is o a multiple of 8?
True
Suppose 0 = -l - 4*l + 45. Suppose -o + 0 = -4*k + l, -k = -2*o - 11. Let a = o - -15. Is 7 a factor of a?
False
Let x(z) = -27*z + 22. Is x(-6) a multiple of 8?
True
Suppose -154 = -3*y + n - 5*n, 5*n - 260 = -5*y. Is y a multiple of 9?
True
Let i = -14 + 10. Let w be (-83 + 79)*(-5)/(-4). Does 11 divide (119 + i)/w*-1?
False
Let d be (-3 - 1)*(-74)/(-4). Let u = -52 - d. Is u a multiple of 6?
False
Let k = 47 - 9. Suppose 3*q - 337 = -g, 5*g = -2*q + k + 165. Is 11 a factor of q?
False
Let g = -199 - -127. Let y be 5692/18 - (-16)/g. Is 7 a factor of y/12 - 3/9?
False
Let m = -42 + -135. Let i = -93 - m. Is i a multiple of 21?
True
Suppose -5*u - m + 44 = 0, 3*u - m = 2*m + 12. Let g(v) = v**2 - 9*v + 10. Let w be g(u). Suppose 5*a = -2*i + 2*a + 112, 2*i - 108 = -w*a. Does 15 divide i?
False
Let q(d) be the first derivative of -d**2/2 + 8*d + 5. Does 7 divide q(0)?
False
Does 37 divide (1*(-364)/7)/2*-37?
True
Let g = 599 + -213. Does 17 divide g?
False
Let s be (2/(-2) + -13)*4/(-14). Suppose 4*k + x = -0*x + 524, k = -s*x + 116. Is 18 a factor of k?
False
Suppose -5*o = -y - 591, -4*y - 34 = -2*o + 188. Let g = -71 + o. Is 24 a factor of g?
True
Suppose -5*s + 312 + 1728 = 0. Suppose 872 = 8*j - s. Is j a multiple of 20?
True
Let x(y) = 18*y - 140. Is 26 a factor of x(28)?
True
Suppose -25 = n - 27. Suppose 42 = -0*j + n*j. Does 8 divide j?
False
Let r = -188 + 983. Is 53 a factor of r?
True
Let m(u) = 2*u**2 + 10*u - 8. Let z be m(-6). Suppose 3*t + z*p + 8 = 0, -7 - 13 = 4*p. Suppose 0*s + 2*d - 36 = -4*s, 0 = t*s + d - 36. Is s a multiple of 7?
False
Let o be -4 - (1 - 4/(16/284)). Suppose 10*t - o = 404. Does 8 divide t?
False
Suppose 7614 = -307*y + 310*y. Does 9 divide y?
True
Suppose -25 = 5*a, 2*u + 0*a - 620 = -2*a. Is u/(-15)*1*-3 a multiple of 10?
False
Let l = 1068 + -732. Does 7 divide l?
True
Let n = -22 + 22. Suppose 0 = 2*z - n - 36. Is z a multiple of 5?
False
Suppose -8*b = -12*b + 8. Suppose o + 16 = -b*o + 2*p, 2*o + p - 1 = 0. Does 3 divide (-15)/o*(-8)/(-10)?
True
Let p = -15 - -6. Suppose -5*x = 3*w + 8 - 117, w - 4*x - 59 = 0. Let t = w - p. Is 13 a factor of t?
True
Let a = -18 + 14. Let d(n) be the first derivative of 4*n**3/3 + 3*n**2/2 - 4*n - 1. Does 14 divide d(a)?
False
Let q(u) = -11*u + 8. Suppose 5*r - 4*z = -5 - 5, 2*r = 3*z + 3. Let s be q(r). Let l = s + -44. Is 15 a factor of l?
True
Suppose -13*b - 2*b = -1320. Let r(d) = 2*d. Let w be r(3). Suppose 4*j = w*j - b. Is j a multiple of 10?
False
Suppose -45 = 2*i - 49. Does 25 divide i*111/6 + 4 + -3?
False
Suppose 12*h - 11*h - 39 = 0. Is 2238/13 + 3 + (-123)/h a multiple of 19?
False
Let t = -22 - -35. Suppose -2*y = -3*a + 30 - t, 3*y - 3 = -5*a. Suppose -h = 5 - 1, 0 = 3*z + a*h - 9. Is z a multiple of 4?
False
Let h = -18 - -18. Suppose 0 = -4*j + q + 34 + 1, -5*q + 5 = h. Does 5 divide j?
False
Suppose -v + q - 3 = 4*q, q = 1. Let y(x) = -5*x + 5 + 0*x + 0*x. Does 15 divide y(v)?
False
Let f(i) = i**2 - 2*i. Let l be f(-1). Suppose 14*c = l*c + 297. Does 5 divide c?
False
Let j be 1*5 + 1 + (-10 - -7). Suppose 3*z = -t + 94 - 2, -276 = -j*t - z. Is 6 a factor of t?
False
Let n(j) = -24*j - 11. Is n(-4) a multiple of 18?
False
Let a(b) = -6*b - 7. Let w(q) = q. Let o(z) = -a(z) - 5*w(z). Let r be o(-4). Suppose -4*g - 146 = -r*s, -5*s + 2*g = g - 215. Is s a multiple of 11?
False
Let h be (-7 - -5)/(3/(-12)). Is 10 a factor of h/10 + (-4144)/(-70)?
True
Let j(a) = a**2 - 16*a - 24. Let k be j(22). Is (k/(-21))/((-4)/14 - 0) a multiple of 9?
True
Let i(w) = 14*w**2 + 10*w - 4. Suppose 10*k - 12*k + 8 = 0. Is 26 a factor of i(k)?
True
Let t = 305 - 34. Is t a multiple of 9?
False
Suppose 369 + 5301 = 6*r. Suppose -y = 4*y - r. Is 27 a factor of y?
True
Suppose -4*g - 124 = 5*q - 370, -3*q + 153 = -3*g. Let j = 86 - q. Is j a multiple of 5?
False
Suppose 2*t - 10 = 0, -o - 2*t + 6 = -4. Suppose o*i - 15 = 5*i + 5*k, 2*i + 18 = -5*k. Is (9/i*-10)/(-2) a multiple of 11?
False
Let s = 180 - 32. Suppose 2*v - r = 4*v - 163, -2*v = 4*r - s. Suppose 5*j - 5*f + 0*f = 140, -4*j - 3*f + v = 0. Does 12 divide j?
True
Let k = 9 - 4. Suppose k*l - 28 = 2. Is 24 a factor of (1*-1)/(l/(-426))?
False
Let o = 223 - 111. Let r be 6/(-21) - 1032/14. Let j = r + o. Is j a multiple of 11?
False
Suppose 16*i - 13*i = 3. Let r(v) = 199*v - 2. Is r(i) a multiple of 29?
False
Let k = 2484 + -1739. Does 85 divide k?
False
Let k be 2/4*(-96)/(-8). Suppose -k*p + 7*p = 8. Is 2 a factor of p?
True
Let x be (2/(-7))/((-2)/14). Suppose x*p = -6 + 2. Does 5 divide 10/(((-16)/12)/p)?
True
Suppose 3*i = 2*i. Suppose w + n - 28 = -3*n, i = 4*w + n - 52. Is 4 a factor of w?
True
Let h(f) = -f**2 + 29*f + 24. Let p(j) = -2*j**2 + 59*j + 47. Let y(u) = 5*h(u) - 2*p(u). Is 29 a factor of y(20)?
False
Let l(v) = 4*v**3 + 3*v**2 + v - 1. Let i = -43 - -46. Is 24 a factor of l(i)?
False
Let c be ((-1)/(-1))/(((-42)/6)/(-567)). Let x = c + -65. Is x a multiple of 8?
True
Let n(c) = c + 14. Suppose -2*i + 4 = -4*i. Let m(z) = 3*z - 4. Let w be m(i). Is 4 a factor of n(w)?
True
Suppose -10 = w - 3*h, -4*w + w = -5*h + 18. Is 10 a factor of w/(-1)*(-260)/(-13)?
True
Let v = 564 + -336. Is v a multiple of 31?
False
Let c(l) be the second derivative of -l**5/20 + l**4/3 + 11*l**3/6 - 5*l**2/2 - 334*l - 1. Let f = 1 - -4. Is c(f) a multiple of 25?
True
Suppose -2809 = -9*q + 4*q + 2*y, -2237 = -4*q + 5*y. Is 33 a factor of q?
False
Let r(j) = -4*j**2 - 21*j - 4. Let a(t) = -3*t**2 - 20*t - 5. Let d(f) = -5*a(f) + 4*r(f). Let p = -5 + 20. Is 24 a factor of d(p)?
True
Suppose -5*k - 1770 = -0*k. Is k/(-3) + 4 + -2 a multiple of 29?
False
Let q(p) = 362*p**2 - 23*p + 2. Is 8 a factor of q(-1)?
False
Let r be 1676/20 - 2/(-10). Let m = -44 + r. Suppose 2*g - g = m. Is 15 a factor of g?
False
Let b = -210 - -1211. Is 24 a factor of b?
False
Let f be 161/4 + 30/40. Is f - 6/(4 + -7) a multiple of 17?
False
Let v = 769 + -420. Let z = v + -204. Suppose 0 = -4*n - n + z. Is n a multiple of 14?
False
Let l = 872 + 10. Is l a multiple of 12?
False
Let g(x) be the third derivative of x**5/30 - 7*x**4/24 - x**3 - 7*x**2. Does 19 divide g(-5)?
False
Let p be ((-12)/(-4) - 0) + 5. Let v = p + -5. Is 39 - (-1 + 2 - v) a multiple of 9?
False
Let o(l) = -l**2 + 20*l - 44. Suppose 3*d + 31 = 73. Is 10 a factor of o(d)?
True
Let r(h) = h**3 - h - 1. Let y be r(2). Does 14 divide (-1 - (-19)/y)*10?
True
Suppose j = -i - 0*i + 29, -4*j = -4*i - 140. Does 4 divide j?
True
Let y = 1 - 2. Let z be y*(136 + -2) + -3. Let v = z + 221. Is 26 a factor of v?
False
Suppose -4416 = 16*u - 32*u. Does 6 divide u?
True
Let y(t) = t**2 + 10*t + 26. Let a be ((-2)/2)/(9/99). Is y(a) a multiple of 11?
False
Let o = 1 - 8. Let m(f) = f**2 - 28*f - 92. Let j be m(30). Let c = o - j. Is 9 a factor of c?
False
Suppose 5*s - 25 = -5*n, -4*s + 7*s - 4*n + 6 = 0. Suppose -y - 2*i = -16, -2*y + s*i + 35 = -3. Suppose -15*h = -y*h + 330. Is 13 a factor of h?
False
Let t(i) = i**3 - i**2 - i + 4. Let r be t(3). Let j = r + -9. Suppose 2*d - j = -2, 3*x - 3*d - 123 = 0. Is 7 a factor of x?
False
Let o be (-20)/(-15)*(12 - 0). Let h = o + 98. Does 25 divide h?
False
Suppose 51*m - 45*m = 10074. Is m a multiple of 54?
False
Suppose -5*j - 3*q + 2671 = 0, 2669 = 5*j + q + q. Is 41 a factor of j?
True
Suppose 2*m + 4*z - 13 = 5*z, -4*m + 28 = -4*z. Suppose -9 = -5*s + m. Does 16 divide 423/s*(-1)/(-3)?
False
Let f be 3/(-2)*(-76)/3. Suppose -4*b = -6*b + f. Is b even?
False
Let w(s) = s**3 + 7*s**2 - 11*s + 4. Let v be (-7 - 0) + (12 - 13). Is w(v) a multiple of 6?
False
Let v(c) be the first derivative of -c**7/840 + c**6