ppose 2*p - 3*p - 356 = -4*o, 2*p = o - 96. Does 22 divide o?
True
Let q(o) = -o**3 + 12*o**2 + 14*o + 1. Let x(k) = k**2 - k + 6. Let j(d) = 2*d**2 + 7. Let r(p) = 3*j(p) - 4*x(p). Let u be r(2). Is q(u) a multiple of 9?
False
Let w(g) = 122 - 95 + 176 - 4*g + 3*g. Is 34 a factor of w(0)?
False
Let k be -15*5/(-15)*3/5. Suppose k*v + 483 = 5*b, 37 = -4*b + 3*v + 424. Is b a multiple of 12?
True
Let j = 2507 + -2315. Is j a multiple of 12?
True
Let o(v) = -2*v - 5. Suppose -5*g - 21 = -6. Let w be o(g). Is 14/(-28)*(-198)/w a multiple of 11?
True
Let b(f) = -f**3 - 3*f**2 - 6*f - 10. Let v = 17 - 13. Suppose v*m + 24 = m - 4*z, 3*m = 4*z. Is 15 a factor of b(m)?
True
Let q be (-90)/5*(-82)/6. Suppose -5*l - 7 = -2, 5*v + l = -q. Let m = v + 69. Is m a multiple of 10?
True
Let p be 3 - 5/((-10)/(-12)). Let o = -2 + p. Is 4 + (-2 - o) + -4 a multiple of 3?
True
Suppose 3*k - 17 = -2. Suppose k*z - 6 = 4. Is 20 a factor of (z + -2)/(-1) + 46?
False
Let a = -2219 - -2739. Is a a multiple of 130?
True
Let q be (2/1 + 2)/((-1)/(-11)). Let v = q - 8. Is v a multiple of 12?
True
Let y(g) = g**2 - 9*g + 20. Let k be 2 - 14/10 - 72/(-5). Is 9 a factor of y(k)?
False
Suppose 4*n + 978 = m + 6*n, 5*m - 4857 = n. Is 45 a factor of m?
False
Let m = -5733 - -222. Is 9 a factor of (-6)/(-14) + m/(-77)?
True
Suppose 7*z - 5*y - 43 = 9*z, -3*z - 5*y - 57 = 0. Is (-39 + 6)/(1 - (-17)/z) a multiple of 10?
False
Let r = -64 + 270. Let m(v) = v**3 - 34*v**2 + 32*v + 37. Let n be m(33). Does 26 divide (0 - (-2)/n)*r?
False
Let g(f) = -f**2 - 7*f. Let q be g(-6). Suppose q + 22 = 4*t. Is t a multiple of 2?
False
Let f(r) be the second derivative of -r**5/20 - 5*r**4/6 - r**3/3 + 5*r**2/2 - 2*r + 95. Suppose 32 = -2*q + 2*z + z, 0 = q - 4*z + 26. Is f(q) a multiple of 6?
False
Suppose -5*a - 4 = -2*q + 26, -3*q - 3*a + 3 = 0. Suppose 23 + 5 = z + q*l, 2 = -2*l. Is 7 a factor of z?
False
Let x(f) = -f**2 + 5*f - 2. Suppose -3*s - 6 = 2*a, -3*s - 21 = -0*a - 3*a. Let j be x(a). Suppose -i + 4 = -3*h + 3, j*i + 2*h = 18. Does 4 divide i?
True
Suppose 2668*k - 2671*k + 1974 = 0. Does 18 divide k?
False
Suppose -3115 = -23*p - 286. Is 8 a factor of p?
False
Let p(j) be the first derivative of -15*j**4/4 - j**3 + 9*j - 5. Let s(k) = 16*k**3 + 3*k**2 - 10. Let a(x) = 6*p(x) + 5*s(x). Does 13 divide a(-2)?
False
Suppose -18*x + 14*x + 20 = 0, -5*x = -j + 400. Does 85 divide j?
True
Suppose 9*y + 168 = 15*y. Is y a multiple of 14?
True
Let g = -5 - -5. Let b be (g - (-90 + -2)) + 2. Suppose -128 = -4*x - 4*d, x - b = -2*x - d. Does 9 divide x?
False
Suppose 3*w - n - 10 = 0, 4*n - 29 = -5*w - 1. Suppose 4*v + w*r - 340 = 2*v, 2*v + 5*r - 338 = 0. Suppose p - v = -3*j, 4*p = 4*j - p - 213. Does 19 divide j?
True
Let t = 1723 - 761. Does 37 divide t?
True
Let y be 1/(3/(-12)) - -6 - 0. Suppose 3*k + q = 319, k - 6 = y*q + 91. Does 21 divide k?
True
Let b(u) = -u - 25. Let o be b(7). Is 3 a factor of (90/4)/(-3)*(30 + o)?
True
Suppose 0 = 2*w + 4 - 2, 0 = 5*g + 4*w + 114. Let a = -7 - g. Is 3 a factor of a?
True
Does 12 divide 3912/10 - (-20)/(-100)?
False
Let r(s) = s**3 + 12*s**2 - 2*s + 19. Is r(-6) a multiple of 11?
False
Is 13 a factor of (-652)/(-10) - 39/195?
True
Suppose -6*a = -2*a - 64. Let w be (a/12)/(3/(-18)). Let s(l) = 2*l**2 + 9*l - 8. Is 21 a factor of s(w)?
False
Suppose 0 = 2*t - 4*f - 826, -3*t + 1243 = 2*f - 7*f. Is t a multiple of 30?
False
Let w(q) = 14 + 7 + q - 22. Let x = -2 - -12. Is 5 a factor of w(x)?
False
Let a be (-156)/(-9) - 4/(-6). Is 27 a factor of (-3 - 39)*a/(-12)?
False
Let q(p) = 7*p**3 - p**2 + 1. Let i(h) = h**2 + 10*h + 5. Let x be i(-10). Let y(s) = -s**3 + 4*s**2 + 3*s + 12. Let g be y(x). Is q(g) a multiple of 10?
False
Suppose -6*u = -2*u - 3*w + 2174, 4*u + 2190 = -5*w. Let s = u - -774. Is s a multiple of 40?
False
Let d = 512 - 400. Is 7 a factor of d?
True
Is 40 a factor of 9/6 + 1945/10?
False
Let f = -546 + 853. Is f a multiple of 11?
False
Let u(w) be the second derivative of -w**3 + 2*w**2 - 5*w. Let a be u(-7). Suppose h - a = -h. Is 9 a factor of h?
False
Suppose 0 = -h - 2*h - 3, -3*h = -2*f + 173. Suppose -x - l + 2*l = -f, -4*x + 5*l = -345. Is 40 a factor of x?
True
Let q(b) = -2*b - 2. Let o be q(-3). Suppose o*v = 2*f - 2, 5 + 11 = 2*f + 3*v. Suppose -4*l + 84 = -f*n - 242, -3*l + 3*n + 246 = 0. Does 14 divide l?
True
Suppose 5*n = c - 368, 3*n - 5*n = -4*c + 1544. Is 18 a factor of c?
False
Let v be 4/12 + (-51)/(-9). Does 10 divide (v/(-5))/((-18)/1020)?
False
Let f(y) = -1 + 0 - 7 + 3*y - 5. Let p be f(6). Suppose -p*t + 102 = -123. Is 15 a factor of t?
True
Let l = 35 - 17. Suppose -3*c + 42 + l = 0. Is c a multiple of 10?
True
Let g be 27/9 + (1 - 1). Suppose 39 = 4*h + g. Suppose 3*j + 2*s - h = 0, 5*s - 2*s = 0. Is j a multiple of 3?
True
Let l(p) = -7*p + 21. Let i be l(-7). Suppose j - 231 = -i. Is 25 a factor of j?
False
Suppose -61740 = -16*l - 20*l. Is 7 a factor of l?
True
Let b(y) = -21*y - 29. Let g be b(-14). Suppose -129 - 138 = -5*z + 3*n, -5*z + 5*n + g = 0. Does 17 divide z?
False
Let w = 327 + -63. Suppose -3*c - w = -2*m, -c - 151 + 693 = 4*m. Suppose -m = -4*f - 27. Is 8 a factor of f?
False
Let a(y) = y**3 + 9*y**2 - y + 3. Let v be a(-9). Suppose -v*k = -17*k. Suppose z + k*z = 30. Is z a multiple of 30?
True
Suppose -36*f + 44016 = -15*f. Is 23 a factor of f?
False
Let o be (-10)/(-4) + (-1)/(-2). Suppose -3*d + 361 = -u, d = o*d + u - 239. Suppose -2*v = -5*v + d. Does 13 divide v?
False
Let u(w) = 2*w**2 + 14*w + 44. Is 20 a factor of u(-13)?
True
Let d = -69 - -43. Let i = 22 + d. Is 26 a factor of (-6)/(i/(-104)*-2)?
True
Suppose -2 = -x + 10. Let h = -12 + x. Suppose h = -3*a - 14 + 95. Is a a multiple of 27?
True
Suppose -70 = -10*l + 3*l. Suppose -5*g = -l*g + 450. Does 10 divide g?
True
Suppose 3*x - 10 = 5*i - 85, -5*i = 3*x - 45. Let p(o) be the first derivative of o**3/3 - 6*o**2 + 3*o - 3. Is p(i) even?
False
Let h = -267 + 442. Does 10 divide h?
False
Let r be (-164 + 6)/((-6)/(-9)*-3). Suppose 26 = 5*s - r. Does 20 divide s?
False
Let x(q) = 8 - 2*q + q**2 - 16*q**2 + q**2 + 0*q**3 - q**3. Let y be x(-14). Suppose -10*c + 6*c + y = 0. Does 9 divide c?
True
Let w be ((-4)/(-8))/(4/96). Suppose w = 3*d - 12. Is -4*4*(-4)/d a multiple of 8?
True
Suppose 10*t - 15*t + 30 = 0. Is 53 a factor of 7632/60*20/t?
True
Let z(l) = 12*l + 11*l + 2 - 25*l. Suppose 14 = -5*m - 1. Is z(m) a multiple of 7?
False
Suppose 0 = 5*v - 2*v - 30. Suppose 0 = 2*m + v. Is -11*m/((-20)/(-8)) a multiple of 11?
True
Let i(o) be the first derivative of 7*o**2 - 2*o + 1. Let r be i(-2). Does 5 divide (-162)/r - 4/10?
True
Suppose -3*j - 2*j + 495 = -3*n, -202 = -2*j + 2*n. Suppose 5*r - 144 = -3*p + 3*r, 2*p - 4*r - j = 0. Is 24 a factor of p?
True
Let k be (-1)/4 - (-3)/12. Let r be (k/(-6))/(1 + 0). Suppose 5*x - 3*m - 2*m - 55 = 0, r = 4*x + 4*m - 68. Is x a multiple of 7?
True
Let b(u) = -u**3 - 8*u**2 + 8*u - 6. Let h be b(-9). Suppose -5*n = -o - 2*o - 267, 2*n + h*o = 111. Does 24 divide n?
False
Suppose -421 - 584 = 5*f. Let t be f/9*-3 + 1. Suppose -76 - t = -4*j. Is j a multiple of 12?
True
Let n = 1120 + -892. Is 11 a factor of n?
False
Suppose 9*q - 8347 = -1678. Is 57 a factor of q?
True
Suppose 0 = 25*c - 532 + 182. Is c even?
True
Suppose -3*c - 3 = 0, 5*b + 5*c - c = 516. Suppose 4*w - 5*w + b = 0. Let v = w - 29. Does 15 divide v?
True
Let d(n) = n**2 - 4*n - 4. Let z(s) = -8 + s - 6*s + 3*s. Let j be z(-7). Does 3 divide d(j)?
False
Is 1338 - 14/(42/15) a multiple of 43?
True
Let j(d) = -122 + 121 + 5*d**2 + 2*d - 4*d. Suppose 0 = h + 3*f + 13, 0*h + 4*h = -4*f - 20. Is j(h) a multiple of 3?
True
Let x(y) = 2*y**2 + 8*y + 8. Let p be x(-4). Suppose 5*v - 5*s - 39 = 101, -p = -2*s. Is v a multiple of 16?
True
Let g(n) = -n**2 + 11*n - 8. Suppose -4*d - 11 + 51 = 0. Let s be g(d). Suppose 3*q = 2*z - 47, -s*z + 4*z + 2*q = 22. Is 13 a factor of z?
False
Let d = 41 - 41. Let c = 36 + -8. Suppose d = -f + 2*f - c. Is 9 a factor of f?
False
Let j(i) = i - 12. Let b be j(8). Suppose -3*r + 8 = -4. Does 19 divide b/(-16) + 151/r?
True
Let p(l) = l**2 + 2*l - 9. Let n be p(-4). Let s(f) = -127*f + 5. Does 62 divide s(n)?
False
Is -4 - (-6 - -2) - -97 a multiple of 8?
False
Suppose 25 = 5*m + 5.