*c**2 + 22*c - 16. Let z be f(-12). Suppose z*j - 182 = 6*j. Is 5 a factor of j?
False
Let z = -80 - 102. Let t be (-1084)/14 + (-78)/z. Let n = t - -137. Is n a multiple of 30?
True
Suppose 0*c = -11*c + 45045. Suppose -126*t + c = -123*t. Does 15 divide t?
True
Is 6 a factor of (-11 - -2312)*8/12?
False
Suppose 16*r - 15*r - 43 = -5*k, 0 = -4*k - 3*r + 41. Let m = k - -434. Is 18 a factor of m?
False
Suppose 0 = -s - 2*u + 492, -5*s - 5*u + 958 = -1482. Is s a multiple of 11?
True
Let h = -72 + 84. Let k be (-1320984)/(-136) - (-2)/(-17). Is 3/h - k/(-44) a multiple of 37?
False
Let n(j) = 10*j - 155. Let i(l) = 2*l**3 + 18*l**2 + 14*l + 12. Let s be i(-8). Is 7 a factor of n(s)?
False
Let p = 26978 - 23184. Is 14 a factor of p?
True
Let b be (-40)/(-6)*(-4 - (-10)/4). Is 27 a factor of ((400/(-30))/b)/((-4)/(-450))?
False
Suppose 38*j + 63823 - 203405 = 132156. Is j a multiple of 3?
False
Is -1 - -7 - 16048/(-118) a multiple of 142?
True
Suppose 2*u - 3*j - 2462 + 655 = 0, 2*u = -j + 1787. Suppose 71*i + u = 79*i. Does 18 divide i?
False
Let t = 3179 - 2107. Is t a multiple of 5?
False
Let n(b) be the third derivative of 0*b + b**3 + 0 + 1/60*b**6 - 2/15*b**5 - 5/24*b**4 + 24*b**2. Is 24 a factor of n(6)?
True
Suppose 135148 = 58*m - 177356. Does 18 divide m?
False
Let o = 102 - 108. Let z(l) = -37*l - 43. Is z(o) a multiple of 19?
False
Let i(o) = -6*o**3 - 4*o**2 - 3*o - 12. Let b(w) = 5*w**3 - w - 4*w**3 + w**2 - 1 + 2*w. Let x(g) = -5*b(g) - i(g). Is x(0) a multiple of 16?
False
Let z be ((-5320)/(-21))/(-8)*(2 + 1). Let y = -88 - z. Suppose 12*c - y*c = 95. Is 5 a factor of c?
False
Let i be (-202)/(-20) - (-42)/(-420). Let s(r) = 5*r**2 - 15*r + 26. Is 8 a factor of s(i)?
True
Suppose 12*o - 399 = -9*o. Suppose -464 = -21*m + o*m. Does 8 divide m?
True
Let l = 562 - 536. Let k = 85 + l. Does 7 divide k?
False
Is 4 a factor of ((3/(-4))/((-177)/(-2242)))/((-2)/60)?
False
Let i(p) = 3*p**2 - 10*p. Let h be i(4). Suppose 56 = h*m - 0*m. Let b(o) = o**2 + 6*o - 5. Is b(m) a multiple of 31?
False
Is (150/45)/(9 - 19437/2160) a multiple of 2?
True
Let q(j) = 6329*j + 8. Does 160 divide q(1)?
False
Let k(t) = t**2 + 3*t**2 - 3*t**2 + 0*t - 2 - t - 1930*t**3. Let y be k(2). Is 9 a factor of (-2)/7 + y/(-140)?
False
Suppose 0 = -3*d - 72 + 9. Let v(c) = -4*c + 29. Is v(d) a multiple of 13?
False
Let j(u) = -u**3 + 14*u**2 - 22*u - 27. Let y be (-2)/(4/(-36)*2). Is 12 a factor of j(y)?
True
Let g = 17 + -28. Let r(u) be the second derivative of -2*u**3/3 - 16*u**2 + 26*u + 2. Does 4 divide r(g)?
True
Suppose -222412 = -38*z - 18*z + 488228. Does 27 divide z?
True
Suppose x = 0, 3*x - 297 = -2*s - 871. Let a = -115 - s. Suppose 4*u - 2*t = -6*t + a, 0 = -5*u - t + 203. Does 7 divide u?
False
Suppose -3*i = -6*i + 24. Let h(r) = 2*r**3 - 4*r**2 + 5*r - 4. Let v be h(i). Suppose 4*u - 8 = v. Is 27 a factor of u?
False
Let x = 164 + 1318. Suppose -x = 6*z - 5028. Is 27 a factor of z?
False
Let o = -19044 - -33440. Is o a multiple of 4?
True
Suppose -28*r - 9*r = -29378. Does 4 divide r?
False
Let m(r) = 265*r - 169. Let h be m(11). Suppose -60*l + 1934 = -h. Is 13 a factor of l?
True
Is 2578 + ((-2178)/(-605))/(4/(-10)) a multiple of 78?
False
Let f be (-6)/10 + (-5612)/5. Let z = 1984 + f. Does 16 divide z?
False
Let o(y) = -y - 1. Let x(m) = m**3 + 3*m**2 - m - 7. Let b be x(-2). Let i be o(b). Suppose -4*p + 160 = -i*p. Does 19 divide p?
False
Suppose 43*y - 24 = 39*y. Does 10 divide (-587)/(-1) + y + -3?
True
Suppose 4*l = 2*c + 8 + 2, 2*l - 6 = 0. Is 109 - (c + (-4 + 2)*1) a multiple of 64?
False
Let i = 112 - 107. Suppose a - 4 = -j + 108, 5*j = i*a + 540. Suppose -4*r + 419 = 3*v, r = v - 0*v + j. Is r a multiple of 10?
False
Let w be 202*((-5)/(-10) + 0). Suppose 5*m + 4*z - 314 = 0, -2*m + 35 + w = -z. Suppose -4*d + 210 = m. Is 18 a factor of d?
True
Suppose -58*q - 39*q + 648930 = 0. Is 30 a factor of q?
True
Let z(b) = b**2 - 22*b + 100. Let i be z(5). Let q(s) = 64*s + 1. Let v be q(5). Suppose 0*o + v = 5*o - 3*g, -5*g = -i. Is 11 a factor of o?
True
Suppose -5*p + 2*z - 7*z + 170 = 0, -p = -5*z - 46. Does 6 divide 6/27 + 1324/p?
False
Suppose -7*n - 216 + 237 = 0. Suppose -j + 5938 = 2*l + 1613, -3*j = n*l - 6495. Is 72 a factor of l?
True
Let u = 30 - 30. Suppose 4*x - 2058 + 618 = u. Does 40 divide x?
True
Let c(n) = -n**3 - 5*n**2 - 4*n - 3. Let h(w) = 3*w + 4. Suppose 3*j = -2*l + 3, -5*j = -4*l + l - 24. Let z be h(l). Is 10 a factor of c(z)?
False
Let r be 28/(-4) + 0 - 5. Let q(f) = -2*f**2 - 25*f + 6. Is q(r) a multiple of 15?
False
Let b(p) = 116*p**3 - 2*p**2 + 3*p - 2. Let k be b(1). Suppose 18*w = k + 875. Is 11 a factor of w?
True
Let a(p) = p**3 + 4*p**2 - 4*p. Let v be a(-5). Let c(t) be the first derivative of -t**4/2 - 5*t**3/3 - 2*t**2 - 25*t + 9164. Is c(v) a multiple of 15?
True
Let d = -35 - -60. Suppose -d*z = -28*z + 249. Let j = z + 25. Does 10 divide j?
False
Suppose 5*u = 2*l - 184, -2*l + 42 = -u + l. Let w be (6/4)/(6*(-3)/u). Suppose w*y = -3*p + 153, -5*p = 4*y - 5*y + 81. Is y a multiple of 14?
True
Is 60/(-6)*(-2074)/5 a multiple of 4?
True
Let m(w) = w**3 + 29*w**2 + 2*w + 60. Let a be m(-29). Suppose 0 = a*x - 2, -3*q - 3*x + 780 + 297 = 0. Does 30 divide q?
False
Let j = -1001 + 2348. Is j a multiple of 8?
False
Suppose -5 - 1 = -6*h. Let y(v) = 3*v - 3. Let i be y(h). Suppose -j + 25 + 47 = i. Does 41 divide j?
False
Let j = -3818 + 7952. Does 26 divide j?
True
Suppose -5*h + 5 + 4 = 2*v, 3*v - 5 = h. Let g(x) = 6*x - 47. Let w be g(41). Suppose -w = -v*y - 23. Does 22 divide y?
True
Let a(r) = r**3 - 80*r**2 + 101*r + 249. Is a(79) a multiple of 3?
False
Suppose -45*r = -234943 - 274502. Does 31 divide r?
False
Suppose 2*a + 7*p - 4*p - 57 = 0, 58 = 2*a + 4*p. Suppose 2*d = -2*j + 1392, 4*d - a = -11. Does 11 divide j?
False
Let y = -197 - -368. Is 30 a factor of y - 52 - 6/(-1)?
False
Let h = 49 - 49. Suppose 10*d - 8 - 22 = h. Is 12 + ((0/d)/4)/(-1) a multiple of 4?
True
Is 79 a factor of 11159 - (3 - (1 - 18))?
True
Suppose 396 = 4*y + 5*y. Suppose 352 = -4*h + 4*p, y = -h - 4*p - 34. Let o = 132 + h. Is o a multiple of 8?
False
Let w(v) = -5*v + 34. Let z(m) = -15*m + 143. Let s(c) = 8*c - 71. Let d(a) = 5*s(a) + 2*z(a). Let u(i) = 6*d(i) + 13*w(i). Is u(-7) a multiple of 7?
True
Is 39 a factor of 3126804/322 + (-2 - (-34)/14)?
True
Let n(l) = -7*l**3 - 36*l**2 - 96*l + 4. Let q(u) = -8*u**3 - 37*u**2 - 98*u + 4. Let p(m) = 7*n(m) - 6*q(m). Does 5 divide p(-27)?
True
Suppose 2463*w = 2368*w + 273695. Is 43 a factor of w?
True
Let a = -34652 + 39398. Is 21 a factor of a?
True
Suppose 2*o = h + 6274, 14*h = o + 9*h - 3155. Is o a multiple of 19?
True
Let w = 305 - 300. Suppose 2*z + z = -w*d + 857, -2*z + 3*d + 603 = 0. Is 7 a factor of z?
True
Let r = 188 + -171. Suppose -3612 = -4*x - r*x. Is x a multiple of 43?
True
Let b = -133 - -229. Suppose 49*g - b = 46*g. Is g a multiple of 32?
True
Let a be (-4)/6 - (-4)/(-3). Let q(r) = -43*r + 21. Let g(x) = -46*x + 19. Let o(u) = 7*g(u) - 6*q(u). Does 45 divide o(a)?
True
Suppose -46*a + 113 + 853 = 0. Let z(p) = 3*p**2 - 23*p + 117. Does 8 divide z(a)?
False
Suppose -366 + 82 = -4*b. Let v = -67 + b. Suppose -n = -v*f + f + 49, -4 = 4*n. Is 9 a factor of f?
False
Suppose -5*h - 5*c = -0*c - 45, -4*h + 3*c = -57. Does 5 divide (h/8)/((-492)/(-80) - 6)?
True
Suppose -366*o + 367*o + 18 = 0. Let w = 39 + o. Is w a multiple of 2?
False
Let y(m) = m**2 + 8*m - 15. Let n be y(-8). Let u be ((-24)/n)/((-2)/(-5)). Let z(i) = i**2 - 5*i + 8. Does 2 divide z(u)?
True
Suppose -2*n + u + 507 = 0, 2*n - 4*u - 238 - 278 = 0. Suppose -257*o + n*o = -240. Does 8 divide o?
True
Suppose -19 = 5*a + 6. Does 3 divide (6 + a)/(-4)*-244?
False
Let u be 5/(25/12) - 6/15. Suppose 4*s + 525 + 191 = 2*f, -u*s + 1382 = 4*f. Is f a multiple of 58?
True
Let z(c) be the first derivative of c**3 - 9*c**2/2 + 24*c + 132. Does 6 divide z(9)?
True
Let x(j) = 27*j**3 + 52*j**2 - 160*j - 5. Is 4 a factor of x(3)?
True
Let n(v) = v**3 - 3*v**2 - 27*v - 2. Let j be n(7). Suppose -4*l - 14*i + 516 = -18*i, j*l = -5*i + 645. Is l a multiple of 43?
True
Suppose -1277*v - 603184 = -1293*v. Is 244 a factor of v?
False
Let o be -5 - (7 + 1)*-7489. Is 32 a factor of (-11)/176 - o/(-48)?
