e c?
False
Let g(w) = w**2 + 5*w - 3. Let b be g(-8). Let t = 7 + b. Does 6 divide t?
False
Let n = 128 - 128. Suppose n = 4*h - 72 - 528. Does 30 divide h?
True
Let q be (54/(-45))/(4/(-90)). Let c = 53 + q. Suppose -3*p + c = 2*p. Is p a multiple of 4?
True
Let w be (-59)/((-5)/2 + 2). Let r = -45 + w. Is 7 a factor of r?
False
Suppose -4*h + 2*y + 16 = 0, 3 + 1 = -2*y. Suppose -4*p - 16 = h*o - 0*o, -o - 5*p = 20. Suppose o = 3*c - 9, r - 3*r - 4*c + 60 = 0. Does 12 divide r?
True
Suppose 24256 = 21*u - 9764. Is 15 a factor of u?
True
Let q(r) = -r**3 + 8*r**2 + 22*r - 15. Let t be q(10). Suppose -5*d + 1280 = t*n, 0 = 4*n + d + d - 1028. Does 31 divide n?
False
Let h(k) = -k**3 - 3*k**2 + 4*k + 3. Let y be h(-4). Let t(m) be the first derivative of m**3/3 - m - 10. Is t(y) a multiple of 3?
False
Suppose -24 = 4*f - 8*f. Let z be f/(-8)*(1 - -7). Does 3 divide 2/((-7)/(441/z))?
True
Let a(u) be the first derivative of u**3/3 - 9*u**2/2 + 17*u + 29. Is a(9) a multiple of 2?
False
Let j(a) = -a**3 + 8*a**2 - 6*a - 5. Let b be j(7). Suppose -5*y = -3*v + 294, -2*y + 6*y = -b*v - 222. Let f = y - -88. Is 24 a factor of f?
False
Let d(p) = 2*p**2 - 3*p + 1. Let b be d(2). Let i be 14 - ((-56)/8 + 0). Is 7 a factor of (1 + 2)/b*i?
True
Suppose -3*o + 3798 = -l, -2*o - 722 = 3*l - 3265. Is 7 a factor of o?
True
Let a = -7 - -11. Let z(v) = -v**3 + 4*v**2 - 3*v + 9. Let f be z(a). Does 24 divide 22*(f - 26/(-4))?
False
Does 12 divide (128/(-24) + 4)/(6/(-4806))?
True
Let p be 100 - (4 - (3 + -1)). Suppose 2*l - 30 - p = 0. Does 16 divide l?
True
Suppose -2*s - 3*m = -1494, 82*s - 86*s = -3*m - 2970. Is 12 a factor of s?
True
Let o = 13 + -11. Suppose 0 = -3*x + o*k + 180, -4*x - 4*k = 1 - 221. Is 29 a factor of x?
True
Let c = -9 + 24. Is 38 a factor of 30*110/c - -3?
False
Is 114 a factor of (-733473)/(-1287) - 2/(-22)?
True
Let r = -2142 + 3009. Does 51 divide r?
True
Let v(n) = 27*n - 74. Let i(t) = 13*t - 37. Let d(c) = 9*i(c) - 4*v(c). Does 14 divide d(15)?
True
Let k(i) = -35*i - 190. Is k(-18) a multiple of 6?
False
Let m = -67 - -72. Suppose m*k - 647 = 458. Does 28 divide k?
False
Let f(r) = -r**2 + 52*r - 21. Does 9 divide f(13)?
True
Let b(w) = w - 3. Let a be b(-11). Is 13 a factor of (-4 - -5) + -2 - a?
True
Suppose 3*k + 2*m + 282 = 7*k, 357 = 5*k - m. Suppose 0 = -2*g - 64 - 22. Let q = k + g. Does 9 divide q?
False
Is (-2788)/(-3) - (-168)/(-126) a multiple of 103?
False
Let k be (-3 + 4)*-4 + 349. Suppose -6*r + r + k = 0. Is 17 a factor of r?
False
Suppose 0 = -4*k + 9 + 23. Let l be (2 - 1) + k + -7. Suppose -l*u + 2*r + 16 = 0, 5*r - 3 = 22. Is 5 a factor of u?
False
Suppose 0 = 6*z - 3*z - 9. Suppose 0 = 2*r + 5*q - 73, 3*r = z*q + 25 + 32. Suppose -r = 4*t - 6*t. Does 12 divide t?
True
Let i = -9 + 9. Suppose 3*g - 605 = -5*p, i = p - 5*p + g + 501. Let s = -85 + p. Is 14 a factor of s?
False
Let d be 1783/13 - 12/78. Suppose 8*x - 9*x = -d. Is x a multiple of 16?
False
Let a(c) = 7*c - 3*c + 13 + c. Let u be a(-12). Let r = -25 - u. Does 6 divide r?
False
Is 6 a factor of 106 + 33 - (-1 - -8)?
True
Let l = 257 - -36. Is 15 a factor of l?
False
Suppose -3*x + 4 = -5*f, 0*x + 5*f - 17 = -4*x. Suppose -x*n = -o - 211 + 77, -5*o - 186 = -4*n. Is n a multiple of 11?
True
Let z be (-5)/((-20)/3)*32. Let w = z - 4. Is w a multiple of 20?
True
Suppose -3*j - 122 - 40 = 5*g, 0 = 2*g + 2*j + 68. Let o = g + 66. Suppose -2*q = -0*q - o. Does 4 divide q?
False
Let f(t) = t**2 + 8*t + 2. Let p be f(-8). Is (-20)/5*(-13)/p a multiple of 6?
False
Suppose 0 = 2*r + 8*r - 2*r. Suppose 10*o + 2*o - 1032 = r. Does 36 divide o?
False
Let s = 17 + -23. Let y be (72/27)/((-4)/s). Suppose -k + 86 = k + 4*l, -2*l + 196 = y*k. Is 13 a factor of k?
False
Suppose 0*n - 145 = -5*n. Suppose -5 = -2*w - 3, -2*i + w + n = 0. Let p(x) = x**3 - 14*x**2 - 14*x + 15. Is p(i) a multiple of 10?
True
Suppose 0 = p + 1 - 8. Let k be 4*22/28*p. Suppose 2*n + u - k = -u, 4*u = n + 4. Is n a multiple of 8?
True
Let t(m) = -m**3 + 14 + 10 - 18 + 12*m**2 - 5*m. Is 8 a factor of t(11)?
True
Let o be 2*30/(-3)*6/4. Let t = o - -60. Is 6 a factor of t?
True
Suppose -5*u + 3*u + 6072 = 5*z, -z - u + 1215 = 0. Does 13 divide z?
False
Let i(f) = 73*f - 238. Does 16 divide i(22)?
False
Let o(v) be the second derivative of -v**3/6 - 15*v**2 - 12*v. Let n be o(0). Is 12 a factor of (2 + 60/(-25))*n?
True
Let b(g) = -g**3 - 2*g**2 + 2*g + 1. Let h = -14 + 11. Let v be b(h). Does 14 divide v/(-10) - (-1736)/40?
False
Is 4 - 1*(-1580)/4 a multiple of 57?
True
Suppose 36 = -2*i + 42, 828 = 3*y - 4*i. Does 10 divide y?
True
Is 30 a factor of 8239/11 + -4 + (9 - 4)?
True
Suppose 24*f - 40*f = -3200. Is 8 a factor of f?
True
Suppose 0 = -v - v + 616. Suppose 2*q + 2*q - v = 0. Does 11 divide q?
True
Let a be 57843/33 + (-2)/(-11). Is 39 a factor of (-3)/((-21)/a) + 39/(-91)?
False
Let h(f) = 5*f**2 - 10*f - 6. Let b be h(-5). Let d = 241 - b. Is 9 a factor of d?
True
Let o = -370 + 607. Is 10 a factor of o?
False
Let w = 209 + -131. Is 14 a factor of -3 - (-4 - -9 - w)?
True
Suppose 670 = -9*c + 13*c + p, -3*c = 5*p - 494. Is 6 a factor of c?
True
Suppose 2*f - 2167 = 5*k + 224, 0 = 4*f - k - 4737. Is f a multiple of 91?
True
Let f(q) = -q**2 - 34*q - 72. Is f(-28) a multiple of 19?
False
Is (-6)/3 + (2 - 55*-1) a multiple of 5?
True
Suppose 2*m - 77 = -2*k + 23, 0 = -5*m + 2*k + 229. Suppose -h = -30 - m. Does 8 divide h?
False
Let b(g) = -109*g + 9. Is 42 a factor of b(-3)?
True
Let u(q) = q**3 - 5*q**2 - 3*q + 1. Let o be u(6). Suppose -5*k = -h - 144, -k - 2*h = -o - 1. Is 12 a factor of k?
False
Let q be (36/20 - 1)*5. Suppose 7*i - q*i + 5*v = 71, -20 = -i + 2*v. Is i a multiple of 13?
False
Suppose 7*u = 9*u - 360. Suppose 2*p = 4*p - u. Does 18 divide p?
True
Let v(m) = 31*m**3 - 3. Is 37 a factor of v(2)?
False
Suppose 4*l + p + 2*p - 33 = 0, 3*l - 30 = -4*p. Is (1/(-2))/(l/(-3600)) a multiple of 25?
True
Suppose -5*w + w = 2*o - 2248, -3*o + 3370 = 4*w. Is o a multiple of 102?
True
Let o be (-193)/6 + 3/18. Is 16 a factor of o/((-4 - 0) + 3)?
True
Let c = 174 + 66. Is 37 a factor of c?
False
Suppose -2*l - 3*y + 1296 = 0, -y - 766 = -l - 118. Is l a multiple of 27?
True
Let r(b) be the first derivative of -b**3/3 + 15*b**2/2 + 18*b + 21. Does 20 divide r(12)?
False
Suppose -b - 10 = -4*o - 2*b, 0 = -o + b + 5. Suppose o*v + 2 = 14. Suppose -v*d = -d - 90. Is 15 a factor of d?
True
Let a(k) be the third derivative of -7*k**4/24 - 7*k**3/2 - 5*k**2. Is 3 a factor of a(-7)?
False
Suppose -5*k = 5*h - 4555, -3*k - 5*h - 4605 = -8*k. Is k a multiple of 18?
False
Suppose 11*l - 9828 = -10*l. Is 9 a factor of l?
True
Suppose -u + 3*j + 534 - 57 = 0, -3*j - 3 = 0. Is 5 a factor of u?
False
Let f(b) = -15*b + 67. Does 11 divide f(3)?
True
Suppose 0*h + 123 = 3*h. Suppose 20 = 5*r, l + 2*r + r - h = 0. Is 13 a factor of l?
False
Let h(p) = p**3 - 4*p**2 + 3*p - 5. Let t be h(4). Let y(u) = 2*u - 10. Let j be y(t). Suppose 2*d = w + 29, -j*d + 4*w = -60 - 0. Is d a multiple of 7?
True
Suppose 8*g = 3*g. Let t be 6 + g/(0 + -5). Suppose -105 = -5*p - t*f + f, -2*f - 34 = -2*p. Does 9 divide p?
False
Let u be (-434)/(-8) + (-3)/(-4). Let y = u + -17. Let j = -16 + y. Is j a multiple of 11?
True
Suppose -3*d = -7*d + i + 6308, -3*d = -3*i - 4722. Is d a multiple of 22?
False
Let k(f) = 8*f**2 + 115*f - 37. Does 50 divide k(-23)?
True
Let k(w) = -19*w**2 + 12*w - 24. Let q be k(12). Is q/(-30)*1/((-8)/(-20)) a multiple of 32?
False
Suppose 5*d - 9*c + 5 = -4*c, 4*c + 26 = -d. Is ((-10)/(80/84))/(d/88) a multiple of 20?
False
Suppose -4536 = 142*s - 150*s. Is 21 a factor of s?
True
Suppose 3*n - 4 - 8 = 0. Is 8/(-4) - (-64 - n) a multiple of 33?
True
Suppose 7*s - 2*w = 2*s + 435, s = -2*w + 99. Let n = s + -33. Suppose 6*o - n = 76. Is 11 a factor of o?
True
Suppose -g - 209 = -4*a, 4*g - 5*g = -5*a + 261. Let x(t) = t. Let n be x(0). Suppose n = -3*p + 7*p - a. Is 5 a factor of p?
False
Let i(r) = 8*r**2 - 3*r + 12. Is 6 a factor of i(-6)?
True
Let l(r) be the first derivative of r**6/120 + 7*r**5/60 + 7*r**4/24 + r**3/2 + 9*r**2/2 - 6. Let j(g) be the second derivative of l(g). Is 9 a factor of j(-5)?
True
Suppose 0 = 3*b - 4*j + 17, -5 = -5*b + 3*j - 26. Let p = b - -21. Does 6 div