 1063 = 0. Does 3 divide x?
False
Suppose -48640 = -41*y + 9*y. Is y a multiple of 95?
True
Let c = 55 + 125. Let j = 312 - c. Does 29 divide j?
False
Suppose 22*k = -1356 + 6812. Is k a multiple of 31?
True
Let a = -2 + 15. Suppose -13 = -4*j - 33. Let f = a + j. Is f a multiple of 6?
False
Let i = 1717 + -1528. Does 27 divide i?
True
Suppose 5*c = -20, -c = 5*h - 10*h + 284. Is h a multiple of 4?
True
Let s(q) = q + 10. Let m be s(-13). Let x be 216 + 2 + 1 + m. Suppose 2*b - x = -b. Is b a multiple of 24?
True
Let l be 29/3*(10 - 4). Let f = 116 - l. Let r = f - 9. Does 32 divide r?
False
Suppose -38 = 2*n - 2*k, -n - 73 = 2*n + 5*k. Is 11 a factor of (n/(-2))/(-7)*(-220)/6?
True
Let l(z) = 14*z**2 - 15. Let w be l(-5). Suppose w = 3*c + 2*c. Does 15 divide c?
False
Let w be ((-4)/6)/(6/(-5040)*2). Let h = 434 - w. Is h a multiple of 15?
False
Suppose -4*z + 6*z = -3*m + 15, -3*z - 4*m + 23 = 0. Is z a multiple of 9?
True
Let x(j) = 6*j**2 - 4*j. Let t be x(4). Let r = -287 + 403. Let q = r - t. Does 18 divide q?
True
Let f be 9/6*8/3. Suppose -t - 65 = -92. Suppose -m + f*m - t = 0. Does 9 divide m?
True
Suppose -2*c + 68*h + 3026 = 64*h, 4*c + 4*h = 6040. Does 12 divide c?
False
Let y(c) = -c**3 - 4*c**2 + 5*c + 4. Let g be y(-5). Suppose -k + 63 = -g*z, 2*k - 4*z - 157 = -k. Let b = k - 28. Does 5 divide b?
False
Let b(o) = -o**3 - 3*o + 1484. Does 28 divide b(0)?
True
Suppose -i + 5*i = 24. Does 19 divide (i/9)/(4/414)?
False
Let c(o) = o**2 - 5*o + 6. Let n be c(3). Let s be (n*3/(-6))/(-2). Suppose s = 4*f + 4*v - 92, 3*f + 5*v - 79 = -0*f. Is 6 a factor of f?
True
Suppose -489 = -8*o + 23215. Is 8 a factor of o?
False
Let k = -15 - -21. Suppose 2*v - k = -2. Is 2 a factor of v?
True
Let q be (0 - 3/(-1))*1. Suppose -32 = 2*z - 4*r - 122, r = -q*z + 135. Is 15 a factor of z?
True
Suppose 6*h - 9*h + 1458 = 0. Suppose k = 2*u - 139, 2*k + 125 = -5*u + h. Is 25 a factor of u?
False
Let r(v) = 22*v - 25. Let u be r(5). Suppose -z = c - 2*c - u, -3*z = -5*c - 245. Is z a multiple of 9?
True
Let d(i) = 48*i**3 + 4*i**2 - 4*i + 7. Is d(2) a multiple of 19?
True
Let q(m) = -m**2 + 10*m - 18. Let w be q(6). Suppose 3*k = 2*r + 84, -7*r = -w*r. Does 14 divide k?
True
Let p(i) = i + 9. Let b be p(-5). Suppose 109 = b*x + 17. Is 3 a factor of x?
False
Let q = 28 - 21. Suppose 1027 = q*s + 152. Suppose 7*w - s = 2*w. Is w a multiple of 6?
False
Is (-7)/(14/(-9))*98/3 a multiple of 2?
False
Suppose -245 = 4*u + 151. Let j be 6/(-8) - u/36. Suppose -5*p + j*m + 51 = -62, 5*p - 112 = 3*m. Does 8 divide p?
False
Let i(d) = d**3 - d**2 - d + 5. Let b be i(0). Suppose s - h - h - 8 = 0, 3*s + b*h = -9. Does 2 divide s?
True
Suppose f + 2*f = 3, -4*a = -f + 57. Let w = 14 + a. Suppose w = 5*b - 54 - 26. Is 8 a factor of b?
True
Let u(n) = -n**3 + 6*n**2 + 4. Let p be u(6). Let o = 11 - 9. Suppose i = -o + p. Is 2 a factor of i?
True
Let u(l) = -5*l - 10. Let o be u(4). Let h = 190 - o. Is 9 a factor of h?
False
Suppose 0 = 3*n - 383 - 37. Does 28 divide n?
True
Does 16 divide 4/(-12)*-285 + -4?
False
Suppose 77*d - 22 = 75*d. Suppose d*t + 150 = 16*t. Is 6 a factor of t?
True
Let t be 39/52 - 230/8. Let n = t - -30. Suppose -n*z = -3*z - 5*v, -v = 2*z - 18. Is 3 a factor of z?
False
Suppose -4*f + 1185 = -r, f = r + 3*r + 300. Let l be -1 - 1 - 1 - (16 + -20). Suppose 3*q - f = l. Is 33 a factor of q?
True
Let l(x) = 2*x - 38. Let u(i) = 3*i - 38. Let r(g) = -4*l(g) + 3*u(g). Is 13 a factor of r(-19)?
False
Let l(n) be the second derivative of 9*n**5/10 - n**4/12 + n**3/6 + n**2 - 8*n. Is 18 a factor of l(2)?
True
Suppose -a + 860 = 60. Does 16 divide a?
True
Let p = -1 - 7. Is 3 a factor of 0 + 2 - (p + 1)?
True
Suppose 4*n - 5*n + 4*m = 12, -3*n + 2*m = 6. Suppose -2*y + 98 + 16 = n. Is 19 a factor of y?
True
Let c(n) = 2*n**3 + 34*n**2 + 12*n + 24. Is c(-14) a multiple of 24?
True
Suppose 0 - 46 = -2*h. Suppose -2 + h = 3*n. Let t(r) = -r**2 + 10*r - 6. Is 3 a factor of t(n)?
True
Suppose 5*p - 3*i - 2453 = 0, p + 69*i - 73*i = 494. Does 41 divide p?
False
Is 49 + -3 + (5 - 11) a multiple of 8?
True
Let i = 741 + -510. Does 42 divide i?
False
Let t = 14 - 7. Suppose 4*w - 29 = -5*q, 0 = 2*w + q - t. Does 23 divide 220/5 - w*-2?
True
Let k(d) = d**3 + 5*d**2 + 3*d - 5. Let p be k(-3). Suppose -2*j = w - 0*w - 40, 4*w + p*j = 164. Is 10 a factor of w?
False
Let h = -57 + 321. Does 22 divide h?
True
Is (2/(-6))/(((-91)/(-2394))/(-13)) a multiple of 21?
False
Suppose 2*x - 318 - 63 = -3*h, 0 = -h - 3. Suppose 3*a - 8*a + x = 0. Is 8 a factor of a?
False
Let g(w) = 4*w**3 - 6*w**2 + 12*w. Does 35 divide g(8)?
False
Let j = -18 - 1. Let c = j - -24. Suppose -g = -4*p + 3*g + 292, 360 = c*p - 4*g. Is p a multiple of 23?
False
Let c be 4 + -7 + -64 + -3. Let o = 6 - c. Suppose 2*a = -2*a + o. Does 12 divide a?
False
Suppose 4*z - 2*c - 2936 = 0, 740 = z + 29*c - 28*c. Is 16 a factor of z?
True
Let j = 89 - -15. Does 8 divide j?
True
Suppose 0 = 3*l + 3*j + 24, 3*j + 0*j = -4*l - 33. Does 30 divide 249 + 24/(-9)*l/(-6)?
False
Let v = -72 + 65. Does 2 divide 1/(-2)*v/(21/144)?
True
Let i be (9/4)/((-18)/(-48)). Suppose -2 - i = -5*n - 3*g, 0 = -2*n - 3*g - 4. Suppose 0 = -n*h + 2*s + 94, s + 41 = h - 3*s. Is 17 a factor of h?
False
Suppose -n + 10 = 72*o - 67*o, -5*o + 70 = 3*n. Is 6 a factor of n?
True
Is 40 a factor of -270*(-4 + (-208)/39)?
True
Let q(a) = -3*a + 6. Let d = -2 + 2. Suppose d*y - 3*y - 30 = 0. Is 18 a factor of q(y)?
True
Let k(i) = 2*i**2 - 5*i - 5. Let p(w) = w**2 + 9*w + 12. Let h be p(-8). Let t be k(h). Let b = t + 53. Does 18 divide b?
False
Let n = 167 - 377. Does 10 divide 32/(-24)*n/4?
True
Let a = -5948 + 8498. Is 51 a factor of a?
True
Let y = 281 + -132. Is 3 a factor of y?
False
Let h(w) = 51*w + 2. Let g(a) = 17*a + 1. Let u(q) = -7*g(q) + 2*h(q). Is 6 a factor of u(-2)?
False
Suppose -6*a + 2*a + 1053 = 3*v, 3*a - 780 = v. Let i = -146 + a. Is 32 a factor of i?
False
Let q(f) = -49*f**3 - f**2 + f + 1. Let r be q(-1). Suppose 2*b - 4*m = 46, -m - 58 - r = -4*b. Does 2 divide b?
False
Let i = 61 - 118. Let y = 118 + i. Suppose 3*s - 51 = -l, -l + y - 7 = 4*s. Is l a multiple of 21?
True
Let z = 4336 - 3053. Is 88 a factor of z?
False
Let k = 24 - 16. Let n = -2 + k. Is n a multiple of 4?
False
Let l = 448 - 392. Does 14 divide l?
True
Suppose -8*m - 4829 = -509. Is 22 a factor of m/(7 - 12) + 0 + 2?
True
Suppose 3*h + 6 = 0, 0 = -2*w - 5*h - 0*h - 60. Let i be -3 - -2 - -3 - w. Suppose -4*r + i = -89. Is r a multiple of 15?
False
Let o(a) = -13*a - 4. Let d be (-3)/(-33)*2 - (-101)/(-11). Is o(d) a multiple of 32?
False
Suppose 62 + 103 = 5*b - 5*u, -2*b + 78 = 4*u. Let s = b + -18. Does 7 divide s?
False
Let w(q) = q**3 - q**2 + 3*q + 8. Let o(g) = -g**3 + 2*g**2 + 3*g + 4. Let b be o(3). Let v be w(b). Let y = -21 + v. Is y a multiple of 14?
False
Suppose -2*n - 2*h = n - 182, -n - h + 62 = 0. Let d = n - 18. Is d a multiple of 8?
True
Suppose -19 + 179 = 5*g. Let f = g - -22. Does 18 divide f?
True
Let w(y) = 9*y**3 - 18*y**3 - 20 + 24*y + 8*y**3 + 16*y**2. Does 33 divide w(17)?
True
Let l = 1222 - 865. Is 2 a factor of l?
False
Suppose 1009*r - 996*r - 47034 = 0. Does 27 divide r?
True
Let h(x) be the second derivative of -x**4/6 + x**3/6 - 7*x. Let j be h(2). Does 13 divide (-3)/j*58 + -3?
True
Let x be (-2068)/(-9) + 10/45. Suppose -2*v = 3*v - x. Is v a multiple of 23?
True
Let c(p) = -p**3 + 6*p**2 + 2*p - 3. Let h be c(6). Let s(z) = -z**3 + 2*z**2 - 1. Let q be s(1). Suppose -12*k + h*k + 216 = q. Is 8 a factor of k?
True
Let j(r) = 11*r**2 - 19*r + 16. Is 4 a factor of j(5)?
True
Suppose -194*m + 198*m - 64 = 0. Does 4 divide m?
True
Let t(v) = -303*v - 8. Is 61 a factor of t(-4)?
False
Let q(i) = i**3 - 12*i**2 + 12*i - 7. Let h be 14 - (-3 + 0 - -7). Suppose 5*l = h*l - 55. Is q(l) a multiple of 4?
True
Suppose 394 = -4*g - q, 194 = -4*g + 2*g - 2*q. Let s = -137 - -126. Is 19 a factor of g/(-22)*(-1 - s)?
False
Let d be (-2)/(-5) + 4/(-10). Suppose d = i + 3*n + 4, 3*i - 6 = n + 2. Let a(g) = 14*g**2 - 3*g + 2. Is 8 a factor of a(i)?
False
Suppose 0 = -3*l + 3*l + 3*l. Suppose -3*j + 4*j + 2*i - 182 = l, 186 = j - 2*i. Does 23 divide j?
True
Let c(h) = -2 + 1 + 3 + 3*h. Does 14 divide c(18)?
True
Suppose 4*j 