*2/2 - 6*q + 98. Suppose 4*y + 40 = 4*x, -5*x - y + 28 = 2. Does 6 divide u(x)?
True
Let c(d) = 2*d**2 - 37*d - 189. Is 14 a factor of c(-7)?
True
Let x(o) = o**3 - 24*o**2 - 25*o + 5. Let f be x(25). Suppose f*r - 200 = 3*c, -7*r + 4*r - 2*c = -101. Is r a multiple of 37?
True
Let c(a) = 3*a**2. Let y be c(-1). Let x = 15 - 10. Suppose p = x*f + 5, -2*p + y*p = 3*f + 15. Is p a multiple of 15?
True
Let a = 248 + -95. Is 7 a factor of a?
False
Suppose -5*r = -0*r + 25. Let a be ((-10)/(-6))/r*0. Suppose -5*b + 415 - 87 = 2*z, a = 4*b + 4*z - 272. Does 29 divide b?
False
Suppose -2*p - 4*m = -2*m - 400, 0 = -5*p + 4*m + 982. Is p a multiple of 22?
True
Suppose 4*d + 0*d - 24 = 0. Suppose -7*f = -d*f - 3. Suppose 0*u - 111 = -f*u. Does 12 divide u?
False
Let c be (4 - 45/6)*2. Let i = 33 - c. Is i a multiple of 5?
True
Let z(x) = x**3 - 9*x**2 + 11*x - 18. Is 94 a factor of z(10)?
False
Suppose 3*m = 2*z + z + 72, -m - 102 = 5*z. Let t be 60/(-35) - (-6)/z. Does 14 divide -22*(-2 - (-2 - t))?
False
Suppose -200*n = -168*n - 1120. Is n a multiple of 7?
True
Suppose 0 = 4*r - 4*b - 9064, 0*b = r - 3*b - 2262. Is 27 a factor of (r/(-105))/((-2)/25)?
True
Suppose 0*m + 11 = s + 3*m, -4*s + 28 = 4*m. Suppose 4*b - 3 - 5 = 0. Is (2/b - -2) + s a multiple of 3?
False
Let g(p) = -16*p**3 - 11*p**2 - 19*p + 6. Does 15 divide g(-4)?
True
Suppose -6*x + 10*x - 20 = 0. Suppose -3*f + 90 = -3*n, x*f - f - 2*n - 122 = 0. Does 20 divide f?
False
Let x = -8 + -88. Let u = 178 + x. Is 11 a factor of u?
False
Let x be 0/(2*1/(-1)). Suppose 12 = v - x*v. Does 5 divide v?
False
Let y(n) = 3*n - 22. Let u be y(8). Suppose u*k - 5*w = -2*w + 224, k + w - 112 = 0. Is 16 a factor of k?
True
Let d = -8 + 10. Suppose -4 = g - d*g - 4*p, 4*p - 28 = 5*g. Let o = g - -42. Is o a multiple of 19?
True
Suppose -2*f = v - 98, 3*f - 105 - 28 = -5*v. Suppose -3*a = -f - 0. Let m = -11 + a. Is m a multiple of 3?
True
Let c be (4 - 2) + 11 + -2. Let h = c + 37. Suppose -h = 2*y - 4*y. Is y a multiple of 24?
True
Suppose 8*h - 17 = 7. Suppose m - 170 = -2*z + 6*m, -h*z + 260 = -5*m. Does 10 divide z?
True
Is 15 a factor of 404 - (0/(-7) + 8)?
False
Is (-188109)/(-270) - (-9)/30 a multiple of 88?
False
Let v = -56 - -53. Does 8 divide 63 - (-3)/v*3?
False
Suppose 22*k - 21*k = 3. Suppose l - 177 = -k*q, -q - 4*q = l - 175. Is 10 a factor of l?
True
Let x = 22 + -19. Does 19 divide ((-11)/2 + 4)*(-128)/x?
False
Suppose -i = 2*a - 290 + 96, -i = -2*a - 202. Is i a multiple of 9?
True
Let k(j) be the second derivative of -51*j**5/20 - j**3/6 + 12*j. Is k(-1) a multiple of 13?
True
Let s = 433 + 251. Is 52 a factor of s?
False
Let m = -7 + 17. Suppose m = -0*z + 5*z. Suppose 0 = -z*c + 4*x + 20, -34 = -4*c + x + x. Is 4 a factor of c?
True
Let n = -278 - -513. Is n a multiple of 47?
True
Suppose 2*o = -2*x + 104, -x + 0 = -1. Does 34 divide o?
False
Let c(f) = f**2 - 2*f - 7. Suppose 2*n = m + n, -n = -5*m + 12. Suppose m - 23 = 4*g. Is 14 a factor of c(g)?
True
Let y(q) = -q**3 - 5*q**2 + 5*q + 3. Let o be y(-5). Let v = -19 - o. Suppose 0*l = -5*l + 2*g + 76, 0 = -4*l + v*g + 58. Is l a multiple of 8?
True
Let d = 124 + 12. Suppose 0 = -3*f - 5*f + d. Is f a multiple of 13?
False
Let c be 1*5/((-25)/(-20)). Suppose -8 = c*t + 8. Does 14 divide (t - (-9)/(-12))*-8?
False
Suppose q = -2*s + 15, 6 + 14 = 4*q. Suppose s*y - 81 - 784 = 0. Does 18 divide y?
False
Let j(r) = -r**3 - 10*r**2 - 3*r - 4. Let p be j(-13). Let s be 10/65 + p/26. Suppose w + s - 68 = -5*a, -29 = -3*a - w. Does 9 divide a?
True
Let m(j) = 2495*j**2 - 17*j + 18. Does 12 divide m(1)?
True
Let x(i) = 3*i + 16. Let r be x(0). Is r*((-7)/(-28) + (-2)/(-8)) a multiple of 4?
True
Suppose 3*t - 3 - 4 = 2*l, 4*t - 32 = -3*l. Let z = 112 - 110. Suppose -3*n + k + 30 = -z*k, k - l = 0. Is n a multiple of 14?
True
Does 11 divide (-7 - -5)/((-4)/(-528)*-2)?
True
Let c be 1*11/((-55)/20). Does 7 divide (-3)/1*c/3 + 3?
True
Suppose 4*l = 8*l - r - 2497, -3*l + 1884 = 3*r. Is 16 a factor of l?
False
Let v = 492 + -204. Is v a multiple of 29?
False
Let d = 375 - 111. Is 43 a factor of d?
False
Suppose 2*n = -10, 2*a + 4*n + 40 = 408. Is 10 a factor of a?
False
Let m = -242 + 343. Suppose 0 = -7*f + m + 32. Is f a multiple of 19?
True
Let i(f) = -2*f**2 - 70*f - 74. Is 4 a factor of i(-33)?
False
Let q = 111 - -72. Let s = q - 125. Is 29 a factor of s?
True
Suppose 3*a + 3*a = 30. Suppose -35 - a = -4*s. Is s a multiple of 10?
True
Let u be (-5388)/(-39) - (-4)/(-26). Suppose l - 2*m - u = 0, -2*l - 6*m + 2*m = -268. Is l a multiple of 34?
True
Suppose -6*h + 115 = -3*k - 11*h, -3*h + 12 = 0. Suppose 8*r - 5 = 43. Does 3 divide 122/15 + r/k?
False
Is 65 a factor of (184/(-36))/(-23) - 93495/(-27)?
False
Let i be 0/(-2 - 2) + 3. Suppose -g + i*k + 17 = 0, g + k - 28 = 1. Is g a multiple of 26?
True
Suppose 24*d - 34*d = -5440. Does 32 divide d?
True
Let z(i) = 4*i + 2 - 20*i + i. Suppose 2 = -4*f - 2. Is 6 a factor of z(f)?
False
Suppose 4*f - 3025 + 868 = 5*z, -2727 = -5*f - 4*z. Is 26 a factor of f?
False
Let b = 305 + -182. Is b a multiple of 8?
False
Let b(j) = -11*j + 80. Let c(g) be the first derivative of -7*g**2/2 + 53*g + 5. Let p(t) = -5*b(t) + 8*c(t). Does 6 divide p(0)?
True
Let g(v) = -6*v + 20*v + 8*v**2 - 4*v**2 - 17. Is 27 a factor of g(-7)?
True
Suppose -4*i = 3 - 11. Suppose -2*f = 2*x - 536, f + f + 536 = i*x. Suppose 0 = 4*u - x - 88. Does 27 divide u?
False
Let v(j) be the first derivative of 2*j**3/3 - 2*j**2 + 6*j + 1. Let y be ((-25)/10)/(2/4). Does 19 divide v(y)?
True
Let h(p) = -p**3 + 6*p**2 + 6*p + 6. Let r be h(8). Let v = r + 26. Is 8 a factor of v*(-1 + (-6)/(-9))?
True
Suppose -12*l = l + 299. Let d = l + 73. Is 5 a factor of d?
True
Let m(i) = i**2 + 5*i. Let t be m(-5). Suppose t = 4*h - 3*h - 4, -2*q = -4*h - 126. Is 12 a factor of q?
False
Let m(n) = -n**3 + 16*n**2 - 14*n - 22. Let o be m(15). Is 4/o + 16071/231 a multiple of 12?
False
Suppose -3*o + 36 = 3*o. Let d = 84 - o. Is 20 a factor of d?
False
Let q = 20 + -6. Let s be (-2)/(-3 - q/(-6)). Suppose -2*j - 6*g = -g + s, j = 2*g + 21. Is 3 a factor of j?
False
Let j(f) = -64*f**2 - 3*f + 4. Let s be j(2). Let p = s + 378. Does 30 divide p?
True
Suppose -63*s = -57*s - 1764. Does 42 divide s?
True
Let k = -444 + 232. Let h = -58 + k. Is h/(-21) - 3/(-21) a multiple of 13?
True
Let h = -75 + 128. Let k = h - 27. Let m = k - -1. Is m a multiple of 9?
True
Let s(f) = 6*f + 38. Let b be s(-16). Is 2/(4 - (-6)/88*b) a multiple of 5?
False
Let y(c) = c**3 - c**2 + c + 15. Let z = -12 + 12. Let g be y(z). Let w = 37 - g. Is 6 a factor of w?
False
Let i(s) be the second derivative of s**5/20 - s**4/6 - s**3/2 - s**2 + 3*s. Let p be i(3). Is (p + 15/6)*132 a multiple of 22?
True
Let g(a) be the third derivative of a**4/4 + 13*a**3/6 - 3*a**2. Suppose -s - 7 - 9 = -4*c, -5*c + 21 = -s. Is 23 a factor of g(s)?
False
Suppose -28*g = -32*g + 688. Does 31 divide g?
False
Does 4 divide (324/(-144))/(3/(-260))?
False
Let p(d) = 5*d - 14. Let k(l) = 2*l - 1. Let n(x) = 10*k(x) - 5*p(x). Is n(-6) a multiple of 27?
False
Let w(c) be the first derivative of -c**3/3 + 36*c - 2. Let d be w(0). Suppose d = 4*n - 12. Is 6 a factor of n?
True
Suppose n + 2*w - 12 = 4*w, 2*n - 3*w = 20. Suppose -3*j = n*r - 8*j - 293, -82 = -r + 3*j. Is r a multiple of 25?
False
Let w = 175 + -150. Does 11 divide w?
False
Suppose 5 = 2*t - 1. Let a be t*(3 + (-438)/9). Let f = 228 + a. Does 24 divide f?
False
Is 3 a factor of (4/1)/(10/115)?
False
Suppose -3*l + 2*l - j + 151 = 0, -2*l + 3*j = -322. Is 24 a factor of l?
False
Let f = -139 - -160. Does 3 divide f?
True
Let x = 62 - -379. Does 21 divide x?
True
Suppose 5*j - 2065 = -5*f, -7*j + 5*j = f - 416. Is f a multiple of 10?
True
Let q(c) = -2*c**3 - 8*c**2 - 5*c + 8. Let t be q(-5). Suppose 5*f = 357 + t. Is f a multiple of 14?
False
Let z(c) = 2*c - 14. Let p be z(8). Let t(r) = 32*r**2 + 3*r + 1. Is 18 a factor of t(p)?
False
Suppose 5*o - b + 13 = 0, 7*b = -o + 4*b - 9. Let t be (4/o)/((-2)/(-6)). Let x = 17 + t. Does 7 divide x?
False
Suppose 0*m - 429 = -m - 4*v, 0 = -4*m - v + 1776. Suppose -5*l + 0*u - 3*u = -m, 5*l - 425 = u. Suppose 0 = 3*w - l - 1. Is w a multiple of 14?
False
Let h(b) = -56*b + 656. Is h(-19) a mu