) a multiple of 27?
False
Let b(x) = -x**3 - 9*x**2 + 3*x + 13. Let f(w) = -w - 33. Let a be f(-24). Let m be b(a). Let p(r) = 2*r**2 + 17*r + 44. Is p(m) a multiple of 46?
False
Let a(f) = 4*f**2 + 39*f - 267. Is a(19) a multiple of 103?
False
Let s(d) = d**2 - d - 14. Suppose l = -4*l + 20. Let u be s(l). Is (5 + -2)/(u/(-26)) a multiple of 11?
False
Suppose -5*x + 0*f + 180 = -5*f, -2*x - 5*f + 37 = 0. Suppose -6*i = -7*i + x. Suppose 4*w - i = 25. Is 6 a factor of w?
False
Is 3 a factor of (0 - (-82475)/15)/(15/18)?
False
Suppose -13*i = -76*i + 852831. Is i a multiple of 58?
False
Suppose 0 = -4*p + 576 + 3928. Suppose -1120*d = -p*d + 930. Does 7 divide d?
False
Suppose 3*x - 7*x = 2*b - 48210, 5*b - 60255 = -5*x. Is 7 a factor of x?
True
Let s = -10 + 39. Let l(j) = -3*j + 29. Let v be l(7). Let i = s - v. Does 7 divide i?
True
Does 5 divide 4271 - ((-1674)/12)/31*(-4)/(-6)?
False
Let y(x) = -9 + 0 - 5 + 4*x - 6. Let k be y(6). Suppose k*w - 203 = -5*m, 3*w + 2*w + m = 238. Does 9 divide w?
False
Let q(z) be the third derivative of -z**6/144 - 67*z**5/120 - 2*z**4/3 + 14*z**2. Let k(v) be the second derivative of q(v). Is k(-21) a multiple of 22?
False
Does 20 divide (-10)/(-24)*4*1500/5?
True
Does 46 divide -7*((-10999)/(-7))/(-17)?
False
Is (-7)/(-1) + (10 - -11 - -1676) a multiple of 24?
True
Let i(y) = -2*y**2 + 4*y + 14. Let z be i(-5). Let u(f) = -26*f - 354. Does 15 divide u(z)?
False
Let t(w) = -121*w + 901. Is 37 a factor of t(-32)?
True
Let o(t) = 4*t**3 - t**2 - t + 1. Let y be o(1). Suppose 3*a - 19*q = -14*q + 36, -2*a = -2*q - 20. Suppose 4*l = -4*h + 20, 4*h = a*h - y. Is 4 a factor of l?
True
Let l = -51 - -55. Let y be (l/(-12))/((-2)/60). Does 9 divide (-2)/5 + 634/y?
True
Let u be (-4)/(0 + 16) + (-860)/16. Let d = -42 - u. Is (5 - 100/d)/((-1)/24) a multiple of 7?
False
Let k = 303 + -298. Suppose -3*w = -4*s - 23 + 2462, -k*s = 3*w - 3015. Is 48 a factor of s?
False
Let s = 4361 + -3996. Is s a multiple of 2?
False
Let b be 12/8*8/3. Suppose 5*k = -q + 372 + 583, -b*k + 773 = -q. Is 15 a factor of (k/(-40))/(3/(-75))?
True
Let k(a) be the first derivative of -a**4/4 - 8*a**3/3 - 23*a**2/2 - 6*a - 52. Is k(-7) a multiple of 22?
False
Suppose -5*h + d + 120 = 0, 3*d = 3*h + 6*d - 90. Suppose 0*u - 15 = 3*u, 0 = -2*i - 5*u + 41. Let c = h + i. Does 30 divide c?
False
Let u = 9566 - 4959. Is u a multiple of 114?
False
Suppose -176*o = -180*o + 20. Suppose 4*b - 4*g = 1960, 0*b = 4*b - o*g - 1955. Is 55 a factor of b?
True
Let o = 23037 + -7904. Does 37 divide o?
True
Let p = 9818 - 969. Is p a multiple of 22?
False
Suppose 87*b - 21798 = -39*b. Is 173 a factor of b?
True
Let a(c) = -c**3 - 6*c**2 - 3*c - 17. Let g be (10 + -1)*(22 + -23). Does 23 divide a(g)?
True
Suppose 56*b = 2*k + 51*b - 90, -2*k + 74 = -b. Is ((-2)/1)/(k/(-3885)) a multiple of 3?
True
Let l(p) = 2*p + 40. Let a be l(-23). Is 48 a factor of 621/1 - ((-54)/(-3))/a?
True
Suppose 1525*f - 1513*f = 29040. Does 20 divide f?
True
Let o(b) = b**3 - 2*b**2 - 2*b - 1. Let d be o(-1). Let j be (d - 0)/(5/(-12 - 3)). Suppose -2*r = -4*z - 22, -j*r + 5*z = -3*r - 36. Is r a multiple of 7?
False
Let f be (0/(-14))/(2 + -5). Let g(o) = -o**3 + 2*o + 29. Let i be g(f). Suppose -3*w + 24 = 3*d, -4*w + i = 2*d + 3*d. Is w a multiple of 3?
False
Let x(r) = 2*r**2 + 7*r - 20. Let s be x(2). Is ((-168)/s)/(-4)*1 even?
False
Let s = 23130 + -22142. Is 2 a factor of s?
True
Suppose -158*j + 162*j = -4. Is 162 - (4*j)/(-3 + -1) a multiple of 23?
True
Let l = 57036 + -9246. Does 15 divide l?
True
Let z(a) = -441*a**3 - 30*a**2 - 27*a + 1. Is z(-1) a multiple of 3?
False
Suppose 13*i = 36*i - 70613 - 99403. Does 44 divide i?
True
Suppose 6*j + 2*j = 4959 + 23713. Does 16 divide j?
True
Suppose 4*y = y - 18. Let i = y - -3. Is 29 a factor of 1/i - (-5)/(45/1047)?
True
Let o = -11 - -5. Let l(g) = 8*g**2 - 305*g + 40. Let w be l(38). Is 9 a factor of o*(w/(-10) - 28/10)?
True
Suppose 125 = 22*z - 7. Is 10 a factor of z - 1266/(-66) - (-2)/(-11)?
False
Let z(u) = 3*u**2 - 33*u + 150. Let k be z(5). Suppose 0 = -j - 3 + 5. Is (-23)/(-10)*j - (-24)/k a multiple of 5?
True
Suppose 23*h = 80 - 11. Let v(t) = 5*t**3 + t**2 + 8*t - 4. Does 33 divide v(h)?
False
Suppose -2*g = -0*g - 2*y - 6, 3*g - 33 = -5*y. Let v be 1/2 - g/(-4). Suppose v*s = -0*s + 46. Does 5 divide s?
False
Suppose -u = -0 - 3. Let g be 1*(22 - u) + -2 + -1. Let q(p) = p**3 - 15*p**2 - 3*p - 20. Is q(g) a multiple of 36?
False
Suppose 2*x + 83 = 6*x - 3*t, t - 29 = -2*x. Suppose -x = 4*y - 5*y. Let b = 105 - y. Is b a multiple of 20?
False
Let n(a) = -a + 4. Let h be n(0). Let u(d) = 3*d**2 - 5*d - 2. Let x be u(h). Is 2/(4/x)*5 a multiple of 13?
True
Let n = -178 - -184. Suppose -n*f - 54 = -8*f. Is f a multiple of 26?
False
Let a(j) = 22*j**2 + 15*j + 21. Let z(i) = -34*i**2 - 23*i - 31. Let x(l) = -7*a(l) - 5*z(l). Does 8 divide x(-4)?
True
Let f(s) = s + 161. Is f(-10) even?
False
Is 107 a factor of 616/(-42)*3*-107*1?
True
Let p(w) = 4*w**2 - 28*w - 7. Suppose 55*u + 16 = 56*u - 2*s, 0 = s + 1. Does 6 divide p(u)?
False
Let y(r) be the first derivative of -r**3/3 - 9*r**2/2 + 24*r + 32. Suppose 4*x - 10 = b, -5*b + 6*x - 2*x - 50 = 0. Is y(b) a multiple of 7?
True
Is 5535/2 + 12 + -5 - 5/10 a multiple of 19?
True
Suppose 23*q + 35*q - 536789 = -70063. Is q a multiple of 9?
False
Let i = 125 - 93. Suppose 5*j = i + 8. Suppose q - y = 147, -3*y + 7 = -j. Does 8 divide q?
True
Let r = 31196 - 27940. Does 4 divide r?
True
Let c = -3240 + 3231. Let d(m) = -m**3 - m**2 + m + 64. Let b be d(0). Let h = b + c. Is 20 a factor of h?
False
Suppose 20*o - 15*o - 4*v = 3129, 2*o + v - 1262 = 0. Suppose -49 = j - 50, -2*s - 5*j + o = 0. Is 26 a factor of s?
True
Is 6*(-7)/(-21)*7354 - 3 a multiple of 133?
False
Let g(p) = -20*p + 238. Let r be g(12). Is 3 a factor of (-8 - r) + 265/5?
False
Suppose 0 = 4*m + 3*p + 604, 5*p - 103 = 2*m + 173. Let h be 12/90 - m/15. Let i(l) = -l**2 + 15*l + 15. Does 15 divide i(h)?
False
Suppose 2*z - 97 = 4*j - 20985, -5*j + 26080 = 5*z. Is 18 a factor of j?
True
Let x = 21076 + -11461. Is 31 a factor of x?
False
Let f be ((-14)/(-35))/(1/5). Suppose 56*h - 58*h = -8. Suppose f*u - 194 = 3*n, -h*u + 206 = -2*u + 3*n. Is 18 a factor of u?
False
Suppose 5*w = 20, 5*u - 2*w - 4 = 3. Let q be (-575)/(-69)*12/10. Suppose -v = -u*y - 11 - q, -3*v + 70 = -2*y. Is v a multiple of 6?
True
Suppose -54*q - 2805 = -43*q. Let p = 1074 - 581. Let k = p + q. Is k a multiple of 52?
False
Let z = -285 + 142. Let b = z + 148. Does 5 divide b?
True
Let n be 47 - (2/15 - 847/165). Let a = 41 + n. Is a a multiple of 31?
True
Let n be -4 - (56 + (-4 - -5)). Let t = n - -88. Let k = t - -15. Is 13 a factor of k?
False
Suppose -52*w = -26*w - 222768. Is 68 a factor of w?
True
Suppose 1856 = 4*y - 4*m, -4*m - 932 - 464 = -3*y. Suppose 0 = -24*j + 28*j - y. Is 4 a factor of j?
False
Suppose 3*u = -2*u + 180. Let a = u + 148. Suppose -3*g + 109 = 5*m, -33 = 4*g + m - a. Is g a multiple of 14?
False
Suppose -28*x = -50*x + 26268. Suppose -3*w = -x + 336. Is w a multiple of 26?
True
Suppose 3*b = -3*j + 8865, -30*j = -32*j - 3*b + 5910. Is 5 a factor of j?
True
Suppose 3*q - 4848 = -i, 4*i + 4*q + 4834 = 5*i. Is i a multiple of 18?
True
Let x = -570 + 598. Suppose 3*u - 5 = -5*r + 19, -4*r = 0. Let w = x + u. Is 6 a factor of w?
True
Suppose 3*a - a - 261 = -s, -a + 522 = 2*s. Suppose s = -5*u + 881. Is u even?
True
Suppose 7*b - 396 - 283 = 0. Is 3 a factor of b/(-4 + 13 + -8)?
False
Let l(a) = -2*a**3 + 42*a**2 + 6*a + 69. Suppose -4*d + 12 = h, -2*d = -5*h + d + 106. Does 19 divide l(h)?
False
Let s be (31*3)/(78/598). Let y = s + -425. Is y a multiple of 48?
True
Let w(l) = -2*l + 40. Let i be w(9). Suppose i*p - 6392 - 362 = 0. Is 8 a factor of p?
False
Let d = -2230 + 3829. Is 41 a factor of d?
True
Let w be (4 + 43 + -4 + 2)/1. Let h = -46 + w. Does 17 divide (-583 - h)*12/(-36)?
False
Suppose 5*h - 95 = -0*h. Let l be (h - 16)/((-2)/6). Is 24 a factor of (3/(l/2))/(1/(-180))?
True
Let z = -7235 + 10529. Does 13 divide z?
False
Is 18 a factor of ((-180)/(-7))/(112/1568)?
True
Is (1/2)/((-55)/(-164230)) a multiple of 55?
False
Let g = -69 - -135. Let d = 171 - g. Is 13 a factor of d?
False
Let x(h) = 5*h 