0 = 0, j - 7 = -3*v + 3*j. Suppose 0 = 6*m - v*m - 12. Suppose -2*r + 3*q - 4*q = -163, -m*r + 329 = 5*q. Is r a multiple of 20?
False
Is 13 a factor of 3515/4 - 6/8 - -6?
True
Let u = -1904 + 6443. Is 81 a factor of u?
False
Is 4 - (-16)/5*2875/10 a multiple of 19?
False
Suppose -16*t - 970 = -4*p - 19*t, -488 = -2*p - 3*t. Is 2 a factor of p?
False
Suppose -106 = -j + 59. Is j a multiple of 33?
True
Let u(f) = f + 14. Let l be u(-14). Suppose -5*q = -g - l*q - 6, -4*g = -5*q - 51. Let m = -5 + g. Is m a multiple of 14?
True
Let m = 342 + 960. Is 28 a factor of m?
False
Let n = -701 - -851. Is n a multiple of 25?
True
Suppose -8*u = 1097 - 16761. Does 38 divide u?
False
Is 640/6*(-48)/(-10) a multiple of 25?
False
Suppose 5*n - 552 = -1562. Let b = n - -287. Is 15 a factor of b?
False
Suppose -660 = -7*y + 2*y. Does 11 divide (-15)/6*y/(-10)?
True
Let z(i) = i**3 - 18*i**2 + 32*i + 36. Is 2 a factor of z(16)?
True
Let m be 1 + (-2284)/(-2 - 2). Let d be m/2 + 16 + -18. Let a = d - 189. Is 24 a factor of a?
False
Let z = -172 + 1064. Is z a multiple of 27?
False
Suppose -7339 = -26*q - 2893. Is 20 a factor of q?
False
Let o = -86 + 97. Suppose -10*p - 21 = -o*p. Is p a multiple of 16?
False
Let a(x) = -x**2 + 9*x - 10. Suppose -4*z - q + 23 = 0, -3*q - 11 - 25 = -3*z. Let o be a(z). Let r = 12 - o. Is r a multiple of 4?
True
Suppose -5*w = -7*w + 16. Suppose -6*x + w*x - 198 = 0. Does 16 divide x?
False
Let w = -22 - -26. Suppose x = -3*m - m - 12, 2*m = -x - 6. Suppose -2*t - 3*b = -0*t - 23, -4*b + w = x. Does 6 divide t?
False
Let d(g) = -g + 54. Suppose -4*o + 20 = -4*r, -7*o = -r - 2*o - 21. Let m be 0/(0 - 2/r). Does 18 divide d(m)?
True
Suppose 2*n + 0 - 2 = 0, 34 = 5*z - n. Suppose 0 = -11*d + z*d + 164. Suppose -q + 5*j = -d, 3*q - 123 = -4*j - 0*j. Does 17 divide q?
False
Let p = -17 - -49. Is p a multiple of 4?
True
Let u be 6/7*84/18. Suppose -u*a + 5*a = 283. Suppose 3*j = 5*q - a, -2*q - 5*j - 2 = -109. Is q a multiple of 14?
True
Let f = 1500 + -720. Is 13 a factor of f?
True
Let z(j) be the first derivative of -15*j**2/2 + 6*j + 6. Let h be z(-7). Let s = h - 63. Does 16 divide s?
True
Let s = 2104 + -1296. Is s a multiple of 13?
False
Let r = -60 + 104. Suppose -2*d - 12 = 5*c, 3*d = -2*c + d. Let y = r + c. Is 10 a factor of y?
True
Let t be -3 + 43 + (-20)/(-5). Suppose 2*q + 3*w - 25 = 0, 3*w + t = 3*q + w. Does 7 divide q?
True
Suppose 2*m = 2*f + 7*m - 25, -3*f + 3*m = -6. Suppose -b - 925 = -5*r, -r + 5*r + f*b = 711. Is 18 a factor of r?
False
Suppose 4*h - 7*f + 9*f = 3432, 3*h = -5*f + 2567. Is h a multiple of 5?
False
Let a(r) = -107*r - 31. Let g(k) = -36*k - 10. Let o(z) = -3*a(z) + 8*g(z). Does 44 divide o(3)?
False
Suppose 6*c = 5*k + 9*c - 5327, 1083 = k + 5*c. Is 82 a factor of k?
False
Let b(v) = v**3 + 2*v**2 - 11*v - 20. Is 54 a factor of b(7)?
False
Is 73 - (-1 - (6 - 8)) a multiple of 52?
False
Let o = -61 - -58. Is (o/1 - -4)*77 a multiple of 22?
False
Let n be ((-16)/3)/(-4)*(-45)/(-10). Suppose -41 - 505 = -n*o. Is 13 a factor of o?
True
Let r(y) = -3*y**2 - 8*y + 8 + 8*y - 7*y + 4*y**2. Let b be r(6). Suppose 2*s - 67 = p, 6*p = b*p + 4. Is 17 a factor of s?
True
Suppose 0 = -3*y - 2*c + 122, 5*y - 220 = 3*c + 2*c. Let v = y + -26. Suppose -v*b - 180 = -21*b. Does 9 divide b?
True
Let k = 282 + 115. Does 13 divide k?
False
Let i(n) = 2*n - 14. Let t be i(10). Suppose -1 = 3*a + 4*f, -10 = 4*a - 2*f + t. Does 8 divide a/1 - (-145)/5?
False
Let f = -2 + -4. Let p be (2 + -5)*f/(-3). Is (-12)/(-2*p/(-8)) a multiple of 4?
True
Let u(l) = -2*l**2 + l - 1. Let v be u(1). Let h = 0 - v. Suppose -2*a - 4*k + 52 = h*a, k - 49 = -3*a. Does 9 divide a?
True
Let d = -53 + 53. Let q(m) = m**2 + 3*m + 23. Is q(d) a multiple of 6?
False
Suppose 10*o - 4560 + 530 = 0. Is 31 a factor of o?
True
Let l(t) = -4*t**3 + 2*t**2 + t. Let x be l(-1). Suppose -x*g = -6*g. Suppose 6 - 170 = -4*c - z, z + 4 = g. Is c a multiple of 34?
False
Let y be ((-15)/(-30))/((-1)/2). Let h be -5*(-1 + 1 + y). Suppose -87 = -h*f + 68. Does 6 divide f?
False
Let q = -117 - -121. Suppose 0*v + 2*u - 321 = -v, 0 = 5*v + q*u - 1611. Is 51 a factor of v?
False
Suppose -6 = -2*b + 3*f, 3*f = -b - b + 6. Suppose 6*r + 2*m = b*r + 14, 3*r = 3*m - 6. Suppose i + r*i = 4*u + 157, -54 = -i + 3*u. Is i a multiple of 17?
True
Let m = -2 - -17. Let k(z) = z**2 + 3*z - 7. Let x be k(-5). Is 10*(x - (-9)/m) a multiple of 18?
True
Suppose c = 2*h + 4*c - 33, h = 3*c + 3. Suppose 0 = w - 5*i - 0*i + 58, h = 3*i. Is w/(-8) + (-4)/(-16) a multiple of 2?
False
Let z(a) = a**2 - 4. Let q be z(4). Let i(j) = -j**3 + 12*j**2 + 2*j - 8. Does 16 divide i(q)?
True
Let r be (2 - 5 - -1) + 2. Suppose r = 4*h - 0*h. Let q(g) = g + 27. Is 9 a factor of q(h)?
True
Suppose -1953 = -4*v - 3*j, 4*v - 2*j = -6*j + 1956. Does 54 divide v?
True
Suppose 5*n - 3*n - 2064 = 0. Is 30 a factor of (n/(-30))/((-2)/5)?
False
Suppose 2*n - 125 = -x, -5*x - 5*n - 290 = -935. Is x a multiple of 19?
True
Let f be ((-3)/(-2))/(1/(-2)). Let j(z) = z + 4. Let w(a) = a + 3. Let h(t) = f*w(t) + 2*j(t). Is h(-7) a multiple of 2?
True
Suppose 2*i + 2*i - 1921 = -3*n, 2*i - 3197 = -5*n. Is 71 a factor of n?
True
Suppose 3*k + 1 = 22. Let m be (-235)/35 + (-2)/7. Does 2 divide m/2*(5 - k)?
False
Suppose -62*c + 9646 = -49*c. Does 25 divide c?
False
Let d(r) = -r**2 - 7*r - 9. Let i be d(-4). Suppose 4*n = 3*y - 178, i*y + 71 = 4*y + n. Does 22 divide y?
True
Let u(h) = h**2 + h - 9. Let c be u(-4). Suppose 9*y - 24 = c*y. Suppose -y*x + 6*x = 30. Does 15 divide x?
True
Let b be 1/4 + (-13)/52. Suppose b = 3*k - 40 - 257. Is k a multiple of 9?
True
Suppose 16 = 5*i + 1. Let l(u) = -5*u**3 - 5*u**2 - 4*u**2 + 5 + 4*u**i - u. Is 14 a factor of l(-9)?
True
Is (-69)/(-138) + 4898/4 a multiple of 25?
True
Let y(v) = v**3 + 23*v**2 - 39*v + 13. Does 7 divide y(-23)?
True
Let l(o) = 10*o**2 - 2*o + 4. Let g be l(-2). Suppose g = 4*q - 60. Is 9 a factor of q?
True
Let g be 12/30*45/6. Suppose -x = -g*k - 5*x + 160, -4*k = -2*x - 228. Is k a multiple of 28?
True
Is 1974/49*28/3 a multiple of 25?
False
Let f be (-1)/(-2)*0/(-7). Suppose -4*a - 5*l - 8 = 0, -a + 3*l + l - 23 = f. Let m = 44 - a. Is m a multiple of 26?
False
Let l(i) = 7 + 6*i**2 - 7*i**2 + 2*i + 3*i**2 - 25. Let x be l(8). Suppose 5*p = -2*s + x, 2*p - 80 = -p + s. Is 10 a factor of p?
False
Let w = 865 + 233. Does 48 divide w?
False
Suppose 7*h - 6*h = 60. Does 24 divide h*((-3)/(-15) + 1)?
True
Let a = -19 + 56. Suppose -a*b + 720 = -32*b. Does 18 divide b?
True
Let c = -3153 + 5304. Does 10 divide c/39 + 16/(-104)?
False
Let o(t) = 4*t**2 - 21*t - 8. Suppose 5*p + 6 = 2*p. Let y(h) = -h**2 + 5*h + 2. Let j(n) = p*o(n) - 9*y(n). Is j(-4) a multiple of 13?
True
Let w(z) = 4*z - 31. Let u be w(13). Is 2 a factor of 1/(u/6 - 3)?
True
Let h(v) = 551*v**2 - 19*v + 42. Is h(2) a multiple of 23?
True
Let o = -9 + 12. Suppose -61 = -3*h - 2*u, 3*h - 32 = h + o*u. Suppose -h - 13 = -4*r. Is 3 a factor of r?
False
Let s be (-2 + (2 - 0))/(-1). Let w be ((-33)/(-3) - 3) + s. Suppose 2*i - 290 = 3*j - w*j, 5*i + 325 = 5*j. Is 10 a factor of j?
True
Suppose 0*r = -r - 51. Let w = r + 85. Does 17 divide w?
True
Let z(k) = -201*k**3 - k**2 - 10*k - 8. Is z(-1) a multiple of 15?
False
Let f(k) = 7*k + 2. Let o(q) = 4*q - 6*q + 1 + 3*q + 3*q**2 + 0*q. Let a be o(-1). Is 6 a factor of f(a)?
False
Let n be (-4)/12 + 460/12*13. Suppose 80*p + n = 83*p. Is p a multiple of 12?
False
Suppose -3*f + 1114 + 352 = 2*a, 3*f - a - 1481 = 0. Suppose -5*t + f = -2*t. Is 41 a factor of t?
True
Suppose 0 = 87*p - 73*p - 13454. Is 31 a factor of p?
True
Let k = -428 - -828. Suppose 0 = 5*a - 20, -2*d = 2*d + a - k. Let s = d - 58. Does 8 divide s?
False
Let w be (-2 + -4)*(-11)/2. Let i = w - 3. Is i a multiple of 30?
True
Suppose -13*s - 62 = -15*s. Let g(u) = -s*u**2 - 36*u**2 + 71*u**2. Is 2 a factor of g(-1)?
True
Suppose -r - 2*r = 3*q - 11400, 4*r = 2*q + 15230. Does 19 divide r?
False
Suppose -x + 7 = -2*g, 0*g = -g - 3. Let z(c) = 6*c**3 - 2*c**2 + 2*c - 1. Let q be z(x). Suppose -6*j = -q*j - 84. Is 28 a factor of j?
True
Let g be (7/((-14)/3))/((-6)/8). Suppose 941 = 5*m + g*l, 4*m - l - 261 = 497. Does 27 divide m?
True
Suppose -5*p + 2*n = 2, -p - 35 = 5*n -