u be y(0). Suppose 0 = u*q - 2*q - 24. Does 8 divide q?
True
Let i(j) = -j**2 - 5*j. Let u be i(-5). Suppose 5*h + 102 - 282 = u. Is 18 a factor of h?
True
Let t be (668/(-6))/(8/12). Let f = t + 240. Is 10 a factor of f?
False
Suppose 5*q - 5*x - 4105 = 0, -3*q = 5*x - 341 - 2106. Does 98 divide q?
False
Suppose -2*g + 4*g - 48 = 5*f, 3*g - 91 = -2*f. Suppose -3*o + g = -139. Is o a multiple of 18?
False
Let d = 7 + -2. Let c(p) = 4*p**2 - p + 2*p**2 + d*p + 3. Is 15 a factor of c(-3)?
True
Let b = 3344 - 2286. Is 32 a factor of b?
False
Is 57 a factor of ((-138)/9 + 5)*-33?
False
Let b(o) = o**3 - o**2 - 4*o - 4. Does 3 divide b(7)?
False
Suppose -4*h + 38 = 194. Let j = h + 23. Let l = j + 29. Is l a multiple of 13?
True
Suppose 212 + 870 = 2*c + u, -4*c - 3*u = -2166. Does 9 divide c?
True
Is 7 a factor of (72/16 + -3)/(6/1076)?
False
Let x(u) = u**3 - 5*u**2 + 5*u. Let j be x(4). Is 10 a factor of 206/j + (-6)/4?
True
Suppose 33 = -3*f + 5*f + r, 3*r - 39 = -2*f. Is f a multiple of 15?
True
Let l = -11 - -10. Let c = l - -5. Is 23 a factor of c*(50/4 - 1)?
True
Let v(q) = 2*q**3 + 8*q**2 + 9*q. Let c be v(-6). Let w be (1*-2)/(11/c). Let g = 64 - w. Does 22 divide g?
False
Suppose 33 - 189 = -4*j. Does 38 divide j?
False
Let b = 48 + -24. Does 3 divide (-2)/(-4)*(b + 12)?
True
Let u be (2 - -3)*(-35)/(-25). Suppose 0 = 3*a - u - 8. Is a a multiple of 2?
False
Let k = 2957 + -761. Is 12 a factor of k?
True
Suppose 1525 = 3*v + 5*d, 2*d - 875 = -5*v + 1635. Suppose 2*y + 2*y - v = 4*t, -3*y + 4*t = -380. Is 24 a factor of y?
True
Let h(t) = -t**3 - t**2 + t + 25. Let u be 1 - (2 - 0 - 1). Let x be h(u). Is ((-270)/x)/(3/(-15)) a multiple of 18?
True
Let p = -10 - -2. Let x = p + 12. Suppose -x*z + 73 = 5*q, 4*z - 70 = -2*q - 0*q. Is 17 a factor of z?
True
Let i be -1 - 9/(-15) - (-226)/(-10). Let a = 13 - i. Does 9 divide a?
True
Let x(h) = h**3 - h**2. Let u(w) = -6*w**3 + 18*w**2 - 10*w + 2. Let q(b) = u(b) + 5*x(b). Let v be q(12). Suppose 5*z = 7*z - v. Is 13 a factor of z?
True
Suppose 2*h - 7*h = -480. Let n = h - 56. Is 20 a factor of n?
True
Is -6 + 108*2 + -6 a multiple of 34?
True
Let z = 177 - 81. Is z a multiple of 6?
True
Let o(z) = 178*z**2 + 6*z + 8. Is o(-1) a multiple of 9?
True
Let t(h) = -3*h - 13. Let j be t(-5). Suppose -j*d - 59 = -3*i, -3 = 3*i - 3*d - 63. Is 19 a factor of i?
True
Suppose -2*w = -404 - 56. Does 46 divide w?
True
Let i = -133 - -140. Suppose -3*h = i*v - 2*v - 149, -4*v = 5*h - 270. Is 29 a factor of h?
True
Let p(x) = -x + 2. Let k be (3/(-2))/(3/(-8)). Let c be p(k). Is c/13 + (-680)/(-26) a multiple of 6?
False
Suppose -26 + 1206 = 3*q + 2*k, 5*q - 1960 = -2*k. Suppose -8*b + 1510 = q. Is 28 a factor of b?
True
Let g(b) = 127*b + 1. Let i be g(-10). Let o be (1 - 0)/((-3)/i). Suppose -5*z = -o + 173. Does 25 divide z?
True
Does 3 divide -1668*(14 + -13 - (-10)/(-8))?
True
Let v = -85 - -49. Let y be -1 + ((-3)/(-3) - v). Suppose 6*k - y = 2*k. Is 9 a factor of k?
True
Let o = 0 - 3. Let h(a) = 3 + a**2 + a**2 + a + 2*a**2 + 2. Is 9 a factor of h(o)?
False
Let w(n) = -5*n + 6*n + 0 + 3. Let s be w(-3). Suppose s = t + 3*t - 100. Does 25 divide t?
True
Let x(k) = 3*k**3 + 9*k**2 - 4*k - 3. Let h(f) = 2*f**3 + 6*f**2 - 3*f - 2. Let t = -2 + -3. Let g(q) = t*x(q) + 7*h(q). Is g(-3) even?
True
Suppose 0 = -5*j + 25, 0*n - 3*n - 2*j + 133 = 0. Let h = 87 + n. Does 13 divide h?
False
Let y = 385 - 272. Suppose -3*s - y = -t + 5*t, 4*s + 140 = -5*t. Let h = t + 54. Is h a multiple of 11?
True
Let x(f) = -f**3 - 15*f**2 - 14*f + 2. Let k be x(-14). Let z be 1/(k - 1) - -3. Suppose -5*p - 20 = -2*m, -z*m = -4*p - p - 30. Is m a multiple of 4?
False
Let z be 14/98 - (2 + 1878/14). Let v = z - -196. Does 12 divide v?
True
Let y(s) = s**3 + 5*s**2 - 2*s - 2. Let m be (-32)/6 + 6/18. Let o be y(m). Suppose z - 36 = -o. Does 14 divide z?
True
Suppose -5*d = u - 16 - 42, u = 5*d - 52. Let y(o) = o - 15. Let s be y(d). Is 10 a factor of (-4)/(-2) - (s + -23)?
False
Suppose -j = -4*v + 560, 147 = -2*v + 3*v - 2*j. Is 9 a factor of v?
False
Let o = -425 + 641. Is 9 a factor of o?
True
Let d = 21 + -35. Let s = 20 + d. Suppose 1 = g - s. Does 4 divide g?
False
Let i be ((-8)/20)/(2/30). Let j(z) = -z**3 - 3*z**2 + 3*z - 6. Is 21 a factor of j(i)?
True
Suppose -5*b + 10*b - 450 = 0. Is b a multiple of 5?
True
Suppose 3*g = 8 + 1. Suppose g*b - 143 = 67. Suppose 0 = -6*u + u + b. Does 3 divide u?
False
Let g be ((-2)/4)/((-8)/160). Suppose 15*v = 16*v - g. Is 10 a factor of v?
True
Let v(o) = o**2 + o. Suppose -2*d - 1 = 3*c + 3*d, 4*d - 12 = 4*c. Let i(t) = -4*t**2 - 5*t - 9. Let f(x) = c*v(x) - i(x). Is 28 a factor of f(4)?
False
Let s(i) = i**2 + i + 80. Is 31 a factor of s(8)?
False
Let r(j) = -2*j + 1. Suppose 0 = -4*g + 5 + 15. Let w(k) = -k + 1. Let v(p) = g*w(p) - 3*r(p). Is v(5) a multiple of 7?
True
Let j(r) = 4*r**3 - 7*r**2 - 14*r + 18. Is 29 a factor of j(5)?
False
Let r = 218 + -18. Suppose -3*v + r = 2*v. Is 10 a factor of v?
True
Let d(l) = 6*l - 59. Let j(p) = -3*p + 29. Let h(b) = -4*d(b) - 9*j(b). Let z(f) = -f + 24. Let r be z(6). Is h(r) a multiple of 29?
True
Let u(q) = -49*q**3 - 2*q**2 - 2*q - 1. Let x be u(-1). Suppose -y = -0*y - x. Let d = -32 + y. Is 9 a factor of d?
False
Let p(l) = l**3 - 8*l**2 + l + 7. Let o(z) = z + 2. Let y be o(5). Let w be 22/2 - (-4 + y). Is p(w) a multiple of 7?
False
Let i = -22 + 94. Suppose 72 = 3*y - t, -4*t - i = -3*y - 0*t. Is 8 a factor of y?
True
Let v = 70 - 28. Suppose -w + 2*t + v = 0, 2*w + 2*t - 4*t = 90. Is 16 a factor of w?
True
Suppose -26*t = -29*t + 630. Let w = 44 + t. Does 12 divide w?
False
Suppose 0 = -4*w + 5*g + 24, 2*w + 5*g = w + 6. Is 13 a factor of (-2)/(-4) + 387/w?
True
Let y(n) = -211*n + 18. Is 110 a factor of y(-2)?
True
Is 33 a factor of 32 + -39 + -3314*4/(-8)?
True
Let v(c) = 10*c - 12. Is v(17) even?
True
Let j = -696 + 2368. Does 17 divide j?
False
Let n = 6 + 30. Is 5 a factor of n - 3/(6/(-8))?
True
Let y = -18 - -22. Let j = y + -1. Suppose 0 = -j*c - 2*u + 98, 3 = -u + 7. Does 19 divide c?
False
Suppose 8*n = 11*n - 6. Let s(h) = 3*h**3 - 2*h**2 - 3*h + 2. Is 6 a factor of s(n)?
True
Suppose -2*l + 2 = -2. Let m = 4 - l. Suppose 5*y - 2*v = 229, m*v = -0*v - 4. Does 15 divide y?
True
Suppose -907 + 217 = -15*p. Is 8 a factor of p?
False
Let l = 0 + 14. Let z = 318 - 312. Suppose -5*x + z = -l. Is x a multiple of 2?
True
Let p(u) = 39*u**2 - 51*u + 51. Does 2 divide p(1)?
False
Suppose -2*a - 106 - 4 = -3*n, 0 = -2*a - 8. Suppose 0 + 224 = -14*p. Let h = p + n. Is 18 a factor of h?
True
Let v = -21 - -21. Suppose v = 3*w + 3*n - 2*n - 30, 4*n = w - 23. Does 2 divide w?
False
Suppose 0 = -88*z + 91*z + 15, p + 2*z = 300. Is p a multiple of 8?
False
Suppose -v = 4*v + 2*f - 381, -4*f + 162 = 2*v. Suppose -74*u - 100 = -v*u. Is u a multiple of 10?
True
Let j = 448 - 168. Is 20 a factor of j?
True
Suppose -5*q = 2*r - 5*r + 25, q + 5 = -2*r. Suppose 2 = x - 3. Suppose -139 = -3*m - r*z - 4*z, -x*z - 175 = -4*m. Is 17 a factor of m?
False
Suppose -4*g + 5*t = 10311, 0*t + 5*t + 12945 = -5*g. Is 19 a factor of g/(-32) - 1/(-4)?
False
Suppose l + 59 = 2*s, 5*l + 3*s = 30 - 338. Let o = 100 + l. Is 4 a factor of o?
False
Let o(u) = 4*u**2 - 50*u + 21. Does 9 divide o(21)?
False
Is (-297)/(-15)*(-180)/(-36) a multiple of 11?
True
Let r be (0 - 3/12)*-4. Let d be -20*(r - (-3)/4). Does 17 divide ((-9)/3)/3 - d?
True
Suppose -3*b = -5*f + 1427, -9*f + 5*f = -3*b - 1141. Is 28 a factor of f?
False
Let u(t) = t**2 + 11*t + 14. Let p be u(-10). Suppose q - p*q = -6. Suppose v = q*v - 125. Is 32 a factor of v?
False
Let m(z) be the first derivative of z**4/4 - 4*z**3/3 + z**2/2 + 3*z - 9. Let g be m(3). Let y(v) = v**2 - v + 3. Is y(g) a multiple of 15?
True
Is ((-252)/24)/(22/(-20) + 1) even?
False
Let j(l) = -3*l**3 - 14*l - 18. Let i(m) = m**3 + 7*m + 9. Let n(u) = -5*i(u) - 2*j(u). Let r(x) be the first derivative of n(x). Is r(-3) a multiple of 6?
False
Let d be (-127)/(-2) - 10/20. Suppose -d = -5*n + 2*n. Does 21 divide n?
True
Let j(m) = -2*m - 2*m + 16 - 10. Let h(w) = -w - 5. Let u be h(0). Is j(u) a multiple of 4?
False
Let i(g) = g**2 + 6*g + 9. Let v be i(-4). Does 11 divide (-15*7/((-35)/24))/v?
False
Let x(u) = -u**2 + 6