6, t*j - j + 68 = 3*z. Does 10 divide z?
True
Let t(p) be the first derivative of 17*p**2/2 + p - 1. Let n be t(1). Does 9 divide n - 0 - (-2 - -2)?
True
Suppose 5*a - 1180 = 4*u + 1375, -a = -3*u - 1930. Is 10/35 - u/21 a multiple of 24?
False
Let t = 19 + -12. Let f(u) = 7*u - 15. Is f(t) a multiple of 21?
False
Suppose 2*c + 5 = -k, -2*k - 5*c = -4*k + 35. Suppose 5*s + 20 = r - 26, 3*r - k*s = 118. Is r a multiple of 19?
False
Let d = 180 + -90. Let j = 132 - d. Does 23 divide j?
False
Let k = 65 - 35. Is k a multiple of 15?
True
Is 25/10*(-936)/(-20) a multiple of 39?
True
Let s(u) be the second derivative of 3*u**5/5 + 2*u. Suppose 0 - 1 = -h. Is 5 a factor of s(h)?
False
Let x be 282/6*(0 + 1). Suppose 129 + x = 4*f. Is f a multiple of 16?
False
Let a = -12 + 15. Is (5/a)/(9/324) a multiple of 30?
True
Suppose 8 = 2*k - 0. Is 10 a factor of k/8 - (-195)/6?
False
Suppose -16*q = -12*q - 624. Does 13 divide q?
True
Let b = 7 - 3. Suppose 0 = b*u + 9 + 7. Is 7 a factor of 1 + -1 - (u + -3)?
True
Let p(s) be the second derivative of s**6/240 - s**4/6 + s. Let m(h) be the third derivative of p(h). Does 6 divide m(4)?
True
Let j(q) = 9*q + 3. Let l be j(-7). Is 8 a factor of l/(-25)*20/3?
True
Let j = 6 + 17. Does 5 divide j?
False
Let z(n) = n**3 + 5*n**2 + 2*n - 5. Let y = -4 - 0. Let a be z(y). Suppose -d = 2*x - 4*x - 10, -a*d + 5*x = -31. Is 5 a factor of d?
False
Suppose q + 360 = 6*q. Is 18 a factor of q?
True
Suppose -4*p + k = 399 + 122, -2*k = -2. Let o = -88 - p. Is o a multiple of 21?
True
Let a = 137 + -62. Is 15 a factor of a?
True
Let i(l) = l**2 + 3*l - 6. Let d be i(-5). Let b be d/12 - (-2)/(-6). Suppose -4*r + 49 + 11 = 4*t, 5*r - 5 = b. Is t a multiple of 7?
True
Suppose 0 = -r + 1, -2*o - 4*r - 56 = -0*o. Does 22 divide (o/18)/(1/(-18))?
False
Suppose -13*w + 156 = -858. Is 6 a factor of w?
True
Let r be (-41 + 3)/(-2) - 2. Let o be (-1)/(-1*(-2)/2). Let b = r - o. Does 9 divide b?
True
Let u be (-1)/(-3) + (-152)/(-3). Let l = -6 + u. Let f = -28 + l. Is 15 a factor of f?
False
Let f = 146 - -175. Is f a multiple of 17?
False
Suppose 3*z = -5*l + 5*z - 9, 2*z - 8 = 4*l. Let o be (36/(-15))/(l/(-40)). Let a = o + 155. Does 15 divide a?
False
Let v(h) = h**2 + 5*h - 3. Let n be v(-6). Is 14 a factor of 53 + 0 + n + 0?
True
Let j = 31 + -49. Does 21 divide 2*(-28)/16*j?
True
Suppose -2*q = 2*c - 114, 136 = 3*c - 0*c - 4*q. Suppose -5*g = -5*n + 40, -4*n - g + c = 5. Does 4 divide n?
False
Let m = -19 + 214. Is m a multiple of 39?
True
Suppose -2*p - z + 191 = 6, 4*p = -3*z + 367. Is 15 a factor of p?
False
Let a(p) = 2*p**2 - 4*p + 6. Let q be (-93)/(-15) - (-2)/(-10). Is 11 a factor of a(q)?
False
Suppose 74 = 2*d - 62. Does 17 divide d?
True
Let t(z) = -2*z**2 - 11*z + 3. Let q be t(-6). Does 3 divide -2 + (-4 - 51/q)?
False
Let l(q) = -q**3 - 9*q**2 - 9*q - 7. Let x be l(-8). Does 24 divide 2/(-3*x/(-42))?
False
Let m(t) = -t**2 + 16*t + 21. Does 14 divide m(7)?
True
Suppose 0 = 2*c - 4*c - 48. Is 0 - c*(-3 + 4) a multiple of 8?
True
Suppose 3*z - 86 = -4*d - 0*z, 2*z = -4. Suppose 8 + 14 = 2*q + n, -3*q + n + d = 0. Is q even?
False
Suppose 3*u + 64 = -y + 19, 0 = -5*y + 15. Let l = -6 - u. Does 7 divide l?
False
Let v(z) be the second derivative of z**5/20 + z**4/4 - z**2/2 + z. Let t be v(2). Suppose 2*o - t = -5. Is 3 a factor of o?
False
Let c(b) = 2*b**2 - 8*b - 21. Is 3 a factor of c(-3)?
True
Suppose 3*w + 1 = w - s, -3*s = -2*w + 3. Suppose w = -i + 3 + 3. Is 6 a factor of i?
True
Suppose -j - 5*r = 3*j + 4, -r - 8 = -j. Suppose 50 = j*l + 2. Let c = l - -6. Does 12 divide c?
False
Is 9 a factor of 0 + 31 - 3 - -1?
False
Suppose 3*q + 2*q = 10. Suppose 8 = q*t - 4. Is 3 a factor of (-8)/t*(-6)/2?
False
Let g(p) be the second derivative of 1/6*p**4 + 1/3*p**3 + 0 - 2*p - p**2. Is 9 a factor of g(3)?
False
Suppose l + 165 = 2*k, 0*k + 3*k - 235 = 4*l. Is k a multiple of 17?
True
Let b(u) = -u**3 - 11*u**2 - 11*u - 13. Let z be b(-10). Let h(v) = -5*v - 2. Let m be h(-2). Let n = m + z. Is n a multiple of 5?
True
Suppose -103 = -3*g - 4*i + 56, 3*g - 135 = 4*i. Does 29 divide g?
False
Suppose 6*w = -4*w + 520. Is w a multiple of 26?
True
Let y = 5 + -9. Let x = y + 46. Is 14 a factor of x?
True
Does 5 divide 5/(-3)*(-117)/3?
True
Let s(w) = -w - 2. Let c be s(-5). Let x be (-148)/(-1*3/3). Suppose 5*v = 4*j + x, v + c*v - 2*j = 116. Is v a multiple of 14?
True
Suppose -422 = -5*k + 4*o, -7*k + 3*k + 4*o = -340. Is 12 a factor of k?
False
Let f = -151 - -298. Is f a multiple of 17?
False
Let n(f) = f**3 + 92. Is n(0) a multiple of 9?
False
Suppose 0 = 5*h - 12 + 2. Suppose 0 = -2*t + 6*p - p + 24, -h*p = 5*t - 2. Suppose 5*d = -t*u + 20, 3*u + 5*d = 7*u - 40. Does 8 divide u?
False
Suppose -22*h = -19*h + b - 328, -3*b = -5*h + 528. Does 18 divide h?
True
Suppose -s + 4 + 2 = h, 0 = -3*s + 3*h - 6. Suppose 0*q - s*q + 160 = 0. Suppose -4*c + 32 = 4*i, c = -5*i + 4*c + q. Is 7 a factor of i?
False
Let n = -129 - -224. Is n a multiple of 19?
True
Suppose c - a = 5*c + 23, -5*c - 28 = 2*a. Let y(q) = q**3 + 7*q**2 - 2*q - 2. Does 20 divide y(c)?
False
Suppose q = -4*z + 5 + 7, -z - 6 = -2*q. Suppose 3*g - 19 = -q*j, 2*g - 1 - 1 = 0. Suppose 2*p = 4*h - 2, p = -j*p + 2*h + 27. Does 7 divide p?
True
Let m(q) be the first derivative of -q**4/4 - 8*q**3/3 + 5*q**2/2 + 1. Suppose -h - 7 = 2. Is m(h) a multiple of 12?
True
Let p(k) = -2*k. Let z be p(-1). Let r(o) = -o**2 - 9*o. Let j be r(-9). Suppose j = g - v - 10, g - 4*v - 3 = -z. Is 13 a factor of g?
True
Let n(i) = -10*i - 3. Suppose -2*l + 12 = -6*l. Is n(l) a multiple of 11?
False
Let q(d) = 40*d**2. Let o be q(-1). Suppose 148 = 4*k + o. Suppose 5*i = -5*s + 65, -5*i + 10 = -2*s - k. Is i a multiple of 9?
True
Let b = -23 - -12. Let h be 6/7*(-4 - b). Does 16 divide 72/(-15)*(-20)/h?
True
Let p = 39 + -62. Let u = 36 + p. Is u a multiple of 13?
True
Let b(l) = -2*l + 5. Let w be b(-4). Let c = w + -3. Does 4 divide (-37)/(-5) - 4/c?
False
Let t = -20 - -14. Let n = 6 - t. Let y = n + 9. Is y a multiple of 10?
False
Let x be -6*(-9)/6 + -3. Suppose 0 = -0*c + 3*c + x. Does 9 divide (-3 + (c - -2))*-3?
True
Let j = 76 - 19. Is 19 a factor of j?
True
Let l(i) be the second derivative of -i**8/6720 - i**7/420 - i**6/720 + i**5/15 + i**4/12 - 3*i. Let a(h) be the third derivative of l(h). Does 7 divide a(-6)?
True
Let z(i) = 7*i**2 + 4*i + 12. Does 20 divide z(-5)?
False
Let o(i) = 6*i**3 - 2*i**2 + 2*i - 2. Let x(y) = y**3 + y**2 + 1. Let q(f) = o(f) + x(f). Is q(2) a multiple of 16?
False
Let k = 61 - 25. Let r = k + -22. Does 5 divide r?
False
Let x(p) = -p**2 + 2*p + 5. Let j be x(0). Suppose 0 = -y + 5*d + 5, y + j*d - 19 - 6 = 0. Is y a multiple of 12?
False
Suppose -5*m = -2*z + 48, -2*z = 4*m - 0*m - 84. Does 29 divide z?
False
Suppose -3*k = -4 + 217. Let o = k - -101. Is 6 a factor of ((-4)/(-3))/(4/o)?
False
Let l = 2 - -1. Suppose 5*c - 5*z - 8 - 37 = 0, -5*c - l*z + 61 = 0. Is c a multiple of 11?
True
Suppose 8*v = 3*v + 10. Suppose u = -s + 13, v*s + 37 = 3*u + 2*u. Does 4 divide u?
False
Let v = 20 + -7. Suppose 3*q - 41 = v. Does 9 divide q?
True
Let p(n) = n + 8. Let q be p(-8). Suppose q = -3*g + g. Suppose -4*x = -g*x - 96. Is 11 a factor of x?
False
Suppose -4*r - 5*j - 5 = 7, 5*r + 60 = 5*j. Let v(l) = -l**3 - 8*l**2 - 3*l - 8. Is v(r) a multiple of 14?
False
Let h(s) = -s**2 + 0*s**2 + 0 - 1 + 2*s + 11*s**3. Suppose 0 = u - 5 + 4. Is 11 a factor of h(u)?
True
Let t(s) be the second derivative of -s**4/12 + 3*s**3/2 + s**2/2 - 3*s. Does 12 divide t(4)?
False
Let v = 37 + -32. Is v a multiple of 3?
False
Let w be (-6 + 2)/(-2 + 1). Let i(t) = -2 + t + 2*t - w. Is 13 a factor of i(7)?
False
Let v = 20 - 20. Suppose 3*i + 3*x - 102 = v, 0*x = -i + 3*x + 18. Does 15 divide i?
True
Suppose 18 = 4*a + 14. Does 18 divide (0 - a - -22) + -2?
False
Let s be ((-3)/5)/(2/(-10)). Suppose j - 1 = s*d + 3*j, 5*j = d - 28. Is d even?
False
Let c be (3 - 0) + -1 + 12. Is c - (-2 + (4 - -1)) a multiple of 11?
True
Let o(w) = 11*w + 7. Let x be o(5). Is 11 a factor of (-1)/(1/x*-2)?
False
Let a = -9 - -16. Suppose -2*z + 45 = -a*z. Let b = z + 21. Does 12 divide b?
True
Is 8 a factor of 55/2 - (27/(-6))/9?
False
Let u(z) = -z - z + z**2 - 4 - z. Let l be u(6). S