**3. Does 13 divide u(4)?
True
Suppose 2*a + 1062 = 4*w, 3*w - 296 - 505 = 3*a. Is 44 a factor of w?
True
Let k = 17 - 9. Suppose -3*z = -k*z. Let g(j) = -j + 35. Is 14 a factor of g(z)?
False
Suppose 5*t + 6 = 16. Suppose -t*y = 3*y - 2*n - 44, y - 1 = 3*n. Is 9 a factor of y?
False
Let a = -31 - -57. Is a a multiple of 13?
True
Suppose x + 2*x - 72 = 0. Does 14 divide 318/x + 3/4?
True
Let t(c) = -c + 8. Let w be t(5). Suppose -w*l - 80 = -8*l. Suppose l = 5*q - 9. Is q a multiple of 2?
False
Suppose 0*o - 63 = 3*o. Let p = 75 - o. Is 27 a factor of p?
False
Let r(p) = -p**3 + 2*p**2 + 2*p - 3. Let u be r(2). Suppose -2*o = -u - 7. Suppose 5*q - 146 = -f, -o*q - f + 86 = -30. Is q a multiple of 9?
False
Suppose 4*c + 38 + 38 = 0. Let g = c - -33. Does 14 divide g?
True
Suppose -3*x = -4*m, 4*m + 0*x = -x. Suppose 5*v - 5*y - 65 = m, -2*v + 6*y + 14 = y. Does 14 divide v?
False
Let a be (3/2)/3*12. Let i be ((-3)/a)/(1/(-4)). Suppose 2*q - 6 = 0, i*j + 2*q = 6*j - 42. Does 6 divide j?
True
Is (0 + 65/20)*16 a multiple of 11?
False
Let s(h) = -h**3 + 5*h**2 - 2*h + 5. Let f be s(5). Let g be 3/((-6)/8) + 0. Is ((-8)/f)/(g/(-130)) a multiple of 20?
False
Let h(l) = 7*l**3 + 3*l - 4*l + 12*l**3 + 2*l**2. Is 17 a factor of h(1)?
False
Let f(u) be the second derivative of -u**6/360 - 3*u**5/40 + u**4/12 + 3*u. Let s(j) be the third derivative of f(j). Is s(-7) a multiple of 2?
False
Let f be (-2)/(-5) + (-76)/(-10). Let x = 16 + -16. Suppose -g - 94 = -c - 3*c, x = 4*g + f. Is c a multiple of 11?
False
Let y(c) = 2*c**2 - c**2 + c + c - c - 12. Is y(-6) a multiple of 6?
True
Let h be (-2)/8 + 17/4. Suppose 0 = -2*c - h*u + 18 + 30, c + 3*u = 23. Is 13 a factor of c?
True
Suppose -4*u - 8 = -2*j, j - 3*u = 8 - 3. Suppose j = -2*z + 32. Is 15 a factor of z?
True
Let q(g) = -g**3 - 4*g**2 + 13. Does 17 divide q(-6)?
True
Let r(h) = h**2 + 7*h - 8. Let p be r(7). Suppose 0 = -4*m - 3*y + 75, 0*m + p = 5*m + 5*y. Does 21 divide m?
True
Let q(k) = -k**2 + 7*k + 2. Let l(s) = -2*s - 8. Suppose m + 4*m + 32 = -2*o, 2*o = -m - 8. Let w be l(m). Does 10 divide q(w)?
False
Let c(u) = -16*u. Is 16 a factor of c(-1)?
True
Suppose -2*v = -5*n + 6 - 25, 4*v = 2*n + 62. Suppose -k - 46 = -a, -2*k - v = -7. Is a a multiple of 16?
False
Let b = -95 - -154. Is b a multiple of 13?
False
Let a = 37 - 21. Does 6 divide a?
False
Let k(l) = 14*l + 1. Suppose -2*f = -0*f + 4. Let h be k(f). Let o = h + 44. Does 17 divide o?
True
Suppose -3*u = -0*u - 96. Suppose -4 = 2*j - u. Is j/4*(0 - -2) a multiple of 3?
False
Let s = 25 - 8. Does 7 divide s?
False
Suppose 6*b = 90 + 42. Is b a multiple of 5?
False
Let o(v) = -v**2 - v + 22. Let g = 1 - 1. Let w be o(g). Is 480/w + 2/11 a multiple of 13?
False
Suppose 4*i - 5*i + 6 = 0. Suppose i*t - 240 = t. Is 16 a factor of t?
True
Let y be (-3)/(-6)*-4*2. Suppose -4*g + r = 8, 3*r + 0 + 9 = g. Is 4 a factor of ((-21)/y + g)*4?
False
Suppose -6*b + b + 5 = 0. Let q be (b - 15)*1*3. Let j = q + 86. Is j a multiple of 14?
False
Let s(t) = 3*t**2 + 4*t - 8. Does 14 divide s(4)?
True
Let p = -47 - -67. Is 10 a factor of p?
True
Let c be 3 + (-2 - 3) - -7. Suppose -4*a - 5*i = -480, 0 = -c*a + 3*a + i + 240. Suppose 0 = 7*m - 2*m - a. Does 12 divide m?
True
Suppose 0 = 4*g - 196 + 36. Is 10 a factor of g?
True
Is (-6 - 11 - -5)/(-1*2) even?
True
Let g = -107 + 247. Is 35 a factor of g?
True
Suppose 8*x - 52 = -4*o + 3*x, -16 = -4*x. Suppose -82 - o = -3*k. Is 9 a factor of k?
False
Let u = -30 + 80. Does 2 divide u/18 + 4/18?
False
Suppose 3*r - 128 = r. Suppose -5*t + r = -86. Is 15 a factor of t?
True
Let d = -16 + 27. Let k = -16 + d. Let y = k + 7. Is 2 a factor of y?
True
Does 9 divide 4*(-3 - (-115)/2)?
False
Suppose 3*f + 4*l = 2*l + 6, -3*l = -5*f + 29. Suppose f*w - 19 - 1 = 0. Suppose -w*q + 120 = -q. Is 15 a factor of q?
True
Let x(w) = w**2 + 11*w + 10. Let o be x(-10). Suppose -5*m + m + 108 = o. Does 8 divide m?
False
Suppose 0 = 5*a - 19 - 11. Suppose 93 = -3*y + a*y. Is 13 a factor of y?
False
Let w be 51/(-7) - (-4)/14. Let m(j) = -8*j - 8. Let k be m(w). Let q = k + -15. Is 16 a factor of q?
False
Let x = 598 - 279. Suppose 0*m - 4*m - p = -x, m - 75 = -5*p. Is 14 a factor of m/(-1 + 3) + 3?
False
Suppose -4*i + w + 9 = i, -2*w = -i. Suppose -i*g + 4 = -14. Does 3 divide g?
True
Suppose 0*r = -4*r. Let b = -3 - -7. Suppose r - b = -f. Is 4 a factor of f?
True
Let m be 30/12 - 1/2. Suppose 4*t - 28 = n, -m*t = -3*t - 2*n + 16. Does 4 divide t?
True
Suppose -4*j = -4*t - 52, -3*j + 0*t + 18 = 4*t. Does 5 divide j?
True
Let j be 2/11 - (-93)/33. Suppose -j*d + 242 = -m, -3*d + 2*m + 230 = -11. Does 12 divide 0 + (-2)/((-6)/d)?
False
Suppose 3*p = -5*r + 34, 4*r + r - 2 = p. Is p a multiple of 5?
False
Let j(v) = 2*v**3 + 5*v - 7. Does 17 divide j(3)?
False
Suppose 3 = -4*z - i, -3*i + 10 + 3 = z. Does 9 divide (-6)/(z/(-6) + -1)?
True
Let m be (-1)/3 - (-172)/12. Let v(l) = -l - 5*l + m + 5*l. Does 3 divide v(11)?
True
Let a(y) = 65*y**2 + 1. Does 33 divide a(1)?
True
Let k = 3 + 52. Is 16 a factor of k?
False
Let h be ((-2)/6)/(1/(-18)). Let w = 32 - h. Is w a multiple of 13?
True
Let z be (4/8)/((-1)/(-6)). Suppose -4*y + f = 7, z*y + 3*f - 4 = 2. Is (y/2)/((-1)/4) a multiple of 2?
True
Let o = 443 + -307. Suppose 0*k = -4*k + o. Suppose 74 + k = 2*d. Is d a multiple of 18?
True
Suppose 7*u - 4*u + 105 = -5*w, -3*u - 108 = 4*w. Let d be -64*(1*-2 + 3). Let q = u - d. Does 15 divide q?
False
Suppose -g + 4 - 15 = 0. Let s(i) be the second derivative of i**5/20 + i**4 + i**3 - 9*i**2/2 - i. Is 23 a factor of s(g)?
True
Let c(g) = -g + 2. Let r = -1 + -4. Is c(r) a multiple of 2?
False
Suppose -7 - 5 = -3*w. Let k = 9 - w. Is k a multiple of 5?
True
Let n(r) = 4*r**2 - 4. Suppose 0 = 3*o + 6, u - 4*o = 6*u - 7. Is n(u) a multiple of 16?
True
Let x(a) be the second derivative of a**5/20 - 11*a**4/12 - 3*a**3/2 + a**2/2 - 2*a. Does 13 divide x(12)?
False
Let o = 33 - -25. Does 43 divide o?
False
Let b = 38 - 14. Is b a multiple of 7?
False
Suppose 0 = -3*u - 9, 2*v + u = 2*u + 11. Suppose v*y = 131 - 43. Suppose -2*d = -5*n - y, 4*d - 7*d = 5*n - 33. Is 11 a factor of d?
True
Let s(f) = 10 + 2*f - f - 2*f. Let g(u) = u - 1. Let j be g(8). Does 3 divide s(j)?
True
Is 77 - -2 - (-2)/(-8)*4 a multiple of 10?
False
Suppose 0*z - 15 = -3*z. Suppose -2*m - 4*d = -828, z*m = 5*d + 1079 + 976. Is 7 a factor of 4/10 + m/20?
True
Suppose k = 28 + 8. Suppose 4*g + 88 = 2*c, 0 = 4*g - 4*c + 117 - 21. Let r = g + k. Is r a multiple of 8?
True
Let d(v) = -v**3 + 6*v**2 + v + 15. Is d(6) a multiple of 14?
False
Let b = 886 + -556. Is 15 a factor of b?
True
Let u(b) be the second derivative of 5*b**4/12 + b**3/3 + b**2/2 + 2*b. Is u(-2) a multiple of 17?
True
Let g(i) = 3*i**3 - i**2 - 2*i - 1. Let l be g(-1). Let n = 30 + l. Does 27 divide n?
True
Suppose 2*q + 3 - 19 = 0. Suppose -5*c + q*b = 4*b - 107, 5*b = -5*c + 80. Let r = c + 12. Is r a multiple of 14?
False
Let h be (23 - -1) + (1 - 3). Suppose -5*r = -3*c + h, r = 2*c - r - 8. Let p = 10 + c. Is p a multiple of 9?
True
Let f = 10 + -4. Suppose 5*t = t + 16. Does 19 divide t/(-5)*(-285)/f?
True
Let a(b) be the first derivative of b**4/2 - b**3 + b**2 + 2. Let c be a(2). Suppose c*w - 105 = 3*w. Is w a multiple of 10?
False
Let h(f) be the first derivative of -17*f**2/2 + 12*f + 2. Let u(p) = 11*p - 8. Let o(b) = -5*h(b) - 8*u(b). Is o(-7) a multiple of 12?
False
Let v be (2 + -3)*-1 - -45. Suppose -v = -5*f - 5*o + 34, 2*o = f - 13. Does 9 divide f?
False
Let t(d) = -21*d + 4. Is 19 a factor of t(-4)?
False
Suppose 7*p = -27 + 146. Is p a multiple of 14?
False
Let x = 263 + -68. Suppose 0 = 5*z - 60 - x. Is z a multiple of 17?
True
Let w(i) = -7*i. Let o(x) = -x**2 - x + 4. Suppose -2*j + 0*j + 8 = 0, 14 = -2*m + 2*j. Let p be o(m). Is 14 a factor of w(p)?
True
Let i(f) = 9*f - 32. Does 10 divide i(11)?
False
Let b(r) be the second derivative of -r**3/2 + 9*r**2/2 + 4*r. Let f be b(8). Does 4 divide (3/((-9)/f))/1?
False
Suppose -273 = -3*g - 3*p, -g + 43 + 18 = -5*p. Does 11 divide g?
False
Let q = -2 + 4. Suppose 0 = q*l - 4 + 10. Is 4 - l*2/3 a multiple of 3?
True
Let n = 7 - 0. Suppose -n*t = -2*t - 10. Suppose t*p - 7*p = -115. Is 11 a factor of p?
False
Let v = 21 - 28. 