?
True
Let y(u) = 2*u - 2 - 5 + 7. Is 8 a factor of y(9)?
False
Let k(o) be the first derivative of o**6/360 + o**5/20 - o**4/8 + 2*o**3/3 - 1. Let x(h) be the third derivative of k(h). Is x(-7) a multiple of 4?
True
Let a be 2 - 9/6*2. Let i(o) = -25*o**3 - 2*o**2 + 1. Let k be i(a). Let q = k - 12. Is 12 a factor of q?
True
Suppose 4*i + 29 = 5*n + 5*i, 3*n - 35 = -5*i. Let q(d) = d**3 - 5*d**2 + 3*d + 10. Is q(n) a multiple of 7?
False
Let p = -3 - -6. Suppose 0 = -0*v - p*v + 105. Suppose v = 2*h + 7. Is h a multiple of 5?
False
Suppose 3*m + 18 = -3. Let o(p) = 3*p**2 + 10*p + 2. Is o(m) a multiple of 14?
False
Let m(y) = 20*y**2 + 7*y + 1. Is 25 a factor of m(-2)?
False
Suppose -w - 2*t - 220 = -4*w, -5*w = -t - 362. Does 18 divide w?
True
Let q(d) = -d**3 + 8*d**2 - 5*d + 7. Let s be q(8). Is 11 a factor of (4/6)/((-2)/s)?
True
Let w(f) be the second derivative of f**5/20 - f**4/4 + f**2/2 - 2*f. Let n be w(3). Does 11 divide ((-4)/10)/(n/(-55))?
True
Let h(b) = -b + 2. Let w be h(-4). Let i = w - 3. Suppose -5*c + 135 = 5*a, i*c + c = 2*a + 126. Is c a multiple of 14?
False
Suppose -2*x + 9 + 7 = 0. Does 10 divide x - -2 - (1 - 1)?
True
Let f(z) = z - 4. Let u be f(6). Let b(j) = 7*j**2 - 2*j + 1. Does 25 divide b(u)?
True
Let c(h) = -2*h**2 - 8*h - 3. Let w be c(-6). Let d be ((-8)/4)/(2/w). Suppose -2*p + 5*u = 1, u + d = p + 4*u. Is p a multiple of 6?
True
Let f = -1 - -1. Let h(z) = 2*z - z + 32 + 10 + f*z. Is 14 a factor of h(0)?
True
Let v(j) = j**2 - 4*j - 9. Is v(9) a multiple of 27?
False
Suppose -200 = -5*h + 5*d, 6*d = 5*h + 2*d - 199. Is h a multiple of 13?
True
Let y(r) = -8*r - 4. Is y(-4) a multiple of 5?
False
Is 2 + (-40)/18 - (-272)/9 a multiple of 11?
False
Is (15/10)/(2/4) a multiple of 3?
True
Let j = -5 - -15. Let f(a) = a**2 - 7*a + 9. Is 11 a factor of f(j)?
False
Let y(r) = 4*r**3 + 7*r**2 - 4*r. Let u(b) = -7*b**3 - 13*b**2 + 7*b + 1. Let l(i) = -3*u(i) - 5*y(i). Let s(m) = -m. Let h be s(3). Does 4 divide l(h)?
False
Let z = -78 - -87. Is z a multiple of 5?
False
Let l(o) = o**3 - 13*o**2 + 4*o + 28. Does 10 divide l(13)?
True
Suppose -3*h + 3*k = -402, 3*h + 2*k + 3*k - 370 = 0. Is 31 a factor of h?
False
Suppose 2*m - 2*d = 3*d + 38, -5*m + 5*d + 65 = 0. Is m a multiple of 8?
False
Let c(a) = a**3 + 6*a**2 - 3*a + 10. Is c(-6) a multiple of 14?
True
Let j = -8 - 53. Let x = j - 7. Does 6 divide x/(-6) + 2/3?
True
Suppose 0 = 5*r - 3*w - 44, 0 = -r + 5*r - 3*w - 37. Does 7 divide r?
True
Let k = -2 - -12. Suppose 0 = -4*b + 2 + k. Suppose 3*j - 30 = b. Is j a multiple of 5?
False
Let s = -48 + 96. Suppose w - s = 5*y, 0 = 2*w - 0*y + 3*y - 31. Is 11 a factor of w?
False
Let p(q) = -40*q - 2. Let f be p(-2). Suppose -5*v - 2*o + f = 0, 2*o - 3*o - 17 = -v. Is v a multiple of 6?
False
Let u(p) = 8*p + 1. Let z = 6 + -8. Let a be u(z). Is (66/a)/(1/(-5)) a multiple of 11?
True
Let g = -3 - -11. Is 25 a factor of g/28 - 696/(-14)?
True
Suppose -6*d - 144 = -3*d. Let x be (-155)/5 + -2 + 3. Is 13 a factor of (d/x)/(2/35)?
False
Suppose -5*c = c - 48. Is c a multiple of 4?
True
Let u(j) = -j**3 - 6*j**2 + 11*j + 8. Is u(-8) a multiple of 11?
False
Is (-3 - -6)/((-12)/(-56)) a multiple of 3?
False
Suppose 26 - 71 = 5*h. Let s = h - -14. Suppose -4*j + 27 = -0*i - 3*i, 4*j + 13 = -s*i. Is j a multiple of 2?
False
Suppose -3*q + 5 = -4*n - 5, 5*n = 4*q - 13. Does 2 divide q?
True
Let k be 0 - 0/(2 + 0). Suppose k = b + 4*b - 260. Does 15 divide b?
False
Suppose -3*y + l + 167 = 5*l, 4*y - 232 = -3*l. Is 16 a factor of y?
False
Let j(r) = -20*r**3 + 5*r**2 + 5*r - 2. Does 42 divide j(-2)?
True
Suppose 0 = -n - b + 15, 4*n = b + 3*b + 68. Does 16 divide n?
True
Suppose -3*s - 33 = -3. Let z = 36 + s. Does 26 divide z?
True
Suppose -6 = 3*g, 2*g + 2*g = -4*f + 100. Is 9 a factor of f?
True
Is 38*(0 + 2 - 6/(-12)) a multiple of 43?
False
Is 4 a factor of ((-12)/3)/(-12)*6 - -50?
True
Suppose -u - w - w + 8 = 0, -5*u - 3*w = -19. Let m = 2 - u. Suppose 4*v - v - 6 = m. Is v a multiple of 2?
True
Let a(b) = -b**3 - 12*b**2 - 13*b + 9. Let m be a(-11). Suppose y - 4 = m. Is y a multiple of 13?
False
Suppose -2 = b - 43. Suppose -4*o - a = -b, -3*o - 5*a = -o - 25. Does 5 divide o?
True
Let c be ((-105)/12)/(4/(-16)). Suppose -o - 3*i + c = 0, 0 = -5*o + 2*i + i + 265. Is o a multiple of 10?
True
Suppose 0 = -5*y - 4*a + 109, 2*y - 4*a = -2*y + 80. Is y a multiple of 7?
True
Let t = -4 - -6. Suppose 0 = -3*b + t*a + 5, 5*b + a = -a + 19. Is b a multiple of 3?
True
Suppose 0 = -3*c + 2*c - 2, -3*o + 2*c + 49 = 0. Suppose -61 + 165 = -4*f. Let x = o - f. Is 13 a factor of x?
False
Let v be (-5)/((-20)/236) - 0. Let s = -39 + v. Is 16 a factor of s?
False
Let n be -3 - (-3)/(3 + 0). Let u = n - -2. Suppose u = 4*z - 8, 0 = -5*t - 0*t - 2*z + 34. Is 3 a factor of t?
True
Let z(p) = -10*p**3 - 2*p**2 + p + 2. Let d be 6/3 - (-1 - -4). Does 9 divide z(d)?
True
Let h(s) = s**3 + 18*s**2 - 3*s - 33. Is h(-18) a multiple of 21?
True
Suppose 5*o = -5*t + 7 + 13, -5*o = -t - 26. Suppose 0 = o*c - 16 - 64. Is 8 a factor of c?
True
Is 428/6 + ((-2)/(-3))/1 a multiple of 24?
True
Let m be 8 - 1/(4/12). Let b(u) = -u**3 + 6*u**2 - 13*u + 2. Let s(v) = -v**3 + 6*v**2 - 12*v + 2. Let j(w) = 5*b(w) - 6*s(w). Is j(m) a multiple of 4?
True
Suppose -t + 2*k + 6 = 4*k, t - 1 = 3*k. Suppose 0 = 3*a - v - 27, 0 = 4*a - t*v - 24 - 4. Is 5 a factor of a?
True
Let a(j) = j - 9*j - 1 + 3. Is a(-6) a multiple of 25?
True
Let q = 51 - -2. Suppose m + q = 2*j, -3*j = 2*m - 0*m - 76. Is 13 a factor of j?
True
Suppose -3*r + 3*q = -327, -4*q + 5 = -9*q. Suppose 0 = -3*z - z + r. Is z a multiple of 7?
False
Let g = -69 + 101. Is g a multiple of 16?
True
Suppose -91 = -4*g - 7. Does 12 divide g?
False
Let b be (14 + 1)*(-16)/(-6). Let j(k) = -k**2 - 16*k + 4. Let p be j(-11). Let f = p - b. Does 14 divide f?
False
Let p be ((-24)/(-32))/(2/8). Let q = 39 - p. Is 27 a factor of q?
False
Suppose 0 = -3*r - r + 100. Is 25 a factor of r?
True
Let p(y) = -13*y + 62. Is 9 a factor of p(-16)?
True
Let m = 92 - 80. Is m a multiple of 2?
True
Let o = 4 - -42. Does 23 divide o?
True
Let w = 42 + -163. Let i be 1*((-3 - 0) + -178). Let f = w - i. Does 27 divide f?
False
Suppose 3*u = -31 + 64. Is u a multiple of 2?
False
Suppose 0*d + 48 = 3*d. Does 8 divide d?
True
Let v(w) = 2*w**2 + 9*w - 2. Let b(t) = 2*t. Let d be b(-3). Is 16 a factor of v(d)?
True
Let p(q) = q**3 + 6*q**2 - 17. Is p(-4) a multiple of 3?
True
Let l be (-2 - (3 - 8)) + 10. Suppose 7 = 5*i - l. Is 2 a factor of i?
True
Suppose -4*k = 2*x - 396, -2*x = 2*k - 357 - 47. Suppose -2*l - 4*c = -x, l + 0*l + 3*c - 107 = 0. Is 24 a factor of l?
False
Let l = 64 + -7. Is 14 a factor of l?
False
Suppose 3*k + 4*j = 130 + 58, -5*k = -4*j - 260. Suppose 0*i - k = -4*i. Let z = 32 - i. Does 5 divide z?
False
Let v be -1 + 3 - 1/1. Let p be (2/(6/9))/v. Does 9 divide (-65)/(-3) + (-2)/p?
False
Let f(k) = -k. Let h be f(5). Is h/(5/(-2)) + 36 a multiple of 10?
False
Is (2/30)/(6/30)*21 a multiple of 7?
True
Suppose 5*h = d - 6, 10 + 14 = 4*d - 5*h. Suppose -l - 5*k = -d*l + 135, -k - 3 = 0. Does 7 divide l?
False
Let s = 39 - 18. Is s a multiple of 5?
False
Let f(m) = -m**3 - m**2 + 1. Let s be f(0). Let o(d) = 4*d**3 - 1. Let g be o(s). Suppose -g*p - 2*p + 10 = 5*r, -3*r + 46 = -5*p. Is 3 a factor of r?
False
Let c = 2 - -1. Suppose -c = -r + 3. Does 6 divide r?
True
Suppose 2*h - 3*g - 20 = -0*h, 0 = -h + 4*g. Is 4 a factor of h?
True
Suppose -2*h = -0*h, 3*m - 54 = h. Let o = -10 + m. Is 4 a factor of o?
True
Let o(q) = -q**2 - 171. Let c be o(0). Let p be (2/(-3))/(3/c). Does 14 divide 5/10*p/1?
False
Is 8 a factor of (-40)/(4/(-5 - -1))?
True
Suppose h + h - 2 = 0. Suppose -n + 2 = 4*p + n, h = -3*p - 2*n. Suppose -p*u = u - 220. Is u a multiple of 19?
False
Suppose 9 = 5*c + 29, 6 = -3*p - 3*c. Suppose p*v + 43 = 3*q, 141 = -4*v - 2*q - 3*q. Let o = v - -69. Does 20 divide o?
True
Let j = 11 - 8. Suppose j*c = -c + 32. Does 5 divide c?
False
Let x = -253 + 157. Is 7 a factor of 4/14 + x/(-7)?
True
Suppose -2*d + 2*a = -d, -5*d - 2*a = -24. Suppose d - 2 = z. Does 9 divide 29/3 + z/(-3)?
True
Suppose 4*l - 10 - 198 = 0. Suppose -r - l = -5*r. Is 9 a factor of r?
False
Let h = 8 - 5. Suppose -2*v - h*v =