8 = 2*c. Suppose 3*m + 2*u - 2 = c*u, 0 = 3*m + u + 8. Is 13 a factor of 4/((-2)/m) - -11?
True
Is -1 - (-238)/4 - (-48)/32 a multiple of 30?
True
Let t(x) = 12 + 0 + 11 - 16*x + x**2. Is 20 a factor of t(17)?
True
Suppose 3*c + 4*t = 92, -3*c = c - t - 148. Does 5 divide c?
False
Suppose -t - 2*t = -222. Let y = -40 + t. Is y a multiple of 17?
True
Let k(d) = 5*d**3 + 1 - 2*d**2 - 6*d**3 - d + 3*d**3 + 2*d. Does 11 divide k(2)?
True
Let b be 2/4 + (-15)/(-6). Let x(t) = t**3 + 3*t**2 + 2*t - 2. Does 29 divide x(b)?
True
Let i = 20 - 0. Does 10 divide i?
True
Let n = 13 - 8. Suppose -4*j = -b + j + 8, n*b + 5*j = 10. Is 2 a factor of b?
False
Suppose -4*i = -12, 4*d + 4*i = d + 195. Does 26 divide d?
False
Is 13 a factor of (55/(-15) + 3)/(4/(-234))?
True
Let t be 0 + 0 - (-3 + 6). Is t - (-78)/((-8)/(-4)) a multiple of 13?
False
Let a(x) = 2*x**2 - 2*x + 170. Is a(0) a multiple of 19?
False
Suppose -5*f + 2*x = 3*x - 22, -2*f - 4*x + 16 = 0. Suppose f*g - 140 = -g. Is 28 a factor of g?
True
Let l(w) = 3 - w - 2*w**2 - w**3 + w**2 - 4. Let a be l(-1). Let x = 17 + a. Is x a multiple of 16?
False
Suppose 0 = -i + 6*i - 175. Suppose 2*g = k - i, 4*k - 3*k = -4*g + 65. Is k a multiple of 10?
False
Let c = -27 + 99. Does 9 divide c?
True
Suppose t = 2*t + 71. Does 16 divide (t + -1)*(-14)/28?
False
Suppose 3*i + 88 = 2*f, -5*f - 3*i + 182 = -i. Does 9 divide f?
False
Suppose g - 92 = 77. Let x = -102 + g. Does 17 divide x?
False
Let u(q) be the first derivative of -q**4/4 - q**3/3 + q**2/2 + 38*q + 1. Is u(0) a multiple of 13?
False
Let i(a) = -2*a + 8. Let b(z) = -3*z + 16. Let g(f) = 4*b(f) - 7*i(f). Is g(4) a multiple of 5?
False
Let u(l) = l**2 + 1. Let a be u(-1). Let w = a + -4. Is w/9 + (-816)/(-27) a multiple of 11?
False
Suppose 3*h - h = 44. Let z = h + 20. Is 20 a factor of z?
False
Let w(r) = r**3 + 8*r**2 + 2*r - 1. Let i be w(-4). Let z = 97 - i. Is z a multiple of 14?
True
Suppose 0 = 4*g, 2*g + 40 = 5*d - g. Let r(i) = i**2 - 7*i - 4. Let m be r(d). Suppose -3*j = -7*j + 3*z + 99, 0 = 3*j - m*z - 69. Is 14 a factor of j?
False
Suppose -3*g + 3*y = -609, 0 = -5*g - 3*y + 1108 - 101. Is g a multiple of 28?
False
Suppose 0 = 7*n - 4*n + 72. Let j be (8/2)/(2/n). Let g = 71 + j. Is g a multiple of 8?
False
Let b(j) = -2*j**3 + j**2 + 6. Is 14 a factor of b(-3)?
False
Is (-12)/24 + (-81)/(-2) a multiple of 10?
True
Let i = 1 + -1. Suppose i = d - 2 - 8. Is 6 a factor of d?
False
Let f = 132 - 58. Is f a multiple of 8?
False
Let g(v) = 6*v**2 + 10*v**2 - 2*v + 3 - 4. Let u be g(-1). Suppose -2*j + 5*w + 49 = 0, -3*j = -2*w - 51 - u. Does 11 divide j?
True
Suppose -8*v + 359 = -4*v + 5*l, 5*l = 15. Does 3 divide v?
False
Let n(o) = -3*o**3 + 1. Let b be 2/(-4)*-4 + -3. Let j be n(b). Suppose 0 = -5*x - k + 16, -3*x - k + j = k. Is x a multiple of 4?
True
Let x = -40 + 72. Suppose -4*n - x = -w, 2*w - 14 = -4*n + 2. Is w a multiple of 14?
False
Suppose 4*i + 2*w = 72, 2*w = -0*i + i - 28. Is i a multiple of 9?
False
Let r = 115 + 158. Is 36 a factor of r?
False
Suppose -5*g + 3*g = -5*v - 176, -4*v = 3*g - 287. Is g a multiple of 12?
False
Suppose -7*o + 9 = -4*o. Let w(a) = -a**3 + 5*a**2 - 5*a + 3. Does 6 divide w(o)?
True
Suppose 2*q - y - 2*y = 25, 2*y + 12 = q. Suppose -4 = 2*i, -m + 5*i + 1 = -7. Let n = q + m. Is 12 a factor of n?
True
Let n be (1 + -2)*0/1. Suppose 0*m + 2*m - 4 = n. Suppose -5*x + 5*p + 75 = 0, x - m*p - 15 - 4 = 0. Is 4 a factor of x?
False
Suppose 0 = -2*j - 31 + 35. Let f = 146 + -42. Suppose 0 = -2*k - j*k + f. Does 13 divide k?
True
Let j = 4 - -10. Is j a multiple of 7?
True
Let l(w) = 76*w**2 - w + 2. Let j be l(-2). Let t = j - 209. Suppose 2*h = o + 5*h - 27, -4*o - 3*h = -t. Does 11 divide o?
False
Suppose -i + 2*r - 96 = -3*i, 3*r = 15. Does 16 divide i?
False
Suppose 8*q - 690 - 526 = 0. Does 38 divide q?
True
Let q(p) = 4*p + 2. Is 8 a factor of q(6)?
False
Suppose -2*a + 2*n = -34, -a + 3*a - 3*n = 39. Let l be 1/4 + (-3)/a. Suppose -5*u + l*x + x = -37, -3*u = 4*x - 36. Does 8 divide u?
True
Suppose 2*g = -3*g - 5*p + 390, 4*g - 303 = -p. Is 15 a factor of g?
True
Let i(l) = l**3 - 15*l**2 + 4*l + 15. Is 19 a factor of i(15)?
False
Let c = -15 + 20. Suppose 115 = 5*u + c*x, x - 4*x - 12 = 0. Does 11 divide u?
False
Suppose -2*p = -23 + 1. Is 8 a factor of p?
False
Let b = -40 + 115. Let q = b + -54. Does 12 divide q?
False
Let c(s) = -s**3 + 5*s**2 - 6*s + 4. Let o be c(4). Let y(n) = -6*n - 2. Is 11 a factor of y(o)?
True
Suppose 3*z - 30 = 2*c + c, 3*c - 3 = 0. Let u = 4 + z. Is 15 a factor of u?
True
Is (4/3)/(4 + 2108/(-528)) a multiple of 44?
True
Let f(y) = -15*y - 10. Let n be f(-5). Let h = 105 - 59. Let m = n - h. Does 17 divide m?
False
Let s = 23 + 21. Does 14 divide s?
False
Suppose -2*d - 600 = -8*d. Is 8 a factor of d?
False
Let t(x) = -x**3 - 2*x**2 - x. Let v be t(-1). Suppose v = 2*m + 2*m - 76. Suppose 5*z = f - 0*f - m, 38 = 2*f - 5*z. Is 12 a factor of f?
False
Let s(b) = -5*b + 1. Let l be s(-1). Let c(k) = k**2 - 6*k + 1. Let a be c(l). Let n = a - -4. Is 5 a factor of n?
True
Let g be ((-128)/6)/(2/(-6)). Suppose 48 = 2*k - g. Suppose c + c = k. Is c a multiple of 11?
False
Let r = 59 + -39. Does 7 divide r?
False
Suppose -3*k = -5*z + 5, 0 = -5*k - 0*z - 4*z + 41. Suppose -3*l + a + 65 = 0, 0*a + a - 111 = -k*l. Does 11 divide l?
True
Suppose 0 = -3*y + 7*y - 40. Let v = 20 - y. Is v a multiple of 3?
False
Let r(i) = -43*i**3 - 2*i**2 + 1. Let d be r(1). Is 22 a factor of -3 + 3/3 - d?
False
Suppose 0 = -4*b + 35 + 37. Let g = b - 10. Does 8 divide g?
True
Let f(i) be the first derivative of 3*i + 1 + 1/2*i**2. Is 3 a factor of f(0)?
True
Suppose 2*i - 4 - 8 = 0. Let h = i + -3. Does 9 divide 7 - (1 - 9/h)?
True
Suppose 0 = 4*p - 3*w, -3*w + 7 = -5. Suppose 4*l + 26 = 2*t, -p*t = -l - l - 39. Does 13 divide t?
True
Suppose -3*s - 25 = 2. Let x = 31 + s. Is x a multiple of 11?
True
Suppose 0 = -4*o + 2*o + 98. Is 11 a factor of o?
False
Suppose -4*y + 3*f = -y - 894, 5*f - 1450 = -5*y. Is y a multiple of 42?
True
Let s(v) = -5*v - 1. Let i be s(-3). Suppose 4*o = -t + 26, o - t - i = -5*t. Does 5 divide o?
False
Suppose -140 + 5 = -3*d. Let l = d + -6. Is 13 a factor of l?
True
Let x = 9 + -5. Let l(q) = q**2 - 6*q + 6. Let s be l(x). Does 7 divide ((-1)/3)/(s/42)?
True
Let b(m) = 3*m**3 - m**2 + m + 1. Let y be b(-1). Let t be 5/(-10) + (-14)/y. Suppose 3*g + 8 = 5*u + 43, -t*g + 50 = -2*u. Does 10 divide g?
True
Let v(u) = u**3 - 2*u**2 - 5*u - 3. Let b = 2 - -2. Is v(b) a multiple of 9?
True
Let j(l) = -l**3 + 4*l**2 + 5*l. Let t = -1 - -5. Is 10 a factor of j(t)?
True
Let u(k) = -k + 25. Is u(-14) a multiple of 9?
False
Let f(o) = -o + 43. Suppose 6*y - 9*y = 0. Is f(y) a multiple of 9?
False
Suppose -15 - 9 = -4*s. Is s even?
True
Let m be 2 + (5 - 1 - -1). Suppose 4*b - 24 = -5*t + m*b, -12 = -5*t - b. Suppose -s + 7 = -t. Is 4 a factor of s?
False
Let b(m) = -m**3 - 6*m**2 + 7*m - 10. Is b(-8) a multiple of 34?
False
Suppose 5*k - x = -0*x + 52, -k = 5*x. Let c = k + -6. Is 13 a factor of 75/4 + 1/c?
False
Suppose -2*i + 16 = -3*k + 4, -i = -4*k - 11. Let n(o) = -o**3 + 7*o**2 - 3. Let d be n(i). Let l = -12 + d. Is l a multiple of 10?
False
Suppose 4*a + 4 = 0, 10*a - 89 = -2*q + 5*a. Let h = 1 - 0. Is q/4 - h/(-4) a multiple of 6?
True
Suppose 0 = -7*d - 8*d + 3210. Does 13 divide d?
False
Suppose 6*m + 25 = m, r + 2*m = 33. Does 28 divide r?
False
Suppose 10*q - 316 = 1524. Does 22 divide q?
False
Suppose -2*v - 6 = 0, 0 = -2*r - r + v + 39. Does 12 divide r?
True
Suppose -181 = -5*b + 64. Does 9 divide b?
False
Suppose 0*g = 3*g + 7644. Does 12 divide 4/(-10) + g/(-70)?
True
Let n = -120 + 144. Is 18 a factor of n?
False
Let f(b) = 3*b - 13. Is 7 a factor of f(10)?
False
Let v be (-9)/6*1*-26. Is 13 a factor of 2 + (v - (1 + 1))?
True
Let y(r) = 5*r**2 + 2*r - 1. Let v be y(-2). Let o = 18 - v. Does 2 divide o?
False
Let s(q) be the second derivative of -q**4/12 + 5*q**3/6 + 7*q**2/2 - q. Let t be s(5). Suppose -f + t = -6. Is f a multiple of 13?
True
Let t be (-7 + 10)*(-3)/3. Does 8 divide 14*(-4)/(12/t)?
False
Let g(y) = -y + 10. Let b be g(8). Suppose -b*d + 108 = d. Suppose -4*f - l + 73 = 0, -3*f = l - 4*l - d. Is 8 a factor of f?
False
Suppose -5*m + 110