 + 62*q + 20 = 0. Suppose -8*f = -7*f - 56. Suppose -f = -9*x + q*x. Is 3 a factor of x?
False
Let a be (-46 - 10)*1/((-14)/36). Suppose 5*d = 18 - 3. Suppose s + b - 48 = a, -4*s - d*b + 765 = 0. Is s a multiple of 21?
True
Let p = 24884 + 28853. Is p a multiple of 17?
True
Let i = -866 - -1595. Let q = i + -506. Is 28 a factor of q?
False
Suppose 2*c - 4*w = 106, -5*w = -7*w. Suppose u - 2 = 2. Suppose 2 = l + 2*m, 5*m - u*m + c = 4*l. Does 12 divide l?
True
Suppose 5*i + 1 = 3*k, i - 4 = -0*i. Suppose k = -2*j + 3*p, 2*j + 11 = -0*p - p. Does 17 divide (2 - 895/j)*1?
False
Suppose -9*p + 8 = -5*p - 2*n, -4*p = 3*n - 18. Suppose -3*t = -4*i - i - 477, 761 = 5*t + p*i. Is 22 a factor of t?
True
Let v(c) = 2*c - 26. Let f be v(17). Suppose -m - 504 = -f*m. Let n = -14 + m. Is 14 a factor of n?
False
Suppose -21 + 65 = 4*w. Suppose 0 = -2*q + 3*d + w, 2*q = -0*d + 4*d + 14. Is 18*1 - q/(5/(-10)) a multiple of 5?
True
Suppose 91 + 59 = 25*m. Suppose m*j = -0*j + 2166. Is 19 a factor of j?
True
Suppose -4*j - 4*i + 3600 = 0, -4*i - 1088 - 682 = -2*j. Let n = j + -699. Is n a multiple of 16?
False
Let x be 4/(-28) - 6392/(-7). Suppose -x = -5*c + 4*o - 264, 5*c = 5*o + 650. Suppose -4*u + 247 = -c. Is u a multiple of 12?
False
Let r(w) = 58*w**2 - 28*w + 28. Is r(6) a multiple of 17?
False
Suppose 8*h = 5*h + 27. Suppose -h*i + 5*i + 20 = 4*r, 4*r = 5*i - 34. Let n(j) = 13*j - 4. Is 9 a factor of n(i)?
False
Let p be 1/(-3) + (-1)/(27/(-468)). Suppose -2*k + x = -p, 3*x - 21 = -18. Does 8 divide k?
False
Let z(x) = -x**3 + x - 1. Let u(v) = 6*v**3 - 2*v**2 + 5*v - 5. Let f(r) = u(r) - 3*z(r). Let j be f(1). Is (-3625)/(-35) - 4/j a multiple of 29?
False
Let m(b) = 10*b + 1. Let u(t) = -59*t - 6. Let x(r) = 34*m(r) + 6*u(r). Let p be x(-5). Suppose -4*q + p + 172 = 0. Does 14 divide q?
False
Let i = -197 - -204. Suppose 880 + 1192 = i*z. Does 37 divide z?
True
Let i(n) = 1050*n - 3597. Does 21 divide i(7)?
False
Suppose 101952 = 203*h - 44*h - 61023. Does 41 divide h?
True
Let j = 1096 - -2432. Does 72 divide j?
True
Suppose -2*q = q - 2*m - 3713, 2 = m. Is 55 a factor of q?
False
Suppose 136*a - 109240 = 241232. Does 11 divide a?
False
Let q = -502 - -2497. Is 57 a factor of q?
True
Let q(c) = -c**2 - 9*c + 48. Let r be q(-32). Let o = -401 - r. Is o a multiple of 89?
False
Let q be (-1)/4 + 2 + 70/(-40). Suppose -10*f + 2063 + 127 = q. Is 8 a factor of f?
False
Suppose -17*o - 68 = -0*o. Let z be (0 - o)/((-11)/(-33)). Does 13 divide (-314 - -2)*z/(-16)?
True
Does 4 divide (-22*(-24)/(-120))/(3/(-6750))?
True
Let u be (195/(-25) - -8) + (-237)/(-15). Suppose u*j - 2404 - 396 = 0. Is j a multiple of 7?
True
Let s = 20 - 18. Let g be 16/104 - (s + (-56)/(-26)). Is 16 a factor of g/10 - (-14808)/120?
False
Let f(w) = 4*w - 2. Let s be f(1). Suppose -3*t = 5*g + 1258, 2*g + 1664 = -4*t - s*g. Does 3 divide t/(-18) + 6/36?
False
Let w(j) = 4 - 4*j**2 - 16*j - 15 - 3*j + 6*j**2. Let u be w(16). Suppose h - 2*b + 515 = 6*h, 0 = 2*h - b - u. Does 18 divide h?
False
Suppose -114 = 7*n - 58. Does 22 divide 42/(1/(-136)*n)?
False
Suppose 4*n + 0*v - 1348 = -v, -v = -3*n + 1004. Suppose 2*r - 258 = 4*y - 34, -2*y = -3*r + n. Let t = r - 60. Is 52 a factor of t?
True
Let x(y) = 4*y**3 - 3*y + 1. Let p be (-8)/(-12) - (-147)/9. Suppose -p*o = -20*o + 9. Is x(o) a multiple of 10?
True
Suppose -x - p + 11432 = -8458, -5*x = 4*p - 99453. Is 19 a factor of x?
True
Let n = 5 - 5. Suppose n = 2*r - 13*r + 2013. Is 13 a factor of r?
False
Suppose -3*i + 27 + 3 = 0. Suppose x - i = -x. Suppose -4*f + 54 = 2*w, 2*w + 8 = x*f - 46. Does 3 divide f?
True
Let u(t) be the second derivative of -t**4/12 - 19*t**3/6 - 7*t**2 + t + 21. Let z = -43 + 30. Is u(z) a multiple of 10?
False
Is (-207)/(-46) - 63576/(-16) a multiple of 23?
False
Let t be (44/(-5))/(13 + 12294/(-945)). Suppose 5*x - 3*z - t = 946, 4*x = -2*z + 1474. Is x a multiple of 7?
True
Let m = 588 + -583. Suppose -s - 3*y + 643 = y, 5*s - 3315 = m*y. Is 32 a factor of s?
False
Let h(y) = y**3 + 114*y**2 + 22*y - 4758. Does 14 divide h(-112)?
False
Suppose 0 = -3*a - 3*d - 324, -122*a + 123*a - 4*d = -118. Is (-44)/a - 546/(-10) a multiple of 10?
False
Let y(m) = -61*m - 18. Let h be y(-2). Suppose f + 5*d - 70 = 0, 3*d = 100*f - h*f + 246. Does 43 divide f?
False
Suppose -2*l + 10618 = 2*t, 340*l = t + 335*l - 5297. Does 61 divide t?
True
Suppose -51328 = -146*k - 11470. Let v(y) = -40*y - 2. Let m be v(-3). Let g = k - m. Is 13 a factor of g?
False
Let a(y) = -y**3 - 11*y**2 + 11*y - 8. Let d be a(-12). Suppose 3*n + 770 = 5*s - 766, s - d*n - 314 = 0. Does 11 divide s?
False
Suppose 2*c = 4*s - 9006, -2*c = 3*s - 6824 + 59. Suppose -3*i - 2*l + 3014 = i, -3*l = 3*i - s. Is i/15 + -2 - 6/15 a multiple of 16?
True
Suppose 2*b = -2*u + 1134 + 1822, -3*b + 5*u + 4450 = 0. Let h = 509 - b. Is 27 a factor of h/(-4) - (-8)/32?
True
Let o(n) = -2*n**2 + 14*n + 16. Let y be o(7). Let q = y + -15. Suppose -899 = -5*z + 2*a, q = -4*a - 7. Is 33 a factor of z?
False
Let i be 3*(-4)/(-24)*254. Let m be i/((-2)/(1 + -3)). Suppose 0 = -2*p + m - 7. Does 20 divide p?
True
Suppose l + 2*u = 0, 0 + 3 = 2*l + u. Suppose 5*x + 2*a + 310 = 0, 0 = -2*x - 7*a + l*a - 124. Let o = x - -110. Does 20 divide o?
False
Suppose -2*c - 5*j - 453 + 2245 = 0, 0 = 7*c - 5*j - 6227. Does 81 divide c?
True
Does 125 divide ((-65)/(-26))/((-6)/(-1500))?
True
Suppose 35*w - 292 = -117. Suppose i = -2*q + 4*i + 403, w*i - 234 = -q. Is 23 a factor of q?
False
Is 23 a factor of ((-1)/3*6085)/((-125)/(-30) + -5)?
False
Suppose z - 3*z + 65 = p, 4*p - 167 = -5*z. Suppose z - 33 = j. Is (-4 - (-252)/(-8))*j a multiple of 14?
False
Let z = 5772 + 10410. Is 36 a factor of z?
False
Let f(d) = -2457*d - 63. Does 33 divide f(-2)?
True
Suppose 3*r - 8 = -2*l, 5*r + 2*l + 3*l - 15 = 0. Suppose 4*f + 4*t - 24 = 0, 5*t + 2 = r*f - 3. Is 10 a factor of 40/f - (-4)/2?
True
Let g be 7 + -2 + 2010 + -3. Suppose -4*u - g = -2*j - 0*u, -5*u = 4*j - 3985. Does 25 divide j?
True
Let y = 11052 + -7398. Is 7 a factor of y?
True
Suppose 11441 = -f + 18*f. Let t = f + -386. Is t a multiple of 14?
False
Let m = 245 + 2725. Is 135 a factor of m?
True
Let u(z) = -111*z + 828. Does 124 divide u(-16)?
True
Suppose -l + 4*f = -460, 7*f - 3*f + 2236 = 5*l. Is 12 a factor of l?
True
Suppose -12 = -3*x + 8*k - 13*k, -5*x = -3*k - 20. Suppose 0 = -x*j - 17*j + 23016. Does 10 divide j?
False
Let w = 302 - 166. Let m = w + -139. Is 31 a factor of 2 + 53 + (-3 - m) + 1?
False
Does 75 divide -4582*75/(-180)*6?
False
Let v = 951 + -837. Does 27 divide v?
False
Let z be 1/3 + 19580/(-60). Let s = z + 755. Is 39 a factor of s?
True
Suppose 10498 = 5*l - 11079 - 13783. Is 85 a factor of l?
False
Is 15 a factor of (-4 + 0/(-7))/((-40)/2550)?
True
Let k(j) = -j**2 - 34*j - 38. Suppose -29 = 6*o + 55. Does 35 divide k(o)?
False
Suppose -b + 7 + 5 = 0. Let x(p) = 32*p + 16. Let k(y) = -y - 1. Let u(q) = b*k(q) + x(q). Is 36 a factor of u(7)?
True
Let n(h) = h**2 + 47*h - 433. Let j be n(8). Let q = 0 - 6. Is 2 a factor of 2 + 15/q - j/(-2)?
False
Does 6 divide (-16 - 78344)/(-12) + -13?
False
Let v(o) = -o**3 - 8*o**2 + 20*o. Let k be v(-10). Suppose k = 54*m - 49*m - 25. Suppose 4 = -2*y, -x + 38 = m*y - 10. Is x a multiple of 29?
True
Suppose -1256*c = -1264*c + 536. Does 10 divide c?
False
Let y be ((-704)/(-36))/2 + 8/36. Suppose y*b = 351 + 69. Is b a multiple of 21?
True
Suppose -37 = -4*i + 5*h, -9 = 2*i + 3*h - 0. Suppose -3*s + 0*u = -u - 125, 2*s = i*u + 81. Let m = -20 + s. Does 7 divide m?
False
Suppose -486*t + 496*t = -15175 + 234255. Is 4 a factor of t?
True
Suppose -85 + 67 = -6*u. Suppose 1550 = 2*l - 3*b, -7*l = -8*l + u*b + 769. Is l a multiple of 14?
False
Let o = 635 + -630. Suppose -o*l - 3*m + 1752 = -4*m, 5*l + 3*m - 1764 = 0. Is l a multiple of 13?
True
Let z(m) = m**2 - 2*m - 25. Let f be z(9). Let i = f + -33. Suppose -s + 0*s - i*a = -30, 0 = -2*s + 3*a + 8. Is s a multiple of 3?
False
Suppose -664*c + 307*c = -6871179. Is c a multiple of 133?
False
Let a = 141 + -182. Suppose 0*x - 4*x + 291 = -5*h, h + 59 = x. Let j = a - h. Is 14 a factor of j?
True
Suppose -6*w + 66 = -3*w. Let l = 26 - w. Suppose l*x - 72 = -2*u, -4*u + 8*x - 3*x = -92. Is u a multiple of 28?