 + 208 + 240 = j. Suppose -4*n + 0*n = -f. Is n a multiple of 14?
True
Let q(h) = 2*h - 6. Let n be q(4). Let x(r) = -r**3 - r**2 + r + 5. Let z be x(0). Suppose z = n*y - 25. Is 5 a factor of y?
True
Let f(h) = h**3 - 12*h**2 + 12*h - 4. Let p be f(8). Let s = -74 - p. Suppose -i - 4*i = -s. Is i a multiple of 3?
True
Is 22 a factor of (6/(-18))/(10/(-40920))?
True
Let d be 412/26 - (-4)/26. Suppose -d = 3*c + 2*h, 3*c + h = -2*c - 15. Is 5 a factor of c/(21/27 - 1)?
False
Suppose 1910 = 5*q - 3*a - a, 0 = q + 3*a - 363. Is 42 a factor of q?
True
Let t = -677 - -1559. Does 49 divide t?
True
Let c(f) = -f**3 - 7*f**2 + 49 - 10*f**2 - 4 + 16*f. Is c(-18) a multiple of 7?
False
Let h = 104 - 41. Does 23 divide h?
False
Let r = 0 - -13. Let z = r + -12. Is 33/(-11) - (z + -34) a multiple of 10?
True
Suppose -d + 3 = r, 2*d - 5*r = -6 + 5. Suppose -7*b + 360 = -d*b. Does 5 divide ((-4)/6)/((-2)/b)?
False
Let l(z) = -z**2 + 12*z + 7. Suppose 0 = -0*n - n - 4*b + 1, -3*n = b - 47. Let q = 25 - n. Is 10 a factor of l(q)?
False
Let y(j) = -20*j + 4. Let b be y(-6). Suppose 0*v + 2*v - 4*d = b, -8 = 2*d. Suppose 0 = -2*g - h + 89, -3*h + 279 - v = 5*g. Is g a multiple of 14?
True
Let b = 981 + -717. Does 44 divide b?
True
Suppose 0 = 12*t - 24*t + 4164. Does 31 divide t?
False
Let k(l) = -2*l**3 - 34*l**2 + 3*l + 38. Let j be k(-17). Let u = 43 + j. Is u a multiple of 5?
True
Let x(d) be the first derivative of d**4/4 - 6*d**2 - 5*d - 4. Does 20 divide x(5)?
True
Suppose w + w + 2*l = 6, -3*w = -4*l + 5. Let i(x) = 0*x + x + w - 6*x. Is 12 a factor of i(-7)?
True
Let r(y) = -y**2 + 14*y + 14. Suppose -16 = -2*x - 3*j, 4*x = -2*j + 51 - 3. Is r(x) a multiple of 5?
False
Suppose 5*c - 5*q = 1570, 6*c - 3*c + 4*q = 921. Suppose -h + 3*h + 3*n - 287 = 0, 2*h - c = 5*n. Is h a multiple of 37?
True
Suppose -4*a + 7*a = 4*o - 7, -2*a + 10 = o. Suppose 118 + 182 = o*j. Does 27 divide j?
False
Let n(p) be the third derivative of -5*p**4/24 + 5*p**3/3 + 22*p**2. Suppose 22 = -2*i + 2*d, 5*i + 3*d + 13 = -34. Is 11 a factor of n(i)?
False
Let h = -32 + 44. Suppose -h = 2*v - 186. Is v a multiple of 23?
False
Let j(y) = 17*y**2 - 5 - 19 - y + y**3 - 3*y + 0*y**3. Is j(-17) a multiple of 23?
False
Let x be 1476/21 - 10/35. Suppose 0 = -2*v + 3*s + 31, -4*v + x = -s - 7. Is 6 a factor of v?
False
Suppose -3*i - 7*j + 15 = -2*j, 4*i - 2*j = -6. Let d(n) = n**3 - n**2 - n + 21. Is d(i) a multiple of 10?
False
Let q(p) = p**2 + 6*p + 6. Suppose -4*v - 3*k + 1 = 0, -4*v = -5*k - 24 - 17. Let n be (-126)/(-12)*v/(-6). Is q(n) a multiple of 11?
False
Is 2 - (-72)/(-54)*45/(-2) a multiple of 16?
True
Suppose 5*c + 4*l = 0, 14*l - 15*l = 3*c. Let w(s) = 3*s - 96. Let n(q) = 2*q - 48. Let x(v) = 5*n(v) - 3*w(v). Does 39 divide x(c)?
False
Suppose 5*m + 4*q = 222, 2*q - 216 = -7*m + 2*m. Does 17 divide m?
False
Suppose 18 + 81 = 3*t. Let d = -18 + t. Let l = 13 + d. Does 10 divide l?
False
Let z(b) = -41*b**3 - 5*b**2 + 1. Does 50 divide z(-2)?
False
Let d(m) = 5*m - 25. Suppose 3*v + 72 = 4*w - 0*w, -2*v = -4*w + 68. Is d(w) a multiple of 18?
False
Let c(l) = 18*l**3 - l**2 + 4*l - 3. Let d be c(1). Does 4 divide 4/(-36)*-353 - 4/d?
False
Let v(a) = 8*a**2 + 25*a + 41. Is v(-13) a multiple of 100?
False
Suppose 3*r - 777 + 161 = 5*k, 3*r + k = 640. Is r a multiple of 4?
True
Let p be 0/(3/(0 + -3)). Suppose p = -2*k - k + 180. Suppose 3*r - 2*r - k = 0. Is 21 a factor of r?
False
Let b(r) = 2*r + 1. Let s be b(3). Suppose 2*i - s*i + 190 = 0. Is 38 a factor of i?
True
Suppose f - 3*o - 51 = -20, -2*f + 5*o = -60. Suppose -5*r - 4*c = 5 - f, r + c = 4. Suppose 12 + 4 = 2*q - u, 0 = 2*u + r. Is q a multiple of 7?
True
Let j = -20 - -20. Suppose -283 = -2*r - 4*s + 5*s, -3*r - 2*s + 442 = j. Does 18 divide r?
True
Let l(c) = -7*c**3 + 6*c**2 - 21*c + 15. Is 32 a factor of l(-7)?
False
Suppose -3*m + 416 = m. Does 13 divide m?
True
Suppose 3*s - 1337 = -f, 2*s + 10*f - 6*f - 898 = 0. Is s a multiple of 28?
False
Let n(g) be the first derivative of g**3/3 + 11*g**2/2 + 24*g - 16. Is 18 a factor of n(-12)?
True
Let l(n) be the third derivative of -7*n**4/24 + 2*n**3/3 - n**2. Let p be l(4). Is 3 a factor of (0 - p)*(-1)/(-3)?
False
Let w(l) = l**3 + 13*l**2 + 2*l - 22. Let p be w(-12). Let s = -73 + p. Does 5 divide s?
True
Let n = 605 + -61. Is 32 a factor of n?
True
Let i = -114 - -213. Does 25 divide i?
False
Let g(q) be the first derivative of -q**2 - 4*q + 2. Let v be g(-2). Suppose -h + 3*f + 15 = v, 0*h + 2*f + 30 = 4*h. Is 2 a factor of h?
True
Let o be 4/(-1) + (-3 - 127). Let w be -1*3/(9/(-645)). Let g = o + w. Is g a multiple of 29?
False
Does 13 divide 774/1 + 28/(-4)?
True
Does 2 divide (-5)/(-15) - (-204)/9?
False
Let q(z) = 4*z**2 + 14*z - 19. Let j be q(-9). Suppose j = 7*p - 45. Is 8 a factor of p?
True
Suppose -p = -2*p + 18. Let b be (-3*1)/(p/(-24)). Suppose 3*w - b*y - 102 = -18, -5*w + 5*y = -145. Is 8 a factor of w?
True
Let u = 235 + -142. Does 13 divide u*(5 + -3 + -1)?
False
Let g be (0 - (-4)/(-14)) + (-4518)/63. Suppose -3 = 4*k - k. Is 9 a factor of (g/(-10))/(k/(-5))?
True
Suppose 5*x + 50 = -15. Let q = x - -57. Is 22 a factor of q?
True
Suppose -1178 = -2*t + 1024. Does 32 divide t?
False
Let a be (1 + 0)*(4 - 4). Suppose -3*t - 3*q + 109 = -7*q, a = -5*t + 3*q + 178. Suppose t = -d - 5*g + 94, 3*d + g = 191. Is 16 a factor of d?
True
Let c(k) = 4 - 1 + 6 + 11 - 18*k. Is c(-7) a multiple of 11?
False
Let t(l) = l**3 - 4*l**2 + 3*l - 1. Let a be t(5). Let g be (6/12*0)/(-2). Suppose -3*d + g*d + 9 = 0, -a = -o + 2*d. Is o a multiple of 15?
True
Does 10 divide 7/(-119) + (-552888)/(-238)?
False
Let z(d) = d - 7. Let a be z(12). Suppose -2*o + 0 + 10 = -2*n, -2*o + a*n = 2. Is 3/o*-22*-3 a multiple of 8?
False
Suppose -3*g + 12 = 3*q, -q - 4 = -2*g + 10. Let u(b) be the first derivative of 5*b**2/2 - 7*b - 2. Is 9 a factor of u(g)?
False
Suppose 0 = -g, 3*g = 4*b - 6*b + 8. Suppose 5*i - t - 197 = 3*t, -145 = -b*i - t. Is 9 a factor of i?
False
Suppose d - 4*h - 195 = 0, -766 = -4*d - 11*h + 13*h. Is 2 a factor of d?
False
Let k(t) = 13*t + 34. Let y be k(-4). Is (-24)/y + (-113)/(-3) a multiple of 6?
False
Let c = 2303 + -1268. Is 15 a factor of c?
True
Let u be 1/(-4) - (-2)/8. Let x = 3 + u. Suppose 0*v - x*s + 75 = 2*v, 4*s = 4. Is 18 a factor of v?
True
Suppose 2*b - 4*b = -4. Suppose 3*y = -b*j + 40, 7*y - 84 = -4*j + 3*y. Is j a multiple of 5?
False
Suppose -1 = 3*l - b, -2*l + b = -0*b + 2. Suppose -2*z - 14 = -4*h, -4*h - 3*z + 8 + l = 0. Does 3 divide 3 + 2 + (1 - h)?
True
Let p be 120/36*(-12)/(-10). Suppose -2*t - 4*a = -120, p*a = -0*a + 12. Let g = t - 36. Does 11 divide g?
False
Suppose 0 = -2*i - 4*i - 84. Let d be (-4)/28 - 58/i. Suppose -173 = -3*g + d. Is 15 a factor of g?
False
Suppose 15*g = 4*g + 10032. Is 47 a factor of g?
False
Let g(w) = 3*w**2 - 1. Let b be g(-1). Suppose b*i - 7*i + 140 = 0. Is i a multiple of 19?
False
Let v(o) = o**3 + 16*o**2 - 24*o - 19. Let i be v(-17). Is 5 a factor of (-42)/(-4)*i/15?
True
Suppose 78*h = 73*h + 5250. Suppose -g - 2*r + 210 = 0, 2*g - 7*g + 5*r + h = 0. Is g a multiple of 30?
True
Let n(y) = 2*y**2 - y - 3. Let c be n(4). Suppose -2*l + p = -10, p - 5*p + c = 5*l. Suppose 5*t - l*i - 137 = -22, -31 = -t - 3*i. Does 16 divide t?
False
Let o(d) = -4*d**2 - 5*d + 28. Let g(m) = -5*m**2 - 5*m + 28. Let a(r) = -5*g(r) + 6*o(r). Is a(7) a multiple of 9?
False
Suppose 2*v + 3*v - 77 = -b, -2*v + 40 = 5*b. Suppose -8*t = -3*t - v. Is (-17)/((-4)/12*t) a multiple of 17?
True
Suppose 0 = -13*r + 7*r. Suppose -3*b + 75 = 4*h, 5 + r = b. Does 15 divide h?
True
Let z(k) = -k - 19. Let y be (-20)/50*1*25. Let g be z(y). Let s = -6 - g. Does 3 divide s?
True
Let b(n) = 2267*n**3 - 4*n**2 + 5*n. Is b(1) a multiple of 28?
True
Let f(m) = 19*m**3 - 2*m**2 - 7*m + 1. Is f(3) a multiple of 42?
False
Suppose 1405 = 12*d - 1907. Suppose -10*m + d = -4*m. Is m a multiple of 23?
True
Let h = -459 + 483. Is 2 a factor of h?
True
Let q(z) = 75*z + 4. Let l(r) = 150*r + 8. Let p(f) = 3*l(f) - 5*q(f). Let u be (10/(-45))/(2/(-18)). Does 41 divide p(u)?
False
Suppose -5*m + 4*q + 145 = 0, 2*m + 4*q + 29 = 3*m. Let l = m - 10. Suppose -l - 31 = -5*u. Is 3 a factor of u?
False
Suppose x - m + 25 = -2*x, 3*x + 4