 w*y = -3*i + 238. Is 15 a factor of i?
False
Let i = -249 - -407. Let f = i + 157. Is 9 a factor of f?
True
Let i = -5588 - -8792. Is i a multiple of 153?
False
Suppose 3*u - 64 = u. Let z = -26 + u. Let r(x) = 11*x - 18. Is 12 a factor of r(z)?
True
Let o = 60 + -48. Let p = 52 - o. Is p a multiple of 8?
True
Let z(x) = -5*x - 22. Let v(s) = -4*s - 21. Let h(a) = -6*v(a) + 5*z(a). Let f be h(12). Suppose -f*o + 235 + 165 = 0. Does 6 divide o?
False
Suppose -161 - 73 = 26*c. Let y(a) = -2*a**3 - 17*a**2 + 3*a - 8. Is 23 a factor of y(c)?
True
Suppose 31*w = 27*w + 584. Suppose r - 5*d = -10, 60 - w = 3*r - d. Does 28 divide 85/3 + 10/r?
True
Let h = -109 - -109. Let i = 4 + 5. Suppose 8*g - i*g + 48 = h. Is 12 a factor of g?
True
Let y(l) = -53*l - 49. Let w(b) = -18*b - 16. Let r(p) = 11*w(p) - 4*y(p). Is 7 a factor of r(4)?
False
Let t = -5128 - -6533. Is 11 a factor of t?
False
Let g(t) = t**3 - t**2 - 2*t - 1. Let n be g(0). Let y be 15/9*24/(-2). Is 57 - y - (n - (2 - 2)) a multiple of 14?
False
Does 121 divide ((-273)/6 - -6)/(4/(-4072))?
False
Let d be (-1)/(1/(81/3)). Is 25 a factor of (d/(-18))/((-1)/(-150))?
True
Suppose -2*a + 2091 = s, 5*a - 7*a + 2082 = -2*s. Let l = a + -310. Does 12 divide l?
False
Let l be ((-2 + 6/2)*8)/1. Suppose 4 = j - 3*a, 3*j = 8*a - 3*a + l. Is (-11)/j*(7 - 8) a multiple of 2?
False
Let s(z) be the first derivative of 106*z**2 - 2*z - 6. Let h(c) = -c**2 - 6*c - 7. Let r be h(-2). Does 30 divide s(r)?
True
Let a = 23844 + -19254. Is 10 a factor of a?
True
Let q(h) be the second derivative of -h**4/12 - h**3 - 4*h**2 + 17*h. Let i(j) = 2*j**2 + 13*j + 16. Let l(z) = -6*i(z) - 13*q(z). Is l(0) a multiple of 2?
True
Let g be 8/(3*(-5)/135). Let p = g - -76. Let h(y) = y**3 + 3*y**2 - y + 6. Is 19 a factor of h(p)?
True
Let s(u) = 14*u**2 - 22*u + 6*u + 17*u + 3. Suppose 4*f - 5*w + 17 = 0, f + 3 = 3*w - 3. Is s(f) a multiple of 18?
True
Let z(p) = -9 + p**3 + 19*p + 29*p**2 + 7 - 16 - 9. Is 9 a factor of z(-28)?
True
Let d be ((-33)/5 + 4)*-35. Suppose -x = 2*x - 192. Let c = x + d. Is 9 a factor of c?
False
Suppose 0 = -25*c + 26*c + 12. Does 22 divide (-11 - c)*(-1)/(-1) + 1297?
True
Let b(a) = 10*a - 32. Let t be b(14). Let q = t - 61. Is q a multiple of 6?
False
Let i(b) = 10*b + 14. Let j be i(-6). Let a = 50 + j. Suppose 2*c = -h + 196, -a*c + c + 294 = h. Is c a multiple of 25?
False
Let t(d) = d**3 - 5*d**2 + 6*d - 2. Suppose -3*r + 124 = 112. Let s be t(r). Suppose -s*f + 14 + 22 = 0. Is 6 a factor of f?
True
Suppose 22*a = 20*a - 10, 5*m - 5*a = 17265. Is 12 a factor of m?
False
Let x(l) = 3239*l**2 + 2*l + 3. Is x(-1) a multiple of 72?
True
Let r be -4*((-171)/(-2))/(-9). Suppose 0 = 5*j - 6*j + 3*x + 30, x = j - r. Is 14 a factor of j?
True
Suppose 3*n = -l + 87, 0 = 5*n + l - 0*l - 143. Does 10 divide (-18204)/(-19) - 2 - n/266?
False
Suppose -11*p + 219098 = 33*p + 37950. Does 11 divide p?
False
Let x = -4821 + 6998. Is 17 a factor of x?
False
Suppose 11*k = 15*k - 3*d - 230, 3*k - 179 = -d. Is 17 a factor of k?
False
Let l be (-2)/14 - 66/(-21). Let h be -3 - (-2 - 0/l). Is 22 a factor of ((-1251)/(-36))/(h/(-4))?
False
Let b be (-30)/(-8)*(-19 - -7). Let f = b - -70. Suppose 3*c - 3*g - 120 = 0, c - 2*c = -4*g - f. Is c a multiple of 5?
True
Suppose -47*x + 58*x - 7535 = 0. Is x a multiple of 5?
True
Let r(j) = -4*j - 2. Let k(y) = 3*y + 1. Suppose 4*o + 13 = 5*s, 3*s - 3*o + 5*o - 21 = 0. Let q(b) = s*r(b) + 8*k(b). Does 7 divide q(18)?
True
Suppose 3*g + 1270 = 7*g + g. Does 50 divide g?
False
Suppose -5*t - 4*s = -s - 1049, -2*s + 630 = 3*t. Let x = t + 175. Is x a multiple of 32?
False
Let x(c) = 135*c - 1477. Is 18 a factor of x(16)?
False
Suppose -3 = 2*u - q + 6, 5*u + 3*q + 17 = 0. Let o be 4/(-4) - (-119 + u). Let a = o - 54. Does 34 divide a?
True
Suppose 38*n - 37452 - 6400 = 0. Let i = -621 + n. Does 41 divide i?
True
Suppose -58123 = v - 14*v. Is v a multiple of 103?
False
Suppose 14*r - 15652 = 13925 - 2109. Does 16 divide r?
False
Suppose 3*a + 712 = -440. Let j = a - -700. Is 15 a factor of j?
False
Suppose 0 = -v + 2*v - s + 9, -v + 3*s - 7 = 0. Is 35 a factor of 167164/460 - 6/v?
False
Let d(v) = 351*v + 12781. Is 28 a factor of d(29)?
True
Let r = -339 + 309. Does 15 divide r/(3 - 5)*(19 + -2)?
True
Let p(o) = -150*o + 22. Let i be p(-2). Let x = i + -162. Does 8 divide x?
True
Let g(w) = w**2 - 2*w**2 + 3*w**2 - 20 - 3*w - w**2. Suppose 2*x = 4*x + 16. Is 9 a factor of g(x)?
False
Let m(h) = -h**3 - 2*h**2 + 3*h - 10. Let y = -16 - -13. Let g be m(y). Is (160/(-4))/5*g a multiple of 5?
True
Suppose -4*g + u - 3*u = -38, -4*g = 3*u - 35. Suppose 10*p = g*p - 41. Suppose 2*i = f - 36, -2*f + 51 = i - p. Is 11 a factor of f?
True
Let h be (-316)/(-28) - (-2)/(-7). Suppose -3*r + h = -1. Is (588/24)/(2/r) a multiple of 10?
False
Let q(s) = -s**2 - 10*s. Let k be q(-10). Suppose 6*t + 54 + k = 0. Does 11 divide (-693)/t*2/7?
True
Let l be (-1 + (-15)/(-10))/(1/10). Let c(w) = 110*w - 2. Let t be c(1). Suppose i + l*i = t. Is i a multiple of 6?
True
Let s = 2941 + -1585. Suppose -3*l + 3*k = -5*l + s, 5*l = 3*k + 3348. Suppose -9*a - l = -15*a. Is a a multiple of 11?
False
Let d(w) = 3*w**3 + w**2 - w + 13. Let p be d(-4). Let j = p + 234. Does 15 divide j?
True
Suppose -7*y + 5687 = -2342. Does 28 divide y?
False
Let o = 8219 + -5407. Is 19 a factor of o?
True
Let m be (8/(-28))/((-1)/14). Suppose -3*q - 2*x - 1406 = -5*q, -3*q - m*x = -2116. Is q a multiple of 44?
True
Let g = 6339 - 6267. Let m = 25 + 13. Suppose -36*r = -m*r + g. Does 18 divide r?
True
Suppose -7*f + 4*f = -1056. Suppose -f = -5*n + 3*o + 278, 600 = 5*n + 3*o. Suppose 6*u = 3*u + n. Is u a multiple of 5?
False
Let t(y) = -545*y**2 - 25*y + 14. Let j(m) = -182*m**2 - 8*m + 5. Let n(z) = 8*j(z) - 3*t(z). Is 23 a factor of n(2)?
True
Let z(m) = m**3 + m + 104. Let s(p) = p**2 - 2*p - 2. Let f(t) = -t**2 + t + 1. Let i(w) = 6*f(w) + 5*s(w). Let c be i(-2). Is z(c) a multiple of 26?
True
Let t = -4153 + 4151. Let s be (-4)/14 + (-172)/(-14). Let n = s + t. Is 2 a factor of n?
True
Suppose 2274*k - 79576 = 2245*k. Does 16 divide k?
False
Let l = -124 + 169. Is 55 a factor of (-4)/10*(l*66)/(-2)?
False
Let u(i) = -4*i**2 - 5*i - 6. Let b(g) = -13*g**2 - 16*g - 17. Let a(j) = 2*b(j) - 7*u(j). Suppose -5*c = 100 - 55. Is a(c) a multiple of 13?
True
Suppose i + 3*c = 5*i - 5, -i - 3*c + 5 = 0. Suppose u = -i*u + 162. Is u a multiple of 6?
True
Suppose 6*p = p + 190. Suppose -92 = -z + 2*v - 10, 2*z = -v + 144. Suppose -2*t = -z - p. Is 8 a factor of t?
True
Let y(l) = -l**3 - 13*l**2 - 4*l - 32. Let n = 12 + -7. Let g be n - -2*(-36)/4. Is y(g) a multiple of 5?
True
Let j(z) = -z**3 - 8*z**2 + 6*z - 19. Let y be j(-9). Is 42 a factor of (y - (-30)/(-4)) + (-3573)/(-6)?
False
Let z(m) = -175*m - 1142. Does 5 divide z(-7)?
False
Let p(n) = 5*n**2 + 97*n - 282. Is p(-34) a multiple of 44?
True
Suppose -78*h - 17719 = -352495. Is h a multiple of 37?
True
Let g(k) = 2*k + 3. Let u be g(6). Let z = 12 + 55. Suppose -z = -t - u. Is 14 a factor of t?
False
Suppose 0 = 3*j + 4*x - 362 - 207, -4*j = 3*x - 754. Suppose -5*g + 6*g - 2*q = 49, 0 = 4*g + q - j. Is g a multiple of 22?
False
Suppose 0 = -17*g - 4337 + 28409. Is g a multiple of 9?
False
Suppose 5*b - 7*h + 35 = -4*h, 3*b + 6*h - 18 = 0. Let l(i) be the second derivative of i**4/2 - i**3/2 - 2*i**2 - 2*i. Is 8 a factor of l(b)?
True
Let p = 98 - 106. Let q be 2/7 - p/(-21)*-309. Let f = -105 + q. Is 13 a factor of f?
True
Suppose 2*r - 3188 = -4*q, 4*r - 3*r - 1566 = 5*q. Suppose j - 101 = -v + 221, j = 5*v - r. Is v a multiple of 20?
False
Suppose -79*q + 161*q - 101321 + 2429 = 0. Does 2 divide q?
True
Let u(w) = 86*w - 581. Let d(o) = -41*o + 290. Let b(a) = 5*d(a) + 2*u(a). Is 12 a factor of b(-24)?
True
Suppose -4*p + 30 = 10. Suppose 0 = p*c - 5 - 30. Suppose -9*x + c*x + 242 = 0. Does 23 divide x?
False
Let a(g) = -2*g**3 - 6*g**2 - 5*g - 1. Let z be a(-3). Let n be (z/10 - 1) + 213/5. Suppose 3*o + 0*o - 2*x - n = 0, 64 = 4*o + 4*x. Is 15 a factor of o?
True
Suppose 2*x + 2*x - 5*g + 328 = 0, -4*x + 4*g = 332. Let a = x - -89. Is 4 - -12 - (a - -2) a multiple of 4?
True
Let d = -2 - -23. Suppose -19*a + d*a = 0. Suppose 5*s - s - 252 = a. Is s a multiple