3). Suppose -k = -7*g + 4*g. Does 14 divide 45 - (3 - g) - 2?
False
Suppose -2*v - 4 = n, n - 7 = 5*v + 10. Suppose -51 = -n*f - w, -4*f + 53 + 37 = -2*w. Is 24 a factor of f?
True
Suppose f + 11 = 5*g, g - 8 = -f - 1. Let n = f - 5. Let k(s) = 11*s**2 - s. Is k(n) a multiple of 12?
True
Suppose -i + 6*i - 470 = 0. Let u = 104 - 101. Suppose 25 - i = -u*y. Is y a multiple of 8?
False
Let n(y) = -2*y + 1. Let x be 2/(2/(0 + -2)). Let v be n(x). Suppose p - v*p - 3*t = -44, -4*p + 44 = -t. Does 11 divide p?
True
Let x be ((-2)/(-3))/((-6)/(-9)). Let b be x - (0 + 2*-1). Suppose -g = -1 - b. Is 4 a factor of g?
True
Suppose -2*x = -5*p + x + 196, -p + 36 = x. Is p a multiple of 28?
False
Is 0 + 4 + 35*5 a multiple of 28?
False
Let k = 146 + -68. Is k a multiple of 23?
False
Let n(x) = 2*x - 1 - 3 - x - 6. Let q be n(6). Is 6/q*104/(-6) a multiple of 13?
True
Let m(p) = 8*p - 18. Is m(18) a multiple of 15?
False
Suppose 2*g = -0*g - 26. Let x(l) = -2*l - 19. Does 7 divide x(g)?
True
Suppose -2973 + 509 = -4*h. Is h/12 + 2/3 a multiple of 14?
False
Let b(m) = 110*m + 6. Let z be b(3). Suppose 0 = -0*q - 4*q + z. Does 23 divide q?
False
Is (-5 + -2 - -1)*-1 a multiple of 2?
True
Let h(r) = -r**3 - 22*r**2 - 23*r + 47. Is 15 a factor of h(-21)?
False
Suppose 3*b - 361 = -4*y, 2 = -b + 1. Suppose 4*c - y = -27. Does 12 divide c?
False
Suppose 0 = -4*g + 8*g - 360. Is (g/(-8))/((-18)/48) a multiple of 10?
True
Let z = -1 + 50. Is z a multiple of 12?
False
Let h be (-34)/(-8) - (-4)/(-16). Let v(q) = 2*q**2 - 5*q - 9. Let w(j) = 2*j**2 - 6*j - 9. Let m(o) = h*w(o) - 3*v(o). Is 13 a factor of m(7)?
True
Let i(m) = 20*m - 35. Does 25 divide i(13)?
True
Let z(v) = -v**3 + 7*v**2 - 2*v - 2. Suppose 30 = 6*k - k. Is 22 a factor of z(k)?
True
Suppose 2*u - 3*t + 6 = -2*u, -2*t = -5*u - 4. Suppose -6*j = -4*j. Suppose u = -2*l + 4*x + 12, -5*x + 6 = -l - j*l. Does 13 divide l?
False
Is -3 - 2/(8/(-108)) a multiple of 12?
True
Let h(x) be the first derivative of x**2/2 - 10*x + 1. Let a be h(10). Suppose -z + d = -49, -3*z + d + 30 + 121 = a. Does 15 divide z?
False
Let c(t) = -30*t**3 + 2*t**2 + t. Does 6 divide c(-1)?
False
Let o = -622 + 896. Does 15 divide o?
False
Suppose -53 = -2*f - 5. Does 25 divide (150/f)/((-2)/(-8))?
True
Let s(t) = 3*t + t**2 - 4 + 0 - 3. Let c be s(-5). Suppose 0 = n - 5*n - 2*v + 78, n - c = 5*v. Is n a multiple of 7?
False
Suppose o - 3*b - 160 = 0, -2*o + 10*b + 313 = 11*b. Is o a multiple of 9?
False
Let b be (-126)/(-90) + (-4)/10. Suppose 0 = 3*t + b - 28. Is t a multiple of 3?
True
Suppose b = 2*b + 3. Let i be -5 + -1*b/3. Does 15 divide 12/7*(-70)/i?
True
Let v(c) = 2*c**3 + 2*c**2 - 4*c - 1. Is 12 a factor of v(3)?
False
Let l be (-1 + 0)*2 + 6. Suppose 0 = -0*d - l*d + 20. Suppose 4*m + 2*y - 86 = 0, -m - 106 = -d*m + 2*y. Does 12 divide m?
True
Let l(n) = -n**2 + 2*n + 5. Let m be l(4). Let b(y) = 11*y**2 + 11*y - 153. Let c(u) = -4*u**2 - 4*u + 51. Let g(a) = m*b(a) - 8*c(a). Is 14 a factor of g(0)?
False
Suppose -99 = -2*k - 3*n, 4*n - 237 = -4*k - k. Is k a multiple of 5?
True
Let i(c) = 4*c + 5. Let j be i(5). Let u = j - 17. Suppose -3*k + u*k - 120 = 0. Is 12 a factor of k?
True
Let d(g) = g**3 - 5*g**2 + 2*g + 7. Let u be d(6). Suppose 2*x = 9 + u. Is 14 a factor of x?
False
Suppose 70 + 30 = 4*u. Is u a multiple of 8?
False
Let d = -38 + 85. Is d a multiple of 12?
False
Suppose -3*c + 4*y - 3*y + 575 = 0, -5*c + 4*y + 963 = 0. Suppose 5*b - 2*r - c = 0, -b + 3*r + 14 = -19. Is 13 a factor of b?
True
Suppose -3*g - 3 = 0, 2*g = 2*q + 4*g - 304. Suppose 9 + q = 2*w. Is w a multiple of 19?
False
Let w = -3 - -6. Suppose 5*b = 3 + 2, -3*m = w*b - 12. Suppose -3*k = -m*x - 114, -4*x = x + 5. Is 14 a factor of k?
False
Is 12 a factor of (1/(-2))/(2/(-48))?
True
Let v(b) = -b + 13. Let r be v(-9). Suppose -2*c = -0*c - r. Does 11 divide c?
True
Let l = -87 - -90. Let q be 1 + 1 + (1 - 1). Suppose -15 = -q*m + 7*m, l*r = -5*m + 75. Is 11 a factor of r?
False
Let z be -6*-3*2/9. Suppose -3*y + 108 = -0*y + 3*h, 156 = z*y - 2*h. Is 19 a factor of y?
True
Suppose 8 = 2*a - 2*u, 5*a = 3*u - 8*u. Suppose -y - 6 = 4*f, -3*y = 2*y - a*f - 58. Let q = y - 1. Is 7 a factor of q?
False
Let t(g) be the third derivative of g**5/20 + g**4/8 + 6*g**2. Let r = -2 - 0. Does 5 divide t(r)?
False
Suppose -2*t + 2*d = -3*t - 1, 0 = 4*t - 4*d - 8. Let w(x) = 14*x**3 - 1. Let q be w(t). Suppose v + 28 = 4*n, -45 + q = -2*n - 4*v. Does 4 divide n?
True
Suppose -4*q = 2*a - 2, -17 = -0*a - 2*a + q. Let c = 38 - a. Suppose -s - o = -34, -c = -4*s - o + 93. Is s a multiple of 15?
True
Let a(j) = -j**2 + 11*j. Let h be a(11). Does 6 divide 1/((-1)/(-7) + h)?
False
Let u = -139 - -207. Is 10 a factor of u?
False
Suppose 5*o = 4*n + 29, 4*n = o + 3*o - 24. Let t(h) = -h**3 + 8*h**2 - 4*h + 3. Does 21 divide t(o)?
False
Let u(m) = m - 15. Let q(t) = -2*t + 29. Let v(g) = g**2 + 2*g - 5. Let o be v(-4). Let i(b) = o*q(b) + 5*u(b). Does 11 divide i(0)?
False
Suppose 0 = -2*p + 2*r + 34, 20 = 2*r + 3*r. Let t be 18/4*9/(27/8). Let f = p - t. Is f a multiple of 9?
True
Let a = -4 - -7. Suppose a*x + 2*x - 5 = 0, -3*n = -4*x - 86. Is 9 a factor of n?
False
Is (2/4)/((-2)/(-32)) a multiple of 4?
True
Let s = 5 + -2. Suppose -j = -3*j - s*z - 21, z + 17 = -4*j. Is (42/4)/(j/(-4)) a multiple of 14?
True
Is 30 a factor of 4/(-3)*1485/(-22)?
True
Suppose -4*l + 63 = -l. Let r = l - 13. Is r a multiple of 8?
True
Let v = 84 - -40. Suppose 4*r - v = -4*q, -r - 4 = -q - 25. Let a = 42 - r. Does 16 divide a?
True
Suppose -5 = s - 33. Does 26 divide s?
False
Let s be 3 + 1 - 21/3. Let w(j) be the second derivative of 5*j**4/12 + 2*j**3/3 + j**2/2 + j. Is 12 a factor of w(s)?
False
Suppose 4*s - 3*s - 241 = -4*h, 3*h - 5*s - 175 = 0. Is h a multiple of 10?
True
Let h = -25 + 42. Suppose -q - 4*a = a - 15, 3*q + a = h. Is 2 a factor of q?
False
Is (-1)/(2*(-2)/96) a multiple of 6?
True
Suppose 2*g = -4*f + 36, g + 12 = 4*g. Suppose f*p - 8 = 3*p. Is p even?
True
Let d = -12 - -19. Suppose d*h - 2*h = 135. Does 12 divide h?
False
Let v be (-2)/(-5) + (-65)/(-25). Suppose v*c = -o + 11, c + 3*o = 2*c - 7. Suppose 2*n - n = -1, c*z = n + 81. Is z a multiple of 14?
False
Let k = 146 - 74. Is k a multiple of 8?
True
Suppose -v + 91 = 1. Let w = v - 45. Is 14 a factor of w?
False
Let c = -2 + 4. Let a be ((-4)/(-7))/(c/7). Suppose -p + 66 = 5*y - a*y, 5*p = -4*y + 99. Is y a multiple of 7?
True
Let t(i) = i**2 + 11*i. Let u be t(-11). Suppose -4*p + 0 = 4*h + 4, 5*h - 4*p = 22. Suppose 4*z - 8 = -h*x - u, 3*x + z = 37. Does 7 divide x?
True
Suppose 20 = 10*o - 5*o. Suppose -f = o*f - 50. Does 5 divide f?
True
Let a(h) = 2*h**2 + h. Suppose 2*g = g - 3*j - 10, 0 = 5*g - 5*j - 10. Let p be a(g). Does 15 divide (p + -3)*(-15)/2?
True
Suppose -4*t + 269 = -355. Is t a multiple of 13?
True
Suppose -33*m + 29*m = -1924. Is 37 a factor of m?
True
Let l = -1 + 3. Let j(p) = -10*p - 1 + 19*p - 3*p**2 + l*p**2. Is 7 a factor of j(6)?
False
Let n = -18 - -63. Suppose -5*i = -2*i - n. Does 10 divide ((-18)/i)/(6/(-100))?
True
Suppose -24 = -0*m - 4*m. Let k be (-4)/m - 176/(-12). Suppose k = -4*n + 82. Does 15 divide n?
False
Let j(r) = 9*r - 6. Is j(4) a multiple of 15?
True
Let q be (-4)/(16/(-4))*5. Suppose d + 0*d + q*c - 30 = 0, 5*d = c + 202. Is 20 a factor of d?
True
Let l(x) = -x - 2. Let a be l(-5). Suppose 0*q = -a*q + 18. Is 11 a factor of (-1)/(-3) - (-130)/q?
True
Let a(f) = -f + 8. Is 10 a factor of a(-6)?
False
Suppose 2*l - 56 = -20. Is l a multiple of 9?
True
Suppose -s + 3*s - 4*p = 118, -2*p = 3*s - 145. Is 17 a factor of s?
True
Let o(v) = -v - 2. Let w(a) = -a - 3. Let x(n) = 5*o(n) - 6*w(n). Let l be x(-12). Let b = l - -15. Is 5 a factor of b?
False
Let p be (0 + 0)/((-14)/(-7)). Suppose -4*h + 405 + 251 = p. Let r = -111 + h. Does 23 divide r?
False
Let r(o) = -o**3 + 2*o**2 + 3*o - 1. Let k be r(3). Let b(j) = 58*j - 4. Let w be b(3). Is 17 a factor of 3/9*(w - k)?
False
Let i(l) = l**2 - 5*l - 28. Is 7 a factor of i(13)?
False
Let q be ((-18)/(-15))/((-3)/15). Let h be (-3)/q*-2*0. Suppose 62 = 3*r - h*r - 4*u, -2*r + 13 = 3*u. Is r a multiple of 5?
False
Suppose 6*a = 9*a - 270. Does 18 divide a?
True
Suppose -5*i = -2*f - 4*i + 79, -5*f = -4*i - 202.