of 3?
True
Let m = 49 + -15. Suppose m = 2*c - 26. Suppose 4*a - 5*t = 73, 2*a = -3*t - t + c. Is a a multiple of 6?
False
Let u be (1 + -1 - -2)*1. Suppose -2*i = m + u*m - 25, 21 = 2*m - 3*i. Is 5 a factor of m?
False
Let a(i) = i**3 + 3*i + 2. Let m be a(4). Is 12 a factor of m/2 - 3 - 0?
True
Suppose 2*w + 3*y - 43 = 0, 82 = 4*w + 2*y - 0*y. Does 5 divide w?
True
Let y(d) = -d**3 + 2*d + 3. Let a(f) = -f**3 + 3*f**2 - 2*f. Let b be a(3). Let p be 0*3/b - 2. Does 6 divide y(p)?
False
Let v = -6 - -23. Is v a multiple of 5?
False
Suppose 2*s - 6*i = -i + 18, 3*i = 6. Does 2 divide s?
True
Suppose 90 = 5*a - 2*c, 3*a = -c - c + 54. Let i = a - 6. Is 5 a factor of i?
False
Let m(o) = -2*o - 5. Let c be m(-6). Let l = 15 - c. Does 7 divide l?
False
Let j be 4/20 - 108/(-10). Suppose 3*c = 2*c + j. Is c a multiple of 11?
True
Suppose -32*j + 140 = -30*j. Does 10 divide j?
True
Is (8/6 - 1)/((-1)/(-165)) a multiple of 11?
True
Suppose -2*t + 4*a = -148, 0 = 2*a - 4*a - 6. Is 26 a factor of t?
False
Suppose u - 7 - 1 = 0. Let c = 21 + u. Is c a multiple of 12?
False
Let h = -46 + 98. Is (-16)/(-24) - h/(-3) a multiple of 6?
True
Let k(b) = 6 - b**2 - 6. Let h be k(0). Does 15 divide 0 + -2 + h + 20?
False
Let g be ((-20)/8 - -3)*40. Suppose -7*l + 2*l = -g. Does 2 divide l?
True
Let c(q) = -q**3 - 3*q**2 + 3*q + 1. Let g be c(-4). Suppose g*o - 4*a = -5*a + 151, 5*o - 149 = a. Is o a multiple of 10?
True
Let v(t) = t**2 + 6*t + 2. Let p be v(-6). Let i(a) = -2*a - 2. Let d be i(p). Let o = d - -14. Does 4 divide o?
True
Let x(k) = 3. Let r(g) = -g - 9. Let b(f) = -4*r(f) - 14*x(f). Let y be b(6). Suppose y = 3*l - 102. Does 20 divide l?
True
Does 19 divide ((-2)/(-6))/((-21)/(-8001))?
False
Let m(q) = q**2 - 2*q. Let n be m(3). Suppose -x = -5*h - 12, -3*x - n*h = 2*x - 88. Is 17 a factor of x?
True
Does 16 divide 1*-4 - (-4 - -6 - 55)?
False
Suppose 0 = -4*o + 6*o - m - 35, -3*o - 3*m = -39. Is 8 a factor of o?
True
Let z = 1 + -7. Let n = 24 - z. Does 8 divide n?
False
Does 12 divide (-2018)/(-7) - (-50)/(-175)?
True
Let m(q) = q**3 + 6*q**2 - 6*q - 2. Let i be m(-6). Suppose 0 = 4*w - 5*w + 2*z + 8, -5*w + z + 4 = 0. Let p = w + i. Is p a multiple of 17?
True
Let f = -251 - -361. Suppose 4*s = -s + f. Is 6 a factor of s?
False
Let v(q) = -6*q - 9. Let t be v(-8). Suppose 2*c + t = -5*f, 0 = -2*f + 4*c - 13 - 17. Does 11 divide (-6)/f - 73/(-3)?
False
Let a(s) = 12*s + 2. Is 10 a factor of a(2)?
False
Let m = 7 + 1. Let p = -3 + m. Does 2 divide p?
False
Suppose o = 2*o + 2*y - 9, -5*o - 4*y + 51 = 0. Let b be ((-10)/(-15))/((-1)/(-3)). Suppose b*j - j = o. Does 9 divide j?
False
Let j(b) = -85*b + 25. Let d(z) = -7*z + 2. Let w(m) = 75*d(m) - 6*j(m). Let u be w(-5). Suppose -5*t = 3*n - u, 0*t + n = 4*t - 60. Does 15 divide t?
True
Suppose -i - 22 = -5*r + i, -4*i = r. Suppose -s = -0 - r. Does 4 divide s?
True
Let s(x) = 68*x + 1. Is 10 a factor of s(2)?
False
Let a be -1*-2*(-2 - -1). Let o be a/6 - (-104)/(-12). Is (9 - 1)*o/(-4) a multiple of 18?
True
Let q(c) = -4*c**2 + 3*c + 10. Let s be q(8). Is ((-3)/(-9))/((-2)/s) a multiple of 8?
False
Suppose -4*h = 3*c + 2, -6 = -4*c - 2*h - 2. Suppose -2*f = f - o - 46, c*f - 5*o - 35 = 0. Is 6 a factor of f?
False
Let a(s) = 18*s - 19*s + 6 + 6*s. Does 17 divide a(9)?
True
Let b be 6/3 + -1 - 8. Does 17 divide ((-12)/b)/((-2)/(-35))?
False
Let d be -13*(-1 - (-1 + -1)). Let s = d + 8. Is 12 a factor of 227/5 - 3/s?
False
Suppose 0 = 3*a + 4*g - 159, -g - 1 = -5*a + 264. Is a a multiple of 15?
False
Suppose -t + 38 = -b, 5*t + 3*b - 169 = b. Does 14 divide t?
False
Let q be 125/10 - (-1)/(-2). Is 5 a factor of (-1)/4 - (-87)/q?
False
Let w(b) = b**3 - b**2 + 27. Let u be w(0). Suppose -3*y = -u - 129. Is 13 a factor of y?
True
Let j(i) = 46*i**2 - 11*i**2 + i**2 + i. Is j(1) a multiple of 12?
False
Let p(n) = -53*n - 1. Let w be p(1). Let a be (-2 + 0)/(1/w). Suppose -v + 50 = 5*s, 5*v = 5*s + a + 52. Is 14 a factor of v?
False
Let d = 30 - 0. Does 6 divide d?
True
Suppose 10 = -3*p + 46. Suppose -51 = -3*v + p. Is 5 a factor of v?
False
Suppose -2*q - 4 = -q - v, -12 = q + 3*v. Let x(h) = h**2 + 6*h + 5. Let g be x(q). Suppose -5*t - 55 = -4*a, 80 = g*a - 3*t - t. Does 10 divide a?
True
Let i(k) = k**2 - 2*k - 24. Is i(10) a multiple of 32?
False
Let c(d) = 2*d - 4. Let i be c(6). Suppose 2*b - 8 = i. Suppose -a - 4 = w - 3, -3*a = 4*w + b. Does 4 divide a?
True
Let f(i) = -i**3 - i. Let u be f(0). Suppose 5*z - 10 = -u. Suppose b - 3*b + 40 = z*m, -10 = -5*b. Is m a multiple of 18?
True
Let o(m) = -5*m - 8. Let z be o(-6). Suppose 4*t - 5*t + z = 0. Does 11 divide t?
True
Suppose a + 35 = -y, 0 = 3*a + 3*y - 5*y + 110. Let j = a + 64. Is 7 a factor of j?
True
Let a = 2 + -1. Let f(p) = 9*p**2 + p**2 + p**2 - a. Is 5 a factor of f(1)?
True
Let m be (1 + -13)*(-4)/6. Let y = -3 + m. Suppose -5*r - 5*h + 36 = -4*r, 0 = -2*r - y*h + 57. Is r a multiple of 8?
False
Let j = -32 + 59. Let p = j + -16. Does 11 divide p?
True
Let w(o) = 16*o + 20. Is 6 a factor of w(4)?
True
Let x be (-3)/(-4) - (-282)/8. Let j be (-8)/x - 74/(-9). Suppose 190 = 5*a + w - 74, 0 = 2*w - j. Is 26 a factor of a?
True
Let v(q) = -31*q - 3. Let g be v(4). Let h = -60 - g. Does 27 divide h?
False
Let h(o) be the first derivative of 3*o**2 + 5*o - 1. Let j be h(-5). Let m = j - -69. Is m a multiple of 21?
False
Suppose 17 = -5*g + 2. Let b = -3 - g. Let w = 2 - b. Is 2 a factor of w?
True
Suppose -5*d + 5*w + 5 = 0, -2*w = -2*d + d - 3. Suppose a + h + h + 3 = 0, -d*h = 0. Does 5 divide (-6)/a*(-9)/(-2)?
False
Suppose 0*g + 4 = g. Suppose -4*t + g*b + 31 + 13 = 0, 4*t - 59 = b. Suppose -k + t = k. Does 3 divide k?
False
Let c(h) = -h**3 + 6*h**2 + 3*h - 9. Let d be c(6). Suppose 0 = -2*v + v. Suppose -5*s + 15 = v, 2*s = 2*b - 3*b + d. Does 3 divide b?
True
Let l(g) = g**3 + 7*g**2 + 2*g - 1. Is l(-4) a multiple of 28?
False
Let b be (2 - (-1 - -2))*-13. Let l = 7 + b. Is (-2)/l - 38/(-3) a multiple of 13?
True
Suppose 4*q - 41 - 51 = 0. Does 20 divide 2/(1 - 22/q)?
False
Let k = -4 + 6. Suppose 0*l + 2*l - k = 0. Is 6 a factor of 18*(l + 1/(-3))?
True
Suppose 2*o - 7*o = -240. Does 8 divide o?
True
Let v = -10 - 10. Let g = -6 - v. Is g a multiple of 14?
True
Suppose -2*j + 3*w = -3, 20 = -3*j + 8*j - 5*w. Is 9 a factor of j?
True
Is 2/((-80)/28 + 3) a multiple of 7?
True
Suppose 0 = -3*d - 3*z + 36, d + 2*d + z = 26. Let o(t) = 0*t - 21*t + 16*t + t**2 - 10. Does 2 divide o(d)?
True
Let w be 3/6 - 5/(-2). Suppose -w*k - 35 + 143 = 0. Is 12 a factor of k?
True
Let s(p) = -2*p - 5. Let j be s(-4). Suppose 0 = -j*n + 46 + 17. Does 8 divide n?
False
Let z(j) = -j**3 - 5*j**2 - 6*j - 6. Let x be z(-5). Let m be (27/(-6))/(3/(-18)). Suppose 3*y - y = -5*b + x, -m = -4*b + y. Is b a multiple of 2?
True
Suppose 179 = 2*m - 237. Let r = 21 + m. Suppose 3*o - 2*h - 83 = 85, -h = -4*o + r. Does 20 divide o?
False
Suppose -40 + 15 = 3*l - 5*u, -3*l = -u + 5. Suppose l*v = -v - 682. Does 17 divide v/(-14) - 4/(-14)?
False
Let l = 2 - -18. Is 20 a factor of l?
True
Suppose 265 = 5*j + 10. Does 17 divide j?
True
Suppose 5*h - 5 = -0*o - 5*o, -3*h = -4*o - 24. Is (h/6)/(13/780) a multiple of 11?
False
Let r = 9 - 6. Suppose -35*g - 72 = -37*g. Suppose -4*o + g + 8 = -h, o - 11 = -r*h. Is o a multiple of 6?
False
Let o = 18 - 4. Let t = 50 - o. Suppose -7*z + t = -3*z. Is z a multiple of 9?
True
Let t(w) = -8*w - 3. Is 21 a factor of t(-3)?
True
Let s = 197 + -157. Does 40 divide s?
True
Suppose 5*f + 0*f = 75. Let q = 21 - f. Is q a multiple of 2?
True
Suppose 4*a = 4*h + 48, -29 = 5*h - 4. Is 2 a factor of a?
False
Let u(i) = i**3 + 9*i**2 + 6*i - 1. Is u(-7) a multiple of 24?
False
Let p = -8 + 10. Suppose -2*a = 2*d - 24, p*a - 3*d = -d + 40. Is 16 a factor of a?
True
Let q(d) be the first derivative of d**2 + 2 - 4 + d + 1. Is 9 a factor of q(8)?
False
Suppose 7*j + 2 - 37 = 0. Does 5 divide j?
True
Let l = 61 + -53. Is 4 a factor of l?
True
Suppose 2*t + 5 = 1. Does 9 divide t - -4 - (1 - 32)?
False
Let v = 23 + -8. Let t = 21 - v. Does 5 divide t?
False
Let k = 114 - 74. Does 8 divide k?
True
Let y(m) = 3*m. Let q(v) = -v - 4. Let b be q(-9). Is y(b) a multiple of 9?
False
Let h(a) be the third derivative of -a**6/120 + 2*a**5/15 