-3*y**3 - y**2 - y + 4. Let d(x) = 3*f(x) + 4*w(x). Let b be d(1). Is 18 a factor of 4 - ((-50 - -4) + b)?
True
Let r = 54 + -42. Let i(d) = d + 7. Let c(w) = -w - 6. Let q(j) = -4*c(j) - 3*i(j). Does 15 divide q(r)?
True
Suppose u = 5*q - 24 - 5, 5*u + 20 = 0. Let v = 8 - q. Is (44/10)/(v/30) a multiple of 22?
True
Suppose -9052 - 9772 = -13*c. Is c a multiple of 49?
False
Let w = 90 + -46. Let n = 63 - w. Does 13 divide n?
False
Let y(a) = 4*a**2 + 5*a + 17. Is 37 a factor of y(-9)?
True
Is 616/(-120) + 2/15 - -573 a multiple of 19?
False
Suppose 10*o = 2*y + 11*o - 4573, -6858 = -3*y - 2*o. Is y a multiple of 13?
True
Let s = -609 + 1225. Does 56 divide s?
True
Suppose 10*f - 900 = -140. Is f a multiple of 38?
True
Let y = 978 - 698. Suppose o - 5*o - 16 = 0, c + o = -y. Does 23 divide 1/(4*(-3)/c)?
True
Suppose m + 4062 = -2*q + 7*q, 5*m + 10 = 0. Does 15 divide 4/(-36) - q/(-18)?
True
Let l(t) = 0*t**2 + 2 - 49*t + t**2 + 56*t. Is 10 a factor of l(7)?
True
Let i(j) = 160*j**3 - 6*j + 6. Does 20 divide i(1)?
True
Suppose 0 = 62*p - 70*p + 8720. Is 12 a factor of p?
False
Let n = -1086 - -1513. Is 61 a factor of n?
True
Let o(t) = -4*t. Let z be o(-3). Let k = -9 + z. Suppose -5*c + 71 = -2*d - 124, 5*c - k*d - 195 = 0. Is 27 a factor of c?
False
Let m be (608/(-24))/((-2)/3 + 0). Let g = -19 + m. Is 5 a factor of g?
False
Let o(c) = c - 5. Let i(l) = l**3 + 6*l**2 - 4*l - 15. Let r be i(-6). Let x be o(r). Suppose 2*h + 120 = 5*f, -4*f + 9*f - 90 = -x*h. Is 22 a factor of f?
True
Let j(y) = 2*y**3 + 80*y**2 + 28*y + 75. Does 81 divide j(-39)?
True
Let a = -1 - -5. Let n be (-175398)/8 + 3/a. Is 29 a factor of n/(-238) - (-4)/(-34)?
False
Suppose -2*b + 5*t - 22 = -1, -15 = -3*t. Let p(z) = -71*z + 16 - z**b + 4 + 88*z. Is 13 a factor of p(14)?
False
Does 12 divide (3/(-8))/(3/(-36))*26?
False
Let s = 55 - 502. Let l = -228 - s. Let r = l - 144. Does 15 divide r?
True
Suppose -3*o - 33 = -0*u - 3*u, 2*o + 10 = u. Suppose 0 = 9*j - u*j + 252. Is 10 a factor of j?
False
Let g(p) = -81*p + 1291. Does 37 divide g(-8)?
False
Suppose y - 249 = 4*r, -4*y + 1017 = -7*r + 12*r. Does 15 divide y?
False
Suppose -2*h + d = 4*d + 345, 5*h - 4*d + 828 = 0. Is ((-10)/15)/(2/h) a multiple of 5?
False
Let p = -36 + 7. Let y be p - 3/(-12)*-4. Does 2 divide y/4*8/(-12)?
False
Let b = -52 + 32. Let m = 20 - b. Does 5 divide m?
True
Let z(t) = t**2 - 15*t + 7. Let o be z(9). Let l = o - -89. Does 9 divide l?
False
Let y(z) = z - 1. Let v(n) = -5*n + 7. Let q(k) = -6*v(k) - 34*y(k). Let x be q(-4). Suppose 0 = -4*p - f + 23 - 4, 2*p + 4*f = -x. Does 4 divide p?
False
Let q(h) = 3*h - 39. Let g be q(14). Suppose -5*w - l + 540 = 0, 8*l = g*l. Is w a multiple of 27?
True
Let l(q) = q**2 - 2*q. Let p(w) = w + 28. Let r be p(-12). Let t be (3/2)/((-12)/r). Is 7 a factor of l(t)?
False
Let a(h) = 2*h**2 + 43*h + 23. Is 18 a factor of a(-25)?
True
Let v be -4 - 117/(-6)*138/9. Suppose v = -4*w + 1123. Is 47 a factor of w?
False
Suppose 5*k - 123 = 3*b, -b = -5*k - 3*b + 118. Is k a multiple of 8?
True
Let l(n) = -n**3 - 2*n**2 + 3*n + 4. Suppose -2*v - 15 = 3*v. Let y be l(v). Is -2 + 1 + y - -11 a multiple of 6?
False
Let b(q) = 7*q - 57. Let l be b(9). Suppose -3*r + l*r = 558. Does 14 divide r?
False
Let d(j) = 1 - 49*j**2 + 108*j**2 - 47*j**2. Does 10 divide d(2)?
False
Let x(m) = 720*m - 55. Is x(1) a multiple of 28?
False
Let u(h) = 11*h - 3. Suppose 21 = 4*a - 3*k, -5*a + 18 = -0*k - k. Let m be u(a). Suppose -z + m = -10. Is 10 a factor of z?
True
Let d(j) = 82*j**2 + 21*j + 96. Is d(-5) a multiple of 19?
False
Let j(t) = -t**2 - 22*t + 16. Suppose -5*k - 44 = 2*s, -k - 2*s + 2 = 6. Let g be j(k). Suppose 4*z + 12 = g. Is 14 a factor of z?
False
Suppose 85*c - 67*c = 22806. Is 19 a factor of c?
False
Let b = 14 - 21. Let s be 15/4 + b/(-28). Is s/26 + 362/13 a multiple of 13?
False
Let n = 29 - 27. Suppose -3*l - n*l + 215 = 0. Is l a multiple of 12?
False
Let g = -113 - -247. Does 67 divide g?
True
Let n = 3389 - 1731. Is n a multiple of 76?
False
Let i(g) = -4*g - 30. Let c be i(-5). Let w = c - -23. Is 13 a factor of w?
True
Let b = -21 - -15. Does 5 divide (30*1/(4/b))/(-1)?
True
Suppose 0 = 4*i - 3*t - 18, 3*i + 2*t + 1 = 6. Let l be -5*(5 - i)/2. Let h(f) = 2*f**2 + 4*f. Does 23 divide h(l)?
False
Suppose g + 176 = -4*t + 10, 0 = 3*g + 6. Let f be (t/3)/((-9)/27). Suppose 11 - f = -5*w. Is 6 a factor of w?
True
Is 2 a factor of (-14)/(-4 - (-6 + 4))?
False
Suppose 3*c = 4*v + 3799, -4*c + c - 4*v + 3815 = 0. Is c a multiple of 9?
True
Let d = 117 - 99. Is d a multiple of 11?
False
Let g(m) = 7*m**2 - 1. Let k be g(1). Suppose -3*a - k*a = -540. Does 15 divide a?
True
Let o(s) = 15*s**2 - 23*s - 1. Let v be o(-8). Let n = v - 812. Does 15 divide n?
False
Let s(a) = -a**3 - 13*a**2 - 12*a + 9. Suppose -2*h - 2*f = 16 + 4, 5*f - 10 = 0. Is s(h) a multiple of 2?
False
Let m = -304 + 336. Is m even?
True
Let g be (3 - 1)/(2/13). Suppose x + 15 = -g. Let c = 45 + x. Is 17 a factor of c?
True
Suppose -2*z = 290 + 260. Let f = 413 + z. Suppose d + 3*s - 20 = 0, -3*d + 4*s = 2*d - f. Does 8 divide d?
False
Let z(v) = -4*v**2 - v - 2. Let q be z(-4). Let h be (7 - q) + (-6)/2. Let w = h + -47. Does 11 divide w?
False
Suppose -2*l - 4*a = -52, 3*l - 2*l - 2*a = 6. Suppose 13*u - l*u + 9 = 0. Is ((-2)/(-4))/(u/126) a multiple of 21?
True
Let n = -175 - -271. Does 6 divide n?
True
Let p be 379/(-2) - (-4)/(-8). Let i = p + 272. Is i a multiple of 11?
False
Let f(t) = 24*t - 12. Let y(m) = 49*m - 24. Let z(w) = 5*f(w) - 3*y(w). Is 33 a factor of z(-2)?
True
Let y(x) = x**3 + 12*x**2 + 11*x + 8. Let p be y(-11). Let v = p + 22. Suppose -4*m = -m - v. Is m a multiple of 5?
True
Suppose -2*v + 196 = 4*y, -2*v = -v - 2. Is 12 a factor of y?
True
Suppose 0 = -12*d - 326 + 866. Does 15 divide d?
True
Let y(a) = 8*a - 2. Let s be y(19). Let g = s + -6. Is g a multiple of 8?
True
Let n(v) be the third derivative of v**6/120 - v**5/30 - 5*v**4/24 - 5*v**3/6 - 4*v**2. Does 9 divide n(5)?
True
Let k = -1178 + 2644. Is 26 a factor of k?
False
Let i = 151 - 151. Suppose 2*b - 30 = -i*b. Is 15 a factor of b?
True
Let q(y) = 2*y**2 + 7*y - 2. Let w be q(-4). Is 8 a factor of 13/(2/w) - 5?
True
Suppose -r + g - 67 = -4*r, -4*g + 52 = 3*r. Suppose 4*z = -2*a - r, 3*a - z = -12 - 3. Does 15 divide (-622)/a + (-11)/(-33)?
False
Suppose 0*b - 5*b = 0. Let u(k) = k**2 - 1. Let o be u(b). Does 4 divide 2*-2*o + 0?
True
Let a = 11 - 5. Let s be 632/6 - 2/a. Suppose 2*y - s = -y. Is y a multiple of 7?
True
Suppose 12*r = -6*r + 1008. Does 10 divide r?
False
Suppose 98 + 6 = -2*a. Suppose -2*l - 2*l - 22 = 5*j, -3*j - l = 9. Is 8 a factor of ((-3)/(-2) + j)*a?
False
Suppose -323 = -23*y + 3127. Does 6 divide y?
True
Let x be 4/6 - 790/(-30). Suppose -x*i - 170 = -29*i. Does 17 divide i?
True
Let g(x) = -x**3 + 17*x**2 + x - 25. Let t be g(17). Does 42 divide (126/t)/(21/(-56))?
True
Suppose 46*b = 55*b - 756. Does 28 divide b?
True
Let g(x) = x**3 + 3*x**2 - 4*x + 3. Let u be g(-4). Let o(s) = -1. Let k(n) = n - 1. Let j(w) = u*k(w) - o(w). Does 4 divide j(6)?
True
Suppose 0 = -5*d + 137 - 47. Suppose 0 = -d*f + 7*f + 2123. Is f a multiple of 25?
False
Is (-26)/(1/(-1*(-6)/(-12))) a multiple of 9?
False
Suppose 310 = 14*f - 1748. Is 21 a factor of f?
True
Let a = -47 - -30. Let n = 44 + a. Let d = n + 27. Is d a multiple of 22?
False
Let b(x) = 2*x**2 + 2*x + 6. Suppose -4*c = 2*c - 30. Suppose 0 = 2*h - c*h - 9. Does 6 divide b(h)?
True
Suppose 0 = -15*r - 1494 + 4299. Is 17 a factor of r?
True
Suppose -4*j + 145 + 83 = 0. Suppose -6*l + 3*l + j = 0. Is 3 a factor of l?
False
Let f be (-3)/12*(-17 - -5). Suppose 6 = -f*z + 2*z + 2*v, 4*z - 3*v + 49 = 0. Let l = 5 - z. Is 7 a factor of l?
True
Is -10 - 2 - -18 - -1101 a multiple of 9?
True
Let o = 40 - 17. Suppose -g - 19 = -3*c + g, 5*c + g = o. Let r = 13 - c. Is r a multiple of 3?
False
Let j(z) = -2*z**3 + 36*z**2 + 10*z - 70. Is 9 a factor of j(17)?
False
Suppose -5*f - 2*y = 56, 4*f - 3*f + 4*y = -22. Let c(g) = -g**2 - 11*g + 13. Does 7 divide c(f)?
False
Is 14 a factor of (14/(-3))/((-33)/1980)?
True
Suppose 0 = 3*v + 5*w - 691, 5*v + w - 1368 + 209 = 0. Suppose v - 10 = 3*c. Let i = c - 38. Is 12 a factor of i?
True
Suppose 0*c