actor of l(-10)?
True
Let v be ((-15)/(-10))/((-6)/(-92)). Suppose 0*u = -4*l + u + v, 3*u = l - 14. Does 3 divide l?
False
Let j = -2152 - -3136. Is 82 a factor of j?
True
Let s = 1348 - 630. Does 15 divide s?
False
Is ((-454)/2)/((-3)/1 + 2) a multiple of 42?
False
Let f = -21 - -30. Let t(b) = b**3 - 8*b**2 - 6*b + 9. Let v be t(f). Suppose 5*s + v - 171 = 0. Is 27 a factor of s?
True
Let z = -20 + 53. Suppose -z = -l + 22. Is 5 a factor of l?
True
Suppose -2*y + 21 = 5*y. Suppose -16*f + y*f = -1625. Is 43 a factor of f?
False
Suppose -a - 4*c = -29, -c + 3 = -1. Suppose -37 = -5*n + a. Does 10 divide n?
True
Suppose 0 = 4*k - 24. Let d = k - -60. Is 15 a factor of (-22)/d + (-277)/(-3)?
False
Let n = -1990 + 2805. Is n a multiple of 27?
False
Suppose 2*v - 4*o + 12 = -0*v, -v - 1 = -o. Suppose v + 63 = l. Is 21 a factor of l?
False
Let a be (2 + -3)*(-2 - (4 + 99)). Suppose 2*w = -t + a, -3*t = t + 4*w - 408. Is t a multiple of 11?
True
Let h = -3 + 7. Suppose -2*i + 3*i - b - 1 = 0, -h*i - 3*b = -4. Does 9 divide 21*i + (-5 - -5)?
False
Suppose 84*d = 63*d + 13020. Does 20 divide d?
True
Suppose 2*x - 2*g - 6 = 0, -5*x + 15 = 6*g - g. Let v be (x + (1 - 11))*-1. Suppose -2*w = -v*w + 25. Does 2 divide w?
False
Is 16 a factor of (-428)/(-7) + 38/(-266)?
False
Let d(m) = 24*m - 39. Does 36 divide d(8)?
False
Let c = 7 - 7. Suppose c = -3*s - 6, s = -4*p - 2*s + 118. Suppose -4*h + 158 = 2*x + 3*x, -x + p = h. Is 17 a factor of x?
True
Suppose 4*q - 2523 = -3*a, a = 2*q - 1117 - 132. Does 5 divide q?
False
Let d be (-72)/(1*3/(-2)). Suppose -4*g + n = -g - 36, -d = -4*g + 3*n. Let o = 17 - g. Is 5 a factor of o?
True
Suppose h = 4*z - 1081, -h + 269 = 18*z - 17*z. Is 10 a factor of z?
True
Suppose -3*p - 4085 + 7067 = 0. Is p a multiple of 15?
False
Suppose 0 = -0*r - 3*r + 141. Let f = 69 - r. Is f a multiple of 11?
True
Let c = 29 - 26. Suppose a + c - 6 = 0. Let k = 13 - a. Is 2 a factor of k?
True
Let i(x) = -3*x**2 + 63*x - 38. Is i(18) a multiple of 14?
False
Let f(y) be the second derivative of -y**5/20 - 7*y**4/6 + y**3/6 + 10*y**2 + 8*y. Let c be f(-14). Suppose -6 = -3*g + c. Is 3 a factor of g?
False
Suppose 2*w - 34 = -14. Suppose 2*f = w - 4. Suppose -f*n + 44 = -7. Is 4 a factor of n?
False
Suppose 2*l + 3*l = 25. Let c(u) = u**3 - 6*u**2 + 3*u - 6. Let v be c(l). Let x = -3 - v. Does 4 divide x?
False
Suppose 10*n = 1 + 19. Suppose -f = -n*a + 17, -a + 13 = -0*a - 5*f. Does 4 divide a?
True
Is ((-945)/42)/((-5)/((-1720)/(-3))) a multiple of 60?
True
Suppose -9*p + 7097 = 959. Is 23 a factor of p?
False
Let g(o) = 6*o + 122. Does 5 divide g(-11)?
False
Suppose z = -21 - 2. Let m = 5 - z. Is m a multiple of 8?
False
Let y = -1 - -8. Does 14 divide 10/(-35) + 478/y?
False
Let j(u) = 2*u**3 - 2*u**2 + 2*u - 1. Let i be j(1). Is 2 a factor of 1 + (-1)/i + (18 - 4)?
True
Let a(y) = 29*y**2 + 5*y - 2. Is 4 a factor of a(2)?
True
Suppose 15*s - 10*s - 20 = 0. Suppose 0 = 5*a - 25, -279 = -2*n - s*a + a. Is 33 a factor of n?
True
Does 8 divide 17/(102/3852) - -6?
True
Let i be (-20)/(-40)*(0 - 36). Let o = i - -18. Suppose 9*r - 4*r + 2*h - 114 = o, -4*h + 118 = 5*r. Is r a multiple of 11?
True
Let f = 145 + -255. Let k be (-4)/22 + (-20)/f. Is (-5 - -3) + k + 61 a multiple of 14?
False
Let h = 1 + 15. Let n = -11 + h. Suppose -n*g - a + 110 = -6*a, a = -4*g + 103. Does 16 divide g?
False
Is 6160/15*(1 + 20/16) a multiple of 11?
True
Let h be ((-3)/30*8)/((-2)/355). Suppose 118 = 4*z - h. Is z a multiple of 10?
False
Suppose 7991 = 59*x + 2976. Is 4 a factor of x?
False
Let h = 281 - 5. Does 23 divide h?
True
Suppose 5*a + 4*j - 15 = 4, 5*a + 3*j = 18. Suppose -a*n - 8 = -80. Is 24 a factor of n?
True
Let z be (-2138)/(-16) + (-33)/(-88). Suppose -3*r = -9, -2*o - r = -3*r - z. Does 7 divide o?
True
Let u be -27 + (3 - (0 + 4)). Does 9 divide (6/4)/(u/(-672))?
True
Suppose -4*j + 53 = 13. Suppose m + 3*m = -s + 163, -5*m + j = 0. Is 31 a factor of s?
True
Let n(b) = -161*b + 165. Is n(-4) a multiple of 12?
False
Suppose 3*m = 5*q - 86, -5*q - m + 2*m + 82 = 0. Is 2 a factor of q?
True
Let p be (399/14)/(1/2). Suppose -h + 0*u + p = 5*u, 0 = -3*u. Is h a multiple of 17?
False
Suppose -4*m + c = -2*c - 3252, -4*c = -4*m + 3248. Is m a multiple of 18?
False
Suppose 4*p - 56 = -36*k + 31*k, 0 = p - 4*k - 14. Is p a multiple of 4?
False
Suppose -8085 = -618*v + 611*v. Is 21 a factor of v?
True
Does 19 divide (((-2)/3)/1)/(186/(-15903))?
True
Let q(p) = -p**2 - 9*p + 7. Let v be q(-9). Suppose 2*w - v + 3 = 0. Suppose -4*n = -7*n + w*a + 64, n - 2*a = 20. Does 22 divide n?
True
Is 3 a factor of (-453)/(-6)*(-4 - -8)?
False
Suppose q - 4*s - 7 = 0, 0 = -4*s - 5 + 1. Let g = 6 - q. Suppose -g*c - f = 2*c - 61, -2*f + 38 = 3*c. Is c a multiple of 5?
False
Let y be 394/12 + 4/(28 - 4). Suppose y*r = 30*r + 222. Does 37 divide r?
True
Let i = -23 + 28. Suppose -5*m = 5*b - 365, i*b + 48 + 112 = 2*m. Does 25 divide m?
True
Let i = 699 + -431. Does 18 divide i?
False
Let a = 2 + 5. Suppose -5*d = -v + 9, -2*v - a = 3*d + 1. Is ((-12)/(-15))/(d/(-135)) a multiple of 18?
True
Let k(p) = p**3 + 5*p**2 - p - 16. Let d be k(-4). Let u(v) = 3*v**2 - 7*v + 4. Is 18 a factor of u(d)?
False
Suppose -l + 330 = -15*o + 11*o, -4*o - 1368 = -4*l. Suppose -l - 6269 = -15*r. Is r a multiple of 54?
False
Suppose -5*n + 1824 = -3*n. Is 38 a factor of n?
True
Let u(h) = -1. Let a(l) = -8*l**2 + 11*l - 5. Let o(q) = -a(q) + u(q). Let z be o(6). Suppose -w - 4*f + z = 2*w, -342 = -5*w + 2*f. Is w a multiple of 10?
True
Suppose -3*j - 15 = -33. Suppose 4*s = -j*q + 3*q + 114, -5*s + 4*q = -158. Does 5 divide s?
True
Let a be 2*(4 + -3)*-1. Does 9 divide (40 - -4 - -3) + a?
True
Is 7 a factor of (39 - (2 + 1))/(55/770)?
True
Let q = -34 - -55. Suppose q*f - 210 = 18*f. Is f a multiple of 16?
False
Suppose 1711 = -5*a - 3*p, -a + 0*p - 339 = -p. Let k = -55 - a. Is 26 a factor of k?
True
Let j = 30 + -29. Is 7 a factor of (-2 + (-62)/(-4))/(j/2)?
False
Does 27 divide 2838/(-55)*-15 + 8?
False
Let u(v) = 158*v - 94. Does 11 divide u(8)?
False
Let b(s) = -s**2 - 10*s + 8. Let r(i) be the third derivative of i**5/60 - i**4/24 - 5*i**3/3 + 4*i**2. Let t be r(0). Is 8 a factor of b(t)?
True
Suppose z = 1 + 4. Let b(l) = -5 - 6*l - 3 - z*l + 1. Is 13 a factor of b(-4)?
False
Let n(p) = -1 - 2*p - 2*p + 14*p + 6*p. Let m be n(1). Is (6/5)/(1/m) a multiple of 13?
False
Let t(n) = n - 3. Let z be t(7). Let r be 114 - 2 - (z + -2). Suppose 2*c = -5*m + r, 7*m - 60 = 3*m + 4*c. Is 10 a factor of m?
True
Let p = 1452 + -975. Is p a multiple of 19?
False
Let q be ((-25)/(-2))/(7/154). Suppose 5*n + 4*c - q = 0, -n + 6 + 28 = 5*c. Suppose 0 = -5*b + 3*b - 4*p + 6, 5*b = p + n. Does 6 divide b?
False
Is 27 a factor of (-68)/374 + ((-27680)/(-11))/2?
False
Let u(w) = -w**3 - 35*w**2 - 60*w - 68. Is u(-34) a multiple of 64?
False
Let y be ((-24)/(-9))/((-4)/(-30)). Let n = -2 - -4. Let w = n + y. Is 14 a factor of w?
False
Let x = -23 - -47. Suppose 18*f = 22*f - 52. Let a = x - f. Is a a multiple of 3?
False
Let a = 35 - -206. Is a a multiple of 13?
False
Let n(y) = -8*y + 20. Suppose -3*u - 2*w = -7*u - 48, -2 = u - 3*w. Let a be n(u). Let m = a - 92. Does 9 divide m?
False
Let s be ((-63)/(-15))/((-1)/(-20)). Let d = -54 + s. Is d a multiple of 14?
False
Let n(v) = 2*v**3 + 42*v**2 - 31*v - 38. Is n(-20) a multiple of 41?
False
Let x(c) = 12*c - 13. Suppose -5 = -2*b - n, -3*b + 3 = -4*b + 5*n. Does 5 divide x(b)?
False
Let h be (-1 - 22/(-8))*-4. Let w(r) = -r - 13. Let v be w(h). Is (-298)/(-12) + (-1)/v a multiple of 7?
False
Let s(x) = 4*x**2 - x + 36*x**3 + 1 - 5*x**2 + 27*x**3. Let i be s(1). Suppose 2 - i = -5*r. Does 9 divide r?
False
Suppose 4*f - 13 = 23. Let a = -6 + f. Suppose -o = a*o - 28. Is o a multiple of 3?
False
Suppose -5*j - 355 = -3*l + 191, 2*l + 561 = -5*j. Let c = 160 + j. Does 14 divide (-592)/(-14) + (-14)/c?
True
Suppose -19 = 4*q - 203. Let x be 10/(-12)*(-6 - 0). Suppose 2*k + 45 = x*f, -k = -3*f + 4*k + q. Is f even?
False
Suppose -2*h = -3*h + 6. Suppose h = -4*v + 26. Suppose c = -5*a + 3, -7*c + 62 = -3*c - v*a. Is c a multiple of 13?
True
Let v = -47 - -42. Let d(u) = 2*u**2 + 4*u - 17. Is 12 a factor of d(v)?
False
Let i = -5 - -12. Suppose -i