et q(m) be the first derivative of m**3/3 + 37*m**2/2 + 9*m - 110. Is q(7) a multiple of 38?
False
Suppose -12*x + 1295 = -5701. Let s = 134 + x. Does 14 divide s?
False
Let u = -51 - -42. Let t be ((-13)/39)/(1/u). Suppose 462 + 105 = t*c. Is c a multiple of 9?
True
Let c(o) = -16*o**2 + 2*o - 63. Let x(l) = 13*l**2 - l + 64. Let b(u) = 4*c(u) + 5*x(u). Is 13 a factor of b(13)?
False
Let b(a) = -a**3 + 14*a**2 - 15*a + 28. Let u be b(13). Suppose 5*o = u*h - 332, -h - 3*h - 2*o + 640 = 0. Suppose c - h = 39. Does 50 divide c?
True
Let d = 34 + -34. Let u(k) = 9 - 15 - 12 + d*k - 8*k. Is 21 a factor of u(-18)?
True
Let m(k) = 38*k - 53. Let b be m(3). Let h = 193 - b. Is 33 a factor of h?
True
Suppose o = 5*h - 45307, 2*o + 105 = 91. Does 6 divide h?
True
Suppose 4 = 4*z - 12, -2*s + 22 = 3*z. Suppose 45 = 5*x - s*a, 2*x + 4*a - 8 = a. Is x even?
False
Suppose 4*b - 672 = 2*b. Let c = 786 - b. Suppose -c = -7*f + 2*f. Is 18 a factor of f?
True
Let c(n) = -17*n**2 - 17*n - 14. Let k(z) = -6*z**2 - 6*z - 5. Let r(t) = 3*c(t) - 8*k(t). Let y be r(-4). Is 35 a factor of 2*y*((-15)/6 - 0)?
False
Let g be ((-4)/(-8))/(1/116). Suppose 3*y - 214 = -g. Suppose z = 2*v + 69 - 17, z - y = 5*v. Is z a multiple of 26?
True
Let x = 17317 + 3391. Suppose -9*i + 40*i = x. Does 47 divide i?
False
Let g(h) be the first derivative of 33*h**2/2 - 11*h - 189. Is 38 a factor of g(13)?
True
Let a(c) = -c**3 - 29*c**2 - 127*c - 20. Is 23 a factor of a(-35)?
False
Let l be (-5)/1 + 1/(1/2044). Suppose 6*d - l = 835. Is 13 a factor of d?
False
Suppose -891 = i - 145. Does 11 divide i/(-2) - (10 - (-5 - -10))?
False
Suppose -45 = -5*q + 5*z - 0*z, z = 2*q - 19. Suppose -11 = -q*n + 899. Does 13 divide n?
True
Suppose -37 = -22*s + 249. Let n(m) = 31 + 0*m + 3*m - 2*m. Is n(s) a multiple of 11?
True
Let n(r) = -r**3 - 3*r**2 - 14*r - 4. Let c be n(-3). Let l = c + 40. Is l a multiple of 3?
True
Let r = -556 + 4570. Does 29 divide r?
False
Let l be 225/30*(-4)/6*1. Let f be 8/(5/23*(-2)/l). Suppose 118 + f = 6*o. Is o a multiple of 10?
False
Suppose -69*s + 65*s = -3*u - 22842, 5*s - 28554 = 3*u. Does 51 divide s?
True
Let i = 177 + -172. Suppose -2*t - 4*p + 67 = -89, 0 = i*t + 2*p - 422. Is t a multiple of 9?
False
Suppose 196*u - 188*u = 40664. Does 13 divide u?
True
Let f be (-2)/(4 + 3246/(-813)) + 2. Let t = f + 399. Is t a multiple of 6?
False
Let m(a) = 5*a**3 - 3*a**2 + 247*a + 13. Is m(12) a multiple of 18?
False
Let a be -1 - 8/(-24) - (-41)/3. Suppose 8*m + 5*r + 530 = a*m, -m - 3*r = -90. Is m a multiple of 10?
False
Let x = 152 - 280. Let o be (4 + x/20)*-5. Suppose o*k = 3*k + 567. Does 9 divide k?
True
Let a = 38 - 33. Let t(n) = -111*n - 1. Let p be t(-2). Suppose o + 2*r = p, 867 = a*o + 5*r - 223. Is 18 a factor of o?
False
Suppose -4*d + 3*a = -80540 - 112514, 5*d - 241364 = -4*a. Is 163 a factor of d?
False
Let u = 3432 + 3598. Does 110 divide u?
False
Let p(t) = t**2 + 29*t + 16. Let x(r) = r**2 + 30*r + 17. Let k(y) = -6*p(y) + 5*x(y). Suppose 115 = -158*f + 153*f. Is 4 a factor of k(f)?
True
Suppose 0 = -42*k + 102822 + 123138. Does 138 divide k?
False
Suppose 28*g - 14*g + 5810 = 0. Let q = g + 531. Is q a multiple of 15?
False
Let q(u) be the third derivative of 23*u**6/120 + u**5/30 - u**4/12 + u**3/6 + 3*u**2. Let b be q(1). Does 6 divide (-666)/(-21) + (b/28)/3?
False
Suppose -21151 + 2809 = -2*y - 5*v, -18324 = -2*y - 2*v. Is 14 a factor of y?
True
Let d(f) = 10*f - 116. Let w be d(13). Suppose -w*z + 10*z = -840. Does 14 divide z?
True
Let p(b) = 9326*b + 4937. Is p(3) a multiple of 106?
False
Let y(r) = -r**2 + 28*r + 149. Let i be y(28). Let p = 403 - i. Does 5 divide p?
False
Suppose 4*y = 21 + 19. Let j = -10 + y. Suppose j = -6*f + 262 - 16. Does 33 divide f?
False
Is 21 a factor of 232*(6 - 161/28)*(-1255)/(-10)?
False
Let v = -12188 + 17849. Is v a multiple of 51?
True
Let i(d) = d**3 + 10*d**2 - 11*d + 2. Let x = -28 - -17. Let f be i(x). Is 5 a factor of (-3)/(f + 46/(-20))?
True
Let b(a) = a**3 - 7*a**2 + 7*a - 9. Let p be (-33)/(-22)*(-16)/(-2). Let f(i) = i - 5. Let s be f(p). Is b(s) a multiple of 20?
True
Let j = 139 - 127. Suppose j*r + 2*c - 232 = 8*r, -3*r + 4*c = -185. Is r a multiple of 3?
False
Let b be ((-27)/15)/((-1)/(-335)). Let z = 939 + b. Is 14 a factor of z?
True
Let m(v) = -230*v + 162. Let z(r) = -228*r + 159. Let j(p) = 3*m(p) - 4*z(p). Is 15 a factor of j(5)?
True
Is 41823/6 + 7 + -1 + 4/(-8) a multiple of 129?
False
Let d(l) be the third derivative of l**5/10 - l**4/12 + 16*l**3/3 - 68*l**2. Is d(-13) a multiple of 14?
False
Suppose 64*y - 60*y = 0, 0 = -5*b + 4*y + 14725. Is 35 a factor of b?
False
Let t(p) be the first derivative of 0*p + 1/2*p**2 + 1/3*p**3 + 4*p**4 - 27. Is 15 a factor of t(2)?
False
Let c = 29 + -11. Suppose 0 = 2*p - 8 + c. Is (-272)/(-2) + 9 + p a multiple of 13?
False
Let y(n) = 67*n + 147. Let u be y(7). Let f = u - 367. Does 2 divide f?
False
Is 12 + 27930/10 - (4 + 1) a multiple of 112?
True
Let j(s) = -24*s - 9. Let a be j(-6). Let f = -65 + a. Let g = -54 + f. Is g a multiple of 16?
True
Let l(y) = 2*y**3 - 33*y**2 - 39*y + 214. Is 2 a factor of l(18)?
True
Let p = -51 - -58. Suppose -2*m = p*m - 378. Let b = m + 0. Is b a multiple of 21?
True
Suppose 0 = -5*a + 2*a - 15. Let i be ((-16)/(-20))/4 + 11/a. Let l(g) = -17*g + 2. Is l(i) a multiple of 9?
True
Let o = 4 - 24. Let r = o + 31. Suppose 13 = -r*p + 12*p. Is 2 a factor of p?
False
Let z(o) = -4*o**2 - 7*o. Let r be z(5). Let t be r/(-81)*5/((-10)/(-408)). Suppose 0 = 4*k + 6*d - 3*d - 305, 0 = 4*k - 4*d - t. Is 20 a factor of k?
True
Let f(g) = -g**2 + 13*g + 50. Let q be f(-5). Does 5 divide (-3)/(-12) + 2*(-95)/q?
True
Let h = 1536 + -1532. Suppose -5*f = -0*f - 1410. Suppose d = h*d - f. Does 18 divide d?
False
Let c = 7416 - 2598. Is 66 a factor of c?
True
Let q(o) = -22*o**3 + 9*o**2 + 8*o + 27. Let h be q(-7). Suppose 0 = -8*y - 2326 + h. Does 44 divide y?
True
Suppose 9 = 3*h + 39. Let x(i) be the second derivative of i**4/12 + 11*i**3/6 + 25*i**2/2 + 94*i. Does 5 divide x(h)?
True
Let j be (-3)/2*(-3 + -6)*-2. Does 18 divide j/(24/16 - 2)?
True
Suppose 2*q - 168 = 5*z - 2*z, 0 = 3*z + 12. Suppose 0*p - 106 = 2*p. Let m = q + p. Is 17 a factor of m?
False
Suppose 4*s + 4*x + 239 = -141, 4*s - x + 385 = 0. Suppose 27 + 29 = -28*g. Is (g/((-16)/(-98)))/(12/s) a multiple of 14?
True
Let r = 10 + -8. Suppose -2*b = -4*u + 310, r*b + 85 = u - b. Suppose 148 = 2*t - u. Is t a multiple of 22?
False
Suppose -3*r + r = -34. Suppose l = -5*o + r, -o = -0*l + 2*l - 7. Does 7 divide 2*(-15)/(-10) + 8/l?
True
Let q(u) = -8*u + 37. Let i(w) = 9*w - 39. Let n(j) = -2*i(j) - 3*q(j). Let t = -18 - -31. Does 22 divide n(t)?
False
Suppose 4*j + 0*j + 3*v = -8, 0 = 4*j - 4*v + 8. Let h be (-2)/2 - (0 + j). Is 24 a factor of 0 - (224/(-4) - h)?
False
Does 73 divide ((-219)/(-4))/(106584/7104 + -15)?
True
Suppose 0 = -4*s + 2*y + 20134, s - 3*y = -4*s + 25166. Is 95 a factor of s?
True
Suppose -11*a = -91*a + 31280. Let l = -373 + 752. Suppose g = -4*g - t + l, 4*t = -5*g + a. Is g a multiple of 18?
False
Suppose -3*l + 2*i + 13 = 0, 3*l - 5*i = 16 - 6. Suppose l*k = -2*h + 1005, k = -4*h - h + 178. Is k a multiple of 12?
False
Let l(v) = -871*v + 1343. Is l(-4) a multiple of 4?
False
Suppose 2*k - 887 = -217. Let i(y) = -3*y**2 + 4*y + 65. Let g be i(-9). Let p = k + g. Is p a multiple of 19?
False
Let d be (-1 - (-2 - -4)) + 2784/4. Suppose h + 684 = 4*c + 5*h, 4*c - d = 5*h. Is 13 a factor of c?
False
Is 44 a factor of 15635/10 + (4/(-18) - 65/(-90))?
False
Let p(r) = -r**2 + 15*r + 5. Let d be p(8). Suppose d*h + 58 = 62*h. Suppose 0 = -6*w - h + 250. Does 21 divide w?
False
Suppose -140 = -3*g + 23*g. Does 27 divide ((-24960)/21)/(-4) + 1/g?
True
Let s(b) = 958*b - 2190. Is 142 a factor of s(22)?
True
Let t = 9062 - 8550. Is t a multiple of 8?
True
Suppose 23*u = -2 - 205. Is 20 a factor of 10 + u + 6 - -437?
False
Let a(j) = 3*j**2 - 35*j + 4. Let r be a(13). Suppose 5*u - 3*q = -5*q - 100, 0 = 5*u + 5*q + 115. Let o = u + r. Is 14 a factor of o?
False
Let w be (9 + -9)/(-7 + 2 + 3). Suppose 10*x - 2521 - 399 = w. Does 40 divide x?
False
Let m(s) = 220*s**3 + 3. Is m(2) a multiple of 24?
False
Is -10 + ((-112)/32 - (-360115)/1