= 2*x - 3*o. Is 6 a factor of x?
False
Suppose q + 2*z - 5 = 0, 2*q - 7*z = -2*z + 37. Let s(d) be the second derivative of -d**5/20 + d**4 - d**3 + 4*d**2 + d - 2. Is 21 a factor of s(q)?
True
Let z(j) = -j**3 - 10*j**2 + j + 8. Let v be z(-10). Let r = 56 + v. Is r a multiple of 27?
True
Let m(u) = 31 + 39*u**2 - 65 - 2*u + 33. Let h be ((-2)/4)/(1/2). Is m(h) a multiple of 7?
False
Suppose 0 = l - 261 - 69. Suppose -3*u + l = -6. Is 16 a factor of u?
True
Let u be 9 + 8/(2 + -4). Suppose -160 - 470 = -u*n. Does 21 divide n?
True
Let m be 3 - (-5)/((-15)/9). Let i = m + 5. Suppose -i*z = -2*q - 146, -3*z + 2*z + 3*q + 37 = 0. Is z a multiple of 28?
True
Suppose -7*l = 2*l + 1017. Is 10 a factor of (l - 3)*(-4)/8?
False
Suppose -15*r - 12459 = -41214. Is 9 a factor of r?
True
Suppose -5*x + 52 = -x. Suppose -5*j + x + 232 = 3*l, 5*l + 159 = 4*j. Does 10 divide j?
False
Suppose 0 = 29*c + 19*c - 135360. Does 16 divide c?
False
Is 21 a factor of (-1 + 4 - 2)/((-5)/(-4055))?
False
Suppose -2*p + 200 = -g, 3*g - 2*p + 588 = -0*g. Is 4 a factor of (-18)/54 - g/6?
True
Let z be (-4)/18 + 914/(-18). Let w = 522 - 630. Let m = z - w. Is 19 a factor of m?
True
Suppose 0 = 6*a - 18 - 60. Let z(u) = u**3 - 19*u**2 + 3*u + 21. Let b(x) = 2*x**3 - 37*x**2 + 5*x + 41. Let g(j) = -6*b(j) + 11*z(j). Is g(a) a multiple of 9?
False
Let q(t) = 2*t**3 - 3*t**2 + 2*t. Let f be q(3). Let z = 63 + 35. Suppose -m - z = -5*n - 20, -2*n = -m - f. Does 5 divide n?
True
Suppose 3*p = -5*i + 471, 0 = -4*i - 35 + 23. Does 20 divide p?
False
Let b(d) = -d**3 + 27*d**2 - 7*d - 46. Does 13 divide b(19)?
False
Suppose 5*w = 12*w - 14469. Does 55 divide w?
False
Let f(u) = -2 + 45*u**3 + 9 - 96*u**3 + 50*u**3 - 14*u + 12*u**2. Is 20 a factor of f(9)?
False
Let p(l) = 3*l**3 - 3*l**2 - 5*l + 9. Let s(n) = 5*n**3 - 7*n**2 - 9*n + 17. Let w(k) = -7*p(k) + 4*s(k). Is 6 a factor of w(-7)?
True
Let u(d) = -41*d + 148. Does 47 divide u(-22)?
False
Let w be (108/(-16) + 0)*-24. Suppose -3*v + w = -0*v. Does 18 divide v?
True
Is 22 a factor of 12441/77 - (-12)/(-21)?
False
Suppose -4*o = k - 6*o - 268, 0 = 5*k - o - 1349. Is 30 a factor of k?
True
Let y = 90 + -87. Let b = 19 + -7. Suppose b + 64 = 2*w + h, y*w + 2*h = 112. Is 8 a factor of w?
True
Suppose m + 3*f = -4*m + 55, 0 = -2*m + f + 11. Suppose -m = 4*a - 144. Is a a multiple of 17?
True
Suppose -13*k + 131 = -181. Let l(z) = z**2 - 21*z + 8. Is l(k) a multiple of 10?
True
Let g(k) = k**2 - 13*k - 3. Suppose -7 - 1 = -4*l. Suppose -17 = -n - l. Does 9 divide g(n)?
True
Suppose 718 = 20*m - 762. Is m even?
True
Suppose 9 = z + 4*j, -2*z - 2*z - 5*j = 19. Let r = z - -4. Let s = r + 14. Is 7 a factor of s?
True
Is -18 + 9 + 1848 + -1 a multiple of 13?
False
Suppose g + g - 8 = 0. Suppose -7*w - 55 = -5*y - 2*w, g*y - 4 = -4*w. Is 2 a factor of (-96)/18*y/(-4)?
True
Let f = 8 - -1. Let y be f/(-12) - 57/(-12). Suppose d + y*x - 3 - 5 = 0, 3*d - 3*x = 39. Does 4 divide d?
True
Is 31 a factor of (1620/(-48))/(12/(-32))?
False
Let k(g) = -g**3 + 4*g**2 + 5*g + 5. Let s be k(5). Suppose -j + 56 = -s*j. Let m = j + 22. Is m even?
True
Suppose 0 = -0*m + 2*m - 5*t - 365, -5*m + 903 = -3*t. Does 12 divide m?
True
Let u(f) = 2*f**3 + 3*f**2 - 7*f + 44. Let j(b) = b**3 + b**2 - 3*b + 22. Let q(g) = 5*j(g) - 2*u(g). Let h be 0 - 2/(-4)*0. Is 22 a factor of q(h)?
True
Suppose 5*v + 5 = -25. Is 4 a factor of (-4)/v*(5 - -7)?
True
Suppose 5*k + 2 = -c - 3, -4*c - 3*k - 3 = 0. Suppose 0*a - 2*a + 32 = c. Is 4 a factor of a?
True
Let z(t) = 7*t**2 - 17*t + 55. Does 7 divide z(4)?
False
Suppose 14 - 2 = 4*f - 3*v, 3*f - v - 14 = 0. Let r be 6*3/f - 1. Suppose r*n = 0, -2*y + 30 = y - 2*n. Is 5 a factor of y?
True
Suppose 0*s = 2*z - 3*s - 9, 0 = -4*s - 12. Suppose -2*t = 6, z = 2*p + t + 30 + 205. Let u = p - -178. Is u a multiple of 18?
False
Suppose 55 - 97 = -3*d. Is 11 a factor of (2 - 27)*(7 - d)?
False
Suppose 39788 = 6*x + 8312. Is 93 a factor of x?
False
Let j(r) = -199*r + 217*r - 8 - 10. Is j(4) a multiple of 18?
True
Suppose -4*y - 5*c = -4140, -c - 3124 = 12*y - 15*y. Is 10 a factor of y?
True
Suppose 7*h + 5902 = 18544. Is 16 a factor of h?
False
Let h(m) = 24*m + 405. Is 18 a factor of h(44)?
False
Let c = 150 - 152. Suppose 2*j - 5*j = -186. Let o = j - c. Is 16 a factor of o?
True
Let k = -248 + 495. Let z = k + -108. Let c = 218 - z. Does 13 divide c?
False
Suppose -5*m + 3*z - 1 + 13 = 0, -z = 2*m - 7. Suppose -4*r + 28 = 3*p - 1893, m*r = 2*p + 1462. Suppose 0*l - 3*b = 4*l - r, 8 = 2*b. Is l a multiple of 35?
False
Suppose -3*i - 2*q = -8, 5*i - 5*q + 20 = -0*i. Suppose -2*n + 7*n = 4*w - 49, -3*w + 3*n + 33 = i. Suppose 16 = w*m - 4*m. Is 8 a factor of m?
True
Let c(y) = -10*y - 50. Is c(-14) a multiple of 15?
True
Suppose p = -5*a - 165, 4*a - 2*p - p = -113. Let g = 5 - a. Is 6 a factor of g?
False
Let t(r) = -43*r + 44. Is 38 a factor of t(-20)?
False
Suppose o + u = 3*u + 48, -242 = -4*o - 2*u. Let w be (267/6)/((-2)/(-4)). Let l = w - o. Is 11 a factor of l?
False
Let n = -63 - -363. Suppose -10*j = -0*j - n. Is 5 a factor of j?
True
Suppose l = -2*i + 899, 0 = -5*i + 7*l - 5*l + 2225. Suppose -2*g + i = g. Is 19 a factor of g?
False
Let m(r) = -r**3 + 7*r**2 + 9*r - 8. Let v be m(7). Suppose -10 = -8*p + 158. Suppose -4*b = -p - v. Does 9 divide b?
False
Let n(z) = 4*z**2 - 35*z - 29. Let o be n(-16). Suppose 5*a = o + 100. Is 23 a factor of a?
False
Let u(x) = x**3 - x**2 - 4*x - 2. Let t be u(3). Let s(y) = 3*y**3 + 4*y**2 - 2*y + 8. Does 18 divide s(t)?
False
Does 20 divide 5*12 - ((-12)/(-2) + -11)?
False
Suppose -147 = -4*f + 369. Let a = 43 - f. Let q = a - -165. Does 33 divide q?
False
Suppose -c - d + 36 = 3*d, 34 = c + 2*d. Let f be (-87)/(-4) - (-8)/c. Let w = f + 53. Is w a multiple of 25?
True
Let u be 0 - -1*(1 + 0). Let i(p) = -1 + u - 8*p - 4 - 7. Does 7 divide i(-6)?
False
Let x(i) = 6*i**2 + 5*i + 4*i + 0*i**2. Let p(f) = -18*f + 184. Let d be p(10). Does 36 divide x(d)?
False
Is 22 a factor of (925/(-4))/(-5) - (-2)/(-8)?
False
Suppose -4*m - j - 37 = 0, -j = -5*m - 0*j - 44. Let s = m + 11. Suppose s*h = 3*h - 27. Is h a multiple of 9?
True
Is 6/(-51) + 2/(136/55564) a multiple of 43?
True
Let o(w) = -6*w + 49. Is o(-14) a multiple of 11?
False
Suppose 4*z = l + 2180, -5*z + 2710 = -7*l + 2*l. Does 3 divide z?
True
Let c be (-4)/10 + 340/(-25). Let r = -6 - c. Does 5 divide r?
False
Let g = 779 - 420. Does 50 divide g?
False
Suppose -14*q + 5270 = 17*q. Is q even?
True
Let z = 2 + 2. Suppose -6*g - 15 = -3*g + 3*a, 0 = -2*g + 5*a + z. Is (60 - g) + -2 + 1 a multiple of 31?
True
Let b = -10 - -15. Suppose 27 = b*l - 28. Let m = 53 - l. Does 14 divide m?
True
Let t(q) be the third derivative of -7*q**4/24 - 14*q**3/3 - 21*q**2. Is t(-9) a multiple of 10?
False
Let h(o) = -o**3 + o**2 + 4. Let v be h(0). Suppose v*q - 6 = 2*q. Suppose u + 2*l + 0*l = 32, -q*l - 3 = 0. Is 10 a factor of u?
False
Suppose -11*a + 1656 = -3*a. Does 8 divide a?
False
Let x(k) = -k**3 - 10*k**2 - 6*k + 3. Let a be x(-9). Let b = -14 - a. Suppose 7*f = b*f - 153. Is 17 a factor of f?
True
Let k(r) = 90*r - 8. Let a be k(-2). Let m = 416 + a. Is 19 a factor of m?
True
Let y = 90 - 225. Does 16 divide -2*(-30)/(-1)*162/y?
False
Suppose 233 + 117 = 5*i. Is 9 a factor of i?
False
Suppose 44*z - 47*z = -6. Suppose z*n - 3*n + 99 = 0. Is 11 a factor of n?
True
Suppose -3*k = -4*d + 16, 4*d - 4*k - 2 - 18 = 0. Let z(i) = -10*i**2 + i + 2. Let f(b) = b + 1. Let h(p) = f(p) - z(p). Is 7 a factor of h(d)?
False
Let k(p) = -p + 6. Let y be k(3). Let w(z) = z**3 - 3*z**2 + z + 1. Let s be w(3). Suppose 4*m = -y*o + 62, -s*o = -2*m + m - 70. Does 18 divide o?
True
Let s = 356 + -314. Does 21 divide s?
True
Let c = 24 - 21. Suppose -c*h - 1 = -4*u, u + h = 2*u + 1. Suppose 2*k - 144 = -4*p, -u*p + 53 = -4*k - 91. Is 6 a factor of p?
True
Let m be (-2)/(3/(-12)*2). Suppose 0 = 2*d - 0*d - m. Suppose -108 = -d*j + 2. Is j a multiple of 20?
False
Let n = -586 + 916. Does 37 divide n?
False
Suppose 523*l - 13392 = 514*l. Is l a multiple of 48?
True
Let n(s) = -72*s**3 - 3*s**2 - 16*s + 15. Is 12 a factor of n(-3)?
True
Let z = 243 + -231. Does 11 divide z?
False
Let g(i) = 23*i - 132. Is 4 a factor of g(8)?
True
Does 10 divide (-102 + 2)*7