f b**3 - 12*b**2 + 43. Is a(10) even?
True
Suppose -3*r - l + 1 = -39, 4*l = 4*r - 80. Suppose -n + r*f + 387 = 12*f, -2*n = -3*f - 774. Does 48 divide n?
False
Is (534/(-24))/((-24783)/4956 - (-1 + -4)) a multiple of 89?
True
Let j(f) = 10*f**2 + 11*f + 1. Let k(g) = g**2 - 1. Let r(u) = j(u) - 5*k(u). Let b be r(-5). Suppose b = 8*q - 36. Is q a multiple of 7?
True
Is 27 a factor of (-31 + -32)*(1398/(-14) - -3)?
True
Let i(h) = h**3 + 7*h**2 - 2*h - 11. Let y be -7*(-1 + -1)*(-4)/8. Let n be i(y). Suppose -2*b - n*u = -0*b - 54, 2*b - 26 = 4*u. Is 2 a factor of b?
False
Let x(a) = a**3 - 51*a**2 - 153*a - 75. Is x(54) a multiple of 3?
True
Let n(v) be the third derivative of -43*v**4/24 - 4*v**3/3 - 33*v**2. Let p be n(-1). Suppose 6*w = w + p. Is w a multiple of 2?
False
Is (12/(-30) - (-48)/45)*438 a multiple of 4?
True
Suppose 12*m = -24 + 72. Suppose -v - 8*f + 61 = -3*f, 5*f + 219 = m*v. Does 14 divide v?
True
Suppose 0 = -3*g - 5*v + 1589, v = 2*g - 1148 + 93. Is 5 a factor of g?
False
Suppose -13*a - 9 = -10*a, 0 = 5*n + a - 52. Suppose n*i = 1082 + 2108. Does 5 divide i?
True
Suppose 9*j - 32 = 5*j. Suppose -j*u - 12 = -11*u. Does 38 divide 40/12 - u - (-1660)/6?
False
Suppose -5*q = -3*r - 26265, 10*q - 14*q - r = -20995. Does 25 divide q?
True
Is 19 a factor of ((-2)/(-6)*-2847)/(-1)?
False
Suppose -4*d = 2*k + 26, 2*k + 17 + 1 = -2*d. Let j be ((-52)/8 - 7)*d/(-3). Let n = j + 34. Is n a multiple of 7?
False
Let o(j) = 1796*j**2 + 545*j + 2168. Does 60 divide o(-4)?
False
Let m(c) = -536*c + 1424. Does 2 divide m(0)?
True
Suppose -f - 2373 = -3*v, 0 = 5*v + 2*f + 2*f - 3955. Suppose 0 = 13*q - 232 + v. Let s = 179 + q. Is 17 a factor of s?
True
Let s be 16/6 + 2/6. Suppose 0 = -5*f - 20, 2*z + 31*f = 34*f + 16. Suppose -a = 2*q - 156, -156 = -s*a + z*a - 4*q. Does 39 divide a?
True
Suppose -4*o = l - 2454, 10*l - o = 5*l + 12375. Let i = l + -1742. Is i a multiple of 9?
False
Suppose 0 = -35*g + 40*g - 15. Suppose g*r - 446 = 4*k - 4808, -5437 = -5*k - 4*r. Does 74 divide k?
False
Let w(d) = d**3 + 2*d**2 - 6*d - 6. Let s be w(-3). Let h be ((-10)/25)/(s/(-19290)). Is 30 a factor of h/14 - (-2)/7?
False
Let p(q) = 3*q + 20. Let u be p(-6). Suppose 155 + 309 = -u*x. Let r = x + 550. Does 53 divide r?
True
Let p(v) = -27*v + 5. Let g be p(2). Let o = 113 + g. Is 8 a factor of o?
True
Is (25082/3)/((-8)/(-12)) - (-2320)/464 a multiple of 123?
True
Let x = 102486 + -62736. Does 75 divide x?
True
Let a(v) = -22*v - 83. Let i be (-4)/(1 + 3)*(-4 + 11). Does 4 divide a(i)?
False
Suppose 1014*a = 1004*a + 19450. Is a a multiple of 5?
True
Let m = -2037 + 3905. Does 6 divide m?
False
Let g(i) = 2*i**3 - 5*i**2 + 3*i - 4. Let p be g(3). Is 133 + (p/(-28))/(1/2) even?
True
Let c = -150 + 252. Suppose -2*u + c = 5*f - 59, -3*u + 4*f + 207 = 0. Suppose -u - 1 = -2*a. Does 12 divide a?
False
Suppose -33*h + 8945 = -28*h + 5*i, -7174 = -4*h + 2*i. Is h a multiple of 64?
True
Suppose -3*j = -3*s + 2094, -15*s + 11*s - j = -2812. Is 2 a factor of s?
True
Let x be 3/12 - (-35778)/24. Let r be (x/(-6))/(-7)*2. Suppose 0 = 3*g - r - 97. Is 28 a factor of g?
True
Let j(c) be the second derivative of c**5/15 - 13*c**4/24 + 3*c**3/2 + 8*c**2 + c. Let v(r) be the first derivative of j(r). Is 33 a factor of v(5)?
False
Let k be 3/(-5) + 65*4/100. Suppose 3*z - 520 = -b, 127 + 208 = k*z + 3*b. Is z a multiple of 25?
True
Let z(j) = -2*j + 10. Let n be z(4). Suppose -n*y + 704 + 436 = 0. Is 9 a factor of y?
False
Suppose -204*x - 33939 = -232*x + 54765. Is x a multiple of 6?
True
Suppose 4*b = -l + 18079, 0 = 5*b - 52 + 37. Is l a multiple of 29?
True
Let h(u) be the first derivative of u**3/3 + 5*u**2 - 3. Let f be h(-10). Is f + 212/8 + (-1)/2 a multiple of 11?
False
Let j(y) = -403*y - 2020. Is j(-32) a multiple of 6?
False
Let m be 3118/12 + 3/18. Suppose 9*t = 7*t - m. Let a = t + 220. Is 30 a factor of a?
True
Is ((-189024)/(-216))/((-2)/(-18)) a multiple of 44?
True
Suppose -4860 + 223246 = 2*q - 2*s, 3*s + 436767 = 4*q. Does 25 divide 1/((-11)/(-2)) + q/594?
False
Suppose 28532 = 78*g - 168262. Is 50 a factor of g?
False
Let q be -2*((-4 - 0) + 20317/(-11)). Suppose -206*i + q = -200*i. Is i a multiple of 51?
False
Suppose 31550 = 2*i - 2*h, -i = -120*h + 124*h - 15745. Is i a multiple of 33?
False
Suppose 46*d = 48*d - 10. Suppose -5*r = d*c, -2*c - 12 = 10*r - 11*r. Is r/(-4 - 0)*(-468)/2 a multiple of 39?
True
Suppose -13*o = 3*o - 48. Suppose -o*h = -382 + 1. Is 6 a factor of h?
False
Let o(x) = -5*x. Let y(g) = g**2 + 14*g + 19. Let l be y(-12). Let m(b) = -8*b - 11. Let p(v) = l*o(v) + 5*m(v). Is p(-7) a multiple of 32?
False
Let v(d) = 43*d - 5. Let b(h) = 21*h - 3. Let g(w) = -5*b(w) + 3*v(w). Suppose -2*y - 2*n = -6, -9*y - 2*n - 29 = -14*y. Is g(y) a multiple of 40?
True
Let s = -1467 - -2256. Does 49 divide s?
False
Suppose 36*a - 41*a = 4*u - 46, 16 = 4*u. Suppose -b - 772 = -5*t, 2*t + a*b = b + 325. Does 2 divide t?
False
Is 3021 - ((-1 + 2)*5 + (-2 - 0)) a multiple of 30?
False
Suppose 136 = 3*j - 4*j. Suppose 2*o = 2*f - 508, 3*f + 4*o - 631 = 110. Let y = f + j. Is 25 a factor of y?
False
Suppose -146*i + 145*i + 3057 = 4*f, -2*f = -4. Does 7 divide i?
False
Let v(d) = 5037*d - 819. Does 12 divide v(11)?
True
Suppose -5*t - 20 = -5*k, 0*k + 4*t = -k + 9. Let p(y) = 53*y**2 + 24*y - 16. Is p(k) a multiple of 51?
False
Suppose 4*b - 5*n - 41 = 0, 4*b + n - 79 = -20. Suppose 51 = -r + 5*j, -3*r - 170 = 16*j - b*j. Is 60 a factor of (-7)/r - (-2399)/8?
True
Is (-7)/6 + 458724732/5976 a multiple of 121?
False
Let o(g) = g**3 + g**2 + 1. Let c(h) = 4*h**3 + 6*h**2 + 5*h - 9. Let z(s) = c(s) - 5*o(s). Is 58 a factor of z(-8)?
True
Let y be 14/(3 + (-2 - -1)). Suppose 3*v + 209 = 314. Suppose y*g - v = -0*g. Is 4 a factor of g?
False
Suppose 6*t = 16*t + 20. Let q be -1 + t + 25/5. Suppose -q*k = -5*k + 165. Does 11 divide k?
True
Suppose -35*p + 143852 = 51802. Is p a multiple of 54?
False
Let h = -5079 - -5382. Is 4 a factor of h?
False
Let m = -25465 - -46643. Is m a multiple of 279?
False
Let q be ((-20)/(-15))/((-2)/6). Is (12/40*q)/(6/(-1640)) a multiple of 8?
True
Let h(t) = -1801*t**3 - 3*t**2 - 51*t - 139. Does 109 divide h(-3)?
True
Let m(h) = 3*h**3 - 26*h**2 + 21*h - 4. Suppose -14*o = -2*x - 10*o + 30, -4*o - 21 = -x. Is 48 a factor of m(x)?
False
Suppose 0*c - 4*u + 2648 = 2*c, -5*c + 6594 = -3*u. Let g = c + -787. Suppose g - 122 = 3*t. Is 18 a factor of t?
False
Let o = 823 - 10. Suppose 963 = 6*s - o. Is 37 a factor of s?
True
Let z be -234 - -228 - -214*(-6)/4. Let f = 225 - z. Does 15 divide f?
False
Let h(s) = 4*s**2 + s + 1. Let g(c) = -6*c**2 + 3*c - 25. Let r(v) = g(v) + 4*h(v). Is 75 a factor of r(-5)?
False
Suppose 23*n + 18 = 21*n. Let j(b) = -b**3 - 6*b**2 - 6*b - 35. Is 32 a factor of j(n)?
False
Suppose 3*h + 4*w + 0*w = 21568, 0 = 5*h + 4*w - 35968. Is h a multiple of 180?
True
Let q(x) = 120*x**2 - 3*x + 9. Let f be q(3). Let h = f + -440. Does 32 divide h?
True
Let y = -7700 + 11384. Is 18 a factor of y?
False
Suppose -58637 = -64*n + 10419. Does 13 divide n?
True
Suppose 501*l - 108 = 497*l. Suppose 0 = -2*o + 3*o + 18. Let n = l - o. Is n a multiple of 15?
True
Let x(z) be the third derivative of z**4/24 + 19*z**3/3 + 5*z**2 - 3. Let y = 23 + -1. Is x(y) a multiple of 15?
True
Does 42 divide (-252 - -922)*(-12)/10*-31?
False
Let l(j) = 5*j + 409*j**2 - 1 - 9 + 4. Does 51 divide l(1)?
True
Let c = -4282 + 4022. Let h(k) = -k**3 + 6*k**2 + 3*k - 7. Let y be h(-6). Let s = c + y. Is 21 a factor of s?
True
Let i(p) = -p + 15. Let u be i(12). Let c be (54/10)/(70/(-25) + u). Let f = 86 - c. Is f a multiple of 14?
False
Let u(w) = -w**2 + 6*w + 5. Let i be u(6). Suppose 2*j = 138 - 18. Suppose 6*z - 5*b - 15 = z, -4*b + j = i*z. Is z a multiple of 3?
False
Suppose -89*d - 60*d + 56810 = 98*d. Is d a multiple of 46?
True
Let b(f) be the third derivative of 8*f**2 + 1/20*f**5 + 0 + 0*f + 5/6*f**3 + 0*f**4. Is 6 a factor of b(4)?
False
Suppose -3*p = 2 - 8. Suppose -6 = 13*c - 1618. Suppose 2*r = p*g + c, 0 = -7*g + 11*g - 4. Is r a multiple of 46?
False
Does 32 divide 4381 - (1*2*55/110 + -4)?
True
Is ((-105)/(-28))/(-5) - ((-41175)/20 + 6) a multiple of 3?
True
Let q(l) = l**2 + 13*l - 211. Is 9 a factor of 