-116. Does 15 divide d?
False
Suppose 2*j = 3*d - 181 + 69, d + 5*j - 43 = 0. Suppose -i - d = -3*i. Suppose i + 41 = 4*q. Is q a multiple of 14?
False
Suppose -4*o + 4*v - 76 = -0*o, 125 = -5*o - 5*v. Let y = o - -54. Does 16 divide y?
True
Suppose -12 = -4*o - 0. Let s = 36 - -3. Suppose s = -0*n + o*n. Does 7 divide n?
False
Is 14 a factor of (1 + -11)/((-16)/32)?
False
Suppose -2*p = 5*q + 2*p - 3, 5*q + 7 = p. Let o be q + 2 + (-6)/(-2). Suppose 92 = 4*b - o*f - 0*f, 99 = 3*b + 3*f. Does 12 divide b?
False
Let l = -16 + 5. Let u = -16 - l. Let r = u - -25. Is 8 a factor of r?
False
Suppose u = -2*u + 3. Let v = 7 - u. Does 9 divide ((-4)/v)/((-4)/54)?
True
Let o = 14 + -3. Let k = -6 + o. Does 2 divide k?
False
Is 8 a factor of (-362)/(-8) + (-24)/(-32)?
False
Let a be (4/3 - 1)*6. Suppose -2*w + 111 = -0*b - 3*b, -w + 55 = -a*b. Does 19 divide w?
True
Let r(f) = -f**3 - 6*f**2 + 9*f + 7. Let h be r(-7). Let i = h - -12. Does 5 divide i?
True
Does 7 divide 231*((-9)/(-81))/(1/3)?
True
Does 10 divide (-626)/(-14) + 6/21?
False
Let u(w) = w**3 - 9*w**2 - 10*w - 9. Let x be u(10). Let q = 12 + x. Is 3 a factor of q?
True
Suppose 5*g = 3*g - 16. Let d = -4 - g. Let y = 2 + d. Does 3 divide y?
True
Let z(u) = u**3 - 7*u**2 + u + 5. Does 4 divide z(7)?
True
Suppose 3*j - 9 = -2*y + y, 0 = -5*y + j + 29. Suppose y*o - 48 = 3*o. Suppose -3*g + 17 = 4*a, 0*a = 4*g + 2*a - o. Is 2 a factor of g?
False
Suppose -36*x = -40*x + 168. Does 7 divide x?
True
Let u = 14 + 4. Does 9 divide u?
True
Suppose 0*h = 2*h - 208. Suppose 2*n - h = -2*n. Is 9 a factor of n?
False
Suppose 0*l + l + 4*s = 85, 0 = -2*l + 5*s + 235. Does 7 divide l?
True
Is 45 + (1 - 2) - 1 a multiple of 10?
False
Suppose -5*w = -w + 12. Does 11 divide (-4)/(-6)*(w - -36)?
True
Let v = -56 - -79. Is v a multiple of 7?
False
Suppose 2*y - 15 = -3. Suppose 0 = -y*i + i - 3*x + 60, 0 = -5*i - 5*x + 70. Is 2 a factor of i?
False
Let k = -5 + 27. Is 22 a factor of k?
True
Let a(m) = -m**2 + 10*m - 12. Let d be a(8). Suppose -d - 20 = -2*q. Does 7 divide q?
False
Let l(d) be the third derivative of d**5/60 - d**4/6 - d**3/3 - 2*d**2. Let c be l(5). Suppose -5*z + 5 + 48 = i, 117 = c*i + z. Is i a multiple of 17?
False
Suppose 5*l - l - 168 = 0. Is 21 a factor of l?
True
Let v = 15 + -9. Let o = 11 - v. Suppose -2*a - o = -19. Does 2 divide a?
False
Let l(s) = 7*s. Is l(2) a multiple of 6?
False
Suppose 4*y + 12 = -0*y. Let v(t) = -5*t - 4. Let b be v(y). Does 6 divide 260/22 - (-2)/b?
True
Let n(x) = -x + 18. Let t be n(13). Suppose t*l + 3*v - 45 = -2, l = -5*v + 13. Is l a multiple of 5?
False
Let s = 106 - -62. Is s a multiple of 21?
True
Let k be 1*4 + 1 + -1. Suppose -6 = -0*w + 2*w - 4*n, -2*n - 12 = -k*w. Suppose -6*x + 8 = -w*x. Is x a multiple of 8?
True
Suppose -2*m + 108 = -m. Let n be m + ((-4)/(-2) - 4). Suppose -3*h + n = h + u, -2*u + 4 = 0. Is 13 a factor of h?
True
Let t be (-4)/(-8) - (-145)/(-2). Let r = -50 - t. Is r a multiple of 11?
True
Let k(x) = 4*x**2 - 9*x + 27. Is 13 a factor of k(8)?
False
Let j = 56 + -5. Is 16 a factor of j?
False
Let j(n) = -n**3 + 12*n**2 - 10*n + 3. Let k be j(11). Suppose -21 = -5*l - 3*w + k, 0 = -5*w. Is 2 a factor of l?
False
Suppose 5*a - 4*j - 70 = -3*j, -2*a = -5*j - 5. Is 6 a factor of a?
False
Let j(i) = i**2 + 27. Let v be 0 + (-2 + 3)*0. Does 9 divide j(v)?
True
Let s(h) be the third derivative of 1/6*h**5 + 0 + 0*h + 1/6*h**3 + 1/12*h**4 - 1/120*h**6 + 2*h**2. Is s(10) a multiple of 10?
False
Let j(z) = z**2 + 4*z - 1. Is j(-8) a multiple of 11?
False
Let n(r) = 26*r**3 + 2*r**2 - 3*r. Let h be n(2). Suppose b = 6*b - h. Is 21 a factor of b?
True
Let d(b) = b**2 - 3*b - 3. Let x(u) = 3*u**3 + u**2 + u + 1. Let k be x(-1). Let a be 3 + k/(-1) + 0. Is 3 a factor of d(a)?
False
Let w = -21 + 51. Is w a multiple of 15?
True
Let p(u) = -u**2 + 2. Let g be p(0). Suppose -g*z + 39 = 7*n - 2*n, 3*n = -z + 23. Suppose 6*j + n = 7*j. Is 2 a factor of j?
False
Suppose -4*y - 12 = -3*q, -3*y = -2*q - 3*q + 20. Let t = 21 + -19. Suppose -q*l + 98 = 2*v, 0 = l + t*v - v - 25. Is l a multiple of 12?
True
Let l = 2 + 6. Does 5 divide (-5)/((-10)/l)*2?
False
Let i be ((-10)/(-2))/(1/1). Suppose -3*g = -9, i*f = g + 4*g - 5. Suppose -2*o - f*o + 68 = 0. Is 8 a factor of o?
False
Let b(o) = o**3 + 7*o**2 + o - 5. Let x be b(-7). Let i = 118 + x. Is 34 a factor of i?
False
Let l = 133 + -78. Does 55 divide l?
True
Suppose 4*i + 5 = -3. Is i + 39/3 + 0 a multiple of 3?
False
Let z(w) = 6*w - 7. Is 3 a factor of z(2)?
False
Suppose 476 + 409 = 5*s. Let l = -9 - -14. Suppose -s = -l*o + 13. Is 15 a factor of o?
False
Let x = 15 - -3. Is 16 a factor of x?
False
Let i be 3 + (-2 - 0) - -3. Suppose -t + 0 = i. Does 3 divide 1*-3*(t + 3)?
True
Let k(h) = -h**2 - 12*h + 1. Let q be k(-15). Let s = q + 100. Is 14 a factor of s?
True
Let l = 3 - -1. Suppose -o + 1 + l = 0. Suppose -o*k + 105 = 3*r - 15, r - 48 = -2*k. Does 12 divide k?
True
Suppose -10 = -2*p, h = 5*p - 6*p - 25. Is 7 a factor of 3 + -6 + 3 - h?
False
Let m(a) = -a**2 + 12*a + 14. Let l be m(10). Suppose w = -2*c + 15, -4*c + l = -w - w. Is 3 a factor of c?
False
Suppose -5*z + 105 = l + 20, 3*l + 4*z - 222 = 0. Does 24 divide l?
False
Suppose b - 3*b = -4. Suppose -2*s + 4*t = -46, b*t - 102 = -4*s - 0*t. Suppose -5*g + 3*x + s = -4, 5*x = -15. Is g even?
True
Let s(b) = b**2 + 7*b. Is 2 a factor of s(-8)?
True
Let o be (1/(-2))/(2/(-120)). Suppose -2*v = -12 - o. Is v a multiple of 14?
False
Suppose 2*f = -2*y - 78, 3*y + 3 = -6. Let d = -10 - f. Suppose -4*x = -3*x - d. Does 13 divide x?
True
Let d be ((-12)/(-21))/((-2)/(-7)). Suppose -d*s + 0*s = -54. Is s a multiple of 7?
False
Suppose -3*j - j = 16, -2*p = 5*j + 46. Let b = p + 18. Suppose -2*y + b = -13. Is 9 a factor of y?
True
Suppose 2*x = x + 5. Suppose 5*b = -o + 19, 0 = 3*o + x*b - 39 + 2. Is o a multiple of 9?
True
Let b be -12*(-1 - 6/(-3)). Let v(a) = -a**2 - 13*a - 8. Is 4 a factor of v(b)?
True
Suppose 2*r = -r + 168. Suppose y + 4*i = r, 200 = 6*y - 3*y + 4*i. Suppose v + 2*v - 3*c = y, c = -v + 28. Is v a multiple of 13?
True
Suppose 0 = -8*x + 3*x + 30. Let n(s) = s**2 + s - 6. Is 12 a factor of n(x)?
True
Let o(g) = -g + 8. Let a be o(7). Suppose -5*y - 4 = a. Is -3 + 0 - (y + -32) a multiple of 10?
True
Suppose -13 = -2*b - 5. Suppose 3*p = q - 2*p - b, 0 = p. Suppose q*h - 2*h = 10. Does 2 divide h?
False
Let a(o) be the second derivative of o**4/4 + o**3/3 - 3*o**2 - o. Let h(q) = -q**3 + 7*q**2 + 3*q - 17. Let n be h(7). Is 25 a factor of a(n)?
True
Let c be (18/(-12))/(3/8). Let k = c + 1. Does 10 divide 2/(-6) + (-91)/k?
True
Let x(l) = -9*l + 1. Is 15 a factor of x(-2)?
False
Let v = 4 + 20. Let d = 2 + v. Does 14 divide d?
False
Suppose 4*m + 23 - 151 = 0. Does 16 divide m?
True
Suppose -4*v = -4*s - 112, -3*s = -3*v - s + 87. Let h = 70 - v. Does 13 divide h?
True
Let f(a) = -a**3 + 7*a**2 - 4*a + 4. Let m = 10 + -4. Is f(m) a multiple of 16?
True
Is (-4 + 40 - 5)*(-1 - -2) a multiple of 3?
False
Suppose 4*v - 544 = -152. Let s = v - 64. Does 17 divide s?
True
Let x = -9 - -13. Let n(w) = -w**3 + 5*w**2 - 3*w - 2. Let u be n(x). Suppose 6*p - 3*p - 6 = 0, 0 = -3*h - u*p + 22. Is h a multiple of 6?
True
Let c(u) = -u**3 + 2*u**2 + 2*u - 2. Let f be c(2). Suppose -f*m - 3*m = 0. Does 21 divide 2/(2 + m) + 46?
False
Let k(y) = y**3 + 2*y**2 - 4*y - 1. Let j be k(-3). Suppose j = -p + 5*p - 2*s, -3*p = s - 4. Is 5 a factor of (-2 + p)*-8 - -2?
True
Let s(u) = 3*u + 0*u**2 - 10 + 3*u + 0 + u**2. Let y be s(-7). Is 12 a factor of 96/y*(-3)/4?
True
Let k be (2/(-3))/(8/(-24)). Suppose k*r - 10 = 14. Is 11 a factor of 24 - (r/3)/2?
True
Let r = 27 + -11. Is 13 a factor of r?
False
Let g(m) = -3 + 5 + 4*m + 12. Does 14 divide g(6)?
False
Let d = -71 + 358. Is 12 a factor of d?
False
Suppose 2*s - 2*b - 3 = -17, 4*b = -4*s - 20. Let l be (0/s)/(2*1). Suppose l = -0*u - u + 30. Is 15 a factor of u?
True
Suppose -4 - 16 = -y. Is y a multiple of 4?
True
Let x(u) = -u**2 + 14*u - 9. Does 13 divide x(8)?
True
Suppose 0 = -2*c - 2*c + 36. Let w = 1 - -1. Suppose -4*r = -5*b - 217, w*b + 1 = -c. Is r a multiple of 21?
False
Let q = -145 + 315. Suppose -5*t - q = -5*p, -136 = -4*p - 3*t + 2*t. Is 12 a factor of p?
False
Let 