, 0 = -i*b - j + 169. Is 6 a factor of b?
False
Let h = 0 - 16. Let c = h + 37. Is c a multiple of 7?
True
Let k(j) be the first derivative of -j**2/2 + 12*j + 2. Let u be k(0). Suppose 4*b - 10 = -2*n, -2*n + 4*b + u + 38 = 0. Is 15 a factor of n?
True
Let z(i) = 12*i**2 + 2*i + 1. Does 3 divide z(-1)?
False
Let v be (1 - 4)*(-2)/2. Let f be (-12)/20 - (-84)/15. Suppose 2*n + f*r = 38 + 11, 78 = 3*n + v*r. Does 12 divide n?
False
Let d(m) = m**3 + 9*m**2 + 8*m. Let o be d(-8). Suppose o = -4*k - 5*a + 106, 4*k - k - 2*a = 68. Does 6 divide k?
True
Suppose -5*c = -c - 240. Is c a multiple of 15?
True
Let o(r) = -3*r**2 + r - 2. Let b(t) = -2*t**2 - 1. Let d(w) = 5*b(w) - 4*o(w). Let s(v) = v**3 + 4*v**2 + 2*v - 1. Let n be s(-3). Does 3 divide d(n)?
True
Let d = -15 - -9. Is ((-3)/d)/((-2)/(-72)) a multiple of 18?
True
Let p(o) = -o**2 + 6*o. Let m be p(6). Let d(j) be the third derivative of -j**5/60 + 11*j**3/3 + j**2. Is d(m) a multiple of 11?
True
Suppose -3*k + 4 = -2*h + 13, 4*k + 12 = -5*h. Let r(i) = i**3 + i**2 - i + 11. Does 7 divide r(h)?
False
Let r(i) = 4*i**2 - 15*i + 20. Does 4 divide r(4)?
True
Does 4 divide 13/2 - 6/4?
False
Let f be (-2 + 1)/((-5)/10). Suppose 10 = 4*r - f. Is 2*r/(9/30) a multiple of 10?
True
Suppose 4*t + 5*z - 2 = 19, -3*z + 7 = t. Suppose t*o + d - 92 = -d, 2*o + 4*d - 46 = 0. Is 12 a factor of o?
False
Let h(x) be the second derivative of x**4/12 - x**3/6 + 2*x. Let a be h(1). Suppose u + 4*u - 40 = a. Is u a multiple of 4?
True
Is 18/(-81) + (-2704)/(-18) a multiple of 75?
True
Suppose -4*t = 16, -2*k - 2*t - 32 = -4. Let p be 20/(-9) + k/(-45). Let d(v) = -18*v - 3. Is d(p) a multiple of 16?
False
Suppose 0 = -3*b - d + 21, -3*b + 20 = b + 4*d. Is 8 a factor of b?
True
Let i = -4 - -6. Let o(t) = 0 + t**2 + 0 + 6*t + i. Is 2 a factor of o(-6)?
True
Let x(z) = z**3 + 7*z**2 + z + 9. Let w be x(-7). Suppose 3*y + 0*y + 2*l = 17, w*l + 46 = 4*y. Is 6 a factor of y?
False
Suppose 3*d - 101 + 14 = 0. Is 6 a factor of d?
False
Suppose 3*t + 5*y = t + 17, 2*y - 30 = 5*t. Let o = t - -4. Let q = 13 - o. Is q a multiple of 5?
False
Let a = -66 - -68. Let d(v) = 5*v**2 + v - 1. Let g be d(-2). Let y = a + g. Is 5 a factor of y?
False
Let q(t) be the first derivative of -t**3/3 + 2*t**2 + 5*t - 1. Let f be q(5). Does 2 divide 3 + f + -2 + 2?
False
Let z = 18 + 78. Is 6 a factor of z?
True
Let y(a) = a**2 - 2*a - 7. Let j be y(5). Let z(g) = -g**2 + 9*g - 4. Let v be z(j). Is 9 a factor of v*3/18*36?
False
Suppose -5*x = -5, -c + 15 + 36 = 3*x. Is 16 a factor of c?
True
Let c(r) = -r**2 + 5*r - 4. Let m be c(5). Let b(a) = -2*a + 2. Let o be b(m). Suppose -10 = 5*w, 5*z = 3*w + 51 - o. Does 7 divide z?
True
Let h(z) = -59*z - 4. Let g = 3 + -7. Let x be h(g). Is 3 a factor of (-4)/14 - x/(-28)?
False
Let d be (-363)/6 - (-2)/4. Is -3 + d/(-2) + 2 a multiple of 12?
False
Suppose -48 = 2*j - 4*j. Suppose j = -0*h + 4*h. Is 3 a factor of h?
True
Suppose 10 = 4*l + 2. Suppose -4*w + 20 = -0*w - 2*z, -16 = -l*w - 2*z. Is 3 a factor of w?
True
Let p(c) be the second derivative of c**4/4 + c**3/2 - c**2/2 - 6*c. Is 36 a factor of p(5)?
False
Suppose 0 = 3*i - 0*i + 9. Let o be -1 - (-2 - (-3)/i). Suppose -2*t + o + 29 = 5*v, 4*t = v + 7. Does 2 divide v?
False
Let y(s) = s**3 - 6*s**2 + 4*s - 1. Suppose 3*l + 5*k - k - 15 = 0, -2*l = 4*k - 10. Let u be y(l). Let b(q) = q**3 + 5*q**2 - 9*q - 6. Is 9 a factor of b(u)?
False
Let z(p) = -4*p**2 - 2*p. Let m be z(-2). Let f be ((-8)/m)/(6/297). Suppose 0 = -l - 2*l + f. Is 11 a factor of l?
True
Let q be (2 + -4 - 0) + 15. Suppose 44 = 5*k - 4*m, 4*k = -m - 4 + 35. Let o = q - k. Does 2 divide o?
False
Let f(y) = -y**3 + 3*y**2 - 6*y + 2. Let t(g) = g**2 + 1. Let x(c) = -f(c) - t(c). Does 11 divide x(4)?
False
Let d(g) = -g - 5. Let k be d(-5). Suppose k = 3*p + 4*b - 49, -6 = 3*b - 0. Is 19 a factor of p?
True
Let y(m) = 2*m**3 - 5*m**2 + 2*m + 1. Suppose 11*w - 12 = 7*w. Is y(w) a multiple of 16?
True
Let u(a) be the third derivative of -a**4/24 + a**3/2 + 3*a**2. Is u(-2) even?
False
Suppose 5*o + k = 450, 0*o = 4*o - k - 360. Suppose 0 = -d - 0*d + o. Is 35 a factor of d?
False
Let b(r) = r - 6. Let w be b(6). Suppose w*g = g. Suppose g - 7 = -h. Does 6 divide h?
False
Let c(l) = 3*l**3 + 7*l**2 - 3*l + 1. Let o(r) = -4*r**3 - 6*r**2 + 2*r - 1. Let s(g) = 5*c(g) + 4*o(g). Does 12 divide s(10)?
False
Let x(u) = -2*u + 15. Let v be x(10). Suppose 3*q + 201 = -5*h, -2*q - 134 = -6*h + 3*h. Does 12 divide 2/v + q/(-5)?
False
Let o = 6 + -10. Let t be 2/(o/3)*12. Is (-146)/(-9) + 4/t a multiple of 8?
True
Suppose 25 = 2*v + 1. Let u be (-15)/3*v/10. Is 2/u - (-194)/6 a multiple of 16?
True
Let n = 23 + -11. Is n a multiple of 3?
True
Let q(j) = -12*j - 33. Is 9 a factor of q(-8)?
True
Suppose -5*j - 60 = -0*j. Does 19 divide 166/4 - j/24?
False
Suppose -50 = -2*k - i, 4*i = 5*k + 3*i - 118. Is 8 a factor of k?
True
Let v = -2 + 0. Let o(s) = 11*s**2 - s + 2. Let z be o(v). Suppose 2*j = z - 14. Is j a multiple of 9?
False
Let o = 47 - 23. Is o a multiple of 4?
True
Suppose -7*f + 2*f + 435 = 0. Does 29 divide f?
True
Suppose 2*y = y + 3. Suppose 110 = 5*v + y*j - 0*j, -5*v - 5*j + 120 = 0. Is 11 a factor of v?
False
Suppose 8*y - 3*y + 13 = -2*s, 0 = -s + y - 3. Let m(h) = 9*h**3 + h**2 - h + 1. Let k be m(1). Let g = k + s. Is 4 a factor of g?
False
Let a(f) = -29*f + 4. Is 14 a factor of a(-2)?
False
Let c = 388 - 194. Is 13 a factor of c?
False
Let v = 32 + -14. Let g be ((-28)/(-3))/(12/v). Let x = -8 + g. Is x a multiple of 6?
True
Suppose -5*o - 110 = -275. Is o a multiple of 8?
False
Suppose -4*m = -9*m + 45. Let r = 15 - m. Does 3 divide r?
True
Let h(r) = -r**3 + r**2 + 7. Let a be h(3). Let q = a - -31. Is 10 a factor of q?
True
Suppose -5*o - 3*u = -u - 71, 2*o = -3*u + 35. Let f(c) = 7*c + 2. Is 31 a factor of f(o)?
True
Let q(d) = -3*d**3 + 12 + 10*d + 4*d**3 + 0 + 10*d**2 - 2*d**3. Let z be q(11). Suppose h = z + 2. Is 2 a factor of h?
False
Suppose 5*z - w - 674 = 0, -2*z - 4*w - 72 = -346. Does 15 divide z?
True
Let k(y) = -2*y**3 + 2*y + 2. Suppose 2*s = -s + 33. Suppose 4*m - 3 + s = 0. Does 13 divide k(m)?
False
Suppose -2*c - 4*a + 4 = 0, 5*a - 6 = -4*c + 2. Let q(m) = 5*m**2 - 4*m - c*m**2 - 1 + 2 - 2*m**2. Does 3 divide q(5)?
True
Let d(p) = 3*p**3 + p**2 - p. Let u be d(1). Suppose u*t = -5*m + 52, -3*m - 1 + 7 = 0. Is 14 a factor of t?
True
Let x = -31 - -66. Let m = x + 8. Is 14 a factor of m?
False
Let n be (2 + -2 - 0) + 10. Suppose -2 = -5*l - 4*w, 4*l + 0 + 2 = -5*w. Let t = n + l. Does 6 divide t?
True
Let w(n) = 3*n**2 + 4*n + 6. Is 2 a factor of w(-2)?
True
Is 21 a factor of ((-207)/(-27))/((-2)/(-18))?
False
Is 122/5 - (-6)/10 a multiple of 20?
False
Suppose 2*n - 5*y - 184 = -n, 0 = 2*n - 3*y - 123. Suppose s - 4*s = n. Let o = s + 29. Is o a multiple of 8?
True
Suppose 0 = -i + 2*i. Suppose i*z = -4*z + 140. Does 20 divide z?
False
Suppose 0 = 3*m + 26 - 119. Let v = 4 + m. Does 17 divide v?
False
Suppose -3*x = f - 314, -3*f + 83 = x - 7*f. Does 34 divide x?
False
Let n be (3 + -2)*2 + 1. Let u(r) = -5 + 3*r - n + r**2 + 1 + 5. Is 3 a factor of u(2)?
False
Suppose -2 = -x - 2*q - 0, x + 2 = 2*q. Suppose -4*w = -v - 131, -3*w + 87 = -3*v - x*v. Is w a multiple of 9?
False
Suppose -5*f + 4*l - 128 = -f, f - 2*l = -35. Let u = f - -68. Is u a multiple of 13?
True
Suppose -12 = s + 2*s. Does 15 divide 490/25 + s/(-10)?
False
Let q = -1 - -5. Suppose 0 = -q*h + 5*c + 33, -5 = -c + 6*c. Is h a multiple of 7?
True
Let i(z) = -4*z + 2*z**2 + 2*z**2 + 9 - 3*z**2 + 8*z. Is 15 a factor of i(-7)?
True
Suppose -h = 3*t + 4 - 12, 4*t - 4*h = 16. Let k be t*(4 + -1)/9. Does 16 divide 6/(k/7 + 0)?
False
Suppose 0 = a + h - 102, -2*a + 5*a - 3*h - 294 = 0. Is 10 a factor of a?
True
Suppose 0 = -5*p + 3*p + 26. Does 13 divide p?
True
Let d(z) = -z**2 + 15*z - 3. Is 7 a factor of d(12)?
False
Let t(a) = -4*a + 32. Let m be t(9). Let z be ((-4)/3)/(2/(-9)). Does 12 divide (-147)/m - z/8?
True
Let g(z) = 2*z**2 + 3*z + 245. Is 19 a factor of g(0)?
False
Suppose n - 4*w - 8 + 34 = 0, 5*n = -2*w - 20. Let j = 59 + n. Does 12 divide j?
False
Suppose 0 = 3*j + 4*h - 163 - 34, 2*j - 5*h = 116. Is 10 a factor of j?
False
Suppose -4*x + 0*x = -76. Is x a multiple 