**2 + 0*h**2 - 5*h + 7 - 3*h**3. Does 7 divide l(-7)?
True
Let u be 119 - (2 + 1 + -3). Suppose q = 2*q - u. Let s = 182 - q. Does 20 divide s?
False
Suppose 3*o - 12 = 168. Let n = o + -44. Is 2 a factor of n?
True
Suppose g = -3*o - 24, 4*g + o = -o - 106. Let r = 28 + g. Suppose -w + 17 = r. Does 16 divide w?
True
Let n(d) = 2*d**3 + 3*d**2 + 5*d - 6. Let c(y) = y**3 + 3*y**2 + 6*y - 6. Let p(s) = -3*c(s) + 2*n(s). Does 4 divide p(5)?
True
Let j = -43 + 3. Let t(r) = -r**2 + 6*r + 7. Let c be t(5). Let w = c - j. Is 13 a factor of w?
True
Suppose 3*q = -2*q - 30. Let d = q - -9. Does 7 divide (-1)/(((-3)/14)/d)?
True
Let o be (-2)/3 - (-56)/12. Suppose 202 = o*h - 134. Does 21 divide h?
True
Suppose 0 = 3*t - 0*t - 6. Suppose l = -t*l + 12. Suppose m = -l*m + 75. Is 14 a factor of m?
False
Let q(u) = 18*u + 5. Let c(i) = -19*i - 5. Let z(b) = 5*c(b) + 6*q(b). Let s(p) = -p. Let r(f) = -4*s(f) - z(f). Is r(-4) a multiple of 11?
False
Suppose 4*d - 5*i - 3611 = 0, 3*i + 894 = d - 0*i. Is 5 a factor of d?
False
Suppose 2*t - 6 = 0, 0*m + 4*t = m - 39. Suppose x - 16 = a - 1, 0 = -4*a + x - m. Is (a/(-16))/((-1)/(-16)) a multiple of 4?
True
Let z(m) = -3*m - 7. Let j be z(-6). Suppose 3*y = -j + 5. Is 9 a factor of (y + (-165)/10)*-4?
False
Let h(b) = -83*b**3 - b**2 - 2*b - 1. Let v be h(-1). Let a = 132 - v. Is 4 a factor of a?
False
Let k(m) = m**2 + 20*m - 97. Is 47 a factor of k(-60)?
True
Let d(w) = w**2 - 7. Let l be d(3). Suppose -l*u - 6*b = -11*b - 112, -4*b + 168 = 4*u. Does 13 divide u?
False
Suppose -p + 931 = 342. Suppose 5*q = -w + p, 0 = q - 3*w - 2*w - 97. Is 15 a factor of q?
False
Suppose 0 = 4*m - 2*l - 4, -3*m + 5*l = -m - 10. Suppose -2*b + 326 = 5*z - m*z, 0 = 4*z + 16. Suppose b = 4*d - 51. Is d a multiple of 19?
False
Suppose 5*l - 3672 = -7*l. Does 18 divide l?
True
Let j(v) = 18*v. Let u(m) = -m**2 - 13*m - 5. Let b be u(-12). Does 42 divide j(b)?
True
Suppose -2*l = k - 6528, -6643 - 6437 = -4*l + 4*k. Is l a multiple of 111?
False
Suppose -5*t = -587 + 112. Let b be ((-2)/(-10))/((-4)/(-1020)). Let a = t - b. Is 11 a factor of a?
True
Let n(c) = c. Let l be n(0). Is 13 a factor of -67*(1 - l)/(-1)?
False
Is (336/(-35))/(339/85 - 4) a multiple of 16?
True
Let h(u) = u**2 - 7*u + 7. Let a be h(-7). Suppose -25 = -i + 5*s - 4, 0 = 5*i - 5*s - a. Suppose -4*p + 2*p = -3*n + 78, 0 = -n - p + i. Is 12 a factor of n?
True
Suppose -53*p = -39*p - 9072. Is 27 a factor of p?
True
Is 228 - -3*12/(-9) a multiple of 14?
True
Let q(n) = -22*n - 133. Is 25 a factor of q(-14)?
True
Suppose 3*x - 4*h + 0*h = -4, -3*h - 26 = 5*x. Is 3 a factor of ((-2)/(-3))/(x/(-78))?
False
Suppose 31*j - 1840 = 27*j. Does 92 divide j?
True
Suppose q - m - 41 = 3*m, 0 = 4*q + m - 96. Suppose -3*y + 110 = -q. Let o = y - 19. Is 13 a factor of o?
True
Suppose -4*v - 6 = -6*v. Suppose -v*s + 0*y + y = -89, -5*s - 4*y = -120. Is 14 a factor of s?
True
Suppose -3*s + 4*s - 5*k = 16, 0 = -3*s - 2*k - 37. Is (-1 + (-21)/s)*(43 - 1) a multiple of 8?
True
Suppose 0 = o - 4*y - 41, 6*o = o - 5*y + 255. Let b = -35 + o. Suppose 0 = 5*g + 5*w - 140, -3*g + 3*w + 40 + b = 0. Is g a multiple of 14?
False
Suppose -3*m = 2*g - 3 - 16, 4*g - 26 = -2*m. Suppose 3*i - 135 = -m*o, 98 = 2*o - 0*i - 2*i. Does 18 divide o?
False
Let p be ((-3 + 2)*6 - -4)*-4. Suppose -39 + p = -h + 4*k, -5*h + 83 = 4*k. Is 10 a factor of h?
False
Let i(t) = -2*t - 10. Let p be i(-7). Let g be 4/2 - (9 - p). Is g/(-6) + 86/4 a multiple of 11?
True
Let d be (2 - (-10 - 0))*60/(-9). Let k = -48 - d. Does 16 divide k?
True
Let d(j) = j**2 - 12*j + 32. Let k be d(8). Suppose k*i - 1400 = -7*i. Is 20 a factor of i?
True
Let z(p) be the first derivative of p**4/4 + 7*p**3/3 + p**2 + p - 7. Let g(a) = -a**3 + 10*a**2 - 18*a + 12. Let o be g(8). Is z(o) a multiple of 9?
False
Let z(y) = 569*y - 47. Does 20 divide z(3)?
True
Let m = 2036 + -1126. Is 35 a factor of m?
True
Suppose 3*z - 24 = 9. Let n(g) = g**3 - 10*g**2 - 4*g + 1. Does 18 divide n(z)?
False
Let i(g) = 250*g**3 + 3*g**2 + 23*g - 47. Is i(2) a multiple of 48?
False
Let r(p) = p**3 - 7*p**2 - 8*p - 2. Let g be r(8). Let y(w) = -5*w**3 - 3*w**2 - 5*w - 2. Does 9 divide y(g)?
True
Suppose -228 = -3*f + 513. Let g = -171 + f. Does 4 divide g?
True
Let m = 90 + 152. Is m a multiple of 15?
False
Let x(q) = q**3 - 16*q**2 + 14*q + 9. Let t be x(15). Is 1/t + (-511)/(-42) even?
True
Suppose -560 = -5*d + 4*z - 9*z, 0 = -5*z - 5. Let p = d - 28. Is 22 a factor of p?
False
Suppose 6*s - 27 = -3*s. Let k(y) = -y**3 - 4*y**2 + 2*y + 6. Let z be k(-4). Does 25 divide z/(1 - s) + 49?
True
Let i = -7 + 1. Let g be 7*-1 + (-24)/i. Is 14 a factor of (4 - -42) + g + 0?
False
Let y be (-2)/12*-9*-16. Let j = -21 - y. Suppose c + j*a - 54 = -0*c, 4*a - 281 = -5*c. Is c a multiple of 15?
False
Let b(g) = g**2 + g. Let j be b(-1). Suppose v + 5*t + 5 - 34 = j, -t - 15 = -5*v. Suppose 87 + 17 = v*d. Does 11 divide d?
False
Suppose q - 2*y = 35, -3*q + 3*y = -0 - 99. Let n = 55 - q. Is n a multiple of 4?
True
Let b(m) = -7*m**3 - 2*m**2 - m. Let h = -19 + 29. Suppose 7*a - 2*a = -h. Is 28 a factor of b(a)?
False
Let r = -80 - -157. Is r a multiple of 12?
False
Suppose 4*d + 1 = -5*z - 2, -5*d = 5*z. Suppose -651 + 75 = -3*m. Suppose 7*x - m = d*x. Is 13 a factor of x?
False
Suppose -265 = -3*w - 31. Is w a multiple of 13?
True
Let t(x) = -6*x + 54. Let q be t(6). Let v be (-4)/5*125/10. Let i = q + v. Is 8 a factor of i?
True
Suppose y - 20 = -4*y. Suppose -4*p - y*i + 256 = 0, -2*i + 124 = -3*p + 316. Is 16 a factor of p?
True
Is (-4)/(-2)*(-2652)/(-104) a multiple of 17?
True
Let u(n) = 31*n - 86. Is u(6) a multiple of 17?
False
Is (-12)/(-36) - (-3 - (-5141)/(-3)) a multiple of 101?
True
Suppose 75*w - 84931 = 22319. Is w a multiple of 10?
True
Suppose 19968 = 93*t - 77*t. Does 26 divide t?
True
Suppose 29*j - 8640 = 19*j. Is 48 a factor of j?
True
Does 8 divide 15/(-4)*(-560)/21*4?
True
Let n be -3*(1 + 166/(-6)). Let z = n + -130. Is (-36)/(-10)*z/(-15) a multiple of 4?
True
Let c(r) = -52*r + 16. Let p be c(6). Let m = p - -424. Is m a multiple of 39?
False
Let f = -68 + 448. Is 10 a factor of f?
True
Let y(i) = -i**2 + 15*i - 17. Let s be y(10). Let p be (s/44)/((-2)/(-8)). Suppose 3*g = -5*u + 85, 0 = -p*u - 7*g + 3*g + 40. Does 6 divide u?
False
Suppose 2*g - t - 2167 = 0, 2040 = 3*g + 4*t - 1238. Does 33 divide g?
False
Is 28 a factor of 117650/350 - (-2)/(-14)?
True
Suppose -2*g - 5*n + 9 = 0, 3*g - 7*g - 3*n + 39 = 0. Let b = 13 - 1. Suppose 0 = 3*h - b - g. Is 7 a factor of h?
False
Let n be 17*-2*1/2. Let v(w) = -24 + 23 - 22 + 20 - 2*w. Is v(n) a multiple of 4?
False
Suppose 5*i - 4*d - 1230 = 0, -4*d + 1230 = 5*i - 3*d. Does 5 divide i?
False
Let d(j) = -j**3 + 31*j**2 - 30*j + 52. Does 48 divide d(29)?
True
Suppose -22*t + 19*t = -15. Suppose s - q = 3*s - 23, -2*s - t*q = -35. Does 7 divide s?
False
Let q = 123 + -127. Let y(j) = 3*j**2 + 6*j + 7. Does 13 divide y(q)?
False
Let p(m) = 3*m**2 - 13*m - 1. Let y be p(5). Suppose -3*c + 6*c = 24. Suppose c*s = y*s - 18. Does 18 divide s?
True
Let f be (-20)/130 - 1*4/(-26). Suppose 3*m + 3*z = 289 - 91, f = -3*m + 4*z + 212. Is 8 a factor of m?
False
Let q = -32 + 31. Is ((-125)/10)/q*2 a multiple of 5?
True
Let j = 16 + -10. Let t be (-6)/(-36) + (-19)/j. Does 10 divide (-376)/(-40) - t/5?
True
Is 7 a factor of 8/(-40) + 417*56/10?
False
Suppose 5*j - 2733 = -0*j + k, 4*k = -4*j + 2172. Is j a multiple of 26?
True
Suppose 728 = -12*q + 1040. Is q even?
True
Let r(f) = 2*f**3 - 3*f**2 + 2*f - 2. Let u be r(-3). Let a = 33 + -84. Let z = a - u. Does 14 divide z?
False
Let z = 1366 + -686. Is 20 a factor of z?
True
Does 5 divide (-2 + 3)/((-1)/(-292))?
False
Let d = 98 + -14. Suppose d = 2*g - 124. Is g a multiple of 19?
False
Let k(j) = 198*j + 22. Does 19 divide k(2)?
True
Let i(q) = 29*q**3 - 4*q**2 - q + 6. Does 50 divide i(3)?
True
Let g be 3/(-3) + 3 + 3. Suppose -n = -g*j + 10, 3 = -5*n + 3*j - 3. Does 15 divide 11*3 - (-1 + n)?
False
Suppose -15*v + 10*v = 3*q - 389, 3*q - 85 = -v. Does 3 divide v?
False
Does 22 divide 10/5*(-13545)/(-18)?
False
Let m be 6*(30/(-4) + -4). Let h = 143 + m. Is 16 a factor of h?
False
Let s(k) be the third derivative of k**6/20 - k**5/12 + k**4/6 + k**3