 21 divide h?
True
Suppose -61*d + 48060 = -16*d. Is 56 a factor of d?
False
Let f(s) be the first derivative of 5/3*s**3 + 5*s + 3 + 7/2*s**2. Is f(-4) a multiple of 23?
False
Let j(y) = y**2 - 12*y + 14. Let k be j(12). Let p = 5 - k. Let c(v) = v**3 + 8*v**2 - 13*v - 6. Is c(p) a multiple of 8?
False
Let s(n) be the third derivative of -25*n**4/12 - 3*n**2. Let x be s(-1). Is 8 a factor of 1/(-3) + x/6?
True
Let z(u) = -218*u + 177. Is z(-3) a multiple of 58?
False
Let f = -287 + 555. Does 4 divide f?
True
Suppose -108*x + 18685 = -71*x. Is 101 a factor of x?
True
Let t(b) = -38*b + 21. Does 18 divide t(-4)?
False
Suppose 5*h - 6306 = 3*a, 5*h - 21*a - 6302 = -20*a. Does 28 divide h?
True
Suppose -5*g - 3*a = -1934, -2*a - 970 = 5*g - 2906. Does 43 divide g?
False
Let p(w) be the second derivative of w**4/12 - 5*w**3/6 - 13*w**2/2 + 17*w. Is 34 a factor of p(-7)?
False
Let v = -139 - -153. Suppose 34 = v*d - 148. Is 2 a factor of d?
False
Let g be -3 + 39/12 - 263/(-4). Suppose -3*c + 102 = -g. Is c a multiple of 16?
False
Suppose 5*i - 2*i + 5*j = -13, -2*j = -i + 3. Let v(o) = 2*o - 1. Let b be v(i). Is (-3)/b*11/1 a multiple of 7?
False
Suppose -2*y = 25 - 59. Let a = -12 + y. Suppose 2*p = 2*l + 69 - 19, a*l = p - 29. Is p a multiple of 23?
False
Suppose 17 = 3*b + 5. Suppose q + 176 = 5*q - 4*c, -c + 186 = b*q. Does 12 divide q?
False
Suppose -8*k = -668 - 1724. Is 23 a factor of k?
True
Let u be 1/(-9) - 24160/288. Let p = u + 130. Is 11 a factor of p?
False
Let z = 356 - 653. Let y = -190 - z. Suppose 0 = -4*o + y + 1. Does 4 divide o?
False
Does 8 divide (-3057)/(-27) + (-28)/126?
False
Let l(w) = 89*w + 2. Let p(n) = -88*n - 2. Let h(u) = 3*l(u) + 2*p(u). Is h(1) a multiple of 31?
True
Suppose 9*o - 2*o - 280 = 0. Is 4 a factor of o?
True
Is 26 a factor of 2 + (196*6 - 8)?
True
Let v(i) = 5*i + 173. Is v(29) a multiple of 5?
False
Let b(s) = 7*s + 4. Let d be b(2). Suppose d*y = 14*y + 612. Is 9 a factor of y?
True
Let x(w) = -24*w - 3. Let l(z) = -93*z - 12. Let s(b) = 2*l(b) - 9*x(b). Suppose -2*u - u + 6 = 0. Is s(u) a multiple of 22?
False
Let o = 849 - -499. Does 11 divide o?
False
Let p(u) = 589*u**3 + 2*u**2 - u. Does 41 divide p(1)?
False
Let v be (0 - 2)*(-2)/1. Suppose v*a = -4*f + f + 178, -5*a - 289 = -4*f. Is f a multiple of 22?
True
Is 169/(-3)*(-32 - -26) a multiple of 35?
False
Suppose -3*l + 1047 = -387. Suppose -26 - l = -4*n. Is n a multiple of 32?
False
Suppose 0 = -4*l + 26 + 58. Suppose -l*u = -22*u + 10. Is 10 a factor of u?
True
Let d be -1*(-1)/1*0. Suppose 2*k + 21 = -5*w, -k - 20 = -6*k + 2*w. Suppose -k*z + 5*z - 186 = d. Is 21 a factor of z?
False
Suppose -5*g + 188 = -3*g. Suppose 0 = 5*u - 269 + g. Is u a multiple of 19?
False
Suppose -1 - 31 = -k. Let z = k + 64. Does 24 divide z?
True
Let p(d) = d**3 - 10*d**2 - 7*d - 12. Is 8 a factor of p(12)?
True
Let m be 11*6/(-54) + (-4)/(-18). Is 3 + m + 137 + -4 a multiple of 15?
True
Let d = -54 + 398. Is 26 a factor of d?
False
Let o(t) = -2*t - 48. Let s be o(-10). Let c = 86 - 149. Let i = s - c. Does 27 divide i?
False
Suppose -3*k + 1037 = 5*y - 2215, 5*k + 1958 = 3*y. Is 21 a factor of y?
True
Suppose 8*w - 6*w - 8 = 0. Let t(m) = m**3 - 4*m**2 + 5*m - 4. Does 3 divide t(w)?
False
Is 6 a factor of -557*(3/2)/(4/(-8))?
False
Is (-992)/56*(6 + -13) a multiple of 42?
False
Let h = 845 - 167. Suppose 0 = r + 5*l - 2*l - 162, -4*r - 2*l + h = 0. Is 57 a factor of r?
True
Suppose -q + 12 = -7. Suppose 0 = 3*r + m - 25 - 28, 4 = -r + 4*m. Let t = r + q. Does 8 divide t?
False
Let d = -4256 + 6695. Does 19 divide d?
False
Suppose -2*m + 7*p - 2*p = -267, -p = 5*m - 627. Let j = -50 + m. Does 38 divide j?
True
Suppose 209 = 4*f + z - 1192, -4 = -4*z. Does 5 divide f?
True
Let d be (6 - 1)/(-7 - -8). Is 12 a factor of 1 + 1*475/d?
True
Let w(z) = 22*z**2 + 6*z. Let n be w(-3). Is 15 a factor of n + (1 - 1)*(-7)/(-14)?
True
Let f = 21 - 27. Let z(h) = 4*h**2 - 7*h - 26. Does 32 divide z(f)?
True
Let q(t) = t + 2. Let g be q(-15). Let u = -1 - g. Suppose 30 = -7*y + u*y. Is 4 a factor of y?
False
Is 3*35 + (4 + -3)*-3 a multiple of 6?
True
Suppose -6*b = -351 + 81. Suppose n - b - 25 = 0. Does 14 divide n?
True
Suppose -2*v - h - 37 = -4*h, 18 = -v + h. Let d = v - -19. Is d a multiple of 2?
True
Is -2 + 4 - (-10 - 846) a multiple of 27?
False
Let o(c) be the first derivative of c**4/2 - 2*c**3/3 - 3*c**2/2 + 2*c - 4. Let y be o(2). Is 3/(6/20) - y a multiple of 3?
True
Suppose -17 = 10*l - 497. Is (37672/l)/17 + (-2)/12 a multiple of 2?
True
Suppose 0 = -k + 3 - 6. Let y = k + 5. Suppose y*s - 24 = 6. Does 7 divide s?
False
Let v(i) = -8*i**2 - 2*i. Let s be v(2). Let y = s - -23. Let a = 19 + y. Is 6 a factor of a?
True
Does 21 divide 0 - -202 - (-5 + (3 - -5))?
False
Let w(g) = 5*g + 2. Let r(h) = 41*h**3 - 3*h**2 + 8*h. Let j(c) = -14*c**3 + c**2 - 3*c. Let s(t) = -11*j(t) - 4*r(t). Let f be s(-1). Is w(f) a multiple of 26?
True
Is 57 a factor of 41184/180 - (-18)/(-10)?
False
Suppose 3*h + 2*p = 2*h - 184, 2*p = -5*h - 944. Let b = h + 274. Does 13 divide b?
False
Let h be (-182)/(-14) - 1/1. Suppose 3*o + h = 3*d - 0*d, 2*o + 2*d = 0. Does 19 divide o/5*(9 - 199)?
True
Let h(g) = 4*g - 4. Let c be h(3). Suppose -9*t + c*t = 0. Let r = 6 - t. Is 3 a factor of r?
True
Suppose a = -4*l + 5*a - 32, 0 = -5*l - 3*a. Let u be 1 + 34 - (2 + l). Suppose 0*m = 4*m - u. Is 3 a factor of m?
True
Let h(i) = -i**2 + 20*i + 10. Let w be h(16). Suppose -3*u = 9, 4*v + 5*u - w = 3*u. Does 10 divide v?
True
Let i(z) = z**2 + 3. Let p be i(0). Suppose -o + 64 = -p*o. Is (-158)/(-13) - o/(-208) a multiple of 12?
True
Suppose 3*f = 3*l - 33, 3*l = 4*f - 2*l + 43. Let h = 5 + f. Let w = h + 51. Is w a multiple of 27?
False
Suppose 4*i - 2*i - 2 = 0. Suppose 1 + i = x. Suppose 2*g = 3*g - x, -5*b + 5*g = -315. Does 14 divide b?
False
Suppose 0*x + 18 = 3*x. Suppose 9*b - 33 = 21. Suppose 2*v - b = x. Does 3 divide v?
True
Let k(p) = -p**2 - 82*p - 64. Does 22 divide k(-52)?
True
Suppose 0 = -2*r + 20 + 10. Does 10 divide (0 - r)*(-10)/3?
True
Let m(j) = -j**3 - 5*j**2 - 3*j + 24. Let b(a) = -a - 8. Let s be b(-2). Is 13 a factor of m(s)?
True
Suppose -361 = -2*m + 351. Suppose 0*g + 5*g - m = 2*v, g - 5*v = 85. Is g a multiple of 45?
False
Let x = -56 - -625. Is x a multiple of 17?
False
Suppose -p + 0*p = -n + 8, 20 = -2*p + 4*n. Let o = -11 - p. Does 17 divide 33*8/(-60)*o?
False
Let o(g) = -g**2 - 11*g + 37. Let p be o(-11). Suppose 0*i + i - p = 0. Does 13 divide i?
False
Let p(o) = -57*o**3 + o**2 - 2*o + 1. Let n be p(1). Let i = n + 180. Is (i/6)/(1/2) a multiple of 19?
False
Suppose p = -2*c - 15, -2*p - 2*c - 3*c = 29. Let u = 23 + p. Is u even?
True
Let u(q) = q**3 + 6*q**2 + q - 6. Let p be u(-5). Let t be p*(3 - (-21)/(-6)). Let v(j) = -9*j - 6. Is v(t) a multiple of 19?
True
Suppose -6*j + 3 = -15. Suppose j*h = -4*h + 588. Does 14 divide h?
True
Let w = -11 + 4. Let q = w - -10. Suppose -q*a + a = -12. Is a even?
True
Let h = -866 + 1514. Suppose -8*i - i = -h. Is i a multiple of 8?
True
Let d(h) be the first derivative of h**3/3 - 13*h**2/2 + 14*h - 3. Let t be d(12). Suppose 0 = 3*b - 0*m - 2*m - 73, -t*b - m = -51. Does 16 divide b?
False
Let x = -1173 - -2268. Is 15 a factor of x?
True
Let x(j) = 3 + 1 + j**2 - 2*j**2. Let h be x(0). Suppose -100 = -2*l + 2*b, h*l + 0*l = 2*b + 192. Is 23 a factor of l?
True
Let v(m) = 2*m**3 - 9*m**2 + 5*m + 35. Is v(7) a multiple of 45?
True
Suppose 3*x = 12*x - 567. Let f = 99 - x. Does 4 divide f?
True
Let p(r) = 13*r**2 - r - 12. Suppose 0*j + 8 = 4*v + 2*j, 5*v = 5*j + 40. Is 15 a factor of p(v)?
False
Let h(n) = -n**2 - 10*n + 10. Let l be h(-11). Let t = 1 + l. Suppose i - 4*i + 114 = t. Is 12 a factor of i?
False
Let r be (-4)/(8/6) + 2. Does 12 divide (-168)/(-2) + -2 + r?
False
Let a(t) be the third derivative of -5*t**4/4 - 3*t**2. Is 20 a factor of a(-2)?
True
Let s = 89 + -86. Suppose 2*o - 5*j - 59 = 0, -j - 99 = -s*o - 4*j. Does 12 divide o?
False
Suppose 3*v + d + 15 = -0*d, v = -4*d + 6. Suppose 2*z + 72 = 2*g, 0 = -3*z + g - 0*g - 114. Is 12 a factor of 5628/78 - v/z?
True
Let s(r) = 541*r**2 - r + 4. Does 67 divide s(-1)?
False
Let f = -79 - -101. Let x(p) = -p**3 + 23*p**2 - 16*p - 31. Is x(f) a multipl