et v = n + r. Does 6 divide v?
False
Suppose -2*r - 4*t + 14 = 72, 0 = -4*r + 3*t - 72. Does 8 divide 944/28 - 6/r?
False
Suppose -255 = -4*z - z + k, -k + 195 = 4*z. Is z a multiple of 10?
True
Suppose 5*d - 30 = -5*m, 18 = 5*m - d - 0*d. Suppose -2 - 118 = -m*j. Does 10 divide j?
True
Suppose 3*s - 72 = -3*n, 5*n - 3*n = 4*s - 96. Does 8 divide s?
True
Let x(h) = h**2 + 2*h**2 - 6 + 10*h + 9 - 2*h**2. Does 2 divide x(-10)?
False
Suppose 2*v + 6 = -2*m, -5*v = -3*v - 3*m - 19. Suppose v*k = i - 8, -i - 3*k - 3 + 1 = 0. Is 15 a factor of 996/33 + i/(-22)?
True
Suppose 0 = m + 9 - 134. Is 30 a factor of m?
False
Let p = -5 + 7. Is 12 a factor of (-8)/(3/(-39)*p)?
False
Suppose 0 = 4*p + 12, -4*q - 2*p + 155 = p. Let s = 71 - q. Suppose -4*n - s = -9*n. Does 6 divide n?
True
Let n be (-18)/(-5) - 2/(-5). Let q be 0*(1 - 2)/(-1). Suppose 0 = -n*y - 5*c + 46, -3*y + 0*c - c + 40 = q. Does 7 divide y?
True
Suppose -4*u = p - 0*p + 3, p + 5*u + 6 = 0. Is 4/(-3)*p/(-6) even?
True
Let h = 20 - -81. Suppose -g = -1 - h. Does 26 divide g?
False
Suppose 0 = -0*j - 4*j. Suppose -5*p + p - 36 = j. Is 5 a factor of 3*((-39)/p - 1)?
True
Let h(a) = a**3 - a**2 - a. Let y(p) = 5*p**3 + 2*p**2 - 3*p + 1. Let m(w) = -4*h(w) + y(w). Let s be m(-6). Let d(n) = -3*n + 4. Does 11 divide d(s)?
False
Let t = -5 + 6. Suppose i + 4*a - 3 = 0, -3*a + 30 = -5*i - t. Let c = 19 + i. Is 14 a factor of c?
True
Suppose -b + 56 = -16. Is 36 a factor of b?
True
Is 17 a factor of (-30)/(-15) - (1 - -1)*-26?
False
Let c be (-4)/(-22) - (-26)/(-22). Let x(y) = 8*y**3 - y**2 - y - 1. Let o be x(c). Is 2/o + 508/18 a multiple of 14?
True
Let v(i) = 2*i**2 - 10*i - 10. Let k(b) = -b**2 - b + 8. Let z be k(0). Does 13 divide v(z)?
False
Suppose -3*j - 36 = -3*p, 0 = -5*p - 5*j + 4 + 16. Is 8 a factor of p?
True
Suppose -4*a + 7*a - 92 = 2*r, 0 = 2*a + 4*r - 88. Is a a multiple of 17?
True
Let k = 1 + -3. Let r be (-3 + 4)/((-1)/k). Suppose -r*h + 6*h = 44. Is 5 a factor of h?
False
Suppose 0 = 4*f + 4*j + 12, 0 = 2*f - 2*j - 6. Let m(q) = q**3 + q**2 - 19. Let k be m(f). Let r = 9 - k. Does 22 divide r?
False
Let x be 8/6*156/8. Suppose -4*w = 3*b + 15, -4*w = 4*b + x - 6. Does 2 divide (-1 + 0)/(1/b)?
False
Suppose 3*u = 3*p - 24, 0 = 5*p - 0*p + 4*u + 5. Let q be 54 + (1 - p) + 3. Let k = q - 34. Is k a multiple of 12?
False
Let s = 3 - 0. Suppose 2*m - 2*v = 3*m - 33, 70 = 2*m + s*v. Let o = -17 + m. Is 13 a factor of o?
False
Suppose -7*c + 753 = 4. Is 13 a factor of c?
False
Let k = 34 - 18. Is 8 a factor of k?
True
Suppose j - 3*j = -58. Does 11 divide j?
False
Suppose 6 = 2*n + 3*j, n = -n + 4*j + 20. Suppose i + 5*z + 2 = 4*i, 2*i = z + n. Does 4 divide i?
True
Let c = 69 + -33. Is c a multiple of 9?
True
Suppose -4*y = -8*y - 5*d + 267, -3*y + 3*d + 234 = 0. Is y a multiple of 6?
False
Suppose 0 = -2*v + 5*v - 18. Let z be 2/v - 25/3. Does 10 divide ((-22)/z + -2)*16?
False
Suppose -10 = -4*d + 26. Is 9 a factor of 4/(-18) - (-164)/d?
True
Let z be (-1 - 2)/(24/72). Let v(g) = 6*g + 0*g - g**3 - 4*g**2 - 3 - 4*g**2. Is v(z) a multiple of 12?
True
Suppose z = -w - 24, 56 = -3*z - 0*w + w. Let p be ((-9)/(-6))/((-2)/44). Let f = z - p. Is f a multiple of 13?
True
Let d = -80 + 134. Let u = d - 30. Is 8 a factor of u?
True
Suppose -u + 39 = -2*t, 6*t = -u + 2*t + 21. Suppose 4*h - 47 = u. Does 10 divide h?
True
Let x(h) = -h**3 - 5*h**2 - 5*h - 4. Let c be x(-4). Suppose c = 5*i + 10 - 40. Does 6 divide i?
True
Let i(r) = r - 12. Does 3 divide i(17)?
False
Let u(v) = v**2 - 4*v - 7. Let w be u(6). Suppose 5*f = 3*o + 4*f - 136, -175 = -4*o - w*f. Does 15 divide o?
True
Let k be 20/(-6)*3/(-2). Suppose 0 = -k*r - n + 55, -2*r - n + 2*n = -15. Suppose -y + r = y. Is 2 a factor of y?
False
Let r(f) = -2*f**3 - f**2 + 9*f + 7*f**2 + 10 + f**2 + f**3. Is r(8) a multiple of 9?
True
Suppose 0 = 4*h - 4*s - 108, -2*h + 0*h = -s - 56. Does 19 divide h?
False
Let o(b) = -b**3 - 4*b**2 + b - 2. Let i be (-21)/(-1) - (-1 + 2). Suppose 3*q + i = l, l + 30 = -4*q + 3*l. Does 9 divide o(q)?
True
Suppose 360 = 5*j + j. Let m = j + 26. Is m a multiple of 23?
False
Suppose -2*h = 4*h - 318. Let i = h - 8. Is i a multiple of 10?
False
Suppose 2*g - 356 = -3*o, g - 1 = -0*g. Is 15 a factor of o?
False
Let k = 26 - -24. Is 8 a factor of k?
False
Let m(i) = -16*i - 7. Let n be m(-5). Let d = -52 + n. Is 7 a factor of d?
True
Suppose -v = -2*v + 4. Suppose 4*h + 2*y = 4*y + 130, 70 = 3*h + v*y. Does 15 divide h?
True
Let j = 496 - 107. Does 45 divide j?
False
Suppose 4*j - q - 6 = 0, -2*j + 4 + 8 = 4*q. Suppose 6*u - j*u = 40. Does 4 divide u?
False
Suppose -5*c - 3*w + 160 = 0, 2*w + 128 = 4*c + 3*w. Let i = -22 + c. Does 4 divide i?
False
Suppose 3*o - 241 = -13. Is 12 a factor of o?
False
Suppose 2*g + g = 51. Is g a multiple of 13?
False
Suppose 20 = 4*g - 5*t, -4*g + 15 = -g - 4*t. Suppose g*m = 7*m - 36. Does 9 divide m?
True
Let u = 44 + 4. Let j be ((-15)/6)/(3/(-90)). Let i = j - u. Is 13 a factor of i?
False
Let v = -10 + 12. Suppose -11 = -v*d - 1. Is d even?
False
Does 10 divide (-2)/(2/(0 + -10))?
True
Let o = 5 + -6. Let f(q) = -30*q. Let h be f(o). Suppose -4*v + h = -42. Is 10 a factor of v?
False
Suppose 3*d + 34 = 5*v, 4*d = 4*v + 9*d - 5. Suppose k - 90 = 3*u - 2*k, v*u - 3*k = -148. Let c = u + 48. Does 19 divide c?
True
Let j(k) = 2*k + 11. Is j(0) a multiple of 5?
False
Let q be 2/(-5) - (-1156)/(-10). Does 28 divide -1 - (q/(-1))/(-4)?
True
Is 24 a factor of ((-64)/10 - -4)*-30?
True
Let v be ((-18)/10)/(2/(-10)). Suppose v + 18 = -u. Does 23 divide (2 - 0)/((-2)/u)?
False
Let j = 61 + -11. Is j a multiple of 10?
True
Let m = 257 - 77. Is 16 a factor of m?
False
Suppose 8 = -2*d + x - 5*x, -x - 11 = -d. Let r be d/(37/(-19) - -2). Suppose -2*y + 5*y = r. Does 19 divide y?
True
Let u(h) = h**3 + 9*h**2 + 5*h + 8. Is 16 a factor of u(-8)?
True
Suppose 764 = 4*c + 4*h, -1 = c + 2*h - 192. Is 22 a factor of c?
False
Let u(h) = h + 7. Let t be u(-5). Let x(c) = 18*c + 1. Let j be x(3). Does 11 divide 1/(5/t)*j?
True
Is 8 a factor of (-88 + (3 - 5 - -2))*-1?
True
Let b(p) = 2*p**2 - 10*p - 12. Let t(z) = -z**3 - 6*z**2 - 7*z - 1. Let v = 3 - 8. Let r be t(v). Does 21 divide b(r)?
False
Let h(m) = -m - 12. Let x be h(-8). Let i = x + 16. Is 4 a factor of ((-8)/i)/(2/(-39))?
False
Let k(j) = -j**2 + 7*j + 5. Let b be k(7). Let h = -3 + b. Suppose h*r - 16 = 4*u + 116, r = -4*u + 54. Does 21 divide r?
False
Let w be (-1 - 2)*1 + 17. Suppose -q + 30 = -w. Is 14 a factor of q?
False
Is 14 a factor of (-14)/(1*4/(-12))?
True
Let v(m) = m**3 - 3*m**2 + m - 10. Is 26 a factor of v(6)?
True
Let i = -6 - -7. Let h(j) = 134*j**3 - 6*j**2 - 2*j - 3. Let d(t) = -89*t**3 + 4*t**2 + t + 2. Let s(u) = -8*d(u) - 5*h(u). Is s(i) a multiple of 17?
False
Let m(j) = -j**3 - 3*j**2 - 2*j - 3. Let d be m(-3). Suppose l + 3*c = -4*l - 373, -d*l = -c + 221. Is (-1 + 0)/2*l a multiple of 17?
False
Suppose -t = -9 + 37. Is (-1)/(-5) - t/10 a multiple of 2?
False
Let c(j) = j**3 + 11*j**2 + 11*j + 13. Let l be c(-10). Suppose k - l*u = 2*k - 18, 5*u - 20 = 0. Does 2 divide k?
True
Let u = 5 - 8. Let o = 36 - u. Does 13 divide o?
True
Suppose 5*j - 2*j = -2*a + 976, 2*j - 644 = -3*a. Is 23 a factor of j?
False
Is 17 a factor of 104 - (-3 + (-8 - -3)*-1)?
True
Let h(x) = x**3 + 2 + 5*x**2 + 0*x - 2*x - 2*x**3. Let n be h(2). Suppose -i - 22 = -3*w, 2*i = w - 4*w + n. Does 6 divide w?
True
Let a = -9 - -7. Let f = a - -48. Suppose 5*d = -f + 156. Is 11 a factor of d?
True
Suppose -5*l + 40 = -2*g - g, 3*l = 4*g + 24. Is l even?
True
Let b be (0 - (-11)/(-2))*-2. Suppose 0 = i - b + 2. Is 9 a factor of i?
True
Let t = -4 + 4. Suppose -5*z = 0, t*z - z = 4*w - 76. Suppose -4*k - w + 83 = 0. Is 8 a factor of k?
True
Let i(r) = r**3 + 5*r**2 - 7. Let s be i(-5). Let m = -4 - s. Suppose w - m*w = -18. Does 7 divide w?
False
Let i = 34 + -24. Does 4 divide i?
False
Does 29 divide -1*(-3)/(-1) - -6*15?
True
Suppose 3*x - 3*i = 5*x - 502, -x + i + 251 = 0. Does 32 divide x?
False
Let w(x) = -x**2 + 2*x**2 + 3*x**2 - 4*x - 1 + 3*x. Is w(-3) a multiple of 14?
False
Let q be (-2)/6 - 8/(-6). Let n(d) = -5*d + 1. Let h be n(3). Does 12 divide (1 - q*h) + 1?
False
Is (-310)/(-8) + (-7)/(-28) a multiple of 13?
True
Suppose