e 2*z = 4*m + 3*z + 1, 5*m - 4*z = -17. Let n(y) = 42*y**2 - 2*y - 2. Is n(m) a multiple of 7?
True
Let d = -66 + 69. Suppose -107 = d*h - 515. Does 34 divide h?
True
Let a(l) = 6*l**3 + l**2 - 5*l**3 - 5*l**2 - 7*l**2 + 14 - 14*l. Is 39 a factor of a(13)?
False
Let d be 190/(-4) - 3/(-6)*-1. Let h = 30 - d. Is h a multiple of 4?
False
Let r be (3 - 4 - 0)*-7. Suppose 82 = 9*o - r*o. Does 20 divide o?
False
Let x = 1003 + -712. Suppose 27 = -4*t + x. Is t - (-1)/1*-2 a multiple of 16?
True
Let t(q) = 2 - 10 + 8*q - 5*q**2 + q**2 + 3*q**2. Does 2 divide t(6)?
True
Suppose -4*v = 5*y - 3569, v - 2*y = 5*v - 3554. Is v a multiple of 16?
False
Suppose -2*x = -x + 5*q + 5, -5*x + 71 = q. Let w be (-55)/x + (-2)/6. Does 4 divide 18/((-18)/w - 3)?
True
Let x(w) = -5*w - 7. Let y(h) = h. Let k(a) = -x(a) - 4*y(a). Let s be k(-5). Suppose -s*l = -51 - 45. Is l a multiple of 12?
True
Let s(r) = -r**2 - 18*r + 3. Let o be s(-15). Is 30/(-9)*o/(-20) a multiple of 8?
True
Let p(q) be the second derivative of 7/2*q**2 + 0 + 1/6*q**4 - q**3 + 4*q. Does 4 divide p(3)?
False
Let l = 1108 + -718. Does 13 divide l?
True
Suppose -3*q + b + 202 = 0, 0 = 2*q - 6*q + 4*b + 264. Suppose 0 = -5*w - u - 4*u + 70, -2*w - u + 26 = 0. Let y = q - w. Is y a multiple of 14?
True
Suppose 0 = 55*a + 11090 - 49865. Is 6 a factor of a?
False
Let i = -21 + 15. Let q = i - -25. Is q a multiple of 19?
True
Suppose 0 = -u - 3*u + 3*o + 1364, -3*u + o + 1023 = 0. Does 19 divide u?
False
Suppose 0 = 5*q + 6 + 4. Does 13 divide (q + -2)*(-195)/20?
True
Suppose 0 = -2*c - 3*r - 1, 5*r - 9 = -c + 8. Suppose -6*k + 204 = 180. Let u = k - c. Is u a multiple of 6?
True
Suppose -3*q + 8640 = 33*q. Is 40 a factor of q?
True
Let n be (-2)/(-10) - (-4123)/35. Let q = n + -43. Does 11 divide q?
False
Does 9 divide (-7944)/(-13) + (-107)/1391?
False
Let q(o) = -2*o - 14. Let r be q(5). Let x = 65 + r. Does 11 divide x?
False
Let n(c) = c**2 - 2*c - 9. Let m be n(-2). Does 27 divide (-2)/6*m + 5704/24?
False
Let x(n) = -n**2 - 6*n. Let h be x(-6). Suppose h*f + 5*f - 180 = 0. Let l = f - 10. Is l a multiple of 15?
False
Suppose 0 = -5*d + d + 12. Let r = -14 - -20. Does 4 divide (d + (-34)/r)*-3?
True
Suppose 5*y - 35 = 5*g, -5*y - 5*g + 3*g = -49. Suppose -451 - 431 = -y*k. Does 19 divide k?
False
Let i = -14 - -9. Let y be 6 + i + 35/(-1). Let g = 2 - y. Is 9 a factor of g?
True
Suppose 0 = b - 3*z - 23, 0*z - 2*z = -2. Suppose 0 = -m + 4*o + b, -2*o + 18 = 3*m - 4. Is 10 a factor of (-24)/30 + 368/m?
False
Does 51 divide (-11*11/(-121))/((-1)/(-204))?
True
Let h(f) = 80*f**2 - 21*f + 4. Does 47 divide h(2)?
True
Is ((-1727)/(-22))/(3/18) a multiple of 54?
False
Let l = -166 - -337. Suppose -5*k = 4*r + l, 0 = -2*r - 5*k - 47 - 36. Let u = -31 - r. Is 6 a factor of u?
False
Suppose u = 3*u - 4. Suppose 2*c = -5*m + 96, 5*m - u*c - c - 81 = 0. Is 10 a factor of m?
False
Let t = -1036 + 1193. Does 16 divide t?
False
Let o(x) = x**2 - 10*x - 15. Suppose -2*y + 5*l + 14 = 0, -2*l + 36 = 2*y + 8. Let i be o(y). Suppose 2*d + i - 35 = 0. Does 7 divide d?
False
Suppose -x = -3*x + j + 8, -x + 14 = 2*j. Let m = -3 + x. Is 3 + -3 + m/1 even?
False
Let w(a) = a**2 + 7*a - 8. Suppose -3*s + 5*j = -2 + 4, -5*s = 3*j - 42. Let f be w(s). Suppose -4*c = y - 45, c = 4*y - 25 - f. Is y a multiple of 8?
False
Suppose 5456 = -177*f + 199*f. Is 6 a factor of f?
False
Let x = 18 + -19. Let z be 56/10*(x + 6). Suppose o = 3*o - z. Is 14 a factor of o?
True
Let m = 13 - 9. Suppose m*k + 225 - 1617 = 0. Is 14 a factor of (k/15)/(4/10)?
False
Let y(o) = 11*o**2 + 5*o + 2. Let x be y(-2). Suppose 3*b = -4*m + x, -3*b + 5*m + 1 = -b. Is b a multiple of 8?
True
Let u(g) = 43*g - 207. Is u(21) a multiple of 20?
False
Suppose -2*s + 89 = -r, 19 + 13 = s + 2*r. Suppose -2*b = p - 0*b + 13, 3*p + 3*b + s = 0. Let i(q) = -q**2 - 16*q - 4. Does 3 divide i(p)?
False
Let p(l) = 13*l**2 - 4*l - 98. Is 94 a factor of p(-12)?
False
Suppose 3*g - 3 - 3 = 0. Suppose -2*t + 2*u + 6 = -u, g*t - 10 = u. Is (-258)/(-9) + t/(-9) a multiple of 7?
True
Let d = 296 + -254. Does 21 divide d?
True
Let z(b) be the third derivative of 5*b**4/8 - 23*b**3/2 - 18*b**2. Does 12 divide z(11)?
True
Suppose -3*h + 144 = -39. Suppose 0 = 2*x - 107 - h. Is 21 a factor of x?
True
Suppose 4*r = 5*o + 71 + 17, 5*o = 3*r - 71. Let x = r + 15. Does 32 divide x?
True
Let d be (-2)/(-6) - (-330)/(-45). Is 11 a factor of 6/((-37)/d + -5)?
False
Let z = 2352 + -1260. Does 13 divide z?
True
Suppose -2*j = 3*v - 143, j = v - 10 + 84. Is j a multiple of 6?
False
Suppose -5*a + 155 = -4*a. Let m = a - 56. Is 7 a factor of m?
False
Let i(b) = -b**2 + 5*b + 3. Let l be i(5). Suppose 3*d - 212 = -5*u, -4*u - l*d + 246 - 74 = 0. Is 10 a factor of u?
True
Let z(d) = 3*d + 40. Let h be z(-6). Is h/(-11) - (-19 + 0) a multiple of 6?
False
Let w(g) = g**3 - 10*g**2 + 8*g - 1. Let u be w(9). Let n = -12 - u. Does 10 divide 15*(n - 30/(-9))?
True
Suppose 350 = -4*g + 2370. Is g a multiple of 14?
False
Let q = 42 + -38. Suppose 0 = 10*o - q*o - 168. Is o a multiple of 14?
True
Let u be 2 - (3 + 15/(-1)). Suppose -3*k + 19 = -q + 6, u = 2*k + 2*q. Does 2 divide k?
False
Does 9 divide (-1663)/5*-1 + (-62)/(-155)?
True
Let z(q) = -2*q - 9. Let f be z(0). Is 15 a factor of f/3 + 4 + 45?
False
Let u(v) = -2*v + 39. Let j be u(17). Suppose 2 = g - 0*g, j*l - 5*g - 135 = 0. Does 6 divide l?
False
Let s be ((-4)/3)/((-4)/6). Let m be s/7 - (-216)/28. Let z = -6 + m. Is z even?
True
Suppose -44*v + 27*v = -44268. Is v a multiple of 14?
True
Let u be 64/10 + 15/25. Suppose -z + 10 = u. Does 3 divide z?
True
Suppose 4*n + 8 = 8*n. Suppose 0 = -n*p + 3*p + 39. Is 16 a factor of 9 + -10 - (p + 1)?
False
Let r be (2 + 1)/(15/470). Suppose -56 = -5*h + 5*j + r, 5*j - 130 = -5*h. Is h a multiple of 14?
True
Let n(p) = 7*p**3 - 19*p**2 - 5*p + 2. Let b(j) = -6*j**3 + 18*j**2 + 5*j - 3. Let v(m) = 6*b(m) + 5*n(m). Is 19 a factor of v(13)?
True
Does 12 divide 2/9 - (12500/(-45) + 2)?
True
Let z be ((-1)/(-3))/((-5)/(-30)). Is 864/33 + z/(-11) a multiple of 13?
True
Let g = 257 + -101. Let c = -98 + g. Let t = c + -40. Is t a multiple of 9?
True
Suppose 5*m - 2 - 19 = -t, -2*t - 4*m + 12 = 0. Let p be (-126)/(-72) - 1/t. Suppose -p = 5*g - 67. Is 13 a factor of g?
True
Let i be ((-21)/28)/((-2)/(-32)). Let s(g) = -13*g - 19. Is 17 a factor of s(i)?
False
Suppose 3*b = 2*b + 5. Suppose -b*l + 32 = 5*v - 3, -5*l - 7 = -v. Let m(q) = 11*q - 1. Does 19 divide m(v)?
True
Let z be (-10)/4*198/(-55) - 1. Let f = 14 - z. Is f even?
True
Is ((-714)/9)/(34/(-6) - -5) a multiple of 9?
False
Let m = 4 + -8. Is 5 a factor of 6 + m - 1*-3?
True
Is 4 a factor of ((-162)/15)/((-38)/95)?
False
Does 15 divide (-14)/21*8955/(-10)?
False
Does 20 divide 265 + -1 - 3*(-16)/(-12)?
True
Let b be (24/2)/((-45)/(-30)). Let f be 8/3 + b/(-12). Suppose -f*q + q = -28. Is 7 a factor of q?
True
Suppose 3*i + c - 594 = 0, 3*i - 641 = 4*c - 47. Suppose -i = 5*s - 3*a - 538, -5*s + a = -340. Let f = s + -38. Is 10 a factor of f?
True
Let x(b) = -b**3 - 15*b**2 - 11*b + 39. Is 81 a factor of x(-21)?
True
Suppose 4*l + 92 = -4*j, 3*l + 2*j - 4*j + 59 = 0. Let f be 2/(-32)*-4 + 290/(-8). Is 28 a factor of 4/(36/l)*f?
True
Let k = 460 - 299. Let s = k + -91. Is 14 a factor of s?
True
Suppose 5*l + h - 573 = 0, 234 - 129 = l + 5*h. Is 2 a factor of l?
False
Let q be -1*4/2*-1. Suppose -2*y + 7*n - 2*n = 7, 4*n - 4 = q*y. Suppose -9*o + 205 = -y*o. Is 10 a factor of o?
False
Suppose 0 = -5*s - 3*k + 879 - 223, 4*s = -3*k + 523. Suppose -134*t + s*t = -108. Does 27 divide t?
True
Suppose -4*h - 13 = -73. Suppose -2*k = 3*k - h. Does 30 divide 62 - ((k - 3) + -2)?
False
Let m be ((-8)/6)/((-10)/225). Let j = m - -16. Let w = 22 + j. Is w a multiple of 22?
False
Let z be (-539)/35 - 2/(-5). Is -3*(2 + 50/z) a multiple of 4?
True
Suppose u + 4*u = -3*c + 456, 0 = -2*c + 5*u + 329. Suppose -3*r + 2*t = -c, -4*r - 4*t - t = -240. Is r a multiple of 7?
False
Suppose -16 = 14*w - 22*w. Does 11 divide -1 + (164 - (-2 + 1)*w)?
True
Let z = 27 - -15. Suppose 3*t - 192 - z = 0. Is 36 a factor of t?
False
Suppose 4*g + 12 = 2*q, 32 - 4 = -5*g - 4*q. Does 17 divide 179 + (g - 24/(-9)*3)?
False
Suppose -42 = -3*a + 3*b, 14*b + 8 = 18*b. Suppose 