vide u(-1)?
False
Let b = 255 + -38. Is b a multiple of 4?
False
Let l(z) = 18*z**2 - 10*z - 7. Is l(-6) a multiple of 40?
False
Let q be ((-7)/1)/(1 + -2). Let v = -11 + q. Is (26/v)/((-1)/4) a multiple of 5?
False
Let b = -167 + 100. Let m = b - -77. Is 6 a factor of m?
False
Let d = -77 - -118. Let s = d + 9. Is 25 a factor of s?
True
Let b(v) = -2*v**3 - 3*v**2 - v - 2. Let n be b(-2). Let t be 5 + (n + -2 - 5). Suppose -2*i - a = -13, -4*a = -t - 2. Is 4 a factor of i?
False
Let g(m) = -m**3 - 4*m**2 + 2*m - 4. Suppose 3*o + 4*u - 67 = 69, -216 = -5*o + 4*u. Let h be o/(-10) + 6/(-10). Is 5 a factor of g(h)?
False
Let c = 16 + 5. Suppose -1 = v - 2*l, 5*l = -3*v - 2 + c. Suppose -2*n + v*n = 79. Is 25 a factor of n?
False
Let w = -24 - -22. Is w - ((-6)/(-14) - (-944)/(-14)) a multiple of 17?
False
Suppose -4*s + 2*b + 344 = 0, -2*s - 4*b = -2*b - 184. Suppose -2*k = 5*j - s, -5*k - j = 4*j - 220. Is k a multiple of 27?
False
Let b be 2/(2 - 8/5). Suppose -b*m = 5*w - 505, -4*w + 2*w + 187 = -m. Is 6 a factor of w?
True
Let i be ((-66)/55)/(4/(-50)). Let x be 3/i*-12*10. Is (-16)/(-3)*x/(-16) a multiple of 4?
True
Let p(j) = j + 5. Let a be p(-5). Let l(k) be the first derivative of k**3/3 + k**2 + 105*k + 38. Does 35 divide l(a)?
True
Suppose -25 = -2*y + 125. Suppose 5*o = -20, -b + o + y = -9. Is 4 a factor of (-10)/3*(-96)/b?
True
Let b be 2/(880/3636 + (-4)/18). Let z = -48 + b. Does 12 divide z?
False
Let h = 6388 + -3926. Does 24 divide h?
False
Suppose -38*w + 39432 = 10514. Is w a multiple of 14?
False
Let h(q) = q**3 - 4*q**2 - 6*q + 5. Let i be h(5). Let a(m) be the second derivative of m**3/2 + 16*m**2 + 5*m + 26. Is 13 a factor of a(i)?
False
Let x = -25 + 55. Let r be 86/30 + 4/x. Suppose 0 = r*y - 0*y - 201. Does 12 divide y?
False
Let d = -21 - -10. Let k(u) = 2*u**2 - 3*u**2 + 6*u + 2*u**2 + 2. Does 18 divide k(d)?
False
Is ((-78)/(-104))/(6/136) a multiple of 17?
True
Suppose -5555 = -31*h + 20330. Is 33 a factor of h?
False
Let a(x) = -x**3 - x**2 - 1. Let s(n) = 12*n**3 + 3*n**2 - 2*n + 6. Let l(v) = 3*a(v) + s(v). Does 12 divide l(2)?
False
Let k = 6 + -5. Does 24 divide 441/18 - k/2?
True
Suppose 12*b - 7*b = -10. Let v be -1 - (1 + 4/b). Suppose 2*p - 12 - 12 = v. Is p a multiple of 12?
True
Suppose t = -t + 22. Suppose -t*y = -6*y - 425. Does 11 divide y?
False
Let v be (98/(-21))/((-6)/9). Suppose 252 = -0*b + v*b. Does 21 divide b?
False
Let x be 1194/12 - (-3)/(-6). Let n = -57 + x. Does 15 divide n?
False
Suppose 0*c - 3*c - 3*w + 39 = 0, -33 = -c - 5*w. Suppose -5*q - 20 = 0, 0*g - 3*g - 2*q = c. Is 3 a factor of 3 + (3 - (-2 - g))?
False
Suppose -5*l - 28 = -83. Suppose -l = 6*j - 707. Does 51 divide j?
False
Let v(i) = 3*i**3 + i**2 + 9*i + 1. Is v(5) a multiple of 47?
False
Let p(w) = 16*w - 14. Let s be (-2 + 0/(-2))*6/(-4). Is 3 a factor of p(s)?
False
Suppose -3*u - v = -403, -5*v + 684 - 165 = 4*u. Is u a multiple of 15?
False
Is 226 - ((-2)/(-3) - 14/(-42)) a multiple of 25?
True
Let s(u) = 133*u**2 + 27*u + 28. Is s(-1) a multiple of 6?
False
Let m(p) = -5*p + 35. Let n be m(6). Suppose -3*a - i + 102 = 3*i, a + n*i = 34. Is 9 a factor of a?
False
Let n(x) = -31*x**3 + 30*x**3 + 8 + 4*x**2 + x**2 + 5*x. Let g be n(6). Suppose g*l + 2*l = 36. Does 3 divide l?
True
Let d(h) = -2*h - 14. Let a be d(-9). Suppose -22 = -2*q + 4*m + 4, a*m = q - 5. Suppose i - q = 1. Is i a multiple of 8?
False
Let n(l) = 7*l - 7. Let q = 0 + 8. Let f be n(q). Does 3 divide 308/f + (-2)/7?
True
Let b(v) = -v + 12. Let s(n) = n + 1. Let o(y) = b(y) - s(y). Let f be o(-6). Suppose -z = -f + 6. Is z a multiple of 8?
False
Let h(v) = v**2 - v. Let g be h(0). Let m(d) = d + 33 + 47*d**2 - 24*d**2 - 24*d**2. Does 11 divide m(g)?
True
Let b = 18 - 12. Let w = b + -4. Suppose 0 = w*u - 84 + 6. Is 13 a factor of u?
True
Suppose 32 = 3*t - 4*w + 9, t = -5*w + 33. Suppose -8*j + t*j = 120. Does 12 divide j?
True
Suppose -30*u + 35*u = 55. Suppose -3*k + 4 = -y, y + 0*k + 2 = k. Let w = u - y. Is 12 a factor of w?
True
Suppose 12*x - 83 = 11*x. Let o = 236 - x. Does 17 divide o?
True
Let p(h) = 3*h + 15. Let t be p(-10). Let r be 36/t + 15/(-25). Let o(d) = -d**3 + 5*d**2 + 2*d - 2. Is 16 a factor of o(r)?
True
Let n = 63 - 18. Is 5 a factor of n?
True
Let m be 0/(-4) + 4 + -4. Suppose m = -6*a - 191 + 41. Let n = 29 - a. Does 18 divide n?
True
Let b(u) = 2*u**2. Suppose 2*q = 5*i + 6, -q + 2*q - 6 = 4*i. Does 8 divide b(q)?
True
Let d = 16 - 14. Suppose 1 + d = w. Suppose -w*g + 22 = 1. Is 3 a factor of g?
False
Let j = -398 + 263. Let a = -103 - j. Does 29 divide a?
False
Let m(u) = 5*u**2 - u + 1. Let o be m(1). Let w be 8/o - 4/(-10). Is -4*(-8 + 3) - w a multiple of 7?
False
Suppose 0 = 2*j + o + 10, j + 4*o - 8 - 1 = 0. Let v = -7 - j. Suppose v*f = -4*f - 3*p + 5, 0 = -3*f - 4*p - 5. Is f a multiple of 2?
False
Suppose 0 = 3*v - 3*o - 516, -4*v + 10*o + 684 = 5*o. Does 40 divide v?
False
Suppose -82 = -3*u + 17. Let m = 93 - 107. Let v = u + m. Is 6 a factor of v?
False
Let i(b) = -b**3 - 10*b**2 + 11*b + 4. Suppose -5*n = -4*f - 0*n - 24, -4*f - n - 48 = 0. Let j be i(f). Suppose -j*r = -r - 72. Does 11 divide r?
False
Let a = -988 + 1260. Does 2 divide a?
True
Suppose 114 = -n + 134. Is (9/(-6) + -2)/((-2)/n) a multiple of 35?
True
Let w = -3 + 23. Does 8 divide w + (-6 - (1 + -3))?
True
Let f = -55 + -19. Let y = -64 - f. Does 3 divide y?
False
Let l(u) be the first derivative of 3*u**2/2 - 3*u + 5. Is l(6) even?
False
Suppose 0*z = -3*z + 816. Suppose -2*c + 645 = 3*c - 3*n, -4*n - z = -2*c. Does 21 divide c?
True
Suppose -l = -3*o + 2*l - 9, -o = -4*l + 18. Suppose -y + 1 = 4*n, -o*y + 2 = -n - 4*n. Suppose 0 = -n*r - 3*r + 117. Does 17 divide r?
False
Let w be (-18)/42 - 2964/(-7). Is w/6 + (-2)/4 a multiple of 21?
False
Let p(x) = 6*x + 2. Let n be p(3). Suppose -5*f - 2*w = -4*w - 5, 0 = 3*f + w - 14. Suppose t = f*t - n. Does 10 divide t?
True
Suppose m = 4*k + 975, -37*m - 2*k = -32*m - 4875. Does 75 divide m?
True
Let x(f) = 49*f + 124. Does 15 divide x(-1)?
True
Let m = 250 + -352. Let c = m - -192. Is 18 a factor of c?
True
Let p(a) = -2*a**2 + 115*a - 130. Is 29 a factor of p(46)?
True
Let w = -45 + 67. Suppose -4*r + 118 = w. Does 3 divide r?
True
Suppose -3*r - 4*v = 2 + 3, -4*v - 11 = -3*r. Let q be r + 3 + 1 + 6. Let f(a) = a**3 - 12*a**2 + 13*a - 14. Does 4 divide f(q)?
True
Suppose f = 5*f. Suppose 0 = -4*v + 2*g - 26, f*g = 4*v - g + 21. Does 14 divide (-2 + v)/(6/(-28))?
True
Suppose -5*j + 411 = -249. Suppose -23*k - 267 = -20*k - 3*r, -5*k - 4*r = 427. Let d = j + k. Is d a multiple of 16?
False
Let x(n) = 27*n - 15. Does 35 divide x(11)?
False
Let o(h) be the second derivative of 11/12*h**4 + 1/20*h**5 + 3*h**2 + 0 - 1/2*h**3 + 8*h. Is 10 a factor of o(-11)?
False
Suppose 4608 = 4*g + 4*m, 3*g + 3*m - 6*m - 3432 = 0. Suppose -43 = 5*r - g. Does 17 divide r?
True
Is (1 - 505/(-25))/(5/50) a multiple of 28?
False
Let v be 35/15 + 3 - (-1)/(-3). Suppose 19*n - 420 = v*n. Is 11 a factor of n?
False
Suppose 0*v + 4*v - 12 = 0. Suppose v*f - 22 = 5*d, 4*f - 5*f + d = -4. Is ((f - -2) + -2)*-28 a multiple of 14?
True
Let p(m) = 3*m**2 + 2*m - 2. Let r be p(2). Suppose -v + 4*v = 75. Suppose 3*d - v - r = 0. Is d a multiple of 13?
True
Let h(i) = i**3 + i**2 - 5*i + 3. Let m be (-714)/(-91) - (-6)/39. Let p(x) = x**2 - 9*x + 11. Let a be p(m). Is 6 a factor of h(a)?
True
Is 5 a factor of 6541/62 + 2/(-4)?
True
Let j be 60/(-1)*135/(-20). Suppose 87 + j = 4*o. Let i = 208 - o. Does 20 divide i?
False
Let s(m) = -7*m + 4. Let v(j) = j**3 - 3*j**2 - 5*j + 10. Let y be v(4). Suppose -2*a = -n - 0*n + 3, -2*n = y. Does 13 divide s(a)?
False
Let b(s) = s**3 - 5*s**2 + 6. Let m be b(5). Let a = 50 - m. Does 11 divide a?
True
Let k(x) be the first derivative of -1/3*x**3 + 4*x**2 - 8*x + 1. Is k(6) a multiple of 3?
False
Suppose 0 = -y - y - 660. Let b be (-2)/(-7) - y/21. Suppose -b - 12 = -4*x. Is 3 a factor of x?
False
Let i(c) = 4*c**2 - 26*c + 53. Let r(u) = u**2 - 6*u + 13. Let d(p) = -2*i(p) + 9*r(p). Is 7 a factor of d(6)?
True
Let h(v) = 13*v**2 + 7*v - 13. Is h(5) a multiple of 4?
False
Suppose 5*i + 2199 = m, 2*m - 4*i = -2069 + 6491. Does 8 divide m?
False
Is ((-116)/(-20) - 1)/((-8)/(-200)) a multiple 