*y + t. Is a(c) a multiple of 6?
True
Suppose q + n - 82 = 45, -3*q = -5*n - 373. Does 45 divide q?
False
Let m(p) = 2 - p**2 - 12*p**3 + 0*p**2 - 3 - p**2. Is m(-2) a multiple of 22?
False
Let m = 273 - 123. Is m a multiple of 13?
False
Let a = -8 - -2. Is 13 a factor of (-154)/(-6) + (-2)/a?
True
Let c(t) = 10*t**2 - t - 2. Let a be c(2). Suppose 4*f - a = 8. Does 11 divide f?
True
Let s be -1 - -4*1/(-2). Does 9 divide 18/(s - (-22)/6)?
True
Let i = 43 + -21. Is i a multiple of 5?
False
Let s = 9 - 7. Suppose n = -3*l + 194, -n + s*n = l - 58. Is l a multiple of 27?
False
Suppose 2*m - 57 + 19 = 0. Suppose 91 = 2*v + m. Does 11 divide 1/(3/v) - 1?
True
Let z = -20 + 27. Does 7 divide z?
True
Let n = -450 - -690. Suppose k = 5*x - n, 6 - 35 = -x + 4*k. Is x a multiple of 21?
False
Let r(u) = -11*u**3 - 3*u**2 + 13*u - 21. Let n(o) = -5*o**3 - 2*o**2 + 6*o - 10. Let t(a) = -9*n(a) + 4*r(a). Does 5 divide t(-6)?
False
Let n(f) = f**2 + 6. Let u be n(0). Let y be (u/(-3) - -2) + 3. Is ((-44)/(-16))/(y/12) a multiple of 11?
True
Let k(x) = x**3 + 15*x**2 + 12*x + 4. Is k(-14) a multiple of 2?
True
Let w be 1 + 1 + 3 + -4. Let g be 2/(w/(2/(-2))). Let n = 28 + g. Is n a multiple of 13?
True
Let v = 47 + -18. Let q = v + -7. Does 11 divide q?
True
Suppose -4*g = -f + 88, -5*g - 115 = -f - 10*g. Does 25 divide f?
True
Suppose g - 156 = -5*r - 0*g, -3*r + 108 = -3*g. Is 8 a factor of r?
True
Let p = 71 - 43. Is p a multiple of 11?
False
Suppose 5*a - 8 = 3*u + 7, -2*u - 14 = -4*a. Let g = a - 3. Suppose 0 = -j - x + 20, j - g*x - 84 = -4*j. Is j a multiple of 11?
False
Let m = -9 - -12. Suppose -5*v = 5*d - 135, d = -m*d. Is 9 a factor of v?
True
Let r(i) be the first derivative of 9*i + 1/3*i**3 + 5/2*i**2 + 3. Is 5 a factor of r(-6)?
True
Let g = 8 + -8. Suppose g*t - 36 = -3*t. Does 4 divide t?
True
Does 22 divide 12*(140/(-8))/(-5)?
False
Does 3 divide (-5*(-15)/3)/1?
False
Suppose -f + 7 = 2*r, -3*f + 2*r - 1 = 18. Suppose -5 - 5 = 3*o + 2*y, 2*o + 3*y = -15. Does 9 divide f - 0 - -15 - o?
False
Let k(l) = l**3 + 11*l**2 - 17*l - 18. Does 26 divide k(-12)?
False
Let l(h) = 27*h + 2. Let j be l(-2). Let s = j + 136. Suppose 4*c + 4*b - s = 0, 4*b + b = 5*c - 135. Is 12 a factor of c?
True
Let z(t) = 4*t**2 + 1. Let r be z(1). Let c(j) = -j**3 + 5*j**2 - 2*j + 2. Let f be c(r). Is 2/f + (-162)/(-8) a multiple of 10?
True
Let q(b) be the third derivative of -b**4/4 + b**3/2 + b**2. Is 8 a factor of q(-6)?
False
Suppose 3*j + 207 = 4*z, 3*z - 7*j = -2*j + 169. Is z a multiple of 16?
True
Suppose 3*b + 0 = -24. Let f = -10 - -7. Is (0 + f)/(3/b) a multiple of 5?
False
Is 23 a factor of -2*(65 + 4)*-1?
True
Let y be (34/4)/((-4)/8). Suppose 4*z = 2*z + 50. Let b = y + z. Is 8 a factor of b?
True
Suppose -7 = 5*p - 27. Let g = 45 - p. Does 12 divide g?
False
Let o(c) be the third derivative of -c**6/120 - 7*c**5/60 + 13*c**4/24 + c**2. Is o(-9) a multiple of 15?
True
Let p(o) be the first derivative of -75*o**2/2 - 2. Let w be p(-1). Let f = w - 12. Is 16 a factor of f?
False
Let z be 78/8 - 9/12. Let p = z - -11. Does 20 divide p?
True
Suppose 0 = -q + 2 - 0. Let i(m) = 15*m - 1. Let t(w) = -5*w. Let g(y) = 3*i(y) + 8*t(y). Is 7 a factor of g(q)?
True
Suppose 0 = -0*q - 3*q + 51. Is q a multiple of 3?
False
Let z(u) be the first derivative of u**3/3 + 6*u**2 - 11*u + 3. Does 17 divide z(-14)?
True
Let q = -100 - -188. Does 8 divide q?
True
Suppose 2*t - 41 = 5*n, 2*t + n + 3*n + 4 = 0. Let v(c) = 2*c**2 - 5*c + 7. Let j(y) = 5*y**2 - 14*y + 21. Let m(p) = t*v(p) - 3*j(p). Is 8 a factor of m(-5)?
True
Let p(r) = -9*r + 1. Is 7 a factor of p(-3)?
True
Suppose 0 = 5*n - a - 475, 3*n = -2*a - 90 + 362. Is n a multiple of 14?
False
Let w be (-306)/10 + (-18)/(-30). Let p = w - -61. Does 21 divide p?
False
Let a(l) = -8*l + 4. Suppose y = -y - 14. Let x be a(y). Suppose -15 = 3*j - x. Is 5 a factor of j?
True
Let h(i) = -i**2 - 6*i - 7. Let l be h(-5). Does 7 divide (-1 + 3 - l) + 3?
True
Let d(r) = 2*r**3 - 6*r**2 + 18*r - 2. Does 4 divide d(3)?
True
Let p(i) = -5*i + 2. Let y be p(-4). Is (y/8)/((-1)/(-4)) a multiple of 4?
False
Let w = -29 + 62. Does 15 divide w?
False
Let g be 0/(4 + -2)*-1. Suppose -3*q + 2*p + 8 = 0, g*q + 39 = 4*q + 3*p. Let d(s) = -s + 14. Is d(q) a multiple of 4?
True
Let k(i) be the second derivative of i**7/360 + i**6/720 - i**5/120 - i**4/6 - 3*i. Let z(t) be the third derivative of k(t). Is z(1) a multiple of 2?
False
Let f(w) = w - 6. Let p be f(7). Let j(h) = 11*h - 1. Does 10 divide j(p)?
True
Suppose -3*m - 2*m + 25 = 0, -3*m + 34 = h. Does 6 divide h?
False
Let l = 10 - 94. Let z = 128 + l. Is z a multiple of 11?
True
Let j(z) = 3*z - 4. Is 11 a factor of j(5)?
True
Suppose 3*t = 2*p - 148, -6*t + 5*p - 240 = -t. Let a = t + 88. Does 12 divide a?
True
Let z = -158 + 275. Is 30 a factor of z?
False
Let i(n) = n**2 - 6*n - 5. Let u be i(7). Suppose -a - u = -22. Is 7 a factor of a?
False
Let c(x) = x**3 - 10*x**2 + 3*x + 3. Let g be -1 - -12 - (-1)/(-1). Is 11 a factor of c(g)?
True
Let t(j) = 2*j - 1. Let f be t(2). Let r = 3 + f. Does 3 divide r?
True
Let b(n) = -n**3 - 5*n**2 + 6*n + 5. Let v be b(-6). Suppose -2*g + 4*f - 7*f = -13, -4*f + 25 = -v*g. Is 16 a factor of g + 29*(3 - 2)?
False
Suppose 11*y = 636 - 196. Is y a multiple of 8?
True
Let d(a) = -a**3 - a**2 - 3*a + 2. Let n(b) = -b**3 + b**2 - 3. Let g be n(0). Does 7 divide d(g)?
False
Let m(x) = -x**3 + 9*x**2 + 2*x + 2. Let h be m(9). Suppose 3*i = s - 4, 0*i + h = 5*s - 4*i. Is 66/9 - s/(-6) a multiple of 4?
True
Let t = -14 + 17. Is t even?
False
Let q = 4 + -6. Let x = q - -9. Is x a multiple of 4?
False
Suppose 4*z + 32 = -3*b + 165, -4*b + 3*z = -144. Does 13 divide b?
True
Let y(u) = 6*u + 13. Let q(a) = 9*a**3 + a**2 - a + 1. Let t be q(1). Let p be y(t). Suppose 5*r - p = 4*c, 4*r - 2*r - 3*c = 32. Is 13 a factor of r?
True
Suppose 0 = -2*q + y + 2*y + 445, -5*y = -3*q + 666. Let g = q - 116. Is 29 a factor of g?
False
Suppose 0 = 2*z - 0 + 2. Let m = 3 - z. Does 3 divide m?
False
Let a = -27 + 43. Does 4 divide a?
True
Suppose -4*r + 5*r - 4 = 0. Suppose 0 = 4*i + l + 2*l - 116, 3*i = r*l + 112. Is 12 a factor of i?
False
Suppose 2*h = 3*i + 14, 5*h - 2*i - 18 = -3*i. Suppose h*v + 26 = -5*l + 73, -4*v = 3*l - 41. Is 4 a factor of v?
True
Suppose -d - 4*j = -0*d + 292, 5*d + 3*j = -1477. Is 10 a factor of d/(-10) - 2/(-5)?
True
Let c(q) = 6*q + 3. Let b be c(4). Let m = b + -14. Is 10 a factor of m?
False
Let p(n) = -n**2 + 2*n + 6. Let y be p(5). Let g be (12/18)/((-1)/y). Suppose 4*f - 17 = -q, -4*f = -g*q + 3*q - 13. Is 2 a factor of f?
True
Let m(s) = -s**2 - 9*s - 3. Let a be m(-8). Suppose -a*w + 167 = -108. Is 15 a factor of w?
False
Let z(p) = -1 - 2*p + p**2 - 1 - 3*p + 9*p. Let v be z(-6). Does 8 divide 9/(-15) + 166/v?
True
Let n(h) = 4*h - 2*h + 3 + h**3 + 3*h + 6*h**2 - 2*h. Is 14 a factor of n(-4)?
False
Suppose 0 = p - 3. Suppose -p*t + 60 = 15. Does 8 divide t?
False
Let p be ((-14)/4)/(1/(-2)). Let f = p - 4. Does 2 divide f?
False
Let w = 42 + -29. Let h = w - -7. Does 20 divide h?
True
Suppose -q = -33 + 11. Let z = q - 10. Is 3 a factor of (-9)/z*-2*2?
True
Let h(p) = p**3 + 5*p**2 - 3*p + 2. Let m be h(-6). Suppose -117 = 2*u - 5*u. Let o = u + m. Is 18 a factor of o?
False
Suppose -o + 2*v = -3*o - 16, -15 = 2*o + v. Let d(i) = -9*i - 11. Let k(y) = 26*y + 32. Let n(g) = -17*d(g) - 6*k(g). Does 11 divide n(o)?
False
Suppose -4*u = -2*u + 90. Is (u/6)/(-5)*26 a multiple of 13?
True
Suppose 4*q = 170 - 22. Does 6 divide q?
False
Let c = 24 + -19. Is c a multiple of 4?
False
Suppose u + 25 = 6*u. Let x = u - -5. Does 10 divide x?
True
Let d be 1054/17 - (1 + -2). Suppose 4*s = d - 7. Is 14 a factor of s?
True
Let j(r) = -r**3 + 7*r**2 - 4*r - 1. Let y be j(5). Suppose 2*t = -5*i + y, 4*i - 40 = -2*t - 14. Does 7 divide t?
True
Suppose g + 3*t + 2 = 0, t - 6 = 3*g - t. Is g*(-3 - -4) - -26 a multiple of 14?
False
Let u(t) = -t**3 - 5*t**2 + 5*t - 4. Let x be u(-6). Suppose x*m - 3*m = -35. Suppose 4*r - 53 = m. Does 11 divide r?
True
Suppose 3*o = 2*g - 17, -o - g = -3 + 2. Suppose 0 = -3*k - 32 - 19. Let y = o - k. Does 14 divide y?
True
Let k = 290 - 200. Does 20 divide k/(-9)*(-3 + -1)?
True
Suppose -2*l - 2*j = 2*j - 32, -4