1)?
True
Let n(c) = -2*c - 8. Let i be n(-6). Let j(d) = 3*d - 6 + 10 - 2*d**2 + d + 3*d**2. Does 14 divide j(i)?
False
Suppose -3*b = -6*b + 423. Let o = b - 98. Is o a multiple of 12?
False
Let n(u) = u**2 + 3*u - 5. Let a be n(-5). Suppose -k - 19 = -a*z + 19, 0 = -z - 5*k - 8. Suppose -4*s + 19 - z = 0. Is s a multiple of 3?
True
Let b(x) = x**3 - x**2 - x. Let a be b(2). Let f = -6 + a. Let c = 18 + f. Is c a multiple of 7?
True
Let j = 1 - -2. Is 10 a factor of -65*j/((-30)/4)?
False
Suppose 2*f = -2 - 4. Let m be f + 3 + 6*1. Suppose 5*a = -u + 30, 3*a + m*u - u = -4. Is a a multiple of 5?
False
Suppose 0*p - 2*p + 12 = 0. Does 9 divide p*3/(-24)*-12?
True
Let a = 20 + 10. Is 15 a factor of a?
True
Suppose -4*g = -2*w - 0 + 4, 2*g - 14 = -3*w. Is 20 a factor of 214/4 - 6/w?
False
Suppose 6*o = 9*o - 9. Suppose 2 - 56 = -o*b. Does 18 divide b?
True
Suppose 5*p - 4*v = -8, 5 = 4*p + 3*v - 1. Suppose p = -u + 4*u. Suppose 3*y - 5*t - 6 - 9 = u, 2*t - 10 = -2*y. Is y even?
False
Suppose 2*k = 4*q + 306, 0*q = -4*k - 3*q + 612. Does 21 divide k?
False
Suppose 2*p - 3*a = -8*a + 183, 5*a = -15. Does 25 divide p?
False
Let t be (-2)/4 - (-265)/10. Is 6 a factor of (3 + -3 - t)/(-2)?
False
Suppose -3*g + 1 = -74. Is 740/g + 2/5 a multiple of 8?
False
Suppose 0 = -5*d - 2*s + 2 + 7, -18 = -5*d + s. Suppose t = -3*j - 0*t + 62, j = -d*t + 10. Is j a multiple of 8?
False
Suppose -2*w + 31 = -55. Is 14 a factor of w?
False
Let d = 0 - -1. Let g(t) = -15*t**2 + t - 1. Let v be g(d). Does 4 divide ((-12)/(-5))/((-3)/v)?
True
Let i(f) = -38*f + 4. Let a be i(4). Let q = -96 - a. Suppose 4*w = 4*j + q, -78 + 1 = -4*w - j. Is 10 a factor of w?
False
Let v(u) = u**3 + 11*u**2 + 6*u - 19. Does 16 divide v(-8)?
False
Let h be (18785/10)/((-2)/4). Is 12 a factor of h/(-78) + (-2)/12?
True
Does 48 divide (-33 + 1)*(-195)/26?
True
Let m(o) = o**3 - 3*o**2 + o - 2. Let b be m(7). Let y = -141 + b. Is y a multiple of 12?
True
Suppose -5*x - 131 = u, 5*x + 57 = u - 72. Suppose -312 = -3*y - 5*y. Let l = y + x. Does 13 divide l?
True
Let m(q) = -q - 1. Let r(n) = 7*n + 14. Let c(j) = 6*m(j) + r(j). Let b be c(-6). Let d = 4 - b. Does 2 divide d?
True
Let b(n) = -n**2 - 3*n + 4. Let v = 0 + -3. Let f be b(v). Suppose f*k - 68 = -4*w, -2*w + k + k = -30. Is w a multiple of 8?
True
Let c be ((-2)/(-4))/((-4)/48). Is 1/2 + (-333)/c a multiple of 13?
False
Suppose -y = j - 5, 5*y + 67 - 11 = 4*j. Suppose -z = -41 + j. Is 9 a factor of z?
False
Suppose l - 5 = -2. Suppose l = -0*w + w. Suppose 205 = 5*k + w*g, -3*g = -4 - 11. Is 19 a factor of k?
True
Suppose 3*h - 12 - 18 = 0. Does 14 divide 35*(-3 + 38/h)?
True
Is 9 a factor of (438/(-8))/(-1) + (-6)/8?
True
Suppose 38 = 2*s - 3*c, -1 = -s - 4*c + c. Does 2 divide s?
False
Let x(n) be the second derivative of -1/3*n**3 + 0 - 7/2*n**2 + 2*n. Is 9 a factor of x(-8)?
True
Does 3 divide 39 - 0 - (-16 - -18)?
False
Suppose 0 = 3*m - 2*m - 6. Let o = 5 - m. Does 13 divide (-309)/(-12) - o/4?
True
Suppose -5*p + 8*p = 303. Is p a multiple of 17?
False
Let t(q) = q**2 + 7*q - 6. Let m(p) = p - 1. Let u(o) = 2*m(o) + t(o). Let c = 1 - 13. Does 9 divide u(c)?
False
Let v(f) = 2 + 0*f + 0 + f**2 - f - 2*f. Does 4 divide v(5)?
True
Suppose 4*h + 4 = -0. Let i be h*-19*(0 + -3). Let q = -18 - i. Does 13 divide q?
True
Let r = 3 + 1. Let h(k) = k**3 - 3*k**2 - 2*k + 1. Is h(r) a multiple of 9?
True
Let j = 22 - 10. Is 6 a factor of j?
True
Let d(h) = -h**2 - 3*h - 6. Let x be d(-5). Is (x/(-24))/(2/30) a multiple of 7?
False
Let j be -3 - -1 - 15/3. Let i be ((-12)/j)/(8/(-84)). Is 11 a factor of (-212)/i - (-2)/9?
False
Let z be 0*(-1)/2*-1. Let b(r) = -5*r**2 + r**2 + 3*r**2 + 30. Is b(z) a multiple of 15?
True
Let o(f) = -5*f + 6*f**3 - 6*f**2 + 2 - 5*f**3 + f**2. Suppose -r = -4*r + 18. Is o(r) a multiple of 4?
True
Let z(u) = -u + 44. Does 12 divide z(-12)?
False
Let x be ((-6)/(-12))/(2/168). Suppose -1 - 4 = -f. Suppose 2*p = f*p + 5*a - x, -2*a + 6 = 0. Is 9 a factor of p?
True
Does 15 divide (20 - 14)/(((-2)/(-20))/1)?
True
Suppose 13 = -2*s + s. Let b = -8 - s. Does 3 divide b?
False
Let y(b) be the second derivative of b**5/20 + 5*b**4/6 + b**3 + 2*b. Does 14 divide y(-9)?
False
Is 28 a factor of (-41)/(2*(-4)/16)?
False
Suppose l - 8 = -10. Let c be (1 - 2) + (-45)/(-3). Let b = c + l. Is b a multiple of 4?
True
Suppose h - 27 = -2*h - 4*t, 32 = 4*h + 4*t. Suppose h*g - 102 = 2*g. Is g a multiple of 17?
True
Let k(w) = w**3 - 4*w**2 - 6*w - 1. Let f be k(5). Is 10 a factor of ((-4)/f)/((-2)/(-117))?
False
Suppose 0 = 3*p + k + 9, -2*p - 6*k = -k + 19. Does 10 divide 3/p*(6 + -20)?
False
Let m(f) = f**3 - 2*f + 3. Let c be m(-3). Let v = c + 8. Is 2 a factor of v/(-25) + (-26)/(-10)?
False
Let y be 2/11 + (-100)/(-55). Is y - (1 - 8 - 2) a multiple of 4?
False
Let t(k) = 6*k - 58. Does 4 divide t(11)?
True
Suppose r - 6 = -2*r. Suppose -l - 3 = r, -25 = -5*y + 2*l. Does 2 divide y?
False
Let q = 16 - 8. Is q a multiple of 3?
False
Does 10 divide (480/(-75))/(2/(-10))?
False
Suppose 5*m - 4*m - 1 = 0. Is 8 a factor of m + 0 + -2 + 23?
False
Let n(l) = 2*l**2 + l - 1. Let f be n(1). Let g be (-1 - -2) + (2 - 1). Let s = g + f. Does 4 divide s?
True
Let x = -7 + 3. Let g = 10 + x. Is g a multiple of 6?
True
Suppose i - 1 + 3 = 0. Let z = 2 - i. Is 9 a factor of z/10 + 172/20?
True
Let b be ((-9)/3 - -12) + -3. Is 13 a factor of 910/14*b/10?
True
Does 13 divide (-69)/(-4) + 1/(-4)?
False
Let i = 74 - 122. Let a = -8 - i. Is a a multiple of 10?
True
Let j(f) = -f**3 + 5*f**2 + 7*f. Is 16 a factor of j(5)?
False
Let z(b) = b**3 + 6*b**2 - b. Let u be z(-6). Suppose -u*j + 2*j = -56. Is 7 a factor of j?
True
Let j(b) = -b**3 + 4*b**2 - 2*b. Let i be j(3). Suppose -3*y = 2*q - 66, 3*y - y + i*q - 49 = 0. Does 9 divide y?
False
Suppose 4 = 2*o - n - 16, -o + 4*n = 4. Does 6 divide o?
True
Suppose -4*s + 13 = 2*c + 3, -s - 2*c = -10. Suppose 0*x - 2*x + 24 = s. Is x a multiple of 6?
True
Suppose 3*l = s + 3*s - 141, 5*s = l + 179. Is 9 a factor of s?
True
Let c(q) = 2*q - 7. Let p be c(5). Suppose -p*y + y + 52 = 0. Does 13 divide y?
True
Is 9 a factor of (-8)/(-6)*-3 + 32?
False
Let d(b) = -b**3 + 5*b**2 - 3*b + 6. Is d(4) a multiple of 5?
True
Is (-3)/6*(-168)/2 a multiple of 7?
True
Suppose 0 = -5*o - 3*k + 11, -k + 1 = o - 0*o. Suppose 0*t = o*t - 132. Is t a multiple of 23?
False
Suppose -3*n - 4 = -7*n + 2*p, 10 = -5*p. Suppose n = 4*q + 2 - 10. Suppose q*l - 59 = 29. Does 22 divide l?
True
Suppose -4*d + 40 = -8. Does 12 divide d?
True
Let l be (-2)/4 + (-306)/(-4). Let i = 159 - l. Suppose 2*g = 6, g - 21 = 5*k - i. Is 4 a factor of k?
False
Let o(u) = u + 4. Let a be o(-2). Suppose -a*b + 4*b = -14. Let d = b + 31. Does 12 divide d?
True
Suppose -2*y = -6*y + u + 321, -79 = -y - u. Does 20 divide y?
True
Let l = 189 - 90. Does 9 divide l?
True
Is 74/(-6)*-6 + -2 a multiple of 8?
True
Let q(r) = -r**3 - 2*r**2 - r - 2. Let j be q(-4). Suppose -1 = f + 9. Let y = j + f. Is y a multiple of 8?
True
Let f(d) = -107*d**3 - 1. Let x be f(-1). Suppose -2*n + 5*m + 172 = 2*n, -x = -3*n - 2*m. Is 19 a factor of n?
True
Let d = 85 + -37. Let x be (-4)/6*(-32 + -7). Let m = d - x. Is m a multiple of 10?
False
Let y(d) = -d**3 + 4*d**2 - 2*d + 1. Let b be y(3). Suppose -4 = -4*u + 3*m + 15, 4*u - b*m - 24 = 0. Let p = u + 2. Does 3 divide p?
True
Suppose -27*b - 432 = -31*b. Does 17 divide b?
False
Suppose 6*d - 2*d + 104 = 0. Let q = d - -63. Does 6 divide q?
False
Suppose 2 = -r - r, -146 = -3*g - r. Is 10 a factor of g?
False
Is 0/(-2) - (-486)/9 a multiple of 27?
True
Suppose 5*j = -w + 155, 5*w - 3*j = 8*w - 405. Is 26 a factor of w?
True
Let z be (0 + 0)/(3 + -1). Suppose 0 = 2*q - z*x + 4*x - 36, -5*q = x - 72. Is 14 a factor of q?
True
Suppose 10 = 2*p - v - v, -18 = -4*p + 3*v. Suppose -2*c + p*c = 5. Does 2 divide c?
False
Let u = 4 + -2. Let v(m) = -2 + 0 - 7*m - 2 + u. Is v(-2) a multiple of 9?
False
Suppose 0 = 3*y - l - 266, -4*l + 122 = 2*y - 74. Is y a multiple of 30?
True
Suppose -3*n + 147 = 15. Does 11 divide n?
True
Let b = -1 - 2. Let r be 4 + (-2 - -4) + b. Suppose v - 2*y = 14, -2*y = r*v - 4*y - 30. Is v a multiple of 5?
False
Suppose 0 = 2*y - 0*x - 5*x - 127, 2*y - 3*x - 121 = 0. Does 7 divide y?
True
L