*k = -89, -79 = -2*z + k - 8. Does 19 divide z?
True
Let h(c) = -c**3 - 2*c**2 + 5*c + 3. Suppose -5*g + 14 = -1. Let p be 1/g - 13/3. Is 12 a factor of h(p)?
False
Suppose -5*t + 16 = -4. Let m(o) = o**2 - 3*o + 4. Let r be m(3). Suppose -4*f - f = -b - 146, r*b - 136 = -t*f. Is 12 a factor of f?
False
Suppose -3*t + i - 4 = 0, 0 = -5*i - 0 + 20. Suppose 4*f - 25 = 2*f + 3*n, t = -2*n + 2. Does 11 divide f?
False
Suppose b + 2*b - 5*g + 40 = 0, -3*b - 2*g - 26 = 0. Does 15 divide (-296)/b + 2/5?
True
Let h = 361 - 198. Is 7 a factor of h?
False
Let t = -6 - -8. Suppose b - 59 = o, -5*b - o + t*o + 279 = 0. Let q = -4 + b. Does 18 divide q?
False
Let n be (-4 - -2)*42/4. Let i be ((-7)/n)/((-2)/(-12)). Is 6 a factor of (-3 - -20) + 1 - i?
False
Is 27 a factor of 2*3*81/6?
True
Let q(d) = d**2 - 11*d + 5. Let h be q(10). Does 11 divide ((-18)/h)/((-1)/(-5))?
False
Suppose -t + 5*t - 2*q + 8 = 0, -4*t - 3*q + 12 = 0. Suppose t = -2*p + 6*p - 8. Suppose 66 = -p*r + 162. Is 24 a factor of r?
True
Let t(x) = -12*x - 1. Let r be (-7)/(-1) + 1 + -1. Suppose -4*h + r - 17 = -2*p, 5*p = -3*h + 12. Is t(h) a multiple of 6?
False
Let c = 290 - 120. Suppose 2*j = 7*j - c. Does 17 divide j?
True
Let i = 14 + -1. Let g be i + (-2)/(-1)*1. Suppose 6*j = j + g. Is j even?
False
Let j = -86 + 208. Let w = j - 30. Suppose -7*u = -3*u - w. Is u a multiple of 11?
False
Let z be (-2)/(-5) - (-221)/85. Suppose z*k - 82 = 32. Does 19 divide k?
True
Suppose x + 62 = 3*i - 0*i, -3*x = i - 4. Let l = i - -5. Does 12 divide l?
True
Suppose 6*h - 8 = 2*h - 4*u, u - 2 = -4*h. Suppose 5*l - l = h. Suppose 3*y - 3*x - 36 = l, -2*x - 40 = -4*y + y. Is y a multiple of 6?
False
Suppose 5*d - 2*d + 15 = n, -2*d = -10. Is n a multiple of 10?
True
Let h(k) be the first derivative of -5*k**2 + 7*k + 5. Is 16 a factor of h(-5)?
False
Let j(u) = -17*u - 3. Is j(-3) a multiple of 12?
True
Is 15 a factor of (6/4)/(18/1056*1)?
False
Suppose -3 = 5*h - 18. Suppose 5 = h*q - 4. Let r(i) = 6*i - 4. Is 7 a factor of r(q)?
True
Let z be 3 - ((-3)/(-1) - 70). Suppose -3*k + 4*a = -13, -a + 4*a = -5*k + z. Does 4 divide k?
False
Suppose 3*s = -a + 6*s + 152, -a - 2*s = -162. Is a a multiple of 17?
False
Let j(y) = -2*y - 6. Let g be j(-6). Let q be -5*1/5*g. Is ((-3)/q)/(2/20) a multiple of 5?
True
Let v = -11 + 9. Let d be (0 - (v - 52)) + -1. Suppose 2*f - d = -3*f - u, 0 = -f + 3*u + 17. Does 3 divide f?
False
Let u = -5 + 4. Does 15 divide u + 3/((-9)/(-51))?
False
Let k be (-135)/(-2) - 2/4. Let b(c) = -c**3 - 2*c**2 - 6*c + 4. Let d be b(-5). Let t = d - k. Is 14 a factor of t?
True
Suppose -5*c + 941 + 109 = 0. Is c a multiple of 12?
False
Is 2/(-3) + 212/12 a multiple of 17?
True
Let w = 0 + 1. Let c be 6*w/((-9)/(-12)). Suppose m = c + 6. Is 7 a factor of m?
True
Let j(x) = 2*x**2 - 5*x. Let g(c) = -c**3 - 3*c**2 - c - 1. Let h be g(-2). Does 11 divide j(h)?
True
Suppose 5*t - 21 = 2*t. Is t even?
False
Suppose -4 - 188 = -4*i. Is i a multiple of 16?
True
Let n be -7 - (-2 - (1 - 1)). Let l(o) = o**2 + 5*o - 5. Let f be l(n). Let c = f + 7. Is 2 a factor of c?
True
Suppose -4 - 6 = -2*m. Suppose 5*s - 66 = 2*x, -3*x - m*s = -4*x - 43. Let k = x + 33. Does 5 divide k?
True
Let l(b) = -65*b**3 - b**2 - b - 1. Is l(-1) a multiple of 13?
False
Let i = 1 - -8. Does 4 divide (-20)/(-6) - (-6)/i?
True
Let c(k) = 2*k + 1. Let g be c(7). Suppose 3*x + 10*l = 6*l + g, -3*l - 10 = -2*x. Suppose -215 = -0*i - x*i. Is i a multiple of 12?
False
Let t(c) = c. Let u be t(8). Suppose -3*w = -6*s + s + 176, u = -4*w. Is 14 a factor of 8/10*(s - -1)?
True
Let d(l) = l**2 - 28*l + 49. Is d(27) a multiple of 3?
False
Let r(g) be the third derivative of g**5/15 - g**4/24 - g**3/6 - 4*g**2. Let b be r(2). Suppose -5*c = 2*o - 36, b = 2*o + 3*c - 19. Is o a multiple of 6?
False
Suppose 18 + 20 = d. Is 38 a factor of d?
True
Let k be (0 - 12)/((-4)/50). Suppose -31 = 3*p - 2*m - k, -40 = -p + m. Is 13 a factor of p?
True
Suppose 2*q + 301 = 5*h, 4*q - 107 - 145 = -4*h. Is h a multiple of 32?
False
Let z(d) = -2*d**2 + 2*d - 1. Let h be z(-6). Let n = 141 + h. Is 14 a factor of n?
True
Let x = 21 - 11. Suppose x = m - 7. Does 6 divide m?
False
Suppose -r + 20 = 4*r. Suppose -2*t + r*t = b - 40, 4*b + t - 115 = 0. Is 18 a factor of b?
False
Suppose 0 = 3*t - 28 - 26. Is t a multiple of 10?
False
Let g(h) = 9*h**2 + 5*h - 4. Let z be g(-6). Suppose 3*t - p = 4*p + 289, 4*p = 3*t - z. Suppose 0*a = 2*d + 2*a - 68, 0 = -3*d - a + t. Is d a multiple of 16?
True
Suppose 4*s = z - 19, -4*z = s - 0*s - 161. Is z a multiple of 8?
False
Let u(o) = -o**2 - 5*o - 8. Let r be u(-6). Let v = r - -35. Is 8 a factor of v?
False
Let y(q) be the second derivative of q**3/6 - q**2 + 3*q. Let f be y(6). Is f/3*66/4 a multiple of 16?
False
Let f(a) = 6*a**2 + 3*a - 2. Let t be -1 + 1 - (-2 - -5). Is f(t) a multiple of 17?
False
Let j be (11 - 2)*2/(-2). Let w = 13 + j. Suppose 0*s - w*s + 12 = 0. Is s a multiple of 2?
False
Let g be 29/(-3*(-2)/6). Is g + 0 - (3 + -1) a multiple of 9?
True
Is 18 a factor of (-1 - 0)/((-7)/301)?
False
Suppose -5*m = b - 66, -246 = -5*b - m + 12. Does 10 divide b?
False
Suppose -2*w + 4 = -w. Is w a multiple of 4?
True
Let v(s) = -3*s. Let c be v(-1). Suppose -c*r + 5 - 2 = 5*b, -3*b - 9 = 0. Is r a multiple of 5?
False
Suppose -y = 4*y - 195. Is 6 a factor of y?
False
Suppose 9*h - 450 = 6*h. Is h a multiple of 15?
True
Let m = 1 - -4. Suppose 3*l - m*p = -26, 16 = -l - l + 3*p. Let r = 4 - l. Does 4 divide r?
False
Let o be (-2)/3 - 28/(-6). Suppose o*s - 31 = 29. Does 15 divide s?
True
Is 3 a factor of 20/((-8)/(-12)*3)?
False
Suppose -7*u = -2*u - 105. Suppose n = 6*n + 35. Let z = u + n. Is z a multiple of 7?
True
Let h = 14 + 6. Suppose -20 = -k - 3*k, 5*c - h = -k. Suppose i + 5*f - 39 = 0, c*i = 8*i + 3*f - 85. Is 6 a factor of i?
False
Let j be -3 - (-6)/(-4)*-2. Suppose 2*p + j*p = 88. Is 17 a factor of p?
False
Let z = 157 + -84. Let b = z - 30. Suppose -2*f - 2*f = 3*t - 56, -3*t - b = -5*f. Is f a multiple of 5?
False
Let k be (-168)/20 + (-6)/(-15). Let q = k + 30. Does 11 divide q?
True
Let z be (-76)/(-18) - 2/9. Suppose x - z*i = 23, 61 = 5*x - i - i. Is x a multiple of 10?
False
Let m(y) = 1 - 7 - y - 2 + 3. Let u be m(-7). Does 13 divide 25 - (0 + u + -3)?
True
Let r(z) = z - 5. Let t be r(8). Suppose -t*n + 66 = 24. Is n a multiple of 9?
False
Suppose -8*j + 60 = -3*j. Is 4 a factor of j?
True
Let w(z) = -z + 9. Let n be w(7). Suppose -x + 3*i = -32, 3*x = 7*x + n*i - 72. Does 11 divide x?
False
Let g = -11 + 13. Suppose -5*a + 9 = g*r, r - 4*a + 11 = 35. Is 12 a factor of r?
True
Let l be (-2)/(-4) - 25/(-10). Let k = -2 + l. Does 7 divide 12 + 0/(-3) - k?
False
Let p(n) = -n - 4. Does 4 divide p(-8)?
True
Let c(j) be the first derivative of -3*j**2/2 - 13*j + 7. Is c(-11) a multiple of 5?
True
Is (-7 + 3)/((-2)/3) a multiple of 6?
True
Suppose 50 = 2*g - 10. Is 10 a factor of g?
True
Suppose 5*p = 5*b - 1050, b + 0*b - 5*p = 230. Is 24 a factor of b?
False
Let v(y) = 56*y**2 + 9*y + 8. Is 50 a factor of v(-3)?
False
Suppose 6 - 14 = -2*v. Let f be v/6 - (-1070)/15. Let z = -46 + f. Does 13 divide z?
True
Suppose -11 = -5*i + 4. Let u(q) = -q - 1 + 5*q - i. Is 8 a factor of u(5)?
True
Let g = 6 - 10. Suppose 0*w + w - 1 = 0. Is 11 a factor of (-2)/w - (g - 31)?
True
Is 9/(-12)*(-320)/10 a multiple of 12?
True
Let x = 9 + 1. Does 10 divide x?
True
Let u = 7 - 7. Suppose -v + 3*s + 49 = u, -2*v + 34 = -v + 2*s. Does 20 divide v?
True
Suppose 2*h - 19 + 3 = 0. Let z = h + -4. Suppose z*w = -5*r + 33, 4*r = -2*w + 8*r + 10. Is w a multiple of 3?
False
Let b(u) = -u**3 + 10*u**2 + 4*u - 11. Is b(10) a multiple of 18?
False
Does 4 divide (-2 - 6)*(-3)/2?
True
Let b be 3/(-2)*(-4)/(-3). Is 13 a factor of 1*1/b*-106?
False
Suppose 4*z = 2*v + 2*z, -4*z + 16 = 0. Is 16 a factor of 6/v - 186/(-4)?
True
Suppose -4*j = -3*x - 200 + 75, -5*x - 160 = 3*j. Let a be x/(-2) + 2/4. Is 1 + 0 + (a - -1) a multiple of 12?
False
Suppose -4*w + 9*w + 2*f = 10, w = -4*f + 2. Let j(t) = -w*t + 0*t + 3 - t**2 + 4*t**2. Is 5 a factor of j(2)?
False
Let o = -8 + 12. Suppose 3*w + 434 - 49 = 2*u, o*w = 2*u - 388. Suppose 4*d + 8 = -2*j + 70, 5*j - d = u. Is 20 a factor of j?
False
Suppose 4*n = 5 + 7.