r**2 - 6*r - 7. Let p be b(7). Suppose 18 = 3*m + 2*z - 4*z, -2*m - 2*z + 22 = p. Suppose -m + 30 = 2*c. Is c a multiple of 11?
True
Let g(j) = j**3 + j**2 + j - 1. Let m be g(1). Is 2 a factor of 7/(-2)*(-4)/m?
False
Suppose -5*m + 295 = 5*r, -174 = -2*r - r - 4*m. Is r a multiple of 15?
False
Let m = 163 - 97. Is 22 a factor of m?
True
Does 35 divide (-154)/(-4) + 5/(-10)?
False
Let w(k) = -k**3 - 2*k**2 - 6*k. Suppose -4*n - 5*s = 45, -30 = 2*n - n + 5*s. Is w(n) a multiple of 35?
True
Suppose 7*x - 15 = 2*x. Suppose 0 = -x*t - c + 4, 0 = -c - 2. Is t even?
True
Let t = 3 + -1. Let g = 1 + t. Let k = g - -17. Is 14 a factor of k?
False
Let r be 2/3*(-3)/1. Let i(n) = -2*n**3 - 2*n. Is 10 a factor of i(r)?
True
Suppose 4*x = 3*h + 425, 167 = 2*x + 4*h - 73. Let v(w) = -w + 1. Let m be v(-2). Suppose 8*t = m*t + x. Does 11 divide t?
True
Let l(w) = 6*w + 2. Suppose 5*v + 2*v - 35 = 0. Is l(v) a multiple of 16?
True
Suppose -3*r - 3*g + 354 = 0, -g + 625 = 5*r - 3*g. Is 31 a factor of r?
False
Let f(a) = 19*a**2 + 5. Suppose p = -67 + 25. Let z(w) = -161*w**2 - 42. Let d(u) = p*f(u) - 5*z(u). Is 7 a factor of d(-1)?
True
Let c be 7*(-1 + 2) + -1. Let i be c*(0 - 1)*1. Is 18 a factor of ((-3)/i*-106)/(-1)?
False
Let m(w) = w**3 + 6*w**2 - 5*w - 8. Let f(i) = -3*i**3 - 11*i**2 + 10*i + 15. Let l(d) = 2*f(d) + 5*m(d). Let c be l(7). Is 5 a factor of (-3 + -15)*c/(-6)?
False
Suppose -3*u + 134 = 2*j, j - 3*u + u - 81 = 0. Does 14 divide j?
False
Let p be (10/3)/((-8)/(-372)). Let k = p + -98. Is k a multiple of 19?
True
Let t(i) = i**3 - 4*i**2 + 2*i + 3. Let y be t(3). Let p(f) be the third derivative of -f**5/60 - f**4/24 + 5*f**3 + 2*f**2. Does 15 divide p(y)?
True
Suppose -26 = 2*c - 206. Is (20/(-25))/((-2)/c) a multiple of 12?
True
Suppose -j - 15 = -2*j. Let d = -18 + 26. Let f = j - d. Does 6 divide f?
False
Let s(z) = -z**2 + 6*z - 3. Suppose -4*c - j + 29 = 2*j, -25 = -2*c - 5*j. Let t be s(c). Suppose t*p - 124 = -22. Is p a multiple of 13?
False
Let c = -72 - -108. Let x = c - 7. Is 12 a factor of x?
False
Let n(l) = -2*l**3 - 5*l**2 - 3*l. Let i(s) = s**3 - 7*s**2 + s - 10. Let y be i(7). Let x be n(y). Let k = 8 + x. Is 10 a factor of k?
False
Suppose -2*g - 4*z = g - 53, 2*g = -z + 37. Suppose 0 = 3*j - g - 62. Is j a multiple of 9?
True
Let z be -5 + 3 + 2 + 2. Suppose 3*k + 4*f - 34 = 0, -k + z*f = f - 23. Is 9 a factor of k?
True
Let l = 302 + -215. Suppose -4*u + 5*v - l = 0, 0*u - 4*v - 78 = 5*u. Let p = u - -36. Does 12 divide p?
False
Suppose 3*i - 5*d = 4*i - 29, -154 = -4*i - d. Suppose 0*m + i = 3*m. Is m a multiple of 13?
True
Let g(s) = -82*s. Let i be g(-4). Let p = i + -103. Suppose 0*o = 5*o - p. Is 16 a factor of o?
False
Suppose 3*b - 14 = 1. Suppose 3*a + 20 = b*a. Is a a multiple of 7?
False
Let y = 77 + -36. Is 26 a factor of y?
False
Let t be (-2)/8 - 2/(-8). Suppose t = 3*r + 5*v - 41, 0 = 4*r - v - 2*v - 45. Does 9 divide (-8)/r + (-29)/(-3)?
True
Suppose -2*l = 5*i + 12, l = -4*i - 0*l - 12. Let g(j) = 2*j**2 + 4*j - 2. Is g(i) a multiple of 7?
True
Let d be -2 - (-1)/(-3 - -2). Let m = d - -6. Suppose s = m*q - 5, 5*s + 0*q - 65 = -3*q. Is 5 a factor of s?
True
Let h(d) = -d**3 + 18*d**2 - 9*d - 12. Does 11 divide h(17)?
False
Let f be -34 + 5/(10/(-4)). Let n = f + 52. Suppose -n = 4*t - 68. Is t a multiple of 6?
False
Suppose 11*w = 8*w + 63. Is w a multiple of 7?
True
Does 2 divide (2 - -14*3)*1?
True
Suppose 4*g - 4*r - 100 = 0, 6*r - r + 105 = 4*g. Suppose 2*k - 2 - g = 0. Suppose k = 4*b - 5. Is b a multiple of 3?
False
Suppose 15 = 3*z, 2*r = -0*r - 3*z + 33. Is 7 a factor of r?
False
Let t = 7 - -70. Suppose 3*g = t - 23. Is g a multiple of 9?
True
Let y(r) = r + 16. Is y(-7) a multiple of 5?
False
Let x(c) = 8*c**2 + 53. Does 31 divide x(6)?
True
Let n = 17 + -8. Suppose -d - 3*g = -0*g + n, 2*g - 2 = -2*d. Is d a multiple of 3?
True
Suppose -v + 4*b = -2*v + 72, 3*v - 216 = 2*b. Is 12 a factor of v?
True
Suppose 3*g = -5*q + 123, 73 = 4*q - q + 2*g. Let x = q + 22. Does 13 divide x?
False
Suppose -q + 3 = 6. Let c = 6 + q. Is c a multiple of 2?
False
Let p(q) = 104*q - 2. Let h be p(1). Let d = h - 58. Does 11 divide d?
True
Suppose -4 = -x - 2. Suppose 5*b - 152 = 4*a, -x*a = 2*b - 4*a - 62. Let q = -20 + b. Is q a multiple of 3?
False
Let a = -7 - -7. Suppose -3*h + 2*h + 28 = a. Does 14 divide h?
True
Let n(l) = l**3 + 10*l**2 + 9*l + 8. Let u be 2/(2 + 0 + 0). Let g be u/2 + 38/(-4). Does 3 divide n(g)?
False
Let a(h) = -h**2 + 5*h + 6. Let v be a(6). Suppose 0*q + q - 48 = v. Suppose o - 36 = -3*i + 5*o, 0 = -4*i - o + q. Does 12 divide i?
True
Suppose -2*q + 40 = s, -2*q + 4*s + 4 = -46. Does 7 divide q?
True
Suppose -3*h = -12, 6*s + 2*h - 378 = s. Is 3 a factor of s?
False
Let g(i) = i - 4. Let d be g(6). Let v(s) = -3 - 2 - s + d. Is v(-5) even?
True
Let u(c) = -c**2 + 31*c + 19. Let f(x) = -6*x - 4. Let s(g) = -11*f(g) - 2*u(g). Is s(-5) a multiple of 16?
False
Let l = -3 + 12. Let p(h) = h + h**2 + 7 + 1 + l*h. Does 5 divide p(-10)?
False
Let d(g) = -10*g**2 - 2*g + g**3 + 2*g. Let k be d(10). Suppose k = -3*q + 4*j + 98, 2*j = -q - 0*q + 46. Is q a multiple of 21?
False
Let o = 14 + -10. Suppose o*w - 4 = 4*x, 2*x - 6*x + w = -8. Is 3 a factor of x?
True
Suppose -4*h + 68 = -96. Does 10 divide h?
False
Suppose 0 = f - 2*z - 125, 4*f + 27 = -z + 500. Is f a multiple of 17?
True
Let o be (-1)/((-2)/4) - -3. Suppose 2*l + o = 3*l. Suppose 2*t + 4*h - 8 = 0, 57 = 3*t - 4*h - l. Is t a multiple of 10?
False
Let q be 40/6 - 5/(-15). Let x(d) = -3*d**3 + d + 4*d**3 - 2*d**2 - q*d**2 - 4 + 0*d**2. Is x(9) a multiple of 5?
True
Let b = -92 + 12. Let i = -56 - b. Is 8 a factor of i?
True
Let x(t) = 8*t - 6. Let m be x(6). Suppose 10 = -4*y + m. Is y a multiple of 8?
True
Suppose m + 1000 = 5*m. Suppose 110 + m = 5*k. Suppose 3*i = i + k. Is 20 a factor of i?
False
Let r(b) = b**3 + 10*b**2 + 8*b - 2. Let y be r(-9). Suppose 3*v + 6*z = 3*z + 9, 4*v = -3*z + y. Is (174/(-9))/(v/3) a multiple of 14?
False
Suppose 0 = -3*i + 9 + 18. Is 17 a factor of (-912)/(-27) - (-2)/i?
True
Let i = 0 + 5. Suppose -i*p + 46 = 6. Is p a multiple of 8?
True
Let a be -1477*(-1 - 0/(-2)). Let q be a/77 - (-4)/(-22). Is (1 + -2)*(1 - q) a multiple of 9?
True
Let n(q) = q**2 - q - 2. Let c be n(3). Suppose -d - 5 = 3*m, -c*d + 3*d = -5*m + 5. Suppose 5*x + 5*b - 155 = m, -3*x - 4*b - 46 = -144. Is x a multiple of 11?
False
Let d(k) be the third derivative of -k**4/8 - 3*k**3/2 + k**2. Is 4 a factor of d(-6)?
False
Let o(h) = h**2 + 7*h - 9. Suppose -4*y = 2*t, 20 = -0*t - 4*t - 3*y. Let d be o(t). Is 8 a factor of d/(-2)*2*16?
True
Let n(z) = -7*z + 6. Is n(-5) a multiple of 28?
False
Suppose -3*f - 2 = -t + 21, 79 = 3*t + f. Does 26 divide t?
True
Let k be 305/20 - 1/4. Let b be 50/k*(-15)/2. Let f = b + 40. Is 4 a factor of f?
False
Let u(s) = 17*s**2. Let n(a) = a**3. Let f be n(-1). Is 17 a factor of u(f)?
True
Let r(f) = -4*f**2 - 12*f + 8. Let d(i) = -7*i**2 - 25*i + 16. Let y(o) = 3*d(o) - 5*r(o). Is 11 a factor of y(-14)?
True
Suppose -5*y = 5, u + 10 - 50 = -3*y. Does 11 divide u?
False
Suppose -2*z = l - 8, -5*z - 5 = -3*l - 14. Let i = z - -11. Does 14 divide i?
True
Let s(p) = p - 1. Let z be s(-1). Is 9 a factor of (38 + -3)*(-1 - z)?
False
Suppose 0 = -2*h + 2*b - 70, -3*h + 4*b - 97 = 3*b. Let j = h - -91. Is 16 a factor of j?
False
Suppose -29 = -m + 27. Is 21 a factor of m?
False
Let y(m) be the second derivative of 11*m**3 + m**2/2 - m. Let d be y(1). Suppose -5*t - d = -4*p, 14 + 36 = 3*p - 4*t. Is p a multiple of 15?
False
Suppose -7*z + 268 = -4*z + w, 0 = -5*w + 5. Does 21 divide z?
False
Suppose 6*j - 5*j = 0. Suppose 5*k + j*k - 10 = 0. Suppose -5*r - 2*a = -2*r - 49, 0 = -r - k*a + 15. Is 17 a factor of r?
True
Does 16 divide (-6)/((-1)/2*(-4)/(-48))?
True
Let m(t) = t**2 - 9*t + 6. Let u be m(8). Let q = u + 8. Suppose c - q = -c. Is 2 a factor of c?
False
Let j be (-4)/(-12)*(2 - 2). Suppose 3*r - 3*f - 72 = j, -5*f + 2*f - 91 = -4*r. Does 8 divide r?
False
Let n(t) be the first derivative of 2*t**3 + 2*t**2 + 4*t - 8. Does 23 divide n(-3)?
True
Suppose -11*i = -82 - 149. Does 21 divide i?
True
Suppose -3*p = -7 - 5. Suppose -f = -3*c, -2*f = -p*f + 4*c + 2. Suppose -q + 4*u = 3*q - 8, f