ivide z?
False
Suppose -b = -15 - 6. Does 8 divide b?
False
Let z(w) = 2*w + 0*w**3 + w - 2*w**3 + 1 - 2*w - w**2. Let h be z(-1). Let y = h - -23. Does 12 divide y?
True
Suppose 0 = 2*d - 12. Let z = -105 + 49. Is (18/(-4))/(d/z) a multiple of 25?
False
Suppose 6*w - w = -3*u + 298, 0 = 5*w - 10. Is 12 a factor of u?
True
Let z(a) = -34*a + 1. Suppose y + 2*f = 2, 6*f + 6 = 3*y + 2*f. Suppose 3*x - 1 = -5*s, 3*s + y*x = -x + 3. Is z(s) a multiple of 17?
False
Let b be 6/15*5 - 16. Does 4 divide (-7)/b*1*8?
True
Suppose -5*d - 4 = -4*r - 0, 4*r = -3*d + 4. Is 1/((r/(-9))/(-1)) a multiple of 9?
True
Let c = -25 + 30. Does 2 divide c?
False
Let p(n) = -4*n - 2. Let j be p(-3). Suppose 0 = 5*i - c - 15, 4*i + 5*c - j - 2 = 0. Suppose 2*u + 15 = i*u. Is 15 a factor of u?
True
Suppose 3*c = 9, -z - 2*z - 3*c + 6 = 0. Does 8 divide 1 + z/(-1)*29?
False
Let v be 2/(-5) + 37/5. Let y = 12 - v. Does 6 divide -7*y/((-105)/18)?
True
Let m = -1 - -1. Let u = 4 + m. Let i = 0 + u. Does 4 divide i?
True
Let n(l) = 2*l**2 + 3*l + 2. Let w be n(-2). Suppose -w*q - 3*d = 11, d - 2 = 2*q - d. Is (q - (-7)/2)*2 a multiple of 3?
True
Let j be (-10)/35 + 242/14. Suppose x = 5*p - j - 14, 4*x = -3*p + 14. Is (p/4)/(-3)*-10 a multiple of 3?
False
Let x be (-1)/3 - 26/(-6). Let u(n) = 1 + x + 2 + 2*n - n. Is 4 a factor of u(-3)?
True
Let t be 0 + -6 + 3 + -5. Let w(n) = -4*n - 12. Is w(t) a multiple of 17?
False
Suppose 0 = -20*f + 22*f - 4. Suppose -3*l + 175 = f*t, -l + 500 = 5*t - 6*l. Is 27 a factor of t?
False
Suppose -409 = -4*v + 191. Does 25 divide v?
True
Suppose 15 = 4*x - 9*x - 3*s, 6 = -2*x - s. Let m = 3 + x. Does 9 divide (-3 - m)*(-3 + 0)?
True
Is 16 a factor of (-4)/(((-12)/(-51))/(-2))?
False
Let t be (33/9 - 3)*6. Let c(l) = l**3 - 5*l**2 + 4*l + 2. Let u be c(4). Suppose -s - u*d = -t*s + 5, 3*s + d - 11 = 0. Is s a multiple of 3?
True
Suppose 5*d - 2 = 2*j - 0*d, 2*j - 4*d = 0. Suppose j*g = 3 - 7, -1 = 3*h + g. Suppose h = p + 2*p - 138. Is p a multiple of 22?
False
Let y = -6 + 11. Suppose -4*g + 95 = y*f, -5*g - f = -3*g - 43. Suppose -18 - g = -2*i. Is i a multiple of 13?
False
Suppose 0*l + 26 = l. Is 13 a factor of l?
True
Let m(g) = 4*g**2 - g. Let n be m(-1). Let i = n + 12. Is 8 a factor of i?
False
Let b(m) = -m**3 - 4*m**2 + 9*m - 9. Suppose -6 = -3*p, 2*k - k = -4*p + 1. Is 15 a factor of b(k)?
True
Let z be 1/((-1 + -2)/(-42)). Suppose 19*b = z*b + 375. Does 25 divide b?
True
Let h = 2 + -2. Let q(x) = -x**2 - 4. Let z be q(h). Is (0 - 30)/(6/z) a multiple of 10?
True
Let a be ((-3)/3)/(-1) - 2. Let i = a + 1. Suppose i = -2*x + 2 + 4. Is x even?
False
Suppose b + 8 = 48. Does 20 divide b?
True
Let y(x) = x + 10. Let i be y(0). Let c = -6 + i. Let q(b) = b**2 - 3*b + 1. Is 5 a factor of q(c)?
True
Suppose 5*q = 2*m + 55, 0 = -q + m - 6*m - 16. Suppose -q = -4*r + 39. Is 5 a factor of r?
False
Suppose -7*p + 155 = -6*p + 2*t, 4*p - 665 = t. Does 26 divide p?
False
Let a = -1 + 4. Suppose -371 = -4*h + 49. Suppose 5*k - 6*c = -c + h, k + a*c = 21. Is k a multiple of 7?
True
Let d be 3/6 + (-5)/(-2). Suppose 0 = -5*q + 4*c + 8, -7*q = -d*q - c - 13. Suppose 0 = n + 4*h + 13, 0 = -q*n + 3*n - 2*h - 3. Is n a multiple of 5?
False
Suppose -5*i + 0*i + 25 = 0. Let h be (i + -15)*(-1)/2. Suppose -12 = -h*w - 2. Does 2 divide w?
True
Let o(x) = -x**3 - 7*x**2 + 4*x + 9. Does 15 divide o(-8)?
False
Let a = 38 - 26. Does 7 divide a?
False
Let h be (-6)/21 - (-246)/(-21). Let k = h + 25. Let c = k + -8. Does 4 divide c?
False
Suppose 0 = 6*c - 5*c - 29. Does 3 divide c?
False
Let f be (-3)/(0 + 3/(-15)). Suppose -2*y - 5 = -f. Suppose -p - 150 = -y*r + 2*p, -60 = -2*r + p. Does 15 divide r?
True
Let p be (-1)/(3/(-51)) + -2. Suppose -35 - p = -2*h. Is 13 a factor of h?
False
Suppose -z + 1 = 3. Let l be (-5)/(0 - z - 3). Suppose -4*q = -l*g + 150, 0 = 5*g + 4*q - 2*q - 150. Is g a multiple of 15?
True
Let t(c) = 5*c + 21. Is 9 a factor of t(11)?
False
Let q = 127 - 64. Let o = q - 12. Is o a multiple of 19?
False
Let h = 114 + -79. Does 10 divide h?
False
Let z(m) = -14*m + 1. Suppose 2*g - 9 = 5*g + 4*r, 2*r = 3*g - 9. Let v be (g + 0)/(-1)*1. Is z(v) a multiple of 8?
False
Let l be (-1 + 2)*1*5. Suppose 2*x + 6 = 0, -l*x - 43 = -3*m + 62. Let r = 56 - m. Does 13 divide r?
True
Let w = 2 + -2. Let h = 18 - w. Is h a multiple of 9?
True
Suppose z - 18 + 86 = 5*d, 0 = -3*d - 3*z + 30. Is 5 a factor of d?
False
Let n(y) = y**2 - 10*y + 3. Let p be n(10). Let s be (-1)/(-3) + (-1)/p. Suppose s = -2*o - 0*w + w + 52, 2*o - 52 = -w. Is 10 a factor of o?
False
Let l = -5 + 7. Suppose -21 = -3*c - 3*q, -4*c + l*c - q = -11. Suppose 140 = 3*u + u + 5*o, 164 = c*u - o. Is u a multiple of 20?
True
Let v(k) = k**2 - k + 8. Let x be v(0). Is (-3 - -1)*(-36)/x a multiple of 9?
True
Suppose 63 = 3*j - 4*i + 16, 2*j - i - 33 = 0. Does 12 divide j?
False
Let l = 79 + -43. Let c(t) = t**3 - 8*t**2 + 14*t + 3. Let s be c(6). Let b = l - s. Is 15 a factor of b?
False
Let o(z) be the second derivative of -z**4/12 - z**3/6 + z**2/2 - 2*z. Let f be o(-2). Is 9 a factor of (-2 - -11 - -2) + f?
False
Suppose -30*b - 1840 = -38*b. Is b a multiple of 37?
False
Suppose 56 = -2*t + 4*t. Suppose -4*z + 5*w + 97 = 0, 3*z - 5*w = 46 + t. Is 23 a factor of z?
True
Suppose 0 = 4*c - c - 951. Suppose 2*u - 3*n - c = -2*u, 5*u - 3*n - 400 = 0. Does 17 divide u?
False
Is 45/(-2)*(-11)/(440/64) a multiple of 24?
False
Let q = -66 - -81. Is q a multiple of 5?
True
Let p = -16 + 21. Suppose 2*t - 27 = -p*h, 2*t + 3*h - 30 = h. Does 8 divide t?
True
Let g = 2 + 27. Suppose 5*j = -8*r + 3*r - 55, -g = 3*j - r. Does 11 divide 4/j - 112/(-5)?
True
Suppose -w - 150 = -6*w. Is 6 a factor of w?
True
Let a be (1 - 7)*3/6. Let o be (-12)/(-9) - (-110)/(-6). Let l = a - o. Is 7 a factor of l?
True
Let b = -25 - -17. Let n = b - -12. Is 4 a factor of n?
True
Is (3 - -1) + -1 + 47 a multiple of 10?
True
Suppose -5*z + i + 24 = -1, -5 = -5*z - 3*i. Let n be 4/(-8) - 14/z. Does 11 divide 2*2/n*-29?
False
Let o(c) = -c**3 + 10*c**2 + 9*c - 10. Let w be o(7). Suppose q - 65 + 3 = 4*m, -2*m = 3*q - w. Suppose 4*a + 10 - q = 0. Is 6 a factor of a?
False
Suppose 3 = 2*j - 5*g, -2*j - 2*g + 0*g - 18 = 0. Let r be j/((30/8)/(-5)). Suppose -130 = -r*n + 3*n. Does 15 divide n?
False
Suppose -3*u + 1030 = 2*u. Let b = u - 146. Does 20 divide b?
True
Suppose 0 = -5*o - 102 + 2. Let a be 4/(-10) + (-188)/o. Does 10 divide (-7)/(-1 + a/12)?
False
Let r(f) = -3*f**2 + f + 22. Let g be r(6). Let q(c) = c**3 - 1. Let i be q(2). Is 1/(((-14)/g)/i) a multiple of 14?
False
Let l = 25 + 25. Suppose l = k - 5*u, -2*u - 59 = -4*k + 69. Does 30 divide k?
True
Suppose 4*f = 1139 - 455. Is 9 a factor of f?
True
Let k(v) = v**3 + 9*v**2 + 2*v + 12. Let z be k(-10). Is z/(-14) + 10/35 a multiple of 4?
True
Suppose -13*p = -15*p + 10. Suppose 0 = -5*i + 2*i + 5*h + 735, -2*h + 6 = 0. Suppose -2*c = 10, n + 4*n + p*c = i. Does 19 divide n?
False
Suppose 8 = i + i. Let u = 8 - i. Is u a multiple of 4?
True
Suppose -3*w = q + 51, -w - 48 - 9 = q. Let x = q - -84. Is 12 a factor of x?
True
Let h be (1 + (-3)/2)*0. Suppose 3*r = -h*r + 60. Does 8 divide r?
False
Let n(l) = -4*l + 3. Is n(-11) a multiple of 17?
False
Does 2 divide -3 - (18/6)/((-1)/7)?
True
Suppose -z + 2*z = 39. Does 12 divide z?
False
Let x(f) = -8*f**3 - 3*f**2 + 2. Let l be x(-2). Suppose -4*q + 84 = i - l, -2*i - 30 = -q. Is 17 a factor of q?
True
Suppose 0 = 3*t + 3 + 6. Suppose -4 = -3*s - v - 0*v, 0 = 2*s + 4*v + 14. Does 15 divide ((-9)/s)/t - -14?
True
Suppose 4*s + 506 = 2*r, 0 = -2*s + 7*s + 5*r + 625. Let l = s + 206. Suppose x + 2*v - 6 = 0, -2*v - l = -3*x - 22. Is x a multiple of 13?
False
Suppose n - 2*n = -66. Does 11 divide n?
True
Let n(d) = -d**3 + 12*d**2 + 17*d - 11. Let l = 33 + -20. Is 12 a factor of n(l)?
False
Let j(t) = t**3 + 2*t**2 + t - 2. Let o be j(-3). Let n be (o/(-21))/(1/6). Is 15 a factor of ((-30)/(-4))/(2/n)?
True
Let j = 6 + -4. Let x(c) = 7*c - 1. Does 6 divide x(j)?
False
Suppose -5*f = -10 - 10. Suppose -b - 60 = -f*b. Let w = 46 - b. Is 13 a factor of w?
True
Let m be 53/(-5) + 4/(-10). Let j = 21 + m. Is 8 a factor of 135/j*2/3?
False
Suppose 0 = -4*w - 5*c + 52, -6*c - 20 = -4*w - 3*c. Let f be 152/2 + w/(-4). Sup