 = -22, 3*i + 2 = i. Does 14 divide (-2)/v - 582/(-21)?
True
Let l = 5 + -6. Let o = l + 11. Is 5 a factor of o?
True
Let x(f) = -27*f**2 + 4*f + 5. Let u(l) = -26*l**2 + 3*l + 4. Let p(s) = -6*u(s) + 5*x(s). Is p(-1) a multiple of 5?
True
Suppose -2*t - 3*w + 82 = 0, -t + 3 + 36 = 2*w. Does 6 divide t?
False
Suppose -5*m = c - 65, 25 = 5*m + 5*c - 20. Is m a multiple of 14?
True
Let c(y) = -3*y - 3. Let j be c(-4). Let m = j - 1. Is m a multiple of 8?
True
Is 13 a factor of 24 + 6/(-3) - -4?
True
Let t = 94 + -62. Suppose t = 4*w - 32. Does 10 divide w?
False
Suppose 5*k - 4*y - 57 = 0, -k + 19 = 2*y + 2. Is k even?
False
Let p = 88 - 12. Is 6 a factor of p?
False
Let k be -3 - (-3 + (0 - 2)). Suppose -100 = -3*x - k*x. Does 10 divide x?
True
Let v(r) = r**3 + 6*r**2 + 3*r - 7. Let g be v(-5). Suppose -4*h + 8 = -2*n, -g*n = -4*h - 5*n - 8. Suppose h = 6*b - 2*b - 80. Does 10 divide b?
True
Is 41 a factor of 1 + 82 + (5 - 6)?
True
Let a(u) = -u**3 - u**2 - 2*u - 2. Let s be a(-3). Let w be 4/s - 1048/(-44). Let c = w - 7. Is c a multiple of 9?
False
Let n(i) = i**3 - 10*i**2 + 8*i + 11. Let m be n(9). Let k(x) = -x**3 - 2*x - 2*x**2 + 10*x**m + 4 - 3*x**2. Is k(4) a multiple of 6?
True
Does 43 divide (-4 - (59 + 1))*-2?
False
Suppose -15 = -11*w + 6*w. Suppose -2*u = -51 + w. Does 14 divide u?
False
Let k = 74 + -54. Is 3 a factor of k?
False
Let o(j) = 8*j - 3. Suppose 2*v + 3*v - 15 = 0. Is 7 a factor of o(v)?
True
Suppose -2*m - 5 = -3, 5 = j - 5*m. Let t = j + -3. Let w = t - -19. Does 8 divide w?
True
Suppose t - 34 = -5*c + 12, 3*c = -2*t + 92. Does 29 divide t?
False
Let d(c) = 3*c + 3. Let h be d(-3). Let g be ((-26)/(-4))/(h/(-12)). Let r = 21 - g. Is r a multiple of 4?
True
Let o = 205 - 202. Is 2 a factor of o?
False
Suppose 15 = -0*w + 5*w. Suppose 200 = 5*h - 4*q, 0 = -4*h + h - w*q + 93. Does 18 divide h?
True
Suppose -3*f + 0*f - 2*h + 53 = 0, -h = 2*f - 37. Suppose 6*y = 3*y + 5*r + f, 0 = 3*r - 9. Is 4 a factor of y?
True
Suppose 0*u + 238 = 7*u. Does 7 divide u?
False
Is 9 a factor of 1/((28/184)/7)?
False
Suppose 10 = -2*u + 758. Suppose 0 = 4*q - u + 86. Is 14 a factor of q?
False
Is 11 a factor of -2 + (0 - (1 - 69))?
True
Let v(k) = k**2 + 2*k + 5. Is v(11) a multiple of 34?
False
Suppose 5*k - 78 + 29 = -v, -44 = -4*k - 2*v. Is k a multiple of 2?
False
Suppose -10 = -2*h, m - 4*m + 2*h = -104. Does 19 divide m?
True
Suppose 4*x = 3*x + 8. Is x a multiple of 2?
True
Let p = 103 + -71. Is p a multiple of 16?
True
Let f(q) = -q**2 - 12*q - 3. Is 24 a factor of f(-9)?
True
Let k be 6/(-2 + 119/58). Suppose -4*c - 3*g + k = -g, 112 = 4*c + 4*g. Is 15 a factor of c?
True
Let a = 1384 + -964. Is a a multiple of 14?
True
Suppose 4*s - 5*r + 73 - 13 = 0, -15 = s - 2*r. Let a = 27 + s. Suppose 2*l - 4*l + a = 2*u, -5*u - 5 = 0. Is l a multiple of 3?
False
Let m = 0 + 26. Is 13 a factor of m?
True
Suppose -5*k - 2 = -17. Suppose 2*q - 3 = k. Let s = q + 2. Is s a multiple of 2?
False
Let d = 132 - 56. Is 24 a factor of d?
False
Suppose 6*l - l - 335 = 0. Does 17 divide l?
False
Suppose 4*l + 4*y + 100 = 0, -8 = 3*l - 2*y + 72. Let h = 66 + l. Is 15 a factor of h?
False
Let k = 53 - 16. Is k a multiple of 9?
False
Suppose -90 = -2*l + 3*b, -7*l - 2*b = -6*l - 38. Is 7 a factor of l?
True
Let a = -88 - -150. Suppose -5*v = 4*l - 92, l + a = v + 2*v. Is v a multiple of 5?
True
Let b = -14 - -30. Suppose -3*n = 4 - b. Is 9 a factor of 2/(-2) - n*-6?
False
Suppose o + o - 290 = 0. Does 29 divide o?
True
Suppose -4*j = -2*j. Suppose 4*z = -j*z - 4. Let x(n) = 28*n**2 - 1. Is 12 a factor of x(z)?
False
Let i be (4*6 + -3)/1. Let p = -5 + i. Is p a multiple of 5?
False
Suppose -6 = 2*a - 78. Is 9 a factor of a?
True
Let j(h) = 2*h**2 - 2 + 0 - 6*h - h. Is j(5) a multiple of 5?
False
Let b(o) = 3*o**3 - 11*o**2 + 5*o - 17. Let x(w) = w**3 - 6*w**2 + 2*w - 9. Let c(k) = 2*b(k) - 5*x(k). Is c(-8) a multiple of 11?
True
Let t(b) = 2*b**2 + 2*b - 2. Let x be t(-2). Suppose -11 = 2*a - x*r - 27, -10 = -a + 2*r. Is 6 a factor of a?
True
Let m be 1 - (4 + (-3)/1). Let y be m + 12/(1 + 2). Suppose -3*a + 3*x + 45 = 0, -5*a - y*x + 33 - 3 = 0. Is a a multiple of 4?
False
Suppose 0 = -2*p + 4 + 16. Let v be 34/6 + p/(-15). Suppose -4*k + 34 = i + i, -v*i + 4*k = -15. Is i even?
False
Let v(q) = -q - 16. Let i(w) = 2*w + 31. Let l(f) = -2*i(f) - 5*v(f). Is l(0) a multiple of 10?
False
Let t = -56 - -82. Let f = -41 + 88. Let b = f - t. Is b a multiple of 13?
False
Let b = 9 + -4. Let u(j) = -j**2 - 13*j + 2. Let q be u(-6). Suppose -71 = -b*t + q. Is 18 a factor of t?
False
Let j be (-4)/8*(-1 - 7). Suppose 3*c = -j*x + 61, x = 5*c + 10 + 11. Does 8 divide x?
True
Is 26 a factor of 3*-1 - 1016/(-4)?
False
Suppose 0 = -4*p + 48 + 144. Is p a multiple of 24?
True
Let u = 224 - 104. Is 20 a factor of u?
True
Let s(o) = o + 11. Let d be s(-6). Suppose d*z + 3*n - 31 - 19 = 0, -4*z = -2*n - 62. Does 13 divide z?
True
Suppose -y = -5*n + 2*y + 208, 0 = -n - 3*y + 56. Suppose -b + 6*b = -2*s + 175, -4*b - 166 = -2*s. Let p = s - n. Does 14 divide p?
False
Let j = -79 + 116. Is 23 a factor of j?
False
Suppose -4*k + 35 = k. Suppose 3*t + 52 = k*t. Is 7 a factor of t?
False
Let p(f) = -2*f - 5. Let m be 6*((-50)/(-6) + -1). Suppose -12 = -4*b - m. Is 4 a factor of p(b)?
False
Let u(x) = x - 27. Let a be u(0). Is 2/9 - 1182/a a multiple of 13?
False
Let x be 3*1/3 + 29. Suppose p = 2*p - x. Does 15 divide p?
True
Let o be 1/(-5) - (-158)/(-10). Let g = o + 33. Does 11 divide g?
False
Suppose -4*z + 3*y - 2*y + 16 = 0, z - 17 = -3*y. Let c = z + 1. Let o(u) = -u**3 + 7*u**2 - 6. Is o(c) a multiple of 11?
False
Suppose -1 = -4*d - 89. Let n = -33 - d. Let b = n - -29. Is b a multiple of 12?
False
Is 7 a factor of (-6)/10 + (-4 - (-68)/5)?
False
Suppose -16 = -4*r + n, -r = -6*r - 5*n - 5. Is 3 a factor of r?
True
Suppose 4*c = x - 280, -4*x + 5*c = -1593 + 418. Does 12 divide x?
True
Let u(t) = t**2 + 10*t + 11. Let p be u(-9). Suppose -4*f = 2*v + 6 - 0, 0 = 2*f - p*v - 6. Suppose f*a - 24 = -a. Is 24 a factor of a?
True
Suppose 49 = 11*p - 347. Is 4 a factor of p?
True
Suppose -5*p + 2*i - 177 = 0, 4*p + 3*i = 17 - 154. Does 11 divide 0/(-2) + -3 - p?
False
Let g(y) = -5*y**2 - 4*y - 2. Let z be g(-2). Let a = 20 + z. Suppose -38 + a = -4*t. Is t a multiple of 4?
True
Suppose 2*w - 75 = -w. Suppose -4*o = -35 - w. Does 6 divide o?
False
Let g be ((-2)/(-4))/((-1)/(-74)). Suppose 0 = -4*j - j - 2*h + g, -4*h = 16. Does 9 divide j?
True
Let i(g) be the third derivative of g**5/30 + g**4/12 + g**3/6 - 2*g**2. Let b be i(-1). Is (2/4)/(b/68) a multiple of 13?
False
Let c = 0 - -4. Suppose -5*p = -c*p - 8. Is p a multiple of 5?
False
Let t(a) = 3*a + 13. Let j(d) = 2*d + 12. Let s(l) = 6*j(l) - 5*t(l). Suppose v + 19 = -5*z, 4*v + 2*z = 22 - 62. Is s(v) a multiple of 11?
False
Let t(c) = -6*c - 4. Let l = 0 - -2. Suppose j = 3*z - 10, -5*j - z = 20 - l. Is t(j) a multiple of 10?
True
Let a(t) = 2*t**2 + 2*t + 1. Let o be a(-2). Suppose -2*x + o = -3. Is x a multiple of 2?
True
Let d = -8 - -20. Let o be 136/d + 2/(-6). Suppose o = j - 18. Is j a multiple of 22?
False
Suppose -3*p + 11 = s, 13 = 3*s + 3*p - 2. Suppose 0*z - v = 5*z - 527, -s*z + 4*v + 224 = 0. Suppose 4*l - k = z, 0*k = -3*l + 3*k + 84. Is 13 a factor of l?
True
Suppose -g + 319 = 5*y, 0 = 3*y - 2*y + g - 63. Does 19 divide y?
False
Suppose -t + 2*j + 5 = 0, 5*t + j = -j + 13. Let r = 33 - t. Is r a multiple of 24?
False
Let p = 9 - -6. Suppose p = 4*b - 141. Is 26 a factor of b?
False
Suppose 0*r = -3*r + 258. Suppose 5*n - 144 - r = 0. Does 25 divide n?
False
Let a = -44 - -86. Is 6 a factor of a?
True
Let v(g) = 2*g - 5*g + g + 1. Let s be v(-1). Suppose -s*y + 6*y = 24. Does 4 divide y?
True
Let z = 226 - 161. Does 13 divide z?
True
Is ((-88)/55)/((-2)/45) a multiple of 12?
True
Let l = -36 + 98. Is 20 a factor of l?
False
Suppose 7 = 4*o - 9. Let d = o - 1. Suppose 5*h = -5*v, -d*h - v = -6*v - 24. Is 3 a factor of h?
True
Let b be 0/(2/4*-2). Suppose 78 = 5*p - 4*o, 4*o = -b*p + 2*p - 36. Is 14 a factor of p?
True
Suppose -2*t = 2*t - 16. Let d be 0/t - (-1 + -5). Is (24/(-10))/(d/(-40)) a multiple of 8?
True
Let n be (-1 + 13)*(-5)/(-15). Suppose -3*d + 4*o - 44 = -7*d, -2 = 3*d - n*o. I