 - (-3)/(-15). Suppose 0 = -4*m + 69 + g. Suppose 4*d - m = 8. Does 2 divide d?
False
Let p(v) = v + 5*v + 2*v. Let m(i) = 2*i**2 - 9*i - 1. Let j be m(5). Is 9 a factor of p(j)?
False
Let x(q) = -q**3 + 11*q**2 + 7. Let l be x(11). Let k(a) = 37*a + 2. Let b be k(l). Let s = b + -165. Does 16 divide s?
True
Let t(a) = a**2 - a + 4. Let o(n) = -5 - 4 - n**2 + n - 4*n**3 + 3*n**3 - 2*n**2. Let f(r) = 2*o(r) + 5*t(r). Is 14 a factor of f(-3)?
True
Suppose 36 = -6*l - 0. Is (268/(-12))/(((-4)/l)/(-2)) a multiple of 11?
False
Let v = -34 + 55. Let f = v - -1. Is 8 a factor of f?
False
Let k be (0 + 47)/(1/9). Suppose 4*a + 3*u = k, -2*a = -4*a + 4*u + 228. Does 27 divide a?
True
Suppose 0 = -g - g - 12. Let n be (0 - 2)*(g - 25). Let a = -29 + n. Is 14 a factor of a?
False
Let s be (1/(-1))/((-6837)/(-1140) + -6). Suppose 8*n = 13*n - s. Is 12 a factor of n?
False
Let n(r) = -r**2 - 19*r + 14. Let v be n(-16). Suppose 2*z - v = -b, -5*z + 4*b - 6 = -187. Suppose -z = -2*m + 5*h, 5*m - m = -4*h + 108. Is m a multiple of 8?
True
Suppose -2*v + 1750 = -4*o, 137*v - 132*v = 3*o + 4389. Is 70 a factor of v?
False
Suppose -4*q - 2*a - 5238 = 0, 2*q + 2*a + 3928 = -q. Let i be q/4 - 6/12. Is i/(-18) + (-6)/27 a multiple of 5?
False
Let k = -70 - -54. Is 8 a factor of 10/((28/k)/(-7))?
True
Let x be (-7 + (-5 - -3))*1. Let v = -6 - x. Is 16 a factor of 1*((-140)/(-2) + v)?
False
Let c(x) = -4*x**3 - 4*x**2 - 8*x - 5. Is 2 a factor of c(-3)?
False
Suppose 0 = 3*a - 256 - 134. Suppose 4*n + 3*w - 246 = 6*w, 2*n - a = 5*w. Is 15 a factor of n?
True
Let a(r) = 2*r**2 - 11*r - 2. Let x be a(11). Let q = x + 2. Is q a multiple of 14?
False
Let g(v) = v**3 + 8*v**2 - v - 5. Let p be g(-8). Suppose -p*h + 227 + 42 = 4*b, b = h - 78. Does 18 divide h?
False
Suppose 0 = 29*f - 9*f - 1960. Does 14 divide f?
True
Suppose 0 = -5*r - l - 2, 2*r + 4*l + 2 = 3*l. Suppose -5*s - 17 + 27 = r. Suppose s*y - 1 = 29. Is y a multiple of 12?
False
Let a(c) be the first derivative of -c**4/4 + 10*c**3/3 - c**2/2 + 25*c - 6. Is 29 a factor of a(8)?
True
Let v(s) = -s**3 + 27*s**2 + 30*s + 4. Does 3 divide v(28)?
True
Suppose 2*z = -p - 14, -4*p + 2*z = 8 + 68. Let v be (60/p)/((-2)/3). Suppose -4*y = v*k - 153, -2*y + 81 = 3*k - 12. Does 11 divide k?
True
Suppose 39 = w - 30. Let u = w + -10. Suppose -4*m + 33 = 3*i, -5*m = -5*i + 31 + u. Does 11 divide i?
False
Suppose 6 = g + 5*r + 16, 0 = -g + 5*r + 20. Suppose g*v = 2*k + k - 22, -v = -5*k. Let y = 10 + v. Is y a multiple of 5?
True
Let p(j) = 48 + 4*j - 13*j**3 - 29 - 22 + 54*j**3 + 25*j**3. Let l(a) = -a + 7. Let u be l(6). Does 10 divide p(u)?
False
Let j be 15/2*(4 - -2). Suppose b - 42 - j = 0. Is b a multiple of 23?
False
Let g be (-3)/2 - (-10)/(-4). Is ((6/g)/3)/((-2)/192) a multiple of 6?
True
Suppose 4 = 3*p - 8. Suppose -p*o + 179 = -9. Suppose 5*k + 4*y - 157 = 30, -k + o = 4*y. Is k a multiple of 12?
False
Let h = -101 + 259. Let t = h + -86. Is 8 a factor of t?
True
Suppose -23694 = -40*d + 24626. Is 50 a factor of d?
False
Let g(s) = -2*s + 1. Let f be g(1). Let i(j) = 3*j**2 - 6*j - 5. Does 4 divide i(f)?
True
Suppose -2*l + 6 = -4. Suppose 18 = l*x - 2*t, -14 = -x + 5*t - 2*t. Suppose b - 6 = x*y, 0*b + 4*y = -5*b + 58. Does 5 divide b?
True
Let j(b) = 64*b**2 - b + 2. Is j(1) even?
False
Let l = 57 - 53. Suppose -5*o - 3*z = -z - 640, l*o - 494 = 2*z. Is o a multiple of 42?
True
Let l(b) = b**3 + 6*b**2 - b - 1. Let s be l(-6). Let f = 2 + s. Suppose -3*o + f = -2. Is o a multiple of 3?
True
Let n(v) = -v**3 + 4*v**2 + 12*v + 3. Let g be n(6). Suppose -g*w + 5*w - 3*k - 312 = 0, 0 = -3*k + 12. Is w a multiple of 27?
True
Let q = -45 - -45. Suppose -5*f + q*f + 690 = 0. Is f a multiple of 23?
True
Let h be (-263)/2*(-16)/8. Let s = 412 - h. Is 17 a factor of s?
False
Let v = 151 - 15. Suppose -6*m + 404 = -v. Is 12 a factor of m?
False
Suppose 320 = k + 4*k. Let j = -369 - -374. Suppose d = j*d - k. Does 16 divide d?
True
Let u(g) = 11*g**2 + 19*g - 301. Does 52 divide u(20)?
False
Let s = 36 - 31. Suppose 2*a + 5 = 7*a, -5*t = -s*a - 580. Is 24 a factor of t?
False
Suppose 93*i + 94 = 95*i. Let s be (-2 - -1)*-5 + 2. Suppose s - i = -2*n. Does 4 divide n?
True
Let c be 0 + -1 - (2 - 5). Suppose 5*a - 39 = c*a. Is 8 a factor of a?
False
Suppose 2*j - 117 = 5*z, -3*j + 2*j = z - 62. Is 61 a factor of j?
True
Let c(h) = -h**3 - 6*h**2 - 10*h - 19. Is 2 a factor of c(-5)?
True
Suppose 5*q = q. Suppose -226 = -3*g + g - 4*l, q = 5*g - 4*l - 579. Is 18 a factor of g?
False
Suppose 0 = f + 2 - 6. Let m(w) = 4*w**3 - 2*w + 47. Let p(v) = -5*v**3 + 3*v - 47. Let q(c) = f*m(c) + 3*p(c). Is 19 a factor of q(0)?
False
Let f = 30 + -24. Suppose 3*u = f*u - 12. Suppose 5*k = 2*w - 14 + 5, -u*k = 2*w - 36. Does 2 divide w?
True
Suppose -g = 3*g - 20. Suppose -g*i = 3*i - 480. Is i a multiple of 6?
True
Let r(t) = 2*t**2 + 5*t - 48. Let u(n) = -n**2 - n + 1. Let y(o) = -r(o) - 3*u(o). Is 26 a factor of y(0)?
False
Let t = -117 + 135. Is t a multiple of 2?
True
Let s(t) = t**2 + t + 6. Suppose 3*g = 5*l + 74, -4*g = l - 0*l - 68. Let q = -13 + g. Is 17 a factor of s(q)?
False
Suppose -21*m + 4352 = 3*n - 25*m, 2932 = 2*n + 5*m. Does 7 divide n?
True
Suppose -5*a + 17 + 9 = 3*k, 5*k - 2*a = 2. Suppose 4*s - 15 = -3*o, 10 = 2*o + k*s - 0*s. Suppose h - 71 = -x + 46, -o*h = -3*x - 609. Does 36 divide h?
False
Let g = 149 - 144. Let y(l) = 2*l - 6. Let f be y(5). Suppose -f*u = -g*u + 22. Is 15 a factor of u?
False
Let v(o) be the second derivative of o**4/12 + 4*o**3/3 + 5*o**2 + o. Let l be v(-7). Suppose -296 = -4*w - 4*k, 2 = 5*k - l. Is 29 a factor of w?
False
Let h = -247 - -457. Let z = h + -58. Is z a multiple of 9?
False
Suppose 0 = -3*y - 5*b + 247, 3*b = 3 - 6. Does 7 divide y?
True
Let a = -85 - -93. Is a a multiple of 2?
True
Let p be (4/16 - (-47)/4)/(-1). Let r = 63 - p. Is 14 a factor of r?
False
Suppose 3*h - 5*h + 2474 = 4*s, -5*h + 25 = 0. Does 28 divide s?
True
Let r(u) = -3*u - 9. Let k be 6*3/18*-3. Let h be r(k). Suppose 7*t = -h*t + 196. Does 14 divide t?
True
Let n be (-26)/(-6) + 14/(-42). Does 16 divide 32*(1 + -3 + n)?
True
Let q be (3/(-4))/((-942)/72 + 13). Let v(h) = 17*h**2 + 4*h - 4. Let s be v(3). Suppose 2*l - q - s = 0. Does 17 divide l?
True
Let g(z) = z + 74. Is g(-17) a multiple of 35?
False
Let g(a) = a**3 - 3*a**2 - 2*a - 4. Let f(n) = 7*n**2 - n - 2. Let r be f(-1). Does 13 divide g(r)?
False
Suppose i = -25 - 0. Let d be 238/10 - (-20)/i. Is 6 a factor of (2 - (2 + -1)) + d?
True
Suppose -2*f + 7 - 3 = 0. Suppose -g + 3*p = f*g - 18, p - 2 = 0. Does 8 divide g?
True
Let n(p) = -22*p**3 - 5*p**2 - 3*p - 16. Is n(-4) a multiple of 52?
False
Suppose 2 + 3 = 3*c + 5*g, -2*c - 3*g + 3 = 0. Suppose -3*i + c*i + 114 = 0. Is 19 a factor of i?
True
Let a(p) = -p**2 + 6*p + 3. Let q be a(6). Suppose 126 = y + y. Suppose 2*s + q*s - x = 65, -3*x = -4*s + y. Is s a multiple of 6?
True
Let j be -3*(-10)/15 - 0. Suppose 0*x - 4*z + 31 = 5*x, -z - 11 = -5*x. Suppose j*k - 2*i = x*i + 51, 141 = 5*k + i. Does 24 divide k?
False
Let t be 16/20 - 180/(-25). Let c = t - 8. Suppose c*p - 4*p + 80 = 0. Is p a multiple of 5?
True
Is 6 a factor of -16*((-266)/4 - 12/4)?
False
Suppose -3 + 11 = -2*c. Let j be c/(4 - (-56)/(-12)). Does 9 divide 230/j + 4/6?
False
Let c(y) = 6*y**2 + 59*y + 8. Is 25 a factor of c(7)?
False
Let z(a) = -a**3 + 2*a**2 + 4*a. Let b be z(-3). Suppose -u = -2*h - b, 0 = -u - u - 5*h + 39. Suppose u = p + 3. Does 8 divide p?
True
Suppose 0 = -3*c + 4*o + 4, -5*c - 6*o + 2*o - 36 = 0. Let g(i) = i**2 - 1. Let j be g(2). Let k = j - c. Is 2 a factor of k?
False
Suppose 2*y + 13 = 4*h - 15, 4*y = -5*h + 22. Suppose -285 = -4*k + 195. Suppose -2*r = -h*r + k. Is 17 a factor of r?
False
Suppose 2*v - 5*s = -2*v + 384, -4*s = v - 117. Suppose v = 4*b + 13. Is 11 a factor of b/(1 - 0 - -1)?
True
Suppose -4 = -b - 3*b, -1 = -2*u + 5*b. Suppose -u*y + 6 = -5*y. Is -9*(-3)/(0 - y) a multiple of 7?
False
Suppose o + 90 = -4*o. Let l be (-1)/4 + o/(-8). Suppose l*m = 3*m - 8. Does 4 divide m?
True
Let b(p) be the third derivative of -p**4/8 + 9*p**3 - 7*p**2 - 2. Does 9 divide b(14)?
False
Let y be 33/6 + (-2)/4. Suppose y*n - 379 = 161. Does 36 divide n?
True
Let p = -3 + 9. Let u = p + -5. S