-4*j - 520 = -5*u, 3*j + 0*u + 4*u = -421. Let c = -48 - j. Is 9 a factor of c?
False
Suppose 3*c + 3*k - 4*k = 2806, 2*c - 2*k - 1868 = 0. Is c a multiple of 26?
True
Let o = 82 - 83. Does 14 divide (-4)/4 - (-74 + 0/o)?
False
Let f = 25 + -18. Let n = 7 - f. Suppose -4*j - 296 = -o - 3*o, n = -o + 4*j + 62. Is 13 a factor of o?
True
Suppose 22 = 5*s - 4*z, -2*z - 4 - 4 = -s. Suppose 4*h = s*h + 62. Is 31 a factor of h?
True
Suppose 28*y - 101 = 739. Does 2 divide y?
True
Let g(u) = -10*u**3 - 3*u**2 - 4*u - 11. Is 61 a factor of g(-3)?
True
Suppose 3*a + 36*g = 32*g + 1056, 4*a = 4*g + 1380. Does 19 divide a?
False
Let v(n) = n**3 - 2*n - 1. Let c be v(2). Is 14 a factor of (-6 - c)*(-31)/3?
False
Suppose -2*c - 5*h + 35 = 0, 0 = 5*c + h - 24 - 52. Let f be 2/(7 + -8)*5/(-2). Is f/(c/9) + 5 a multiple of 3?
False
Let p be 1/(1 - 12/9). Let w = p - -10. Is 4 a factor of w?
False
Suppose 97 = 5*p - 5*w - 68, p - 2*w = 28. Let v = 93 - p. Does 11 divide v?
True
Let b be (-1)/2*60/(-10). Let p(s) = -6*s**3 - 6*s**3 + 4*s**2 + 13*s**b - 6*s - 6. Does 6 divide p(-4)?
True
Let o(h) = 6 + 2 - 2 - 14*h. Is 8 a factor of o(-3)?
True
Suppose 2*i + 2*c - 6264 = 0, -3*i - 2*i + 5*c = -15700. Is i a multiple of 8?
True
Suppose 0 = -424*l + 421*l + 975. Does 37 divide l?
False
Let o be -1*(-4)/(-8)*-44. Let s = o + -16. Is 18 a factor of -27*-2*2/s?
True
Suppose -3*u = 4*c - 49, -3*c + u = 2*u - 33. Suppose -c*k + 11*k - 87 = 0. Does 8 divide k?
False
Does 67 divide (-13975)/(-13) + (1 - 4)?
True
Suppose 123*a = 132*a - 8316. Does 12 divide a?
True
Suppose -3*o - 9 = -u, 1 + 1 = -2*u - 4*o. Suppose 3*j - 163 = -0*j - 5*k, u*j - k = 151. Suppose -2*r = -3*r + j. Is r a multiple of 14?
False
Suppose -2*x = 0, 120 = 5*t + 2*x - 1535. Does 22 divide t?
False
Suppose 156 = 2*w - 122. Let l = -91 + w. Does 18 divide l?
False
Let w(f) = -19*f - 63. Is w(-23) a multiple of 11?
True
Let t = 15 - 8. Suppose t*v = 5*v - 4. Does 22 divide v/((-20)/(-55))*-4?
True
Let s(r) be the second derivative of r**5/20 + r**4/6 - r**3/6 + 3*r**2/2 - 6*r. Let q be s(-3). Let g(u) = -2*u**3 - 4*u**2 - 5*u - 4. Is 10 a factor of g(q)?
False
Suppose 2*c + 15 = -2*s + 7*c, 6 = s + 2*c. Suppose s*w - 5*b = 5*w - 165, w - 5*b - 27 = 0. Is w a multiple of 29?
False
Is (-3 + -2 + 25/10)*-48 a multiple of 6?
True
Let f = -9 + 11. Suppose f*a - 38 = a. Suppose 0 = 2*p + 14 - a. Is p a multiple of 11?
False
Let u be 3/(6/430) + 12 + -12. Suppose f - 4*f + 174 = 2*x, 4*f = 3*x + u. Does 6 divide f?
False
Suppose 8 = n - 2*o - 5, -n + 5*o + 22 = 0. Let v(b) = -4*b**2 + 3 - n*b**2 - 9 - 7*b - 10 + b**3. Is v(12) a multiple of 33?
False
Let n(i) = 5*i**2 + 5*i - 4. Let z be n(3). Suppose -r = 2*f + z, f + 5*r = 4*f + 71. Is 26 a factor of (-152)/(-6)*f/(-18)?
False
Let m(k) = -k**3 + 42. Let r be (1 - 2)*(12 + -9). Let g(v) = -2*v - 6. Let z be g(r). Is 8 a factor of m(z)?
False
Let y(n) = 145 - n - 16 + 59 - 28. Is y(0) a multiple of 8?
True
Suppose 0*y + 2*y - 472 = 0. Let d = -23 + y. Does 19 divide d?
False
Suppose -3*z = -4*d - 13, -4*z + 4 = 4*d - 4. Suppose -5*i + z*g + 158 = -g, -4*i = -3*g - 126. Is i a multiple of 15?
True
Let d(g) = -g**3 + 2*g**2 + 7*g - 23. Is d(-5) a multiple of 3?
True
Let l(v) = 15*v**2 - 6. Let a be l(-4). Let n = -143 + a. Does 13 divide n?
True
Let g be 1 + -4 + 1/((-3)/(-45)). Suppose -k = 2*c - 31, -3*c + 0*c - 5*k = -64. Let d = g + c. Is d a multiple of 8?
False
Let z(a) be the third derivative of -a**5/60 - 3*a**4/8 + 8*a**3/3 + a**2. Does 3 divide z(-10)?
True
Suppose x + y = 280, y = 4*y + 15. Suppose 63 = -3*t + x. Is 21 a factor of t?
False
Suppose 42*n - 37833 = -7341. Does 33 divide n?
True
Is (-45)/15*1*-107 a multiple of 35?
False
Let c(b) = -b**3 + 7*b**2 - 3*b - 15. Let x be c(6). Suppose -4*q + 4*a + 228 = 0, -x*q = -2*a - 45 - 126. Is q a multiple of 18?
False
Suppose 4*j + 5 = 17. Suppose -j*z + 5*z - 10 = 0. Suppose -14 = -2*b - z*p, -5*b - 2*p + 35 = 3*p. Does 7 divide b?
True
Let q(l) be the first derivative of -2*l - 3 + 2*l**3 + 4*l**2 - 1/4*l**4. Is q(6) a multiple of 23?
True
Suppose -75 = -f + 4*f. Let t = -11 - f. Suppose -4*b - 34 = -d, -d + 18 = -2*b - t. Is 10 a factor of d?
True
Let g be (-8)/14 + (-24)/(-42). Suppose g = 7*x - 37 - 47. Does 4 divide x?
True
Let h(g) be the third derivative of 1/60*g**5 + 0 - 13/24*g**4 + 1/2*g**3 + 0*g + 11*g**2. Does 12 divide h(15)?
False
Suppose 5*l + r + 0*r = -5, 3*r = 3*l + 21. Is 2/15 - ((-6519)/45 + l) a multiple of 19?
False
Does 7 divide (-32953)/(-124) + 2/8?
True
Suppose -126 + 16 = -5*t - 5*y, -43 = -4*t + 5*y. Does 34 divide 20/50*10*t?
True
Let t be (5 + -3 + 2)/(-2). Let j be t - -5 - -1 - -3. Suppose j*b = 10*b - 126. Is 14 a factor of b?
True
Suppose 0*d = -2*t + d + 1, 4*d = 3*t + 11. Suppose 0*n = 5*n, 0 = j + t*n. Suppose -3*l + 0*p = -4*p - 55, j = -l - 5*p + 31. Is l a multiple of 11?
False
Is 60 a factor of (-5937)/(-7) - -8*2/(-112)?
False
Suppose -5*o - 364 + 64 = 0. Let a be 18/(8/o + 0). Does 27 divide ((-9)/(-15))/((-1)/a)?
True
Suppose f + 11 = -2*l - 2*f, 4*f + 45 = -5*l. Let s = l + -1. Is 7 a factor of (1 - 92)*4/s?
False
Is 38 a factor of (14 - (-28)/(-4)) + 436?
False
Let f(y) = y**2 - 7*y + 9. Let h be f(6). Suppose 6*v = 3*v + h. Is 27 + -2*2 + v a multiple of 15?
False
Let w be 8/(-6)*(2 + 7). Let g = w - -23. Is (-2)/(1 - 13/g) a multiple of 10?
False
Let v = -50 + 42. Is (140/v*1)/((-1)/2) a multiple of 18?
False
Suppose -h + 11 + 92 = 0. Let q = h - 53. Is q a multiple of 25?
True
Let h = 175 - 86. Suppose -3*s - 5*w = -h, 0*s - 2*w = 2*s - 54. Is 3 a factor of s?
False
Suppose 0 = -4*z + 18 - 6. Suppose -v + w + 3 = 0, -3*v + 19 = -0*w + 2*w. Suppose 0 = -4*a - x + 40, v*x + 16 = z*a + a. Does 3 divide a?
True
Suppose -3*c - 72 = 5*d - 4*d, 0 = 2*d. Let a be (c/(-20))/((-2)/5). Is 9 a factor of 6/4*(-88)/a?
False
Let r(q) be the second derivative of -q**5/20 - 2*q**4/3 - q**3 - 7*q**2/2 - 6*q. Let s be r(-7). Let b(p) = -p + 18. Does 8 divide b(s)?
True
Let h(n) = -70*n + 1. Let i(b) = -b. Let l(x) = -h(x) - 3*i(x). Suppose -6*m = -2*r - m + 27, 5*r - 5*m = 30. Is l(r) a multiple of 15?
False
Let h(k) = 35*k - 178. Is 6 a factor of h(8)?
True
Does 31 divide ((-62)/(-8))/(30/1320)?
True
Suppose 161 = 11*r - 26. Is r a multiple of 6?
False
Let d(g) = 1062*g**2 - 15*g + 13. Is 71 a factor of d(1)?
False
Let c = -78 - -93. Is 37 a factor of 2/18*2319 + 20/c?
True
Let x(h) = 3*h**2 + 7*h. Let n be x(-6). Suppose -2*d - l + n = -3*l, l + 161 = 5*d. Is 4 a factor of d?
True
Let p be -1 - 3/(-15)*0. Is 29 a factor of p/(544/109 - 5)?
False
Let r be 3/(-18) - 219/(-18). Let b be 54/r*(13 - 1). Suppose -3*h - 159 = -4*o, 2*o + 4*h = o + b. Is o a multiple of 14?
True
Let q(o) = o**3 + 6*o**2 - 5*o - 10. Let r = -119 + 41. Let p be r/16 + (-4)/32. Is q(p) a multiple of 8?
True
Let p(s) = -39*s**2 + 5*s - 5. Let w be p(2). Let k = w - -297. Is 10 a factor of k?
False
Let n(i) = -i**3 - 5*i**2 - 8*i - 8. Let s be n(-4). Let g = s - -8. Is 15 a factor of g?
False
Let l = -2 - 3. Let f(p) = -23*p - 19. Is f(l) a multiple of 8?
True
Let c be 1/3 - 1 - 112/3. Let h = 148 - c. Is 31 a factor of h?
True
Let z = 240 - 75. Is z a multiple of 11?
True
Let k = -525 + 531. Does 2 divide k?
True
Suppose 102*k = 112*k - 4330. Is k a multiple of 2?
False
Suppose 5*g + 7 - 17 = 0. Let m = 160 - 113. Suppose -3*u + g*u = -m. Does 26 divide u?
False
Suppose 0 = 5*u + 3*q - 812, -4*q + 328 = 2*u - 2*q. Does 16 divide u?
True
Suppose -115 + 61 = -2*j. Is j even?
False
Suppose 0 = 15*x + 7*x - 16808. Is 30 a factor of x?
False
Let o(z) = z**2 - 6*z. Let a be (-4)/(-26) - 76/(-13). Let t be o(a). Is (7 - (3 + t)) + 20 a multiple of 12?
True
Let s(u) = 127*u**2 - 2*u - 3. Let o(n) = 127*n**2 - n - 2. Let b(q) = -5*o(q) + 6*s(q). Is b(-1) a multiple of 42?
True
Suppose -4*t - 177 = -4*j + 95, 5*t - 15 = 0. Let v = j - -37. Does 21 divide v?
False
Suppose 0 = -4*g + 213 + 147. Is g a multiple of 37?
False
Is (-10)/(-4) + (-298)/(-4) a multiple of 11?
True
Let g(i) = 4*i**2 + 3*i - 2. Suppose -15*d + 16*d + 3 = 0. Is g(d) a multiple of 25?
True
Let a(m) = 15*m**2 + 2*m + 1. Suppose 0 = 9*y - 4*y - 30. Let n = y + -7. Is a(n) a multiple of 3?
False
Suppose 3*o = -t + 43, -21 = -3*o - 5*t