 = 7 - 5. Let u = a + 0. Suppose -6 = -c - 3*b, -c - 3*c - u*b = -54. Is 10 a factor of c?
False
Let b = -30 - -35. Does 3 divide b?
False
Let f(j) = -26*j - 4. Is f(-4) a multiple of 23?
False
Let q be (0 + -2)*2/(-4). Let c(m) = 51*m**2. Does 17 divide c(q)?
True
Suppose -x + 0*x + 30 = 0. Let m = x - 57. Does 8 divide 2/9 + (-237)/m?
False
Suppose 44 - 204 = -5*x. Does 9 divide x?
False
Let o be (3 + -4)/(1/(-13)). Suppose -5*b = -o - 87. Does 10 divide b?
True
Is 35 a factor of (3 - 174/(-1)) + -2?
True
Let w be 3 + 0/((-8)/(-4)). Is 7 a factor of (w/(-2))/(9/(-186))?
False
Suppose 0 = -j - 3*j + w + 21, -2*j + 5*w = -15. Let m be -7*(j + 1)/2. Does 6 divide 2/(-2*3/m)?
False
Let x(o) = 6*o**2 + 2*o - 2. Let v be x(-2). Suppose 0 = 3*a - 114 + v. Is 8 a factor of a?
True
Let l(y) = -2*y**3 - 5*y**2 + 5. Is l(-5) a multiple of 30?
False
Suppose -5*l + 115 = -135. Does 10 divide l?
True
Suppose 0 = -2*i + 22 + 68. Does 9 divide i?
True
Let n = 7 + -5. Suppose 5*z = n*z - 12. Does 7 divide z/2*(-7)/2?
True
Let v = -12 + 36. Does 12 divide v?
True
Let n(f) = -4*f + 2. Is 17 a factor of n(-10)?
False
Let a(z) be the second derivative of -z**5/20 - z**4/6 + z**3/6 + 2*z**2 - 6*z. Suppose -3*j - 5*x + 0*x = 29, 0 = -j + x + 1. Is a(j) a multiple of 10?
True
Let u = -23 + 42. Suppose -4 = 4*c - 4*m, 0*m - 11 = 3*c - 5*m. Suppose 0 = c*d - 83 - u. Does 17 divide d?
True
Suppose -2992 = -9*m + 50. Does 26 divide m?
True
Let h(d) = -3*d + 1 - 3 + 5. Is h(-7) a multiple of 8?
True
Let c = 558 - 225. Suppose 0 = 2*j - c - 127. Does 13 divide (-5)/15 + j/6?
False
Suppose -2*q - 3*q + 100 = 0. Suppose 8 = 5*g - g. Suppose -g*u = -q - 14. Is 8 a factor of u?
False
Suppose -b = -4*b + 21. Is 5 a factor of b?
False
Suppose 2*b = -5*a + 11, 3*a = b - 0 + 22. Let k(v) = -v**3 - 8*v**2 - 10*v + 1. Let p be k(b). Suppose h - 3*h = -p. Does 9 divide h?
False
Suppose 11 = 4*z - 1. Let b(p) = -2*p**3 - 3*p**2 - 2*p - 3. Let r be b(-2). Suppose 20 = z*k + r. Is k a multiple of 5?
True
Let a = -119 - -189. Is 5 a factor of a?
True
Let j be (26/(-4))/((-5)/70). Let k be 14/j - (-160)/(-26). Let u = k - -22. Does 7 divide u?
False
Let p = 148 - 78. Does 27 divide p?
False
Suppose 5*r - 2*m - 26 = 33, -2*m + 51 = 5*r. Does 4 divide r?
False
Let s = 35 - 32. Let z(t) = t**3 - 6*t**2 + 5*t + 2. Let b be z(5). Suppose s*f - 5*c = -b + 66, -4*f + 2*c + 76 = 0. Is 9 a factor of f?
True
Suppose 4 = -c - 2. Let o = c - -15. Is 9 a factor of o?
True
Suppose -5*z - 38 = -508. Let g = -58 + z. Is g a multiple of 12?
True
Suppose -4*h = 0, 3*x + 5*h = h + 378. Does 18 divide x?
True
Let r be (2/6)/(2/12). Let w be ((-2)/(-4))/(r/24). Suppose -4*b + 70 - w = 0. Is b a multiple of 9?
False
Let s(l) = -3*l + 13. Is 8 a factor of s(-20)?
False
Suppose 13 + 8 = 4*s - x, -4*x = 3*s + 8. Let u(g) = 2*g**2 + 4*g - 5. Does 18 divide u(s)?
False
Suppose -16 + 0 = -4*m, 0 = -d - 3*m + 6. Let c be 9/(2 + (d - -3)). Does 18 divide 4/(-6) - 330/c?
True
Suppose 5*q - 4*q = 6. Does 6 divide q?
True
Suppose o + 5 = -4*o. Let q be 1*2 - (-1 - o). Let b = q + 15. Does 9 divide b?
False
Let l(t) be the second derivative of t**5/12 - t**4/8 + t**3/2 - 3*t**2/2 + 3*t. Let b(g) be the first derivative of l(g). Is 13 a factor of b(2)?
False
Suppose 0 = -4*s - 0 + 8. Let u(l) = -l + 1. Let z be u(-4). Let b = s + z. Is b a multiple of 7?
True
Suppose -r - 434 = -5*y, -2*y + r - 262 = -5*y. Is y a multiple of 12?
False
Let b be 0*(-1)/(-1) - -22. Let d = 31 - b. Does 11 divide 20 + 3/(d/(-3))?
False
Suppose 3*f + 2*f = 55. Suppose -7*s + f*s - 56 = 0. Is s a multiple of 6?
False
Let g(x) = x + 14. Let l be g(-9). Let n(t) = -t**3 + 7*t**2 - 3*t + 1. Does 12 divide n(l)?
True
Let v be -1*(-8 - -1) + -2. Suppose -v*f = -3*y - 290, 5*f + 2*y = 197 + 93. Suppose -5*c + 51 = 2*n, c = -2*n + 3*c + f. Is n a multiple of 14?
True
Let k = 180 - 90. Is k a multiple of 15?
True
Let f = -17 + 31. Is f a multiple of 14?
True
Is ((-135)/10)/(6/(-72)) a multiple of 9?
True
Let t(d) = -2*d**3 - 4*d**2 + 3*d - 1. Is t(-5) a multiple of 10?
False
Suppose -4 - 1 = 5*z. Suppose 0 = -x + 2*x - 7. Let g = x + z. Does 5 divide g?
False
Let v(x) = -x + 36. Is v(11) a multiple of 18?
False
Is 8 a factor of (-120)/(-18)*6/1?
True
Let y = -2 - -1. Let u be (y - 3)*(-102)/8. Let t = -34 + u. Is t a multiple of 8?
False
Suppose 0 = -y + 4*y. Let p = 54 + y. Does 9 divide p?
True
Let u = -3 - -9. Suppose -4*a + u = -j, -j - 4*a + a = -8. Is 18 a factor of j/8 - (-278)/8?
False
Suppose 12 = 4*p + 4. Let s = 58 + p. Is s a multiple of 15?
True
Suppose -10 = d + d. Let t = 33 + d. Does 9 divide t?
False
Let c(a) be the second derivative of a**5/20 + a**4/2 + 3*a**2 + 2*a. Suppose 18 = -6*t + 3*t. Does 3 divide c(t)?
True
Is (-2)/(15*1/3)*-395 a multiple of 9?
False
Let t(l) = -149*l - 1. Is 27 a factor of t(-1)?
False
Does 19 divide (-2)/3*342/(-4)?
True
Suppose -5 - 3 = 2*m. Let p = m + 6. Suppose 5*s + 3*h = 7 + 5, 11 = p*s - 5*h. Is 3 a factor of s?
True
Let h(c) = -3*c**3 - c**2. Let r be h(-1). Suppose 3*v - 4*k = -0*v - r, -2*v - 4*k = 8. Is 16 a factor of -4*(-6 - v/(-1))?
True
Suppose 5*l = 4*u - 5, -u + 11 = l + l. Let d = 3 + u. Suppose -52 = -5*z + d. Is 4 a factor of z?
True
Let y(f) = -f**3 + 2*f**2 + f + 3. Let i be y(3). Let d = i + 5. Suppose 4*r - 76 = -5*o, 3*r + d*r = 4*o - 28. Does 7 divide o?
False
Suppose 2*a + 2*r = 5*r - 6, 2*a + 5*r = 26. Suppose -q - 2*n = -3*n + 53, a*n - 61 = q. Let o = q + 75. Is o a multiple of 13?
True
Let k(j) = 8*j. Is k(6) a multiple of 6?
True
Let r be (-15)/(-4) - 3/(-12). Suppose -5*j + r*s + 24 = 0, -4*j + 3 = -5*s - 18. Suppose 0 = -j*k - y + 109, 2*k - y - 45 - 2 = 0. Is 13 a factor of k?
True
Let b(o) = -3*o**3 - 2*o**2 + 6*o + 3. Let f(r) = 7*r**3 + 5*r**2 - 13*r - 7. Let z = 7 + -9. Let v(a) = z*f(a) - 5*b(a). Does 14 divide v(3)?
True
Let u(v) be the second derivative of -v**3/2 + 4*v. Let h be u(-8). Suppose -f = -h + 6. Is 9 a factor of f?
True
Let t be 0 - (1 + 15/(-3)). Suppose -1 = w - t. Is 3 a factor of w?
True
Suppose -5*b + 0*w = -2*w + 19, -28 = 5*b + w. Let p(y) = 2*y + 2. Let t(q) = -2*q - 3. Let r(f) = -3*p(f) - 2*t(f). Does 3 divide r(b)?
False
Let r(s) = -s**3 - 4*s**2 - 2*s. Let m be r(-3). Let i be (-3 - -2)*(m + 2). Is 4 a factor of (3 - -6)*(0 + i)?
False
Suppose -3*f - 3 = -0. Let x be f - (1 + -50 + -2). Suppose x = 2*u - 2. Does 14 divide u?
False
Let w be 2 - 1 - 1 - 88. Let n = 123 + w. Is 12 a factor of n?
False
Let i(l) = -l**2 + 9*l + 2. Let r(k) = -3 + 26*k + 8 - 3*k**2 + 1. Let c(f) = 17*i(f) - 6*r(f). Is c(-3) a multiple of 8?
True
Suppose -11 = 2*q + 1. Let c be q/(-27) - (-374)/18. Suppose x = -2*x + c. Does 2 divide x?
False
Suppose 49 = -0*d + 7*d. Suppose 4*j + 93 = d*j. Does 20 divide j?
False
Let z(c) = c**2 + 16*c - 24. Is z(-22) a multiple of 27?
True
Let o(b) be the second derivative of b**5/20 - b**4/3 + b**3/2 - b**2 + 5*b. Is o(5) a multiple of 19?
True
Suppose 3*r - 2*r + 1 = y, -2 = -5*y + 2*r. Suppose y = k + 3*k. Suppose f + k*h = 2*h + 34, -3*h + 111 = 3*f. Is f a multiple of 16?
False
Suppose 4*o - 5*o - 5 = 0, 0 = 4*s - o - 205. Is s a multiple of 10?
True
Let x(n) be the first derivative of -7*n**2/2 + 2*n - 1. Suppose -5*w = -7*w - 4. Does 16 divide x(w)?
True
Suppose -5*y - 5*j + 325 = 0, -y + j = -4*y + 199. Is -2 + 1 + y + -5 a multiple of 21?
False
Suppose -16*f = -15*f - 60. Does 12 divide f?
True
Suppose -898 = -7*l + 362. Is l a multiple of 12?
True
Let o(k) = -k**3 - 6*k**2 + 14*k + 20. Is 7 a factor of o(-8)?
False
Let s(h) = 6*h**3 + 2*h**2 + 2*h. Let q(v) = v**2 + v. Let i(d) = -6*q(d) + 3*s(d). Is i(1) a multiple of 17?
False
Let f = 47 + -17. Is f a multiple of 10?
True
Let j(c) = 4*c + 5. Let p be j(7). Let h = 46 - p. Is 9 a factor of h?
False
Let k be (-5 - -2)*(-53)/(-3). Let i = -29 - k. Is i a multiple of 24?
True
Is 14 a factor of 286/4 - 3/6*3?
True
Let d(x) = 1. Let f(s) be the second derivative of s**4/12 + s**3/2 + s**2 + 2*s. Let b(q) = -4*d(q) + 2*f(q). Is b(-5) a multiple of 11?
False
Suppose 5*q = 2*q - 180. Let c = q + 102. Does 14 divide c?
True
Let u be -126*1/6*-26. Is u/15 + (-10)/25 a multiple of 14?
False
Let u = -279 - -455. Is 44 a factor of u?
True
Suppose 81 - 11 = 7*y. Is y a multip