p(c) = 4*c**2 + c - 1. Let m be p(1). Suppose x = -3*x - m*v - 36, 4*v + 32 = -3*x. Is (-8)/(1 + 5/x) a multiple of 13?
False
Let l = -7 + 12. Does 6 divide ((-2)/l)/((-1)/30)?
True
Suppose -b + 18 + 12 = 0. Is 15 a factor of b?
True
Suppose 8 = -l + 4*l + 5*s, -l = 3*s. Is l even?
True
Suppose -z = -10 + 92. Let c = z - -120. Is c a multiple of 19?
True
Let k = -1 - -10. Let t(v) = v**2 - 4*v - 11. Let n be t(k). Suppose -b - 9 = -n. Is b a multiple of 9?
False
Suppose 2*p = y + 4*y + 55, 0 = 3*p - 15. Does 27 divide (6/(-4))/(y/162)?
True
Let a = 0 - 2. Let n be (-37 - 1) + (-4)/a. Is 7 a factor of n/(-8)*(-16)/(-6)?
False
Let q = 628 - 397. Suppose -2*u + q = 2*u - j, 5*u - 3*j - 280 = 0. Is 25 a factor of u?
False
Let y(u) = u**2 + 5*u + 2. Does 19 divide y(4)?
True
Let k(o) = 31*o**2 + 1. Does 35 divide k(-3)?
True
Let y = -32 - -51. Does 13 divide y?
False
Let n(y) = -y + 3. Let m be n(3). Suppose -3*c + 17 = -5*b, -2*b + m*b = -4*c + 18. Is 7 a factor of (b/(-1) - -1) + 14?
False
Let n = 89 + 60. Is 41 a factor of n?
False
Let n = -9 - -6. Does 9 divide 2/(-3) + (-29)/n?
True
Let r be (-1 - -4)/3 - -1. Suppose -4*v = -r*v - 10. Suppose -4*o + 2 = 6, 4*l + v*o - 115 = 0. Does 15 divide l?
True
Let b(r) = r**2 + 4*r + 3. Does 8 divide b(-5)?
True
Let p = 2 - 4. Let j be p/(-3) - (-66)/9. Suppose b - 12 = -2*x - 2*b, -2*x - 4*b + j = 0. Is 9 a factor of x?
False
Suppose -2 = 2*y - 4*y, -a - 2*y = -92. Is a a multiple of 21?
False
Let f be (-12)/(6 - 3) + 0. Is (4 - -9) + 1 + f a multiple of 9?
False
Let c be (6 - 2) + 1 + 0. Suppose -4*x = 8, c*x = -2*r + 18 + 24. Is r a multiple of 13?
True
Suppose 3*x - 2*b + 15 = -2*x, -b = 2*x + 15. Let i(r) = -3*r. Let h be i(-3). Let y = h + x. Is y a multiple of 4?
True
Let n(k) be the first derivative of 2*k**2 - 3*k + 3. Is 13 a factor of n(7)?
False
Let j(c) = -c**2 + 4*c. Let x be j(3). Suppose -x*l + 130 = 22. Suppose -l + 136 = 5*i. Does 11 divide i?
False
Is 40 a factor of 9852/30 + -2 + 32/20?
False
Let r be (-2 - 1)/(-3) + 3. Suppose -12 = 4*v, -r*c - 4*v + 48 = c. Is c a multiple of 6?
True
Is 4/22 - (-448)/77 even?
True
Is 22 a factor of 1 - 195/(0 + -3)?
True
Let a(w) = -w**3 - 4*w**2 - 2*w + 9. Does 14 divide a(-4)?
False
Suppose v - 6*v = 0. Let o = -3 - -11. Suppose v = -3*h + o*h - 30. Does 6 divide h?
True
Let k be 0 + -3 + 5 + 0. Suppose k + 13 = 4*t + r, 4*t - 3*r = 19. Suppose -z = 4*m - m - 32, -5*m = t*z - 93. Does 6 divide z?
False
Let b be 3/2*2 + 1. Is 10/b - (-2)/4 even?
False
Suppose 4*s - 65 = -5*m, 5*m - 5*s - 13 = 4*m. Let g(b) = 2*b + 5. Does 11 divide g(m)?
False
Suppose a = 3*k - 0*k + 59, -3*a = 12. Let d = 36 + k. Is 5 a factor of d?
True
Let u be ((-10)/6)/(8/(-264)). Let x = 90 - u. Is x a multiple of 11?
False
Is 37 + 3/((-9)/12) a multiple of 16?
False
Let c be -5*(3/1 + -30). Suppose -4*a + 40 = y, 2*y + c = 4*y - 3*a. Is 12 a factor of y?
True
Suppose 10*y + 318 - 988 = 0. Does 22 divide y?
False
Let z(q) = 2*q - 10. Let w be z(7). Suppose w*f = f + 81. Does 9 divide f?
True
Let m = -19 + 63. Is 11 a factor of m?
True
Suppose f - 7 = 8. Suppose 0 = -d + 8 - 3. Suppose d*h - f = 60. Does 15 divide h?
True
Let o be 40/(-25) + (-2)/5. Is 12 - -1 - (-2 - o) a multiple of 13?
True
Let u = -6 + 13. Let h be (-1)/(-2) + u/2. Suppose i - h*q = -17, 4*i - 8 = -3*q + 19. Does 2 divide i?
False
Let s = 34 - 21. Is 3 a factor of s?
False
Let c = 127 + -109. Is c a multiple of 18?
True
Let d(l) = 110*l - 1. Let q be d(-2). Let w = 436 + q. Suppose w = 7*g - 2*g. Is g a multiple of 18?
False
Let m = 405 + -285. Is 39 a factor of m?
False
Suppose -4*b = -3*b - 54. Does 25 divide (-4)/(-18) + 2688/b?
True
Suppose 4*h - 200 = -h. Suppose 0 = -j - 4*j + h. Does 8 divide j?
True
Let b(u) = -u**3 + 3*u**2 - 3*u. Let p be b(2). Let o(c) = -2*c**2 - c. Let v be o(p). Is 38 - v*(-3)/6 a multiple of 22?
False
Does 14 divide (-1)/3 + 320/15?
False
Let g(a) = 2*a - 3. Let m = 5 + -1. Let r be g(m). Let i(w) = -w**2 + 5*w + 5. Is i(r) even?
False
Suppose l + 0*l = -5*c + 688, 5*c - 692 = l. Is 23 a factor of c?
True
Let j(l) = -1. Let m(v) = -3*v + 21. Let y(q) = -18*j(q) - m(q). Let g be y(2). Suppose -6*u + 117 = -g*u. Does 13 divide u?
True
Let w(y) = 15*y**2 - 2*y + 1. Is 7 a factor of w(1)?
True
Suppose 0 = 3*q + 12, -5*x - 6*q = -3*q - 3. Suppose 3*p = -h + 10, 0 = -3*p + x*h - 3 + 9. Is ((-30)/8)/p*-20 a multiple of 14?
False
Let h(x) = 3*x**2 + x. Let j be h(1). Suppose -j - 4 = -2*f. Suppose -36 = -f*y + y. Is y a multiple of 6?
True
Is 30 a factor of (-208)/(-6)*(-3)/(-2)?
False
Let v(t) = t. Let c be v(-4). Let w(y) = 19*y + 3. Let s be w(c). Let a = 122 + s. Is a a multiple of 15?
False
Let y = -9 - -18. Let b = 6 + y. Is 15 a factor of b?
True
Suppose 0*m - 8 = -2*m. Suppose -3*k + 2*v = -177, k + m*v - 16 = 29. Does 19 divide k?
True
Let i(a) be the third derivative of a**6/120 + 3*a**5/20 + 7*a**4/24 - a**2. Is i(-8) a multiple of 3?
False
Let c(w) = w + 13. Let a be c(-9). Let s(b) = b**2 + 2*b - 3. Does 21 divide s(a)?
True
Let n = 5 - 3. Suppose -n*z + 16 = 2*z. Suppose 0 = u - 3*j + 8*j + 2, 56 = 4*u + z*j. Does 9 divide u?
True
Suppose 4*m - 2*j - 23 = m, 2*j - 5 = -m. Does 3 divide m?
False
Suppose 3*u + 3*n - 54 = 0, 54 = 3*u - u - 4*n. Does 6 divide u?
False
Let q(x) = 29*x**2 - x - 1. Let u be q(-1). Let r = u + 7. Suppose 4*d + 0*o - 8 = 3*o, 0 = 4*d + 4*o - r. Does 2 divide d?
False
Let k = -76 + 178. Does 23 divide k?
False
Let l(r) = 2*r**3 - r**2 - 4*r + 7. Let d be l(3). Let p = d + -29. Is 3 a factor of p?
False
Let y = 21 - 11. Does 10 divide y?
True
Let h = 60 + -52. Is h a multiple of 8?
True
Let u = -365 - -548. Suppose u = 5*m - 4*z, 3*m = -z + 2*z + 107. Let i = m - 14. Is i a multiple of 21?
True
Let r(m) = -m**3 - 6*m**2 + m - 5. Let o be r(-6). Is (3 - (-8)/(-2))*o a multiple of 2?
False
Let b = -6 - -81. Is 25 a factor of b?
True
Suppose 3*u - 300 = -0*u. Suppose -3*t - 4*z = t - u, -2*z - 6 = 0. Is 14 a factor of t?
True
Let g be -1*-6*(-1)/(-2). Suppose 32 = g*c - n, -8 = -2*n - 0. Is c a multiple of 7?
False
Suppose -x = x. Let n = 135 + -93. Suppose 0*s + 2*s - n = x. Is 13 a factor of s?
False
Let m be 36/(-3)*10/(-3). Does 13 divide -1 + m + -3 - -2?
False
Let v(b) = -7*b**2 + 11*b + 8. Let l(t) = 11*t**2 - 17*t - 12. Let u(c) = 5*l(c) + 8*v(c). Let z be u(3). Suppose z*g + 9 - 25 = 0. Is g a multiple of 2?
True
Suppose -2*d = 3*k - 7, -2*d + 4*k + 9 = -5. Does 27 divide d*(-5)/((-75)/198)?
False
Let y(b) = -9*b - 1. Let f be (-6)/15*5/1. Let a be y(f). Suppose c - a = 2. Is 19 a factor of c?
True
Suppose 3*r - 15 = -2*r. Let a(l) = l**3 + 5*l**2 - 6*l - 3. Let h be a(-5). Suppose -r*f + 111 - h = 0. Is 14 a factor of f?
True
Suppose y - 22 = 2*j, -y + 28 - 8 = -j. Does 9 divide y?
True
Does 48 divide -4 + 0 + 4 - (-177)/3?
False
Is -36*(-4)/32*6 a multiple of 7?
False
Let n(c) = 4*c + 5*c - 2*c + 3*c + 6 + 2*c**2. Is 9 a factor of n(-6)?
True
Let q be (-20)/(-8)*6/5. Let f(k) = -q + 8*k - k**2 - 3 + 2*k**2. Is f(-9) a multiple of 2?
False
Let q(b) = b**2 + 11*b + 17. Let i be q(-9). Let t = 16 + i. Is t a multiple of 3?
True
Let o = 30 - -8. Does 13 divide o + (-1)/1*-1?
True
Let v(j) = 20*j. Is v(4) a multiple of 20?
True
Let d be (2 + 14)*(-7 - -5). Is 10 a factor of (120/d)/((-6)/16)?
True
Suppose -7*g + 4*g = -582. Is g a multiple of 47?
False
Suppose -5*b + 81 = -9. Does 9 divide b?
True
Let w(h) = 4 + 3 + 4 + h + 1. Is 6 a factor of w(0)?
True
Let a = -77 + -153. Let i be a/(-3*4/6). Suppose 5*r = -g + i, -3*r - g = -52 - 17. Is r a multiple of 9?
False
Let x be (-24)/10 - 6/(-15). Let f(b) = 7*b**2 + 2*b + 3. Is 9 a factor of f(x)?
True
Let v(p) = -p**3 + 9*p**2 - 6*p + 6. Is v(8) a multiple of 9?
False
Suppose 2*o + 2*u = -4, 5*o + 10 = -u + 3*u. Is 0/o + (49 - -3) a multiple of 14?
False
Suppose -5 = z + 3*h, -4*h + h = 12. Suppose -2*b + 10 = 2*c - 0*b, -z = -3*c + 5*b. Is 3 a factor of c?
False
Suppose 0*r - 372 = -4*r. Suppose 3*p = 4*n - 5*n + 150, -3*n + r = 2*p. Let f = p - 25. Is 9 a factor of f?
False
Suppose -2*r - 2*r - 5 = -c, -r + 10 = -4*c. Is 184/12 - (-1)/c a multiple of 13?
False
Suppose -5*d + 11 = -9. Is d a multiple of 4?
True
Let y(i) = 84*i**2 - 77. Let v(u) = -u**2 + 1. Let d(k) = 154*v(k) + 2*y(k). Sup