ppose 57 = a + 7. Let c = -23 + a. Is 9 a factor of c?
True
Suppose -3*r - 6 = -6*r - 3*l, 8 = 4*r - 5*l. Suppose -5*p - 2*n + 3*n + 536 = 0, r*p - 220 = -n. Is 12 a factor of p?
True
Let b(d) = -2*d**3 - 9*d**2 - d - 10. Does 4 divide b(-5)?
True
Let v be 7/(-28) + (-778)/(-8). Let g = -10 + v. Is g a multiple of 15?
False
Let f(u) be the second derivative of 5*u**4/6 + 2*u**3/3 + 7*u**2/2 - 6*u. Let z be f(-3). Suppose -3*y + 0*j + z = 5*j, -4*j - 124 = -4*y. Does 30 divide y?
True
Let j(s) = -5*s - 26. Let z be j(-6). Suppose 84 = 4*r + z. Is 4 a factor of r?
True
Let n = -12 + 13. Let r be 3/(-9)*0/n. Suppose 0 = -2*v + 18 - r. Is v a multiple of 5?
False
Let r(y) = 2 - 1 - 3 + 2*y + 1. Suppose 9 = -3*j + 3*n, -j - 5 = -2*n + 3. Does 3 divide r(j)?
True
Suppose 11309 = -11*l + 1244. Is l/(-20) - (-3)/(-4) - -1 a multiple of 13?
False
Let a(n) = -5*n - 7*n + 15 - 4*n + 10*n. Does 20 divide a(-5)?
False
Let w = -333 - -575. Does 22 divide w?
True
Suppose 111*z - 383473 = 482771. Is z a multiple of 13?
False
Suppose -23*p + 13*p + 20320 = 0. Is p a multiple of 16?
True
Suppose 4*c = -5*t, -3*c + 4*c = -t. Suppose t*i = a - 2*i - 43, 3*a - 121 = -2*i. Does 3 divide a?
False
Let g = 2852 - 275. Is 94 a factor of g?
False
Let n(f) = 2*f**3 - 2*f**2 - 3*f - 6. Let b be n(6). Let p = -219 + b. Is p a multiple of 17?
False
Let g(j) = 26*j - 25*j + 0*j**2 + j**2 + 66. Does 20 divide g(0)?
False
Let z be ((-12)/(-15))/((-4)/410). Let i = -36 - z. Suppose -i = -3*j - 4*m, -2*j - m + 28 = -6. Does 9 divide j?
True
Let x = -10 + 14. Let b(o) = -3*o - 2 + 3*o - 1 - x*o. Is b(-10) a multiple of 18?
False
Is 37 a factor of (-2 + 43 + -4)*(6 - -5)?
True
Is 40 a factor of (18/(-8))/(0 - 9/1920)?
True
Suppose 0 = 2*j + 3*b - 13, -3*j - 2*j + 2*b + 4 = 0. Suppose 3*q + 5*o = -0*q + 446, -j*q = 2*o - 300. Does 28 divide q?
False
Let l(c) = c**3 + 2*c**2 + 2*c + 241. Let d = 67 - 67. Is l(d) a multiple of 18?
False
Let t = -28 - -44. Suppose 2*q + l - 13 = 2*l, 2*q - 4*l - t = 0. Suppose 5*v + q - 266 = 0. Is 13 a factor of v?
True
Let q(r) = -r**2 - 23*r + 83. Is q(-16) a multiple of 13?
True
Is 17 a factor of (-1426)/(-4) - (-48)/96?
True
Suppose 3*y - 5*f + 14 = -1, -4*y = 3*f - 9. Let u(i) = -i**3 - i**2 - 12. Let o be u(y). Let r = -1 - o. Is 11 a factor of r?
True
Let i(g) = -2*g - 2. Let x be i(-5). Suppose x*d = 3*d + 80. Is 16 a factor of d?
True
Let b = 8 + -18. Is 6 a factor of b + 14 + (-4)/(-1)?
False
Let t(q) = q**2 - 13. Let a be t(4). Suppose 55 + 49 = 4*m - 4*s, s = a*m - 74. Is m a multiple of 24?
True
Let y(k) = k**3 + 10*k**2 - 3*k + 3. Let g(w) = 2*w**3 + 11*w**2 - 3*w + 2. Let h(t) = 2*g(t) - 3*y(t). Is 8 a factor of h(8)?
False
Let d = 461 - 374. Does 5 divide d?
False
Suppose 3*o = 4*o - 2466. Is o a multiple of 16?
False
Let p = 15 - 9. Suppose p*x = x + 135. Suppose 5*b + 5*m = 105, -m + x = 2*b + 4*m. Is 16 a factor of b?
False
Suppose 0 = j - 6*j + 200. Suppose 4*s + v + 0 = j, 5*s - 4*v - 50 = 0. Suppose -5*n + 75 = s. Does 7 divide n?
False
Let r be 90/12*(-8)/(-10). Suppose -j = -r*j + 30. Is j/10 + (-210)/(-25) a multiple of 3?
True
Let s(h) be the second derivative of 7*h**4/12 - 13*h**3/6 - 9*h**2/2 + 32*h. Is 9 a factor of s(6)?
False
Let i(p) = -p**3 + 15*p**2 - 11*p - 6. Let l(w) = 11*w - 8. Let n be l(2). Does 9 divide i(n)?
True
Let j(v) be the third derivative of -v**4/24 - v**3/2 + 4*v**2. Let i be j(-3). Suppose 4*u = -i*u + 136. Does 11 divide u?
False
Let v(s) = 19*s**2 + 12*s**2 + 8 - 7*s**2 - s**3 - 16*s. Is v(23) a multiple of 13?
True
Suppose -2*f - 12 - 6 = 0. Is (-240)/f - 1/(-3) a multiple of 27?
True
Let w(o) = -o**3 + o**2 + 3*o - 5. Suppose -4*h - 2*k = -14, 4*h - 2*k - 8 - 2 = 0. Let g be w(h). Is 13 a factor of (g/28)/((-2)/116)?
False
Let y(i) = -4 + 7 - 3*i**2 - i**3 + 2*i + 4*i**2 - 7*i**2. Does 6 divide y(-7)?
False
Suppose -1152 = 7*i - 15*i. Is 12 a factor of i?
True
Suppose 4*h = -k - 2, -k + 0*h + 5*h = -7. Suppose q + q - 5*d - 65 = 0, q + k*d - 46 = 0. Does 4 divide q?
True
Suppose -u + 5*u = 4*j - 244, -5*j + 179 = -3*u. Is 5 a factor of (-6)/12 - u/6?
True
Suppose 5*r + 4*p - 434 = 0, 3*p = 4*r + p - 368. Suppose 3*u - r = 2*u. Is 5 a factor of u?
True
Let q(i) = -i**3 - 13*i**2 + 7*i - 16. Let h be q(-14). Let b = h - -3. Is 28 a factor of b?
False
Suppose -3*k + 39 = 9. Let s = 14 - k. Suppose -5*o = -r + 4*r - 228, 0 = -s*o - r + 188. Does 24 divide o?
True
Let l(r) = r**3 + 16*r**2 + 14*r - 3. Let k be l(-15). Suppose -8 = -2*h - x - 2*x, 3*h + 2*x = k. Suppose -h*f + 148 = -56. Does 17 divide f?
True
Let w = -8 + 10. Suppose -4*x = -8*x - w*y + 408, 5*x + 3*y - 508 = 0. Is (3/3)/(2/x) a multiple of 21?
False
Let o be -2 + ((-9)/(-3) - (30 - 0)). Let c = o - -272. Does 29 divide c?
False
Let u = -52 + 33. Suppose -5*l + 4 = -l. Let m = l - u. Does 4 divide m?
True
Let s(k) = -42*k**3 + 2*k**2 - 1. Let r be s(-1). Let m(p) = 2*p**2 + p + 7. Let g be m(-4). Let o = r - g. Does 4 divide o?
True
Let a be 4/4 - (-1)/1. Let d = a + -1. Suppose -q = -3 - d. Is 4 a factor of q?
True
Suppose -4*u + 107*p + 4354 = 109*p, -4*u = 5*p - 4351. Is u a multiple of 99?
True
Let g be ((-3)/4)/(-4 - 575/(-144)). Let d = g - 69. Is 39 a factor of d?
True
Let a be (3/(-12)*0)/3. Suppose 2*w + 53 = -0*g + 3*g, a = 4*g + 5*w - 109. Is g a multiple of 7?
True
Suppose 6*r = r + 400. Is 40 a factor of r?
True
Suppose -4*o = -5*z - 0*o + 2335, -443 = -z - 4*o. Is 14 a factor of z?
False
Suppose 5*i + 5*v - v = -41, -v - 8 = i. Is 9 a factor of 258/(-4)*6/i?
False
Let h(s) = 293*s - 9. Is 19 a factor of h(3)?
False
Let p(o) = -o**2 - 13*o - 14. Let b be p(-13). Is 9 a factor of (-102)/(-21)*b/(-2)?
False
Suppose 0 = -2*d - 1 + 9. Suppose 0 = 9*f - 5*f - 120. Suppose 0 = -0*n + d*n + 2*k - 54, -2*n + f = 2*k. Is n a multiple of 12?
True
Suppose -k = -0*k - 2. Suppose k*g = -2*g + 20. Suppose -h + 53 = 3*h + g*o, 4*o = -2*h + 28. Is h a multiple of 12?
True
Suppose 0*w = -4*w - 2*l + 992, -5*w + 1239 = 2*l. Does 19 divide w?
True
Let h(p) = 96*p - 269. Is 5 a factor of h(6)?
False
Suppose 3*t = 2*f - 1780 + 422, 2*t = 2*f - 1360. Is f a multiple of 18?
False
Suppose 0 = 4*g + 4, 5*s + 33 = g + 94. Let r be (24/10)/(s/210). Suppose -d + r - 15 = 0. Does 24 divide d?
False
Let n(c) = 4*c - 9. Let u be n(3). Suppose 0 = -u*z + 4*h - 1, 3*h = 5*z - 2. Does 6 divide (4 + -31)/(-1) + z?
False
Let q = 345 + -59. Does 13 divide q?
True
Let c(d) be the second derivative of d**6/360 - d**5/60 - d**4/4 + 7*d**3/6 - 2*d. Let y(n) be the second derivative of c(n). Is y(5) a multiple of 6?
False
Let q be (-68)/3*(5 - (8 - 6)). Let o = 66 - q. Is 14 a factor of o?
False
Let k = 15 + -12. Let z be k + -3 + (-4)/(-2). Suppose -c + 2*d + 22 = 0, -z*d = -3*c - 0*c + 46. Does 8 divide c?
False
Let l = 578 - 453. Is 45 a factor of l?
False
Let i = 100 + -100. Suppose -3*o - 4*z + 369 = i, 3*o - 2*z = 180 + 171. Is o a multiple of 10?
False
Let w(x) be the first derivative of 1/2*x**2 + 6 + 14*x. Does 4 divide w(0)?
False
Suppose -t = -5*o + 16, -t + 2*t - o = 0. Suppose 5*q = t*q + 108. Does 24 divide q?
False
Let m be -1 - (8 + -4 - 7). Let h be (m - (-1)/(-1))*3. Suppose -h*a + 12 = 0, -4*a - a = -5*r + 420. Does 18 divide r?
False
Let t(f) = 9*f + 1. Let i be t(-1). Let l be (1 + -10)*(-5)/(-15). Let m = l - i. Does 2 divide m?
False
Let x = -527 + 375. Let t = x + 220. Is 17 a factor of t?
True
Suppose 2 = 3*n - 2*n. Suppose -n*f + 45 + 77 = 0. Suppose 0 = -5*t + f + 109. Is t a multiple of 8?
False
Let p = 31 + -39. Let j = p - -30. Does 22 divide j?
True
Let x(m) = -3*m**3 - 2*m**2 + 4. Is 41 a factor of x(-4)?
True
Let a(p) = p**3 - 4*p**2 - 5*p. Let c be a(5). Suppose 5 = -q, c*h + 547 = 2*h + 5*q. Is 50 a factor of h?
False
Let a(l) = -l**3 - 8*l**2 - 8*l - 16. Let w be a(-8). Suppose 2*q + 4*p = w + 280, 3*p + 510 = 3*q. Is q a multiple of 12?
True
Is (1/(-2))/(22/(-2288)) a multiple of 12?
False
Let o(b) = 10*b. Let k(i) = -i + 3. Let q be k(-4). Let n be o(q). Let y = n + -41. Is 12 a factor of y?
False
Let q(x) = -2*x - 22. Let r be q(-12). Is 23 a factor of 8 - -27 - 2/r?
False
Suppose -2*a = 4*j + 66, -5*a - 95 = -j + 6*j. Let v be (-3 - -2)*(1 + -5). Does 4 divide v/14 + (-122)/j?
False
Let j(b) = b**3 - 1. Let g(u) = 4*