pose 37269 = y*w - 3499. Is 16 a factor of w?
True
Let k = -1385 - -2379. Let f = k + -696. Is 10 a factor of f?
False
Let y = -89 + 89. Is 18 a factor of (4/6)/(4/1722 + y)?
False
Let k(a) = -2*a**3 + 50*a**2 - 47*a - 23. Let i be k(24). Is (-36)/(-84)*(i - -1168) a multiple of 21?
False
Suppose 0 = 54*k - 49*k - 5*f - 20, 2*k - 5*f + 1 = 0. Suppose -11*a = -k*a - 3300. Is 45 a factor of a?
False
Let k be 18454/6 + (-12)/18. Suppose 0 = 4*w - w + 5*t - 1853, -5*w = 5*t - k. Is 13 a factor of w?
True
Suppose 9 = 8*f - 143. Suppose -2704 + f = -5*j. Does 11 divide j?
False
Let j(u) = -u**2 + 8*u + 26. Let a be j(8). Suppose 4*o - 34 = 2*o. Let g = o + a. Does 43 divide g?
True
Let o(d) = -d**3 + 60*d**2 + 6*d + 254. Is 219 a factor of o(29)?
True
Suppose -64*l - 3210 = -79*l. Suppose -4*f - l - 162 = -2*g, -556 = -3*g - 2*f. Is g a multiple of 20?
False
Let w(d) = -d**3 + 7*d**2 - 6*d + 15. Let g(o) = -o - 1. Let v(s) = 3*g(s) + w(s). Let b = 6 + -1. Is v(b) a multiple of 7?
False
Suppose -72*c - 3*c + 333024 = 21*c. Does 3 divide c?
False
Let g = 3659 - 2367. Is 19 a factor of g?
True
Suppose -1416 = 2*l - d - 9344, -3*l = 2*d - 11892. Suppose n + 0*n + 2983 = 3*g, 4*g - l = 4*n. Is g a multiple of 27?
False
Let u(n) = -127*n**3 + 6*n + 5. Let q(g) = -127*g**3 + 5*g + 4. Let c = -47 - -42. Let v(h) = c*u(h) + 6*q(h). Does 12 divide v(-1)?
False
Let h = 4 + 0. Suppose 2*u = 0, h*u = 6*t - 4*t - 6. Suppose 29 = 3*p - n, p - 22 = t*n + 1. Is p a multiple of 2?
True
Let l be -4*2/8*-8. Let m = l + 280. Is m a multiple of 12?
True
Suppose -67289 + 760881 = 35*r - 700913. Does 19 divide r?
True
Let w be 4*(-2 - -8 - 60). Is (w/120)/(9/(-1140)) a multiple of 19?
True
Suppose -o - 9910 = -2*y, 3*y = 8*y - 3*o - 24778. Is 8 a factor of y?
True
Let a(v) = 54*v + 147. Let o be a(-28). Is 19 a factor of o/(-10) + 7 + 2/(-4)?
False
Let q = -9181 - -17243. Does 75 divide q?
False
Let p(r) = 3*r**3 + 10*r - 1. Let b(o) = o**3 + 1. Let u(v) = 6*b(v) - p(v). Is 7 a factor of u(4)?
False
Suppose 6 = c - h, 4*c - 9 = 2*c - h. Suppose 0*r + c*r + 5*p = 315, 3*p = -5*r + 317. Is 8 a factor of r?
True
Suppose -8*m = -6*m - 124. Suppose -3*v - 2 = -m. Is ((-500)/(-3) - -2) + v/(-30) a multiple of 14?
True
Let t be 4/(-14) - (364/(-49))/(-2). Does 2 divide 2/(t/(-2))*61?
False
Suppose 4*p - 102 = -3*t + 3*p, t = -p + 32. Suppose 11*g = 10*g + t. Does 7 divide g?
True
Let m be (0 + 5)/10*10. Suppose -3*s - 6 = 2*g, 4*s + 2 = g + m. Is 10 a factor of -3*(g/(-1) + -34)?
False
Let n(o) = o**2 - 9*o + 26. Let x be n(4). Is 16/(x/(-54)*-2) a multiple of 24?
True
Suppose -185*b - 198*b = -402*b + 215745. Is b a multiple of 49?
False
Let q(j) = -j**3 + 31*j**2 - 23*j - 160. Is 10 a factor of q(30)?
True
Let q be 45/(-2)*(-48)/10. Let a = 164 - q. Is a a multiple of 8?
True
Let a be (7 - 7)*1*1/(-3). Suppose 14*f - 20*f + 402 = a. Is f a multiple of 12?
False
Let o = 4358 + -3313. Is 14 a factor of o?
False
Suppose u = -3*l + 495, -36*l + 22*l - 2*u = -2310. Does 25 divide l?
False
Suppose 0 = -f - 2*d + 2478, -7434 = -3*f - 44*d + 45*d. Does 21 divide f?
True
Suppose 2*a + 5*v = 436, -a + 2*v + 218 = 7*v. Let s = 32 - 161. Let m = a + s. Is 5 a factor of m?
False
Let t(y) = y**2 + y. Let l be t(1). Suppose g - l*h - 10 = 0, -2*g - 3*h - h = 20. Suppose -5*o + 2*n = -113 + 25, -5*o + 5*n + 100 = g. Is 4 a factor of o?
True
Let h(z) = 1402*z - 11988. Is h(14) a multiple of 5?
True
Let l(h) = 1104*h**3 + 4*h**2 - 35*h + 59. Is 142 a factor of l(2)?
False
Let k = 256 - -238. Is 57 a factor of k?
False
Suppose 6*i - 6*i - 9*i + 267723 = 0. Is 39 a factor of i?
False
Let m(d) = -2*d**2 - 3*d + 2. Let n be m(-1). Suppose -n*y + 203 + 721 = 0. Does 11 divide y?
True
Let h(p) = 4*p**3 + 33*p**2 - 13*p - 1. Let k(j) = 2*j**3 + 16*j**2 - 7*j. Let u(s) = 6*h(s) - 13*k(s). Does 11 divide u(-7)?
True
Let z = -593 + 593. Suppose 0 = -c - 2, 4*r + z*c - c - 5126 = 0. Does 61 divide r?
True
Let b(m) = -12*m - 50. Suppose -12*h - 216 - 84 = 0. Is b(h) a multiple of 8?
False
Let d(c) = c**2 - 28*c - 37. Let w be d(30). Let a(x) = x**2 - 27*x + 172. Does 16 divide a(w)?
True
Let t(z) = -2*z**2 + z + 8. Let p be t(3). Let h(f) = -f**3 - 8*f**2 - 7*f - 4. Let j be h(p). Is 22 a factor of (66/j)/((-153)/48 - -3)?
True
Suppose 1171 = 2*c - 543. Let q = -371 + c. Is q a multiple of 65?
False
Let a(x) be the third derivative of x**5/60 - 2*x**4/3 - 5*x**3/6 - 2*x**2 - 4*x. Is a(-9) a multiple of 20?
True
Let p(b) = 17*b - 7. Suppose 14*y - 24 = 6*y. Is p(y) a multiple of 10?
False
Is ((-42)/(-45))/(18/5085) + (-3)/(-9) even?
True
Let i(j) = 4*j + 103. Let y = 79 - 56. Is 15 a factor of i(y)?
True
Suppose -4*l = 0, -3*l + 5*l - 7 = m. Let z be m*(32/(-3) + (-6)/(-9)). Suppose 3*h - z = -4*j + 71, -j - 5*h = -48. Is 4 a factor of j?
False
Let a = 36 + -33. Suppose -a*g + 6*m = 2*m - 18, -5*g - 3*m = -1. Suppose -91 = -t - x, -g*t - 2*x = -7*t + 434. Is t a multiple of 24?
False
Let h be (-60)/(-75) - (18/(-15) + 2). Let c(l) = 2*l**2 - 2*l - 42. Let x(j) = -2*j**2 + 3*j + 43. Let v(o) = -4*c(o) - 3*x(o). Does 10 divide v(h)?
False
Let i(s) = 2*s**3 - 11*s**2 + 3*s + 9. Let l be i(5). Let q be ((-61)/(-2))/(l/2). Let p = 31 - q. Does 31 divide p?
False
Let y = -27 - -31. Suppose y*b - 5*b + 81 = -4*n, -2*n - 75 = -b. Does 44 divide b - 0/3*2/(-4)?
False
Let h be (-1 - 3)*12/(-12) + -1. Suppose 0 = d + h*r + 5, -2*r - 3*r - 15 = 0. Suppose 0*a - 476 = -4*a + d*j, 2*a - 246 = 4*j. Is a a multiple of 26?
False
Suppose 3*g - m - 55 = 0, -m + 124 - 35 = 5*g. Suppose -6 = 65*v - 136. Suppose -g = -v*p + 18. Is p a multiple of 9?
True
Let k = 14 + -10. Let m be 2/k*(382 + 0). Suppose -25 = 2*o - m. Is o a multiple of 18?
False
Is 35 a factor of 228/152*((-9861)/(-9) - -1)?
True
Is 29 a factor of ((-16175)/(-2) - (144 - 145)) + 3/(-2)?
False
Let s(p) be the first derivative of -7*p**2/2 - 21*p + 120. Is s(-11) a multiple of 6?
False
Let a = -6768 - -4093. Is a/(-10) - (-4)/(-24)*3 a multiple of 24?
False
Let n(z) = 4*z**2 + 55*z + 202. Is 98 a factor of n(-48)?
False
Let i(z) = -391*z + 18. Is 14 a factor of i(-17)?
False
Suppose 5*v - 14 = 1. Suppose -4*t + 3*t + 816 = 5*g, -g = -v*t - 160. Suppose 4*f = -i + 59, g = 4*i - 5*f - 31. Is 17 a factor of i?
True
Let d(n) = -n**3 - 20*n**2 + 20*n - 17. Let x be 1/(-4) + 0 + 83/(-4). Let c be d(x). Suppose c*v - 253 = 315. Does 23 divide v?
False
Suppose -203*y - 5 = -204*y. Suppose 0 = 5*p - 5*t + y, p - t - t = -5. Let u(k) = -k**2 + 6*k + 1. Is 2 a factor of u(p)?
True
Suppose 2*r + 6 = 0, 3*b - 235 - 146 = -5*r. Suppose x = -5*x + b. Suppose -x = 2*t - 3*t. Is 2 a factor of t?
True
Let o be (196/(-8))/(-7)*(-3 + 5). Let w(u) = 2*u - o*u - 2*u**2 - 13*u**2 + 11 + 20*u**2. Is w(-5) a multiple of 18?
False
Let l(c) = 446*c + 3365. Is l(8) a multiple of 78?
False
Let g be 6*(36/4 + -3). Let h(n) = -11*n - 15 + 37*n**2 + g*n**2 - 72*n**2. Does 29 divide h(17)?
True
Is 131 a factor of (-1542394)/203*(-10)/4?
True
Suppose 4*g - 1020 = -11*g. Suppose -g*k = -76*k + 344. Is 5 a factor of k?
False
Let q = -313 - -621. Let p be q/147 + 2/(-21). Suppose p*f - 25 = f. Is f a multiple of 4?
False
Suppose 143*j - 145*j = 2*g - 24316, -4*g - 3*j + 48632 = 0. Is 79 a factor of g?
False
Suppose 5*f - 15 = 2*f, 4*h + 5*f - 37 = 0. Let u be (h*28)/4 - 4. Suppose 0 = -6*t + u + 361. Does 21 divide t?
True
Suppose 0 = -3*j - 6, -w + 4*j + 30 = -0*w. Let q be (-60)/80 - (-1 + w/(-8)). Suppose 0 = 5*y + q*d - 406, 0 = y + d - 3*d - 89. Is 19 a factor of y?
False
Suppose -20*z = -3985 + 305. Let p = 439 - z. Is 61 a factor of p?
False
Let x be (28/(-4) - -3) + 0/1. Let f be -3 - x - 1/(3/(-30)). Suppose f*g - 640 = 3*g. Is g a multiple of 35?
False
Let r = 167 + -171. Is 48 a factor of 402 + 16/r + 1?
False
Let a be (-4)/18 + (-7)/9. Let b be a/(3/60*4). Does 23 divide ((-2 - b) + -4)/(-2)*238?
False
Let d(m) = m + 16. Let a be d(-15). Let g be (4/16)/(a/(-6))*-292. Suppose -21*t + g = -15*t. Does 28 divide t?
False
Let u(k) = -k**3 - 14*k**2 - 8*k - 68. Let p(d) = -d**2 + d - 2. Let h be p(4). Is 3 a factor of u(h)?
False
Suppose 2*z - 3*o = 804, 4*o = -3*z - 540 + 1746. Suppose 3*k + 5*f - 973 = 237, 0 = k + f - z. Is k a multiple of 20?
True
Let k(f) = 8*f**2 + f + 12. Let z be 