 -10, 2*s + 10 = 4*s + 2*m. Suppose p - 114 = -s*l, 2*p - l - 168 = 4*l. Is 17 a factor of p?
False
Let r = -250 - -22. Does 30 divide r/(-8)*2 + 3?
True
Let c(z) = z - 13. Let a be c(4). Let p be (-24)/a - 12/18. Suppose 268 + 50 = 4*d + p*w, 5*d - 405 = 5*w. Does 16 divide d?
True
Suppose -4*o + 10 = -9*o, 0 = w + 4*o + 3. Suppose -2*k = -2*b + 3*b - 8, w*k - 5*b = 50. Does 19 divide (4/k)/((-2)/(-57))?
True
Let l(k) = -k**3 + k - 7. Let r be l(0). Let y(f) = -34*f - 14. Does 16 divide y(r)?
True
Let b be (3/3)/1*3. Suppose 4*y + i = 45, 5*i - 16 = -b*y + 2*y. Does 2 divide y?
False
Suppose 212 = -109*f + 113*f. Suppose -4*r + 353 = f. Is 30 a factor of r?
False
Suppose m + 3*n = 4*m - 21, 3*m + 5*n = 13. Let d(p) = -p**3 + 6*p**2 + 3*p + 2. Let u be d(m). Does 13 divide (-1377)/(-21) + u/(-35)?
True
Suppose 7*p + 2*k - 4219 = 2*p, 2*p - 2*k - 1696 = 0. Is 37 a factor of p?
False
Suppose d - 3*x - 6 = -2*d, -2*x + 6 = 3*d. Suppose -a + 14 = d*v - 1, 2*a - 25 = -3*v. Suppose -5 = -g - 4*m + 124, -v*g + 561 = -m. Is 24 a factor of g?
False
Let x(z) = z**3 - 12*z**2 + 13*z - 18. Let f be x(11). Suppose 2*w - w + 5*g - 98 = 0, 2*g + f = 0. Does 16 divide w?
False
Suppose 0 = x - 433 - 1007. Is x a multiple of 18?
True
Is (4 - -8)/(-3)*-4 a multiple of 6?
False
Let v(q) = 9*q. Let z be v(1). Suppose -6*f = -3*f - z. Is 2 a factor of f?
False
Let g be ((-27)/6)/(4/(-48)). Let b be (g/(-4))/(6/12). Let z = -16 - b. Is z a multiple of 3?
False
Let p be 1/(-2) - 134/(-4). Let u be ((-17)/(153/414))/(1/(-1)). Let b = u - p. Is 7 a factor of b?
False
Suppose -v - 2*k - 8 = 11, -88 = 4*v - 4*k. Let n = -15 - v. Let y = -2 + n. Is 3 a factor of y?
False
Let i(t) = -7*t**3 + 3*t**2 + 2*t - 1. Is i(-2) a multiple of 3?
True
Let q(h) = -h**3 - 6*h**2 + 6*h - 7. Let w be -8 + 1 + 0/(-3). Let l be q(w). Suppose 2*g + 8 = l, 4*o - 48 = 4*g - 12. Is o even?
False
Suppose -3*u + 9 = 3*n, 5*u + 20 - 59 = n. Let o = 10 - u. Is 29 a factor of (-558)/(-4)*2/o?
False
Let d(n) = n**2 + n + 7. Let p be d(0). Suppose -r + 0*r = -5*c + 1236, -c - 5*r = -268. Suppose p*m - 2*l - c = 2*m, -3*l - 12 = 0. Is m a multiple of 12?
True
Let f be -5 - -2 - (2 + -3). Let r be (180/(-6))/(4/f). Suppose 0 = s - 21 + r. Does 3 divide s?
True
Suppose -h = -5*a + 155, 2*a - 62 = 6*h - 5*h. Suppose 0 = 2*w - 5*d - 268, -2*w + a + 253 = -d. Is 36 a factor of w?
True
Suppose -34 = -2*a + 2*v, -5*a = -a + 2*v - 38. Let u(m) = -m**3 + 12*m**2 + 10*m - 9. Does 18 divide u(a)?
False
Suppose -1 = q - 0*q. Does 4 divide 15/q*(-12)/9?
True
Suppose -2*o - 26 = -q, 5*o = -5*q + 2 - 67. Let k = o - -20. Does 3 divide k?
False
Let h(w) = 341*w**3 + 3*w**2 - 5*w + 3. Does 18 divide h(1)?
True
Suppose -3*b + 4*f - 68 = -f, 4*f + 59 = -3*b. Is 15 a factor of (-2190)/b + (-4)/14?
False
Let p(s) be the second derivative of -s**3/6 + 5*s**2/2 - 3*s. Let w be p(0). Is 4 a factor of ((-8)/w)/(4/(-10))?
True
Suppose -152 = -4*u + r + 327, 2*u = -2*r + 232. Suppose 0*o = -3*o - 2*x + 74, -x = -5*o + u. Is o a multiple of 3?
True
Let h = -71 + 46. Let c = h - -95. Suppose -2*y = -c + 12. Is 6 a factor of y?
False
Is (-727)/(-9) - 158/(-711) even?
False
Let a(x) = 14*x**2 - 5*x. Let w be a(-3). Let s = w + -85. Is s a multiple of 4?
True
Suppose 4*k = w + 8, 2*w = -3*w + 3*k + 11. Suppose -i - w = -1. Is i*(3 - 2)*-2 a multiple of 4?
False
Let s(y) = -y - 4. Is s(-16) a multiple of 8?
False
Suppose -2252 = -2*k + 5*l, l + 1160 = -5*k + 6817. Does 64 divide k?
False
Let o = 135 + -196. Is (0 - 2) + o/(-1) a multiple of 12?
False
Suppose 725 = 4*i - 1611. Does 49 divide i?
False
Let m(b) = -b + 14. Let p(q) = 5. Let d(w) = -6*m(w) + 17*p(w). Let t = 21 - 15. Is d(t) a multiple of 8?
False
Suppose -462 = 4*t - 54. Is 12 a factor of t/85*400/(-6)?
False
Is 25 a factor of (-4 - (-42)/10) + (-49489)/(-55)?
True
Let u = 95 + -172. Let g = -62 - u. Does 15 divide g?
True
Let g(f) be the second derivative of f**4/12 + 5*f**3/6 + 3*f**2 - 6*f. Let c be (2*-1)/(6/21). Is g(c) a multiple of 20?
True
Let p = 229 + 266. Does 5 divide p?
True
Suppose 0 = 57*r - 43*r - 5390. Is 5 a factor of r?
True
Let v = -385 - -1031. Is v a multiple of 19?
True
Let m(q) = q**3 - 15*q - 23. Does 6 divide m(6)?
False
Let l = -1582 - -1958. Does 11 divide l?
False
Let c(g) = g**2 - 12*g - 13. Let v be c(12). Let k(y) = y**2 + 12*y - 10. Let h be k(v). Suppose j = -5, -3*l + 4 = 4*j - h. Is l a multiple of 3?
True
Let c(p) = -230*p - 15. Does 40 divide c(-2)?
False
Suppose -x - 176 = -5*x. Suppose -13*m - x = -15*m. Does 9 divide m?
False
Let k(c) = c**2 + 14*c + 5. Does 8 divide k(9)?
False
Suppose 0 = 6*l - 3*l - 6. Suppose w + l*w = 24. Is w a multiple of 4?
True
Let k(p) = -p**3 + 4*p**2 - 4*p + 3. Let z be k(3). Suppose z = 2*c - 0*c - 4. Is c*23 + (-4)/(-4) a multiple of 17?
False
Suppose 0 = 2*j - 0*j + 3*w - 14, 4*j + 3*w = 40. Let s = j + 11. Is s a multiple of 6?
True
Suppose -3 + 33 = 6*r. Suppose p = -r*x + 72, -2*x - 3*p + 33 = -4*p. Does 15 divide x?
True
Suppose -4*q + 1024 = 4*y + 156, 0 = -4*y + 2*q + 886. Does 32 divide y?
False
Suppose -r - 15 = 3*z - 6*r, 3*z + 3*r = 9. Suppose z = 9*n - 13*n + 52. Suppose -n*i + 36 = -9*i. Does 3 divide i?
True
Suppose -5*s + 277 = l, 0 = -2*l - 0 + 4. Let h = s - -17. Is h a multiple of 9?
True
Let f = 74 - -17. Is f + (2 + -3)*1 + 0 a multiple of 9?
True
Let b(l) = -l**2 + l + 2. Let s be b(3). Let z(o) = 7*o - 15. Let g be z(-6). Is 25 a factor of 48/9*g/s?
False
Let a = 22 - 28. Let g(n) = 3*n + 8*n**2 - 8 - 3*n + n**3 + 4*n. Is g(a) a multiple of 15?
False
Let r = 34 - 47. Let a = r - -7. Is a*((-5)/3 + 1) a multiple of 2?
True
Suppose -i = 3*z + i + 59, 0 = 2*z - 5*i + 14. Let d = 25 + z. Is d a multiple of 8?
True
Let s(g) = -g**2 + g - 8. Let f(o) = -2*o + 16. Let r be f(8). Let b be s(r). Let n = b + 65. Is 12 a factor of n?
False
Let y(v) = -3 - v**2 + 8*v + 0 + 0*v**2. Let w be y(5). Suppose -3*o - w = -45. Does 10 divide o?
False
Let p be 6/(-21) - 16/(-7). Suppose -5*h + s + 791 = -0*h, 4*h - 2*s = 634. Suppose o - p*v + 34 = 2*o, -4*o + 3*v + h = 0. Is 19 a factor of o?
True
Let t(w) = w + 16. Let q be t(-9). Suppose 6*l + 100 = q*l. Is 18 a factor of l?
False
Suppose 4*m - 333 - 51 = 0. Is m a multiple of 3?
True
Let g(b) = -3*b**2 + 36. Let r be g(9). Let m = -144 - r. Does 9 divide m?
True
Let v(p) = -90 + 140 - 8*p + p**2 - 5*p. Does 8 divide v(15)?
True
Suppose -14*a + 48 = -10*a. Is (32/12 - -1)*(a + 0) a multiple of 5?
False
Let a = -137 + 600. Does 37 divide a?
False
Let o(v) = 7*v**2 - 12*v - 2. Let q(n) = -3*n - 21. Let f be q(-9). Is o(f) a multiple of 10?
False
Suppose -13 - 29 = -6*i. Let u(k) = -k**3 + 9*k**2 - 7*k - 1. Let l be u(i). Suppose 2*y = y + l. Does 12 divide y?
True
Let z be (-27)/(((-3)/(-3))/(-1)). Is 36 a factor of (-6)/z - ((-6510)/(-27))/(-5)?
False
Let l(f) = -f**3 + 5*f**2 - 4*f + 8. Let h = -22 - -27. Let r be l(h). Does 25 divide (-73)/(-3) - r/18?
True
Suppose -61*s + 2666 = -79. Is 9 a factor of s?
True
Let t(w) = w**2 - 39. Let m be t(6). Is (m - 3)/(-2) - 33*-1 a multiple of 15?
False
Let z(f) = f**3 - 27*f**2 - 25*f - 43. Is z(28) a multiple of 2?
False
Let l(n) = -n**2 - 15*n - 45. Is l(-5) even?
False
Let y = -773 + -137. Let i be (36/(-5))/(39/y). Suppose t = 7*t - i. Is 7 a factor of t?
True
Let p(y) = 52*y**2 - 4*y + 24. Does 28 divide p(4)?
True
Let y(l) be the first derivative of -6*l**2 + 6*l - 6. Let d(r) = -r - 10. Let f be d(-5). Is y(f) a multiple of 22?
True
Is 66 a factor of ((-2 - 1) + -4)*(4 + -73)?
False
Let g(o) = o**2 + 4 + 2 + o**2 - 5. Let a be g(-4). Let r = a + -21. Does 12 divide r?
True
Let g(c) = -769*c + 8. Is 12 a factor of g(-2)?
False
Suppose 15*k + 4*k - 1007 = 0. Is k a multiple of 4?
False
Let c(r) = -r**2 - 141. Let k be c(0). Let a = 197 + k. Is 13 a factor of a?
False
Suppose 0 = -5*x + y + y + 59, 55 = 4*x + y. Is (1 - 0) + 507/x a multiple of 22?
False
Let h be (-28)/(-8) - (-3)/(-6) - 1. Suppose 4*n - 2*t - 94 = 0, 0 = -h*n - n - 4*t + 87. Does 5 divide n?
True
Suppose 0 = -a - 2, 2514 = 2*b + b + 3*a. Does 30 divide b?
True
Suppose 204 + 30 = 6*y. Let m = 60 - y. Is 3 a factor of m?
True
Suppose 3*s = 3368 - 539. Does 32 divide s?
False
Let u(t) = t + 15. Let s be u(-11). Let b(c) = -1 - s*c 