ultiple of 37?
False
Suppose 11*g = 13*g - 10. Suppose g*b = 8*b - 15. Let d(c) = 4*c + 7. Does 12 divide d(b)?
False
Is -391*((-1)/(-3))/((-27)/81) a multiple of 8?
False
Let m(k) = -k**3 + 4. Let g be m(-2). Suppose -8*w + g = -484. Is 5 a factor of w?
False
Suppose -s + 3 = -9. Suppose 2*y + 0*y - s = 0. Suppose -165 = -y*n + n. Is n a multiple of 21?
False
Suppose -5*v + 4*b + 5 = 0, 3*b - 5 - 35 = -5*v. Let x(k) = -3*k**2 + 4 + 0*k**2 - k + v*k**2. Is x(4) a multiple of 16?
True
Let y = 1475 + -879. Is y a multiple of 62?
False
Let j(b) = 5*b**2 - 18*b + 28. Suppose -p = -6*p + 40. Is 12 a factor of j(p)?
True
Let j(y) = 4*y**2 + 7*y - 17. Let l be j(-7). Let b = l + -2. Is 32 a factor of b?
True
Let o(l) = -515*l. Let p be o(8). Is 1/(-3) - p/30 a multiple of 20?
False
Is (-5 - ((-16)/(-6) + -1))*-15 a multiple of 25?
True
Let t(v) = 15*v - 1. Let u be t(3). Let r = 1 - u. Let g = r - -71. Is 7 a factor of g?
True
Let s = -143 + 101. Let i = 61 + s. Is i a multiple of 14?
False
Let f = 27 + -28. Let q be 3 - ((-1)/f - 1). Suppose 124 = -q*p + 7*p. Does 17 divide p?
False
Let t be (-2)/4 - 13/(-26). Suppose t*m + 16 = m. Let n = 18 - m. Does 2 divide n?
True
Suppose -465 = -5*w - 5*l, -4*w = -7*w - 5*l + 273. Is w a multiple of 24?
True
Let i(f) = 12*f**2 + f - 15. Is i(5) a multiple of 25?
False
Let f(b) be the second derivative of b**4/3 + 5*b**3/3 + 12*b**2 + 32*b. Is f(-3) a multiple of 19?
False
Suppose -3*t + 23 - 17 = 0. Let y(b) = 2 - b + b**t - 9 - 3. Does 16 divide y(7)?
True
Suppose -13*b = 10*b - 101453. Does 14 divide b?
False
Suppose d = 4*f - 7, d - 2*f + 5*f - 7 = 0. Let u be 0/((-1)/(d/(-2))). Suppose 0 = -3*w + w, -3*y + 5*w + 45 = u. Does 4 divide y?
False
Let a be (1 - -1) + (-2 - -2). Suppose -5*z = w - 35, 2*z + a = z. Let l = w - 0. Is 18 a factor of l?
False
Let s be (-6)/27 + 92/9. Let r = s + -10. Suppose r = -2*w + 24 + 16. Does 20 divide w?
True
Let x = -2133 + 4530. Is 51 a factor of x?
True
Suppose 0 = -246*q + 241*q + 2125. Is q a multiple of 17?
True
Suppose 0 = v - 0*k - k, -v + 3*k = 10. Let s = 57 - 17. Suppose 10 = -v*l + s. Does 3 divide l?
True
Suppose 0*t - 42 = -7*t. Suppose 0 = -t*b - 213 + 699. Is 9 a factor of b?
True
Let s(i) = i**3 + 8*i**2 - 10*i + 17. Let n be s(-8). Suppose b = 2*x + 43 + n, -5*b + 5*x + 695 = 0. Does 23 divide b?
True
Suppose -5*g + r = -70, 3*g - 20 - 45 = -4*r. Suppose 11*t - 6*t + g = 0. Let f = t + 20. Is f a multiple of 17?
True
Let b(y) = 69*y**2 - 3*y + 1. Let l be b(-3). Suppose -2*f + 5*k + l = 0, 0 = -3*f + 3*k - 227 + 1160. Does 13 divide 12/18 - f/(-6)?
True
Suppose 3*m + 20 = -13. Let t(r) be the third derivative of r**6/120 + 11*r**5/60 - r**4/8 - r**3/3 + r**2. Is t(m) a multiple of 14?
False
Suppose 20 = -5*q - 90. Let t = 70 + q. Does 12 divide t?
True
Let x(v) = -v. Let i(o) = o. Let h(q) = -i(q) - 2*x(q). Let z be h(2). Is 8 a factor of 12 - (z + -5 - -7)?
True
Let y(p) = p**3 - p**2 - 72. Let k be y(0). Let j = k + 144. Is j a multiple of 12?
True
Let w(h) = -9*h**3 + 5*h**2 + 7*h - 2. Let b(q) = 17*q**3 - 11*q**2 - 15*q + 4. Let j(f) = 4*b(f) + 9*w(f). Does 9 divide j(-2)?
False
Let n = 26 + -20. Suppose -3*h + n*h + 24 = 0. Let x = h - -20. Is x a multiple of 4?
True
Let o = -7 + 7. Let d = o + -12. Is 4 a factor of (d + 1)*(-1 - 0)?
False
Suppose -n + 0*l + 4*l = 12, -2*l + 16 = 2*n. Suppose -4*d = -i + 6*i + 30, n*i = -3*d - 24. Is i + 4 - (0 - 40) a multiple of 19?
True
Let l be 20 + -20 - (4 + 1). Suppose d + 55 = -4*s, s + s + 3*d + 35 = 0. Let h = l - s. Is 7 a factor of h?
False
Let x be (3 + ((-18)/(-4))/1)*6. Suppose 0 = h - x - 55. Does 10 divide h?
True
Does 5 divide (2 - 1)/((-22)/(-2200))?
True
Suppose 0 = -2*x - 2*y + 4*y + 1158, 2*x - 1128 = -4*y. Suppose 166 + x = 5*q - 5*n, -2*n + 10 = 0. Is q a multiple of 13?
False
Suppose 0 = -0*z + 3*z. Let t = -49 - -53. Suppose h + 37 = 4*n + 4*h, -t*n - h + 31 = z. Is 6 a factor of n?
False
Is 41 a factor of 3/2 - 1306/(-4)?
True
Let z = -96 + 100. Suppose -163 = -w - z*l, l + 109 = -4*w + 791. Is 16 a factor of w?
False
Let p(i) = 341*i + 1122. Is 11 a factor of p(7)?
True
Suppose -o - 4*u - 8 = o, 4*o + 2*u + 4 = 0. Suppose -p - 3*p + 92 = o. Let d = p - 14. Is d a multiple of 9?
True
Suppose 20 = a + g - 3, -48 = -3*a + 4*g. Let t = 33 + -23. Suppose -z + t + a = 0. Is z a multiple of 12?
False
Let a(v) = -10 + 13*v - 3 + 2 - 3. Is 18 a factor of a(8)?
True
Let t = 14 + -14. Let f be ((-128)/2)/(-2) + t. Suppose m = -3*m + f. Does 2 divide m?
True
Let d(o) = -1018*o - 86. Is 13 a factor of d(-2)?
True
Suppose -q + 3*q = -3*q. Suppose -c + i + 44 = q, -4*c - 5*i = -0*c - 140. Is 10 a factor of c?
True
Is 10 a factor of ((-2)/(-1) + 0)/((-15)/(-3315))?
False
Let l be 46/6 + 12/36. Let x(j) = -j**2 - 7*j + 10. Let s be x(-7). Suppose -l - s = -o. Does 18 divide o?
True
Let o(w) = -2*w**2 - 4*w - 7. Suppose -20 = 2*g - 4*k - k, -5*k = g - 5. Let i be o(g). Let b = i - -55. Is b a multiple of 3?
True
Let x(i) = -3*i + 41. Does 10 divide x(-28)?
False
Let v(s) = 476*s**2 + 7*s - 7. Is 34 a factor of v(1)?
True
Let y(n) = 36*n - 118. Does 52 divide y(12)?
False
Let t(n) = -n**2 + 29*n - 58. Let b be t(22). Suppose -230 - b = -2*p. Does 14 divide p?
False
Let h = 40 + -41. Let u(o) = -37*o**3 - o**2 + o + 1. Let d be u(h). Suppose 3*b = -0*b + d. Is 4 a factor of b?
True
Suppose -f + 2*f - 10 = 0. Suppose 2*s = f, 2*s + 214 = 3*n + 7*s. Does 10 divide n?
False
Let f(r) be the third derivative of 2/15*r**5 - 1/2*r**3 + 3*r**2 + 1/12*r**4 + 1/120*r**6 + 0 + 0*r. Is f(-5) a multiple of 12?
False
Is -46*(-436)/16*2 a multiple of 63?
False
Let q = 0 + 9. Let u = 11 - q. Does 11 divide u*(-22)/4*-2?
True
Let i(w) = -9*w - 3. Let j = -10 + 4. Let u be i(j). Suppose 395 = 5*v - o, -2*v + 110 = -o - u. Does 13 divide v?
True
Let l(i) be the first derivative of -27*i**2/2 - 8. Let q be l(-3). Let a = q + -39. Is a a multiple of 14?
True
Let n be 11/(-2) + 6/(-4). Let v(w) = w**3 + 9*w**2 + 11*w + 9. Is 6 a factor of v(n)?
True
Let f = 23 + 8. Suppose -33*t = -f*t - 264. Does 13 divide t?
False
Does 23 divide (-24424)/(-48) + 1/6?
False
Suppose p - 2 = -3*o, 0 = -4*o + 9*o + 25. Let y = -14 + p. Suppose 0 = -n + 4*q - 14, y*n = q + 16 - 3. Does 6 divide n?
True
Suppose -8405 - 2305 = -15*z. Is z a multiple of 42?
True
Suppose 16*l + 17*l = 198. Is l even?
True
Suppose 0 = -3*d, -x + 2 = 2*d - 4. Suppose -x*g = 2*s - g + 11, -5*s - 5 = 5*g. Suppose 5*i - 32 + 13 = 4*c, -s*c - 27 = -5*i. Does 4 divide i?
False
Let a = -138 + 136. Does 6 divide (2 - -1) + 134 + a?
False
Let g(f) = -23*f + 7*f + 18 + 32. Is g(-10) a multiple of 23?
False
Let t(g) = g**3 + 5*g**2 - 7*g - 4. Let r be t(-6). Let s = 90 + -90. Suppose c - 2*f = 23, -c - r*f = -s*c - 7. Is 5 a factor of c?
True
Let j(f) = 143*f**2 + 14*f + 1. Does 85 divide j(-4)?
False
Let k(z) = -z**3 - z**2 + z + 4. Let i be k(-4). Suppose -15 = 4*m - 7*m - 4*x, -2*m + 4*x = -10. Suppose m*t - i = t. Is 3 a factor of t?
True
Let w be ((-6)/4)/((-12)/(-16)). Let s(h) be the first derivative of -13*h**2 - 2*h - 11. Is 25 a factor of s(w)?
True
Let a = 21 + -15. Suppose -19 - a = -o. Suppose -o - 9 = -u. Is 17 a factor of u?
True
Suppose -4*n - 144 + 29 = f, 4*n + 2*f + 118 = 0. Let b be (-8)/n + 36/21. Suppose 4*j = b*l - 35 - 15, -2*l = 4*j - 18. Does 5 divide l?
False
Let w = -970 + 1606. Does 53 divide w?
True
Suppose 23*w - 19*w - 851 = -3*m, 0 = -w - m + 213. Is w a multiple of 3?
False
Suppose -5*u + 1 - 15 = 2*z, 2 = u - 2*z. Let v be 9/(-27)*-45 + -1. Let c = v + u. Does 12 divide c?
True
Suppose 2*x - t - 1106 = 0, 7*t = -4*x + 4*t + 2212. Let k = -374 + x. Is k a multiple of 32?
False
Let x be 8/10*175/(-10). Let p = 16 + x. Is p even?
True
Suppose i + 2 = 5*i + r, r - 2 = -5*i. Suppose 0 = 4*l - n - 12, i = -n + 2*n. Suppose -y + l*y = 72. Is y a multiple of 18?
True
Suppose -5*m = -9*m + 140. Let c = m + -29. Is 3 a factor of c?
True
Suppose -43 = -r + 7. Is r a multiple of 20?
False
Suppose 512 = 8*t - 7*t. Does 5 divide t?
False
Let x(q) = 10 - 2*q + 26*q - 1. Is 17 a factor of x(6)?
True
Let t = 1609 + -910. Is t a multiple of 63?
False
Let j(f) = -f**3 + 3*f + 2. Let p be j(-2). Suppose -3*h + h + 10 = -p*t, t + 2*h = -5. Is t - (-1)/((-4)/(-144)) 