tor of q?
False
Suppose -2*n + d - 21 = -4*d, 0 = 4*n - d - 3. Suppose 0 = n*h - 3*h + q + 48, 2*q + 186 = 4*h. Let g = 27 + h. Is 23 a factor of g?
False
Let l(x) = -2*x - 1. Let z be l(-1). Does 9 divide (-3 - (-4)/8)/(z/(-36))?
True
Let u be (-6)/(-4)*4/(-12)*-108. Let i = -39 + u. Is i a multiple of 15?
True
Let c(x) = 3*x - 5 + 7 + 4 + 63*x. Is c(1) a multiple of 36?
True
Let u = 250 + -244. Let p(m) be the first derivative of 2*m**3/3 - 7*m**2/2 + 10*m + 2. Is 15 a factor of p(u)?
False
Suppose -30974 = -31*h - 3*h. Is h a multiple of 11?
False
Let d = 969 + -527. Suppose 5*i + 135 = 2*z, -4*i - d = -5*z - 130. Is 10 a factor of z?
True
Suppose 3*x + 65 = -0*x - 2*w, 2*x + 5*w + 25 = 0. Let i = 30 + x. Does 5 divide i?
True
Is (-33796)/68*6/(-14) a multiple of 3?
True
Let k(v) = -7*v + 5. Let d be k(3). Let j(c) = -c**3 - 17*c**2 - 18*c - 24. Is 3 a factor of j(d)?
False
Suppose 4*g + 4237 = -31. Does 14 divide g/(-22) - (-1)/(-2)?
False
Let c(i) = -i**2 - 19*i - 10. Does 26 divide c(-11)?
True
Suppose -42*f = -38*f - 1504. Does 28 divide f?
False
Let d(q) = 176*q**2 + 35*q - 69. Is d(2) a multiple of 31?
False
Let h = 85 + 140. Does 5 divide h?
True
Is 13 a factor of ((-3009)/6)/(-17)*34/1?
False
Let h(i) = -3*i - 1. Let v be h(-2). Suppose 3*w = v*w. Suppose 4*o - 50 + 2 = w. Does 9 divide o?
False
Let n = -451 - -487. Does 9 divide n?
True
Suppose -5*q + 3*q - 3*j + 317 = 0, -4*j = 20. Suppose 6*k + 2*x = 3*k + q, 10 = 2*x. Suppose 4*d - 6*d = -k. Is d a multiple of 10?
False
Let y be 1 - 4 - (-8 - -2). Suppose -303 = -3*p - y*t, -p - 3*p + 401 = 5*t. Let d = -58 + p. Is d a multiple of 12?
False
Suppose -10 = 8*q - 18*q. Let j(p) = -p**2 + 6*p - 4. Let m be j(5). Is q + (m - -1) + 13 a multiple of 16?
True
Suppose -5*t + 3*l = -42, -t = -4*t + 3*l + 30. Let h(m) = -m**2 + 9*m - 2. Let n be h(7). Suppose z + n = 4*x, x + 2*z + t = -0*z. Is x even?
True
Let r = 547 + -390. Does 29 divide r?
False
Suppose 5*q - x - 5 = 8, 2*q - 8 = -x. Suppose 2*y - 5*l - 109 = 0, -4*y - 2*l + q*l = -209. Suppose 0 = -2*k + y. Is k a multiple of 13?
True
Suppose 3*c = -3*k + 591, 2*k - 4 + 0 = 0. Let a = -87 + c. Does 18 divide a?
True
Suppose 0*z - 3*b = 2*z + 4, -3*b + 6 = 0. Let v(s) = -5 - 3*s**2 + 5*s**2 + s**3 + 3*s**2 + 12 - 5*s. Is v(z) a multiple of 15?
False
Let v = 1541 + -390. Is v a multiple of 9?
False
Let k = -8 + 10. Suppose 5*q = k*c + 382, 16 = 3*c + 4. Does 26 divide q?
True
Let x(f) = -4*f - 90. Let r = -36 - -10. Is 7 a factor of x(r)?
True
Let b = 10 - 7. Suppose b*x - 250 + 58 = 0. Is x a multiple of 16?
True
Let x = 2181 - -2150. Is 61 a factor of x?
True
Suppose 6*p + 968 = 4*q + 7*p, -p = q - 242. Is 10 a factor of q?
False
Let v = 242 - 125. Suppose -p + 4*s + 48 = 0, -v = -2*p + s - 0*s. Is p a multiple of 10?
True
Let v(z) = 130*z**2 - 5*z - 2. Suppose 12 = -t - 5*h - 9, -t + h = -3. Is 24 a factor of v(t)?
False
Suppose -3*q = -s - 27, -2*s - 3*q - 99 = -0*q. Let g = 21 - s. Does 8 divide g?
False
Suppose h = -3*h - 52. Let u(p) = 5*p + 4. Let v be u(-3). Let j = v - h. Does 2 divide j?
True
Suppose 5*l + 12 = 3*x, 5*x - 20 = -l - 2*l. Suppose 4 = -l*p + 2*p. Suppose -p*y - 4*c + 58 = 0, -1 = -2*c + 3. Is y a multiple of 8?
False
Suppose 1 = 2*f - f + j, -3*f + 2 = 4*j. Suppose 4*s - 501 = -3*v + 4*v, -261 = -f*s - 3*v. Is s a multiple of 36?
False
Suppose 681*b - 691*b = -5570. Is 15 a factor of b?
False
Suppose 3*r - 221 = s, 0 = -2*r + r + 3*s + 87. Is r a multiple of 17?
False
Let o = 2175 + -1482. Is 11 a factor of o?
True
Let k be (-39)/(-2) - 3/6. Let g = 5 - k. Does 12 divide g/35 + 324/10?
False
Suppose g = -2*h + 22, 3*h - 20 - 19 = -3*g. Suppose -8*i + 7 = -h*i. Does 7 divide ((-1)/(-3))/(i/(-147))?
True
Suppose 5*l - 9 - 10 = 2*n, -65 = 5*n + 5*l. Let j be (0 - -1)*-1 - (-4 - 15). Let m = j + n. Is 6 a factor of m?
True
Let r = -1 + 1. Suppose -6*q + 13 + 2147 = 0. Suppose 4*i = 2*a - 168, r*i = -4*a + 2*i + q. Does 16 divide a?
False
Let l(t) = t**3 - 20*t**2 + 18*t + 17. Let f be l(19). Let b = -66 + 22. Does 14 divide f + (b - -4)/(-2)?
False
Does 14 divide (-2 - 28)*(6 + -17 + 4)?
True
Let c be -15*((-14)/6 - -2). Let d(o) = 8*o**2 + 5*o - 13. Let k be d(-4). Suppose -c*a + k = -70. Does 11 divide a?
True
Let d = 4448 + -2259. Does 96 divide d?
False
Let m(s) = 23*s**2 - 2*s - 1. Let x(g) = 45*g**2 - 4*g - 2. Let n(b) = -5*m(b) + 3*x(b). Is 15 a factor of n(2)?
True
Suppose 4*b - 2*v + 346 = 0, -5*v + 100 = -2*b + b. Is 954/10 + 34/b a multiple of 19?
True
Suppose 0 = 4*n - r + 131, 5*r = -0*r + 15. Let m = n - -50. Is 9 a factor of m?
True
Let y(s) = -2*s**2 - 41*s + 18. Is 38 a factor of y(-20)?
True
Is (-2855)/(-20) - 10 - 2/(-8) a multiple of 19?
True
Suppose 5*b - 9 = 4*s, 2*s - 13 = -5*b + 5*s. Suppose -65 = -4*f + b*r, -f + 2*r = -4*f + 66. Is f a multiple of 4?
True
Suppose 5*f - 145 = -5*r, -5*f + 5*r = 2*r - 105. Does 22 divide 11094/36 - 4/f?
True
Suppose 5*c - 133 = -5*k + 242, 0 = 2*k - 2*c - 142. Is k a multiple of 6?
False
Let f = -77 + 25. Let i = f + 65. Is i even?
False
Let s(p) = -p - 6. Let q be s(-6). Let y(g) = 0 - 4*g - g**3 + q*g**3 - 6*g**2 - 2 + 2*g**2. Is y(-4) a multiple of 13?
False
Let k = -31 + 37. Suppose -7*i + 42 = -k*i. Is 9 a factor of i?
False
Let t(v) = v**3 + 13*v**2 + 12*v - 4. Is t(-9) a multiple of 18?
False
Let k(o) be the second derivative of 5*o**4/6 - 7*o**3/6 + 6*o**2 - 2*o - 1. Is 12 a factor of k(4)?
True
Is (82 + 70)/(1 + 1) a multiple of 4?
True
Let s be (-3)/2*26/(-3). Let f(p) = -p**2 + 14*p - 7. Does 6 divide f(s)?
True
Let j(u) = 179*u - 228. Is 25 a factor of j(4)?
False
Let c = -864 + 1020. Does 6 divide c?
True
Let z(y) be the second derivative of y**4/12 + y**3/2 - y**2/2 - y. Let g be z(2). Suppose 15 = 10*j - g*j. Does 3 divide j?
True
Let v = 3617 + -2303. Is v a multiple of 103?
False
Suppose 13*f = f + 6912. Is 36 a factor of f?
True
Let b be 190/1*1768/130. Is 46 a factor of (-112)/196 - b/(-14)?
True
Suppose -v - 1 = -3*u, -2*u + u - 13 = -3*v. Suppose 2*j + 35 = v*a, 2*j = -j. Suppose -21 = -i + a. Is 8 a factor of i?
False
Suppose 4*v - c = -1841, 6*v + 3*c + 1821 = 2*v. Is 12 a factor of 2*(v/(-2))/9?
False
Let m be (-2485)/45 - (-4)/18. Let f = m - -94. Let s = -24 + f. Is s a multiple of 3?
True
Let l = -35 - -6. Let u = 132 - 197. Let i = l - u. Is i a multiple of 12?
True
Let v be 3036/15 + -1 + (-4)/10. Suppose -4*m + 143 = -v. Does 31 divide m?
False
Suppose 4*k = -5*c + 17, -2*c - 4 = -6*c. Let v(d) = -5*d**2 - 8*d**3 + 1 + 0 + 9*d**k - 5*d + 10*d**2. Does 13 divide v(-4)?
False
Let d be (-26)/(-6) - 4/12. Suppose 0 = d*r - 5*r + 38. Is 9 a factor of r?
False
Suppose -67*p = -20277 - 27963. Is p a multiple of 20?
True
Let j(s) = -6*s**3 - 10*s**2 - 14*s - 20. Is 10 a factor of j(-8)?
False
Is 14 a factor of -1 + 6 + 5341/7 + -7?
False
Does 15 divide (6 - -314 - 6) + 1?
True
Let l = -108 - -426. Is l a multiple of 53?
True
Let h(r) = 4*r**2 + 7*r + 21. Does 7 divide h(7)?
True
Suppose 3842 = 13*x - 2086. Does 14 divide x?
False
Let w(n) = 3*n + 39. Let x be w(-16). Let f(i) = i**3 + 12*i**2 + 11*i - 6. Is 23 a factor of f(x)?
True
Suppose -19*h - 78204 = -68*h. Does 28 divide h?
True
Let y be (-10 - -16)*(-2)/(-4). Suppose -b = y*b + 24. Let t = 27 + b. Does 8 divide t?
False
Let k(i) = -2*i**2. Let s be k(-1). Let z(p) = -49*p - 3. Let u be z(s). Suppose 3*c = -3*x + 252, 4*x = -c + u + 253. Does 27 divide x?
False
Suppose i + 129 - 127 = 0. Let x(h) be the first derivative of 5*h**3/3 + 5*h**2/2 + 4*h - 2. Is x(i) a multiple of 7?
True
Let w = 2164 + -1448. Let g = -501 + w. Is 22 a factor of g?
False
Let b = 51 + -42. Let i = b + 34. Is i a multiple of 6?
False
Does 17 divide (13312/(-130))/(4/(-10))?
False
Let a = -17 + 71. Suppose 4*c = 5*u + a, -5*u - 35 = -5*c + 30. Let m = c - -9. Is m a multiple of 5?
True
Does 5 divide 7 + -7 + 0 + 135?
True
Let h(s) = s**2 - 22. Let f be h(-5). Suppose -338 = -3*a + j, 2*a - 228 = -5*j + f*j. Does 13 divide a?
False
Let v = -4 - -13. Let i(z) be the third derivative of z**5/30 - 7*z**4/24 - 3*z**3/2 + 74*z**2. Is 30 a factor of i(v)?
True
Let g(b) = -36*b + 6. Let m be 1*7/(-2) + 3/2. Does 6 divide g(m)?
True
Suppose 289 = -5*b - 4*r + 1147, 2*r - 4 = 0. Let z = -80 + b. Suppose -4*i +