a factor of q*(-5)/20*-26?
True
Let f(k) be the second derivative of 155*k**3/6 + 5*k**2 + 46*k. Does 16 divide f(2)?
True
Let k = -1 - 2. Let i be -4*(3 + k - 1). Suppose 16 = 2*s - 5*m, -3*s + i*m = 6 - 23. Is 3 a factor of s?
True
Suppose 7*l + 558 = 9*l. Does 31 divide l?
True
Let d(b) = -b**3 + 7*b**2 + 4*b - 8. Let f be d(7). Let w = 20 - f. Suppose w = z - 34 - 37. Is 15 a factor of z?
False
Is 4 a factor of (-108)/(-26) - 4 - 282/(-26)?
False
Let j = -256 - -391. Is 27 a factor of j?
True
Suppose 0*f = -2*f - 90. Let t = f - -75. Is t a multiple of 10?
True
Let f = -2 - -5. Suppose -4*w = f*l, 2*w - 4*w + 3*l = 0. Suppose 2*m - 1 - 5 = w. Does 3 divide m?
True
Let w(d) be the third derivative of d**6/120 - 3*d**5/20 + d**4/4 + 11*d**3/2 - 41*d**2. Is w(8) a multiple of 17?
True
Suppose -5*q + 3 = c - 0, 0 = 2*c - 6. Suppose 3*t - 1101 + 318 = q. Is t a multiple of 13?
False
Does 12 divide (-1444)/(-6) + 2/(-3)?
True
Let o be (-10)/(-45) + (-25)/(-9). Suppose o*l = l - 736. Is 13 a factor of 14/(-49) + l/(-14)?
True
Let g(n) = 2*n - 11. Let u be g(8). Suppose y - u*y = -20. Suppose -3*j - 269 = -7*j - 3*f, -y*j = -3*f - 343. Is 18 a factor of j?
False
Suppose i + 4*d = 1676, 5*i - 8311 = -3*d + 6*d. Is 104 a factor of i?
True
Suppose -s = 2*s. Let z be (-2 - s)*10/(-4). Suppose -3*a - 82 = -z*a. Is 21 a factor of a?
False
Suppose 0 = -2*p - 3*r + 677, -4*r = -5*p + 505 + 1199. Suppose 3*a - 2*l = -7*l + p, a = -l + 110. Is a a multiple of 10?
False
Let d(n) = 21*n**2 - 10*n + 6. Is 11 a factor of d(3)?
True
Suppose -3*b + 7*s - 3*s + 880 = 0, -4*b + 3*s + 1178 = 0. Is 37 a factor of b?
True
Let f = 320 - -4. Is 27 a factor of f?
True
Let d(l) be the first derivative of l**2 - 2*l - 2. Let m(w) = -w + 1. Let a(v) = d(v) + 3*m(v). Is a(-7) a multiple of 4?
True
Suppose 2*t + 4*n = 7*n + 1212, 4*t - 5*n - 2428 = 0. Is 17 a factor of t?
True
Let t be (-1)/(-4) - 774/24. Let p be (1/4)/((-8)/t). Is 19 a factor of -2 - p - 82/(-2)?
True
Let n(h) = 16*h**2 - 2. Let x be n(-1). Suppose 0 = 19*f - x*f - 345. Is f a multiple of 12?
False
Let f(v) = 70*v + 2. Let q be f(1). Suppose -2*k + q = -k. Is k a multiple of 13?
False
Let w(o) = o**2 - 5*o + 31. Does 2 divide w(4)?
False
Let i = -138 - -498. Is i a multiple of 23?
False
Let w(r) be the third derivative of 4*r**2 - r**3 + 0 - 1/120*r**6 + 0*r - 1/8*r**4 + 7/60*r**5. Is 4 a factor of w(6)?
True
Let w(f) = f**3 + 10*f**2 - 11*f + 16. Suppose 0 = -3*p + p - 2. Let o be (45 + p)/4*-1. Is 8 a factor of w(o)?
True
Suppose 7*b = 3*b + 248. Let h be (-1)/((8/b)/(-4)). Suppose 2*a = -3 + h. Is 3 a factor of a?
False
Let k be 1*7/((-21)/120). Is ((-1232)/k)/(2/5) a multiple of 5?
False
Let j = -8 + -25. Let n = j + 47. Does 3 divide n?
False
Suppose 0 = -0*g - 2*g, 2*b - 5*g - 12 = 0. Let u be (b + -7)*1*-3. Suppose 0 = 3*q + q + y - 17, -y + 12 = u*q. Does 4 divide q?
False
Suppose -4*r + 1251 = d - 6180, 0 = 5*r + 2*d - 9291. Does 83 divide r?
False
Suppose -2*r + 387 = 4*v - 255, 936 = 3*r - 3*v. Is r a multiple of 15?
True
Is 30728/48 - 35/(-42) a multiple of 15?
False
Suppose -5*w + z + 3 = -0, w + 4*z + 12 = 0. Does 13 divide -117*(-1 - w/(-4))?
True
Let h = -7790 + 11145. Is h a multiple of 95?
False
Let u be 12/(-8) + (-10)/(-4). Let k(y) = -4*y**3 - y. Let r be k(u). Let d(m) = 2*m**2 + 3*m - 4. Does 9 divide d(r)?
False
Let j = 10 + 14. Let m = -157 - -218. Let o = m - j. Is o a multiple of 12?
False
Let r(d) = -6*d**3 + 12*d**2 + 12*d - 2. Let i(g) = 5*g**3 - 12*g**2 - 11*g + 2. Let x(m) = 5*i(m) + 4*r(m). Let c = 8 - -5. Does 14 divide x(c)?
False
Let r = 114 - 111. Does 3 divide r?
True
Let m = 108 + -178. Let w = m + 133. Is 3 a factor of w?
True
Suppose 4*n + 0*n = 176. Suppose -2*a + 100 + n = 0. Is a a multiple of 18?
True
Let h = 52 + -60. Let i = 54 + h. Is i a multiple of 15?
False
Suppose -15*u = -8*u + 91. Suppose -61 - 51 = -4*k + 4*g, 0 = -3*k - 2*g + 94. Let q = k + u. Is q a multiple of 17?
True
Is 50 a factor of 228/95*2625/2?
True
Let s be ((-12)/42 - (-191)/7) + -2. Suppose -6 = 5*i + 24. Let z = i + s. Does 4 divide z?
False
Suppose -i + 3*i + 9 = 5*l, 0 = 2*i + l - 9. Suppose 2*b + 1 = -i*x, -3*x + x - 3 = -b. Is 28 a factor of (-1)/(b/39*-1)?
False
Let u(k) = 3*k**2 - 2*k - 14. Let m be u(15). Suppose j - m = -5*r, -2*j - 218 = -3*r + 158. Is r a multiple of 42?
True
Let z be (-2 - -3)/((-6)/(-18)). Let j(o) = -11*o**2 - o**2 - z*o**3 - 3*o + 7*o**2. Is 12 a factor of j(-3)?
False
Suppose 4*j + f = 2*f + 6, -2*j = -5*f + 6. Suppose -j = -2*z + z. Suppose v - 30 = -z*v - 3*i, -50 = -3*v + 2*i. Does 4 divide v?
False
Let j = 89 - -17. Let p = 14 + 4. Is 4 a factor of j/9 - (-4)/p?
True
Suppose 9*q - 3124 - 692 = 0. Is q a multiple of 41?
False
Suppose -3*q = -2*v - 1747, -2*q + 4*q - 1148 = -2*v. Is q a multiple of 6?
False
Suppose -2*w = 4*s - 50, 0*s = 2*s - 6. Let p = 52 - w. Does 12 divide p?
False
Let h = -1042 - -2516. Does 36 divide h?
False
Is (-1)/((-19)/(-665)*1/(-7)) a multiple of 9?
False
Let h(o) = o + 7. Let s be h(-4). Suppose 5 - s = k. Suppose -k*p + 6 = 0, -b = -2*p - 3*p + 6. Is b a multiple of 6?
False
Let x(b) = 368*b**2 + 11*b. Does 10 divide x(-2)?
True
Suppose -3*y = -3, 3086 = 3*q - y - 0*y. Is 21 a factor of q?
True
Suppose 0 = -5*m + 25, -2*o - 2*o + m = -67. Is 9 a factor of o?
True
Let l be -1*6*(-15)/6. Suppose f + l + 17 = 2*m, f + 31 = m. Let t = f + 76. Does 13 divide t?
False
Let u = 939 - -35. Is u a multiple of 29?
False
Suppose 9*o = 15*o - 828. Is o a multiple of 23?
True
Let k(a) = -a**3 + 17*a**2 + 2*a - 29. Let q be k(17). Suppose q*g + 1027 = 2*i + i, g = -5. Does 34 divide i?
False
Let b(o) = 3*o - 5 + 5 + 20. Suppose 0 = l - 2*h - 19, 5*l - 51 = l + 3*h. Does 8 divide b(l)?
False
Suppose -404 = -3*w + 256. Is 10 a factor of w?
True
Let a = 493 - 232. Does 33 divide a?
False
Let g = 242 - -817. Is g a multiple of 98?
False
Let f(r) = 19*r - 8*r**2 + 14*r**2 + 3 - 7*r**2 - 11. Is f(11) a multiple of 8?
True
Let j = 714 + -403. Let w = j - 79. Does 29 divide w?
True
Let m(c) = -c**3 + 9*c**2 - 30*c + 18. Is 18 a factor of m(-9)?
True
Let o be ((-250)/(-4))/(-5) - (-3)/6. Let j = 47 - 23. Let b = j + o. Does 2 divide b?
True
Let h = 16 - 12. Suppose -10 = -h*k + 2. Suppose -k*b + 6 = -b. Does 3 divide b?
True
Does 5 divide (-152)/(-1) + 7 - 2/(-2)?
True
Suppose 0 = -9*y + 4*y - 140. Does 12 divide (14/y)/(2/(-76))?
False
Is 24/(-36)*(-106 - -1) a multiple of 9?
False
Suppose 5437 - 41212 = -53*s. Is 33 a factor of s?
False
Let v(m) = m**3 + 8*m**2 + 3*m + 6. Let l(x) = -3*x**3 + 11*x + 30 + 9*x**3 + 41*x**2 + 4*x + 0*x. Let p(b) = -2*l(b) + 11*v(b). Does 12 divide p(6)?
True
Suppose -m = -a - 2*m + 5, 0 = 3*a + m - 11. Let z be a/(-12) + (-13)/(-4). Suppose 67 = z*h + 4*p, -h + 2*h + 3*p = 29. Is h a multiple of 10?
False
Suppose 5*p - 83 - 359 = 3*t, 2*p + 4*t = 182. Let b = p - -167. Is 16 a factor of b?
True
Suppose 3*y = -2*c + 390, -3*c + 770 = c + y. Is c a multiple of 12?
True
Let x = 590 - 96. Is x a multiple of 9?
False
Let g = 94 + -89. Suppose -5*d - 156 - 155 = -3*a, -5*a = g*d - 585. Does 14 divide a?
True
Suppose 3*m - u = 16, 0*u = m + u. Suppose -56 = 2*y - m*y. Is y a multiple of 14?
True
Suppose 0 = 5*h - 6*h - 22. Let x(d) = 2*d**2 - 2*d. Let v be x(5). Let p = v - h. Does 10 divide p?
False
Let h(l) = 2*l**2 + 51*l - 7. Is h(-26) a multiple of 6?
False
Let i(o) = o**2 + 7*o - 4. Let w be i(-7). Let d = 3 - w. Let j(a) = -a**3 + 8*a**2 - 6*a + 9. Is j(d) a multiple of 8?
True
Let x(f) = 23*f**2 + 2*f + 1. Suppose 4*g + 14 = -0*j - 2*j, 5*g = -2*j - 18. Is x(j) a multiple of 12?
False
Suppose -141 = -l + 188. Is l a multiple of 7?
True
Suppose -a - 729 = -5*j + 2*a, 0 = -2*j + 4*a + 300. Let y = j + -51. Suppose b = -5*p + 4*b + y, 4*b - 68 = -4*p. Is 4 a factor of p?
False
Let a(w) = 50*w**3 - w**2 + 2*w + 1. Let s be a(2). Let p be 6 - (4/(12/(-9)) - 1). Suppose 5*t = -2*j + s, 4*t - 340 = 3*j - p. Is t a multiple of 27?
True
Let b(k) = -k**3 - 10*k**2 - 8*k + 9. Suppose -h - 9 = 5*s, 4*h = 3*s + 5 - 41. Let w be b(h). Let d(a) = a + 12. Is 12 a factor of d(w)?
True
Let u = -41 - -43. Suppose 4*n - 2*m - 544 = u*m, 2*n + 5*m = 244. Does 31 divide n?
False
Suppose -a = 36 + 6. Does 45 divide (-12)/42 + (-1475