
Let o(y) = -y + 4. Let h be o(2). Let i(u) = u**3 + u**2 + u + 7. Let f be i(0). Suppose -4*l + f*l - 70 = -h*c, l = c - 35. Is 7 a factor of c?
True
Suppose 2*v = -0 - 2. Let b be ((1 + -1)*v - 1)*-3. Does 6 divide (-5 - 235/(-20)) + b/(-4)?
True
Let n(v) be the first derivative of -v**6/360 - 7*v**5/60 - 31*v**4/24 + 6*v**3 + 40. Let g(q) be the third derivative of n(q). Does 7 divide g(-10)?
False
Let d(i) = -3*i**2 + 13*i - 7. Let p be d(4). Let a be -3 - (p + 0) - -3. Suppose -21 = -a*t + 318. Is t a multiple of 18?
False
Let z be 1 + -1 - 2 - (16 + -20). Is (61 - 12)*(z - 1) + 2 a multiple of 3?
True
Suppose 4*s - 15481 = -3*h + 35895, -5*s + 64182 = -h. Is 7 a factor of s?
True
Suppose -2*d - 1648 = -n, -3*n - 3*d - 1649 = -4*n. Does 20 divide n?
False
Suppose 2*d - y = 10, -2*d - 58*y + 18 = -63*y. Suppose 324 = 2*f + f. Let c = f + d. Is 31 a factor of c?
False
Suppose -266*x + 2572955 = -61*x. Is x a multiple of 3?
False
Suppose 0 = -6*n - 68 - 10. Let q = n + 77. Let w = q - -9. Is w a multiple of 41?
False
Let v(k) = 20*k**3 + 140*k**2 - 8*k + 14. Does 6 divide v(-6)?
False
Suppose -16*g + g + 30 = 0. Suppose r - 235 = -5*h - g*r, 4*r = -20. Is h a multiple of 10?
True
Let o = 86 + -81. Let c(l) = -l**2 + 5*l - 5. Let y be c(o). Is (2/y)/((-11196)/5595 + 2) a multiple of 57?
False
Let c(g) = -6*g - 7*g**2 + 5*g**2 + g**2 + 9. Let x(w) = 3*w**2 + 12*w - 17. Let n(v) = 5*c(v) + 3*x(v). Does 43 divide n(-5)?
False
Let w = 919 + -1625. Let p = -994 - w. Is 11 a factor of ((-7)/2)/(-4*(-3)/p)?
False
Let y be (1 - 2)/(6/(-3900)*2). Let b(c) = -23*c**2 - 3*c. Let s be b(-2). Let o = s + y. Is 36 a factor of o?
False
Suppose 39 + 117 = 6*v. Let c = v + -20. Let n(q) = 27*q - 30. Is 33 a factor of n(c)?
True
Let m = 1709 + 7403. Is 67 a factor of m?
True
Let y be ((-24)/5)/(-8*1/20). Suppose -y*l = -1102 + 382. Is 12 a factor of l?
True
Suppose 10*m = -5*l + 11*m - 168, -l - 42 = -3*m. Does 21 divide (-144131)/(-143) - 3/l?
True
Let l be (499 - -1)*350/200. Let i = l - 445. Is 10 a factor of i?
True
Suppose 3*j + 8 + 7 = 0, 12924 = 3*b + 3*j. Is 16 a factor of b?
False
Let y = 1645 + -1130. Suppose -y = -4*a - 5*z, 13*z - 8*z = 5*a - 700. Suppose x = -3*u + a, 6*x + 3*u = 8*x - 234. Is x a multiple of 6?
False
Let l(h) = 102*h**2 + 2. Let d be -11 - -2 - -2*3/(-6). Let p = -11 - d. Is l(p) a multiple of 26?
True
Let t(b) = b**3 - 5*b**2 - 12*b - 9. Let m be 4 + -9*(-2)/6. Let p be t(m). Suppose p*o - 230 = -4*x, -o + 5*x = 2*o - 101. Is o a multiple of 6?
True
Suppose 0 = 2*t - 3*i - 10134, 13*i - 10136 = -2*t + 15*i. Is 15 a factor of t?
True
Let o = -68 + 184. Let z = o + -88. Suppose -z*m + 819 = -21*m. Does 13 divide m?
True
Suppose 45496 = -8*q + 12*q. Suppose -q = 20*b - 42*b. Does 19 divide b?
False
Suppose -4*n - i = -41, -5*i = 5*n - 32 - 38. Suppose -81*m + 15 = -80*m + 5*v, 4*v - 13 = -m. Suppose -m*z = -n*z + 336. Is z a multiple of 42?
True
Suppose 4*y - 6 = -2*y. Let f be 3 - 1*(-12)/y. Suppose -3*p + f = -0*p, -3*o + p + 304 = 0. Does 32 divide o?
False
Let r = 40816 + -22670. Is r a multiple of 13?
False
Let u = 11493 - 6527. Is u a multiple of 78?
False
Suppose -23*k - 19 = -4*k. Suppose -y = 4*x - 35, 0 = 4*x - 0*y + 2*y - 38. Let b = x - k. Is 2 a factor of b?
False
Let n(k) = 15*k**2 + 11*k + 14560. Is n(0) a multiple of 8?
True
Let i = 13 + -13. Suppose 3*g - 600 = 3*r - i*g, -r = g + 190. Let l = r + 415. Does 55 divide l?
True
Let b(a) = 29*a**2 - 77*a - 484. Is b(-7) a multiple of 6?
True
Let c(v) = v**2 - 22*v + 2. Let j be c(22). Suppose 10*u - 7*u - j*i = 503, -2*u = -2*i - 336. Does 12 divide u?
False
Let c(b) = -8 + 2*b - 5*b - 3*b. Suppose 6*v = 4*v - 32. Is c(v) a multiple of 11?
True
Let x = 4560 + -1604. Is x a multiple of 37?
False
Suppose 3*o - 12141 + 2196 = l, l = 4*o - 13261. Is 125 a factor of o?
False
Let p(m) = -846*m**3 + 7*m**2 - 10*m - 17. Is p(-1) a multiple of 18?
True
Suppose 2*u - 6 = 10. Let b = u - 12. Does 7 divide -2*b/(-8)*-31?
False
Let b(f) be the second derivative of f**4/3 + 37*f**3/3 + 3*f**2 + 2*f + 22. Is 22 a factor of b(-19)?
True
Let s(p) = 26*p - 26. Let l be 4/2 - (0 - 1). Is 26 a factor of s(l)?
True
Let j = 84276 + -49105. Is j a multiple of 44?
False
Suppose 0 = -4*y - g + 138541, 4*g = 487*y - 490*y + 103922. Is 41 a factor of y?
False
Suppose -20295*r + 20302*r = 15171 + 50216. Is 163 a factor of r?
False
Let w be -21*((-8)/(-7) - 1/7). Is 32 a factor of 43/(-2)*-3*(-154)/w?
False
Let a = 15403 + -7348. Does 110 divide a?
False
Let m be 36/54 + 6/(-9). Suppose -z + 3 = -2*d, -d + 9 = 3*z - 2*d. Suppose m = -z*t - 101 + 353. Does 28 divide t?
True
Let z(c) = 29*c - 76. Let o(y) = 57*y - 150. Let m(i) = 6*o(i) - 11*z(i). Does 8 divide m(11)?
False
Suppose 32 = -14*y + 10*y. Let x(d) = 2*d**2 + 18*d + 16. Let g be x(y). Suppose g = 4*i - w - 910, -w - 60 = -i + 166. Is 34 a factor of i?
False
Let h be (-2 - -1)/(1/(-3233)). Suppose -h - 1933 = -6*t. Is 30 a factor of t?
False
Let o be (4 + (-50)/10)/((-1)/3). Suppose k + 3 = 0, -o*g + 4*g - 32 = -2*k. Is g a multiple of 4?
False
Let g(x) = -7*x**2 - 684*x + 259. Is 6 a factor of g(-97)?
True
Let t be (18/(-16))/(16/(-128)). Does 7 divide ((-570)/t)/((-5)/15)?
False
Let q(p) = -3*p**2 + 19*p - 2. Let u be q(6). Let v be 6 + -4 + -7 + u. Let y(z) = -322*z. Is y(v) a multiple of 23?
True
Let q = 344 - 331. Suppose 511 = 20*b - q*b. Is b a multiple of 9?
False
Let d(n) = -5*n + 2. Let a be d(0). Suppose -s = a*s - 9. Suppose -5*k = -4*x + 580, 2*x - s*k = -58 + 350. Does 35 divide x?
True
Let b = 792 + -1237. Let g = b + 627. Is g a multiple of 12?
False
Let u(p) = -1177*p - 75. Does 72 divide u(-3)?
True
Suppose 0 = 3*a + b - 25 - 20, -5*a + 4*b + 58 = 0. Let f(t) = 89 - 81 - t + 2*t**3 - 4*t**3 - a*t**2. Is 2 a factor of f(-7)?
False
Suppose -3*k - 29 = 7. Let b(r) = 74*r + 224. Let v be b(-3). Is 7 a factor of 43/v - (-6)/k?
True
Suppose -23*a + 24164 + 9876 = 0. Is a a multiple of 20?
True
Suppose 21*o - 2*o = 76. Suppose k = -2*y + 82, 2*y = -k - 2*k + 74. Suppose 38 = 2*t - 4*g, -o*t + y = -4*g - 25. Is t a multiple of 7?
False
Let d(a) be the first derivative of a**3/3 + 7*a**2/2 + 8*a + 1. Let g = -2232 - -2223. Is d(g) a multiple of 13?
True
Let n(x) = -135*x + 40. Let f be n(2). Let j = f - -486. Is 13 a factor of j?
False
Let c = 17233 - 11206. Does 7 divide c?
True
Let j = 7428 - 3252. Is 18 a factor of j?
True
Let w = -134 - -337. Let b = -164 + w. Does 13 divide b?
True
Let w be (-2 + 3)*(3 - (0 - 0)). Let i = w + 0. Suppose -f + 3*f = 2*c + 272, -2*c - 413 = -i*f. Does 31 divide f?
False
Suppose -11*s + 381934 - 65822 = 2348. Does 36 divide s?
False
Let c(n) = 4*n**2 + 63*n - 18. Let y be c(-16). Is 20 a factor of (-330)/y*(-480)/(-90)?
True
Let g = 265 - 187. Let a be 26/g + (-32)/(-3). Suppose -a*o + 10*o = -45. Is 12 a factor of o?
False
Let v = 14 - 17. Let b be -2 + (3/v - -5). Suppose b*s - 8*s = -174. Is 9 a factor of s?
False
Let f = -54 - 11. Let u = f + 63. Is (728/(-12))/(-2) - u/3 a multiple of 31?
True
Suppose 10485 = u - 3*x, 924*x - 919*x - 30 = 0. Does 3 divide u?
True
Let l(x) = x**3 + 43*x**2 - 147*x + 52. Is 62 a factor of l(-46)?
False
Suppose 20*g - 16130 = 14970. Is g a multiple of 6?
False
Suppose 17*p - 110 = 9. Suppose -2290 = p*d - 12*d. Does 36 divide d?
False
Suppose -73 = 3*o + 23. Is 6 a factor of (-12)/(2/(-8) + 56/o)?
True
Let n(b) = -1396*b - 1158. Is n(-5) a multiple of 91?
False
Suppose 5*i - 11645 = -3*p, 23 = 5*i + 18. Does 20 divide p?
True
Let f = 26 - 33. Let a = f + 11. Suppose a*z + 93 = 7*z. Does 31 divide z?
True
Suppose 199 = -11*h + 232. Suppose m + h*p = 8, -3*p = -0*p. Is 4 a factor of m?
True
Let y = -405 - -400. Is 15 a factor of 22 - (-4 - ((y - -2) + 0))?
False
Let u = 10673 + -6960. Does 80 divide u?
False
Suppose -15409 = -18*j + 20303. Is j a multiple of 8?
True
Let t be 1*(-2)/6 - 478/6. Let y = t + 0. Is 14 a factor of (-12)/(-4) - (y - 0)?
False
Let y(r) = -2*r**2 - 18*r + 25. Let u be y(-10). Suppose f = u*g - 2291, 3*g + 3*f = 8*g - 2283. Does 11 divide g?
False
Let c(j) be the first derivative of j**4/4 - 7*j**3 + 8*j**2 + 139*j - 208. Is 75 a factor of c(22)?
True
Let r = 55 + -51. Suppose 2*a - r = 2. Suppose a*q - 112 = -5*w, 2*q - 2*w = -w + 92