) = -2*u**3 + 9*u**2 - 4*u - 8. Let c be r(6). Let f = n - c. Is f a multiple of 12?
False
Let s(a) = a**3 + 4*a**2 - 19*a + 134. Does 42 divide s(10)?
True
Does 31 divide (-2)/(-11) - (1 - (-31094)/(-77))?
True
Let h(l) = 9*l**3 + 1 + l - 31*l**3 + 5*l**3. Does 7 divide h(-1)?
False
Let n(v) = 2*v**3 + 46*v**2 - v + 1. Is n(-23) a multiple of 8?
True
Let p be 1/2*(17 - 11). Suppose 0 = -2*c - 2, -2*c = p*x + 2*c - 8. Suppose 0*v = x*v - 336. Does 14 divide v?
True
Let c(h) = -h**3 - h**2 + 6. Let n be c(3). Let v = n - -33. Suppose -v*b = -5*o - 116, -5*o + 0*o - 158 = -4*b. Does 19 divide b?
False
Let l be (1/2)/(2/20). Suppose 0 = 9*x - l*x - 16. Is 11 a factor of (x + (-46)/6)*-3?
True
Let w be ((-1090)/15)/((-2)/3). Suppose 4*j - 2*j + 3*t = 103, 2*j + 5*t = w. Is 11 a factor of j?
False
Suppose -3*y - y - 3*k = -5, 2*y - 2*k = -8. Does 10 divide 2/(225/219 + y)?
False
Let t(w) be the second derivative of -w**5/20 + 3*w**4/4 - 5*w**3/6 - 8*w**2 - 8*w. Is t(8) even?
True
Let l be ((-8)/(-20))/((-1)/20). Let i = 122 + -100. Let c = i - l. Does 12 divide c?
False
Suppose 0 = 15*y - 14*y + 5. Let b(c) = c**3 + 6*c**2 - c + 4. Is 27 a factor of b(y)?
False
Let v(j) = -9*j**3 + j**2 + 11*j + 13. Let k(a) = 5*a**3 - 6*a - 7. Let z(o) = -7*k(o) - 4*v(o). Let p = 53 + -48. Is z(p) a multiple of 6?
True
Let k be (6/(-4))/((-8)/16). Suppose -2*h = 2*l - 664, 0 = -5*h + k*l - l + 1639. Suppose -4*o + 75 = -h. Is o a multiple of 23?
False
Let n = 1377 + -897. Does 24 divide n?
True
Let w = 206 - 174. Suppose -3*r + 4*r = 67. Let a = r - w. Does 12 divide a?
False
Let o(w) = 20*w**2 + 8*w - 18. Is o(-5) a multiple of 17?
True
Suppose -14*f + 7*f = -490. Does 14 divide f?
True
Let m = 390 + -104. Let k = -105 + m. Does 40 divide k?
False
Let k(a) = -a**2 - 8*a - 9. Let p be k(-6). Suppose -n + 12 = -2*m, 2*n = -p*n - 2*m + 60. Is 4/(-6) + 356/n a multiple of 9?
False
Suppose -7*f - 2*f = 441. Let i = f - -119. Is 7 a factor of i?
True
Let v = 6197 + -3337. Does 130 divide v?
True
Is ((-244)/(-3))/((-64)/(-864)) a multiple of 18?
True
Let c be (-4)/10*(9 - -11)*-2. Suppose c = w + 2*x, -2*w = w + x - 58. Does 4 divide w?
True
Let k(p) = 33*p + 8. Let l be k(8). Let v = l + -188. Is 9 a factor of v?
False
Let r = 1603 - 931. Is r a multiple of 28?
True
Suppose 2*z - 23 - 143 = 4*b, -4*z - 4*b + 296 = 0. Suppose -82*h + 535 = -z*h. Is h a multiple of 21?
False
Suppose 87*c = 90*c - 21. Is c a multiple of 7?
True
Let j be 5 + (-4)/(-20)*0. Suppose -k - 11 = -j*n, -3*n + 21 = -0*n + 3*k. Suppose 0 = 3*c - 5*g - 53, n*c + 0*g - 41 = 2*g. Is 2 a factor of c?
False
Let z(f) = 30*f**2 + 150*f + 15. Is z(-7) a multiple of 15?
True
Suppose 2 + 4 = 3*q. Suppose a + q*a = -9. Is 16 a factor of a + 39 + (1 - 2)?
False
Is 9*3/18*-2 - -867 a multiple of 14?
False
Let m(z) = 3*z**2 - 11*z + 15. Let u be m(10). Let a = u + -144. Is 9 a factor of a?
False
Let f = 41 - 67. Let u be 4/f - 67/(-13). Let h = u + -1. Is 3 a factor of h?
False
Let f(z) = z**2 - 3*z + 4. Let s be f(2). Does 35 divide (-3155)/(-30) - s/12?
True
Let k(d) = 3*d - 8. Let g be k(-14). Is 1/3 - g/3 a multiple of 4?
False
Let l be 360/(-10)*(-74)/4. Is (-1*4)/((-37)/l) a multiple of 6?
True
Suppose -2*h - b + 23 = -0*b, -55 = -5*h - 5*b. Suppose 0 = 9*u - 6*u - h. Is u a multiple of 3?
False
Suppose 4*l - 728 = -2*o, 5*o = -5*l + o + 907. Is l a multiple of 3?
True
Suppose -2*x + 155 + 153 = 2*d, 5*x - 320 = -2*d. Is d a multiple of 25?
True
Let h(j) = 4*j**2 - 5*j - 2. Let l(y) = 3*y - 15. Let w be l(13). Suppose 2*s + 4*s - w = 0. Does 21 divide h(s)?
True
Suppose 3*y = 3*d - 6, 2*d - 2*y = 3*d - 2. Suppose r = -2*i + 25 + 11, 2*r - d*i - 72 = 0. Is r a multiple of 3?
True
Let h = 355 - 304. Is 3 a factor of h?
True
Suppose -3*i + 13 = j, -i = j - 0*i - 5. Let t(m) be the third derivative of 11*m**4/12 + m**3/6 - m**2. Is 11 a factor of t(j)?
False
Does 17 divide (-2)/(508/19818*78 + -2)?
False
Suppose -5 - 7 = -6*f. Suppose 3*j - 4*v = 25 + 18, 52 = 2*j + f*v. Does 21 divide j?
True
Let x = -33 + -13. Let v = 63 + x. Is v a multiple of 2?
False
Suppose 0 = -2*s - 6*s - 64. Let d be (s/6)/((-8)/84). Suppose 60 = 19*z - d*z. Does 10 divide z?
False
Let m = -2 + 6. Suppose 4*d - 328 = -4*y, 3*d + m*y - 92 = 154. Is d a multiple of 5?
False
Let h be (-2)/(-4) + 11/2. Suppose -5*s + h*s = 0. Let r(t) = -t + 5. Is 2 a factor of r(s)?
False
Let w = -8 + 9. Let o(x) = 2 + 3*x - x - 4 + w. Does 9 divide o(5)?
True
Suppose 0 = 2*w - 10 + 2. Let f be (-6)/2 + w + 3. Suppose -3*m = -f*n - 9, 3*m - 12 = -n + 12. Does 7 divide m?
True
Suppose -4*s + 4*h = -716, -475 = -2*s - 2*h - 117. Let w = -285 - -405. Let k = s - w. Is k a multiple of 19?
False
Let b(l) = -l - 2 + 2 + 2*l + 6. Let x be b(-5). Does 17 divide 1 - x/((-1)/16)?
True
Suppose -5*f + 2*t = -580, 7*f - 6*f - 109 = -t. Does 8 divide f?
False
Let l(m) be the second derivative of m**3/6 + 63*m**2/2 + 4*m. Let b be l(0). Suppose -3*f - 3*g + 61 = 7, 5*f - b = 4*g. Does 11 divide f?
False
Let m(y) = -y**3 + 12*y**2 + 18*y + 36. Is 11 a factor of m(-4)?
True
Suppose 3*b + 3*q = 9, 2*b = -0*b + 5*q + 6. Suppose b*m - 413 = -23. Is m a multiple of 23?
False
Let c be (6 - 3)/(-3)*-2. Let k be (26/(-10) + c)*-5. Suppose -2*s = -223 + k. Does 31 divide s?
False
Is (-5 + 14/4)/((-9)/834) a multiple of 12?
False
Let t = -1071 - -1591. Is 2 a factor of t?
True
Let u = -998 + 1057. Is u a multiple of 17?
False
Let d = -281 + 658. Suppose -4*l + 5*b = -d, l + l + b = 199. Is 14 a factor of l?
True
Let n(r) = -r**3 + 4*r**2 + 2*r - 5. Let d be n(4). Suppose 274 = 5*a + d*t, -3*t + 32 = a - 18. Is a a multiple of 19?
False
Suppose -3*g - 1109 = -4*r, 3*g + 11 = 2. Is r a multiple of 7?
False
Let m(a) = -a - 4. Let u be m(-10). Let p(y) = 20*y. Does 15 divide p(u)?
True
Let o(l) = 5*l**2 + 44*l - 243. Does 11 divide o(-32)?
False
Does 14 divide (-697)/(-5) - 8/20?
False
Let k(i) = 5*i**2 - 2*i. Let w be k(-4). Suppose 22 = -b + 134. Suppose w = 5*r - b. Is 20 a factor of r?
True
Is ((-1239)/(-14) + 6)*(-1 - -3) a multiple of 9?
True
Suppose -4*k + 5*s + 9 = 0, -2*k - 3*k + 6 = -s. Let i be (1 + (k - 5))*-1. Suppose i*x + 145 = 2*o - 2*x, -5*o + 5*x + 370 = 0. Is o a multiple of 17?
False
Let d be ((-24)/(-10))/(1/(-5)). Let t = d - -17. Suppose t*j + 29 = 124. Is 5 a factor of j?
False
Let i(j) = 12*j**2 - 4*j + 8. Let l be i(3). Suppose 376 = 8*b + l. Does 30 divide b?
False
Does 42 divide 1968 + ((-24)/(-14))/((-4)/(-14))?
True
Let z(b) be the second derivative of 7/3*b**3 - 1/12*b**4 + 0 + b - 6*b**2. Is 6 a factor of z(12)?
True
Let c(f) = -f**2 - 4*f - 3. Let u be c(-2). Let o(n) = -n**2 + 11*n - 3 - n - u. Is 5 a factor of o(8)?
False
Suppose 0 = -5*x + 4*x + 3. Suppose -x*j = -129 - 183. Is 26 a factor of j?
True
Let h = -36 - -34. Let d be (-9)/(-18) + (-3)/h. Is 5 a factor of 144/8 - (d - -1)?
True
Let j(p) = 9*p**3 + 12*p**2 - 11*p + 49. Is j(6) a multiple of 29?
False
Let x(g) = -3*g**3 + 2*g**2 + 18*g + 6. Let n(p) = p**3 - p**2 - 6*p - 2. Let b(c) = -11*n(c) - 4*x(c). Let f be b(-4). Let u = f + 1. Is 7 a factor of u?
True
Suppose 230 = 21*x - 3697. Is x a multiple of 5?
False
Suppose 3*n - 261 = -3*q, -q = -5*n + 3*n - 102. Suppose -2*h + 2*z = -244, 3*h = 4*h + 5*z - q. Is h a multiple of 15?
False
Let x(q) = -8*q + 0*q - 4 - 25*q + 7. Is 10 a factor of x(-5)?
False
Let s(v) = 5*v**2 + 17*v - 61. Is 16 a factor of s(7)?
False
Let q be 60 + (3/(-4) - (-21)/28). Suppose 2*h = -2*n + 38, -q + 3 = -3*h + 5*n. Is h a multiple of 19?
True
Let w(h) = -h**3 + 9*h**2 - 8*h - 8. Let j = -1 - -8. Let l be w(j). Let q = l - 16. Is q a multiple of 9?
True
Let q(w) = 6*w**2 + 32*w + 32. Is q(-13) a multiple of 21?
True
Let v = 55 + 4. Suppose 2*r + 197 = 2*b - v, 2*b - 266 = -3*r. Is b a multiple of 26?
True
Suppose -4*x - p = p - 72, -x + 4*p + 9 = 0. Let f = x + 2. Let l = -14 + f. Is 2 a factor of l?
False
Is 43 a factor of (-43)/(-7 - 81/(-12))?
True
Suppose 6*o - 2*o - 5*r + 11 = 0, 3*o + 2*r = -14. Does 8 divide 100/((o/7)/(10/(-35)))?
False
Suppose 0*i + 427 = i. Suppose i - 22 = 5*z. Does 17 divide z?
False
Let h(c) = -2*c**2 - 14*c + 14. Let t be h(-11). Let p be (t/(-1))/((-2)/1). Let l = 54 + p. Is 8 a factor of l?
False
Let h(p) = p**2 - 3*p + 18. Le