 = d**2 + 4*d + 1. Let p be n(-5). Does 19 divide 163/3 + p/9?
False
Let h = -55 - -58. Does 2 divide h?
False
Let t(p) = -3*p - 3. Let r be t(-3). Let n(l) = 9*l - 6. Does 14 divide n(r)?
False
Suppose -3*n - 12 = -6*n. Suppose 0*i + 253 = 5*i - 3*j, 0 = n*i - j - 201. Is 13 a factor of i?
False
Suppose -4*l = -3*d + 5*d - 100, -4*l = -3*d - 80. Is 14 a factor of l?
False
Let b be 0 + -8 + 0 + 2. Does 8 divide (-8)/b*3*2?
True
Let y = 27 + -15. Is 12 a factor of y?
True
Let z be 8/36 - 0 - (-50)/18. Let f(a) = a**2 - a - 2. Let s be f(2). Suppose s = z*p + 47 - 233. Is 23 a factor of p?
False
Let g be 2/(-9) - (-87)/27. Let f(x) = -2 + g*x - 4*x**2 + 5*x**2 + 4*x + 10. Does 5 divide f(-7)?
False
Let p = 26 + -2. Is 8 a factor of p?
True
Let h = 54 - -31. Does 30 divide h?
False
Is 5 a factor of (4/20*-2)/((-1)/170)?
False
Let n(f) = -f**3 + 7*f**2 + 9*f + 1. Does 16 divide n(7)?
True
Let s(r) = r + 6. Let h be s(-6). Suppose h = -3*d + 9, -d + 24 = -3*b + 6*b. Is 3 a factor of b?
False
Suppose 0 = 5*q - 4*q - 2. Suppose -3*f + 4*w = -184, -q*f + 2*w = -38 - 86. Does 16 divide f?
True
Let f be 5 + (6/2)/(-1). Suppose -12 = -4*v, -f*u - 2*v + 80 = 2*v. Does 17 divide u?
True
Let c(g) = -7*g. Let y be c(2). Is 5 a factor of (-231)/y - (-6)/4?
False
Let z(b) = -b**3 + 7*b**2 - 4*b - 2. Let y be z(6). Let u(v) = 3*v - 2. Is 14 a factor of u(y)?
True
Suppose 108 = q - 3*q. Let u = q + 82. Does 9 divide u?
False
Let l(s) = -1 - 26*s**2 + 0*s**3 + 25*s**2 + s**3. Let b = 3 - 0. Does 6 divide l(b)?
False
Let x(g) = -g + 13. Let f be x(7). Suppose -j = j + f. Is j*(24/(-9) + 2) a multiple of 2?
True
Suppose y = 4*y - 9. Suppose 5*w = -5*c + 240, -y*w + 88 = -w - 2*c. Does 17 divide w?
False
Let s = -3 - -6. Suppose 5*v + t = 266, -t - 262 = -5*v - s*t. Does 15 divide v?
False
Is 5 a factor of (35/(-28))/((-1)/36)?
True
Let j be 4 + (-5 - -3) + -10. Let y(t) = t**2 + 4*t + 10. Does 16 divide y(j)?
False
Suppose -2*y - 9 = 1. Let b = -2 - y. Suppose 15 = b*g, -5 = -3*w - 0*w + 5*g. Is 6 a factor of w?
False
Suppose 2*c - 22 + 0 = 0. Suppose v - 37 = c. Is v a multiple of 13?
False
Let d be ((-2)/4)/(4/(-96)). Does 14 divide 9/d - (-243)/12?
False
Let h(f) = -f + 11. Let c be h(8). Suppose -2*w + 46 + 146 = 0. Suppose j = -c*j + w. Does 9 divide j?
False
Suppose -3*l - 3*g + 240 = 0, l = -0*g - 2*g + 82. Is l a multiple of 9?
False
Let j(h) = -h**3 + 5*h**2 - 3*h - 3. Let k be j(3). Let d(z) = 4*z + 4. Is 14 a factor of d(k)?
True
Let b = 18 - 14. Is 3 a factor of b?
False
Let d(b) = -b**2 + 6*b + 4. Let j be d(6). Suppose j*c - 57 - 55 = 0. Is 14 a factor of c?
True
Suppose 5*h - 3*o - 52 - 139 = 0, 0 = 3*h + 3*o - 129. Does 10 divide h?
True
Is 13 a factor of (-1)/(-3) - (-1 - (-47)/(-3))?
False
Let q be (-11)/(-2) - (-9)/(-6). Let d be -1*34*2/q. Let m = 25 + d. Does 8 divide m?
True
Does 11 divide (-16)/8*17/(-2)?
False
Suppose -76*k = -82*k + 810. Is k a multiple of 15?
True
Let g(p) = 3*p - 2. Suppose -3 - 3 = -4*q - 5*u, -u = 5*q - 18. Is 10 a factor of g(q)?
True
Let g(x) = -15*x - 2. Let i be g(-4). Suppose 148 = 4*y + 4*a, 2*y - i - 16 = 4*a. Does 15 divide y?
False
Is 15 a factor of 15/(3 - ((-112)/(-10))/4)?
True
Suppose -4*s = -16 - 0. Let g = s + -10. Is 31*1 - (-8 - g) a multiple of 18?
False
Let j = 51 - 36. Is j a multiple of 8?
False
Let g(f) be the first derivative of f**3/3 - 7*f**2/2 + 2*f + 3. Does 16 divide g(11)?
False
Let d = -26 + 5. Does 2 divide 24/(-14)*d/6?
True
Suppose 2*d - 38 = -l, -d - 2 = -3. Is l a multiple of 12?
True
Suppose 0 = 3*a - 5*f - 988, -5*f = 2*a - 473 - 219. Is a a multiple of 38?
False
Let z = -94 + 131. Suppose -u + 0 = -z. Let m = u - 14. Does 9 divide m?
False
Let j = -2 - -2. Suppose j = -4*h - 2*z + 4*z - 24, 0 = z. Does 12 divide 2/4 - 141/h?
True
Let a(s) = 3*s**2 + 4*s. Let b(u) = u**3 + 4*u**2 + 5*u. Let f(g) = 4*a(g) - 3*b(g). Is 14 a factor of f(-2)?
False
Let i be (42/10 - 3)*15. Let j be -1 + 3 + i/2. Let y = 25 - j. Is 14 a factor of y?
True
Let g(h) = h**3 + 3*h**2 + 1. Let m be g(-3). Let v(r) = 27*r + 1 + 9*r - 5*r. Is 16 a factor of v(m)?
True
Suppose 0 = 2*y - s - 109, s = -4*y + 6*s + 233. Does 26 divide y?
True
Let p(s) = 2*s**2 - 31. Let k be p(0). Let g = -20 - k. Does 7 divide g?
False
Let t be (6/(-3))/(2/(-2)). Suppose t*s + 12 = 5*s. Suppose -2*q = 0, q + 10 = -s*a + 30. Is a a multiple of 2?
False
Let f(b) = -b**2 + 2. Let a be f(0). Let h be (-2 - -2)/(-2*1). Suppose 232 = 4*u + 4*m - h*m, 0 = 4*u + a*m - 222. Is 20 a factor of u?
False
Let i be (0 + 1)/(-1) + 32. Let a(h) = -12*h - 8. Let g be a(-6). Let z = g - i. Is 9 a factor of z?
False
Let i(n) = -n + 4. Let o be i(2). Suppose -6*w - r + 110 = -w, -17 = -o*w + 5*r. Does 7 divide w?
True
Let h(i) = i**2 - 6*i + 13. Let l be h(6). Suppose l*k - 9*k = 112. Does 14 divide k?
True
Let j(o) = -9*o - 15. Is 11 a factor of j(-9)?
True
Suppose -104 = 3*a + 4*x, 5*x + 67 = -4*a + 2*a. Let m = -18 - a. Is m a multiple of 8?
False
Suppose 5*q = 2*y - 37, -3*y + 99 = y - 5*q. Is y a multiple of 12?
False
Let l = 3 + -4. Is 111/(-9)*-3 + l a multiple of 12?
True
Let m(j) be the third derivative of -j**6/720 + 9*j**5/40 - j**4/12 + 3*j**2. Let v(b) be the second derivative of m(b). Is v(13) a multiple of 7?
True
Let h(t) = 7*t - 10. Is 13 a factor of h(7)?
True
Let q be -28 - 3/(4 + -1). Let h = q - -20. Let n = 23 + h. Is 10 a factor of n?
False
Let z be (-5 + 4 + -2)*-1. Let h = z + -3. Suppose -o = -h*o - 5. Does 5 divide o?
True
Let b(a) = -3*a**3 + 3*a**2 + 6*a. Is b(-3) a multiple of 9?
True
Let i(z) = -z**2 + 5*z + 4. Let w be i(5). Let p = 1 + w. Is 16 a factor of (-10)/(-25) - (-78)/p?
True
Suppose 0 = -a - 3, 5*i = 4*a + 806 - 159. Does 14 divide i?
False
Suppose 231 = -2*h - h. Let f = h - -129. Does 20 divide f?
False
Suppose 5*m = -21 - 24. Is (2 - 6) + 1 - m even?
True
Suppose 2*t - 64 = -3*q + 4*q, -5*t + 160 = 4*q. Does 8 divide t?
True
Suppose -6*i + 508 = -2*i. Does 50 divide i?
False
Let b(i) = i**3 - 11*i**2 + 13*i - 13. Let a be b(10). Let c = -12 + a. Suppose 24 = 3*m + c*u, -3*m = -4*u + 2 + 1. Does 3 divide m?
True
Let u(f) = 8*f + 4. Is u(5) a multiple of 18?
False
Suppose 0 = 2*p - 6*p + 8. Suppose -60 = -p*m + 2*h - 10, 0 = 2*m + 5*h - 36. Is 17 a factor of m?
False
Let y(a) = a**2 - 4*a - 1. Let t be y(7). Let b = t + 20. Let s = b + -21. Is s a multiple of 9?
False
Suppose r = y + 3*r - 30, 3*r - 102 = -3*y. Is y a multiple of 9?
False
Suppose -3*s - 4 - 2 = 0. Let n = s + 5. Suppose j + 36 = n*j. Does 18 divide j?
True
Let a be 2132/20 - (-4)/10. Let g = a - 199. Does 11 divide 10/(-15) - g/3?
False
Does 21 divide (0 - -14)*(-7 + (-102)/(-12))?
True
Let p(j) = j**3 + 4*j**2 + j + 5. Let c be p(-4). Suppose 4*o - 5 = -c. Is 24 + (2 - 2)/o a multiple of 12?
True
Suppose -2*j + 5 = 4*c - 3*c, c + 3 = 0. Let b = j - 10. Let d(m) = -4*m - 9. Is d(b) a multiple of 12?
False
Let y be (2/1)/(-2 + 0). Let o be (27/2)/(y/(-2)). Suppose -o = -h + 3*c - 0*c, 2*h = 3*c + 69. Does 14 divide h?
True
Let u(c) = 4*c**2 - 4*c - 1. Let f be u(-5). Let w = -52 + f. Let p = w - 31. Is p a multiple of 18?
True
Suppose 11*a - 8*a = 9. Is 2 a factor of a?
False
Is (0 - -1)/(1/(2 - -48)) a multiple of 14?
False
Let j be (-102)/30 - (-2)/5. Let p be 2 - (-10 + -2 + j). Let k = 38 - p. Is k a multiple of 7?
True
Let m = -34 - -54. Is 20 a factor of m?
True
Suppose -20*d + 1195 = -1445. Is d a multiple of 6?
True
Let n be (-6)/(-4) + 2/4. Let d(g) = 0*g**3 + g**2 + 2*g**3 + 7*g - 8*g + g**2 + 2. Is 12 a factor of d(n)?
True
Is 7 a factor of -10*6/(-4) - 0?
False
Let q(f) be the first derivative of f**4/4 - 8*f**3/3 + f**2/2 - 5*f - 1. Let o be q(8). Suppose 4*j - 136 = -o*l, -3*j + l - 3*l + 101 = 0. Does 19 divide j?
False
Suppose i - 5 = -4. Is 16 a factor of i - (21/(-1) - 0)?
False
Let g(r) = r**3 - 2*r**2 - 2*r + 97. Is 8 a factor of g(0)?
False
Suppose 0 = -d - d - 56. Let r = 2 - -46. Let m = d + r. Is m a multiple of 10?
True
Suppose 2*x = 2*u + 390, x - 4*u = 5*x - 804. Does 9 divide x?
True
Suppose -l + 0*l = 0. Let k be (-6 + l)*(-21)/2. Let x = k - 36. Is 8 a factor of x?
False
Let b be 20/(-1 + (-10)/(-6)). Is 4 a factor of (4/5)/(3/b)?
True
Suppose -5*g + 57 + 8 = 0. Is g a multiple of 11?
False
Suppose 2*j - 60 = -