1. Let q(r) = r**2 - r + 8. Is q(m) a multiple of 4?
True
Suppose 14 + 6 = 4*t. Suppose 0*v = t*v - 170. Is v a multiple of 22?
False
Let b = -1 + 1. Let s(u) = -13*u + 1. Let d be s(-3). Suppose b*x - d = -2*x. Is x a multiple of 10?
True
Let n = -4 + 0. Let p be (-6)/n - 1/(-2). Suppose -2*h = 4*g - 48, p*h - 27 + 96 = 5*g. Does 8 divide g?
False
Suppose 0*k = 2*k - 4. Is k/4*(-4 + 10) even?
False
Suppose -3*t - v + 27 = 0, -v + 6 = -2*t + 29. Suppose -d + 0 = 5*m - 5, -m = -3*d - 17. Suppose m*x - t = x. Is x a multiple of 5?
True
Let i(b) = 7*b**2 + 3*b - 2. Let r be i(-3). Suppose 0 = 5*q - 48 - r. Is 10 a factor of q?
True
Is 41 a factor of (-5)/(-50)*-4 - 207/(-5)?
True
Suppose -7*x + 198 + 2021 = 0. Is 17 a factor of x?
False
Let z(a) = -a - 1. Let k be z(1). Let f be (-2 - 139) + 2 - k. Let i = -97 - f. Is i a multiple of 15?
False
Let v(h) = h**3 - 5*h**2 - 7*h - 4. Let s be v(6). Let g be (-736)/s*(-10)/(-2). Is g/14 - 8/28 a multiple of 13?
True
Let f(o) be the third derivative of o**5/60 + 5*o**4/24 + 2*o**3/3 - 2*o**2. Does 9 divide f(-7)?
True
Suppose 3*l - 21 = -0*c - c, 4*l = 4*c + 28. Is 2 a factor of l?
False
Suppose -24*c + 19*c + 120 = 0. Does 6 divide c?
True
Suppose 0 = b - 11 + 8. Let c(f) = 11*f + 6. Is c(b) a multiple of 13?
True
Suppose 2*c + 2*c = -5*z + 18, -3*c = 2*z - 10. Let h(v) = z*v + 1 - 2*v + v**3 - 3*v**2 + 3*v. Does 4 divide h(3)?
False
Suppose 0 = -3*c - 2*c + 5*u + 420, 0 = c - 4*u - 96. Is 20 a factor of c?
True
Let g(y) = -20*y + 6. Is 17 a factor of g(-3)?
False
Let j(s) = -s**2 - 3*s - 3. Let u be j(-3). Let k(h) = h**3 + 3*h**2 - 2*h + 2. Let v be k(u). Let r(t) = -t**2 + 12*t - 9. Is r(v) a multiple of 14?
False
Does 8 divide 11/(-22) + (-254)/(-4)?
False
Let u(l) = -5 + l**3 + 4 + 4. Let q be u(0). Suppose 13 = q*p - 41. Is 9 a factor of p?
True
Suppose -5*j - b + 12 = -4*j, j = -5*b + 12. Let m be j/4 - (1 - 2). Suppose -3*l = 4*y - 10, -3*l - 2*l + m*y + 38 = 0. Is 2 a factor of l?
True
Suppose 273 = 9*y - 213. Is 27 a factor of y?
True
Suppose 0 = -3*z - 0*z + 12. Suppose -4*o - 164 = -7*o + 5*p, -p - z = 0. Does 20 divide o?
False
Suppose -p - 9 = -4*p. Does 9 divide 1*((12 - p) + 3)?
False
Let k = -19 + 28. Does 9 divide k?
True
Let h be -36 + 3 + (2 - 3). Let j = h - -54. Does 10 divide j?
True
Let z(k) = k - 12. Let x be z(5). Let i be (-2)/(-7) + (-5)/(-7). Is (x/(-2) - i)*8 a multiple of 14?
False
Let i = 14 + -2. Let c be 1/(-2*(-1)/i). Is 10 a factor of 54/21*28/c?
False
Does 20 divide 20*-16*(2 - (-33)/(-12))?
True
Suppose 0*i = -2*i - 6. Let b be -3 - (-1)/(i/(-12)). Does 4 divide 9 + (2/b - 1)?
False
Let y(v) be the second derivative of 5*v**3/6 - 7*v**2 + 2*v. Let q be y(10). Let t = -18 + q. Is 6 a factor of t?
True
Let u = 2 + 0. Let p be (-4)/14 + (-93)/(-7). Suppose 3 = -u*d + p. Is 4 a factor of d?
False
Let w(o) be the second derivative of 1/6*o**4 + 0 - o**3 - 3*o - 1/2*o**2. Is 12 a factor of w(5)?
False
Suppose 5*j = -5*q + j + 376, 0 = -3*j - 3. Is 17 a factor of q?
False
Let q = 22 - 14. Is 6 a factor of q?
False
Suppose 4*o + o = 140. Suppose 2*c + 2*c - o = 0. Is 3 a factor of c?
False
Let i(y) = y + 5. Is i(3) a multiple of 2?
True
Is 12 a factor of 572/12 - (-2)/6*1?
True
Let s(m) = m**3 + 4*m**2 - 7*m - 5. Let z be s(-5). Let h be (-13)/(-3) + z/(-15). Suppose 0 = -2*r + n - h + 31, 0 = -2*r - 4*n + 32. Is 9 a factor of r?
False
Suppose -4*g + j = -6, -4*j + 12 = 2*g - 0*g. Suppose -5*x + g*x + 9 = 0. Does 2 divide x?
False
Let z(d) = -d**3 + 9*d**2 + 11*d + 31. Is 10 a factor of z(9)?
True
Let t be (-22)/(-1)*12/(-6). Let l = -28 - t. Is 9 a factor of l?
False
Let y = 90 + -45. Does 9 divide y?
True
Let h(i) = 15*i + 6. Does 21 divide h(8)?
True
Suppose 0 = 2*y + 3*y. Suppose 3*c - 2*h = 18, -5*c + 30 = -y*c + 2*h. Does 3 divide c?
True
Is 2940/77 + (-6)/33 a multiple of 13?
False
Suppose 0 = 5*h - z - 177, 5*h + 2*z - 267 = -81. Does 12 divide h?
True
Let l be (-1)/((-18)/15 + 1). Suppose 2*c - l = c. Suppose 0 = b - 5*o - 8, -4*b + 47 = -c*o - 0*o. Does 13 divide b?
True
Let h(m) = 2*m - 3. Let c be h(4). Suppose -c*p - t + 80 = -4*t, 4*p = 5*t + 77. Is 7 a factor of p?
False
Let n be -8*(-2 - -1) - 2. Let l(r) = -2*r + 15. Let p be l(13). Let d = n - p. Does 6 divide d?
False
Suppose 0 = -4*q - 4*p + 28, 5*q - 7 - 4 = p. Suppose 0*i + 36 = q*i. Let m = 17 - i. Does 2 divide m?
False
Let x(j) = 2*j**2 + j - 1. Let v(s) = -3*s**2 - s + 2. Let y(o) = -6*v(o) - 10*x(o). Let h be y(-2). Is -37*((-2)/(-2) + h) a multiple of 14?
False
Let u(w) = w**3 + 15*w**2 - 17*w + 13. Is 5 a factor of u(-16)?
False
Let h(w) = 6*w + 2. Let z(l) = -l - 5. Let b be z(-9). Is h(b) a multiple of 13?
True
Let t(i) = -i**3 - 4*i**2 - 4*i + 1. Let s be t(-3). Suppose -d - s = -2*d. Suppose -d*a - o + 135 = 2*o, -5*o - 61 = -2*a. Does 13 divide a?
False
Let q(v) be the second derivative of v**4/12 - 3*v**3/2 + 5*v. Is 9 a factor of q(11)?
False
Let l(q) = 3*q**3 - 2*q**2 - q - 1. Let s be l(2). Let p = 28 - s. Is p a multiple of 15?
True
Suppose -t + q = 0, 20 = t - q + 4*q. Let p be 0/t - (-102)/2. Suppose 4*a - p - 49 = 0. Is 25 a factor of a?
True
Let p(m) = 5*m + 3. Does 15 divide p(7)?
False
Let p(y) = 52*y**3 - y**2. Let u be p(1). Let s = 25 - 48. Let b = s + u. Is b a multiple of 14?
True
Let y = 18 - 75. Let w = 87 + y. Is 15 a factor of w?
True
Let m = 143 - -147. Let j = m - 184. Suppose 3*o + 2*a - j = -17, -4*o + 3*a = -147. Does 15 divide o?
False
Suppose 3*w = 9*w - 282. Is 22 a factor of w?
False
Let u(j) = -j**2 - 14*j + 1. Let m(a) = a**2 + 13*a. Let q(k) = 6*m(k) + 5*u(k). Is 14 a factor of q(-9)?
True
Suppose 2*b + b = -4*i + 437, 0 = -5*b + 15. Is i a multiple of 22?
False
Suppose -4*x + 9*x - 30 = 0. Is 6 a factor of x?
True
Let a be (9/(-3))/((-3)/5). Let t be (-124)/(-5) - (-1)/a. Let q = 47 - t. Is 8 a factor of q?
False
Let v(s) = 10*s**2 + 2*s + 1. Let a = 14 + -10. Suppose -3*z + 5 = -2*u, 2*u - u + 5*z = a. Is 9 a factor of v(u)?
True
Suppose 0 = 2*w + 14 - 6. Does 12 divide (-301)/(-14) - 2/w?
False
Suppose 193 = 5*p - 4*f + 23, 175 = 5*p - 5*f. Does 15 divide p?
True
Let v(o) = o**2 + 4*o + 5. Let y be v(-4). Let z = y + -2. Suppose 0 = z*u + 2*u - 75. Does 15 divide u?
True
Is 25 a factor of ((-46 - 4)/1)/(-2)?
True
Let s(j) = 20*j + 108. Let y(f) = -7*f - 36. Let z(v) = 6*s(v) + 17*y(v). Is z(0) a multiple of 12?
True
Let a(d) = -230*d + 1. Is a(-1) a multiple of 33?
True
Let j(u) = 65*u**2 + 2*u - 2. Is 21 a factor of j(1)?
False
Let o(v) be the third derivative of 0 + 0*v + 2*v**2 + 1/120*v**6 + 2/3*v**3 - 1/20*v**5 - 1/3*v**4. Does 7 divide o(5)?
True
Let n(c) be the third derivative of -c**4/6 - c**3 + 4*c**2. Does 18 divide n(-6)?
True
Let k(i) = -i**3 - 3*i**2 + 1. Let o be k(-1). Let p be 12 + (3 - (2 + o)). Let q = 0 + p. Does 14 divide q?
True
Let k be (-5)/(-10) + 326/4. Let w = k - 28. Is w a multiple of 18?
True
Suppose 2*y + 0 = -3*n + 4, 3*y - 19 = 2*n. Suppose 0 = -2*j - 4*l - 2, -2*j - y*l - 7 = -3. Suppose 4*a = -m + 28, j*m + 7*a = 3*a + 44. Is 8 a factor of m?
True
Let q(z) = z**3 - 7*z**2 + 8*z + 8. Let o be q(7). Suppose 0*a = 4*y - 2*a - 64, o = 4*y + 4*a. Does 6 divide y?
False
Let c be -32 + 0 + -1 + -1. Let g be (2/(-3))/(1/30). Let u = g - c. Is 7 a factor of u?
True
Let l(m) = m**3 + 3*m**2 - 1. Let t be l(-2). Suppose a - 50 = y - 1, 3*a - 165 = -t*y. Suppose -3*g - 13 + a = 0. Is g a multiple of 13?
True
Let b(d) be the first derivative of -d**2 - 12*d - 2. Let o be b(-8). Let z(g) = g**3 - 5*g**2 + 4*g + 4. Is 4 a factor of z(o)?
True
Suppose -i + 18 + 26 = 2*s, 4*s = 4*i + 88. Is s a multiple of 11?
True
Let f = 149 - 49. Let z = f + -67. Does 11 divide z?
True
Suppose -3*y + 2*d + 134 = 6*d, 3*y + d - 137 = 0. Let p = y - 24. Let k = p - 10. Does 6 divide k?
True
Suppose -2*u + m + 82 = 0, m = u + 4*m - 27. Is 39 a factor of u?
True
Let n(w) = w**3 - 3*w**2 + 7*w - 16. Is n(5) a multiple of 21?
False
Let g = -27 + 6. Let c = 49 + g. Is c a multiple of 14?
True
Let o(b) be the first derivative of -2 + 2*b - 11/2*b**2. Does 12 divide o(-3)?
False
Suppose -5*z - 23 = 5*w - 3*w, -z = w + 4. Is 34/(((-2)/(-1))/w) a multiple of 9?
False
Suppose 3*o + 5 = -4*p - 0*p, -3*p = 15. Is o a multiple of 5?
True
Let f(l) = -l - 4. Let 