ide t?
False
Suppose -19*l - 5330 = -29*l. Is l a multiple of 41?
True
Let a(q) be the third derivative of 1/60*q**5 + 2*q**2 + 7/30*q**6 + 0*q**4 + 0*q + 0 - 1/6*q**3. Is a(1) a multiple of 11?
False
Suppose -7*b = -5*b + 5*v - 67, 124 = 5*b - 2*v. Is b even?
True
Let q(v) = 4*v**3 - 2*v**2 + 3*v - 9. Let k be q(3). Suppose -17*p + k = -12*p. Is p a multiple of 4?
False
Let z = 38 - 21. Let r = -14 + z. Is (6/(-4))/r*-80 a multiple of 14?
False
Suppose 18 = 5*i + 3. Let z be -2 - 1*(26 + i). Is 11 a factor of (-1 + z/2)*-2?
True
Suppose -361 = 5*w - 2881. Is w a multiple of 12?
True
Let t = 13 + -30. Let j = t - -20. Suppose -j*y + 54 = -0*y. Is y a multiple of 3?
True
Let g = 118 + 58. Is 16 a factor of g?
True
Suppose -4*r = -2*r + 92. Let k = -19 - r. Does 4 divide k?
False
Suppose -2*r + 1159 = -3*i, -5*r + 8*i - 12*i = -2955. Is r a multiple of 8?
False
Let r(s) = -21*s + 133. Does 19 divide r(-8)?
False
Let i(z) = -z**3 + 29*z**2 - 33*z - 40. Let o be i(28). Let b = -126 - o. Is b a multiple of 6?
True
Let v(i) be the first derivative of 5*i**2/2 - 19*i + 4. Suppose 3*f - 1 = 29. Is v(f) a multiple of 6?
False
Let z(f) = f**2 - 4*f - 4. Suppose 12 + 6 = -3*w. Let t(q) = -q**2 - 4*q + 8. Let p be t(w). Does 13 divide z(p)?
False
Let b(s) = -17*s + 25. Let i be b(-17). Let x = 594 - i. Is x a multiple of 28?
True
Let r = 191 - 184. Is 7 a factor of r?
True
Suppose 3*u - 27 = -3*a, 0*a = a. Suppose 2*y - 3 = -3*r + u, r - 5*y = 4. Suppose r*t - 5*c = -7 + 54, -3*t + 3*c = -36. Is 11 a factor of t?
False
Suppose -f = -5*d + 29, 0*f - 11 = -3*d - f. Suppose -5*k + 4*l + 120 = 0, d*l = -3*k + 27 + 8. Is 3 a factor of k?
False
Suppose v = -v - 36. Let u be 29/9 + 4/v. Suppose u*s = 10 + 89. Is 11 a factor of s?
True
Let o = -9 + 11. Suppose 2*d - 88 = -o*d. Is d a multiple of 4?
False
Let w(g) = g**3 - 6*g**2 - 8*g + 3. Let o be w(7). Let t be o + 6 + -24 + 1. Does 12 divide (-6)/t - (-234)/14?
False
Let u(h) = -149*h - 772. Does 8 divide u(-17)?
False
Let l(i) = -1 - 2 + 3 - 2*i. Suppose 4*k + 3*z = -29, 0*z + 5 = 2*k - 5*z. Is l(k) a multiple of 3?
False
Suppose -7319 = 30*u - 35399. Is u a multiple of 76?
False
Let w(s) = 2*s**3 - 10*s**2 + 6*s + 1. Is w(8) a multiple of 23?
False
Let h be 3/((-3)/24*2). Is 19 a factor of -8*(123/h - -4)?
False
Let h(t) = -7*t + 2*t - 3*t + 22 + 7*t. Let g be h(13). Is 18 a factor of 10/(-20)*-12*g?
True
Let g = -37 + 41. Suppose -b - 152 = -3*l, -g*b = -3*l - 0*b + 158. Is 11 a factor of l?
False
Suppose -7*z + 97 = -6*z. Is z a multiple of 2?
False
Let i(j) = 11*j**2 + 24*j - 87. Is i(7) a multiple of 31?
True
Let f be 18/(3/1) - (-330)/22. Let h be (1 - 0)*6/2. Is 11 a factor of f + (1 - -3) - h?
True
Let m(g) = -g**2 + 5*g + 9. Let f(b) = b + 1. Let k(p) = -4*f(p) - m(p). Suppose 46 - 10 = 3*y. Is k(y) a multiple of 5?
False
Suppose -i = -3*d + 462, 2*d - d - 167 = -4*i. Suppose -4*o = -2*k + 3*k - 611, k - d = -o. Is o a multiple of 19?
True
Let w = 23 - 29. Let m(h) = -h**2 - 2*h - 12. Let s be m(w). Is 8 a factor of (5 - 1)/(s/(-162))?
False
Let b(v) = -v**2 - 7*v - 7. Let u be b(-2). Let k = 16 + u. Does 19 divide k?
True
Let n(h) = h**3 - 9*h**2 + 12*h + 1. Let b be n(9). Let l = b + 44. Is 33 a factor of l?
False
Suppose h = 2*o + 12, 0*h - 2*o = -5*h + 20. Suppose -5*x + 34 - 4 = -5*g, h*x - 13 = g. Is x a multiple of 2?
False
Let w(i) = i**3 + 4*i**2 + 2*i - 10. Let c be w(-6). Let b = -10 - c. Is b a multiple of 21?
True
Let j(v) = 3*v - 11. Let n(h) = h**2 - 9*h - 2. Let w be n(8). Let f be j(w). Let t = f + 84. Is 11 a factor of t?
False
Does 9 divide 14/217 + 164040/186?
True
Let j be (0 + -1)/(8 - 9). Does 13 divide (-7 + j)*(-3161)/174?
False
Let p(r) = r**2 - 12*r + 23. Let c(y) = 1. Let v(j) = 4*c(j) - p(j). Is 8 a factor of v(8)?
False
Let b = -5195 + 7595. Is b a multiple of 48?
True
Let f(r) = -r**2 - 15*r + 19. Let c be f(-12). Let a = 100 - c. Is a a multiple of 15?
True
Let f = -12 + 13. Suppose 5 = m + f. Suppose 3*p = m*d + 89, -139 = -5*p - 2*d + 4*d. Is p a multiple of 26?
False
Suppose 0 = 3*d - 2*d - 6. Suppose d*n - 205 = 443. Is n a multiple of 54?
True
Let w(f) be the third derivative of -f**6/60 - f**5/10 + f**4/3 - 3*f**2. Let b(j) be the second derivative of w(j). Is b(-5) a multiple of 12?
True
Suppose -6*v - 19 = 65. Let k = v + 25. Does 11 divide k?
True
Suppose 115*b - 122*b + 1638 = 0. Is b a multiple of 28?
False
Suppose -3*t - 39 = -30. Is 17 a factor of 134 + -3 + (-4)/3*t?
False
Let u(y) = -126*y + 12. Does 4 divide u(-1)?
False
Suppose -6*t + 83 = 461. Is (-2700)/t - 1/(-7) a multiple of 9?
False
Suppose 0 = -4*o + 2*n - 6, -3*n + 10 - 1 = 5*o. Let c(b) = -b**2 - 2*b + 24. Is c(o) a multiple of 3?
True
Let y(g) = -g**2 + g + 10. Let n be y(7). Let t be 15/4 + (-8)/n. Suppose 0 = -t*l + 14 + 154. Does 19 divide l?
False
Does 6 divide (-13746)/395*5/(-3)?
False
Suppose 0 = 4*c - i - 892, 2*i - 335 = -5*c + 793. Is 7 a factor of c?
True
Let y be 6 + -3 - (-64 + 1). Let i = y + -18. Is i a multiple of 8?
True
Suppose -1436 + 36 = -5*c. Is c a multiple of 10?
True
Let q be (3 + -6)*(-103)/3. Suppose 0 = 5*f - q - 107. Is f a multiple of 21?
True
Suppose -2*c + 118 = -34. Let n = -31 + c. Does 18 divide n?
False
Suppose -6*z + 60 = -2*z. Suppose -49*h = -40*h + 3690. Is h/z*3/(-2) a multiple of 16?
False
Let v = 1 - -5. Suppose 0*f + v = -2*f. Is 20 a factor of (-6)/(f*4/40)?
True
Suppose 13*d - 9*d - 12 = 0. Suppose d*j - 8*j + 415 = 0. Let f = -40 + j. Is 19 a factor of f?
False
Let z be 8/((-3)/((-27)/(-2))). Let f = 62 + z. Is 26 a factor of f?
True
Is (-174)/(-9)*(5 + 49) a multiple of 18?
True
Let a(s) = s**3 - 9*s**2 + 17*s - 1. Let i be a(10). Suppose -5*r + i = 3*x, 5*x = -2*r + 458 + 3. Is x a multiple of 9?
False
Let n = 15 - 15. Suppose n = s + 4 + 2. Is 335*(s/15)/(-2) a multiple of 17?
False
Let v = 13 + -17. Let n(h) = 6*h - 15. Let d(j) = 11*j - 30. Let b(s) = v*d(s) + 7*n(s). Is 3 a factor of b(0)?
True
Let f = 1042 + -589. Does 35 divide f?
False
Let j = -154 - -226. Is j a multiple of 8?
True
Suppose -16686 = -113*l + 104*l. Is 18 a factor of l?
True
Let o(v) = 3*v**2 + 3*v - 200. Let w(c) = 2*c**2 + 2*c - 133. Let n(u) = -5*o(u) + 7*w(u). Let z = -23 + 23. Does 14 divide n(z)?
False
Let p be -8*(2/6 - (-58)/(-12)). Suppose -p*h + 37*h = 106. Does 11 divide h?
False
Suppose 17*y + 169 - 15656 = 0. Is 90 a factor of y?
False
Let j(y) = y**3 + 7*y**2 + 2*y - 7. Let b(q) = -q**3 + 13*q**2 + 13*q + 8. Let r be b(14). Is 5 a factor of j(r)?
False
Suppose 10*v = 13*v - 477. Let g = v - 113. Suppose 0*a = -2*a + g. Is 3 a factor of a?
False
Let u = 5 + -4. Let g be u/(-3) - (-145)/(-15). Let c = 0 - g. Does 5 divide c?
True
Let u(j) = -j**2 - 18*j - 18. Let k be (-13)/1 + (-2)/(-4)*-4. Is u(k) a multiple of 27?
True
Let t(l) = -22*l**2 + 9*l + 8. Let a(j) = -23*j**2 + 8*j + 7. Let w(z) = -5*a(z) + 4*t(z). Suppose -6*v - 8 = -2*v. Is 26 a factor of w(v)?
False
Let b = 19 + -16. Suppose 70 = 3*n + k, b*n + 5*k = 109 - 23. Is 4 a factor of n?
False
Suppose 6*u - 8*u + 10 = 0. Is 22 a factor of (-130)/(-6) - u/(-15)?
True
Let l(u) = 6*u**2 + 6*u - 16. Is 5 a factor of l(3)?
False
Suppose -3*f = 3, 4*i + 2*f = -2 - 60. Does 2 divide (-4)/10 + (-3 - 276/i)?
False
Does 24 divide 6*-6*(-286)/33?
True
Suppose 5*y - 10*y + 1402 = 4*w, 2*w = -4. Is 6 a factor of y?
True
Let o(v) = -2*v**3 - 19*v**2 + 2*v - 8. Let r(c) = -5*c**3 - 39*c**2 + 4*c - 16. Let q(z) = 7*o(z) - 3*r(z). Let h = -6 + 22. Does 12 divide q(h)?
True
Suppose 4*f + 5*m + 7 = 0, 3*m + 7 = -4*f - 2. Let c(j) be the third derivative of j**5/20 + j**4/12 - j**3/6 + 12*j**2. Is c(f) a multiple of 18?
False
Let z be 8/(-28) - (-16)/7. Suppose f + 8 = z*x, 3*x + 2*f = x + 8. Suppose 0 = 3*w - 4*o - 236, x*w = 3*w - o + 88. Is w a multiple of 14?
True
Let l(s) = -s**3 + 6*s**2 - 8*s + 2. Let a be l(4). Suppose -5*r + 795 = -5*k, 5*k - 493 = -a*r - r. Is r a multiple of 13?
False
Let j = 92 - 90. Suppose -3*l = -12, 5*r - j*l = l + 303. Is 5 a factor of r?
False
Let d = -28 - -27. Is (124/8)/(d/(-2)) a multiple of 26?
False
Let i(o) = -7*o**2 - 121*o - 19. Is i(-10) a multiple of 6?
False
Let y be (24/7)/((-7)/(-98)). Suppose 13*f - 9*f = y. Is 3 a factor of f?
True
Suppose c - 50 = 6*c. Let d(s) be t