c. Is c a multiple of 9?
False
Let o(t) = t**2 + 3*t + 2. Let h be o(-9). Let n = -44 + h. Is 12 a factor of n?
True
Let k be ((-12)/8 - -2)*(2 + 2). Suppose -4*a + 3*n = -68, -k*a + 34 = -0*a + 5*n. Is a a multiple of 4?
False
Suppose 0 = q + 60 - 231. Suppose -6*n = -q - 51. Is 7 a factor of n?
False
Suppose c - 1 - 2 = 0, -5*b - 2*c = -41. Suppose 0 = -b*w + 55 + 8. Is 3 a factor of w?
True
Let t(a) = -680*a + 62. Does 7 divide t(-1)?
True
Suppose 3*b - 4*l - 1846 = 0, -l - 3084 = -5*b + 2*l. Is b a multiple of 37?
False
Does 28 divide 0 + 12897/8 + (-20)/160?
False
Let x = -58 + 84. Suppose -5*j + 2*j = o - x, -33 = -o + 4*j. Does 18 divide o?
False
Let f be (-2)/(-3) + (-1750)/(-75). Suppose -2*z + f = z. Does 4 divide z?
True
Suppose 5*n - 2*z = 6*n - 18, -4*z = 3*n - 52. Let g(d) = d + 10. Is g(n) a multiple of 13?
True
Does 10 divide -2 - (6728/(-40) + (-4)/5)?
False
Let j(g) = -g - 7. Suppose 0 = -5*r + 2*d - 4*d - 51, -5*d = -r + 6. Let i(q) = -q**2 - 7*q + 8. Let c be i(r). Is j(c) a multiple of 3?
True
Suppose -4*c - 7*v = -2*v + 15, 0 = -c - 3*v - 9. Let x(w) = w**3 - w**2 + w + 9. Let z be x(c). Suppose s = z*s - 224. Does 10 divide s?
False
Suppose -4*f = -2*f. Suppose 5*l = -f*l + 150. Suppose 5*d - 5 = l. Is d a multiple of 3?
False
Let f(u) = -9*u + 163. Is 7 a factor of f(10)?
False
Is 276*(-1)/(-1)*(-25)/(-75) a multiple of 7?
False
Let o(n) = -15*n**3 - 2*n**2 - 3*n - 2. Is 17 a factor of o(-4)?
False
Suppose -p = 4*b - 541, 3*p - 1668 = b + 2*b. Does 25 divide p?
False
Let a(z) = z**3 + 19*z**2 + 21*z + 6. Let j be a(-18). Does 30 divide -3*(1 + 0) - (-107 - j)?
False
Is 4 + 632 + 2/((-4)/(-2)) a multiple of 29?
False
Let m(h) = -1. Let b(v) = -v + 5. Let n(l) = b(l) - 2*m(l). Is n(4) a multiple of 2?
False
Let i be 14*(-6 - 0)*5/(-20). Suppose 5*z = 4*r - 43 - i, -5 = r + 4*z. Is 2 a factor of r?
False
Is 8 + (-4 - (-634)/1) a multiple of 11?
True
Let n = 6808 - 4158. Is n a multiple of 99?
False
Suppose -7*t = -6*t + 2. Let w(b) = 26*b**2 + 7*b + 5. Is w(t) a multiple of 19?
True
Suppose 2*r + 19 = 3*i, -2*i - r - 20 = -7*i. Let l(y) = y - 4. Let n be l(7). Suppose 4*x + i*w - 8 = 64, -5*x = n*w - 87. Does 4 divide x?
False
Let b(o) = -8*o**2 - 10*o - 13. Let m(t) = t. Let q(n) = -b(n) - 3*m(n). Does 16 divide q(-3)?
True
Is (246/(-24))/(6/(-312)) a multiple of 53?
False
Suppose 1585 - 8018 = -7*i. Is 28 a factor of i?
False
Let y = -858 + 1243. Is 11 a factor of y?
True
Let m(k) = -13*k + 11. Suppose -17 + 5 = 2*c. Does 24 divide m(c)?
False
Let f(q) be the second derivative of -3*q**3 - 9*q**2/2 - 20*q. Does 9 divide f(-2)?
True
Let t(m) = 64*m + 1727. Does 10 divide t(0)?
False
Let g(f) be the first derivative of -f**4/4 + 5*f**3/3 - 5*f**2/2 + f + 12. Let a be g(4). Is 20 a factor of (a - 292)/(-5) + 1?
True
Suppose 61*l - 64*l = -81. Does 3 divide l?
True
Let b = -43 - 103. Let h = 2 - b. Is h a multiple of 24?
False
Suppose 47*n = 5*a + 52*n - 1590, -a + 5*n = -300. Is a a multiple of 35?
True
Let g = -21 - -169. Suppose 384 = 2*c + s, 2*c + 4*s + g = 526. Is c a multiple of 12?
False
Suppose 0 = -7*l + 4*l + 9. Let y = 5 - l. Let h(c) = c**3 - 2*c + 1. Is h(y) a multiple of 2?
False
Let v be (15/(-6))/5*-6. Suppose -7*s = -v*z - 3*s + 59, 0 = -5*z - 5*s + 145. Is (-30)/z*(-44 + -1) a multiple of 22?
False
Let f(b) = -b**2 - b + 2. Let j be f(-4). Let c = -18 - j. Is 13 a factor of 103/2 - c/16?
True
Let o(b) be the first derivative of b**2 - 19*b + 2. Let l be o(12). Suppose 3*g + 17 = l*t - 11, -4*g - 4 = 0. Is 2 a factor of t?
False
Suppose -2*p + 7*p + 10 = 0, r - 153 = 5*p. Does 28 divide r?
False
Let v(u) = 13*u**3 + 2*u**2 + 2*u + 6. Does 17 divide v(5)?
False
Suppose 230 = 26*k - 25*k. Is 5 a factor of k?
True
Let s = 77 + -133. Suppose 2*q + 4*k = -14, -10*k = -3*q - 14*k - 17. Is s/(-5) + q/15 a multiple of 11?
True
Let o(z) = -z**3 - 14*z**2 - 8*z - 26. Suppose -x + 2*a - 12 = 0, -2 - 3 = 5*a. Does 15 divide o(x)?
False
Suppose -18560 = 90*q - 106*q. Is 10 a factor of q?
True
Let o(a) = a**3 + 5*a**2 - 4*a + 7. Let t be o(-6). Let w(m) = 16*m**2 + 5*m - 7. Let g be w(t). Does 14 divide 2/(-13) + g/26?
True
Let f = -8 - -337. Does 7 divide f?
True
Does 20 divide 27/(-72) - (-21766)/16?
True
Let j(s) = 7*s**2 - 46*s - 22. Is 11 a factor of j(9)?
False
Let o(k) = 2*k**2 - k + 4. Let t be o(-5). Let j(s) = 32*s - 9. Let u be j(3). Let i = u - t. Is i a multiple of 10?
False
Let u(v) be the first derivative of -5*v**2/2 - 2. Suppose -4*z + 40 = -3*o, -3*o = 4*z + 10 - 2. Does 7 divide u(o)?
False
Let x(j) = 93*j - 3. Let b be (-1)/5 + (-60)/(-350)*7. Does 15 divide x(b)?
True
Let f = -218 - -272. Is 2 a factor of f?
True
Suppose 3*b + 83 = 608. Is 9 a factor of b?
False
Let l(k) = -k**2 - 16*k - 24. Let d be l(-12). Let a(v) = -v**2 + 25*v + 45. Is 21 a factor of a(d)?
False
Is (13 + (-3 - -1))*(3 + 0) a multiple of 11?
True
Suppose 0 = -5*k - 35*k + 720. Is k a multiple of 9?
True
Let d(i) be the first derivative of 2*i**3 - 4*i**2 + 15*i + 15. Is 8 a factor of d(5)?
False
Suppose -6*f - 3717 = -w, 3*f = 83 - 89. Does 19 divide w?
True
Suppose l + 4*v = 188, -299*v + 303*v = 8. Is 3 a factor of l?
True
Suppose 232*p - 5427 = 205*p. Does 3 divide p?
True
Suppose 6*x = 7*x - 3. Suppose x*q = 92 + 322. Does 22 divide q?
False
Let p be ((-350)/(-4))/((-8)/(-16)). Let b = -82 + p. Does 31 divide b?
True
Suppose a = -2*a - 2*t - 11, -2*a + 2*t = 4. Let p(g) = -2*g**2 - 2*g + 2. Let z be p(a). Let o = z + 65. Is o a multiple of 32?
False
Let x = -96 + 57. Let k be x - (48/(-3))/4. Does 25 divide (-3)/(-5) + (-2604)/k?
True
Let h(l) = 4*l**2 + 3*l + 3. Let x be h(-2). Suppose 0 = 5*z - 20, -a + 2*z + 3*z = x. Is a a multiple of 4?
False
Let h = 285 - 15. Is 35 a factor of h?
False
Suppose 650 = 7*n - 2*n. Is n a multiple of 26?
True
Let a(n) = 4*n**2 - 3*n + n**3 + 6*n**2 - 279 + 291. Does 9 divide a(-9)?
False
Let a be 266/35 - 3/5. Let f = 89 - a. Is f a multiple of 41?
True
Suppose 13*r - 3256 = 2*r. Does 74 divide r?
True
Let y be (-1 - -2)*(-6 + 81). Let m = -28 + y. Does 8 divide m?
False
Let y = -17 - -10. Let v = y - -56. Is 8 a factor of v?
False
Let c be (-12)/12 + (-1 - -39). Let j = -24 + c. Let x(k) = 3*k - 18. Is x(j) a multiple of 6?
False
Suppose 2*v + 3*t - 50 + 20 = 0, -5*v + 100 = -5*t. Let x = v - -24. Is 2 a factor of (1/(-3))/((-2)/x)?
False
Suppose 699 = 5*c - 3*j + 2*j, 3*c + 3*j = 423. Let y = c + -97. Is 7 a factor of y?
False
Let t(j) = j**2 - 7*j - 2. Let b be t(7). Let r(p) = p**3 + 4*p**2 + 3*p. Let o be r(b). Suppose w = -o*w + 24. Does 3 divide w?
False
Suppose 0 = 2*c - 1 - 3. Suppose a - 3*n = 153, -n + 326 = c*a + 48. Let v = a + -85. Is 14 a factor of v?
True
Suppose 52*n = -3*n + 110. Let g = 7 + -12. Is 10 a factor of n/g*(-600)/12?
True
Let n = 109 + -102. Suppose 69 - 13 = n*m. Does 4 divide m?
True
Let a be (-6)/((-6)/(-17)) - 4. Is 328/14 - a/(-49) a multiple of 4?
False
Let h = -33 + 38. Suppose s + 2*o - 243 = -21, o + 933 = 4*s. Suppose 5*n + 2 + 34 = j, n - s = -h*j. Is j a multiple of 15?
False
Does 10 divide 20/(-330) + 41592/198?
True
Suppose -19 = -l + 2. Is 14 a factor of ((-21)/(-9))/(2/4)*l?
True
Suppose z - 2128 = 5*o, z = -2*o - 470 + 2563. Is z a multiple of 38?
False
Let n = 96 - -2. Let r = n - -1. Is 25 a factor of r?
False
Let m(n) = n**3 + 21*n**2 - 28*n + 46. Is m(-22) a multiple of 13?
False
Let c be 4/(-10) + (-34)/(-10) + 511. Suppose -3*r = -3*j + 17 + 346, -2*r = 4*j - c. Does 12 divide j?
False
Let w(l) = l - 1. Let t(s) = -84*s + 72. Let d(n) = t(n) + 60*w(n). Is 16 a factor of d(-2)?
False
Let o(g) = -g**3 - 9*g**2 + 9*g - 9. Let t be o(-10). Suppose 0 = 2*f - 3*x - 7, 4*f - 11 = f + 5*x. Is 21 a factor of -5 + f + (67 - t)?
True
Let r be 51/12 - (-3)/4. Suppose r = 4*o + w, 3 - 4 = o + w. Suppose -90 - 42 = -o*c. Does 22 divide c?
True
Suppose 36*x - 270 = -18. Does 3 divide x?
False
Suppose 3*l + 2*y - 60 = -0*l, 5*l + 5*y = 95. Let z = l - -25. Is z a multiple of 16?
False
Let o be (-4)/(-6)*(-4 + 43). Suppose -5*p + 21 = 4*r, -5*p + o = -5*r + 86. Let j(d) = d**3 - 7*d**2 - 7*d - 11. Is j(r) a multiple of 11?
True
Let a(b) = -b**3 + 37*b**2 + 87*b. Does 13 divide a(39)?
True
Suppose -5*q + 3 = -2*q, -5*i - 2*q = -322. Suppose -i = -3*o +