Suppose 35 = -4*i + 5*i - z, -4*i + 135 = -3*z. Let n be (24/i)/((-1)/(-25)). Is 2 a factor of (-5)/n + 68/16?
True
Suppose -12*b = -8*b + 664. Let j = 238 + b. Does 36 divide j?
True
Let v(x) = 58*x - 3. Let l be v(3). Suppose -3*f + l = -2*r, 0*f - 230 = -4*f + 2*r. Is 14 a factor of f?
False
Suppose 0 = -6*a + 12. Suppose -2*d + 2*x + x + 17 = 0, 4*d + a*x = -6. Does 7 divide d*3/9*123?
False
Let y(o) = o**3 + o**2 - 2*o - 1110. Let h be y(0). Is 16 a factor of 2/(-3) - (-1)/((-18)/h)?
False
Let s be (-12 + -3)*(-66)/(-10). Let d = -35 - s. Is 11 a factor of d?
False
Suppose -4 - 8 = -3*t. Is (-1)/t + ((-388)/(-16) - 2) a multiple of 15?
False
Suppose -32*u = 30*u - 17360. Is u a multiple of 20?
True
Suppose 6*u - 50 = 136. Suppose 5*j - a = 85, 0 = -4*j + 2*j + a + u. Is j a multiple of 2?
True
Suppose 6*y + 38 = 98. Is y a multiple of 4?
False
Suppose 88 = -27*z + 38*z. Does 8 divide z?
True
Let g = -9 + 13. Let i be (-2)/(-2) + -12 + -1. Is 34/g - i/(-8) a multiple of 2?
False
Let r = -4219 + 6041. Is 25 a factor of r?
False
Let i(u) = 2*u**2 + 9*u + 2. Is i(-11) a multiple of 3?
False
Let i(r) = 16*r - 5. Let j(b) = -17*b + 5. Let n(a) = -2*i(a) - 3*j(a). Is 7 a factor of n(1)?
True
Suppose 0*i + 4*i - 4 = 4*h, 0 = 4*i + h - 9. Let z be i*48 - 44/11. Let q = -56 + z. Does 9 divide q?
True
Suppose -3*g = 5*u - 620, 46 = u + 5*g - 56. Suppose p - 2*b = -6, -p + 0*b + 3*b - 10 = 0. Suppose -16 = -p*k - n + u, -4*k = 3*n - 285. Does 24 divide k?
True
Suppose 5*h - 36 = -y, -8*y + 2*h + 207 = -3*y. Let u = -25 + y. Is 8 a factor of u?
True
Suppose 0 = -i + 5*s + 1489, s - 4499 = 168*i - 171*i. Is i a multiple of 11?
False
Suppose -g + 738 = 5*g. Let d = g + -68. Is 18 a factor of d?
False
Suppose 5*l - 3*c - 4048 = c, -l - c = -815. Does 28 divide l?
True
Is 26 a factor of (-4 - 44)/(-6)*143?
True
Suppose -5*d = -2*q - 5016, -1992 = -2*d - 29*q + 25*q. Is 42 a factor of d?
False
Suppose -y = 4*y - 5*d - 145, -2*y + 46 = 4*d. Let z = -19 + y. Suppose 18 = 3*l + 2*w, -z*w = -3*w. Does 2 divide l?
True
Suppose 20*l - 2051 - 1849 = 0. Suppose 405 = 5*c - l. Does 29 divide c?
False
Let y be (1/1)/((-3)/(-18)). Let z be (-1249)/9 + y/(-27). Let s = 211 + z. Is s a multiple of 32?
False
Let j(h) = 2*h**3 - h**2 - 2*h - 2. Let z be j(2). Let b(q) be the third derivative of q**4/4 + 2*q**3 + 2*q**2. Is 24 a factor of b(z)?
True
Let i = -126 + 151. Is 5 a factor of i?
True
Let c = -45 - -264. Suppose -7*b + 201 = -c. Does 20 divide b?
True
Let o = 606 + -411. Is o a multiple of 5?
True
Suppose 3 = 3*j, -3*j + 53 + 637 = c. Does 3 divide c?
True
Suppose -192 = -4*o + 868. Suppose 11*c - 16*c + o = 0. Does 4 divide c?
False
Let x(u) = 40*u + 4. Is 7 a factor of x(3)?
False
Let g(j) = -1622*j**3 + 5*j**2 + 3*j. Is 29 a factor of g(-1)?
True
Suppose -5*h = 19 + 6. Let l be ((-2)/h)/((-12)/(-180)). Let y = l - -3. Is y a multiple of 2?
False
Let l(x) = x**2 - 5*x + 16. Let s be l(9). Let d = -16 + s. Is d a multiple of 9?
True
Let q(i) = i**2 - 7*i + 7. Let p be q(6). Let x(a) = -2*a**3 - a**2 + 2*a - 1. Let k be x(p). Does 24 divide 1/(-1 - k) - -23?
True
Let i be 10/(-2)*(-68)/85. Suppose y = i*j + 129 + 11, 3*j + 100 = 2*y. Let m = 81 + j. Is m a multiple of 9?
True
Let i(l) = -l**2 - 6*l + 10. Let r be i(-7). Let h(m) = -3 - 4*m**2 - 1 + 9*m**3 - 5*m**3. Does 17 divide h(r)?
True
Suppose 414 = 5*t - 691. Suppose 0 = 5*c + 3*g - 323, 3*c - 4*g = g + t. Does 25 divide c?
False
Let r(s) = s**3 - 4*s**2 - 2*s + 1. Let z(j) = j - 1. Let h(b) = r(b) + 5*z(b). Suppose -4*d = 3*w - 31, 2*d + 4*w = -0*w + 28. Does 3 divide h(d)?
False
Let k(s) = -7*s - 13. Let g be k(-24). Suppose 2*n = -n + 3*a + 93, -4*a - g = -5*n. Does 7 divide n?
False
Let h(b) = -9*b**3 - 3*b**2 + 7*b + 14. Let f be h(-4). Suppose 368 = 7*i - f. Suppose -3*m + i = 4*m. Does 9 divide m?
True
Let w = -10 - -12. Suppose -3*s + 37 = -w*s. Let d = 57 - s. Is 14 a factor of d?
False
Let p(n) = -n**2 + 4*n - 5. Let z be p(2). Let v(c) = -c**3 - 2*c**2 + 1. Let d be v(z). Suppose d = -4*f + f + k + 26, 0 = -3*f + 5*k + 46. Is 3 a factor of f?
False
Let v(l) = 7*l - 22. Let m be v(3). Let z(y) = 38*y**2 + 2*y + 3. Is z(m) a multiple of 14?
False
Let u(l) = -l**3 + 12*l**2 - 7*l - 4. Let z be u(11). Let t = 192 - z. Is 19 a factor of t?
True
Suppose g - 3*g = -5*x + 683, -3*x = -g - 409. Let o = -33 + x. Suppose -3*k + o + 66 = 0. Is 8 a factor of k?
True
Suppose -3*p = -a + 4, -2*a + 0 = -2*p - 8. Suppose a*r - 14 = -6. Is (33 - (r + -1)) + -2 a multiple of 15?
True
Suppose -9*v + 4883 = -3874. Is v a multiple of 21?
False
Is (5 - 5 - -17)*22*2 a multiple of 44?
True
Suppose -2*y = -3*y + 5*r + 93, -397 = -4*y - 5*r. Is 3 a factor of y/16 + (-4)/32?
True
Let a(p) = 428*p**2 + 11*p - 2. Is 5 a factor of a(1)?
False
Let d(n) = 2*n**2 + 6. Let u be (-13)/4 + (-4)/(-16). Is 23 a factor of d(u)?
False
Let g(m) be the second derivative of m**5/20 - m**4/3 + 2*m**3/3 + 5*m. Let c be g(3). Suppose -c*x - 50 = -8*x. Does 10 divide x?
True
Suppose -3 = -i - 3*z, 5 - 2 = i - z. Let y = 47 + i. Does 24 divide y?
False
Let a(m) = -m**2 + 5*m + 8. Let r be a(6). Suppose 0 = -r*l - 2, f + 15 = 2*f + 2*l. Suppose -q - f = -2*u - 3, -u = 3*q - 14. Is 4 a factor of u?
True
Let s = -2 - -3. Let b be s/(1 - 11/12). Does 9 divide -18*6*(-3)/b?
True
Suppose -55 = -5*q + 40. Suppose 0*w - w = 2*p - 15, -5*w + 4*p + q = 0. Is w a multiple of 2?
False
Is (-157152)/480*10/(4/(-2)) a multiple of 49?
False
Suppose -4*d + 28 = -4*r, 5*r + d - 15 = -4*d. Is 8 a factor of r*((-80)/6 + 8/(-12))?
False
Let n(u) = 87*u**2 + 5*u + 3. Let l be n(-2). Suppose 4*v + 2*p - l = 69, -3*p = -v + 85. Is v a multiple of 20?
True
Let h(f) = f**2 - 11*f - 4. Let m be h(-13). Let y be 1/4 - (-75)/20. Suppose 4*q + 2*d - 4*d = m, -372 = -5*q - y*d. Is q a multiple of 25?
False
Suppose -1967 = -10*f + 1403. Is f a multiple of 9?
False
Let a(n) be the third derivative of 1/120*n**6 + 0 + 0*n + 5*n**2 - 1/3*n**3 + 7/60*n**5 + 1/6*n**4. Is a(-4) a multiple of 9?
False
Suppose 0 = -3*b + 2*b. Suppose -4*q + 8 + 0 = b. Suppose -q*p = -5*o + 8, 4 = 3*o - 4*p + 2*p. Is o even?
True
Let d(n) = n - 5. Let v be d(11). Suppose -10 - v = 2*s - z, -51 = 5*s + 3*z. Let i = 2 - s. Is 11 a factor of i?
True
Let x(k) = -k + 6. Let m be x(3). Does 6 divide 18*3 - m - -2?
False
Let w(k) = -k**2 - 11*k + 3. Suppose -22 = -2*u + 4*u. Let l be w(u). Suppose 16 = l*j - j. Is j a multiple of 2?
True
Let m = -16 + 20. Suppose -m*r + 46 = -3*r. Suppose o - r = 21. Is 17 a factor of o?
False
Does 7 divide 12/9*1/((-4)/(-1074))?
False
Let q = 560 + -330. Suppose -f = -4, 2*m + 3*f - q = 4*f. Suppose 3*i - m = -0*i. Does 13 divide i?
True
Suppose -z + x + 339 = 0, -13*z + 12*z + 5*x = -351. Does 14 divide z?
True
Suppose -12*i - 14155 + 60163 = 0. Does 71 divide i?
True
Let j = 5 - -29. Is 17 a factor of j?
True
Suppose -12*a + a = 11. Let w be ((-38)/(-4))/((-2)/4). Let z = a - w. Is 9 a factor of z?
True
Suppose -3*r + 5*h + 39 = -2*r, 0 = 3*r - 2*h - 117. Let a = r - 13. Is a a multiple of 8?
False
Let n = -261 - -181. Let a be n*(9/5 + -1). Does 19 divide (-1*(a - 1))/1?
False
Let a = -39 + 41. Suppose a*q + g - 166 = 15, 2*g = 2*q - 190. Is q a multiple of 11?
False
Suppose -b + 178 = 3*p, -7*p - 2*b = -2*p - 295. Suppose -4*d - 30 = -3*f, -p = -4*f + 5*d - 21. Is 10 a factor of f?
True
Suppose p = 6*p - 15. Is 25 a factor of ((-9)/2)/(p/(-20))?
False
Let a(j) be the second derivative of j**6/360 + j**5/30 - j**4/8 - 7*j**3/6 + 2*j. Let u(n) be the second derivative of a(n). Is 21 a factor of u(5)?
True
Let g(a) = 2*a**2 + 9*a + 38. Let f be g(-11). Suppose 9*o + 1 = f. Does 10 divide o?
True
Suppose 141*q = 140*q + 1168. Suppose q = 32*y - 28*y. Does 48 divide y?
False
Let f(y) = 51*y + 9. Let c = -5 + 8. Is f(c) a multiple of 44?
False
Let i(b) = 10*b**2 - 94*b + 19. Is i(13) a multiple of 49?
False
Suppose 3*o + w = 12, -o - 16 = -6*o - 3*w. Suppose o*d - 897 = -5*s + 608, -d + 4*s = -316. Is d a multiple of 24?
False
Let r = -1225 - -1466. Is 4 a factor of r?
False
Let x(n) = 35*n**2 + 8*n + 4. Does 26 divide x(4)?
False
Let z(o) = o**3 - 14*o**2 - 2*o + 784. Is z(0) a multiple of 16?
True
Suppose 10*u - 120 = -40. Is (2 + (-28)/u)*-74 a multiple of 7?
False
L