u). Is a(-7) a multiple of 7?
False
Let t = 494 - 314. Suppose 0 = g - 6*g + t. Does 18 divide g?
True
Let i(g) = -g**3 - 23*g**2 - 14*g - 3. Is 29 a factor of i(-23)?
True
Let x = 107 + -105. Let j = -52 - -78. Let i = j - x. Is 6 a factor of i?
True
Let j(a) be the first derivative of -a**5/60 + 5*a**4/8 - 5*a**3/2 + 5*a**2/2 - 10. Let m(v) be the second derivative of j(v). Is 13 a factor of m(9)?
True
Let x(c) = -4*c**2 - 18*c + 8. Let o be x(-6). Does 37 divide (-21)/o - 2/(16/(-1402))?
False
Let f(i) = 16*i**2 - 93*i + 435. Does 5 divide f(5)?
True
Let y(r) be the third derivative of -r**4/8 + 7*r**3/2 + 10*r**2. Is y(-7) a multiple of 14?
True
Is 2 a factor of (-4)/(-8) + (-12)/16*-22?
False
Suppose 39 = -4*c + 7. Let y be ((-4)/(-6))/((-4)/(-102)). Let w = y + c. Is 9 a factor of w?
True
Let n = -27 + 303. Suppose 7*t - n - 39 = 0. Does 4 divide t?
False
Let d(u) = u - 1. Let q(h) = -13*h - 7. Let w(t) = 2*d(t) + q(t). Is 12 a factor of w(-5)?
False
Let o be 52 + 0 + 42/14. Suppose 4*i - o - 57 = 0. Does 8 divide i?
False
Let a = 559 - 263. Is a a multiple of 5?
False
Let w(u) = -u + 91. Does 58 divide w(31)?
False
Suppose 0 = 3*c + 3*h - 5625, 11*c = 9*c - 5*h + 3765. Does 10 divide c?
True
Let k = 624 - 449. Does 16 divide k?
False
Let k(f) = -f**2 - 8*f + 3. Let b be k(-8). Suppose 8*r = b*r, -5*m - r + 10 = 0. Suppose -4*g + 60 = u, -g + m*g = -4. Is u a multiple of 15?
False
Suppose -52*i + 12*i + 38000 = 0. Does 25 divide i?
True
Suppose -3*u + 3*i = -612, u - 195 = 10*i - 6*i. Is u a multiple of 11?
False
Let k(w) = w**3 + w**2 + w + 3. Let o be k(-2). Let v = -6 - o. Does 16 divide (-153)/v - 1/(-1)?
False
Does 3 divide (-7 - -220)*1/3?
False
Let n be (-5396)/(-8) - 12/(-8). Let w = -423 + n. Does 37 divide w?
False
Suppose -3*l + 8 - 2 = 0. Suppose 0 = -l*p - 0*p + 18. Suppose 2*b - p = -3. Is 2 a factor of b?
False
Let i(s) = 3*s**2 - 6*s + 5. Let d be i(3). Suppose -32 + d = -x. Does 18 divide x?
True
Let a(n) = n + 15 + 19 - 8. Let i be 4/8*-4 - -2. Does 13 divide a(i)?
True
Suppose 0 = 5*a + 4*x - 1196, -2*x = -4*a - 57 + 1019. Is a a multiple of 12?
True
Let y(f) = 35*f - 6. Let z = -57 + 60. Is 10 a factor of y(z)?
False
Suppose -655 = -3*p - 2*l, -4*l = -2*p - p + 625. Suppose 0 = 5*x - 2*d + 10 - 40, 4*d = 3*x - 32. Suppose -15 = x*j - p. Does 10 divide j?
True
Is 11 a factor of 96853/69 - 2/(-6)?
False
Suppose 5 = -z, -3*m - 3*z + 101 = m. Let o = 71 + m. Is 28 a factor of o?
False
Let y = 1224 - 896. Is y a multiple of 8?
True
Suppose 6*g - 182 = 196. Does 2 divide g?
False
Does 20 divide (5/1)/((-30)/(-15060))?
False
Let u(s) = 90*s**3 - 2*s**2 + 2*s. Let o be u(1). Let x = -52 + o. Is x a multiple of 10?
False
Let o(n) = 5*n - 6. Let b be o(5). Let i(z) = z**2 - 10*z - 21. Is i(b) a multiple of 43?
False
Let w(a) = a**2 + 3*a + 2. Let f be w(-2). Suppose f = 6*v - 5*v. Suppose -9 = -3*i - v. Is 2 a factor of i?
False
Let j = 196 - 89. Suppose -3*f = 5*b - 89, f - 4*b - j = -2*f. Does 2 divide f?
False
Let w(b) = -3*b**2 + 2*b - 4. Let d be w(7). Let g = 208 + d. Does 38 divide g?
False
Let y(c) = 349*c - 77. Is 23 a factor of y(2)?
True
Let t be 2/(6/(-3)) - -6. Suppose 0 = 2*v - 2*h - 8, t*h + 4 = -v - 4. Is v a multiple of 2?
True
Let k(n) = -n**3 + 1 - 2*n**2 + 10*n**2 - 5. Is k(7) a multiple of 17?
False
Let z(q) = 8*q - 1. Let t(w) be the first derivative of w**2/2 - 3. Let i(d) = 4*t(d) - z(d). Is i(-6) a multiple of 25?
True
Suppose 1264 = 39*a - 35*a. Suppose -4*b - 2*x + a = 0, -2*x + 6 = -5*x. Does 5 divide b?
True
Let h be (3/(-3) - 2) + 0 + -42. Let w = 74 + h. Is 25 a factor of w?
False
Let i(g) = 12 - 2*g**2 + 4*g**2 + 3*g - 25 + 11. Let d be i(-4). Is 13 a factor of (-90)/4*d/(-15)?
False
Let i(o) = -17*o - 55. Let y = -106 - -98. Is 27 a factor of i(y)?
True
Let u(z) be the third derivative of z**5/60 - z**4/8 - z**3/6 + 2*z**2. Let g be u(2). Is 6 a factor of -1 - g/((-6)/(-26))?
True
Let l be (-7 + 14 + -6)/(2/42). Suppose -40 = -f + l. Is f a multiple of 3?
False
Suppose 16*y - 4014 - 8274 = 0. Does 24 divide y?
True
Suppose 14*t - 558 = 12*t. Is t a multiple of 9?
True
Suppose 12511 = 45*x + 3871. Is x a multiple of 45?
False
Let u = 16 + -14. Let y(s) = -s**3 + 4*s**2 - 4*s + 2. Let q be y(u). Does 6 divide (19 + q)/1 - -2?
False
Let k = 2179 - 1454. Does 25 divide k?
True
Let o(q) = q**3 + 4*q**2 + q - 2. Let a be o(-3). Suppose -2*l = -16 - a. Is 363/15 - 2/l a multiple of 12?
True
Let y(f) be the second derivative of -f**5/20 + 7*f**4/12 + 2*f**3 - 2*f**2 + 16*f + 4. Suppose 4*d = 2*d + 16. Does 9 divide y(d)?
False
Let y = 1125 + -774. Does 40 divide y?
False
Let x(n) = -n**2 - 12*n + 11. Let b be x(-13). Let i(k) = -k + 5. Let o be i(b). Let u = o - -14. Is u a multiple of 7?
True
Suppose -4*i + 60 = 4*k - 40, 3*i - 5*k = 75. Does 6 divide i?
False
Let a(g) = 2*g**2 - 2*g**3 + 4*g + 16 - 22 + 0*g**2 + 14. Is a(-2) a multiple of 9?
False
Let r = 211 - 127. Let x(p) = -4*p**2 + p - 1. Let f be x(-3). Let k = f + r. Is k a multiple of 16?
False
Let s = -648 - -796. Does 4 divide s?
True
Let x be -4*-62*5/8. Let i = -34 + 49. Suppose -i = 5*b - x. Does 19 divide b?
False
Let a(j) be the third derivative of 4*j**5/3 - j**3/6 + j**2. Let g be a(-1). Suppose -g = -4*p + 65. Does 13 divide p?
False
Let g = -364 - -876. Is g a multiple of 11?
False
Let x(l) = -l - 29. Let n be x(-12). Let m = n + 13. Is 26 a factor of 8/m*-1 - -98?
False
Let q(k) = k**2 + 27*k + 67. Let i be q(-24). Is (-93 - -1)/(6/(i + 2)) a multiple of 7?
False
Suppose u + 48 = -5*b, 5*u + 0 = 10. Let o be ((-70)/15)/(1/3). Let r = b - o. Is r a multiple of 2?
True
Suppose 3*d + 12 = 3*g - 3, -4*d = -2*g + 2. Let v = g - 11. Let w(h) = 3*h**2 + 4*h + 3. Is 7 a factor of w(v)?
True
Suppose 5*y = 5*h - 90, -4*h + 72 = 3*y - 2*y. Let g(b) = -b**2 - 5*b + 4. Let m be g(-6). Let l = m + h. Does 16 divide l?
True
Let b = -46 + 48. Suppose 0*q + 270 = 3*q + b*r, 0 = 5*r. Is q a multiple of 30?
True
Suppose 0 = -r + 562 - 379. Is 17 a factor of r?
False
Suppose -3*h + 15 = 2*v, -5*v - 15 - 10 = -5*h. Suppose h*i + 1002 = 2*u, 1014 = 2*u - 0*u - 2*i. Suppose -10*l = -3*l - u. Does 9 divide l?
False
Let v(q) = 2*q - 7. Let g be v(6). Suppose 0*w - g*w = -50. Let r(x) = -x**3 + 12*x**2 - 15*x + 13. Does 37 divide r(w)?
False
Let o(w) = -w**3 - w**2 + 3*w - 1. Let g be o(2). Let i = -58 + 54. Let f = i - g. Is 2 a factor of f?
False
Let x = -330 - -1165. Does 13 divide x?
False
Let j(r) = -r**3 - 4*r**2 + 1. Let k be j(-4). Let p(m) = -3*m**2 + 46*m**2 - 5*m**2 + 15*m**2 - 2 + 3*m. Is 18 a factor of p(k)?
True
Suppose 0 = -3*g + 5*z + 40, z = -2*g + 8 - 3. Suppose l + 11 = 5*i - 10, -11 = -3*i + l. Suppose -17 = -h + 3*p, -g*h + 2*h + 47 = -i*p. Is 6 a factor of h?
False
Suppose 0*s - s - 2 = -3*w, 0 = -w - 2*s + 10. Is 8 a factor of -6 + 6 + 46/w?
False
Suppose -5*p + 943 + 17 = 0. Suppose 3*j - p - 84 = 3*a, -j + 108 = -5*a. Is 22 a factor of j?
True
Suppose -23*r = -2257 - 20. Does 33 divide r?
True
Let k be (-22)/(-44)*(1 - 727). Let m = -216 - k. Does 6 divide m?
False
Let j(v) = 28*v**2 - 22*v + 8. Does 4 divide j(4)?
True
Suppose -2*u = 7*u - 180. Suppose 0 = -5*t - 0*t - 4*f + 450, 4*f = -u. Does 6 divide t?
False
Suppose -r + 342 = -5*z, 4*z - 49 = -r + 284. Is r a multiple of 10?
False
Let u(x) = -x**3 + 8*x**2 + 10*x. Let p be u(9). Does 19 divide (-6)/p - (-865)/15?
True
Suppose 3*d - 312 = 2*d. Suppose -3*o = -d + 72. Is o a multiple of 9?
False
Let x = 20 + 583. Does 67 divide x?
True
Suppose 2*d - 6*q - 1438 = -10*q, 0 = -d + 2*q + 723. Is 18 a factor of d?
False
Let l = 99 + 279. Is l a multiple of 54?
True
Suppose -3*z = 13 - 1, -3*k + 147 = -3*z. Suppose -k = -3*s + 15. Is 5 a factor of s?
True
Suppose -162909 = -114*c + 33399. Is 97 a factor of c?
False
Suppose -2*t + 5*h + 0*h = 2, -5*t - 2*h + 24 = 0. Let q be (-14 - -9 - -7)/((-2)/(-4)). Does 8 divide 1/t - (-95)/q?
True
Suppose l + 60 = 3*l. Suppose -3*h - 5 = k, -3*h - l = -2*k + 5. Is k a multiple of 2?
True
Let o(s) = -52*s - 57. Is 7 a factor of o(-5)?
True
Let d(h) = 27*h**3 - 2*h**2 - h + 2. Let a be (8/(-6))/((-36)/27). Is 9 a factor of d(a)?
False
Let l(k) be the first derivative of 2*k**3/3 + k - 24. Does 11 divide l(4)?
True
Suppose -3*r - 32 + 101 = 0. 