False
Let d = 344 - 9. Does 29 divide d?
False
Let v(u) be the third derivative of u**6/12 - u**5/30 - u**4/12 + 2*u**3/3 - 6*u**2. Is v(2) a multiple of 12?
True
Let b(s) = -89*s + 254. Does 102 divide b(-20)?
False
Suppose 5*f - 11184 = w - 2680, 0 = w - 1. Does 63 divide f?
True
Let l(f) = f**2 - 11*f - 18. Let y be l(13). Suppose y*g - 84 = 7*g. Suppose -g = 3*x - 291. Is x a multiple of 25?
False
Suppose 3*q + 2*q = -5*d + 55, -q + 3*d = -23. Suppose -3*t + 70 = -5*x - q, -4*x - 120 = -4*t. Suppose j = 4*j - t. Is 11 a factor of j?
True
Let o(q) = -7*q**2 - 6*q**3 + 0*q**2 + 3*q**3 + 9*q - 24*q - 9. Let w(u) = 4*u**3 + 6*u**2 + 15*u + 9. Let t(p) = -5*o(p) - 4*w(p). Is 8 a factor of t(12)?
False
Suppose 3*n = -5*z + n + 73, n - 43 = -3*z. Let k = z + 39. Does 40 divide k?
False
Let n(p) be the first derivative of -p**2/2 + 28*p - 11. Does 5 divide n(-14)?
False
Let g(i) = i**3 - 12*i**2 + 10*i + 26. Let w be g(17). Is w/(-15)*-1 - (-6)/10 a multiple of 11?
True
Let p(d) = -d - 12. Let s be p(-15). Suppose 4*a - s*j + 8*j = 372, -j = 0. Does 31 divide a?
True
Is 35 a factor of (-5)/(-10)*-4 - (3 - 320)?
True
Let v(g) = -g**3 + 19*g**2 + 78*g + 54. Is v(22) a multiple of 5?
False
Let m be (-4)/(-16) - (69/(-12) - -1). Let n(a) = -a**3 + 5*a**2 - 6*a + 1. Let f be n(4). Let c = m - f. Is c a multiple of 6?
True
Let h(y) be the second derivative of 7*y**3/6 + 5*y**2 + 9*y. Does 17 divide h(4)?
False
Let y(r) = r**3 - 8*r**2 - 8*r - 9. Let h be y(9). Is 5 a factor of -3 + (h + -2 - -33)?
False
Suppose -3*p = -9 - 3. Let n be 10/4 + p/(-8). Suppose -61 = -n*b + 95. Is b a multiple of 26?
True
Suppose 5*t + 4*a = 15180, t - 2*a = 952 + 2098. Suppose t = -10*j + 5*j. Does 10 divide 2/(-5) - j/20?
True
Let v(j) = 23*j - 3. Let i be v(5). Suppose 0 = -5*b + 5*s + 145, 0 = b + 4*b + 4*s - 118. Suppose 2*h - i = -b. Is h a multiple of 20?
False
Let h(c) be the second derivative of 5*c**3/6 + 3*c**2 - 7*c. Let s = -6 - -14. Is h(s) a multiple of 18?
False
Let y(t) = t**3 - 3*t**2 + 2. Let q be y(3). Suppose q*u + 194 = 4*u. Suppose 82 = 2*l - 5*v + 3*v, 2*l - 5*v = u. Does 15 divide l?
False
Suppose 5*l - 2*x = 194, -x + 0 - 2 = 0. Suppose -24 = -2*h - 3*s, -3*h - s = -20 - 23. Suppose -l = -r + h. Is 43 a factor of r?
False
Suppose 2*g - 4*v - 1764 = -v, 5*g + 3*v - 4431 = 0. Is g a multiple of 15?
True
Let p(h) = -h**2 - 7*h - 6. Let m be p(-2). Is m/(-32) - (4251/(-24) + 2) a multiple of 25?
True
Suppose 0*j + 2*j = 1552. Suppose -2*m - 4*y = -268 - 130, 4*m = -4*y + j. Suppose -k - 2*k + m = 0. Does 21 divide k?
True
Let o = 118 + -118. Let i(p) = -p + 41. Does 41 divide i(o)?
True
Let r = 151 + -92. Suppose -4*l + b + b = -218, -b + r = l. Is 25 a factor of l?
False
Let n be (-2)/6 + (-267)/9. Let d = 47 + n. Is d a multiple of 5?
False
Let w = -9 + 13. Suppose -w*t + 177 = 601. Let l = -70 - t. Is 8 a factor of l?
False
Let g = 181 - -98. Is 9 a factor of g?
True
Suppose -8*l + 1838 + 4746 = 0. Does 7 divide l?
False
Let t = -3 + 9. Suppose 0 = -3*p - t, 2*c - 77 = -3*c - 4*p. Let x = c + -13. Does 3 divide x?
False
Let k = 375 - -119. Is 26 a factor of k?
True
Suppose -20 = 4*k + 4*o, 0*k + k - 7 = -5*o. Let q(u) = -u**3 - 8*u**2 - 3*u - 12. Does 6 divide q(k)?
True
Let g(f) = 4*f - 4. Let l be g(3). Suppose 9*z - 13 = l*z. Is z a multiple of 13?
True
Let f = -2151 + 2393. Does 6 divide f?
False
Suppose 5*n - 130 = -3*q - 2*q, -2*q = -4. Suppose -23*r = -n*r + 9. Is r a multiple of 9?
True
Let z = -517 - -839. Is 46 a factor of z?
True
Is 49 a factor of -5*-137*6/6?
False
Does 4 divide (-30)/8 + 5 + (-804)/(-48)?
False
Suppose p - 4*p - 24 = 0. Let j be 1/(30/p + 4). Suppose 0 = 4*t + j*z - 152, 3*z = -5*t + 212 - 20. Is 9 a factor of t?
False
Suppose 3*w - 5060 = 5*l, l + 24 - 26 = 0. Is 63 a factor of w?
False
Let f(d) = -d**2 + 7*d + 19. Let a be f(9). Let l = 62 + a. Is l a multiple of 24?
False
Suppose -10 = -2*g - 2. Suppose -t + 2*m = -m - 78, -t = -g*m - 80. Is t a multiple of 9?
True
Suppose -1538 = b - 2524. Is b a multiple of 34?
True
Let m be 2 - (4/(-14) - (-726)/(-7)). Let y = m + -55. Does 7 divide y?
False
Let u(i) be the second derivative of 17*i**5/40 - i**4/6 + 7*i**3/6 + 8*i. Let d(r) be the second derivative of u(r). Does 31 divide d(2)?
False
Let z(o) = 2*o**2 + o + 72. Suppose 0 = -3*j + 7*j. Does 12 divide z(j)?
True
Let o(x) = -x**3 - 6*x**2 + 10*x + 16. Let a be o(-8). Let w = a + -40. Suppose 0 = -k + 3*k - w. Is 12 a factor of k?
True
Let d(l) be the second derivative of -l**3/3 + 4*l**2 - 5*l. Let f be d(-5). Suppose w = 4 + f. Does 10 divide w?
False
Let w(l) = 2*l**2 + 8*l - 2. Suppose 48 = 4*b + 4*c, -5 = 2*b - c - 20. Suppose -4*y = 15 + b. Does 11 divide w(y)?
True
Is 18 a factor of ((-3)/(-4) + 849/20)*5?
True
Let a = 94 - -140. Is 18 a factor of a?
True
Is 3 a factor of (204/(-15))/((-6)/15)?
False
Suppose 7*q - 9165 = -8*q. Suppose -2*d + q = 3*s + 181, -2*d = 5*s - 710. Is 19 a factor of s?
False
Is 13 a factor of ((-1180)/10 - -12)*(-52)/2?
True
Suppose -148500 = -10*s - 40*s. Is s a multiple of 33?
True
Suppose -4*w + 356 = 3*u, -4*u + 317 = 2*w - 141. Suppose 0 = -q - i - u - 9, -2*i + 383 = -3*q. Is ((-16)/(-20))/((-10)/q) even?
True
Let k be -11*(-4)/10*305. Let i be 12/42 - k/(-7). Suppose -172 = -4*u + i. Is u a multiple of 27?
False
Does 25 divide 2/30*-2 + (-45012)/(-90)?
True
Suppose -3*o = 2*g - 17, -2*o = -2*g + g - 9. Suppose -644*f = -654*f. Suppose -273 = -4*q + d + 2*d, d - g = f. Does 17 divide q?
False
Suppose 0 = -s + 3*f - 2*f + 8, 2*f = -5*s + 19. Is 10 a factor of (s/4)/((-3)/(-24))?
True
Let j be (-650)/(-8) + (-8)/32. Let q = -55 + j. Is 6 a factor of q?
False
Let b(k) = 2*k**2 - 4*k + 1. Let p(m) = -m**2 - 5*m + 3. Let g be p(-5). Let t be b(g). Let d = 39 - t. Is d a multiple of 15?
False
Let l = -2007 - -2993. Does 17 divide l?
True
Let z(c) = -c**3 + 16*c**2 + 14*c - 18. Let g be z(16). Suppose -5*u + 50 = 2*w - 944, -4*w + g = u. Let d = -135 + u. Is 11 a factor of d?
False
Let g = -14 - -5. Let b(v) = -v**3 - 10*v**2 - 12*v + 1. Is 7 a factor of b(g)?
True
Let f(i) = i - 10. Let j be f(-18). Is 2 a factor of (7/(j/(-8)) + -3)*-29?
False
Let y(r) = -r**2 - 8*r + 10. Let x be y(-9). Suppose 4*b = -x - 59. Is (-19)/(b/(-6) + -3) a multiple of 19?
True
Let f(z) be the third derivative of -z**6/120 - z**5/60 + z**4/6 + z**3/6 - 6*z**2. Let x be f(-4). Suppose -x = -4*l + 7. Does 4 divide l?
False
Is 4/(-2)*(-1 + (-603)/18) a multiple of 3?
True
Let p(l) = 2*l**2 - l + 3. Suppose i + 6 = t, 0 = -4*i - t + 1 - 20. Is p(i) a multiple of 26?
False
Suppose -5*s = -5*y - 770, 5*y - 622 = -4*s + 3*y. Does 3 divide s?
False
Suppose 41 - 5 = 4*b. Let m = 14 - b. Suppose 2*u = 2*n - 10, u - 5 = -m*n + 8. Does 2 divide n?
False
Suppose 115 = 4*x - 109. Is 7 a factor of x?
True
Let x = 64 + -61. Does 14 divide -238*((4/8 - 4) + x)?
False
Let s(t) = 4*t - 2. Let m be s(1). Suppose -4*r = 2*h - 78, 139 = m*h + h - 5*r. Does 26 divide h?
False
Suppose 37 = 2*z + 1. Suppose 5*l = 2*l - z. Let v(h) = h**2 + 5*h + 2. Is 2 a factor of v(l)?
True
Let g be (-18)/(-63) - (-1119)/(-21). Let u = -30 - g. Is u a multiple of 2?
False
Let r be (-9)/(-54) + 2290/12. Let l = r - 64. Is l a multiple of 43?
False
Let n(l) = 2*l - 15. Let z be n(-5). Let s = z + 29. Suppose 5*j - s*j - 23 = 0. Is j a multiple of 7?
False
Suppose 7 = 3*r - 161. Does 13 divide 0/(-2) + (r - -4 - 1)?
False
Suppose -2*a = 2*q - 874, -q + 4*q = 4*a - 1748. Does 19 divide a?
True
Let h(x) = 12*x - 13. Let r = 22 - 19. Is 23 a factor of h(r)?
True
Does 11 divide (-825)/30*(-4)/5?
True
Let y be (9/(-3))/3 - 4. Let z be (12/30)/((-1)/y). Suppose -5*f - 4*h = -14, f + z*f = 2*h + 26. Is f a multiple of 3?
True
Let s = 285 - 171. Suppose -7*i = -9*i + s. Suppose -4*p = 3*f - i + 18, -f - 3 = -4*p. Does 8 divide f?
False
Suppose 200 - 870 = 5*f. Let o = 244 + f. Is o a multiple of 13?
False
Let q(b) = b + 1 + b**3 - 2 + 0*b**2 - 2*b**2 - 9*b**2. Let s(o) = -10*o + 1. Let c be s(-1). Does 2 divide q(c)?
True
Let p = -25 - -17. Let f(j) = j**2 + j - 3. Let g be f(p). Suppose -5*i + g - 3 = 0. Is 10 a factor of i?
True
Suppose 2*k - s + 48 = 0, 8*k + 96 = 4*k - 3*s. Let x = 0 - 42. Let q = k - x. Is 14 a factor of q?
False
Let r be 0 - (-8)