 1. Let g(j) = -30*j + 1. Does 16 divide g(q)?
False
Suppose -4*d + 729 = -3*o, 5*d + 7*o - 2*o = 885. Is d a multiple of 36?
True
Let f(y) = -2*y - 7. Suppose 3 = -5*o - 2. Let x(m) = -m - 1. Let g(w) = o*f(w) + 4*x(w). Is g(-5) a multiple of 13?
True
Let l(j) = j + 27. Is 5 a factor of l(-9)?
False
Let z be (9/6)/((-2)/(-4)). Let k(t) = t + 2. Let h be k(z). Suppose 90 = h*v - 2*v. Is v a multiple of 15?
True
Let v(y) = 2*y**2 + 15*y - 1. Is v(-8) a multiple of 7?
True
Suppose -3*v + 296 = 17. Is 15 a factor of v?
False
Suppose q - 3 - 17 = 0. Suppose 0 = 2*h - 7*h + q. Suppose 62 + 62 = h*c. Is c a multiple of 14?
False
Suppose -339 - 66 = -5*a. Is 27 a factor of a?
True
Let q(m) = -m + 31. Let a be q(0). Let k = -45 + 28. Let c = a + k. Is 7 a factor of c?
True
Let t(r) = r**3 - 6*r**2 + 4*r + 4. Let b be t(5). Let s be (3/b)/((-15)/(-20)). Let o(h) = -3*h + 4. Does 7 divide o(s)?
False
Suppose -b - 39 = -5*r, 4 = 3*r + 5*b + 3. Is 2 a factor of r?
False
Suppose -3*p + 5*v = 15, 12 = -5*p + 2*p + 4*v. Suppose -5*j - m + 219 = 0, 3*j - 2*j - 5*m - 49 = p. Is 11 a factor of j?
True
Let s(q) = -12*q - 9. Is 12 a factor of s(-2)?
False
Let k(f) = -f**3 - 5*f**2 + 7*f + 8. Let d be k(-6). Suppose v = -v - d. Does 10 divide 0 + v + 0 + 11?
True
Suppose 2*b = 6*b - 200. Is b a multiple of 10?
True
Let o = 9 + -12. Let k be 55*o/((-30)/4). Let b = k - -25. Does 14 divide b?
False
Suppose 0*q - 4 = -q. Does 2 divide q?
True
Suppose 8*z - 20 = 3*z. Let r(s) = 0*s - 2 + 3 + z*s + s. Is 5 a factor of r(3)?
False
Let s be ((-3)/(-2))/(12/376). Suppose 3*h - 91 - s = -4*q, -12 = -4*q. Is 14 a factor of h?
True
Let t(p) = -p**2 + 5*p + 8. Let a be t(7). Let y be -2*(0 - a/(-4)). Suppose -4*c - 2*n + 92 = -y*n, -5*c = -n - 114. Does 10 divide c?
False
Let w(y) be the third derivative of y**4/12 - y**3/6 - y**2. Let z be w(-3). Let a = -2 - z. Is 5 a factor of a?
True
Let h(f) = 2*f + 4. Does 14 divide h(5)?
True
Let c(t) = t**3 + 6*t**2 - 3*t. Is 10 a factor of c(-6)?
False
Suppose 2 = 3*x - 4. Suppose 0 = -3*p - c - 2, -2*c - 3*c - 10 = -p. Suppose 0 = -p*s - x*s + 28. Does 7 divide s?
True
Suppose -5*r - 20 - 66 = -3*w, -r = 4*w - 130. Is 2 a factor of w?
True
Let l = -9 + 17. Let o(d) = d + 1. Let k be o(l). Let h = k + -5. Is h a multiple of 4?
True
Let w(l) = l. Let p(h) = h. Let t(a) = 14*p(a) - 6*w(a). Is t(5) a multiple of 22?
False
Suppose -126 = 13*t - 16*t. Is t a multiple of 14?
True
Suppose -267 = -9*f + 165. Is f a multiple of 17?
False
Suppose 0*s = -s + 2. Suppose -t = s*t. Let o = 15 + t. Is 11 a factor of o?
False
Suppose -3*c + 89 - 11 = 0. Suppose -5*r - 2*k + 188 = -c, -122 = -3*r + 2*k. Is 19 a factor of r?
False
Suppose -12*l + 22*l - 220 = 0. Is 2 a factor of l?
True
Let s be (39/(-6))/((-2)/(-4)). Let b = 24 + s. Is b a multiple of 4?
False
Let w = -19 + 111. Suppose 0 = 2*c - 4*z - 18, 4*c + z = -29 + w. Is 5 a factor of c?
True
Let p = 557 - 369. Is 47 a factor of p?
True
Let w(j) = 5*j**2 - j - 7. Let z(d) = d**2 + d - 1. Let b(l) = -w(l) + 4*z(l). Let p be b(5). Suppose -o - 4*t = p*o - 132, 4*o = 4*t + 148. Does 16 divide o?
False
Suppose 5*v + b + 2*b = 75, v - 5*b - 15 = 0. Let k = 8 + -5. Suppose -u + 1 = -1, 3*c = -k*u + v. Is c a multiple of 3?
True
Let g(m) = m**3 + m**2 - m + 22. Let z(d) = -d**2 - d + 7. Let n be z(0). Let p be 2/n - (-2)/(-7). Does 11 divide g(p)?
True
Suppose -o + 154 = 2*c, -5*c + 386 = -2*o + 4*o. Is c a multiple of 27?
False
Let u(p) = 12*p - 1. Let l be u(-6). Is 12 a factor of (-2 - (3 + l)) + 0?
False
Let u(i) = -i - 11. Let b be u(-13). Suppose -b*x = -x - 21. Does 11 divide x?
False
Does 8 divide (-2 - 5/(-4)) + (-2004)/(-48)?
False
Suppose -3*x - 10 = -c, -c - 2*c + 5*x = -22. Suppose g + 36 = 7*p - 2*p, -12 = -c*p + 5*g. Is p a multiple of 2?
True
Let b be (-8)/3*(-6)/4. Suppose -3*o - 11 = -b*i, -7*o + 2*o = -3*i. Does 5 divide i?
True
Let l(y) = 3*y**2 + 23*y + 16. Does 28 divide l(-13)?
True
Suppose m - 8 = -5, 0 = 3*g - m - 237. Let s = -42 + g. Is s a multiple of 14?
False
Suppose -2 = g - 2*a, 2*g - 4 = -2*g + 2*a. Suppose 3*b = -g + 17, 4*r + b + 19 = 0. Does 6 divide (-92)/r - (-2)/(-6)?
False
Suppose 0*a - 5 = -a. Suppose 0 = -r + 5, -a*q = -r - r - 95. Does 7 divide 7/q + (-52)/(-6)?
False
Let y(p) = p**2 + 6*p + 5. Let o be y(-5). Is -2 + (0 - o) + 4 a multiple of 2?
True
Let q(h) = 2*h + 2. Let a be q(5). Suppose 3*d + 7*s = 4*s - a, -2*s = -2*d + 8. Suppose 3*y + 2*y - 265 = d. Is 20 a factor of y?
False
Let q(k) be the first derivative of -5*k + 1 - 4*k**2 + 2*k**2 + 0*k**2. Does 6 divide q(-5)?
False
Let v = 0 - -10. Let i = -4 - v. Is (-32)/i + 4/(-14) a multiple of 2?
True
Suppose 52 = 2*w - 216. Is 30 a factor of w?
False
Let r = -29 + 61. Is r a multiple of 32?
True
Suppose 3*h = 8 + 37. Suppose -j = 4*j + h. Does 5 divide (2 + j)*-6 + 2?
False
Let k be 200 + (-3 - -2) - 1. Is 15 a factor of k/3 - 0/4?
False
Let v be (-6)/((-3)/(-2) - 3). Suppose u - 146 = -j, -v*j + 440 + 143 = 3*u. Suppose -5*m + j - 55 = 0. Is m a multiple of 9?
True
Let l(g) = 6*g + 6. Let p be l(-2). Let u(i) = i**3 - 2*i + 5 + 7*i**2 + 0*i + 4*i. Is 10 a factor of u(p)?
False
Let h(z) = -11*z - 1. Let f be h(-2). Suppose -g + f = -0*g. Is g a multiple of 14?
False
Is (-189)/(-39) - 4/(-26) even?
False
Let y be ((-10)/4)/(1/(-2)). Suppose 2*f = w + 12, y*f - 39 = -w - w. Is f a multiple of 7?
True
Suppose 0 = 3*b + 2*b. Suppose -t + 5 - 3 = b. Suppose -3*s + 88 = -t*o, -3*s = -0*s - o - 86. Is 19 a factor of s?
False
Let h(p) = -p**2 + 8*p - 3. Suppose 2*y + 26 + 2 = -5*o, 0 = -4*y + 5*o - 56. Let d = -8 - y. Is 9 a factor of h(d)?
True
Let b(y) be the second derivative of y**4/12 - 3*y**3/2 + 11*y**2/2 + y. Let q be b(8). Let i(x) = 4*x + 3. Is 15 a factor of i(q)?
True
Suppose -5*j = -4*q - 31, -j = -0*j - 3*q - 15. Let u be 50 + (2 - (3 - 3)). Suppose j*s - u = -s. Does 5 divide s?
False
Suppose 9 = 5*f - 16. Suppose f*g - r - 90 = 0, 2*r - 5*r = 4*g - 91. Does 6 divide g?
False
Let m = -4 + 3. Let q(d) = 5*d**2 - d. Let a be q(m). Is (-58)/3*(-9)/a a multiple of 12?
False
Let j = -853 + 1310. Is j a multiple of 53?
False
Let p(y) = -3*y. Suppose 2*n = -3*k - 19, -n + 3*n = 3*k + 35. Is p(k) a multiple of 8?
False
Does 13 divide (2 - 3) + (-3 - -79) + 2?
False
Let m(p) = p**3 - 3*p**2 - 5*p + 6. Let a be m(4). Let t be -1*(-1 + 6) + a. Is (t/(-3))/(-1)*-10 a multiple of 6?
False
Suppose 6*n - 96 = 3*n. Is n a multiple of 10?
False
Let d(u) = -2 + 0*u - 2*u + 0. Let x be d(-2). Suppose 3*b - 2*j - 18 = 0, 4*j + 4 = -x*b - 0. Does 4 divide b?
True
Let k(z) = z**3 - 5*z**2 + z - 2. Let d be k(5). Suppose d*y = -2*y + 35. Suppose 2*j - 5*t = 53, 0 = 4*j + 3*t + y - 48. Does 14 divide j?
True
Let o(h) = -h**2 - 12*h - 12. Is o(-9) a multiple of 15?
True
Let q be 8/(-36) - (-1695)/(-27). Let m = q - -118. Is m a multiple of 16?
False
Suppose -6*x + 16 = -4*x. Does 4 divide (-12)/3*(-26)/x?
False
Let n(c) = c + 4. Let d be n(10). Let k(b) = -b**2 + 16*b + 20. Is k(d) a multiple of 24?
True
Let z = 103 + -12. Is 13 a factor of z?
True
Suppose -m = -1, 5*d - 113 = 4*m + 3. Let q = 67 - d. Is 14 a factor of q?
False
Suppose -57 = -2*f - h, 66 = 2*f + 7*h - 3*h. Is 9 a factor of (80/(-24))/((-2)/f)?
True
Let m = 108 + -96. Is 12 a factor of m?
True
Suppose 3*h = -2*h + 160. Is 15 a factor of h?
False
Let i be -1 + (-2)/(-2) + 17. Let d = 8 + i. Is d a multiple of 10?
False
Let l(h) = 8*h**2 - 8*h + 5. Let u(k) = k**2 - k + 1. Let q(m) = l(m) - 4*u(m). Is 19 a factor of q(3)?
False
Let r be (8/(-3))/(2/(-27)). Let k = -17 + r. Let i = k - 4. Does 9 divide i?
False
Let t(h) = h**2 + h**3 - 2*h**3 - 2 - 3*h + 0*h. Let j be t(-2). Let s = -6 + j. Is 4 a factor of s?
False
Let y = 9 - -31. Is 20 a factor of y?
True
Let n(k) = k**3 + 4*k**2 - 6*k - 1. Let g = -7 + 2. Let q be n(g). Suppose 4 = 5*a - q*f - 0, 2*a = -5*f + 28. Is a even?
True
Let s = -19 - -109. Is 10 a factor of s?
True
Let s(z) = -z**2 + 7*z - 1. Let a be s(6). Suppose 0 = a*o + 5*q - 135, 4*q - 5*q = 0. Suppose k + 3*m = 9, 2*m + 51 + o = 4*k. Is 6 a factor of k?
True
Does 17 divide ((-1)/(4/(-42)))/((-2)/(-4))?
False
Suppose 0*i - 3*b = i - 87, 0 = -i - 2*b + 92. Suppose -n = -3*n + i. Is n a multiple of 14?
False
Let z(o) = o**3 + 7*o**2 