 Let q be l(1). Is -1 + (-4 - -3) + q a multiple of 10?
False
Let f = -5 + 5. Suppose -7*s + 2*s + 200 = f. Does 13 divide s?
False
Let z(p) = -3*p + 2*p + 11 + 3. Let q = -1 + 7. Is z(q) a multiple of 4?
True
Let d be 3 + -1 - (1 - 5). Let v = -15 + d. Is 3 a factor of (15/v)/((-3)/18)?
False
Let s = 61 + 129. Suppose 0 = 5*x - m - 12, -3*x + 4*m + 16 = -m. Suppose -3*r + s = x*r. Is r a multiple of 10?
False
Let k = -134 - -200. Does 9 divide k?
False
Suppose f - 1 = 2. Suppose 0 = f*t - 496 + 202. Is 33 a factor of t?
False
Suppose -757 = -3*g - 5*l, 2*g - 2*l - 2*l = 512. Suppose g = 4*h + 62. Is 24 a factor of h?
True
Let r = 23 - 14. Does 7 divide 3/2*114/r?
False
Let d = 2 + 2. Suppose -t + 20 = d*t. Let h = 11 - t. Is h a multiple of 3?
False
Suppose l = 35 + 74. Is 20 a factor of l?
False
Suppose 0 = -m - 4*m - 340. Does 19 divide 0 + 9/3 - m?
False
Let n(j) = -j**2 - 12*j - 4. Let h be n(-10). Let w = 29 - h. Does 13 divide w?
True
Let r(p) = -2*p**3 + 9*p**2 + p + 13. Let f(d) = 3*d**3 - 13*d**2 - d - 20. Let t(k) = -5*f(k) - 8*r(k). Does 14 divide t(8)?
False
Suppose 3*q - 94 = -3*u + 4*u, 4*u + 106 = 3*q. Let z = q + -17. Does 13 divide z?
True
Let x(f) = -4*f**2 - 9*f + 7. Let b(j) = j - 1. Let u be b(4). Let h(g) = 7*g**2 + 17*g - 14. Let m(r) = u*h(r) + 5*x(r). Is 7 a factor of m(-9)?
False
Suppose -n = 5 - 21. Let w be 4 + -2 + n/(-2). Let p = w - -9. Does 2 divide p?
False
Let f = 636 - 312. Is 36 a factor of f?
True
Let m be (-6)/27 + (-76)/(-18). Does 5 divide m/(1/2 + 0)?
False
Let t = -25 - -265. Suppose 3*l + 234 = 5*a, 5*a - 4*l - l - t = 0. Is 14 a factor of a?
False
Suppose 0*y - y = -3. Suppose 0 = -c - 5 - y. Is (2 + -2 - c) + -2 a multiple of 6?
True
Let a(q) = -q**3 + 4*q**2 - 2*q - 2. Let b be a(2). Suppose b*x = i, x = -3*x + 5*i. Suppose -p + 4*p - 18 = x. Is 6 a factor of p?
True
Let y = 64 - 20. Is 11 a factor of y?
True
Let o = 34 - -30. Suppose -3*j + 4*y + 58 = 0, 2*y + o = 5*j - 56. Does 10 divide j?
False
Let k = 24 - 1. Let w = 88 - k. Does 18 divide w?
False
Let n be 5 - (3 + 0 - 6). Let b = 51 - n. Does 17 divide b + -6 + (-1 - 2)?
True
Suppose 8*n - 60 = 3*n. Let a = n + -4. Does 8 divide a?
True
Let b(c) = 6*c**2 + c - 1. Does 7 divide b(3)?
True
Suppose 0 = -5*l + 3*n + 83, 2*l + 5*n = -0*n + 27. Is 5 a factor of l?
False
Let j(n) = n**3 - n**2 - n + 9. Suppose -2*i = -6*i. Is j(i) a multiple of 8?
False
Let r = -15 - -12. Is 9 a factor of r/((-2)/(21 - 3))?
True
Suppose -4*q = -0*q - 180. Suppose -13 = -2*t + q. Is t a multiple of 9?
False
Suppose -v + c - 53 = -3*v, c = -3*v + 78. Is 7 a factor of v?
False
Suppose 2*t + 2*t = 8. Suppose 0 = -t*u - 2*u + 60. Is 5 a factor of u?
True
Let q(j) = 2*j**2 + 7*j + 1. Let i be ((-12)/16)/((-1)/4). Suppose 4*z = -f - 25, 2*f - i*f + 20 = -5*z. Does 16 divide q(f)?
True
Let u = 104 - 60. Is u a multiple of 13?
False
Suppose -m + 33 = 5*f - 3*m, 12 = -3*m. Suppose 5*s - s = 3*v - 15, 0 = v - f. Suppose -p + 32 - 11 = s. Is p a multiple of 7?
True
Let w(u) = -3*u - 8. Let p be w(-6). Suppose 0*y + p = 5*y. Is y a multiple of 2?
True
Let l be (6 - 7)*134/(-2). Suppose 2*d + c - 72 = 3*c, -2*d + c = -l. Does 8 divide d?
False
Suppose -28 = -3*z - 82. Is 14 a factor of (3*1)/(z/(-132))?
False
Let l = 7 + -4. Is l a multiple of 3?
True
Let m = -4 - -7. Suppose m*x = -8*i + 4*i + 20, -x + 4 = 0. Is 2 a factor of i?
True
Suppose -236 - 70 = 3*c. Let v = -72 - c. Does 5 divide v?
True
Let c(x) = x**3 + 8*x**2 + 7*x + 3. Let q be c(-7). Suppose q*t = -3*y - 1 + 7, 4 = -y - 3*t. Does 4 divide (2/y)/((-1)/(-10))?
True
Let f = -45 + 104. Is f a multiple of 18?
False
Suppose -1 = 2*o + 9, -2*j - 3*o + 41 = 0. Does 14 divide j?
True
Let v = 13 - 20. Let y be (2 - 1) + (1 - 27). Let l = v - y. Is 9 a factor of l?
True
Suppose f = -3*h + 1 - 10, -2*h - 11 = f. Let b = 5 - f. Is b a multiple of 18?
False
Suppose -4*w - 3*f + 376 = w, -f - 3 = 0. Is 4/14 + 4983/w a multiple of 17?
False
Suppose 0 = 3*l - 9 - 0. Let o be l*(2/3)/2. Is 59/3 - o/(-3) a multiple of 11?
False
Let i = 6 - -3. Is i a multiple of 9?
True
Let b = 56 + 58. Is b a multiple of 19?
True
Let b = -29 - -11. Let v be 4/b + (-136)/36. Is 18 a factor of v/((-4)/(-2)) - -39?
False
Let o(n) = 100*n**2 - 2*n - 9. Let l(q) = -50*q**2 + q + 4. Let x(a) = -7*l(a) - 3*o(a). Does 25 divide x(-1)?
True
Let n be (4 + 2)/2 + 0. Suppose 176 = n*z + z. Does 22 divide z?
True
Suppose 3*b - 70 = 32. Is b a multiple of 4?
False
Suppose 5*w - g - 105 = 2*g, 2*w - 42 = -4*g. Does 13 divide w?
False
Suppose 4*a - 2*a = 6. Suppose -2*p - a*p = -65. Does 13 divide p?
True
Suppose -15*s - 55 = -16*s. Is s a multiple of 6?
False
Suppose -3*m - 4*s = 147, -5*m - 237 = 2*s + 2*s. Let q = -9 - m. Does 12 divide q?
True
Suppose -3*h + 110 = 5*w, -3*h = -5*h + 4*w + 44. Is h a multiple of 5?
True
Suppose 0*h - 15 = -h. Suppose -z - h = -1. Let i = z - -38. Does 12 divide i?
True
Let t(o) = 6*o - 2 - o**2 - 2 + 0 + 0*o**2. Let w be t(5). Does 8 divide -29*w*(-2 + 1)?
False
Let t = -34 - -21. Let p = 7 + t. Does 2 divide (-1)/(-3) - 40/p?
False
Let p(w) = 2*w**2 - 19*w - 8. Is 6 a factor of p(11)?
False
Let s = -48 - -80. Suppose 4*c = -t + 116 + 6, s = c + t. Is 10 a factor of c?
True
Let k(p) = -p - 1. Let x be (3/5)/(4/20). Let b be k(x). Let i = b - -15. Does 9 divide i?
False
Let b(p) = 7*p + 3. Let z(i) = 6*i + 3. Let f(n) = 4*b(n) - 5*z(n). Is 3 a factor of f(-7)?
False
Suppose 5*j = -4*i - 43, 2*j + i + 0*i = -16. Let f = 0 - j. Is f a multiple of 7?
True
Let w = 2 - 2. Let b(j) = 22 + 0*j**2 + j**3 + 6*j**2 - 5*j**2 + 0*j**3 - j. Is 8 a factor of b(w)?
False
Let t(g) = 5*g**2 - g - 4. Does 13 divide t(5)?
False
Let l = 87 + 17. Is l a multiple of 13?
True
Suppose 9*q - 10 = 8*q. Let t = q + -1. Is t a multiple of 9?
True
Let o(d) = d**2 + 3*d + 2. Let u be o(-5). Is 37 a factor of (-18)/u*(-76)/3?
False
Let i = 3 - -35. Is i a multiple of 5?
False
Let s = 1 + 2. Suppose 17 = -2*h + s*h. Suppose 5*p = h - 2. Is p a multiple of 2?
False
Suppose -3 = 4*o + 5. Is (o + -6)*2/(-4) a multiple of 2?
True
Suppose -5*h - 4 + 139 = 0. Is 9 a factor of h?
True
Let w(f) be the second derivative of -f + 1/6*f**4 + 0 - 2/3*f**3 - f**2. Does 14 divide w(5)?
True
Let c(w) = 6*w**3 - 13*w**2 + 2*w - 8. Let m(b) = 7*b**3 - 14*b**2 + b - 8. Let r(t) = -6*c(t) + 5*m(t). Is r(7) a multiple of 4?
True
Suppose -4*w + 0*t - 4*t = 32, 2*t - 56 = 4*w. Let u = w + 22. Does 4 divide u?
False
Let o be (22/3)/((-12)/54). Let b = o + 65. Is 16 a factor of b?
True
Let j(r) = r**3 - 3*r**2 + 7*r - 9. Let v be j(5). Suppose 2*f + 2*f - v = 0. Does 9 divide f?
False
Let l(u) be the first derivative of -3 + 7/2*u**2 + 7*u - 1/3*u**3. Does 13 divide l(6)?
True
Let n = 19 - 46. Let w = n + 39. Suppose -3*d + 2*x + 0 = -34, 4*x + w = -d. Is 6 a factor of d?
False
Suppose -2*q + 12 + 3 = 5*a, 4*q = -4*a. Is a a multiple of 3?
False
Let z = 297 - 136. Does 8 divide z?
False
Let j(c) = -c + 1. Let s = -34 - -23. Is 12 a factor of j(s)?
True
Suppose -437 + 6 = -4*c - 3*g, -5*c + 4*g = -500. Suppose 4*z = 40 + c. Is z a multiple of 12?
True
Suppose 5*d - 1796 = -76. Does 43 divide d?
True
Suppose -5*p + 2*t = 20 - 60, -4*t = 2*p - 16. Is 11 a factor of ((-2)/3)/(p/(-132))?
True
Let z(s) = -14*s + 22. Does 22 divide z(-11)?
True
Let q be 4 + (-7)/(21/6). Suppose -18 = -0*h - q*h. Does 9 divide h?
True
Let v be (1 - 4)/((-3)/(-18)). Let k = 27 + v. Suppose -7 = -2*h + k. Is 4 a factor of h?
True
Let d(f) = f - 4. Let p be d(4). Let a(k) be the first derivative of k**2/2 + 22*k + 4. Is 9 a factor of a(p)?
False
Let z(s) = -s**3 - 6*s**2 - 6*s + 2. Is 3 a factor of z(-5)?
False
Let i(v) = 5*v**2 - 9*v + 7. Let f(d) = -14*d**2 + 26*d - 20. Let b(h) = 4*f(h) + 11*i(h). Let a be b(4). Does 17 divide (15 - (-3 - -2)) + a?
True
Suppose -37 + 181 = 8*y. Is 5 a factor of y?
False
Let x(f) = -f**2 - f. Let z(q) = 7*q**2 + 13*q + 5. Let b(u) = 6*x(u) + z(u). Let v be b(-6). Let y(j) = -47*j**3 - 2*j**2 + 1. Does 23 divide y(v)?
True
Let p(l) = -l**3 + 4*l**2 - 2*l. Let h be p(3). Let u(o) = -2*o - h + 6*o - 3. Is 10 a factor of u(7)?
False
Suppose 0 = -t - 4*t + 10. Let l be ((-8)/(-20))/(t/10). Suppose h - 13 = -x, 10 = -4*h - l. Is 7 a factor of x?
False
Suppose -k = -1 - 1. Let 