uppose 2*y - 9 = -g. Suppose y*w - 4*a = 92, -5*w + 2*a + 117 = -10. Is 6 a factor of w?
False
Suppose 5*c + 2 = -2*m, -m + 0 + 1 = 3*c. Let y = 15 + m. Suppose -107 + 11 = -y*t. Is 24 a factor of t?
True
Let a be 5/(5/16) + 2. Let r = a - 11. Is r even?
False
Suppose -513 = -r - 5*x, -1053 = 15*r - 17*r - x. Is 11 a factor of r?
True
Let g(r) = 3*r**2 + 11*r. Let k be g(-4). Suppose 284 = 3*n + 4*c - 2*c, k*c + 488 = 5*n. Does 32 divide n?
True
Let t = 9 + -13. Let h be ((-30)/t)/((-2)/(-8)). Let q = h + -12. Is 6 a factor of q?
True
Suppose -2 = -13*s + 12*s. Does 5 divide 32/(-20) + s + 93/5?
False
Let g = -24 - -26. Let o = 7 - g. Suppose -o*y - 5*v = -3*y - 90, -y + 5*v + 30 = 0. Does 7 divide y?
False
Suppose 2*a - 4*x - 21 = -a, -2*a - 9 = 5*x. Suppose a*n - 2 = 2*n. Suppose -n*m + 3*p = -47, -3*m + m - 2*p = -22. Is 3 a factor of m?
False
Let a(l) = -l**3 - 40*l**2 + 92*l + 49. Does 38 divide a(-43)?
False
Suppose 12*b = 14*b - 10. Suppose -4*t = -3*y - 135, 2*t + b*y + 129 = 6*t. Is t a multiple of 4?
True
Let n(g) = -6*g**3 - 2*g**2 + 2*g + 2. Let j(q) = 5*q**3 + 3*q**2 - q - 1. Let a(s) = 7*j(s) + 6*n(s). Let v be a(8). Let p = v - 39. Is 13 a factor of p?
False
Suppose 13 = -3*b - 44. Let i = 8 - 11. Let d = i - b. Does 4 divide d?
True
Suppose 0 = -291*h + 290*h - 4*j + 1369, 2738 = 2*h - 3*j. Is 69 a factor of h?
False
Suppose 21*k - 7070 = 7*k. Does 66 divide k?
False
Suppose 56 = 6*c - 448. Is 6 a factor of 4/(-6)*c/(-4)?
False
Let s(c) = -55*c**3 - c**2. Let d = 18 + -15. Suppose 5*f - 2*p + 15 = 0, 3*p - 20 = 2*f + d*f. Does 18 divide s(f)?
True
Suppose 3*l - 2 = 13, -6*l = x - 2603. Does 14 divide x?
False
Let t(d) = -d**3 + 10*d**2 + 7*d + 44. Is 57 a factor of t(10)?
True
Let b = 10 + -12. Let w be ((-1824)/18)/(b/(-27)). Does 17 divide w/(-16) - (-2)/(-4)?
True
Does 39 divide (3032/28 + 12/(-42))*13?
True
Let u = -86 + 256. Suppose -9*f + u = -4*f. Suppose 3*b = -4*y + 3*y + f, 5*b - 65 = -2*y. Is 25 a factor of y?
True
Suppose 3*m - 7*m + 416 = 0. Suppose -i - i - m = 0. Let r = -23 - i. Is r a multiple of 17?
False
Let b(p) = -p**2 - 34*p + 254. Does 53 divide b(-32)?
True
Let p(r) = 47*r**2 + r. Let m be p(-1). Let i = m - 6. Does 8 divide i?
True
Let v = 50 + -42. Suppose -v*p + 5*p = f - 388, -p + 5*f = -156. Is p a multiple of 8?
False
Let w(i) = -i**3 - 4*i**2 + 17*i - 14. Does 14 divide w(-7)?
True
Let l(f) = f**3 + 16*f**2 + 19*f + 27. Does 20 divide l(-8)?
False
Suppose f = -6*f + 1848. Suppose 5*h + 3*h = f. Does 9 divide h?
False
Let q be (2/(-3))/((-2)/2619). Let f be 4/(-26) - q/(-13). Let x = -37 + f. Is 5 a factor of x?
True
Suppose -16*n - 688 = -24*n. Does 4 divide n?
False
Suppose -1046 - 364 = -10*v. Is v a multiple of 3?
True
Suppose -11*j + 1450 + 6646 = 0. Does 23 divide j?
True
Suppose -10764 = 7*c - 33*c. Does 18 divide c?
True
Let z(l) = -3*l - 11. Let h be z(-5). Suppose -5*v - 56 = -3*a - v, -h*a - 3*v = -58. Is a a multiple of 8?
True
Is 3 + 4 + 341 + -6 a multiple of 6?
True
Let l = 407 - 64. Suppose 7*m - 2*m = 10. Is 20 a factor of m/(-6) - l/(-3)?
False
Let h = -1088 - -1163. Is h a multiple of 4?
False
Let s = -387 - -699. Is 28 a factor of s?
False
Suppose -4*x = f - 294, 10*x + 1271 = 4*f + 7*x. Is 12 a factor of f?
False
Suppose -35*l + 86100 = 6*l. Does 40 divide l?
False
Suppose -f = -16 - 5. Let q = -13 - -13. Suppose 5*x - 19 - f = q. Does 3 divide x?
False
Suppose 2*r = 5*n - 2160, 7*n - 5*n - 885 = 5*r. Does 35 divide n?
False
Let a be (16/10)/(((-80)/25)/(-8)). Suppose 3*f = -3*b + 6*b + 507, 0 = -a*f - 5*b + 694. Does 57 divide f?
True
Let b(x) = -x**2 - 21*x - 46. Does 3 divide b(-18)?
False
Let c be -1*3/(-3) - 3. Let y(v) = v**2 + v - 1. Let i be y(c). Is 2650/30 - i/3 a multiple of 22?
True
Suppose 10*g = -7 - 23. Is 24/120 + ((-867)/5)/g a multiple of 37?
False
Let x(p) = 40*p**2 + p + 1. Let i = 10 - 11. Does 18 divide x(i)?
False
Suppose 3*z + 2*q - 14 = 0, z - 5*q + q = -14. Suppose -2*c - 68 = -6*c - 4*w, -5*w - 55 = -2*c. Suppose z*b - 50 = c. Is b a multiple of 11?
False
Let z(c) = 9*c + 26. Let p(y) = -14*y - 39. Let l(b) = -5*p(b) - 8*z(b). Suppose 5*w = -2*n - 0*w - 52, -20 = 5*w. Is l(n) a multiple of 11?
False
Suppose 0 = -2*b - 3*p + 5, -3*p = -2*b - 0*p - 1. Suppose b = c - 41. Is c a multiple of 7?
True
Let k(y) = y + 18. Let i be k(-19). Let a be (i*1)/((-13)/143). Let z = a - 3. Does 5 divide z?
False
Let a(i) = 53*i**2 + 3*i - 16. Is a(2) a multiple of 13?
False
Suppose -3*z = 5*h - 4660, 2*z - 3435 = 3*h - 303. Does 40 divide z?
True
Suppose 0 = 9*f - 4*f - 900. Does 12 divide f?
True
Let a(j) = -22*j**3 + 5*j**2 - 2*j + 3. Is 18 a factor of a(-3)?
True
Let f(q) = -5*q + 0*q + 34 - 8. Is f(-14) a multiple of 16?
True
Suppose -5*x = -z + 16, 3*z - x = z - 13. Let r = -15 - z. Does 10 divide r/(-21) - 624/(-21)?
True
Suppose -2*c + 10*c = 368. Is 3 a factor of (-1)/(-4) - c/(-8)?
True
Let l(y) = y**2 - 3*y - 4. Let i be l(4). Suppose i = 2*g - 3*g + 58. Does 29 divide g?
True
Let w be ((-8)/24)/((-2)/18). Suppose 0 = u - 2, -23 + 5 = -4*l - w*u. Does 5 divide 9/(-27) + 40/l?
False
Let h(f) = 22*f**2 + 35*f + 298. Does 46 divide h(-8)?
True
Let r = -174 + 396. Is r a multiple of 37?
True
Suppose -16 = -a + h - 3, -2*a = h - 17. Let u(t) = 3*t + 19*t + a*t. Is 4 a factor of u(1)?
True
Let i be 51/12 + (-2)/8. Suppose 0 = i*d - 16 - 108. Is 21 a factor of d?
False
Let m(z) = 7*z - 8*z - 4*z + 5. Is 20 a factor of m(-7)?
True
Let q be (-44)/(-10) - (-2 - 21/(-15)). Suppose 89 + 241 = q*b. Is 33 a factor of b?
True
Suppose -5*q - 8419 + 39389 = 0. Suppose -2518 = -22*i + q. Is i a multiple of 44?
True
Let t(n) be the third derivative of n**6/120 - n**5/15 - n**4/8 + 7*n**3/6 + 20*n**2. Is 2 a factor of t(5)?
False
Let o = 80 - 95. Does 14 divide ((-27)/o)/((-5)/(-525))?
False
Suppose 202 = 5*n - j, 2*n - 3*j - 70 = -8*j. Let p = 8 + n. Is 17 a factor of p?
False
Let r(t) = 15*t**2 - 14*t + 4. Does 2 divide r(3)?
False
Let i be -10 + 12 - (1 - 1). Suppose 0 = -i*v - v + 114. Suppose 4*x + 15 = g - 9, 2*x - v = -2*g. Is g a multiple of 5?
True
Let y be ((-208)/12)/((-2)/(-48)*-2). Suppose -2*a - 3*r + y = 0, -6*a - 3*r + 416 = -2*a. Does 13 divide a?
True
Suppose -136 - 133 = -o + t, 3*o + 3*t = 837. Does 4 divide o?
False
Let j(f) = f**2 - 3*f - 3. Let x be j(3). Let o = -3 - x. Suppose 3*s - 131 - 19 = o. Does 15 divide s?
False
Let z be (-5)/(29/30 - 1). Suppose -u + 3*x + 53 = 0, -4*u - 5*x + z = -2*u. Is u a multiple of 43?
False
Let v(f) = -7*f**2 - 11*f - 9. Let h be v(-5). Does 7 divide (h/(-9) + -1)*72/15?
False
Let x(f) = f - 7*f + 16 + 2 + 11. Is x(-10) a multiple of 11?
False
Suppose 2596 = 22*x - 4004. Does 12 divide x?
True
Let s(w) = 9*w + 11 + 7 + 22*w**2 - 5 - 21*w**2. Let g be s(-8). Suppose g*v + 30 = 85. Is v a multiple of 11?
True
Let l be 4/(-16) - 2/(-8). Suppose l*c + 76 = 2*c. Suppose -w = -10 - c. Does 13 divide w?
False
Let q(v) = 153*v**2 - 1. Let g(y) = -y**2 - y + 1. Let c(k) = -3*g(k) + q(k). Does 31 divide c(1)?
True
Let y = 932 + 292. Does 68 divide y?
True
Suppose 4*p = 3*r + 3174, -r - 3176 = -4*p + r. Does 15 divide p?
True
Suppose -96*r = -39*r - 6156. Is r a multiple of 9?
True
Suppose -6*j = 4*r - 5*j - 325, 5*r - 405 = -j. Suppose 4*a - 5*a + r = 0. Is a a multiple of 37?
False
Suppose o = 6*o - 135. Let r be ((-16)/(-3))/(6/o). Is 7 a factor of r - (0/1 + 2)?
False
Let h(p) = p + 7. Let z be h(-4). Let c = 9 - z. Is (-1)/(-2)*c - -36 a multiple of 10?
False
Suppose -2*o = q - 75, -18*q + 3*o + 80 = -17*q. Is q a multiple of 6?
False
Let m = 40 - 20. Is 3 a factor of 22/2 + m/(-5)?
False
Let b be 36/14 - (-6)/14. Suppose 5*r + 0*i = -b*i - 379, 5*i = -r - 89. Is (2/(-4))/(1/r) a multiple of 28?
False
Suppose 2*w = 33*w - 8866. Does 50 divide w?
False
Let o(v) = v**3 + 17*v**2 - 19*v - 22. Let a be o(-18). Let s = a - -10. Is 6 a factor of s?
True
Suppose 35*z = 8*z + 33453. Is z a multiple of 6?
False
Let h be 639/7 - 6/21. Suppose -33 = -4*v + h. Does 21 divide v?
False
Suppose -2*m + 244 = 2*o, o - 5*m = -7*m + 121. Is o a multiple of 41?
True
Let a = -1136 - -1625. Does 11 divide a?
False
Let i(l) be the second derivative of -1/12*l**4 - 4/3*l**3 + 0 + l + l**2. Is 18 a factor of i(-4)?
True
Let w = 17 - 1. Suppose -