7)?
True
Suppose i - 6 = 4*a, -3*a - 39 = 6*i - i. Does 47 divide -2*(-1)/i*-771?
False
Suppose 2*z + 28 - 150 = 0. Suppose -x + 18 + 1 = -5*h, 3*h + 29 = 5*x. Is 5 a factor of z/6 + x/(-24)?
True
Suppose 0 = 7*t - 0*t - 14. Suppose 0 = -t*z + z + 18. Does 18 divide z?
True
Suppose -4 = 3*v - 5*s + 5, 0 = -v + 2*s - 4. Let p = v + -41. Let a = 36 - p. Does 25 divide a?
True
Suppose 0 = 2*b + b + 2*z - 41, 3*b + z = 43. Is 26 a factor of (-42)/(-4)*130/b?
False
Suppose z + 2 - 5 = 0. Let s(y) = 5*y + 1. Let q(k) = -6*k - 1. Let l(v) = -4*q(v) - 3*s(v). Is l(z) a multiple of 12?
False
Let b be (-7)/(-1) - 1*6/3. Suppose -b*f = 11*f - 672. Does 21 divide f?
True
Let l(i) = i**3 - 25*i**2 + 27*i + 134. Is l(24) a multiple of 10?
False
Let q(l) = 119*l**2 - 9*l + 1. Let v be q(3). Suppose -2*f = -5*x + 1038, -5*x + v = 4*f + f. Is x a multiple of 26?
True
Suppose -514 - 110 = -3*y. Is y a multiple of 8?
True
Let t be (-6)/6 - (-8 + 0). Let d(m) = -m**3 + 8*m**2 - 7*m. Let q be d(t). Suppose 2*i - 3*r - 4 - 32 = q, r - 124 = -5*i. Is 13 a factor of i?
False
Let d = -48 - -50. Suppose 6*h = d*h + 708. Does 25 divide h?
False
Let q(r) = r**2 - 10*r - 11. Let z be q(12). Suppose 0 = v + 5, z = 4*g + 2*v + v. Let b = 20 - g. Does 13 divide b?
True
Let r = 2335 + -1325. Is 10 a factor of r?
True
Let b(m) = -m**3 - 3*m**2 + 4*m + 3. Let j be b(-4). Suppose 0*t = -j*t + 15. Suppose 111 = -t*i + 2*q + 428, 2*i - 129 = 3*q. Is 16 a factor of i?
False
Suppose -2669 = 60*j - 9509. Does 19 divide j?
True
Let h be 156/36 + 2/3. Suppose -253 + 39 = -2*d + 3*z, 0 = -5*d - h*z + 560. Suppose 2*f - d = -5*s, 122 = 2*f - 0*f + 2*s. Is 10 a factor of f?
False
Suppose -1042 = -2*l + 1840. Does 28 divide l?
False
Suppose 17 - 9 = h. Is h a multiple of 4?
True
Let d(w) = 2*w**2 - 10*w + 9. Let h be d(8). Let n = h + -42. Is n even?
False
Suppose 0 = -2*j - 0*r - 2*r - 2, j + 4*r = -4. Let x be j/(4/((-8)/(-2))). Let s(l) = -l**3 - l + 12. Does 4 divide s(x)?
True
Let y(l) be the first derivative of l**3/3 + 5*l**2 - 11*l + 4. Let f be y(-12). Suppose h = 3*g + 12, -3*h - 5*g = -9 - f. Is 9 a factor of h?
True
Let x be ((-48)/(-32))/(2/4). Suppose -61 = -2*b - 5*v, 6*b = 3*b + x*v + 60. Does 10 divide b?
False
Let h = 291 + -201. Is h a multiple of 15?
True
Let q(p) = -2*p**2 + 19*p - 7. Let n(g) = -g**2 + 10*g - 3. Let d(f) = 7*n(f) - 4*q(f). Is d(-5) a multiple of 10?
False
Let w(k) = -190*k + 4. Let j(o) = 381*o - 8. Let n(z) = 2*j(z) + 5*w(z). Let q be n(-2). Suppose 2*i - 59 = -5*x + 93, 5*i - 4*x - q = 0. Is 19 a factor of i?
True
Suppose 2*b + 2*j = 610, 4*b + 5*j = 2*j + 1225. Is b a multiple of 10?
True
Let u(s) = 15*s**2 - s - 11. Let n be u(-4). Let a = n + -94. Is 9 a factor of a?
False
Let s(p) = 218*p**2 + 3*p + 1. Suppose 3*c - 4 = -7. Does 36 divide s(c)?
True
Suppose -v + 76 + 25 = 2*g, 0 = 2*v + 2*g - 200. Is 26 a factor of v?
False
Suppose -3*r - 435 + 2058 = 0. Suppose -1349 - r = -10*h. Is 14 a factor of h?
False
Suppose 8*c - 3*c - 1687 = -4*a, -3*c + 9 = 0. Is 46 a factor of a?
False
Suppose 6*p - p + 160 = 0. Let o = p + 62. Is 16 a factor of o?
False
Let q = 80 + 75. Is q a multiple of 68?
False
Let o be 5*((-8)/5)/(-2). Suppose o*v = 6*v + 14. Let p = 12 + v. Is p even?
False
Let r = 108 - 96. Is 21 a factor of 508/6 + (-8)/r?
True
Let c be (20/6)/(-2)*42/(-35). Suppose -c*b - 540 = -8*b. Is b a multiple of 18?
True
Let g(o) = -o**3 - 15*o**2 + o + 21. Suppose 0 = -3*c + 10 + 80. Suppose -2*q = -0 + c. Is 4 a factor of g(q)?
False
Suppose -10*s = 446 - 7646. Does 19 divide s?
False
Let p(z) = -2*z**3 - 8*z**2 - z - 17. Let c(t) = -2*t**3 - 38*t**2 - 2*t - 45. Let k be c(-19). Does 36 divide p(k)?
False
Let n = 1121 + -418. Is n a multiple of 10?
False
Suppose -4*a = -0*z - 5*z + 16, a = 3*z - 11. Suppose -2*x = 2*x + z*o - 76, -3*o = -15. Is 7 a factor of x - -2*2/4?
False
Let d(j) = -9*j - 15. Let l be d(-6). Suppose l = 2*p + 9. Let n(h) = h**2 - 14*h + 1. Does 4 divide n(p)?
True
Let t(f) = -f**2 + f - 6. Let p be t(6). Is (p/(-8) + -4)*314 a multiple of 18?
False
Suppose 5*h = h + 1984. Does 4 divide h/6*51/34?
True
Let h = 36 - 25. Suppose d + h + 6 = q, -4*q - 4*d = -44. Is q a multiple of 7?
True
Let t(x) = -x**3 - x**2 - 5*x - 6. Does 73 divide t(-8)?
False
Suppose 5*a - 506 = 359. Let c = a - 31. Is 24 a factor of c?
False
Let o be (-4)/(-6) + 1477/21. Suppose 4*z + 86 = 2*h, z - 2*z + o = 2*h. Is h a multiple of 37?
True
Let m = 195 + -124. Let n = 99 - m. Is 28 a factor of n?
True
Let f(g) = g**2 + 5*g - 2. Let h be f(-6). Let u = 6 - h. Suppose -165 = -5*n + u*n. Is 19 a factor of n?
False
Let t(z) = z**2 + 10*z + 17. Let l be t(-8). Let b be ((1 + -93)/l)/(-1). Suppose 0 = -4*x + 272 - b. Does 15 divide x?
True
Let y(l) = l**3 - 12*l**2 + 10*l + 7. Let v be y(11). Let q be (-4)/6 + v/(-6). Suppose -4*a - 3*h = -288, 2*a - 6*a + 2*h + 288 = q. Does 36 divide a?
True
Let q be ((-9)/3)/(3/(-2)). Let s be (36/(-10))/(q/20). Let a = -18 - s. Does 13 divide a?
False
Let j be 90 + 2 + -3 - (-3)/(-1). Let b = j + -81. Does 2 divide b?
False
Let f(x) be the first derivative of x**3/3 + 17*x + 26. Let a = -1 - -1. Is 14 a factor of f(a)?
False
Let t = -179 + 250. Suppose -5*l - x + t = 0, 3*l - 4*x - 57 = -x. Suppose -2*g = -l - 9. Is 4 a factor of g?
True
Suppose 35*o - 38*o + 8523 = 0. Is o a multiple of 38?
False
Let f be (-8)/2*21/4. Suppose -5*c + d = 2*d + 23, 4*c + 22 = d. Let h = c - f. Is h a multiple of 16?
True
Let x be (0 + 4/6)/((-30)/765). Let i = x - -42. Is i a multiple of 12?
False
Suppose -48 = -r - 5*r. Suppose 63 = r*y - 169. Is 29 a factor of y?
True
Let a = 34 + -22. Suppose 3 = -5*u - 3*g + 1, a = 2*u - 2*g. Is (-3)/6 - (-17)/u even?
True
Suppose -q - 3*o + 3 = 0, -5 = -3*q + 2*o - 7*o. Suppose 2 = -2*m - 0, l + 2*m - 54 = q. Is 7 a factor of l?
True
Let r = 9 - 9. Suppose 0 = -3*z + z - f - 6, r = 3*z - 3*f. Let p = z - -22. Is p a multiple of 5?
True
Let s(a) be the second derivative of -a**5/5 - a**4/12 + a**2/2 - 9*a. Let j be s(-1). Suppose -j*m + 4 + 20 = 0. Is m even?
True
Let v(i) = i - 10. Suppose 0 = -c + 4*c - 18. Let h be v(c). Does 13 divide 2/8 + (-103)/h?
True
Suppose 4*y + 3*z = 4029, 7*z + 4036 = 4*y + 3*z. Is y a multiple of 28?
True
Suppose 2*b + z + 3 = 6*z, -2*z = 5*b - 65. Let i be (-68)/(-17) - (-1 + 0). Let w = b + i. Is 6 a factor of w?
False
Let h be (-18)/(2 - (-12)/(-5)). Let j = 51 + h. Is 24 a factor of j?
True
Let q = 2571 - 1180. Does 27 divide q?
False
Let a be ((-2)/(-2) - 28)/1. Let t(q) = -q**3 - 7*q**2 + 3*q + 13. Let i be t(-7). Let m = i - a. Is m a multiple of 3?
False
Let w = 5 - 5. Let i(m) = m**3 - m + 69. Let k be i(w). Let v = k + 10. Does 23 divide v?
False
Suppose 2*c - 2238 = 2*t, t - 12 + 14 = 0. Is c a multiple of 10?
False
Let p = -117 - -76. Let b = 100 - p. Does 10 divide b?
False
Let x(u) = u**2 - 5*u + 12. Let j(d) be the third derivative of -d**4/24 + d**3/3 - 2*d**2. Let k be j(-9). Is 15 a factor of x(k)?
False
Let q(b) = 80*b**2 + 2*b - 3. Let l be q(3). Suppose -4*m + l - 183 = 0. Does 27 divide m?
True
Let s = 18 + -16. Suppose 3*m = 4*m - s. Is m a multiple of 2?
True
Let b = -7 + 6. Let r be (2 - b) + -1 + -1. Let g(t) = 13*t**3 - t**2 + t. Does 4 divide g(r)?
False
Let d(m) = 2*m**2 + 15*m + 21. Let o be d(-6). Suppose -3*c - f = -178 - 450, 0 = -3*c + o*f + 636. Is 10 a factor of c?
True
Let k be (2/(-5))/((-1)/(-10)). Is (-14)/k*(-3 + 22 - 3) a multiple of 8?
True
Suppose 0 = 7*r - 6*r + 33. Let s = r + 33. Is 8 a factor of 1*(s - 2) + 25?
False
Let u = -4 - -7. Let j(o) = 19 - 13*o + 6*o + 2*o + u*o. Does 2 divide j(0)?
False
Suppose 3*r + 46 = -5*x + 2554, -x = -5*r + 4208. Is r a multiple of 71?
False
Let c(g) = g**3 + 18*g**2 - g - 65. Is 7 a factor of c(-14)?
False
Let h be (0 - 5/3)/(1/3). Is 8 a factor of 68 - (h - -1)*1?
True
Let r(v) = -v + 13. Let g be r(7). Does 4 divide ((-22)/g)/((-1)/3)?
False
Let d(j) = j**3 + 38*j**2 - 97*j - 310. Is 74 a factor of d(-40)?
True
Is 21 a factor of (-99*7)/(252/(-24) + 9)?
True
Suppose -798 = 4*m - 5*h + 234, 0 = 2*m - 3*h + 518. Is 7/((-7)/m) - 5 a multiple of 15?
False
Let s = -1364 - -1971. Suppose -4*j + 376 = 3*t, 5*t + 5*j - 13 = s. Does 15 divide t?
True
Suppose 4 + 5 = w. Let o = -1 - w. Let m = o