+ 331. Let q = 2032 - 2014. Suppose -l = -c + q. Is l a multiple of 29?
False
Suppose -o = 3*k - 2, 2*k - 14 = -2*o - 2*k. Suppose o*q = 22*q - 4800. Is 27 a factor of q?
False
Let f = 225 - 221. Suppose -4*b - 4331 = -5*n, -5*n - 5*b = -f*n - 843. Is n a multiple of 43?
False
Suppose 0 = -10*a + 2*a + 36936. Let k be 3/(-4) - a/36. Let m = -75 - k. Does 9 divide m?
True
Is ((1 - -1) + -3)/(25/(-32400)) a multiple of 4?
True
Let z(r) = 287*r - 1603. Is z(14) a multiple of 55?
False
Let t = 3398 + -2851. Is t a multiple of 6?
False
Let a(n) = 166*n**2 - 39*n + 119. Does 9 divide a(3)?
False
Let l = -431 + 431. Suppose l = -4*r + 4, 0 = 5*h - r + 252 - 1451. Is h a multiple of 48?
True
Is 28 a factor of 184/(-6)*11502/24*-2*1?
False
Let a be 1/(6*1/7386). Let z = -746 + a. Does 10 divide z?
False
Let j(g) = 26*g**2 + 5*g - 2. Let p be j(2). Suppose 2*d + p = 3*k - 404, 3*k = d + 519. Suppose -k = -4*f + 462. Does 24 divide f?
False
Is (2 - 24/9) + 1623250/375 a multiple of 8?
True
Suppose 1 + 9 = 5*r. Suppose 0 = -r*o + 343 + 361. Does 32 divide o?
True
Let q = 7 - 4. Let u be 14/q*(-18)/12. Let c(x) = -x**3 - 7*x**2 - 4*x. Is c(u) a multiple of 28?
True
Suppose -5*s - 7 + 22 = 0. Suppose 3*c + s*z = 15, 2*c + c - 2*z = -10. Is 30 a factor of 0 + c + 6 + 84?
True
Let i(t) = t - 4. Let a be i(9). Let s(o) = o**3 - o**2 - 9*o + 1. Let g be s(a). Suppose 0*u + g = u. Is u a multiple of 8?
True
Let i(o) = 1759*o**2 + 1712*o + 6844. Is i(-4) a multiple of 28?
True
Let r = -675 - -586. Let z = r + 214. Is 6 a factor of z?
False
Let h be ((-116088)/(-18))/7 - 3/9. Let s = h + -363. Does 42 divide s?
False
Let s(t) = t**2 + 5*t - 22. Let w be s(-8). Let i(d) = d + 9. Let h be i(-5). Suppose -h*q + 60 = 2*a - 90, 72 = w*q + 4*a. Is q a multiple of 9?
False
Let c(h) = -h**3 - 16*h**2 + 17*h + 9. Let n be c(-17). Suppose n*v = 18*v - 3402. Does 21 divide v?
True
Let f = -14 + 18. Suppose f*m - 4*r - 460 = 0, 0 = -m + 3*r + 101 + 22. Is 41 a factor of m?
False
Let q(f) = -5664*f**3 + f**2 + 40*f + 39. Is q(-1) a multiple of 59?
True
Let x = -4908 - -24303. Does 176 divide x?
False
Let j(h) = -2*h**2 - 22*h - 14. Let t be j(-11). Let b = 14 + t. Suppose -6*l + 4*l + 122 = b. Is 17 a factor of l?
False
Is 61 a factor of 5*1758*(-42)/(-126)?
False
Let p(q) = -q**2 - 13*q - 6. Let i be ((-6)/(-18))/((1/21)/(-1)). Does 18 divide p(i)?
True
Suppose 2*o + 36 = -5*w, 8*w = 3*w + 5*o - 15. Does 37 divide ((-939)/(-18) - 4/w)*6?
False
Let v be (-1)/((-4)/(-8) - 1). Suppose -v*o - 60 = -12*o. Is 27 a factor of (16/o + 3)/((-3)/(-72))?
False
Suppose -7*z + 13*z - 102 = 0. Suppose -7*n = -12*n + 25, 4*s = 3*n + z. Is s a multiple of 4?
True
Suppose -5*x + 8333 = -3*l, -2*x + 2411 + 917 = 4*l. Does 49 divide x?
True
Suppose -5*n = 494*b - 492*b - 14395, -8637 = -3*n - 2*b. Is n a multiple of 16?
False
Let n(i) = 2*i**2 - 11*i + 5. Let y be n(5). Suppose y = -3*r + 6*r - 462. Is 11 a factor of r?
True
Let q(s) = -107*s + 5. Let u(d) = 214*d - 11. Let h(v) = -13*q(v) - 6*u(v). Is h(1) a multiple of 3?
True
Let u = 11 - 13. Let j be -2*(-13)/(-10)*-5 - u. Let l(o) = -o**3 + 15*o**2 + 5*o + 15. Does 18 divide l(j)?
True
Let i(h) = 4*h**2 + 75*h + 1929. Does 19 divide i(-51)?
False
Let v(x) = 7*x**2 - 7*x - 12. Let h be v(-4). Suppose h = 2*d - 42. Is d a multiple of 2?
False
Let j(i) = i**2 - 10*i + 3. Let p be j(10). Suppose 6*v - 4454 + 494 = 0. Suppose -v = -p*a - 57. Is a a multiple of 31?
False
Suppose -5*b = p - 580, 0 = -2*p + 2*b + 1127 + 57. Suppose -4198 = -22*a - p. Does 41 divide a?
True
Let p = 2094 + -1456. Is p a multiple of 7?
False
Suppose 0 = 5*x - 3357 + 382. Suppose -4*a + 1220 = 4*z, -6*z + 8*z = -5*a + x. Is 31 a factor of z?
True
Let t = -670 + 946. Does 6 divide (-7)/(175/(-10)) - t/(-10)?
False
Is 4 a factor of (-16)/((-1024)/658320) + (-1)/4?
False
Let h be ((-20)/(-15))/(6/9). Suppose 545 = 5*m + h*x + 97, -2*m = 3*x - 188. Suppose 298 = 2*t - m. Is 10 a factor of t?
False
Let z(b) = -12*b**3 + 3*b**2 + 2*b + 3. Let k be z(-2). Suppose 420*m = 415*m + 910. Let l = m - k. Does 15 divide l?
True
Suppose 25*u = 3*u - 6908. Let d = 715 + u. Is d a multiple of 20?
False
Let d(i) = 33*i - 116. Let s be d(4). Suppose -14 = n + 2*w, 16 = -n + w - 5*w. Let c = s - n. Is 5 a factor of c?
False
Suppose -f - 1 = 0, 4*u = 3*f + 577 + 1082. Let l = u - 196. Let c = -114 + l. Is 13 a factor of c?
True
Let k(u) = 4*u**2 + 5*u + 21. Let s be k(-9). Suppose -5*f - s = -3*q, -2*q + 4*f + 303 = q. Suppose 2*c - q = -3*c. Is c a multiple of 2?
False
Let d(b) = -37*b - 913. Let v be d(-21). Let l be (-154)/2 - (4 - 2). Let i = l - v. Is 28 a factor of i?
False
Suppose -4*x - 4*p = -5*x + 136, 392 = 3*x - 4*p. Suppose -876 + x = -4*o. Let y = o - 66. Does 27 divide y?
False
Let z(t) = -3*t + 48. Let q be z(14). Is 13 a factor of ((-1)/3)/((-2)/q) + 189?
False
Let s = 18569 - 14270. Is 10 a factor of s?
False
Let m be ((-12)/(-20) - 1)/(6/(-15)). Is 8 + (m/2)/((-14)/(-28)) a multiple of 9?
True
Suppose -2345 = -30*h + 3355. Let q = h - 150. Does 10 divide q?
True
Suppose j + 2*j = -15. Let u(m) = -12*m + 1232 - 1232. Is u(j) a multiple of 29?
False
Let v be (5/(-4))/(4/(-288)). Suppose -2*t = -1002 - v. Is 56 a factor of t?
False
Let s(k) = -68*k + 4762. Does 6 divide s(8)?
True
Suppose -21*y - 10*y - 41582 + 283537 = 0. Is y a multiple of 5?
True
Let s(y) = y**2 - 9*y - 17. Let u be s(11). Suppose -3*d = 3*a - 858, 9*a + 1438 = u*d + 12*a. Is d a multiple of 10?
True
Let y = 19 + -119. Let d = -112 - y. Let t = 1 - d. Does 2 divide t?
False
Let p be (0 - (-1 + -30))/(93/4185). Let z = p - 854. Is z a multiple of 25?
False
Suppose 4*g = -2*s + 103426, 5*g - 129272 = 36*s - 40*s. Does 30 divide g?
True
Let b(o) = 8*o**2 + 124*o + 225. Is b(20) a multiple of 58?
False
Let h(k) = k**3 + 2*k**2 - 6*k. Let i be h(-3). Suppose -14*j + 490 = -i*j. Let o = j - 60. Does 18 divide o?
False
Let c(o) = -o**3 - 41*o**2 + 104*o + 571. Does 45 divide c(-47)?
False
Is 41 a factor of -1 + 228*28/16?
False
Let n be -106 + ((-4)/(-10))/((-5)/(-25)). Let l = -14 - n. Suppose h = -10 + l. Is h a multiple of 8?
True
Let m(b) = -b**2 - 4*b + 13. Suppose 0 = 2*k + 5*i + 27, i + 2 = -1. Let w be m(k). Let x(q) = 42*q - 2. Is 14 a factor of x(w)?
False
Let h be 2/(-7)*168/(-48)*-12. Is 16 a factor of (-1)/(12/(-3)) - 1461/h?
False
Suppose -455 = -9*x - 14. Let g(n) = -2*n**3 - x*n**2 + n**3 + 8 + 54*n**2. Is 4 a factor of g(4)?
True
Let l = -20695 - -35823. Is l a multiple of 124?
True
Suppose -4*d + 3 = -5. Suppose -13 = 3*t + 2*x + d*x, -t = 4*x + 15. Does 8 divide (-5 - 1)*((-51)/9 - t)?
True
Suppose -4*k + 26 = 2*f, 2*f + k - 2 - 12 = 0. Suppose 336 = -3*b + 4*j, -f*b + 5*j - 526 - 34 = 0. Let x = -58 - b. Is x a multiple of 9?
True
Let m be -6 - -5 - 5 - -97. Suppose 6*q - 29 = m. Is q a multiple of 7?
False
Let u = 56 - 57. Let r be (2 + u)*(5 - -12)*1. Suppose r*g = 7*g + 1340. Does 18 divide g?
False
Let r(z) = z**3 + 6*z**2 - 4*z + 17. Let t be r(-7). Let n = t - -18. Is (-15)/35 + 874/n a multiple of 13?
False
Let j be (-5)/(-5)*-2 - (5 + -2). Let v be (-3)/((-3)/j)*15/(-25). Suppose o - 3*m - 41 = -m, 0 = -v*m - 12. Is o a multiple of 33?
True
Let i = -20641 - -25048. Is 6 a factor of i?
False
Let s = -119 + 120. Is 19 a factor of (s + 2/1)*(-88)/(-3)?
False
Let z(l) be the second derivative of -l**5/20 - 5*l**4/12 + l**2 + 6*l. Let f be z(-5). Suppose -2*d + r + 142 = f*r, 5*d = -2*r + 357. Is 14 a factor of d?
False
Suppose -5*r + r - 208 = -4*n, 0 = -2*n + 2. Does 9 divide r*150/(-18) + 1?
False
Suppose 6*b - 3*o = 2*b - 316, 4*o = -b - 79. Let x = -23 - b. Is x a multiple of 22?
False
Let m(b) = -b**3 - 22*b**2 + 5*b + 27. Let s(l) = l. Let v(r) = m(r) - 4*s(r). Let h be v(-22). Let g = 7 - h. Does 2 divide g?
True
Let l = 892 - -4907. Does 32 divide l?
False
Let p(w) = 14*w**2 - 6 - w**3 + 15*w + 4 + 9 - 2. Let s be p(15). Suppose s*m = 10*m - 125. Is m a multiple of 2?
False
Let m = -7 + 9. Suppose -13 = 5*j + m. Is j*(-3)/(-18)*-12 a multiple of 3?
True
Let y(p) = 1514*p**2 - 68*p - 10. Does 12 divide y(-5)?
False
Suppose 3*h + 16 = 2*t, t = -3*t + 5*h + 28. Suppose -t*k = -f - 346, 101 = k + 5*f - 50. Does 9 divide k?
True
Let c(h) = 51*h + 7. Let w(a) = a. Let q(t) = -2*t 