. Is 25 a factor of w?
True
Let c = 228 - 111. Suppose 5*k - 243 - c = 0. Is k a multiple of 12?
True
Is (24/18)/(4/66) a multiple of 22?
True
Suppose -4*y + 12 = -y. Suppose 3*j - 2*d = 4, y*d - 19 = -j + 1. Suppose 10 = -j*a - a, 5*q + 3*a - 74 = 0. Is q a multiple of 8?
True
Let t be (-3)/(-6)*-1*2. Let f = 7 + t. Is f a multiple of 3?
True
Suppose -174 = -8*f + 98. Is 12 a factor of f?
False
Let q = 287 + 41. Does 44 divide q?
False
Suppose -4*i + 5*c + 35 = 0, -2*c = 2*i - 0*c - 4. Let s be 3/(-2)*44/(-6). Let w = s + i. Is 8 a factor of w?
True
Let c(k) be the third derivative of k**5/30 + k**4/2 + 7*k**3/6 + 3*k**2. Is 12 a factor of c(-8)?
False
Let g be (2 - (-6)/4)*8. Let l be 3 + -2 - (-11)/1. Let p = g - l. Is 13 a factor of p?
False
Let a = 1 - -2. Suppose -q + 49 = 3*b + b, -a*b + 33 = 2*q. Does 13 divide b?
True
Let w(u) = -u**3 - u**2 - u + 28. Let y be 3 + -2 + 1 - 2. Does 9 divide w(y)?
False
Let p(c) = 7*c - 7. Is 8 a factor of p(3)?
False
Let r be 0/(-2) - (-1 - 1). Suppose r*k - 100 = l + 1, -4*k + 201 = -3*l. Is k a multiple of 17?
True
Let i be (-2)/(-4) + (-182)/(-4). Suppose 2*t + l - 266 = -3*t, -t + i = 2*l. Does 21 divide t?
False
Let s(c) = -c**2 - 5*c. Let k be s(-4). Let n(a) = -a**2 - 13*a**3 - 1 - 2*a**2 + k*a**2. Is 13 a factor of n(-1)?
True
Let k = -104 - -142. Is k a multiple of 3?
False
Let i = -181 + 291. Suppose -4*l = 2*q - i, -3*q + 78 = -4*l - 57. Does 18 divide q?
False
Suppose 5*s + 29 = 9. Is 203/28 - 3/s a multiple of 2?
True
Suppose -4*n = 4*l + 64, -5*l - 96 = -2*n - n. Let w = 59 + l. Suppose -r + w = -5*p, 4*p - 33 - 52 = -3*r. Does 11 divide r?
False
Suppose 0*j - 3*j = -9. Suppose -4*b = 2*m - 4, m = -j*m + 2*b - 22. Is 7 a factor of m/(2*(-3)/21)?
True
Suppose 0 + 6 = 2*f. Suppose f*b - 14 = 46. Is 10 a factor of b?
True
Let c = -13 + 33. Does 6 divide c?
False
Let q(n) = -n**2 + 10*n + 9. Let f(m) = -7*m + 5. Let s(d) = 10*d - 7. Let b(x) = -7*f(x) - 5*s(x). Let i be b(-8). Does 14 divide q(i)?
False
Suppose 3*s - s + 3*g + 8 = 0, 5*s + 6 = -4*g. Suppose 2*m + 64 = 3*m. Suppose -12 = s*w - m. Is w a multiple of 13?
True
Suppose 5*k = 10 + 5. Let m = 33 + 55. Suppose -m = -k*j - 4*x, -2*j - x = 3*j - 124. Is j a multiple of 24?
True
Suppose -133 = -3*l + 2. Is 17 a factor of l?
False
Let r(b) = b + 6. Let q be r(-4). Suppose -4*f + 5*u = -148, -q*f + u = 3*u - 56. Is f a multiple of 16?
True
Suppose -20 = -4*y + 556. Is y a multiple of 24?
True
Is (-1)/(-1)*(308 + 38) a multiple of 14?
False
Let s(x) = -1 - 8 - 10*x - 2. Let i be s(-14). Suppose 0 = -w - 3, -w + 5*w = 3*o - i. Does 13 divide o?
True
Let j = -39 - -65. Is j a multiple of 13?
True
Let f(b) = 4*b**2 - 3*b + 0*b + 0*b**2. Does 5 divide f(2)?
True
Suppose -3*g - 27 = -5*x, 5*x - 2*g - 25 = 3. Suppose -x = 2*d - 0*d - 3*f, -f + 1 = -d. Suppose -2*h = -5*a + 58, -a + h = d*h - 14. Is a a multiple of 12?
True
Let y be (10/(-3))/((-10)/15). Is ((-6)/y)/(-2)*65 a multiple of 13?
True
Suppose -4*a = 2*z + 20, -3*z = -4*a - 13 - 17. Let u(w) = w**3 + 5*w**2 - 9*w - 8. Let s be u(a). Suppose -3*n + s = -n. Does 2 divide n?
False
Suppose 3*k + 75 - 12 = 0. Let h = k - -35. Does 14 divide h?
True
Let m be 24/2 - (7 + -5). Suppose 2*d - 60 = -2*q - 3*q, -5*q = -m. Is d a multiple of 16?
False
Let g be 1/((-33)/12 + 3). Let b = g - 1. Is b even?
False
Let f(d) = 15*d - 7. Is f(7) a multiple of 12?
False
Let d(q) = q**3 + 7*q**2 + 4*q - 5. Suppose -2*w + 4*w - 16 = 0. Let t = w - 13. Does 15 divide d(t)?
False
Suppose 2*x - 37 = -b, -5*x - 2*b = -93 + 3. Is x a multiple of 4?
True
Let q = -1 + 4. Suppose -q*j + 104 = j. Is j a multiple of 13?
True
Let h(o) = 17*o**2 + 3*o - 4. Let v(d) = -34*d**2 - 7*d + 9. Let g(c) = 7*h(c) + 3*v(c). Suppose 4*i - 7 = -11. Does 8 divide g(i)?
True
Suppose -5*b + 4*b = -18. Suppose 2*u - b = -0*u. Does 9 divide u?
True
Let a(j) = -j**3 + 8*j**2 + j + 10. Is 15 a factor of a(7)?
False
Let w(n) = -n**2 - n + 51. Let b be w(0). Suppose -4*c + 3*c = -b. Does 17 divide c?
True
Is (-19 + 15)/(-1 + -1) even?
True
Is (48/56)/((-2)/(-126)) a multiple of 6?
True
Suppose y + 1 - 6 = 0. Suppose 2*p = y*n + 13 - 336, -n + 67 = 2*p. Does 13 divide n?
True
Let s = 442 - 15. Is s a multiple of 61?
True
Suppose 4*i - 21 = i. Is 3 a factor of i?
False
Let q(w) = w**2 - 14*w + 33. Is q(13) a multiple of 4?
True
Let z(i) = -i**2 + 7*i + 6. Let c be z(7). Suppose -c*g = -2*g + 4. Does 20 divide (-122*g/1)/2?
False
Is 6 a factor of (-29 + 23)/(3/(-38))?
False
Suppose 4*j + 3*m = -80 + 268, 5*m = -2*j + 108. Suppose 0 = 3*c - 46 - j. Does 11 divide c?
False
Let t(w) = 5*w + 2*w**2 - 2*w + 2*w - 3*w**2. Let g be t(5). Is 25 a factor of -49*(3/(-3) - g)?
False
Let w(l) = 4*l**2 - 2*l - 9. Let b = 7 - 2. Is 23 a factor of w(b)?
False
Let w be ((-15)/(-6))/(3/6). Suppose y - w*u - 30 = 0, -5*y = 4*u - 0 - 5. Suppose -2*i - 18 = -y*i. Does 2 divide i?
True
Let b = 24 - 14. Let q = b + -3. Is 2 a factor of q?
False
Let v(x) = x**3 + 14*x**2 + 5*x - 12. Does 16 divide v(-13)?
False
Suppose 0 = -t + g + 4, -4*g - 4 + 2 = 3*t. Is 183/21 + t/7 a multiple of 9?
True
Let j be (3 + 3)/(-3) + 2. Does 15 divide (j - (-3)/(-3))*-25?
False
Let c(x) = -4*x**3 + 2*x**2 - 2*x - 2. Let o be c(2). Let w = -5 - o. Let g = w - 18. Is g a multiple of 7?
True
Suppose -4*t = -v + 76, v + 4*t + 316 = 6*v. Is v a multiple of 20?
True
Suppose -510 = 2*h - 120. Let f = h + 97. Let q = f - -137. Is 15 a factor of q?
False
Let l(k) = -k**2 + 5*k + 7. Let g be l(5). Suppose -2*v = -g*v + 120. Does 12 divide v?
True
Suppose 2*x - 13 = m, 4*m + 2*x - 3*x = -38. Let g be m*1/((-3)/3). Does 16 divide (15/4)/(g/96)?
False
Let i = 28 - 1. Is 9 a factor of i?
True
Let u = 7 - 5. Suppose 0*m + m = u. Suppose 0 = 2*s - v - 36, -15 + 75 = m*s + 5*v. Is 10 a factor of s?
True
Let l(y) = y + 23. Is 2 a factor of l(0)?
False
Is (-1)/((-5)/(-2)) - 8016/(-40) a multiple of 20?
True
Suppose m - 6 = 4*m. Is 17 a factor of (-71)/m + (-3)/2?
True
Suppose 5*c = -20, w - 28 = -3*w + 3*c. Suppose 4*u + 5*l = 134, 2*u - 5*l - 74 = -w*l. Is 18 a factor of u?
True
Let m(f) = -2 + f + 8 + f**2 - 6*f. Let v(i) = -i**2 - 9*i + 5. Let w be v(-9). Is m(w) a multiple of 5?
False
Suppose -j + 99 = -0*j. Suppose 77 = 4*f - 87. Suppose -2*t + f = -o, 0*o = 5*t + o - j. Does 14 divide t?
False
Suppose 80*o - 84*o = -412. Is o a multiple of 23?
False
Suppose 7*u - 820 = 2*u - 4*x, 4*u - 687 = 3*x. Does 14 divide u?
True
Suppose q + 37 = d - 20, -4*d - 4*q + 228 = 0. Is d a multiple of 5?
False
Let x = -32 + 74. Does 9 divide x?
False
Let p = -9 - -15. Let v(k) = 3*k + 2. Is v(p) a multiple of 20?
True
Suppose 0 = -o - 3*r + 188, -753 = -5*o - 5*r + 227. Suppose 4*g - o - 92 = 0. Is 24 a factor of g?
False
Is 18/4*(-140)/(-30) a multiple of 6?
False
Let v(q) = -58*q**3 - q**2 + q + 1. Let b(a) = -a**2 + 13*a - 1. Let f be b(13). Is 18 a factor of v(f)?
False
Let f be 2 + 0 + 2*1. Suppose 3*n - 9 = f*r - 2, 52 = 3*n + 5*r. Let c = 21 - n. Does 10 divide c?
False
Suppose 6*d - 3*d = 162. Does 14 divide d?
False
Suppose -g = u - 8, 0 = -g + 6*g - 3*u. Suppose -g*l + 22 = 2*x, -3*l + 5*x + 9 = 22. Is 4 a factor of l?
True
Let w(s) be the second derivative of s**3/6 + s**2/2 + 2*s. Let k be w(5). Let h(c) = 2*c - 2. Does 5 divide h(k)?
True
Let t = -3 + 7. Suppose -t*a = -5*l + 289, -l + 71 = -a + 14. Does 21 divide l?
False
Let u = -9 - -6. Let x(l) = -l**3 - 2*l**2 - 2*l + 4. Let h be x(u). Suppose -h - 14 = -o. Does 11 divide o?
True
Let x(m) = m**3 + 4*m**2 - 7*m - 6. Let q be x(-5). Does 11 divide -33*(-4)/q*1?
True
Does 14 divide 187 - -6*(-1 + 2/4)?
False
Suppose -u = 5*z - 763, -z - 3*u = 4*z - 759. Does 18 divide z?
False
Suppose -155 = -6*r + 655. Does 15 divide r?
True
Let s = 14 + -11. Let a(h) = -h**3 - 2*h**2 - 2*h - 1. Let d be a(-2). Suppose d*p - 15 + s = 0. Does 2 divide p?
True
Suppose -5*s - 855 = -5*f, -4*f + 0*s = s - 679. Is f a multiple of 69?
False
Let j(n) = 9*n - 3. Is j(7) a multiple of 15?
True
Let r(y) = -2*y + 3. Let n be r(5). Let m(d) = d**3 + 8*d**2 + 2. Does 15 divide m(n)?
False
Is ((-92)/(-6))/(-1 + (-34)/(-30)) a multiple of 23?
True
Suppose 3 = -3*n - 3*x - 12, -5*x - 17 = 3*n. Is 13 + (n + 3 - -2) a multiple of 5?
False
Suppose -5*o + 2*h = -134 - 72, -2*o + 5*