vide r?
True
Let t(a) = 5*a - 44. Let f be t(10). Is -4 + (-44)/(-12) - (-386)/f a multiple of 8?
True
Let v = -318 - -544. Does 78 divide v?
False
Let b(q) = q**2 - 7*q + 7. Let t be b(7). Let c(g) = g**3 + 2*g + 4. Let v be c(4). Suppose -3*p = -t*p + v. Is 6 a factor of p?
False
Let p = 0 - 0. Suppose f - 2 = 0, 0 = -p*x + 5*x - 5*f - 40. Let l = 2 + x. Does 4 divide l?
True
Let m = -250 - -418. Is 21 a factor of m?
True
Let j(v) = -2*v**2 - 8*v - 6. Let d(t) = -3*t**2 - 7*t - 5. Let k(o) = -3*d(o) + 4*j(o). Let i be k(12). Suppose i*u + 130 = 8*u. Does 17 divide u?
False
Suppose 167 = -18*a + 1823. Is a a multiple of 23?
True
Suppose -2*h - 42 + 14 = -5*m, -3*h = -4*m + 28. Let u be (0 + 26/m)*-2. Is (u/4)/((-8)/32) a multiple of 13?
True
Let w = -11 + 21. Suppose v - w = 4*z - 8*z, 2*z - 2 = -v. Is 8 a factor of 1/(-3)*(v - 18)?
True
Let a be 6 + -10 - 2*-2. Suppose -2*u - 2 + 28 = a. Is u a multiple of 2?
False
Let p be -5*(3 + 0) - 0. Let l = 15 + p. Suppose l*k = k - 20. Is k a multiple of 10?
True
Is 8/28 + 13/((-182)/(-1116)) a multiple of 22?
False
Let u = -272 - -1256. Is u a multiple of 41?
True
Let u(x) = 225*x + 240. Is 15 a factor of u(7)?
True
Suppose 8*j - 4 = 6*j. Suppose q = -r + 2, 4*q + 2 + 2 = j*r. Suppose 0 = -3*o + r*t + 95, -29 = -o + 2*t - 0*t. Does 9 divide o?
False
Suppose -4*j - 4*x = -180, -3*j + 3*x + 123 = -30. Does 3 divide j?
True
Let f(s) = -3*s + 7. Let o(p) = -6*p + 15. Let b(y) = 5*f(y) - 3*o(y). Let j be b(-10). Is 11 a factor of (j + 6/(-2))*-1?
False
Let z(k) be the second derivative of 3*k**4/4 - k**3/2 - 3*k**2 - 6*k. Is 30 a factor of z(-4)?
True
Let c(d) = d**3 + 5*d**2 - 2*d - 8. Let u be c(-5). Let y(w) = w + 6. Let z be y(-3). Suppose z*j - 13 = u. Is 2 a factor of j?
False
Let p be 309/(-6) + 2/(-4). Let v = 112 + p. Is 12 a factor of v?
True
Suppose 16*h - 14*h = -5*i + 2864, 0 = i + 3*h - 565. Does 14 divide i?
True
Is 16 a factor of 3*3/27 + 861/9?
True
Let y = -26 - -31. Suppose -5*r + 495 = -5*w, -y*r - w + 0*w = -513. Is r a multiple of 26?
False
Suppose 0 = 6*l - 55 + 73. Let a = 16 - l. Is 3 a factor of a?
False
Is 32 a factor of (631/2 - -5) + 1/(-2)?
True
Let c = 182 + 125. Is c a multiple of 12?
False
Let b = 639 + -378. Let r = 951 - b. Is r/9 + 9/27 a multiple of 10?
False
Let n = -77 + 84. Let u(o) = o**3 - o**2 - 21*o + 5. Is u(n) a multiple of 19?
True
Let f(l) = 4*l**3 + 2*l**2 - 1. Let r be f(1). Let h(t) = -3 + 3 + 3 - r*t - 4*t**2 + t**3 + 0. Is h(6) a multiple of 25?
False
Let c(j) = j + j**2 + 2*j**2 + 3*j + 0 + j**3 + 2. Let o be c(-2). Is (o - -1)/(2/(-104)) a multiple of 13?
True
Let b(g) be the third derivative of g**7/2520 - g**6/360 + g**5/15 + g**4/8 - g**2. Let y(a) be the second derivative of b(a). Is 14 a factor of y(6)?
False
Let p be 0*(1 - -1)/2. Let x be p/1*8/(-8). Suppose x = 3*d - 169 + 13. Is 26 a factor of d?
True
Let j be ((-4)/5)/((-1)/5). Suppose 0 = -j*t + 187 + 37. Suppose -2*a = -3*a + t. Is a a multiple of 17?
False
Let q be (-8)/(1 + 3) - -4. Suppose -2*o = -w - 159, -o + w = -q*o + 81. Does 16 divide o?
True
Let g = -12 + 15. Suppose g*o - 5 = -2*p, 2*o + 13 = 4*p + 7*o. Suppose 10*b - 33 = p*b. Is 2 a factor of b?
False
Let b = 886 - 619. Is b a multiple of 15?
False
Is (1086 - -6) + 0/8 a multiple of 91?
True
Let y(f) be the second derivative of -f**5/20 + f**4/12 + f**3 - 8*f. Let t be y(3). Suppose -2*p + 16 + 46 = t. Is p a multiple of 24?
False
Let w = 114 + 341. Is w a multiple of 82?
False
Suppose -18*u = -15*u + 540. Does 20 divide ((-20)/6)/(5/u)?
True
Suppose 31*o - 470 = 21*o. Does 7 divide o?
False
Suppose 4*o + 30 = 3*i, -5*o = -0*i + i + 28. Is 5 a factor of ((-1)/o*-4)/((-3)/153)?
False
Suppose -12 = -17*x + 396. Does 4 divide x?
True
Suppose -3*v = -5*i - 15, -3*i + 10 + 19 = 2*v. Suppose 0*c + 24 = 3*a + 3*c, a + 2*c - v = 0. Suppose a - 31 = -j. Is 25 a factor of j?
True
Suppose 5*f + 6 = 4*q - 14, -f + 25 = 5*q. Let a(i) = -i**2 - 2*i + 41. Does 15 divide a(f)?
False
Let w(l) = -9*l - 9. Let f(z) = -z - 1. Let d(s) = -21*f(s) + 2*w(s). Let t be d(4). Suppose -2*r + t = 1. Is r a multiple of 2?
False
Suppose 5*i = 8*i - 3420. Let m be i/24*(-16)/10. Let u = 132 + m. Does 14 divide u?
True
Suppose 0 = 4*x + 2*i - 14, x - i - 10 = -2. Suppose x*l - 148 = 7. Is -1 + 4 + -2 + l a multiple of 16?
True
Suppose 60 = 6*m - 24. Is m a multiple of 14?
True
Let c be (-4482)/(-4) - (7 - (-91)/(-14)). Suppose 0 = 4*p + x - 2*x - c, 1400 = 5*p + 2*x. Is 40 a factor of p?
True
Suppose -4*v + 29 = 5. Is 9 a factor of (v/(-4))/((-15)/450)?
True
Let m = -9 + 13. Is ((-32)/(-10) - 0)/(m/30) a multiple of 3?
True
Suppose -5*d - 3*v = -v - 3124, -4*d = 2*v - 2500. Is d a multiple of 13?
True
Suppose -3*c + 2*p + 355 = -737, -5*c = 2*p - 1820. Does 7 divide c?
True
Suppose 0 = 7*f - 3*f - 2*l - 12, 0 = -4*f - 2*l - 4. Suppose y = f + 35. Let k = 1 + y. Is 20 a factor of k?
False
Let o(y) = 3*y**2 + 19*y - 9. Let k(a) = -a**2 - 6*a + 3. Let x(v) = -7*k(v) - 2*o(v). Let q be 340/(-55) + 6/33. Is x(q) a multiple of 9?
True
Does 19 divide -3 - ((-614)/(-8))/((-36)/144)?
True
Suppose 0 = -3*h + 5*v - 10, -3*h - 2*v = -v + 16. Let b be (0 + (h - -4))*-5. Let w(n) = n**3 - 3*n**2 + 2*n - 3. Is 19 a factor of w(b)?
True
Suppose 0 = 2*m - 5*m + 18. Suppose -2*s = 6, 3*s = 2*z - z - 10. Is (m/(-4))/(z/(-16)) a multiple of 10?
False
Suppose 4*n = 267 + 161. Suppose 6*j + n = 515. Is j a multiple of 16?
False
Suppose -2*z = -2*x + 26, -2*x + 45 = 3*x - z. Let k(t) = 3*t**2 + x + 4*t**2 - 18 + 7 + t**3 + 5*t. Does 2 divide k(-6)?
False
Let g(c) = -c**2 - c + 4. Let o be g(-3). Is 204/3 + -5 + (o - -4) a multiple of 9?
False
Let f(d) = d**2 - 10*d + 33. Let l be f(6). Is (-130)/(-2) + -11 + l a multiple of 21?
True
Suppose 0 = -q + 4 - 1. Suppose 0 = q*z + 3*p - 27, -2*z - 23 + 53 = -4*p. Does 11 divide z?
True
Let j(o) = 10*o**2 - o - 1. Let v be j(2). Suppose -k - 2*l = 8, -2*k - l + 9 = v. Let f = -10 - k. Is 4 a factor of f?
False
Let b be 1/(-6)*-3*40. Suppose -2*k + 7*k = b. Suppose -2*d - k = -36. Is d a multiple of 16?
True
Suppose -8*q - 39*q = -2115. Does 3 divide q?
True
Let o(s) = s**3 + s**2 - s. Let u be o(0). Suppose 3074 + 921 = -5*d - 5*w, u = 5*d + 3*w + 3987. Is (4/(-6))/(10/d) a multiple of 20?
False
Suppose 52 = 4*t - 4*m, -79 = -4*t - 4*m - m. Is 2 a factor of t?
True
Let q(h) = h - 1. Let l(p) be the second derivative of -19*p**3/3 - 4*p**2 - 7*p. Let s(t) = l(t) - 6*q(t). Is 13 a factor of s(-1)?
False
Let p(r) = -23*r + 19. Let c(v) = 34*v - 29. Let g(n) = 5*c(n) + 7*p(n). Is g(8) a multiple of 20?
True
Suppose b - 275 = -5*m, 3*m - 3*b = 2*m + 71. Suppose 3*u - m = 154. Suppose -o + 6*o = u. Does 14 divide o?
True
Does 109 divide (-89)/(-89) - (-862 + 0)?
False
Let n(a) = -a - 7. Let j be n(-15). Let h = 14 - j. Let g(o) = 20*o - 10. Is 29 a factor of g(h)?
False
Let r(y) = 2*y**2 + 2*y + 11. Is 13 a factor of r(-7)?
False
Suppose 0 = 10*f - 503 - 307. Let h = 148 - f. Does 12 divide h?
False
Suppose 2*r + 460 = 2*i - 1194, 0 = i + r - 831. Is i a multiple of 18?
False
Let j = 0 - 0. Suppose -7 = 5*h - 17. Suppose 0 = -h*q + 4*g + 42, j = q + 4*g - 7 - 2. Is q a multiple of 4?
False
Let s(c) = 3*c**2 - 7*c - 25. Does 7 divide s(-11)?
False
Let w(d) = d - 5. Let p be w(5). Let o = 13 + p. Is o a multiple of 3?
False
Let u(q) = -q**3 - 6*q**2 + 5. Let w be u(-6). Suppose 0*p = -w*p. Suppose o = -p*o + 12. Is o a multiple of 4?
True
Let p(v) = v**2 + 3*v - 1. Let y be p(-4). Let o(l) be the third derivative of 7*l**4/4 - 3*l**3/2 - 54*l**2. Is 37 a factor of o(y)?
False
Let h = 31 - 6. Let g = 74 - h. Is g a multiple of 13?
False
Let p be (-1)/((-2)/(-88))*-1. Suppose -3*b - p + 299 = 0. Let d = b - 59. Does 10 divide d?
False
Let t be (644 - 4 - -1) + 1. Is t/3*(-2)/(-4) a multiple of 11?
False
Suppose 5*j = 5*s + 1610, 3*j - 4*s = 812 + 158. Is 4 a factor of j/14 - (-4)/14?
False
Let k(p) be the second derivative of 41*p**3/6 - 15*p**2 - 2*p + 3. Does 28 divide k(3)?
False
Let q be (-15)/(-10)*4/6. Let g(p) = 58*p**2 + 2*p - 1. Let l be g(q). Let o = l + -34. Does 25 divide o?
True
Let k be ((-8)/20)/((-1)/25). Suppose k*l = 4*l + 66. Is 10 a factor of -8 + l - -1*17?
True
Let d = -75 + -83. Suppose -4*n - 539 = 465. Let o = d - n. 