i be 10 - 13 - (-7 + -1). Suppose 4*c = i*g + 212, 3*g + 0*c + 2*c = -114. Let d = -17 - g. Does 23 divide d?
True
Let x(z) be the first derivative of z**3/3 - 7*z**2/2 + 5*z + 7. Let p be x(7). Suppose -p*u - h + 59 = 0, -3*u - 4*h + 49 = -0*u. Is u a multiple of 11?
True
Let f(g) = g. Let m(d) = 24*d + 3. Let t(b) = -3*f(b) + m(b). Is t(1) a multiple of 24?
True
Let g(j) = j**2 + 15*j + 32. Let m be g(-13). Suppose -3*a + m*a = -l - 15, -25 = 2*l + a. Let c = l + 39. Is 9 a factor of c?
True
Let c(g) = g**2 - 1. Let w(x) = 7*x**2 - 11*x - 6. Let s(v) = -4*c(v) + w(v). Does 6 divide s(5)?
True
Suppose -93 = 11*l - 3437. Does 7 divide l?
False
Let c be (2352/(-24))/(-1*1/1). Let o = 162 - c. Is o a multiple of 8?
True
Let p = 37 - 52. Let k = 41 + p. Does 26 divide k?
True
Suppose 0 = -2*h + 2*o + 26, 5*o - 44 = -4*h + 8. Suppose 17*q = h*q + 168. Is q a multiple of 7?
True
Let a(w) = -1 + 0 + 19*w**2 - w**3 + 3*w - 25*w**2. Let b = 3 + -10. Does 8 divide a(b)?
False
Suppose 0 = 3*r + r + 16. Is 4 a factor of (-26)/26 + (1 - r*5)?
True
Suppose -4*v + 173 = -0*v - 5*o, 2*v = -2*o + 82. Does 3 divide v?
True
Let o = 344 - 720. Let s = -139 - o. Does 12 divide s?
False
Suppose a - 2115 = -2*r, 401*r - 397*r - 4231 = -a. Is 8 a factor of r?
False
Let n be 4/1 + (-15)/(-3). Let c = n + -1. Suppose -121 = -c*j + 7. Is j a multiple of 16?
True
Does 34 divide 170 + 5 + -7 + 2?
True
Let r(i) = i + 9. Let y(w) = -1. Let k(q) = -r(q) - 3*y(q). Let g be k(-8). Suppose 4*t - g*s + 6*s - 160 = 0, 3*t + 4*s = 116. Does 22 divide t?
True
Suppose m = g + 76, -g = 2*g + 4*m + 221. Let p = -6 - g. Is p a multiple of 14?
False
Let n(b) = -4*b**3 - 4*b**2 - 6*b - 1. Let s be n(-4). Suppose 4*f = -2*i, 0 = -6*i + 7*i - 3*f. Suppose 5*h - s = -i*h. Is h a multiple of 22?
False
Suppose 5*w + 2*q = 5353, w + 3*q = 481 + 600. Is w a multiple of 44?
False
Let v(s) = -4*s**2 + s + 1. Let r be v(-1). Let z be (-7)/28 - 17/r. Suppose -4*l + 142 = -3*i, 3*l + i = -z*i + 121. Is l a multiple of 7?
False
Let c(d) = d**2 + 11*d + 11. Let p be c(-11). Let w(n) = -n + 14. Let t be w(p). Suppose -t*f + 12 = -2*f. Is f a multiple of 4?
True
Let f = -1791 + 2573. Is 23 a factor of f?
True
Let z be (0 + 8/(-12))*-6. Suppose 5*m = 3*g + 160, m + 9 = 2*m + z*g. Is m even?
False
Let p(d) = d**3 - 10*d**2 - 17*d + 6. Let j be p(11). Let y = -22 - j. Let o = 58 - y. Does 5 divide o?
True
Let u be 0/(1 + (0 + 2 - 1)). Suppose 4*r - 5*y - 441 = u, -y - 2 = y. Does 11 divide r?
False
Suppose -6*w + 1429 = 529. Is 50 a factor of w?
True
Suppose 0 = 7*w - 3041 - 2811. Does 13 divide w?
False
Suppose -107 - 2335 = -4*u - 3*h, 0 = 3*u + 4*h - 1835. Is 21 a factor of u?
True
Suppose 4*d + 2*n + 20 = 0, 4*n - 3*n = -d - 5. Is 10 a factor of (-280)/16*6/d?
False
Let r(l) = 3*l - 49. Let y be r(18). Suppose -5*f + f + 2*h = -512, -3*f - y*h = -358. Does 21 divide f?
True
Let c be 1*(-1 + 6 + -3). Let i(l) = -1 - 4*l**c + 7*l**2 + 10*l - 4*l**2. Does 12 divide i(5)?
True
Suppose -5*f + 31 = 1. Let t(y) = 3*y**3 + 6*y**2 + 5*y + 2. Let m(g) = 2*g**3 + 6*g**2 + 4*g + 3. Let d(n) = 4*m(n) - 3*t(n). Does 6 divide d(f)?
True
Let v(b) = -b**2 - 23*b - 11. Suppose -28*q - 15 = -27*q. Is v(q) a multiple of 28?
False
Suppose -264 = 33*u - 37*u. Suppose -3*r - 3*z + u = 0, -5*r = -3*r + 3*z - 46. Is r a multiple of 4?
True
Suppose -8*n = -0*n. Suppose 5*c = 3*p + 170 - n, 2*p - 83 = -3*c. Does 9 divide c?
False
Let q be ((-6)/(-4))/(6/8). Suppose 22 + 14 = q*l. Is 6 a factor of l?
True
Let h = -123 - 25. Is 21 a factor of (-28)/14 - (h - (-2 - 0))?
False
Suppose 5*r + k + 2*k = -65, 15 = r - 5*k. Let c = r - -9. Let p(m) = -7*m + 1. Does 3 divide p(c)?
False
Let h(o) = 3*o**2 + 13*o + 4. Let l(c) = 3*c**2 + 14*c + 3. Let z(a) = -5*h(a) + 6*l(a). Is 10 a factor of z(-9)?
True
Let a = -22 + 18. Let k = a + 9. Suppose k*l = 25, -5*p = -4*l + 83 - 258. Is p a multiple of 7?
False
Let x(h) = -h**2 + 12*h + 15. Let d be x(13). Suppose 0 = -0*f + d*f. Let t(j) = -2*j + 96. Does 25 divide t(f)?
False
Suppose 6*k - 2523 = 381. Is k a multiple of 22?
True
Let q(j) = 917*j**2 - 4*j - 1. Is q(-1) a multiple of 40?
True
Let k(t) = -71*t - 1. Suppose -2*n = -2*x - 4, -2*n = -4*x - 0*x - 10. Is k(x) a multiple of 25?
False
Suppose 0 = -11*y + 6810 + 12099. Does 25 divide y?
False
Let g(t) be the second derivative of -5*t**3/2 - 9*t**2/2 - 22*t. Suppose 2*a - 6*a - 20 = 0. Does 11 divide g(a)?
True
Suppose 0 = -x - 94 + 1. Let b(a) = -3*a**2 + 4*a + 3. Let k be b(-4). Let n = k - x. Does 16 divide n?
True
Suppose -16*m + 13*m = -12. Is 25 a factor of (84/5)/((m/5)/4)?
False
Let u be (10/4)/((-1)/(-2)). Let t(g) = -14*g - 57. Let i be t(-9). Suppose -d = d + 5*f - 27, -u*f - i = -4*d. Is 11 a factor of d?
False
Let b(a) = -a**3 + 9*a**2 - 7*a - 6. Let f be b(8). Let z(j) = -10*j**3 + 7*j**3 + j**3 - 4 - 4*j**2 - f*j. Is 10 a factor of z(-3)?
True
Suppose 0 = 3*b + 2*k - 0*k - 910, 4*k = -16. Suppose 0 = u - 4, 5*p - 390 = u + b. Does 18 divide p?
False
Suppose -6064 = -11*v + 1361. Suppose 33 + v = 12*p. Is 14 a factor of p?
False
Suppose -5*h = 4*j - 328, j + j + h = 158. Let f = j - 51. Is f a multiple of 13?
True
Suppose 3*u - 1 = -13, 2*q = -5*u - 16. Suppose -q*g + 2*s + 122 = 0, 9*g + 2*s - 232 = 5*g. Is 6 a factor of g?
False
Let w = 13 + -21. Let m be (-246)/w + 7/28. Let a = m - -5. Is a a multiple of 12?
True
Suppose 2*c + 4*r = -0*r - 8, -27 = -2*c + 3*r. Let y = c - 5. Is (0 - (-3)/y) + 21 a multiple of 12?
True
Let n be 127 - (12/(-6) + 0/(-2)). Suppose -n = -5*k + 296. Is 8 a factor of k?
False
Suppose 377 = 5*g - 838. Suppose -d + 235 = 4*t + 4*d, 4*t - 3*d = g. Does 12 divide t?
True
Does 22 divide (-3124)/(-6) - (-38)/114?
False
Suppose 10*n = 9*n. Suppose n = -2*c + 93 + 177. Is c a multiple of 15?
True
Let m = -374 - -718. Let y be 3/(-5) - m/(-40). Does 11 divide (y/(-16))/((-2)/44)?
True
Is -6*12*(-1088)/72 a multiple of 17?
True
Let j = 1 - 5. Let b(w) = -w**3 - 2*w**2 + w - 5. Let i be b(j). Suppose 0 = o - 0*o - i. Is o a multiple of 11?
False
Suppose 3*m + 1 = -s, 0 = -s + 4*m - 3*m + 7. Suppose 4*n - 8 = 3*n + 2*v, 2*n + s*v + 11 = 0. Suppose -d - 265 = -5*b + d, -n*b + 3*d = -117. Does 17 divide b?
True
Does 43 divide 900/10 + (-3)/((-3)/(-4))?
True
Let x(f) be the second derivative of -f**4/12 + f**2 - 7*f. Let u be x(0). Suppose 2*a - u*j = 4*a - 102, 0 = 3*j - 9. Is 12 a factor of a?
True
Let o(a) = 3*a - 4. Suppose 7*x = 2*x + 15. Let t be o(x). Suppose t*y + 7 = 6*y. Does 7 divide y?
True
Is -2 + 818 - (-3 + 0 + 4) a multiple of 56?
False
Let r(g) = -242*g + 187. Is 23 a factor of r(-8)?
False
Suppose 16*d - 99*d = -120267. Is d a multiple of 69?
True
Suppose -4*q - 32*q + 49248 = 0. Is q a multiple of 76?
True
Let u = 24 + -21. Suppose 50 = -2*k - u*k. Is (45/k)/((-2)/16) a multiple of 15?
False
Let r be 3/(6*-1)*0. Is 7 a factor of 4*2/(16/68 - r)?
False
Let w = 5 - 0. Suppose i + w*a = 16, i - 5 = a + 41. Let r = i + -23. Does 14 divide r?
False
Let o = -42 + 48. Suppose 16 = 8*w - o*w. Is w a multiple of 8?
True
Let r(o) = -7*o + 17*o + o**3 + 18*o**2 + 1 + 7*o + 14*o. Does 3 divide r(-16)?
False
Let u(x) = -12 + 0 - 1 + 3*x - 7. Does 8 divide u(20)?
True
Suppose 0 = -4*i + 383 + 737. Is i a multiple of 35?
True
Let h(z) = 2*z + 20. Let b be h(-9). Suppose -b*t + 4*t - 92 = 0. Does 23 divide t?
True
Suppose 14*i = 18*i - 768. Is i a multiple of 32?
True
Let v(y) = 6 - 22 + 10 - 2*y. Is 6 a factor of v(-11)?
False
Let x(d) = -d**3 - 5*d**2 - d + 7. Let v be 1 + 2 + -5 + -3. Does 3 divide x(v)?
True
Does 4 divide (7 + -11)*(-14 + 6)?
True
Let d = 14 - 14. Suppose d = -3*j + 19 + 29. Let q = j - 4. Is q even?
True
Let x(l) = -l**2 + 6*l - 6. Let z be x(6). Let p = z + 20. Is 9 a factor of p?
False
Let n be (-18)/15*(-5)/2. Suppose 120 = 3*q - n*l, 0 = 7*l - 2*l + 5. Is 13 a factor of q?
True
Let v = -592 - -760. Is v a multiple of 9?
False
Suppose -3*s + 4*j = -2*s + 63, -5*s - j - 273 = 0. Let a = 93 + s. Let r = a + -20. Is 9 a factor of r?
True
Let g be (10/3)/((-4)/(-6)). Suppose 0 = -3*f - g*x - 161, f = 2*x - 19 - 42. Let o = 99 + f. Is o a multiple of 12?
False
Let b(t) = 22*t + 392. Does 20 divide b(4)?
True
Let v(c) = c**2 + 10*c + 12. Let n be v(-10). Suppose -k = -n - 16. Is k 