se -6 = -4*n - q, 4 = -3*n - 5*q - 0. Does 12 divide (-1*57)/(n/(-2))?
False
Let r = 48 - 18. Does 15 divide r?
True
Does 27 divide ((-553)/21)/((-3)/9)?
False
Let t(k) = -k**3 + 4*k**2 - 5*k + 2. Let a be t(3). Let y = -4 - a. Suppose y = -4*v - r + 74, -14 - 66 = -4*v + 2*r. Is 16 a factor of v?
False
Let u(b) = -b**2 - 6*b + 9. Let h be u(-7). Suppose 2*x = -2*x - 3*d + 52, h*x = d + 36. Is 16 a factor of x?
True
Let n = -10 + 13. Suppose -x + 93 = n*t, 3*t + 0*t + 312 = 4*x. Does 27 divide x?
True
Suppose 4*b - 3*l = 4, 5*b + 5*l = 26 + 14. Suppose 5*z - 284 = b*d, 0 = 3*z + 2*d - 4*d - 172. Is 11 a factor of z?
False
Let c(h) be the third derivative of h**5/60 + h**4/3 + 5*h**3/3 + 2*h**2. Does 2 divide c(-7)?
False
Let b be -22*2*1/(-2). Let g be (2 - 1) + -3 + 6. Suppose 6*n - 3*n = g*u + 43, 2*n - b = u. Is 7 a factor of n?
False
Let b = 17 + -13. Does 2 divide b?
True
Suppose 6*a + 180 = 8*a. Is a a multiple of 18?
True
Suppose -21 = 2*i - 9. Let d = -1 - i. Is 3 a factor of d?
False
Let x(q) be the second derivative of -q**5/20 - 7*q**4/12 - q**3/6 + 4*q. Is 3 a factor of x(-7)?
False
Is 5 a factor of (28/12)/(-7)*-33?
False
Suppose 5*p - 88 = p. Suppose -12 = -2*f + b, 3*b - 30 = -5*f + p. Does 4 divide f?
True
Let n = 0 + -6. Let q = 14 + n. Is q a multiple of 4?
True
Suppose 3*w - 87 = -4*n, -2*n - 3*n = 5*w - 115. Suppose 5*g + 1 = 4*m - 2, n = -5*g - m. Let i = g + 10. Is i a multiple of 7?
True
Suppose 0 = 2*i - 3*u - 6, -7*u - 3 = -i - 3*u. Let o = 2 + i. Suppose -o*p - 49 = -l, -3*l + p + 87 = -2*p. Does 12 divide l?
True
Let j = -111 - -408. Does 27 divide j?
True
Let j(d) = d**2 - 7*d + 1. Let f be j(4). Let z = f - -29. Is 6 a factor of z?
True
Suppose -5*o = c + 4*c - 20, 5*c - 19 = -4*o. Suppose 3*z = l - c*l + 20, -4*z + 2*l + 36 = 0. Is 3 a factor of z?
False
Is 37 a factor of (21 - (-1 - -3))*(-12)/(-4)?
False
Let s(d) be the second derivative of 49*d**3/6 + d**2 - 2*d. Let f be s(2). Suppose -p + 6*p = f. Is p a multiple of 14?
False
Let o = -35 - -57. Does 20 divide o?
False
Let m be (16/(-6))/((-1)/(-3)). Let q(i) be the first derivative of i**4/4 + 10*i**3/3 + 6*i**2 + 10*i + 9. Is q(m) a multiple of 19?
False
Let n(h) = 14*h - 4. Let z be n(4). Let r = -45 + 13. Let m = r + z. Is 11 a factor of m?
False
Suppose -2*h + 4*h = -3*l + 129, 165 = 3*h - 5*l. Does 12 divide h?
True
Suppose -2*o + 7 + 49 = 0. Does 26 divide -3*(-4 + o/(-3))?
False
Let g be (78/(-9))/((-2)/(-15)). Let t = -46 - g. Let d = -7 + t. Does 4 divide d?
True
Suppose 293 = 5*v + 53. Suppose -2*n = -5*n + v. Does 8 divide n?
True
Let f(x) be the second derivative of -2*x**3/3 - 7*x**2/2 - x. Is f(-13) a multiple of 15?
True
Let o = -16 - -67. Does 17 divide o?
True
Let f(g) be the first derivative of -g**2 + 4*g + 8. Let m(n) = -n. Let s be m(6). Is 5 a factor of f(s)?
False
Suppose -o + 1 = -2. Let z = o + -1. Is 4 a factor of z + -2 + 9 - 2?
False
Let t(j) = j**3 - 7*j**2 + 7*j - 8. Let y be t(6). Is 18 a factor of ((-16)/6)/(y/27)?
True
Suppose 3*v + 4*u = -0*u - 214, v - 5*u = -103. Let n = 149 + v. Let l = -51 + n. Is l a multiple of 17?
False
Suppose -60 = -4*i - 4*y, 5*y - 1 = 4*y. Suppose j - i = -j. Is j a multiple of 7?
True
Let y(j) = -4*j - 4*j - 2*j + 7*j. Is y(-3) a multiple of 8?
False
Let a be 2 + (2 - -70) - 1. Let x = 336 + -214. Let c = x - a. Does 19 divide c?
False
Is 14 a factor of 2*(3 - 2)*20?
False
Suppose 5*u + 96 = 13*u. Does 12 divide u?
True
Let j(x) = 3 + 0 - 3 - 3*x - 1. Let a be j(-1). Suppose -3*c + 59 = -a*c. Is c a multiple of 25?
False
Let x(b) = -b**2 + b + 2. Let p be x(2). Let j be ((-16)/(-2))/(1/5). Suppose j = -p*d + 2*d. Is 9 a factor of d?
False
Suppose 2*i - 116 = 2*s, 4*i - 5*s = i + 170. Does 17 divide i?
False
Is 21 a factor of ((-72)/(-27))/(-1 + 127/126)?
True
Let d = 8 - 4. Let y = 24 - d. Is 5 a factor of y?
True
Suppose -3*h - 83 = 4*j - 0*j, h = -1. Let y = -38 + 25. Let p = y - j. Is 4 a factor of p?
False
Let o = 75 + -1. Does 34 divide o?
False
Suppose 6*d = 3*d + 6. Let m(t) = 4*t**2 - t. Let y be m(1). Suppose -p = -d*p - 5*h + 35, -p + 3*h + y = 0. Does 15 divide p?
True
Does 40 divide (-2 + 0)*(-3)/6 - -262?
False
Suppose 2*n + 3*n = m + 105, 0 = 4*n - 5*m - 105. Let o = n - -8. Is 14 a factor of o?
True
Let s(x) = 9*x**2 - x - 2. Suppose -y = -2*y - 3. Does 22 divide s(y)?
False
Let m(s) = -s + 5. Let p be m(0). Suppose 0 = 3*y - 3*w - 87, 4*y = p*y - 4*w - 41. Suppose a + 3*k = k + y, 20 = 4*k. Is 15 a factor of a?
True
Suppose 2 = -j + 6. Suppose 8 = -q + 2*u, -1 = -j*q - 6*u + 3*u. Does 4 divide (-11)/(q/4*2)?
False
Suppose -h + 6*h - 2*j - 197 = 0, 0 = 3*h + 4*j - 139. Let k = 40 + 21. Suppose -h = -3*c + k. Does 17 divide c?
True
Let i(l) = 2*l**2 - 7*l - 14. Let q be i(12). Suppose -55 = 5*r - m - 361, q = 3*r + m. Suppose 5*p - 78 - r = 0. Is 14 a factor of p?
True
Suppose 0 = -5*v + 4*v + 30. Is v a multiple of 15?
True
Let v(i) = i**2 + i + 10. Let y = 16 + -10. Is 12 a factor of v(y)?
False
Let o = 15 - 25. Let c(u) = -9*u + 1 + 5 - u**3 - 11*u**2 - 2*u. Is 6 a factor of c(o)?
False
Let q(w) = -w**2 - 6*w + 10. Let i be q(-7). Suppose 0*x = i*x - 9. Suppose x*h + 18 = 3*d, 3*d + h = 3*h + 20. Is 4 a factor of d?
True
Suppose 0*z - 2*z = 124. Let o = z + 99. Suppose -172 + o = -5*r. Does 9 divide r?
True
Let a(x) = -10*x - 34. Is a(-9) a multiple of 8?
True
Let s be 3/2 - 468/8. Let q = -37 - s. Is 7 a factor of q?
False
Suppose -4*s + 2*l - 7 = 139, -187 = 5*s - 4*l. Let f(q) = -5*q - 4. Let c be f(10). Let n = s - c. Is 9 a factor of n?
False
Let u = -21 + 53. Suppose u = o + 3. Let x = o + -4. Is x a multiple of 18?
False
Does 14 divide 20/(1*(-3)/(-9))?
False
Let p = 6 - 3. Let k = -17 - -23. Suppose 5*i + 7 = -13, -p*i - k = t. Is 6 a factor of t?
True
Let t be ((-81)/18)/(2/52). Is (-6)/10 - t/45 even?
True
Let u(g) = -g**3 - 12*g**2 - 15*g - 14. Does 10 divide u(-11)?
True
Suppose p = -3*p. Suppose -2*y + 5*k + 63 = -1, 3*k + 78 = 3*y. Suppose s = -p*s + y. Is s a multiple of 12?
False
Does 13 divide 995/15 - (-1)/(-3)?
False
Let a = -15 + 9. Let r = 20 - 10. Let k = r - a. Is k a multiple of 16?
True
Let c be -2*(-3)/9*6. Let w(b) = b**3 - 4*b**2 + 2. Let n be w(c). Is 228/20 + n/(-5) a multiple of 11?
True
Let g(n) = -366*n**3 + n**2 + n + 1. Does 54 divide g(-1)?
False
Let y(d) = -d + 8. Let z be y(8). Suppose -57 = -5*h + x, z*h + 2*h = -x + 20. Suppose m = 2*m - h. Does 4 divide m?
False
Suppose 1 = 3*p - 11. Suppose 12 = -p*l, 0*l + 39 = 4*u + 3*l. Is u a multiple of 6?
True
Let a(o) = -o**3 - 11*o**2 - 9*o + 9. Let m be (40/12)/((-1)/3). Let i be a(m). Is 52 - (-2 + i - -1) a multiple of 19?
False
Let b = -5 - -12. Let w = b + 1. Does 4 divide w?
True
Let z be (8/20)/((-3)/(-510)). Let y = z + -16. Is y a multiple of 14?
False
Suppose 4 = f - 0. Suppose -t - 2*w + 30 = 0, -3*w - w - 156 = -f*t. Is t a multiple of 13?
False
Let l = 634 - 391. Is l a multiple of 27?
True
Let b be ((-12)/(-18))/(4/(-6)). Is ((-27)/(-6) + b)*6 a multiple of 8?
False
Suppose -13*r = -17*r + 44. Is 11 a factor of r?
True
Let r = 10 - -22. Is r a multiple of 9?
False
Suppose -5*t = -42 + 17. Suppose 5*w + 0*w - 178 = 3*m, t*w = -2*m + 198. Is 19 a factor of w?
True
Is 11 a factor of (7 + 1)*(-5 + 57/6)?
False
Let y(k) = -k**3 + 6*k**2 - 5*k + 2. Let c be y(5). Let x(r) = 4 + 2 + c*r - r. Does 7 divide x(7)?
False
Let b = -179 - -375. Is 14 a factor of b?
True
Let p be (-1)/((-3)/9)*1. Suppose -v = p*v + 40. Is 15 a factor of (6/4)/(-1)*v?
True
Let q(m) = -m**2 - 2*m + 3. Let z be q(0). Is 4 a factor of 3 + z/(6/16)?
False
Suppose -4*y = -5*d - 286, 4 - 2 = -d. Let o = y - 30. Does 13 divide o?
True
Let p be 120/18*(-6)/(-4). Let s = p + 4. Is s a multiple of 14?
True
Let t(z) = 40*z**3 + 3*z**2 - 5*z + 2. Is 3 a factor of t(1)?
False
Does 6 divide (-19 + 4)/3 + 71?
True
Let j = 6 - 0. Does 2 divide j?
True
Let q(h) = 10*h**2 - 2*h + 1. Let i be q(1). Let n(g) = g**2 - 17*g + 8. Let w(v) = -2*v**2 + 33*v - 15. Let f(z) = 11*n(z) + 6*w(z). Does 12 divide f(i)?
False
Let p(y) = -9*y**3 - y + 1. Let z be p(1). Let x be 6/(z/(-3) - 1). Suppose -5*l + 85 = 5*i, -i - x*l + 0 + 9 = 0. Is 11 a factor of i?
False
Suppose -16 = 3*j + 3*l + l, -5*j + 4*l + 16 = 0. Suppose -z = -j*z - 14. Is z a