7. Suppose 4*n = -d + 867, 0 = -l*d - 5. Is 20 a factor of n?
False
Let y = -764 + 436. Let h = y - -1888. Is 44 a factor of h?
False
Let l = -8274 + 13496. Is 14 a factor of l?
True
Let p be (-2)/(27/12 + -2). Let n be (p/(-10))/((-1)/5). Let o = 12 + n. Is o a multiple of 2?
True
Suppose -1210*x - 204182 = -1232*x. Is x a multiple of 45?
False
Let g = -5579 - -5582. Let q(o) = o**3 - o**2 - 6*o - 4. Let b be q(5). Suppose 15 = g*z - b. Is 3 a factor of z?
True
Let n = 650 - 645. Suppose 3*d = 5*j - 2*d - 700, -n*j - 5*d + 740 = 0. Is 10 a factor of j?
False
Suppose -5*n = -3*f - 594, -7*f - 990 = -2*f + 2*n. Let d = -87 - f. Does 7 divide d?
False
Let g(k) = k**3 + 10*k**2 + 3*k + 32. Let f be g(-10). Suppose -3*z = -7*z - f*i + 1760, 4*i + 890 = 2*z. Does 38 divide z?
False
Let o(p) = 7*p - 33. Let b be o(5). Suppose b*u = 493 - 25. Is u a multiple of 39?
True
Suppose -5*b + 231 = 5*d - 3*b, -5*d + 4*b + 243 = 0. Suppose -4*h = 4*i - 152, -h = 5*i + 9 - d. Is h even?
True
Let n = 88 - 63. Suppose n*y - 20*y = 20. Suppose -5*q + 43 = g + g, y*g - q - 31 = 0. Is g a multiple of 3?
True
Let y(t) = -2662*t + 3118. Is 134 a factor of y(-2)?
True
Let g(c) = 3*c**2 - c + 32. Let p(m) = m**2 - m. Let d(q) = -g(q) + 4*p(q). Let z be d(7). Is 6 a factor of 58 + z/((-20)/25)?
False
Let x = -13 - -15. Suppose -b + x*b - 91 = 0. Does 13 divide b?
True
Let o(x) = 74*x**2 - 17*x + 156. Is o(12) a multiple of 86?
False
Let k(i) = -5*i**3 + 24*i**2 + 28*i - 41. Does 64 divide k(-14)?
False
Suppose -5*w + 10 = 5*s, 5*w - 8 = -s + w. Suppose s = -z - 0*q - q + 43, q = 5*z - 191. Is z a multiple of 5?
False
Let t(o) = -6*o**2 - 109*o - 43. Let j(m) = 2*m**2 + 55*m + 21. Let i(g) = 5*j(g) + 2*t(g). Does 18 divide i(28)?
False
Suppose 0 = -88*p + 51469 + 159731. Is 16 a factor of p?
True
Suppose -2*d + 5 = -7*d - 3*z, 0 = 3*d + z - 1. Suppose w + d*w = 480. Is w a multiple of 16?
True
Suppose 15*g + 8884 = 57574. Does 125 divide g?
False
Let i = 3 + 18. Suppose -3*w - i = 21. Does 13 divide 6/w - 367/(-7)?
True
Suppose -4108*m + 4093*m = -56985. Does 29 divide m?
True
Let a = 295 + -293. Suppose 3*o = -4*t + 1343, -t + a*t - 1346 = -3*o. Does 76 divide o?
False
Suppose 8*k - 27 - 5 = 0. Suppose -3*o + k*o - x = 16, 3*x + 68 = 4*o. Does 20 divide o?
True
Let d = -111 + 115. Suppose 0 = -d*f + 335 + 297. Is 7 a factor of f?
False
Let d = -218 + 221. Suppose 4*g = 4*y + 2118 + 38, d*g - y - 1619 = 0. Does 10 divide g?
True
Let w = 0 - 0. Suppose 5*a - 6*f - 394 = -4*f, 4*f + 398 = 5*a. Let z = a - w. Does 38 divide z?
False
Suppose -4*z - 4*k = z - 256, 3*z - 4*k - 128 = 0. Let u = -45 + z. Suppose -2*a + 505 = u*a. Does 15 divide a?
False
Let u(y) = 17*y - 117. Suppose -43*v - 66 = -45*v. Is 42 a factor of u(v)?
False
Let i(g) = -g**2 + 2*g + 15. Let y be i(-3). Let s = y + 2. Suppose 868 = 12*f + s*f. Is f a multiple of 4?
False
Let v = 80 + -40. Suppose 3*h + 0*d - 50 = d, -4*d = 3*h - v. Let o = 81 + h. Does 50 divide o?
False
Suppose x - 1536 = 4839 + 574. Does 18 divide x?
False
Let l(z) = 13*z**2 + 118*z + 18. Is l(12) a multiple of 174?
True
Suppose 0 = -7*s - 114 + 149. Is -1 - 167*(-3 + s)*-1 a multiple of 37?
True
Let k be (0 + 1)*-2 + 6. Let t(o) = 19*o - 31. Let y be t(k). Suppose 36*g - y = 33*g. Does 10 divide g?
False
Is 1026 - (-34)/(-2) - (-1 + 9) a multiple of 2?
False
Suppose -113*m = -110*m - 3*d - 45108, -3*m - 4*d + 45108 = 0. Is m a multiple of 45?
False
Suppose 150928 = 4*g + 4*f, -29*f - 37772 = -g - 25*f. Is g a multiple of 88?
False
Let x(k) = k**2 - 24*k + 30. Let h be x(23). Is -242*(h - (-32)/(-4)) a multiple of 12?
False
Suppose -c + 2*c = 3*m + 72, -205 = -3*c - 2*m. Let j be 20/35 + 102/42. Suppose j*a - 2*a - c = 0. Is 7 a factor of a?
False
Let z(a) = 78 + 8*a - 3*a + a - 183. Is 13 a factor of z(23)?
False
Is -2412*(-3)/(-10)*40/36*-3 a multiple of 18?
True
Suppose 61 + 17 = 3*h - 3*z, z = 5*h - 150. Let c = 1 + h. Let v = 10 + c. Is 6 a factor of v?
True
Suppose -d + s + 2 = 0, 2*d - 13 = 3*s + 2*s. Let t be (-6)/12 - d/(-2). Is (2 + -4)*t + 29 a multiple of 31?
True
Let j = 517 - 501. Suppose -40*r = -j*r - 3960. Is r a multiple of 4?
False
Let q(h) = 9 - 8 - 230*h + 232*h. Let u be q(1). Suppose 0 = u*w + 2*s - 257 - 96, s = 2*w - 233. Is 9 a factor of w?
True
Let s be -11 - (3/(-1) - -1). Let u(a) = 15*a + 86*a**3 + 4*a**2 + 211 - 85*a**3 - 193 + 7*a**2. Does 9 divide u(s)?
True
Suppose 5*d = -3*k + 5447, -3*d + 7874 = 4*k + 604. Suppose -3*h + 3*j + k = -734, -h + 5*j + 855 = 0. Is 85 a factor of h?
True
Let c = 11078 + -8809. Does 46 divide c?
False
Suppose i = 5*n - 72131, 0 = -2*n - 8*i - 6192 + 34994. Does 70 divide n?
False
Is 144 a factor of (396/(-22))/9 + 3370*5?
True
Suppose 0 = -y + 5*y + 2296. Let t = 910 + y. Suppose 0 = -5*g + 11*g - t. Is 6 a factor of g?
False
Suppose 3*g + 85*g - 2464 = 0. Does 22 divide g?
False
Let j(m) = m**3 - 9*m**2 - 7*m - 10. Let q(k) be the second derivative of k**5/20 + k**3/6 + 5*k**2 - 7*k. Let t be q(0). Does 3 divide j(t)?
False
Is 63 a factor of ((-738)/7)/(14/(-686))?
True
Suppose -112*q = -110*q - 4*n - 10084, -20098 = -4*q - 2*n. Does 6 divide q?
True
Suppose -13*l + 6*l + 966 = 0. Let o be -3 - (0 + 3 - 5). Let i = l + o. Is 15 a factor of i?
False
Let l(s) = 4*s - 23. Let p be l(5). Let w(h) = -37*h**3 + 4*h**2 - 8. Is w(p) a multiple of 31?
False
Let o(b) be the third derivative of 7*b**5/4 - 5*b**4/24 + 5*b**3/2 + 2*b**2 - 23*b. Is 82 a factor of o(2)?
False
Let r = -1143 + 1181. Suppose -4*j = -t - 170, -6 = -2*j + 3*t + 84. Suppose -r*w = -j*w + 96. Does 15 divide w?
False
Let q be 20216/252 - (20/9 - 2). Suppose -q*k + 73*k = -147. Is k a multiple of 12?
False
Let k(p) = 39*p + 207. Suppose 3*v + 2*v - 2 = -q, q - 18 = 3*v. Is 15 a factor of k(q)?
True
Let z(g) = -15*g**2 + 23*g - 35. Let d(o) = 5*o**2 - 8*o + 12. Let x(n) = -11*d(n) - 4*z(n). Is x(-5) a multiple of 4?
False
Suppose -56444 = -40*u + 123876. Is 28 a factor of u?
True
Let f(g) = -83*g - 1. Let h be f(-3). Suppose -50*s + 53*s - 291 = 0. Suppose 5*v - s = h. Is 11 a factor of v?
False
Let z(t) = 21*t**3 + 3*t**2 - t - 2. Let l = 10 + -8. Let h be z(l). Suppose p - h = -2*g - 2*g, -p + 4 = 0. Is g a multiple of 10?
False
Let s(w) = -19*w - 1081. Is 7 a factor of s(-90)?
False
Let h = 7641 - 4231. Is h a multiple of 16?
False
Suppose j = 5*h - 78, 164 = -2*j - 2*h - 4. Let m = -109 + 311. Let s = m + j. Is s a multiple of 10?
False
Let z = -54 + 99. Suppose z*y - 8 = 41*y. Suppose -c + 303 = 3*j + y*c, 395 = 4*j - 5*c. Is j a multiple of 10?
True
Let x = 1300 - 750. Suppose -x = -2*q - 134. Is 8 a factor of q?
True
Let d(v) = 737*v + 39. Is 9 a factor of d(1)?
False
Let a be ((0 - 0) + 9)*2. Suppose 0 = a*r - 1258 - 2414. Does 19 divide r?
False
Let z(b) = 54*b**2 + 23*b - 272. Is 27 a factor of z(-14)?
True
Suppose 2*j = -0*u + u - 4, 3*u + 32 = -5*j. Let t be -11*(36 - -4)/u. Suppose 3*i - t = 160. Is i a multiple of 8?
False
Suppose -4*f = -d - 3*d - 20, -6 = -3*d - 4*f. Let l be (173 - d)/(-5) + -3. Is 13 a factor of 52/5*(-95)/l?
True
Let m = 253 - 362. Let q = 142 + m. Does 15 divide q?
False
Suppose 5*i + 5*s - 37885 = 0, 8*i - 2*s - 7583 = 7*i. Is 11 a factor of i?
True
Suppose 4*a = -3*b + 6*a + 12758, 5*b - a = 21275. Is b a multiple of 5?
False
Suppose 2*m = -5*j + 1585, 0 = m - 0*m + 3*j - 791. Suppose -3*s - s - m = 4*k, -5*s + 2*k = 965. Let p = -83 - s. Does 28 divide p?
True
Let k be (0 + 2)*(-1 + 35/10). Suppose -3*z - 8 = y, 0*y - 16 = -y + k*z. Does 24 divide -2 - -3 - (-63 - y)?
False
Suppose -151*y - 20102 = -197*y. Is y even?
False
Suppose 2*s = -1279 + 2369. Is 60 a factor of s?
False
Suppose -2*i = -5*d - 3233, 1633 = i + d + 2*d. Does 50 divide i?
False
Suppose -132 = -25*q + 13*q. Suppose 13*c = q*c + 946. Is c a multiple of 11?
True
Let c = -323 - -441. Let q = c + -65. Is q a multiple of 2?
False
Let y(x) = -x**3 + 14*x**2 + 76*x - 3. Let s be y(17). Let v = 586 + s. Is v a multiple of 9?
True
Let y(o) = -198*o + 1073. Does 7 divide y(-6)?
True
Let t be ((-2)/(-4)*(-4 + 4))/2. Suppose 2*h + 2*f - 1136 = t, -5*h + 2586 = f - 238. Is h a multiple of 35?
False
Let m be -4*(-9)/12 - 0. Suppose 1289 = 2*h + d, -d + 2 + m = 0. Does 39 divide h?
False
Let o = -51123 + 132099. Is o