 -4 - 10. Let l = h + g. Is l a multiple of 5?
True
Let g(m) = 2*m + 291. Let j(f) = f**2 + f - 2. Let p be j(-2). Let a be g(p). Let z = a - 200. Does 23 divide z?
False
Let j(r) = 6*r - 48. Let s be j(6). Let q(a) = -a - 2. Does 4 divide q(s)?
False
Let c(t) = 8*t**2 - 8*t + 0*t + 12 - 5*t**2. Let q be c(6). Suppose 3*s - 3*n = q, -5*s + 4*n + 108 = 2*n. Is 10 a factor of s?
True
Let c(r) = 3*r + 10. Let q(z) = z**2 - 3*z - 3. Let m be q(5). Let g be c(m). Suppose -4*p + 197 = -g. Is p a multiple of 15?
False
Let b = 855 + 285. Is 19 a factor of b?
True
Suppose -x + 853 = -4*s, 0 = -x - 32*s + 30*s + 859. Is 14 a factor of x?
False
Suppose -158 = -4*d + 118. Let p = d + 80. Does 37 divide p?
False
Is ((-234)/(-5))/(208/5720) a multiple of 99?
True
Suppose 5*l = s + 3*s + 424, 3*s + 428 = 5*l. Does 44 divide l?
True
Let i = -36 + 96. Is 41 a factor of i?
False
Let c be (-18)/(-10)*55/33. Suppose 0 = -c*d + 12*d - 1161. Is d a multiple of 6?
False
Let l(m) = -m**3 - 4*m**2 - 4*m + 8. Let x = -2 - -6. Let f(k) = -k**3 - 5*k**2 - 5*k + 7. Let u(i) = x*f(i) - 3*l(i). Does 4 divide u(-7)?
False
Suppose -j + 265 + 58 = 5*k, k - 997 = -3*j. Is j a multiple of 24?
False
Suppose 5*m = 3*m + 278. Suppose 0*j = -5*j + 10, -3*u = 2*j - m. Is u a multiple of 15?
True
Let r(z) = -4*z - 17. Suppose -3 = -4*h - 43. Is 23 a factor of r(h)?
True
Let w = -1 + 1. Suppose -3*b - k = -0*k - 54, w = -b + 2*k + 18. Is 4 a factor of b?
False
Suppose 6*d = 1227 - 261. Is d a multiple of 5?
False
Let t(c) = 2*c**2 + c + 84. Let i = 23 + -12. Suppose -6*o + i*o = 0. Is t(o) a multiple of 23?
False
Let u = -12 - -13. Suppose 0 = -3*k + m + 241, m = 2*m + u. Does 9 divide 4/12 + k/3?
True
Suppose 0 = 3*o - 5*n - 5 + 97, n - 59 = 2*o. Let j be 49/(-1)*2/2. Let w = o - j. Is w a multiple of 10?
True
Let j = 848 + -650. Does 11 divide j?
True
Suppose 2*o = -10, -10*u + 3*o = -8*u - 789. Is u a multiple of 24?
False
Let r = 28 - 64. Does 16 divide (-710)/4*(1 - r/(-20))?
False
Let y be ((0 - 1) + 2)*131. Suppose 4*t - i - 41 = 56, y = 5*t + 2*i. Let l = t - 5. Does 20 divide l?
True
Suppose -5 = -2*b + 3. Suppose o + 4*y = -3*o + 16, 41 = b*o - y. Suppose o = 4*a - 2*x + 5, x = 3*a - 4. Is 2 a factor of a?
True
Suppose 5*k = -2*a + 1572, 0*a = k - a - 320. Is 5 a factor of k?
False
Let o(f) = f**2 + 5*f - 7. Let q be o(5). Let m = q - 31. Does 6 divide m?
True
Let o = 553 - 300. Suppose 6*q - o = 149. Does 9 divide q?
False
Let p(x) = -x**3 + 17*x**2 - 5*x - 48. Let l(f) = -f**3 + 17*f**2 - 6*f - 47. Let b(i) = 6*l(i) - 7*p(i). Does 2 divide b(17)?
False
Let c be 8/(-24) - (-10)/(-6). Let u be (-6 - -8)/(c/(-5)). Suppose 40 = -2*z - 3*t + 125, 3*z + u*t = 128. Is 18 a factor of z?
False
Let b(s) = 10*s**3 - 2*s**2 + 1. Let m(h) be the second derivative of h**4/12 + 5*h**3/2 + 15*h**2/2 + 2*h. Let g be m(-14). Is 4 a factor of b(g)?
False
Is (-43 - (2 + -1))/((-5)/10) even?
True
Let w(i) = -12*i - 1. Let l be w(-1). Let v = 13 - l. Let k = 7 - v. Does 5 divide k?
True
Let f(y) = -y**2 + 25*y + 34. Does 17 divide f(21)?
False
Let h = -26 + 28. Suppose -h*m + 3 = 3*m + z, -4*m + 12 = 4*z. Suppose 5*q + 4*x - 150 = -m*q, 2*q + x = 63. Is q a multiple of 34?
True
Suppose 5*q + 62*q - 380426 = 0. Does 17 divide q?
True
Let o = -474 + 2427. Is 51 a factor of o?
False
Let m(g) be the second derivative of g**5/20 + g**4/6 + g**3 - 3*g**2/2 + g. Let d(j) be the first derivative of m(j). Is 15 a factor of d(-5)?
False
Let n(c) = -3 - 2*c**3 + 6 - 4. Let u be n(-1). Does 21 divide 3*(u - 3 - -25)?
False
Let q = -9 + 11. Let c be (-546)/(q - 5) - 2. Is (c/6)/(4 - 2) a multiple of 14?
False
Suppose 2*i + 5 = 1. Let c(g) = -19*g**3 + 3*g + 7. Is c(i) a multiple of 17?
True
Suppose u - 28 = -2*y, 0*u + 5*y = 4*u - 112. Suppose 6*d - 5*d - u = 0. Is d a multiple of 7?
True
Suppose -18*a + 5225 = a. Does 13 divide a?
False
Suppose 0 = 2*o - 7*o + 50. Suppose 0 = 4*y - 2 - 2, 0 = 4*b + 4*y - 168. Is 5 a factor of 6/(-2) + (b - o)?
False
Let g(d) = -4*d + 30 - 23 - 11. Suppose 2*p = 2*r - 4, 4*p = 4*r - p - 13. Does 4 divide g(r)?
True
Let g = 512 + 47. Does 17 divide g?
False
Suppose -14*a - 724 = 648. Is (3/(-2))/(1/a) a multiple of 7?
True
Let p(t) = 2*t - 9. Let j be p(8). Suppose j*v = 39 + 542. Does 8 divide v?
False
Suppose 8*k + 25*k - 1188 = 0. Does 18 divide k?
True
Let k(c) = c**3 + 12*c**2 - 14*c - 11. Let o be k(-13). Suppose 0 = 2*l - 4*g - 1 - 3, -l + o = g. Is 2 a factor of l?
True
Let k be (3 + 21/(-6))*8. Let d(n) = 3*n**2 + 8*n - 4. Is 3 a factor of d(k)?
True
Let r be 6/((-3)/((-9)/6)). Suppose -r*d = -4*d + 74. Let w = -44 + d. Does 16 divide w?
False
Suppose -6*q + 3*w = -2*q - 14249, -5*q = -w - 17814. Does 16 divide q?
False
Let h be ((-7)/2 - -2)/((-3)/(-4)). Is 17 a factor of h - -1 - ((0 - 31) + -4)?
True
Suppose 6*h = h. Suppose 6*x = x + 25. Suppose x*g + 0*i = -2*i + 161, -2*i - 4 = h. Is g a multiple of 10?
False
Let f(y) = -289*y - 1236. Is f(-16) a multiple of 11?
True
Let w = 215 + -116. Suppose -3*n + 0*n + 89 = -s, 3*n - w = 3*s. Does 14 divide n?
True
Suppose 0 = 7*j - 68 + 5. Let t(x) = -x**3 + 11*x**2 - x + 12. Does 33 divide t(j)?
True
Suppose -62 = q + 5. Let p = 1 - q. Is p a multiple of 22?
False
Let h(d) = -d**3 + 9*d**2 - 9*d - 8. Let q be h(6). Does 10 divide q - (4/4 - 3)?
False
Suppose -w - 3*w + 60 = 0. Let y = w - 12. Suppose -y*h = -h - 80. Does 12 divide h?
False
Let v(r) = -16 - 39 - 35*r + 9*r. Is 22 a factor of v(-11)?
False
Suppose 6*y - 2*y - 4*b = 28, 0 = 4*y + 2*b + 2. Is (15/5)/(y/58) a multiple of 29?
True
Suppose -11 - 5 = -2*p - 2*m, 0 = 2*p + 4*m - 24. Is (-462)/(-4) - 2*1/p a multiple of 42?
False
Let j(l) = -3*l + 24. Let a be j(8). Suppose a = -k + v + 159, -5*k - v + 1071 = 258. Is k a multiple of 36?
False
Suppose -3*v - 4*a + 1457 = 0, -2*v + 5*a + 368 = -634. Is 52 a factor of v?
False
Let c = 14 + 370. Does 16 divide c?
True
Suppose -4*f + 0*f - 336 = -4*o, 0 = 5*o + 3*f - 420. Suppose 6*q - 3*q - 4*l = o, -5*q + 117 = l. Suppose 24 = 4*d - q. Does 3 divide d?
True
Suppose 0*a + a - 3*p + 5 = 0, 3*a + 3*p + 39 = 0. Let i(g) = g**3 + 12*g**2 + 8*g. Does 8 divide i(a)?
False
Let s(r) = r**3 - 29*r**2 + 193*r - 15. Is 14 a factor of s(25)?
True
Let f(i) = i**2 + 5*i - 7. Let n be f(5). Let q = n + -75. Let t = 55 + q. Does 13 divide t?
False
Let j(u) = -5*u**2 + 4*u + 11. Let d be j(-5). Let w = -48 - d. Is w a multiple of 15?
False
Suppose 694 = -5*k - 81. Does 3 divide (-18)/27 - k/3?
True
Let n be 2 + 1 + (-4 - -2). Let c be (n - 5)*2/(-2). Suppose -5 = -s + 4*g - 0, -s + c = -5*g. Is 3 a factor of s?
True
Let n = -129 + 87. Does 4 divide (2/(-1) - n)/2?
True
Let x(q) = -2*q. Let z be x(0). Let k be 0 - 1 - z - 0. Does 2 divide (6 - 1) + (-1)/k?
True
Let u(p) = -p**2 + 14*p + 8. Let w(h) = 3*h**2 + 7*h - 7. Let c be w(-4). Does 7 divide u(c)?
True
Let h be (-4 + 23)/((-2)/(-8)). Suppose 5*w + h = 4*w. Let u = 145 + w. Is u a multiple of 23?
True
Let g(i) = 1. Let w(u) = 5*u + 7. Let y(f) = -3*g(f) + w(f). Let r(c) = -c**2 + 5*c + 2. Let n be r(4). Does 10 divide y(n)?
False
Suppose 0 = -5*h - 2*o + 1652, 3*h + 2*o - 1094 + 106 = 0. Does 19 divide h?
False
Let g = 159 - 97. Suppose 2*i + 3*z - 41 = 0, -i + 3*i - 4*z = g. Is i a multiple of 24?
False
Let b = 28 + 251. Is 9 a factor of b?
True
Suppose 8*a = 3*a + 45. Let b(k) = -4*k - 54*k**2 + 46*k**2 - 7 + k**3 + 9 - 10. Does 29 divide b(a)?
False
Let w(x) = -x - 6. Let a be w(-5). Let l(o) = 239*o - 1. Let u be l(a). Let f = -159 - u. Does 27 divide f?
True
Let t = 502 - 74. Does 15 divide t?
False
Suppose -3*w + 4*d - 75 = 0, 0 = -4*w - 4*d - 20 - 52. Let r be 4/3*w/(-14). Is 22 + r*(-9)/6 a multiple of 12?
False
Let p(i) = i**3 - 6*i**2 - 14*i - 15. Let r be p(8). Let a(o) = 53*o**2 + 7*o - 7. Is a(r) a multiple of 9?
False
Let w(y) = -y**3 + 3. Let x be w(0). Suppose 4*k - 3*r - 1481 = 0, 2*k - 3*k + 374 = x*r. Suppose 5*u - k = -111. Is 26 a factor of u?
True
Let d be 14 + -13 - (-2 - -1 - 8). Is 28 a factor of (-1 + 6/d)/((-8)/2240)?
True
Suppose 4*a - 8*a = -j + 41, -3*a - 188 = -5*j. Suppose -3*x = -119 - j. Does 7 divide x?
False
Let f(a) = a**2 - a + 1. Let p(o) = -o**3 + o**2 + 15*o - 9. Let r(g) = 5*f(g) + p(g). Let z be r(7). Suppose 12*j - z*j = -110. Is j 