 Suppose -12 = -a - 2*a. Suppose -a*w = -3*w + 3. Is 15 a factor of h(w)?
True
Let m(r) = 6*r + 7. Let t be m(6). Suppose -x - t = -2*x - 5*l, -4*x + 5*l = -297. Is 16 a factor of x?
False
Suppose -6*l - 3*l = -927. Is l a multiple of 3?
False
Let a = 737 - -47. Suppose -a = -6*q - q. Is 12 a factor of q?
False
Let o be (-752)/(-144) + 4/(-18). Suppose o*i - 24 = 8*i. Is (-21)/(-14)*i/(-3) a multiple of 3?
False
Suppose -2*x + 362 = -2*d, -2*x + 143 = d - 204. Is 16 a factor of x?
True
Let l(f) = -2*f - 3. Let y be l(-2). Let t = 23 + y. Is t a multiple of 19?
False
Suppose 5*c + 31 = 3*r, -4*r - 3*c + 50 + 1 = 0. Is r a multiple of 4?
True
Let s be 2 + (-1)/1 - -10. Let c = 13 - s. Does 17 divide (68/12)/(c/6)?
True
Let u(s) = 8*s - 12. Let i(z) = -z**3 + 4*z**2 + 7*z - 1. Let r be i(5). Let n = r - 3. Is u(n) a multiple of 12?
True
Let n = 698 - 103. Is 85 a factor of n?
True
Suppose 3*u - 4*q = 2032, -403 = -4*u + 2*q + 2293. Is u a multiple of 8?
True
Let v(g) = -g**3 + 18*g**2 - 35*g - 9. Does 20 divide v(13)?
False
Let h be (4/16)/((-1)/(-4)). Let g = -1 - h. Let y = 2 - g. Is y a multiple of 2?
True
Is 15 a factor of (-8)/(-72)*50087 + 14/(-63)?
True
Let s(n) = -4*n - 18. Let o be 11/(0 + (-1 - -2)). Suppose 1 = -2*z - o. Is s(z) a multiple of 2?
True
Suppose 0 = p + 1 - 5. Let h be (-6 - -5)/((-1)/p). Suppose 4*v - a = 50, -3*v + h*a - 16 = -5*v. Does 12 divide v?
True
Suppose -7*o = 5*p - 6*o - 310, 2*o = 2*p - 136. Suppose 0 = -4*z + p + 217. Is z a multiple of 14?
True
Suppose 5*i - 310 = 3*v, -14 = -3*v + 1. Let d = i + -24. Is d a multiple of 35?
False
Is 68 a factor of 213744/144 + (-2)/6?
False
Let x = -4 - -18. Let s(q) = 13*q - 23*q + x*q + 7. Does 5 divide s(5)?
False
Let q(s) = -6*s - 1. Let r be q(-7). Let j = r - 29. Is (-8)/j + (-122)/(-3) a multiple of 8?
True
Let i be 2 + -2 - -4*1. Suppose -2*c - i = -80. Does 6 divide c?
False
Suppose 0 = 7*p + 16 + 26. Let q(s) = -18*s - 4. Let i(n) = n. Let y(v) = 12*i(v) + q(v). Does 11 divide y(p)?
False
Let h(p) = -95*p**3 - p**2 + p + 3. Is h(-1) a multiple of 12?
True
Suppose -3*a - v + 21 = 0, -6*a - 2*v = -a - 35. Suppose -a*j = -11*j. Suppose q - 4*q + 18 = j. Is 6 a factor of q?
True
Suppose -l + 226 = -22. Is 8 a factor of l?
True
Let p be 30 - (-2 + 1) - -3. Let f = 4 + p. Does 30 divide f?
False
Let d(k) = 9*k**3 - 2*k**2 + 2*k + 5. Let x be d(3). Let y be x/4 + 2 + -1. Does 10 divide (-4)/(112/y - 2)?
True
Suppose 0 = -6*k + 131 + 31. Is k a multiple of 7?
False
Suppose 0 = 3*s - 3, s - 3121 = -5*c + 2*c. Suppose 10*q = 2*q + c. Is 13 a factor of q?
True
Suppose 0 = -4*c - 4*w + 816, -w - 719 = -5*c + 301. Is c a multiple of 17?
True
Suppose f - a = 8, 2*f = 8*a - 3*a + 16. Let z be (11/(-2))/(f/464). Is z/22*(-1 - 1) a multiple of 17?
False
Suppose 7*k = k + 2196. Is 9 a factor of k?
False
Suppose 2*j - 2*m = 1244 - 256, -j + 2*m = -493. Does 55 divide j?
True
Let b(p) = p + 1. Let y(t) = -t**2 - 4*t + 9. Let s(k) = -2*b(k) + y(k). Suppose -5 = -2*m + 3*u, 5*m = -0*u - 5*u - 50. Does 12 divide s(m)?
True
Let p(z) = -z**2 - 6*z - 3. Let f be p(-5). Suppose -49 = f*g - 433. Suppose -g = -5*s + s. Is s a multiple of 24?
True
Suppose 4*f - 28 = -h, -22 = -3*f - 0*h - h. Is 5 a factor of f/6 - ((-37)/1 - 0)?
False
Let r(n) = 50*n - 282. Is r(23) a multiple of 28?
True
Let q(r) = -2*r**3 - 2*r**2 + 75*r - 62. Does 38 divide q(-10)?
True
Suppose 0 = -3*o - 3*v - 12, 4 = 4*v + 24. Is 801/12 - o - 6/(-24) a multiple of 23?
False
Let r = 97 - 88. Let h = -84 - -144. Suppose 6*b + h = r*b. Does 10 divide b?
True
Let y(v) = -2*v + 2. Let g be y(1). Let l = g - -5. Suppose 4*x = 57 - l. Is x a multiple of 9?
False
Let v = 96 + 615. Is 26 a factor of v?
False
Suppose 0 = r - 5*v + 31, 2*r = 2*v + v - 27. Let x = r - -6. Suppose -b = 3*b - 2*k - 76, x = 5*b - 3*k - 94. Is b a multiple of 10?
True
Let t(f) = 2*f**2 + 2. Let r be t(0). Is r/(-1 + 2) + 38 a multiple of 29?
False
Let x = -9 + 9. Suppose -4*r = -0*r + 5*k - 14, x = 3*k + 6. Suppose -2*d + 43 - r = 3*y, 2*y = -5*d + 76. Does 7 divide d?
True
Let m = -62 + 30. Let k be 1708/20 + 3/5. Let j = k + m. Does 18 divide j?
True
Let p = 1884 + -888. Let f = p + -626. Is f a multiple of 21?
False
Suppose 0*l + 4*l - 19744 = 0. Suppose 2*d = t + 3*t - l, 5*t - 6167 = d. Is 6/21 + t/21 a multiple of 16?
False
Let j = 367 + -251. Let o(i) = 2*i**2 - i + 2. Let y be o(-2). Is 26 a factor of j/(-1)*(-9)/y?
False
Let r(k) = 203*k**2 - 7*k - 28. Is 8 a factor of r(-2)?
False
Let y(t) = -t**2 + 65*t - 342. Does 13 divide y(20)?
False
Suppose 0 = 3*z - i - 115, 205 = 5*z - 4*i - i. Let b = 76 - z. Does 9 divide b?
False
Let c(b) = 7*b**2 + 3*b + 15. Let r be c(6). Let k = r - 168. Is 9 a factor of k?
True
Suppose -4*i = -2*u + 1 + 7, 0 = u - 2. Let m be 3 + i + 3 + -1. Suppose -m*y + 5*p = -60 + 4, y + 2*p = 14. Is 14 a factor of y?
True
Suppose -u = 2*u + 15, 5*i + 3*u = 10. Let w be 2/5 - (-348)/i. Suppose w = -2*o + 244. Is o a multiple of 29?
True
Suppose -137*a - 1464 = -140*a. Is 35 a factor of a?
False
Let s(f) = 9*f - 70. Is 6 a factor of s(13)?
False
Let a(n) = -3*n**3 + n**2 - n - 1. Let t be a(-1). Suppose t*q + 70 = -q. Let f = q + 29. Is 5 a factor of f?
True
Let b(n) be the second derivative of 3*n + 0 - 6*n**2 - 1/2*n**3. Does 9 divide b(-13)?
True
Suppose 18 + 11 = -y - 5*v, -4*y - 62 = 2*v. Let h be 4/(-6)*57/2. Let i = y - h. Is i even?
False
Let l = 931 - 507. Is l a multiple of 8?
True
Let s(r) = 3*r. Suppose -27 = -4*w + 2*w + 5*d, 0 = -5*w + d + 10. Let t be s(w). Suppose 2*c = t*c - 108. Is 24 a factor of c?
False
Let u(t) = -t**3 - 9*t**2 - 9*t - 4. Let a be u(-8). Suppose -a*j - 12 = -76. Let y = 23 - j. Is 7 a factor of y?
True
Let x = 662 + -394. Suppose 7*q - x = 3*q. Suppose 193 = 5*d - q. Does 26 divide d?
True
Let f be 20/(-3) + 12/18. Let w(b) = -b**3 - 6*b**2 + 1. Let r be w(f). Suppose -12 = -q - r. Is q a multiple of 11?
True
Let b(h) = 81*h. Let d = 7 + -13. Let r be b(d). Is r/(-24) - (-1)/(-4) a multiple of 9?
False
Suppose 4*f - 76 = 23*f. Does 29 divide f - -1*(-87)/(-1)*1?
False
Let n = -4 - -6. Suppose -n*c - 29 = -429. Is c a multiple of 25?
True
Let v = -388 + 477. Is 10 a factor of v?
False
Suppose -2*k - 2*v = -5*v + 13, 3*k + 29 = -5*v. Let x = k - -7. Let w(a) = -15*a + 2. Is w(x) a multiple of 17?
True
Suppose -2760 = 10*k - 14*k. Suppose -v - 2*v + k = 0. Is 10 a factor of v?
True
Is 54 a factor of ((-7344)/15)/2*15/(-3)?
False
Let i(z) = z**2 - 6*z - 33. Is i(-4) a multiple of 2?
False
Let r(q) = -23*q + 66. Is 23 a factor of r(-6)?
False
Suppose -q + 4291 = 2*n, 12 = 5*q - q. Does 19 divide n?
False
Let a = 239 + 481. Does 80 divide a?
True
Let s(x) = -2*x**3 + 20*x**2 + x - 6. Let b be s(10). Let l = -500 - -275. Does 2 divide 1/(l/(-55) - b)?
False
Let o(g) = 6*g**2 - 10*g + 17. Let l be o(4). Suppose 92 = 5*v - l. Is 6 a factor of v?
False
Let x = -1 + 5. Suppose 0 = -4*i + o + 7, 0 = x*i - 3*o + 4*o - 1. Is 14 a factor of 80 - (-4)/i*1?
True
Suppose 0 = 3*a - 6*a + 12. Suppose -3*j = j + 3*k - 212, 2*j - 128 = a*k. Is j a multiple of 28?
True
Let o = -20 - -196. Suppose -2*g + o = 5*u + 2*g, -4*u + 2*g = -146. Suppose -b + 0*f + 5*f = 12, f - u = -4*b. Is b even?
True
Suppose -3*u - n - 49 = 0, 5*u = 3*n - 19 - 44. Let r = 8 + u. Does 13 divide (-142)/r + 8/(-28)?
False
Let m = 38 - -3. Suppose -m - 9 = 2*x. Let c = 4 - x. Is c a multiple of 8?
False
Let q(i) = 18*i**3 + 4*i**2 + i - 3. Is 29 a factor of q(3)?
True
Let q be 21 + (-6)/2*1. Suppose 2*p = q*p - 96. Is p a multiple of 3?
True
Let h(q) = -q**3 + 13*q**2 + 15*q - 5. Let a be h(14). Let y = a - 12. Let v = y - -37. Is v a multiple of 11?
False
Let n(s) = 21*s**2 - 2*s - 1. Let d = 23 + -11. Suppose -d*j - 3 = -9*j. Does 15 divide n(j)?
False
Suppose 2*p = -x + 939, -x + 4710 = 4*x + 5*p. Suppose 46*g - 39*g = x. Is g a multiple of 26?
False
Let n = 7 - 4. Suppose n*w - 3 - 12 = 0. Suppose -2*r = -w*x - 62, 2*x - 7 + 39 = r. Is 8 a factor of r?
False
Let d(u) be the second derivative of 31*u**3/6 + 4*u**2 + 29*u. Is d(2) a multiple of 10?
True
Suppose -5*r - 2*z = -0*z, -3*r = -z. Suppose 2*m + 185 = 5*s + 5*m, -s + 4*m + 60 = r. Is s a multiple of 10?
True
Let y(p) = 3*p**2 - 14*p + 12. Let n be y(11). Let a = -157 + n. I