= 3*g + 10, -3*g + j = -2*j + 12. Let h(s) = s**2 + 4*s - 2. Is 5 a factor of h(g)?
True
Let q = -1525 - -2361. Is q a multiple of 22?
True
Let i(m) = 8*m**2 + 1. Let p be i(1). Suppose -3*j - 54 = -p. Let f(k) = k**2 + 14*k + 5. Is 10 a factor of f(j)?
True
Let y(f) = -f**3 + 3*f**2 + 13*f - 5. Let i be y(5). Does 14 divide ((-15)/6)/((-1)/i)?
False
Let a be -3 - (-158)/(-22) - (-6)/33. Let q(n) = -3*n + 10. Is 6 a factor of q(a)?
False
Suppose -4*t + 2*o - 15 = 7, -5*t - 2*o - 14 = 0. Let c(j) = -62*j - 5. Does 27 divide c(t)?
True
Let r(z) = z**2 + 4*z - 8. Is 21 a factor of r(12)?
False
Let t(a) = 10*a**3 + 25*a**2 + 18*a + 42. Let i(r) = 1 + 82*r**2 - 20*r + 8*r - 29 - 7*r**3 - 99*r**2. Let q(z) = 7*i(z) + 5*t(z). Does 11 divide q(-4)?
True
Let y(h) = 9*h + 1. Let w(p) = -28*p - 3. Let u(t) = 4*w(t) + 11*y(t). Let m be u(-2). Let x = m - 3. Is 21 a factor of x?
False
Let d(m) = -31*m - 930. Is d(-77) a multiple of 47?
True
Suppose 7*l - 3272 = 12191. Does 47 divide l?
True
Let p be -1*6/2*-1. Suppose -2*x - 756 = -6*x. Suppose -x = p*g - 6*g. Is g a multiple of 21?
True
Let v = 1485 - -2562. Does 19 divide v?
True
Suppose 25 = -0*l + 5*l. Suppose 2*h - l*h = v + 11, -4*v + 5*h = 95. Does 29 divide (-5)/2*696/v?
True
Suppose -3*k - 63 = -q - 2*q, -4*k - 5*q = 75. Let y(a) = 3*a + 27. Let m be y(7). Is 1 - 5/(k/m) a multiple of 13?
True
Suppose a = -5*a - 132. Let p = -20 - a. Suppose 0*w + 4*w + 16 = 0, p*b - 4*w - 74 = 0. Does 29 divide b?
True
Suppose 0 = 22*w - 18*w + 16. Let z(b) = -b**3 - 5*b**2 - 9*b + 3. Is 3 a factor of z(w)?
False
Suppose 4*g + 107 = -49. Let i = g + 71. Does 8 divide i?
True
Suppose 0 = -4*c + 2*l + 4, -l = 2*l - 6. Suppose 3*u + 300 = -c*u. Let w = u + 146. Is 31 a factor of w?
False
Suppose 0 = -29*m + 23*m + 1518. Does 23 divide m?
True
Let p be 127*5/15*3. Suppose 0 = -3*u + c + 259, 2*u - 5*c + 2*c - 182 = 0. Let v = p - u. Is 21 a factor of v?
True
Let g(f) = 42*f - 29. Let t be g(8). Let y = -209 + t. Is y a multiple of 6?
False
Let d(u) = -24*u**3 - 2*u**2 + u. Let o be d(1). Let z = o - -47. Suppose 0 = 3*v - z - 11. Does 11 divide v?
True
Let y = 6 + -5. Let p be (-477)/(-3)*y - 0. Suppose 93 = 3*x - 3*w + 2*w, -5*x + 3*w + p = 0. Is x a multiple of 30?
True
Let j = 1424 - -136. Is j a multiple of 30?
True
Let g(v) = -3*v**2 - 4*v. Let b(i) = -4*i**2 - 4*i. Let h(a) = -5*b(a) + 6*g(a). Is h(3) a multiple of 4?
False
Let x = -111 - -203. Suppose -2*k = 7 - 13. Suppose k*b - x = -b. Is b a multiple of 11?
False
Suppose -5*a - 2*a = -a. Suppose a = y + 7 - 21. Is y even?
True
Let n = -88 - -91. Suppose -46 = -m - 4*k, 190 = n*m - 7*k + 6*k. Is 4 a factor of m?
False
Let t(o) = -o + 2*o + 30 - 10. Does 9 divide t(-11)?
True
Let r = 40 - 21. Suppose 81 = 20*s - r*s. Does 27 divide s?
True
Let m = 21 + -21. Suppose 2*d - 3*d + 100 = m. Is 25 a factor of d?
True
Suppose 23 = -r - 76. Is 19 a factor of (-1899)/r + 2/(-11)?
True
Suppose 29 = -3*a + 4088. Is a a multiple of 25?
False
Suppose -11 = f - 2. Let x(q) = q**3 + 8*q**2 - 8*q + 5. Let d be x(f). Is 12 a factor of (3 + d + 0)*-46?
False
Let b = 1051 + -703. Does 3 divide b?
True
Let b(h) = h**2 - 2*h - 4. Suppose -3*u - 1 = 5. Let p be b(u). Suppose 0 = 5*s - 2*f - 73, s - p*f - 7 - 4 = 0. Is s a multiple of 11?
False
Is 1/(-20) - 14743/(-460) a multiple of 4?
True
Let d be (2/(-4))/(1/(-14)). Suppose 0 = g + 4*q - 12, -g + 7*q - 3*q = -12. Suppose -g = -y - d. Is 3 a factor of y?
False
Suppose 9*r - 21360 = 16440. Does 14 divide r?
True
Suppose -2*v = -5*z + 2*v + 6363, -3*z - 4*v = -3837. Is 13 a factor of z?
False
Suppose -d + 1 + 3 = 0. Suppose 8 = 5*m - g + 5*g, 4*m = -2*g + d. Suppose 24 = 2*y - 4*s, y + m*y - 9 = 3*s. Does 9 divide y?
True
Let z be 2/((64/180)/8). Suppose -2*d + 10 = -4*m, 0*d = -2*d - 3*m + z. Is 2 a factor of d?
False
Suppose 3*m - v - 299 = 11771, 3*m - 12062 = -v. Does 28 divide m?
False
Suppose 3*g + 2*h - 2121 = -2*g, 1254 = 3*g - 5*h. Does 47 divide g?
True
Let d = -2 - -5. Is d*-38*(3 + -4) a multiple of 19?
True
Let j(s) = -10*s**2 + 1. Let d be j(1). Let x(r) = r**2 - 4*r**2 + 2*r + 0*r**2 + 115*r**3 + 13*r**2 - 114*r**3 - 9. Is x(d) a multiple of 9?
True
Suppose -7*v = -v - 912. Is 38 a factor of v?
True
Suppose -3*d + 2*d + 349 = 0. Let j = d - 240. Is j a multiple of 25?
False
Suppose -3*m - 4*p = -8*p - 437, 2*m - 4*p = 290. Is 10 a factor of m?
False
Let m = 1449 + -666. Is 19 a factor of m?
False
Let s = -4 + 7. Suppose -5*n - 6*p + 795 = -11*p, 321 = 2*n - p. Suppose -n = -0*u - s*u. Is u a multiple of 18?
True
Let i = -49 - -53. Let u = i - 1. Is u a multiple of 3?
True
Suppose 0 = 8*x - 6*x + 4*n - 576, -5*x + 1467 = n. Is x a multiple of 3?
True
Let i = -138 + 186. Does 6 divide i?
True
Let t be -45*1/3*(10 - 11). Let d(m) = m**2 - 10*m - 61. Is 14 a factor of d(t)?
True
Is 43 a factor of (-14932)/(-60) + (-8)/(-60)?
False
Suppose -8 = -s - 2. Suppose 2*k = -0*k + s. Suppose c = -k*m - 4*c + 205, c + 4 = 0. Is 15 a factor of m?
True
Suppose -d - 144 = -3*n, n = 3*n + 4*d - 82. Suppose -n*g - 1435 = -52*g. Is g a multiple of 41?
True
Is (1*32/(-24))/((-2)/384) a multiple of 11?
False
Let w(y) = 7*y**3 - 4*y + 6 + 230*y**2 - 228*y**2 + 3*y. Is w(3) a multiple of 42?
True
Let z(m) = -2*m + 14. Let y be z(-10). Let x = 6 - 2. Let d = y - x. Is 10 a factor of d?
True
Let g(b) = b**3 + 11 + 4*b + 2*b - 2*b**3 - 12*b - 11*b**2. Is 11 a factor of g(-11)?
True
Let s(v) = 64*v - v**2 + 53*v - 135*v + 21. Is s(-15) a multiple of 11?
True
Let d(l) be the first derivative of 11*l**5/120 - 5*l**4/24 + l**3/3 - 1. Let h(p) be the third derivative of d(p). Does 25 divide h(5)?
True
Let w(r) = -470*r - 94. Does 48 divide w(-5)?
True
Let r(c) = 1. Let u(m) = 4*m - 39. Let n(b) = -20*b + 194. Let q(j) = -6*n(j) - 28*u(j). Let a(v) = -2*q(v) - 144*r(v). Is a(-2) a multiple of 12?
False
Suppose 0 = 90*b - 119*b + 37062. Does 9 divide b?
True
Let p = -1577 - -1703. Is 18 a factor of p?
True
Suppose -6*s + 28 = -236. Suppose 4*o + p = -4*p + s, 2*p = -o + 14. Does 6 divide o?
True
Suppose 0 = 3*g + 6, 3*g = 2*k - k - 8. Suppose 0 = -5*v + 2*q + 130, 3*v + q - 113 + 46 = 0. Let j = v - k. Is 6 a factor of j?
False
Suppose -1885 = -5*y - t + 12444, 0 = 2*t - 8. Is 24 a factor of y?
False
Suppose 2*j + 14 = 3*j. Let b be 38/j - (-4)/14. Suppose -3*h - 462 = -5*v, 3*v + v = -b*h + 375. Is 20 a factor of v?
False
Let u be 5*1*11/((-165)/(-408)). Is (-4 - -19)*u/20 a multiple of 17?
True
Let b be (-153)/1 + 6/6. Let n = b - -214. Is 18 a factor of n?
False
Let m = -12 - -19. Let s = -5 + m. Suppose -t - s*b + 9 = -5, 2*b = 4. Does 4 divide t?
False
Does 12 divide 90/(-315) - 2/(-14)*254?
True
Let f(j) = 3*j + 31. Let g be f(-8). Suppose -g*r + 89 = -611. Does 17 divide r?
False
Let p be (2/(12/(-3)))/((-4)/16). Let v(x) = 9*x**3 + 2*x**2 - x + 4. Is v(p) a multiple of 37?
False
Let n(u) = u - 8. Let l(h) = -8*h - 6. Let z be l(-2). Let r be n(z). Let j(f) = 7*f**2 - 3*f - 2. Does 5 divide j(r)?
True
Let z(n) = -10*n - 1. Let w be z(-5). Let l(x) = 2 + 11*x + 55*x**2 - 5*x - w*x**2. Is l(-4) a multiple of 15?
False
Let h be 2 + (0 - 3) - (-14)/7. Is 8 a factor of 6 + -4*1/h + 78?
True
Let a be (-3 - -1) + (-6)/(2 - 8). Let w(p) = 179*p**2 + p + 2. Is w(a) a multiple of 33?
False
Let u = 33 + -31. Suppose 3*b - u*b = 84. Is 21 a factor of b?
True
Let d(j) = 37*j**2 + 22*j + 92. Is d(-6) a multiple of 26?
False
Let v(a) = -a**3 + 4*a**2 + 19*a - 4. Let m be v(6). Suppose -5*k + 391 + 159 = 0. Let x = k - m. Does 18 divide x?
True
Suppose -4*b + 8 = 2*v, 0*b + 4*b + v = 12. Is b a multiple of 4?
True
Let k(w) be the third derivative of w**6/120 - 2*w**5/15 + w**4/3 + w**3/2 + 6*w**2. Let f be k(9). Suppose 0 = -6*c - 0*c + f. Is 24 a factor of c?
False
Let m(k) = -4*k**2 - 19*k + 22. Let q(c) = -5*c**2 - 20*c + 23. Let s(w) = 6*m(w) - 5*q(w). Let g be s(13). Is 167/8 + g/32 a multiple of 7?
True
Suppose 3*w - 196 - 20 = 0. Let o = 0 + w. Does 14 divide o?
False
Let x(k) = -k**2 - 2*k + 1. Let o be x(-4). Let z be 21/126 - (590/12 + -1). Is 13 a factor of o*(1 - z/(-4))?
False
Let p(o) = -75*o**3 + 2*o**2 + 2*o - 8. Is 39 a factor of p(-3)?
False
Let u = 596 - 225. Is u a multiple of 7?
True
Suppose 0 = -2*i - 5*i + 56. Is (i/5)/(12/270) a 