*2. Let t(f) = -f**3 + 4*f**2 - f + 3. Let c be t(4). Is h(c) a multiple of 6?
True
Let f(s) = -3*s + 4. Let m be f(-11). Let j = 347 - 273. Suppose -5*a + 188 - m = 3*y, 2*y - 2*a = j. Does 21 divide y?
True
Let j = 540 - 494. Suppose -59*z + 16380 = -j*z. Does 36 divide z?
True
Let s(k) = k**2 - 2*k - 36. Let a be s(0). Is 8 a factor of (-11)/((-66)/a) + 244?
False
Let m = -4540 - -7873. Does 11 divide m?
True
Let a be 4 + 66/(-15) + 1971/15. Suppose a*w = 137*w - 2592. Is 36 a factor of w?
True
Suppose 2*y - 10658 = 2*x, -5*y + 3*x + 27710 = 1055. Is y a multiple of 42?
True
Let v be (-1212)/30 + (6/(-5))/2. Let i = v - -46. Is ((-6)/(-5))/(i*(-6)/(-2850)) a multiple of 16?
False
Suppose -4*h = -h - 18. Suppose -8*t + 1440 - 736 = 0. Is t - (h/4)/((-2)/(-4)) a multiple of 17?
True
Suppose 27*x + 10440 = 14*x + 18*x. Does 14 divide x?
False
Let x(i) be the first derivative of -21*i**2/2 + 23*i + 30. Let g be x(-14). Suppose -3*z = -43 - g. Is z a multiple of 30?
True
Suppose -14*x + 15*x + 7 = 0, 45317 = v + x. Is 141 a factor of v?
False
Let z = 45 - 39. Let f(t) = -11*t - t**3 - 9*t**2 + 13 + 12*t**2 + z*t**2. Does 11 divide f(6)?
True
Suppose 12*t + 5*t - 16058 = 136670. Is 30 a factor of t?
False
Let d(j) = 35728*j**2 + 44*j - 44. Is 11 a factor of d(1)?
True
Let t = 60 + -91. Let s = t - -32. Is 36 a factor of s/(-2 + 3) + 71?
True
Is 10 a factor of 640/400 - 48284/(-10)?
True
Suppose -6*v + v + 480 = 0. Let d = v - 71. Suppose f - 4*f - s = -59, -d = -f + 5*s. Is 5 a factor of f?
True
Let t(n) = -102*n + 69. Let x be t(-3). Suppose 2243 = 17*q - x. Does 6 divide q?
False
Suppose 0 = z - 2*z + 4*n + 82, -4*z + 403 = -n. Suppose -v - v + z = 0. Let t = -48 + v. Is 2 a factor of t?
False
Suppose -131*x = -5397009 - 1825283. Does 22 divide x?
True
Let y = 45 - 255. Let b = 787 - y. Suppose b = 6*c + 277. Is 26 a factor of c?
False
Suppose q + 1383 = -5*x - 0*q, -2*x + 3*q = 543. Does 23 divide 2*(x/(-8))/3*2?
True
Let z(r) = 7*r**2 - 3*r + 4. Let t be z(4). Let y(c) = 4*c**3 + 6*c**2 - 7*c. Let m be y(1). Suppose 160 = m*b - t. Is b a multiple of 11?
True
Does 12 divide (14/(-6) + 320/240)*(8 + -8211)?
False
Let i = -42 - -41. Let o be 15/i - (6 + -5 + -2). Does 4 divide 3 - (-3)/(-2)*o?
True
Let c = 6472 - 4927. Does 37 divide c?
False
Let u(w) = -3*w**3 - 2*w**2 - 3*w - 1. Let t be u(-1). Is 5032/6 - ((-4)/t)/(-2) a multiple of 30?
False
Does 2 divide (-2 + 1886/(-4))*11/(-66)*12?
False
Suppose 5*s - 3*q - 26671 = 0, 81*s = 77*s - 5*q + 21285. Is s a multiple of 35?
False
Let k(v) = v**3 + 2*v**2 + 2*v + 1. Let u be k(-1). Let m be (-220)/990 + 2/(36/94). Suppose -h = 5*d, 5*h + u*h - 60 = m*d. Is h a multiple of 10?
True
Suppose -2*q + 5*r = -14428, 4*q - 28916 = 13*r - 18*r. Is q a multiple of 43?
True
Suppose 3*n - 33121 = 21*y - 22*y, 2*y = 2. Is n a multiple of 8?
True
Let u(g) = -g + 8*g**2 - 22*g - 3 - 6*g**2 - 5*g. Is 10 a factor of u(17)?
False
Let r(b) = 1557*b - 42. Let n be r(-6). Does 17 divide n/(-115)*(-15)/(-2)?
True
Let w = -39 + 39. Suppose -3*u = -2*r + 3, -27 = 5*u - w*r + 4*r. Is (45/2)/u*174/(-29) a multiple of 15?
True
Suppose -5*r + w + 4*w - 5 = 0, 0 = r - 5*w + 5. Suppose r = -29*h + 33*h + 4. Is (h - (-3)/1)/((-4)/(-92)) a multiple of 14?
False
Suppose 0 = -2*x + m + 4105 + 2213, 0 = -3*m. Is 27 a factor of x?
True
Let x be (-3)/(-6)*(-378)/(-7). Suppose 29*o = x*o. Suppose -2*l + 0*l - 44 = -q, o = -5*l - 10. Is 35 a factor of q?
False
Let u be 67/(-5) - ((-798)/70)/(-19). Is 79 a factor of (u/(-21))/(5/4740)?
True
Let r(u) = -u**3 - 4*u**2 - 2*u - 15. Let m be r(-8). Suppose 0 = 5*n - 253 - m. Suppose 3*s = 72 + n. Is 29 a factor of s?
True
Let u(r) = 45*r**2 - 52*r + 537. Does 27 divide u(15)?
True
Let x be ((-16)/10)/((-2)/5). Suppose x = -3*c + 13. Is 6 a factor of (-3 + c*-27)*-1?
True
Suppose -a - 686 = 7*o - 5*o, -a = 5*o + 1712. Is 5 a factor of (0 - (-10)/(-3))/(57/o)?
True
Suppose -3059 - 1424 = -9*r + 3563. Does 2 divide r?
True
Does 93 divide (-1 + 4)/(-6)*8 - (-4 - 8547)?
False
Suppose 43*a + 4*a - 183040 = -18*a. Does 64 divide a?
True
Let d be 2/4 + -3 + 10/4. Suppose d = 3*o + 7*o - 3990. Is 19 a factor of o?
True
Suppose 3*g - 2*n - 5587 = 1946, 0 = -5*g + 4*n + 12557. Does 24 divide g?
False
Suppose 512 = -15*s + 17*s. Let q be (8/(-3))/(2 + s/(-126)). Suppose 4*o - 7*o + q = 0. Is 4 a factor of o?
True
Let n(y) be the third derivative of -y**4/24 + 11*y**3/6 - 21*y**2. Let w be n(6). Suppose w*v = 580 + 200. Does 13 divide v?
True
Suppose -6*u - 4020 + 11602 = -18164. Is u a multiple of 6?
False
Let w(i) = 5*i**2 - i + 1. Let l be w(1). Suppose -o = -3*o + 3*x + 23, -l*o - 2*x = -10. Suppose 3*y = -5*f + 124, 2*y + 87 = o*y - f. Is 21 a factor of y?
False
Let w(l) = l**3 - 2*l**2 + 3*l + 5. Let y be w(0). Suppose 0 = 3*n + y*b - 1004, 0 = 3*n + 4*b - 290 - 713. Is 37 a factor of n?
True
Does 36 divide 0 + 4*(-5)/(-100) - (-64158)/10?
False
Let k be (-1 + (-11)/7)/(72/(-1344)). Let t = 49 - k. Is 26 a factor of (-2*t - -52) + (14 - 16)?
False
Let w(g) = -28 - 11 + 78*g**2 + 8*g - 10*g + 6*g - 3. Does 13 divide w(4)?
True
Suppose -2*d + 9*x - 10 = 4*x, 5*d - 8 = -4*x. Suppose -5*w + d*w = -55. Suppose -849 = w*l - 2378. Does 43 divide l?
False
Let d(q) = -2*q - 205. Suppose -5*v + 3 = -22. Let u(m) = 3*m + 308. Let l(o) = v*u(o) + 7*d(o). Is l(0) a multiple of 23?
False
Let s = 9 - 8. Let y(f) = -8 + 19*f + 0 - 4 - s. Is y(5) a multiple of 9?
False
Let b(f) be the second derivative of -7*f**4/24 - 14*f**3/3 + 6*f**2 - 6*f. Let l(y) be the first derivative of b(y). Is l(-16) a multiple of 12?
True
Let k(d) = 4 + 1 - 2 + 1 - 26*d. Let z be k(1). Let s = 107 + z. Is 17 a factor of s?
True
Let d be ((-4)/5)/(-4) - (-56916)/45. Suppose -21*w + d = 131. Is w a multiple of 7?
False
Suppose 75010 = 4*n + k, 5*n - 68436 = -6*k + 25336. Is 19 a factor of n?
False
Suppose -11*w + 3485 = -8*w + 4*d, w + d - 1162 = 0. Suppose w = 4*b - 781. Is b a multiple of 54?
True
Let n = 4998 + -3539. Does 10 divide n?
False
Let k = -171 + 176. Does 15 divide 1 + (119 - (-1)/k*0)?
True
Let p be (7 - 2 - 15)/((-3)/3). Suppose 0 = p*j + 11*j - 2352. Is 16 a factor of j?
True
Does 17 divide (-10 + (-140)/(-7))/(6/87)?
False
Let q(i) = -432*i**3 - 2*i**2 - 2*i - 4. Does 16 divide q(-3)?
True
Let t = 267 - 258. Suppose t*v = -19 + 226. Is v a multiple of 5?
False
Let x be (1401 - 1)/((-1)/(-2)*2). Suppose -3*b + 3*j = -4248, 4*b - 5*j - x = 3*b. Suppose 6*d + 202 - b = 0. Is 12 a factor of d?
False
Suppose r = 4*b - 3659, 3*r + 2733 = -0*b + 3*b. Let i = -742 + b. Does 46 divide i?
False
Let g(f) = 11*f**2 - 25*f + 7. Let x be g(-5). Suppose -x + 51 = -2*r. Is 7 a factor of r?
False
Let b(i) = 32*i + 823. Is 44 a factor of b(21)?
False
Let g be 6/(-9)*900/(-8). Let y = -14 + g. Let z = y + -30. Is z a multiple of 31?
True
Let g(d) be the third derivative of -d**6/120 - 7*d**5/60 - 5*d**4/4 + 5*d**3/2 + 11*d**2. Is 50 a factor of g(-10)?
False
Let v = 541 + 115. Suppose -4*l = -8*l + v. Is l a multiple of 41?
True
Let p be (2 - 33/15)/((-8)/120). Suppose -p*n + 0*n + 966 = 0. Is n a multiple of 23?
True
Suppose -2*a + 2*m = -0*m - 782, -5*a = -m - 1959. Suppose 5*q + 62 = a. Is q a multiple of 11?
True
Let u(j) = -14*j**2 + 6*j + 22. Let p(i) = -13*i**2 + 6*i + 19. Let a(y) = -6*p(y) + 5*u(y). Suppose 0 = -4*c + 2 + 14. Is a(c) a multiple of 25?
True
Suppose -4*a + 2*a = 14. Let h(u) = -8*u + 16. Let n be h(a). Suppose t = 3*t - n. Is 36 a factor of t?
True
Suppose 19 = 2*s - 27. Suppose -5*x + 259 = 20*t - s*t, x - 5*t - 43 = 0. Is 15 a factor of x?
False
Let p(k) = k**2 - 3*k - 6. Let c be p(5). Suppose -5*z + c*n = 5*n + 20, -25 = 5*n. Does 2 divide 8/(0 + (-2 - z))?
True
Let w(i) = -2*i**2 - 2*i + 1. Let m be w(-3). Let n = m + 35. Suppose -2*l - 3*y + 15 = -5, -4*l + 2*y + n = 0. Is l a multiple of 4?
False
Let m = 14848 + -8036. Is m a multiple of 38?
False
Let y = 11240 - 4197. Is y a multiple of 4?
False
Let a(q) = -q**3 - 2*q**2 + 5*q - 78. Is 58 a factor of a(-14)?
True
Let w(l) = -8*l - 29. Let y be w(-7). Suppose -22*x = -y*x + 990. Is 27 a factor of x?
False
Let b(j) = 7*j**3 - 5*j**2 + 10*j - 24. Suppose 38 = 12*r + 2. Does 50 divide b(r)?
True
Suppose l + 21 = -3*t, 0 = -t - 2*t + 5*l - 21. Let d(h) = -4