a - 399 - 867 = 0. Is 22 a factor of a?
False
Let v(h) = 128*h - 2699. Is v(75) a multiple of 6?
False
Let o(w) = -28*w - 20. Let r be o(-6). Suppose -3*v + 2*v = 4*m - r, 0 = 5*m + 25. Is 29 a factor of v?
False
Let r(a) = -a**3 - 5*a**2 + a + 7. Let l be r(-3). Let m = l + 14. Suppose m = -y + 79 - 73. Is y a multiple of 2?
True
Suppose 4*o + 4*s = 44 + 32, 2*o + 3*s = 36. Suppose 41*q = o*q + 780. Does 39 divide q?
True
Suppose -9*r - 13*r = -24*r + 13908. Is 38 a factor of r?
True
Let o = -4705 + 10269. Does 17 divide o?
False
Suppose -2*b - 135 = b. Let f be (-4)/6 + (-1335)/b. Suppose -p + f = 7. Does 18 divide p?
False
Suppose v + 16 + 2 = 0. Let a be v/(-4)*12/(-9). Let n(f) = -f**2 - 4*f + 19. Does 7 divide n(a)?
True
Suppose 761*i - 756*i = -3*g + 469, -5*g + 4*i + 757 = 0. Let j = 17 - 10. Suppose -2*t + g = -j. Does 19 divide t?
False
Let z be -1*(-707)/21*93. Let m = 4450 - z. Does 8 divide m?
False
Let x be (2 - 2) + -12 + 7446. Suppose -65*v - x = -72*v. Does 16 divide v?
False
Let l = 6451 - 2943. Does 81 divide l?
False
Let x(z) be the third derivative of z**6/360 - z**5/15 - 5*z**4/12 - z**3/6 + 14*z**2. Let f(u) be the first derivative of x(u). Does 19 divide f(-4)?
True
Let t = 84649 - 49649. Does 20 divide t?
True
Suppose 2*m - 3*s = 333 + 148, 0 = -4*m + 4*s + 964. Suppose 0 = -5*z - r + 221 + m, -2*r - 190 = -2*z. Is z a multiple of 18?
False
Suppose 18*y - 20*y = -4. Suppose 0*l + 628 = 2*l + y*o, -1253 = -4*l - 3*o. Is 37 a factor of l?
False
Let o = -4725 - -5494. Is 6 a factor of o?
False
Let d(m) = -m**2 + 7*m - 7. Let h be d(2). Suppose o - 12 = g, o - 32 = 5*g + h*o. Let b(z) = -2*z**3 - 15*z**2 - 11*z + 8. Does 32 divide b(g)?
True
Let l(i) = -7*i + 6 - 4*i + 14*i. Suppose 0 = 5*v - 2*v - v. Does 3 divide l(v)?
True
Let m be (0/(5 + -6))/(-7). Suppose m = 4*p + 2*o - 245 - 697, -1155 = -5*p + 5*o. Does 18 divide p?
True
Let h(m) = m**3 + 20*m**2 + 14*m. Let l be h(-14). Suppose 7704 = 41*f + l. Is f a multiple of 6?
False
Suppose -3*d + 118747 = 5*a, 4*d = 71*a - 68*a - 71225. Does 12 divide a?
False
Does 52 divide (-16 - -16)/((-1)/1) + 4628?
True
Let j(a) = a**2 - 10*a - 36. Let u be j(13). Suppose 454 = 5*n - 2*z, u*n + n - z - 362 = 0. Does 6 divide n?
True
Let d(k) = 151 - 327 + 20*k + 214. Is d(15) a multiple of 26?
True
Let t(d) = 6 + 4*d**2 - 4*d**2 + 0*d + 5*d - 3*d**3 - 3*d**2. Let w be t(-3). Suppose 2*s - 81 = -3*n + 8*n, -2*n = s - w. Is 14 a factor of s?
False
Suppose 321268 = 9*m - 72*m + 1717285. Does 9 divide m?
False
Suppose 10 = 2*c, 3*c = -4*d - 12 - 13. Let h be 1*-4*19075/(-28). Is (-4)/d*h/10 a multiple of 9?
False
Suppose 0 = 2*o - 3*h - 12855, 5*h + 3445 = -4*o + 29188. Does 48 divide o?
True
Suppose -4*c = 3*q - 42489, 2*q = -22*c + 27*c + 28372. Is q a multiple of 64?
False
Suppose x - 3*d - 5418 - 1504 = 0, 5*x - 4*d - 34588 = 0. Is x a multiple of 28?
True
Let z = 590 - 292. Let x be 58/14 - ((-20)/70)/(-2) - 174. Let t = x + z. Does 8 divide t?
True
Suppose -36370 = 19*j - 24*j. Suppose -54*n + 34846 = -j. Does 13 divide n?
True
Let u = 133 + 448. Let q = u + -342. Is q a multiple of 41?
False
Let p = 12757 - 5472. Does 155 divide p?
True
Is ((-74)/(-4))/(2 + -1 - 334/336) a multiple of 74?
True
Let l = -2 - 0. Let k = l - -178. Suppose -5*h + 521 = k. Is h a multiple of 38?
False
Let i be (-4 - 1047/6)/3*-2. Suppose 5*g - 2*a = 3*g + 114, 3*a + i = 2*g. Is 12 a factor of g?
False
Let i(k) = k**3 + 11*k**2 + 12*k + 8. Suppose -2*y - 16 = -2*h, -3*h = 4*y - 2*y + 26. Let x be i(y). Is (-11 - x)/(-2*(-2)/312) a multiple of 13?
True
Is 30 a factor of (5 - 35) + 26 - (-1 + -2883)?
True
Suppose -4*n - 34 = -130. Is 28 a factor of (-3 - (-4374)/n)*(-40)/(-15)?
False
Let h(x) = 491*x + 101. Let b be h(-6). Let u = b - -4365. Is u a multiple of 24?
False
Suppose -10455 = -h - 9*v + 12*v, -2*h + 4*v + 20906 = 0. Is 20 a factor of h?
False
Let y be 1/(2/89) + (-7)/(-14). Suppose 0 = 3*o - y - 84. Is o a multiple of 36?
False
Suppose -71*i - 99 = -82*i. Suppose 5*d - 3265 = 5*y, i*d - 14*d + 3225 = 3*y. Does 36 divide d?
True
Let x(z) = z**2 - 10*z + 14. Let q be ((-2)/(-10))/((-5)/25)*-7. Let c be x(q). Is 9*(-2 + 1)*c a multiple of 3?
True
Suppose p - 2*p + 128 = -3*f, 0 = 4*f. Suppose -19 - p = -7*q. Does 14 divide q?
False
Suppose 5*l = -4*q + 15907, 4*l - 15908 = 14*q - 18*q. Is 13 a factor of q?
True
Let a(x) = -15*x + 5. Let y(i) = -22*i + 8. Let z(h) = -7*a(h) + 5*y(h). Let g(j) = -14*j**2 + 4*j - 1. Let k be g(1). Does 11 divide z(k)?
False
Let l(f) be the third derivative of 17*f**4/24 + 25*f**3/3 + 97*f**2 + 11. Let r = 8 - 2. Is l(r) a multiple of 19?
True
Suppose -3*s = q - 23350, -167*q = 3*s - 171*q - 23345. Is s a multiple of 25?
False
Let l(w) = 127*w**2 + 11*w + 5. Let j(b) = -636*b**2 - 54*b - 26. Let d(f) = -3*j(f) - 14*l(f). Does 45 divide d(-2)?
False
Is (2 + (3 - -42081))/(2 - (2 - 1)) a multiple of 11?
True
Let s(r) = 724*r - 651. Is 40 a factor of s(4)?
False
Let q(m) = -6*m**2 + 48*m + 7. Let a be q(8). Suppose u = -x + 26, -2*x + a*u = 2*u - 38. Is 8 a factor of x?
True
Let x = -1487 - -4822. Is x a multiple of 115?
True
Let n = -9371 + 2191. Does 10 divide ((-21)/28)/(15/n)?
False
Let i(q) be the first derivative of 7*q**4/4 - 4*q**3/3 + q**2/2 + 5*q + 2. Let w be i(4). Let p = -236 + w. Is 9 a factor of p?
False
Let u(k) = k**3 - 70*k**2 + 234*k + 141. Is 12 a factor of u(67)?
True
Does 62 divide (-20012565)/(-8040) + 1/(-3)*(-9)/(-24)?
False
Let n(x) = -2*x**3 - 34*x**2 + 5*x - 127. Is n(-19) a multiple of 47?
True
Let m be (0/(-2))/(-10 - -12) + 185. Let v = 68 + m. Does 11 divide v?
True
Suppose -3*x + 5*w + 1228 = 0, 0 = -2*x + 5*x + w - 1252. Let t = 755 - x. Is 31 a factor of t?
False
Let a(o) be the second derivative of -o**6/180 + 7*o**5/120 - o**4 - 6*o. Let h(f) be the third derivative of a(f). Does 17 divide h(-11)?
True
Let w(r) = 2*r**2 + 21*r + 14. Let u be w(-10). Suppose 3*n + 3*k - 897 = 0, -n - 4*n + 1495 = u*k. Does 23 divide n?
True
Suppose -14*i + 3 = 3. Let q(u) = -2*u**2 - u + 203. Is 10 a factor of q(i)?
False
Let g(x) = 4*x**2 - 94*x - 10. Let w be g(24). Let m(p) = p - 6. Let f be m(6). Suppose -s = 2*v - w, -2*s + 3*s + 3*v - 40 = f. Is s a multiple of 4?
False
Let q be (-2)/6*(20 + -32). Suppose -d = 3*s - 38 - 68, -q*d + 3*s + 394 = 0. Is d a multiple of 33?
False
Let l be 0/(((5 + -3)*-1)/(-2)). Does 11 divide -95*(-5 + (4 - l))?
False
Let t(y) = -8*y**2 + 1. Let h be t(1). Suppose -4*q - 35 + 11 = 2*k, 2*q - 4 = 3*k. Does 21 divide (9/6*h)/(2/q)?
True
Let m(p) = 361*p**3 - 7*p - p**2 + 352*p**3 - 736*p**3 - 1. Is m(-3) a multiple of 14?
False
Let s(x) = -3*x**3 - 4*x**2 - 3*x + 17. Let z(h) = h**3 + h**2 + h - 6. Let w(a) = 3*a + 16. Let n be w(-8). Let y(j) = n*z(j) - 3*s(j). Is 2 a factor of y(-2)?
False
Let y = 26 - 24. Suppose -2*q - 24 = -y*j, 2*j = q + 5 + 17. Suppose -r - 1755 = -j*r. Is 39 a factor of r?
True
Let g = 16466 - 5178. Is 34 a factor of g?
True
Let h = 107 + 1319. Does 46 divide h?
True
Suppose 0 = -n + 4*c + 17127, -4*n + 60*c + 68456 = 57*c. Is 64 a factor of n?
False
Suppose -66*g - 140998 = -8*g. Let o = -1456 - g. Is 41 a factor of o?
False
Let i(r) = 3*r**2 + 56*r + 66. Let w(l) = l**2 + 19*l + 22. Let o(f) = -4*i(f) + 11*w(f). Let s be o(-13). Suppose a = s*a - 60. Does 6 divide a?
False
Suppose n - 4 + 0 = 0. Suppose 8*o + 2255 = 5*z + 3*o, 2*o + 1800 = n*z. Is 22 a factor of z?
False
Let h = 23 + -34. Let x = h - -8. Is -11 + 7 + (4 - x) even?
False
Let w(p) = 264*p - 855. Is w(35) a multiple of 15?
True
Let t(s) be the second derivative of -s**5/60 + 3*s**4/4 + 8*s**3/3 + 7*s**2/2 - 21*s. Let c(u) be the first derivative of t(u). Is 15 a factor of c(16)?
False
Let w(b) = 208*b - 3810. Does 113 divide w(52)?
True
Let a be (-7 - (-12 + 5))/2. Suppose 2*n = -a*n + 5*m + 178, 332 = 4*n - 4*m. Does 3 divide n?
False
Let j(p) = -23*p - 36. Let h be j(7). Let u = 200 + h. Is u even?
False
Suppose -7*n = 6*n - 34 + 34. Let k(d) = d**3 - 2*d**2 - d + 165. Let b(j) = j**2 + j - 1. Let u(l) = 3*b(l) + k(l). Is u(n) a multiple of 17?
False
Suppose 0 = -2*j + 4*j + 5*w - 18, -10 = -2*j - w. Let y be (4 - (-322)/(-77)) + 16180/55. Suppose j*u = y - 42. Is u a multiple of 9?
True
Suppose -28 = y + 58. Let j = y + 40