5)*26/n?
True
Let j be 122/(-14) - 6/21. Let b(c) = 8*c + 4*c + c**2 - 4*c + 1. Does 4 divide b(j)?
False
Suppose -b + 4*d = -47, -d + 186 = 4*b + 49. Suppose 5*f = -3*g + b, -33 = -3*g - 4*f + f. Is g a multiple of 10?
True
Suppose 2*u - 2 = 0, 0 = 4*y + 3*u - 4*u - 95. Is y a multiple of 12?
True
Suppose 0 = -w + 3*w + 5*v + 128, -v = 4*w + 220. Let j = w - -15. Let p = j - -59. Is p a multiple of 10?
True
Suppose 0 = -p - 7 - 2. Does 3 divide p/(-15)*10/2?
True
Let r(v) = -v**2 + 22*v + 5. Is 9 a factor of r(19)?
False
Let r(i) = -i**2 + 7*i + 6. Let h be r(8). Is 3 a factor of ((-3)/(-6))/(h/(-48))?
True
Let r(d) = d**2 + 3*d - 3. Let u be r(-4). Let x be (-24)/9*(2 + u). Let b = x - -23. Is b a multiple of 6?
False
Suppose -c - 3*s + s + 46 = 0, 0 = -2*c + 4*s + 116. Is c a multiple of 12?
False
Let i(y) = 2*y + 2 - y**2 - 4*y - 3*y**3 + 4*y**3. Is i(4) a multiple of 16?
False
Let g(d) be the first derivative of -d**4/4 - 4*d**3/3 - d**2 + 7*d + 4. Is g(-5) a multiple of 14?
True
Let g(u) = -u**3 - 15*u**2 + 32*u + 6. Does 19 divide g(-17)?
False
Let k(y) = -y**3 + 20. Let w(o) = -o**3 + 10*o**2 - 9*o. Let t be w(9). Is 8 a factor of k(t)?
False
Let n(b) = -33*b - 1. Let s be n(-1). Suppose -5*u + s - 2 = 0. Suppose j + u*g - 30 = 3*g, -4*j + 120 = 2*g. Does 15 divide j?
True
Is 12 a factor of 388/8 - 1/2?
True
Suppose l = 5*f - 30, -f - 4*f = -5*l - 30. Does 3 divide f?
True
Suppose -4*b + 2 + 38 = 0. Is b a multiple of 2?
True
Does 4 divide 8/(-36) - 411/(-27)?
False
Suppose -3*w = -5*g + 4, 5*w + 10 = 4*g + g. Let n be ((-12)/18)/(g/(-3)). Is n/1 + (-1 - -11) a multiple of 4?
True
Suppose 2*t + 36 = 148. Suppose 0*n + n - t = 0. Let b = n - 8. Does 23 divide b?
False
Suppose 5*j - 3*j = 0. Suppose -2*t = -j*t - 98. Is 19 a factor of t?
False
Suppose -3*h - 12 = 0, h - 251 = -2*i - 3. Does 21 divide i?
True
Suppose -18 = t - 2*t - 5*o, -3*o = -4*t + 141. Let z = -19 + t. Is 14 a factor of z?
True
Suppose -w = 2*w - 12. Let y = 8 - w. Suppose 4*l - y - 12 = 0. Does 4 divide l?
True
Suppose 5*c - 2*i - 475 = 0, -2*i = -2*c + 2*i + 190. Does 19 divide c?
True
Suppose 4*r + 3*n = -0*n + 15, n + 5 = 2*r. Let q(d) = -d + 39. Let v be q(0). Suppose r*c + 0*c - v = 0. Does 6 divide c?
False
Suppose 0 = -4*z + 34 - 2. Is (-46)/z*(0 + -4) a multiple of 6?
False
Let i(x) be the third derivative of -x**5/60 + 5*x**4/24 + 4*x**3/3 - 3*x**2. Let o be i(6). Suppose -19 = -o*h + 13. Is h a multiple of 11?
False
Suppose -4 - 4 = 2*h. Let q be ((-10)/h)/((-1)/(-2)). Suppose 0 = q*j - 2*j - 45. Does 15 divide j?
True
Suppose 5*w - 3*f - 51 = 3*w, -f = -5*w + 160. Is 7 a factor of w?
False
Suppose -2*q + 86 = 2*f, -f = -4*q + 52 + 140. Does 8 divide q?
False
Let l(v) = -9*v - v**2 - 13*v + 17*v + 1. Let a = -2 - 2. Is 3 a factor of l(a)?
False
Suppose 39 = 3*c - t, 3*t + 2 = -7. Let u be (0 - -5)*c/15. Suppose 3*i - 2 = 4*d + u, 3*i = -2*d + 24. Does 6 divide i?
True
Suppose -2 = -3*d + 4. Suppose -4*r + 144 = 5*o, -d*r + 5*o + 135 = 3*r. Suppose 0 = 5*a - 39 - r. Is 7 a factor of a?
True
Suppose -4*a + 4 + 8 = 0. Suppose -4*t + 7 = -x, x + a - 32 = -5*t. Is 5 a factor of x?
False
Let n(p) be the third derivative of p**6/120 + p**5/10 + p**4/4 + p**3/3 + 2*p**2. Let y be n(-5). Does 7 divide (-53)/(-6) + y/(-18)?
False
Suppose -5*h + 0*s = -s - 20, 0 = -h - 5*s + 4. Let d be 3/((15/14)/5). Is 8 a factor of (-2)/h + 357/d?
False
Let l be 1 - -1 - (1 + -3). Let z be (2/3)/(l/6). Suppose r + z = 33. Is 16 a factor of r?
True
Suppose 3*d + 7 = 4*j, -2*j - 2 - 5 = -5*d. Is 6 a factor of 6/((3 - 5) + d)?
True
Let h(b) = b**3 - 7*b**2 + 10. Let y be h(7). Suppose y*a + 120 = 12*a. Is a a multiple of 15?
True
Let h be -9*-1*(-4)/(-6). Suppose 12 = 3*s - h. Is s a multiple of 5?
False
Suppose -4*m + 457 = 85. Is 31 a factor of m?
True
Let g = -197 + 300. Does 12 divide g?
False
Does 12 divide ((-10)/(-2))/((-20)/(-120))?
False
Suppose -2*w = 30 - 2. Let q = -1 - w. Suppose 3*m = q - 4. Is m a multiple of 3?
True
Let d(v) = 1 - 6 - 2*v - 4. Is d(-6) a multiple of 3?
True
Suppose -24 = -w + 6*z - 2*z, -2*w + 5*z = -42. Is 4 a factor of w?
True
Let k(s) = 14*s + 2. Let j be k(6). Suppose -2*p + j = -2. Is p*((-3)/2 - -2) a multiple of 22?
True
Suppose -2*i + 8 = -0*i. Let c(a) = 5 - i - 3*a + 0*a. Does 3 divide c(-1)?
False
Let x be 3 - (-2 + -1) - 2. Is 9 a factor of (2/x)/1*28?
False
Let r = 1 - 35. Let v be -3 + (-2)/2 + 60. Let s = v + r. Does 17 divide s?
False
Let l = 47 - 34. Does 4 divide l?
False
Suppose 5*r - 225 = s, -102 - 78 = -4*r + 3*s. Suppose -129 + r = -2*l. Does 22 divide l?
False
Suppose -4*u + 6*u - 34 = 0. Suppose r - 2*n - 25 = -5*n, -2*r + 5*n + u = 0. Does 8 divide r?
True
Suppose 0 = 19*w - 12*w - 924. Is w a multiple of 33?
True
Suppose -3*g + 3 + 9 = 0. Does 4 divide g?
True
Let m = 1 + 115. Does 12 divide m?
False
Let d(g) = -g**2 + 9*g - 9. Let p be d(7). Let r be ((-6)/p)/((-4)/(-10)). Is 0 - (-7 - r - 3) even?
False
Suppose 9*t - 156 = 4*t - 4*f, -t + 28 = 4*f. Is t a multiple of 8?
True
Let l(o) = o**3 - 8*o**2 + 6*o + 5. Let g be l(7). Is (-70)/(-4) - 3/g a multiple of 10?
False
Let c be 329/4 - (-2)/(-8). Suppose 0 = 2*w - 5 - 1. Suppose -3*i + c = -l, -2*l - 5 = w*l. Does 20 divide i?
False
Let k be 210/(-3) + 1 + 1. Let j = 128 + k. Is j a multiple of 27?
False
Does 6 divide (-165)/(-7) - 3/(-7)?
True
Let i(c) be the third derivative of -c**2 - 1/15*c**6 - 1/6*c**3 - 1/24*c**4 + 0*c + 0 - 1/60*c**5. Is i(-1) a multiple of 3?
False
Let h(m) = 15*m - 11. Does 16 divide h(5)?
True
Let i(a) be the third derivative of a**6/40 - a**5/30 - a**3/2 - a**2. Is i(3) a multiple of 20?
True
Let b be 2/(-1)*(-1)/2. Let r(a) be the second derivative of 13*a**3/3 - 2*a. Is 13 a factor of r(b)?
True
Let n(v) = -v**3 - 6*v**2 - v - 1. Let x be n(-6). Let m = x + -3. Is ((-13)/m)/(2/(-4)) a multiple of 5?
False
Let w = 8 + -8. Let m = 4 - w. Suppose 5*b - 4*n - 82 = 0, 0 = 3*b - m*b - 3*n + 5. Is b a multiple of 14?
True
Suppose 0 = a + g + 1 - 8, -5*g = -4*a - 17. Let j(o) = o**3 - o**2 + 3*o - 1. Does 9 divide j(a)?
True
Suppose 0 = 4*p + 5*f - 5, -p - 5*f + f - 7 = 0. Suppose 0*q = p*q - 25. Suppose q*a = 24 - 4. Is 2 a factor of a?
True
Suppose 13 = -m + 2*z, 2*m + 50 = -3*m + 5*z. Let u = m + 40. Is u a multiple of 12?
False
Suppose 2*i + 4*h - 258 = 0, -2*i = -i - 4*h - 153. Does 34 divide i?
False
Let d(f) = -f**3 + 6*f**2 + 10. Is d(-5) a multiple of 10?
False
Suppose -3*g - 493 = -3*a - a, 0 = -4*a + g + 487. Is 36 a factor of a?
False
Let c(p) = 7*p + 1. Does 13 divide c(11)?
True
Suppose -3*d + 25 = -2*d. Is 25 a factor of d?
True
Let d(j) = -2*j**3 - 2*j**2 + j - 2. Let b be d(-2). Suppose -25 = -b*l + 135. Is 8 a factor of l?
True
Let f be (1 + -2)/((-1)/4). Let o = -6 - -4. Is 10 a factor of -36*(o - f/(-3))?
False
Let j be (2/4)/((-1)/(-90)). Let c = -31 + 63. Let w = j - c. Does 7 divide w?
False
Is (1/1*-6)/(16/(-256)) a multiple of 7?
False
Let w(k) = -k**2 - 13*k - 14. Let j(u) = u**2 + 12*u + 15. Let i(s) = 3*j(s) + 4*w(s). Let l = -36 - -26. Is i(l) a multiple of 24?
False
Let x(n) = n**3 - 7*n**2 - 8*n + 2. Let j be x(8). Suppose -210 = j*w - 7*w. Is w a multiple of 21?
True
Let p(v) = 26*v**2. Let x be (6/12)/((-1)/2). Is 11 a factor of p(x)?
False
Let c = 105 - 57. Is 12 a factor of c?
True
Suppose -2*g = 3*h - 15, -3*h + 0*h = -9. Suppose -3*t = r - 22, 3*r - g*t = -8 + 38. Suppose 2*j + 2*y = -r + 45, 0 = 4*y - 4. Is j a multiple of 6?
False
Let t = 222 - 150. Suppose -4*s - 2*b - 3 = -13, -4*s + 9 = b. Is 19 a factor of (t/(0 - s))/(-1)?
False
Let k be 10/(2*2/8). Let s = 4 - k. Let d = -2 - s. Is 12 a factor of d?
False
Suppose 0*f - 3*f + 3 = 0. Suppose 4*b = 5*b - f. Is (-1)/b - -11 - 2 a multiple of 4?
True
Suppose 6 = -4*q + 18. Let g = -1 + q. Is g even?
True
Let q be -6*4*(-2)/4. Let c(f) = -4*f**3 - 18*f**2 + 8*f + 1. Let u(b) = b**3 + b**2 + b. Let t(h) = c(h) + 5*u(h). Is t(q) a multiple of 13?
True
Is 23 a factor of (-1)/(-3)*0 - -23?
True
Suppose 4*r - f = 3 + 6, -3*r - f = -5. Suppose 0 = -3*d + 1 + r. Suppose 60 = 3*m + 4*j, 3*j + d = -4*m + 74. Is m a multiple of 10?
False
Let l be (4 - 40/12)*3. Is l/(-6) - 20/(-6) a multiple of 2?
False
Let o be 2/(-3)*54/4. Let y = o - -18. Is 7 a factor of y?
False
L