(o - 1). Suppose w + 169 = 7*u. Is u a multiple of 26?
False
Let k be (0/(-4))/(-3) + -5. Let j be 36/(-10)*(k + 0). Suppose -5*i + 107 = -j. Is 8 a factor of i?
False
Let t(w) = -9*w - 1. Let l be t(2). Let b = 10 + l. Does 15 divide -1*54*9/b?
False
Suppose 2*g - 2*a - 95 = 21, -5*a = -2*g + 122. Is g a multiple of 2?
True
Let x(j) = j**3 + 5*j**2 + j - 12. Let v be x(-4). Let q(o) = o**3 - o**2 + o + 15. Is 3 a factor of q(v)?
True
Let z(s) = -2*s**2 + 29*s**2 - 13*s**2 + 2*s - 6. Does 19 divide z(-3)?
True
Let h be ((-216)/(-84))/(6/28). Suppose -4*p - 4*j = 36, -p = -2*p - 2*j - h. Is ((-70)/3)/(p/9) a multiple of 19?
False
Suppose -2*a + 15 = a. Suppose 0 = 5*t - 4 + 24, 0 = -a*s - 2*t - 368. Is 2/(-3)*s/16 a multiple of 2?
False
Let s be (-3)/2*(-6)/(-3)*-1. Suppose -4*b + s*b - 2*y = -23, -3*b + 58 = -5*y. Is b a multiple of 17?
False
Let v = -98 - -216. Is v a multiple of 2?
True
Let o(l) = l**3 + 3*l**2 - 8*l - 9. Let i be o(-4). Suppose -i*g + 570 = -g. Is 26 a factor of g?
False
Suppose -q - 3 + 8 = 0. Suppose -q*r + 3*c + 125 + 20 = 0, -r + c + 29 = 0. Let f = -17 + r. Does 6 divide f?
True
Let r = -8 - -16. Let x(f) = f - 10. Let o be x(r). Is 7/(o/3 - -1) a multiple of 14?
False
Suppose -10*z - 137 = -897. Is 19 a factor of z?
True
Let r(y) = -y + 441. Is r(10) a multiple of 11?
False
Let t = 1058 - 578. Is 30 a factor of t?
True
Suppose -50*c + 122 = -52*c. Suppose -3*q + 151 - 56 = -f, -408 = 4*f - 5*q. Let n = c - f. Does 13 divide n?
False
Suppose 475*w + 2530 = 480*w. Is w a multiple of 46?
True
Let v be 14/(-4)*16/(-28). Suppose 3*b = -v*b + 130. Is b a multiple of 13?
True
Let z = 34 + -32. Suppose -z*g + 76 = 2*g. Is 13 a factor of g?
False
Let g be -170*(-1 + (3 - 4)). Suppose 4*z + s + g = 0, 188 = -z - z + 4*s. Let f = z - -128. Is f a multiple of 7?
True
Let f(y) = y + 19. Let u be f(-14). Suppose u*o - 128 = 17. Is 5 a factor of o?
False
Let g(y) = -y - 9*y + 5*y. Let b be g(-1). Suppose -2*k + 4*u - 10 = -5*k, 0 = -b*k - 5*u + 25. Is 6 a factor of k?
False
Is 13 a factor of 6*13/(351/11133)?
False
Let x(k) = 2*k**3 - 2*k - 1. Let g be x(-1). Let o(d) = -2*d - 21 + 20 - 30*d**3 - d**2 + d**2. Is 9 a factor of o(g)?
False
Let r = 17 + -25. Does 3 divide 1 - 1 - (5 + r)?
True
Suppose -3*i + 220 = -170. Suppose -15*h + 10*h = -i. Does 26 divide h?
True
Let o = -284 + 1067. Does 4 divide o?
False
Suppose -4*j = 2*l - 228, 5*l - 566 = 3*j + 69. Does 3 divide l?
False
Does 37 divide 55/(-385) + 3886/7 + 0?
True
Suppose 4*z + 4 = 16. Suppose 5*w + z*q = -0*q + 67, q + 1 = 0. Does 14 divide w?
True
Let n = 679 + -128. Does 19 divide n?
True
Let o(l) = 36*l + 64. Is 20 a factor of o(6)?
True
Let f = 17 + -10. Suppose -10 = d - f. Is 23 a factor of -3*((-61)/d)/(-1)?
False
Let b(j) = 11*j**3 - 14*j**2 - j - 8. Let z(h) = -5*h**3 + 7*h**2 + h + 4. Let m(d) = -6*b(d) - 13*z(d). Let v be m(-6). Is 14 a factor of v/(-4) - (-37)/2?
False
Suppose 4*o = -z + 2097, 2*o + 6356 = 3*z + o. Does 29 divide z?
True
Suppose 322 = 8*f - 446. Is f a multiple of 16?
True
Suppose -h + 8 + 386 = s, 2*s + 796 = 2*h. Is h a multiple of 22?
True
Suppose -2*y - 15*u = -10*u - 645, 4*y - 1311 = -3*u. Does 55 divide y?
True
Let r(f) = f**2 - 13*f + 2. Suppose -2*n + 0 = -26. Let b be r(n). Suppose 3*h - 57 = b*h. Is h a multiple of 19?
True
Let o = -469 - -1621. Does 12 divide o?
True
Suppose 0 = 59*o + 29894 - 211142. Does 96 divide o?
True
Let y(r) = 8*r - 10. Let i(c) = -c**2 - 10*c - 5. Let v be i(-9). Suppose -4*f + v*q = f - 15, -2*q = -10. Is 17 a factor of y(f)?
False
Let m(t) be the second derivative of t**5/20 - t**4/12 - t**3/2 + 18*t**2 - 10*t. Is m(0) a multiple of 18?
True
Suppose 0 = -37*l + 48313 + 46. Is 47 a factor of l?
False
Let o be ((-370)/(-4))/5*-30. Let u be 2/(-4) - o/(-10). Does 31 divide (u/6)/(10/(-75))?
False
Let w = -48 - -48. Suppose -2*z - q + 303 = w, q + 0*q = 5*z - 747. Does 20 divide z?
False
Let j(z) = -6*z + 26. Let s be j(-7). Let h = 76 - s. Does 8 divide h?
True
Suppose -16*x - 1190 = -18*x. Suppose 8*w - w - x = 0. Is 10 a factor of w?
False
Let h = 15 - 12. Suppose 2*c + 2 = h*c. Suppose c - 1 = z, -2*z + 262 = 5*u. Is 13 a factor of u?
True
Let l = -1951 - -2135. Does 23 divide l?
True
Suppose 0 = 2*y + 70 - 106. Suppose 2*m - y = -6*c + 4*c, 0 = 5*m - 3*c - 21. Is 4 a factor of m?
False
Suppose 14*x + 2790 = 24*x. Is x even?
False
Let z be (-63)/(-6)*300/35. Let p = z + -80. Is p a multiple of 10?
True
Is 25 a factor of (18/36)/((-2)/(-2416))?
False
Let q(d) = -2*d**2 + 8*d. Let o be q(4). Suppose -4*t - 2*z + 120 = o, t + 0*z - z = 33. Suppose -t = k - 2*k. Does 19 divide k?
False
Suppose 2*a - 5*w + 6 = 0, -3*a + 5*w + 3 = 17. Let d(r) = r**2 + r + 10. Is 11 a factor of d(a)?
True
Suppose 0 = -3*r - 39 + 3. Let m be (-6)/r - (-1)/2. Let w = 3 + m. Is w even?
True
Let v = -605 - -900. Does 22 divide v?
False
Let m = -18 - -19. Let i be 1 + m - 4 - -6. Suppose 0 = 3*q - 3*a + 2*a - 147, 5*q + i*a = 228. Is q a multiple of 24?
True
Suppose -3*z - 7 = 5, 2*z + 533 = 5*x. Does 35 divide x?
True
Let h(t) = -2*t**2 - 8*t - 3. Let i be h(-5). Let c = 44 + i. Suppose 9 = -2*r + c. Is r a multiple of 6?
False
Suppose -9*z - 300 = 1365. Is 9 a factor of (3/3)/(z/(-45) + -4)?
True
Let b = -10 - -45. Let y = b + 62. Does 19 divide y?
False
Suppose 4*v = 3*v. Let w(k) = -k**3 - k**2 + 2. Let n be w(v). Suppose -n*q + 4*u + 46 = 0, 0*q - 46 = -2*q + u. Is 3 a factor of q?
False
Let q(z) = 5*z - 11. Let o be q(5). Suppose s - o = -15. Is 3 a factor of (-2)/(-4)*s*-6?
True
Let k be -4*((-3)/(-1))/6. Is 106*(k + 1 + 2) a multiple of 14?
False
Suppose -4*r - 2 = 5*s - 18, 8 = 2*s + 2*r. Let p be -5*(-2 - (-1)/1). Suppose -b + p*b - 28 = s. Is b even?
False
Let r be (1 - 7)/(-6) - 6*-7. Does 10 divide (r + -2)/(4 + -3)?
False
Let l(c) = 2*c**3 - 14*c**2 + 25. Is l(7) a multiple of 13?
False
Suppose 2*c - 2*g - 500 = 0, -6*c - 3*g + 965 = -2*c. Is 7 a factor of c?
True
Let w = 65 + -63. Suppose 7*g - 890 = w*g. Is 24 a factor of g?
False
Suppose 0 = -2*u - 32 + 752. Is 5 a factor of u?
True
Let z = -54 - -53. Let q(w) = -w**2 - 7*w - 4. Let s be q(-5). Is 5 a factor of 28/s + z/(-3)?
True
Suppose 5*d + 148 + 222 = 5*u, -5*u + 4*d = -367. Is 6 a factor of u?
False
Suppose 0 = 5*g + 2*l - 7573 - 3394, 3*l - 10968 = -5*g. Does 88 divide g?
False
Suppose 3*j = 0, 3*h - j - 9 = -6*j. Suppose u + h*u - 2*g = 166, -5*g - 205 = -5*u. Is u a multiple of 20?
False
Let n = 380 + 257. Is 61 a factor of n?
False
Let p(r) = -r**2 - 15*r - 22. Is 6 a factor of p(-11)?
False
Let q = -15 + 19. Suppose 188 = 3*p - 16. Suppose 4*g = q*d - p, 56 = 3*d + g + g. Does 18 divide d?
True
Let o(q) = 32*q - 29. Let w be o(10). Suppose 84 = n + 3*i, -4*n - 6*i + 3*i + w = 0. Is 8 a factor of n?
False
Let c(p) = 7*p. Let f be c(-2). Let w be (-48)/f - (-60)/105. Suppose a - 140 = -w*a. Is a a multiple of 7?
True
Let l(n) = -3*n - 6. Let p be l(-4). Suppose -p*w = -13 - 149. Does 27 divide w?
True
Let h(i) = -40*i + 1. Suppose 0 = 2*k - j - 5, 4*j = 2 + 2. Suppose -3*f = 6 - k. Is 18 a factor of h(f)?
False
Suppose 3*x - 18 = 3*t, 5*x - t - 36 = x. Let y be x + (1 - 0)*-4. Suppose -y*a + 134 = -220. Is 16 a factor of a?
False
Suppose 0 = -40*u + 38*u + 12. Suppose i = -2*a + u*i + 94, -5*a + 5*i = -265. Does 32 divide a?
False
Suppose 0 = -3*n - 93 + 696. Does 10 divide n?
False
Suppose 193 = t - 86. Does 93 divide t?
True
Suppose -u - 5*j - 25 = 0, -20 - 14 = 2*u + 2*j. Let n = 17 + u. Suppose -n*h = -0*h - 16. Is 6 a factor of h?
False
Let s(c) = -55*c - 41. Let l(j) = j**2 - 22*j + 35. Let r be l(20). Does 13 divide s(r)?
True
Let a = -10 - -5. Let n = a - -2. Is (-1 - (n - 1))*8 a multiple of 6?
True
Is 13 a factor of -879*3*2/(-18)?
False
Suppose 3*d - 2*v = -177, -2*v + 4 + 2 = 0. Let b be d*1 + 9 + -12. Let r = 111 + b. Does 12 divide r?
False
Suppose 3*k - 209 = 4*v, 0 = 5*v + 53 - 28. Is 7 a factor of k?
True
Let j be ((-224)/(-18))/(-2) - (-2)/9. Does 2 divide (-6)/(j/1)*(5 + 0)?
False
Suppose -30*w + 32*w = -44. Let q = 197 + w. Is q a multiple of 13?
False
Let o be (-70 + (-4 - -2))*-1. Let t = o + -49. Is t a multiple of 8?
False
Does 26 divide (-728)/7*(-36)/8?
True
Let y = 34 + -76. Let w = -33 - y. Does 4 divide w?
False
Suppose 0 = 