49. Does 4 divide b?
False
Suppose 0 = -4*w + 2*t + 6166, 4*t = 5*t + 1. Is 67 a factor of w?
True
Suppose 0 = -5*v - 4*p + 9, 3*v + 0*p = 2*p + 1. Suppose 7 = 2*n + v. Suppose 4*j - 35 = 3*j - b, -j = n*b - 25. Is 17 a factor of j?
False
Let g be 19*(4 + -8 + 5). Let m = g - -5. Is m a multiple of 12?
True
Suppose 5*u = -0*q - 2*q + 45, -q = -4*u + 23. Suppose 0 = -u*m - 131 + 761. Does 6 divide m?
True
Let g be (-14)/(-4)*54/63. Suppose -2*u + 7 = -b - 8, -2*b - 21 = -g*u. Is 3 a factor of u?
True
Suppose -2450 = -19*q + 894. Is 3 a factor of q?
False
Suppose 0*t + 4 = -4*t, 0 = -n - t + 371. Is 40 a factor of n?
False
Let m(h) be the second derivative of -2*h**3/3 - 4*h**2 - h. Is m(-4) even?
True
Suppose 3*l + 1 = 13. Suppose 2 = -3*x - l. Let n(s) = -10*s - 1. Is n(x) a multiple of 12?
False
Suppose 2*w - 2 = 4. Suppose 4*i = -k + 69, 96 = 5*i + w*k + 15. Suppose -h + 7 + i = 0. Does 5 divide h?
True
Let b(a) be the first derivative of -10*a**3/3 + a + 1. Let j(k) = 10*k**2 - 1. Let q(n) = -3*b(n) - 2*j(n). Is q(3) a multiple of 28?
False
Let p be -4 + 4 + 20/5. Suppose 1 = -p*c + 41. Is c even?
True
Suppose 3*t = -5*c + 1102, 3*t = -c - t + 217. Suppose b - 114 = 3*s - 5*s, -2*b + 3*s + c = 0. Does 35 divide b?
False
Let h(v) = 5*v + 0*v - 10 + 3*v**2 - 2*v. Let p be h(9). Suppose 3*n - 4*j - 69 - 136 = 0, 4*n - 2*j = p. Is 21 a factor of n?
True
Let z = 12 + -16. Let l be (2/z)/((-9)/36). Suppose 6*k - l*k = 224. Is 14 a factor of k?
True
Let m = 27 + -27. Suppose -5*r + 13 + 7 = m. Suppose -4*g + 12 = -g, r*b - 64 = -g. Is b a multiple of 3?
True
Let f(u) = -u**3 + 6*u**2 - 8*u + 3. Let l be f(4). Suppose -l*j = -4*m - 897, -9*j = -4*j + 5*m - 1530. Is j a multiple of 25?
False
Let p = 279 + -113. Is 2 a factor of p?
True
Let v be (-21)/(-28) - (-109)/4. Suppose -5*s - 4*z = -v, 5*s - 14 = 2*z + z. Suppose a - 6*a - s*x = -48, 3*x + 26 = 4*a. Does 8 divide a?
True
Let y be 1/(((-2)/(-42))/((-3)/(-9))). Let f(n) = n**2 - 2*n - 11. Does 24 divide f(y)?
True
Let k(d) = d**3 + 9*d**2 - 10*d - 6. Is k(-5) a multiple of 3?
True
Suppose -2*d - 5*g - 133 = 0, g + 2*g + 127 = -2*d. Suppose 2*u = 5*w + 166, -2*u + w + 56 = -110. Let s = u + d. Is s a multiple of 6?
True
Let i = -15 + 35. Suppose -i*a = -3*a - 2414. Is 15 a factor of a?
False
Suppose 0 = -3*f + k + 65, -f = -4*f + 3*k + 69. Let h(s) = -s**3 + 22*s**2 - 17*s - 16. Does 5 divide h(f)?
False
Let l(d) = d**3 - 26*d**2 - 66*d - 112. Does 7 divide l(29)?
True
Let x(l) = -l**3 - 5*l**2 - 9*l - 21. Let c(v) = -v**3 + 17*v**2 - v + 10. Let m be c(17). Is 10 a factor of x(m)?
True
Suppose 21 - 1 = -5*j. Let a(c) = -4*c + 12. Does 7 divide a(j)?
True
Let x(q) = -29*q + 504. Is 86 a factor of x(-5)?
False
Suppose 0 = -2*y + 4*q - 3 - 23, -2*y - 4*q = 42. Let u(j) be the first derivative of -j**4/4 - 6*j**3 - 10*j**2 + 23*j + 18. Does 37 divide u(y)?
True
Suppose -5085 = -6*k + 579. Is 59 a factor of k?
True
Let d = 1627 - -371. Does 18 divide d?
True
Let o be (24/10)/((-2)/(-15)). Let s be (-116)/36 + 4/o. Is (-2 - (0 + s))*18 a multiple of 18?
True
Suppose 7*l + 0*l - 42 = 0. Suppose 0 = -l*c + 66 + 66. Is 5 a factor of c?
False
Suppose 5*m + 81 = 256. Is 5 a factor of m?
True
Suppose 19*b - 682 - 28654 = 0. Does 11 divide b?
False
Suppose 2*s - 969 = -4*u - 3*s, 723 = 3*u + 5*s. Suppose -2*k - 3*z + u + 119 = 0, 0 = 4*k + z - 755. Does 13 divide k?
False
Let d(r) = 43*r + 2. Let u(m) = -85*m - 3. Let h(l) = 5*d(l) + 2*u(l). Does 7 divide h(1)?
True
Let o(p) = p**2 + 3*p + 2. Let h be o(-3). Suppose 2*f + 30 = l, h*l + 108 = 6*l - 4*f. Does 6 divide l?
True
Suppose 10*p - 8595 + 2755 = 0. Is 13 a factor of p?
False
Suppose -2*i - 1283 = -5*g, 0 = -4*g - 8*i + 13*i + 1040. Is g a multiple of 47?
False
Let j = 115 + -47. Let q = 81 - j. Does 4 divide q?
False
Does 13 divide -162*39*2/(-12)?
True
Suppose -2 - 1 = f + 3*x, f - 9 = 3*x. Suppose 394 = f*y - c, -553 + 33 = -4*y + 4*c. Let m = -69 + y. Is 21 a factor of m?
True
Let p = 10 - 22. Is 21 a factor of -3*5*64/p?
False
Let k(g) = -g**3 + 26*g**2 - 19*g - 50. Is k(25) a multiple of 50?
True
Suppose 990 = 16*q - 5*q. Suppose s + 3*p - q = -s, 4*s - 200 = 4*p. Is s a multiple of 4?
True
Suppose -4*m - 25 = -73. Let f = -7 + m. Suppose 0*s = -f*s + 195. Is 12 a factor of s?
False
Let m(b) = 5*b**2 - 8*b - 5. Let s be ((-5)/(-4))/((-19)/(-380)). Suppose 4*k = -5*y + s, -2*k = 4*y - y - 15. Is 16 a factor of m(y)?
True
Suppose -11 - 9 = 2*p. Is 15 a factor of (-144)/(-32)*p/(-3)?
True
Let i(v) = -v**2 + 10*v - 5. Let d be i(9). Suppose j = 2*j + d. Let l = j + 54. Is 14 a factor of l?
False
Is 2 a factor of 10 - 12/(2/7*7)?
True
Suppose 3*i + 7 = -2*s, -4*s + 8 = -5*i - 33. Let r(g) = 7*g + 42. Is 3 a factor of r(i)?
False
Let y(m) = -m**3 - 8*m**2 + 4*m - 19. Let c be y(-8). Let a be -1 - (24 - (0 + -2)). Let x = a - c. Is x a multiple of 12?
True
Let r(h) = -h + 29. Let s be r(11). Is 3 a factor of (0 + s)/((-2)/(-6)) + -2?
False
Is -12*((-7117)/3)/11 a multiple of 68?
False
Let m(k) = 2*k**2 + 31*k. Is 6 a factor of m(6)?
True
Let j = 710 + 49. Does 69 divide j?
True
Let o = -449 - -589. Is 8 a factor of o?
False
Suppose 0*u + 5*u - 400 = -q, -2*q + 800 = -4*u. Is 20 a factor of q?
True
Suppose -9 - 35 = 2*r. Let q = 39 + r. Is q a multiple of 17?
True
Suppose f = 4*f - 894. Suppose 12*r - 470 = f. Is r a multiple of 16?
True
Let s(i) = -i**3 + 7*i**2 - 7*i - 4. Let h be s(5). Suppose 78 = -h*v + 14*v. Is v a multiple of 3?
False
Suppose 8*w + 16 = 10*w. Let p(t) = 6*t**2 - 26*t. Let l(u) = -4*u**2 + 17*u. Let z(i) = 7*l(i) + 5*p(i). Does 10 divide z(w)?
True
Let f(p) = p + 10. Let r be f(10). Suppose -3*v = -15 - 135. Let b = v - r. Is b a multiple of 12?
False
Suppose 1481 = 3*y + 3*b - 217, -5*b + 2261 = 4*y. Is 40 a factor of y?
False
Let z(p) = p**2 - 11*p - 11. Let o be z(12). Is 16 a factor of (0/7 + (0 - -83))*o?
False
Let g(i) = -33*i + 5. Let n be g(-4). Let x be -4 - (-67 - (2 - 2)). Suppose -n = -5*h + x. Is 20 a factor of h?
True
Suppose 25 = -2*u + 3*b, 4*u - 2*b + 30 = u. Let m(j) be the second derivative of -j**5/20 - 2*j**4/3 + 3*j**2 + 3*j + 6. Is 4 a factor of m(u)?
False
Suppose 2*z = -2*r + 286, 6*z - 2*z + 2*r = 564. Let k = z - 37. Is 9 a factor of k?
False
Let g(s) = -4*s + 72. Is g(-21) a multiple of 26?
True
Let i = 344 + 228. Is i a multiple of 13?
True
Is -25 - -33 - 128/(-2) a multiple of 16?
False
Let i(j) = 2*j**2 + 6*j. Does 15 divide i(-13)?
False
Suppose 36*n + 2*q + 455 = 37*n, 1846 = 4*n + 5*q. Is 9 a factor of n?
True
Let t(u) = -217*u + 415. Is 111 a factor of t(-7)?
False
Suppose 0 = -2*s + 5*s - 9. Is 5 a factor of (-8)/s*(-108)/24?
False
Suppose k + 5 = -2*n, -n = k - 0 + 1. Let j be (6/k - 13)*-3. Suppose -2*g + 7 = -j. Is 20 a factor of g?
True
Let q = 5 + 7. Suppose 2*v = q + 60. Suppose 5*i = p - 47, -p + v = i - 17. Is p a multiple of 13?
True
Let k = -177 - -196. Is k a multiple of 19?
True
Let k(x) = -2*x + 28. Let t be k(14). Suppose -5*m + 4*i + 176 = 0, m - 3*m + 4*i + 68 = t. Does 15 divide m?
False
Let h(y) = 45*y - 1. Let f be h(1). Suppose -56 = -4*r + 4*w, 3*w + f = 5*r - 16. Let k(a) = -a + 31. Does 11 divide k(r)?
True
Suppose 0*h = h - 469. Suppose -233 = -13*j + h. Is 14 a factor of j?
False
Let l be -1621*2/(-6) + 5/(-15). Suppose -7*k = 3*k - l. Is k a multiple of 18?
True
Let g(l) = -33*l + 50. Does 10 divide g(-20)?
True
Suppose 2*j - 89 = -9. Is 10 a factor of j?
True
Let w(v) = -v**3 + 11*v**2 - 2*v - 10. Let c(n) = n - 1. Let m(u) = 3*c(u) - w(u). Let z be m(11). Let a = z + -41. Is a a multiple of 7?
True
Let t(n) = n**3 - 4*n**2 + 2*n - 6. Let k be t(4). Suppose -2*w + w = 3*g - 172, g = -k*w + 64. Let z = g - 28. Is z a multiple of 14?
True
Let g(x) = -8*x**3 - 12*x**2 + 12*x - 2. Is g(-6) a multiple of 26?
True
Let v = 48 - 32. Suppose -2*z + 4*u - v = 3*z, 5*z = u - 4. Suppose -3*x + x - 5*a + 64 = 0, x - 3*a - 10 = z. Is x a multiple of 12?
False
Let f = -28 - -41. Let v = -10 + f. Suppose 0*z + v*z = 81. Does 6 divide z?
False
Suppose -p = 2*f + 1 - 4, -3*f = 3. Suppose 0 = -0*i - p*i - 1600. Is ((-6)/8)/(4/i) a multiple of 12?
True
Let h(c) = -c**3 - 6*c**2 + 17*c + 6. Let i be h(-10). Suppose 0 = 3*x - i + 26. Is x a multiple of 10?
True
Let p(m) = m**3 - 7*m**2