 n = 2422 - 1934. Does 7 divide n?
False
Let x be 0/((-1)/(1/1)). Let l(p) = -6*p - 16. Let j(n) = -7*n - 17. Let w(f) = 5*j(f) - 6*l(f). Does 3 divide w(x)?
False
Let c(w) = 4*w**2 - 8*w - 1. Let s be c(4). Suppose -s*v + 27*v = -432. Does 18 divide v?
True
Suppose 3*k - a = 11, -4*k + a + 18 = -2*a. Suppose 0 = 7*p - k*p + 5*b - 682, -5*p - 4*b + 848 = 0. Does 44 divide p?
False
Suppose 0 = -3*u + 12, -x - u = -2 - 4. Let o(m) = -3*m**3 - 4*m**2 + 2*m**3 - 4*m**x + 6 + 7*m. Does 12 divide o(-9)?
True
Suppose -3*q + d - 2 = 2*d, -18 = -q - 5*d. Let h be 2/(-4) - 51/q. Let a = 30 + h. Does 21 divide a?
False
Let g = -11 - -13. Let t = -6 - -10. Is (g/(-4))/(t/(-112)) a multiple of 3?
False
Suppose -3*h + 2*a + 9 = -9, -4*h = -4*a - 28. Suppose 5*f - 130 = 2*i, -h*f + 3*i + 130 = f. Does 23 divide f?
False
Let y(t) = -2*t - 9. Let h be y(-6). Suppose u - 52 = -h*u. Suppose -f + 9 + u = 0. Is 11 a factor of f?
True
Suppose k - 3 = -5*z + 21, -2*k = 3*z - 20. Suppose 3*u = z*d - 180, -3*u + 204 = 3*d + d. Does 12 divide d?
True
Let i(p) be the second derivative of -1/6*p**3 + 1/4*p**4 - 1/2*p**2 - p + 0. Does 2 divide i(2)?
False
Let x(l) = -5*l**3 + 2*l**2 + 2*l + 1. Let m be x(-1). Suppose m*h - 4*h = 0. Suppose 2*o + 32 = 2*q, -5*q + 2*o + 47 + 27 = h. Is q a multiple of 4?
False
Let q(i) be the third derivative of i**5/60 - 13*i**3/2 - 8*i**2. Let n be q(0). Is 6 a factor of ((-8)/(-12) - 1)*n?
False
Suppose 78*k = -4*p + 77*k + 2979, -3732 = -5*p - 4*k. Does 24 divide p?
True
Let x = -222 - -1344. Is x a multiple of 6?
True
Suppose -599 = -4*v + 701. Suppose 3*d = 4*d, 5*j + 5*d - v = 0. Is 17 a factor of j?
False
Let l(o) = 7*o**3 - 4*o**2 - 29*o + 1. Let f(q) = 11*q**3 - 6*q**2 - 43*q + 2. Let r(h) = -5*f(h) + 7*l(h). Does 26 divide r(-3)?
False
Suppose -3*g + 327 = -2*x + 3*x, 654 = 2*x + 3*g. Is 3 a factor of x?
True
Suppose -3*j + 0*j = 42. Suppose 5*g - 112 = 8. Let c = j + g. Is c a multiple of 7?
False
Suppose -o + 2*x + 36 = 0, -28 = -o - 4*x + 32. Is 11 a factor of o?
True
Suppose 4*g - 926 = -158. Is 24 a factor of g?
True
Let v(y) = -y**2 - y + 309. Let t be v(0). Suppose 91 = -5*i - t. Let n = i + 113. Is n a multiple of 11?
True
Let i = 65 - -161. Is i a multiple of 28?
False
Let h(c) = 2*c**2 - 3*c - 4. Let i be h(5). Suppose -3*o = -k - 101, -o - k + 2*k + i = 0. Is 7 a factor of o?
True
Let m(r) = 3*r**2 - 53*r + 59. Does 11 divide m(23)?
False
Let i = -368 - -404. Is 9 a factor of i?
True
Let l(q) = 11*q**2 - 4*q - 4. Let i be l(-4). Suppose 4*b = 8, 4*d - 2*b - i = -6*b. Is 10 a factor of d?
False
Does 4 divide (-3)/(-12) - (921/(-12) + 6)?
False
Let v(h) = -5*h - 42 + 2*h + 3*h - 3*h + h**2. Is v(-8) a multiple of 17?
False
Suppose f - 87 = 4*n - 310, 4*n - 235 = 5*f. Does 11 divide n?
True
Does 17 divide (-9642)/(-21) - (-6)/(-42)?
True
Suppose 0 = -5*w + 11 + 4. Let d be (-4 + 28/5)*25. Suppose w*o - d = o. Is o a multiple of 5?
True
Let d(j) = j - 10. Let a(u) = -3*u + 1. Let o be a(-3). Let i be d(o). Suppose 3*z + 2*z - 20 = i. Does 2 divide z?
True
Let l(v) = 4*v**2 - v - 2. Let w be l(-1). Suppose w*q - 2*u - 86 = 0, 5 = -3*u - 7. Is q a multiple of 13?
True
Let h(p) be the first derivative of -p**4/4 - 7*p**3/3 - 6*p**2 + p - 4. Is h(-7) a multiple of 17?
True
Suppose 4*t - 921 = -509. Is t a multiple of 3?
False
Let g = -8 - -11. Is ((-2)/(-2))/(g/306) a multiple of 36?
False
Let p(c) = 11*c**2 + 3*c - 8. Is p(2) a multiple of 2?
True
Let i(d) = d. Let k(t) = -5*t + 26. Let b(v) = 6*i(v) + k(v). Suppose -3*q = f + 22 + 37, q + 15 = -5*f. Does 3 divide b(q)?
True
Let b = 4762 - 1022. Is b a multiple of 44?
True
Let o = -1345 - -4361. Is 36 a factor of o?
False
Suppose 7*r + 15 = 10*r. Let i(p) = p + 7. Does 10 divide i(r)?
False
Let d = -15 + 25. Suppose -d*h = -5*h - 270. Is h a multiple of 16?
False
Let v(u) = -u**3 + 4*u + 3. Let d be v(0). Suppose 7*r - 168 = d*r. Is 4 a factor of r?
False
Let w(h) = 11*h**2 + h + 2. Let c(b) = -b**2 + b - 1. Let z(r) = 6*c(r) + w(r). Does 16 divide z(-4)?
True
Let d(a) = a**2 - 12*a - 29. Let z be d(16). Let m be 4/(-10) + (-32)/(-5). Is 20 a factor of m/10 - (-2114)/z?
False
Suppose -4*s + 2094 = -2*k, 2*s - 3*k = 4*s - 1051. Is 8 a factor of s?
False
Let d = -86 - -38. Let b be (-61)/(-3) + (-11)/33. Let t = b - d. Is t a multiple of 17?
True
Suppose -66*u = -76*u + 2760. Is u a multiple of 32?
False
Suppose -3*p - 10 = -3*y - 2*p, -y + 30 = 5*p. Suppose 2*z - 4*q = 182, 0 = -z - z - y*q + 200. Is 44 a factor of z?
False
Let m = 15 - 20. Let a = m - -7. Suppose 0 = -a*p + 57 - 21. Does 5 divide p?
False
Let y = -147 + 245. Is 49 a factor of y?
True
Suppose 0 = -2*m + 5*m - 12, 4*k + 4*m = 1528. Does 9 divide k?
True
Let t(m) = m**3 - 6*m**2 + 2*m - 7. Let i be t(6). Let v(q) = -i*q + 11 - 2 - 4*q**3 + 3*q**3 + 2*q**3 - 6*q**2. Does 7 divide v(7)?
False
Let p = -109 + 241. Suppose 5*z + 4*n - 401 = 0, 4*z - p = 2*n + 168. Is z a multiple of 11?
True
Suppose 0 = -3*q - 298 + 292. Let x(d) = 3*d**2 - 7*d - 12. Is x(q) even?
True
Let t(d) = 15*d**2 - d + 10. Is 63 a factor of t(-6)?
False
Let w(k) = -2*k**3 - 9*k**2 + 5*k + 2. Let y be w(-7). Suppose -6 = -3*t, -4*g - 4*t + y = -g. Is g a multiple of 17?
True
Let q = -222 + 366. Suppose 3*j - q = 3. Let y = 89 - j. Is y a multiple of 20?
True
Suppose -53*b + 48*b + 10980 = 0. Does 11 divide 3/5 - b/(-90)?
False
Let r = -4 - -19. Suppose 6 = -s + 2*z + r, -2 = -2*z. Let u = 37 + s. Does 15 divide u?
False
Suppose 3*x - 5*t - 61 - 673 = 0, -3*x - 4*t = -725. Suppose -2*r - 4*c + x = 3*r, 5*c - 104 = -2*r. Does 21 divide r?
False
Suppose -w - 5*m = -403 + 130, -1136 = -4*w + 2*m. Does 6 divide w?
False
Let z(f) = -43*f + 138. Does 4 divide z(-10)?
True
Is ((-1490)/(-40))/((3/(-8))/(-3)) a multiple of 14?
False
Let g = -167 - -433. Does 51 divide g?
False
Let n = 25 - -415. Is 8 a factor of n?
True
Let x(k) = -4*k - 1. Let b(u) = 3*u + 2. Let o(f) = 3*b(f) + 2*x(f). Let n be o(0). Is ((-10)/(-25))/(n/340) a multiple of 15?
False
Suppose 19*d = 9296 + 2161. Does 13 divide d?
False
Let n(t) = t**3 - 14*t**2 + 19*t + 3. Is 29 a factor of n(13)?
False
Let i(o) = 2*o**2 - 5*o + 3. Let z be i(3). Let s = z - 14. Let v = 35 - s. Does 13 divide v?
False
Suppose -111*a = -114*a + 108. Is a a multiple of 12?
True
Let k be ((-4)/6)/(2/30). Let g = -10 - k. Suppose a + 2*o = 39, g*o + o = -3*a + 112. Does 21 divide a?
False
Suppose 3*r - 1011 = 3*y, -5*r - 6*y + 1658 = -2*y. Does 54 divide r?
False
Suppose 1 + 1 = -2*z. Let q(x) = -129*x. Is 43 a factor of q(z)?
True
Let f(c) = -51*c - 7. Is f(-2) a multiple of 6?
False
Let n(u) = 107*u**2 + 11*u + 27. Is 18 a factor of n(-2)?
False
Suppose 5*a + 55 + 78 = -f, 3*a = 2*f + 240. Let o = -48 - f. Is o a multiple of 7?
False
Let p = -27 - -29. Suppose -3*a = 9, -392 = -p*r - 0*a - 4*a. Is r a multiple of 20?
False
Suppose 0 = -3*y + 3*r + 1302, -3*r - 2559 + 397 = -5*y. Is y a multiple of 47?
False
Let q = -215 - -479. Is q a multiple of 8?
True
Let h(a) = 11*a**2 + a. Let m be (-33)/(-5) + (-24)/(-60). Let u(r) = -34*r**2 - 4*r. Let n(k) = m*h(k) + 2*u(k). Does 7 divide n(-1)?
False
Let o(r) = -100*r + 5. Let y be o(-13). Suppose 5*w - 2*w = y. Is 2/(-8) + w/12 a multiple of 18?
True
Suppose 0 = -8*k + 1643 + 1717. Is k a multiple of 14?
True
Suppose -2*j + 18 = -4*h, 6*h + 51 = 3*j + 8*h. Is 5 a factor of j?
True
Suppose -2 = -2*q + 2. Let z(n) = 3*n - 3. Let u be z(q). Let i = 31 - u. Is i a multiple of 6?
False
Let j = 1910 - 864. Does 73 divide j?
False
Suppose -46*k = -44*k - 3*q - 2848, -2852 = -2*k + q. Does 16 divide k?
False
Let v = 46 - 22. Suppose -3*n + v = 3*n. Is n a multiple of 2?
True
Let c = -379 - -1018. Is c a multiple of 9?
True
Does 11 divide -4 + 23/6 - (-2666)/12?
False
Let g(s) = -4*s - 15. Suppose 0 = 3*v + 5 - 17. Suppose v = -q - 2. Does 9 divide g(q)?
True
Let x be -1 - (4 - 6) - -3. Suppose 250 = x*d - 2*d - 2*t, -2*t = 2. Is 37 a factor of d?
False
Let t = 1777 + -924. Does 55 divide t?
False
Suppose -25 = -0*l - 25*l. Suppose 0 = -3*h - x + 40 - 7, 5*h = -3*x + 59. Let m = l + h. Is m a multiple of 11?
True
Let q(k) be the second derivative of k**4/12 + 5*k**3/6 + k**2 + 4*k. Let w be q(-5). Suppose -r - 2*r + 20 = l, w*l + 2*r = 20. Does 3 divide l?
False
Supp