 x(-10). Let y be v(q). Suppose 40 = 2*a + y*a. Is a a multiple of 8?
False
Let r(z) = -z**3 + z. Let q(w) = -3*w**3 - 10*w**2 + 4*w + 11. Let f(b) = -q(b) + 2*r(b). Does 5 divide f(-10)?
False
Let d = 153 + -265. Let y = -78 - d. Does 7 divide y?
False
Suppose -2*m + 29 = -5*s, 2*s + 44 = 4*m - 22. Does 4 divide m?
False
Let q = -13 + 10. Does 23 divide (8/q)/((-11)/132)?
False
Let v = 58 + -28. Is v a multiple of 15?
True
Suppose 0*q = -5*q + 20, 0 = 5*r + 3*q - 22. Let p = 7 - 4. Suppose 113 = p*x + 2*d, 5*x - 3*d + r*d = 171. Does 9 divide x?
False
Let h(b) = 0 + 1 + 2 - 8*b. Let v be h(2). Let t = 21 + v. Is 8 a factor of t?
True
Suppose 0 = -0*d - 3*d + x + 14, 4*x + 28 = 5*d. Is d a multiple of 2?
True
Let o(a) = -a**3 + a**2 - 3*a + 3. Let x be o(2). Let m = x + 7. Suppose l + m*l - 3 = 0. Is l a multiple of 3?
True
Suppose -12 = -3*n, 5*z = -0*n - n + 59. Is z a multiple of 7?
False
Let y(k) = -k - 4. Let i(j) = 3. Let o(v) = -2*i(v) - 3*y(v). Is 7 a factor of o(5)?
True
Let f be ((-6)/9)/((-3)/216). Suppose -4*d + f = -5*m, m = 5*d - d - 48. Is d a multiple of 4?
True
Let h be (32/3)/(2/18). Suppose i + i - h = 0. Is 15 a factor of i?
False
Suppose 67 = 2*o - 155. Is o a multiple of 24?
False
Suppose -w = -0*w + 2*a - 7, 2*w - 5*a - 23 = 0. Let q(x) = x**2 - 5*x + 4. Let j be q(5). Let z = j + w. Does 13 divide z?
True
Let a(k) = -4*k - 7. Suppose -4*v + 5*v = -5. Is 6 a factor of a(v)?
False
Let z(d) = -14*d + 4*d**2 + 3 + 14*d + d**3. Does 7 divide z(-3)?
False
Suppose -o - 2 = t, -4*o - 4*t - 2 = -o. Is (-49)/(o/4 - -1) a multiple of 22?
False
Suppose -3*k = -k + 5*t - 389, 2*k - t = 359. Does 8 divide k?
False
Suppose 5*o + 47 = 4*k, 3*o = -5*k + o + 67. Let y = 29 + k. Is y a multiple of 12?
False
Let g(m) = -6*m + 2*m + m + 2 - 4. Let l be g(-3). Suppose 3*v - 2*y + l*y - 181 = 0, v + 4*y - 51 = 0. Is 20 a factor of v?
False
Suppose 4*t = -v + 238, 3*v - 31 = -2*t + 83. Let c = 10 - t. Is 14 a factor of (0 - 9)*c/15?
False
Let v = 401 + -244. Is v a multiple of 14?
False
Let k = 113 + -81. Let w = 62 - k. Does 15 divide w?
True
Suppose 19 = 4*a - 1. Let x(s) be the first derivative of s**4/4 - 4*s**3/3 - 5*s**2/2 + 2*s - 1. Does 2 divide x(a)?
True
Let r be 2 + 1 + (1 - -1). Let l(m) = -2*m**2 - 3 - 2 - 5*m + 4*m**2. Does 7 divide l(r)?
False
Let p be (-1 + 4)*(-5)/5. Let g be (-5)/p*(-3 - -60). Suppose 5*k = 3*t - g + 22, 3*k = 12. Does 12 divide t?
False
Let h = -11 + 9. Let j(t) be the third derivative of -3*t**4/8 - t**3/3 - t**2. Is j(h) a multiple of 8?
True
Let x(u) = -u**2 - u + 1. Let n(s) = -2*s**2 - 6*s + 2. Let o(t) = -n(t) + x(t). Let k = 62 - 68. Is 3 a factor of o(k)?
False
Let o(t) = t**3 + 8*t**2 + 4*t - 8. Is 7 a factor of o(-4)?
False
Let p(w) = 1. Let u(n) = 7*n - 4. Let j(c) = p(c) - u(c). Let o be j(5). Let h = o + 50. Is 20 a factor of h?
True
Let o be (-4)/10 - (-108)/20. Suppose 4*b = -2*i + 4, -4*b + 3*b - 10 = -o*i. Is (1 + b)/((-3)/(-39)) a multiple of 13?
True
Let g(s) = -20*s + 18. Is 6 a factor of g(-3)?
True
Suppose -3*w + 2*m + 25 = 0, -4*m + 5*m + 5 = 0. Suppose -4*u - 5*i = -22, w*u - 9 = -4*i + 14. Let a(h) = 5*h - 2. Is a(u) a multiple of 11?
False
Let n(f) = -2*f**2 - f + 10. Let y(d) = -d**2 + d - 1. Let u(a) = 5*a**2 - 3*a - 5. Let k(h) = -u(h) - 4*y(h). Let j(z) = 3*k(z) - 2*n(z). Does 6 divide j(0)?
False
Let t be 7 - (24/2)/3. Suppose t*v = 0, 4*h - 3*v - 205 + 69 = 0. Is h a multiple of 15?
False
Let b be -8*(-15)/(-12)*-2. Suppose -145 = -4*x - 4*p + 3*p, 5*p = 2*x - 45. Let c = x - b. Does 15 divide c?
True
Let l be 1/5 + 78/10. Suppose -2*i + 4*g = -40, 2*i + 3*g - l*g = 35. Suppose 0 = -0*w - w + i. Does 12 divide w?
False
Let y = -56 - -88. Suppose d = a - 4*d - 24, 3*a - 5*d - y = 0. Is a a multiple of 4?
True
Let k be 16/4*10/8. Let w(l) = l**3 - 4*l**2 - 5*l + 4. Let t be w(k). Suppose 2*j - 14 = -2*o, 5*o - 35 = t*j + j. Does 4 divide o?
False
Let u = 10 - 2. Suppose u = 3*j + j. Does 2 divide (1/j)/((-2)/(-24))?
True
Does 31 divide 2/(3 - (-307)/(-103))?
False
Suppose -20 = l + 5*o, -4*l = o + 5 - 1. Suppose l = -3*b + 3*s + s - 16, 0 = b + 5*s - 20. Let g(h) = h**3 + h**2 + h + 12. Is g(b) a multiple of 12?
True
Let b = 101 - 6. Let w(y) = y**3 - 5*y**2 + 4*y + 2. Let o be w(4). Suppose 5*c - i - b = 0, o = -4*c - 3*i + 59. Is c a multiple of 9?
True
Let a = 32 + 52. Is a a multiple of 18?
False
Suppose 6*s - 4*s + 58 = 0. Suppose 0 = -3*f + f - 4*o + 76, 5*f - 201 = o. Let a = f + s. Does 11 divide a?
True
Let n(x) = -x**3 + x + 5. Let b be n(0). Suppose 3*h = -b*f + 23 + 3, -14 = h - 4*f. Suppose -g = h*g - 36. Is g a multiple of 6?
True
Let g be 20/15*(12 - 0). Is 6 a factor of 228/g - (-1)/(-4)?
False
Suppose 5 = 3*b - a + 3, -4*a - 8 = 5*b. Suppose b = -4*t + t + 90. Is t a multiple of 15?
True
Let p(h) be the first derivative of h**4/4 - 4*h**3/3 - 2*h**2 + 3*h + 4. Let w be p(5). Suppose -115 = -w*o + 3*o. Is 23 a factor of o?
True
Suppose -5*j + 138 = 3*s, 3*j + 2*s - 56 = j. Is j a multiple of 3?
True
Suppose -104 = -2*c + 2. Suppose 0 = -2*a - 45 - c. Let w = -15 - a. Is w a multiple of 17?
True
Let r be 4/2*30/4. Let i be 13/39 + 1/(-3). Suppose 0 = 5*p + 5*u - 105, i = p + 3*u - r + 2. Is p a multiple of 7?
False
Suppose -24 = -d + 55. Suppose -81 - d = -4*q. Is q a multiple of 8?
True
Let o be 27 + 2/4*-2. Let b = 13 + o. Is b a multiple of 13?
True
Let b = 3 + -2. Let m be (-3)/(-2 - b)*2. Suppose -m*c + 143 = 47. Does 24 divide c?
True
Let g be (3 - 4)*9*-1. Is 19 a factor of (-9)/g + 0 + 71?
False
Suppose -j + m + 60 = 0, m = 2*m + 4. Is j a multiple of 4?
True
Let q(o) = o**2 - 4*o - 5. Is q(8) a multiple of 8?
False
Let m = 115 + -45. Suppose 4*y = -y + m. Let d = y - 8. Is d a multiple of 3?
True
Let g = 244 - 171. Let u = g + -51. Is 4 a factor of u?
False
Let h(u) = -u**2 + 8*u - 12. Let a be h(5). Suppose 2*c = -0*w - a*w + 48, 4*c = -12. Is w a multiple of 9?
True
Does 12 divide (60/14)/(1/14)?
True
Suppose -2*i = -5*u - 20 - 25, -4*u = -3*i + 36. Let k be -27 + 3/u*-3. Let x = 42 + k. Does 8 divide x?
True
Suppose -3*h + 234 = -s - 64, -s + 409 = 4*h. Is 19 a factor of h?
False
Suppose 0 = -5*j - 4*l + 639, 2*j + 7*l - 257 = 4*l. Let d = j + -43. Is d a multiple of 12?
True
Let f = -30 - -93. Is f a multiple of 21?
True
Let v(w) be the first derivative of -46*w**2 - 2. Let n be v(-1). Let b = n - 46. Is 16 a factor of b?
False
Let v(q) = 12*q**2 - 2*q + 2. Is v(1) a multiple of 4?
True
Let b = 7 + -3. Suppose -2*i + 3*d = -5*i + 3, -b*i + d - 1 = 0. Suppose i*z = 3*z - 9. Is z a multiple of 3?
True
Let r = 103 + -74. Is r a multiple of 9?
False
Suppose 12 = -0*b + 3*b. Suppose 5*m = -4*v + 206, -b*m = -3*m - 3*v - 26. Is 19 a factor of m?
True
Let p(i) = i - 5. Let r(n) = n + 23. Let y(g) = -11. Let o(f) = -2*r(f) - 5*y(f). Let h(b) = 6*o(b) + 11*p(b). Does 7 divide h(-8)?
True
Is 8 a factor of ((-206)/3)/((-6)/9)?
False
Let u(d) = -51*d**3 - 1. Let i be u(-1). Suppose i + 90 = 5*j. Is 14 a factor of j?
True
Suppose -4*a + 168 + 48 = 0. Does 18 divide a?
True
Let i(x) = -x**3 + x - 39. Let h be i(0). Let w = 64 + h. Is w a multiple of 11?
False
Let n = -36 - -71. Is 7 a factor of n?
True
Let a = -1 + 4. Does 20 divide (-20)/((-7)/a - -2)?
True
Let c be (12/10)/(1/20). Let m = c - -31. Suppose 0 = -5*w + m + 10. Is 7 a factor of w?
False
Is (15/(-10))/(6/(-80)) a multiple of 4?
True
Let o(x) = 5*x**2 + 0 + 5 + 0*x**2 + x + 2*x**2 - x**3. Is o(7) a multiple of 6?
True
Suppose -3*t + 8 = 4*b, -4*b + 13 - 5 = 5*t. Suppose t = 3*j - 18 - 12. Is 4 a factor of j?
False
Let j(b) = -b**3 + 5*b**2 - 4*b - 5. Let p be j(4). Let o = 16 - p. Let f = -6 + o. Is f a multiple of 7?
False
Let i = -1 + 8. Suppose 2*q - 3*q + 6 = 0. Let a = q + i. Is a a multiple of 13?
True
Let m(q) = q**2 + 5*q - 6. Is m(3) a multiple of 9?
True
Let x(z) = 1 + 0*z**2 + 4*z - z**2 + 2*z**2. Let g = -12 + 7. Is 5 a factor of x(g)?
False
Suppose 2*d = 7*d - 140. Does 14 divide d?
True
Let z(n) = n**3 + 7*n**2 + 8*n + 7. Let x be z(-6). Let c = 13 - 28. Let r = x - c. Does 9 divide r?
False
Let m(f) = f**3 + 5*f**2 + 3*f. Let a be m(-2). Let y = a + 20. Is y a multiple of 7?
False
Let p = -26 - -59. Is 5 a factor of p?
False
Let y(z) = 3*z**2 + 22*z + 12. Is 11 a factor of y(-10)?
F