+ 3*t - 565. Suppose 0 = -4*w - z + 211, -2*w - z = 2*z - l. Is 14 a factor of w?
False
Let z(h) be the third derivative of -h**4/24 + 7*h**3/3 + h**2. Let f(q) = -q**3 + 2*q**2 - 2*q + 7. Let y be f(0). Is 7 a factor of z(y)?
True
Suppose 5*p + a - 40 = -3*a, -2*a - 2 = -3*p. Let l be 0/(p/((-4)/(-3))). Suppose f - 33 - 40 = z, l = 4*f + 3*z - 313. Is 12 a factor of f?
False
Let n(f) = 491*f - 436. Is 10 a factor of n(6)?
True
Let b(z) be the third derivative of z**4/12 - 2*z**3/3 + 5*z**2. Let k be b(-3). Is (-4)/(-6) + k/(-3) even?
True
Let i = -131 - -171. Does 2 divide i?
True
Suppose k + 5 = 6. Suppose -11 = -3*d + k. Let w(u) = 3*u + 2. Does 5 divide w(d)?
False
Let r(s) = 6*s**3 + 4*s**2 + 7*s + 11. Is r(5) a multiple of 32?
True
Let q(z) = -375*z**3 + 3*z**2 - z - 4. Does 25 divide q(-1)?
True
Let p(b) = -b - 15. Let s be p(10). Let t be 10/s + (-104)/(-10). Suppose x - 17 = -4*x + f, 0 = -x - 2*f + t. Is x a multiple of 2?
True
Suppose -4*j - w + 10 = -0*w, 6 = 3*w. Suppose -49*o + 29*o = 0. Suppose -d - 4*n + 111 = o, -d + j*d - 3*n - 76 = 0. Does 22 divide d?
False
Suppose 0 = z + 122 - 522. Does 18 divide z?
False
Suppose -5*j = -20, -2*b + 3*j - 164 = 94. Let h = b - -242. Does 17 divide h?
True
Let z = -15 - -20. Suppose 0 = z*l - 38 - 92. Is l a multiple of 13?
True
Let b be (-6200)/36 + (-8)/(-36). Let x = b - -313. Let d = x + -89. Is 13 a factor of d?
True
Let n(m) = -m. Let d be n(-2). Suppose b + d*b = 39. Suppose 3 - b = -w. Does 10 divide w?
True
Let x = -22 - -10. Let t = x + 17. Suppose -w = t*i - 3*w - 274, -5*i - 2*w + 266 = 0. Is 18 a factor of i?
True
Let y = -40 + 23. Let i = y + 11. Does 5 divide i/(-27) - 480/(-27)?
False
Let a(m) = 86*m - 26. Is 35 a factor of a(6)?
True
Let o(p) = -p**2 - 3*p + 7. Let c be o(-4). Let z be (c/3)/((-5)/(-400)). Suppose -y + 6*y - 5*r = z, 62 = 4*y - 2*r. Does 15 divide y?
True
Is 10 a factor of ((-108)/(-14))/(3/(21 - 0))?
False
Let q = -441 + 1401. Does 5 divide q?
True
Let m be (1 + -1)/((-8 + 6)*1). Suppose 4*y - 2*y - 2*x = 288, m = -4*x + 4. Is 29 a factor of y?
True
Is (-3)/18*-6 + 773 a multiple of 18?
True
Let a = 34 - 32. Suppose -2*p + 6 - a = 0. Suppose 325 = 3*d + 5*u, -p*d - 20 + 241 = -u. Does 22 divide d?
True
Let k = -19 + 22. Is (k/(-9) + 1)/((-2)/(-195)) a multiple of 14?
False
Suppose -5*c = -1690 - 1385. Is 15 a factor of c?
True
Let p(w) = -3*w + 3. Let j be p(7). Let s be (j/21)/((-3)/14). Is 2 + (18 - -4) - s a multiple of 5?
True
Let b(x) be the third derivative of x**5/20 - 13*x**4/24 + x**3/3 + 8*x**2. Does 7 divide b(9)?
False
Suppose -3*z - 50*z = -42559. Does 11 divide z?
True
Suppose -2*z + 197 = -51. Suppose -4 = -5*g - z. Does 10 divide (g/9)/4*-15?
True
Let b(k) = k**3 - 17*k**2 + k + 6. Let h(v) = v**3 - 17*v**2 + v + 7. Let x(y) = 7*b(y) - 6*h(y). Let r be x(17). Let c = 21 - r. Is 4 a factor of c?
True
Suppose r + 158 = 5*l + 539, -387 = -r + 3*l. Suppose -2*i + i + 2*y = -216, 0 = -2*i - 5*y + r. Does 28 divide i?
False
Let s(p) be the second derivative of p**4/24 + 5*p**3/2 - 3*p**2/2 - p. Let c(m) be the first derivative of s(m). Is c(-9) a multiple of 3?
True
Let m(k) = 5*k**2 + 21*k + 26. Let z be m(-8). Is 8 a factor of z + 0 + -4 + 2?
True
Suppose 80*a - 4539 = 63*a. Is a a multiple of 17?
False
Let o = 267 + 167. Is o a multiple of 31?
True
Let z(m) = 8*m**3 - 2*m**2 + 1. Let i be z(1). Let t(v) = v**2 + 2*v - 13. Does 11 divide t(i)?
False
Let l = 454 + 5. Is l a multiple of 17?
True
Does 4 divide 706 - (-3 + -3)*(6 + -5)?
True
Suppose -12*v = -14*v + 658. Does 42 divide v?
False
Let t(c) = -c - 7. Let o be t(-12). Suppose 2*i + o*g = -0*i + 107, -2*i = -g - 101. Is i a multiple of 17?
True
Let z be (12/10)/((-39)/195). Let q(v) = -v**3 - 6*v**2 + v - 3. Let g be q(-7). Let r = g - z. Is 15 a factor of r?
True
Is ((16/10)/4)/((-70)/(-37800)) a multiple of 36?
True
Suppose 6*d - 25 - 65 = 0. Suppose -6*m - d + 279 = 0. Does 20 divide m?
False
Does 53 divide 2/3 - 1955/(-15)?
False
Let u(z) = -z**2 - z. Let o(y) = -3*y**2 - 6*y. Let d(i) = o(i) - 4*u(i). Let x(f) = f + 1. Let b be x(3). Is d(b) a multiple of 4?
True
Suppose -5*t = -u + 326, -u - t = -0*u - 296. Let r = 97 - 66. Suppose 4*d = 5*j - u + r, -d = 0. Does 27 divide j?
True
Is (57 - -49)*13/2 a multiple of 13?
True
Suppose 2*v - 3*v + 2 = 0. Suppose -19 = -3*i + v. Suppose i + 65 = 2*o. Is o a multiple of 12?
True
Let r(y) = -9 + 9 + y - y**2 + 6 + 12. Let o be r(0). Suppose -o = -f - 1. Is f a multiple of 6?
False
Suppose -939 = -15*a + 14*a. Let q = a - 597. Is 34 a factor of q?
False
Let o = -20 + 38. Suppose 3*x - 57 = 3*y - o, y - 77 = -4*x. Does 9 divide x?
True
Let b(p) = -14*p + 1. Let v be b(-2). Is ((-3)/((-12)/16) - v)/(-1) a multiple of 5?
True
Suppose 0*f + 2*f = 4, 2790 = 4*u - 5*f. Suppose u = i + 9*i. Is i a multiple of 35?
True
Does 17 divide 33/3 + (2 - -5408)?
False
Does 14 divide ((-49392)/735)/(4/(-10))?
True
Let k(l) = -6*l**2 - 9*l + 18. Let a be k(5). Let f = -29 + 15. Does 4 divide 6/f - a/21?
True
Suppose 2 - 6 = -2*w. Suppose w*s + 5*l = -26, -s - 23 = 2*l + 3*l. Is 13 a factor of (-77)/s + (-2)/(-6)?
True
Suppose t - f = -4*t + 5625, -3*t - 5*f + 3375 = 0. Is t a multiple of 82?
False
Is (-5 + 1095/20)*4 a multiple of 23?
False
Let x be (-6 + 7)/((-3)/(-129)). Suppose j + x = -21. Let z = j - -106. Is 23 a factor of z?
False
Let s be -1*((-2 - -2) + -5). Let f = 10 + -7. Suppose 12 + 3 = f*i + 3*l, i + 5*l = s. Is i a multiple of 2?
False
Let j(l) be the third derivative of -7*l**4/12 + l**3 + 11*l**2. Is 15 a factor of j(-4)?
False
Suppose 735*b + 1218 = 738*b. Is 53 a factor of b?
False
Suppose 5*b - 81 = -3*x, 6*b = 2*x + b - 54. Suppose m - 4*m - x = 3*i, 0 = -4*i - m - 33. Is 3 a factor of 38/3 + i/(-6)?
False
Suppose -3*p - 4 - 38 = -k, -2*k + 88 = -5*p. Let q = 85 + k. Does 32 divide q?
False
Let m(h) be the third derivative of h**4/24 + h**3/6 + 2*h**2. Let s = 5 + 0. Is m(s) a multiple of 5?
False
Let p(x) = -1 + 7 - 6*x + 17*x. Is 22 a factor of p(6)?
False
Suppose 7*o + 6*o = 52. Let s(t) = -t**3 + 6*t**2 + 5*t - 10. Does 8 divide s(o)?
False
Suppose w + 5*m = -410 + 2138, 4*w = 2*m + 7000. Is w a multiple of 23?
True
Let g be 10*(3/12 - (-2)/8). Suppose 2*p + 2*a = -g + 111, a = 4*p - 197. Is p a multiple of 25?
True
Let m = -47 - -5. Let k = 123 + m. Is k a multiple of 26?
False
Suppose 20*d = -15*d + 2520. Does 2 divide d?
True
Let l = 38 - 110. Suppose 20*c = 21*c - 27. Is 15 a factor of ((-90)/8)/(c/l)?
True
Suppose -35*l + 12885 = -14100. Is 12 a factor of l?
False
Is (-1 - 193/4)/((-20)/80) a multiple of 3?
False
Let l(z) = -5*z + 13*z - 5*z**2 + 13 - 5 - 2*z**2 + z**3. Does 16 divide l(7)?
True
Suppose -104 = -5*b + 4*b. Let w = 515 + -491. Suppose 4*m - b - w = 0. Does 8 divide m?
True
Let o be (-1 - 12/(-8))/(2/(-20)). Does 2 divide o/3*(2 - 5)?
False
Let b(k) = k**2 - 60*k + 327. Is b(5) a multiple of 2?
True
Suppose -556*n = -562*n + 2556. Is 71 a factor of n?
True
Let b be -1*(-3 - (372 - -3)). Suppose 0*k = -2*k + b. Is 23 a factor of k?
False
Suppose -3*r = k - 89, 0 = k - 3*k - 3*r + 178. Does 16 divide k?
False
Suppose 3*n + 0*n = 9. Let o(p) = 0*p**3 + p**2 - 20*p + 4 - p**n + 24*p. Does 7 divide o(-3)?
True
Suppose 0 = 3*o - 5*h - 2712, 0 = 2*o + 4*h - 2327 + 519. Is o a multiple of 9?
False
Is -1*(-18172)/16 + 1/4 a multiple of 16?
True
Suppose 5*w = 47 + 8. Let b be (-66)/w*3/(-1). Is (2 - 5/5)*b a multiple of 9?
True
Let v be (-3)/2*(6 - 4). Let a be 2/(-6) - v/9. Suppose a = d - 4 - 5. Is d a multiple of 8?
False
Let l(v) = v**3 - 2*v**2 - v + 2. Let y be l(2). Suppose y*d - 5*d = 45. Let m = 26 + d. Does 17 divide m?
True
Let y(a) = a**3 + 5*a**2 - a. Let g be y(-5). Suppose 0 = 4*v - 46 + 10. Suppose -76 = g*q - v*q. Does 19 divide q?
True
Suppose 0 = -g - 0*g + 56. Suppose l - 49 = -5*y, -2*y + y + 71 = 2*l. Let q = g - l. Is q a multiple of 22?
True
Suppose -5*d = -3*y + 47, 22 = 4*y + 3*d - 2. Suppose 5*x - y = 4*x. Is 3 a factor of x?
True
Suppose -247 - 208 = -7*i. Is (-13)/(i/(-120)) - -2 a multiple of 6?
False
Suppose 5*s + 6 = 3*s, 4*s = 5*w - 2992. Is 15 a factor of w?
False
Suppose 3*q + 3*l - 2*l = -38, 4*q + 72 = 4*l. Let w = q + 17. Suppose 2*i - 41 = w*h, h + 42 = 5*i - 41. Is 3 a factor of i?
