2*k**2 + 6*k - 16. Let j be q(7). Suppose -2*h + 246 = -j. Does 18 divide h?
False
Let y = 29 + -164. Let s = -133 - y. Suppose j = s*l + 98, -4*j - l - 2*l = -403. Is j a multiple of 6?
False
Suppose -4*y - 3484 = -288. Let s = -467 - y. Suppose 0 = 4*j - 2*m - 578, m - s = -3*j + 89. Does 23 divide j?
False
Suppose 5*w + 5*w = 8*w + 4848. Is 54 a factor of w?
False
Let j(u) = -u**3 - 21*u**2 - 173*u - 47. Does 5 divide j(-14)?
False
Let z = 787 - 781. Suppose -1414 = -z*w - 838. Is 6 a factor of w?
True
Suppose 4325 + 2080 = 5*j + 4*c, 5*j + 3*c = 6400. Suppose -3*f + 2*o + 955 = 0, 5*f + 2*o = 288 + j. Is f a multiple of 15?
True
Let a(i) = -2*i**2 - 33*i - 13. Let k be (14/(-35))/(-2 - 147/(-75)). Suppose k*h = h - 117. Is a(h) a multiple of 22?
False
Suppose 0*m + 4*m = -5*v - 227, -4*m - 267 = -3*v. Let l be m + 6 + (-8)/(-2). Let g = l - -79. Is 10 a factor of g?
False
Let a(h) = h**3 + 6*h**2 - 5*h + 8. Let w be a(8). Let x be (1161/45)/(2/(-40)). Let m = x + w. Is m a multiple of 29?
True
Let h be (1 + -9 + 2)*142/(-3). Let d = -499 - -978. Let w = d - h. Is 39 a factor of w?
True
Let a(l) = l**2 - 13*l + 24. Let t be a(11). Let o be 10/t*(17 + -16). Suppose -o = j - 37. Is 32 a factor of j?
True
Let t be 2/(-1) + (-1 - (-3 - 292)). Let n = 411 - t. Let y = n + -89. Is y a multiple of 4?
False
Let b(w) be the third derivative of w**5/15 - 11*w**4/12 + 22*w**3 + 98*w**2. Does 17 divide b(7)?
False
Let b(u) be the second derivative of u**7/60 - u**6/120 + u**5/30 - u**4/12 - u**3/2 + 31*u. Let f(i) be the second derivative of b(i). Is 13 a factor of f(1)?
True
Suppose 4*i - 12 + 72 = 0. Let o(h) = h + 1. Let d(v) = -15*v + 39. Let z(k) = i*o(k) + d(k). Is z(-7) a multiple of 18?
True
Suppose 11*q + 635 = 3*j + 9*q, 3*j = -5*q + 670. Suppose 3*k + 29 = j. Is 7 a factor of k?
False
Let n(b) = -b**3 + b**2 - b + 4. Let q be n(0). Suppose 2*x - 145 - 601 = 5*c, -q*x + 1474 = -c. Is x a multiple of 36?
False
Suppose 418*j - 324024 = 394*j. Is 123 a factor of j?
False
Let d(j) = 3*j**3 + 12*j**2 - 3*j - 4. Is 10 a factor of d(9)?
False
Let j = 2233 + -2077. Is 12 a factor of j?
True
Let t be (-60)/14*(-105)/25. Let k(h) = h**3 + 9 + 21*h + 2 + 1 - 19*h**2. Is k(t) a multiple of 11?
True
Let i = 1376 - 507. Let v = i + -532. Does 3 divide v?
False
Suppose -i = -v - 24526, 2*i = -4*v + 44889 + 4211. Is 259 a factor of i?
False
Suppose -208*s + 10 = -203*s. Suppose s*w = 15*w - 4446. Does 8 divide w?
False
Suppose p = 23 + 3. Suppose -37*u + 9 = -34*u. Suppose p = u*v - 229. Is 17 a factor of v?
True
Let m(q) = q**2 - 4*q + 7. Let i be m(5). Let p = 1229 - 1058. Suppose 9 = i*l - p. Is 6 a factor of l?
False
Suppose 197 + 967 = 4*r. Suppose t - 97 = -f, -3*t - f = 3*f - r. Is 16 a factor of t?
False
Suppose 4 = -3*w - 8. Let a(z) = -16*z. Let i(v) = 17*v - 1. Let p(r) = -6*a(r) - 7*i(r). Does 19 divide p(w)?
False
Let c be (7*3)/((-18)/(-42)). Suppose -3*s - q - 6 - 58 = 0, 5*s - 2*q + 125 = 0. Let t = c + s. Is 26 a factor of t?
True
Let g = -3708 - -6938. Does 38 divide g?
True
Suppose -26*o + 6236 = -14642. Let x = -662 + o. Does 8 divide x?
False
Let c(f) = -5*f + 12. Let h be c(2). Suppose 3*j - 1 = 2*t - 7, 0 = h*j. Suppose 206 = 6*k - k + 2*x, x - 124 = -t*k. Is k a multiple of 7?
True
Let v(t) = -4*t**3 + 9*t**2 + 25*t - 16. Let g(m) = -m**3 - 1. Let w(r) = -3*g(r) + v(r). Is w(10) a multiple of 7?
False
Is 241 a factor of (-3 + 14/4)/(10/554300)?
True
Let m = -2240 - -7100. Is m a multiple of 36?
True
Let q be 138/9 + (-2)/9*-3. Is (2*1244/q)/(1/2) a multiple of 24?
False
Let m = 11776 + -7786. Is 23 a factor of m?
False
Let p be 10*(16/40 + (-1 - -1)). Suppose 0 = g + 2*o - o - 4, -p*g = 5*o - 17. Suppose v = 3*v - 2*b - 38, -2*v + g*b + 42 = 0. Does 8 divide v?
False
Suppose -4*f + 19993 = -5*t + 2463, 2*f - 8756 = -2*t. Does 15 divide f?
True
Suppose -72*y = 48*y - 297600. Is 62 a factor of y?
True
Let l = 175 - 147. Suppose -4*z - g = -1775, -3*g = l*z - 27*z - 441. Does 12 divide z?
True
Suppose -136*h = -126*h - 44500. Suppose h - 37354 = -36*o. Is 14 a factor of o?
False
Let i = 67 + -62. Suppose -u = -i*g - 2*u + 109, -3*g - 3*u = -63. Suppose -2*t + g = f, 0 = -f + 2*t + 13 - 3. Is 16 a factor of f?
True
Let a = -1585 + 2334. Does 2 divide a?
False
Suppose -o - 3*d + 0*d - 236 = 0, -2*d = -3*o - 697. Let f(w) = 40*w - 5. Let g be f(-4). Let s = g - o. Is s a multiple of 5?
False
Suppose 2*h = 7*k - 296345, 58*h + 211658 = 5*k + 59*h. Does 52 divide k?
False
Let n be -3*9823/(-33)*(-1 - -3). Suppose 0 = -6*f + 2114 + n. Is f a multiple of 50?
True
Let w = -1109 + 1151. Let m(h) = 42*h + 1. Let x be m(1). Suppose k - x = w. Is 26 a factor of k?
False
Let n(i) = -3*i**2 + 124*i + 91. Let f be n(42). Suppose -2*m + 48 = 2*m. Suppose f*j - 5*j = m. Does 6 divide j?
True
Let a(m) = -16*m - 49. Let q be a(-19). Suppose -8*p + 1721 = -q. Is 19 a factor of p?
True
Let s(v) = 1483*v**2 + 300*v + 1186. Is 7 a factor of s(-4)?
False
Let z(n) = 61*n - 36. Let t be z(2). Let o = 189 + t. Is o a multiple of 5?
True
Let w(h) = -6*h + 16. Let d be w(10). Let s = 47 + d. Suppose s*x - 7*x = -172. Is 9 a factor of x?
False
Let l(r) = -5*r**3 - 26*r**2 - 5*r - 12. Let w be l(-6). Suppose -o = 8*o - w. Is o even?
True
Is 30 a factor of ((-224)/(-168)*(-150)/4)/((-3)/198)?
True
Let v(w) = 36*w - 17. Let k be v(-11). Let f = -220 - k. Suppose 2*u = 267 + f. Is u a multiple of 26?
False
Suppose 2*c + 25 = -3*c. Let j = 221 + -371. Is ((-5)/c - 7)/(4/j) a multiple of 15?
True
Let j = 76 + -74. Let g(d) = 148*d**2 + 18*d - 5. Does 13 divide g(j)?
False
Let h = 49 - 37. Let z = -5 - h. Let g(s) = s**2 + 18*s + 35. Is g(z) a multiple of 7?
False
Let i(s) = -s**2 - 8*s - 21. Let c be i(-12). Let d = c - -73. Does 2 divide 4 - (-6)/(5 - d)?
True
Let i = -328 - -333. Is i + -3*1024/(-24) a multiple of 30?
False
Let g(h) = h**2 + 6*h - 10. Let w be g(-7). Is 12 a factor of (95 - 5)/3*(w + 7)?
True
Let d(h) = -2*h**3 - 9*h**2 - 8*h + 4. Let x be d(-6). Suppose -j - x = 3*z - 6*z, 5*j = 2*z - 748. Let g = 292 + j. Is 16 a factor of g?
True
Let v(h) = h**3 + 6*h**2 + 11*h + 8. Let q be v(-3). Suppose u + q*g - 37 = 281, 0 = 5*u - 3*g - 1525. Is 28 a factor of u?
True
Suppose -11*i + 628 = -7*i + 4*d, 0 = -5*i + 2*d + 792. Let v be (6/4)/(3/8). Suppose v*z = -8, j = -j + 3*z + i. Does 11 divide j?
False
Let n(h) = -h**3 + 3*h**2 + 13*h - 7. Let b be n(5). Suppose b - 18 = -2*y. Suppose -627 = -3*c + y*v, 0 = -7*v + 2*v - 15. Is 11 a factor of c?
False
Let t(s) = -12*s + 2216. Does 80 divide t(70)?
False
Let s be (1 - -866) + (9 - (1 + 14)). Let i = s - 211. Is i a multiple of 65?
True
Suppose -2*o = 2*q - 18, q - o - 5 = 8. Let f(m) = -m**3 + 15*m**2 - 10*m + 89. Is f(q) a multiple of 14?
False
Suppose 0 = -c + 4*j - 11, 0 = -2*c + j - 5*j + 2. Let h be -3*(c + 0)/(-3). Is 16 a factor of (-1)/(h/6) - -36?
False
Let u = 3139 + -2451. Is 172 a factor of u?
True
Let p(s) = -5*s**3 + 4*s**2 - s - 2. Let q be p(2). Suppose 820*z - 809*z - 110 = 0. Let a = z - q. Is a a multiple of 6?
False
Suppose 434148 = 28368*y - 28322*y. Is 4 a factor of y?
False
Let a be -1*10/(3*(-8)/12). Suppose g + a*s - 18 = 0, 31*s - 26*s = g - 68. Is 38 a factor of g?
False
Suppose 56*a - 123136 = 27*a - 8*a. Is 17 a factor of a?
False
Suppose -60*s + 101*s = -166*s + 1302030. Is 17 a factor of s?
True
Let i = 8 - 20. Let x(n) = 9*n - 76. Let q be x(8). Does 7 divide (q + -3)/(((-15)/i)/(-5))?
True
Suppose 3*p - 4*d + 30 = 109, 2*p + d = 49. Suppose -2*k + p = 3*m, 0 = 2*m - k - k. Suppose v - m*r + 203 = 3*v, 2*r = 3*v - 295. Is v a multiple of 9?
True
Let w = 79 + -3. Let b(y) = -y**3 - 4*y**2 + 28*y + 155. Let c be b(-7). Let r = c - w. Is 5 a factor of r?
True
Let m(w) = 41*w**2 - w + 1. Let y be m(-3). Let u = -224 + y. Suppose -67 - u = -3*z. Does 8 divide z?
True
Suppose -11*l + 3*l + 32 = 0. Suppose -3*x - 9 = 0, -3*v = v + l*x - 2920. Suppose -4*c - 494 = 2*i - 4*i, -3*i + v = 2*c. Does 24 divide i?
False
Let h(c) = -c**3 - 5*c**2 + 11*c - 9. Suppose -8 = k - 1. Let b be h(k). Let y = b + -2. Is y a multiple of 10?
True
Let v(a) = a**2 + 24*a - 22. Let j be v(-25). Suppose 0 = -n + 2, j*m = 8*m - n - 1628. Is m a multiple of 30?
False
Let g(l) = 57*l**2 + 11*l + 27. Suppose 3*