- 4*o - 8, b + 2*o - 5 - 3 = 0. Let i(d) = -17*d - 15. Let r be i(-10). Suppose 29 = b*p - 2*k - 85, -5*k = -5*p + r. Is 13 a factor of p?
True
Is (12 + 0)*(-90)/(-12) a multiple of 25?
False
Let c = -14 + -55. Let z = c + 112. Does 16 divide z?
False
Suppose 24 = -g + 148. Is g a multiple of 16?
False
Let n = 3 + -7. Let g = 7 + n. Suppose g*p - 2*p = a - 26, -5*p = -3*a + 88. Does 11 divide a?
False
Suppose 3*j - 41 = -4*s + 15, 3*j + 2*s = 46. Let l = 57 - j. Does 7 divide ((-6)/(-9))/(1/l)?
False
Let j be -2 - (-1)/1 - 52. Let y = j - -115. Suppose -3*z - 12 = -5*h + y, 46 = 3*h - z. Is h a multiple of 16?
True
Let p(z) = -z**2 + 3*z + 7. Let h be p(5). Is 8 a factor of (-2 - 2/3)*h?
True
Suppose 3*c - 21 = -5*j, -2*j - c = j - 11. Suppose -4*k + a + 31 = 0, -j*k + 21 = -0*a - 3*a. Does 11 divide -35*1*k/(-10)?
False
Let x be ((-2)/(-3))/((-16)/(-24)). Let r be -2 - (-8 - x) - 2. Let m(n) = 2*n**2 - n + 2. Is m(r) a multiple of 17?
False
Let r(s) be the third derivative of -s**5/60 + s**4/4 + s**3/2 + 5*s**2. Is 6 a factor of r(5)?
False
Let u(z) = 32*z + 2. Let d(o) = o**2 + 7*o + 3. Let v be d(-7). Let n be u(v). Suppose 4*r - 14 = n. Is 14 a factor of r?
True
Let p(b) be the third derivative of -b**5/12 - b**4/8 - b**3/2 + 4*b**2. Let m be p(-5). Let a = 171 + m. Is 20 a factor of a?
False
Let s(t) = 1365*t - 2. Let o be s(-6). Let x be o/(-56) - (-2)/(-7). Let c = -102 + x. Is 15 a factor of c?
False
Suppose -2*r - 3*r = -20. Suppose -20 = 5*c, 17 = r*p - c - 19. Does 8 divide p?
True
Let u = -34 - -101. Does 30 divide u*(0 - 3 - -4)?
False
Does 39 divide ((6 - 3)/(-3)*117)/(-1)?
True
Suppose 3*a - 18 = -5*s + 20, 4*a + 17 = 3*s. Let j(t) = t**3 - 7*t**2 + 4*t - 4. Does 18 divide j(s)?
False
Suppose -5*q = 3*o - 6, -2*q + 2*o + o - 6 = 0. Let n be 107 - (q + (1 - 2)). Suppose 3*p - n = -p. Is 13 a factor of p?
False
Let o(j) = 15*j + 3. Let p be o(7). Suppose 6*q = 2*q + p. Does 12 divide q?
False
Suppose -4 = 2*f - 34. Does 15 divide f?
True
Suppose -70 = -2*j - 4*u, -18 = -2*j + 4*u + 20. Is 6 a factor of j?
False
Suppose 18 = 2*w + 6. Suppose -w = -r - 3*u + 32, 84 = 3*r - u. Is r a multiple of 9?
False
Does 2 divide 12/10*(-10)/(-3)?
True
Suppose -10 = -4*f + 2. Suppose -3*w = 4*u - 191, -4*w + f*u + 328 = w. Is w a multiple of 19?
False
Suppose 2*o - 6 - 6 = 0. Suppose -3*a = -5*k - 48, 117 = -a + o*a + 4*k. Is a a multiple of 21?
True
Suppose 2*i + 3 + 5 = 0. Let j be 27 + -3 - (i + 2). Suppose -5*l + j = 4*s, 16 = 3*s + 2*l - 7. Is 4 a factor of s?
False
Let o = 177 - 107. Is 14 a factor of o?
True
Suppose 0 = -3*k - 17 - 4. Let q = k + 16. Does 12 divide 0*3/q + 24?
True
Let b(k) = -7*k**2 + 2*k - 1. Let m be b(1). Let p(n) = -n**3 - 8*n**2 - 8*n + 1. Let l be p(m). Let a = l + 44. Is a a multiple of 17?
False
Let z(r) = -2*r + 2. Is 2 a factor of z(-3)?
True
Let q(t) = t - 6. Let z be q(5). Let g(b) = -10*b - 6. Let w(j) = j + 1. Let i(l) = z*g(l) - 8*w(l). Is 9 a factor of i(6)?
False
Let p(y) = 2*y - 14. Let h be p(11). Suppose -40 = -4*x + h. Does 12 divide x?
True
Let f = 156 + -101. Is f a multiple of 12?
False
Suppose g = -a + 7, 3*a - 22 = -4*g + 11. Is g a multiple of 4?
True
Let i = -39 + 8. Let p = 49 + i. Is p a multiple of 4?
False
Suppose 227 = u + c, -4*u - u - 3*c = -1129. Is 20 a factor of u?
False
Suppose -5*q - 35 = -5*n, 3*q = -q - 16. Let v(h) = 4*h**2 - h - n*h**2 + 0*h + h**3 + 26 + 4. Is 15 a factor of v(0)?
True
Is 5*(-9)/(-15)*20/3 a multiple of 15?
False
Does 28 divide 6/33 - (-1228)/22?
True
Let h be (1 + 0)*(-7 + 9). Suppose -d - 3*d + 320 = h*a, -d + 70 = -2*a. Suppose 3*g + 30 = d. Is g a multiple of 8?
True
Suppose -h + 5 = -10. Let p = 1 - 3. Let k = h + p. Is 6 a factor of k?
False
Suppose 0*u = 4*u + 5*d - 183, 0 = -5*u + 5*d + 195. Is 27 a factor of u?
False
Let x be -2 + ((-5)/(-1) - 0). Let r = 38 + -38. Suppose r = 5*v - 5*f - 110, 8 = x*v + 5*f - 42. Is v a multiple of 14?
False
Let s(b) = b + 14. Let l be s(11). Let o = 6 - 3. Suppose 4 - l = -o*q. Is 3 a factor of q?
False
Let m(b) = b - 7. Let q be -4 - -3 - (-18 + 2). Is m(q) a multiple of 8?
True
Let o be (4/(-6))/(4/(-18)). Suppose o*c = -6, 29 = 5*u + 3*c - 95. Is u a multiple of 13?
True
Let d be (30/(-9) + 4)*3. Suppose 46 = -0*o + d*o. Is 6 a factor of o?
False
Suppose 40 - 1 = 5*d - 3*b, b = 2*d - 16. Is 9 a factor of d?
True
Let f(m) = -3*m - 2. Let a be f(-2). Does 19 divide -2*2/a*-19?
True
Suppose 5*m + 2*q = -3*q + 30, 6 = m - q. Does 10 divide -25*2*m/(-12)?
False
Suppose k = -2*r + 300, 4*r = 4*k - 645 - 579. Suppose 4*u + k = 3*i + 2*i, 2*u = i - 62. Does 20 divide i?
True
Suppose -b = -5*o + 157, 4*o + 3*b + 41 = 178. Let a = -8 + o. Is 7 a factor of a?
False
Let i = -11 - -14. Suppose 4*n - 79 = a, -40 - 237 = 4*a - i*n. Is 10 a factor of (-6)/(-14) + a/(-7)?
True
Let l = 8 - 5. Suppose -a = l*a - 44. Is a a multiple of 4?
False
Let y(m) = 6*m + 4. Let r(h) = 2*h + 1. Let j(t) = -14*r(t) + 4*y(t). Does 3 divide j(-2)?
False
Suppose 3*v = -i - 3*i + 9, 5*v - 15 = -i. Let k(h) = 2*h - h**2 - h + v*h + 2 + 3*h. Is 7 a factor of k(4)?
True
Suppose -v - 4*v - 3*l = -69, 3*v = -4*l + 48. Is v a multiple of 3?
True
Let i(p) = 9*p - 8. Is 14 a factor of i(5)?
False
Is (-26384)/(-88) - (-4)/22 a multiple of 30?
True
Let f be ((-6)/9)/(1/15). Let j be 1*(-2 + 0) + f. Does 25 divide (j/3)/((-2)/37)?
False
Let w = 78 + -34. Is w a multiple of 11?
True
Let c = 22 + -8. Let q = 29 - c. Suppose 2*v - 2*m - 50 = 0, -m - 4*m = 2*v - q. Does 10 divide v?
True
Let z(g) = g**2 + g + 2. Let h be z(0). Let f(o) = o**2 + o**3 - 8*o**2 + o**h + 5. Is 5 a factor of f(6)?
True
Let i(h) = -h**2 - 14*h - 8. Suppose -d = u - 6*d + 36, 3*u + 4*d + 13 = 0. Let k be i(u). Suppose 0*x = -5*x + k. Is 3 a factor of x?
False
Let z(g) = g**2 - 8*g + 6. Let i be z(7). Let o be -2*(i + 2) - -2. Suppose -8*h + 3*h - 2*r + 136 = o, -4*h + 98 = -2*r. Is 13 a factor of h?
True
Let a be 8*(2 - 34/4). Let j = a - -28. Let t = -6 - j. Is 9 a factor of t?
True
Let c be 27*1*(-5)/(-5). Suppose 0 = 5*o - 83 - c. Let g = o - -1. Is 8 a factor of g?
False
Let a(o) = o**2 + 5*o - 1. Let m be a(-3). Suppose -2*r - 4*x = -r + 8, 2*r = -x + 19. Let f = m + r. Is 2 a factor of f?
False
Let r(z) = -13*z - 14. Let d(l) = 9*l + 9. Suppose 2*b - 28 = -2*b. Let m(h) = b*d(h) + 5*r(h). Does 3 divide m(-5)?
True
Let b be 2*(-1 - 51/(-6)). Suppose y + 5*k = -b, 2*y + 2*k = 3*k + 3. Suppose y = 2*q - 10 - 2. Is 3 a factor of q?
True
Let g(v) = -v + 6. Let p be (-10)/4*18/(-5). Let a be 6/p*(-21)/2. Is 4 a factor of g(a)?
False
Suppose -79 - 1 = -2*b - 4*k, 0 = 4*k - 12. Let a be 2*(0 - (4 - -1)). Let n = b + a. Does 12 divide n?
True
Let t(q) = -q - 10. Let y be t(-12). Let r(b) = 5 + 4 - y*b + 5 + 3*b. Is r(-12) a multiple of 2?
True
Let m(j) = 20*j**3 + 17*j**2 - 23*j + 12. Let w(b) = 7*b**3 + 6*b**2 - 8*b + 4. Let v(c) = 6*m(c) - 17*w(c). Is v(3) a multiple of 8?
False
Let q be (30/9)/(6/(-9)). Let k(t) = -t**2 - 3*t - 2. Let b be k(q). Is 20 a factor of 3/b + (-81)/(-4)?
True
Let i = 19 + -12. Let d = 1 + 4. Suppose -3*h = -3*w - 42, -h - d*w - i = h. Does 9 divide h?
True
Let l be (-1)/2*0 + 3. Suppose -7 - 6 = -l*x - 2*o, -4 = -x - o. Suppose -w + 124 = 3*w - 4*j, 115 = x*w + 5*j. Is w a multiple of 9?
True
Let x(y) = -y + 21. Let c be x(0). Does 6 divide 20 + 7/(c/(-6))?
True
Let i be (-7)/(-1) - (-4 + 6). Suppose 0 = -r, -2*u = -i*r - 126 + 16. Is u a multiple of 11?
True
Suppose 9 = f - 6. Suppose -f = -o + 4*m, 5*o + 5*m - 20 - 5 = 0. Is 7 a factor of o?
True
Let c(r) = r**3 - 6*r**2 - 6*r - 7. Let y be c(7). Suppose 0*m + 10 = m - 4*h, y = 4*m - 4*h - 4. Let a = m - -4. Is 2 a factor of a?
True
Suppose -2*j - 4*z + 108 = 0, -4*z + 69 - 395 = -5*j. Does 26 divide j?
False
Let m(p) = -p**2 - 14*p - 5. Is m(-7) a multiple of 22?
True
Let r(g) be the second derivative of 4*g**4/3 + g. Let t be r(-1). Suppose -l + 0*l + 4*u = -16, -3*l = 4*u - t. Is l a multiple of 8?
True
Let c(w) = w**2 - 10*w + 26. Is 17 a factor of c(-8)?
True
Let r = -52 - -94. Is r a multiple of 6?
True
Let k = -10 - -12. Suppose -3*s - 25 = -8*s, 2*v + k*s + 26 = 0. Is 7 a factor of (-14)/v*3*3?
True
Let g(k) = 2*k**3 - 3*k**2 + 3*k - 1. Let q be g(2). Suppose 33 = x - q. Suppose -4*j - x = -c, 2*