uppose 2*w + 2*i + 10 = 0, z = -i - 5 - 0. Let c(a) = -a**2 - a + 37. Is 36 a factor of c(w)?
False
Let x be 4/(-6)*(-33)/1. Suppose 2*q - 2*l - 4 = 0, -x = q - 2*q - 4*l. Suppose -q*u + 4*u = -106. Does 14 divide u?
False
Suppose -795 = -2*a - b, 4*b - 1079 - 505 = -4*a. Does 21 divide a?
True
Is 31 a factor of (801 + -7)/((-1)/4*-4)?
False
Suppose -5*b - 13 - 22 = 0. Let x = b - -11. Suppose -x*t = -t - 57. Is t a multiple of 8?
False
Let p(u) = -8*u + 3 - 15*u - 6*u + 8. Is p(-3) a multiple of 22?
False
Suppose -5*l - 2 = -3*s - 6, -l = 3*s + 10. Let f(k) = k**3 + 4*k**2 - k - 7. Let m be f(s). Suppose -15 = 2*r - g - 84, -2*r = m*g - 39. Is r a multiple of 16?
True
Let i(l) = 13*l - 6. Let f(q) = -12*q + 6. Let k(v) = -3*f(v) - 2*i(v). Does 6 divide k(9)?
True
Suppose -10*s = -9*s - 113. Suppose 3*y + 298 = 2*x - s, x - 216 = -2*y. Does 31 divide x?
False
Suppose 0 = -6*q + 3*q + 18. Suppose -z - 1 = -q. Is 10 a factor of (36 - -1) + z + -2?
True
Let y = 12 - 9. Suppose -y*x - 9 = -6*x. Is 3 a factor of x?
True
Suppose 0 = t - 1 + 6, -4*t - 24 = -b. Suppose -2*d + b*m + 765 = m, 0 = -3*d + m + 1144. Suppose 0*r + d = 5*r - z, -304 = -4*r + z. Does 29 divide r?
False
Let u(r) = r**3 + 4*r**2 - 6*r - 3. Let h be u(-6). Let y = -7 - h. Is y a multiple of 16?
True
Let a(u) = u - 2. Let d(b) = 2*b - 6. Let z(t) = 8*a(t) - 3*d(t). Let j = -46 - -48. Does 4 divide z(j)?
False
Let p(k) be the third derivative of -k**4/24 - 3*k**3/2 + 4*k**2. Let u be p(-10). Does 2 divide (10 + (2 - -1))/u?
False
Suppose 3*z + 2 = -16. Let a(k) = 3*k**2 + 3*k + 23. Let x(g) = g**2 + g + 8. Let i(l) = 4*a(l) - 11*x(l). Is i(z) a multiple of 17?
True
Let k(j) = j - 15. Let u be k(7). Is 18 a factor of 92 - (8 + u + 1*2)?
True
Suppose -5*b = -a - 20, -2*b + a + 3*a + 8 = 0. Suppose -336 = -8*h + b*h. Does 21 divide h?
True
Suppose -q + 5*i + 19 = 2*q, 0 = -q + 4*i + 4. Suppose 2*n = -2*n + q. Suppose -4*t + 2*s = -148, t + 2*s - 118 = -n*t. Does 5 divide t?
False
Let y = 9 + -7. Let k be 2 + (1 - -19 - y). Let s = 33 - k. Is s a multiple of 13?
True
Let t(z) = -2*z**3 + z + 2. Let o be t(2). Let y be 1/(-3) - 40/o. Is 16 a factor of y + (-3 + 0 - -48)?
True
Let z(w) = w - 8. Let i be z(8). Let n(m) = -m**2 + m + 35. Does 12 divide n(i)?
False
Let m(z) = 95 - 72 - 3*z - 54. Is m(-13) even?
True
Let m(n) = -n**3 + 21*n**2 - 37*n - 16. Let r be m(19). Suppose 0 = c + r*l - 10 - 6, -l + 86 = 4*c. Is 5 a factor of c?
False
Let h = -55 - -51. Suppose 5*s - 4*d + 1 = -25, -d = 3*s + 2. Does 4 divide (-3 - s)*116/h?
False
Let g be (-42)/8 + 33/(-44). Let d(b) = -8*b + 10. Does 8 divide d(g)?
False
Let h(s) = -25*s**3 - 2*s - 2. Let v be h(-2). Suppose 11 = 2*g - 25. Suppose -5*b = -v - g. Does 11 divide b?
True
Suppose -17*u = -15*u - 228. Does 29 divide u?
False
Let d(x) = -4*x - 17. Let f(g) = -g**3 + 6*g**2 + 4*g - 3. Let t be f(6). Suppose -4*z = t + 7. Does 11 divide d(z)?
True
Suppose 36 = 3*g - 5*b - 46, 4 = b. Suppose -5*c - 2*u - g + 358 = 0, 4*c - 5*u = 279. Is 21 a factor of c?
False
Suppose -i - 71 = -2*g + 2*i, -174 = -5*g + 4*i. Let w = 11 + g. Is 26 a factor of w?
False
Let d = -93 + 88. Let n(z) = 3 - z - 4*z + 0. Is n(d) a multiple of 6?
False
Suppose 2*i = 4*t - 8, -3 = 3*i - 4*t - 1. Suppose i*u - 10*u = -428. Is 15 a factor of u?
False
Let i = -21 - -14. Let o = -6 - i. Is 7 a factor of 1 + o + (-20)/(-4)?
True
Let y = -13 + 6. Let d be (y - 1/(-1)) + 3. Is (5 + d)/(-6)*-105 a multiple of 9?
False
Let i(a) = 72*a**2 + 7*a + 10. Let u be i(-2). Suppose 3*z + 4*s + u = 5*z, -3*z + 453 = 3*s. Does 51 divide z?
False
Suppose -33*r - 120 = -6522. Is 23 a factor of r?
False
Suppose -3992 = -4*s + 5*w, 4*s + 3*w = 4056 - 64. Is s a multiple of 4?
False
Let c(s) = -99*s + 3. Let v be c(-4). Suppose -4*x = -x - v. Suppose 4*o = x - 25. Is o a multiple of 12?
False
Let d(u) = 45*u - 19. Let f(z) = 23*z - 10. Let v(o) = -2*d(o) + 5*f(o). Is v(13) a multiple of 13?
False
Suppose -2*w = -4*w + g - 222, -w - 108 = -2*g. Let d = 234 + w. Does 18 divide d?
False
Let t(c) = c**3 - 3*c**2 - 6*c + 4. Let w be t(4). Is 136/(2/(-3)*6/w) a multiple of 34?
True
Let k(m) = -65*m - 45. Does 31 divide k(-3)?
False
Is 3 + (-68)/24 - (-2756)/24 a multiple of 5?
True
Suppose 16*p - 12*p + 8 = 0. Is (3 + 11/p)/(3/(-6)) a multiple of 3?
False
Suppose -b = -3*o + 5405, 2057 = o + 4*b + 277. Is o a multiple of 12?
True
Does 84 divide 2443290/897 + (-2)/(-13)?
False
Let f = 390 - -4491. Is f a multiple of 23?
False
Let k = 62 - -52. Is k a multiple of 38?
True
Let q = 35 + -21. Let h = 19 - q. Is 11 a factor of (-15)/(-12)*(h + 39)?
True
Suppose -17*j + 94 = -2014. Is 31 a factor of j?
True
Let w = 721 + -558. Is 24 a factor of w?
False
Let b be (2/(-6))/(2/(-12)). Suppose 4*o + 35 = -5*a, -o + b*o - 35 = 5*a. Let j = 25 + a. Is j a multiple of 6?
True
Suppose 0 = -2*k + 5*r + 454, 4*k - 757 - 165 = 3*r. Is 29 a factor of k?
True
Let s = -8 + 13. Suppose 8*r - 185 = 3*r. Suppose -k + r = 5*i - 8, 0 = s*i - 2*k - 30. Is 4 a factor of i?
True
Suppose 2*u - 203 = -43. Let d = 143 - u. Does 9 divide d?
True
Let s = 7 - 6. Suppose -3*c - 2 = s. Is (c - 5)/((-10)/45) a multiple of 10?
False
Let g = -938 - -2176. Is g a multiple of 25?
False
Let l(w) = w + 11. Let q be l(-9). Let p be -26*(q - (-10)/(-4)). Let u(v) = -v**2 + 16*v - 11. Does 14 divide u(p)?
True
Let k(w) be the first derivative of 10*w**3/3 - 2*w + 5. Suppose -4*i = -2*u, 2*u + 3 + 5 = -4*i. Is 25 a factor of k(u)?
False
Is 42/(4/(160/6)) a multiple of 10?
True
Let w(i) = i**2 + i - 4. Let j be w(3). Suppose -2*v + 14 = k + 2*v, 4*v - j = 0. Suppose 2*t - 18 = -4*x, 5*x + 4*t = k*t + 27. Is x even?
False
Suppose r - 102 - 314 = 0. Let h = -212 + r. Is 17 a factor of h?
True
Let o(z) = 2*z - 38*z**3 + 1 + z**2 - z + 0*z - 14*z**3. Suppose -m - 7 = -6. Is o(m) a multiple of 21?
False
Let d = 3457 - 655. Is d a multiple of 50?
False
Suppose -34*y + 23*y + 2772 = 0. Is 14 a factor of y?
True
Let d be 9/18*22*15. Suppose -28*i + d = -25*i. Is i a multiple of 10?
False
Suppose -2*l + 3*u + 124 = 0, 78 + 105 = 3*l - 3*u. Let q = -26 + l. Is 23 a factor of q?
False
Suppose 5 = f + 1. Suppose 70 + 58 = 5*y - f*r, 5*r = 5*y - 125. Does 28 divide y?
True
Let h be (-1)/3 + (-4)/(-12). Let r be (-31)/(3/(-3) - h). Suppose -57 = -o + 5*b, 118 = 2*o - b + r. Is 12 a factor of o?
False
Let v(r) = 246*r**3 - 3*r**2 - 6*r + 6. Is 24 a factor of v(1)?
False
Let v(p) = p**3 + 2*p**2 - 3*p + 2. Let z be v(3). Let k(g) = 6*g + 100. Let d be k(-15). Let y = z - d. Is y a multiple of 7?
True
Suppose 3*n + 4 = -n, -3*u - n = -2102. Is u a multiple of 9?
False
Suppose 104104 = 31*q + 13*q. Is q a multiple of 6?
False
Suppose 2*m - 5*p - 37 = 0, 0*p + 2*p + 34 = 4*m. Is 26 a factor of -57*(m/(-18) - (0 - -1))?
False
Suppose 4*w - 92 = 4*c, c = -4*w + 45 + 42. Suppose 2*i - 4*i = -w. Is i a multiple of 6?
False
Suppose -i + o = -4*i - 291, 0 = -3*i - 4*o - 300. Let f = -53 - i. Is 10 a factor of f?
False
Let j be -3 - -2 - 67 - -2. Let x = 114 + j. Does 16 divide x?
True
Let f be 21/28 - 9/12. Suppose f*k = 3*k. Suppose n + 15 = -5*l + 63, k = n - 2*l - 20. Is 14 a factor of n?
True
Does 3 divide ((-58)/6 + 2)*-18?
True
Suppose -4*t + 321 + 5 = -2*s, 3*t = 2*s + 243. Let y = 180 - t. Suppose -y = -4*g - 1. Is 24 a factor of g?
True
Let h = 16 - 24. Let c = 10 + h. Suppose 39 = -c*y + 5*y. Is y a multiple of 3?
False
Suppose -3*j - 22 = -4*l, l + l - 4 = -2*j. Suppose -3*w - l*t = -352, -t - 635 = -5*w + 2*t. Is w a multiple of 31?
True
Let o(k) = k**2 + 19*k - 15. Let y be o(-19). Let s = 49 - y. Is s a multiple of 16?
True
Let t = -924 + 2278. Is 22 a factor of t?
False
Let j be -9*1/(-12)*28. Suppose -20*l - 6 = -j*l. Let k(x) = 3*x**2 - 8*x + 4. Is k(l) a multiple of 16?
True
Let t = -742 + 2009. Is t a multiple of 27?
False
Let i be 2455/25 + (-2)/10. Let h = -54 + i. Does 11 divide h?
True
Let s(x) = -x**2. Let m(y) = 2*y**2 + 2*y + 40. Let b(q) = -m(q) - 3*s(q). Does 21 divide b(-8)?
False
Let n be (-7)/(-7)*52/1. Suppose -28 = -5*o + n. Suppose -2*b + 10 = -u, -u = 3*u - o. Is b a multiple of 3?
False
Suppose c + 19 = s + 195, 4*c = -3*s + 725. Is c a multiple of 9?
False
Suppose -3*o = -3*u + o - 852, 3*o + 1449 = -5*u. Let f = -180 - u. Is 36 