e of r**4/12 - 2*r**3/3 + 89*r**2/2 - 22*r. Is l(0) a multiple of 21?
False
Suppose 5*g + 0*g - 67 = -l, 5*g = 5*l + 85. Let h = g + 91. Is 35 a factor of h?
True
Let a be (-10)/(-45) - (0 - (-2)/9). Let p(t) = -11*t + 52. Does 26 divide p(a)?
True
Let q = -3 - -3. Suppose 6 - 30 = 3*l - g, l + 2*g + 8 = q. Let m = 32 + l. Is 6 a factor of m?
True
Suppose -2*f = 3*s + 3*f + 8, f = -4. Suppose -247 = s*c + 137. Let z = -35 - c. Does 22 divide z?
False
Is (3/16*2)/((-92)/(-424672)) a multiple of 29?
False
Let o(m) = -2*m + 16. Let y be o(0). Suppose 8 = 4*r - y. Is 3 a factor of r?
True
Suppose o - 369 = 2*o. Let k = -264 - o. Does 35 divide k?
True
Suppose -8145 = -43*h + 95786. Is 9 a factor of h?
False
Suppose 0 = 8*l - 5*l - 6. Suppose l*c - 968 = -4*m, -5*m + 4*m + 3*c = -228. Does 30 divide m?
True
Let r = 14 + -68. Let v = 73 + r. Is 4 a factor of v?
False
Let g = 911 + -503. Is 34 a factor of g?
True
Suppose -1 - 5 = -2*s, 5*u - s = 13647. Does 70 divide u?
True
Let n = -48 + 104. Suppose 2*j - 3*c = n, -2*c + 4 = -4. Is 25 a factor of j?
False
Suppose j + 2 - 7 = 0. Suppose -j*o - 14 = -89. Does 4 divide o?
False
Let g(q) = 14*q**2 - 31*q + 206. Is g(10) a multiple of 36?
True
Let x(y) be the third derivative of -y**5/15 - y**4/8 + y**3 + 3*y**2. Let l be x(4). Let w = 102 + l. Is w a multiple of 19?
False
Let w(d) = d**2 - 5*d + 6. Let c(g) be the third derivative of 7*g**5/60 - g**3/6 + 2*g**2. Let u be c(-1). Is w(u) a multiple of 4?
True
Suppose -3*q = 18 + 63. Let t = q + 13. Let a(o) = -o**2 - 17*o - 7. Is a(t) a multiple of 8?
False
Let q(h) = -1. Let z(x) = -x**2 + 14*x + 5. Let n(m) = 2*q(m) + z(m). Is 8 a factor of n(9)?
True
Suppose -13*y - 3*y = -8800. Is 21 a factor of y?
False
Suppose 264 = 8*t - 800. Is 26 a factor of t?
False
Let v = 29 + -72. Let c = v + 70. Is 3 a factor of c?
True
Let j(i) = 64*i**2 + 25*i + 252. Is j(-7) a multiple of 9?
True
Suppose 11506 = 5*i - 2*t, 8576 - 1664 = 3*i - 4*t. Does 26 divide i?
False
Suppose -4*b - 4 + 40 = 0. Suppose 0 = -12*h + b*h + 42. Does 14 divide h?
True
Suppose 0 = 2*q + h - 9, 2*q + 0*h + 4*h = 24. Suppose -q*a = -93 - 111. Is a a multiple of 38?
False
Suppose -k = -0*k + 4*s + 12, 4*k - s + 31 = 0. Is 5 a factor of (-308)/k - (-2)/4?
False
Let t(o) = -o + 108. Let a be t(0). Suppose 4*g + 4*p = a, -p - 50 - 39 = -3*g. Does 16 divide g?
False
Suppose -5*m + 615 = b - 6*b, b - 472 = -4*m. Is 28 a factor of (-14 - -13) + m*1?
False
Suppose 3*u + 237 = h - 0*h, 20 = -5*u. Is 15 a factor of h?
True
Let j = -17 - -16. Let g(m) = 2*m**2. Let s be g(j). Does 5 divide (-118)/(-8) + s/8?
True
Suppose 3*f + 1814 = -1471. Is (-24)/(-15)*f/(-6) a multiple of 52?
False
Let r be 1*(-1 + -1) + -246. Let j = -118 - r. Is 26 a factor of j?
True
Suppose 4*l = 10*l - 18. Does 17 divide (3 - (l + -11))*2?
False
Let f(s) = 13*s**2 + 20*s + 139. Is 44 a factor of f(-9)?
True
Suppose 3*y - s = 17, -2*y + 3*s - 4*s = -8. Suppose y*i + 2*c - 314 - 345 = 0, -5*i + 3*c = -649. Does 13 divide i?
False
Suppose 2*x - 42 = -2*i, 2*x - 136 + 43 = -5*i. Is 15 a factor of i/((1/(-3))/(-1))?
False
Let v be (-22)/3*(-1287)/26. Suppose -8*x + v = 3*x. Is x a multiple of 3?
True
Let c(s) = 2*s - 10. Let n be c(7). Suppose -p = -n*u + p + 16, 4*p - 13 = -u. Suppose -27 = -2*z - g, 0*g - 55 = -5*z - u*g. Does 16 divide z?
True
Let v = -392 + 543. Is v a multiple of 15?
False
Let j be (-48)/9*24/16. Is 502/j*-1*4 a multiple of 33?
False
Suppose 5*u - r + 21 = 0, -2*u + 7*r - 6*r - 6 = 0. Let q = u + 18. Does 7 divide q?
False
Suppose -1 = -3*k + k - 5*l, 3*k + 2*l - 18 = 0. Suppose 22 + k = 5*i. Let q = 21 - i. Is 4 a factor of q?
False
Let y = 13 + -4. Let j(v) = -2*v + 8*v**2 + y*v - 7*v**2 - 3. Is 15 a factor of j(-9)?
True
Suppose -16 = -4*v + 3*p, v - 2*v = 5*p - 4. Let u = 12 - v. Is 25 - (-3)/((-12)/u) a multiple of 10?
False
Let z(i) = 3*i**2 - 4*i**2 - 7*i**2 + i + 2*i**3 + 10. Suppose -54*p + h + 21 = -49*p, -12 = -3*h. Is 13 a factor of z(p)?
True
Suppose 5*d - 155 = 6*x - 2*x, 0 = 4*d - x - 124. Is d a multiple of 18?
False
Suppose 0 = 3*i + 4 + 104. Let f = 38 + -90. Let z = i - f. Is 8 a factor of z?
True
Let s(p) = p**3 - 18*p**2 + 18*p - 17. Let u be s(17). Suppose i - 3*z - 2 = u, -i + 26 = -3*z + 6*z. Is i - (-2 - (-3 - -2)) a multiple of 6?
False
Let f = -21 - -24. Suppose 0 = -f*m - 3*s + 939, 2*s = 7*s + 10. Suppose -7*k + m = -2*k. Is 12 a factor of k?
False
Let t(k) = 185*k - 1. Is t(2) a multiple of 15?
False
Suppose 623 = 5*o - 1512. Is 5 a factor of o?
False
Let j(z) = 6*z**2 + 33*z - 14. Let q be j(-10). Suppose 0 = -35*u + 31*u + q. Does 16 divide u?
True
Let g(j) = j**3 - 4*j**2 - 5. Suppose -5*p + 10 = -3*p. Is g(p) a multiple of 5?
True
Let p be ((-9)/5)/(1/(-10)). Let k(v) = 30 + 40*v + v**2 - p*v - 23*v. Does 15 divide k(0)?
True
Let k(c) be the third derivative of -c**5/60 - c**4/4 + 5*c**3/6 + 2*c**2. Let d be k(-6). Let h(u) = u**2 - 4*u + 7. Does 12 divide h(d)?
True
Suppose -1059 = -5*t + 1436. Is 2 a factor of t?
False
Let m(n) = 7*n**2 - 69*n - 15. Is m(12) a multiple of 15?
True
Suppose -2*l - 4 = 0, 2*a - 10 = -2*a - 3*l. Let i(g) = 2*g**3 - 6*g**2 - 6*g + 4. Is i(a) a multiple of 4?
True
Suppose -6*c = -9 - 3. Suppose 3*x + 0*o = -4*o + 1008, -1344 = -4*x - c*o. Is 16 a factor of x?
True
Let f(v) = -61*v - 450. Is 40 a factor of f(-10)?
True
Let f = -382 + 814. Suppose m + f = 3*s, -3*s + 4*m + 372 = -60. Is s a multiple of 9?
True
Suppose -736 = -3*p - 130. Does 16 divide p?
False
Suppose -710 = -2*j - 94. Does 20 divide j?
False
Let i(q) = q**3 - 4*q**2 + 5*q - 3. Let v be i(3). Let j(a) = 2*a**3 - 3*a**2 - a - 3. Is 7 a factor of j(v)?
True
Let n = 46 + -48. Let l(t) = -t**2 + 6*t + 5. Let h be l(7). Is h/(n*(-4)/(-128)) a multiple of 8?
True
Suppose -15 = -5*d, -j - 9 = -4*d - 28. Is j a multiple of 16?
False
Let i(g) = g. Let z be i(2). Suppose -2*v + 9 = m, m + 12 = 4*m + v. Suppose 0 = 4*w + 4*c - 84, -3 = m*c - z*c. Is 24 a factor of w?
True
Suppose 4*i - 20 = -2*y, i - 5*y + 16 = -1. Suppose i = c - 4. Let r = c + 4. Does 3 divide r?
False
Let q = 205 + -200. Let f(p) be the second derivative of p**3 - 2*p**2 + 2*p. Is 5 a factor of f(q)?
False
Let v(x) = x**2 + 7*x - 8. Let f be v(-8). Suppose 2 = 2*s, -a + 6*s - s + 181 = f. Is a a multiple of 15?
False
Is 30 a factor of 3 - (-24)/(-16)*596/(-6)?
False
Is (-6 - -35) + (1 - 7) even?
False
Suppose -77*g + 82*g - 25 = 0. Suppose 9*j - 630 = -g*j. Is j a multiple of 9?
True
Suppose 11*u - 16*u + 280 = 0. Suppose 2*o = 4*o - u. Let t = o - 14. Is t a multiple of 5?
False
Let o(m) = -9*m - 10. Let d be o(-6). Suppose 5*p = p + d. Suppose -1 = k - p. Is k even?
True
Let f = 642 - 426. Is 7 a factor of f?
False
Let q = 121 - 438. Let b = q - -668. Suppose 5*m - b + 86 = 0. Is m a multiple of 8?
False
Is -6 - 2373/((-11)/((-88)/(-12))) a multiple of 22?
False
Let u(r) = 15*r**2 + 7*r + 37. Is 13 a factor of u(-3)?
False
Suppose -4*j + 80 = j + 5*g, 3*g + 4 = j. Is (-4 + 12 + -3)*j a multiple of 14?
False
Let z(b) be the third derivative of -b**5/60 - b**4/3 + 5*b**3/6 + 4*b**2. Let k be z(-7). Does 8 divide k/12 + 20 + 0?
False
Let w be (-3)/(-2)*(-28)/21. Let t be -4 + (2 - (w - 5)). Suppose 0 = -2*c + i + 40, t*c + i - 3*i = 100. Is c a multiple of 4?
True
Let w(i) be the third derivative of -5/3*i**3 - 6*i**2 + 1/8*i**4 + 0*i + 0. Is 14 a factor of w(9)?
False
Let s(y) = -3*y + 8. Let q be s(3). Let d(x) = 0 + 2 + 2*x + x**2 + 0 - x**3. Does 2 divide d(q)?
True
Suppose 137*p - 138*p + 1543 = -2*d, 2*p = 2*d + 3082. Is p a multiple of 27?
True
Let t(g) = 2*g**2 + 6*g + 14. Let d be t(-6). Let a be (d/(-15))/(1/9). Is a/8*8/(-2) a multiple of 5?
True
Let u(k) = 5*k**2 - 20*k - 4. Is 7 a factor of u(6)?
True
Let u = -591 + 1007. Is u a multiple of 26?
True
Suppose -3*w + 320 = -2*d, 0 = -5*w - 2*d - 0*d + 544. Does 6 divide w?
True
Let f be 0/(-1) + (-21)/3. Let q be 248/f - 15/(-35). Let p = -31 - q. Is p even?
True
Let a(d) = 11*d - 24. Let p be a(12). Suppose -4*t - p = -6*t. Is t a multiple of 18?
True
Suppose 8892 = 44*g - 18*g. Is g a multiple of 38?
True
Suppose 2*j = 5*i - 31, -4*i + 99 = -5*j + 30. Let u = 33 + j. Does 4 divide u?
True
Let x = -1 - 3. Let l(c) = 33*c + 1. Let a be l(x). Let j = -69 - a. Do