-8). Suppose x = 5*q + 2*p, 2*q = -5*p + 1 - 4. Does 3 divide q?
True
Suppose -16 = -5*x + 24. Let p(i) = i**2 - i - 2. Let g be p(x). Suppose 0*q = 3*l + q - 107, 4*q = -l + g. Is 17 a factor of l?
True
Suppose 0 = u - 5*u - 12. Let g be -1 + u/(3/(-2)). Is g/(0 + (-3)/(-30)) a multiple of 4?
False
Suppose -20 + 8 = g - 3*c, g = -5*c + 20. Let d = -1 - -11. Suppose g*q = q - d. Is q a multiple of 10?
True
Let s = 6 + -3. Suppose -s*k + 7*k - 56 = 0. Let y = -1 + k. Does 13 divide y?
True
Is 1404/10 + (42/(-30) - -1) a multiple of 14?
True
Let h be 4/(-6) - 20/(-12). Suppose 3*f - 5 = h. Suppose 57 = 3*c - f*a - 22, 5*c + 2*a = 121. Does 15 divide c?
False
Let d(y) = y**3 - 3*y**2 + 4*y - 6. Suppose 20 = 10*p - 5*p. Is 16 a factor of d(p)?
False
Suppose 148 = 2*k + k - 2*x, k - 56 = 4*x. Let b = -22 + k. Let z = b + -12. Is 7 a factor of z?
True
Suppose 0 = 2*m + 2 - 70. Is m a multiple of 5?
False
Suppose 3*g - 5*j = 4*g - 33, g + j = 33. Does 18 divide g?
False
Let i = 30 - 20. Is i a multiple of 9?
False
Suppose 4*m - 10 - 114 = -2*g, -5*m + g = -155. Suppose q + 25 = v + 6*q, -v + m = 3*q. Suppose 4*n = -4*l + v, -l + 4*n - 31 = -4*l. Is 7 a factor of l?
False
Suppose -40 = -2*j + j. Suppose -2*y = -4*c - j, -2*c = -5*y - 5*c + 48. Is 4 a factor of y?
True
Suppose 2*c - 2*h = 546 - 12, 5*c + 3*h = 1303. Does 20 divide c?
False
Let s = 8 + -2. Let t(m) be the third derivative of m**4/12 + m**3/2 + 3*m**2. Is t(s) a multiple of 15?
True
Let v(r) = r**3 - 3*r. Let n be v(3). Let f be 123*3/(n/10). Suppose 5*x - f = 4*t, -4*x + 2*t = 7*t - 164. Is 14 a factor of x?
False
Let f(b) = -b**3 - 5*b**2 + 5*b - 7. Let m be f(-6). Let r = m - -6. Is r even?
False
Suppose 2*r = -4*i + 30, -i - 21 = -5*i - 5*r. Let b(x) = -17*x + 20 + 16*x - i. Is 4 a factor of b(5)?
False
Let q(t) = -t + 33. Suppose 2*g = 4*g. Is 11 a factor of q(g)?
True
Let w(s) = 35 - s - s**2 - 9 + 28. Let l be w(0). Suppose -18 = 3*u + 4*f - l, -5*u + 60 = -2*f. Does 12 divide u?
True
Let c be 2/(-13) + (-561)/(-13). Let b = 41 - -52. Let y = b - c. Is 20 a factor of y?
False
Suppose 0 = -3*g + g. Suppose g = -4*v - v + 220. Is v a multiple of 22?
True
Suppose -u + 5*h = 2*u - 957, u = 2*h + 320. Is 23 a factor of u?
False
Suppose i = -4 + 1. Let p be ((-2)/(-4))/(4/(-8)). Is 9 a factor of (i*3)/(p - 0)?
True
Suppose 35 = m + 10. Is 14 a factor of m?
False
Let d be 1/(2/4) - 2. Let j(p) = -p - p + p + d. Is 6 a factor of j(-6)?
True
Suppose -3*t - t = -148. Is t a multiple of 9?
False
Suppose 0 = -3*g + 8 + 7. Suppose -40 = g*y - 105. Does 13 divide y?
True
Let h = 48 - 30. Does 18 divide h?
True
Let i(u) = -4*u + 3. Let v be i(-9). Suppose -v = -c + 18. Suppose -4*n - b = -59, -4*b = 4*n - b - c. Is n a multiple of 10?
False
Suppose 64 = -0*c + 2*c. Is 8 a factor of c?
True
Let q(p) = -1. Let i(v) = -v - 3. Let g(b) = -2*i(b) - 2*q(b). Let u(h) = 2*h**2 - 2*h - 2. Let z be u(-2). Does 14 divide g(z)?
True
Suppose -3*u - 24 = -4*f, 3*f - u = -0*u + 13. Suppose f*w + 10 = 5*z, 5*w - 5 = 4*w. Suppose z*a - 26 = 4. Does 5 divide a?
False
Suppose -4*h - 12 = 0, -2*a + 3*a + 10 = -4*h. Suppose a = -y - y. Does 6 divide 8 + (y - -3) - -2?
True
Suppose 6*p - p + 526 = -2*o, 2 = o. Let v = -39 - p. Does 16 divide v?
False
Let w(k) = -8*k + 4. Let d = 10 + -17. Let g be w(d). Suppose 0*h = 3*h - g. Is 8 a factor of h?
False
Let j(a) be the third derivative of 0 + a**2 + 0*a + 1/2*a**3 + 1/120*a**6 - 1/12*a**5 - 1/6*a**4. Is 10 a factor of j(6)?
False
Let r(f) = -19*f. Suppose -2 = -s + 8. Let n be (-48)/30 + (-4)/s. Is r(n) a multiple of 19?
True
Suppose 3*a + 3*w - 340 = 71, 563 = 4*a - w. Is 9 a factor of a/(-7)*3/(-4)?
False
Let x = 6 + -1. Suppose 0 = 2*y + 4*a, x*a + 0 = y - 21. Suppose 0 = y*m - 4*m - 38. Is 7 a factor of m?
False
Suppose n + 513 = 5*b, 8*n + 117 = b + 3*n. Is 20 a factor of b?
False
Let b = 8 - 5. Let a(l) = -2*l + 0 - 6*l**2 + b - l**3 - l. Is a(-6) a multiple of 13?
False
Let k be 4 - 3 - -1*1. Suppose -g = -4*y - k*g + 13, 5*y + 5*g - 35 = 0. Suppose -o = o - y*r - 32, -4*o - 3*r = -50. Is o a multiple of 7?
True
Let y = -122 + 173. Does 33 divide y?
False
Suppose 5*k - 382 = -17. Suppose -7 = -o + k. Is o a multiple of 20?
True
Let m = 10 - 16. Let a = m - -20. Suppose 22 + a = 4*r. Does 9 divide r?
True
Let y = 397 - 205. Is y a multiple of 24?
True
Suppose 38 = -5*d + 168. Suppose 5*q + d + 44 = 0. Let o = q - -42. Is o a multiple of 10?
False
Is (-2)/(-11) - (-1908)/33 a multiple of 7?
False
Let m(r) = -r - 1. Let z be m(-3). Suppose 1 = y + 5*v - z, 21 = y - 4*v. Is y a multiple of 13?
True
Suppose 0 = 2*k - 5*b - 64, 0 = 5*k + 4*b - 0*b - 226. Is 3 a factor of k?
True
Is 21 a factor of (-394)/(-12) - (-14)/84?
False
Let d(h) = h**3 - 5*h**2 - 5*h - 3. Let y be d(6). Suppose -35 = -4*g + z, -4*g + 9 = y*z - 14. Does 6 divide g?
False
Is 26 a factor of (108/30)/((-6)/(-260))?
True
Suppose 30 = 2*o + 3*o. Does 4 divide (-3)/(o*(-2)/16)?
True
Suppose 5*b - 9 = 46. Let g = b + -9. Suppose 0 = g*c - 2*d - 76, 0*d + 3*d = 15. Is 17 a factor of c?
False
Suppose 4*w - 1204 = -3*w. Does 39 divide w?
False
Let f = -20 - -56. Is 12 a factor of f?
True
Suppose 3*n + 2*y - 80 = -2*n, 4*y - 16 = -2*n. Is n a multiple of 15?
False
Suppose 4*z = 2*d - 80, -5*d - 3*z + 200 = z. Does 20 divide d?
True
Let x be (1 - (-1 + -2))*1. Suppose 4*b - 3*h + 1 = 0, x*b - 5*h + 3 = 12. Let y = b - -6. Does 2 divide y?
True
Suppose n - 4 = -1. Let p be 20/n - (-2)/6. Suppose -p*c + 88 = -3*c. Does 15 divide c?
False
Suppose 0 = -4*m + 266 + 6. Does 8 divide m?
False
Let v = 12 + -21. Let z(f) = -2*f - 13. Does 4 divide z(v)?
False
Suppose -12 - 3 = -5*k. Suppose h = k*b - b - 2, 14 = -h - 4*b. Is h/21 - (-128)/7 a multiple of 18?
True
Let x be (6 + 5)/(2/4). Let a = 32 - x. Does 4 divide a?
False
Let h = 220 + -325. Let z = -62 - h. Is 13 a factor of z?
False
Let k(s) = -4*s**2 + 6*s**2 - 3 + 0*s**2 + 4 + 2*s. Let r be k(-2). Suppose 11 = 3*d - 6*w + 2*w, d = -r*w + 10. Is d a multiple of 2?
False
Let n be 4 - 0 - (-8 + 3 - -5). Let f(x) = -x**2 - 3*x + 4. Let y be f(-4). Suppose c - 3*i + 10 = 0, 5*c + n*i - 22 - 4 = y. Is c a multiple of 2?
True
Let w(a) = -3*a**3 - 5*a**2 - 2*a. Let c be w(-3). Suppose 0*f - 5*f = -3*v + 69, 0 = -3*v - 4*f + c. Does 9 divide v?
True
Is 1/(-5)*(-3 + -692) a multiple of 12?
False
Suppose 7*o - 2*o - 70 = 0. Let g = o - 8. Does 3 divide g?
True
Suppose -2*p - 79 = -y, 3*p + 149 = 2*y + 28. Let o = p + 61. Is 7 a factor of o?
False
Let t(n) be the second derivative of -n**5/20 - 7*n**4/12 + n**3 - 5*n**2/2 - 2*n. Does 11 divide t(-8)?
True
Let f = 0 + 0. Suppose 7*n = 3*n + 100. Suppose q - n + 0 = f. Is 10 a factor of q?
False
Suppose -6*w + 3*w = -33. Does 11 divide w?
True
Let h = 692 - 476. Suppose 3*t = -0*t + h. Does 24 divide t?
True
Let o = -29 + 42. Is 4 a factor of o?
False
Suppose 2*p = 5*p. Suppose -2*x - 75 = -d - 5, -d - 5*x + 35 = p. Is 12 a factor of d?
True
Let q = -241 + 411. Does 10 divide q?
True
Let u = 34 - 18. Is 4 a factor of u?
True
Suppose -2*a = -10 - 0. Suppose 2*c + 5*z - 105 = 0, -4*z - 117 = -2*c - a*z. Is c a multiple of 15?
True
Let r be (-4)/(-3) + 4/6. Suppose r - 12 = -5*b. Suppose -4*u - 36 = -2*f, 0 = b*u - 5*u + 6. Is f a multiple of 11?
True
Suppose 2*x - 6 = 3*x. Let d = 2 - x. Is 8 a factor of d?
True
Suppose -182 = -3*r - 47. Is 6 a factor of r?
False
Suppose -4*s = s. Let a = 2 + s. Suppose 0 = -a*v - 4 + 46. Does 21 divide v?
True
Let q(w) = w**3 - 7*w**2 - 9*w + 10. Let k be q(8). Suppose 5*p - 80 = -k*l, 2*l + 2*l + 2*p - 160 = 0. Is 9 a factor of l?
False
Let f = -9 - -9. Suppose -k + 4*k = -2*v + 177, 5*v + k - 436 = f. Is v a multiple of 22?
False
Let r(s) = 3*s**3 + 3*s**2 - 2. Suppose 0 = -8*w + 3*w + 10. Let v be r(w). Suppose -2*t - 4*k + v = 0, 4*t + 3*k + 2*k - 65 = 0. Is t a multiple of 15?
True
Suppose -3*y - 1 = -10, 4*y = w - 297. Does 50 divide w?
False
Suppose 0 = -3*q - 4*l + 73, l = 5*q + 5*l - 135. Is q a multiple of 8?
False
Let t = -17 - -41. Does 8 divide t?
True
Suppose -6*a = 24 - 198. Is a a multiple of 11?
False
Suppose -80 = -2*u - 2*w, 0 = 3*u + 4*w + w - 112. Is u a multiple of 21?
False
Let b(f) = f**2 + 8*f + 5. Let q be b(-8). Let i be q/(-15) - (-82)/(-6). Let d = 33 - i. 