ppose -660 = -3*f - 2*x - 3*x, 3*f + 3*x - 654 = 0. Suppose -5*w = -f - 35. Does 13 divide w?
False
Let u(n) = 2*n - 36. Let m be u(17). Is 4 + m + 2 + 35 a multiple of 5?
False
Let c = -216 - -418. Does 11 divide c?
False
Suppose -5*w - 2*c = 3*c, 0 = w - 3*c. Let y = 6 + w. Suppose 27 = s + a - y*a, -a = 5*s - 31. Is s even?
False
Let g = -28 + 51. Let a = g + -16. Let j(p) = -p**3 + 10*p**2 - 8*p + 14. Does 35 divide j(a)?
True
Let w = 2465 - 2223. Is 22 a factor of w?
True
Suppose 2*n - 45 = -p - 16, n + 145 = 5*p. Let o = 115 - p. Is 7 a factor of o?
False
Let w(u) = -u**3 + 8*u**2 + 6*u - 26. Let x be w(12). Is 37 a factor of (x/(-30))/(1/3)?
False
Let i(p) = -p**3 + 5*p**2 - 2*p + 13. Let l be i(5). Suppose -83 = g + l*c - 233, -2*c - 6 = 0. Does 16 divide g?
False
Let g(v) = -5*v**3 - 8*v**2 - 6*v + 13. Let d(q) = q**3 + q**2 + q - 1. Let y(c) = 6*d(c) + g(c). Does 8 divide y(3)?
True
Suppose 0 = 4*c + o - 1774, -4*o + 1337 = -c + 4*c. Is 9 a factor of c?
False
Suppose w - 6 = -2*i - w, 4*i + 5*w = 7. Suppose 5*u = 7*u - i. Is -4 + u - (-12 + -2) a multiple of 14?
True
Suppose p = k + 212, -11*p - k = -15*p + 851. Is p a multiple of 32?
False
Let l be (-1)/(1 + 12/(-15)). Let i be ((-10)/10)/((-1)/l). Does 2 divide 0/i + 1 + 2?
False
Let q = 149 - 43. Suppose -q = -2*n + 56. Is n a multiple of 29?
False
Let t be (-2 - 298)*(-2)/4. Suppose -h - 4*h + 2*y = -t, -h - 3*y + 13 = 0. Is 4 a factor of h?
True
Let k be 1 + -1 + 6 + -4. Let a = 18 + k. Is 10 a factor of (-27 + 2)*(-24)/a?
True
Suppose -2*l + 4*v - 18 = v, 5*l - 2*v + 56 = 0. Let b be l/(-3) - 2 - -1. Suppose -5*u + 5*n = -475, -n = b*n - 20. Does 20 divide u?
True
Let r(i) be the second derivative of 2*i**3 - 7*i**2/2 - 3*i. Let z be r(10). Let m = -63 + z. Does 13 divide m?
False
Suppose q + 4*n - 25 = 0, 2*n + 0*n = 5*q - 15. Suppose 0 - q = -5*g. Is (-26)/(-1) - (g - -1) a multiple of 12?
True
Suppose 2*h - 2*l - 270 = -0*h, -2*h = -3*l - 272. Let o = h + -95. Is (-10)/45 - o/(-9) a multiple of 4?
True
Suppose 2*a = 3*m - 1630, -a = -3*m + 2*a + 1626. Suppose 2*h + m = 8*h. Is h a multiple of 22?
False
Does 4 divide (-5 + 102/18)*1119?
False
Let m(k) = 7*k**3 - k**2 + k - 9. Let z be m(3). Suppose -50 = c - z. Does 12 divide c?
False
Let v be -10 + -4 - (-3 + 0). Let q = -2 - v. Is 7 a factor of q?
False
Let o be 22/(2 - 0) - 1. Suppose -14 = l + h, 5*l - o = 2*h - 52. Let a = 19 - l. Is 29 a factor of a?
True
Suppose 5*s - t = 164 + 24, -s + 3*t + 32 = 0. Let m(l) = s*l**2 + 3 + 0 - 2. Is m(1) a multiple of 17?
False
Let k(j) = j**3 - 10*j**2 - 11*j + 3. Let m be k(11). Suppose 0 = 2*q + m*r - 155, -5*q - 13*r + 9*r = -405. Does 29 divide q?
False
Suppose -32 = -4*b + 4*w, 4*b + 4 - 1 = -3*w. Suppose d = -5 + b. Is 7 a factor of (-200)/16*d*1?
False
Let l = -6 + 10. Suppose l*t + 208 = -3*j, 104 = -t - t + 5*j. Does 16 divide 5/(-5) - 3 - t?
True
Let t(p) be the second derivative of p**3 + 5*p**2/2 + 37*p. Is t(12) a multiple of 6?
False
Suppose -3*a + 11 = 5. Suppose 2*k + 4*l - 262 = a*l, 2*l + 258 = 2*k. Does 10 divide k?
True
Let z = -42 + 618. Is 64 a factor of z?
True
Let j(p) = 2*p + 38. Let g be j(0). Suppose 2*x - 2 = g. Does 20 divide x?
True
Suppose 0 = 4*n - 3*n. Let r be (-6 + 7)*(0 + n). Suppose 5*m = u - 72, 5*u + 3*m - 276 = -r*m. Is u a multiple of 17?
False
Let z(u) = -u**2 + 5*u + 4. Let s be z(-6). Let q = 182 + s. Is 30 a factor of q?
True
Suppose 6*x = 3*x + 537. Is x a multiple of 12?
False
Let l(s) = -2*s - 1. Let i be l(6). Let c = -7 - i. Suppose -c*u + 38 = -4*u. Does 7 divide u?
False
Suppose -5*z + 27 = -3*b, -z - 3*b + 3 = 4*z. Suppose z*t + 4*d = 425, -2*t + 0*t - 3*d + 282 = 0. Does 14 divide t?
False
Let a(c) = -2*c**3 - 2*c**2 - 4*c + 9. Is 9 a factor of a(-5)?
False
Let w(u) = -u**2 - 13*u + 1. Let b be w(-14). Let r(d) = -20*d - 32. Does 19 divide r(b)?
True
Let x = -4 + 7. Suppose x + 9 = 3*g. Suppose 2*y = 32 - g. Is 6 a factor of y?
False
Suppose -4 = 5*g - 3*g, -3*g = 5*z - 944. Suppose z = 10*j - 1490. Is 21 a factor of j?
True
Suppose -4*n - 3*p + 640 = 0, 2*n - 249 = 4*p + 49. Suppose -n = -g - 55. Does 17 divide g?
True
Is (13 - (-135)/63)*14/4 a multiple of 3?
False
Suppose -q + 2*q + 17 = 4*s, -3*s + 13 = -q. Let v(k) = -33*k + 5. Let m be v(0). Suppose 5*d - 4*d - 70 = -t, -m*t + s*d = -305. Does 20 divide t?
False
Let f = 465 + -247. Let g = f - 140. Is 24 a factor of g?
False
Suppose 4*s - 700 = -3*s. Let x = -5 - -5. Suppose x = -4*p + s + 20. Does 15 divide p?
True
Let m = -29 - -78. Suppose 3*a - 3*c + c + m = 0, 0 = 4*a - 2*c + 62. Let g(n) = n**2 + 10*n - 1. Does 10 divide g(a)?
False
Let g(k) = -81*k - 1. Is 22 a factor of g(-3)?
True
Let i(n) = -n - 12. Let p be i(-14). Is 18 a factor of (16/(-5))/(246/(-120) + p)?
False
Let v = 324 - -1614. Is 34 a factor of v?
True
Suppose 639 - 9333 = -7*o. Is 9 a factor of o?
True
Suppose -1 = -3*k + 17. Let h(p) = -p**3 + 7*p**2 - 6*p + 5. Is h(k) even?
False
Let u = 4845 + -3233. Does 6 divide u?
False
Let d(n) = -n**3 + 6*n**2 + 4*n - 10. Let k be d(7). Let z be (-2322)/(-45) - (-3)/(-5). Let w = k + z. Is w a multiple of 10?
True
Suppose 61*h + 4352 - 17345 = 0. Does 43 divide h?
False
Suppose v - 1 - 4 = 0. Let n(h) = 2*h**3 + h**2 - 13*h + 11. Let t(j) = j**3 - 6*j + 5. Let o(w) = -4*n(w) + 9*t(w). Is o(v) a multiple of 9?
False
Let r(j) = 8*j**2 + 4*j + 47. Is r(-5) a multiple of 4?
False
Does 48 divide 8/14 - 1495448/(-742)?
True
Suppose -17*k + 1569 = -1627. Does 4 divide k?
True
Suppose 0*n + 3*n = 4*y + 23, -4*n + 34 = -2*y. Suppose 0 = -3*r - 75 + 615. Suppose -n*a + 4*a = -r. Does 9 divide a?
True
Is 32336/20 - (-2)/(-10)*-6 a multiple of 24?
False
Let d = -28 - -42. Let c(j) = j**3 - 14*j**2 + 20. Is 20 a factor of c(d)?
True
Let j(x) = 158*x + 5. Let u be j(2). Suppose -2*g = 3*r - 6*r - 142, 5*g + r - u = 0. Does 13 divide g?
True
Let z be ((-3)/(-1))/(6/8). Suppose -z*b - 4 = -3*p, 20 = -2*p - 2*p - b. Let l(s) = s**3 + 4*s**2 - 5*s. Is 10 a factor of l(p)?
True
Does 3 divide (-266 - 1)*(-19)/57?
False
Suppose 0 = -5*r + 2*r + 9. Does 12 divide (-665)/(-14) + r/6?
True
Let t = 6575 + -4695. Does 47 divide t?
True
Let v be -3 - -6 - (2 + 33). Let f = 101 + v. Does 17 divide f?
False
Let v(n) = -3*n**2 - 4*n - 12. Let i(w) = w**2 + w + 3. Let k(p) = 9*i(p) + 2*v(p). Does 5 divide k(2)?
False
Suppose q - 14 = -4*l, -l - 7 = -5*q - 0*l. Suppose q*y = 3*x - 18, 3*y - 6 = 3*x - 27. Suppose -4 - x = -2*h. Is 4 a factor of h?
True
Let t(v) = -v**2 + 6*v - 3. Let u be t(2). Suppose 5*j = 5*h - 40, 2*h + u*j - 3*j - 28 = 0. Suppose 0 = a - 1 - h. Is a a multiple of 11?
False
Let r = 28 + -36. Let c(w) = -w**3 - 7*w**2 - 3*w - 4. Does 21 divide c(r)?
True
Suppose 71 = u + y - 16, 2*u - 172 = -4*y. Suppose -54*q + 52 = -41*q. Suppose q*h - u = -4*p, 0 = 3*p + 2*p - 10. Is h a multiple of 4?
True
Let d(h) = -17 - 3*h**2 + 4*h**2 - h + 15 + 44. Does 14 divide d(0)?
True
Let v = -33 - -86. Suppose 4*w - 107 = v. Is w a multiple of 12?
False
Let x(o) = -3 + 3 + o**2 + 16*o**2. Let y be x(-2). Suppose 28 = 2*k + 4*d, 10 = 5*k + 2*d - y. Is k a multiple of 3?
False
Suppose 14*b - 21*b + 266 = 0. Suppose 33*i + 360 = b*i. Is 13 a factor of i?
False
Suppose -4*o = -s - 89, -2*s - 2*s - 4 = 0. Suppose 2*a + 2*d - o = -2*d, a + d = 7. Suppose -2*f = v + a*v - 60, -4*v + 36 = f. Is f a multiple of 16?
False
Suppose -q + 995 = 26. Does 32 divide q?
False
Does 21 divide (3 + 153/(-63))/(2/4417)?
False
Let z(u) = -u**3 - 7*u**2 - 3*u - 5. Let w be z(-5). Suppose -5*y + 75 = -6*y - q, -q + 4 = 0. Let d = w - y. Is d a multiple of 13?
True
Suppose 0*o = -o + 3. Suppose -t = 3*t + 5*c - 461, -3*c = -o*t + 366. Is 21 a factor of t?
False
Is 1674/(7/14 + 1) a multiple of 31?
True
Suppose 3*g = 9 + 21. Suppose p = -25 - g. Let t = -25 - p. Is t a multiple of 5?
True
Let l = -15 - 12. Let u be (l - -15)/((-6)/52). Does 6 divide u/5 - 2/(-10)?
False
Let y = 471 - 255. Suppose 4*v - y = v. Does 18 divide v?
True
Suppose -478 = -3*g - 115. Suppose -4*u = -g - 51. Is 14 a factor of u?
False
Let a = 48 - 93. Does 18 divide 10/a - 492/(-27)?
True
Suppose 0 = h - 646 - 1594. Is h a multiple of 112?
True
Let x = 13 - 13. Suppose 4*k - 8 + x = 0. Suppose -k*h + 215 = 3*q + 2*h, -3*h + 351 = 5*q. Is 14