 16?
False
Let y(h) = h**3 + 5*h**2 - 6*h + 8. Let q(k) = k**3 + 6*k**2 - 7*k + 8. Let d(b) = -6*q(b) + 7*y(b). Does 4 divide d(0)?
True
Let f = -2 - -6. Let h be 6/f + 3/6. Let b = h + 6. Is b a multiple of 4?
True
Suppose 60 = 4*n - 0*n. Suppose -15 = -3*o + 2*b, -o - 2*o = 4*b - n. Suppose -3*i + 37 = -5*u, 0 = -o*u - 21 - 4. Is i a multiple of 4?
True
Suppose -8*d + 13*d + 5*x = 450, 2*d + 3*x = 177. Does 25 divide d?
False
Suppose -16 = 5*t + 9. Let w be ((-6)/8)/((-1)/8). Is 19 a factor of (-20)/w*(-17 - t)?
False
Is 1/(-8)*-4 + (-449)/(-2) a multiple of 45?
True
Suppose l = -2*x + 44, 0 = 4*l - 3*x - 59 - 172. Let b(r) = -2*r**3 + 7*r**2 - 5*r - 2. Let s be b(4). Let a = l + s. Does 13 divide a?
False
Suppose 0 = -3*c - 2*t + 11 + 8, 3*c - 3*t = -6. Suppose 0 = 5*v - 22 + 2. Suppose -v*o + 5*q = -c*o - 9, -80 = -4*o - 2*q. Is 11 a factor of o?
False
Suppose -3*u + 154 = 58. Suppose -u = x - 2*x. Suppose -r + x = 3*p, -2*r + 5 + 9 = p. Is 10 a factor of p?
True
Let x = 149 - 79. Suppose x = 5*m - 3*m. Suppose -30 = -2*f + 4*n, -2*f - 15 + m = -2*n. Is 2 a factor of f?
False
Let m = 0 + -2. Let p(q) = 7*q**2 - 4*q - 3*q**2 + 1 - 3*q**2 + 5*q. Is p(m) a multiple of 3?
True
Let l be ((1 - 7)/(-2))/1. Let c(u) = 6*u - 4. Does 4 divide c(l)?
False
Let g be (-111)/(-18) - (-1)/(-6). Suppose 0 = -3*q + q + 8. Suppose q*y + g = 18. Is y even?
False
Let c = 17 + -4. Is 6 a factor of -2*c/(-2) + 0?
False
Suppose -2*h = 3*h + 5. Let y be 75*-2*h/5. Suppose -8*l = -3*l - y. Is 2 a factor of l?
True
Suppose 136 + 104 = 5*s. Does 12 divide s?
True
Let i(v) = -v**2 + 7*v. Let h be i(7). Suppose h = 4*q - 5*p - 63, -4*p - 3 = 9. Is 12 a factor of q?
True
Let s = 10 + -6. Suppose -41 = -5*y - 4*t, -y + t + s = 3. Is 3 a factor of y?
False
Suppose 3*k - 79 = 5. Is 14 a factor of k?
True
Let r be (4/12)/((-1)/(-6)). Let g = -128 + 212. Suppose r*d = -d + g. Is 14 a factor of d?
True
Let m(x) = 2*x**3 + 9*x**2 + 4*x + 4. Is m(-4) a multiple of 3?
False
Let d = -2 - -1. Let i(q) = 5*q**2 - 1. Let x be i(d). Is 5 a factor of (-20)/x*(-1 + 0)?
True
Let p be (-25)/(-2) - 5/10. Is 50/4*(18 - p) a multiple of 25?
True
Let q = -1 + 3. Suppose q*t - 20 = -2*t. Suppose 4*w = t*h - 10*h + 24, 5*w = -5*h + 30. Is w a multiple of 6?
True
Suppose 1 + 0 = w + 4*q, -5*w - q - 71 = 0. Is 21 a factor of 42/(-5)*(5 + w)?
True
Let i be (-5)/(10/(-4)) - -8. Let w(a) = 8*a - 14. Does 17 divide w(i)?
False
Let n = 4 - 1. Let g(r) = r**3 - r**2 - 4*r. Let d be g(3). Does 15 divide n*-1 - (d - 39)?
True
Suppose 3*r - 177 = 183. Is r a multiple of 20?
True
Suppose 10 = s - 3*s - 4*x, 5*x + 18 = 3*s. Suppose 4*l = 16, -v + 0*l = -2*l - 24. Let d = v + s. Does 13 divide d?
False
Suppose 4*q = w + 112, 2*q + 0*q + 2*w - 46 = 0. Suppose q = l + 3*a, 3*a + 19 = l - 2. Is l a multiple of 8?
True
Suppose 5*p + 5*m = 0, 6 + 9 = p - 4*m. Suppose -p*a = 3*q - 45, a + 45 = 3*q - 3*a. Is q a multiple of 6?
False
Let g(y) = -y**2 - 8*y - 5. Let r(w) = w**2 + 4*w + 3. Let k be r(-4). Suppose 0 = -k*u - 2*u - 35. Is g(u) even?
True
Suppose 3*v - 176 = -5*p + p, p - 49 = -2*v. Is p a multiple of 11?
False
Let h(b) be the first derivative of -7*b**4/4 - b - 2. Let i be h(-1). Does 9 divide 1/2 - (-51)/i?
True
Suppose 0 = -5*l + 3*l + 8. Let a = -2 + l. Let z(t) = 9*t**2 - 2*t + 2. Is z(a) a multiple of 16?
False
Let h(g) = -4*g**2 - 2*g + 4. Let n(k) = k. Let x(c) = -h(c) - 3*n(c). Does 17 divide x(-3)?
False
Let b = -28 + 48. Suppose 4*k - 57 = -9. Suppose -2*l + k = -b. Is l a multiple of 8?
True
Let c be 11/(0 + 3/3). Is c + (3 - (-1 - -2)) a multiple of 13?
True
Suppose 0 = 2*u + d - 106, 3*u = -4*d + 173 - 9. Is 4 a factor of u?
True
Suppose 0 = -6*y + 770 + 1408. Is 12 a factor of y?
False
Suppose -m = -6*m, 5*r + 2*m = -275. Let a = -33 - r. Does 10 divide a?
False
Suppose -114 = -2*h - 28. Suppose 2*t = -h + 9. Let v = t - -28. Is 10 a factor of v?
False
Let x be -3 + 9/3 + 2. Suppose 2*t = -5*k + 35, x = 2*k + 5*t + 9. Is k a multiple of 3?
True
Let i = 267 + -138. Suppose i = -3*w + 6*w. Let j = w - 19. Is j a multiple of 12?
True
Let m = -48 + 69. Let f = m - 12. Suppose -f*h = -4*h - 90. Is h a multiple of 7?
False
Suppose -f - 2*t = t + 3, 0 = -4*f - 2*t + 8. Let b be -2 + f/(9/15). Suppose -3*y = i - b*i + 28, -16 = -i + y. Does 10 divide i?
True
Let x(t) be the first derivative of t**4/4 - 5*t**3/3 - 5*t**2 + 9*t - 3. Let o be x(6). Let w = o - -29. Is 14 a factor of w?
True
Suppose -497 = -0*x - 7*x. Is x a multiple of 10?
False
Let z(p) = -p**2 + 3*p. Let k be z(3). Suppose k = 3*m, 0 = 3*d + 3*m - 4*m - 219. Does 19 divide d?
False
Let v(z) = -12*z - 6. Let u be v(-3). Suppose -4*m + 2*k + u = 0, 5*k - 2*k = m. Does 3 divide m?
True
Let d = 63 - 17. Is d a multiple of 8?
False
Let j be ((-1)/(-2))/((-4)/152). Let m = 7 - j. Suppose -4*d + 2 + m = 0. Is 3 a factor of d?
False
Let u(a) = a**2 - 5*a - 12. Let f be u(7). Is ((-7)/f)/((-6)/12) even?
False
Let q(p) = 7*p**2 + 2*p + 1. Is 11 a factor of q(2)?
True
Let z(y) = -3*y - 4 + 1 + 7*y**2 + 2*y**2. Does 13 divide z(-2)?
True
Let k(m) = m**2 - 6*m + 1. Let w(j) = -j**3 - j**2 - j - 10. Let r be w(0). Let b = r + 17. Is k(b) a multiple of 6?
False
Let s(t) = -t - 2. Let a be s(-2). Let z(y) = -3*y + 18 + 0*y + 2*y. Is 18 a factor of z(a)?
True
Suppose 3*i + k = 59, 0 = -5*i + 2*i - 2*k + 58. Suppose 0 = -5*y - i, -2*z - 5*y = -4 - 2. Is 13 a factor of z?
True
Suppose -3*c + 3*d + d = 0, 0 = 4*c - 5*d. Suppose -m - 2 + 23 = c. Does 11 divide m?
False
Suppose -s + 6*a + 17 = 3*a, -109 = -5*s + 3*a. Is s a multiple of 17?
False
Let u(z) = -14*z**2 - 2 + 0*z**2 + 1 + 68*z**2. Does 16 divide u(-1)?
False
Let r(c) = -c**2 + 7*c + 1. Let a be r(4). Let g = 7 + -12. Let k = g + a. Is k a multiple of 3?
False
Suppose -5*p = 4*d - 43, d + 5*p + 0*p = 22. Let c be 0 + d + (2 - 3). Is 13 a factor of c*6*10/9?
False
Suppose 8*r = 4*r, q + 3*r = 8. Is q a multiple of 4?
True
Let s(v) = -26*v - 15. Is s(-4) a multiple of 24?
False
Let f be 27/(-4) + 1/(-4). Let k = 7 + f. Suppose 3*h + h - 28 = k. Does 4 divide h?
False
Let t be (2 - (-2)/(-2)) + 2. Let a = 6 - t. Does 3 divide a?
True
Does 12 divide 59/5 + (-12)/(-60)?
True
Suppose -5 = q + 5*v + 3, -4 = 4*v. Is 57/9 - q/(-9) a multiple of 6?
True
Let g(b) = b**2 + 6*b - 2. Let t be g(-5). Let c = 13 + t. Suppose -c - 7 = -j. Is j a multiple of 6?
False
Suppose 518 = 3*g - 382. Is g a multiple of 14?
False
Let w(d) = -d**3 - 4*d**2 + 3. Let c be w(-4). Let y = c - 1. Suppose 25 = y*s - 19. Does 9 divide s?
False
Suppose 5*f = -5, -30 = -2*m - f + 5. Is 2 a factor of m?
True
Let g(u) = 2*u**2 + u + 4. Let m be g(4). Suppose -125 = -5*k - 3*q, -m + 132 = 4*k + 4*q. Suppose -c - 8 = c, v = 5*c + k. Does 8 divide v?
True
Let j = 0 - -6. Is j a multiple of 5?
False
Let g(c) = -c**2 + 67. Let f = -5 - -5. Let w be g(f). Let r = w - 46. Is r a multiple of 21?
True
Is 4/(-8)*10 + 107 a multiple of 4?
False
Suppose 0 = 2*i - 3*k - 0*k - 31, -5*i - 2*k + 30 = 0. Is 8 a factor of i?
True
Suppose b = -2*b + 234. Is b a multiple of 26?
True
Is (-28)/(-42)*(-504)/(-3) a multiple of 5?
False
Let y = 3 + -1. Suppose 3*q = 6, y*t - 19 = -3*q + 25. Suppose h = t - 3. Is h a multiple of 14?
False
Let w be 248/12 + 2/(-3). Suppose -s - 4*s = -w. Is 6 a factor of s/18 + 104/18?
True
Let j(s) = s**2 + 9*s + 1. Let y be j(-8). Let r = -3 - y. Is r even?
True
Suppose 0 = -3*j + 4*j - 13. Let b = j - 1. Does 10 divide b?
False
Let v(z) = z**3 - 7*z**2 + 3. Let t be v(7). Suppose -5*d - 6*c = -2*c + 209, 3*c - 147 = t*d. Let q = -21 - d. Is 12 a factor of q?
True
Let b = 4 + -8. Let w = b + 2. Is 4 a factor of 2 + w - (-20)/2?
False
Let l be (-2 - 4)*376/(-16). Suppose 5*f - 149 - l = 0. Is 15 a factor of f?
False
Let j(v) = 19*v**2 + 2*v - 2. Is j(2) a multiple of 22?
False
Let n = 201 + -306. Does 13 divide (n/14)/(1/(-4))?
False
Let x = -17 - -31. Let w be (-4)/(-3)*2 - 20/(-60). Suppose 0 = f - w*f + x. Is 3 a factor of f?
False
Let z(x) = -x**2 - 8*x + 4. Suppose -3*u + 4*u = 2*b + 19, 2*u - 30 = 3*b. Let v be z(b). Suppose -2*l - 44 = -v*l. Is 12 a factor of l?
False
Is 20 a factor of (6/10)/(1/65)?
False
Let h(f) = 9 + f**3 + 12 - 9 - f**2. Suppose 5*d - 5*y = -5, 4*d - 3 = -y - 2*y. Is 12 a factor of h(d)?
T