229*q - 3383 = -232*q - 4*n. Is q a multiple of 49?
False
Let k(b) = -b - 2. Let p be k(-6). Suppose 0 = -t - i - p, 0 = -9*i + 4*i. Is 21 a factor of t/6 - ((-1528)/6)/4?
True
Suppose -4256 - 3052 = -21*a. Suppose r + 52 = a. Is 37 a factor of r?
True
Let h(k) = -3*k**2 + 33*k. Let p be h(11). Suppose j + 148 - 1520 = p. Does 49 divide j?
True
Suppose 8*z - 13239 = -4703. Is 11 a factor of z?
True
Let a(n) = -3*n - 22. Let q be a(-11). Let t(m) = -m**3 + 12*m**2 - 11*m - 4. Let j be t(q). Is 20 a factor of j + 4 + -1 + (-1 - -159)?
False
Suppose -2*m + 45 = 39. Let w(b) = 18*b**3 - 3*b**2 + 12*b - 1. Is 38 a factor of w(m)?
True
Suppose j = -2*s + 546, -5*j - 124*s + 2750 = -119*s. Is 3 a factor of j?
False
Suppose 1652 + 223 = -25*o. Is (30/o)/((-2)/150) a multiple of 15?
True
Let w = 54 - 36. Suppose -w*z = -6*z - 756. Let k = z - 14. Is 23 a factor of k?
False
Let i = -33666 - -60090. Is 12 a factor of i?
True
Suppose -8*s + 2*h - 5070 = -9*s, 0 = 3*s + 5*h - 15211. Suppose -s = -6*a - 1244. Is 11 a factor of a?
True
Let u(n) = -2*n**2 + 17*n + 9. Let x be u(-9). Does 12 divide x/(-24) - 4/((-48)/(-9))?
True
Suppose t - u = -2*t - 1, 2 = 5*t + 2*u. Suppose t = -3*f - 8 + 2. Is 17 a factor of f*(113/(-2) + -5)?
False
Let w(j) = -130*j - 143. Let l(v) = 52*v + 55. Let z(h) = 12*l(h) + 5*w(h). Let n(c) = -c**2 + 2*c + 4. Let m be n(5). Is z(m) a multiple of 35?
False
Let d(t) = 28*t**2 - t**3 - 36*t - 18 - 17*t + 6*t - 70. Does 42 divide d(26)?
True
Let z = 9042 + -4880. Is 35 a factor of z?
False
Let n(h) = h - 12. Let x be n(12). Let r be 2/(-4)*x - -2. Does 4 divide (47 - 7)*r*9/15?
True
Does 15 divide (26/(-8) + 2 + (-700833)/644)*-26?
False
Suppose 8*g - 11*g + 9 = 0. Suppose -m = g - 33. Suppose -318 + m = -3*k. Does 24 divide k?
True
Suppose -471*g = -482*g + 385. Does 2 divide g?
False
Let f = 17942 + -3000. Is 62 a factor of f?
True
Let h(b) = b**3 + 5*b**2 + 3*b - 4. Let k be h(-4). Let w(x) = k*x + x**3 - 2*x**3 - 14*x - 8*x - 2 - 5*x**2. Is 7 a factor of w(-4)?
True
Let p = 388 - 550. Is 4 a factor of (-18180)/p + (-4)/18?
True
Let u(k) = -k**3 - 22*k**2 - 42*k - 35. Let w be u(-20). Let f(q) = q**3 - 2*q**2 - 33*q + 159. Is 23 a factor of f(w)?
True
Suppose 32*b - 368 = 30*b. Suppose 5*z - b - 256 = 0. Does 21 divide z?
False
Suppose -21*f = -13*f - 10464. Let h = -828 + f. Does 12 divide h?
True
Suppose 0 = -v + 184 + 384. Let u = v - 340. Is 19 a factor of u?
True
Let z(j) be the third derivative of 7*j**4/8 - 13*j**3 - 2*j**2 + 17. Does 6 divide z(15)?
False
Let v = -76 - 206. Let h = 291 - 483. Let t = h - v. Is t a multiple of 9?
True
Let t = 337 - -2. Suppose 5*a - 141 = t. Is a a multiple of 32?
True
Let c be 3/(-15)*2 + (-111)/(-15). Does 69 divide (c - 1019)/(2/(-3))?
True
Suppose 0 = -2*g - 4, -5*k + 3*g = 13240 - 66431. Does 11 divide k?
True
Let l(d) = -3*d + 82. Let g be l(-7). Suppose 105*v - 650 = g*v. Does 18 divide v?
False
Let s = 258 + -257. Does 11 divide (s*3)/((-81)/(-1485))?
True
Let f = 11732 - 11070. Is 5 a factor of f?
False
Let y = 15239 + 3481. Does 96 divide y?
True
Does 6 divide (-32906)/(-18) - (4 - 105/27)?
False
Suppose -408*m + 407*m + 566 = 5*p, -468 = -4*p + 3*m. Let b be (-24)/(-14) - 2/(-7). Suppose b*s + p = 4*s. Is 7 a factor of s?
False
Let g(t) = 1467*t + 1320. Is g(8) a multiple of 136?
True
Let d(t) = -18*t**2 + 57. Let l(g) = -9*g**2 - g + 29. Let j(o) = -6*d(o) + 11*l(o). Is j(-5) a multiple of 15?
False
Let w(c) = 39*c**2 + 69*c + 2. Suppose f = -5*h - 21, -5 = 2*h + 5. Is w(f) a multiple of 22?
True
Let a be -2*1/(-2) - -121. Let y = 166 + a. Does 10 divide y?
False
Let a(u) = 3*u**2 + 26. Let v be a(6). Suppose -48 + v = 2*f. Suppose 2*o = p + f, 0 = 3*o + 2*p + p - 51. Is o a multiple of 5?
True
Suppose -19*s = -102479 - 135591. Does 6 divide s?
False
Let n be 20/((6/9)/2) - 4. Let g = 22 + n. Is g/(((-30)/9)/(-5)) a multiple of 13?
True
Let x(v) = v**3 - 5*v**2 - 22*v - 22. Let p be x(9). Does 18 divide (p - 16)*(-39)/(-6)?
False
Suppose 0 = 8*z - 14*z + 24708. Does 58 divide z?
True
Let m(o) = o**3 + 5*o**2 + 8*o + 6. Let y be m(-3). Suppose y = 4*u - 5*u + 132. Is u a multiple of 83?
False
Let a(k) = k**2 + k + 3. Let v be a(0). Suppose -25 = -v*q - 97. Let c = q + 125. Is 32 a factor of c?
False
Let d(g) = -g - 5. Let x be d(-15). Suppose 28*z - x = 26*z. Suppose -6*o = -o - z*n - 275, 4*o + 2*n - 250 = 0. Does 10 divide o?
True
Let n = -12660 - -20407. Does 18 divide n?
False
Let m(j) = 836*j**3 + 2*j**2 + 7*j - 39. Is 33 a factor of m(3)?
True
Suppose -15*s = 60840 - 189630. Is 162 a factor of s?
True
Let v(o) = 160*o - 1913. Does 7 divide v(17)?
False
Let y(a) be the first derivative of -9 - a - 3/2*a**2 + 64/3*a**3. Does 22 divide y(-1)?
True
Let f(b) = -b + 1. Let n be f(6). Let k be -6 + ((-35)/5 - -1) + 13. Is (k/((-3)/9))/(n/355) a multiple of 33?
False
Let f = 28 + 47. Let b be 23 + -22 - 1/(2/(-36)). Suppose -y - b = -f. Does 14 divide y?
True
Let u be 14*(-218)/(-6)*15/(-10). Let s = -383 - u. Is 19 a factor of s?
True
Let z be (-22888)/(-212) - (-84)/2226. Suppose 5*h + 2*b - 3888 = -2*b, -4*h - 3*b + 3111 = 0. Suppose h = 12*u + z. Is 7 a factor of u?
True
Let v be ((-221)/39)/17*(0 - 15). Let g be (-4)/(-3)*(-12)/(-8). Suppose s = -g*m + 37, -4*m - 245 = -v*s + m. Is 11 a factor of s?
False
Let c = 5319 + -5322. Suppose -2*r = -5*u - 19, -u + 4*r - 8 = 3*u. Is u*c/15*141 a multiple of 47?
True
Suppose 144457 = -226*o + 272*o - 80023. Is o even?
True
Let i(n) = -n**3 - 8*n**2 + 19*n - 8. Let r be i(-10). Suppose 0 = -r*p + 65 + 57. Let d = p - -127. Is 16 a factor of d?
False
Let z be ((-78)/18)/(7/(-21)). Let r(u) = 6*u**2 - 4*u + 40. Is 9 a factor of r(z)?
False
Let p(y) = -y**3 - 5*y**2 - 7*y - 4. Suppose -23 = -5*h - 3, -4*h + 22 = -s. Let b be p(s). Let g = 120 - b. Is 10 a factor of g?
False
Let s = 6379 - 4787. Is s a multiple of 23?
False
Suppose -5*t = 4*d - 209, -d = -t - 2*t - 65. Suppose -58*n + d*n = -6. Is ((-16)/(-1))/(n + -2) even?
True
Let n be (-2 - (-26)/12)/(1/6). Let x be n + (-37 + 5)/(4/(-14)). Suppose -2*i - 211 = -5*t, 0 = -3*t - 4*i + x - 2. Is 10 a factor of t?
False
Let h = -30700 - -43746. Is h a multiple of 22?
True
Let u = 110 - 126. Let k = 18 + u. Suppose -4 = -b, -k*h - 44 = -b - 316. Does 23 divide h?
True
Let f(q) = -84*q**3 - q**2 - 4*q + 3. Is f(-2) a multiple of 7?
True
Let p = -23 - -26. Let b be (3 - p) + 2 - (-3 + 2). Suppose -d - b*o + 20 = 0, -200 = -0*d - 5*d + 5*o. Does 7 divide d?
True
Let z = 30 + -17. Suppose -1 = 4*k - z. Does 11 divide (-10)/((-52)/16 + k)?
False
Let j = 215 - -2. Let v = 320 - j. Suppose 6*q = v + 527. Is q a multiple of 25?
False
Let a = 745 - 1093. Let g = a - -514. Does 38 divide g?
False
Let f(k) = -63*k - 7. Let n be f(10). Let t = -247 - n. Does 13 divide t?
True
Suppose 3*f + 24442 = 2*y - 2607, 0 = 2*y - 5*f - 27043. Does 27 divide y?
False
Let u be 5/(-2)*(84/(-15))/7. Suppose 0 = -u*x - x + 3, 3*v - 2*x - 1813 = 0. Is v a multiple of 11?
True
Let t = 1065 - -1476. Is t a multiple of 5?
False
Suppose 2490 = 19*w + 11*w. Suppose 0 = w*t - 91*t + 2688. Is t a multiple of 8?
True
Suppose -n + 5*a + 168 = 2*a, 3*n - 530 = -4*a. Let j = n + 66. Is 16 a factor of j?
True
Suppose 351707 = -191*j + 3023606. Is 9 a factor of j?
False
Let p be ((-6)/4)/(45/(-120)). Suppose 4*w = 4*g - 48, w - p*g = g. Does 11 divide ((-200)/w)/(2/3)?
False
Let i(q) = -4*q**2 + 6*q + 10. Let r be i(-1). Let w = -6 + 11. Suppose 2*s + 8 = r, 2*h + w*s = 3*h - 32. Is 6 a factor of h?
True
Suppose -150758 = -12*r + 39922. Is 70 a factor of r?
True
Suppose 13*t - 9*t + 132 = 0. Let a = 36 + t. Suppose -2*w = -5*j - 125, -a*w + 5*j + 75 = -2*w. Is w a multiple of 10?
True
Suppose v + 5*i = 7597, -178*v + 175*v - 6*i = -22854. Is v a multiple of 6?
True
Let y(g) = 5*g**3 - 4*g**2 + g - 17. Suppose 3*l - 64 + 25 = 0. Let a(r) = -11*r**3 + 7*r**2 - 3*r + 34. Let i(s) = l*y(s) + 6*a(s). Is i(-10) a multiple of 11?
True
Suppose 4*v + 4 = 2*q, 0 = -v - 0 + 1. Let h be 2/q - (-99)/18. Suppose -91 = -h*w + 443. Is 18 a factor of w?
False
Let p be (4/4)/(-1) + -1 - -2. Let l be ((p + 0)/5)/1. Suppose 3*d - y - 103 = l, -d + 2*d - 4*y = 16. Is 18 a factor of d?
True
Let y(l) = l**3 - l**2 + 2*l + 20. Let j be y(9). Suppose -