divide z(x)?
True
Suppose -3*x - 3*x = 330. Let g = 77 + x. Does 22 divide g?
True
Is (1/3)/((-1)/(-33)) a multiple of 11?
True
Suppose 4*q - 97 + 25 = 0. Does 9 divide q?
True
Let f = 7 + -2. Suppose -f*m = -2*u - 8, -4*m + 2*m = -3*u - 12. Suppose 33 = -m*p + 3*p. Does 11 divide p?
True
Suppose -a - 2*f + 75 = -160, 2*a = -5*f + 465. Is a a multiple of 47?
False
Let d = -54 - -105. Let p = 99 - d. Is 16 a factor of p?
True
Let a(f) = 1 + 25*f**2 - f - 27*f**2 + 9*f**3 - 3. Does 15 divide a(2)?
True
Let f = 7 - -8. Is 26 a factor of (156/f)/(2/10)?
True
Suppose -8*n + 85 = -7*n. Does 22 divide n?
False
Let r(q) = -q**2 + 11. Let a be r(0). Let h = 23 + a. Is 12 a factor of h?
False
Let l(t) = -2*t + 2. Let s = 12 + -7. Suppose 0 = -w + s*w + 28. Does 16 divide l(w)?
True
Let l = -28 - -34. Suppose 10*r = l*r + 68. Is r a multiple of 3?
False
Let l = 0 + 0. Let p be (l - 1)/((-5)/(-35)). Let m = p - -45. Is m a multiple of 16?
False
Does 4 divide (-3 - -4)/(3/12)?
True
Let i be -42 - -1*(3 + 0). Let s be 462/(-8) + 3/(-12). Let u = i - s. Does 13 divide u?
False
Suppose -6*y + 187 = -533. Is 10 a factor of y?
True
Let b(z) = -z - 7. Let g be -8 - (-1 - 0/(-1)). Let y be b(g). Suppose -3*a + 3 = y, -v + 92 = 3*v + 4*a. Is 11 a factor of v?
True
Let c be 0/((-2)/(0 - -1)). Suppose -4*n = 2*b + 60, -4*b - 7*n + 2*n = 114. Let d = c - b. Is 12 a factor of d?
False
Suppose 61 = 3*u - 155. Is u a multiple of 24?
True
Suppose -3*o + 5*l = 232, 3*l - 392 = 3*o + 2*o. Let q = -33 - o. Is q a multiple of 8?
False
Let l(t) = 37*t + 11. Does 15 divide l(4)?
False
Let d be ((-3)/(-6))/(1/4). Suppose k - 3*z = -k + 39, k = z + 19. Suppose 0*l + k = d*l. Is 9 a factor of l?
True
Let l = -21 - -13. Is (-142)/l + 1/4 a multiple of 5?
False
Let w(n) = 7*n**3 - 16*n**2 - 15*n - 10. Let k(a) = 3*a**3 - 8*a**2 - 7*a - 5. Let r(b) = -5*k(b) + 2*w(b). Does 13 divide r(8)?
False
Suppose -396 = -2*t - 4*z - 116, 2*t - 280 = 4*z. Is 35 a factor of t?
True
Let c be 210/4 - 2/4. Suppose 5*s - j = c - 7, -4*j = 5*s - 70. Is s a multiple of 5?
True
Suppose -l - 2 = b + 4*l, -2*l = -b + 5. Suppose -4*c = v - 227, -c + v = b*c - 221. Is 24 a factor of c?
False
Let i be (-2 - 25)/(3/(-3)). Suppose -i = -3*t - 0*t. Is 2*t/6 - -13 a multiple of 8?
True
Let v = -29 + 46. Is v a multiple of 8?
False
Suppose -4*j = -6 - 2. Suppose -5*g - 3*r = -5*r - 103, 5*g + j*r = 87. Does 9 divide g?
False
Is 34 a factor of (-200)/(-6) - 14/(-21)?
True
Suppose 6*q - 312 = 2*q. Does 13 divide q?
True
Suppose 0 = -20*d + 22*d + 44. Let z = d - -64. Does 6 divide z?
True
Is 6*-1*1/(-2) even?
False
Is (-63)/(-4) + 3/12 a multiple of 5?
False
Let n(m) be the second derivative of 2*m**3/3 - 7*m**2/2 + 2*m. Does 13 divide n(5)?
True
Let m(w) = -w**2 + 16*w - 3*w + 2*w**2 - 12. Does 2 divide m(-14)?
True
Let g = 19 - -23. Is 11 a factor of g?
False
Let f(c) = 5*c - 10. Let y(b) = 11*b - 21. Let p(d) = 9*f(d) - 4*y(d). Let z be p(10). Suppose z = u - 1. Does 5 divide u?
True
Let y(d) = -d**3 + 3*d + 3. Let g be y(-2). Suppose -2*q - 16 = -3*i - 4*q, 0 = -i - 5*q + 27. Suppose -g*c + 81 = i*n, -4*c = -2*n - n - 74. Does 14 divide c?
False
Suppose 72 + 12 = 4*k. Let f = k - 3. Does 4 divide ((-8)/(-3))/(6/f)?
True
Let m(i) = i**3 + 6*i**2 - 4*i - 4. Is m(-3) a multiple of 25?
False
Suppose -4*x + 3 = -3*y - 15, -3*y + 2*x = 12. Does 23 divide (1 + y)/((-1)/66)?
False
Let t = 42 + 22. Does 8 divide t?
True
Suppose -2*t - 5*f = -8 - 3, -f + 1 = 0. Let a = t + -3. Suppose a*z - 39 = -3*z. Is 11 a factor of z?
False
Let x(p) = 2*p**2 + 4. Is x(-5) a multiple of 14?
False
Does 11 divide (-655)/(0 - 5) - 3?
False
Suppose -2*s = -s - 96. Is s a multiple of 24?
True
Let i(k) = -k**3 + 12*k**2 + 9*k + 7. Let d be i(12). Suppose d = u + 4*u. Is 6 a factor of u?
False
Suppose 29 = 2*b + 3*l - 4*l, -3*b + 54 = 2*l. Is b a multiple of 8?
True
Let m(y) = y**2 + 5*y - 10. Let k be m(-8). Suppose j - 44 = -k. Is 23 a factor of j?
False
Suppose 39*j - 175 = 34*j. Is j a multiple of 5?
True
Suppose 5*i - 11 - 14 = 0. Suppose q + 4*g = -9, -5*q + i*g = -q + 57. Let k = q + 29. Is k a multiple of 8?
True
Let n(c) = c**3 - 7*c**2 - 6*c - 4. Let p be n(8). Let o(z) = -z**2 + 13*z + 16. Is 14 a factor of o(p)?
True
Let l = -45 - -29. Does 8 divide (-3 - (-4 + 2))*l?
True
Does 42 divide 360/(-21)*(-56)/8?
False
Suppose 51 = z + i - 4*i, 2*i = -4*z + 218. Is z a multiple of 18?
True
Does 16 divide (0 + 3)*4 + 4?
True
Suppose 3*l - 5 + 20 = 0. Let r(i) = 0*i**3 - i**3 - 5 - 4*i**2 - i**2 - 2*i. Is r(l) even?
False
Let d = -1 - -4. Suppose d*r - 40 = r. Is r a multiple of 14?
False
Suppose 0 = k + 4 - 0, 0 = 2*h - 2*k - 16. Suppose -2 = -h*r + 3*r. Suppose 0 = 7*s - r*s - 20. Is s a multiple of 4?
True
Suppose -2 + 7 = -5*p. Let c(j) = 26*j**2 + j + 1. Is c(p) a multiple of 26?
True
Suppose -8 = 5*l + f + 15, 3*f + 13 = -l. Let v = 3 - l. Is 4 a factor of v?
False
Suppose 4*b + 2*n - 138 = 0, -b - n + 2 = -31. Is 12 a factor of b?
True
Suppose 2*r = 4*t + 24, -5*r - 3*t = -t. Suppose -2*c = 3*c + 3*m - 130, 2*c + r*m - 56 = 0. Does 15 divide c?
False
Suppose 0 = -5*r + 139 + 101. Is 8 a factor of r?
True
Suppose -p + 4*d = -43 - 0, 0 = -2*d. Does 28 divide p?
False
Let i = -74 + 126. Is i a multiple of 33?
False
Let t be -4*(-2)/4 + 6. Suppose 2*z - t = -0*z. Suppose -z*w = -0*w - 16. Is 3 a factor of w?
False
Let u(q) = 9 + 5*q - q - 3*q. Let z(y) = 9. Let k(l) = -5*u(l) + 4*z(l). Is k(-7) a multiple of 7?
False
Let s = -24 - -27. Suppose -3*v + 13 = k, -4*v = 2*k - s*v - 41. Is k a multiple of 11?
True
Suppose 2*n = -0*n + 2. Does 18 divide 0 + n + 29 + 6?
True
Let x = 62 + -17. Is x a multiple of 33?
False
Suppose 0 = 2*w + 5*y - 23, -w + 1 = -0*w - y. Suppose w - 2 = r. Suppose 3*v + 0*v + 5*b - 77 = 0, r*b = v - 22. Is 12 a factor of v?
True
Suppose -158 = -3*h + 40. Is h a multiple of 22?
True
Suppose 2*l - 4 = s, 4*s - 2 - 3 = l. Let j be l/(-3)*(-8 + 0). Let h(u) = 2*u + 2. Is h(j) a multiple of 6?
True
Let s(m) = -4*m - 5. Let a be s(-2). Let p(q) = q**3 - 3*q + 2. Is p(a) a multiple of 10?
True
Let v(u) = -u**2 - u + 1. Let a be v(0). Does 4 divide (-1*a)/(10/(-120))?
True
Suppose -z = -2*r + 17, -5*z - 22 = -4*r + r. Let v = -26 + r. Let n = -6 - v. Does 8 divide n?
False
Let i be 1/(-3 + 14/4). Suppose -m + 3*t = -61, i*m = 2*t - 7*t + 67. Does 21 divide m?
False
Let y(g) = 3*g**3 - g**2 + g + 1. Let l(c) = 2*c**2 + 2*c. Let n be l(-2). Suppose n = 4*x + 16, -3*d = 4*x + 6. Is y(d) a multiple of 12?
False
Let u = 2 + -1. Let a be (12/(-30))/(u/(-30)). Suppose 2*n - a = 4. Is 4 a factor of n?
True
Let f(s) = -s**2 - 15*s - 2. Let y(t) = -t**3 - 7*t**2 + t - 7. Let m be y(-7). Is 12 a factor of f(m)?
True
Let s(r) = 2*r**3 - 2*r**2 + 6*r - 9. Does 11 divide s(2)?
True
Suppose -120 = -5*l - 2*q + 7*q, 0 = 5*l + 3*q - 144. Suppose 4*o = -l + 311. Does 24 divide o?
False
Suppose -m = -3*f + 24, 3*f + 3*m - 10 = 2. Let q be f/(-2)*(-2 - 0). Suppose 3*n = 3*u + 108, 3*u + 128 = 4*n + q*u. Is 17 a factor of n?
True
Let o be 0/(-1) - 14/(-7). Let x be (-2)/5 - 22/(-55). Suppose o*v - 68 = -x*v. Is 16 a factor of v?
False
Let d(a) = a. Let p be d(-6). Is (-3)/p + 146/4 a multiple of 14?
False
Let n be (-1)/2 + 21/6. Suppose -4*i - 8 = 0, 11 = n*j - 0*i - i. Suppose -97 = -j*g + 17. Does 19 divide g?
True
Let q = -7 - -56. Suppose -13 = 2*l - q. Is l a multiple of 7?
False
Let j(d) be the third derivative of -d**4/8 + 2*d**3/3 + 2*d**2. Let i be j(-5). Let v = i + -8. Does 9 divide v?
False
Let o = 16 + -16. Let a(i) = -i + 10. Is a(o) a multiple of 6?
False
Suppose 5*l - 242 - 58 = 0. Is 15 a factor of l?
True
Suppose 7*l - 2*l - 510 = 0. Is l a multiple of 17?
True
Let c be (-7)/((-147)/18)*-7. Let n(f) = -f**3 - 4*f**2 + 8*f - 4. Is 13 a factor of n(c)?
False
Does 34 divide (-11)/((21/24)/(-7))?
False
Let x = 73 - 39. Let z = x + -21. Is z a multiple of 5?
False
Let w be (5/(-10))/(3/12). Let i(o) be the second derivative of o**4/6 - o**3/3 - 3*o**2/2 + o. Is i(w) a multiple of 9?
True
Let p be 1/(((-4)/(-16))/1). Suppose 89 = p*t + 29. Is t a multiple of 5?
True
Suppose 18 = 3*k - 4*c, 0*k = k - 5*c - 17. Let x(r) = 57*r + 2. Let b be x(k). Suppose 0*n - b = -4*n. Is 10 a factor of n?
False
Let k(c) = -11*c - 2. Suppose 