= -4*f - 4, 2*a - 2*f - u = -a. Suppose 2*g = 3*l - 19, a + 24 = 4*l - 2*g. Is 7 a factor of l?
True
Let p(o) be the second derivative of -o**5/20 - o**4/6 + 2*o. Let z be p(-4). Let n = z + -10. Is n a multiple of 22?
True
Let j(z) = -z**3 + 40. Let v be 1 + (3/3 - 2). Is j(v) a multiple of 20?
True
Suppose -3*s = 242 - 341. Is 4 a factor of s?
False
Is -150*((-4)/5)/2 a multiple of 15?
True
Let z = -93 + 150. Is 13 a factor of z?
False
Let j = 156 + -5. Does 7 divide j?
False
Does 5 divide (-1924)/(-16) - (-2)/(-8)?
True
Is (-2191)/(-49) + (-4)/(-14) a multiple of 28?
False
Let g be (-2)/9 + 4/18. Let v be (-15)/(-6)*(g + 2). Suppose 0 = -v*t + 41 + 19. Is t a multiple of 7?
False
Let a(n) = n**2 + n + 13. Let t be 1/(-3) + 13/39. Does 13 divide a(t)?
True
Let z(d) = 2*d**3 - 8*d**2 - 7*d + 18. Does 36 divide z(6)?
False
Let l(u) = -2*u**3 - 24*u**2 - 8*u - 6. Let y be l(-12). Let a = -65 - -11. Let r = a + y. Is 18 a factor of r?
True
Let h = -56 - -80. Suppose -n = n - h. Is 12 a factor of n?
True
Is (-2)/(-6) + (-942)/(-9) a multiple of 15?
True
Let n be (5 + 4/2)/1. Let k = n - -42. Is 14 a factor of k?
False
Suppose -5*x + 27 = n, -3*x - 3*n + 0 = -21. Suppose x*g - 201 = 4. Is 14 a factor of g?
False
Let i(o) = o**2 - 6*o. Let z be i(6). Suppose z*s + 21 = s. Is s a multiple of 7?
True
Let l = 9 - 5. Suppose -l*w + 31 = -9. Does 5 divide w?
True
Suppose -94 = -3*j + 80. Suppose -5*o + 3*m + j + 58 = 0, 0 = 3*o - 2*m - 70. Is 22 a factor of o?
True
Let h = -259 - -467. Is 15 a factor of h?
False
Let y(v) = -20*v + 5. Let h be y(-4). Suppose 17 = -2*t + h. Is 15 a factor of t?
False
Let g(z) = -60*z - 22. Let y(o) = -24*o - 9. Let w(n) = -5*g(n) + 12*y(n). Is 10 a factor of w(3)?
False
Suppose 4*t - t + 18 = 0. Is 7 a factor of ((-46)/10)/(t/30)?
False
Is (-3)/(-1) - (7 - 175) a multiple of 19?
True
Let v(q) = -29*q + 2. Is v(-5) a multiple of 21?
True
Let d(z) = -z**3 + z**2 - 4*z - 3. Suppose 0 = 5*b - 0 + 5. Let i be (-1)/1 - (b - -2). Does 17 divide d(i)?
True
Let m be (8/14)/((-2)/(-7)). Suppose 0 = -i - 3*u + m*u + 24, 0 = -4*i - u + 108. Does 14 divide i?
True
Let k = 8 - 21. Let z be (19/4 - 1)*8. Let r = k + z. Does 6 divide r?
False
Let p(b) = b. Let i be p(3). Let k(j) = -j + 7. Let x be k(i). Is 15 a factor of 20/6*18/x?
True
Suppose 0*l = 2*l - 5*s - 207, 0 = 4*l + s - 403. Suppose -l = -3*n + 25. Suppose 0 = 4*h - h - n. Is 9 a factor of h?
False
Let i(u) = 10*u - 17. Does 11 divide i(3)?
False
Let y be 18/(-4)*(-58)/3. Suppose 5*j + 2*n - y = -n, -2*j + 33 = 3*n. Is j a multiple of 9?
True
Let p(g) = g. Let u = -7 + 9. Let j be p(u). Is 18 a factor of j/(-5) - (-184)/10?
True
Suppose 5*t - 1410 = -330. Is t a multiple of 42?
False
Suppose 5*v + d = -2*d + 45, 2*v = -3*d + 18. Does 8 divide (2 + 4)*15/v?
False
Let j be 8/(-12) - (-10)/6. Let f(b) = 10*b**3 + b**2 - b + 1. Is 6 a factor of f(j)?
False
Suppose 80 = 3*i - 5*k - 0*k, 0 = 3*i - 2*k - 77. Let s(g) = -g**3 - 7*g**2 - 8*g - 8. Let n be s(-6). Does 11 divide i*2*2/n?
False
Suppose 2*s - 7*s = -80. Is 4 a factor of s + (2 - 2) + 1?
False
Let y be 0/(2/(-4)*2). Let x be y + -1 + (-6)/(-2). Suppose -x*n + 0*n = -72. Is 18 a factor of n?
True
Let n(j) = 2*j + 4. Let b(a) = 5 + 3 + a - 3 - 2. Let i(t) = -7*b(t) + 5*n(t). Is i(1) a multiple of 2?
True
Let v(a) = -2*a - 1. Let k be v(-8). Let i = k - -2. Is i - 0 - (1 + 0) a multiple of 6?
False
Let l be 2 - (1 + 4/(-2)). Suppose -o + l*o = 20. Is 4 a factor of o?
False
Suppose 3*c + 3*s - 21 = 0, 6*c - 2*c - 2*s - 4 = 0. Suppose c*f - 131 = -4*u, -3*f + 4*f - 42 = -u. Is f a multiple of 16?
False
Let g(l) = l + 12. Let m be g(-10). Suppose -2*x + 5 = -x. Is -10*(2 - x/m) a multiple of 3?
False
Suppose 0 = -3*b + 4*t - 180, 2*b - 3*t + 57 + 63 = 0. Let n = 137 + b. Is 11 a factor of n?
True
Let h = -74 + 148. Is h a multiple of 20?
False
Let k = 264 + -145. Let j = k - 79. Suppose 2*a = -a - 2*o + j, -2*a + 2*o + 10 = 0. Does 8 divide a?
False
Suppose 3*t + 6 = 5*t. Let v be t/((-9)/6) + 89. Suppose 4*h = v + 1. Is h a multiple of 11?
True
Let q = -95 + 112. Does 3 divide q?
False
Let c(i) = 2*i**2 - 2*i - 2. Let p be c(2). Suppose p*x = -0*z - z + 7, z = -x + 6. Suppose 5*u = -x + 21. Is 2 a factor of u?
True
Let k be -4 + 4 - (-56)/2. Suppose s + s - k = 0. Is s a multiple of 8?
False
Suppose 0 = 3*o - 8*o + 15. Suppose i - 156 = -o*i. Does 12 divide i?
False
Let j(u) = 4*u**2 - 7*u + 5. Is 10 a factor of j(4)?
False
Suppose 212 = 5*s + 4*w, 5*s + 2*w + w = 209. Does 7 divide s?
False
Suppose 4*w + w = -5, 0 = -4*p + 5*w + 9. Is p*3 + -2 + 3 a multiple of 3?
False
Suppose -190 - 210 = -2*t. Is t a multiple of 20?
True
Suppose 2 = 5*d + 2*w - 1, d - 3 = 2*w. Is 2 a factor of -3 - (-1)/(d/10)?
False
Suppose 4*u = -60 - 28. Let n = -14 - u. Is n a multiple of 8?
True
Let q be (3 + -2)*(1 + 1). Suppose 5*n = q*l - 8, l + n - 14 = 4. Is 5 a factor of l?
False
Is (6 + -15 + -218)*2/(-2) a multiple of 19?
False
Let m be (-14)/(-77) + (-40)/(-22). Does 18 divide (m/(-5))/(11/(-715))?
False
Suppose 9*s - 88 = s. Does 4 divide s?
False
Let p = 165 + -304. Let l(n) = 48*n**2 - n + 2. Let j be l(-2). Let h = j + p. Is 20 a factor of h?
False
Suppose -2*d + 58 = 2*j, -2*j + 2*d + 64 = d. Is j a multiple of 31?
True
Let a(f) = 5*f**2 - 4*f + 3. Is a(4) a multiple of 18?
False
Suppose 3*u + r = -4*r + 75, -2*u + 2*r = -34. Is 14 a factor of u?
False
Let n(a) = -a**3 - 3*a**2 + 8*a + 4. Let x be n(-5). Suppose -i + x = i. Suppose -z = -i - 5. Does 4 divide z?
True
Let r(o) = 4*o - 1. Let t = -5 + 6. Let v be r(t). Is (-14)/(v/(-6)*1) a multiple of 12?
False
Suppose -5*v + 153 = -4*k + 2*k, 2*v - 74 = 4*k. Suppose -4*x + 5*y + v = 0, x + 0*y - 8 = 2*y. Suppose 0 = -x*z + 2*z + 52. Is 13 a factor of z?
True
Suppose -6 = -4*x + y, -5*y - 2 = -5*x - y. Suppose -2*o + 24 = 4*a - 6*o, -4*o - 21 = -3*a. Is (x/5)/(a/90) a multiple of 12?
True
Suppose 2*k = k - 4. Is 13 a factor of (-47)/(-2) - 2/k?
False
Is 9 a factor of (-1)/3 + (-49)/(-3)?
False
Does 15 divide 58/4 - 3/(-6)?
True
Let y(s) = -s**2 - 5*s - 2. Let t be y(-5). Let r = t - -10. Does 7 divide r?
False
Let q = 0 + 2. Let m be (-82)/(q - 4) + 0. Does 6 divide m/3 - (-2)/6?
False
Suppose 2*i = 161 + 367. Is 24 a factor of i?
True
Let d(t) be the second derivative of -t**5/20 + 2*t**4/3 - t**2/2 - 3*t. Is d(7) a multiple of 16?
True
Let g(a) = -3*a - 16. Is 7 a factor of g(-13)?
False
Suppose -3*y = p + 2*y + 20, 0 = p + 4*y + 17. Is 4 a factor of (3 - p) + -1 + 1?
True
Let m(k) = -k**2 + 5*k + 6. Let t(n) = 7*n - 1. Let q be t(1). Let u be m(q). Let l = u - -5. Is 2 a factor of l?
False
Suppose -5*z - 25 = 6*b - 2*b, -4*b = 0. Let p(k) = -3*k - 6*k**2 - 1 - k**3 - 5*k - 5. Does 4 divide p(z)?
False
Let c(y) = y**2 + 11*y - 3. Let s be c(-8). Is s/(-5) + 18/(-45) a multiple of 5?
True
Let r(k) = 3*k**2 + 3 - 4 - 3*k - 3. Let w be r(-3). Suppose 4*h = -4*t + 128, -4*h + 98 = 2*t - w. Is 12 a factor of h?
False
Let x(f) = -f**3 - f + 20. Suppose 0 = -0*h + h. Is x(h) a multiple of 8?
False
Let r = -17 + 30. Is r a multiple of 9?
False
Suppose -2*n - 2*n = 5*q + 35, -n + 3*q = 30. Let i be (1 + n/9)*-3. Suppose -62 = -3*f + i*h, 4*h - 91 = -5*f + 27. Does 9 divide f?
False
Suppose 14 = b + 3. Is 6 a factor of b?
False
Does 7 divide -1*2 + 4*145/20?
False
Let h(u) = u + 2. Let l be h(0). Suppose 2*d = l + 10. Is 3 a factor of 3/1*16/d?
False
Does 28 divide (1/2)/(2/224)?
True
Suppose 10*x + 5 = 5*x. Let g = x - -3. Suppose -5*u + 73 = -4*d, g*d + 43 + 26 = 5*u. Does 5 divide u?
False
Suppose 2*x - 4*x + 26 = 0. Suppose -3*i = -34 + x. Suppose 5*p + i*j - 3*j - 135 = 0, p + 5*j = 48. Is p a multiple of 12?
False
Let w(u) = u**3 + 5*u**2 + 2*u - 4. Suppose -2*v + 4 = -3*v. Let p be w(v). Is 9 a factor of p/10 - 176/(-10)?
True
Let h be (-3)/6 - 6/(-4). Suppose -7 = -3*z - h. Suppose k + 12 = z*k. Is 6 a factor of k?
True
Suppose 3*l = -3*t - 96, 5*l + 2*t + 156 = t. Let r = l - -50. Is 13 a factor of r?
False
Let p = 25 + -37. Is 44/(-3)*18/p a multiple of 11?
True
Let x(w) = -4*w + 5 - 5. Let p be x(-1). Suppose j - 14 + p = 0. Is j a multiple of 4?
False
Let f = 70 - 50. Is 16 a factor of f?
False
Let v = -10 - -16. Let b(k) = k**2 - 4*k - 4. Is b(v) a multiple of 6?
False
Let v = 51 