Let a = -199 + c. Is 22 a factor of a?
True
Suppose p = -2*a + 3*a - 191, 0 = -3*a + p + 569. Suppose 5*i + 2*w - 193 = 0, -i - 4*i - w = -a. Let u = i + -19. Does 5 divide u?
False
Let n be 41200/120 - (2/(-3) + 0). Does 35 divide n/10 - ((-16)/10 - -1)?
True
Let o be (5/(25/15))/(3/164). Suppose -o = -4*r - 4. Does 20 divide r?
True
Suppose -12*f + 4066 + 2174 = 0. Does 4 divide f?
True
Let f be (-161)/(-21) - (-2)/(-3). Suppose -f*t + 12*t = 0. Suppose 3*k - 4*k + 67 = t. Is 9 a factor of k?
False
Suppose 7 + 5 = 4*q. Suppose q*v = 5*v - 6. Suppose 0*b + 39 = v*i - 3*b, -2*b = 4*i - 64. Is i a multiple of 6?
False
Suppose -y + 3*v + 201 = 0, -5*y - 42*v + 966 = -44*v. Does 8 divide y?
True
Let g(l) = 2*l**2 + 2*l. Suppose -2*s = -5*q - 16, 4*s - 8 = -0*s + 4*q. Let k be g(s). Suppose k*z - 16 = 0, -2*z = -3*j + 102 + 43. Is j a multiple of 11?
False
Suppose -12*y - 7072 = -28*y. Does 26 divide y?
True
Suppose 0 = 4*l + 2*y - 1300, -4*l = -2*y - 1538 + 246. Suppose -5*q = q - l. Suppose 5*f = 2*f + q. Is f a multiple of 9?
True
Suppose -5*b + 2168 = -7*x + 8*x, x - 2*b = 2168. Is 54 a factor of x?
False
Let k be (-13 - 2) + 2/2. Let v = -8 - k. Does 32 divide 381/6 + 3/v?
True
Let p = 53 + -57. Does 15 divide 40/p*13/(-2)?
False
Suppose 4*j = 4, 4*n + 2*j - 47 + 13 = 0. Let a(w) = -2*w**2 - 8*w + 7. Let i(k) = 3*k**2 + 17*k - 13. Let r(s) = 5*a(s) + 3*i(s). Is 10 a factor of r(n)?
True
Let t(b) = 5*b - 13. Let g be t(5). Suppose 120 = 15*r - g*r. Does 20 divide r?
True
Let c(t) = 10*t**2 - 61*t + 447. Is 10 a factor of c(8)?
False
Let n be ((-5)/(-3) - 2)*-87. Suppose 11*v - 176 - 88 = 0. Suppose 5*u - n = u + o, 0 = 3*u - 3*o - v. Does 7 divide u?
True
Let r = 1791 - 676. Does 33 divide r?
False
Suppose 5*q + i = 2*i + 179, -5*i = 3*q - 85. Let f = -62 + 123. Suppose 0 = 4*a - f - q. Does 8 divide a?
True
Does 6 divide (-5 + 452/(-20))*-30?
True
Let q = 8 + -4. Suppose -q*u + 8 = -m, -7*m + 4*m + 5*u - 3 = 0. Suppose 2*f - 3*f = -2*j + 48, 2*f = -m*j + 104. Does 25 divide j?
True
Suppose -16 = 3*p + 5. Let o(j) = 1 - 4*j + 3 + 2. Is o(p) a multiple of 16?
False
Let k(p) = -p**2 + 9*p - 6. Let n be 1*2/(-8) - 200/(-32). Is 8 a factor of k(n)?
False
Suppose -5*m + 11*c + 12947 = 14*c, 2*c + 12952 = 5*m. Is m a multiple of 9?
False
Suppose -24 = -6*t - 0. Is (-1 + t)/((-3)/(-27)) a multiple of 4?
False
Let i(d) = -5*d + 10. Let j be (8/(-6))/((28/63)/4). Is i(j) a multiple of 5?
True
Suppose 0 = w + 1 - 2. Is -1*-3*19*w a multiple of 19?
True
Let p(q) = -16*q**3 - 15*q**3 - 6 + 2*q - 2 + 30*q**3 + 8*q**2. Let x = 16 + -9. Is 16 a factor of p(x)?
False
Suppose -5*n + 2*m = -2*m - 4473, -2*m = 5*n - 4491. Is n a multiple of 69?
True
Let p(r) = -r**3 - 7*r**2 + 7*r + 14. Let q be p(-7). Let d = 101 + q. Is 7 a factor of d?
False
Let s(p) = p + 3. Let c be s(-6). Let w(v) = -15*v + 7. Let o be w(c). Suppose -2*m + o = 2*f, f = -3*f. Is 13 a factor of m?
True
Suppose 1974 = 47*u - 46*u. Is 42 a factor of u?
True
Let i(t) = -t**2 + 5*t - 3. Let w be i(3). Suppose w*z = 5*c + 160 + 164, -3*c = -2*z + 216. Is 18 a factor of z?
True
Let i = -79 - -85. Suppose u - 4*j = -i + 26, -2*j - 100 = -3*u. Does 12 divide u?
True
Let h = -2 + -11. Let k(v) be the first derivative of -v**4/4 - 13*v**3/3 - v**2 + 2*v + 18. Is k(h) a multiple of 28?
True
Let i = 200 - 56. Suppose -51 - i = 5*c. Does 6 divide (-40)/(-6) - (-26)/c?
True
Let m be (-3)/45*-2 - 43/(-15). Suppose o - 296 + 1348 = m*d, 2*d - 678 = -4*o. Is d a multiple of 50?
False
Let f = -1748 + 3022. Does 18 divide f?
False
Suppose -27*c - 176 = -31*c. Suppose -3*r + 12 = 0, -o = o + r + c. Is -3 - 2/3*o even?
False
Let l = -69 + 164. Suppose -5*o + 110 = 3*k - l, -4*k - 205 = -5*o. Is 9 a factor of o?
False
Let k = 67 + -63. Let b(q) = 2*q**3 - 6*q**2 + q + 13. Is 17 a factor of b(k)?
False
Suppose -4*n + 2270 = -5650. Does 36 divide n?
True
Suppose -w - 4*w - 1 = -3*h, -5*h - 3*w + 13 = 0. Is 15 a factor of h*1*30/1?
True
Let s(a) be the first derivative of a**4/4 + 10*a**3/3 - 8*a**2 - 27*a + 14. Is s(-11) a multiple of 14?
True
Suppose -2*o = -16 - 4. Suppose -x + 13 = -o. Does 22 divide x?
False
Let y = 2577 - 1182. Is y a multiple of 31?
True
Suppose -1276 = -7*p - 436. Does 24 divide p?
True
Is 11 a factor of (-1)/(-2) - (10 - (-1855)/(-10))?
True
Suppose -a - 60 = 4*b, -b = 3*a - 7*a - 223. Let q = a + 104. Does 24 divide q?
True
Let v(k) = 4*k**2 + 5*k + 1. Let m = -45 + 53. Is v(m) a multiple of 19?
False
Let m(p) = 2*p**2 - 22*p - 1. Let k be m(7). Let u = 63 + k. Is u a multiple of 4?
False
Let o = 2363 + 458. Is o a multiple of 9?
False
Let t be 7/(14/8) + 315. Let v(d) = d**3 + 3*d**2 + d. Let n be v(-2). Suppose -5*s = 4*z - t, -n*s + 82 = -3*z + 4*z. Is z a multiple of 19?
True
Let y = -15 - -6. Let r(j) = -j**3 - 8*j**2 - j - 3. Does 29 divide r(y)?
True
Let q = -160 + 188. Is q a multiple of 2?
True
Let f(h) = 10*h**2 - 3*h. Let l be f(3). Suppose -g - 5*n = -0 - 7, 0 = 3*g - 5*n - l. Does 17 divide g?
False
Does 10 divide (-489)/(-1) + 3*(-1)/(-3)?
True
Suppose -4*k = 4*c - 3388, 19*k - 21*k = -5*c + 4214. Is c a multiple of 53?
False
Suppose 0*t - 2*t = -4. Does 13 divide 0 - (70/15)/(t/(-39))?
True
Suppose 6*r - 106 = 524. Let b = -33 + r. Is b a multiple of 6?
True
Suppose 10*i - 8*i = 8. Suppose i*d - 11 = 5. Does 19 divide (-1 + (-212)/d)*-1?
False
Let s(k) = -3*k + 633. Does 33 divide s(-51)?
False
Let o = 1324 + -528. Is 47 a factor of o?
False
Let z be 126/30 - 1/5. Suppose -i - 161 = -4*c, z*c - 3*i = 2*c + 73. Suppose -4*h - 5*b + 80 = 0, -1 = 2*h - 4*b - c. Is 10 a factor of h?
True
Let q = 29 + -15. Suppose 2*m - q = -4. Suppose 0*t + 75 = 5*t + m*d, -3*d = 6. Is 16 a factor of t?
False
Does 7 divide (-2)/(-9) + 305/45?
True
Let q(c) = -c**2 + 10*c - 7. Let l be q(7). Suppose 3*y + s + 7 = l, y - 29 = 5*s. Suppose -4*m + y*b = -2*m - 46, 5*m = -5*b + 55. Is m a multiple of 15?
True
Let t be 1/(-3) + 56/(-12). Let g = t - -10. Suppose -90 = -0*f - g*f. Does 9 divide f?
True
Suppose -3*s - 21 - 18 = 0. Let v(f) = f**3 + 14*f**2 + 12*f + 8. Does 21 divide v(s)?
True
Suppose -11468 = -7*q - 1367. Is q a multiple of 9?
False
Suppose 82 - 397 = -n. Is n a multiple of 35?
True
Is 18 a factor of 36/(-1*(-4)/100)?
True
Let r(s) = s**3 - 13*s**2 + 33*s - 5. Is r(10) a multiple of 2?
False
Let u = 2625 - 1234. Is (u/26)/(-2*(-1)/4) a multiple of 17?
False
Suppose 0 = 6*r - 2109 - 5073. Does 9 divide r?
True
Let d = 43 - -41. Suppose -2*f = 3*q - d, 0 = 3*f + 5*q - 135 + 10. Does 15 divide f?
True
Let c(r) = -7*r**3 - 3*r**2 - r - 7. Let d be c(-3). Suppose 4*h - 2*l = d, -2 - 3 = -5*l. Is h a multiple of 10?
True
Is 5 a factor of 668*(-7 - 15/(-2))?
False
Let v(k) = -k**2 + 2*k**2 - 2*k + 7*k + 0*k - 12. Does 12 divide v(3)?
True
Does 4 divide (9*(-4)/30)/((-6)/380)?
True
Suppose -53 = 25*y - 1153. Does 12 divide y?
False
Let d(z) = 442*z**2 + 2. Is 74 a factor of d(-1)?
True
Suppose 5*k = 13653 + 387. Is 18 a factor of k?
True
Let q(t) = t**2 + 11*t + 10. Let o(u) = 5*u - u**3 - 6*u**2 + 2*u**3 - 2 + 0. Let k be o(4). Does 14 divide q(k)?
False
Let n(j) = -j**2 - 8*j - 1. Let a be n(-8). Let x = 28 + a. Does 27 divide x?
True
Is 34 a factor of 7 + -11 - (-1 - 1 - 410)?
True
Let y(k) = 5*k - 56. Let z be y(-19). Let f = z + 271. Is f a multiple of 20?
True
Let f be (30/1)/((-12)/(-18)). Let i = f + -4. Is i a multiple of 23?
False
Suppose 3*r - 20 = 4*r + 3*j, 4*r = -j - 58. Let z(d) = d + 74. Does 4 divide z(r)?
True
Suppose 14*w - 760 = 8998. Is 19 a factor of w?
False
Let t(b) = -6 - 8*b**2 + 6*b + 4 + 7*b**2. Let f = -9 - -14. Is 2 a factor of t(f)?
False
Let r(h) = -h**3 - 14*h**2 - 12*h + 32. Let q be r(-13). Let p = 123 - q. Is p a multiple of 52?
True
Is 52 a factor of (33696/84)/(6/56)?
True
Let m(n) be the second derivative of n**4/12 - 5*n**3/6 - n**2 + 11*n. Does 16 divide m(-5)?
True
Suppose 21*k - 20*k - 3 = 0. Suppose 0 = -k*r + 2*r + 48. Does 8 divide r?
True
Let q(g) = g**3 - 5*g**2 - 5*g. Let l be q(6). Let z(i) = 136*i**2 - 6 - 72*i**2 - 63*i**2 - 3*i. Does 12 divide z(l)?
True
Let p be (12 - 11)*0/2. Suppose -5*r - 5*k + 130 = p, 3*k + k + 6 = r. Is r a multiple of 8?
False
Let j = -80 + 83. Let c(f) = -f**2 + 7*f - 1. Let q be c(6). Suppose -137 = -j*n - q*h