 186 + -310. Let a = 204 + v. Is 16 a factor of a?
True
Let x = 221 - 53. Suppose 0 = 3*o + 42 - x. Suppose 4*t - 84 = -4*f, 5*t - 23 = 3*f + o. Is 11 a factor of t?
False
Let q = -61 - -136. Does 25 divide q?
True
Suppose 0*f - 24 = -2*f + 2*p, -3*f - 2*p = -26. Suppose d = -d + f. Is ((-18)/(-5))/(2/d) a multiple of 9?
True
Let m be 0 + 0/1 + 1. Let k be (m/(-2))/((-3)/(-12)). Is 6 - (6/k)/3 a multiple of 5?
False
Suppose z = 3*r - 50, 15 = -3*r + 6*r. Let w = z + 61. Is w a multiple of 11?
False
Is 46/4 + 4/8 a multiple of 6?
True
Let u = 5 - 6. Let h = 4 - u. Suppose -30 - 160 = -h*p. Is p a multiple of 19?
True
Suppose -5*w + 20 = 5*o, 4*o - 19 = -7*w + 2*w. Suppose 0 = -2*s + d - 3, -2*s = -5*s + w*d - 6. Is 12 a factor of (-196)/(-8) - s/(-2)?
True
Let y = 43 - 42. Suppose -2*g - 156 = -g. Is (g/(-30))/(y/5) a multiple of 13?
True
Let x(a) = -a**3 + 6*a**2 + 2*a. Is x(6) a multiple of 5?
False
Let v(z) be the second derivative of 11*z**4/12 - z**3/3 + z**2 + 3*z. Let s be v(2). Suppose 0 = -r - r + s. Does 12 divide r?
False
Suppose -5*d - 15 = 0, -3*d + 111 = 4*z - 8*d. Suppose 0*y = -y + z. Does 12 divide y?
True
Let c = 18 - 16. Suppose 112 = 4*w - c*t, -w + 4*t + 16 = 2. Is 10 a factor of w?
True
Suppose -j = -38 + 8. Is 6 a factor of j?
True
Let t = 37 - -89. Is 21 a factor of t?
True
Let k(x) = 2*x**2 - 7*x + 7. Is k(5) a multiple of 11?
True
Let r = -4 - -6. Suppose -19 = -r*h - 3*h - j, -4*h = -j - 17. Is 2 a factor of h?
True
Let s = 22 - 12. Does 5 divide s?
True
Suppose -3*a = -3*x - 14 - 40, 2*x - 6 = 0. Is 3 a factor of a?
True
Suppose -6*g + 9*g = 144. Is 16 a factor of g?
True
Let k be (1 - (-9)/(-15))*5. Suppose 0 = -k*w + 5*w + 2*n - 24, -2*n + 40 = 5*w. Suppose -c = c - w. Is c a multiple of 4?
True
Let x(f) = f**3 + f**2 + 3*f + 77. Does 10 divide x(0)?
False
Let s = 27 - 24. Suppose -s*y = -130 - 56. Does 13 divide y?
False
Suppose 0 = 2*t - 6, -r + 246 = 2*r + 4*t. Is 13 a factor of r?
True
Suppose -j - 24 = j. Does 28 divide 112/(j/3)*-1?
True
Let t(a) = 7*a - 3. Let h be t(9). Suppose -q + 11 + 1 = -5*y, 4*y + h = 5*q. Is 8 a factor of q?
False
Let a(f) = f + 1. Let r be a(3). Suppose -23 = r*n - 91. Is n a multiple of 3?
False
Suppose 2 = 2*g - 0, -2*g + 50 = -4*v. Is 3 a factor of 2/v + (-172)/(-24)?
False
Let a(l) = -l**3 + 8*l**2 - 10*l + 1. Let j be a(7). Let w = j + 32. Is w a multiple of 11?
False
Let a(b) = -b**3 + 6*b**2 + 11*b - 4. Does 7 divide a(7)?
False
Suppose 2*k = 3 + 3. Suppose k*c = 9, -2*w - 4*c + 155 - 29 = 0. Does 19 divide w?
True
Let g(h) = h**2 + h - 1. Let k be g(-3). Suppose -k*f - 5*j = -55, -4*f - f = -3*j - 79. Does 14 divide f?
True
Does 6 divide (-2 - -22)*(-3)/(-2)?
True
Let c = -16 - -13. Let t = 26 - c. Is t a multiple of 7?
False
Suppose -3*u = 2*x - 554, 1385 = -7*x + 12*x - 5*u. Does 66 divide x?
False
Suppose -a = -1 - 2. Is 3 a factor of 1 + (a + 5 - -1)?
False
Does 5 divide 3 - -3*((-24)/(-9))/4?
True
Let t be ((-78)/9)/(3/(-45)). Let n = -87 + t. Does 20 divide n?
False
Let m(a) be the second derivative of a**4/4 - a**3/6 - a**2 + 3*a. Is 10 a factor of m(-2)?
False
Let s(o) = 3*o**2 - 7*o - 4. Let z(w) = 3*w**2 - 6*w - 4. Let h(k) = -5*s(k) + 6*z(k). Does 12 divide h(-3)?
False
Let a = -34 - -10. Suppose 4*p = -3*q + 154, q + 3*p = -0*p + 53. Let t = q + a. Does 13 divide t?
True
Let p(r) be the first derivative of 1/3*r**3 + 2 + 0*r**2 + 11*r. Is p(0) a multiple of 6?
False
Let m = -12 + 17. Let k = -1 + 4. Suppose q + 11 = v + k*v, -q = -m. Does 3 divide v?
False
Suppose 2*g = 92 + 28. Suppose d - g = -4*d. Suppose -8 = -5*s + d. Does 4 divide s?
True
Is (-2 + 5 - -6)*9 a multiple of 27?
True
Suppose 0 = 5*w - 560 - 205. Does 17 divide w?
True
Let k be (-1 - 0)*(1 + -8). Suppose -3*p = k - 1. Is (p/6)/(1/(-111)) a multiple of 13?
False
Suppose -18*f - 124 = -19*f. Is 31 a factor of f?
True
Let i(m) = 5*m**2 - 2*m. Let d be i(-2). Let k = -14 + d. Does 8 divide k?
False
Let s be 885/(-27) + 4/(-18). Let z be 22/(-3) + 22/s. Let x = 4 - z. Does 5 divide x?
False
Let r(k) = k + 16. Suppose -5*y = b + 27, 2*y = -5 - 3. Does 9 divide r(b)?
True
Suppose 0*v = 5*v - 25. Is 5 a factor of v?
True
Suppose 47 = 3*b - 1. Is 4 a factor of b?
True
Let o(i) = i**3 - i - 2. Let h be o(2). Suppose -h*j + r + 172 = 0, -2*j + 2*r + 3*r + 104 = 0. Is j a multiple of 30?
False
Let o = 4 + -14. Let t = o - -14. Suppose -t*i - z = -11, -4 + 5 = -z. Does 3 divide i?
True
Let u(i) = 31*i + 1. Let f be u(1). Let g = f - -8. Suppose g = 3*b - 62. Does 12 divide b?
False
Suppose r + 4*r + 10 = x, 2 = -2*x - r. Suppose -13 = -4*t + 3*f - 2*f, x = 3*t - f - 9. Suppose -6 = -t*q + 30. Does 7 divide q?
False
Suppose -x - 5*g + 4*g = 0, -4*x + 6 = g. Suppose -3*w + 3*k = -27, k - 2 = -3*w - k. Suppose -w*m = 3*z - 49, -5*m + 3 + x = 0. Is z a multiple of 15?
True
Does 14 divide (-184)/(-6)*15/10?
False
Suppose -f + 3 - 4 = 0. Let d = -5 - f. Let q(n) = -n + 5. Is q(d) a multiple of 9?
True
Suppose 5*j - 4*l = 4 - 1, -j - l + 6 = 0. Let b be -2*-2*(-15)/j. Is 4 a factor of b*(-2 + (-16)/(-10))?
True
Let p(z) = z - 5. Let f be p(8). Suppose -4*q + 0*l - 745 = 3*l, 0 = q + f*l + 175. Does 16 divide 2/6 + q/(-6)?
True
Does 8 divide 1 + (1 + 28 - -2)?
True
Let j be 5/20 + (-35)/(-4). Suppose 2*a + 21 = 4*a + 3*v, -3*v = a - 18. Is j + (-2 - -1) + a a multiple of 7?
False
Does 14 divide 107/2 - 15/(-10)?
False
Suppose 3*b - 15 = 0, 4*p = 6*p + 2*b - 24. Suppose -2*g = -p*g - 20. Let j = 8 + g. Does 4 divide j?
True
Let u = 99 - 6. Suppose -12 = 7*t - 8*t. Suppose 3*r + 40 = 4*i - u, 5*r + t = i. Is 16 a factor of i?
False
Suppose -4*b + 5*b - 48 = 0. Is b a multiple of 24?
True
Suppose 0 = 5*u - 131 - 129. Is u a multiple of 11?
False
Let v(j) = 7*j + 5. Does 17 divide v(13)?
False
Let w = -6 - -10. Let a be (-6)/(-9) + (-4)/(-3). Suppose -a*y + w*y - 12 = 2*q, -q = y. Does 3 divide y?
True
Suppose -3*h + 4*c = 20, -7 = -4*c + 13. Suppose -2*v + h*j = 5*j - 57, j = 4*v - 81. Is 8 a factor of v?
False
Suppose -3*m - 282 = -2*q, -3*m + 294 = 2*q - 0*q. Does 48 divide q?
True
Suppose 3*z + 2 = 4*z. Suppose -3*f = 3*j - z*f, 3*j = 3*f. Suppose 0 = -3*k - 2*h + 5 + 19, j = 3*k + 4*h - 30. Is k a multiple of 6?
True
Suppose 0 = -5*t + 2*t + 6. Is 2 a factor of 5*((-6)/(-5))/t?
False
Let j = -9 + 12. Suppose -4*v + v + 27 = j*o, -2*v = 3*o - 23. Does 3 divide 1 + (-2 - -2) + v?
False
Let q = -79 + 128. Does 7 divide q?
True
Let c = 7 + 121. Is (27/4)/(24/c) a multiple of 12?
True
Let q(s) = s**3 - s**2 + s - 1. Let j be q(1). Let k(p) = -p**2 + p + 34. Does 17 divide k(j)?
True
Is 27/162 - (-1222)/12 a multiple of 51?
True
Let u = -62 - -148. Is 16 a factor of u?
False
Suppose -l + 2 = -19. Is l a multiple of 4?
False
Let b be (-11)/3*(-12)/2. Suppose -4*t = -3*t - b. Is t a multiple of 9?
False
Suppose 5*f + 2*u = -6, 3 + 3 = 3*u. Is (-2)/4*f*10 a multiple of 6?
False
Let c(t) = 36*t - 2. Let n(u) = -18*u + 1. Let m(v) = -2*c(v) - 5*n(v). Is m(1) a multiple of 4?
False
Suppose 2*x + 2*x = 320. Suppose -k - 4*k - x = 0. Is 6 a factor of (-2)/(-3) - k/3?
True
Let q(g) = -g**3 - 2*g**2 + 2*g + 3. Let o be q(-2). Is 11 a factor of (o - 3)/((-8)/44)?
True
Let b(n) = -13*n - 1. Let f be b(-3). Suppose -3*a = -a - f. Does 7 divide a?
False
Let w = 12 + -10. Suppose -w*m - m = 2*k - 108, k = m - 31. Is 17 a factor of m?
True
Let n = 6 + -8. Is 6/(-1 + n)*-4 a multiple of 7?
False
Let v be ((-24)/(-10))/((-2)/(-95)). Suppose -v = -d - d. Let b = d - 37. Does 10 divide b?
True
Let l = 139 + -96. Suppose 2*o - l = 7. Is o a multiple of 12?
False
Let s(q) = 6*q - 12. Is s(8) a multiple of 11?
False
Suppose -4*g = 4*z - 9 - 3, 0 = 2*g + 3*z - 11. Let s be -2 + (g - -6)/2. Suppose -3*d + s*d = -96. Does 12 divide d?
False
Let f = -15 + 43. Is f a multiple of 7?
True
Suppose 8 = -4*j - 8. Let f be j - -5 - (1 - 2). Suppose -6*a + 48 = -f*a. Does 5 divide a?
False
Let b(r) = 3*r + 5. Let d be b(-7). Let o = 5 - d. Does 15 divide o?
False
Let s(v) = -9*v - 1. Let y be s(-5). Let o be 6/(2/y*4). Suppose -4*b + o = 1. Is b a multiple of 3?
False
Let i(t) = t - 8. Let k be i(9). Suppose -65 - k = -q. Does 33 divide q?
True
Suppose -11 = -2*r - 5*v + 2, 3*v = 9. Let t be (-4)/4 - 6*r. Suppose 70 = 2*y + 3*y + 2*i, 0 = -3*y + t*i 