. Does 12 divide c(w)?
True
Let x(h) = h - 3. Let b be x(-7). Let g be ((-8)/4)/(4/b). Suppose -2*z - 3*k = -3*z, 4*k - 19 = -g*z. Does 3 divide z?
True
Let v(u) = 488*u**3 - 3*u**2 + 20*u - 31. Does 14 divide v(2)?
False
Suppose -1055 = -p - 5*j + 813, -2*p + 3*j = -3788. Does 32 divide p?
True
Let g(a) be the first derivative of -a**6/120 + a**5/60 - a**4/12 + 12*a**3 - a**2 + 7. Let o(b) be the second derivative of g(b). Is 18 a factor of o(0)?
True
Suppose 5*r - 4*s = 4506 - 455, -4057 = -5*r + 3*s. Does 163 divide r?
True
Let x(c) = 8*c**2 + 4*c + 2. Let v be x(-2). Let t = v - 19. Suppose -t*h + 245 = -805. Is h a multiple of 22?
False
Let i = -7303 + 7957. Does 123 divide i?
False
Let u(i) = 12*i**3 - 30*i**2 - 40*i + 6. Is u(9) a multiple of 28?
True
Let q be 195 - -3*3/9*1. Suppose -5*u + 2*b = -q, 2*u + b = -3 + 76. Is u a multiple of 2?
True
Let f(m) = 4*m + 59. Let z be f(0). Let y = -52 + z. Let x(r) = 21*r + 32. Is 38 a factor of x(y)?
False
Suppose 9354 = 14*k + 4827 - 14709. Is 11 a factor of k?
False
Let x = 3244 - -1138. Is x a multiple of 14?
True
Let z = 22922 - -2309. Suppose 0 = -4*a + 27*a - z. Is 70 a factor of a?
False
Suppose -28496 = -5*d + i, -22*i = -3*d - 19*i + 17088. Does 20 divide d?
True
Suppose 0 = -3*a + 4*i + 30269, 0 = 11*a - 8*a - 5*i - 30268. Does 29 divide a?
False
Suppose -3*y - 27 = -3*l, 3*y = -0*y. Suppose -m = 2*q - 79, l*q - 4*q - m - 187 = 0. Suppose 37*n = q*n - 32. Is 16 a factor of n?
True
Let f be 0 + -24 + -3 + 7. Let r be (-4 - (-49)/14)/((-2)/f). Let q(a) = -a**2 - 5*a + 11. Is q(r) even?
False
Let w(n) be the first derivative of -n**4/12 + 11*n**3/3 + 12*n**2 - 36*n - 36. Let j(z) be the first derivative of w(z). Is j(16) a multiple of 20?
True
Let j = 45 - 43. Let b(r) = r**3 - 3*r**2 + r. Let w be b(j). Is w/(-8) - (-3830)/40 a multiple of 6?
True
Let s(v) = v**3 + 4. Let o(j) = -j**2 + 4. Let k(w) = -2*o(w) + 3*s(w). Let p be k(-2). Is -20*((-567)/p)/(-7) a multiple of 27?
True
Let c be (18/(-10) - -2) + (-752)/10. Let w = c + 160. Suppose 4*k + h = 397, -h = 3*k + w - 383. Is k a multiple of 18?
False
Let t = 59581 - 43334. Is t a multiple of 31?
False
Let y = -184 - -188. Suppose -3*h + 82 = 2*v - v, -v - y*h = -78. Does 20 divide v?
False
Let b(x) = -2*x - 82. Let n(r) = -r - 1. Let g(a) = -b(a) - 2*n(a). Is 44 a factor of g(23)?
True
Let k = 171 - 159. Suppose -k*t = -101 - 103. Is 2 a factor of t?
False
Suppose -y = -3*y + 5*p + 761, -p + 5 = 0. Suppose 0 = -4*q - y + 4473. Is 68 a factor of q?
True
Let m = 17 + -24. Let x be 746/4*(m - (-3 - 2)). Does 46 divide -2 + x/(-2) + 3/(-6)?
True
Suppose 8 = -2*k + 4*m, 5*m - 2 - 15 = -k. Is ((-828)/8)/1*(-2 - k) a multiple of 26?
False
Suppose -i - 37232 = -n + 10572, 3*i - 191181 = -4*n. Is 13 a factor of n?
False
Let p = -2881 - -9922. Is p a multiple of 11?
False
Suppose -47035 - 22879 - 1906 = -28*w. Is w a multiple of 27?
True
Let f = -36 + 140. Let c be (f/96 - (-2)/(-6))*4. Is (-1)/(c/306*-2) a multiple of 10?
False
Let j = -18 + 12. Let s(n) = 4*n**2 + 16*n - 4. Let k(i) = -7*i**2 - 31*i + 7. Let b(v) = 3*k(v) + 5*s(v). Is 15 a factor of b(j)?
False
Is (-13 - -14) + -6 + -1 + 1996/1 a multiple of 29?
False
Let h(w) = w**2 - 7*w + 1. Suppose -5*c + 6 - 136 = 0. Let m be (0 + c)*(-5)/10. Is h(m) a multiple of 15?
False
Is 3 a factor of (-3216)/1340*(-295)/1?
True
Let f(y) = y - 2*y + y**2 + 0*y - 3*y**3 - 2. Let t be f(-1). Suppose -3*r + 191 + 181 = t*i, 0 = -3*r + 15. Is i a multiple of 51?
False
Let w(j) = -3*j**2 + j + 2508. Is w(0) a multiple of 57?
True
Let s(h) = 2*h**3 + h**2 + h + 103. Let t be s(0). Let b = 28 - t. Is 6 a factor of 0/(-2) + b/(-5)?
False
Let j(w) = -5*w**2 + 14*w + 83. Let t be j(-5). Suppose 4*m = -4*d + 12, 0 = 4*m + m - 5*d - 35. Is (-1)/(m/(-15)) - t a multiple of 34?
False
Suppose i = 5*b - 18, -4*i + 4*b = 1 - 9. Suppose -9*x + 28 = -i*x. Suppose x + 106 = 2*d. Is 10 a factor of d?
True
Suppose 5*a = 455 - 75. Suppose -27*d + 25*d - a = 0. Let b = 66 + d. Is 7 a factor of b?
True
Let c(r) = -421*r**3 + 3*r**2 - 186*r - 377. Is c(-2) a multiple of 75?
True
Suppose -5*q + 47 - 22 = 0. Is (-1953 - (2 - q))*10/(-15) a multiple of 43?
False
Let m(b) be the second derivative of b**4/12 + 11*b**3/3 + 25*b**2/2 - 4*b + 10. Is 24 a factor of m(-23)?
True
Let l = -27102 - -3083. Let y = 16739 + l. Is y/(-34) - (-4)/(-34) a multiple of 33?
False
Suppose -69*n + 62199 = -223875. Is n a multiple of 17?
False
Let s(z) = 76*z. Let v be s(1). Suppose -2*d - 104 = -2*y + 3*d, -4*y - d = -208. Let p = v + y. Does 16 divide p?
True
Let m = -11 - -7. Let k(w) = -w**3 + 4*w**2 + 2*w. Is 16 a factor of k(m)?
False
Let m(r) = 127*r - 62. Let z(n) = 380*n - 188. Let q(l) = -10*m(l) + 3*z(l). Is 33 a factor of q(-4)?
False
Suppose -2*m = -2*i + 860, 548 + 1154 = 4*i - m. Is i even?
True
Suppose q - 6*q = -10*q. Suppose q = k + a - 80, -3*k + 12 = -a - 240. Let v = k + -38. Does 4 divide v?
False
Let r(z) = 4483*z - 1056. Is r(4) a multiple of 52?
False
Let l be 76/57*(-3222)/(-8). Let v = l - 314. Does 19 divide v?
False
Let o = 521 + 74. Let h = o + 352. Does 55 divide h?
False
Let k be ((-1 + 7)*-2)/(-1). Suppose -2*m + 88 = -k. Does 5 divide m?
True
Let i = 7 + 49. Suppose 16*b - 17*b = -i. Suppose -4*y + 2*y = -b. Is 15 a factor of y?
False
Suppose 3*l + 13574 = -4*l + 58892. Is 39 a factor of l?
True
Let p(h) be the third derivative of -5*h**4/12 + 13*h**3/3 + 23*h**2. Let f be p(-19). Let i = f + -150. Is 15 a factor of i?
False
Let i(b) = -20*b**3 - 13*b + 9*b**3 + 8 + 8*b**2 + 10*b**3. Let c be i(5). Suppose -c*x = -2247 + 951. Does 8 divide x?
True
Suppose 7*w + 42529 = 12*w + 2*v, -3*w = -5*v - 25505. Is 52 a factor of w?
False
Let r be (-6)/((156/478)/(-13)). Let u be 632/(-7) - (-2)/7. Let y = r + u. Is y a multiple of 39?
False
Let a = -25297 - -25791. Is 13 a factor of a?
True
Suppose -111 = -5*u - 41. Let y = 2435 + -2423. Let k = u + y. Does 26 divide k?
True
Is ((-2030)/(-609))/(((-8)/10110)/(-2)) a multiple of 25?
True
Let t(d) = -359*d - 81. Is 20 a factor of t(-13)?
False
Let p(r) = r - 1. Let v(m) = -8*m + 47. Let n be v(6). Let b(f) = f**3 - 10*f**2 + 7*f + 3. Let h(a) = n*b(a) + 2*p(a). Is h(9) a multiple of 23?
False
Suppose 11*p + 14*p + 16533 = 26*p. Does 92 divide p?
False
Let d be 90/450 + 2/(-10). Suppose -2*k + 3*p + 2151 = d, -k - 3225 = -4*k + 4*p. Does 21 divide k?
True
Let u = 68 - 63. Suppose u*x = -3*h - 43, -4*x - x = -4*h + 1. Is 14 a factor of (1 - -116) + h/(-2)?
False
Let i(x) = x**2 - 75*x - 1709. Does 9 divide i(-31)?
False
Suppose 6*v - 10*v + 524 = -4*d, 3*v - 2*d = 390. Let u = 69 + -131. Let y = v + u. Is y a multiple of 13?
False
Let l(f) = 9*f**2 - 201*f + 33. Does 87 divide l(-14)?
True
Suppose 20*f - 14*f = 18. Suppose 215 - 1136 = -f*w. Is 12 a factor of w?
False
Let s = 7423 - 5119. Does 32 divide s?
True
Suppose -10*q - 2415 = -15*q - 3*m, -m + 485 = q. Suppose -5*v = -29*v + q. Is 3 a factor of v?
False
Suppose -78*f = -327344 + 44203 + 29797. Is f a multiple of 8?
True
Let z = -22 + 18. Let g be 496/(-40) - z/10. Let d(n) = n**2 + 8*n. Is 3 a factor of d(g)?
True
Let s(o) = 1450*o - 24. Is s(2) a multiple of 38?
False
Suppose -5*p + 5*a = 0, 3*p + 2 = -3*a + 26. Suppose p*k = 3*x - x - 36, -3*k + 2*x - 28 = 0. Let c(i) = -i**3 - 8*i**2 - 18*i + 11. Does 40 divide c(k)?
False
Let c(b) be the third derivative of -b**4/2 - 25*b**3/6 - 2*b**2 - 36*b. Is c(-4) a multiple of 18?
False
Let n(g) = -g**3 - 4*g**2 - 1. Let d be n(-4). Let l(t) = 359*t**2 - 144*t**2 + 2*t + 581 - 580. Does 24 divide l(d)?
False
Let y = 7546 + -5299. Is y a multiple of 21?
True
Is (3644/5)/(((-2)/100)/((-18)/30)) a multiple of 4?
True
Let k(s) = 39*s**2 - 41*s - 380. Is k(11) a multiple of 108?
True
Suppose 0 = 38*z + 39120 - 46544 - 134544. Is z a multiple of 16?
False
Let w = -12139 - -29134. Is w a multiple of 33?
True
Suppose 62*n + 2*y + 10284 = 66*n, 4*y = -n + 2598. Does 33 divide n?
True
Suppose -5*u + 41 - 556 = 0. Suppose q + 5*t - 8*t = 211, 603 = 3*q + t. Let a = q + u. Is a a multiple of 9?
True
Let g = 774 + 182. Is 8 a factor of g?
False
Let c(b) = 2*b**3 + 13*b**2 + 3*b - 13. Let k be c(-6). Suppose -a = k*n - 1138, 2*a + 7 = 3. Is n a multiple of 4?
True
Let j be -9 - (0 + 1)