be y(3). Suppose -9*s = -1005 - b. Is s a multiple of 26?
False
Suppose 4*u - 8 = 3*t + 19, u + 3*t + 12 = 0. Suppose 0 = -0*q - u*q + 1473. Is 10 a factor of q?
False
Suppose -h - 3 = 2*q - 7, -q - 2*h = 1. Suppose q*x - 3*v - 44 = 2*x, 0 = 3*x - 4*v - 117. Does 2 divide x?
False
Let l(s) = -s - 12. Let o be l(-7). Let a be (o - (4 + -6)) + -1. Is a/(-7) + (-689)/(-7) a multiple of 11?
True
Let w(x) be the second derivative of -x**5/20 - 7*x**4/12 + 9*x**3 - 3*x**2 + 8*x - 5. Does 17 divide w(-12)?
False
Let g = 29 - 77. Let i be (226 - -6)*(-14)/28. Let v = g - i. Does 7 divide v?
False
Let c be ((-2)/2)/(1/25). Suppose 0 = -u - 2*o + 77, 2*o = -3*o - 20. Let a = u + c. Is a a multiple of 10?
True
Let q(u) = 19*u**3 - 9*u**2 + 27*u - 63. Does 110 divide q(12)?
False
Suppose 8*s - 11*s = -6. Suppose -7*u - 233 = -4*z - s*u, 4*z + 2*u - 226 = 0. Does 26 divide z?
False
Let q be 4/(((-8)/10)/((-6)/15)). Suppose -q*i - 10 = -6. Does 2 divide ((-7)/(-14))/(i/(-12))?
False
Suppose o - 54 = -3*c, 4*c + 7*o = 6*o + 71. Suppose 2*y - c*u = -13*u + 976, -2460 = -5*y + 5*u. Is 16 a factor of y?
True
Suppose -2*z = 3*n, -2*z - 3 = 5*n + 1. Suppose 4*h - 107 = 2*a + 131, 0 = z*h - 4*a - 176. Is 6 a factor of h?
True
Let g = -1161 + 25803. Does 61 divide g?
False
Let m be 21/(-14)*(-3 + 1). Suppose 10 = -5*i, m*y + 5*i - 69 - 134 = 0. Suppose -y - 9 = -4*a. Does 5 divide a?
True
Suppose w - 10 = -w, 0 = -4*v + w + 3399. Suppose -15 = -5*y, 6*y - v = -4*m + y. Is 14 a factor of m?
False
Suppose -23*u - 864 = -32*u. Let h be -2 + (5 - (2 - 4)). Suppose -5*r + u = -2*r + 3*f, h*r - 3*f = 120. Does 3 divide r?
True
Suppose 5*j - 5 = 0, 4*j - 1445 = -4*r - j. Let t(q) = -2*q**3 + 20*q**2 + 7*q + 115. Let w be t(11). Does 5 divide r/w*60/(-9)?
False
Let o(i) = 6*i**3 + 6*i**2 - 4*i - 1. Let l be o(1). Suppose -5*y + l*y = -10, 0 = f - 5*y - 915. Does 29 divide f?
False
Let l = 125 + 215. Suppose 32*c + l = 34*c. Is c a multiple of 4?
False
Let y(m) = 5*m - 55. Let r be y(11). Suppose r = -2*n + 117 + 291. Is n a multiple of 6?
True
Let m(y) = 6*y**2 - 22*y + 56. Let h be m(15). Let d = h + -621. Is 9 a factor of d?
False
Let a(i) = -2 - 2 + 6 + 30*i - 1. Let c be a(5). Suppose -20*w + 309 = -c. Is 12 a factor of w?
False
Suppose 7*q - 8 + 1 = 0. Is 12 a factor of (6 + 95/(-20))/(q/16)?
False
Let a(w) = -3*w + 55. Let f be a(-7). Suppose -f = -p - 32. Does 7 divide p?
False
Let a = -241 + 507. Let x = a + -110. Is 7 a factor of x?
False
Let a be (1/(-1) - 26/3)*3. Let i(u) = -8*u + 210. Does 34 divide i(a)?
True
Let y be 1/6 - 136/(-48). Suppose 3*b + y*a = 387, -5*b + 2*b + 422 = -4*a. Is 67 a factor of b?
True
Let h = 115310 - 65690. Is h a multiple of 121?
False
Suppose -4*a + 8 + 2 = -2*q, -5 = -q. Suppose -a*b + 3 = -8*b. Does 5 divide ((5 - b)*-4)/(0 - 1)?
False
Suppose 2*q + 3 = 2*b - 3*q, 4*b = 2*q + 14. Suppose 4*j + 2*o - 6 = 4*o, -b*j + o = -9. Suppose -j*n = n - 328. Does 41 divide n?
True
Let u(x) = -3*x**2 + x + 1. Let v be u(-1). Let c be 1/(-3) - (-95)/v. Let y = c + 139. Is 8 a factor of y?
False
Suppose s = -3*s - 5*h + 227, 5*s - 340 = 5*h. Suppose 2*u - 7 = s. Is 12 a factor of u?
False
Let s(j) = -j**3 + 9*j**2 - 8*j + 5. Let l be s(8). Suppose 4 = l*h - 11, 21 = 3*y + 5*h. Suppose 0*f + 69 = f + 3*n, 0 = y*f - 4*n - 168. Is 13 a factor of f?
True
Let w = -3453 + 4164. Does 22 divide w?
False
Let u(h) = 9*h**3 - 3*h**2 + 2. Let b be u(2). Suppose -64 = -7*t + b. Suppose -4*l + 4*o - 1 = -17, 5*l - t = 4*o. Is 2 a factor of l?
True
Suppose g = 6 - 3. Suppose -439 = -g*z + 152. Suppose 3*o - z = -4*d, 254 = -0*d + 5*d - 4*o. Does 10 divide d?
True
Let r = 51 + -51. Suppose -4*k + m + 29 = 0, -5*k + 55 = -r*k - 5*m. Suppose 2*q = 4*g + 170, -q + k*q - 4*g = 419. Does 16 divide q?
False
Let t = 59 + -56. Suppose 8 = -t*k + 23. Suppose 0 = -m + k + 4. Does 3 divide m?
True
Suppose -o + 92 - 22 = l, -304 = -4*o + 4*l. Suppose 3*p - o + 40 = 0. Is 12 a factor of (p - 10) + 2 + 23?
False
Suppose -26*n = -15*n + 10461. Let f = 1351 + n. Does 25 divide f?
True
Let n(x) = 226*x**2 + 4*x - 1. Let s be (55 + -56)/(1*-1). Is 25 a factor of n(s)?
False
Suppose -14*y + 12*y + 4386 = -4*p, -3*p + 3*y - 3285 = 0. Let g = 2070 + p. Is g a multiple of 12?
True
Suppose -5*i - 19 = -29. Let p(k) = -k**3 + 10*k**2 - 10*k + 12. Let j be p(9). Suppose -i*o - 171 = -5*y, -j*y = -0*o - 4*o - 111. Is 6 a factor of y?
False
Suppose n - 1 = 0, -6*n + 4*n = -y + 86. Let l = 32 - y. Let a = -20 - l. Does 9 divide a?
True
Let a be 3552/84 - 2/7. Suppose -6*g - a = -60. Suppose 3*b = 0, -5*m + 770 = g*b - 2*b. Is 13 a factor of m?
False
Suppose -m = 5*p - 49905, 0 = 5*m + 49*p - 51*p - 249660. Does 173 divide m?
False
Suppose -69083 + 469068 = 96*h - 216719. Does 88 divide h?
True
Let b = 146 + -329. Let s = b + 447. Does 66 divide s?
True
Is 40 a factor of (-2400)/(-72)*((-1111)/(-5) + -5)?
True
Let p be -1*(14/2)/(-1). Let o(w) = -w**3 + 15*w**2 - 3*w + 17. Let m(v) = -v**3 + 13*v**2 - 4*v + 18. Let d(y) = -4*m(y) + 3*o(y). Is 10 a factor of d(p)?
False
Suppose -21*q - 6 = -6. Does 9 divide (1 - (3 - q)) + 314?
False
Let j(f) = -2*f**3 - 60*f**2 - 323*f + 142. Is j(-43) a multiple of 10?
False
Let a = 550 - -1606. Does 22 divide a?
True
Let u = -2852 + 4636. Let z = u + -1109. Is 25 a factor of z?
True
Let z = -24929 - -41699. Is 30 a factor of z?
True
Suppose a = -p + 12634, -5*a + 63173 = 2*p - 0*p. Does 19 divide a?
True
Suppose -318*r + 116963 = -269*r. Is r a multiple of 13?
False
Let k(h) = 0*h + 10*h + 62 - 8*h + 82. Does 14 divide k(33)?
True
Suppose 39*s - 35*s + 8 = 0. Does 14 divide (-2468)/(-8) - s/(1 + -5)?
True
Let y(i) = -3*i**3 - 9*i**2 + 8*i + 3. Let x be y(-7). Suppose 3*k - x = 410. Is k a multiple of 48?
False
Suppose 4 = -3*n + 2*w - 3, 2*n = 5*w - 1. Let f be (n + 1)/(4/8) + 10. Suppose 225 = f*o + 45. Is 5 a factor of o?
True
Let p(a) be the second derivative of 7*a**5/10 - a**4/4 + 3*a**3/2 - 3*a**2/2 + a + 5. Is p(2) a multiple of 15?
False
Let m(v) = 12*v**2 + v + 2. Let l(t) = 13*t - 11. Let d be l(-4). Let n = d + 61. Is 24 a factor of m(n)?
True
Let a = -95 - -126. Suppose 781 = 5*r + 171. Let u = a + r. Is 17 a factor of u?
True
Let h = -3589 + 9452. Is 84 a factor of h?
False
Let n = 13133 + -5333. Does 8 divide n?
True
Let u = -7101 + 11615. Is u a multiple of 61?
True
Let o(b) = 34*b**2 + 111*b + 16. Is o(-8) a multiple of 31?
False
Let u = 94 + -49. Let q be 16/(-40) + 204/10. Suppose -2*x + 3*f = -2*f - u, 0 = 3*x + 2*f - q. Does 5 divide x?
True
Let k(t) = 6*t**2 + 4*t - 7. Suppose 2*i = -2*v - 8, 0 = -4*i - 7*v + 4*v - 14. Does 3 divide k(i)?
True
Let y(m) = 3*m + 15. Let j(v) = v**2 + 6*v + 12. Let q be j(-5). Let g be y(q). Suppose 0 = c + 16 - g. Does 2 divide c?
True
Suppose -10 = 5*i - 0. Let f(u) = -50*u**2 - 6*u - 1. Let b(x) = -51*x**2 - 5*x - 2. Let g(a) = -5*b(a) + 4*f(a). Does 30 divide g(i)?
False
Let z be 2/(-11) - (-16515)/(-99). Let g = -119 - z. Let l = 84 - g. Does 4 divide l?
True
Suppose 46*c - 24*c = -10516. Let w = c + 764. Is w a multiple of 13?
True
Let v(i) = 11*i - 8. Suppose 5*o - o - 32 = -4*b, -4*b = -2*o + 28. Let a be v(o). Suppose -3*u = w - u - a, 0 = -w + 2*u + 110. Is 20 a factor of w?
False
Let j = 688 + -693. Does 13 divide ((-765)/j)/(18/30)?
False
Suppose -2*j = 4*v - 35798, 4*j = 9*v + 84002 - 12287. Is j a multiple of 10?
False
Let f(b) be the first derivative of 3*b**4/4 - 13*b**3/3 + 9*b**2 + 21*b - 254. Is 11 a factor of f(8)?
True
Let r(o) = 11*o**2 - o - 116. Let l = 117 - 106. Is r(l) a multiple of 64?
False
Let k(a) = 15*a**2 - 7*a + 6. Suppose -d - 2*d - 3*n + 15 = 0, -5*n = d - 5. Let p be k(d). Suppose 26 = -5*u + p. Is 32 a factor of u?
True
Suppose -154 = -5*c - r, 2*c + 4*r = 2*r + 68. Let i = c - 19. Suppose -i*v = -15*v + 40. Is 10 a factor of v?
True
Suppose -2*r + 4 = 4*s, 3*s - 2*s + 9 = -3*r. Let o(j) = -3 - 31*j + 2 - 4*j**s + 5*j**3 - 11*j**2. Does 33 divide o(14)?
False
Suppose 0 = -4*d - 2*y + 30, 5 = -2*d + 7*d - 4*y. Let u be 92 + (-30)/d + 1. Suppose -616 = -u*r + 83*r. Is 12 a factor of r?
False
Let h(r) = -4*r**2 + r. Let n(w) = -30*w**2 + 4. Let u(q) = -3*h(q) - n(q). Let l = 3 - 4. Is u(l) a multiple of 9?
False
Let b = 4880 + 737. Does 41 divide b?
True
Let n = 