 Suppose 0*j + h*j = 186. Let m = j + -18. Does 15 divide m?
False
Let a = -4 - -4. Suppose -f + 3 - 1 = a. Suppose 4*z - 86 = 2*n, -4*n = 7*z - f*z - 114. Does 11 divide z?
True
Let b(a) = a**3 - 9*a**2 + 8*a + 6. Let w be b(8). Does 18 divide (-1 + 0)/(w/(-150))?
False
Let t = 308 - 102. Is t a multiple of 32?
False
Suppose -4*d + 5 = 5*i + d, 10 = -5*d. Suppose u + i*u = -5*x + 284, 5*u - 3*x - 318 = 0. Does 22 divide u?
True
Suppose 20 = 4*k, -4*c = c - 2*k - 150. Is c a multiple of 9?
False
Let u = 3 - 0. Let g = -2 + u. Let i = g - -5. Is 3 a factor of i?
True
Suppose -402 = -3*t - i + 217, -5*i + 818 = 4*t. Is t a multiple of 30?
False
Suppose -m + 45 = 4*k - 2*k, -2*m + 4*k + 82 = 0. Is 13 a factor of m?
False
Let w be (-1)/(-3) + (-14)/(-3). Suppose 0 = 5*f - w*y - 60, f - 2 - 4 = 3*y. Does 3 divide -1 - f/6*-2?
False
Let b(k) = 2*k**2 + 3*k - 2. Does 22 divide b(6)?
True
Let a = -15 - -24. Is a even?
False
Let d be 7/2 + (-2)/(-4). Suppose l = -d*l. Suppose -3*m + 4*m - 4 = l. Is m a multiple of 4?
True
Suppose 3*o = -o + 160. Is 15 a factor of o?
False
Let v = -19 + 3. Let t be 3/2*v/(-6). Suppose -t*y = -3*y - 10. Is 10 a factor of y?
True
Suppose -5*o + 0*r = 4*r - 56, 0 = o + 4*r - 24. Let c(w) = w**2 + 8*w + 7. Let p be c(-7). Let j = p + o. Is j a multiple of 8?
True
Let o(f) be the first derivative of -f**4/4 + 5*f**3/3 - 3*f**2/2 - 2*f + 7. Suppose 2*v + 15 = 7*v. Is o(v) a multiple of 7?
True
Suppose -3*k = 2 - 8. Suppose -k*v + 72 = v. Suppose 3*w - 12 = v. Is 6 a factor of w?
True
Let m(w) = 23*w**2 - 8*w + 4. Does 12 divide m(-4)?
False
Suppose -319 - 781 = -5*a. Is a a multiple of 31?
False
Let q(u) = 31*u - 7. Is q(1) even?
True
Let k(x) = -2*x**2 + 10*x - 1. Is 2 a factor of k(4)?
False
Let i be (-1)/3*-3 - -1. Suppose -3*r = 5*v - 41, r - i - 21 = 3*v. Is 6 a factor of r?
False
Suppose 73 = d - 2*u, -4*u = -3*d - 0*u + 223. Is d a multiple of 7?
True
Suppose 4*y = -5*k + 292, k - 10*y = -13*y + 54. Is 6 a factor of k?
True
Let m(x) = x**3 + x**2 + 1. Let j(z) = 3*z**3 - 12*z**2 - 10*z + 11. Let o(v) = j(v) - 2*m(v). Does 28 divide o(15)?
True
Suppose -4 + 1 = -s. Suppose 3*d - 5*i - 65 = 0, 5*d + s*i = 5*i + 102. Is 17 a factor of d?
False
Let u(c) = -c**2 + 3*c - 10. Let d be u(-8). Let n = -56 - d. Is n a multiple of 14?
True
Let h(x) = -3*x - 10*x**2 + 0 + x + 6*x - x**3 + 7. Is 12 a factor of h(-11)?
True
Suppose 2*j = n + 209, -2*j + 5*n = 6*n - 207. Is j a multiple of 12?
False
Let r(i) be the first derivative of 2*i**3 + 3*i**2/2 + i + 2. Is r(-3) a multiple of 12?
False
Let a(k) = k**3 + 8*k**2 - 3*k + 12. Is 16 a factor of a(-8)?
False
Let v be ((-8)/(-10))/(5/350). Let t = v + -17. Is t a multiple of 17?
False
Let o = 1 - 3. Let w(p) = -p**2 + 12*p - 4. Let t be w(7). Let l = t - o. Is 11 a factor of l?
True
Let k = 16 - 11. Suppose -k*l = -30 - 55. Is 11 a factor of l?
False
Is (5/(-2))/(10/(-380)) a multiple of 19?
True
Let l(i) = i - 4. Let b be l(5). Let q be (-6)/(-1 - b)*2. Suppose -4*c - q = -w, -3*c + 42 = 4*w - c. Does 9 divide w?
False
Suppose -113 + 293 = 5*o. Does 12 divide o?
True
Let z(f) = -f**2 - 2*f + 1. Let s be z(4). Let q = -46 - s. Let y = 39 + q. Does 8 divide y?
True
Suppose -72 = -f - 5*f. Does 3 divide f?
True
Let c(y) be the second derivative of y**4/3 + y**3/6 + y**2/2 - 4*y. Does 2 divide c(-1)?
True
Let r = -4 - -7. Suppose 107 = 3*d - 2*u, -u - 1 - r = 0. Suppose 4*s - 53 = -v, 0 = -v - 0*v + s + d. Is v a multiple of 12?
False
Suppose -55 = 3*g + 2*g. Let r = -43 - g. Let i = -12 - r. Is i a multiple of 15?
False
Suppose -u - 3*k - 25 = 0, -2*u - 2*u = -k + 100. Is 0 - 8/(-4) - u a multiple of 6?
False
Let x(m) = 15*m - 27. Does 9 divide x(6)?
True
Is ((-59)/(-3))/1 + (-18)/27 a multiple of 19?
True
Let c(w) = 4*w**2 - 1. Let l(o) = -2*o + 12. Let a be l(8). Let f be 2/a*(-2 - 0). Is 3 a factor of c(f)?
True
Suppose 0 = -2*o + 3*s + 31, -o + 5*s = 4*s - 14. Is o a multiple of 4?
False
Let w(r) be the second derivative of -r**7/840 - r**6/60 - r**5/15 - r**4/8 - r**3/6 - r. Let g(t) be the second derivative of w(t). Is 12 a factor of g(-5)?
True
Let g = -9 - -28. Is 4 a factor of g?
False
Suppose -4*h + d - 5*d + 24 = 0, -20 = -4*h - 3*d. Suppose 0*w = -h*w + 52. Is 13 a factor of w?
True
Suppose 3*x + 159 = -21. Let v = 19 - x. Suppose 5*y - 2*a = -3*a + 83, 3*a - v = -5*y. Is y a multiple of 17?
True
Suppose b - 267 = -2*b. Let l = b + -45. Does 22 divide l?
True
Suppose -m = 0, -4*r - 4*m + 152 = -244. Does 17 divide r?
False
Let w be ((-3)/2)/((-12)/208). Suppose 0 = -5*l - 15, -5*z + 2*l = -0*z - w. Does 4 divide z?
True
Suppose -n + 4*n = 234. Is 13 a factor of n?
True
Suppose 3*f - 136 = -f + s, -s = -f + 31. Suppose w - f = -4*w. Does 2 divide w?
False
Is 4 a factor of 2/6 - 3/(-9)*35?
True
Suppose 3*b = -0*b + 6. Suppose -3*r + 107 = 5*y, 0 = b*r + 3*y + y - 68. Is 13 a factor of r?
False
Let x be -3 + (-2 - -9)*1. Suppose 4*q - 262 = -2*h - 0*h, 5*h + 227 = x*q. Is q a multiple of 16?
False
Suppose -t = -4*t - 129. Is 11 a factor of 2/8 + t/(-4)?
True
Suppose 2*t - 2 = 2. Let s = -20 - -23. Suppose s*y + t*z = 78, -4*y + 111 = 6*z - z. Is 12 a factor of y?
True
Let m(y) = -y**2 + 8*y - 7. Let k be m(6). Suppose 4*s - 65 = -s + k*l, -4*s + 3*l = -52. Does 6 divide s?
False
Suppose z = -d - 1, -36 = -4*d + 2*z + 2*z. Is 15 a factor of 7/(-28) + 93/d?
False
Let j(x) = x**2 + 6*x - 5. Let r = 2 - -2. Let m(u) = -5*u + 4. Let g(a) = r*m(a) + 3*j(a). Is 15 a factor of g(-3)?
False
Suppose -5*o + 320 = -k, 2*o + 2*k - 116 = -0*k. Is 9 a factor of o?
True
Suppose 0 = -5*f - 4*h + 285, 4*h - 61 = -3*f + 118. Suppose 2*t + f = a, -2*a = -5*a + t + 144. Is 14 a factor of a?
False
Let p = -8 - -14. Let w(t) = t**2 + t - 2. Let l be w(p). Suppose -l = -6*x + x. Is 6 a factor of x?
False
Let d = 1 + 4. Suppose 16 = d*f - 24. Is 4 a factor of f?
True
Let f(j) = 10*j**2 - 21*j - 10. Let l(h) = -7*h**2 + 14*h + 7. Let u(m) = -5*f(m) - 7*l(m). Suppose 0*w - 24 = -4*w. Is 7 a factor of u(w)?
True
Let s(h) = h**2 - 4*h + 11. Does 4 divide s(9)?
True
Let a(f) = -f**3 - 7*f**2 + 4*f - 8. Is a(-8) a multiple of 8?
True
Suppose 9*m = 4*m + 170. Suppose -3*b - 4*z = -2*b - m, -92 = -4*b - 5*z. Does 5 divide b?
False
Let z(b) = -b**3 - 8*b**2 + 8*b - 10. Let x be z(-9). Let p be (-2)/((-2)/((-8)/x)). Suppose -24 - p = -2*t. Is 5 a factor of t?
False
Is 35 a factor of (1 + -2)*(-70)/1?
True
Let o(q) = 22*q - 1. Is o(1) a multiple of 15?
False
Let y = 8 + -3. Let x(u) = u**2 - 6*u - 5. Let q be x(7). Suppose -43 = -q*v + y*w, 4*w + 15 = v - 5. Does 24 divide v?
True
Suppose 3*c - 6*q + 4*q = 629, 5*c + q = 1044. Does 11 divide c?
True
Let n(v) = 70*v + 15. Is 17 a factor of n(5)?
False
Does 7 divide (-298)/(-14) + (60/(-42))/5?
True
Let m(r) = -r**2. Let j(p) = -4*p**2 - p + 2. Let y(h) = -j(h) + 3*m(h). Is 10 a factor of y(-7)?
True
Let l = 9 + -7. Suppose l*f + x + 4 = 25, 5 = -x. Is f a multiple of 8?
False
Let r(m) = -10*m - 2. Let q(n) = n. Let d(k) = -22*q(k) - 2*r(k). Let l be d(8). Let j = 32 + l. Is j a multiple of 12?
False
Suppose -m = 2*m - 24. Is 2 a factor of m?
True
Let i(j) = 6*j**2 - 3*j + 4. Let c be i(-6). Suppose -5*t = -2*n + n - c, 5*n - 173 = -4*t. Is 11 a factor of t?
False
Let f be 2*1*3/(-2). Let k(q) be the third derivative of -q**4/6 + q**3/3 + 3*q**2. Is 7 a factor of k(f)?
True
Let q = -4 - -7. Suppose k - 5 + 3 = 0. Suppose -3*c + 19 = -k*m - 10, 0 = -3*c + q*m + 27. Does 11 divide c?
True
Let r(h) be the third derivative of 0*h**4 - 1/60*h**5 + 0 + 3*h**2 + 0*h + 0*h**3 + 5/24*h**6. Is 8 a factor of r(1)?
True
Let x be 1 - 3 - 85*-2. Suppose 3*h - x = -h. Is 1/(1 + h/(-45)) a multiple of 9?
False
Let j be 4 - 3*1/3. Let x be (60/8)/(j/(-16)). Is (-402)/(-10) - (-8)/x a multiple of 12?
False
Let l = 24 - 14. Let x = 14 + l. Is x a multiple of 7?
False
Suppose -16 - 56 = -4*s. Is 8 a factor of s?
False
Let v be 1 + (-18)/2 + -2. Is 3 a factor of (v/(-4))/((-1)/(-2))?
False
Let y(f) = f**2 + f - 4. Let l be y(0). Is 3 a factor of ((-6)/l)/((-6)/(-20))?
False
Suppose -2*o + 77 - 13 = 0. Suppose 3*c = 4 + o. Is 6 a factor of c?
True
Let t = 6 - 17. Let z be 19 - (-2)/2*1. Let q = z + t. Does 8 divide q?
False
Let m be 8/12 + (-13)/(-3). Suppose 3*z = 4*z - 2, -2*p 