6 = -4*b. Suppose -3*r = 7 + 8, q - 4*r - b = 0. Does 23 divide q?
True
Let l(m) = 20*m**3 - 41*m**2 - 4*m - 15. Is 16 a factor of l(5)?
True
Let k(d) be the first derivative of d**3/3 + 3*d**2/2 + 38*d + 14. Let j be k(-7). Let o = 122 - j. Does 14 divide o?
True
Let h(q) = 12*q**2 + 157*q + 12. Does 77 divide h(13)?
True
Does 78 divide ((1/(-2))/(-1))/(2/34108) - -5?
False
Suppose 261*y = 258*y - 18, 3*i - y - 24258 = 0. Is 47 a factor of i?
True
Let l = 347 - 420. Is 3 a factor of 4*15/(-30)*l/2?
False
Let o be (-14 + 5)/(-1*1). Suppose 3*j = d - 4*d - 3, -d + j + o = 0. Suppose 216 = -d*g + 1124. Is 24 a factor of g?
False
Suppose -6 = -2*d, -2*j + d = j + 156. Let n = -1492 + 1585. Let g = j + n. Is 29 a factor of g?
False
Suppose -5*o + 765 = i, -3*o + 4*i - 201 + 660 = 0. Suppose -o*c + 148*c = -560. Does 7 divide c?
True
Let z(m) = -m**3 - 5*m**2 + 7*m + 10. Let x be z(-6). Suppose 43 = x*r - 409. Is 14 a factor of r?
False
Let t(q) = -4*q + 44. Let j be t(9). Is 2 a factor of -7 - (-91 - (4 - j))?
True
Let b = 290 - 113. Suppose -183*p = -b*p - 984. Does 24 divide p?
False
Let v = -969 + 6423. Is v a multiple of 37?
False
Let i(n) be the second derivative of n**3/3 + 17*n**2 + 26*n. Let x(f) = -8*f - 137. Let k(w) = -9*i(w) - 2*x(w). Is k(-26) a multiple of 3?
False
Suppose 47925 + 110873 = 30*l - 13402. Does 82 divide l?
True
Let l(i) = -20*i - 106. Let j be l(-7). Is ((225/6)/(-3))/((-1)/j) a multiple of 17?
True
Let h be ((-123)/(-6))/(2/12). Suppose 0 = -4*k + 3405 + h. Does 18 divide k?
True
Let p be 4*(-3)/(-2) - 3. Suppose -339 = -p*w + 348. Does 38 divide w - ((-20)/(-5) - 3)?
True
Let v(a) = 1544*a**2 - 79*a - 78. Does 15 divide v(-1)?
True
Let t(y) be the third derivative of -7*y**4/24 + y**3/2 + 6*y**2 + 3*y. Is t(-51) a multiple of 10?
True
Let d(o) = -5*o**2 - 3*o - 12. Let f(q) = 6*q**2 + 4*q + 11. Let c(j) = -3*d(j) - 2*f(j). Suppose 0 = -3*v - l + 6*l + 15, 15 = -5*l. Is c(v) a multiple of 6?
False
Let b be ((-60)/(-24))/(((-15)/(-12))/1). Suppose -12*g - 12 = -8*g, 3*g + 245 = b*q. Does 59 divide q?
True
Let n(w) = -2*w**2 - 15*w + 25. Let g be n(-9). Does 29 divide (g + 16/12)/((-4)/5394)?
True
Suppose -5*a = -s + 1243, 4*a + 1246 = -a + 2*s. Let u = a - -304. Does 2 divide u?
True
Let k(n) = 26*n + n**3 + 16*n**2 + 29*n + 22*n - 63*n. Is k(-7) a multiple of 15?
False
Let v be (-682)/(-154) + (-4)/(-7). Suppose -v*k = 3*z - 0*z - 1423, 4*k = 2*z - 978. Is 13 a factor of z?
True
Suppose -4*p - 3876 = -4*y, -5*y + 0*y = -2*p - 4833. Does 37 divide y?
False
Suppose -190*i + 95013 = -181*i. Is 27 a factor of i?
True
Suppose -3*o - 5*r - 212 = 59, -3*o - 278 = -2*r. Let g = o + 99. Does 7 divide g?
True
Let l(m) = 51*m + 8. Suppose -290 = 5*o + 5*t, -7*t + 4*t = -o - 58. Let x = o - -60. Is l(x) a multiple of 22?
True
Let t(f) = -f**3 - 33*f**2 - 81*f + 89. Let h be t(-30). Let g = 490 + -229. Let s = h + g. Is 8 a factor of s?
True
Let i be 30/(-9)*(-36)/5. Suppose -i*t = -26*t - 20. Is 9/(-6) - 1445/t a multiple of 11?
True
Let c(t) be the first derivative of t**2/2 - 6*t - 8. Let p be c(8). Suppose 0*s + 86 = p*s. Is 9 a factor of s?
False
Let q = -55 - -63. Suppose h - q = 5*h. Let d(x) = 33*x**2 + 4*x + 9. Does 15 divide d(h)?
False
Suppose -3*g = b - 91, 0 = 2*b + 6*g - g - 179. Suppose 2*h = -2*s + 36, -3*h + 7*h = 20. Suppose q = 5*l - b, l - 11 = 4*q + s. Is l a multiple of 4?
True
Let p = 23 - 15. Let b(n) = n**3 - 4*n**2 - 5*n + 12. Is b(p) a multiple of 7?
False
Suppose 2*f + w - 5168 = -f, 0 = -3*f + 5*w + 5192. Is 14 a factor of f?
False
Suppose -16*t + 484 = -5*t. Suppose -t - 71 = -5*l. Is l a multiple of 16?
False
Let p(w) = 48*w + 32. Let b(c) = 239*c + 162. Let q(z) = -2*b(z) + 11*p(z). Does 9 divide q(1)?
False
Let k(m) = 83*m - 24. Suppose -3*q + 5*l + 14 = 5, -l - 12 = -4*q. Is k(q) a multiple of 75?
True
Let a be (-3 - (0 - 3)) + (-6)/(-2). Suppose -a*m + 3 = p - 4, -3*m + 4*p + 32 = 0. Suppose c + 4*x - 44 = 3*x, -m*c = -2*x - 188. Is 23 a factor of c?
True
Let x = 77 + -67. Suppose 3*a - 2*t - 10 = -2*a, 2*t = -x. Suppose -2*z + 18 = -a. Is z a multiple of 4?
False
Suppose 0 = -2*a - 8, 2*d + 495*a - 496*a - 24340 = 0. Is 18 a factor of d?
True
Does 14 divide (-5 - 1) + (29 - -10099)?
True
Suppose 0 = 2*q - w - 19784, 49454 = 28*q - 23*q - w. Is q a multiple of 115?
True
Suppose 25*f = 22*f + 114. Let o = -33 + f. Suppose -o*q = 4*b - 172, 7*q = b + 4*q - 60. Is 12 a factor of b?
True
Let s(g) = -57*g**3 - 5*g**2 - 8*g - 1. Let i be s(-4). Suppose 19*v - i = 2709. Does 95 divide v?
False
Let c = 2045 + 1822. Is c a multiple of 94?
False
Let z be (-4)/6*(-5 + 14). Let r(s) = s**2 + 6*s - 1. Let x be r(z). Let v(u) = -50*u**3 + 2*u**2 + 2*u + 1. Is 24 a factor of v(x)?
False
Let g be (-12)/(-30) + (-7536)/(-10). Let h = g + -509. Is 82 a factor of h?
False
Let k be (-130)/(-25) + -5 - 24/(-5). Is ((-2)/k)/(55/(-56925)) a multiple of 18?
True
Let v(j) = -j**2 - 53*j + 908. Does 26 divide v(-54)?
False
Let p be (11/11)/((-2)/2038). Let h = -707 - p. Suppose 4*v - h = 2*k, -v - 5*k + 360 = 4*v. Is 38 a factor of v?
True
Suppose 2*d - 9 + 15 = 0. Is d/(((-2036)/(-340) - 4) + -2) a multiple of 38?
False
Suppose -33*h - 20*h - 7*h + 1677780 = 0. Does 9 divide h?
True
Suppose 783127 + 1116610 = 68*u - 6507. Is 12 a factor of u?
False
Let h(u) = -u**3 + 6*u**2 - 5*u + 11. Let g be (2/2*-3)/(-1). Suppose 0 = 2*t + 4*s + 2, -4*s + 8 = g*t + t. Does 2 divide h(t)?
False
Does 7 divide 24/(-108) + 104280/27?
False
Let d = 134 + -14. Let u = 262 - d. Does 6 divide u?
False
Let b(k) = 2*k**2 + 17*k + 49. Let r be b(-5). Is 4/r - 51522/(-434) a multiple of 3?
False
Let a(u) be the second derivative of u**3/6 + 23*u**2 + 2*u. Is a(20) a multiple of 6?
True
Suppose -3 = -12*d + 11*d. Suppose 4*i + p + d = 0, 3*p + 3 = -5*i - 6. Is 10 a factor of (-2 - i)/1 + 95 + -3?
True
Suppose -6*j + 7084 = j + 4*j. Is j a multiple of 53?
False
Suppose -4*c - 2716 = -j, -5320 = -5*j + c + 8393. Does 8 divide j?
True
Suppose 2*h = -5*f + 60580, -7*f = 54*h - 52*h - 84812. Is f a multiple of 13?
True
Let d = -30 - -51. Suppose 3*z = -4*z + d. Suppose z*c + 8*u = 4*u + 69, -4*c + 67 = -3*u. Is c even?
False
Suppose -11*w + 49556 = 10946. Suppose b - 4*r - 679 = 0, -3*r - w = -4*b - 859. Is b a multiple of 23?
False
Let v(t) = 153*t**2 + 6*t - 7. Let x be v(3). Suppose 0 = 32*h - x - 4852. Is h a multiple of 13?
True
Let c be -2*((-16182)/(-12))/(-3). Suppose 0 = -7*b + c - 66. Is b a multiple of 6?
False
Let c be 6/27*-30*(-45)/(-30). Does 5 divide (4/c - (-41658)/(-30))/(-3)?
False
Suppose 0 = -5*q - 3*n - 2*n + 35, 0 = 2*n + 10. Suppose 7*i = q*i - 30. Suppose 2*r = 8, -2*k - 3*r - 320 = -i*k. Is 9 a factor of k?
False
Suppose -10*c - 2*c = -7*c. Is (-11 - (c - 6)) + 578 a multiple of 64?
False
Suppose -81*j + 584984 = 117361 - 165068. Is 107 a factor of j?
True
Let p(h) = h**3 - 2*h**2 - 7*h + 14. Let b be p(3). Suppose b*o + 2*k + 34 = 0, 93 - 28 = -4*o - k. Let t(c) = -10*c + 24. Is t(o) a multiple of 46?
True
Let z = 20707 - 13850. Does 7 divide z?
False
Let q be 87408/56 - 18/21. Suppose -3*b = -0*b - 2*s - 2340, -2*b + q = 2*s. Is b a multiple of 10?
True
Let c = 1076 - -7240. Is c a multiple of 77?
True
Suppose 940706 = 239*p + 390167 - 940821. Does 6 divide p?
True
Let o = 5542 - -3925. Is o a multiple of 188?
False
Let v be 6/9*2*18. Let m = 5 + v. Let g = 28 + m. Is 4 a factor of g?
False
Suppose -6*t + 9811 = -1271. Is 13 a factor of t?
False
Let o(x) = -3*x**2 - 20*x - 10. Let q be o(-6). Does 9 divide 8 + (449 - (0 + q))?
False
Suppose -k = -4*x + 213, -2*x - 2*k = 3*x - 263. Suppose -3*m + 4*w + 46 = 0, -4*m + 0*m + x = 3*w. Suppose -12*s - 22 = -m*s. Is s a multiple of 5?
False
Let o(b) = 3*b**2 + 8*b + 178. Is 158 a factor of o(26)?
False
Let l = 12379 - 5044. Is 163 a factor of l?
True
Suppose -168*y + 165*y - 375 = 0. Let q = 125 + y. Suppose q*m + 270 = 5*m. Is m a multiple of 9?
True
Is 14 a factor of 123875/(-50)*(24/18)/(20/(-18))?
False
Let l(w) = 14*w**2 + 4*w + 3. Let a = -7 - -16. Let j = a + -11. Does 13 divide l(j)?
False
Let s(k) = 833*k - 1308. Does 11 divide s(7)?
False
Let f(b) be the second derivative of -b**3/3 + 2*b**2 - 30*b. Let h be f(9). Let o(z) = -z**2 - 16*z + 1. Is 16 a factor of o(h)