*4/24 - l**3/2 + 39*l**2. Is 5 a factor of j(-2)?
False
Suppose -a = -1 - 1. Suppose a*j + 2 = 3*j. Suppose -4*d + 50 = -j*d + 2*x, 0 = -2*d + 2*x + 70. Is d a multiple of 10?
True
Is 4 a factor of -1*1*(12 + -57)?
False
Let i = -77 + 101. Suppose 5*c - 324 = -i. Is 41 a factor of c?
False
Let s(p) = -8*p - 24. Let v(o) = 3*o + 8. Let w(q) = 5*s(q) + 14*v(q). Let j be w(8). Suppose 4*c + 52 = j*c. Is 4 a factor of c?
False
Let j be (-4)/22 + 1204/(-154). Let i(w) = -7*w - 38. Is 4 a factor of i(j)?
False
Let g = 1032 + -603. Suppose -4*z + 371 = -g. Is 8 a factor of z?
True
Is 3 a factor of (24/(-16))/(3/8)*-15?
True
Let v be (-3)/((0 - -4)/24). Let d = v + 41. Is 4 a factor of d?
False
Let w(i) = -i**3 + 6*i**2 + 5*i - 2. Let g be w(7). Let v = g - -10. Is (1 + -4)*40/v a multiple of 12?
False
Let a(x) = x**3 - 7*x**2 + 5*x + 1. Let s be a(6). Is 1*-4*(-1 + s) a multiple of 6?
True
Let d = -42 + 58. Suppose 5*r + d = 51. Is r even?
False
Suppose n - 95 = z + 4*z, 0 = 2*z - 2*n + 46. Let l = 12 - z. Let q = l - 18. Is 3 a factor of q?
True
Let d(t) = 4*t**2 - t - 8. Suppose -2*o - 3*o = -m - 15, 3*o + m = 17. Does 7 divide d(o)?
False
Let l = 4 - 2. Suppose -4*m + 2*m - l = 0. Let z(t) = -2*t**3 + t**2 - t - 1. Does 2 divide z(m)?
False
Let q(w) = 3*w - 2. Let z be q(-4). Let r be 2*7/70 - 342/(-15). Let t = r + z. Is t even?
False
Let g be (-4)/(-12) - (-1)/(-3)*-68. Suppose -g*s + 24*s = 123. Does 8 divide s?
False
Let y(h) = h**2 - 2. Let f be y(-2). Suppose 0 = f*t - 5*b - 20 - 81, 5*t = -4*b + 236. Is 8 a factor of t?
True
Suppose i - 424 = -4*s - 100, s + 5*i - 81 = 0. Is 22 a factor of s?
False
Let t(k) = -k**3 - 2*k**2 - 4*k - 2. Let i be t(-2). Let a(r) = -r**2 + 7*r + 5. Let u be a(8). Let n = i - u. Does 2 divide n?
False
Suppose 5*z - 38 = -2*g + 6*g, -4*z - g + 22 = 0. Suppose -9 + z = -o. Suppose 5*q + l - 76 = 0, -q = q + o*l - 20. Is 8 a factor of q?
True
Suppose -8*i = -5*i - 18. Suppose 3*f = i*f - 294. Suppose -f = -0*p - p. Is 14 a factor of p?
True
Does 65 divide 2534 - (-1 + 0/11)?
True
Suppose 8 = 11*h - 7*h. Suppose -h*d + 8*d - 180 = 0. Does 9 divide d?
False
Suppose 341 = 2*o + c, 4*o - 528 = 5*c + 147. Does 17 divide o?
True
Suppose -1 = -2*t + 3*t, -324 = -3*r + 3*t. Is 62 a factor of r?
False
Is (-174)/(-2) + (-4 - 1) a multiple of 20?
False
Let l = 125 + -52. Suppose l = -5*h + 773. Is h a multiple of 44?
False
Suppose -41 = 3*z + 4*h, -2*h - 2*h = -z + 13. Is 10 a factor of 3/15 + z/((-105)/372)?
False
Let f = 6 + 4. Does 9 divide (-394)/(-30) - f/75?
False
Let u(p) = -29*p**2 + 3*p - 15. Let q(v) = -10*v**2 + v - 5. Let k(s) = 17*q(s) - 6*u(s). Does 17 divide k(-3)?
False
Let d(h) = 140*h**3 + h - 1. Let j be d(1). Suppose 0 = 4*t - 0*t - j. Does 7 divide t?
True
Let b(g) = -g**3 + 14*g**2 + 9*g + 10. Is b(12) a multiple of 29?
True
Let r(x) = -x**2 + 3*x + 6. Let g be r(4). Suppose 133 + 95 = g*a. Is 19 a factor of a?
True
Let z be 6/(0 + 4 + -5). Let f(v) = -4*v - 6. Let w be f(z). Suppose i + 0*i + 5*c - w = 0, 0 = -i + 4*c + 9. Is i a multiple of 13?
True
Let s be (-6)/(31/(-18) - 12/(-54)). Suppose -145 = -0*i - i + s*p, -5*i + 2*p = -707. Does 12 divide i?
False
Suppose 0 = -d + 5*g + 1999, d - 977 - 1004 = -4*g. Is d a multiple of 39?
True
Let n(k) = 31 + 7*k**2 - 5*k - 21 - k**3 - 20. Is 3 a factor of n(5)?
True
Let b = -1348 - -3103. Is 28 a factor of b?
False
Let o(y) = 2*y**2 - 14*y - 19. Let q be o(8). Does 44 divide q*42/(-9)*396/42?
True
Let q = 40 + -69. Suppose 0 = 387*x - 380*x + 462. Let s = q - x. Does 8 divide s?
False
Let b(o) = -o**2 + 5*o - 2. Let q be b(4). Suppose 0 = q*m + 2 + 8, 5*v + 3*m = 0. Suppose -48 = -0*h - v*h. Does 5 divide h?
False
Let l = -9 + 12. Suppose 7*v = l*v + 4. Suppose -4*y + v = -103. Is 6 a factor of y?
False
Is 34 a factor of 2/(-6) + 10340/60?
False
Suppose -y - 108 = -4*g + 261, -y = g - 86. Suppose -2*v - j + g = 6, -37 = -v + 5*j. Suppose -5*k - v = -u + 5, 0 = 3*u - 5*k - 151. Does 14 divide u?
False
Let s(r) = 14*r**2 - 5*r - 2. Suppose -2*z + 7 + 3 = 0. Suppose 0*w + w + 2*o + 4 = 0, -z = 3*w - o. Does 16 divide s(w)?
True
Suppose 13*t = 9*t. Suppose t = -3*v + 352 - 10. Is 19 a factor of v?
True
Let h = -46 - -61. Let u(g) = g**2 - 4*g - 3. Does 19 divide u(h)?
False
Is -2 + -1 - (-138 + 12) even?
False
Let n(w) = -w**2 + w. Let z(i) = 5*i**2 + 2*i + 11. Let m(s) = 3*n(s) + z(s). Is 8 a factor of m(-9)?
True
Suppose 15*a = -4*a + 2717. Is a a multiple of 13?
True
Let p(m) = -7*m**3 + 11*m**2 - 53*m - 6. Does 26 divide p(-8)?
True
Suppose 4*f - c + 2097 = 0, -2621 = 3*f + 2*f - c. Is 5 + 318/(-66) - f/22 a multiple of 8?
True
Let p(u) = 16*u**3 + 3*u**2 - 4*u + 6. Let z be p(3). Suppose a = 5*l - z, 4*l + 53 = -a + 410. Is l a multiple of 18?
True
Suppose 4*x + 2*x - 2976 = 0. Let d = x + -310. Is 15 a factor of d?
False
Let p(q) = 24*q**3 + 4*q**2 - 5. Does 29 divide p(2)?
True
Let l = 80 - 82. Is 28 a factor of (-14)/42 + (l - (-427)/3)?
True
Suppose 0 = -3*s + m + 352, -244 = -0*s - 2*s - 4*m. Let z = s - 58. Is 5 a factor of z?
True
Is ((-57)/15 - 1)*-105 a multiple of 24?
True
Let d = -19 + 26. Suppose d*l - 99 = 4*l. Is 11 a factor of l?
True
Let t = 1734 + -1631. Does 3 divide t?
False
Let o = 1898 - 1568. Is 19 a factor of o?
False
Suppose -4*f + 25 = f. Suppose 5*r + f = -4*a, 2*a + 2 = -2*r - 0*a. Is 16 a factor of (4 - 3 - r) + 14?
True
Suppose -5*c + 8 = -2. Suppose -5*s + 324 = -n - 281, c*n = -10. Does 8 divide s?
True
Let g(y) = y**3 - 6*y**2 - 6*y + 4. Suppose -4*r + 3*r = -5. Let h be g(r). Does 20 divide h*2*(-2)/6?
False
Let z(g) = -g. Let k(v) = -38*v - 6. Let j(d) = -k(d) + 10*z(d). Let b be j(2). Let l = 136 - b. Is 16 a factor of l?
False
Suppose -g = 3*n - 38, 0 = -5*n + n - 12. Let o be -34 + ((-4)/(-2))/2. Let b = o + g. Is b a multiple of 14?
True
Let r(a) = 12*a**2 + 7*a - 51. Is 9 a factor of r(12)?
False
Let m(w) = -w**2 - 3*w - 5. Let j(u) = 3*u**2 + 8*u + 14. Let g(f) = -6*j(f) - 17*m(f). Let n be g(-1). Does 7 divide (-61)/n - (-8)/12?
True
Suppose -2*f - 3*u + 1347 = 0, 3*f - f = 3*u + 1353. Does 135 divide f?
True
Let s(l) = 11*l - 3. Let k be (44/6)/((-16)/(-24)). Let x be s(k). Suppose y - x = -y. Is 12 a factor of y?
False
Let q be -5*(1 - 2)*-1. Is q*(-7)/(35/8) even?
True
Is (-386)/(-3)*(-30)/(-10) a multiple of 60?
False
Let q(g) = g**3 + 9*g**2 + 5*g + 6. Let o be q(-7). Let p = o - 30. Is 13 a factor of p?
True
Let q(a) = 52*a**2 + 3*a. Does 9 divide q(3)?
True
Suppose 4*a + 3*w = -23, -5*a = -5*w + 4*w + 5. Let g(q) be the first derivative of -29*q**2/2 - 3*q - 1. Is g(a) a multiple of 11?
True
Suppose 4*b + 30 = -b. Let n(r) be the second derivative of -r**3/3 + 11*r**2/2 + 4*r. Is 11 a factor of n(b)?
False
Suppose 2*t = 3*t. Let d be 46*1/2 - t. Suppose -d = -p + 6. Is 11 a factor of p?
False
Suppose 0 = -y + 561 - 505. Does 8 divide y?
True
Let c(n) = -n**2 + 5*n + 8. Let f be c(6). Suppose -2014 = -4*o - 3*x, x - 3*x - 1000 = -f*o. Is 2/6 - o/(-6) a multiple of 16?
False
Is -2328*-2*(-6)/(-36) a multiple of 21?
False
Is 79394/63 + 2/(-9) + 0 a multiple of 10?
True
Suppose -3*b = -5*v + 4800, -v - 5*b - 938 = -2*v. Does 8 divide v?
False
Suppose 3*p - 3*v = 13215, -10*p - v + 8804 = -8*p. Does 8 divide p?
False
Suppose -y = 6*y - 637. Is 13 a factor of y?
True
Let f(u) = u**3 + 4*u**2 + 3*u. Let m be f(-3). Let s = -266 + 269. Suppose r - b - 63 = 0, m = s*r + b + b - 199. Is 13 a factor of r?
True
Let l(r) = r**3 + 6*r**2 - 2 - r**2 - r**2 - 5*r. Let n be ((-7)/((-14)/6))/(2 - 3). Does 22 divide l(n)?
True
Suppose 2*a - 236 = -4*y + 296, -5*a + 1342 = -2*y. Does 67 divide a?
True
Let r = 600 - 568. Is 32 a factor of r?
True
Let j(k) = -3*k - 23. Let h be (-14)/21*(-81)/(-6). Does 4 divide j(h)?
True
Suppose 8*p = 11*p - 6. Suppose -3*c + 489 = 3*j + p*c, 0 = -3*j + 2*c + 510. Is j a multiple of 12?
True
Let a = 24 + -24. Let z be (-1)/(a + (-3)/(-15)). Does 3 divide ((-96)/(-60))/((-1)/z)?
False
Let n(p) = 295*p - 2. Let z be n(1). Let c = -181 + z. Does 28 divide c?
True
Suppose -b - 932 = -3*t, 293 = -b + 5*t - 647. Let j be ((-99)/(-44))/((-3)/b). Does 28 divide (-3)/4 - j/(-24)?
True
Let f = -18 + 7. Let d(c) = c**2 + 11*c + 4. Let z be d(f). Suppose -z*j + 3*t = -0*j - 211, t + 52 = j. Is j a multi