= 2912 - 1987. Is z a multiple of 22?
False
Does 39 divide ((-1352)/78)/((-2)/444)?
False
Suppose 6*l - 4*d + 32 = 2*l, 0 = -4*l + d - 17. Let s(x) = -16*x + 2. Does 10 divide s(l)?
True
Let j be -2*(-3)/9*6. Suppose -2*c - 116 = -6*c - j*i, 0 = 4*c - i - 111. Suppose 2*h = -0*h + c. Is 9 a factor of h?
False
Suppose 3567 = 4*x - 5*f + 4*f, 0 = -3*x - 5*f + 2704. Is x a multiple of 86?
False
Let a = 318 - -288. Is a a multiple of 82?
False
Let p be (2/(-4))/((-3)/6). Suppose 5*y = -u + 1028, -u + p + 2 = 0. Is 35 a factor of y?
False
Suppose 4*p + 6 + 2 = 5*x, 3*p = -4*x - 6. Suppose -2*r + x*r = -96. Is r a multiple of 13?
False
Let r = -95 + 372. Is 8 a factor of r?
False
Let h(o) = o**2 - 17*o + 282. Does 19 divide h(-23)?
False
Let g(b) = -113*b + 51. Is g(-6) a multiple of 27?
True
Let g(c) = -12*c - 44. Is 25 a factor of g(-16)?
False
Let w = -476 - -1148. Is 11 a factor of w?
False
Suppose 2*y = -4*k + 940, -3*y + 6*k - 7*k + 1400 = 0. Does 13 divide y?
False
Let z be 4*(-4 + (-18)/(-4)). Let d be (-6 + 1)*(z + -3). Suppose 0 = d*k - h - 237, -k + 20 = 5*h - 17. Does 17 divide k?
False
Let h(g) = -g**3 + 9*g**2 + 9*g + 8. Let f be h(10). Is (416/f - -2)/(-2) a multiple of 27?
False
Let h = 35 + -23. Suppose h*w = 7*w + 195. Is 31 a factor of w?
False
Let b = -1 - -103. Let i = -72 + b. Is i a multiple of 9?
False
Let h(k) = -5*k**3 - 4*k**2 + 2*k + 3. Let c be h(-3). Suppose 2*n = -5*v + n + 15, -3*v + 7 = n. Does 19 divide (v + c/21)*7?
False
Suppose -2 = -l - 5. Let f be l/6 - 27/(-6). Suppose -a = f, 0*a = -b - 3*a - 1. Is b a multiple of 11?
True
Let n be (-14)/(-18) + (-28)/(-126). Suppose -13 = 4*x - n. Is 10 a factor of 51/3 + (x - -3)?
False
Let a(m) = 32*m**3 - 19*m**2 + 2*m - 13. Is a(3) a multiple of 14?
True
Does 43 divide 0 + 6 - (3 - 571)?
False
Suppose 42*a - 21468 - 3984 = 0. Is 15 a factor of a?
False
Suppose -11*x + 116 = -7*x. Let c = 76 + x. Is c a multiple of 21?
True
Let j be ((-56)/7)/((-4)/(-22)). Let i = j + 142. Let o = i - 56. Is 21 a factor of o?
True
Let j = -79 - -417. Does 17 divide j?
False
Let a(q) = 1 - 13*q + 17*q + 0. Let l be a(1). Suppose -l*z = -366 - 94. Does 18 divide z?
False
Let g(q) = -4*q**3 - 2*q - 1. Let y be g(-1). Suppose -5 = -3*i + 2*i + a, y*i - 2*a = 16. Let j(s) = 10*s - 2. Does 13 divide j(i)?
False
Let f(c) = c**3 - 5*c**2 + 5*c - 5. Let l be f(4). Let a be l*(0/5 + 0). Suppose 5*s - 4*s - 5 = a. Is s a multiple of 5?
True
Let r = -7 - -10. Suppose -6*h + 5*h + 2*g = -8, -5*g = -r*h + 23. Is 3 a factor of h?
True
Suppose 2*h = -10, -2*p - 4*h = -p + 12. Suppose -p = 4*b + 28. Does 16 divide 9/(b/(-80)) + 1?
False
Suppose -85 = 3*f + 2*g, 5*f - g = 2*g - 148. Let r(z) = z + 51. Is r(f) a multiple of 8?
False
Is 23 a factor of ((-98)/(-21) - 0)/((-9)/(-2241))?
False
Let y(j) = j + 6. Let w be y(-6). Suppose 16*s - 19*s = w. Suppose 22*r - 18*r - 32 = s. Does 2 divide r?
True
Suppose 7*f + 1 - 15 = 0. Suppose 3*x = 2*t - 197, x + 182 = f*t + 3*x. Is t a multiple of 14?
False
Let m = -25 - -15. Suppose 0*s = -4*s + 260. Let b = s + m. Is 15 a factor of b?
False
Suppose -y + 5*y = -4*f + 232, -4*y + 3*f = -246. Is y a multiple of 10?
True
Let j = -38 - -36. Let g = j - -10. Does 3 divide g?
False
Suppose 0 = -41*f + 43*f - 138. Is 23 a factor of f?
True
Suppose -3*x + 6 = -5*k, 3*x - 2*x = -5*k + 2. Suppose -7*b + 11*b - 10 = 2*a, -2*b + 3*a = -3. Suppose -b*v - x*v = -165. Is v a multiple of 11?
True
Let h be -3 + (-62)/(-2) + (-10)/(-5). Does 15 divide (126/h)/(1/10) + 3?
True
Let l = 872 + -309. Is 4 a factor of l?
False
Does 5 divide ((-1650)/(-120))/((-10)/(-8) + -1)?
True
Let h = -326 + 753. Suppose 825 = -3*w - 0*w. Let i = h + w. Is i a multiple of 38?
True
Let l = -34 - -33. Let r = l - -13. Is 12 a factor of r?
True
Suppose 14*d - 6*d + 456 = 0. Let b = -37 - d. Is 20 a factor of b?
True
Suppose -3*w - 928 = -5*w + 4*c, -1832 = -4*w + 2*c. Is 57 a factor of w?
True
Let b = -775 - -1280. Suppose -b - 617 = -11*n. Does 34 divide n?
True
Let y = 9 - -6. Let k = y - 15. Suppose r + k - 6 = 0. Is 3 a factor of r?
True
Suppose 0 = -a + 3*a - 36. Let r = a + -16. Suppose -53 = c - r*c. Is 10 a factor of c?
False
Let v(t) be the second derivative of -t**3/2 + 3*t**2/2 + 5*t. Does 2 divide v(0)?
False
Let q(j) = 1. Let v(c) = -8*c - 5. Let n(w) = -6*q(w) - v(w). Suppose 2 - 5 = a + 2*t, 3 = 2*a + t. Is 11 a factor of n(a)?
False
Let b = -29 + 29. Suppose b = 3*u + u - 12. Suppose 215 = 2*a + u*v, 0 = -a + 2*a + v - 105. Is a a multiple of 21?
False
Suppose -65 = 2*g + h + 53, -5*g - 5*h = 290. Let j be 15/g - 1281/(-4). Suppose -4*c = c - j. Does 16 divide c?
True
Let h be (-5)/35 + 22/7. Suppose -5*n = 2*v - 188, h*v + 3*n = 297 - 33. Is 7 a factor of v?
True
Let m be 2/7 - 2/7. Suppose 3*w + 4*y = y + 21, m = 4*w - 3*y - 63. Let s = w + 43. Is 11 a factor of s?
True
Suppose 4*t - 3*a = 17, a = 3*t + 2*t - 13. Suppose 5*b - 1090 = -5*n + t*n, -2*b - 5*n + 417 = 0. Is b a multiple of 17?
True
Is (-26)/39 + 3608/12 a multiple of 3?
True
Suppose 16065 + 10535 = 133*s. Does 23 divide s?
False
Let d be (0/2 + -1)*-3. Is 195/5 - d/(-1) a multiple of 21?
True
Let z = -72 - -82. Suppose -4*y + z = -54. Is 4 a factor of y?
True
Let f(w) = -w**3 - 4*w**2 + 8*w - 8. Let z be f(-6). Suppose i + 2*p - z = 0, -i + p + 34 = -3*p. Does 4 divide i?
False
Let w(d) = 27*d**3 + 5*d - 2. Is 7 a factor of w(2)?
True
Let o = 173 + -47. Is o a multiple of 17?
False
Suppose 4*q = -18 + 2. Let b(c) = -c**3 - 3*c**2 + 3*c + 1. Let l be b(q). Suppose -t + 28 = -5*n - l, 0 = -4*t - 5*n + 107. Is 7 a factor of t?
True
Suppose 10*s = 15*s - 940. Does 47 divide s?
True
Suppose 9*p - 3*p = -294. Let b = p + 70. Is b a multiple of 9?
False
Let x(k) = -k**3 + 3*k**2 + k - 1. Let f be x(3). Suppose 7*s = f*s + 140. Is s a multiple of 14?
True
Is 420 + 7 + -6 - 3/1 a multiple of 8?
False
Let g = -107 - -315. Is 10 a factor of g?
False
Let r = -27 + 31. Suppose r*c + 464 = 8*c. Is 29 a factor of c?
True
Suppose 3626 + 3124 = 5*g. Does 18 divide g?
True
Let y = -128 + 133. Suppose 3*i + 206 = 5*c, y*c + i + 3*i - 192 = 0. Is c a multiple of 3?
False
Suppose 0 = -65*j + 75*j - 1100. Is j a multiple of 22?
True
Suppose -r + 21 = -7. Suppose -5*o - r = -178. Let n = 58 + o. Is n a multiple of 11?
True
Let x be (-2)/(-13) - 67/13. Let n(m) = m**2 + 2*m - 3. Let g be n(x). Suppose 5*a - 60 = -5*d, 2*d = -d - g. Is a a multiple of 4?
True
Suppose 0 = 4*j + 5*d - 46, 4*d = 5*j - 1 - 36. Let s be j/5*10/3. Suppose 0 = -7*f + s*f + 21. Is f a multiple of 6?
False
Let f(b) = -3*b**2 + 15*b - 12. Let v(r) = -r**2 + 5*r - 4. Let g(q) = -2*f(q) + 7*v(q). Let p be g(3). Suppose 33 - 93 = -p*l. Is l a multiple of 10?
True
Let v(s) = -s + 8. Let n be v(-3). Suppose -m - m = -p + 7, -p = -4*m - n. Is p/(2 + (-11)/7) a multiple of 3?
False
Suppose 69 = -4*a - 95. Let b = -25 - a. Is b a multiple of 12?
False
Let x(m) = -4*m**3 + m**2 - 1. Let i be x(-1). Suppose -i*b + 8*b - 12 = 0. Suppose 2*f = -2*z + 32, -b*f - z = -4*z - 48. Is f a multiple of 4?
True
Let q(f) = -f**2 - 39*f - 48. Does 39 divide q(-15)?
True
Let l(z) = 22*z**2 + 8*z + 7. Is 7 a factor of l(4)?
False
Let t(o) = -91*o + 87. Is t(-3) a multiple of 18?
True
Suppose 0 = 2*j - 8 + 2, -3*j + 357 = 2*g. Does 9 divide g?
False
Let a = 207 + -344. Suppose 0 = -3*w - 3*u + 6*u - 99, 0 = -w - 2*u - 30. Let x = w - a. Is 35 a factor of x?
True
Let m be ((-6)/3)/(6/(-24)). Suppose -m*d = -4*d + 2*i + 54, d + 21 = 2*i. Does 11 divide (-55)/d*(0 + 3)?
True
Let j be 209 + -15 - (0 - 1). Suppose 3*q + 0*q - j = 0. Let d = 100 - q. Is d a multiple of 14?
False
Suppose 5*n - 11 + 1 = 0. Does 28 divide 2/14*n - (-780)/14?
True
Let z(j) be the third derivative of 73*j**5/30 + j**4/24 - j**3/6 - 5*j**2. Let n be z(1). Let m = -100 + n. Is 13 a factor of m?
False
Suppose 9*n - 12*n + 1242 = 0. Suppose -x - 348 = -3*h - 40, -3*x = -4*h + n. Does 13 divide h?
False
Let x(p) = 7*p**3 + 246*p**2 - 45*p + 19. Is x(-35) a multiple of 8?
False
Suppose 2071 = 11*r - 503. Is 9 a factor of r?
True
Let m(v) = 6*v**2 - 16*v + 10. Let u be m(10). Let s be 21/28 + u/8. Let x = -24 + s. Is 10 a factor of x?
False
Let q(p) = 1096*p - 148. Does 72 divide q(2)?
False
Let k(j) = 60*j**2 + 3*j - 1. Let p be 