-1)?
False
Let t = 74 - 44. Does 10 divide t?
True
Suppose 0 = 5*w - 0*w + 55. Let b be 20/(-12)*(16 + -1). Let u = w - b. Is 14 a factor of u?
True
Let t(f) = f**3 - 8*f**2 - 3. Let q be t(8). Let a = q - -11. Is a a multiple of 8?
True
Let c(i) = i**2 - 6*i - 5. Is c(10) a multiple of 12?
False
Suppose 6*x = -2*g + x - 27, 0 = 5*g + 5*x + 60. Let v = g - -22. Is 5 a factor of v?
False
Let i be (-38)/3*3/(-2). Let h = -10 + i. Is h a multiple of 9?
True
Let g(a) = a**3 - a**2 - a - 1. Let x(q) = 10*q**2 - 3*q - 11. Let t(j) = g(j) + x(j). Let r(v) = 6*v - 3. Let d be r(-1). Does 8 divide t(d)?
True
Let q = 35 - 15. Is q a multiple of 4?
True
Let i(w) = w**3 - 19*w**2 + 25*w - 1. Does 13 divide i(18)?
False
Suppose -6*b = -b - 240. Is 6 a factor of b?
True
Let k = -2 + 4. Let x be -4*k*21/(-24). Suppose -2*n + 26 = n - 5*z, -n + 2*z = -x. Is n a multiple of 6?
False
Let k be 24/(60/(-31) - -2). Let g be 1/(2*(-3)/k). Is 16 a factor of 1 + (-3 - (1 + g))?
False
Suppose t - 27 = -4*b, 3*t + 5*b = t + 66. Suppose -4*v - h + 53 = 0, -5*v + 3*v = -5*h - t. Is 5 a factor of v?
False
Let z(r) = -6*r + 6. Suppose 0*q + 7 = -q. Does 18 divide z(q)?
False
Let r = -9 + 5. Let g = 1 - r. Does 3 divide g?
False
Let u be (8/((-4)/2))/(-1). Suppose -r + u*q + 15 = 0, 4*r + 5*q - 50 = -r. Let b = -4 + r. Does 3 divide b?
False
Let x(o) = -o**3 + 6*o**2 + 4*o - 5. Is 8 a factor of x(6)?
False
Suppose -2*s - 3*o = -o - 2, o + 4 = 4*s. Let h(w) = 5*w - 13*w - w**2 + 4 + s. Does 9 divide h(-7)?
False
Let g(n) = 4*n - 1 - 8 - n**2 + 7*n. Is g(7) a multiple of 19?
True
Suppose t = -4*t. Suppose -5*y + 5*c = 2*c - 255, 2*y + 5*c - 71 = t. Suppose 4*r + 0*r - y = 0. Is 12 a factor of r?
True
Let n be ((-132)/(-4))/((-1)/(-4)). Let b = -56 + n. Is 22 a factor of b?
False
Let u(r) = 27*r**3 + r**2 - r + 1. Let f(y) = -y - 1. Let h be f(-5). Suppose -5*l = -h*o + 3, -2*l + l + o - 1 = 0. Is 9 a factor of u(l)?
False
Let i = -14 - -20. Let d be ((-4)/i)/((-1)/6). Suppose -d*r - r = -190. Is 19 a factor of r?
True
Suppose 3*o - 214 = o + 4*a, -2*o = 3*a - 249. Is 39 a factor of o?
True
Let a(t) = -t**3 - 2*t - 1. Let o be a(-1). Suppose -2*h + 88 = o*h. Is 11 a factor of h?
True
Suppose h = -2*h + 12. Suppose 0*p = -3*p + h*g + 51, 15 = p - 2*g. Does 7 divide p?
True
Let k be 8/12 + (-229)/(-3). Let u = -38 + k. Is 14 a factor of u?
False
Let p = -4 - -2. Is 4 a factor of (1/p)/(5/(-80))?
True
Suppose j - q = 18, 2*j - 3*q - 20 = 19. Does 15 divide j?
True
Let q = 30 - 9. Is 13 a factor of q?
False
Suppose 1 = 2*v - 3*g + 2, 5*g = -2*v + 23. Suppose -v*w = -497 - 211. Suppose m = 2*j - m - 74, 5*j - m - w = 0. Does 13 divide j?
False
Suppose 2*a = 3*p + 3, p = 3 - 2. Suppose a*n = 13 + 14. Suppose n = 4*w - w. Is w a multiple of 2?
False
Suppose -f - 200 = -5*n + f, -2*f = -4*n + 162. Is 14 a factor of n?
False
Let a = -3 + 7. Suppose m - 18 = -a*i, 0 = -2*i - 0*m - 5*m. Suppose 58 + 27 = i*r. Does 7 divide r?
False
Let j(g) be the first derivative of 2*g**3/3 + 3*g**2 - 6*g - 2. Let t be j(-5). Let u = t + -7. Is 7 a factor of u?
True
Let y(b) = b**2 - 6*b + 7. Let n be y(5). Suppose h = -n + 13. Is 8 a factor of 123/h + (-4)/22?
False
Suppose 3*w + 25 = 571. Is 8 a factor of w?
False
Let t(x) = 7*x**2 - 2*x - 13. Does 13 divide t(-4)?
False
Let c be -43 + (-2)/(-2)*-2. Let i = c + 67. Suppose -2*k - 2*k - 2*w + 96 = 0, i = k + w. Does 13 divide k?
True
Suppose 0*j - 3*p = 5*j - 37, -3*p - 13 = -5*j. Does 15 divide (-372)/(-15) + 1/j?
False
Let y(v) = v**2 - 7*v + 6. Let f be y(6). Suppose -b = 1, f = -4*d + 2*b + 2*b - 16. Let s(g) = -g**3 - 4*g**2 + 5*g + 6. Is s(d) a multiple of 2?
True
Let w(y) = y - 4. Let c be w(4). Suppose c*o + 2*o - 40 = 0. Is o a multiple of 10?
True
Let z(p) be the third derivative of -p**5/60 + p**4/12 + 17*p**3/3 - 6*p**2. Does 17 divide z(0)?
True
Let c(x) = x**3 - 2*x**2 - 4*x + 17. Does 17 divide c(5)?
False
Let b(d) = d**3 - 11*d**2 + 16*d + 6. Does 36 divide b(10)?
False
Is 12 a factor of ((-50)/8)/(3 - 13/4)?
False
Suppose 150 = 2*r + 3*r. Does 5 divide r?
True
Suppose 5*d = -3*y + 356, 0*d + 2*d - 131 = -5*y. Suppose s + 125 = 5*f, -3*f + 5*f - d = 5*s. Does 12 divide f?
True
Let m be (-10)/3*12/(-10). Suppose 0 = -m*n + 99 - 27. Does 9 divide n?
True
Let p(w) = -3*w - 16. Suppose -22 = 4*n + 5*g + 14, g + 27 = -3*n. Is 11 a factor of p(n)?
True
Let x(r) = -r + 5. Let c(w) = -w - 6. Let y be c(-6). Let f be x(y). Suppose -5*g - 2*q + 115 = 0, g + f*q - 2*q = 10. Is g a multiple of 10?
False
Let v be (-6)/((-140)/64 - -2). Let z = v - 14. Does 4 divide z?
False
Suppose 0*k - 3*k + 195 = 0. Does 13 divide k?
True
Let d(a) = -3*a**3. Let t be d(1). Let l(j) be the first derivative of -j**2/2 - j + 2. Is 2 a factor of l(t)?
True
Let h be ((-21)/9)/(4/(-324)). Suppose h = 5*f - x - 273, -2*x - 4 = 0. Is f a multiple of 32?
False
Let a be (-1729)/78 + (-1)/(-6). Is 13 a factor of 11/a - (-150)/4?
False
Suppose -2*t + 4*t = 8. Suppose 0 = 3*r + r - z - t, -4*z + 14 = -r. Let n = 30 - r. Is n a multiple of 12?
False
Suppose -5*t = -8*t + 9. Is 3 a factor of t?
True
Let d = 10 + -17. Let q be (-2)/(2 + -1) - d. Suppose q*p + 33 = 8*p. Is p a multiple of 11?
True
Suppose 5*m - 715 - 840 = 0. Does 19 divide m?
False
Suppose 5*o - 7*o - 104 = 0. Let m = -20 - o. Does 8 divide m?
True
Suppose u + k - 4 = 3*u, -5*k = -4*u - 2. Let z = u - -47. Suppose -3*r + 2*r = -z. Is r a multiple of 15?
False
Let g be (-3 + 1 - -2) + 3. Let d be 0*(-1)/(4 - g). Suppose 0 = -d*m - m + 79. Is 20 a factor of m?
False
Suppose 3*p + n - 5*n - 98 = 0, -5*p = 4*n - 174. Does 17 divide p?
True
Suppose -4*q + 298 = 3*v + 53, 0 = -v - 1. Suppose -3*c - 78 = -3*z, 3*z - 4*c - 13 = q. Does 8 divide z?
False
Let o = 21 - 1. Is o a multiple of 4?
True
Let i(l) = l + 3. Let p be i(10). Let j(b) = -b**2 + 14*b - 13. Let t be j(p). Let k(w) = -w**3 + w**2 + w + 16. Does 8 divide k(t)?
True
Let a(v) = 11*v**2 + v - 4. Is 12 a factor of a(3)?
False
Let z(d) = 2*d**2 + d. Let l be (-28)/(-6) + 2/(-3). Is z(l) a multiple of 12?
True
Let s = -31 - -56. Let u(p) = p**2 - 10*p + 10. Let c be u(7). Let r = c + s. Does 11 divide r?
False
Suppose -4*b = -x - 27, b - 18 = -0*b + 4*x. Is 3 a factor of b?
True
Suppose 120 = 4*g - 0*g. Is (2/5)/(3/g) a multiple of 4?
True
Let t(m) = m**3 + 7*m**2 - 2*m - 9. Let q be t(-7). Suppose -4*i = 5*a - 18 - 64, -q*i - a = -92. Is i a multiple of 7?
False
Does 8 divide 10*4 - (-2 + 2)?
True
Let r be -1 - ((-394)/2)/1. Does 11 divide r/6 + (-6)/(-18)?
True
Let o(x) = -x**2 - 7*x + 1. Let r be 10/(-1)*1/2. Let s be o(r). Suppose -v - s + 47 = 0. Does 15 divide v?
False
Let v = -17 + 45. Does 11 divide v?
False
Let s(m) = m**3 - 7*m**2 + 2*m - 7. Let x be s(7). Suppose -18 = -x*f + 5*f. Does 5 divide f?
False
Suppose 2*z - 4*t - 192 + 10 = 0, -177 = -2*z - t. Is z a multiple of 13?
False
Suppose 0 = 4*r + 7 - 175. Let n = -13 + r. Does 10 divide n?
False
Let j(a) = 4*a - 1. Let n be j(6). Let c = n + -8. Does 15 divide c?
True
Let s = 184 - 99. Is 17 a factor of s?
True
Let j(w) = 2*w**3 - w**2 - 3*w + 3. Let i(r) = -3*r - 1. Let y be i(-1). Does 6 divide j(y)?
False
Is 58 a factor of (43/(-3))/(((-56)/216)/7)?
False
Suppose -4*f + 2 = -106. Suppose f + 24 = 3*p. Is p a multiple of 17?
True
Let n be (-4)/6*(-6)/(-2). Let k be 0 + 3 + n + 3. Let i = 10 - k. Does 4 divide i?
False
Let c = 1 - -4. Does 4 divide c?
False
Let o(a) = a**3 - 4*a**2 + 4*a - 7. Let y be o(5). Let i = y + -24. Is 7 a factor of i?
True
Let y(i) = -i**2 + 13*i - 5. Let k be y(17). Let v = 124 + k. Does 17 divide v?
True
Suppose 12 = 2*f + n - 3*n, 0 = -n - 4. Suppose 2*o - 29 = -5. Does 8 divide (o - 4)/(f/4)?
True
Let k = -18 - -21. Suppose k*d + 2*d = -2*b + 91, -3*d + 43 = b. Is b a multiple of 29?
True
Let n(h) = 1259*h - 2. Let a be n(-2). Is 17 a factor of (-4)/(-22) - a/55?
False
Let j(n) = 22*n. Let u(z) = -z + 6. Let v be u(3). Does 33 divide j(v)?
True
Let j = -18 + 30. Is 4 a factor of j?
True
Suppose -i + 24 = y, -7*i + 2*i = 5. Is 11 a factor of y?
False
Let u(a) = -8 - a - 6 + 4. Let v be u(-7). Is 18 a factor of v/(-2 + -1) - -35?
True
Let z(o) = -o**3 + o + 9. Let r be z(0). Suppose 0 = -y + 3 + r. Let x = y + 15. Is x a multiple of 16?
False
Let v(b) = b**3 + 7