3*b = g + 155 - 526. Is 52 a factor of g?
False
Let t = 92 + -49. Suppose 0 = 8*s - t - 85. Suppose r + s = 45. Is r a multiple of 25?
False
Suppose -533 = 14*m - 1751. Is 9 a factor of m?
False
Let i = -2496 - -6281. Is 11 a factor of i?
False
Suppose 19 = 4*w - 1. Suppose 102 + 136 = c. Suppose -w*f + 0*u - u = -c, 3*u - 186 = -4*f. Is 26 a factor of f?
False
Let q(n) = -4 - 813*n + 795*n - 1 - 2*n**3 - 33*n**2. Is 9 a factor of q(-16)?
True
Let t(w) = 9*w + 3. Let o be t(0). Suppose -o = 3*r - 4*r. Does 12 divide 72*2/6*r?
True
Suppose 3*w - 87310 = 4*i, 5*i = 467*w - 466*w - 29096. Does 27 divide w?
True
Suppose 4*z = -z + 5*h + 15, -3*z + 8 = -2*h. Suppose 0 = 4*r + 3*l + 46 - 1, z*l - 26 = 2*r. Does 9 divide (-3)/r - ((-561)/12 + 2)?
True
Let i(z) = -z**3 - 7*z**2 - 14*z - 2. Let j be i(-3). Suppose 13*n - 2511 = j*n. Is 31 a factor of n?
True
Suppose 52*s - 53*s - c = -12087, -c + 36255 = 3*s. Is 159 a factor of s?
True
Let d be 22/6 + (-2)/(-6). Suppose -2*l + p = -7, d*l - 11 = p - 0*p. Suppose 0 = 6*i - l*i - 432. Is i a multiple of 18?
True
Does 18 divide 171144/144 + -3 + -3 + (-11)/(-2)?
True
Suppose m = i - 0*m - 7, -2*m = -4*i + 30. Does 29 divide ((-580)/(-15))/(i/24)?
True
Suppose 45 = -0*b + b. Suppose -5*k = -6*v + v + b, -3*v = -k - 19. Suppose 3*z - v*y + 84 = 4*z, y - 76 = -z. Does 17 divide z?
False
Suppose 4*n - 3178 - 53559 = d, 5*n + 3*d = 70917. Is n a multiple of 189?
False
Suppose 2054 + 4223 = -29*a + 1492. Let g = 9 + -15. Is a/(-2) - (-9)/g a multiple of 13?
False
Is 12 a factor of (1*71897)/((-11)/(-3)) + (-5655)/20735?
True
Let p(n) = -n**3 + 12*n**2 - 22*n - 23. Suppose -3*o - 28 = -2*w, -4*w - 2*o + 3 = -21. Is p(w) a multiple of 23?
False
Let y = -51 - -109. Let m = 73 - y. Does 13 divide (m/20)/(1/52)?
True
Suppose 0 = 18*s - 10*s - 127024. Does 10 divide s?
False
Let g(y) = 2*y**2 + 11*y + 13. Let c be g(-5). Is 3 a factor of (-30)/(c/((-80)/15))?
False
Suppose -5*f + j + 211 = 0, 0 = f + f + 5*j - 79. Suppose 6*a = 9*a - f. Suppose a*t - 8*t = 972. Is 27 a factor of t?
True
Let b be (4/6)/(10/(-195))*3. Let m = 54 + b. Suppose -129 - m = -t. Is 44 a factor of t?
False
Suppose -3*j + 4 = -8. Suppose -j + 31 = 3*n. Suppose -8*s + n*s = 194. Does 30 divide s?
False
Let u(w) = -38*w**2 - 158*w + 10. Let g be u(-5). Let b(o) = o**2 - 10*o + 3. Let r be b(-9). Let n = g + r. Is 3 a factor of n?
True
Suppose 3*x - 4701 = -5*c, 0 = 12*x - 14*x - 3*c + 3133. Is 9 a factor of x?
False
Let s(w) = -18*w + 4. Let o be s(4). Let q = o + 158. Suppose q - 27 = 3*n. Does 7 divide n?
True
Let z = -32 + 23. Let n be z*(-16)/4*(-2)/(-8). Let i(l) = 2*l**2 - 7*l + 41. Is 20 a factor of i(n)?
True
Suppose 2*h - 8423 = -h + 16903. Does 9 divide h?
True
Let z = 548 - 544. Suppose 320 = z*o - 4*h, -5*h + 88 = o - 4*h. Is o a multiple of 28?
True
Let f(c) = -2*c**3 - 11*c**2 + 6*c - 24. Suppose -39*i + 30*i - 63 = 0. Does 13 divide f(i)?
False
Let k(g) = g**3 - 12*g**2 + 14*g - 37. Let f be k(11). Let t(a) = -3*a**3 + 15*a + 25. Does 35 divide t(f)?
False
Suppose 0*i - 125 = 5*i. Let c(d) = d**3 + 9*d**2 + 2*d + 71. Let w be c(-8). Let f = w - i. Does 39 divide f?
False
Does 21 divide (-20223)/(-45)*(-10)/(-6)?
False
Suppose -5*v - 3*a + 30 = 0, -4*v + v - 11 = -4*a. Suppose v*u + 1229 = 2*f, 2*f - 5*u - 1637 = -414. Suppose 99 = -4*h + 5*t + f, 0 = -t. Does 25 divide h?
False
Suppose 3*k = 4*r - 62, 0 = -3*r + 2*k - k + 44. Suppose 0 = p - 3, -x + 58 = p - r. Let g = -51 + x. Is 6 a factor of g?
True
Let v(k) = 16*k + 476. Let h be v(-30). Is (574/1)/(6 + h) a multiple of 22?
False
Let k(q) = -q**2 + 20*q + 35. Let b be k(-2). Let p(t) = -94*t + 369. Is p(b) a multiple of 47?
False
Let s(m) = -2*m**2 + 12*m - 95. Let w be s(9). Let o = w - -237. Is o a multiple of 22?
True
Suppose 0 = -5*u + 3*o + 101, 2*u + 6*o = 2*o + 56. Suppose -5*s - 2*t + 8004 = 0, -4*s - u*t = -25*t - 6417. Does 23 divide s?
False
Suppose 0 = 7*r - 10 - 4. Suppose 0 = -3*x + 5*j + 33 - 8, -r*j = 4. Suppose -2*q = x*u - 190, -q + 2*u = -101 + 15. Is q a multiple of 19?
False
Let y = 69 - 181. Let n = y - -506. Is n a multiple of 10?
False
Let q(f) = -18 - f**2 - 12*f + 0*f**2 - 3*f**2 + 9*f**2 - 3*f**2. Is q(15) a multiple of 21?
True
Suppose -26 = -4*l - 2*v, 0*l - 4*l + 3*v = -11. Let g = -432 + 432. Suppose 2*w - 316 = -g*w + l*o, 4*o = -w + 145. Is w a multiple of 21?
False
Suppose 6*p - 4*p - 4 = 0. Suppose 33 = -3*w - f, -p*f - 7 = w - 1. Is (w/(-9))/((-6)/(-63)) a multiple of 7?
True
Let g(y) = -7*y**3 - y**2 + 7*y - 8. Suppose -2*z - 213 = -205. Is 36 a factor of g(z)?
True
Is 5982 - ((-17)/(-7) + 153/(-357)) a multiple of 26?
True
Let l = -305 - -507. Does 31 divide l?
False
Suppose 70*p - 19190 = -4*n + 68*p, -14380 = -3*n - 4*p. Is n a multiple of 10?
True
Suppose 13*f = 8*f + 95. Suppose f = 3*l + 10. Suppose -2*a + l*a = -5*n + 20, 5*a = 4*n + 187. Is a a multiple of 15?
False
Is 3 a factor of (((-13)/(-26))/((-4)/(-10)))/((-21)/(-504))?
True
Let h(k) = -3*k**2 + 6*k + 22. Let c be h(7). Let v = c + 108. Let d = 27 + v. Is 13 a factor of d?
True
Let r = 67 + -63. Does 4 divide 39 + 1 + r + 42/(-6)?
False
Let w = 4013 + 10879. Is w a multiple of 12?
True
Is ((-6)/27*6)/(924/(-31723461)) a multiple of 9?
False
Let d(t) = 38*t + 499. Is 47 a factor of d(45)?
True
Let y = -138 - -142. Suppose -3*u + y*g - 1286 = -6*u, -4*g - 1246 = -3*u. Is u a multiple of 9?
False
Let n = 5555 - -14499. Is 22 a factor of n?
False
Suppose 0 = 18*k - 22879 - 19349. Does 23 divide k?
True
Let m(q) = -3*q - 7. Let i be m(-4). Suppose b + 1 = i. Is 286/b + 11/22 a multiple of 18?
True
Suppose -156 = 2*p - 1202. Suppose -p*h + 524*h - 679 = 0. Is 15 a factor of h?
False
Let q = 18647 + -12581. Does 18 divide q?
True
Let b = 26798 - 17864. Is 34 a factor of 2/10 - b/(-30)?
False
Suppose -5*g = -2*z - 547, -2*g - 2*z = -5*z - 221. Suppose -101*q = -g*q + 368. Is q a multiple of 23?
True
Let a = -2289 + 6222. Is a a multiple of 10?
False
Suppose 4*h - 106 - 154 = 0. Let g = -60 + h. Suppose 0*t + 8 = -t + g*j, 0 = -3*t + 4*j + 9. Is 4 a factor of t?
False
Let l(y) = -y**3 - 36*y**2 - 45*y + 578. Is 8 a factor of l(-35)?
True
Let u(y) = 158*y + 146. Suppose -67*f = -72*f + 25. Does 25 divide u(f)?
False
Suppose 0*n - 3*n + 450 = 0. Let x be 5*1*(6 + -4 + -1). Suppose -2*u + 208 = x*y, 2*y = 5*u - n - 341. Is 62 a factor of u?
False
Does 24 divide -126*53/((-371)/948)?
True
Suppose -36 = -o - 3*o. Let f(m) = -m**2 + 18*m - 3. Let z be f(o). Let w = z + -63. Is 12 a factor of w?
False
Suppose -3*g - 2112 = -3*j, -j = -4*g - 351 - 365. Let t be -3*(j/15)/(-2). Suppose -5*i + 250 - t = 0. Is 36 a factor of i?
True
Let v(a) = 0*a + 269 - 2*a - 243 + a**2. Let p = 20 + -14. Is 10 a factor of v(p)?
True
Let n = -118 + 343. Is 5 a factor of n?
True
Let j = 5571 + -1750. Suppose j = 29*n - 732. Does 15 divide n?
False
Let m(h) = 3*h**3 - 19*h**2 - 4*h + 12. Let c be m(8). Let j = -36 - -46. Does 12 divide ((-468)/j)/((-90)/c)?
True
Let r = 22141 + -11933. Does 42 divide r?
False
Let y = -1529 - -3706. Is 3 a factor of y?
False
Suppose -16*t + 9*t + 7314 = 2232. Does 2 divide t?
True
Let h be 12/(-3) + (-6834)/(-6). Let p = h - 535. Is 25 a factor of p?
True
Suppose 43 = 6*m + 25. Suppose -4*l = 3*x - 2136, 3*x - m*l = -x + 2823. Is 32 a factor of x?
False
Let q = 1395 - 456. Suppose 3*d = -4*m + q, 3*m + 5*d + 489 = 5*m. Suppose 4*o - 179 - m = 0. Is 30 a factor of o?
False
Let j(y) = y**2 - 6*y + 8. Let q be j(6). Suppose 9*v = 5*v + q. Suppose -v*r + 3*b - 4*b = -94, -4*r = 4*b - 184. Does 16 divide r?
True
Let s = 95 + -79. Let p(n) = n**2 + 16*n + 8. Let a be p(-15). Let y = a + s. Is 6 a factor of y?
False
Let w be (2/(-8)*-3)/((-1)/(-4)). Suppose -w*v - 594 = -3249. Is v a multiple of 11?
False
Let q(f) = f**2 - 50. Suppose b - 3*i - 60 = 0, -2*b - 2*i + 108 = -5*i. Suppose -4*d - 16 = -b. Is 14 a factor of q(d)?
True
Suppose 56*q + 26*q = -14*q + 1381920. Is 53 a factor of q?
False
Let p(u) = -u**3 - 12*u**2 - 13*u + 38. Let x be p(-10). Let s(o) = o**3 + 33*o**2 + 15*o + 112. Is 82 a factor of s(x)?
True
Suppose l + 372 = m, -5*l = 4*m - 0*l - 1506. Let b = 1152 - m. Is 78 a factor of b?
False
Let i = -14532 - -18459. Is 77 a factor of i?
True
Let n = -103603 - -175166