18?
True
Is (3612/(-5))/(1*26/(-195)) a multiple of 42?
True
Let b = 32 - 30. Suppose o - 30 = -2*g - 0*g, -30 = -b*g - 5*o. Let w = g + -7. Is 4 a factor of w?
True
Let q(o) = -o - 6. Let k be q(-11). Suppose 4536 = 2*b + k*b. Suppose 3*m + b = 7*m. Is m a multiple of 27?
True
Suppose 3*i = -f - 2*f + 141, 2*i - 232 = -5*f. Let x be 3*f/6 - -4. Let t = 39 - x. Does 4 divide t?
True
Let r(h) = h**2 + 21*h + 73. Let j be r(-4). Suppose 3*c - j*c + 560 = 2*q, 4*c = 2*q + 1120. Does 40 divide c?
True
Let g be 260/(-22) + 4/(-22). Let v(d) = 2*d**2 - 8*d - 27. Let p be v(g). Is 15 a factor of (-3)/(-6) + p/6?
True
Let p(x) = 39*x. Let b(j) = -79*j. Let n(a) = 3*b(a) + 5*p(a). Does 24 divide n(-4)?
True
Let w be 3*(-3)/9 + -187. Let a = w - -385. Suppose -5*y = -0*n - 2*n + a, 4*y = -n + 92. Is n a multiple of 16?
True
Let q be ((-15)/(-5) - -7)/(0 - 2). Does 3 divide (214/4)/((-57)/12 - q)?
False
Suppose 2038 = -24*b + 50830. Suppose -1267 = -11*u + b. Is u a multiple of 20?
True
Suppose -191 = -5*i + 2*d, -4*i + 9*i - 159 = -2*d. Is i a multiple of 2?
False
Suppose -24 - 3 = -9*x. Suppose -2*i - 842 = -2*y - 0*i, 0 = -x*i - 3. Is 42 a factor of y?
True
Suppose 38*a - 36*a - 12 = 0. Suppose -2*f + a*f = 3*w + 943, 3*f = 5*w + 699. Does 49 divide f?
False
Suppose -3*c - 2*a - 1514 = 0, 2*a - 3484 = 5*c - 982. Is 14 a factor of 1 + (-2)/(4/c)?
True
Let g = -1175 + 4047. Suppose 1855 = 5*w - z - 1019, -3*z = -5*w + g. Does 56 divide w?
False
Let r be -2 - (20/5 + -2). Let h = r - -4. Suppose 5*b = 3*c - 214, 4*b + h*b - 264 = -4*c. Is c a multiple of 17?
True
Let j(z) = -14 + 5*z + 27 + 24 + 17. Let f be j(-9). Does 23 divide 137 - ((-6)/9 - 3/f)?
True
Let x be (10/(-45)*-21)/((-4)/(-6)). Suppose x = 3*h - 2*z - 148, 2*z = 4*h - 204. Suppose -82*q + 81*q + h = 0. Is 7 a factor of q?
True
Let r = -225 + 225. Is 20 a factor of ((-8)/6)/(r - (-4)/(-294))?
False
Let a = 42 - 104. Let z = 60 + a. Is (-12)/(-15)*(z + 1 - -41) a multiple of 8?
True
Let m(c) = -7*c + 62. Let n(a) = 3*a - 31. Let w(g) = -6*m(g) - 15*n(g). Let t be w(0). Let q = 126 + t. Is q a multiple of 8?
False
Suppose n + 20*n = 2*n + 2717. Is n a multiple of 2?
False
Let a(n) = -n**3 + 11*n**2 - 19. Let v be a(11). Does 15 divide (-4 + 1 - 2)/(v/1501)?
False
Suppose -12 = -5*g - i, g - i + 6 = 12. Let k(x) = 35*x**3 - 3*x**2 + x - 9. Is 19 a factor of k(g)?
True
Suppose 23627 = 2*x + j, 0 = -4*j + 52 - 64. Does 85 divide x?
True
Let j(v) = -3*v**3 - 19*v**2 + 23*v + 49. Is j(-12) a multiple of 7?
False
Let m = 188 - 274. Let r = 68 + m. Is r*(4 - 0)/(-8) a multiple of 5?
False
Let c(x) = -x**2 - 19*x - 82. Let h be c(-12). Suppose -391 = -y - 5*d, 4*y - 1366 - 216 = -h*d. Does 22 divide y?
True
Suppose 3*h = -5*f + 925, h + 3*h = -4*f + 1228. Let a = h + 1000. Suppose x - a = -4*x. Is 29 a factor of x?
True
Suppose -4*z = -5*v + 872 + 1423, 4*v + z - 1836 = 0. Does 51 divide v?
True
Does 12 divide (-4)/(-18) - 25261/2*104/(-468)?
False
Let h = -13 - -18. Suppose 2*q - b = 9, h*b = -5*q - 16 + 1. Is 6/3 - -6*q/4 a multiple of 5?
True
Suppose 494385 = 208*b + 2049. Is b a multiple of 16?
False
Let o = -9 + 10. Suppose -3*g - 214 + 74 = -q, -g - o = 0. Is 41 a factor of q?
False
Let l = 5391 - 2703. Let h = -1549 + l. Is 17 a factor of h?
True
Let r = 64570 - 36702. Is r a multiple of 16?
False
Suppose -5*d + 2*z + 18 = 0, -d = 2*z - 7*z - 22. Suppose -d*m + 2*v + 2060 = 0, -5158 = -m - 4*m + 3*v. Is m a multiple of 11?
True
Suppose 0 = -k - 5*x + 17269, 34523 = -18*k + 20*k - 5*x. Does 8 divide k?
True
Let i be 2/5*(-270)/(-36). Suppose o - i*o - 4*b + 604 = 0, 3*o - 927 = b. Is 28 a factor of o?
True
Let o(a) = 150*a**2 - 4*a + 6. Is 32 a factor of o(3)?
True
Suppose -10 = -4*q + 9*q. Let k = q - -3. Does 12 divide k - (-1 - 166)/(6 + -5)?
True
Let a(y) = 36*y + 63. Let s be a(7). Suppose 29*g - s = 30*g. Let t = -143 - g. Is 18 a factor of t?
False
Let y be (4 + 0)*(-61659)/(-186). Suppose 4*c - y - 1026 = 0. Does 35 divide c?
False
Suppose -728 = -2*f - 4*u, -89*f - 3*u = -90*f + 369. Is f a multiple of 9?
False
Let n(b) = b**2 - b + 258. Let i be n(0). Let w be 1 - 1 - 24/(-21)*7. Suppose -i = 4*q - w*q - 5*y, -q = 2*y - 63. Is 5 a factor of q?
False
Let t(g) = -100*g**3 - 171*g**2 - 5*g - 7. Does 2 divide t(-4)?
False
Suppose -44 = -37*c + 33*c. Does 33 divide (0 - c)*(13 - (89 + -1))?
True
Let s = 5794 + -1098. Does 148 divide s?
False
Let c be 0 + 4/6*(-9 - -3). Suppose -5*h = b + 25, -2*b - 2*h - 58 = -0*h. Is 17 a factor of (1 - b/c)*-20?
False
Let l = -89 - -94. Suppose 2*w = -4*t + 1176, -3*w - l*t + 755 = -1005. Is 20 a factor of w?
True
Let x(c) = c**3 - 9*c**2 - 2*c + 20. Let k be x(10). Let w be (-15)/(-50)*4*k. Suppose -3*t = -3*v + v + 48, w = 5*v - 5*t. Does 3 divide v?
True
Let a = -36 + 39. Suppose -l + 4*l + 2 = 2*t, -t = -a*l - 1. Let k = 23 - l. Is k a multiple of 2?
False
Let s(w) = w**2 + 17*w - 14. Suppose -97 = 5*t + n, 0*n + n = t + 23. Is s(t) a multiple of 23?
True
Let x = -152 - -162. Suppose -11 = -h - 2*c, -4*c + 18 = 4*h - x. Does 33 divide h/(-6)*-154*24/14?
True
Suppose -15970 = -f - 178*b + 177*b, 0 = 4*f + b - 63895. Is 9 a factor of f?
True
Let w(h) = 8*h**2 - 6*h + 76. Let j be w(11). Suppose 0 = 7*k - j - 674. Is 2 a factor of k?
True
Let r be (-2)/((3/(-12)*2)/1). Let d(p) = 39*p. Does 12 divide d(r)?
True
Let m(s) = 43*s**2 - 92*s + 624. Is m(19) a multiple of 121?
True
Let l be ((-9)/((-108)/(-64)))/(2/(-24)). Suppose -136 = -66*v + l*v. Is v a multiple of 15?
False
Is 101 a factor of -404*(-42)/(-56)*-61?
True
Let k(d) = 11 + 16*d - 203 - 28 + d**2. Does 58 divide k(-46)?
True
Let l = 82 + 3422. Is l a multiple of 48?
True
Let w = -1005 - -1005. Suppose 254*u - 249*u - 660 = w. Is u a multiple of 9?
False
Does 10 divide (-11251)/(-9) + 48/(-432)?
True
Let m(j) = 2*j**3 + 9*j**2 + j - 7. Let d be m(-4). Suppose -20 = k - d*k. Suppose -166 = -s - s + x, -425 = -k*s + 5*x. Does 7 divide s?
False
Is (8*1 + (254690/50 - -19))*5 a multiple of 18?
False
Let w be (-1664)/12 - 8/(-12). Let q = w - -233. Suppose 0 = 5*n + 3*l - q - 74, -5*l - 17 = -n. Is 8 a factor of n?
True
Let f = 9 - -10. Suppose -l + 10 = -f. Suppose -l*a + 31*a - 158 = 0. Is a a multiple of 17?
False
Let w = -5519 - -8731. Suppose -20*a = -16*a - 4*b - w, 5*a - 3*b = 4005. Is a a multiple of 57?
True
Let l be (-12)/108 + 182/18. Let r(i) = 4*i**2 + 4*i - 69. Is 25 a factor of r(l)?
False
Let y = -458 - -29. Let u = y + 654. Is u a multiple of 11?
False
Let m(c) = c**2 - 7*c + 5. Let z be m(5). Let b be (z - -1)*1/(16/(-12)). Let u(x) = x**3 + 2*x**2 + x - 5. Is 38 a factor of u(b)?
False
Suppose 6*z = -z + 14. Suppose z*r = 7*r - 370. Suppose 5*g = 21 + r. Is 2 a factor of g?
False
Suppose 0 = -0*m + 3*m. Let d = -200 - -205. Suppose -z = -m*n - 2*n + 93, 33 = n - d*z. Does 16 divide n?
True
Let l = -17051 + 28779. Is l a multiple of 10?
False
Suppose -2*d + 2*a = 16, -4*a + 8 + 36 = -5*d. Let b be (-6)/21*21/d*106. Let l = b + 80. Is 19 a factor of l?
True
Suppose 4*d + q - 4 = 0, 6 - 10 = 4*d + 3*q. Suppose 8 = 6*v - d*v. Suppose 0 = -v*b + 2, 3*b + 376 + 389 = 3*o. Is 15 a factor of o?
False
Let c = -33 - -43. Suppose 2*k = c*k. Suppose k*v + 495 = 4*g - 3*v, -3*g = -4*v - 366. Is 14 a factor of g?
True
Suppose 0 = 22*v - 23*v + 53. Let j = 57 - v. Suppose j*h = 157 - 57. Does 25 divide h?
True
Let c(h) = -3180*h + 6193. Does 15 divide c(-11)?
False
Let o = -1951 - -8775. Does 10 divide o?
False
Let z be ((-18)/(-4) - 2/(-4)) + -32. Is 6 a factor of (63/z)/(3 + (-408)/135)?
False
Suppose 33*z = 25*z - 3684 + 48452. Is 7 a factor of z?
False
Let f(o) = 2*o**2 - 2*o + 14. Suppose 0 = 5*m + 40 - 5. Is f(m) a multiple of 7?
True
Let b(u) = 43 + 4*u**2 - 21*u + 6*u**2 + 8*u + 4*u**2 - 4*u**2. Is 6 a factor of b(5)?
True
Let l(f) = f**3 + 24*f**2 - 253*f + 52. Does 38 divide l(-30)?
True
Suppose 0 = -4*f + 3*i + 231243, 39040 = f + i - 18783. Does 22 divide f?
True
Suppose 0 = -9*z + 4*n + 18420, -2*z - 53*n + 4076 = -51*n. Is z a multiple of 14?
True
Suppose -2*w + 7456 = x, 45*x = 49*x - 4*w - 29872. Does 27 divide x?
False
Suppose 6993 + 17629 = g - 6*d, 0 = -5*g - d + 123110. Is 13 a factor of g?
True
Let b(x) = 8*x**3 + 12*x**2 - 42*x - 10. Is 9 a factor of b(8)?
True
Let d(h