. Suppose 0 = -x*f - 4*p + 247 - 35, 4*f - 194 = 2*p. Does 10 divide f?
True
Let z(p) = -8 + 2 + 16*p - 4 + 2. Is 25 a factor of z(4)?
False
Suppose 23*i - 19*i - 116 = 0. Let y(k) = 17*k**3 - k**2. Let t be y(-1). Let q = i + t. Is 3 a factor of q?
False
Suppose 2*l - 133 = -41. Let o be 3 + (0 + -1 - l). Let c = o + 72. Is c a multiple of 14?
True
Suppose 3*b = 4*b - 15. Let c = b + -12. Is (21/(-6) + c)*-76 a multiple of 7?
False
Suppose 29*x - 17*x = 19584. Is x a multiple of 24?
True
Suppose -5*q + 4*b = -b - 1175, 0 = 3*q + 2*b - 700. Does 9 divide q?
True
Suppose 8*z + 5508 = 25*z. Is 36 a factor of z?
True
Suppose -369 = -2*g + 513. Is 14 a factor of g?
False
Suppose 3*t = -2*t - g + 256, 124 = 2*t - 5*g. Suppose 5*a - t = 28. Does 8 divide a?
True
Let t(l) = -l**3 + 5*l**2 - 11*l + 5. Let f be t(3). Does 14 divide (18/f + -3)/(9/(-420))?
True
Suppose 0*u = -u + 9. Let t(c) = 2*c**3 + 11*c**2 - 3*c - 29. Let h be t(-5). Let j = h + u. Is 7 a factor of j?
False
Suppose -8*l + 43*l - 59360 = 0. Is l a multiple of 42?
False
Suppose -5*o - 40 = 1235. Is 12 a factor of 15/(-10) + (o/2)/(-5)?
True
Let h = -195 - -296. Does 6 divide h?
False
Let j(f) be the first derivative of -f**5/10 - f**4/6 - f**3/6 - f**2 + 2*f + 3. Let p(r) be the first derivative of j(r). Is p(-2) a multiple of 4?
True
Let v = 80 - 36. Suppose -165 = -4*w - 3*y + 2*y, w + 3*y = v. Does 41 divide w?
True
Suppose -131*r = -137*r + 2460. Is 23 a factor of r?
False
Is 18*(-8 + 2)*(-30)/4 a multiple of 10?
True
Is 13 a factor of 1*(5 + (446 - -6))?
False
Suppose -7*q - 4*a = -2*q - 3055, 2*a = -10. Is q a multiple of 15?
True
Let x(m) = 7*m - 3. Let y be x(1). Suppose -6*b + y = -4*b. Does 2 divide b?
True
Is 2/8 - (-2905)/28 a multiple of 5?
False
Suppose 7*f = 5*f. Let t be f + (-3)/(-1) - -2. Suppose -2*v + 81 = -3*i, -5*v - 42 = t*i - 257. Is v a multiple of 14?
True
Suppose 3*a = 5*r - 3141, 8*a - 3*a = 4*r - 2505. Does 18 divide r?
True
Suppose -350*m + 359*m = 22392. Is m a multiple of 6?
False
Suppose -22*o + 31*o = 2583. Is o a multiple of 34?
False
Is ((-106)/5)/((7 + -18)/495) a multiple of 11?
False
Suppose 7*h - 2220 = -3*h. Does 9 divide h?
False
Let z(n) = -3 - n + 0*n + 5*n. Does 2 divide z(4)?
False
Let z(k) = -2*k**2 - 7*k + 7. Let l be z(7). Let v = -12 - l. Suppose -q + v = 3*f, f + q - 26 - 18 = 0. Is f a multiple of 14?
True
Let c = 124 + -99. Suppose 2*s + 0*i - c = i, -2*s - 2*i + 16 = 0. Is s even?
False
Let w(c) = -5*c - 16. Let d be w(-4). Is 16 a factor of 35 - -1 - (d*-3)/4?
False
Let w be (-9 - -1)/(8 - 7). Let j = 16 - w. Is j even?
True
Suppose 0 = 21*n - 0*n - 25767. Is 35 a factor of n?
False
Suppose 10 = -r + 6*r + 5*f, 2 = -2*r - 4*f. Suppose -5*k + t + 510 = 0, -258 - 252 = -5*k - r*t. Does 45 divide k?
False
Let u(l) = -l**2 + 7*l - 7. Let t(o) = o. Let a(j) = t(j) - u(j). Let r be a(5). Suppose -5*s + 99 = -r*s. Does 12 divide s?
False
Suppose 0 = -4*s - 2*l + 574, -2*l - 3 - 3 = 0. Does 5 divide s?
True
Let z(a) be the second derivative of -6*a + 0*a**3 + 0 + 1/10*a**5 + 3*a**2 + 1/2*a**4. Is 3 a factor of z(-3)?
True
Suppose 4*j = 5*t + 460, -3*j - 20 + 197 = -2*t. Let c = -68 - t. Suppose c = -2*w + 3*w. Does 16 divide w?
False
Suppose 2*c + 18 = 5*r - 32, -4*c - 20 = 0. Does 13 divide ((-124)/3)/(r/(-12))?
False
Let q = -1627 - -2969. Does 56 divide q?
False
Let n(v) = v**2 - 6*v - 3. Let y be n(10). Let d = -4 + y. Does 11 divide d?
True
Let u = -75 + 81. Is 2/6 + 808/u a multiple of 27?
True
Let w be (-1)/3 + 4/12. Suppose -4*b + 2*n + 1 = 43, 2*b + 4*n + 16 = w. Let a = 29 - b. Does 11 divide a?
False
Let d = 22 - 22. Suppose 2*i = -h - d*h + 58, -3*h + 156 = -3*i. Is 10 a factor of h?
False
Let r(i) = i**3 + 41*i**2 - 3*i + 57. Does 30 divide r(-41)?
True
Let n be ((-810)/8)/5*8. Is 16 a factor of (-1*47)/((-9)/(n/(-6)))?
False
Suppose 3*x - 5*q - 74 = 0, -119 = -5*x - q + 5*q. Let w = x - 19. Suppose 2*b - 252 = -3*b - w*r, -2*b + 5*r = -114. Does 19 divide b?
False
Let u(t) be the third derivative of -t**6/120 - 7*t**5/60 - t**4/8 - t**3/3 + 71*t**2. Let d be ((-1)/2)/((-3)/(-42)). Does 7 divide u(d)?
False
Suppose -3*h - 21 = 3*o - 6*h, -4*h + 4 = 0. Let f be -5*(-4)/(-40)*o. Suppose f*q - 50 - 112 = 0. Is 24 a factor of q?
False
Suppose 1489 + 1745 = 6*c. Is c a multiple of 7?
True
Let g(b) = 4*b**2 + 27*b - 5. Let v be g(-7). Suppose -235 - 113 = -v*h. Is h a multiple of 58?
True
Let z(k) be the third derivative of 11*k**4/24 - k**3 + 5*k**2. Let g be z(3). Suppose -5*b = 2*a - 462, -5*a = -5*b + 517 - g. Is b a multiple of 26?
False
Is 69 a factor of 15/30 + 3445/10?
True
Let k(z) be the second derivative of -z**5/20 - 5*z**4/4 - 8*z**3/3 + 4*z**2 - 3*z. Is k(-14) a multiple of 29?
False
Suppose -t + 3*v = -11, -4*v = -t - 0 + 12. Does 35 divide 6 + 4050/24 + 2/t?
True
Let j be (5 + -5 - -1) + -13. Does 3 divide 2 - ((-49)/2 - (-6)/j)?
True
Let k(r) = r**2 + 11*r - 17. Let p = 29 - 42. Let d be k(p). Suppose -8*x = -d*x + 9. Does 9 divide x?
True
Let y be 0 - (-1 - -1 - 3). Let c be ((-3)/(-1) - y)/3. Suppose -2*x + 0 + 10 = c. Is x a multiple of 5?
True
Let w(m) = -m**3 - 6*m**2 + 3*m - 7. Let u be w(-6). Let k = 74 + -32. Let o = u + k. Is o a multiple of 10?
False
Suppose -2*j + 10 = -4*o + 4, -2*j - 39 = 5*o. Let y(q) = -14*q**2 - 4*q - 31. Let b(f) = 5*f**2 + f + 10. Let w(n) = -11*b(n) - 4*y(n). Does 7 divide w(j)?
True
Let i(u) = 2*u**3 + 7*u**2 - 2 - 3*u - 4*u**2 + 0. Does 20 divide i(2)?
True
Let j = -252 + 349. Does 9 divide j?
False
Let u = 182 - -403. Is u a multiple of 45?
True
Let f(z) = -z**2 + 5*z - 4. Suppose 2*g - 2 = 0, 3*u - g = 6*u - 13. Let t be f(u). Suppose -10*a + 6*a + 180 = t. Does 15 divide a?
True
Suppose 0 = -3*z + 6*z. Suppose u = 4*l + l - 298, z = -u + 3*l - 300. Is (-3)/5 + u/(-5) a multiple of 20?
True
Let b = -32 + 35. Suppose 81 + 39 = b*d. Let h = 160 - d. Is h a multiple of 20?
True
Is 858/9 - (-18)/27 a multiple of 8?
True
Let l be 5/(10/(-86))*-1. Suppose 19 + l = f - 4*n, -f + n = -62. Is 31 a factor of f?
True
Let f(p) = -5*p + 11. Let w be f(-5). Is 5 a factor of 44/9 - (-4)/w?
True
Let d be (-3)/12 - (-180)/16. Suppose -5 + d = 2*w. Is w/(1 - (-4)/(-6)) a multiple of 5?
False
Let h = -2370 + 4302. Does 46 divide h?
True
Suppose 0 = -3*m + 3, -4*m = -2*x - 2*m + 208. Suppose -2*c - 5*b = -68, -3*c - 3 + x = -4*b. Let y = 86 - c. Is 9 a factor of y?
False
Suppose 134 + 36 = 5*x. Suppose r + 0*r + 85 = 5*u, 2*u = -2*r + x. Does 6 divide u?
False
Let b = -32 + 29. Does 25 divide b + -4 + 4 + 126?
False
Suppose -6*w - 766 = -2*u - 3*w, -742 = -2*u - 3*w. Is u a multiple of 13?
True
Let s(k) = 5*k**3 + 2*k**2 - 5*k + 5. Let d = 41 - 39. Is 8 a factor of s(d)?
False
Suppose -2*r - 1830 = -3*l, -l = -4*l - 5*r + 1830. Is 5 a factor of l?
True
Let p(t) = -3*t**3 - 2*t**2 + t + 12. Is p(-5) a multiple of 23?
False
Suppose -2*z - 60 = -0*z. Let i = z + 65. Does 17 divide i?
False
Suppose 4*r + 175 - 438 = -3*v, r + 5*v = 53. Is 9 a factor of r?
False
Suppose 3*i = -5*z + i + 6404, 0 = 2*i - 4. Suppose -z - 560 = -8*t. Is t a multiple of 23?
True
Is 35 a factor of ((-5)/(-2) - 0)/((-8)/(-672))?
True
Is 24 a factor of ((-162)/(-63))/(3/56)?
True
Suppose 0 = 5*a - 348 - 777. Suppose 4*g - a = g. Is g a multiple of 15?
True
Let c = -8 + 11. Suppose -10*h + 98 + 12 = 0. Suppose 33 = c*z - 2*d - 39, -h = -z + 5*d. Is z a multiple of 18?
False
Let a = -305 + 451. Is a even?
True
Suppose -12*s = -10*s - 8, a = s + 9. Is a a multiple of 13?
True
Let w be 5 + 14 + 0/(-2). Let k = -15 + w. Suppose 0 = k*c - 2*c - 4, 4*d - 52 = 2*c. Does 7 divide d?
True
Let q = 7 + 88. Is 15 a factor of (q/(-10))/((-1)/30)?
True
Suppose 4*j - 110 = 3*v, -80 = 2*j - 5*j + v. Suppose -9*c = -5*c + 56. Let m = c + j. Is m a multiple of 6?
True
Let l(c) = 274*c - 306. Does 8 divide l(5)?
True
Is 10/(-40) - (-1)/(8/4410) a multiple of 10?
False
Let p(x) be the first derivative of 3*x - 1/2*x**4 - 7/3*x**3 - 5/2*x**2 - 5. Is 13 a factor of p(-4)?
True
Let k(m) = 4*m - 12. Suppose 2*g = 4 + 10. Suppose -2*p = -g*p + 60. Does 12 divide k(p)?
True
Suppose -127*w = -158*w + 90737. Is 67 a factor of w?
False
Suppose -20 = -o - 4*o. Let m(r) = -49 - 5*r**2 + 4*r**3 + 46 - r**3 + o*r. Is 15 a factor of m(3)?
True
Suppose u 