i(19) a multiple of 4?
True
Does 10 divide (6/14)/(136/269416)?
False
Suppose 3*p - 180 = 4*u, -2*u + 3*u = -p - 38. Let k be 201*1 + (-7)/(u/24). Let g = 315 - k. Is 11 a factor of g?
True
Let j = 14722 + -6238. Is j a multiple of 7?
True
Let f = -357 + 1633. Is 11 a factor of f?
True
Let w = 489 - 482. Does 7 divide 1*693*(-8 + w + 2)?
True
Let p = 38 - 43. Is (p - 22/(-4)) + 231/2 a multiple of 4?
True
Suppose -5*q - 2*v = 2394, 4*q + 4*v - 2382 = 9*q. Let a = 965 + q. Is 21 a factor of a?
False
Let h = -645 + 642. Is 12*(-516)/(-16) - h a multiple of 14?
False
Let f = -1040 + 6367. Does 15 divide f?
False
Let i be -771 + (-1 - -3) - -1. Let r be i/42 - (-2)/7. Let p(k) = -2*k**2 - 39*k + 11. Is p(r) a multiple of 13?
True
Let d(k) = -k - 6. Let u be d(-6). Suppose u = 2*j - 8*j + 90. Does 6 divide 6/15 - (-909)/j?
False
Suppose -5 = -5*x, -i - x + 12 = -253. Suppose -3*j - i = -3*n - j, 4*j = -n + 88. Is n a multiple of 22?
True
Let q = 31669 - 22476. Is q a multiple of 29?
True
Suppose -q + 41067 = 2*q - 3*w, -3*w = 2*q - 27333. Is q a multiple of 180?
True
Suppose 5*n + z + 0*z = 14, 0 = -5*z + 20. Suppose n*c = -c + 1755. Is c a multiple of 15?
True
Let y be (3 - 2)/(1/2). Is 25 a factor of y/(-5) - (1 + 2528/(-20))?
True
Suppose 4*c + 0*r + 8 = 4*r, -c = 5*r - 16. Let k be 2281*3/18 + c/(-6). Suppose 3*v - 380 = -4*b, 4*b + v - 3*v = k. Does 19 divide b?
True
Let o(q) = 6*q**3 + q**2 - 2*q. Let t be o(3). Suppose 5*u - 14*v + 555 = -15*v, 2*u + 219 = -v. Let r = t + u. Is 7 a factor of r?
False
Suppose 4*r + 0 = 3*t - 17, 0 = 5*t + 3*r - 67. Suppose 5*c - 82 = 3*c. Let d = c + t. Is d a multiple of 26?
True
Suppose -15*z - 31083 + 72481 + 41312 = 0. Does 23 divide z?
False
Let z(r) = r**2 - 11*r + 10. Let g be z(10). Suppose -270 = -i - g*i. Is i a multiple of 18?
True
Let v be (-16)/(-10)*(0/(-32) - 5). Let i(p) = p**3 + 4*p**2 - 6*p + 8. Let n be i(-6). Let z = v - n. Does 5 divide z?
True
Let q = -144 - -136. Let x(l) = -l**3 - 8*l**2 - 15*l + 12. Is x(q) a multiple of 3?
True
Let y(p) = p**2 - p. Let m(b) = -5*b**2 - 10. Let g(r) = -m(r) - 4*y(r). Let a be g(-4). Suppose 7*d - a*d + 252 = 0. Is 28 a factor of d?
True
Suppose -5*s + 2 = -3, 2*g = -3*s + 23. Suppose -g = -5*w + 10. Suppose -3*t = -j + 21, w*j + 2*t - 154 = -0*t. Is 9 a factor of j?
True
Let g = 840 + -586. Let m = -149 + g. Does 48 divide m?
False
Let z = 3837 - 3625. Does 10 divide z?
False
Let a = -9682 + 17663. Is a a multiple of 195?
False
Suppose -47145*r = -47169*r + 419832. Is 33 a factor of r?
False
Let m = 1791 - 1044. Is 9 a factor of m?
True
Let q(c) = -c**3 + 6*c**2 - 37*c - 570. Is 12 a factor of q(-18)?
True
Suppose 0 = 4*r + 5*i, -3*r = 2*i - 0*i. Let g = -115 - -118. Suppose -4*v + 404 = g*c, 4*v + 2*c = -r*c + 400. Is v a multiple of 13?
False
Is 41 a factor of (-86)/(-129) - 23401/(-21)?
False
Let m = 267 - 261. Let w(i) = -i**3 + 14*i**2 + 3*i - 2. Does 19 divide w(m)?
True
Let q = 907 - 902. Let x(f) be the second derivative of f**3/6 + 10*f**2 - 2*f. Does 25 divide x(q)?
True
Let j(q) = -2*q + 32. Let c be j(10). Let w(v) = v**2 + c - 11*v + 1 - 2. Is w(-9) a multiple of 38?
False
Suppose -w = 3*o - 949 + 158, -o + 265 = -w. Let u = -181 + o. Does 12 divide u?
False
Let j be (-14)/3 - (-24)/(-72) - -45. Is j + 4 + -4 + 4 a multiple of 4?
True
Let q be 5/(-2)*4/(-2). Suppose 0 = 5*g - 4*m - 423, -q*g - 248 = 5*m - 653. Suppose -z + 39 = -5*a, 6*z - z = -3*a + g. Is z a multiple of 5?
False
Suppose 0 = -60*d + 70*d - 187252 + 47552. Is 22 a factor of d?
True
Let k = -71 + 99. Suppose k*i = 25*i + 801. Suppose 0*l = -3*g + 3*l + i, -g - 3*l = -73. Is g a multiple of 17?
True
Let l(p) be the second derivative of p**5/10 - p**3/2 - 2*p**2 + 18*p. Let z be l(3). Let y = 104 + z. Is y a multiple of 20?
False
Suppose -6418 = -2*f + j + 13224, 39276 = 4*f - 4*j. Is f a multiple of 11?
True
Let o be 48/10 + 8/(-10). Suppose 2*y + 0*n = n - 92, 5*y = o*n - 227. Is 28 a factor of -17 - -19 - (-1 + y)?
False
Suppose -46*b + 4 = -44*b. Let p be (7 - -2)/((-2)/120*b). Let l = 378 + p. Is 36 a factor of l?
True
Let r(j) = 3*j**2 + 2*j + 4. Let u be r(-3). Let g = u + -16. Suppose -3*a - 540 = -g*a. Is 15 a factor of a?
True
Suppose -7*b + 935 = 900. Suppose 5*v = 3*v - b*c + 2255, 3*c + 3393 = 3*v. Is 25 a factor of v?
False
Let n = 463 + -463. Suppose 3*z = d - 2*z - 19, n = -4*d + 2*z + 166. Is d a multiple of 22?
True
Suppose 104*o - 4105220 = -141*o. Is 46 a factor of o?
False
Let t = -471 - -147. Let a = t - -581. Is ((-10)/6 - -2)*3 + a a multiple of 14?
False
Suppose -5*t + l + 5810 = 0, -4*t = -0*t + 5*l - 4648. Suppose -4*h + 3*s + 1216 = -314, -5*s = 3*h - t. Suppose -5*z = z - h. Is 16 a factor of z?
True
Suppose 0 = 4*u + 2*w + 152 + 278, -5*u - 5*w = 535. Let s = u - -126. Does 11 divide s?
False
Let v(x) = -48*x**3 - 43*x**3 - 12*x**2 + 134*x**3 - 32 - 5*x - 42*x**3. Is v(13) a multiple of 12?
True
Suppose 0 = -3*n + 2348*u - 2350*u + 327455, 2*u + 436616 = 4*n. Is n a multiple of 13?
False
Suppose -22*p + 17 = -5*p. Is 54 a factor of -36*(-6)/(p/1)?
True
Let r = -43 - -47. Suppose r*p - 3*b + 15 = 2*b, 0 = -4*p + b - 35. Is 8 a factor of (-3 - 1)/(p/370)?
False
Suppose -2*h + 7 = -h. Suppose h*l - 4242 = -7*l. Is l a multiple of 32?
False
Let s(b) = -3*b**3 - 5*b**2 + 2*b - 6. Let m(i) = -2*i**3 - 6*i**2 + 3*i - 6. Let p(r) = -4*m(r) + 3*s(r). Suppose -3*n + 15 - 3 = 0. Is p(n) a multiple of 31?
True
Let r be 6/(-1)*(725 - -5). Is 21 a factor of 74/(-407) - r/(-22)*-2?
False
Suppose 136*p - 962016 = 40*p. Is 10 a factor of p?
False
Let l be (-292)/(-28) + 9/(-21). Suppose l + 8 = 3*t. Suppose -t*r + 205 = 3*w - 11*r, 5*w = -4*r + 354. Is 14 a factor of w?
True
Let q be (4/6)/((-18)/1323). Let a be 28/q - 3/7. Is 10 a factor of a*1/2*-140?
True
Let l = 10 + -7. Let h be 0 - (10/5 + 1). Let u = l - h. Is 3 a factor of u?
True
Let x be (-85)/(-34)*-4*(-4)/20. Suppose 7*v - 2*v = 0. Suppose v = x*q - 13*q + 924. Does 21 divide q?
True
Suppose -22*a = -23*a + 3*k + 18261, -4*a = 5*k - 72925. Is a a multiple of 16?
True
Suppose 2*m - 6*m = 5*g - 276, 0 = -2*g - 8. Suppose -o + 3*n - 6*n - 47 = 0, n = -5*o - 207. Let l = m - o. Does 15 divide l?
False
Let q be ((-99)/12)/(12/32). Let m be (18/15)/(16/20)*q. Let k = m - -126. Is k a multiple of 31?
True
Suppose 2*a = 3*a - 11. Suppose -14*b - 22 + 0 = 6. Let t = a - b. Is t a multiple of 3?
False
Suppose -m = -10 - 4. Suppose f + m = -5*t + t, -3*f - 2*t - 2 = 0. Suppose f*i = d - 32, -5*d - i + 0*i + 138 = 0. Is d a multiple of 14?
True
Suppose -3*d + 12 = -3*s, d - 4*d + 12 = s. Suppose 3*g + s = 6. Suppose -2*l + 305 = g*f + 3*f, 3*l = -f + 490. Does 15 divide l?
True
Is (-10)/(-10) - (0 - 2598) a multiple of 97?
False
Suppose 3*s + 4 = 4*s. Suppose -2*g + 4*g = -4*l + 672, l = -s*g + 168. Does 21 divide (6/(-1))/((-36)/l)?
False
Suppose 6988 - 2128 = 6*r. Suppose -4*t - 5*s = -r, -t + 15 = s - 187. Does 20 divide t?
True
Let l(d) = 16*d**2 + 3*d + 22. Let x(j) = -j**2 - 19*j - 75. Let k be x(-5). Is l(k) a multiple of 14?
False
Suppose -158*z + 190708 = -74*z - 70*z. Is 49 a factor of z?
True
Let s(i) = 2*i**2 + 48*i - 47. Let t be s(-25). Suppose -3*k + 2*r + 140 = -2*r, -4*k + t*r = -182. Does 11 divide k?
True
Does 163 divide -7 - 1 - (-413856)/54?
False
Let v = -292 - -6102. Does 14 divide v?
True
Suppose 33*p = 19*p + 70. Suppose 0 = 3*b + p*u - 570, 0 = -43*b + 41*b + 2*u + 364. Is b a multiple of 24?
False
Let q = -212 + 774. Let d = q + -2. Suppose 3*h + 2*a = 420, -4*h + 2*a = 4*a - d. Does 21 divide h?
False
Let j be 3444/(1 - 1 - (-24)/60). Suppose -j = -7*s - 28*s. Is s a multiple of 40?
False
Let x(q) = -419*q + 246. Let j be x(1). Let s = 228 + -325. Let a = s - j. Is a a multiple of 24?
False
Suppose -12*f + 9*f - 588 = 0. Let n = 152 + -222. Let v = n - f. Is 21 a factor of v?
True
Let q be -18*(-5)/1755 - (-3781)/39. Let i = 211 - 143. Let h = q - i. Does 4 divide h?
False
Suppose 3*i - 4737 = -3*g, -7*i + 3*g - 6314 = -11*i. Does 19 divide i?
True
Let q(f) = 2400*f - 1905. Is 105 a factor of q(6)?
True
Suppose 0 = -5*k, -2*f + 11 = 5*k - 47. Suppose -4*q = 2*j - 626, 5*q - j - f - 757 = 0. Is q a multiple of 23?
False
Suppose -16*r + 75551 = -24961. Is r a multiple of 4?
False
L