263 = -5*j. Is 32 a factor of i?
True
Let c = 14 + -21. Let s(w) = w**2 + 3*w + 16. Is s(c) a multiple of 18?
False
Is 28 a factor of 2/5 - 780476/(-410)?
True
Let v be 55/5 - 1/1. Let a be (v/(-4))/((-2)/292). Suppose a = 5*w - s, 4*w + s - 278 = -s. Does 19 divide w?
False
Let o be (259/(-35))/(2/(-70)). Suppose 3*p + 4*j - o = 192, 0 = -2*p + 3*j + 312. Is 17 a factor of p?
True
Let h(q) = 3*q**2 - 78*q + 15. Is h(26) a multiple of 5?
True
Suppose o = -o - 4, -m + 3*o = 0. Suppose 4*q = 5*u + 3*q + 23, -u = 4*q - 8. Is 25 a factor of (-150)/(-2)*u/m?
True
Let d(f) be the third derivative of -7*f**4/24 + 3*f**3/2 - 158*f**2. Suppose 4*t - 14 = -50. Does 18 divide d(t)?
True
Let v(k) be the first derivative of k**2/2 + 2*k + 18. Let s(a) = -a**3 + 6*a**2 - 4*a + 1. Let f be s(5). Is v(f) a multiple of 5?
False
Let s(n) = -4*n**2 - 2*n - 2. Suppose 3*m - 2*o + 9 = 0, -5*m - 3 - 11 = -3*o. Let t be s(m). Is 18 a factor of 236/16*-1*t?
False
Let q(o) = o**2 + 11*o + 14. Let v be q(-10). Suppose -2*t = -4*a - 2, -v*a - a - 4 = -2*t. Let r = 11 - a. Is r a multiple of 5?
False
Let q(i) be the second derivative of 5*i**3/6 + 2*i**2 + 9*i. Let c be (9 + 0)*1/1. Is 7 a factor of q(c)?
True
Let l = -94 + 128. Is l a multiple of 4?
False
Let c be (4/(-4) + 1)/(-2). Suppose c*p + 336 = 4*p. Is 10 a factor of p?
False
Let p = -3 - 8. Does 11 divide -5*p*15/25?
True
Let v = -6 - -23. Suppose x - v = -13. Suppose -22 + 70 = x*u. Does 12 divide u?
True
Let n = -57 - -113. Suppose -3*f - 4*z + 6*z = -n, -5*f + 106 = 3*z. Is 3 a factor of (-5)/f - 66/(-8)?
False
Suppose r + 0*r - 3*w = -9, 9 = r + 3*w. Suppose l - 5 = -3*t - 0*l, 2*t - l + 5 = r. Suppose -4*h + 90 + 106 = t. Is h a multiple of 15?
False
Let z = 1042 - 690. Does 11 divide z?
True
Suppose -2*y + 36*g + 1874 = 35*g, 5*y - 4*g = 4685. Is 20 a factor of y?
False
Let r be -1*6*(-1 + -14). Suppose -4*z - r = -6*z. Suppose 18 = m + j, 2*m - j + 0*j = z. Is 7 a factor of m?
True
Let z = 51 + -47. Suppose 0 = -y + z*y - 72. Is 12 a factor of y?
True
Let l(c) = c**2 - 3*c - 24. Let s be l(7). Suppose 4*x = -20, -s*a + 0*x - 3*x = -21. Is 9 a factor of a?
True
Let w be -2 - 6 - -1 - -4. Let h(y) = 9*y**2 + 3*y - 3. Is 10 a factor of h(w)?
False
Let y(l) = l**3 - 8*l**2 + 9*l - 12. Let c be y(7). Suppose -p - z + 290 = p, c*p - 290 = 5*z. Is 29 a factor of p?
True
Let t(p) = 3*p + 21 + 13 - 31. Let m(o) = -o + 1. Let g be m(-4). Is t(g) a multiple of 6?
True
Suppose 27 - 11 = 4*u. Suppose -400 = -4*o + 4*l, 0 = 3*o - o + u*l - 224. Does 13 divide o?
True
Let l be (-4)/3*15894/12. Does 59 divide 4/((-24)/l) - (-4)/6?
True
Suppose -35*i = -18865 - 6125. Does 42 divide i?
True
Suppose -13*q - 415 = -14*q - 5*g, 4*q - 1675 = -5*g. Is 42 a factor of q?
True
Suppose 5*d = -2*m + 422, d = 9*m - 10*m + 85. Does 4 divide d?
True
Let q = -2 - -11. Let c be ((-2)/(-6))/((-1)/q). Let i(z) = z**3 + 4*z**2 + 2*z + 2. Is 2 a factor of i(c)?
False
Let j(h) = -22*h - 9. Is 9 a factor of j(-9)?
True
Suppose -2 = o + 32. Let w be 4/(-6)*(-19 - o). Let i = 62 + w. Does 23 divide i?
False
Is ((4672/(-12))/(-2))/(4/6) a multiple of 7?
False
Let v(f) = -2*f**2 + 8*f - 1. Let y(o) = 2*o**2 - 7*o. Let k(r) = 4*v(r) + 5*y(r). Suppose 4*p + 6*p = 40. Does 5 divide k(p)?
False
Suppose -l - 6 = -8. Let g be ((-987)/l)/7*-4. Suppose g - 48 = 3*q. Is q a multiple of 25?
False
Suppose 5*m - s = 28, -4*m + m = -3*s - 24. Let i(g) = 4*g - 2*g**2 - g**3 + g**3 - g - m - g**3. Is i(-4) a multiple of 15?
True
Let q = -58 - -88. Is q a multiple of 2?
True
Let m = 214 - 127. Let g = m + -1. Suppose 5*l + g = 6*l. Does 27 divide l?
False
Let l(s) be the third derivative of s**6/120 + 13*s**5/60 + s**4/3 - 5*s**3/3 + 3*s**2. Is l(-11) a multiple of 12?
True
Suppose -5*k + 3*g = -3290, 4*k - 4*g - 2760 = -120. Is 5 a factor of k?
True
Let w(f) = 3*f**3 - 15*f**2 + 26. Let t(q) = q**3 - 5*q**2 + 9. Let i(n) = 17*t(n) - 6*w(n). Let v be ((-16)/6)/(4/(-6)). Is i(v) a multiple of 4?
False
Let k be 21 + (-2 - -3) + -1. Let u be (-8)/4 - (5 + -3). Let j = u + k. Is j a multiple of 13?
False
Let f(m) = m**3 - 3*m**2 - 4*m. Let n be f(4). Suppose n = -3*r - 2*p + 448, r = -p - p + 148. Is 32 a factor of r?
False
Suppose -2*h - 4*n - 54 = 0, -63 = 4*h + 5*n + 30. Suppose -4*q - 20 = 0, -22*z + 109 = -19*z + 4*q. Let i = z + h. Is i a multiple of 7?
False
Let h(p) = -p**2 - 2*p - 10. Let d be h(-5). Is 14 a factor of (((-4)/6)/(-2))/(d/(-3975))?
False
Let w = 26 - 25. Suppose -32 = -2*c + z + 3*z, 0 = -z + w. Is 18 a factor of c?
True
Let u(a) = -a**3 + 13*a**2 + 3*a + 3. Does 79 divide u(-7)?
False
Suppose -4*g = -2*b - 1586, -g - g + 2359 = -3*b. Does 8 divide (-4)/22 - b/11?
False
Suppose 16 = -4*o, 3*l + 4*o = -0*o - 43. Is (-534)/l + -5*8/(-60) a multiple of 10?
True
Let o = -926 + 1480. Is o a multiple of 20?
False
Let k = 511 - 194. Does 14 divide k?
False
Is (6540/24)/5*(-10)/(-1) a multiple of 5?
True
Suppose -468 = -3*b - b. Suppose -d - n - 33 = 32, 0 = 5*d - n + 301. Let l = d + b. Is 14 a factor of l?
True
Let f = -7 + 7. Suppose f = 5*k + 2*i - 394, 0*i = k + 5*i - 65. Is k a multiple of 16?
True
Let g be -12*(21/12 - 2). Let v(y) = -g*y + 3 - 3 - 24. Is 16 a factor of v(-16)?
False
Let y(x) = x**3 - 4*x**2 - 4*x + 7. Let i(z) = -4*z - 3. Let v be i(-2). Is 3 a factor of y(v)?
True
Let l(k) = 19*k**2 + k + 6. Does 36 divide l(3)?
True
Let a = 30 - 12. Let j = -16 + a. Is 2 a factor of (-11)/(j + (2 - 5))?
False
Let h = -97 - 13. Let k = -37 - h. Does 7 divide k?
False
Let z = 197 - 50. Is z a multiple of 21?
True
Suppose -i = 10*i - 924. Does 16 divide i?
False
Let u(w) = -11*w**2 - 3*w + 7. Let a(k) = k**2 - 1. Let o(p) = -2*a(p) - u(p). Let f be o(-5). Is 13 a factor of (f/(-25))/(2/(-10))?
False
Let o = -7 + 5. Does 13 divide (-177)/(-6) + (-1)/o?
False
Let s(n) = 7*n. Let i be s(1). Let r(z) = -z**3 + 8*z**2 - 3*z - 16. Is r(i) a multiple of 6?
True
Let m(q) = q**3 + q**2 - 41*q - 40. Does 46 divide m(13)?
False
Suppose 0 = -44*x + 37*x + 504. Suppose 3*h - x = 36. Is 9 a factor of h?
True
Let p = 215 - 12. Is 29 a factor of p?
True
Let w(y) = y - 4. Let j be w(6). Suppose 5*n - 378 = j*n. Suppose 4*p = -5*m - 42 + n, 3*m + 2*p = 50. Is m a multiple of 8?
True
Suppose 0 = 2*m + 4, -2*y + 213 = 2*m - 335. Does 14 divide y?
False
Let v(p) = p**2 + 8*p - 37. Let o(c) = -2*c + 21. Let s be o(18). Does 17 divide v(s)?
True
Let v be ((-54)/4)/(1/(-2)). Let o = v - 10. Is 6 a factor of o?
False
Let o(p) = -p**3 - 2*p**2 - 3*p - 3. Let h be o(-2). Let u(j) = -3*j**3 - 1 - j**2 - 2*j**h + 7*j**3 + 2*j. Does 12 divide u(3)?
False
Let h(o) = 14*o**2 - 9*o - 3. Let s(l) = -l - 1. Suppose 2*u - 2 + 0 = 0. Let k(i) = u*h(i) - 6*s(i). Is k(2) a multiple of 18?
False
Suppose 17*j = -4*j + 13650. Is j a multiple of 13?
True
Let t(a) = 2*a**2 + 4 - 6 + 14*a + 2. Is t(-9) a multiple of 9?
True
Suppose -4*s = -2*c - 140 - 78, 3*c = 5*s - 273. Is 5 a factor of s?
False
Suppose -6*n - 2*c = -3*n + 19, 0 = -4*n - 4*c - 20. Let l(a) = -a**3 - 10*a**2 - 10*a + 1. Does 10 divide l(n)?
True
Let b(u) = 3*u + 16. Let z(k) = 5*k + 33. Let p(l) = -7*b(l) + 4*z(l). Is p(7) a multiple of 13?
True
Suppose -20 = -4*x - 4*d, 6*d - d = 4*x - 56. Let m(v) = -1 + 2*v + v**3 + 8*v**2 + 6 - 4 - x. Is m(-7) a multiple of 5?
False
Suppose 0 = 3*z - 5*z. Suppose 2*l - 5*v - 41 = z, -2*l - 3*v - 7 + 40 = 0. Let r = 37 - l. Is 19 a factor of r?
True
Does 4 divide (-20416)/(-42) - (4 - (-656)/(-168))?
False
Suppose 5*z + 50 = 5*y, 5*z - 6*z - 6 = -2*y. Let w = 43 - z. Does 12 divide w?
False
Let h(r) = -r**3 + 14*r**2 - 12*r - 17. Let c be h(13). Let k be (-6)/((-484)/122 - c). Let v = k + 259. Is v a multiple of 19?
True
Let i be 5*(-4 + 3)/(-5). Let u be (i*-1)/(5/(-80)). Does 19 divide 19/((-1 - -5)/u)?
True
Suppose -2*o - 7*o - 108 = 0. Does 10 divide 1/2*-4 - o?
True
Let d = -64 + 95. Let z = -12 + d. Suppose 5*u = z + 101. Does 12 divide u?
True
Is 3 a factor of 1/(-2)*-294 - -3?
True
Suppose 0 = -13*x + 14*x + 76. Let r = 148 + x. Is 9 a factor of r?
True
Let o(f) = 0*f - 1 + 7 + 5*f. Is 18 a factor of o(10)?
False
Let y = 6 - 4. Suppose -y*g - 2*g + 20 = 0. Suppose 7*t = g*t + 38. Does 11 divide t?
False
Does 44 divide (1 - -4) + 5 + 4 + 418?
False
Suppose -k - 2*k = -15.