se -7*c = -2*c - 20. Let v = c - 23. Is v/(-1) + 3 + -2 a multiple of 4?
True
Let b = 94 + 73. Let f = 137 + -135. Suppose -2 = -f*y, -b = -3*z - 0*y - 5*y. Does 9 divide z?
True
Let h = -816 - -372. Let g = -220 - h. Does 28 divide g?
True
Suppose t + 36 + 24 = 0. Let c = -22 - t. Is c a multiple of 19?
True
Let f be 169 + (0/1)/(-3). Let h be 35/14 + (-426)/(-4). Let t = f - h. Is t a multiple of 16?
False
Suppose -4*o - 81 = -6973. Is 59 a factor of o?
False
Let c(b) = 6*b + 15 + b - 6*b. Let d be c(-11). Suppose a + d*a = 260. Does 13 divide a?
True
Is 0 - (-10 + -418) - 8 a multiple of 84?
True
Is 44 a factor of 3/((-4 - 11110/(-1388)) + -4)?
False
Let i(a) = 17*a**2 + 4 - 2*a + 18*a**2 - 29*a**2 + 4*a. Is i(2) a multiple of 32?
True
Suppose 0 = -3*w + 16*w - 3744. Let r = -201 + w. Is r a multiple of 29?
True
Suppose -5*i + 2*p + 27435 = 0, -4*i - 15*p = -18*p - 21941. Is i a multiple of 28?
False
Suppose 11 - 1 = 2*t. Suppose -36 = 7*b - 25*b. Suppose -t*z + 80 = 4*q, -2*z + b*q + 14 = -0*z. Is 4 a factor of z?
True
Suppose -4*s = -3*h + 16, -s - 2*s = 4*h - 13. Suppose c - h*c = -156. Is 26 a factor of c?
True
Let f = -135 - -278. Suppose -2*c + 105 = -f. Suppose -5*w + c = -11. Is 9 a factor of w?
True
Let d be 1 - 1 - 1680/14. Let t = d - -172. Is t a multiple of 26?
True
Suppose -14 = 7*f - 0. Is f - (-3)/(-3) - -84 a multiple of 8?
False
Let l = 38 - 7. Does 3 divide l?
False
Let z = 1038 - 180. Does 11 divide z?
True
Suppose 0 = b - 6*b. Suppose 5*s + 42 - 122 = b. Is s a multiple of 16?
True
Does 6 divide 5*(-3 + -7 + 23)?
False
Suppose 3*d + 147 + 177 = 2*f, -3*d + f = 321. Let n = -90 - d. Is 4 a factor of n?
True
Suppose -4*s - 11 = 49. Is 18 a factor of ((-12)/10)/(1/s)?
True
Suppose 3*s + 4*r = -r + 22, -2*r = -3*s + 50. Suppose -18*m + s*m + 348 = 0. Does 23 divide m?
False
Let f = -10 - -9. Does 12 divide f/(10/(-1085)) + (-3)/6?
True
Let g(q) = 4*q - 6. Let v be g(-5). Suppose 3*b + 2*w + 30 = 0, 3*w - 7 = -0*b + 2*b. Let d = b - v. Does 18 divide d?
True
Does 92 divide (3016/65)/(14/805)?
True
Let m(v) = -v - 13. Let r be m(-15). Does 47 divide r*34/4*(14 + -9)?
False
Let s(r) be the third derivative of r**5/20 - 7*r**4/12 - r**3 + 27*r**2. Does 13 divide s(8)?
False
Let t = 9 - -2. Let f = t - 7. Suppose 93 + 59 = f*i. Is 9 a factor of i?
False
Let m = 2 + -2. Let h be ((-8)/(-5))/(2/(-20)). Let o = m - h. Is 8 a factor of o?
True
Suppose 4928 = 3408*j - 3397*j. Does 16 divide j?
True
Suppose 0 = 6*q - 10*q + 8. Suppose -q*s = -0*s - 114. Is 19 a factor of s?
True
Let b = 1160 - 632. Is 24 a factor of b?
True
Let c = -199 + 533. Suppose g + 2*t - c = -2*t, -t + 640 = 2*g. Is 40 a factor of g?
False
Let h = 38 + -7. Suppose 78 = t + 3*p - h, 5*t - 2*p - 562 = 0. Is t a multiple of 14?
True
Let j(x) be the second derivative of 3*x**4/4 + x**3/3 + 3*x**2/2 - 3*x. Let s be j(-3). Suppose -2*u = 2*c - s, 5*u = -5*c + 4*c + 43. Does 9 divide c?
False
Let v = -22 + 28. Suppose 2*w - 2*l - 66 = -v*l, -3*w = 3*l - 102. Does 7 divide w?
True
Let p(v) = -v**3 + 10*v**2 - 10*v + 2. Let b be 3/(-9)*-1*24. Is p(b) a multiple of 10?
True
Let f = -1072 + 1576. Does 8 divide f?
True
Let m(z) = -3*z**2 + 4*z. Let r be m(3). Is (-28)/(-210) + (-313)/r a multiple of 4?
False
Let o(m) = 72*m - 156. Is o(26) a multiple of 78?
True
Is 32 a factor of (-1449)/(-138)*(-384)/(-7)?
True
Let s(f) = -f**3 + 6*f**2 - 3*f - 2. Let v be s(5). Suppose v = 3*j - 118. Is 37 a factor of j?
False
Let a(m) = 18*m + 52. Let d(x) = -6*x - 17. Let f(k) = -4*a(k) - 11*d(k). Is 2 a factor of f(-6)?
False
Is 11/44 + (-20589)/(-12) a multiple of 13?
True
Let g be (-788)/(-14) + 4/(-14). Suppose 4*o = 16, -10*r - 5*o = -8*r - 26. Suppose 3*a - 92 = -5*x, r*x - a = -2*a + g. Is 9 a factor of x?
False
Suppose -q + 5*q = -5*m + 154, -2*q + 32 = m. Suppose -2*s - 2 = -3*s. Suppose -2*z = 5*t - m, 2*t - 42 = -0*z - s*z. Is z a multiple of 25?
True
Let z = 1013 - -175. Does 56 divide z?
False
Let l be 8/(-2)*15/(-12). Suppose -4*g - i - 8 = -23, -4*g = -l*i - 45. Suppose f + g*h - 53 = 2*h, -3*h = 2*f - 100. Does 11 divide f?
False
Suppose 5*w = 1784 - 24. Suppose -4*u = -3*y + 6*y - 18, -3*y = 2*u - 12. Suppose 0 = -5*r + 3*p + w, 2*p = -u*r + 7*r - 282. Does 16 divide r?
False
Suppose -11*f = -2635 - 4383. Is f a multiple of 22?
True
Let z = -447 + 792. Does 14 divide z?
False
Let d(o) = o**2 - 2*o - 4. Let z be d(4). Suppose 0 = -z*x + 3*x + 50. Is 10 a factor of x?
True
Let w(c) = 22*c**2 - 1. Let y(a) be the second derivative of -a**3/6 + 3*a**2 - 4*a. Let x be y(7). Is 7 a factor of w(x)?
True
Is 8/3*(-1 + 102/12) a multiple of 10?
True
Suppose 142 = i - 0*j + j, -i + 147 = 2*j. Suppose -5*l + 98 = -i. Is 6 a factor of l?
False
Suppose 0*t - 1836 = -2*t. Is t a multiple of 51?
True
Let l = 5 - -29. Let j = 38 - l. Is j a multiple of 4?
True
Suppose -30*t + 29*t - 5 = 0. Let u = t + 49. Is 9 a factor of u?
False
Let u(p) = -4*p - 8. Let v be u(-3). Does 8 divide (-4 + 5)/(v/352)?
True
Let d(o) = o**2 - 7*o + 3. Let t be d(7). Suppose -t*u - 17 = 25. Let f = u + 41. Is f a multiple of 10?
False
Suppose 14*l - 2560 = 10*l + 2*u, -5*u + 651 = l. Does 36 divide l?
False
Suppose -3*j + 30 = 3. Suppose j*x = 319 + 32. Is x a multiple of 13?
True
Let g = 129 + -56. Let c = -9 + g. Is 20 a factor of c?
False
Suppose -z - 2 = -8. Suppose -9*n + 6*n = -z. Suppose w - 3*c = -n*w + 99, -3*w + 87 = c. Is w a multiple of 15?
True
Let p = 674 - -83. Is 39 a factor of p?
False
Suppose 17*v - 9537 - 23613 = 0. Is 25 a factor of v?
True
Let p(g) = 4*g + 1. Let r be p(6). Let x(f) = -2*f**2 + 29*f - 18. Let i be x(14). Is 10 a factor of i/(-10) - (-415)/r?
False
Let b = 16 - 12. Suppose -p + 228 = -c, -3*c = -b*p - p + 1134. Suppose 0 = -5*f + p + 40. Is 21 a factor of f?
False
Let b(i) = 3*i**3 - 10*i**2 - i + 11. Let d be b(4). Let l = -28 + d. Is 10 a factor of l?
False
Is 85 a factor of (-23 - -53)*85/2?
True
Let k(a) = a**3 + 8*a**2 + 4*a + 2. Let n be k(-8). Let d(z) = -z**3 - 7*z**2 - 7*z - 6. Let o be d(-7). Let t = n + o. Is 10 a factor of t?
False
Let l(n) = 3*n**3 - 14*n**2 + 20*n - 160. Is 16 a factor of l(12)?
True
Suppose -5*g + w - 5*w + 230 = 0, 0 = w - 5. Let m = 140 - 120. Suppose f - g - m = 0. Is 14 a factor of f?
False
Suppose -13*y - 8459 = -16*y - o, 2*o + 8453 = 3*y. Is y a multiple of 13?
False
Let i = -62 + 106. Let d = 75 - i. Is d a multiple of 31?
True
Let n(f) = 5*f**3 + 2*f**2 - 2*f - 7. Let k be n(-3). Is (-2)/4*(0/2 + k) a multiple of 8?
False
Let n = 3548 + -2708. Is n a multiple of 12?
True
Let o(h) = -h**2 - 2*h + 17. Let i be o(-5). Suppose i*j = 4*j - 50. Does 7 divide j?
False
Suppose -12*b - 4*j = -7*b - 49, -31 = -3*b - 2*j. Let h(v) be the third derivative of -v**5/60 + 17*v**4/24 - 19*v**3/6 - 3*v**2. Is h(b) a multiple of 25?
False
Suppose 2 = w - 52. Let i be (57/38)/(9/12). Does 13 divide (-3)/(w/(-26) + i)?
True
Let v(d) = -2*d - 4 + 6*d**2 + 2*d + 3*d. Is 20 a factor of v(-4)?
True
Let t be (-4 - -6)*(3 - (-1)/(-2)). Does 4 divide (1/(-2))/(t*(-3)/270)?
False
Let d(f) = -f**2 + 9*f + 5. Let t be d(9). Suppose -5*g - 182 = -3*s, -s - 187 = t*g + s. Let w = -2 - g. Is 7 a factor of w?
True
Suppose 6*m - 648 = -0*m. Let a = -65 + m. Is 9 a factor of a?
False
Let n = -20 - -32. Suppose -6*a + n = -3*a. Suppose -3*t = -3*y - 69, 7 = t + 5*y - a. Is t a multiple of 10?
False
Let h = 95 - -1170. Is h a multiple of 54?
False
Let s(t) = t**2 + t - 6. Let x be s(-6). Let q = x - 33. Is 19 a factor of (19/(-3))/(1/q)?
True
Suppose -3*k + 2*u + 2073 = 0, 0 = k - 2*u - u - 698. Does 52 divide k?
False
Let y(u) = -4 + 1 + 6*u**2 - 9*u + 13*u + u**3. Let o be y(-5). Suppose 4*d = 2*g + 62, -2*d - 19 = o*g - 59. Is d a multiple of 7?
False
Let b = 995 - 396. Does 16 divide b?
False
Let n = 25 + -22. Suppose -132 = -s - n*s. Does 4 divide s?
False
Suppose l + 1 = 3*y - 6*y, 4*l + 5*y - 10 = 0. Suppose -a = -l*a + 256. Is a a multiple of 11?
False
Let h = 156 + -15. Does 25 divide h?
False
Suppose -255*d = -242*d - 4147. Is 11 a factor of d?
True
Is (60/(-50))/(1/(-130)) a multiple of 12?
True
Suppose -3 = -5*w - 48. Is 12 a factor of (40/(-15))/(2/w)?
True
Suppose 0 = 2*q - 3*n + 1003 - 3494, 5*q = 4*n + 6210. Is 14 a factor of q?
False
Let y(t) = t 