*v = -55 - 5, b = -3*v + 40. Is b a multiple of 19?
False
Let u(w) be the first derivative of -w**5/10 - w**4/6 - w**2/2 - w - 1. Let g(x) be the first derivative of u(x). Does 7 divide g(-2)?
True
Suppose 78 = -21*j + 23*j. Does 18 divide j?
False
Let r(z) = z**3 - 9*z**2 - z + 11. Let n be r(9). Suppose -5*k - 57 = -3*q, q + 18 = 2*q - n*k. Is q a multiple of 11?
False
Suppose 3*p + 2*p - 60 = 0. Let a = p + -5. Is a/(1/((-3)/(-1))) a multiple of 20?
False
Let i(a) = -a**3 - a**2 - 3*a - 2. Is 18 a factor of i(-4)?
False
Let v = -6 - -6. Suppose -3 = -r - v. Suppose -5*c + 2*c = o - 68, 84 = 3*c - r*o. Is c a multiple of 12?
True
Let c be (0 - 1)/(1/(-2)). Suppose -g = -5*t - 25, 0 = -5*t + g + c*g - 25. Is 23 a factor of (-276)/(-15)*t/(-2)?
True
Suppose -4*b - v = -315, -5*v - 78 = -b + 6. Suppose -2*g + 17 = -b. Is 24 a factor of g?
True
Let m = -11 + 31. Is 9 a factor of m?
False
Let x = -41 - -106. Does 12 divide x?
False
Let l(u) = u**2 + 9. Is l(-6) a multiple of 9?
True
Suppose -4*u - 25 + 77 = 0. Suppose -3*z - 3*v = -87, -6*v + v + u = z. Is 10 a factor of z?
False
Let g(d) = -2*d + 10. Let w be g(5). Suppose w = 2*u - 15 - 25. Is 6 a factor of u?
False
Suppose 4*w - 1 - 11 = 0. Suppose 0 = -3*d - 3, 4*r - 18 = w*d + 1. Is 2 a factor of r?
True
Suppose 4*t - 70 = -5*g + 24, 0 = 3*g + 5*t - 46. Let k = g - -54. Does 17 divide k?
False
Let q = 4 + -2. Suppose -2*s = q*t + 16 - 162, t = 5*s - 359. Suppose 62 = 4*r - r - a, -s = -4*r + 4*a. Does 9 divide r?
False
Let r be -3 + (1 + -4)/3. Is 11 a factor of (2/r)/((-2)/132)?
True
Let u(t) = -t**3 - t**2 + t + 4. Let d be u(0). Suppose d*l - 43 - 41 = 0. Is 90/l - (-4)/(-14) even?
True
Suppose -2 = -t + 3. Suppose t*j - 245 = -4*w, w + 178 = 4*w - 2*j. Is 16 a factor of w?
False
Let j = -22 - -32. Let n be j/3 - (-4)/6. Suppose n = u - 4. Is 7 a factor of u?
False
Let h be (32/(-24))/(1/(-123)). Let p = 236 - h. Does 24 divide p?
True
Let z(i) = 42*i**3 + i + 1. Let v be z(-1). Let o be (-4)/16 - v/8. Let c = 1 + o. Is 6 a factor of c?
True
Suppose -y + 0*t + 21 = -4*t, -t - 63 = -2*y. Is y a multiple of 33?
True
Let j = 19 - 29. Does 18 divide (54/(-15))/(2/j)?
True
Let v(x) be the first derivative of -x**4/4 - 2*x**3/3 - 3*x**2/2 - 4*x - 3. Let h = 0 - 3. Is 7 a factor of v(h)?
True
Let t(r) = -r**2 - 12*r - 11. Does 6 divide t(-10)?
False
Let i(k) = k - 6. Let o be i(7). Let f(u) = 25*u**3 + 1. Let v be f(o). Suppose 0 = 4*z - 2*z - v. Is 13 a factor of z?
True
Suppose 5*n + 3*k - 525 = 0, 3*n - 2*k - 334 = -0*n. Does 27 divide n?
True
Let z(k) = -k**2 - 7*k - 6. Let j be z(-5). Does 3 divide (-1 - 12)/(-5 + j)?
False
Is 37 a factor of ((111/4)/3)/((-6)/(-120))?
True
Let w = 14 + -8. Let q be -2 - 1/((-1)/w). Does 2 divide (q - 2)*(-12)/(-8)?
False
Let c(q) = -85*q + 10. Let s be c(-8). Let j be s/4*6/9. Suppose -d = -5*v + j, 3*d - 97 = -3*v - 2*d. Is 12 a factor of v?
True
Let w = 0 - -2. Suppose -114 = 3*a - 7*a + 3*t, -t = w. Suppose 5*b - a = 4*b. Is b a multiple of 10?
False
Suppose -3*h + 0*h = j - 6, -4*j - 27 = -5*h. Suppose -5*i + 94 = h*g, 0 = -3*g - 0*g + 3*i + 54. Is 13 a factor of g?
False
Suppose -2*c - 6*c + 96 = 0. Is 6 a factor of c?
True
Does 19 divide 4*(57/4)/3?
True
Let a(n) = 1 + 18*n**2 - n + n. Suppose -4*t - 5*x = -18 - 6, -3*x + 9 = -3*t. Is a(t) a multiple of 8?
False
Suppose 5*v = -3*m + 53, 3*m - 2*v - 140 = -2*m. Let l = m - 16. Let g = 29 - l. Does 7 divide g?
False
Suppose -40 = 4*t - 112. Is t a multiple of 7?
False
Let s be (-4)/(-10) - (-8)/5. Suppose -d - d = s, 0 = -u + d + 9. Does 4 divide u?
True
Suppose j + 2*c = 6*j - 210, 0 = 3*j - 4*c - 140. Is j a multiple of 15?
False
Let z(c) = -6*c - 13. Does 19 divide z(-18)?
True
Let l = 16 - 0. Suppose -4*q = 0, 0 = -2*c + q - l + 84. Is 21 a factor of c?
False
Let v be (2 + 3)/(-2 - -3). Let s = -3 + v. Suppose -s = 2*u - 54. Is u a multiple of 13?
True
Let r be 2/(2/(-156)*3). Does 13 divide ((-3)/3)/(4/r)?
True
Suppose -3*r + 458 = -49. Suppose 5*g - r = -0*g + 3*k, 5*g - 179 = -2*k. Is 6 a factor of g?
False
Suppose 4*s - 3*s = 1. Let f(d) = 63*d**3 - 2*d**2 + 1. Let p be f(s). Suppose 3*b + 0*b - 78 = -3*m, 0 = -3*m + 5*b + p. Is m a multiple of 10?
False
Suppose 0 = t - 3*t + 252. Does 18 divide t?
True
Suppose -9 = -5*n + 111. Is 10 a factor of n?
False
Suppose 5*z - 1 = 9. Suppose 0*x - z*x + 4 = 0. Is 3 a factor of 3 + (x - (-2 + 1))?
True
Is 20 - (-2)/((-5)/(-5)) a multiple of 2?
True
Let c = 10 - 5. Does 3 divide c?
False
Let i(p) = -p**3 - p**2 + 4. Suppose 15 = 3*c + 3*j, -c - 15 = 3*c - 3*j. Let n be i(c). Suppose -7*a = -n*v - 2*a + 13, 5*a = 5*v - 15. Is 2 a factor of v?
True
Suppose 0 = 5*q - 2*u + 6*u - 1905, 0 = q - 4*u - 405. Does 55 divide q?
True
Let y = 66 - 45. Does 15 divide y?
False
Let l(j) be the third derivative of -j**6/120 - j**5/60 + j**4/24 + 19*j**3/3 + 4*j**2. Is l(0) a multiple of 14?
False
Suppose 0*d = 2*d. Suppose w + 2*l - 20 = -d*w, -3*l = w - 23. Suppose -w + 113 = 3*n. Is 14 a factor of n?
False
Let c(y) = y**2 + 11*y + 7. Let m be c(-11). Suppose 3*h - m*h - 80 = -4*q, -40 = -2*q - 2*h. Is q a multiple of 10?
True
Let q = 42 - 5. Is q a multiple of 10?
False
Suppose 0 = 2*o + b - 21, -o - 1 = -2*b + 1. Suppose -3*w + o = -136. Does 12 divide w?
True
Suppose 4*p - 5*p = -2. Suppose -3*y - 3*x + 105 = -4*x, -56 = -p*y - 4*x. Let f = y - 21. Does 6 divide f?
False
Let j = -9 - -37. Is j a multiple of 14?
True
Let g(h) = -2*h - 3. Let b be g(-9). Suppose 355 = 5*n + b. Is 17 a factor of n?
True
Let o be (-4 - 0)*(-1)/1. Let j = o - 16. Let l = -5 - j. Does 7 divide l?
True
Let p(w) = -w**2 + 7*w + 2. Let u be p(7). Suppose u*m - 124 = -2*m + 5*k, 0 = -2*k + 8. Is 7 a factor of m?
False
Let z = 43 - 6. Let x = z - 21. Is 13 a factor of x?
False
Let d(r) = r**2 - 4*r - 12. Is 15 a factor of d(8)?
False
Let s be -5*(-4 + -1 + 4). Suppose -4*m + 0 = -12. Is 8 a factor of (-308)/(-20) + m/s?
True
Let h(i) = -i**3 - i**2 + 4*i - 7. Is 9 a factor of h(-5)?
False
Suppose a + 76 = -4*j - 2*a, -a = 0. Let b = -5 - j. Suppose -3*u - 2*g + b = 0, 0 = -4*u - 0*g - 3*g + 17. Is u a multiple of 8?
True
Suppose n - 636 = -5*j, 2*n - 628 = -5*j - n. Does 32 divide j?
True
Suppose 0 = -0*q + q. Is 7 a factor of 3 - (3 + -19 + q)?
False
Suppose 37*u - 25*u = 1704. Is 21 a factor of u?
False
Suppose -51 = 5*v - 226. Does 10 divide v?
False
Suppose -13 - 8 = -4*l + 3*s, 5*l = 2*s + 21. Let x(t) = t + 3 + t**3 + t**2 + 0*t**2 - l*t. Is x(2) a multiple of 6?
False
Let b(k) = 2*k**3 + k**2 - k + 1. Is 3 a factor of b(1)?
True
Suppose -2*g = -4*m - 86, 0 = 4*g + g - 3*m - 194. Suppose -g = -3*i - 4. Is 11 a factor of i?
True
Let j = 11 - 8. Suppose 14 - 2 = j*w. Does 8 divide w/2 - (0 + -16)?
False
Suppose 0 = -4*c + c + 2*k + 146, -5*c = 5*k - 285. Is 15 a factor of c?
False
Suppose 2*u = -2*z + 2, -5*z = -0*u + 3*u - 7. Suppose -s + 18 = 5*m, m + z*m - 6 = -3*s. Is m a multiple of 2?
True
Let t = 41 + -94. Let w = t - -125. Does 24 divide w?
True
Suppose 13 = -q - 1. Let a = 24 + q. Is 9 a factor of a?
False
Let v(a) = 9*a - 3. Let p(g) = -g + 1. Let i(u) = 4*p(u) + v(u). Suppose -9 = -t - 5*z + 15, 0 = 2*t + 3*z - 20. Is 7 a factor of i(t)?
True
Suppose -2*k + 5*o = 3*k - 280, k = -4*o + 56. Does 14 divide k?
True
Let i be ((-7)/3)/(2/(-6)). Suppose -5*a + 217 - i = 0. Let w = -21 + a. Is 21 a factor of w?
True
Let k(z) = -z**2 + z**2 + z - 6*z**2 - 2 + 2*z**2 - z**3. Let n be k(-4). Does 7 divide ((-9)/(-6))/(n/(-56))?
True
Suppose 3*i = -2*p - i + 96, 0 = -3*i. Is p a multiple of 12?
True
Let u(v) = 9*v**3 - v**2 + 2*v. Is 18 a factor of u(2)?
True
Does 2 divide (-3)/(2*(-2)/12)?
False
Let b be 2/1*1 + 9. Let f = b - 6. Suppose -6 = -f*r + 74. Does 6 divide r?
False
Suppose 5*p - 22 = 3*n, 0*n - 2*n + p = 10. Let r(t) = -t**3 - 3*t**2 - 6*t - 5. Is r(n) a multiple of 12?
False
Let k be ((-16)/(-10))/(4/10). Does 6 divide (-4 - -3) + 3 + k?
True
Suppose -3*w + 4*x = -81 + 18, -5*w = x - 128. Does 6 divide w?
False
Let r be -1 - 4*(0 - 1). Suppose -r*t = -3*o - 96, 1 = o - 0*o. Is 16 a factor of t?
False
Let r be ((-5)/4)/((-2)/8). Suppose -4 = -b + r. Is 1 + 4/(12/b) a multiple of 4?
True
Let p be -60*(-1 + -2 - -1). Suppose 0*z - 3*z = -p. Is z a multiple of 26?
False
Let y = 