 201. Is (-2)/(-13) - v/13 a multiple of 2?
True
Suppose -4*v - 6 = f - 3*v, -5*v = 2*f + 9. Let i be (-58)/(-4) - f/(-14). Suppose -3*m + i = -58. Is 18 a factor of m?
False
Let m = -120 - -494. Is m a multiple of 22?
True
Let m(t) = t**2 - 3*t + 3. Let g be m(-6). Suppose 0 = -3*q + 3*l - 5*l + 102, 159 = 4*q - 5*l. Let j = g - q. Is j a multiple of 21?
True
Let d(g) = 12*g + 15. Is 53 a factor of d(12)?
True
Let a(u) = -u**2 - 6*u. Let i be a(-5). Suppose 0 = -4*f - g - i + 2, 5*g = -15. Is 13 a factor of 23 - (f/3 - 3)?
True
Suppose 152424 = 56*a + 17*a. Is 24 a factor of a?
True
Let z = 2053 + -427. Is 60 a factor of z?
False
Let h(j) = -15*j + 20. Does 22 divide h(-60)?
False
Let o be 293/7 - 5/(-35). Suppose -43*s = -o*s - 60. Is 15 a factor of s?
True
Suppose 21*r - 5384 - 2848 = 0. Is r a multiple of 28?
True
Suppose 2*o + o + 3*f = 12, -f + 7 = 2*o. Suppose -x + o + 3 = 0. Suppose 2*i + 80 = x*i. Is i a multiple of 7?
False
Let i = 186 + 724. Suppose -15*g = -305 - i. Is 27 a factor of g?
True
Suppose 2 = -l - 2. Let r be 0/((-3)/(12/l)). Does 23 divide 24 - -2 - (r - -2)?
False
Let k be (-9)/(-2)*16/6. Suppose 4*u + u + 36 = 3*y, 0 = 4*u + k. Is y a multiple of 7?
True
Suppose -5*m + 0*i - 549 = 2*i, -m = 2*i + 105. Let r = -39 - m. Is r a multiple of 12?
True
Let f = 117 + -114. Suppose f*k - 56 = 115. Is k a multiple of 27?
False
Is 2 a factor of (5/(30/(-117)))/((-27)/36)?
True
Let h(p) = -3*p**3 - 8*p**2 + 6*p + p**3 + 3*p**3 - 3. Let n be h(7). Is (-366)/n + 8/20 a multiple of 15?
False
Let l(i) = i**3 + 9*i**2 + 4*i - 4. Let g be l(-8). Suppose -2*m - m + 2*j + g = 0, -48 = -3*m - 3*j. Let r(y) = -y + 29. Is 7 a factor of r(m)?
False
Suppose 5*m + 5 = -i, 3*i + 20 = -i. Suppose m = -5*d + 2*s + 434, 0 = -2*d - d + s + 261. Is 22 a factor of d?
True
Does 12 divide 2/(-8) - 1211/(-28)*5?
True
Let h(r) = -119*r - 1217. Is 119 a factor of h(-12)?
False
Let s be (0/3 - -4) + 454. Let g(f) = -34*f**2 - 3*f - 2. Let b be g(-3). Let r = b + s. Is 34 a factor of r?
False
Let q be (5/(-2) + 0)*(-30)/15. Is (-17)/5*(-125)/q a multiple of 4?
False
Suppose -w - 68 = -0*w. Let z = w - -98. Is 10 a factor of z?
True
Let w(b) = -b**2 - b. Let a(c) = c**3 + 6*c**2. Let o(y) = -a(y) - 6*w(y). Is 2 a factor of o(-3)?
False
Let z be ((-75)/(-3))/(-1) - 2. Let c be ((-13)/(-3))/((-3)/z). Let l = -9 + c. Is l a multiple of 19?
False
Is (0 + -1)/(21/(-7959)) a multiple of 12?
False
Let l(m) = -m**2 + 4*m + 5. Let c be l(4). Suppose -5*y + 27 = -4*b, 11 = -2*y + c*b + 32. Is 2 a factor of y?
False
Suppose 5*t - 2*y - 9 = 0, -t + 2*y - 1 - 2 = 0. Suppose t*m - 10 = 92. Is 30 a factor of m?
False
Let t be (-22)/(-187) - 344/34. Let b = -5 - t. Suppose -b*g - 5*m = -245, -161 = -5*g + 2*g + 4*m. Does 9 divide g?
False
Let c be 245/85 + 4/34. Suppose 3*b = 6*b + v - 211, 2*b = -c*v + 129. Is b a multiple of 9?
True
Does 31 divide 765 + (-5 - (1 - (-5 + 13)))?
False
Suppose -3 + 0 = -g. Suppose 0*c - 3 = -3*x - g*c, -5*x + 5*c = -15. Suppose -x*k + 9 = -47. Does 14 divide k?
True
Suppose -4*g = 2*s - 7 + 1, -3*s - 9 = 0. Does 21 divide 163/((9/3)/g)?
False
Let k(c) = 133*c**2 - 2. Let b be k(1). Suppose -p + b = -14. Is p a multiple of 6?
False
Suppose -5365*w = -5364*w - 27. Does 3 divide w?
True
Is (-735)/(-3) + (-17 - -10) a multiple of 2?
True
Suppose 0 = 2*d + 4, -q = -d - 0*d + 4. Let f(t) = t**3 + 5*t**2 - 7*t - 4. Let n be f(q). Suppose n*v - 108 = -2*v. Is v a multiple of 10?
False
Let a(b) = 8*b. Suppose -68 = 3*g - q, -3*q = -3*g - 72 - 0. Let r = g - -28. Is a(r) a multiple of 16?
True
Let j(i) = 9*i**3 - 3*i**2 + 7*i + 12. Is 36 a factor of j(5)?
False
Suppose 2*n = 3*d + 39 + 27, -110 = 5*d + 4*n. Does 41 divide 33/d*-29*2?
False
Let j be (15/(-21) - 4/14) + -27. Is 28 a factor of (-63)/(-6)*2/(-3)*j?
True
Suppose 0 = -5*q + 4 + 21. Suppose -w + 8 = y - 7, q*w = 4*y - 96. Suppose -y*u = -17*u - 114. Is 13 a factor of u?
False
Let y be 2/(-10) - 461/(-5). Let l be y/22 + 4/(-22). Suppose 0 = -l*b + 4 + 36. Is 10 a factor of b?
True
Suppose 22*o = 7*o + 7920. Is 88 a factor of o?
True
Suppose -2*f + 8 = -0*f. Suppose f*p + 312 = 5*p. Suppose 0 = -t - 3*t + p. Does 15 divide t?
False
Suppose 4*f - 2219 = 461. Does 28 divide f/4 - 3/2?
False
Let d = -22 - -20. Let v(i) = -i**2 - 3*i - 2. Let b be v(d). Suppose 0*k + 6*k - 336 = b. Does 14 divide k?
True
Let m = 201 - 368. Let i = m - -327. Is i a multiple of 16?
True
Suppose 8*w = 5*w + 9. Let p(a) = w*a + 4 + 10*a - 5 - 3. Is 9 a factor of p(2)?
False
Let j = 104 + -94. Does 35 divide 1396/j - 12/(-30)?
True
Let p = 27 + -29. Is 28 a factor of (-1)/(p/8 + 165/684)?
False
Let s be 0/(1 + (1 - 4)). Suppose s = -11*w + 816 - 46. Is 7 a factor of w?
True
Suppose 9*k - 100 = -k. Let x(l) = -l**3 + 13*l**2 - 8*l - 6. Is 21 a factor of x(k)?
False
Let m = 3186 + -1764. Does 18 divide m?
True
Suppose 4*i = -q - 2, -5*q - 2*i - 36 = -2*q. Let r = 110 - q. Suppose -5*t = -t - r. Does 8 divide t?
False
Let l(i) = -8*i + 5. Let q(r) = -6*r + 4. Let p(w) = 2*l(w) - 3*q(w). Is p(7) a multiple of 7?
False
Suppose -4 = 3*k - k. Is (-1 + (-6)/4)*k a multiple of 3?
False
Let v(u) = u**2 - 15*u - 33. Let b be v(17). Is 4 a factor of 2/(2/32*b)?
True
Let v be (-5 - -6) + 67/1. Suppose v = 3*t - t + 4*f, -t + 3*f = -39. Does 9 divide t?
True
Suppose 2*m + 4*t = 44, -4*m - 5*t = -88 + 6. Suppose -m = -4*y + 2*y. Is (-2172)/(-54) - 2/y a multiple of 8?
True
Suppose 0 = 2*d + 67 + 65. Let x = -50 - d. Is 4 a factor of x?
True
Let f(z) = 5*z + 46. Let j be f(-8). Is (-3)/(j/4) + (183 - -3) a multiple of 12?
False
Let d = 360 - 55. Is d a multiple of 12?
False
Is ((-112)/35)/(8112/(-4050) - -2) a multiple of 3?
True
Suppose 1842 = -13*d + 19*d. Let j = 472 - d. Does 33 divide j?
True
Suppose 18*d - 6532 = 10856. Is 41 a factor of d?
False
Let k(l) = -4*l**2 - 2*l - 1. Let y be k(2). Suppose 4*u + 3*f + 281 - 67 = 0, -f = u + 53. Let m = y - u. Is m a multiple of 9?
False
Let v(o) = o**2 - 3*o - 3. Let q(w) = w**2 + 3*w - 6. Let z be q(-5). Let l be v(z). Is 10 a factor of (3/2*30)/l?
False
Suppose 822 = 16*g - 938. Is 10 a factor of g?
True
Let g be 2184/8 + -5 + 2. Suppose -6*o - 3*o + g = 0. Does 10 divide o?
True
Suppose 12*r = -6*r. Let l(y) be the second derivative of y**4/12 + y**3/6 + 10*y**2 - y. Is l(r) a multiple of 20?
True
Let p be 18 - ((-12)/(-4) - -1). Suppose -2*y - p = -24. Is y a multiple of 5?
True
Suppose -5*w + 7*w + 12 = 0. Let x = 38 - w. Does 28 divide x?
False
Suppose -18*b + 12892 = -2732. Does 28 divide b?
True
Let w(v) = 15*v**2 - 4*v + 5. Let x(z) = -z**2 - 11*z + 2. Let k be x(-11). Suppose 4*b + l - 2 - 6 = 0, k*b - 4 = -l. Is 20 a factor of w(b)?
False
Let r(j) = j**2 + 13*j + 45. Let v be r(-8). Suppose 15 = 5*x - 2*x. Suppose -5*s - 3*p = -316, 0 = -x*s - v*p + 420 - 110. Is s a multiple of 13?
True
Suppose -2710 - 5012 = -9*i. Is i a multiple of 52?
False
Suppose 3*y = -g + 30, -4*y + 4*g + 40 = 2*g. Is 5 a factor of ((-5)/y)/((-1)/10)?
True
Let n(i) = -555*i - 8. Does 79 divide n(-4)?
True
Let n(j) = 2*j**3 + j + 155. Let b be n(0). Let p = 309 - b. Is p a multiple of 7?
True
Let a = -1192 + 1750. Is a a multiple of 10?
False
Suppose 0 = 5*r - 0*r. Suppose -d + 11 = -r. Suppose d = -w + 41. Is 8 a factor of w?
False
Let y(v) = -2*v - 4. Let u be y(-2). Suppose u = 4*t - 117 - 19. Suppose -i = i - t. Is 4 a factor of i?
False
Is (6 - 34/6)*729 a multiple of 27?
True
Let v = -21 + 22. Suppose -l = -v + 3. Does 17 divide 55 + (l - (2 + -1))?
False
Let b(g) = -g**2 - 3*g - 2. Let d be b(-3). Let o(h) be the first derivative of -3*h**4/2 - h**3/3 - 2*h + 1. Does 24 divide o(d)?
False
Suppose -3*s + 2*u - 1 = -2, 0 = -s + u - 1. Suppose 0 = 85*z - 76*z - 36. Suppose -296 = s*h - 8*h - 4*d, -z*d - 264 = -5*h. Does 28 divide h?
True
Let i(w) = w**2 - 10*w + 9. Let a = -25 - -34. Let t be i(a). Suppose -2*c + 82 = -t*c. Does 9 divide c?
False
Let l(j) = -72*j - 277. Is l(-7) a multiple of 3?
False
Suppose 2*r = 4*u - 138, 0*r - 5*r = 3*u - 136. Suppose -24 = -5*s - 4. Suppose 0 = 3*v + 5*c - 15 - u, 3*v - 56 = -s*c. Does 6 divide v?
True
Let f(g) = -g**2 + 53*g + 116. Is 6 a factor of f(39)?
False
Let s = 37 + -32. Suppose -d = s*d + 48. Is d/(-6) - 304/(-6) a multiple of 26?
True
Let l(r