
Let g(z) = 2*z - 10. Let x be g(5). Let l = 4 - x. Suppose 4*r + 4*b - 29 = 95, 5*r + l*b = 150. Does 11 divide r?
False
Let q = 2016 - -409. Is 70 a factor of q?
False
Let q(k) = 2*k + 36. Let c be q(-9). Is 4 a factor of ((-258)/c)/(4/(-12))?
False
Let t = -236 + 653. Is 13 a factor of t?
False
Suppose 0 = -2*q - 4, -2*q = -3*y - 6*q + 4. Let f(s) = s**3 + s**2 + s + 3. Let j be f(0). Suppose 0 = j*l - 2 - y. Is l a multiple of 2?
True
Does 18 divide ((-30)/4)/((-7)/((-8120)/(-12)))?
False
Let b(f) = f + 90. Let m be (-9 - -9)/(2 - 1). Is b(m) a multiple of 9?
True
Let b = 5 - 2. Suppose b*t = -5 + 23. Let p(i) = 5*i - 6. Is 12 a factor of p(t)?
True
Is 29 a factor of (10 + (-11 - -6) - 12) + 413?
True
Let v(h) = h**2 - 11*h + 18. Let b be v(9). Suppose 6*a - 141 - 39 = b. Is 15 a factor of a?
True
Suppose 2*w - 2*d - 16 = 2*d, -3*w - 2*d + 32 = 0. Suppose -10*m = w*m - 2880. Is m a multiple of 8?
True
Suppose m - 6 = 2*s - 1, 0 = -5*m - 4*s + 11. Suppose 2*b - 3*v = 484, m*v - 7*v = 0. Does 12 divide b?
False
Let y(v) = -3*v**2 + 5*v - 6. Let x(k) = -7*k**2 + 10*k - 13. Let m(w) = -2*x(w) + 5*y(w). Let q be m(4). Suppose c + c - 32 = q. Does 16 divide c?
True
Suppose -526 = -2*w - 3*f, f - 3*f + 789 = 3*w. Does 30 divide w?
False
Is 63 a factor of (1 - (-7)/14)*(-6024)/(-9)?
False
Let s be 0 + 1 - -2 - 0. Suppose l + 2*b + 560 = 5*l, 429 = s*l + 3*b. Does 33 divide l?
False
Let s = 484 + -390. Is 7 a factor of s?
False
Suppose 0 = 4*q + q - 75. Suppose -5*i = t - q - 27, -5*t - 4*i = -126. Is 12 a factor of t?
False
Suppose -3*o + 23 = 2*k, 5*k = -o + 14 + 11. Suppose o*b - 115 - 145 = 0. Is 13 a factor of b?
True
Let f(b) = b + 17. Let r be f(-12). Suppose -p + r*c = -24, -4*p - 2*c = -c - 54. Suppose -g + 64 = 2*k, -k = 5*g - 0*g - p. Is k a multiple of 17?
True
Suppose -5*u + 2*n = 2, -5*n - 2 = u - 7. Suppose u = -2*a + 109 + 137. Does 26 divide a?
False
Suppose 0 = 4*i + 3*j - 1 - 6, -5*i + 5*j = -35. Suppose 5*u - i*m - 86 = 0, -2*u + u + m + 17 = 0. Does 9 divide u?
True
Let p(v) = v**2 - 6*v - 1. Let w be p(8). Let u be (w/(-9))/((-1)/3). Suppose 2*x - t - 33 = -3*x, -17 = -x - u*t. Is 2 a factor of x?
False
Let m = 112 - 76. Does 12 divide m?
True
Let m be 0/(-1) - (0 - 3). Suppose 0 = s - m*s. Suppose s*k - 379 = -5*a + 3*k, -3 = k. Is 37 a factor of a?
True
Let c(v) = -7*v**3 - 15*v**2 + 19*v. Let y(l) = -8*l**3 - 16*l**2 + 20*l. Let d(f) = -7*c(f) + 6*y(f). Is d(-10) a multiple of 5?
True
Let j(x) = x**3 + 10*x**2 + 7*x - 10. Suppose -4*y = d + 34, y + 31 = -2*y + 2*d. Is j(y) even?
True
Let b(q) = 3*q**3 + 11*q**2 - 7*q - 2. Let j(r) = 4*r**3 + 11*r**2 - 8*r - 3. Let g(m) = -3*b(m) + 2*j(m). Does 21 divide g(-12)?
True
Let k(t) = t**3 - 2*t**2 - 4. Let r be k(3). Suppose -r*f = -10*f. Suppose -5*z + 15 = f, -35 = -4*u + 2*u + z. Is u a multiple of 16?
False
Let g = 34 - 37. Let d be ((-11)/3 + 3)*g. Suppose -y + 146 + 168 = 3*n, 5*n - d*y - 527 = 0. Is n a multiple of 12?
False
Let z = 125 - -144. Is z a multiple of 20?
False
Let n(i) = 2*i**3 + 35*i**2 - 32*i + 16. Does 16 divide n(-16)?
True
Let k(r) = -r**3 + 7*r**2 + 5*r + 6. Let t(f) = 6*f**3 - 36*f**2 - 25*f - 29. Let g(m) = 11*k(m) + 2*t(m). Let a be g(-4). Does 12 divide a/(-6) + 584/12?
True
Suppose y + 1869 = s, 4*s - 7474 = y + 2*y. Does 19 divide s?
False
Suppose -1637 = -5*b - 3*t, -5*b - 3*t = t - 1636. Is (b/(-2))/(-4 + 0 - -3) a multiple of 13?
False
Let o = -87 + 59. Is -406*((-21)/o)/((-6)/4) a multiple of 29?
True
Does 11 divide (1 - 10/10) + 2*57?
False
Suppose -3*d - 159 = -2*u, 2*u = -5*d - 76 + 243. Is 7 a factor of u?
False
Let i(a) = -a**3 - 6*a**2 - 10*a - 3. Does 9 divide i(-7)?
False
Let q(l) be the second derivative of 2*l**3/3 - 51*l. Let p(g) = g**3 + 4*g**2 + g + 2. Let v be p(-3). Does 17 divide q(v)?
False
Let h(l) = l**2 + 13*l + 138. Is h(-19) a multiple of 14?
True
Suppose 6 = 2*b + 4. Let g be -28*(-1)/((-2)/b). Let s = g - -74. Is 12 a factor of s?
True
Let u(s) = 21*s - 9. Is 24 a factor of u(5)?
True
Suppose -73 - 57 = 5*m. Let f = 74 + m. Is f a multiple of 4?
True
Let o(t) = -t**3 - 7*t - 6. Let s be (5 + (-108)/20)*(9 - -1). Does 12 divide o(s)?
False
Let f = 13 - 9. Let z = 481 - 209. Suppose k = -0*k - 5*v + 68, z = f*k - 4*v. Does 22 divide k?
False
Let p(c) = -c + 9. Let m be p(7). Suppose -4 = -m*g + 4. Suppose -g*s = -z + 29, 0 = z + 2*z + 3*s - 72. Is 9 a factor of z?
False
Let k = 568 - 454. Is 3 a factor of k?
True
Let d(c) = -1. Let p(o) = 3*o**2 - 21*o - 1. Let t(f) = d(f) + p(f). Does 26 divide t(11)?
True
Suppose -2*d + 1795 = 3*i - 194, 4*d = -12. Does 35 divide i?
True
Let w = 9535 - 6586. Is 35 a factor of w?
False
Let p(s) be the second derivative of 2*s**3/3 - 21*s**2/2 + 6*s. Is 5 a factor of p(9)?
True
Suppose -2 = -b, 4*b - 7 + 5 = -3*n. Let a(k) = 13*k + 4. Let h(o) = o + 1. Let x(y) = -a(y) + 6*h(y). Is x(n) a multiple of 3?
False
Let b be 693/84*(5 - 1). Suppose -2*r = -6*r + 16. Suppose 88 = r*x - 2*c, -5*x + 2*c + 75 = -b. Does 10 divide x?
True
Suppose -259 - 370 = -17*m. Is 10 a factor of m?
False
Let v(l) = 25*l + 5 - 6 + 5*l + 5*l. Is 15 a factor of v(2)?
False
Does 7 divide 49*(-1)/(6/(-54))?
True
Let d(q) = -q**2 + 6*q - 3. Let r be d(4). Suppose -r*v + 5*b + 20 = 0, -3 = -4*b + 1. Suppose -4*s = -p + 6, 0 = v*p - s + 5*s - 150. Does 26 divide p?
True
Suppose 5*z - 7 = -4*k + 2, -2*k = -2*z. Let j(r) = 61*r**3 - 3*r + 2. Is 20 a factor of j(k)?
True
Let o(n) be the third derivative of -n**4/24 - 5*n**3/3 - 5*n**2. Let k be o(-14). Suppose -k*v + 315 = v. Is v a multiple of 19?
False
Suppose -4*i - 3*d + 10073 = 0, 2*i + 9*d = 6*d + 5041. Is i a multiple of 17?
True
Does 32 divide 18/(-12) - 7479/(-18)?
False
Suppose 2*i + 6 = -d, -3*i + d + 4*d = -17. Is 61 + -3*i/(-3) a multiple of 15?
True
Suppose 18 + 19 = 3*l - 2*j, -3*j = -4*l + 51. Suppose -22*g + 18*g + 20 = 0. Let y = g + l. Is y a multiple of 7?
True
Suppose 2*k - 241 = -4*a + 15, 4*k - 3*a - 490 = 0. Is 54 a factor of k?
False
Suppose -2*l = -t + 2 + 5, -4*l = t + 11. Does 11 divide (t - 3) + 5 + 30?
True
Let f = -51 + 215. Is f a multiple of 41?
True
Let g(b) = 3*b**2 - 2*b + 1. Let x = -43 + 47. Is g(x) a multiple of 11?
False
Let t = 65 + -62. Suppose t*q - 4 + 31 = 3*o, -4*q - 32 = -3*o. Is o a multiple of 4?
True
Suppose -15*p = -11514 - 4701. Is 15 a factor of p?
False
Let w = 40 - 25. Suppose -5*a + 3 = 3*s - 373, -w = 5*s. Is 31 a factor of a?
False
Suppose 0 = 6*w + 2289 - 16173. Is w a multiple of 13?
True
Suppose -19*b + 1440 = -3*b. Is 5 a factor of b?
True
Let u(p) = -p**3 + 9*p**2 - 7*p - 1. Suppose -2*z = -4, 0 = 2*j - 3*j + 3*z + 2. Let d be u(j). Suppose -4*k - 183 = -d*k. Is k a multiple of 21?
False
Suppose -3*a + 210 + 1062 = 0. Does 8 divide a?
True
Let n(r) = -r - 2 + 2*r + 12. Let f be n(-5). Suppose -b - f*s = -8, s - 32 = -5*b + 8. Does 6 divide b?
False
Let o be 53 + 0 - (-6 - -3). Is (5/(-10))/(4/(-18))*o a multiple of 14?
True
Suppose 0 = 3*y + 223 - 1051. Is 46 a factor of y?
True
Suppose 662 = 4*y - 454. Is y a multiple of 11?
False
Let p(o) = -32*o + 499. Does 3 divide p(8)?
True
Suppose -17*o + 520 + 2370 = 0. Is 17 a factor of o?
True
Let f(p) = 102*p - 20. Let q be 6 + 2 - (4 - -1). Does 10 divide f(q)?
False
Suppose 7*v = -3*a + 5*v + 577, 736 = 4*a - 4*v. Is a a multiple of 7?
True
Suppose -10*g = -8141 - 589. Is g a multiple of 88?
False
Let k(v) = v**3 + 14*v**2 + 9*v - 7. Suppose -r = 10*r + 132. Does 19 divide k(r)?
False
Let u(o) = 2 + 9*o**2 + o**3 + 8*o**2 + 20*o - o**2 - 6. Is 18 a factor of u(-14)?
True
Does 9 divide (4/(-1) + 3)/(3/(-819))?
False
Let n(p) = 5*p**3 - 17*p**2 - p - 3. Does 29 divide n(4)?
False
Let b be 9/12*12/(-3). Let h(r) = -9*r**2 - 3*r - 4. Let v(c) = -c**2. Let g(x) = -h(x) + 5*v(x). Is 10 a factor of g(b)?
False
Suppose 8 = 2*h - 0*h. Let j = 152 - 97. Is j*1 - (-4)/h a multiple of 11?
False
Let x(l) = 3*l**2 - 36*l + 78. Is x(16) a multiple of 9?
True
Let r(l) = l**3 + 8*l**2 - 10*l - 9. Let z be r(-7). Suppose 3*a - z - 46 = 0. Is 10 a factor of a?
False
Let l be ((-3)/(-2) - 2)*-2. Suppose -3*a = 3*n + 12, 2*n = -4*a + l - 9. Suppose 2*y + 5 - 49 = -3*u, a = u. Is y a multiple of 11?
True
Let s = -32 + 18. Let l = -65 - -65. Is (3 - 4 - l)*s a multiple of 5?
False
Su