Is t a multiple of 7?
False
Let g(m) = -11*m**2 - 4*m. Let j(d) = 5*d**2 + 2*d. Let k(z) = -6*g(z) - 13*j(z). Is k(-3) a multiple of 7?
False
Let r(f) = 3*f + 5. Let y be r(-5). Let x(q) = q**3 + 14*q**2 + 14*q - 4. Let j(w) = w**2 + w. Let z(m) = 3*j(m) - x(m). Is 14 a factor of z(y)?
True
Suppose -3*m + 5*i + 9 = -45, -5*m + 5*i = -90. Is 11 a factor of m?
False
Let q(u) = u**2 + 4*u + 4. Let v be 0*(-2)/(-6) + 8. Let b = 2 - v. Is q(b) a multiple of 6?
False
Suppose 0 = 5*l - 3*n - 320, -2*l - 5*n = -69 - 90. Is l a multiple of 14?
False
Suppose h + 3*m = 0, h - 4*m + 2 = 3*h. Let q be (0 + (-12)/h)/1. Let k(a) = -a**3 - 4*a**2 - 2*a - 4. Is 3 a factor of k(q)?
False
Let j(x) = -18*x + 2. Suppose 0 = -2*t - 0*t. Let w = t + -2. Is 15 a factor of j(w)?
False
Suppose -g + 63 = 3*d + 8, 158 = 3*g + 2*d. Suppose 262 = 2*j - m, -3*m = 2*j + g - 306. Suppose 0 = 2*c - 7*c + j. Is 13 a factor of c?
True
Suppose -y - 8 = -2*v, -4*v + 4*y = -1 - 7. Suppose -4*n + v*n - 32 = 0. Is 16 a factor of n?
True
Let r(g) = 10*g**2 - 2*g - 1. Let n be r(-1). Suppose 31 = 2*h + 2*h - 3*i, 0 = h - 4*i - n. Does 7 divide h?
True
Let v = 2 - 1. Let a(p) = -v - 2 + 6*p - 1 - p. Is 7 a factor of a(3)?
False
Suppose 2*w - 18 = 2. Is 9 a factor of 2/w + (-792)/(-40)?
False
Let r = -5 + 37. Does 16 divide r?
True
Suppose 0 = 3*q + 2*q + 225. Let o be -1 - 0 - (2 + q). Suppose 5*b - o = 2*b. Is b a multiple of 7?
True
Let s(o) = -o**3 + 13*o**2 - 8*o - 8. Suppose -3*d = -27 - 9. Does 20 divide s(d)?
True
Let a = -6 - -29. Does 4 divide a?
False
Suppose 5*u = -3*x + 120, 4*u - 94 = -0*u - 2*x. Is 14 a factor of u?
False
Let s(p) = p**3 - 7*p**2 - 14*p + 9. Let f(k) = -k. Let r(m) = 4*f(m) - s(m). Suppose 5*o + w = -6 + 45, -4*w - 12 = -o. Does 7 divide r(o)?
True
Let t(g) = -g - 13. Let y be t(-9). Let w = y - -9. Does 4 divide w - -3*2/3?
False
Let f = -12 + 16. Does 6 divide -1*(-12)/f + 3?
True
Suppose c - 215 - 136 = 0. Is 39 a factor of c?
True
Let g = 21 + 32. Let r = g - 27. Is r a multiple of 11?
False
Suppose 201 - 9 = 3*k. Is k a multiple of 10?
False
Let m(f) = 3*f**2 - 1. Let d be m(1). Suppose -5*n + 42 = -d*n. Does 7 divide n?
True
Let w = 9 + -16. Let g = 39 - w. Is g a multiple of 23?
True
Let w be 51/9 + (-4)/6. Let m = 0 + w. Suppose 0 = -3*j - 6, -m*r = -r + 4*j - 132. Is 12 a factor of r?
False
Let o(y) = 3*y**2 - 4*y - 7. Is o(-4) a multiple of 12?
False
Let a(z) be the third derivative of -z**5/60 - z**4/8 + z**3/6 + 2*z**2. Let w be a(-2). Suppose m = 5*m - w*u - 57, -60 = -4*m + 4*u. Is 6 a factor of m?
True
Let d = 26 - 15. Suppose 73 = 4*y - d. Is 7 a factor of y?
True
Let z be 50*5/(50/(-12)). Suppose -g + 0*g = 1, 4*t - 5*g = 1. Is 10 a factor of z/(-2) + -1 + t?
False
Let k(h) = -h**3 - 5*h**2 - 4*h + 2. Suppose 3*b - 5*b = 10. Is 7 a factor of k(b)?
False
Let t(l) = -3*l - 6. Let u be t(-4). Let v(k) = k**3 - 7*k**2 + 8*k - 9. Let a be v(u). Suppose a = j - 3. Is j a multiple of 6?
True
Let t = -124 + 187. Is 23 a factor of t?
False
Suppose 2*f - 5*f = -15. Suppose 3 + 57 = f*j. Is j a multiple of 6?
True
Let t be 2/6 - 2/6. Suppose 0 = -0*u - u + 4. Suppose -2*g + 110 = 8*j - u*j, g + 5 = t. Does 15 divide j?
True
Suppose 0 = 4*c - 5 - 7. Suppose -z = -c*z. Suppose -12 = -v - 2*y + 3, -5*y - 25 = z. Is v a multiple of 15?
False
Let l(h) be the second derivative of -h**4/12 - 7*h**3/6 - 3*h**2/2 + h. Does 3 divide l(-6)?
True
Let r = 206 - 138. Let f = 114 - r. Does 29 divide f?
False
Suppose 4*j - 16 = -4*k, 3*j - j = 4. Suppose -k*d - z = -5*d + 49, -3*z = -3*d + 45. Is 5 a factor of d?
False
Let g = 161 + -59. Suppose l + 30 = g. Is 18 a factor of l?
True
Let b be ((-10)/4 - -2)*-6. Suppose -2*p + p + 23 = 4*h, -11 = 3*p - 4*h. Suppose r + 11 + 3 = p*c, -6 = -3*c + b*r. Does 3 divide c?
True
Let l = -7 - -4. Let d = 1 - l. Suppose -2*t + 0*p + 69 = -p, 5*p + 153 = d*t. Is 16 a factor of t?
True
Suppose -3*y + 171 = 4*w, 5*w - 4*y - 31 = 175. Is 16 a factor of w?
False
Suppose -8*j + 30 = -5*j. Suppose -3*v + m = -j, -v + 6 + 2 = -5*m. Suppose 2*p + 2*l - 22 = 24, v*l - 41 = -2*p. Is p a multiple of 11?
False
Suppose -7*p + 576 = -124. Does 20 divide p?
True
Suppose h - 1 - 8 = 0. Suppose 3*j - 28 = -c + 5*c, j - 5*c = -h. Does 11 divide j?
False
Let h = -31 + 83. Does 3 divide h?
False
Let p(d) = -d**3 + 6*d**2 + 4*d - 4. Is p(6) a multiple of 20?
True
Is 39 a factor of 713/4 - 2/8?
False
Suppose 0 = 2*y - 3*z - 244 - 45, 3*y + 3*z = 411. Is y a multiple of 28?
True
Let l = -5 - -20. Suppose 5*g - l = -0*g. Suppose 4*d + 4*q - 7 = 53, 0 = -g*q - 3. Is 16 a factor of d?
True
Let z(p) be the third derivative of -p**4/24 + 2*p**3 - p**2. Let h be z(7). Suppose 5*n - 98 = -o + 37, -h*n - 3*o + 135 = 0. Is 9 a factor of n?
True
Let r(y) = -y**2 - 6*y + 4. Let t be r(-5). Suppose 0 = 4*x - 71 - t. Is x a multiple of 17?
False
Suppose 3*c - 65 = -2*c. Suppose -17 - c = -2*z. Is z a multiple of 13?
False
Let a = -24 - -35. Let s = 16 + a. Does 10 divide s?
False
Let t = 107 - 57. Does 10 divide t?
True
Let y = -1 + 3. Let f = y - 3. Does 6 divide f/(14/12)*-21?
True
Suppose 4*l = 2*c + 142, -2*l + 46 = -c + 5*c. Does 14 divide l?
False
Does 25 divide ((-6)/(-5))/(10/1425) - -4?
True
Let n be 2/(((-2)/5)/(-1)). Let h = n - 5. Suppose h*j = 5*j - 65. Does 13 divide j?
True
Suppose 1 = 3*s + 7. Does 28 divide 4 + s - (-27 + 1)?
True
Let m be (4/(-6))/(4/(-30)). Suppose -2*w + 35 = m*d - w, 11 = d + w. Is 18/4*4/d a multiple of 2?
False
Let g(x) = -x**3 - 5*x**2 + 5*x - 2. Let b be g(-6). Suppose -b = -w + 1. Does 2 divide w?
False
Is (792/(-45))/(4/(-10)) a multiple of 11?
True
Does 5 divide ((-14)/(-3))/(2/6)?
False
Let w(p) = 2*p**2 - 3*p**2 - 17*p - 4 - 14. Does 6 divide w(-15)?
True
Let m be ((-2)/(-3))/(26/(-1599)). Let y = m - -64. Is y a multiple of 10?
False
Let r(m) = -m**3 + m**2 - 1. Let o(x) = -7*x**3 + 7*x**2 - 2*x - 4. Let b(i) = -o(i) + 6*r(i). Does 6 divide b(2)?
True
Let j(b) = -7*b + 9. Let o(u) = -4*u + 4. Let t(x) = 6*j(x) - 14*o(x). Let m be t(2). Let h = m - 14. Is 12 a factor of h?
True
Let x(a) = a**2 + 11*a - 13. Is 16 a factor of x(-15)?
False
Is 10 a factor of 236/6 - 2/(-3)?
True
Let w be (-18)/(-3) - (0 + 3). Suppose 0 = -w*u + 60 + 12. Is 24 a factor of u?
True
Let r be (4 - 4)/(1/(-1)). Let s = -1 + r. Let x = 7 - s. Is 8 a factor of x?
True
Suppose -2*b + 3*s + 99 = 0, -4*s = 4*b + s - 143. Is b a multiple of 21?
True
Suppose 3*u + 4*k + 204 - 571 = 0, -k - 650 = -5*u. Suppose -5*j + 46 = -u. Is 9 a factor of j?
False
Let j = -5 - -8. Suppose 4*c - 212 = -5*r, -59 = -r + j*c - 9. Suppose -r - 28 = -4*m. Does 6 divide m?
True
Suppose 5*y = 21 + 179. Is 7 a factor of y?
False
Let b be (96/28)/((-4)/(-70)). Suppose -b = t - 4*t. Does 10 divide t?
True
Suppose -4*b + 90 = -54. Suppose 3*n + 5*y - 16 = 0, 5*n - 6*y + 5*y = b. Does 4 divide n?
False
Suppose 45 = 6*u - 15. Does 10 divide u?
True
Suppose -k - 34 = -3*k. Is k a multiple of 4?
False
Let w be (-6 - 472)*(-1)/2. Let i = -161 + w. Suppose o + i = 3*o. Is o a multiple of 13?
True
Let a(p) = p - 2. Let o be a(1). Is 1/1 + (-12)/o a multiple of 9?
False
Suppose 0 = 7*n - 101 - 25. Is n a multiple of 6?
True
Let d be 20/(-6)*(-12)/8. Suppose d*i + 2*c - 21 = 0, -5*c = 5*i - 4*c - 18. Does 5 divide 58/6 - 2/i?
False
Suppose t = -2*t - 5*k + 1134, 0 = -3*t + 2*k + 1113. Is t a multiple of 11?
False
Suppose 2*l - 301 + 93 = 0. Let t = l - 43. Suppose 4*p - t = w, -p + 2*w - 43 = -4*p. Does 7 divide p?
False
Let m(n) = -n - 3. Let t be m(-6). Suppose 0 = 2*l + t*k - 80, 8*l - 3*l - 205 = -5*k. Is 17 a factor of l?
False
Suppose -l = l. Suppose -y + 3 = -l. Suppose 0 = 4*w + x - 93, 87 = -0*w + 4*w + y*x. Is 12 a factor of w?
True
Let j = 274 + -572. Let d be j/(-12) + 1/6. Let w = 45 - d. Is w a multiple of 17?
False
Suppose -12 + 32 = -4*l. Is 14 a factor of (2 - l)*(2 - -2)?
True
Let w be (-10)/(-6) - 3/(-9). Let v = -8 - w. Does 18 divide 10/25 - 356/v?
True
Suppose -4*z - 28 = -4*d, d - 4*z + 3 = -z. Is 8 a factor of 45/(-6)*(-16)/d?
False
Suppose 4*d - 63 = -g, 2*g - 7*g + 315 = 2*d. Does 12 divide g?
False
Suppose -2*f + 8 = -2*b, -3*f - 2 - 2 = 5*b. Let x(d) = -1 + 6*d + f*d + 0*d. Is x(3) a multiple of 6?
False
Suppose -192 = 2*h - 5*h. Is h a multiple of 18?