ide y(-5)?
False
Suppose 5*l + 40 = 3*n, 5*l + 50 = 4*n + n. Suppose -95 = -n*s + 135. Let d = s - 24. Is 9 a factor of d?
False
Suppose -2*m + l = -6 + 1, 0 = 5*m - 5*l - 15. Let k be 36/(-8) - (-1)/m. Let s(g) = g**3 + 6*g**2 - 2*g + 4. Is 22 a factor of s(k)?
True
Let h = 17 + 73. Is h a multiple of 32?
False
Let y = 31 + 84. Is 40 a factor of y?
False
Let a(w) = -41*w - 1. Let k be a(1). Let z = k - -72. Does 12 divide z?
False
Let h = -1 + 21. Let q = h + -9. Is 9 a factor of q?
False
Does 17 divide (16/(-24))/(3/(-306))?
True
Suppose b = 4*z - 216, -2*b - 3*b + 295 = 5*z. Is 11 a factor of z?
True
Suppose i - 3 = -0*i. Is 2 a factor of -1 + -5 + i + 6?
False
Let w(v) = -v**2 - 2*v + 4. Let g be w(-6). Let m = 33 + g. Does 13 divide m?
True
Let g(f) = -12*f**2 + 3*f + 1. Let w(a) = a**2. Suppose k = 5*q - 21, 4*q + 15 = -3*k + 7*q. Let l(t) = k*g(t) - 4*w(t). Is l(-2) a multiple of 16?
False
Suppose 5*x - 545 = 5*r - 1520, -2*x = 3*r - 610. Is r a multiple of 40?
True
Suppose -4*a + 92 = -4*x, 3*x + 9 = a - 18. Is 18 a factor of a?
False
Let u be (2 - 0)/((-2)/(-5)). Suppose 3*q + u = 2. Let j(b) = -4*b - 1. Is j(q) a multiple of 3?
True
Let m be (12/(-9) + 1)*-3. Let j be ((-8)/(-2) - 2)/m. Suppose 0*s - 5*t - 41 = -4*s, 4*s + j*t = 34. Is s a multiple of 9?
True
Suppose -o = -5*q - 83, -o + 4*q + 75 = -5. Is o a multiple of 17?
True
Let d(l) = 19*l**3 + 2*l**2 - 4. Let q be d(2). Let v = -2 + 5. Suppose r - q = -v*r. Does 13 divide r?
True
Suppose -3*m + 110 = -u - 77, 4*u + 108 = 2*m. Suppose 0 = -2*k - 27 + 7. Does 2 divide 4/k - m/(-10)?
True
Let g(v) = v - 1. Does 2 divide g(6)?
False
Suppose -330 = -5*u - s, 3*u + 2*u - 330 = -2*s. Let k be u/2 - 1/1. Suppose k = 5*x - 28. Is x a multiple of 6?
True
Suppose x = -5*w + 16, 0*w + 2*w - 5 = x. Suppose -4*j + 68 = -2*i, w*i + 18 = 6. Is 15 a factor of j?
True
Let m(u) be the third derivative of -u**6/60 - u**5/20 + u**4/8 - u**3/6 + u**2. Does 17 divide m(-3)?
True
Let y be 26/2 + 1 + -2. Suppose 2*r - 32 = -y. Does 10 divide r?
True
Suppose 0 = -2*y + 10, -4*y - 36 = -4*k + 3*k. Is k a multiple of 14?
True
Let c be -1 - -6*(-2)/(-3). Let d = 7 - c. Suppose -5*x = 5*b - 40, -x + 4*x - d*b - 31 = 0. Does 5 divide x?
False
Suppose 19 = 6*a - 281. Is 39 a factor of a?
False
Let u be (-22)/10 - (-3)/15. Does 4 divide (-12)/((-6)/2 - u)?
True
Suppose -18*k - 5*k + 9660 = 0. Does 14 divide k?
True
Let x(y) = -y**2 + 9*y - 5. Let k be x(6). Let z = k - 8. Is 2 a factor of z?
False
Suppose 4*u - 41 = -3*o, -3*u = -4*o - 0*o - 62. Suppose 38 = 4*h - u. Is 13 a factor of h?
True
Let l(m) = -m**3 + m**2 - m - 6. Let g be l(0). Does 17 divide 14 + 1*(-3 - g)?
True
Suppose -1 - 1 = 2*o + a, 2*o + 4*a + 8 = 0. Let b = 45 - o. Does 18 divide b?
False
Suppose -4*v + z = -45, 5*v = -z + 41 + 22. Suppose -f = -3*f + v. Does 3 divide f?
True
Suppose -4*f - 20 = -3*b, 7 = 2*b - 4*f - 9. Let s(h) = 3*h**2 - 6*h + 4. Is s(b) a multiple of 14?
True
Let b(k) = k**3 + 15*k**2 + 13*k + 23. Does 10 divide b(-13)?
False
Let b(v) = -v**3 - 2*v - 1. Let i be b(-1). Suppose -w = 3*w - 244. Suppose 9 - w = -i*r. Is 10 a factor of r?
False
Let a(i) = i**2 + 5*i + 16. Is 30 a factor of a(-7)?
True
Suppose -2 - 14 = 4*d. Let q = d + 8. Is q even?
True
Let r be 2/10 - (-704)/(-20). Let h = r + 61. Does 14 divide h?
False
Suppose -25*v + 1208 = -2567. Does 7 divide v?
False
Let d = 3 + 0. Let g be (-171)/6*(-1 - d). Suppose -u = -4*u + g. Is u a multiple of 26?
False
Let l(k) = -2*k + 47. Is 10 a factor of l(11)?
False
Let v = 1 - -4. Suppose 4*s + 22 = v*w + 77, 3*s - 3*w - 45 = 0. Is s a multiple of 10?
True
Let j(q) = q**3 + 8*q**2 + 3*q + 3. Let s(n) = -4*n + 10. Let u be s(4). Is 19 a factor of j(u)?
True
Suppose -3*w = -26 - 103. Suppose -2*b + 3 = -w. Does 13 divide b?
False
Suppose -f + 24 = -5*j - 32, 5*j = 4*f - 284. Is f a multiple of 56?
False
Let p = -5 + 13. Let g = 32 - p. Does 12 divide g?
True
Suppose -3*d + 260 + 57 = 2*n, 3*d - 314 = n. Does 21 divide d?
True
Is 12 + 9*4/12 a multiple of 5?
True
Suppose 5*l + 5*v + 5 = 0, -3*v = 5*l - 0*v + 9. Let o be l + 1 + 0 + 2. Suppose o*b - 20 = -4*b. Is b a multiple of 5?
True
Let n be (22/(-6) + 2)*6. Let a be (-6)/(-3)*n/(-4). Let j = 13 - a. Is j a multiple of 5?
False
Let j(c) = -c + 18. Let b(g) = g**3 + 8*g**2 - 7*g + 4. Let n be b(-9). Let p = n + 22. Does 5 divide j(p)?
True
Let p(k) = 6*k**2 + 3*k - 3. Does 17 divide p(2)?
False
Suppose -29*b + 9 = -28*b. Is 3 a factor of b?
True
Let j be 3 + -2*(-6)/4. Let n be ((-9)/j)/(3/(-78)). Suppose -105 - 38 = -4*u + y, -u - 3*y + n = 0. Does 12 divide u?
True
Suppose k + 40 = 3*j - 4*k, 46 = 4*j - 3*k. Suppose -30 = -4*b - 2*z, 2*b - 5*z - j - 11 = 0. Is 4 a factor of b?
True
Let g be (-8)/6*(-42)/28. Suppose 3*j + 5*d = 120, 3*j - g*d = 2*d + 147. Is 12 a factor of j?
False
Is 6 a factor of (0 - -51) + -1 - (-14)/(-7)?
True
Let q(h) = -10*h - 3. Let y(l) = -9*l - 3. Let d(w) = 2*q(w) - 3*y(w). Does 8 divide d(3)?
True
Suppose -6*a - 45 = -9*a. Is a a multiple of 3?
True
Let l = 44 - 14. Does 6 divide l?
True
Let w(u) = 2*u**3 - u**2 - u. Let o be w(-1). Does 5 divide (42/28)/(o/(-20))?
True
Suppose 4*p + 4*s = 388, -s - 3*s = -p + 117. Is p a multiple of 8?
False
Suppose -5*g + 7 = 32. Let o(d) = d + 8. Let u be o(g). Suppose u*c - 49 = -10. Is c a multiple of 7?
False
Let d be 1 - (-2)/(3 + -1). Let a be d/(-5) + 390/(-25). Let s = a + 26. Does 6 divide s?
False
Suppose 0 = 5*n - 69 - 56. Is 5 a factor of n?
True
Suppose -2*w = -w - 24. Let h = 77 - w. Is 11 a factor of h?
False
Suppose 19 = 4*k - 225. Is k a multiple of 24?
False
Suppose 2*q + 6 = 4*x, -q - 2*x = -5 - 8. Let b(k) be the first derivative of -k**3/3 + 4*k**2 - 4*k + 2. Is b(q) a multiple of 10?
False
Let b(w) = 35*w + 2. Is 18 a factor of b(2)?
True
Suppose -60*w + 144 = -57*w. Is w a multiple of 4?
True
Let z be -50 + 4/(-1 + 3). Is 0/(-2) - (9 + z) a multiple of 13?
True
Let z(k) = 47*k**2 + 2*k - 2. Does 26 divide z(1)?
False
Suppose -10*f = -233 - 167. Is f a multiple of 8?
True
Let k = 41 - -3. Let i be 2/(-8) + 18/8. Suppose -4*x + i*g + 60 = g, k = 3*x - g. Does 6 divide x?
False
Let r be (5 - 2) + -1 - 12. Does 26 divide (93/(-15) - -1)*r?
True
Suppose 2*l = 4*v + l - 583, l = -2*v + 287. Is 14 a factor of v?
False
Let t(j) = j**2 + 14*j - 4. Is t(-15) even?
False
Let c = -25 + 33. Does 3 divide c?
False
Let q(y) = y + 13. Suppose -k = -5*x + 33, 4*x - x + 2*k = 12. Is q(x) a multiple of 4?
False
Suppose 2*r + 15 = 5*r. Is (-3)/(-15) - (-99)/r a multiple of 14?
False
Let t = -92 + 139. Does 28 divide t?
False
Let x(k) = -4*k**3 + 10*k**2 - 4*k - 5. Let n(y) = 3*y**3 - 9*y**2 + 4*y + 5. Let s(q) = 5*n(q) + 4*x(q). Does 25 divide s(-7)?
True
Does 21 divide 10/(-3)*7*90/(-25)?
True
Suppose -b + 3*c + 8 = 0, -c + 2 = 3*b + c. Suppose b*k - 10 = -3*k. Suppose -2*v - 2*q = k*v - 46, -q + 33 = 3*v. Is 5 a factor of v?
True
Suppose -2*u - 2*i + 112 - 12 = 0, -5*u + 251 = 4*i. Does 13 divide u?
False
Let o(f) = 4*f - 11. Suppose 0 = -7*a + 12*a - 45. Is 14 a factor of o(a)?
False
Let x be 6/(-15) + (-1024)/(-10). Suppose j - x = -b, 5*j - 306 - 198 = -2*b. Suppose 0 = -s - 2*o + 19 + 1, 4*s - j = 2*o. Is 12 a factor of s?
True
Suppose -4*i - 2*s = -2*i - 8, -5*i + 4 = -3*s. Suppose -2*a - 14 = -i*c + 18, 0 = -5*c + a + 72. Is 9 a factor of c?
False
Let j(f) be the second derivative of f**4/12 - 3*f. Let u be j(2). Is 14 a factor of (u/(-1))/(4/(-14))?
True
Let o(i) = 2*i + 3 + i - 2*i. Let y be o(7). Is 8 a factor of 226/y - 2/(-5)?
False
Suppose 24 - 40 = -2*p. Is 5 a factor of p?
False
Let p(q) = -5 + q - q - q - 2. Let i be p(-12). Suppose -x = -i*x + 84. Is x a multiple of 7?
True
Let j be (-34)/(-8) - (-7)/(-28). Let h = 0 + j. Suppose n = 5*n + 4, -52 = -4*w + h*n. Does 9 divide w?
False
Suppose 0*v - 5*v - 3*a + 8 = 0, 3*v + 8 = -5*a. Suppose v*s + 48 = 2*w + 2*w, w + 3*s = -8. Is w a multiple of 3?
False
Suppose 0 = -2*k - 2*k - 8. Let b = k + -1. Let f = b + 11. Does 4 divide f?
True
Suppose 0 = -n - c + 8 - 0, n = -3*c + 12. Let s(q) = q**3 - 4*q**2 - 4*q - 6. Is 6 a factor of s(n)?
True
Let z be ((-3)/(-2))/(9/(-120)). Let m = -13 - z. Is m a multiple of 7?
True
Suppose 4*h = -2*m + 70, -30 = -m + 2*h + 5. Is m a multiple of 5?
