Is d a multiple of 4?
False
Let v = 143 + -80. Let j = v - 41. Let k = 38 - j. Is k a multiple of 8?
True
Suppose 5*k = c - 393 + 88, c + k = 305. Does 26 divide c?
False
Let n(q) = -q - 12. Suppose 0*x - 3*x = -5*k - 41, 0 = 5*x + 15. Let u be n(k). Is 39 + u + 3 + -1 a multiple of 14?
False
Is 62 a factor of 77400/96 + 1 + (-10)/8?
True
Let a(d) be the third derivative of d**5/20 + d**4/6 - 2*d**3/3 - 23*d**2. Is a(2) a multiple of 7?
False
Suppose -2*h = -2*v - 3950, v - 4*v + 5907 = 3*h. Is h a multiple of 29?
True
Let b be 299/39 - 4/6. Suppose b*f + 16 = 9*f. Suppose -f*x + 11*x = 150. Is x a multiple of 21?
False
Does 55 divide (59 + 1)*(-44)/(-6)?
True
Let f(g) = -103*g - 342. Does 73 divide f(-13)?
False
Let v be 1/(3 + 50/(-15)). Let t(g) = -g**3 + 3*g**2 - 3*g + 4. Is t(v) a multiple of 12?
False
Is 107 a factor of 3/(27/14184) + (-5)/1?
False
Let o(z) = 2*z - 15. Let m(k) = -20*k + 13*k + 3 - 6. Let w be m(-2). Is o(w) a multiple of 4?
False
Suppose -5*i = 2*q - 8, -5*i - 7 = -q - 18. Suppose 0 = -i*k, 0 = z + k - 4. Suppose z*a - 47 = 1. Is 5 a factor of a?
False
Suppose 0 = 4*g - 10 - 26. Let o(i) = -4*i + 10. Let s be o(g). Let w = s - -54. Does 14 divide w?
True
Let n(c) = 4*c + 39. Let i(j) = -j + 1. Let o(f) = 2*i(f) - n(f). Does 26 divide o(-15)?
False
Let p = -3 + 6. Let u be (1 - 1)/(p/1). Suppose 2*s + 4 = u, -5*s + 3*s = 3*z - 89. Is z a multiple of 12?
False
Let o(z) = -31*z + 65. Does 7 divide o(0)?
False
Let q be (-8)/(-2) - (13 - 16). Let p = q - 4. Is 3 a factor of p?
True
Let a be 4 - (-1)/(2/(-8)). Suppose a = u - 2*u + 4. Does 3 divide u?
False
Let k(g) = 163*g + 11. Let v be k(2). Suppose 3*f = 2*w + v, -w + 5*w = -4*f + 416. Does 42 divide f?
False
Let v(d) = 43*d**2 - 5*d. Let c be v(2). Suppose 2*b + 269 = 3*u, 3*u - c = 4*b + 115. Is 13 a factor of u?
False
Let v(m) = 2*m**2 - 2*m + 2. Let g be v(2). Suppose -2*o - 76 = -4*n, 3*n - g*o - 52 = -2*o. Suppose -4*i = -n, 3*h - 52 = -2*i - 0. Is h a multiple of 14?
True
Let b(y) = -2*y**3 - 13*y**2 + y + 2. Let g(i) = -i**2 + i + 1. Let w(h) = b(h) - 2*g(h). Does 14 divide w(-6)?
True
Suppose -2*o = o - 15. Suppose -5*g - 89 = -3*d + 7, 0 = -d - o*g + 52. Let k = 59 - d. Is k a multiple of 11?
True
Suppose 22 + 8 = 5*x. Suppose 203 = x*p + p. Is 8 a factor of p?
False
Let n(a) = -a - 5. Suppose 0*g - 2*g + 12 = 3*r, 5*g - 15 = -5*r. Let u be n(r). Let y = 16 + u. Does 4 divide y?
False
Let z(v) = 3*v + 62. Let y be z(18). Let q = 205 - y. Is 10 a factor of q?
False
Suppose 6*y + 7 = 4*y - a, y + 7 = -4*a. Let c(d) = 1 - d**2 + d + 3*d + 3*d**2. Does 5 divide c(y)?
False
Let f be (-5)/(-10)*-2 - 0. Is 41 a factor of (f - 3)*302/(-8)?
False
Does 2 divide 16/12*351/52?
False
Let z(l) = -8*l**3 - 4*l**2 - 1. Let i(c) = 23*c**3 + 11*c**2 + 4. Let a(x) = 6*i(x) + 17*z(x). Is a(3) a multiple of 14?
False
Let a = -44 + 45. Is 7 a factor of (-2 - -3) + a*84?
False
Let g be -3*(3 + -5 + 1). Let n be 9/g + (-6)/2. Suppose -3*s + 10 - 1 = n. Is s a multiple of 2?
False
Let l(h) be the first derivative of -6*h**2 + h + 19. Is l(-2) a multiple of 11?
False
Is 5 a factor of (5/(15/32) + 0)*6?
False
Let s = -7 - -346. Let m = -241 + s. Is 14 a factor of m?
True
Let u(j) = -j**3 + 8*j**2. Let r be u(8). Suppose -2*q + v - 19 = r, -3*q = -v - 13 + 39. Let l(k) = k**3 + 8*k**2 + 5*k + 1. Is l(q) a multiple of 6?
False
Let h(l) be the first derivative of -l**5/60 - 5*l**4/12 + 3*l**3/2 - 5*l**2/2 - 3. Let q(s) be the second derivative of h(s). Is q(-9) a multiple of 6?
True
Suppose -13*i + 5312 = -200. Is i a multiple of 4?
True
Suppose 202878 = 56*l - 17*l. Does 18 divide l?
True
Let i be 182/8 - (-2)/8. Let z = 2 + 11. Let d = i - z. Is d a multiple of 7?
False
Let q(u) = -4*u + 10. Suppose 8*w - 6*w = 0. Does 5 divide q(w)?
True
Suppose -4*i - i = -20, -i = -2*w - 4044. Is -4*1/18 - w/18 a multiple of 28?
True
Let u be (-27 - -31) + 0 + 67. Suppose -17 = 3*f - u. Does 7 divide f?
False
Suppose -2*h = -4*n + 662, h = -3*n + 525 - 36. Does 21 divide n?
False
Let b = -118 + 50. Let l = -48 - b. Is l a multiple of 5?
True
Let i = -522 - -1391. Does 22 divide i?
False
Suppose 4*j + i = 2*j - 24, 0 = -4*j + 4*i - 24. Let o be ((-48)/j)/(1/5). Let a = 10 + o. Is 8 a factor of a?
False
Let l = -18 + 32. Suppose 0 = n + 4*n + h - l, 4*h = -5*n + 26. Is 25 - 3/((-2)/n) a multiple of 28?
True
Let u(m) = 10*m - 17. Let z be u(-5). Let q = 83 + z. Is q a multiple of 16?
True
Suppose -x - 4*g = -4*x + 583, 5*x - 995 = 2*g. Is x a multiple of 16?
False
Let v(q) = 5*q**2 - 15*q + 181. Is v(9) a multiple of 3?
False
Let q be 452/20 - (-4)/10. Let y = q + -21. Suppose 84 = y*u + 5*z, 4*u - 73 = -3*z + 95. Does 14 divide u?
True
Suppose 17 = 5*m - 0*p - 2*p, 2*p = -m + 13. Let d(f) = -f**3 + 7*f**2 - 8*f + 5. Let c be d(m). Suppose 0 = -4*s - c + 7, 3*h - 58 = 5*s. Does 6 divide h?
False
Let q(n) = -n**2 - 6*n + 2. Let d be q(-6). Suppose v - 9 = 17. Suppose d*u - 22 - v = 0. Is u a multiple of 8?
True
Let x be 50/12 - 3/18. Let z = -11 + x. Let k(l) = 2*l**2 + 10*l - 3. Is 10 a factor of k(z)?
False
Let d(g) = g**3 + 31*g**2 + 46*g + 96. Is d(-29) a multiple of 6?
True
Suppose -60*r - 11845 + 87445 = 0. Is 70 a factor of r?
True
Let t(l) = -l**2 + 2*l + 75. Let g(z) = -3*z**2 + 5*z + 224. Let b(i) = 3*g(i) - 8*t(i). Is 24 a factor of b(0)?
True
Let w(x) be the third derivative of -7*x**6/120 + x**5/60 + 5*x**4/24 - x**3/2 - 7*x**2. Let d be w(-4). Suppose -6*p + d = -207. Is p a multiple of 12?
True
Suppose 2*z - p + 45 = 4, -2*z - 4*p - 16 = 0. Is (-1)/(6/z) + (34 - 1) a multiple of 6?
True
Let j(b) = -b**3 + 34*b**2 - 17*b + 89. Does 47 divide j(33)?
False
Suppose -10*z + 1524 = 904. Does 7 divide z?
False
Suppose -5*n + 2*x = -1490, x = -3*n + 909 - 4. Suppose -5*d - 2*o = -n, 0 = 4*d - o - 2*o - 240. Is d a multiple of 18?
False
Let s(d) = -2*d**2 - 4*d + 8. Let y(g) = 4*g**2 + 8*g - 16. Let q(t) = -5*s(t) - 2*y(t). Let o(x) be the first derivative of q(x). Does 10 divide o(11)?
False
Does 12 divide 1599/65 - ((-6)/(-10) + 0)?
True
Does 11 divide ((-20)/12 + 2)*405 - 1?
False
Let r(z) = -8*z - 12. Let t = 24 + -9. Let p = t - 19. Does 4 divide r(p)?
True
Let w(h) = 4*h - 4. Let d be w(8). Let s be 303/21 + (-12)/d. Is s/1*(-40)/(-28) a multiple of 7?
False
Suppose 49 = -3*g + 5*k, -2*k = -4*g - 0*k - 70. Let c = g + 23. Suppose -63 = -c*x + 47. Is 11 a factor of x?
True
Suppose v + 2*x = 2*v - 181, 5*x = 2*v - 365. Let y = -89 + v. Does 14 divide y?
False
Let y(i) = i**3 - 5*i**2 + 7*i + 6. Let r be y(4). Is (r/(-8))/((-15)/320) a multiple of 3?
True
Let g(o) = -2*o - 11 - 21 + 0 + 2. Let t be g(0). Is (54/5)/(t/(-100)) a multiple of 9?
True
Let b(s) = 3*s - 4. Let u be b(3). Let d be 2/(-8) - 1715/(-28). Suppose -u*i + d = -29. Is i a multiple of 8?
False
Suppose -3*d = d. Suppose l = -5*x + 64, 2*l + x + 48 - 158 = d. Does 27 divide l/4*(3 - 1)?
True
Suppose -2*q = -3 - 1. Suppose 2*s + 2478 = -3*k, q*k - 185 = s + 1040. Is s/(-27) + 2/6 a multiple of 13?
False
Is (14 - 3) + 425 + -2 a multiple of 31?
True
Let z(r) = r + 32. Suppose -14*y - 19 + 103 = 0. Is 24 a factor of z(y)?
False
Let a(r) = -3*r**2 + 9*r. Let x be a(4). Is (5/(-25) - x/10)*352 a multiple of 11?
True
Let u(t) = -5*t**2 + 3*t + 2. Let o be u(-1). Let d(q) = q**3 + 8*q**2 - q + 10. Is d(o) a multiple of 15?
False
Suppose -1071*v + 57666 = -1057*v. Is v a multiple of 12?
False
Suppose 4*w - 2 = -6. Let x be (224/35)/(w/(-10)). Let k = x - 28. Does 9 divide k?
True
Let k(n) = n**3 - 6*n**2 - 5*n - 14. Let h be k(7). Suppose -10*z - 87 + 377 = h. Does 13 divide z?
False
Let f = -248 - -476. Is 19 a factor of f?
True
Let v(m) = 161*m + 50. Is 11 a factor of v(4)?
False
Let u(l) = -l**3 + 2*l**2 - l - 10. Let i be u(-5). Suppose 0 = i*s - 175*s + 640. Is s a multiple of 8?
True
Let p = 1400 + -657. Is 18 a factor of p?
False
Suppose -5 = g - 15. Suppose 7*b = -7*b + 112. Let j = b + g. Is 7 a factor of j?
False
Suppose -2*j - 3434 = -3*x, 0 = -8*x + 6*x - 3*j + 2298. Is 28 a factor of x?
False
Suppose 2*s = 653 + 525. Is s a multiple of 19?
True
Let d(c) = -2*c**2 - 7*c - 3. Let x be d(-3). Suppose -4*r + 22 + 74 = x. Let v = r - 4. Is v a multiple of 5?
True
Let c(z) = -7*z**2 - 3 + 0 - 3*z + 13*z**2. Is c(-4) a multiple o