(0). Suppose 2*a - 3*y - 565 = 2*y, -d*a + 5*y = -1420. Is 26 a factor of a?
False
Suppose -8*u = -4*u - 1404. Is 43 a factor of u?
False
Let n be 21/4 - (-4)/(-16). Suppose 11 = -2*o + n. Does 26 divide 933/9 + o/(-9)?
True
Is (-1)/(-2)*7220/19 a multiple of 10?
True
Let b = 6 + 20. Suppose -7*p = -5*p - b. Does 3 divide p?
False
Let h(c) = -7*c - 1. Let y(d) = 15*d + 2. Let t(o) = -13*h(o) - 6*y(o). Let n be t(-7). Let v = n - -21. Is 15 a factor of v?
True
Is 31 a factor of (-1358)/(-4)*112/98?
False
Let z(b) be the first derivative of -b**4/4 + 4*b**3 - 21*b**2/2 + 23*b + 3. Is z(10) even?
False
Let g(m) be the second derivative of -89*m**3/6 + m**2/2 - m. Does 15 divide g(-1)?
True
Let t(j) = 5*j**3 + 4*j**2 + 2*j - 1. Let k be t(-2). Let q be 230/4 - 9/6. Let b = q + k. Is b a multiple of 4?
False
Suppose 2*x = -4*i + 60, 0 = -3*i + x + 4*x + 45. Suppose i = -c + 66. Let h = 81 - c. Is h a multiple of 30?
True
Suppose -3*d - 2*z = -2822 + 374, 3*z + 1632 = 2*d. Is 48 a factor of d?
True
Suppose -2*p + 6 = -14. Let y = 10 - p. Suppose -3*r - 29 = -o - y*r, 85 = 5*o - 3*r. Does 3 divide o?
False
Let j(b) = 254*b**2 + 4*b + 6. Let h be j(-3). Suppose -16*s + 4*s = -h. Is s a multiple of 24?
False
Let q = -3 - 11. Is (-3)/(-21) + (-516)/q a multiple of 26?
False
Suppose 4*t + 0*t = -16. Let w be (-126)/t - 4/(-8). Let c = -5 + w. Is c a multiple of 21?
False
Let t(a) = a**3 - 11*a**2 + 2*a - 13. Let g be t(11). Suppose -4*u = -g + 145. Let b = -14 - u. Does 20 divide b?
True
Let u(k) = -k**2 - 2*k - 1. Let h be u(-2). Is (6/2)/(6/(-152)*h) a multiple of 19?
True
Let k be ((-2)/(-4))/(2/(-84)). Let y = 184 + k. Is y a multiple of 22?
False
Suppose -4*g + 66 = 2*l, -5*g + 141 = l + 3*l. Suppose r + l = -2*y - 4*r, -4*y = r + 105. Let p = y - -94. Does 15 divide p?
False
Suppose 5*h = 5*g - 3*g - 3, 4*h = -5*g - 42. Is 15*(g + -14)/(-4 + 1) a multiple of 17?
False
Suppose -15*j = -4*j - 3322. Is 12 a factor of j?
False
Suppose -2*k + 108 = 3*z, -4*z = 2*k - 0*k - 146. Let i = 8 + z. Is 23 a factor of i?
True
Let n(f) = -73*f + 1. Let z be n(-3). Let b = -157 + z. Is 9 a factor of b?
True
Suppose -2*t + 1102 = -5*z, z = -3*t - 0*z + 1653. Is t a multiple of 18?
False
Let a = -647 - -1639. Does 32 divide a?
True
Let r be 2620/24 + (-3)/18. Suppose -48 = i - 197. Suppose -50 - r = -4*v - 3*y, -i = -4*v - y. Is 18 a factor of v?
True
Suppose 0*j = -5*j. Suppose -5*b + 26 + 174 = j. Is b a multiple of 11?
False
Let n = -854 + 877. Does 2 divide n?
False
Suppose -3 = 4*n + h - 1, 5*n + h + 2 = 0. Suppose -5*q + 2*z + 43 = n, 3*q - 2*z - 22 = q. Is 3 a factor of q?
False
Is 5568/26 - (-24)/(-156) a multiple of 13?
False
Let z(p) = 167*p**2 - 10*p - 5. Is 38 a factor of z(-1)?
False
Let a = 51 - 7. Is a a multiple of 6?
False
Suppose 0 = -8*q - 63 - 25. Let r(o) = -5*o - 26. Does 12 divide r(q)?
False
Suppose -17*q + 11712 = -953. Does 39 divide q?
False
Let a(n) = -3 + 8*n**2 + 7*n**2 - 8*n**2. Does 25 divide a(2)?
True
Suppose 137*g = 117*g + 1440. Does 15 divide g?
False
Let b = -8 + -46. Let k = b + 75. Does 19 divide k?
False
Suppose -3*q - 5*s + 1092 = 0, -q - s - 4*s + 364 = 0. Is 26 a factor of q?
True
Let j be 1/1 + 6/3. Suppose j*t = -532 + 127. Let x = -93 - t. Is 17 a factor of x?
False
Let r(v) = 703*v - 420. Is r(4) a multiple of 23?
True
Suppose 0*r - 5*y - 1 = 2*r, -2*y + 2 = 2*r. Suppose -13 = -x - r. Suppose -7*a - x = -8*a. Is a a multiple of 6?
False
Let z(q) = -q**2 - 6*q. Let f be z(-5). Suppose 0*o + 3*h = f*o - 252, 0 = 2*h - 2. Let s = 78 - o. Is s a multiple of 8?
False
Let k(t) = -29*t + 4. Let q be k(5). Let y = q + 244. Let m = y - 58. Does 15 divide m?
True
Suppose -412 = -p + 5*s + 191, 0 = -2*p - 2*s + 1218. Is 5 a factor of p?
False
Suppose 4*c = 2*c + 5*r + 16, 0 = 5*r. Suppose 0 = -2*s + 4*k + k - c, -2*k = 2*s - 20. Suppose 35 = 2*u + 5*z, -5*u - 1 + s = -4*z. Is 4 a factor of u?
False
Let u(q) = -2*q - 21. Let o be u(-8). Is (-101)/(-2) + o - (-1)/2 a multiple of 23?
True
Let x(r) = 3*r**2 + 71*r - 144. Does 72 divide x(-45)?
True
Let x = -1152 - -1552. Does 80 divide x?
True
Let v(s) = -138*s - 16. Is 57 a factor of v(-1)?
False
Let l(j) = 3*j**3 - j**2 + 4*j - 3. Let z = -1 - -3. Let x be l(z). Suppose -2*m + x = 2*r - 69, -m + 27 = -3*r. Does 14 divide m?
True
Let m = -521 + 739. Let z = 364 - m. Does 9 divide z?
False
Let l = 1808 + 531. Is l a multiple of 8?
False
Suppose 4*r = -2*v + 2, 0 = 4*v + 4*r - 6 - 14. Suppose 14 = -2*n + v*n. Is 5 a factor of 28/n + (-5)/(-5)?
True
Let z be (-4)/(4/(-5))*4. Suppose 4*f - z - 4 = 0. Let q(u) = -u**2 + 7*u + 2. Is q(f) a multiple of 5?
False
Suppose -4*t - 24 = -2*s, 0 = 3*s - 2*t + 5*t + 9. Suppose -s*x + 34 = 2*b, 4*b - 2*x - 68 = x. Is b a multiple of 11?
False
Let s = -300 - -923. Is 35 a factor of s?
False
Let o(f) be the first derivative of f**3/3 + 11*f**2/2 + 38*f + 10. Is o(-11) a multiple of 11?
False
Let t be ((-69)/92)/(1*2/(-2848)). Suppose -2*h + 1333 = 5*z - 4*h, 4*z - 2*h = t. Is z a multiple of 53?
True
Let k(r) = 95*r + 10. Does 33 divide k(5)?
False
Suppose 4 + 8 = 4*q - 4*l, 0 = 5*q + 3*l - 15. Suppose 0 = -x - q*x. Suppose x = -4*t + 524 - 168. Is 18 a factor of t?
False
Let f = -9 - -11. Suppose 0 = g + 3*r - f, -2*r = -3*g + 9 + 30. Is 4 a factor of g?
False
Is (-2891)/(-35) + (-4)/(-10) a multiple of 10?
False
Let r = 58 - 29. Is r a multiple of 11?
False
Let o(n) be the first derivative of -n**4/4 + 3*n**3 - 3*n**2 - 16*n - 11. Is o(6) a multiple of 4?
True
Let s = -184 + 259. Suppose 4*j - 9 = 7, g = 4*j + 17. Let y = s - g. Does 7 divide y?
True
Let h = 4065 - -444. Is h a multiple of 16?
False
Let l(c) = -53*c**3 - c**2 + 1. Let g be l(1). Let o = g + 134. Is o a multiple of 11?
False
Let r(s) be the third derivative of -5*s**4/3 - 7*s**3/6 + s**2. Is 13 a factor of r(-2)?
False
Suppose 5*c = 4*u - 86, u + c = 11 + 15. Suppose -k = -19 - u. Let o = 60 - k. Is 11 a factor of o?
False
Let h(w) = w**3 + 56*w**2 + 92*w - 180. Is h(-54) a multiple of 2?
True
Let i(g) = -g**3 + 10*g**2 - 14*g + 10. Is 3 a factor of i(8)?
False
Let j(n) be the first derivative of 11*n**3/3 - 2*n - 2. Let b be j(-2). Is 6 a factor of (-6)/b + 338/14?
True
Let q be (2/(-5))/((-1)/(-25)). Let z = q + 10. Suppose -2*x + x + 12 = z. Does 12 divide x?
True
Suppose 0 = 3*z - 118 - 44. Is 5*(3 - z/(-15)) a multiple of 11?
True
Let t = 57 - -154. Is 14 a factor of t?
False
Suppose -5*q + 180 - 660 = 3*g, 3*g - 96 = q. Let t = q - -137. Does 11 divide t?
False
Let b = 8 - 6. Is 111 + b + 0 + -2 a multiple of 37?
True
Let y(n) = 9*n**3 + 7*n**2 - 2*n**3 + 3 + 3 + 11*n. Let z(j) = -11*j**3 - 10*j**2 - 17*j - 9. Let x(s) = -8*y(s) - 5*z(s). Does 5 divide x(-6)?
True
Let g = -320 - -402. Does 4 divide g?
False
Let i(w) = -62*w + 58. Does 43 divide i(-6)?
True
Is 19 a factor of -8 - -1 - (-338 + 8)?
True
Suppose -f - 3 = -0*f. Let l(y) = -1. Let v(c) = -4*c + 2. Let k(d) = f*l(d) - v(d). Is k(5) a multiple of 11?
False
Let j be (-4)/(-2*(-4)/76). Suppose -g - 18 = w - 2*g, -4*w - g = 82. Let a = w - j. Is 6 a factor of a?
True
Suppose -4*q = -7*q. Let o = 8 - q. Let w = o + -5. Does 3 divide w?
True
Let h = 5 + -2. Suppose 5*f + h = 6*f. Let w = 3 + f. Does 3 divide w?
True
Suppose -5*u + 20 = h, -5*h = 2*u + u - 34. Suppose 3*o - h = 1. Suppose o*x - x - 26 = 0. Is 13 a factor of x?
True
Let x = 35 + 46. Does 14 divide x?
False
Suppose -5*x = -5 - 10. Suppose -x*s + l = 2*l - 195, 3 = -l. Is s a multiple of 33?
True
Let h(u) = -u**3 + 12*u**2 - u + 12. Let w be h(12). Let v be (-3 - -7) + 80 + w. Suppose 0 = -2*p - p + v. Does 14 divide p?
True
Does 13 divide 4/8 + (-259)/(-2)?
True
Let r be (-1 - -3)*(-30)/(-12). Suppose r*n - n + 2*g + 40 = 0, 0 = 2*n - g + 28. Does 3 divide (5/2)/((-3)/n)?
False
Suppose 4*c = 4*r + 108, -2*c - 2*r + 11 = -35. Let n(p) = -c + 24 - 71*p**3 - 4*p**2 + 6*p**2. Does 15 divide n(-1)?
False
Suppose 3*m = 5*h + 141, -8*m + 12*m - 177 = 3*h. Suppose 17 - m = -5*b. Does 2 divide b?
False
Let p(n) = -n**3 - 7*n**2 - 6*n + 4. Is p(-10) a multiple of 48?
False
Let z = 79 - -53. Let m = z - 32. Is m a multiple of 16?
False
Let z be -1*(3 - 33)/2. Is 12 a factor of 3/30*2 + 897/z?
True
Suppose 0 = -2*k, 0 = 3*b + 5*k + 33 - 441. Does 6 divide b?
False
L