 -26 + 6, -3*d = -n + 8. Is n a multiple of 7?
True
Let y(a) = -33*a**3 - 2*a**2 - 2*a - 1. Let o be (6/3 - 0)/(-2). Is 13 a factor of y(o)?
False
Let f(n) = -2*n**2 + 6*n + 1. Let k be f(5). Let v = -11 - k. Is 2 a factor of v?
True
Suppose 5*j - 625 = -0*j. Is 5 a factor of j?
True
Suppose 188 = g + 47. Let i = -83 + g. Is 13 a factor of i?
False
Let g(v) be the second derivative of 1/6*v**3 + 0 - 1/12*v**4 + 3*v + 0*v**2 + 7/4*v**5. Is 13 a factor of g(1)?
False
Suppose 5*s - 5*m = 0, 5*s = -m + 17 - 5. Let y be 9 + 1 + 0 - s. Suppose -5*h + 40 = 5*l, h + y*l = 3*l + 20. Does 5 divide h?
True
Let z(u) = u**2 - 7*u + 12. Let g be z(8). Suppose -n + 3*w - g = 5*w, 5*n + 2*w = -108. Let c = -16 - n. Is c a multiple of 2?
True
Let z = -77 - -161. Is z a multiple of 14?
True
Let l(i) = -9 + 10*i + i - 5*i. Is 15 a factor of l(4)?
True
Let o(m) be the third derivative of m**5/60 - m**4/3 - 9*m**3/2 - m**2. Is 2 a factor of o(11)?
True
Let u(m) be the second derivative of -m**4/12 + m**3/6 + 6*m**2 + 2*m. Let l be u(0). Suppose 2*a + a = -2*r + 52, 2*r = a - l. Is a a multiple of 12?
False
Let u(s) = -27*s - 3. Let y be u(3). Let c = y - -129. Is 11 a factor of c?
False
Let h be 2/3 + 76/12. Let w(v) = 4*v - 4. Is w(h) a multiple of 12?
True
Let b(v) = -v**3 - 24*v**2 + 24*v + 11. Is 4 a factor of b(-25)?
True
Suppose -5*y + b = -10*y + 220, -5*y + 5*b + 220 = 0. Is 21 a factor of y?
False
Let p = 2 + 0. Let h = p - -16. Is h a multiple of 9?
True
Suppose -3*h + w = 209, -4*h - 3*w - 415 = -132. Is ((-1)/2)/(7/h) a multiple of 3?
False
Let o(c) = 165*c - 15. Is 15 a factor of o(2)?
True
Let b = 11 - 7. Suppose 3*g - 12 = 0, -5*h - 5*g + 69 = -b*g. Does 6 divide h?
False
Let y(l) = -l**3 - 13*l**2 + 14*l - 4. Let k be y(-14). Does 28 divide 2 - 52/8*k?
True
Let q(x) = 203*x. Let k be q(1). Suppose -4*t = -k + 55. Does 18 divide t?
False
Suppose 3*b + 3*o + o = 35, -3*o + 15 = 0. Suppose 3*u - 5 = 2*t, -2*t + b*t + 10 = 5*u. Is 2 a factor of t?
False
Let p(l) = 6*l + 6. Let r be p(5). Suppose 6*z - 3*b = 2*z + 44, -r = -5*z - b. Is 4 a factor of z?
True
Suppose -2*l + 3*s + 22 = s, 2*l = -3*s + 47. Suppose l = 6*a - 2*a. Is 2 a factor of a?
True
Let o(y) = 1 + 4*y + 6*y - 10. Let f(u) = -u + 1. Let p(w) = -6*f(w) - o(w). Is p(-7) a multiple of 12?
False
Let w = -4 + 7. Suppose -w*p - 3*y + 76 = -2*y, -5*y - 76 = -4*p. Does 10 divide p?
False
Let o(j) be the first derivative of 2*j**3/3 - j**2/2 - 2*j - 1. Is 8 a factor of o(-3)?
False
Let z = 62 + -26. Suppose -2*r - 8 = 0, -z + 11 = -c - 3*r. Does 23 divide c?
False
Suppose -5*y + 3 + 37 = 0. Let b(w) = 14*w - 16. Is 23 a factor of b(y)?
False
Let d = 276 + -163. Suppose -34 = -3*u + d. Is u a multiple of 19?
False
Suppose -q + 5*q - 28 = 0. Let t(g) = -g**3 + 8*g**2 - 3*g - 2. Let z be t(q). Let l = z - -25. Does 17 divide l?
True
Let u(a) = 1 - 2*a + 1 + 2. Let b be (-2)/4 + 40/(-16). Is 4 a factor of u(b)?
False
Suppose 2*b - 32 = 24. Is 7 a factor of b?
True
Let k = 32 - -2. Does 16 divide k?
False
Is 6 a factor of (-140)/(-12) + 4/12?
True
Suppose 4*o = 5*m - 831, 144 = 2*m - o - 186. Suppose 28 = -5*y + m. Let v = -17 + y. Is v a multiple of 7?
False
Let m(r) = r**3 + r - 3. Let i be m(0). Is 3/i*-19 - 0 a multiple of 7?
False
Let s = 4 + -2. Let w be 6 + (-1 + s - 2). Suppose -76 = 3*j - w*j. Is j a multiple of 19?
True
Let v(u) = -u**3 + 12*u**2 - u + 6. Let g be v(12). Let t(j) = -4*j - 6. Does 12 divide t(g)?
False
Let a = 20 - 5. Suppose 5*z - 2*z = a. Is z a multiple of 2?
False
Suppose 5*b = -2*b. Let a(x) = 2*x - x - x**3 + 21 - x**2 + 4. Is a(b) a multiple of 25?
True
Let d be 4/2 + (-2 - 0). Let m(g) = g**3 + 2. Is 2 a factor of m(d)?
True
Let m = 72 - 31. Let a = m - 25. Let x = 28 - a. Is 12 a factor of x?
True
Suppose -7*t + 3*t + 28 = 0. Let u(a) = -a**2 + 7*a - 2. Let r be u(t). Is 13 a factor of 38 + (r - -3)/(-1)?
False
Let z(c) be the second derivative of 7*c**3/6 + c**2/2 - 3*c. Is 7 a factor of z(1)?
False
Suppose d - 6*d - 3*v = -10, 4*d - 15 = -v. Suppose -f = f, d*x = 3*f + 45. Suppose -2*b + 37 = -x. Does 8 divide b?
False
Let z = 3 - 9. Is (-34)/z - 1/(-3) a multiple of 6?
True
Let l(d) = -d**3 + 12*d**2 - 12*d + 14. Does 3 divide l(11)?
True
Suppose 0 = 3*k - 56 - 187. Suppose -z + 6*z - k = -3*h, 2 = h. Does 7 divide z?
False
Let f = -39 - -12. Let y = f - -61. Is y a multiple of 34?
True
Let q(y) = -4*y + 2*y**2 - y**2 + 5*y. Let a be q(1). Suppose -a*g - 12 = -4*g. Does 4 divide g?
False
Let i(v) = v - 2. Let l be i(6). Suppose w + 13 = y - w, -5*y + l*w = -35. Suppose 80 = y*g + 2*g. Is 6 a factor of g?
False
Let c(r) = 2*r - 15. Let p be c(13). Let u = p + 1. Is 12 a factor of u?
True
Suppose 2 = -h, -13 - 61 = -2*l + 4*h. Is l a multiple of 21?
False
Let k(s) be the third derivative of s**4/24 + 5*s**3/2 - 2*s**2. Let l be k(-11). Suppose 0 = 5*q - l*q - 13. Is 13 a factor of q?
True
Let b(f) = f**2 + 10*f + 11. Let w be b(-9). Suppose 3*u + w*u - 140 = 0. Is u a multiple of 13?
False
Let b be 51/(3/1) - 3. Is 12/(-42) - (-312)/b a multiple of 11?
True
Let n = 19 - 10. Suppose -3*g + 10 = -2. Suppose 0 = g*m - 71 - n. Is 20 a factor of m?
True
Suppose -3*k - 633 = 9. Let u = -144 - k. Is u a multiple of 24?
False
Suppose -24*d + 21*d + 531 = 0. Is d a multiple of 38?
False
Let h be 0/((-3)/(-1)) - 13. Let y = h + 18. Does 8 divide (y*-1)/((-3)/9)?
False
Suppose k - 5 + 40 = 0. Let s = k + 61. Let t = s + -9. Is 6 a factor of t?
False
Let t(x) be the first derivative of x**4/4 - x**3 + x**2/2 + 2*x + 2. Let k be t(3). Is (-1 - -5)*k/2 a multiple of 5?
True
Let r be -1 + 0 + 2 - -1. Suppose -v = r*v - 9. Let l = v + 8. Is 11 a factor of l?
True
Suppose 192 = -f + 5*f. Suppose -f = -2*x - 2*x - 2*d, 5*x - 69 = 2*d. Is 10 a factor of x?
False
Let u = 17 - 19. Does 2 divide (u*(-1 + -6))/2?
False
Let u = -6 - -5. Does 8 divide (u + (-17)/(-4))*4?
False
Let v be (-2)/(-2) + 4*-1. Is (29/4)/(v/(-12)) a multiple of 5?
False
Let z = -19 + 38. Is 19 a factor of z?
True
Let g be ((-25)/5)/((-2)/2). Let y = g + 33. Does 17 divide y?
False
Let y(r) = 2*r**2 - 5*r - 8. Is y(-3) a multiple of 5?
True
Let n(g) = -10*g + 1. Let r be n(5). Let d = 3 - r. Is d a multiple of 17?
False
Let g = -3 - -15. Let b be 9/(-6)*112/g. Let o = b + 34. Is o a multiple of 8?
False
Let d = 422 + -247. Is d a multiple of 13?
False
Suppose 4*j - 61 = -5*y, -2 = -4*j - 4*y + 54. Does 6 divide j?
False
Let w(s) = 14*s + 5. Let b be w(-2). Let r = -9 - b. Is 6 a factor of r?
False
Let x(k) = -2*k**3 - k**2 - 11*k - 7. Does 13 divide x(-5)?
True
Suppose 96 = -h + 4*h. Does 4 divide h?
True
Let z = 3 + -1. Is z even?
True
Let l be 8/(-6)*21/(-14). Suppose -c - 3*q + 6*q + 43 = 0, 181 = 5*c + l*q. Does 28 divide c?
False
Let z = 0 - -4. Suppose 5 - 21 = -z*d. Suppose g + d*g - h - 59 = 0, 3*h + 1 = -g. Does 7 divide g?
False
Let w be (2/4)/(1/82). Suppose -q - w = 3*b, b - 285 = 4*q + q. Let k = -6 - q. Does 17 divide k?
False
Let d(n) be the first derivative of -21*n**2/2 - 2*n - 2. Is 15 a factor of d(-2)?
False
Is 1/2 - 103/(-2) a multiple of 13?
True
Suppose 113 = 4*b + 5*h, -4*b - 3*h = -3 - 100. Is b a multiple of 6?
False
Let d = -407 - -627. Is d a multiple of 10?
True
Suppose -5*q - 47 = -192. Let r = 48 - q. Does 13 divide r?
False
Does 3 divide (126/24)/((-12)/(-64))?
False
Suppose -2*l - l = -5*y + 1110, 3*y - 2*l - 666 = 0. Does 15 divide y?
False
Let j = 1 + 14. Suppose 5*t = j + 10. Suppose -2*i = 5*v - 8 + 3, t*i = -v - 22. Does 3 divide v?
True
Let t = 12 - -3. Is t a multiple of 10?
False
Suppose -a - 3*a = -324. Does 16 divide a?
False
Let w(h) = h**2 - 3*h - 1. Let o be w(4). Suppose -o*b = -m + 21, 4*b + 52 = m + m. Is 12 a factor of m?
True
Let k(r) = 53*r**3 - r**2 - 7*r. Let g(d) = -79*d**3 + d**2 + 10*d. Let n(o) = -5*g(o) - 7*k(o). Suppose -5*j + 2*j + 3 = 0. Is 13 a factor of n(j)?
False
Let t = 65 - -23. Does 10 divide t?
False
Suppose 0 = 4*x - n + 2*n - 74, 4*x = n + 78. Suppose 0*d + d - x = 0. Is d a multiple of 18?
False
Let y = -11 + 15. Suppose -y*j - j + 75 = 0. Does 11 divide j?
False
Suppose 6*d = -50 + 482. Is 6 a factor of d?
True
Let p be 4/10 - 138/(-30). Suppose -55 = -p*f + 2*d - 178, -2*f + 5*d = 45. Is (f/10)/(2/(-24)) a multiple of 9?
False
Suppose 2*