= -5*x + 51, -n = m*x - s. Is n a multiple of 24?
False
Suppose c - 120 - 106 = -3*u, 2*c = 5*u - 362. Suppose -u - 56 = -s. Is s a multiple of 13?
True
Suppose -2*d = d - 4*q + 19, -5*d - q = 1. Is -3 + d + 124 - 2 a multiple of 15?
False
Let f(b) = -b**2 + 4 + 16*b + 0*b**2 - 9*b. Let m be f(8). Is 8 a factor of (-3 - -3) + m + 16?
False
Let m(o) = -o**3 + 12*o**2 + 4*o + 9. Let n(y) = y**3 - 18*y**2 - 2*y + 9. Let l be n(18). Let v = l + 39. Is 19 a factor of m(v)?
True
Let c(k) = -2*k - 10 + 0 + 3. Suppose 4*q + 27 = -3*h, -2*q + 5*q = -2*h - 21. Is c(q) a multiple of 11?
True
Let w = -427 - -443. Is w a multiple of 7?
False
Let w(d) be the second derivative of d**5/20 + d**4/3 + d**3/6 + d**2/2 - d. Let g(j) = j**2 + 33*j - 73. Let c be g(-35). Does 6 divide w(c)?
False
Suppose -13*m - 6*m + 2983 = 0. Suppose 0*n = 4*n - g - m, 4*g + 28 = n. Is n a multiple of 3?
False
Let u(p) = -p**2 - p - 5*p + 3 + 0*p**2. Let l be u(-6). Suppose -g = 5*q - 26 - 17, -241 = -4*g + l*q. Does 29 divide g?
True
Let p(d) be the first derivative of -d**4/4 + 10*d**3/3 + 2*d**2 - 14*d - 30. Is p(9) a multiple of 20?
False
Suppose f - 12 = -3*f. Suppose f*v + 54 = -4*q + 6*q, -q + 27 = -v. Let k = q + -19. Does 8 divide k?
True
Let i = 470 - 116. Does 47 divide (-2)/(-1 + i/356)?
False
Is 22 a factor of (75/(-10))/(-15)*1074?
False
Suppose -2*q + i = -12, 5*i - 6 - 30 = -2*q. Suppose 0 = 7*k - 9*k + q. Suppose 0 = 3*a + 4*h - 47, -k*a + 0*h + 67 = h. Is 3 a factor of a?
False
Suppose -3*z + 2*z - 1 = 0. Let b(p) = 52*p**2 + p. Is 17 a factor of b(z)?
True
Suppose 3*t - 46 = 4136. Suppose t = 4*l - 4*g + 274, 0 = -5*g + 5. Let o = l + -191. Does 30 divide o?
True
Suppose 5*x + 1 - 56 = 0. Let m(d) = -3*d**3 + 10 - x*d - 14*d**2 + 2*d**3 + 23*d**2. Is m(7) a multiple of 12?
False
Suppose 3*j - 288 = 2*j - 3*z, -8 = -4*z. Let u = 342 + -338. Suppose -n + 266 = 4*a + 4*n, -u*a + 3*n + j = 0. Is 15 a factor of a?
False
Let b = -97 + 193. Is b a multiple of 4?
True
Let z(q) = 27*q**3 + q**2 - 9*q + 20. Is 5 a factor of z(3)?
False
Let h(w) = -w - 14 + 10 + 78*w. Let x be h(3). Let q = x - 104. Is q a multiple of 41?
True
Let j(d) = -d**3 + d**2 - d + 5. Let b be j(0). Suppose -y + b*p = -151, -5*y + y - p + 499 = 0. Is y a multiple of 21?
True
Let d be 498/3*(-3)/(3*2). Let p = -76 - d. Is 7 a factor of p?
True
Suppose -42*p + 65*p = 25070. Is 109 a factor of p?
True
Let b(w) = 28*w**2 + w - 4. Is 8 a factor of b(-3)?
False
Let b(x) be the third derivative of x**5/60 + 5*x**4/24 + 5*x**3/6 - x**2. Let f be b(-4). Does 13 divide ((-78)/8)/(f/(-4))?
True
Is ((-10)/(-25))/(5/9675) a multiple of 9?
True
Let s(k) = 3*k**2 - 17*k + 92. Is 10 a factor of s(7)?
True
Does 7 divide (1*213)/(117/273)?
True
Let w = 19 - -133. Suppose 2*h - 3*b = -0*h + w, -b - 144 = -2*h. Is 10 a factor of h?
True
Let p(l) be the second derivative of -5*l**3/6 - l. Let s be p(-6). Suppose 2*i - s = 66. Is i a multiple of 16?
True
Let t = -28 + 392. Does 26 divide t?
True
Suppose -368 + 662 = m. Does 7 divide m?
True
Let w = -113 - -165. Suppose 0 = 2*h - 0*h - w. Is 4 a factor of h?
False
Let k(c) = c**2 - 8*c - 4. Let s be k(9). Suppose -7 - s = 4*x. Does 18 divide (1060/30)/((-2)/x)?
False
Let n = 323 - 153. Suppose 0*u + n = 5*w - 5*u, 2*w = -4*u + 44. Does 3 divide w?
True
Let o(i) = i + 7. Let g be o(0). Let k = g + -5. Suppose m + k*m = 102. Is 17 a factor of m?
True
Suppose 9*n + 218 + 25 = 0. Is 6 a factor of n/(-6)*8*1/3?
True
Let x be (2 - (144 + 3)) + 0. Let n = -49 - x. Does 13 divide n?
False
Let z(g) = 4*g**3 - 3*g**2 - 2*g + 4. Let n be z(3). Suppose -8 - 4 = -v + 3*i, -4*i - 13 = -v. Suppose v*m - 15 = 4*m, -4*u - m = -n. Is 11 a factor of u?
False
Let m(v) = -1 + v + v - v - 7*v. Is 4 a factor of m(-1)?
False
Suppose -2*q - 1866 - 1991 = -5*b, -b + 776 = -5*q. Is 7 a factor of b?
False
Suppose 0 = -478*q + 486*q - 2200. Is q a multiple of 27?
False
Suppose -5*x = t - 1512, 2*t - 38*x - 2979 = -39*x. Is t a multiple of 11?
False
Suppose -j + 5*j = -o + 135, -3*j = -3*o - 105. Is 7 a factor of j?
False
Let s(q) = q**2 - 12*q + 52. Does 2 divide s(9)?
False
Suppose -425 - 661 = -2*g. Is g a multiple of 26?
False
Let o be 15/(-9)*(-1 + -2). Suppose -5*d + 185 = -5*a, 2*a = o*d - 2*a - 189. Does 9 divide d?
False
Let o(s) = -3*s + 8. Let i be o(6). Let f be -13*4/i*5. Is 1 - f/(-3 + 2) a multiple of 9?
True
Suppose -14*v - 179 + 1005 = 0. Does 12 divide v?
False
Let p(i) = 2*i**2 - 10*i - 153. Does 15 divide p(-19)?
False
Suppose -2*o = 5*p + 6, -3*p + o = -4*p. Let x(a) = -14*a. Is x(p) a multiple of 7?
True
Suppose 4*t + 5*g = 5*t - 1364, 2*t - 2750 = -g. Is t a multiple of 34?
False
Suppose -10*d = -49*d + 312. Let u(p) = -2*p**2 + 5 - 2 + 10*p + p**2. Does 16 divide u(d)?
False
Let o(t) = t**2 + 21*t + 43. Is 26 a factor of o(18)?
False
Is 9 a factor of 7 + -5 + 9 - -293?
False
Suppose 21 = 5*c - 399. Does 6 divide c?
True
Suppose 0 = -2*d + 2*f - 18, -3*d + 4*d + f = 1. Let b(o) = -45*o. Is 12 a factor of b(d)?
True
Let r(t) = 270*t - 90. Is r(5) a multiple of 63?
True
Let n = -16 + 25. Let f(b) = -4*b - 5. Let p(j) = j + 1. Let z(m) = -f(m) - 3*p(m). Is 7 a factor of z(n)?
False
Suppose 68*y - 62*y - 5646 = 0. Suppose 65 = -6*l + y. Is l a multiple of 10?
False
Let u be (26/(-5))/((-2)/5). Suppose 5*l - 18 = r - 5, 2*l - u = 3*r. Suppose l*z + 56 = p, 52 = -3*p + z + 220. Does 10 divide p?
False
Is 18 a factor of (-124 + 106)*(-104)/6?
False
Let f = -457 + 619. Let m be (-2)/5 - 174/(-10). Suppose -m = 5*v - f. Is v a multiple of 8?
False
Suppose q - 53 + 13 = 0. Suppose 6*s = 10*s - q. Is 6 a factor of s?
False
Let o = 30 - -31. Suppose 2*z - 3*s + s = -26, -o = 5*z - 4*s. Does 9 divide 60/4*z/(-15)?
True
Does 43 divide (-3 - 8 - 0 - -5) + 1016?
False
Suppose -3*o + 21 = l - 0*l, 3*o - 2*l = 12. Let p = o - 7. Let x(v) = 36*v**2 - v. Is 28 a factor of x(p)?
False
Suppose -5*l + 8*l = -24. Is 22 a factor of (0 + (-292)/(-16))/((-2)/l)?
False
Let q(x) = -6*x + 2. Let i(u) = u + 1. Let b(g) = 5*i(g) - q(g). Does 33 divide b(11)?
False
Suppose 2*g - 4*g + 12 = 0. Suppose 4*p = 10 + g. Let m = 6 + p. Is m a multiple of 5?
True
Let v(u) = -u**2 + 15*u - 19. Let g be v(13). Let l(o) be the second derivative of -o**5/20 + 2*o**4/3 - 5*o**3/6 + 7*o**2/2 - o. Is 21 a factor of l(g)?
True
Let y(s) = -s**2 - 4*s + 1. Let d be y(-5). Let q = 3 - d. Suppose q*l = 2*l + 200. Is l a multiple of 20?
True
Let u(h) = -h**3 - 2*h**2 - 2*h + 123. Let v be u(0). Suppose -4*g + a = -1002, -2*g + 381 + v = a. Is g a multiple of 34?
False
Suppose 4*z = 2*z + 8. Suppose -b + 8 = -2*o, -5*b + 2*o + 5 = -3. Suppose b = n - 5*k + 23, k - 1 - z = 0. Is n a multiple of 2?
True
Let r = 3 + -1. Suppose -7*x = -r*x + 125. Let z = -8 - x. Does 6 divide z?
False
Suppose 0 = 2*x + 5*v + 22, -x - v = 2*v + 13. Is 21 a factor of -1 - x - (-864)/9?
False
Suppose -3*d - 3 = 0, 48 = -q + 2*q + 5*d. Let b = 83 - q. Does 7 divide (-10)/b - 70/(-3)?
False
Let r(h) = -h**3 - 3*h**2 + 12*h + 6. Suppose -3*a = 9, -3*u + 2*a = -3*a + 3. Does 6 divide r(u)?
True
Suppose g - 5*o - 193 = 0, 11*g + 598 = 14*g + 4*o. Does 9 divide g?
True
Let w = 1917 - 1071. Is 47 a factor of w?
True
Is 2/(-22) + (-1284238)/(-473) a multiple of 15?
True
Suppose -26 = s - 2*y, -y - 20 = -5*y. Let j = 17 + s. Let f(m) = 29*m**2 + 3*m - 2. Does 10 divide f(j)?
True
Suppose 2*z + 0 = 20. Let w be 5*(-4)/(-10) - 0. Suppose -16 = -3*d - w*f + 13, z = -5*f. Is 3 a factor of d?
False
Does 20 divide 4*(-3 - (-102 - 1))?
True
Let s = 36 - 35. Is 23 a factor of s*-4*(-23)/4?
True
Suppose 3*l = 4*l - 2. Suppose i = -l*i + 189. Let y = -40 + i. Is 6 a factor of y?
False
Let q be (-21)/14*(-3 + -1). Suppose -5*g - 13 = 3*p, -2*p - g = -q*p - 2. Is 29 a factor of (61/2 - p)*2?
False
Let b be 8 - (-20)/5 - 2. Suppose n - b - 10 = 0. Is n a multiple of 4?
True
Let n(u) = -u**2 + 4*u + 3. Let p be n(4). Suppose 0 = p*c + 4*q + 38, -c + q = -2*c - 13. Is (-1329)/(-21) + 4/c a multiple of 20?
False
Suppose 4*s = 6*s - 12. Is (-2)/8*s*-42 a multiple of 21?
True
Suppose -6*y + 2134 = -2402. Is y a multiple of 31?
False
Let b(i) = -2*i + 10. Let r be b(8). Let d be r*((-440)/12 - -3). Does 7 divide (-12)/18 - d/(-6)?
False
Suppose -q = -13 - 1. Suppose -5*u + k 