7 a factor of 0/1 - (-31 + 0)?
False
Let o = 8 + -11. Let c be (o/1)/(1/8). Does 4 divide -2 - c/(-3)*-2?
False
Let s(l) = 20*l + 2. Is 36 a factor of s(3)?
False
Let l = 11 + 6. Suppose 3*m + 2 = l. Is 2 a factor of m?
False
Suppose n = 25 + 38. Is 7 a factor of n?
True
Let y(r) = r**3 - 6*r**2 - 9*r + 7. Let n be y(7). Let b(g) = -9*g - 5. Let u(l) = -8*l - 4. Let j(w) = -2*b(w) + 3*u(w). Is 11 a factor of j(n)?
False
Let r(v) = -14 + 7 + 5*v - 6 - 16*v. Does 24 divide r(-8)?
False
Is 41 a factor of (1 - 7)/(9/(-102))?
False
Suppose 4*j - 4 = 4*q, 1 = -j - 3*q + 14. Suppose -4*a - j = 2*t - t, -5 = -t + 5*a. Suppose t = -2*l + l + 2. Is l even?
True
Suppose -4*u = 2*t - 3*t - 10, 0 = 3*u + 3*t. Let k(x) = 7 + 7 - x**u + 0*x + x. Is 8 a factor of k(0)?
False
Suppose -200 = -4*j - 2*p, -5*p + 4*p = 4. Does 13 divide j?
True
Let f(h) = h**3 + 4*h**2 + 2*h + 2. Let v be f(-3). Suppose g = 4*b + 3*g - 36, -v*b - 3*g = -46. Is b a multiple of 8?
True
Is 19 a factor of (-2)/6 - (-232)/12?
True
Let m = -8 + 36. Does 6 divide m?
False
Suppose 13 = z - 3*n, 0 = 3*z - 3*n - 9. Let y(g) = -8*g**3 + g + 2. Is y(z) a multiple of 16?
True
Suppose c - 3 = 1. Suppose 2*i - 42 + 0 = -d, 0 = i - c. Let z = 54 - d. Is 12 a factor of z?
False
Let n be ((-4)/(-12) + -1)*-6. Suppose -194 = -5*o - 5*v + 61, -2*v - 222 = -n*o. Is 18 a factor of o?
True
Suppose -x - 33 + 3 = 0. Let w = -14 - x. Does 5 divide w?
False
Let i(s) = -s**3 + 7*s**2 - 6*s - 1. Is 12 a factor of i(5)?
False
Let d be (-12)/(-2*3/4). Suppose 4*w = d*w. Does 18 divide 36 + (-1)/(-2)*w?
True
Suppose -2*v - 12 = v, 0 = -5*c + 2*v - 467. Let i = c - -37. Let w = i + 109. Is 14 a factor of w?
False
Let j(g) = -3*g + 2. Let k(c) be the second derivative of 2*c**3/3 - c**2 + c. Let n(z) = 5*j(z) + 4*k(z). Is n(6) a multiple of 8?
True
Suppose 2*o = -2*o. Suppose 3*b + o - 25 = -5*v, -b = -v + 5. Let q = 10 - v. Is 2 a factor of q?
False
Suppose 2 + 6 = 4*a. Suppose -a*h + 8 = -46. Suppose -2*t + h = 11. Is 8 a factor of t?
True
Suppose 581 + 2389 = 9*y. Is 11 a factor of y?
True
Let u be (-2001)/(-21) + (-4)/14. Suppose 59 = 2*d - 3*d. Let a = d + u. Is a a multiple of 10?
False
Suppose 0 = -l - 1, k + 3*l = 2*l - 9. Is 12 a factor of (-18)/(-2*(-6)/k)?
True
Suppose -t + 45 = 2*f, -74 = -4*f + t + 13. Suppose -2*o + 3*o - f = -m, -5*m + 3*o + 94 = 0. Is 20 a factor of m?
True
Let c = -18 + 116. Is 8 a factor of c?
False
Let d be (-1 + (-1)/(-1))/(-1). Let p(z) = 8 + d*z - 1 - 2*z. Is 12 a factor of p(-8)?
False
Suppose -4*c + 7 = 3. Let s be c/3 + 65/3. Suppose 0 = -3*w - x - 0*x + s, 4*x = -3*w + 16. Does 4 divide w?
True
Let m(z) = -z + 8. Let l be m(5). Suppose 0 = 2*d - l*y - 15, -2*d + 5*y - 27 = -3*d. Does 7 divide 81/4 + (-3)/d?
False
Let l be 13/5 - 4/(-10). Let s be (30/2)/(l/18). Suppose -4*i = -s - 30. Is i a multiple of 15?
True
Let d(t) = 6*t + 1. Let v(l) = 8*l - 2 - 12*l - 8*l. Let j(q) = -9*d(q) - 4*v(q). Is j(-5) a multiple of 13?
False
Is 22 a factor of (-2648)/(-40) + (-2)/10?
True
Suppose 4*j - 10 = -34. Let q be ((-4)/j)/(2/(-18)). Let x(d) = -3*d - 8. Is 5 a factor of x(q)?
True
Suppose 4*n + 0 = 64. Let l = n + 23. Is 13 a factor of l?
True
Suppose 19*w - 15*w - 120 = 0. Is 2 a factor of w?
True
Suppose 5*t - t - 184 = 0. Suppose -2*g + 15 = 4*d - 25, -t = -4*d - 5*g. Does 9 divide d?
True
Let f(a) be the second derivative of 17*a**4/4 - a**3/3 - a**2 - 2*a. Is 17 a factor of f(-1)?
True
Let w(b) = b + 2. Let m be w(0). Suppose -f + 4*d = 2, 0 = -0*d - 2*d + m. Suppose -73 = -f*r - 25. Is r a multiple of 13?
False
Let y(q) = -30*q**2 - 2*q + 8. Let p(o) = 20*o**2 + o - 5. Let c(f) = 8*p(f) + 5*y(f). Is c(2) a multiple of 12?
True
Suppose 0 = 3*f - 488 + 53. Suppose -2*h - 78 = -3*k - 4, -f = -5*k - h. Is 14 a factor of k?
True
Let d be (-483)/(-14) + 2/4. Suppose 4*h = -5*i + 50, 3*h + 3*i = -2*i + d. Does 15 divide h?
True
Let l(y) = -y**2 - y + 42. Let v(r) = r**2 - r. Let a be v(0). Is l(a) a multiple of 14?
True
Let t(y) = 17*y**3 - y**2. Let m be t(-1). Let h be (-2 + 1)/((-2)/(-52)). Is 5 a factor of h/3*m/12?
False
Suppose -4*f + 6*c - 9*c = -268, 2*f - 4*c = 112. Is f a multiple of 6?
False
Let d(g) = -g**2 - 3*g - 2. Let c be d(-2). Suppose 2*u + 2*u - 224 = c. Is u a multiple of 14?
True
Suppose 3*g + 6*g - 126 = 0. Does 14 divide g?
True
Suppose 0 = -5*p + 4*k + 13, 0 = p + 2*k - 1 - 10. Suppose 240 = 5*y + 2*t, -136 = -4*y - p*t + 56. Does 16 divide y?
True
Let n = 24 - 12. Does 6 divide n?
True
Let f be -19*((5 - 3) + -3). Let o = 46 - f. Let a = o - 16. Is a a multiple of 5?
False
Suppose 4*i - 472 = -4*h, 0*i - 5*h = -2*i + 264. Is 18 a factor of i?
False
Let s be 2*(25/10 - 0). Let o(t) = -6*t + 5 + 2*t**2 + 0 - 2. Does 18 divide o(s)?
False
Suppose z + 3 = 0, -4*z - z + 160 = 5*q. Is q a multiple of 5?
True
Let i be (7 - (-3)/(-3)) + -3. Is 4 a factor of 1/(2/24*i)?
True
Let b(y) = -y**3 - 6*y**2 + 5*y + 9. Does 10 divide b(-7)?
False
Let g be 40/18 + (-2)/9. Let h = 1 + g. Suppose -2*k - h*k = -20. Is 4 a factor of k?
True
Suppose 2*g = 49 + 31. Let y = g + -27. Does 13 divide y?
True
Let x(c) = 3*c - 19. Let t = -20 - -29. Is 8 a factor of x(t)?
True
Suppose -5*q = -4*q - 146. Suppose -4*w - 5*r + q = 0, 5*w + r + 6 = 178. Is 9 a factor of w?
False
Let m(v) = -v**3 - 4*v**2 - 4*v + 1. Let n(f) = 5*f**3 - f**2 - 2*f - 1. Let z be n(-1). Does 23 divide m(z)?
True
Let b(t) = t**3 - 2*t**2 - t + 11*t**3 + t**2. Let m be b(-2). Let k = -68 - m. Is 11 a factor of k?
False
Is ((-36)/(-6))/(4/158) a multiple of 50?
False
Let m = -509 + 349. Does 10 divide (-6)/(-2)*m/(-24)?
True
Let b = -306 - -455. Let t = b - 104. Is t a multiple of 14?
False
Suppose 3*z = -p - 8, -p + 3 = 4*z + 15. Let g = 6 - z. Does 9 divide g?
False
Let i be 3 + (1 - 2) + 134. Let q = 243 - i. Is q a multiple of 30?
False
Let i be ((-18)/8)/(15/(-40)). Is (3/(-2))/(i/(-64)) a multiple of 7?
False
Let v(m) = -71*m**2 + 4*m - 4. Let c(l) = -142*l**2 + 9*l - 9. Let s(q) = 4*c(q) - 9*v(q). Does 15 divide s(-1)?
False
Let p(t) be the first derivative of -2 - 1/3*t**3 + 2*t - 1/2*t**4 + 3/2*t**2. Does 4 divide p(-2)?
True
Let n(a) be the third derivative of a**4/3 + a**3/6 + a**2. Is n(1) a multiple of 3?
True
Let y be (1 - 3) + 7 + -3. Let q = 4 - y. Let m(l) = 6*l + 2. Does 14 divide m(q)?
True
Suppose 16*w - 348 = 4*w. Is w even?
False
Suppose -16 = -5*g + g. Suppose -g*b = -22 - 50. Does 7 divide b?
False
Suppose -2*u - u + 5*c - 36 = 0, -4*c = 5*u + 23. Let v(b) = b**2 + 4*b + 4. Is v(u) a multiple of 25?
True
Let d(j) = 4*j**2 - 2*j - 2. Let t be 20/6*(-24)/20. Let h = t + 6. Is d(h) a multiple of 10?
True
Let s(w) = 17*w**3 + 9*w**2 + 5*w - 14. Let d(f) = -6*f**3 - 3*f**2 - 2*f + 5. Let j(c) = 11*d(c) + 4*s(c). Does 11 divide j(2)?
False
Suppose 0*n + 2*n = 0. Suppose n = 5*x - 13 - 7, x = -3*t + 13. Suppose 5*c + t*y = 150, -3*c - 5*y = -0*c - 90. Does 15 divide c?
True
Suppose k + 9 + 18 = 0. Let g be 40 - (0 + -1) - 1. Let z = k + g. Is 8 a factor of z?
False
Let v be (2 - 2) + 38 + 0. Let s = v - 14. Is s a multiple of 12?
True
Let h(b) = 16*b**2 - 1. Let n be h(-1). Let z = -9 + n. Is z a multiple of 6?
True
Let m(o) = o**2 + 9*o - 2. Is 44 a factor of m(6)?
True
Let x(m) = 2*m**2 - 9*m + 8. Does 35 divide x(-8)?
False
Let r(q) = q**3 + q**2 - q - 9. Let i be r(0). Let u(j) = -2*j. Does 9 divide u(i)?
True
Let u be -81 - (0/(-2))/1. Let m = u + 129. Does 13 divide m?
False
Suppose -r + 0*o + 42 = -4*o, -5*r + 166 = 2*o. Suppose 0*s - r = -2*s. Is 8 a factor of s?
False
Is 10 a factor of (-4 + 2 + 150)*15/6?
True
Suppose 2*a - 192 = 4*t, -t + 0*t - 55 = -4*a. Let r(d) = -16*d**3 - 2*d**2 + 1. Let h be r(1). Let c = h - t. Is 15 a factor of c?
True
Suppose 4*n - 9 = n. Suppose 0 = o - 5, -311 + 106 = n*x + o. Is 14 a factor of x/(-5) - (-1 + 1)?
True
Let o be (-150)/(-4) + 5/(-10). Suppose -i + 9 + o = 0. Is i a multiple of 11?
False
Suppose -z = -3*d - 111, 2*d + 341 = 3*z + d. Suppose x = 4*x - z. Suppose -x = -2*k - 5*q, 2*k - 4*q - 1 - 1 = 0. Does 9 divide k?
True
Suppose u - 37 = -18. Is u a multiple of 4?
False
Suppose -d - h - h = -106, 0 = h - 1. Is d a multiple of 25?
False
Let n(a) = -a**2 - 8*a + 3. Let l be n(-7). Suppose -l = -i - 4*i. Is 2 a factor of i?
True
Suppose 7*o 