 Suppose -1744 = -n*a + 353. Does 60 divide a?
False
Let c = 609 + 172. Suppose 8*z = -c + 5557. Suppose z = 11*i - 217. Is i a multiple of 37?
True
Let y = 210 + -278. Let n = y + 242. Is n a multiple of 15?
False
Let l(b) = -14*b**2 + 0*b - 7*b - b + 5*b**3 - 27 - 2*b. Let q(j) = -2*j**3 + 7*j**2 + 5*j + 13. Let r(a) = -3*l(a) - 7*q(a). Is r(-8) a multiple of 22?
False
Let h be 0 + 1 + (1 - (0 - 1)). Suppose -n + 3*q + 15 = 0, -h*q - 5 = 4*n - 2*q. Suppose n = -9*x + 411 + 138. Does 20 divide x?
False
Let f(i) = 2*i + 14. Let o be f(-5). Suppose -t = -q + 6*q - 557, 440 = o*q - 2*t. Suppose -5*n + 2*h + 660 - q = 0, -n + 4*h = -99. Is n a multiple of 8?
False
Suppose 15*j - 38*j + 13869 = 0. Let g = 913 - j. Does 5 divide g?
True
Let d be ((-17)/(-2))/(25/(-250)). Let k = -27 - -37. Is 2*((-5338)/d - 8/k) a multiple of 19?
False
Let l(n) = 276*n**3 + 7*n - 6. Let i be l(1). Suppose -3*s + 302 = -i. Is 30 a factor of s?
False
Suppose 6*c - 9576 = 1758. Suppose -1520 = -7*w + c. Is 43 a factor of w?
False
Let b = -175 - -178. Suppose 8*v = -b*v + 1034. Is 16 a factor of v?
False
Let d(a) = -17*a - 97. Let c be d(-6). Suppose -7*g - 902 = -c*l - 8*g, -2*l + 352 = -4*g. Is l a multiple of 10?
True
Let l be 9 - (-1 + (6 - -3)). Let n = 54 - 30. Is 3 a factor of (9/6 - 1)*n/l?
True
Let n(j) = -43*j + 25. Let d(g) = 84*g - 51. Let z(k) = 3*d(k) + 7*n(k). Does 16 divide z(-4)?
False
Suppose i + 4060 = 5*i. Suppose -2*w - 5*y = i, -2*y - 1126 = 4*w + 944. Is 17 a factor of w/12*6/(-5)?
False
Suppose -48*d - 5 = -53*d. Let u = d - 39. Let p = u + 266. Is 19 a factor of p?
True
Let g be (1 + 1)/2*11899/73. Suppose -s + g = r, 3*r + r - 5*s = 661. Does 41 divide r?
True
Let w = -516 + 329. Let q = 161 - w. Is 6 a factor of q?
True
Suppose -2 + 29 = 3*q. Suppose -q*w + 2331 = -0*w. Does 13 divide w?
False
Suppose 124475 - 730939 = -103*m. Is m a multiple of 36?
False
Suppose -176*o - 4388 = -178*o + 4*y, 5*y = -5*o + 11030. Is o a multiple of 6?
True
Suppose -5 = -n - 1. Suppose r + 2 = 4*d - 1, -n*d + 42 = 2*r. Suppose r*v - 72 = 10*v. Is v a multiple of 8?
True
Suppose 3*v - 138 + 123 = 0. Suppose 0 = q - v, -34 = -3*p - 3*q - 10. Suppose p*y + 283 = 4*h, -2*h + 124 = y + y. Is 5 a factor of h?
False
Let o be 20*(9 - -1)/5. Suppose 0 = -s - o - 11. Let y = 116 + s. Does 13 divide y?
True
Let y(x) = -x + 22. Let l(i) = -i - 3. Let q(f) = -3*l(f) + y(f). Let m be 1/1*(-14)/(-1). Is q(m) a multiple of 9?
False
Suppose 0 = 2861*s - 2851*s - 298576 - 99154. Does 31 divide s?
True
Is 17 a factor of 6797 - (741/(-38) + 20 + 14/(-4))?
True
Suppose 3*d - 16 = -2*w, -20 = -3*d + w + w. Suppose d = 3*s + 15. Is 38 a factor of 75 + (6 - s - 4) + -4?
True
Suppose 0 = -3*g + 4*f - 11, 4*g - 5*f = g - 16. Suppose g*v + 294 = -2*p + 79, p - 3*v + 85 = 0. Let z = 198 + p. Is 14 a factor of z?
True
Let h be 12 - -1*5/(0 + 5). Suppose h = u - 11. Is u a multiple of 3?
True
Let v be 270 + (-9)/(15/5). Let q = v - -66. Does 7 divide q?
False
Suppose -5*a + 3*v = -7316, 5*a = -2*v + 5779 + 1527. Is 22 a factor of a?
False
Suppose 5*a - 18 = -13*x + 12*x, -3*a - 5*x + 24 = 0. Is 3 a factor of 1*a - (-2120)/8?
False
Let d = -1919 + 4033. Is 7 a factor of d?
True
Suppose 3*u = 7 - 34. Let d be u/15 - 14465/(-25). Suppose m - d = -m. Does 47 divide m?
False
Let s(u) = u**2 + 10*u + 15. Let p be s(-6). Let n(w) = w**3 + 5*w**2 - 5*w + 2. Let j be n(p). Let y = -193 - j. Does 28 divide y?
True
Let j be (-10)/25*(-10)/2. Does 23 divide (-4104)/(-15) + j + 4/10?
True
Suppose -10*o + 313834 = 12*o - 156240. Is o a multiple of 13?
False
Let c = 84 + -122. Does 26 divide 6/(7/c - (-14)/70)?
False
Suppose b + 3*m + 101 = 111, 6 = 3*b + m. Is ((-15624)/(-4))/6 - (b + 0) a multiple of 18?
False
Suppose 5*u = -23*k + 28*k + 24070, -2*k + 24028 = 5*u. Is u a multiple of 25?
False
Suppose 5*x - 4*m = 134, -x - 2*m = 2*m - 46. Let d = 23 - x. Let y = 18 + d. Does 10 divide y?
False
Does 95 divide 285*(610/3)/10?
True
Suppose 0 = -8*f + 4*f + 8. Suppose f*i = -201 + 73. Let t = 130 + i. Is 17 a factor of t?
False
Let a(v) = 3*v**2 - 27*v + 6. Let p be a(10). Suppose 0 = -p*m + 51*m - 2940. Is m a multiple of 14?
True
Suppose -5*k + 20 = 0, -5*k = -4*a - 4*k - 12. Let o be (a - -1)*(-69)/((-9)/3). Let h(r) = -r + 62. Is h(o) a multiple of 13?
False
Suppose 4*f = 17*j + 7*f - 152012, 3*j = -4*f + 26843. Does 113 divide j?
False
Suppose 0 = 22*d - 4406 - 1842. Suppose d = -42*r + 44*r. Is 41 a factor of r?
False
Suppose -2*b = 2*f - 10896, -114*b - 10902 = -2*f - 117*b. Is 12 a factor of f?
False
Does 29 divide ((-711)/(-18) + 8)*(57 - (3 - 4))?
True
Let x be (((-144)/27)/(-8))/(2/48). Suppose j - 5*n = 11, 0*j - j = -4*n - x. Does 12 divide j?
True
Let f(g) = -24 + 7 + 5 + 13 + 10*g. Let i be 0 + 1*(-1 + 3). Is f(i) a multiple of 5?
False
Let u be 6/(-27)*-9*(-3)/2. Is 24 a factor of 210 + 6/(u - -4)?
True
Let f(b) be the second derivative of b**4/12 + 13*b**3/6 - 5*b**2 - 18*b. Let k be f(-14). Does 26 divide (-8)/10*13*(-60)/k?
True
Suppose 4*v + s - 88652 = -3*s, -4*v + 88664 = s. Is 13 a factor of v?
False
Let d(b) = 176*b + 4959. Is 15 a factor of d(11)?
False
Suppose 6 = 3*s + 3, 2*m = -5*s + 37. Is 17 a factor of 2*(-19480)/m*2/(-10)?
False
Let s be (8 - (6 + 0)) + 4. Suppose 4*a + 3*b = -10, 4*b = 4*a + 2*b. Is 1/(a/s)*(-168)/126 a multiple of 5?
False
Let v(a) = 4*a**2 + 47*a + 562. Is 3 a factor of v(-11)?
False
Let k(q) = 22*q - 305. Let x be k(16). Is (-228)/10*x/(752/(-480)) a multiple of 12?
True
Let b = -68 + 71. Let s(j) = -24*j + 28*j - 2 - b + 1. Is s(4) even?
True
Suppose -15 = -3*n + 8*n, -3*n - 17 = -4*y. Suppose 0 = y*f + f. Suppose z - 2*r + 406 = 4*z, f = 3*z - 5*r - 434. Does 19 divide z?
False
Suppose -7*p - 20510 = -11*p - 2*y, -5*p + 25634 = -y. Is p a multiple of 26?
False
Let m be (-328)/((2/8)/(-1)). Suppose 0 = -r - 2*h + 58 + 8, r = 2*h + 46. Suppose r = 9*o - m. Is o a multiple of 38?
True
Let n(t) = t**2 + 6*t - 37. Let k(s) = s + 1. Let b be (-2 - -4) + -2 - 1. Let v(p) = b*n(p) + 3*k(p). Is v(0) a multiple of 8?
True
Suppose 3*z = -c + 4, 0*z = 2*c + 5*z - 8. Suppose 195 = c*d - 221. Let a = 16 + d. Is 13 a factor of a?
False
Let d be -6 - (-1)/((-3)/9). Let w be 4/((-12)/d) - -3. Does 4 divide 46/6 - w/9?
False
Let j be 12/4 - (-1)/1. Suppose 6*o = -j*o - 20. Is o/15*-3 - 7774/(-65) a multiple of 31?
False
Let k(m) = -m**2 - 9*m + 23. Let l be k(-13). Let c = l - -31. Suppose b + 428 = 3*n + c*n, 0 = 3*n + 4*b - 266. Is 43 a factor of n?
True
Let j(n) = -3*n - 10. Let v be j(-4). Suppose 10*u - 5*u - y = 354, 0 = -3*u - v*y + 215. Is u a multiple of 17?
False
Let c(r) = -2380*r - 8876. Does 132 divide c(-8)?
True
Let z(w) = -w**2 + 4*w. Let u be z(4). Let d = 2786 - 2414. Suppose u = -5*s - s + d. Is s a multiple of 7?
False
Is 95 a factor of (-70)/3*1031301/652*(-2)/3?
True
Let y be ((-19020)/(-150))/(24/10 + -2). Suppose j + 0*v = -5*v + y, -v + 313 = j. Does 39 divide j?
True
Let q(s) = -s**3 + 2*s**2 - 7*s + 10. Let a be q(3). Let b = a - -24. Suppose -b*x + 140 = 4*r, -4*r - 76 = -2*x - 0*r. Does 12 divide x?
True
Let i = -339 - -593. Suppose -r + 3*r = 3*t + 126, 0 = 4*r - 5*t - i. Is r even?
True
Suppose -2*f = -y, -18 = 4*y + f - 0*f. Let p be 2*(2 + (-2)/y). Suppose 28 = -p*w + 6*w. Is w a multiple of 4?
True
Let o(c) = -c**3 - 74*c**2 - 91*c + 41. Is 29 a factor of o(-74)?
False
Let u be (-3)/(((-10)/(-6))/5). Let w be 63/u + 2 + -1. Let p(j) = j**3 + 5*j**2 - 11*j + 12. Does 6 divide p(w)?
True
Let l = -426 + 431. Suppose x - 283 = -l*u, -40*x + 810 = -37*x + 2*u. Is 59 a factor of x?
False
Suppose -4*a - 52 = -0*a. Let r = -9453 + 9518. Let v = r + a. Does 7 divide v?
False
Let v(i) = 242*i**2 + 14*i - 6. Is 8 a factor of v(-13)?
False
Let r be (8/(-48) - (-2)/3)*-54. Let l be r*2*(-4)/3. Let q = -45 + l. Does 3 divide q?
True
Suppose -2*p = -z - 14, 5*p - 18 = 5*z + 37. Let h(o) = -23*o - 26. Is 47 a factor of h(z)?
False
Is 32356*1*71/284 a multiple of 8?
False
Suppose -53*b = -58*b + 1520. Suppose 0 = 3*n - 4*i - 490, 2*n + 11*i - 8*i = b. Does 13 divide n?
False
Let z be ((0/(-4))/6)/(-1 + 0). Suppose z = -11*x + 2*x + 8982. Is 79 a factor of x?
False
Let c(v) = 4*v + 1100. Does 69 divide c(-33)?
False
Let c = 55 - 52. Suppose -4*z - 10