-20, 0 = y*x - 3*w - 64. Does 13 divide x?
True
Suppose 6*f = -4*r + f + 124, -3*f + 90 = 3*r. Let l = -20 + r. Suppose 3*p - 36 = 2*w, w + 5 = 2*p + l*w. Is p a multiple of 5?
True
Let n(d) be the first derivative of d**3/3 + 4*d**2 + 6*d - 1. Let b be n(-8). Let x(u) = u**3 - 7*u**2 + 7*u + 5. Is 11 a factor of x(b)?
True
Let v = -34 - -43. Let h = 54 - v. Is 5 a factor of h?
True
Suppose -5*p - 9 + 64 = 3*u, -p = -2*u + 15. Suppose -u = 9*q - 11*q. Suppose w + 80 = q*k, k + k + 4*w = 32. Is 16 a factor of k?
True
Suppose -106*l + 103*l + 3129 = 0. Is l a multiple of 12?
False
Is ((-29)/((-957)/22))/(2/5472) a multiple of 38?
True
Let i(b) = 4*b**2 + 23*b + 9. Let h be i(-10). Suppose 4*s - 5*c = 731, s - 4*c = -2*c + h. Does 34 divide s?
False
Let x = 255 - -249. Does 9 divide x?
True
Suppose -2*p - 78 + 294 = -k, 5*k = -3*p + 350. Is 9 a factor of p?
False
Let u(z) be the third derivative of -3/8*z**4 - 1/120*z**6 - 1/3*z**3 + 0*z + 0 + 13*z**2 - 1/10*z**5. Does 13 divide u(-6)?
True
Suppose -2*h = 8 - 2, 7 = 5*m + h. Suppose m*s = -x + 62, 5*s + 173 - 31 = 3*x. Let w = x - -5. Is w a multiple of 13?
False
Suppose -4*k + 6 = 3*x - 15, 3*x - 2*k - 3 = 0. Suppose -2 = -x*d + 2*z + 138, -5*d = -5*z - 225. Is d a multiple of 10?
True
Suppose 3*k + 0*k = 3*g, 0 = 3*k + 2*g. Suppose -3*u - 3*q + 8*q = 120, k = 2*u - 3*q + 81. Let x = u + 71. Is x a multiple of 13?
True
Suppose 2*n + 4*l = 6, -l + 4 - 30 = -5*n. Suppose 4*t + 4*j = 59 - 11, 0 = t - n*j - 18. Does 7 divide t?
False
Let y = -313 - -828. Is y a multiple of 5?
True
Let g = 37 - 36. Is 3 a factor of 39 + (g + 1)*2/(-4)?
False
Suppose 0 = 2*p - 5*p + 600. Suppose 0*m + 3*o = -2*m + 12, -4*o = -5*m + 7. Suppose -2*v = m*v - p. Is 11 a factor of v?
False
Let y = 178 - 98. Let t = y - 65. Is t a multiple of 8?
False
Suppose 0*d - 40 = -5*d. Suppose -483 = d*u - 1539. Does 27 divide u?
False
Let v(r) = -33*r + 56. Let m(z) = 8*z - 14. Let w(g) = 9*m(g) + 2*v(g). Is 9 a factor of w(5)?
False
Is 14*13 - (-16 + 11) a multiple of 9?
False
Let u(q) = 151*q**2 - 1. Let z = 9 + -8. Let o be u(z). Suppose 105 + o = 5*j. Does 17 divide j?
True
Is (2 + -5)/(36/(-120)) a multiple of 5?
True
Let b be 8/12*9/6. Let z be 4/6*(b - -2). Let v(u) = 6*u**3 + u**2 + u + 2. Is 18 a factor of v(z)?
False
Is (-2)/(-4) - (-88838)/172 a multiple of 49?
False
Let w(i) = 6*i**2 - 3*i - 14. Let m be w(-5). Suppose 6*g = 449 + m. Is 16 a factor of g?
False
Suppose -k + 1 = t - 0*k, -t - 2 = 2*k. Suppose -2*x - 113 = x - 4*m, 0 = 5*x - t*m + 191. Let p = -27 - x. Is 10 a factor of p?
False
Let v(d) = -32*d - 5. Let m(w) = 7*w + 22. Let s(q) = -q - 1. Let y(k) = -m(k) - 5*s(k). Let j be y(-7). Is 36 a factor of v(j)?
False
Let f = 1128 + -834. Is f a multiple of 42?
True
Let b(r) = 23*r**2 + r. Let l be b(1). Let y be (-1)/(2*(-3)/l). Is 22 a factor of 2/y*(88 + 0)?
True
Suppose -161 = -5*t + 9. Let v = 69 - t. Suppose b - 2 = v. Is 6 a factor of b?
False
Let r be (-1 + 0 + 6)*-1. Is (1 - r)/((-2)/(-12)) a multiple of 18?
True
Let u(y) = 2*y**2 - 14*y + 12. Let c be u(6). Suppose 8*m + c*m = 416. Is m a multiple of 19?
False
Let l = 64 + -62. Suppose -l*b + 84 = s, 4*b - 3*s - 47 - 111 = 0. Is b a multiple of 41?
True
Let l(x) = 7*x**2 + 2*x + 5. Let q(w) = -10*w**2 - 3*w - 7. Let i(d) = 7*l(d) + 5*q(d). Let c be i(0). Is 10 a factor of 20 + c/(-7 + 4)?
True
Suppose 8*v = 3*v - 105. Let a = 4 - v. Suppose 1 = o - a. Does 5 divide o?
False
Let f(y) be the second derivative of y**4/12 - 2*y**2 - y. Is 6 a factor of f(-4)?
True
Let v be (-1153)/(-5) - 18/(-45). Let s(r) = 19*r**3 + 3*r**2 - 2. Let w be s(2). Let t = v - w. Does 23 divide t?
True
Suppose -2*d + 29 = c - 0*d, 0 = 3*c + 2*d - 67. Suppose 5 = -4*x - c. Let i(t) = -9*t - 15. Does 12 divide i(x)?
False
Let z(b) = 94*b + 4. Suppose -3*q + 4*q - 1 = 0. Is 14 a factor of z(q)?
True
Let y be -3 + (-4 - (-50 - -4)). Let i = y + -21. Is 9 a factor of i?
True
Let q(v) = -11*v - 44. Is q(-14) a multiple of 9?
False
Suppose -4*n = 5*w - 2014, 0 = 2*w - w - 4*n - 422. Suppose 11*p = w + 815. Does 37 divide p?
True
Suppose 78*u + 2415 = 93*u. Is u a multiple of 7?
True
Let h(v) = v - 26. Let d be h(15). Is 14 a factor of (11/d)/(((-1)/(-42))/(-1))?
True
Suppose -25*a + 809 + 14041 = 0. Does 22 divide a?
True
Let m(i) be the first derivative of -33*i**3 + 3*i**2/2 - 3*i + 5. Let f be m(2). Is f/(-12) + 3/(-4) a multiple of 16?
True
Let v = -39 - -15. Is v/(-2)*54/9 a multiple of 21?
False
Let a(w) = 2*w**2 - 4*w. Let p(h) = -h**2 + 8*h - 4. Suppose 2 - 3 = d, -2*k - 4*d = -10. Let s be p(k). Is 4 a factor of a(s)?
False
Suppose 8*a = 6*a + 6. Suppose q - 352 = -a*q. Let v = -55 + q. Is 9 a factor of v?
False
Let r(n) = -3 - 4*n + 3*n + 6*n. Let f be r(3). Let z = f - 4. Is 3 a factor of z?
False
Is 1*(1 + -2)*(-666 + 52) a multiple of 42?
False
Let u(r) be the third derivative of r**6/120 + 2*r**5/15 - r**4/12 - 2*r**3/3 - r**2. Is 13 a factor of u(-6)?
False
Does 41 divide 479*((-8)/68 + (-210)/(-51))?
False
Let w(c) = -9*c**2 - 36*c - 9. Let z(m) = -5*m**2 - 18*m - 4. Let y(u) = 4*w(u) - 7*z(u). Let j be y(-14). Is 8 a factor of (-1)/(3/j*-2)?
True
Let g(a) = a**2 + 2*a - 23. Suppose 14*p = 19*p - 35. Is 15 a factor of g(p)?
False
Suppose 6*t - 1625 = 691. Is t a multiple of 37?
False
Let r(x) = -2*x - 9. Let d be r(-7). Let y = 6 - d. Is 14 a factor of 2 + -2 + y*42?
True
Suppose -2*f - 6 = -3*f. Let a(d) = -11*d - 10. Let q be a(-4). Suppose 4*g = f*g - q. Is 17 a factor of g?
True
Suppose -29*o + 21111 = -16647. Is o a multiple of 42?
True
Let t be (7 - -1)/(-2) + -4 + 8. Suppose t = 3*m - 201 + 54. Does 8 divide m?
False
Let g(t) = 190*t - 10. Let y be g(2). Let i = y + -162. Is i a multiple of 33?
False
Suppose -6228 = -4*j - 2*f, 1557 = 31*j - 30*j - 4*f. Does 31 divide j?
False
Suppose -q + 276 = -2*t, 16*q + 5*t = 21*q - 1390. Is q a multiple of 40?
True
Suppose -168 = -11*m + 261. Let l = 133 - m. Is 9 a factor of l?
False
Let t(x) = x**3 - 13*x**2 + 12*x - 4. Let a be t(12). Does 23 divide -1 + -3 + 1 + (-732)/a?
False
Is -108 - -120 - (-1286)/2 a multiple of 7?
False
Suppose 5*i = -2*l + 307, -2*i - 2*l = -0 - 118. Let u = i + -51. Is 3 a factor of u?
True
Let z = 59 + -101. Let p = 127 + z. Suppose 2*d + p = 3*d. Does 17 divide d?
True
Suppose 4*g - g + 3*b - 45 = 0, 0 = 3*b - 3. Suppose -20 = 3*d - 92. Is 12 a factor of d/84 + 668/g?
True
Suppose m = -8 + 3, -3*m - 855 = -u. Is 21 a factor of u?
True
Let b = 328 + -237. Is b a multiple of 6?
False
Let y = 645 + -464. Does 10 divide y?
False
Suppose 0 = -s + 4*s. Suppose 34*a - 38*a + 96 = s. Does 11 divide a?
False
Let i = -23 - -36. Let u(d) = -d**3 + 13*d**2 + 4. Does 3 divide u(i)?
False
Let n be ((-416)/(-64))/((-2)/(-144)). Suppose 2*p + 148 = x, -2*p = -0*x + 3*x - n. Does 14 divide x?
True
Let n = 37 - -30. Suppose -n = 8*a - 851. Is a a multiple of 19?
False
Suppose 3*q + 426 = 3*m, -3*q + 7*q + 709 = 5*m. Is 8 a factor of m?
False
Suppose 3*i + 507 = 5*u, -2*u = u - i - 305. Suppose 2*o - w - u = 0, 5*o = -5*w + 1 + 284. Suppose 318 = 5*g + o. Is 15 a factor of g?
False
Let o(b) = -b**3 + b**2 - b - 1. Let s be o(-1). Suppose z - 2*z + 92 = -s*a, -4*z - 4*a = -356. Does 36 divide z?
False
Suppose -2*a + 3*d + 12 = a, 2*a - 5*d - 14 = 0. Suppose -192 = -a*i - v, 2*i = 6*i - 4*v - 384. Is 32 a factor of i?
True
Let a be (1 + 107)*(-2)/(-4). Suppose 51*i = a*i + 12. Let p = i - -50. Is p a multiple of 23?
True
Let u = 556 - 80. Is 7 a factor of u?
True
Suppose 0 = -p + 27 - 0. Let k be (-1)/2*(p - 3). Is 30 a factor of ((-98)/6)/(2/k)?
False
Let n(q) = q**2 - 5*q + 1. Let x be n(6). Let v(u) = -u**3 + 7*u**2 + 3*u + 5. Let d be v(x). Let z = d + 28. Is z a multiple of 18?
True
Suppose 10 = 5*g, -8*y + 815 = -7*y + 5*g. Does 35 divide y?
True
Let j(f) = f + 1. Let h(g) = g**2 + g - 5. Let v(t) = -h(t) - 3*j(t). Let c be v(-3). Suppose c*u - 9 - 261 = 0. Does 18 divide u?
True
Suppose -4905 + 921 = -12*t. Is t a multiple of 28?
False
Let o(l) = -l**3 + 16*l**2 - 13*l + 16. Suppose 3*v = -3*f + 8*v + 81, 0 = f - 5*v - 37. Suppose -53 = -5*r + f. Does 15 divide o(r)?
False
Let c(y) be the second derivative of 5*y**3/6 + 13*y**2/2 + 6*y. Is 3 a factor of c(0)?
False
Let j be (-3 + -22)*(-11)/(-1). Let 