-2 + 16. Suppose -315 = -a*u + 539. Does 6 divide u?
False
Let p(z) = -z**3 + 6*z**2 - z + 7. Let k be p(6). Let l(n) = -145*n - k + 124*n + 7. Is l(-2) a multiple of 6?
True
Let m(o) = 49*o**2 + 118*o - 257. Does 88 divide m(13)?
False
Is 16 a factor of (198/18 - (-1 - -7)) + 6507?
True
Suppose 8*h - 574 = 3*h + b, -b + 461 = 4*h. Is h a multiple of 5?
True
Let j = 3682 - 1806. Let s = j - 916. Is s a multiple of 64?
True
Suppose 5*p - 98 = -78. Is 3 a factor of ((-21)/(-6) - p)*(-37 + -5)?
True
Let n be -3*(-4 - (-9)/(54/248)). Let j = n + 148. Suppose 4*y - 72 = 5*g, g - j = -2*y - g. Is y a multiple of 12?
False
Suppose l + 0*b = -b - 3, 3*b = -2*l - 5. Let r(q) = -2*q**2 - 14*q + 3. Is 9 a factor of r(l)?
True
Let s = 6668 + -2420. Does 9 divide s?
True
Suppose 0 = j - 3 - 2. Suppose -2*p - 1116 = -3*x, -j*p + 7*p - 1116 = -3*x. Does 31 divide x?
True
Suppose 48 - 32 = -16*h. Let d(i) = -253*i**3 - 2*i**2 - 2*i - 1. Is 6 a factor of d(h)?
True
Let o = 456 + -758. Let f = -146 - o. Is 13 a factor of f?
True
Let g be 9640/14 - (-21)/49. Let h = 460 - g. Let r = 405 + h. Is 22 a factor of r?
True
Let w(j) be the second derivative of -j**4/12 + 23*j**3/6 + 3*j**2/2 - 2093*j. Suppose -4*t + t + 40 = -5*f, -4*f + 76 = 3*t. Is 9 a factor of w(t)?
True
Let c be 5447/26*(-4 - -2). Let y = c + 683. Is y a multiple of 12?
True
Does 66 divide 8991 - 45/(-13 + -2)?
False
Let d(y) = -y**3 + 10*y**2 - 24*y + 1. Let s be d(7). Is -2*s/(-8) + 1642/2 a multiple of 12?
True
Suppose 5*s = -4*g + 280675, 5*s - 272475 = -5*g + 78380. Is g a multiple of 116?
True
Is (-23589)/(-2) - (-9)/324*-126 a multiple of 29?
False
Let v = -96 - -98. Suppose -7*c = -v*c - 90. Suppose 3*q - 36 = c. Is 2 a factor of q?
True
Let g(j) = j + 6. Let q be g(-2). Does 108 divide 5 + (q - 2/(6/(-297)))?
True
Let y(c) = c**2. Let d(s) = 8*s**2 - 8*s - 7. Let z(n) = -d(n) + 6*y(n). Let g be z(8). Let b = g - -85. Does 14 divide b?
True
Let h be (14 - 270/20)/(1/(-58)). Let a(w) = w**2 + 6*w - 4. Let q be a(4). Let j = q + h. Is j even?
False
Suppose 6*i - 8*i = 7*x - 1396, 1010 = 5*x + 4*i. Is x a multiple of 9?
True
Let d(t) = t**2 + t - 1. Let p(l) = -5*l**2 + 4*l - 17. Let s(y) = -4*d(y) - p(y). Let w be s(6). Suppose w*f = 13*f - 180. Is 10 a factor of f?
False
Suppose 0 = -30*o + 445988 + 356452. Is 14 a factor of o?
False
Suppose 11*q - 22 - 33 = 0. Suppose -3*h = j - 831, -4*h = -7*h - q*j + 843. Does 23 divide h?
True
Suppose 0 = 5*r - 636 + 151. Suppose -10*c - r + 797 = 0. Let a = 142 - c. Is a a multiple of 7?
False
Suppose 0 = -5*h + 7 + 3. Suppose 10 = 2*i, z - h*i + 20 = 2*i. Suppose 7*m - 971 - 653 = z. Does 36 divide m?
False
Let l = 513 - -9623. Does 38 divide l?
False
Let f(v) = -2*v**2 + 62*v - 123. Let j(q) = -q**2 + 32*q - 61. Let o(n) = 4*f(n) - 9*j(n). Does 31 divide o(43)?
True
Let j = 15017 - 15126. Let v(s) = 158*s**3 + 2*s - 1. Let y be v(1). Let u = y + j. Does 19 divide u?
False
Let g(x) = 298*x + 6. Let b be g(1). Suppose o - b = -j - 0*o, 4*j = -2*o + 1206. Is 58 a factor of j?
False
Suppose -2*x - 2*x = -20. Suppose 0 = -x*o + 64 - 24. Suppose -3*s + 316 = k, 3*s - o*s + 4*k = -521. Is s a multiple of 25?
False
Let d(j) = -20*j**2 + 20*j + 18. Let g(h) = -7*h**2 + 7*h + 6. Let z(o) = -6*d(o) + 17*g(o). Suppose -44*s = -375 - 21. Is 11 a factor of z(s)?
True
Let n(t) = 7*t**3 - 3*t**2 + 2*t + 1. Let c be n(-4). Let l = -312 - c. Let u = l - 119. Is 24 a factor of u?
True
Let w be (-170)/(-6) - (-20)/(-60). Suppose 8 = -27*u + w*u. Is u even?
True
Let m(x) = -3125*x**3 + 5*x**2 + x. Is m(-1) a multiple of 11?
False
Suppose 0 = 5*a + 20, -10*i + 5*i = -a + 2861. Let q = 963 + i. Is 10 a factor of q?
True
Does 4 divide (8 - 10 - -9018) + -8?
True
Let w(z) = -214*z + 2204. Does 31 divide w(-32)?
True
Let w(f) = -947*f**3 + 2*f**2 + 5*f - 1. Let i be w(2). Is 2/((-12)/i) + 52/312 a multiple of 15?
True
Let d be (52/(-10) - -4)/((-6)/7420). Suppose 8*p = 15*p - d. Suppose -n = 5*h - 203, 6*h + 4*n - p = h. Does 10 divide h?
True
Let v = -28 + 32. Suppose -4*m = -4 + v. Suppose m*h + 124 = 3*g + 4*h, -2*g + 90 = -h. Is g a multiple of 11?
True
Let h = -48 - 11. Does 20 divide 1/3 - h/3?
True
Let w be (-3720)/(-27) - 4/(-18). Let g = 51 + w. Is g a multiple of 7?
True
Suppose 0 = -5*p - 2523 + 20478. Is 27 a factor of p?
True
Let n be 16/((-128)/(-5688)) - (-7)/(-1). Let m be ((-20)/8)/(2/(-8)). Suppose 14*f = m*f + n. Is 11 a factor of f?
True
Suppose -131747 + 153370 = 31*f - 385159. Is f a multiple of 10?
False
Suppose 4*f = 5*n + 19109, 225*f - 9568 = 223*f - 2*n. Is f a multiple of 7?
True
Let v be (8/12)/(13/39). Suppose 18*x - 17*x - 125 = d, d + 253 = v*x. Is x a multiple of 3?
False
Suppose r = -5*z + 9710, -5*r = 3*z + 7426 - 55932. Is 25 a factor of r?
True
Let n be (9/6 + 0)/((-3)/(-4)). Suppose -n*y + 0*y - 213 = 3*u, -u - 61 = 4*y. Let s = u - -239. Does 30 divide s?
False
Suppose 2*x = 2*i - 28, -3*x - 2*i - 34 = -3*i. Let l = x - -84. Let b = l - 38. Does 4 divide b?
True
Let c = -3 + 7. Suppose -6 = -5*u - 3*k, -6*k + 2*k = c*u. Suppose 152 = 2*m + o - 40, 0 = -u*o - 12. Is 14 a factor of m?
True
Suppose 234 = 5*k - 4*k - 4*r, 2*r = 0. Let o = k - 76. Suppose -4*d + 146 = -o. Does 19 divide d?
True
Let v(k) = 7*k**2 + 115*k - 1476. Does 76 divide v(15)?
True
Let r = 37702 + -14344. Is 52 a factor of r?
False
Let m = 279 - 281. Is 68 a factor of (25/20 + m)*-272?
True
Suppose 5*d - 71*z - 39984 = -69*z, 3*d - 24024 = -3*z. Is 32 a factor of d?
True
Let d(o) = -o**2 - 12*o - 11. Suppose 0 = -8*l - 65 - 15. Let h be d(l). Let x(k) = 2*k**2 + 13*k - 6. Is x(h) a multiple of 52?
False
Let v(b) = 9*b + 147. Let w be v(-16). Suppose 0 = w*i + p - 3212, -707 = -2*i - 4*p + 1431. Does 21 divide i?
True
Suppose 0*z - 5*z + 25 = 0. Let b be z/(3/(-3 + 0)). Is 375/3*(-3)/b a multiple of 5?
True
Suppose -4*c - 3*a = -9132, 5*a = -2*c + 4*c - 4540. Is c a multiple of 4?
True
Let j(y) = -6 + 23*y + 22 - 14*y**2 + 12*y**2. Let a be j(12). Suppose -a*u - 4*c + 256 = 0, 0 = -2*c + 6*c - 8. Is 12 a factor of u?
False
Suppose -54 = 12*h - 594. Suppose 3*r - 628 = -4*n + h, 2*n - 8 = 0. Is r a multiple of 4?
False
Let c(j) be the third derivative of -193*j**4/24 + 59*j**3/6 - 28*j**2 - j. Is c(-3) a multiple of 16?
False
Let o = 5844 - 3493. Suppose -1163 = -2*c + 3*s, c + o = 5*c - s. Is 31 a factor of c?
True
Suppose s + 3*f - 196 = 0, -6*s + 8*s - 3*f = 383. Suppose 190*j = s*j - 4320. Is 30 a factor of j?
True
Let p = 17287 - 3578. Is 27 a factor of p?
False
Let t(p) be the third derivative of -p**5/30 - 7*p**4/6 + 5*p**3/6 - 30*p**2. Is 17 a factor of t(-5)?
False
Suppose 0 = 3*o - b + 54, -2*o + 0*o - 5*b = 19. Let g = -29 - o. Let y(i) = -4*i + 17. Is 6 a factor of y(g)?
False
Let o(p) = 13*p**3 - 4*p**2 + 4*p - 3. Suppose 6*c - c - 20 = 0. Suppose -4*d + n = -3*d - 2, -2*d + c = 4*n. Is 10 a factor of o(d)?
False
Let h be (4/4)/(((-7)/66)/(-7)). Let r = 61 - h. Is (-68)/((40/4)/r) a multiple of 8?
False
Is (1584/2)/(427/2989) a multiple of 22?
True
Let x = -74 + 74. Suppose -15 = 5*f - x. Does 8 divide 70/3 - f/((-9)/(-2))?
True
Let o(y) = 54*y - 3*y + y**3 + 4*y - 11*y + 26*y**2 + 22*y - 50. Is 31 a factor of o(-22)?
True
Let z(l) = 179*l + 4717. Is 35 a factor of z(-11)?
False
Let x(m) = -m - 8. Let s be x(-6). Let k(j) = -148*j - 2. Let y be k(s). Suppose -2*h - 3*a = -y, -a + 468 + 110 = 4*h. Does 18 divide h?
True
Suppose -3*n - 3*r + 987 = 0, 2*r - 6*r - 8 = 0. Let l be (-97)/6*-6*(-4)/(-2). Let s = n - l. Is 26 a factor of s?
False
Suppose 4*x = -5*w + 4490, -932*x - 5 = -931*x. Let a = 1596 - 1021. Let h = w - a. Is h a multiple of 60?
False
Is 31 a factor of (-42)/(-945)*9 + (-278896)/(-10)?
False
Let k = 19 - 11. Let h be (-3 + 212/k)*-6. Let g = h + 251. Is 29 a factor of g?
False
Suppose -g = -k + 3330, 2*g - 13320 = -14*k + 10*k. Does 37 divide k?
True
Suppose 0 = 5*o + z - 88995, -o + 17790 = 9*z - 7*z. Is o a multiple of 178?
True
Suppose 4*q - 18 = -5*q. Let z(y) = 30 - 9*y - 2*y**2 - q*y + 3*y**2. Is 21 a factor of z(15)?
False
Let j(v) = -v**2 - 84*v + 173. Let r(s) = -21*s + 43. Let w(z) = -2*j(z) + 9*r(z). Is w(12) a multiple of 11?
True
Let i(t) = t**3 - 27*t**2 - 2*t + 58. Let y be i(27). Suppose y*h + o - 2124 = 0, -4*h - 4*o + 80