3?
False
Let q = 147 + -57. Suppose -3*a = 3*i + q, 4*i - 4*a - 24 = 5*i. Let t = -27 - i. Is 5 a factor of t?
True
Let z(h) = 2*h**3 - 19*h**2 + 13*h + 24. Is z(12) a multiple of 23?
False
Let x(k) = 2*k - 1. Let q(l) = 1. Let r(w) = -4*q(w) - 2*x(w). Let a = -9 + 3. Is r(a) a multiple of 11?
True
Let a(o) = -o**3 - 6*o**2 - 5*o + 2. Let m be a(-5). Suppose 2*x - 272 = -m*x. Is x a multiple of 19?
False
Let m(d) = 16*d + 32*d**3 + 22*d - d**2 - 37*d. Let l be 50/70 - (-4)/14. Is m(l) a multiple of 30?
False
Suppose 4*i + 5*b - 25 = -0*b, -2*i - 3*b + 13 = 0. Suppose i*s - u = -5, -2*s = -4*u + u + 15. Let q = s - -48. Is q a multiple of 24?
True
Let o(n) = -n**3 - 11*n**2 + 20*n + 33. Does 5 divide o(-13)?
False
Let b = 157 + -88. Is -1 - (b/(-3) - (0 - -3)) a multiple of 12?
False
Suppose 0 = -4*i + 99 + 181. Is i a multiple of 5?
True
Let t = 1198 - 578. Does 4 divide t?
True
Let k(m) = m**2 + 6*m + 2. Let i be k(-6). Suppose -4*n = 16, -i*a - 78 = -2*n - 2*n. Let p = a - -83. Does 16 divide p?
False
Suppose -6*i + i = -160. Let k = 24 - i. Does 3 divide (-1)/(-2) - 140/k?
True
Suppose 5*n = 0, 0 = 8*c - 4*c - n - 1580. Is 26 a factor of c?
False
Let g(k) = -k**3 + 6*k**2 + 8. Let r be g(6). Let z(a) = 8 + 5*a - r*a**2 + a**3 - a**2 - 2*a**2. Does 12 divide z(11)?
False
Let q(u) = u**3 + 6*u**2 + 4*u. Let y be q(-5). Suppose -o = -3*k - 15, 10*o - 3*k = y*o + 27. Suppose -61 = -o*a + 5*l, 5*a + 3*l = 19 + 60. Does 17 divide a?
True
Suppose 50 = 5*b - 4*z - z, -3*b - 2*z = -5. Suppose 3*h = 4*h - b. Suppose 5*l - 3*k = -k + 256, -h*l + k = -258. Is 13 a factor of l?
True
Suppose -1083 = -5*j + 1877. Is j a multiple of 8?
True
Let x be 94*2*(15 + -14). Suppose 5*c = k - 70 + x, -4*k - 112 = -5*c. Is c a multiple of 3?
True
Let z(j) = j**2 + 21*j + 38. Let c = 56 - 79. Is z(c) a multiple of 21?
True
Let f(j) = -9*j + 1. Let n be f(1). Let v = n + 9. Does 5 divide (9 - 6)/(v/5)?
True
Let a(t) = 370*t**2 - 31*t + 64. Is 26 a factor of a(3)?
False
Let s(p) = p**3 - 36*p**2 - 14*p - 68. Is 31 a factor of s(37)?
False
Suppose -3*x - 2*f + 8 = 0, -5*x + 2*f + 17 + 7 = 0. Let p(d) = 9*d + 2. Let g be p(x). Suppose -3*m - g = -4*m. Is m a multiple of 19?
True
Suppose 10*b - 180 = 60. Is 6 a factor of b?
True
Let p(c) be the first derivative of 6*c**3 - 2*c**2 - 8*c - 14. Is p(4) a multiple of 22?
True
Suppose -5*r + 1471 = 4*h, -3*r + 5*h - 397 + 1250 = 0. Let u be r/(0 + (-12)/(-8)). Suppose 0*o = -5*o - 2*g + u, 5*o + 3*g - 191 = 0. Does 6 divide o?
False
Suppose -3*w - 6 = -18. Let k be ((-10)/15)/(w/(-18)). Suppose i = -k + 14. Is i a multiple of 4?
False
Let s = -348 + 848. Is 10 a factor of s?
True
Does 23 divide (-3824 + -1)/((-99)/66) - -3?
True
Let q(j) = -9*j + 8. Let l(i) = 5*i - 4. Let g(v) = -5*l(v) - 2*q(v). Let f be g(-10). Let k = 103 - f. Is 8 a factor of k?
False
Suppose 192*h = 202*h - 45340. Does 22 divide h?
False
Let r(w) be the first derivative of 2*w**3/3 - 11*w**2 - 10*w - 14. Is 6 a factor of r(13)?
True
Let u be (-4)/(-4) + -1 + 3. Suppose -5*f + 183 = -u*x - 57, -63 = x + 4*f. Let b = x - -109. Is b a multiple of 17?
True
Let m = 201 - 20. Is m a multiple of 67?
False
Let n(q) = 2*q**2 - 46. Let b be n(6). Suppose -5*t - 152 = -l - 51, 2*l = 4*t + 208. Suppose b = 2*a - l. Does 17 divide a?
False
Let l(g) = 318*g + 5. Does 17 divide l(1)?
True
Suppose -1962 = -27*p + 24*p. Does 34 divide p?
False
Let u(g) be the first derivative of g**4/4 + 4*g**3/3 - 3*g**2 - 9*g - 5. Let h be u(-6). Does 13 divide 2 - (3 + 3 + h)?
False
Let s be (-63)/(-84)*16/6. Suppose -1 + 0 = m, -4*u + 38 = 2*m. Does 4 divide (4/5)/(s/u)?
True
Does 9 divide 9430/8 - (-4 + (-15)/(-4))?
True
Let q(n) = 2*n**2 + 7*n + 8. Let h be q(-2). Suppose h*l + 5*i = 9, -3*i - 20 = i. Is l even?
False
Let m = -143 + 258. Is m a multiple of 10?
False
Let a = -42 + 48. Does 10 divide ((-2)/a)/(((-11)/30)/11)?
True
Let i(n) = -180*n**3 + 10*n**2 + 5*n - 3. Is i(-2) a multiple of 13?
False
Let l be (71*1)/(19 - 18). Suppose -l*a - 130 = -76*a. Does 4 divide a?
False
Is (2 - (-28)/(-8))/((-15)/4020) a multiple of 2?
True
Let y = 50 - 40. Is ((-264)/y)/((-6)/20) a multiple of 21?
False
Let s(z) be the third derivative of -z**7/840 - z**6/180 + z**5/24 - z**3/6 - z**2. Let l(x) be the first derivative of s(x). Does 6 divide l(-4)?
True
Is 51 + -8 + 1 + 2 a multiple of 13?
False
Suppose 16*f - 1261 = -2*r + 15*f, 0 = r + 3*f - 623. Is r a multiple of 53?
False
Let i = -33 + 27. Let n(u) = 4*u**2 + 8*u + 1. Does 13 divide n(i)?
False
Suppose -3*u - 221 = -992. Let x = -151 + u. Does 13 divide x?
False
Suppose -5*u - 17 = -47. Suppose -5*j = -3*l - 156 + u, 3*j - 106 = 5*l. Is j a multiple of 9?
True
Suppose 0 = 6*c - 9*c - 48. Let x = c - -30. Is 8 a factor of x?
False
Let k(p) = 4*p**2 + 13*p. Let j be k(-10). Let x = j - 390. Does 17 divide (3/(-4))/(5/x)?
False
Suppose i - 3*m - 14 = -0*i, 0 = -5*i + 4*m + 48. Suppose -82 = -i*o + 238. Is o a multiple of 16?
False
Let q = -1606 - -1905. Is q a multiple of 6?
False
Let d(f) = -5*f**2 - 1. Let g be d(-2). Let j = g + 17. Is 11 a factor of (-125 - 0)*j/10?
False
Let q(z) = -z**3 - 9*z**2 - z + 380. Is 20 a factor of q(0)?
True
Suppose -3*w - 36 = -3*b - b, 4*b = 12. Suppose -29 - 7 = -2*l. Let u = l + w. Is 10 a factor of u?
True
Suppose 4690 = 5*g - 5*t + 10*t, 4*g - 3*t = 3731. Is g a multiple of 17?
True
Suppose 5*u = -4*v - 2, -4*v - 4*u + 0*u = 0. Suppose -4*j = -5*p - j + 283, -p = -v*j - 58. Is p a multiple of 8?
True
Let m = 203 - 124. Let k = m + -43. Is k a multiple of 4?
True
Let t(a) = -2*a - 28. Let j be t(-10). Let w(i) = i**2 - 9*i - 2. Is w(j) a multiple of 29?
False
Let h = 32 - 27. Suppose z - 5*m - 34 = -2*m, -34 = -z + h*m. Let d = z - 20. Does 7 divide d?
True
Let c = 13 + -7. Suppose 2*s - c*s + 24 = 0. Suppose -s*x + 8*x - 36 = 0. Is 6 a factor of x?
True
Let t(i) be the third derivative of -i**5/60 - 5*i**4/6 + 3*i**3 - 35*i**2. Is t(-18) a multiple of 9?
True
Suppose 52*o - 1053 - 3107 = 0. Is 4 a factor of o?
True
Suppose 0 = 81*q - 85*q + 2080. Is 13 a factor of q?
True
Let l(r) be the second derivative of -11*r**5/10 - 2*r**2 - 2*r. Does 26 divide l(-2)?
False
Let m(q) be the third derivative of 0*q**4 + 0*q - 8*q**2 - 1/6*q**3 + 1/20*q**5 + 0 + 29/60*q**6. Does 20 divide m(1)?
True
Let i(k) = k**2 + 4*k + 2. Let q be i(-4). Let u be -1 + 8 + -2 + q. Is 234/14 - (-2)/u a multiple of 11?
False
Let l = -27 - -32. Let z(f) = -44*f + 9. Let b be z(l). Let w = b + 315. Is 27 a factor of w?
False
Suppose -57*f + 116552 = -52738. Does 30 divide f?
True
Let q be (4/6)/(12/(-90)). Let x be q/(15/12)*-1. Suppose n + 110 = 5*c, -2*n + 88 = x*c - 0*n. Does 6 divide c?
False
Suppose -33*k = -43*k + 600. Does 2 divide k?
True
Suppose -f + 85 = 6. Is f even?
False
Let c be 6/4 + (-4)/(32/(-52)). Does 2 divide ((-6)/c)/(21/(-728))?
True
Suppose 0 = -s - 23*s + 2520. Is s a multiple of 15?
True
Suppose -240 = -12*b + 8*b. Let x be (-1)/(177/b - 3). Suppose t - 61 = -2*a - x, 226 = 5*t + 3*a. Does 9 divide t?
False
Suppose 0 = 4*k - 3*c - 1432, 0*k - 716 = -2*k + c. Let w = -1796 + k. Is 24 a factor of (-20)/(-150) + w/(-15)?
True
Let m(z) = -2*z - 15. Let q be m(9). Is 20 a factor of (480/45)/((-2)/q)?
False
Let x = -27 - -29. Suppose 68 + 4 = x*l. Is l a multiple of 9?
True
Suppose -5*j = -53*j + 5712. Does 7 divide j?
True
Is 4 a factor of 445 - (3 - 3/1)*-1?
False
Suppose 0 = -4*m, 2*y - 2*m = 3*m - 18. Let h = 201 + -89. Is 3 a factor of 2/y + h/18?
True
Let n be 15*(2/(-6))/(-1). Let j = -3 + n. Suppose -5*i - j*g + 4*g + 175 = 0, -g - 180 = -5*i. Is 11 a factor of i?
False
Does 13 divide (51/2)/(-3)*(0 - 22)?
False
Let r(i) = 85*i - 553. Is r(7) a multiple of 5?
False
Let x(n) = 4*n**2 - 1. Let c be x(1). Suppose 0 = c*h + o - 25, 4*h + 2*o - 49 = -17. Is h a multiple of 9?
True
Let u = 62 + 21. Let q = 166 - u. Is 29 a factor of q?
False
Is 22 a factor of (-452352)/(-138) + (-34)/(-391)?
True
Let u = 457 - -53. Does 17 divide u?
True
Let d(c) = 13 - 8 - 12*c - 17 + c**2. Let b be d(9). Is 18 a factor of 0 - 0/(-4) - b?
False
Let x(n) be the third derivative of 79*n**6/120 - n**5/60 + n**4/24 + 5*n**2. Is 15 a factor of x(1)?
False
Suppose 58*r = -11*r + 298080. Is r a multiple of 30?
True
Suppose 0*p 