et s be l(4). Is (-9)/(-9) + s*11 a multiple of 10?
False
Suppose 5*n + 25 = 0, n - 259 = -0*s - 4*s. Is 18 a factor of s?
False
Let z be 1/(2 + -1 - 2). Let c = z - 3. Let k = 6 + c. Is 2 a factor of k?
True
Suppose 3*o + 64 = 7*o. Suppose -2*s + 274 = 4*x, -5*s - 9 = o. Does 25 divide x?
False
Let k(v) be the second derivative of -v**4/12 + v**3/6 + 2*v. Let y be k(1). Suppose -2*m = -5*t + 70, 0 = -2*t + m - y*m + 28. Does 7 divide t?
True
Suppose -1319 + 318 = -11*r. Is r a multiple of 13?
True
Let o(k) = 20*k**3 + 7*k**2 + 15*k - 41. Let p(n) = 7*n**3 + 2*n**2 + 5*n - 14. Let l(s) = 6*o(s) - 17*p(s). Let t = 15 - 22. Is 3 a factor of l(t)?
True
Let l(q) = q**3 - 10*q**2 + 6. Let w be l(10). Suppose w*i - i - 75 = 0. Suppose -5*j - i = -0, 4*r - 2*j = 190. Does 16 divide r?
False
Let j be 6/9*(-9)/(-1). Is j/(-27) + 256/18 a multiple of 13?
False
Suppose -2*o + 20 = -0*o. Let u = o + -6. Suppose -60 - 4 = -u*q. Is q a multiple of 8?
True
Let m(h) = 4*h - 8. Does 2 divide m(4)?
True
Let n = -155 + 194. Is 27 a factor of n?
False
Let s(i) = 14*i**3 + 2*i - 3. Is 23 a factor of s(2)?
False
Let r(a) = -a. Let l be r(-2). Suppose 170 = 3*m + l*m. Suppose 0*b + 5*o - m = -2*b, -4*b + 40 = -4*o. Is 12 a factor of b?
True
Suppose -i = 4*g - 19, 17 = -3*g + 5*g + 3*i. Suppose -2 = -g*w + 10. Suppose 4*o - w*o = -3*p + 58, 4*o - 32 = -2*p. Does 20 divide p?
True
Suppose -5*g + 1 = -3*z, z - 2*g - 1 = -3. Suppose -2 - z = -2*s - u, 7 = 5*s - 2*u. Suppose -s*h = -22 - 50. Is 24 a factor of h?
True
Suppose 2*z = 4*u - 2*u - 64, -z = -5*u + 172. Is u a multiple of 6?
False
Let q(a) = -a**3 - 3*a**2 - a. Let z be q(-3). Suppose z*d = -0*d + 117. Is d a multiple of 15?
False
Suppose 3*d - 4*d = 4*t - 5, 3*d = -2*t - 5. Suppose 0 = c - t*a + 28, -c + a = 16 + 7. Let v = 34 - c. Is v a multiple of 15?
False
Let m(t) = t**3 - 7*t**2 + 2*t. Let v(y) = y**2 - y - 5. Let b be v(4). Let w be m(b). Let p = 27 - w. Is 13 a factor of p?
True
Let j(r) be the third derivative of r**6/40 - r**5/30 + r**3/6 - r**2. Is j(2) a multiple of 9?
False
Let x = 41 + -29. Is x a multiple of 12?
True
Let g be (-1)/(-2)*(-3 - -7). Suppose 0 = -5*v - q + 46, -3*v + 28 = -q + g*q. Is 8 a factor of v?
False
Suppose 2*d + 0 = 8. Suppose d*s - 2 = 2. Is ((-2)/((-4)/70))/s a multiple of 14?
False
Suppose 0 = 4*w - 6 - 18. Does 3 divide w?
True
Let h(q) = -2*q**2 + 4*q + 1. Let z be h(4). Let r = 39 - z. Is 14 a factor of r?
False
Suppose -4*v + 0*u - 3*u + 238 = 0, -54 = -v + 2*u. Let b = v - 41. Is 17 a factor of b?
True
Let l = 85 + -43. Does 6 divide l?
True
Suppose -2*k - 3*k = -15. Suppose 0 = j - k*j - 132. Is j/(0 + 2 + -4) a multiple of 11?
True
Let c(g) = 2*g**2 - 10*g + 8. Let o(w) = w**2 + w + 4. Let a be o(-2). Is c(a) a multiple of 7?
False
Let a = 16 + 8. Is a a multiple of 8?
True
Suppose -2 + 6 = -2*x. Let t(q) = q - 1. Let s be t(x). Does 2 divide (0 - 1)*1*s?
False
Suppose 0 = 3*g - 5*h - 271, 2*h = -4*g + 3*h + 350. Is g a multiple of 20?
False
Suppose k + 13 - 79 = 0. Is 24 a factor of k?
False
Suppose 45 = 3*h - 15. Does 10 divide h?
True
Suppose -41*a - 16 = -42*a. Is 2 a factor of a?
True
Let w = 0 - -17. Does 4 divide w?
False
Let q(u) be the first derivative of -u**5/120 - u**4/24 - u**3/3 - 1. Let l(n) be the third derivative of q(n). Is l(-6) a multiple of 5?
True
Let k(c) = -7*c - 1. Let j be 1/(0 - 1)*3. Let n be k(j). Let q = n - 0. Does 10 divide q?
True
Suppose 5*b = -0*b + 20. Suppose 2*x - o - 56 = -b*o, -3*o - 12 = 0. Does 17 divide x?
True
Does 10 divide (-8 - 142)*(-2)/6?
True
Let h(y) be the third derivative of -3*y**4/4 - y**3/6 + y**2. Is h(-3) a multiple of 25?
False
Let q(a) = 0 - 7 + 2*a + 0*a. Let z be q(5). Is (6/8)/(z/12) a multiple of 3?
True
Let l(j) = j - 116*j**2 + 12 + 115*j**2 - 4*j. Is l(-5) a multiple of 2?
True
Suppose y + 320 = 5*y. Is 8 a factor of y?
True
Let r(w) = 2*w - 10. Let g be r(7). Suppose -g*q = 3*a - 3*q - 17, 5*q - 9 = 4*a. Does 2 divide a?
True
Let l(d) = -2*d - 6. Let h be l(-4). Suppose h*o = -0*o + 40. Is 14 a factor of o?
False
Let a(i) = i**2 + 9*i + 9. Let c be a(-6). Let t = c + 2. Let m(y) = -2*y + 5. Does 9 divide m(t)?
False
Let q(n) = n**2 - 8*n - 2. Is 3 a factor of q(9)?
False
Suppose -5*s + 2*i + i + 21 = 0, -3*i - 12 = -2*s. Is 8 a factor of s*((-44)/(-6) - 2)?
True
Let z = 1 + 5. Let p(h) = -h**2 + 9*h - 4. Let b(x) = -x**2 + 10*x - 5. Let a(m) = -2*b(m) + 3*p(m). Does 3 divide a(z)?
False
Let f(g) = g**2 - 4*g - 6. Let z be f(-4). Is z/3 - 2/(-6) a multiple of 6?
False
Suppose 0 = -5*p - p + 180. Does 15 divide p?
True
Let m = 38 - 12. Is 13 a factor of m?
True
Suppose -7*z + 151 = 4. Is 13 a factor of z?
False
Let p be (12/(-8))/(6/(-4)). Let h be p/(-4) - 441/(-4). Suppose -w - w - 3*r = -51, 5*w - h = -4*r. Does 9 divide w?
True
Let x(u) = 3*u - 4. Let w be 3 - 0 - (-2)/2. Suppose -w*o = -13 - 11. Does 14 divide x(o)?
True
Let k(a) = 2*a**2 - 3*a + 9 - 3*a**2 + 10*a + 2*a**2. Is k(-7) a multiple of 9?
True
Let m = -2 - 26. Let u = m - -104. Does 12 divide u?
False
Let m be 6/27 + (-25)/(-9). Let j be m*(0 - -1)/1. Suppose -3 = j*w, 0 = -3*i + i - 5*w + 31. Does 15 divide i?
False
Suppose 2*h - 40 = 120. Is h a multiple of 40?
True
Let t(c) = -6*c - 10. Is t(-3) even?
True
Let a = 100 - 38. Let o = -4 + 14. Suppose -2*c + a = -o. Is c a multiple of 18?
True
Let n be (-14)/35 + 47/5. Suppose 5*a = 2*c + 2 - n, 0 = -c - 5*a + 11. Does 3 divide c?
True
Let r(w) = 2*w**3 - 3*w**2 - w. Let d be r(3). Let m = d + -11. Is m a multiple of 13?
True
Suppose 7 = -m - 5*k, -1 = -3*m - k + 20. Is 2 a factor of m?
True
Let b be (30/(-9) + 1)*-9. Suppose b = 5*t - 34. Suppose -r = -t - 6. Is r a multiple of 17?
True
Let r(v) = v**2 - v - 1. Let l be r(0). Let a be ((-14)/(-35))/(l/(-10)). Does 3 divide a/18 + (-104)/(-18)?
True
Suppose 2*k - 4*s = -24 - 6, -3*k + 5*s = 41. Let m = 10 + k. Let b = 2 + m. Is 5 a factor of b?
True
Does 5 divide (-60)/(-9) - (-12)/9?
False
Let h be -2 - (-2 + (-150)/3). Let s = 70 - h. Is s a multiple of 20?
True
Suppose -384*q + 388*q = 140. Is 5 a factor of q?
True
Let y be 81/6 + 6/(-4). Let f = y + -5. Is 4 a factor of f?
False
Let t(j) = 3*j**2 + 7*j. Let a be t(-5). Suppose -10 = -3*x + 3*z + 20, 5*x = 3*z + a. Is 5 a factor of x?
True
Suppose -3329 = -12*t - 1385. Is t a multiple of 27?
True
Let u(o) = -2*o - 2. Let p be u(-3). Suppose -4*s + 22 = -y - 10, 2*s - 196 = 5*y. Is ((-2)/p)/(5/y) a multiple of 3?
False
Let x = 2 - 0. Suppose 0 = -3*g + 5*g + b - 9, -x*g - 3*b = 1. Is g a multiple of 5?
False
Suppose -4*l + 4*u = -28, 3*l + u - 2*u - 19 = 0. Let w = 16 - l. Does 10 divide w?
True
Suppose -95 = -5*a + 3*n, -5*a - 25 + 110 = -n. Is a a multiple of 8?
True
Let j(i) = i**3 - 6*i**2 - 3*i + 4. Let b be j(6). Does 7 divide (b/7)/(2/(-26))?
False
Let n = -190 + 113. Let t = 131 + n. Suppose -3*h + 0*h + t = 0. Does 18 divide h?
True
Let r(q) = q**3 + 4*q**2 - 16*q - 9. Is r(-6) a multiple of 5?
True
Let d be 102/(-5)*20/(-6). Does 12 divide (2/(-4))/((-2)/d)?
False
Suppose 6*f - 5*f = 60. Does 20 divide f?
True
Let q(s) = 7*s - 7. Let x be q(5). Let n = 10 - -5. Suppose -x = -o + n. Is 19 a factor of o?
False
Suppose z = -2*z, -5*z + 132 = t. Does 9 divide t?
False
Let n be (-4)/(3*3/18). Does 8 divide n/2*(-12 - -8)?
True
Suppose -15 = -2*r + 9. Suppose -2*c + g + 44 = -g, 0 = -3*c - 3*g + 42. Let f = c - r. Does 3 divide f?
True
Suppose 3*k - 351 = -78. Suppose 2*u + 4*v - 6*v = 94, k = 2*u - 5*v. Does 16 divide u?
True
Suppose 0 = -4*y + g + 52, 24 + 4 = 4*y + 5*g. Suppose 0 = -3*u + 39 - y. Let q = u - -15. Is 13 a factor of q?
False
Let j = 1 + -6. Does 12 divide 7 + j + 27*1?
False
Suppose -7*r + 336 = -3*r. Let n be 15/20 + 406/(-8). Let k = n + r. Is k a multiple of 10?
False
Let k(h) = h + 9. Let r be k(-7). Suppose -2*p + 20 - r = 0. Is 4 a factor of p - -1 - (-8)/(-4)?
True
Suppose 396 = 3*n + 3*n. Is n a multiple of 22?
True
Let b(h) = h**3 + 4*h**2 - 7*h - 5. Let o be b(-4). Suppose -f - o + 78 = 0. Is f a multiple of 17?
False
Let i = -56 + 165. Is 8 a factor of i?
False
Suppose 19 = 2*r - 3*y, -2*r - 5*y - 1 = 20. Suppose -2*c + 4*q + 8 = 0, 2*c + 2*q + 2 = -r. Suppose c*x + 12 = 2*x. Does 3 divide x?
True
Let b = 41 - 86. Let j = b + 22. Let c = 33 + j