*i(m). Is 5 a factor of x(-3)?
False
Let o = 150 - 52. Is o a multiple of 25?
False
Let n(q) = q**2 - 10*q - 18. Is n(13) a multiple of 8?
False
Let j(d) = -d. Let c(x) = -3*x - 4. Let m(r) = c(r) - 4*j(r). Let z = 11 + -5. Does 2 divide m(z)?
True
Let j(t) be the first derivative of 4*t**3/3 + t - 1. Is 5 a factor of j(1)?
True
Suppose 5 = -5*y + 3*r, -5*y + 2*y = r - 11. Suppose 3*g - 3 = -4*s, 4*g - 2 = -3*s + 2. Suppose s = 5*z + i - 119, -2*z - 2*i + 44 = y*i. Does 14 divide z?
False
Suppose -2*g = -115 - 49. Let y = 3 - -1. Suppose -138 = -y*a + g. Is a a multiple of 22?
False
Suppose -2 - 4 = 2*l. Let c be 4/1*6/l. Let w = c + 11. Does 2 divide w?
False
Suppose -r - 2*r = -6. Suppose -33 = r*q - 5*b - 2, 2*q + b = -25. Let l = 23 + q. Is 5 a factor of l?
True
Suppose 13 = -4*f + 49. Let k = 24 - f. Does 10 divide k?
False
Suppose -11 = -3*h - 8. Let j(r) be the first derivative of 21*r**4/4 - 2*r**3/3 + r**2 - r + 1. Is j(h) a multiple of 20?
True
Suppose -10 = 5*k, 3*k = -3*o + 8*k + 19. Let c(u) = 9*u - 1 - 2 - 1. Does 23 divide c(o)?
True
Is ((-2 - 1) + -84)/(-3) a multiple of 7?
False
Suppose y + 12 = 3*v, -3*y + 3*v = -y + 12. Suppose -4*z + 4*w = y, -3*z = -5*z + 4*w - 8. Is 2 a factor of z?
True
Does 19 divide (-2)/(-2)*4 + 91?
True
Suppose -5*x = 25, 0*z = 4*z + 4*x - 44. Is 8 a factor of z?
True
Suppose -3*d - 5 = -2. Let t be (d/1)/(1/8). Is 13 a factor of t*(3 + (-50)/8)?
True
Let h(p) = 118*p**3 + p**2 - 3. Let k(l) = -353*l**3 - 4*l**2 + l + 10. Let i(d) = 7*h(d) + 2*k(d). Let o be i(1). Suppose u - o = -2*u. Is 20 a factor of u?
True
Let k be ((-18)/8)/(3/(-8)). Suppose 0 = -2*j - k, -4*w + 4*j = 8*j - 24. Is (-6)/(-2)*57/w a multiple of 17?
False
Suppose 2*k - 5*b = 119, -5*k + 4*b = 180 - 469. Suppose k - 19 = 2*u. Does 15 divide u?
False
Suppose 5*o + 3*o - 24 = 0. Is o even?
False
Suppose -5*a - 283 = -3*b, -380 = -4*b + 2*a + 2*a. Does 32 divide b?
True
Let j = -3 + 5. Suppose 0 = -j*b - 3*b + 2*p + 1, 0 = 4*b - 2*p. Let m(d) = 14*d**2 + d - 1. Does 13 divide m(b)?
False
Let o = 36 + -5. Is o a multiple of 31?
True
Let j be 94/18 + (-2)/9. Let s be (5/5)/((-1)/j). Let f(b) = b**3 + 7*b**2 + 4*b - 6. Is 11 a factor of f(s)?
False
Let b = -4 - -8. Suppose -5*w - 15 = -4*k, -k - 2*k = -b*w - 13. Let x = w + 9. Is 2 a factor of x?
True
Suppose -5*i + 10 = 0, -n = 4*i - 6*i + 6. Let j be 6/15*(n + 32). Let h = j - 6. Does 6 divide h?
True
Let g(a) = -a**3 - 7*a**2 - 14*a - 8. Is g(-5) a multiple of 9?
False
Let o(y) = 12*y - 2. Does 10 divide o(2)?
False
Let o(f) = -f**3 + 15*f**2 - 10*f + 34. Is 20 a factor of o(14)?
False
Let p(s) be the third derivative of s**4/24 - s**3/6 + 5*s**2. Is 4 a factor of p(5)?
True
Let z(l) = -l**2 + l. Let c be z(1). Suppose 5*q - m - 122 = c, 4*q + 4*m = -m + 115. Does 20 divide q?
False
Suppose 3*t = 329 + 166. Is 43 a factor of t?
False
Suppose -5*k - 5 = 0, -2*r - k = -7*r - 39. Let z(x) = -x**3 - 9*x**2 - 11*x + 6. Is z(r) a multiple of 11?
False
Let l(d) = -d**3 + d**2 - d + 29. Let i = 6 - 6. Does 15 divide l(i)?
False
Let r be ((-1)/(-2))/(1/30). Let a = r - -3. Is 18 a factor of a?
True
Let c = 2 - 0. Suppose -3*j + 43 = c*b, -5*j - 2*b + b = -60. Is 7 a factor of j?
False
Let w(c) = -c - 8. Let j be w(-4). Let m be -4 + 2 - j*1. Suppose -15 = -3*f - m*f. Does 3 divide f?
True
Suppose -42 = 3*w - 0. Let c = -41 - -16. Let j = w - c. Does 11 divide j?
True
Let m(l) = l - 6. Let f be m(0). Let v be 1*5/((-5)/f). Is (-6)/(-4)*20/v a multiple of 3?
False
Let a = -5 - -8. Suppose 328 = n + a*n. Suppose -2*l - n = -4*x, -4*x + 97 = -0*l - 5*l. Is 18 a factor of x?
True
Let v be (0 - (5 + -2)) + 3. Suppose 2*j + 3*j - 220 = v. Does 22 divide j?
True
Let n(b) = -7*b**2 + 11*b + 4. Let u(y) = -y**2 - 1. Let z(i) = n(i) - 6*u(i). Is z(11) a multiple of 3?
False
Let p(j) = 5*j**2 + 13*j - 1. Is p(-9) a multiple of 10?
False
Suppose 0 = c - 0*c - 3, 5*o - 3*c = 391. Suppose -5*i = -5*k + o, k + 4 = 2*k - 4*i. Is 8 a factor of k?
False
Suppose -2*b - p + 0*p = 0, -18 = -3*b + 3*p. Suppose 3*h + 1 + b = 0. Is 13 a factor of 19 + (1 - (-2)/h)?
False
Let b be (1 - 0)/((-1)/(-4)). Let i(t) = -t**3 + 5*t**2 - 4*t + 5. Let z be i(4). Suppose 0 = -b*p + 2*x - x + 73, 5*p + z*x = 60. Is p a multiple of 15?
False
Let k = -1 + -6. Does 4 divide -2 - k - (-12)/6?
False
Is 19 a factor of 2*17 - 3*(0 - 1)?
False
Suppose -77 - 431 = -4*x. Is x a multiple of 33?
False
Let i = -84 + 122. Is i a multiple of 16?
False
Let g(u) = 5*u**2 + 5*u - 4. Let v(c) = 5*c**2 + 4*c - 4. Let b(i) = -3*g(i) + 4*v(i). Let n be b(-6). Suppose -n = -6*j + j. Is 13 a factor of j?
False
Let y = 3 + 2. Let t = 8 - y. Suppose v - t = 1. Is v a multiple of 2?
True
Let l = 1284 + -3114. Let i be 1/6 - l/36. Suppose -3*a + i = -27. Is 9 a factor of a?
False
Suppose -5*u - 8 = 5*i + 2, 5*i = -u + 6. Suppose -2*v + 22 = -4*g, 4*g + v + 9 = i. Let r = 4 - g. Is r a multiple of 7?
True
Let d(u) be the second derivative of u**4/6 + 3*u**3/2 + 3*u**2 + u. Does 14 divide d(-7)?
False
Suppose -5*u = -h - 20, -3*h + 30 = 5*u - 2*h. Suppose u*q = 2*q - 6. Does 6 divide ((-6)/4)/(q/8)?
True
Suppose -3*z + 2445 = -162. Suppose z - 170 = 4*s + 5*q, 3*q + 15 = 0. Suppose -2*c - 3*w = -w - 74, -5*c = 4*w - s. Is c a multiple of 14?
False
Let d be (-2)/9 + 342/81. Suppose -f = 4*k - 39 - 65, -2*f + 104 = d*k. Does 13 divide k?
True
Let a(i) be the second derivative of i**7/840 - i**6/60 + i**5/120 + 7*i**4/24 - i**3/6 + i. Let o(c) be the second derivative of a(c). Is o(6) a multiple of 7?
False
Suppose -3*v = -3, 2*y - 2*v + 0*v = 16. Is 8 a factor of y?
False
Suppose -4*s = 114 + 70. Let k = -18 - s. Does 16 divide k?
False
Let u = 5 + -2. Suppose 72 = u*t - 36. Is t a multiple of 18?
True
Suppose -2*i + 21 = 3. Is i a multiple of 4?
False
Let l(o) be the third derivative of o**5/20 + 2*o**3/3 + 7*o**2. Is 13 a factor of l(-3)?
False
Let g be ((-2)/6)/((-1)/6). Let z be (-2 + 0)/g + 2. Does 16 divide 40*1 - 1/z?
False
Let w(f) = -f**2 - 2*f + 6. Let o(s) = -s - 1. Let m(a) = o(a) + w(a). Let u be m(-5). Let h = 12 + u. Is h a multiple of 5?
False
Let y = 4 + 4. Let z(k) = 3*k + 8. Is z(y) a multiple of 16?
True
Let p = -20 - -31. Suppose 17 = 3*r - 1. Let u = p - r. Is u a multiple of 3?
False
Is (-6)/(-10)*510/(-12)*-2 a multiple of 9?
False
Let r(d) = 6*d - 4. Let y = 0 + 3. Is 12 a factor of r(y)?
False
Let t = -7 + 7. Suppose -3*c + 3*o = -6*c + 102, 3*c - 3*o - 126 = t. Is 19 a factor of c?
True
Suppose 5*u - 1722 = -357. Is 30 a factor of u?
False
Let x be (30/9)/(6/9). Suppose 15 = x*t - 0*t. Suppose -2*b = -7 - 1, -48 = -t*h + 3*b. Does 20 divide h?
True
Let g be (2 + -1 - -5)*1. Let q(v) = v - 4*v + 4*v. Is 6 a factor of q(g)?
True
Let d(r) = r**3 + 4*r**2 - r - 2. Let k(m) = -m**2 - m + 1. Let g(z) = d(z) + 4*k(z). Is 7 a factor of g(3)?
True
Let x(u) = -u**3 + 6*u**2 - 4*u + 2. Let k be x(5). Is 6 a factor of 208/k + 14/49?
True
Let f be 18/4*4/(-3). Let h be 39*(7/28 + 3/4). Let d = h - f. Is d a multiple of 18?
False
Let m(q) = -2*q**2 - 2*q. Suppose f + 3*v = -12, -f - 18 = f + 4*v. Let a be m(f). Does 5 divide (25 - 1)*(-6)/a?
False
Suppose -4*c - c + 3*q = -353, 4*q - 308 = -4*c. Suppose 4*x - c = 71. Does 12 divide x?
True
Let k(s) = -s**2 + s + 1. Let n(z) = 3*z**2 - 2*z - 10. Let x(u) = 2*k(u) + n(u). Is 30 a factor of x(10)?
False
Suppose 0 = b + 4*q - 11, -4*q = 2*b + q - 16. Suppose -l + 4*z + 66 = -10, -3*l + 243 = b*z. Is l a multiple of 16?
True
Let t be 135/(-7) - 10/(-35). Let f = 27 + t. Does 4 divide f?
True
Let a(f) = f**3 + 6*f**2 + 5*f - 4. Let n be a(-6). Is 1/(((-2)/n)/1) a multiple of 17?
True
Let f be 7*(1 + 56/4). Let i = -75 + f. Is i a multiple of 13?
False
Let g(f) = -f**3 - 14*f**2 - 12*f + 17. Let s be g(-13). Does 21 divide (-11)/44 - (-257)/s?
False
Let p = 18 + -11. Is 6 a factor of ((-12)/p)/(8/(-28))?
True
Let s = -31 - 8. Let d = 14 - s. Let q = d - 34. Is q a multiple of 7?
False
Let x = 634 + -433. Is 21 a factor of x?
False
Let v = 1 + 3. Suppose t - 8 = -t, t - 8 = v*a. Let n = a + 3. Does 2 divide n?
True
Let i(z) be the second derivative of -z**5/20 - z**4/4 - 5*z**3/6 + 2*z**2 - 2*z. Let n be i(-4). Does 11 divide (24/5)/(12/n)?
False
Let t(m) = m**2 + m + 4. Let b be ((3/1)/3)/1. Let j = b