f y?
True
Suppose -4*i + 64 = -32. Suppose 1890 = -3*u + i*u. Does 5 divide u?
True
Let v(u) = 5*u**2 + 81*u - 5. Let b(s) = 8*s**2 + 80*s - 6. Let p(d) = 3*b(d) - 4*v(d). Is 105 a factor of p(27)?
False
Let z = 10449 + -6583. Does 73 divide z?
False
Suppose -32*z = -37*z - 10, 11704 = 4*w + 4*z. Does 130 divide w?
False
Suppose 10*p - 4 = -4. Let f be (1 - p)/(-4 + 27/6). Let k(z) = 4*z + 7. Does 7 divide k(f)?
False
Suppose 235*y = 239*y + 5*s - 70077, 2*s - 70086 = -4*y. Does 59 divide y?
True
Let u(z) = 2*z**2 - 5*z - 6. Let n be u(6). Suppose 33 = -l + n. Suppose l*v - 66 = -6. Does 7 divide v?
False
Let o = -11887 + 26621. Is 14 a factor of o?
False
Let q = -677 - -1607. Suppose 4*p = 2*v + 3652, 3*p + q = -v + 3664. Does 38 divide p?
True
Let h(n) = n**3 + 4*n**2 + 4*n + 16. Let z be h(-9). Let b = 229 + z. Let c = b + 399. Is c a multiple of 34?
False
Suppose 16*u = -12*u - 672. Is 57 a factor of 2965/4 + 5 + 126/u?
True
Is 39 a factor of (294/4)/((-12965)/590 - -22)?
False
Suppose -27*t = -0*t - 108. Suppose -m - l = -3*l - 584, 0 = t*m - 4*l - 2316. Is m a multiple of 41?
True
Let z = -461 - -465. Suppose -z*g + 418 - 18 = h, 5*g - 3*h = 500. Is g a multiple of 27?
False
Suppose 0*y + 4712 = 2*y - 990. Does 61 divide y?
False
Suppose -4*t + 28 = 16. Suppose -u = 5*o - 602, -2951 = -t*u + 4*o - 1107. Is 34 a factor of u?
True
Let c(b) = b**3 + 14*b**2 - 33*b - 16. Let z be c(-16). Suppose 7*u + 45 = 3*s + 4*u, z = 5*s + 5*u - 55. Is 13 a factor of s?
True
Let k = -62 + 417. Let o = 964 - k. Does 21 divide o?
True
Does 11 divide 38*1/(-8)*1/((-1)/1748)?
False
Suppose 0 = -4*y + 119 + 457. Let u = -244 - -141. Let d = u + y. Is d a multiple of 2?
False
Suppose 0 = -125*z - 137*z + 505136. Is 32 a factor of z?
False
Suppose 9*d = 1488 + 834. Suppose d = 5*z - j, 403 - 133 = 5*z - 5*j. Does 8 divide z?
False
Suppose -1467446 = -179*v - 177*v + 412590. Is v a multiple of 3?
False
Suppose 85 = 11*z + 30. Suppose z*k + 0*k + f - 474 = 0, -2*k = -2*f - 180. Let g = -38 + k. Does 14 divide g?
True
Let r(g) = 3*g**3 - 18*g**2 + 47*g - 318. Does 48 divide r(12)?
False
Does 8 divide (-24)/14*8/60*-35 + 3978?
False
Suppose -76*i = -97701 - 87282 - 72657. Does 108 divide i?
False
Let l(g) = 6*g**2 - 9*g + 46. Let p be l(4). Is 14 a factor of (p/(-3) - 2)/((-12)/54)?
True
Suppose 22*j + 10*j = 0. Suppose -2*c + 1586 = -5*k, -c + 4*c + k - 2396 = j. Does 7 divide c?
True
Suppose -108*x + 68*x = -75*x + 131040. Is 12 a factor of x?
True
Let z(b) = -5379*b + 134. Does 19 divide z(-2)?
False
Suppose 107 + 31 = 6*h. Suppose h*g - 16*g - 588 = 0. Is g a multiple of 21?
True
Let k = -29839 - -44226. Does 20 divide k?
False
Let h(w) = -2*w**3 + w**2 + 7*w - 5. Let r be h(4). Suppose 4*j + 587 = -4*n - 169, -4*j + 539 = -3*n. Let o = r - n. Is 9 a factor of o?
False
Let m = 9068 + -5009. Is m a multiple of 33?
True
Let o be (-10)/(-12) + ((-2260)/(-24) - -4). Let q = o - -243. Does 38 divide q?
True
Let p(d) = -14*d - 45. Let u be p(-9). Does 43 divide 645*(u/9 - 8)?
True
Let z(x) = -32*x**3 - 6*x**2 - 19*x - 197. Is z(-6) a multiple of 10?
False
Let v = -7 + 5. Let h(g) = -2*g**2 - g + 4. Let c be h(-2). Is 4 a factor of (3 - v) + c - (-4 - 1)?
True
Let h(y) = -2*y**2 + 25*y - 50. Let j = -140 - -149. Is h(j) a multiple of 4?
False
Suppose 2*r = -13*i + 18*i - 908, -200 = -i + 5*r. Suppose 0 = m - 28 - i. Is m a multiple of 8?
True
Let d(s) = s**3 - 12*s**2 + 10*s + 13. Let g be d(11). Let p(n) = -g*n**2 + 6*n + 181 - 177 + 16*n**2. Is 8 a factor of p(-1)?
False
Suppose -138522 = -14*m + 65276. Is m a multiple of 24?
False
Let t(k) = 12 - 9 + 3*k**2 - 4*k - 3 - 3. Let m(u) = -u**3 - 4*u**2 + 2*u + 5. Let a be m(-4). Is t(a) a multiple of 12?
True
Suppose -5*w = 2*w + 91. Let q be (1 + 26)/(w - -14). Is q/54*(178 + 0) a multiple of 36?
False
Let x be 2 + 21 - (5 + 0). Suppose t = 3*g - 106, x = g - 3*t - 4. Is g a multiple of 37?
True
Let c(o) = -182*o - 4066. Is 28 a factor of c(-52)?
False
Let u be 2752/128*(1 + 23*1). Let w = 890 - u. Is w a multiple of 22?
True
Let v(m) = 21*m - 243. Let q be v(23). Let c = q - 108. Is 12 a factor of c?
True
Suppose -2*h + 4*h = 432. Suppose 29*o = -47 + 18. Is 29 a factor of o - 3 - 5/((-30)/h)?
False
Suppose -14*w - 24911 - 13155 = 0. Let f = w - -4431. Does 19 divide f?
False
Suppose 521*u = 535*u - 27552. Does 189 divide u?
False
Let k(v) = 2 - 23*v + 0 + 5. Let n(i) = -2*i**3 + 7*i**2 + 5*i - 8. Let o be n(4). Does 33 divide k(o)?
True
Let l = 10 - 21. Let c(g) be the first derivative of g**3/3 - g**2/2 + 48*g + 460. Is c(l) a multiple of 12?
True
Suppose -2992*w + 2997*w - 14395 = 0. Is w a multiple of 3?
False
Suppose 27052 = 3*r + 5*x, 0 = 45*r - 50*r - 5*x + 45070. Does 91 divide r?
True
Suppose -295 = -4*w - 5*y, 30*w - y - 301 = 26*w. Is 2 a factor of w?
False
Let i = -1628 - -9228. Suppose -3*y = -4*m + i, 0 = -2*m - 2*m - 2*y + 7600. Suppose -5*o + 5*p = -1900, -p = 5*o - 0*p - m. Is 19 a factor of o?
True
Let c be 10872/(-20) + (-2)/(-10)*-2. Let m = -148 - c. Is 66 a factor of m?
True
Suppose -4*r - 11 = 1, -4*r = -2*m + 16. Suppose 4*x - 400 = -3*v, v + m*v = x + 410. Suppose 2*l - 6*l = -v. Is 13 a factor of l?
False
Let l(q) = -41*q - 120. Let a be l(-3). Suppose -5*c - 4*r + 729 = -226, c - a*r = 210. Does 15 divide c?
True
Is 4 a factor of (-3)/60 - 10083/(-60)?
True
Let r(m) = 4*m - 1. Let b be r(1). Is (b - 0/1)/((-17)/(-1683)) a multiple of 15?
False
Suppose 44 = -0*l + 11*l. Suppose l*t - 9 = 19. Does 6 divide 44/t + 6/(-21) + 0?
True
Suppose -25754 = -5*i + 2*n, -4*i + 20596 = -5*n + n. Does 92 divide i?
True
Suppose -4*v + 1253 = -11*v. Let h = v + 220. Is h a multiple of 2?
False
Suppose 106 = 4*x - 2*w, x + 88 = 5*x + 4*w. Suppose 3*y + 2*g = 1, -3*y - 3*g = -7*g - x. Suppose 0 = 4*s + 3*z - 410, -214 = s - y*s + 3*z. Does 10 divide s?
False
Let j(g) = -2011 + 993 + 986 - 58*g. Does 11 divide j(-7)?
True
Let d be (-118)/16*-6 + (-27)/108. Suppose 1408 = d*c - 36*c. Does 8 divide c?
True
Let j = 72 + -70. Suppose 3*f = -j*z + 824, -3*f + z = -721 - 91. Is f a multiple of 21?
False
Let g be 3/(-15)*-2 - (-287)/(-5). Let y(u) = -u**2 + 14*u + 1. Let f be y(12). Is 19 a factor of (3 - f - -4)*g/6?
True
Suppose 17605 = 18*o - 3221. Is 3 a factor of o?
False
Let f = 28 + -29. Let y be (f/1)/((-2)/8*-1). Does 3 divide (((-168)/9)/y)/(6/18)?
False
Let h(w) = 3*w**2 + 32*w - 165. Let d be h(21). Suppose 0 = -5*t + 105 + d. Is t a multiple of 26?
False
Let c be (-16)/(-6) - 20/(-15). Let g(b) = b + 1. Let a be g(c). Suppose 70 = a*d - 265. Does 13 divide d?
False
Suppose -10*b - 2549 - 6171 = 0. Let h = 1286 + b. Does 17 divide h/12 + (-1)/2?
True
Let t(u) = -35*u - 70. Let c be t(-18). Let f = c - 308. Is 9 a factor of f?
True
Let b be (5/2 - 4)*-2. Suppose -6*g = -b*g - 1014. Suppose -4*p = 3*m - g, -2*m - 3*p + 232 = p. Does 22 divide m?
False
Let z(x) be the first derivative of x**4/12 - 10*x**3/3 - 4*x**2 + 6*x - 8. Let h(s) be the first derivative of z(s). Does 6 divide h(22)?
True
Suppose 0 = 34185*m - 34183*m - 570. Is m a multiple of 95?
True
Let x(j) = -j + 7. Let v be x(3). Suppose 26 = 9*z + v*z. Suppose -z*s + 55 - 19 = 0. Does 6 divide s?
True
Let y(u) = 1373*u**2 - 1118*u - 9012. Is 12 a factor of y(-8)?
True
Suppose -20*v - 11*v = 4*v. Suppose -w - 4*q + 111 = v, 5*w + 113 = 6*w + 2*q. Is w a multiple of 43?
False
Let l(c) = -236*c**2 + 0*c + 2*c**3 - 3*c + 27 + 310*c**2. Does 3 divide l(-37)?
True
Let c(y) = -y**2 + 32*y - 100. Let u be c(12). Is u/112 + (-1159)/(-4) a multiple of 14?
False
Is 36 a factor of (-10)/6*(-468774)/90?
False
Suppose 3486 = h - 2*w - 0*w, h - 4*w - 3492 = 0. Suppose -h = -29*i + 7975. Is 20 a factor of i?
False
Let g(n) = -n**3 - 3*n**2 - n - 23. Suppose -s = 3*w - w + 17, 0 = 5*w - 2*s + 20. Is g(w) a multiple of 32?
False
Let u(h) = 2*h**2 + 24*h - 1. Let f(o) = -4*o**2 - 47*o + 2. Let a(g) = 6*f(g) + 11*u(g). Let p be a(-8). Suppose p*c - 64 = 1636. Does 20 divide c?
True
Suppose 66197 + 2173 = 15*n. Is n a multiple of 22?
False
Let v be (-15)/(-45) - (24/(-9) + 2). Does 3 divide (3705/38)/(v/2)?
True
Let c = 49 + -44. Suppose -5*j + p - 9 = -31, j - 20 = -c*p. Suppose -135 = -j*k + 210. Does 23 divide k?
True
Suppose -5*c - 63652 = 4*s - 198334, 4*c =