**5/12 + 7*j**4/24 + 3*j**3/2 + 8*j**2. Does 10 divide u(-3)?
False
Suppose 0 = -3*f - 5*o - 626, -o + 6*o = 4*f + 893. Let z = -133 - f. Is z a multiple of 7?
True
Let i(b) = b**3 + 11*b**2 + 27*b - 7. Let o be i(-7). Suppose 0*s - 9*s + 1224 = o. Does 10 divide s?
False
Let d = 14 + -11. Is 3 + 16/(-6) + 20/d a multiple of 2?
False
Let j(w) = 4*w**2 + 4*w + 12. Let m(a) = -20*a**2 - 20*a - 60. Let s(r) = 16*j(r) + 3*m(r). Is s(6) a multiple of 20?
True
Suppose 3*q + 3101 + 327 = 5*j, 0 = -4*j + 2*q + 2744. Is j a multiple of 8?
True
Let b = -20 + 80. Let f = -32 + b. Is 10 a factor of f?
False
Suppose -13*b + 12*b = 5*s - 8395, -3*s + 2*b + 5050 = 0. Is 20 a factor of s?
True
Suppose 3*v = -4*s + 289, 25 = -5*v - 0*v. Let t = 100 - s. Does 2 divide t?
True
Let i(j) = -j**2 + 20*j - 29. Let n be i(18). Let b(m) = 7*m + 11. Does 5 divide b(n)?
True
Is 9 a factor of (-14)/(308/33)*100/(-3)?
False
Suppose -2*g - i + 2203 = 4*i, i = 3*g - 3279. Is 18 a factor of g?
False
Let f(g) = 55*g - 95. Does 9 divide f(5)?
True
Let i(k) = k - 11. Let q be i(8). Let r be (0*(-1)/q)/1. Suppose g - 4*g + 90 = r. Is 22 a factor of g?
False
Let w(a) = a**2 - 7*a + 5. Let p be w(7). Suppose p*z = 8*z - 156. Is z a multiple of 26?
True
Let s(l) = -l**2 - l. Let x = 3 + -8. Let h be s(x). Let o = -12 - h. Is o even?
True
Suppose 506*r = 465*r + 4469. Is r a multiple of 2?
False
Suppose u = 6*u - k - 2330, -4*k + 1864 = 4*u. Does 17 divide u?
False
Let u(i) = -5*i**3 - 11*i**2 - 4*i - 8. Let f(o) = 6*o**3 + 12*o**2 + 4*o + 8. Let s(r) = -4*f(r) - 5*u(r). Let a be s(-7). Let k = a + 29. Does 9 divide k?
True
Let w = 20 - 20. Suppose w*c + 3*c - 20 = -z, 3*c = z - 2. Does 3 divide z?
False
Suppose -13*u + 52579 = 7664. Does 33 divide u?
False
Let v be (2*6/4)/1. Suppose -3*u = -4*n + 1 - 6, 3*n = 3*u - 3. Is 10 a factor of (1/n)/(v/(-180))?
True
Suppose 6*u - 3491 = 9307. Is 29 a factor of u?
False
Suppose 16*d - 15*d - 3 = 0. Suppose d*i + 37 = 109. Is 17 a factor of i?
False
Suppose 4*h - 4697 = -4*m - 1653, -m = 3*h - 2291. Does 15 divide h?
True
Suppose 2*j - y + 26 - 103 = 0, 3*j = y + 114. Suppose 2*m - j + 261 = 0. Let d = 176 + m. Does 16 divide d?
True
Let o = 754 + 3115. Does 53 divide o?
True
Let b be 0*(1 + -2)/(-2). Suppose b = 4*w + u - 416, -2*u - 3*u = -5*w + 520. Is w a multiple of 26?
True
Let c(z) = -z**2 + 8*z + 6. Suppose -5*k = 10, -3*k = 5*y + 1 - 25. Let u be c(y). Suppose 0*r = 5*a - 5*r, a - u = -5*r. Is 2 a factor of a?
False
Is 50 a factor of (525/(-63))/((-2)/36)?
True
Suppose 0 = 3*x - 9*x + 570. Suppose 0 = -b + x + 136. Is 31 a factor of b?
False
Let u = 161 + -19. Let p = -51 + u. Is 13 a factor of p?
True
Suppose -6*x = -7*x + 136. Suppose -p = -3*t + 300, -2*t + 64 = -5*p - x. Does 10 divide t?
True
Suppose -3*w + 15 = h, w - 1 = 5*h - 44. Suppose 2*t + 8 = f - h, 5*f = -5*t - 50. Does 22 divide -183*3/t + -3?
False
Suppose 3*d + 737 = -4*l, 3*l + 67 = 5*d - 464. Is 4/(-14) + (-29536)/l a multiple of 9?
True
Let i(w) = -27*w - 155. Let k(b) = 13*b + 77. Let l(a) = -2*i(a) - 5*k(a). Is 19 a factor of l(-9)?
False
Let h = 7080 + -1618. Is 15 a factor of h?
False
Let y = -647 - -752. Is y a multiple of 21?
True
Let o(l) = -l. Let y be o(-5). Suppose -y*q + 82 + 28 = 0. Does 13 divide q?
False
Let v(t) be the third derivative of t**5/60 - t**3/6 + 7*t**2. Let i be v(2). Suppose -m + i*x + 566 = 4*m, 3*m + 2*x = 351. Is m a multiple of 17?
False
Suppose 5*g - 157 = 5*o + 5458, 4*g = 5*o + 4490. Is 54 a factor of g?
False
Let n be 395 + (2 - (6 - 3)). Suppose -s + 6*s - 4*t - n = 0, -254 = -3*s - 2*t. Let v = s + -51. Is v a multiple of 19?
False
Let h(m) = -73*m - 5. Let d(x) = -145*x - 11. Let q(u) = -4*d(u) + 9*h(u). Let l(c) = 76*c + 1. Let g(s) = -4*l(s) - 5*q(s). Is 21 a factor of g(1)?
False
Let t(s) = -s**3 - 6*s**2 - 7*s - 7. Let j be t(-5). Suppose -372 = j*b - 6*b + 3*v, 0 = -2*b - 5*v + 220. Let g = b - 76. Is g a multiple of 20?
False
Suppose -7*q - 4 = -18. Suppose 0 = 2*m - 4*o - 0*o - 300, q*m + 2*o = 270. Is m a multiple of 16?
False
Let i = 109 + -105. Suppose 11*r - 301 = i*r. Is r a multiple of 17?
False
Suppose -17 = 4*b - 69. Let f = b + 20. Is f a multiple of 16?
False
Let g = 421 + -123. Is g even?
True
Let j = 1126 - 353. Is 28 a factor of j?
False
Let y(m) = 3*m**2 + 26*m - 10. Let r(o) = -13*o**2 - 104*o + 40. Let v(d) = -2*r(d) - 9*y(d). Let h = 42 - 62. Does 29 divide v(h)?
False
Suppose -178 = 3*b - 796. Let a = b - 111. Is 19 a factor of a?
True
Suppose -682*j + 696*j = 4102. Is 79 a factor of j?
False
Suppose -8*m = -2*m - 114. Suppose -51 = -5*u - 5*c + m, -3*c - 24 = -3*u. Is u a multiple of 3?
False
Let g be (-84)/(-45) - (-8)/60. Suppose -120 = -g*v - v. Suppose c - 66 = -2*j - 18, 2*j + 5*c = v. Is j a multiple of 5?
True
Let d(l) = 15*l**2 - 85*l - 6. Is 29 a factor of d(-8)?
False
Let m = 43 - 40. Suppose n = 2*t + 3*n - 84, 2*n = m*t - 121. Does 13 divide t?
False
Let o = 68 - 66. Let b(u) = 5*u**2 - 2*u. Is b(o) a multiple of 2?
True
Let c be (-2 + 2/4)*6. Let n(i) = i**3 + 11*i**2 + 7*i + 1. Does 10 divide n(c)?
True
Let g(w) = 2*w - 8. Let l be g(6). Suppose -r = -2*r + l. Suppose -2*m + 0*f = -2*f - 32, 16 = -r*f. Is 4 a factor of m?
True
Let y be (-6)/(1 + (3 - 6)). Is 14 a factor of y*(-3)/9 - -244?
False
Let c = -480 + 710. Is 11 a factor of c?
False
Suppose 10*q - 100 = 8*q. Suppose 0*v = v - j - 25, j = 2*v - q. Is v a multiple of 17?
False
Suppose -3*l = -5*l - 28. Let v be (l/(-6))/((-1)/3). Let u = v + 19. Is 4 a factor of u?
True
Let r(n) be the second derivative of n**5/20 - 2*n**4/3 - 19*n**3/6 - 6*n**2 + 4*n. Let w be r(10). Is ((-36)/w)/(-3 + 5) a multiple of 3?
True
Suppose -319 = -3*z - 5*u, -u = -6*u - 5. Suppose k = 5*y + 139, 2*k + y + z = 419. Does 22 divide k?
True
Let f be (-29)/1 + -4 + 2. Let a = -26 - f. Suppose a*z - 48 = z. Is 9 a factor of z?
False
Suppose -5*h + 53 = -1657. Does 36 divide h?
False
Suppose -5*q + 113 = -1907. Is q a multiple of 9?
False
Let b = 26 - 18. Suppose -4*t = -b*t. Suppose 0*a + 5*c + 40 = 4*a, a + 2*c - 10 = t. Does 10 divide a?
True
Suppose -2*k - 13*k = -10455. Does 17 divide k?
True
Let o = 55 + -51. Suppose -4*c = 4*r - 20, 0 = c - 8*r + o*r. Is c even?
True
Let r(w) = 3*w + 3. Let z be (3/3)/(-4 + 3). Let a be r(z). Suppose -m = m + d - 82, a = -3*m - d + 122. Is m a multiple of 10?
True
Suppose -3 = c + 2*p - 0*p, -3*c - 5*p = 13. Let f = 12 - c. Suppose -h = 2*v - 45, 2*h - 4*v - f = 27. Is 19 a factor of h?
False
Let r(b) = b**2 + 2*b - 2. Suppose 17 = 2*d - 3*y, 0 - 9 = 3*y. Let h be r(d). Let a = -14 + h. Does 6 divide a?
False
Let o(i) = -i - 2*i**3 + 6*i**2 + 0*i + 2*i + 1. Let b be o(3). Suppose 4*j - j + 120 = b*y, 144 = 4*y + 3*j. Is 15 a factor of y?
False
Does 17 divide 1*13/(156/25440)?
False
Let w(d) = -4*d**2. Let v be w(-1). Suppose -68*n - 7812 = -54*n. Does 15 divide (v/6)/(12/n)?
False
Let l = -7 - -3. Let j = l - -16. Does 4 divide j?
True
Let j be 1/5 - (-5)/(-25). Let f = j - -3. Suppose -3*p + 24 + 98 = 5*q, -f*p - 10 = -q. Is q a multiple of 6?
False
Suppose -5*h = 2*t - 166, 47 = 2*t + 3*h - 115. Is 47 a factor of t?
False
Let q = 5 - 2. Suppose -v = -2*d - q, 4*d - 4 = -3*v + 5. Suppose -104 = v*t - 7*t. Does 13 divide t?
True
Let x(b) = b**2 - 8*b. Let w be x(8). Suppose w = u + u - 6. Suppose -5*j = 4*o - 424, u*j - 4*o = 2*j + 80. Is 21 a factor of j?
True
Is 6 a factor of (3/9)/(3670/(-408) - -9)?
False
Let o(u) = -3*u**3 + u**2 - 2*u. Let j be o(-4). Let c(d) = -9*d + 98. Let a be c(-27). Let t = a - j. Is t a multiple of 33?
False
Let y(g) = 2*g**3 - 2. Let f be y(-2). Let t be (f/21)/(4/28). Does 25 divide t/(-4)*-2 - -53?
True
Let v = 7 + 3. Suppose 0*f = 2*f + v. Is (-4)/(-3 - f)*-5 a multiple of 3?
False
Suppose 121*k = 6404 + 115927. Is 12 a factor of k?
False
Let v(t) = -t**3 - 6*t**2 - 6*t - 8. Let i be v(-6). Let a = 49 + i. Does 17 divide a?
False
Let j(f) = 2*f - 7. Let u be (-5 + 59/(-2))*2/(-3). Is j(u) a multiple of 13?
True
Suppose 5*i + 4 + 21 = 0, -5*l + 15 = i. Suppose -4*h - 3*v = -230, l*h + v = 3*v + 220. Does 14 divide h?
True
Suppose j = 5*o + 19, -6 = -4*j - o + 7. Suppose j*r + r - 39 = -h, 39 = h - 5*r. Suppose -3*q + h = -3*y, 3*y + 46 = 4*q + y. Is q a multiple of 3?
False
Su