8, 0 = n - 4*d - 12 - 54. Let h = n + -48. Is 12 a factor of h?
False
Does 19 divide 76/(-8)*5/((-15)/18)?
True
Let n(c) = -c**2 - c. Let p be n(-1). Suppose -x = 3*f, -2*f - 6 + 4 = p. Is 2 a factor of ((-12)/10)/(x/(-10))?
True
Let m(d) = d - 5. Let z be m(7). Let o be z/3 + (-6)/9. Suppose y + 5*k = 18, -3*y + 67 = -o*y + 2*k. Is 8 a factor of y?
False
Suppose 4*v - 92 = 5*b, 0*b + 3*b + 12 = 0. Does 9 divide v?
True
Is 14 a factor of ((-35)/(-20))/(2/48)?
True
Let f be 1*1/((-3)/(-6)). Suppose 3*v = f*v + 30. Does 10 divide v?
True
Let v be 1 + (2 - -1) + 0. Let f be 19/(-4) + (-1)/v. Is 6 a factor of ((-6)/f)/((-6)/(-45))?
False
Suppose 0 = 3*q - 13 + 40. Let h be 138/9 - 3/9. Let m = h + q. Does 3 divide m?
True
Let j = -141 - -276. Suppose -h + j = -0*h. Suppose 5*y - h = -5. Does 13 divide y?
True
Let u = -20 - -60. Is 40 a factor of u?
True
Let s be 8/(-36) - (-58)/18. Suppose s*i = i. Let m = 13 + i. Is m a multiple of 5?
False
Let w be (-370)/(-45) - (-2)/(-9). Let y = w - 5. Is 15 a factor of (45 - -1) + 1 + y?
False
Suppose -x - 2*x + 64 = 4*q, 2*x - 4*q - 76 = 0. Does 19 divide x?
False
Let c(m) = -2*m + 4*m - m. Let l be c(2). Suppose -n + 4*s = 2*n - 70, 2*n - 56 = -l*s. Is 13 a factor of n?
True
Suppose -5*c + 355 = -4*w - 0*w, 4*w = 20. Suppose v - 6*v = -x - 95, c = 5*v + 3*x. Does 5 divide v?
False
Let w be (282/10)/(3/15). Suppose -a = -4*a + w. Let g = 75 - a. Does 11 divide g?
False
Let s = -17 + 43. Is s a multiple of 7?
False
Let z be -5*(13 + 2)*-1. Suppose 2*u - z = 27. Is 22 a factor of u?
False
Suppose -5*q - 258 = -5*h - q, 3*q = 2*h - 106. Suppose -2*u + 2*z + 32 = -0*u, -h = -2*u - 4*z. Is u a multiple of 6?
False
Let a be ((-4)/(-2))/(3/93). Let m = -16 + a. Is 23 a factor of m?
True
Suppose 4*v - j - 1884 = 0, -5*v - 4*j + 2355 = -0*j. Suppose 3*d + 8 = -d, v = 5*z - 3*d. Does 24 divide z?
False
Suppose l - 103 + 19 = -5*h, 2*l + 3*h - 140 = 0. Is l a multiple of 8?
True
Suppose 0 = -4*o - o. Let y = 3 + o. Suppose -y*x + 20 = 2*x. Is x a multiple of 4?
True
Let n be (-2 - -1)/((-4)/8). Suppose -2*y + 3*i = -25, n*y + 39 = 5*y - 5*i. Is y a multiple of 4?
True
Let n = 102 - 42. Does 23 divide n?
False
Let d be 40/(-3)*(2 + -5). Suppose h = -3*h + d. Does 5 divide h?
True
Let n = -27 - -16. Is (-2 - -4)/2 - n a multiple of 4?
True
Suppose 296 = 3*r - 10. Is 30 a factor of r?
False
Suppose -4*w + 365 = 101. Is w a multiple of 22?
True
Suppose 493 + 431 = 21*c. Does 4 divide c?
True
Let k(q) = q**2 + 2*q + 6. Let y be k(-2). Suppose 5*z - 4*a - 230 = 0, 0 = 4*z + z - 5*a - 235. Suppose -3*o + 47 = -4*u, u + z = 4*o + y*u. Does 6 divide o?
False
Let q(y) be the third derivative of -y**6/120 + y**5/12 + y**4/4 - 3*y**3/2 - 6*y**2. Is q(5) a multiple of 7?
True
Suppose 0 = -3*p + 295 + 155. Is 30 a factor of p?
True
Suppose -5*b + 2*m - 8 = 0, 4 = -2*b - 2*b + m. Let f = -23 + 23. Suppose b = 5*y - f*y - 90. Does 9 divide y?
True
Suppose -10 - 22 = -4*d. Is 9 a factor of d/8*11*1?
False
Let d(y) = -y - 13. Let o be d(3). Let q(m) = m**3 - m**2 - 2*m + 2. Let p be q(-3). Let t = o - p. Does 4 divide t?
True
Let x(z) be the third derivative of -z**5/60 + z**4/6 - z**3/6 - z**2. Let h be x(2). Suppose -h*b = -2*b - 8. Is 3 a factor of b?
False
Suppose -46*u + 27 = -43*u. Is 3 a factor of u?
True
Suppose 5*l - 112 = 88. Does 20 divide l?
True
Let b be (7/(-5))/((-6)/30). Suppose b*a + 125 = 12*a. Is 11 a factor of a?
False
Suppose 0*x - 1 = -x. Is 6 a factor of 0 + x + 168/6?
False
Suppose 5*x + 20 = 6*x. Suppose 66 - x = 2*l. Does 23 divide l?
True
Let v = -75 - -250. Is 37 a factor of v?
False
Let o(j) = -5*j - 5. Let p be o(-3). Suppose -2*i + p = -0*i. Is i a multiple of 5?
True
Suppose -43 + 173 = -3*u - 4*a, -4*u - a = 169. Is 7 a factor of 398/14 + 18/u?
True
Let t = 12 + -8. Let u(n) = n**3 - 4*n**2 + 5*n - 4. Is 16 a factor of u(t)?
True
Let q(o) = o - 2. Let x be q(0). Let k be 0/(3 - (-4)/x). Suppose c - 13 = -k. Is c a multiple of 13?
True
Suppose -5*o + 377 = -d + 3*d, -2*d - 162 = -2*o. Does 21 divide o?
False
Let g(u) = u**2 + 7. Is g(5) a multiple of 17?
False
Does 9 divide (-1 - 1)/(6/(-27))?
True
Let m(v) = 2*v**2 - v. Suppose 0*a = -2*a - 2. Let i be m(a). Suppose i*r - 45 = 57. Does 17 divide r?
True
Let c(h) be the first derivative of 3*h**2/2 - 6*h + 4. Let y be c(4). Suppose -2*o = -u + 44, -u + o + 36 + y = 0. Is 20 a factor of u?
True
Let q(u) = -u**3 - 6*u**2 - 7*u - 6. Let l be q(-6). Let w = 24 + -8. Let i = l - w. Is 10 a factor of i?
True
Let j(k) = -15*k - 3. Let a be j(-3). Suppose a = -0*g + 2*g. Is g a multiple of 21?
True
Let i = 198 - 15. Does 40 divide i?
False
Suppose 0 = 3*l, -4*t - l = -138 - 210. Suppose 4*q - 5*i - t = 0, -q + 25 = -4*i + 6*i. Is 23 a factor of q?
True
Let u(y) = -7*y - 20. Let v be u(-6). Does 11 divide v*(-4 - 11/(-2))?
True
Suppose 6*n - 5*n = -3. Does 14 divide (2/1 - -15) + n?
True
Let b = 47 - 15. Is 8 a factor of b?
True
Let s(f) = 19*f**2 - 3*f + 1. Is s(1) a multiple of 3?
False
Let v = -72 - -132. Suppose v = 5*n - n. Is 15 a factor of n?
True
Suppose 3*d = 3*f - 33, 3*f - 37 = -2*d + 3*d. Suppose a - 4*w = -f, 113 = -3*a - 2*a + 4*w. Let s = a + 41. Does 8 divide s?
True
Let v(r) = r**2 - 4*r + 4. Is v(9) a multiple of 15?
False
Let i = -103 - -162. Let y = -32 + i. Suppose -5*m + 142 = 3*f + y, -4*f = 4*m - 84. Is 13 a factor of m?
True
Let m(g) = 8*g**2 + 2*g**2 - 11*g**2 - 2 + 11*g. Is m(9) a multiple of 8?
True
Let j = -4 - -7. Let y be 4/(j/(-24)*2). Let t = 31 + y. Is 4 a factor of t?
False
Let j = -5 + 3. Does 23 divide (j/3)/((-2)/69)?
True
Let d be -16*(-3 + 7 - 3). Let q be -30*(-2 - d/5). Let g = 58 + q. Is 8 a factor of g?
False
Let v(g) = 6*g**2 + 1. Let a be v(-1). Let x be a + -2 + (-2 - -2). Suppose 0*t + x*t = 80. Is t a multiple of 6?
False
Let y(s) = 3*s - 15. Let u(l) = l - 4. Let p(j) = 9*u(j) - 2*y(j). Does 18 divide p(8)?
True
Let c be -18*(24/(-3) - 2). Suppose -5*r = -0 + c. Let d = r - -52. Is d a multiple of 8?
True
Suppose 0 = -5*j + 5*d + 10, -5*j = 4*d - 23 - 5. Suppose -9 = -j*u + 147. Let x = -5 + u. Is x a multiple of 15?
False
Let j = 94 + -75. Is j even?
False
Let v(y) be the second derivative of 21*y**3 + 3*y**2/2 + 3*y. Let w be v(4). Is 12 a factor of (-4)/16 + w/12?
False
Let h = -25 + 64. Does 13 divide h?
True
Let m = 118 - 52. Is 11 a factor of m?
True
Suppose -3*c + 143 = y, 4*c + y = -0*y + 191. Suppose -5*g - 2*k = -0*g - 106, -2*g + c = -2*k. Is 202/g - (-6)/(-33) a multiple of 9?
True
Let o(u) = -u**2 - 12*u - 6. Does 3 divide o(-11)?
False
Suppose -5*x = 2*l - 30, -2*x + 18 = x - 4*l. Let h(d) = -7*d**2 + 9*d + 14. Let a(n) = n**2 - 1. Let b(o) = x*a(o) + h(o). Does 4 divide b(9)?
True
Suppose 0 = -4*l - 2*t, 3*t + 20 = 4*l - 0. Suppose -2*x + 0*u = 5*u + 9, 0 = -4*u - 12. Suppose -x*o = l*o - 50. Does 10 divide o?
True
Let n(l) = -6*l**2 + 6*l + 8. Let c(j) = 5*j**2 - 6*j - 8. Let s(x) = -5*c(x) - 4*n(x). Suppose g + 4*g - 30 = 0. Is 4 a factor of s(g)?
True
Suppose -168 = -v + 4*a, 3*v = 2*a + 595 - 91. Does 28 divide v?
True
Suppose -3*w + 27 = -5*n, 3*w - 2*w = n + 9. Is w a multiple of 9?
True
Suppose -12*z + 244 = -8*z. Is 5 a factor of z?
False
Let d be 1*(2 - 2*-32). Suppose -d = -6*h + 3*h. Let k = -11 + h. Is 11 a factor of k?
True
Suppose -3*r - 87 = -6*r. Suppose -2*n = -w - r, 2*n + 3*w - 35 = -2*w. Is 11 a factor of n?
False
Suppose 5*c - 558 = -o, 3*o + 120 - 2 = c. Is 7 a factor of c?
True
Let k be (28/(-3))/((-2)/3). Suppose 3*h + 5 - k = 0. Suppose h*v + 0*d - d = 43, 4*v - 4*d = 44. Is v a multiple of 16?
True
Let s = 7 + -11. Let j = 352 - 226. Does 16 divide j/4 + (-2)/s?
True
Suppose 0 = y + y - 8. Suppose -r + 4 = 0, 3*c - 23 = -y*r + 38. Is 5 a factor of c?
True
Suppose -20*y + 11*y + 720 = 0. Does 5 divide y?
True
Suppose 6*r = r + 230. Does 27 divide r?
False
Let j(b) = -2*b + 5. Let n be j(-4). Suppose -5*u + 1 = 3*s - 33, -2*u + n = s. Is 2 + (-12)/(s - 6) a multiple of 3?
True
Let o(j) be the third derivative of j**5/60 + j**4/4 - j**3/3 - 2*j**2. Is 22 a factor of o(-9)?
False
Is 9 a factor of (-257 + 2)*(-1)/(-10)*-4?
False
Suppose 4 = 4*n - 4. Let v be (-2 - -3)*(4 - -1). Suppose -3*c = 2*r - 34, r + n*r - v*c - 13 = 0. Is r a multiple of 4?
False
Let l(n) = 8*n + 27.