le of 6?
True
Let j(f) = -2*f**3 + 10 + 3*f**3 - 2*f + f - f**2. Let g be 3 + (-9 - (-13 - -7)). Is j(g) a multiple of 7?
False
Let f be 4 + 1/(-1) + 2. Let j(y) = -y + 5 + 3*y - 1. Does 7 divide j(f)?
True
Let h(d) be the third derivative of d**4/12 - d**3/3 - 6*d**2. Let k be h(5). Let i = k - -44. Does 13 divide i?
True
Let y(a) = 9 + 0*a - 5*a - 4 + 5. Is y(-9) a multiple of 11?
True
Suppose -10*u = -6*u - i - 4753, -2*i + 5951 = 5*u. Is 17 a factor of u?
False
Let b(j) = 7 - 3*j**2 - 5 - 3*j + 0*j**2 + j**3 + 8*j**2. Suppose 0 = -5*i - r - 30, 4 + 11 = -2*i - r. Is 8 a factor of b(i)?
False
Let w(o) = o**2 - 18*o + 9. Let q be w(18). Suppose q*l = 13*l - 160. Is l a multiple of 10?
True
Let b(h) = 81*h + 1. Let l(y) = 406*y + 4. Let q(f) = 16*b(f) - 3*l(f). Is q(2) a multiple of 40?
True
Let h(a) = -a**3 - a**2 - a - 11. Let d be (-3 - 5) + 3 + 1 + 0. Does 35 divide h(d)?
False
Suppose -1 = q - 0*q. Let u(y) = -34*y**3 - y**2 + 2*y + 2. Does 11 divide u(q)?
True
Let j(h) = -5*h + 6. Let q(a) = 9*a - 11. Let s(d) = -d**2 + 8*d - 3. Let f be s(7). Let n(k) = f*q(k) + 7*j(k). Does 3 divide n(5)?
True
Suppose 0 = -d + 5*m - 110, 0 = 2*m + 4. Let b be (4/10)/((-3)/d). Suppose c + 2*t = -t + b, 50 = 4*c - 2*t. Is c a multiple of 4?
False
Let v(p) = 692*p + 281. Is v(2) a multiple of 11?
False
Let c be (0 + -1)*4*(-1 + -12). Suppose c - 58 = -2*d. Is 3 a factor of d?
True
Let m be 4/(-1 - -1 - -2). Suppose 0 = c - 3*t - 4, -2*t = c + m*t - 4. Suppose 76 = c*p - b, 4*p + b - 23 - 45 = 0. Is p a multiple of 6?
True
Let x = 1551 - 563. Does 4 divide x?
True
Suppose 38 = -3*s - 0*o + 5*o, 3*o - 18 = s. Let k be 35 + s*8/(-12). Suppose -k + 287 = 4*b. Is 18 a factor of b?
False
Suppose 0 = 2*i - 3*c - 1682, -4*c - 12 = -c. Does 26 divide i?
False
Let c = -8 - -11. Suppose 7 = c*k - 2. Is 10 a factor of -2 + 22 + -1 + k?
False
Let n(h) = h**2 + 14*h + 34. Let t be n(-10). Let j(m) = -3*m - 14. Is j(t) even?
True
Let v(n) = -25*n**2 - n - 2. Let r(l) = 49*l**2 + 2*l + 3. Let t(y) = 3*r(y) + 5*v(y). Is t(1) a multiple of 6?
False
Let k(u) = -u**3 + 13*u**2 + 15*u + 18. Let o be k(14). Let g = 17 - o. Is (-1)/2*1350/g a multiple of 15?
True
Suppose i - 2*k + 15 = 0, 0 = -2*k + 7 - 1. Is 2 a factor of -26*(36/8)/i?
False
Suppose -6*l + 3*a = -11*l + 10215, l = -5*a + 2021. Is l a multiple of 62?
True
Let l(u) = -u - 5. Let m be l(-2). Does 9 divide m/(-9) - 538/(-6)?
True
Is 6 a factor of (6 - 6/(-2))*88/6?
True
Let q(i) = -19*i + 9*i - 12*i - 30. Does 16 divide q(-4)?
False
Let t(y) = y**2 + 3*y + 12. Suppose -86 = -u - u. Suppose 5*z - 3 = -u. Is t(z) a multiple of 29?
False
Let m(k) = k**2 - 14*k + 9. Is 10 a factor of m(-13)?
True
Let d be (-15)/3 + -8 + 5. Is 9 a factor of 1/2 + (-108)/d?
False
Suppose 0 = 7*w - 8*w - 2. Let j(a) = 19*a**2 + a - 1. Let t be j(w). Let u = 105 - t. Is 8 a factor of u?
True
Let g(s) = -s - 6. Let x be g(6). Let o(d) = -d**3 - 14*d**2 - 28*d + 8. Is o(x) a multiple of 14?
True
Let t(a) = 4*a**2 + 57*a + 22. Is t(-20) a multiple of 15?
False
Let t(l) = 0*l**2 - 1 + l**2 - l + 3 + 4*l**3. Let d be 416/195 + 1 + 68/(-60). Does 18 divide t(d)?
True
Let y(v) = 3*v + 29. Let q be y(-9). Suppose -358 = -q*o - 4*d, -4*o - 3*d + 731 = -0*o. Is o a multiple of 37?
True
Let d = -2013 + 3188. Is d a multiple of 126?
False
Let t = 224 + -100. Does 31 divide t?
True
Let k = 2403 - 911. Is k a multiple of 39?
False
Let w = 19 - -16. Suppose 15 = 2*p - w. Is p a multiple of 5?
True
Let d(x) be the second derivative of x**5/20 - x**4/12 - x**3/3 + 5*x**2 - 15*x. Is d(0) a multiple of 10?
True
Suppose 21*m - 17*m = 816. Suppose 2*c - 98 = -0*c + o, -4*c + m = 2*o. Does 25 divide c?
True
Let x(n) = 26*n - 313. Does 2 divide x(15)?
False
Let s(f) = 2*f**2 + 5*f + 4. Let o(n) = 5*n**2 + 15*n + 13. Let m(d) = -3*o(d) + 8*s(d). Is 2 a factor of m(-3)?
False
Let z = 5 + -5. Suppose z = 2*x + x - 6. Suppose 0 = 4*v + 3*d - 93, v - 5*d = -x*v + 48. Is v a multiple of 7?
True
Let v(a) = -16*a - 62. Let b be (4 + 92/(-16))/((-2)/(-8)). Is v(b) a multiple of 25?
True
Is ((-233792)/728)/(2/(-7)) a multiple of 44?
False
Suppose -3*v = -4*y - 86, 3*y - 98 = -6*v + 2*v. Suppose -54 = v*s - 23*s. Is 0 + 3 - (s - -9) a multiple of 2?
True
Let b = 1470 + -838. Is b a multiple of 37?
False
Suppose -3*l = 17*z - 22*z - 1677, 5*z = -l + 559. Does 14 divide l?
False
Let b be (2 + -3 + 3 - 3)*5. Is 34 a factor of (-1 - -176) + (b - (5 - 7))?
False
Let c(m) = -5*m**2 - 13*m - 10. Let b(x) = 9*x**2 + 27*x + 20. Let y(i) = -4*b(i) - 7*c(i). Is y(-10) a multiple of 30?
True
Suppose w + 965 = 3*q - 1435, 2*w = q - 800. Is 8 a factor of q?
True
Let w(v) = -v + 11. Let k be w(9). Suppose -3*o + 226 = y - k*y, -4*y = -o + 57. Is 13 a factor of o?
False
Is 3*(-7)/21*(-39 - -3) a multiple of 11?
False
Suppose 4*n - 2*n + 32 = 2*m, -2*n = m - 13. Suppose -s + m = 4*g - g, 10 = 5*s + 2*g. Suppose 4*w = 2*r + 2*w, 4*w - 16 = s. Does 2 divide r?
True
Suppose -3*t + 0*t + 16 = -q, q = -4. Let h(v) = 2*v**2 - 7*v + 13. Is h(t) a multiple of 17?
True
Suppose 44 = -n + 6. Let v = -102 - -175. Let q = n + v. Does 27 divide q?
False
Let t(o) = 2*o**2 + 39*o - 45. Is 9 a factor of t(-21)?
True
Let u(p) = -p**3 - 28*p**2 + 66. Is u(-28) even?
True
Does 71 divide 110 - (-4)/12*(0 - 0)?
False
Let w(l) = -l**2 - 7*l + 8. Let s be w(-6). Suppose -b + s = 2*i - 4*i, -3*b = -5*i - 46. Does 13 divide b?
False
Let z = -287 - -315. Does 7 divide z?
True
Suppose 3*q - 3*p = 0, 12 + 0 = 5*q + p. Suppose 2*u - s - 36 = 3*s, 5*u = -q*s + 66. Suppose -u = -a + 24. Is a a multiple of 26?
False
Let g(z) = z**3 + 2*z**2 - 5*z - 17. Let j be g(-6). Let u = -106 - j. Does 9 divide u?
False
Let o = -3462 + 6122. Does 28 divide o?
True
Let w be 0 - -2 - (-3 + 5). Suppose w = 5*p + 4*g - 843, -p + 4*g + 180 = g. Is 27 a factor of p?
False
Let w(z) = z**3 + 18*z**2 + z + 18. Let b be w(-18). Suppose b*d = 2*d - 14. Is 7 a factor of d?
True
Let m be (-10)/(-35) - (-1788)/14. Suppose 4*z - m = 228. Is z a multiple of 13?
False
Suppose -6 = -2*b + 2. Suppose -3*t + 5 + 22 = -b*z, 4*t = -4*z + 8. Let w(v) = 2*v**2 - 4*v - 3. Is 9 a factor of w(t)?
True
Let c(q) = 4*q**2 - 133*q + 196. Does 44 divide c(40)?
True
Let g = -4 + 6. Let j be 2*7 - (g + -1). Let m = j - 5. Is m a multiple of 4?
True
Let d(o) = 3*o**2 - o - 2. Let f be d(-2). Let n be (366/f)/(2/20). Suppose -n = q - 6*q. Is q a multiple of 18?
False
Let j be 10325/14*8/(-10). Does 12 divide (2/10)/((-2)/j)?
False
Let o = -2 + 1. Let b be ((-238)/(-35))/(o/(-5)). Suppose 0 = -0*l - l + b. Is l a multiple of 17?
True
Let k be 0/(10/(-15)*(-3)/(-2)). Suppose -74 = -2*q - k*q. Is 7 a factor of q?
False
Let x = 554 - 445. Is 17 a factor of x?
False
Let j = 2010 + -985. Is 15 a factor of j?
False
Let n be 710/((6/(-4))/(-3)). Suppose 4*w - 3*w + 2*j - 26 = 0, -5*w + 136 = 4*j. Is n/w - 8/(-28) a multiple of 16?
False
Let x(r) = -6 - 5 - 6*r - 2 + 1. Is x(-7) a multiple of 12?
False
Let c = 49 - 87. Let j = c + 57. Is j a multiple of 19?
True
Let q(i) = 2*i**2 - 2*i - 2. Let n = -17 + 19. Let t be q(n). Suppose -t*d - 4*v - v + 27 = 0, 3*v - 33 = -2*d. Does 21 divide d?
True
Suppose -336 = 4*w + 3*w. Let y = w - -92. Is y a multiple of 12?
False
Let m = 15 + -24. Let p = m - -14. Is p a multiple of 2?
False
Let a(h) = 5*h**3 + h**2 - 2*h + 1. Let k be a(1). Suppose 3*l - 274 + 38 = -5*i, -k*i + 242 = l. Suppose -63 = -4*s + i. Is 15 a factor of s?
False
Is 18 a factor of (6/9)/(-4 + (-10136)/(-2532))?
False
Let w = -114 + 415. Suppose -4*f + u + 297 = -0*u, -4*f = -5*u - w. Is f a multiple of 16?
False
Suppose 8*s = 9*s + 2*j - 449, 0 = -5*j - 10. Is 4 a factor of s?
False
Suppose -3*x - 15 = 4*i, 9 + 4 = -5*i + 2*x. Is 4*i/(-20)*55 a multiple of 11?
True
Suppose -5*b - l + 13 = 3*l, 2*b - 4 = -2*l. Suppose -b*v = 0, 4*v + 55 = x - 39. Does 27 divide x?
False
Let z(j) = -j**3 - 17*j**2 - 18*j - 120. Is z(-18) a multiple of 4?
True
Let o be -10*226/4 - -3. Let g = -355 - o. Does 27 divide g/(-2)*(-6)/9?
False
Suppose 0 = 3*v - 2*y - 448, -2*v - 2*y + 588 = 2*v. Is 13 a factor of v/16*4 - (-1 - 1)?
True
Let g = 27 - 27. Suppose 0*c - 6*c + 216 = g. Does 12 divide c?
True
Let g(w) = -2*w**2 - 7*w + 6. Let m be g(-6). Let l = 69 + -18. Let v = l + m. Does