 -2*y + 406 = -5*o + 163. Does 19 divide y?
True
Suppose 18*q = 22*q - 868. Is 18 a factor of q?
False
Let k be 34/10 + (-16)/40. Suppose 2*u - k*u = -4*a + 6, 0 = u + 2*a - 12. Suppose u*i - 9*i = -24. Does 5 divide i?
False
Suppose 6*v = 2 + 10. Suppose -v*m - 3*q = -518 + 126, 780 = 4*m + 4*q. Does 12 divide m?
False
Let f(q) = 11*q - 8. Let b be f(6). Let w be (b/(-4))/((-15)/90). Suppose 4*y - w = -27. Is 4 a factor of y?
False
Let r be (-707)/(-21) - 4/6. Suppose -q + 2*a + 9 = 0, 3*q - q - r = a. Is q a multiple of 8?
False
Let y = -44 - -44. Suppose 0 = -y*t - 2*t + 210. Does 21 divide t?
True
Suppose -v + 0*v = 0. Let i be (1*(0 + v))/(-1). Suppose -2*k - 2*u + 3*u + 29 = i, -3*k - 2*u + 61 = 0. Does 17 divide k?
True
Suppose 0 = 5*f - 3*f + 2, 0 = o - 5*f - 8. Is ((-9)/o)/((-9)/69) a multiple of 10?
False
Suppose -11*u + 12259 = 12*u. Is u a multiple of 12?
False
Suppose 3*f + 2*r + 8 = 0, 6 = 4*f - 5*r - 14. Suppose d + f*d = 3. Suppose -3*c = -4*h - 152, c - d*c + 113 = -5*h. Does 11 divide c?
True
Let i(j) = -j**3 + j**2 + j - 1. Suppose -3*f - 4 + 7 = 0. Let u be i(f). Suppose u = -5*o + 182 + 123. Does 24 divide o?
False
Let c = 38 + -38. Suppose c = n - 62 + 20. Is 6 a factor of n?
True
Suppose -w + 174 + 58 = 0. Let t = w - 132. Is 20 a factor of t?
True
Let w(i) = -i**3 - 28*i**2 + 5*i + 69. Is 85 a factor of w(-29)?
True
Let p be 6*4*1/12. Suppose -3*v + p = -5*x - 0, 3*x = 6. Suppose 53 = v*z + 21. Is z a multiple of 3?
False
Suppose 0 = -2*f + 2*a - 4 + 10, -2*f - 4*a + 18 = 0. Let o(m) = 12*m - 5. Is 11 a factor of o(f)?
True
Suppose 18 = -2*l + 26. Does 21 divide -2*(-2)/l*(66 - 3)?
True
Let v(y) = 9*y**2 - 5*y + 10. Let a(d) = -d. Let c(p) = -3*a(p) + v(p). Does 12 divide c(5)?
False
Let k be (-3)/((-3)/(-1)) + 185. Suppose -v + k = 3*v. Does 23 divide v?
True
Suppose 2*y - 975 = -5*u + 953, 0 = 5*u + 5*y - 1940. Is u a multiple of 8?
True
Suppose -5*u + 3*n + 14982 = 0, -4*u - u - 5*n + 14990 = 0. Is u a multiple of 27?
True
Suppose 965 = 5*y + 3*m + 260, -y + 129 = 3*m. Is y a multiple of 16?
True
Suppose -5*i + 450 = -5*g, 6*i = 5*g + 5*i + 450. Let r = -26 - g. Does 40 divide r?
False
Let x = 47 - 44. Suppose 2*a = -2*k + 3*a + 13, 0 = 5*k - x*a - 35. Is k even?
True
Let z = 45 - 23. Let d(p) = 21*p**3 + 13*p**2 - 3 - z*p**3 - 3 - 11*p. Does 6 divide d(12)?
True
Let m(p) = -p**3 - 11*p**2 + 13*p + 15. Suppose -12*r = -15*r - 36. Let c be m(r). Suppose -c*f - 8 = -5*f, w + 2*f = 40. Does 16 divide w?
True
Suppose -l = -3*l + 4. Suppose -250 = -3*k - l*n, 4*k - 4*n - 332 = -6*n. Suppose 2*d - 20 = k. Is 13 a factor of d?
False
Is 16 a factor of -1 + (1190 - ((-4)/(-1) + 1))?
True
Let h = -347 - -670. Is h a multiple of 19?
True
Let c(m) = 25*m**2 + 5*m - 2. Let w be c(5). Suppose 0 = 5*t + t - w. Suppose -4*d = 3*o - d - t, 3*d - 72 = -2*o. Is o a multiple of 7?
False
Let d(o) = -18*o - 1. Let l = -17 - -2. Let t be ((-12)/l)/(10/(-25)). Is d(t) a multiple of 12?
False
Let m(v) be the third derivative of v**4/24 - v**3 - 5*v**2. Let w be m(5). Is ((-44)/(-8))/(w/(-2)) a multiple of 11?
True
Let d(k) = 33*k**3 - 4*k**2 + 6*k + 5. Let o(u) = 33*u**3 - 5*u**2 + 7*u + 6. Let h(y) = -5*d(y) + 4*o(y). Is h(-1) a multiple of 26?
False
Let j be (-1)/(-3) + (-17)/(-3). Suppose -j*d - 1 - 11 = 0. Is 37 a factor of (-111)/d*(-6)/(-9)?
True
Suppose -31*o - 4*x - 564 = -35*o, -2*o = 5*x - 289. Does 2 divide o?
True
Suppose -x = 2*g + 4*x - 976, -5*g = x - 2463. Does 17 divide g?
True
Suppose -5*j + 1011 = -4*d, j = -d + 2*j - 252. Let o = -140 - d. Is 14 a factor of o?
False
Let j(o) = o**3 - o**2 - o - 2. Let v be j(2). Suppose v = -7*i - 6*i + 1690. Is i a multiple of 10?
True
Suppose 3*g = 2*m - 5*m - 6, m - 2 = 3*g. Is 27 a factor of 9/(-3) + (g - -51)?
False
Let m(l) = 2*l**2 + l - 36. Let v be m(7). Suppose -2*r + o - 7 = 0, -o + 2 = o. Is v/(-6)*(1 + r) a multiple of 4?
False
Suppose -6*f + 2*f = 0. Suppose f = 5*i + 36 - 206. Is i a multiple of 6?
False
Let c(h) = -7*h - 1. Let b be c(-7). Suppose -5*l + 36 = -2*l - 5*m, 5*m = 4*l - b. Suppose l*d = 8*d + 256. Is 27 a factor of d?
False
Let i = -18 - -22. Suppose 5*d - 2*x = 3*d + 20, i*d = -3*x + 40. Let y = d - 5. Is 2 a factor of y?
False
Let p = -393 - -608. Is 31 a factor of p - (-5 - -5 - 2)?
True
Suppose -5*b + 2 = 5*l - 3, b = l + 7. Let w be -4 + 8 - b/2. Suppose -3*o - 3*k = -45, -w*o + 6*k = k - 16. Is o a multiple of 5?
False
Suppose g - 360 = -3*g. Is ((-8)/12)/((-5)/g) a multiple of 4?
True
Let g(b) = -5*b**3 - 9*b**2 - 9*b + 9. Does 40 divide g(-5)?
False
Let v be ((-204)/119)/((-4)/126). Let h = v - -2. Is 8 a factor of h?
True
Suppose -4*t + q + 1434 - 19 = 0, 4*t - 1430 = -2*q. Does 8 divide t?
False
Suppose -42*r + 43*r + 40 = 0. Is -5 + 12 - 5 - r a multiple of 2?
True
Suppose y - 5 = 3. Is 7 a factor of (y/6)/((-860)/288 + 3)?
False
Suppose 4*i - 130 = -3*r, i - 4*i - 190 = -4*r. Suppose 3*b = -g + 8, -5*g + 7*b = 4*b - 4. Suppose -r = -g*u + 38. Is 14 a factor of u?
True
Let l(p) = p**3 + 23*p**2 - 11*p + 26. Let a be l(-23). Suppose 4*v - a = -2*s + 97, v = -5*s + 904. Is 12 a factor of s?
True
Let y be 38/12 + 16/(-96). Let l be (4 - y) + (2 - -121). Suppose 5*c + 4*a = l, -5*c - 2*a = -5*a - 117. Does 6 divide c?
True
Let o be 2 - (5 - (18/3)/2). Suppose -12*m + 9*m + 648 = o. Is m a multiple of 14?
False
Let f be (10 - -2)*4/8. Suppose -f*o = -5*o - 46. Is o a multiple of 29?
False
Suppose 0 = -2*i + 939 + 1203. Does 38 divide i?
False
Is 5 a factor of -718*(56/98)/(6/(-21))?
False
Let v = -429 - -949. Is 9 a factor of v?
False
Suppose c + 3689 = 2*h, 5*h - c - 6366 = 2861. Does 142 divide h?
True
Let n(b) = b**2 - 26*b - 69. Is n(41) a multiple of 17?
False
Let q(y) = 101*y + 14. Is 9 a factor of q(2)?
True
Let a = 550 - 293. Does 14 divide a?
False
Suppose 3*c = 4*c - 212. Let s be 143/(3 - (0/(-4) + 2)). Let u = c - s. Is 29 a factor of u?
False
Suppose 12*a - 15*a - 2*o = -241, 2*o = 4*a - 312. Is a a multiple of 13?
False
Is 12 a factor of (-21)/(-3) - (-532)/1?
False
Let t(k) = 15*k**2 - 13*k - 22. Is 18 a factor of t(5)?
True
Let t(u) = -u**2 + 7*u - 6. Let z be t(7). Let s = 16 - z. Let x = s - -4. Is x a multiple of 13?
True
Suppose -39*r + 56 = -38*r. Does 56 divide r?
True
Let u be -172 + (2/6)/(9/108). Suppose 5*k + 60 = 3*d, 0*k + d = k + 14. Does 6 divide u/k + (-6)/9?
True
Suppose 0 = -4*d - n - 20, -n = 5*d + 18 + 6. Let o be (-20)/(-5)*(-49)/d. Suppose 7 + o = 3*q - 2*t, -5*q + 91 = -t. Is q a multiple of 6?
True
Let h = 155 - -604. Is 22 a factor of h?
False
Suppose -5*a - 14 = -4. Let p = 5 + a. Suppose -3*m - 65 = -p*t + 2*m, 20 = -5*m. Is t a multiple of 5?
True
Let s(w) = 0*w**3 + 3*w**3 + 71 + w - w**2 - 4*w**3. Let t be s(0). Suppose t = 4*n - 13. Does 13 divide n?
False
Let a = -4 - -1. Is 4 a factor of 15/(-5 + 0)*a?
False
Let i = -120 - -211. Does 13 divide i?
True
Is 21*6/9*2 a multiple of 5?
False
Let m(i) = 2*i**2 - 8*i - 18. Is 10 a factor of m(-10)?
False
Let r(k) be the third derivative of k**5/20 - 7*k**4/24 + k**3/6 - 8*k**2. Let s be r(6). Let l = -40 + s. Does 9 divide l?
True
Let t be (-5 - -8) + 2*1. Suppose 0 = 5*k + t*u - 240, 3*k - 138 = 3*u - 0*u. Does 8 divide k?
False
Is (8 - -337) + (-8)/2 a multiple of 11?
True
Suppose 24*f + f - 5100 = 0. Is f a multiple of 34?
True
Let z = 168 + -91. Let v be 2/11 - 476/z. Does 9 divide 150/18 - 4/v?
True
Suppose -3*m + x = -0*x - 32, 8 = -m + 5*x. Is 6 a factor of m?
True
Is (-15 + 7)*(-649)/4 a multiple of 11?
True
Let d = -78 - -18. Is (d/75)/(1/(-20)) a multiple of 16?
True
Let n be 1/(-5) - (-42)/10. Suppose n = -q - q. Is q + (-1*40)/(-2) a multiple of 6?
True
Let y be (3 + -1 - 0)*(-25)/1. Let m = y - -102. Is m a multiple of 13?
True
Suppose -2*l - 3*l + 30 = 0. Let t be 0/((-2)/(-4)*l). Suppose 0 = -o - 4*o + 10, t = -3*r + 5*o + 26. Does 12 divide r?
True
Let p = 6 - 6. Is (-6 - p)/(3/(-36)) a multiple of 8?
True
Let x be -79 + 1 + 0/19. Let p = x - -213. Is p/12*(-8)/(-3) a multiple of 13?
False
Let h(r) = 6*r**2 + 2*r + 702. Is h(0) a multiple of 117?
True
Suppose 0 = -3*w + 8*w. Suppose 0 = -d - 2*z - w*z - 4, -d = -z - 2. Suppose 4*k + 3*f - 5*f = 190, d = -5*k + 5*f + 230. Does 23 divide k?
False
Suppose 12*q - 3*j = 7*q + 4599, q - 906 = -4*j. D