 - 5/(-20). Suppose 0 = q*s + 3*w + 59 - 506, -2*w = -2*s + 452. Is s a multiple of 43?
False
Let q(z) = -169*z**2 - 4*z - 3. Let h(k) = -338*k**2 - 9*k - 7. Let u(j) = 4*h(j) - 9*q(j). Is u(-1) a multiple of 21?
True
Let v(k) = -k**3 - 14*k**2 - 13*k. Let h be (-208)/8*(-2)/(-4). Let z be v(h). Suppose -5*j + g + 86 = 0, z*j + 2*j = 5*g + 16. Is j a multiple of 5?
False
Let f be 3/(-9) - (-5168)/24. Suppose -4*x = x - f. Does 16 divide x?
False
Suppose -2*f + 0*f + 10 = 0. Suppose -f*r = -2*i + 6*i - 44, 2*r + 8 = 0. Is 4 a factor of i?
True
Suppose -28 + 8 = 4*g. Let s(y) = -y**3 - 4*y**2 - 5*y + 10. Is s(g) a multiple of 12?
True
Suppose 4 = -10*g + 6*g, 4*s + g = 1683. Is s a multiple of 81?
False
Let i be (-301)/(-13) + (-4)/26. Suppose -2*p - x - i - 110 = 0, 5*p + 3*x + 335 = 0. Let q = -36 - p. Is q a multiple of 6?
False
Let s(c) = -c**3 + 13*c**2 + 7*c - 26. Suppose -2*h + 13 + 9 = y, 3*h - 23 = -4*y. Is 4 a factor of s(h)?
False
Let h(s) = -3*s + 1. Let r(k) = -10*k + 4. Let w(f) = -7*h(f) + 2*r(f). Let y be w(4). Suppose -159 = -y*d + 71. Is 27 a factor of d?
False
Let u = -14 + 23. Suppose 0 = 4*x - u*x - 20. Is 21 a factor of x - -22*(0 - -4)?
True
Let u(j) = j**3 - j + 5. Let v be u(0). Suppose -r + 135 + v = 0. Suppose 4*a - 244 = r. Is a a multiple of 16?
True
Suppose 4*z = t - 57 - 27, 0 = -5*z - 3*t - 105. Is (91/z - -5)*6*6 a multiple of 6?
True
Let x = 16 + -4. Is x/(-16)*(-2 + -138) a multiple of 15?
True
Suppose 0 = 5*i, 2*i + i + 30 = 2*d. Suppose -4*y - 3*x = 42 - 179, -d = -5*x. Does 6 divide y?
False
Let h = -13 - -17. Suppose c - 25 = -h*c. Suppose -8 = -c*p + 7. Is p a multiple of 2?
False
Suppose -15*n - 352 = -1192. Is 24 a factor of (4/14 - (-432)/n)*15?
True
Let c = -584 + 984. Does 16 divide c?
True
Let h = -60 - -122. Let u = -47 + h. Is u a multiple of 3?
True
Let m be 12/8 - 0 - 22/(-4). Suppose -1380 = -m*x + 3*x. Is 41 a factor of x?
False
Let x(y) = -288*y - 8. Is x(-1) a multiple of 56?
True
Suppose -6*n = -5*n - 33. Let p = 78 - n. Is 35 a factor of p?
False
Let u = 1745 - -2777. Is 34 a factor of u?
True
Let g(s) = -5*s - 24. Let z(k) = -k**3 + 14*k**2 + 14*k + 9. Let u be z(15). Is g(u) a multiple of 3?
True
Let n(h) = 9*h - 13 + h**2 + 10 - 8. Let c be -1 - 7 - (-11 + 14). Does 3 divide n(c)?
False
Suppose -2*q = 0, -5*x + 2*q = q - 190. Is x a multiple of 17?
False
Let f(x) = 26*x**3 + x**2 - 2*x + 1. Let p(q) = -27*q**3 - 2*q**2 + 3*q - 1. Let i be ((-4)/(-18))/(11/99). Let a(g) = i*p(g) + 3*f(g). Is 6 a factor of a(1)?
True
Let c(u) = 3*u**2 + 58*u - 93. Is c(-21) a multiple of 6?
True
Suppose -1598 + 4410 = 4*x. Is x a multiple of 31?
False
Suppose 0 = -3*n, 4*n = 2*j - 189 - 3. Is j a multiple of 4?
True
Let v = 904 + -483. Is v a multiple of 19?
False
Let r be (3/4)/(-1)*-4. Suppose -15 = r*p - 0*p, a + 23 = -5*p. Suppose 4*n + 0*n - 5*h + 12 = 0, a*n = h. Is n even?
True
Suppose -4*o + 8*s = 3*s + 672, 5*s + 632 = -4*o. Let x = -35 - o. Is x a multiple of 20?
False
Let n(m) be the first derivative of 6*m**2 + 6*m + 7. Is n(10) a multiple of 22?
False
Let d be (15/10)/(-2 + 19/8). Let b = 109 + -57. Suppose d*t - b = -12. Does 10 divide t?
True
Let x be (-3)/(-6)*((-55)/(-5) - -3). Suppose -x = -3*a + 26. Is 4 a factor of a?
False
Suppose 9*k - 4*k = -x + 127, 2*k = 5*x + 40. Does 5 divide k/30*4/10*42?
False
Let z(v) = -v**3 + 12*v**2 + 3*v + 5. Is 53 a factor of z(11)?
True
Let b(g) = g**3 - 4*g**2 - g + 12. Let y = 87 - 80. Does 19 divide b(y)?
True
Suppose 0 = -5*f - 3*j - 0*j + 53, 3*j + 51 = 3*f. Let b = -7 + f. Is 2 - -1*(b - 1) even?
False
Let g = -61 + 57. Does 4 divide (-25)/(-3) - g/(-12)?
True
Suppose -11*o + 2676 + 1284 = 0. Does 29 divide o?
False
Suppose 890 - 36 = 7*o. Let w = o + 6. Does 22 divide w?
False
Suppose 5*i - 3193 = -393. Does 40 divide i?
True
Does 12 divide 57 - 12/6 - (-3)/1?
False
Let b be ((-30)/(-9))/((-2)/(-15)). Let w = 97 - b. Does 6 divide w?
True
Let p(c) = 14*c**3 - 6*c**2 - 20*c + 20. Suppose 8 = -3*q - 4. Let z(i) = -5*i**3 + 2*i**2 + 7*i - 7. Let n(a) = q*p(a) - 11*z(a). Does 27 divide n(-4)?
True
Let f(b) be the third derivative of b**6/360 - b**5/40 + b**4/6 + 5*b**3/6 - 6*b**2. Let q(x) be the first derivative of f(x). Is q(6) a multiple of 8?
False
Suppose 21*a = 6*a + 3270. Does 69 divide a?
False
Let g(d) be the first derivative of 30*d**2 + 2. Let s be g(1). Let v = s - 42. Is 6 a factor of v?
True
Let a(h) be the first derivative of h**3/3 + h**2/2 - 4*h + 3. Let g be a(-3). Does 20 divide 55 + 3 - g/(-1)?
True
Let b = 1627 - 1018. Does 29 divide b?
True
Suppose 2*i = 7 + 21. Let l(d) = d**2 - 9*d - 10. Does 13 divide l(i)?
False
Let f(o) = 2*o**3 - 4*o**2 + 3*o + 1. Let q = -17 + 29. Let x be 12/9 - (-8)/q. Does 2 divide f(x)?
False
Suppose 17*h - 220 = 6*h. Let u = h + 78. Is u a multiple of 17?
False
Suppose 11 = -2*l + 25. Suppose -5*z + 383 + l = 0. Is 39 a factor of z?
True
Let s(o) = -13*o**3 - 2*o**2 - 5*o - 9. Is s(-2) a multiple of 3?
False
Suppose 0 = 5*f + 5*o, -2*o - 2*o - 15 = -f. Suppose 3*q + 0 = -5*r + 6, f*q - 6 = -r. Suppose r = 4*j + w - 114 - 60, 178 = 4*j + 3*w. Is 12 a factor of j?
False
Suppose -575 = -10*d + 605. Is 14 a factor of d?
False
Let v = 58 + -56. Suppose c = v, 2*l - 8 = 4*c - c. Is l a multiple of 7?
True
Suppose -3*h + 1781 = -2*h + 3*d, 2*h - 3565 = -3*d. Is h a multiple of 46?
False
Let b = 1644 + -258. Does 99 divide b?
True
Let t be ((-4)/(-10))/(5/50). Suppose -30 = -t*d - 6. Let u = 54 + d. Does 20 divide u?
True
Let d = -1131 - -2256. Does 15 divide d?
True
Suppose 8 = 3*d + 2. Suppose 2*p + 4*o - 4 = 0, d*p = -0*p + 5*o + 13. Is p a multiple of 2?
True
Let n(y) = y**3 - 8*y**2 - y + 8. Let g be n(8). Suppose g*m - 35 = 5*m. Does 10 divide 759/77 - 1/m?
True
Suppose -2*l + 132 = -0*x + x, 4*l - 268 = -3*x. Suppose -425 = -2*o + g - l, -2*g + 552 = 3*o. Does 13 divide o?
True
Let f(k) = k - 7. Let d be f(8). Let b = 6 - d. Suppose -h - 3*j = -66, 264 = 5*h - h - b*j. Is h a multiple of 22?
True
Let j(g) = g**3 - 26*g**2 - 58*g + 60. Let q be j(28). Suppose -124 = v - 5*v. Suppose q*z - 135 = -v. Is 13 a factor of z?
True
Suppose 3*p - 5*v - 1680 = 0, -4*v + 1680 = p + 2*p. Is p a multiple of 10?
True
Let s(i) = 79*i**3 - i**2 - i + 1. Let w be 3/24*4*2. Let v be s(w). Suppose 0 = 3*j + 4*p + 13 - 73, -v = -3*j + 2*p. Is j a multiple of 22?
False
Let r be (2/2)/((-1)/10*-1). Let p = r - 6. Is 4 a factor of p?
True
Suppose -7 = -5*p + 8. Let l(m) = m**3 - 17*m**2 + 68*m - 16. Let x be l(11). Is 16 a factor of p*x/(-9) - -34?
True
Let i(s) = -4*s - 24. Let o be i(-6). Does 13 divide (116 - o) + (2 - (-3 - -8))?
False
Suppose -381 = -2*o + 5*n, -5*o + 943 = 3*n + 68. Does 10 divide o?
False
Let v(m) be the third derivative of m**5/30 + 5*m**4/24 + m**3/3 - m**2. Does 7 divide v(-4)?
True
Let n be -3 + 18 + (-2 - -2). Suppose 0 = -3*i - n - 0. Is 23 a factor of 5/25 + (-254)/i?
False
Let p = 36 - 47. Let b(d) = 24*d - 1. Let w be b(2). Let z = w + p. Does 36 divide z?
True
Suppose i + 2*r - 7*r = 10, 3*i + r = 46. Let o be 4 + 15/(-5) - i. Is (-4)/(-7) + (-244)/o a multiple of 3?
True
Let t(z) = z + 3. Let u = -4 + 7. Suppose 4*f + 38 = 4*r - 2, -u*f = 5*r - 10. Is 5 a factor of t(r)?
False
Let k(d) = -5*d - 2 - 3 - 2*d. Suppose 22*g + 24 = -64. Is k(g) a multiple of 19?
False
Let k(m) = -2*m - 12. Let g be k(-9). Suppose -c - 240 = -g*c. Does 16 divide c?
True
Suppose -5 = -2*y - 3*v, 0 = 4*v - 1 + 5. Suppose -5*g + 10 = 3*f - 6, 0 = y*f + 2*g - 40. Does 12 divide f?
True
Suppose 0 = -2*b - 4. Is 42 - (b - 0 - (3 + -5)) a multiple of 7?
True
Let i(t) = -t**2 + 4*t + 1. Let n be i(5). Let c be (n/10)/(2/20). Does 3 divide ((-5)/c)/(1/8)?
False
Let x(b) = b**3 - 7*b**2 + 5*b + 8. Let n be x(6). Let u = -73 + 74. Let t = u + n. Is t a multiple of 2?
False
Let s(i) = i**3 - 5*i**2 - 10*i + 57. Let f be -9*(-7)/42*(-10)/(-3). Is s(f) a multiple of 4?
False
Let o = 71 - 37. Suppose 4*n + 8 = 0, 0 = -5*c + 5*n + o + 86. Let l = c - -3. Is 7 a factor of l?
False
Is (-114360)/(-168) + -2*3/(-21) a multiple of 15?
False
Suppose -28*o - 297 = -17*o. Suppose 4*n = -3*m + 22, -m - 3*m + 20 = 3*n. Is 12/n - 3 - o a multiple of 9?
True
Is 32 a factor of (-18402)/(-21) + 20/(-70)?
False
Let x = -28 + 19. Let u = x 