j?
False
Let q(g) = -g. Let t(i) = -4*i + 70. Let r(l) = -5*q(l) + t(l). Does 9 divide r(0)?
False
Let u = -69 + 22. Let b = 92 + u. Does 5 divide b?
True
Let t(f) = 134*f**2 - 2*f - 1. Let v be t(-1). Suppose 672 = 5*w - i - 3*i, -v = -w + i. Does 22 divide w?
True
Let n(o) = -7*o + 542. Is n(18) a multiple of 16?
True
Let f = 136 + -42. Let u = 7 - -39. Let o = f - u. Does 24 divide o?
True
Suppose 2*v + 0*v - 70 = 0. Is 6 a factor of v/((2/(-10))/((-3)/15))?
False
Does 7 divide (-12)/15*(-297 + 17)?
True
Let u = -116 - -291. Suppose 0*r + u = 5*r. Does 7 divide r?
True
Let n = -658 + 2002. Is 42 a factor of n?
True
Let i = 13 - 9. Let u be 66 + -3 + -4 + i. Suppose -5*l + u - 8 = 0. Is l a multiple of 11?
True
Let q be (2 + -3)*(2 - 0). Does 9 divide (-6 - -4)*(q + 3) - -139?
False
Let q be -5 + 6 - 1/1. Suppose -z + 2*t + 19 = -2*t, 5*z - 3*t - 112 = q. Suppose -x - g = -3*g - 6, 0 = -3*x + 5*g + z. Does 8 divide x?
True
Let p(w) = 0*w**3 - 2*w**3 + 2 + 5*w**3 + 6*w**3 - 3*w + w**2. Does 8 divide p(2)?
True
Let r(q) = -3*q**3 - 25*q**2 - 22*q + 12. Let h(b) = b**3 + 8*b**2 + 7*b - 4. Let p(v) = -7*h(v) - 2*r(v). Let f be p(-4). Does 9 divide (f/2)/4*-17?
False
Suppose 0 = o - 4*c - 102, -12*c + 17*c = -o + 57. Does 8 divide o?
False
Suppose -5*b + 4*b = 3*z - 219, 4*z = 3*b - 605. Is 69 a factor of b?
True
Suppose 4*u - 2 = 6. Suppose t - 10 = u. Suppose 3*a = -t, -a - 3*a + 212 = 4*c. Does 16 divide c?
False
Let v = 29 + -27. Is 7 a factor of ((-2)/(v/23))/(-1)?
False
Let i be (0/(-3) - -3) + -21. Let u = -20 - i. Is 23 a factor of (1/u)/((-5)/230)?
True
Let z(k) = k**2 + 17*k - 32. Does 18 divide z(-22)?
False
Let l be ((-6)/8)/(3/(-12)). Let z(n) = 15*n**2 - n + 11. Let u(x) = 8*x**2 - x + 6. Let a(r) = -7*u(r) + 4*z(r). Does 24 divide a(l)?
False
Let z(m) = -190*m**3 - m**2 - 2*m - 8. Is 12 a factor of z(-2)?
True
Suppose -3*f = 3*w - 492, -w - 4*w - f = -836. Is 26 a factor of w?
False
Suppose -104*k = -93*k - 121. Is k a multiple of 7?
False
Suppose -5*y - 3*r = -592, 14*r = -y + 8*r + 113. Does 27 divide y?
False
Let u = 474 - 208. Does 38 divide u?
True
Let a(b) = -3*b - 18. Let t be a(-7). Suppose n = 4*n + 2*c - 172, 0 = 3*n - t*c - 192. Is n a multiple of 6?
True
Let t = 36 - -36. Let u be (-2)/(-13) + t/39. Suppose 3*c - u*c = -3*f + 12, f + 36 = 3*c. Is c a multiple of 4?
True
Let p(y) = -12 + y - 8*y - 9*y - 40. Is 20 a factor of p(-17)?
True
Let o = 5381 + -3590. Is 7 a factor of o?
False
Suppose 11*d - 7*d = 8*d. Suppose d = -c - 2*b + 31, -3*b = -4*c + 86 + 71. Is 8 a factor of c?
False
Let i(c) = 58*c + 10. Let t be i(-2). Let n = t + 226. Is n a multiple of 24?
True
Suppose 3*h - 5*h + 696 = 0. Let i = 3 + -5. Does 8 divide h/22 + i/(-11)?
True
Let s be 2*(66/12 + -5). Is 8 a factor of (-2 - 17)/(s + 24/(-20))?
False
Let h = 12 + -10. Suppose -16 = 6*f - h*f. Is 7 a factor of (-3 - f) + 2 + 39?
True
Let z = -18 - 53. Let i = z + 101. Suppose n + 3*v - i = 0, 0 = 5*n + 3*v - 82 - 92. Is n a multiple of 6?
True
Suppose -3*q - l + 43 - 7 = 0, 5*l + 80 = 5*q. Let b = 12 - q. Does 9 divide 2/b*(-10 + 1)?
True
Let g be 6/21 + (-390)/42. Let l be 4*(g/6 + 3). Suppose -2*z + l*z - 35 = j, -4*z + 3*j + 33 = 0. Is 2 a factor of z?
False
Suppose 73 = 2*x - 9. Suppose 2*v - 227 = x. Is v a multiple of 10?
False
Let r(o) = -2 + 47*o - 2 + 2 + 5. Is 25 a factor of r(1)?
True
Let k(h) = -10*h - 10. Let a be k(-15). Suppose -a = -7*v + 28. Is 6 a factor of v?
True
Suppose -683 - 408 = -3*v - l, 6 = 3*l. Is 107 a factor of v?
False
Suppose 146*z - 137*z - 11340 = 0. Is z a multiple of 5?
True
Suppose -o + 3*c + 834 = 0, 2497 = -90*o + 93*o - 4*c. Is 9 a factor of o?
False
Let c(v) = v**3 - 3*v**2 - 3*v. Suppose -s + 6*s - 20 = 0. Let l be c(s). Suppose 5*t = l*j - 5*j + 149, -5*t = -5*j - 125. Is 12 a factor of t?
False
Suppose 0 = -d + f + 333, -5*d + 0*f + 2*f + 1659 = 0. Is d a multiple of 17?
False
Let q be 52/6*(-285)/(-38). Suppose 0 = 4*a + 5*r + 47, -r = -0 - 5. Let s = q + a. Is s a multiple of 19?
False
Let v(n) = 3*n + 53. Let q be v(-6). Suppose -36*d = -q*d - 41. Does 13 divide d?
False
Suppose 5*k = -6 - 19, 2*r = -3*k + 3425. Is 9 a factor of r?
False
Let i(c) = -13 - 4*c - 2*c + 15 + 25. Does 10 divide i(-12)?
False
Let h(l) = -4*l + 8. Let q(m) = m**3 - 3*m**2 - m. Let x be q(3). Let w be h(x). Let p = 39 - w. Does 8 divide p?
False
Suppose 3*l - 98 = 592. Let w = -164 + l. Is w a multiple of 11?
True
Does 2 divide (-3 - (0 - 2))*-337?
False
Suppose -11*n = -14*n + 9. Suppose 4*a + n*d - 301 - 19 = 0, -4*d + 316 = 4*a. Is 21 a factor of a?
False
Does 8 divide 4 - 1766/(-9) - 4/18?
True
Let o(v) = -11*v**3 - 3*v**2 + 18*v - 4. Is 18 a factor of o(-5)?
True
Suppose -2*t + 7 = 15. Let n be (0 - t)/((-2)/5). Is 5 a factor of 24/n*(-25)/10?
False
Suppose 5*r = u + 1061, 2*r + 3*u - 21 - 400 = 0. Is r a multiple of 10?
False
Suppose -15*s = -12*s + 9, 465 = 3*r - 3*s. Is r a multiple of 38?
True
Suppose 5*g - 99 = -t, -32*t + 5*g + 405 = -27*t. Is 6 a factor of t?
True
Let l(m) be the third derivative of m**6/120 - 7*m**5/60 + m**4/8 + m**3/2 - 11*m**2. Let f be l(3). Is 11 a factor of 190/4 + 12/f?
False
Let r(v) = -v**2 - 4*v + 38. Let z be r(8). Let k = 23 - z. Is 9 a factor of k?
True
Let t(b) = -4*b - 7. Let f be t(-3). Suppose -a - 49 = f*x, 5*x = -5 - 0. Is a*(8/(-4))/4 a multiple of 11?
True
Let t(w) be the first derivative of -w**4/4 - 2*w**3 + w**2 + 7*w - 24. Is t(-7) a multiple of 7?
True
Let d be ((-12)/(-8))/(6/8). Suppose -7*s = -3*s - p + 39, d*s + p + 27 = 0. Let a = -6 - s. Is 2 a factor of a?
False
Let x(j) = -12 - 2*j**2 - 3*j**2 + 4*j**2 - 2*j - 17*j. Does 12 divide x(-16)?
True
Let u be (12/(-10))/(3/15). Let t be 1 + (-2)/u*3. Suppose t*y + 0*y = 22. Is y a multiple of 3?
False
Suppose -58 + 163 = -3*l. Let a = l - -58. Does 6 divide a?
False
Let m be 1/(1/5) - -1. Suppose 4*l - 7*l + m = 0. Suppose -30 = -4*q - l. Is q a multiple of 4?
False
Let h(i) = 15*i**2 - 4*i - 22. Suppose 0 = w - 5, 3*q + 29 = 2*w - 4*w. Let a(t) = -7*t**2 + 2*t + 11. Let x(c) = q*a(c) - 6*h(c). Is 4 a factor of x(5)?
True
Is 3 a factor of ((-2 - -1)*-27)/((-9)/(-27))?
True
Suppose 6265 = 6*y - 5111. Is 12 a factor of y?
True
Suppose 9*r = 4*r + 175. Let n = 53 - r. Does 6 divide n?
True
Suppose -3*t + 19 - 217 = 0. Let r = t - -139. Is r a multiple of 29?
False
Suppose 2*w + 3*y = -52, -5*y - 22 = 3*w + 58. Let x = -24 - w. Is 2 a factor of x/((-12)/9) + 3?
True
Suppose 0 = -4*o + 2*k + 4, -4*o - 4*k = -7*k. Let q be (-2)/o - 3440/(-48). Suppose 2*b - 61 = q. Is 22 a factor of b?
True
Let g(r) = 5*r + 26 - 5*r - r. Does 3 divide g(-13)?
True
Suppose 4*u - 4*w - 200 = 0, 3*u - w = -0 + 140. Is u a multiple of 5?
True
Suppose 6 = -3*a + 4*c + 16, 0 = -4*a + c + 9. Let x(g) = 10*g. Let k be x(0). Suppose -3*v + k*o = -a*o - 131, 0 = 3*v - o - 136. Is 16 a factor of v?
False
Suppose -u = -3*u - q + 338, -3*u + 507 = 3*q. Does 30 divide u?
False
Let l(w) = -w**3 + 5*w**2 - w - 3. Let z be l(4). Suppose z*o - 4*o = -5*x + 275, 5*x = o + 299. Is 15 a factor of x?
False
Let y be -4*(-20 + -3) - 4. Suppose -y = -4*l + 200. Does 8 divide l?
True
Let k = -5356 + 9352. Is k a multiple of 36?
True
Let p(z) = 5*z**3 + z**2 - 7*z. Let i(f) = -9*f**3 - 3*f**2 + 14*f. Let v(d) = -4*i(d) - 7*p(d). Let k be v(-6). Let m = k + 34. Is 5 a factor of m?
True
Let y be (-32)/(-12)*(-18)/8. Let u be 447/(-2) - y/(-4). Is (-16)/6*u/20 a multiple of 15?
True
Does 20 divide ((-22)/(-6))/(1/279) - 7?
False
Let i(t) = 141*t + 74. Is i(13) a multiple of 42?
False
Let f(m) = -m**2 + 18*m + 4. Let i(j) = 6*j**2 - 91*j - 25. Let q(l) = -11*f(l) - 2*i(l). Let g be (6 - 2)*10/(-4). Does 22 divide q(g)?
True
Let k(c) = c**3 + 4*c**2 - 15*c + 11. Does 2 divide k(-6)?
False
Let z = 510 + -429. Does 3 divide z?
True
Let n(d) = 64*d + 296. Is n(9) a multiple of 58?
False
Let v(n) = -6*n - 7. Let x(b) = -23*b - 28. Let f(k) = -9*v(k) + 2*x(k). Is 32 a factor of f(13)?
False
Let n(s) = -6*s - 10*s + 0 - 4 - 6. Is 16 a factor of n(-5)?
False
Let r = 6 + -4. Suppose -r*p + 272 = 2*p - 4*d, 0 = 4*d + 20. Is 8 a factor of 380/14 - 9/p?
False
Suppose -2054 - 697 = -7*q. Does 5 divide q?
False
Suppose -4 = -0*q - 2*q. Suppose 0 = 4*s + 3*n + 501, 0*s = s + q*n + 129. Does