ue
Let f(g) = 5*g**2 - 5*g**2 + 5*g**2 + g**3 + 10 + 8*g + 2*g**2. Let a be f(-6). Does 18 divide a/(-4) - 47/(-2)?
False
Let l(u) = -u**2 - 12*u + 13. Let i be l(-13). Suppose 5*h - 20 = 0, p + 0*p - 4*h - 80 = i. Suppose y + y - p = 0. Is y a multiple of 12?
True
Suppose -5*r - 453 = -3*s, 0 = 5*r + 4*s - 158 + 639. Let q = -85 - r. Is 8 a factor of q?
True
Suppose 5*w + 2*g = 120 + 45, -3*w - 2*g + 99 = 0. Is w a multiple of 33?
True
Let n(a) be the first derivative of a**3 - 5*a**2/2 + 24*a - 9. Is n(6) a multiple of 8?
False
Suppose -4*j - 11*h = -8*h - 1020, -5*j - 3*h + 1278 = 0. Is j a multiple of 6?
True
Let t = -16 + 36. Let l(j) = 22 + 2*j - 2*j + j**2 + j - t. Does 8 divide l(2)?
True
Let j(v) = 7*v + 7*v + 9 - 15*v. Let m be j(5). Let t(a) = 2*a**2 - 4*a - 2. Is t(m) a multiple of 14?
True
Suppose -4*x + 5*q = -0*q - 103, 0 = -3*x - 4*q + 54. Let n = 426 - 422. Let k = x + n. Is k a multiple of 8?
False
Let s(k) = 3*k**3 + 31*k**2 + 18*k - 6. Let z(w) = -w**3 - 10*w**2 - 6*w + 2. Let t(b) = 2*s(b) + 7*z(b). Let u = -9 + 0. Is t(u) a multiple of 35?
False
Suppose 4*o - 26 = -18, -3*o = 2*s - 370. Does 13 divide s?
True
Suppose -3*b - 1 + 4 = 0. Does 4 divide 31 - 13 - b*-1?
False
Let l(g) = 13*g - 5. Let t = 4 - -1. Let i(z) = z**2 - 3*z - 5. Let h be i(t). Is 15 a factor of l(h)?
True
Let w(f) = -3*f + 4*f**2 + 2 + 17*f + f - f**3. Is 12 a factor of w(-6)?
False
Let l(f) = -f**3 - 5*f**2 + 6*f - 33. Suppose -4*a - 2*a = 78. Let z(t) = 2*t**3 + 11*t**2 - 13*t + 65. Let s(c) = a*l(c) - 6*z(c). Is 39 a factor of s(0)?
True
Let x(i) = -i**2 + 5*i - 3. Suppose -32 = 3*p - 7*p. Let u be x(p). Is -2 - (u + (-6)/(-3)) a multiple of 8?
False
Suppose 742 = 12*v - 11*v. Does 52 divide v?
False
Let p(r) = r**2 + r + 1. Let u(m) = -5*m**2 + 13*m - 9. Let a(q) = 4*p(q) + u(q). Is 28 a factor of a(12)?
False
Let p = 238 - 107. Let c = p + -31. Is 11 a factor of c + 1 + 0 + -2?
True
Let n be 1 + 1 + (-1 - -1). Is 13 a factor of n/(2 - 112/60)?
False
Let g = 73 + -75. Does 10 divide ((-52)/8)/(9/6 + g)?
False
Let l(u) = -31*u - 6. Let h(v) = v**3 - 6*v**2 + v - 4. Let f be h(6). Let s be l(f). Let n = s + 95. Is 16 a factor of n?
False
Let k(y) = 3*y**2 + 8*y + 15. Let w be k(-10). Suppose 2*v - 70 = -l + v, 5*v = 4*l - w. Suppose -2*h + l = 23. Is h a multiple of 7?
True
Is 51 a factor of (-68)/(11/2 - 6)?
False
Let s = 11 + -29. Is 10 a factor of (-3)/s - 1054/(-24)*2?
False
Let v(w) = w + 11. Let a be v(-9). Suppose -a = -2*x - 0*x. Is x*-5*33/(-15) a multiple of 9?
False
Let i = 131 - 134. Is 3 - (0 - i) - -84 a multiple of 14?
True
Let l(h) = 2 + 2 + 0 + h + 6. Let z be l(9). Suppose -4*j - 8 = -4*d, -5*d + 15 = 3*j - z. Does 5 divide d?
True
Suppose -4*o + 3*s = -o, -s + 5 = 0. Suppose 3*c - 2*m - 220 = 0, c - 248 = -2*c - o*m. Does 19 divide c?
True
Suppose 38*w + 1386 = 52*w. Is 13 a factor of w?
False
Let y(z) = 2*z**2 + 12*z - 12. Let o(j) = 4*j**2 + 25*j - 24. Let a(w) = -3*o(w) + 7*y(w). Is 15 a factor of a(-10)?
False
Suppose 7*w + 15 = 12*w. Suppose 0 = w*z + 4*z - 35. Let x(l) = l**2 + 2*l - 15. Is x(z) a multiple of 18?
False
Let t(o) = 2*o + 14. Let l be t(-4). Let h(a) = 2*a**2 + 7*a - 22. Does 23 divide h(l)?
True
Let s = -88 - -142. Does 9 divide s?
True
Let j = -75 + 79. Suppose 5*k - 41 = 2*u, -4*u - 69 + 22 = -5*k. Suppose -3*y + 123 = j*r, k = -4*r - 5. Is y a multiple of 16?
False
Let b(f) = -f**3 - 4*f**2 + 2. Let p be b(0). Suppose -3*h = -4*j + 59, 2*h + 3*h - 23 = -p*j. Is j a multiple of 2?
True
Suppose k = -153*b + 154*b - 2262, 3*b - 5*k = 6782. Does 92 divide b?
False
Let j(n) be the first derivative of n**3/3 + 4*n**2 - 20*n - 2. Let t be j(-10). Suppose 180 = 6*u - t*u. Is u a multiple of 15?
True
Let x(s) = -s - 1. Let c be x(-6). Suppose -c*v - 3*m = -83, 0*v - 2*v + 2*m + 30 = 0. Does 16 divide v?
True
Let c(y) = y + 9 + y - 6*y - 4*y. Let i be c(6). Is 20 a factor of 2 - -1*(-1 - i)?
True
Let c be (-11)/55 - 22/(-10). Let n(j) = 24*j**2 - 4*j + 3. Does 13 divide n(c)?
True
Suppose -2*o - o = -144. Let h(d) = 10*d + 14. Let w be h(-1). Let s = o - w. Is s a multiple of 11?
True
Let f(b) = -b**3 - 5*b**2 + 4*b - 8. Let d be f(-6). Suppose -340 = -k - d*k + 2*m, 65 = k - m. Is k a multiple of 14?
True
Let a(r) = r**3 - 3*r**2 + 3*r - 2. Let d be a(3). Suppose 0*c + 4*c - 196 = 0. Does 8 divide ((-62)/d)/((-7)/c)?
False
Let t = -439 - -744. Does 7 divide t?
False
Suppose 27*f - 25*f - 2*g = 142, 2*f - g = 142. Is 20 a factor of f?
False
Let d = 952 + -610. Is d a multiple of 18?
True
Does 12 divide -83*((-50)/(-325) + (-30)/26)?
False
Let c = 48 - 43. Suppose 0 = 8*l - 7*l - 3*m - 66, 3*m + 330 = c*l. Is l a multiple of 11?
True
Suppose n + 47 = 4*i, 13*i = 10*i - 5*n + 18. Is i even?
False
Suppose 8*q - 3*n = 4*q - 24, q + 5*n = 17. Let g = q - -31. Is g a multiple of 4?
True
Let f(p) = -2*p - 2. Let d be f(-2). Suppose 4*t + 2*s - 28 = 0, s + 6 = -0*t + d*t. Is 16 a factor of 10/t - 46*-1?
True
Let g = 1 + 3. Suppose 10 = -g*d + 86. Let l = 43 - d. Is l a multiple of 12?
True
Let r be (-1*(-208)/(-20))/((-1)/5). Let a = 18 + r. Is a a multiple of 10?
True
Let v(q) = -q**2 - 44*q - 104. Is 4 a factor of v(-35)?
False
Let v(q) = 196*q**2 + 2*q + 1. Does 16 divide v(2)?
False
Suppose 4744*i + 4048 = 4748*i. Does 46 divide i?
True
Let d be ((-2)/(-6))/((-15)/(-855)). Does 22 divide (20 - d) + 43*1?
True
Is (13482/27)/((-4)/(-6) - 0) a multiple of 107?
True
Suppose y - 7*y = 96. Is (-3)/(3/y) + -4 a multiple of 3?
True
Let g(j) = j**3 - 21*j**2 - 16*j + 31. Is 9 a factor of g(22)?
False
Let g(p) = 2*p**2 - 4*p - 16. Let k be g(-13). Is (2*6/(-4))/((-33)/k) a multiple of 10?
False
Suppose 0*v = -15*v + 6930. Is 21 a factor of v?
True
Suppose -4*n + 3346 = 3*m, 2*m - 2208 = 19*n - 16*n. Is 15 a factor of m?
True
Let g(i) = i**2 - 5*i - 12. Suppose -7 = -2*f - 13. Is g(f) a multiple of 6?
True
Let n(a) be the third derivative of a**4/24 + 7*a**3/2 - 3*a**2. Is n(2) a multiple of 23?
True
Let k = 54 + -61. Let u(z) = 5*z**2 + 9*z + 22. Is u(k) a multiple of 17?
True
Let l = 30 - 23. Let p(c) = c + l + 6 + 1. Does 4 divide p(-6)?
True
Let c(l) = -l**3 + 11*l**2 + 2. Let k be c(9). Suppose -w = k - 412. Let a = w + -167. Is a a multiple of 16?
False
Let n(d) = 8*d**2 - 11*d - 7. Is 21 a factor of n(5)?
False
Suppose 3*p + 3 - 12 = 0, 2*w = -5*p + 315. Is w a multiple of 9?
False
Let x be -9 + 100 - (1 + -2). Suppose -x = -q - d, 3*q = q - d + 187. Does 10 divide q?
False
Let x(y) = 89*y - 513. Does 42 divide x(9)?
False
Let w(t) = t - 18. Let d(j) be the third derivative of j**3/6 - 9*j**2. Let b(k) = -3*d(k) - w(k). Is 14 a factor of b(-10)?
False
Let m = -136 + 2448. Does 22 divide m?
False
Let z(p) = 36*p + 29. Is z(27) a multiple of 13?
True
Let x(d) = 4*d + 30. Let n be x(-7). Suppose -3*m + 2*s + 224 = 0, n*s = 5*m - 2*s - 370. Is m a multiple of 26?
True
Let z be (4 - 55/10)*10. Let m = z - -96. Is m a multiple of 9?
True
Let l = -28 - -56. Suppose l*k = 32*k. Suppose -4*i + j + 38 + 266 = k, -4*j - 91 = -i. Does 15 divide i?
True
Let u(x) = 578*x**2 + 7*x - 9. Is 16 a factor of u(1)?
True
Suppose -h - 589 = -16*q + 13*q, -q = 5*h - 191. Is 14 a factor of q?
True
Suppose -2*q = -q + 2*k - 300, 5*q = 2*k + 1464. Is q a multiple of 49?
True
Let n(s) = -s**2 + s + 4. Let w be n(0). Let d be 1*(0 - 2) - -5. Is 11 a factor of (-18)/d + w + 40?
False
Let j be -5 + 3 - (-1 + -5). Suppose -j*x + 5 = -7. Suppose -4*u + 4*l = -8, 2*u - 2*l - 25 = -x*u. Is u a multiple of 7?
True
Let z = -24 - -41. Let x = z - 26. Does 3 divide (9/(-6))/(x/48)?
False
Let j(z) be the second derivative of z**4/12 - 7*z**3/6 + 5*z**2/2 - z. Let w be j(6). Let n(s) = -24*s - 2. Is n(w) a multiple of 6?
False
Let m = 3 + -5. Let k(j) = -6*j**3 - 5*j**2 + 7*j - 2. Let u(s) = 5*s**3 + 4*s**2 - 6*s + 1. Let f(w) = -4*k(w) - 5*u(w). Is f(m) a multiple of 7?
True
Let b = -516 + 895. Is b even?
False
Let x(b) = -22*b + 1. Let k(o) = -o**2 - 9*o + 9. Let l be k(-10). Let i be x(l). Does 4 divide i + -6 - (-1 + 3)?
False
Let v be ((-3570)/(-4))/3 - 2/(-4). Let w = v - 206. Does 13 divide w?
False
Suppose -3*o = 2*o + 4*v - 28, -4*o = 3*v - 22. Suppose 3*r = o*r. Suppose 5*k - 110 = -r*k. Is 8 a factor of k?
False
Let w(r) = 5341*r**2 + 9*r + 11. Is w