1*x - 17*x - 220 = 0. Suppose -x*z + 975 = -50*z. Suppose -5*d + z = o, -d + 3*o = -5 - 34. Does 7 divide d?
False
Let d(a) = 17*a**2 + 10*a - 28. Let t be d(8). Suppose 13*p + t = 4481. Is p a multiple of 46?
False
Let a(o) = -57 + 6*o + 140 - 80 + o**3 - 2*o + 11*o**2. Let d(y) = -y - 7. Let c be d(0). Is a(c) a multiple of 23?
False
Suppose -n + 0 = -4. Suppose c - 15 = -n*c. Does 6 divide (12/18*35)/(2/c)?
False
Suppose 10*q = 14*q - 8. Suppose 5*w = q*z + 121, -z - 59 = -w - 3*w. Is (1/(3/(-12)))/(2/z) a multiple of 18?
True
Is (-286 - -278)*((-11)/2 - 3) a multiple of 51?
False
Suppose 51*h - 10 = 49*h. Suppose h*v + a = 1296, 0*a + 3*a = -5*v + 1298. Is v a multiple of 19?
False
Suppose 18*f + 8*f = 2470. Does 25 divide (-1)/(7/(f*-35))?
True
Suppose 12*d - 104 + 20 = 0. Suppose 4*f - d*f = -4*f. Suppose z + f*z = 92. Does 46 divide z?
True
Let t be -1*146/2 + 3. Let a = 111 - t. Does 23 divide a?
False
Is 146 a factor of ((-10)/4)/((-310)/2118168)?
True
Let m(c) = 4*c**2 + 26*c + 49. Is 15 a factor of m(-17)?
False
Let t = 40113 - 35865. Does 6 divide t?
True
Let y = 18028 + -6015. Is 219 a factor of y?
False
Suppose 15*f = 9*f + 150. Suppose -f = -n + 130. Does 31 divide n/(4 + (4 - (6 - -1)))?
True
Suppose 1594 + 45986 = 5*p. Is 61 a factor of p?
True
Suppose 0 = 3*c + 9, 4*q + 10*c - 11*c = 19. Suppose 3*n = -4*v + 177 - 16, 106 = 2*n + q*v. Is n a multiple of 4?
False
Let p = 2999 + -715. Is 4 a factor of p?
True
Let i(o) = -o - 184. Let b be i(35). Let k = 243 + b. Is 12 a factor of k?
True
Let q(a) = 1001*a**2 - 3*a + 2. Let i be q(1). Suppose 0 = 16*h - 12*h - i. Does 50 divide h?
True
Let w(q) = 86*q - 2. Let z be 3/(-12) + -15*(-5)/60. Is w(z) a multiple of 8?
False
Suppose -6*r + 12 = -0*r. Suppose -2*j = p + 3*j, r*j = -2*p - 40. Does 15 divide (30/p)/((-2)/25)?
True
Let w(t) = 140*t**2 + 39*t - 80. Is w(2) a multiple of 31?
True
Suppose 0 = -5*r - c + 9, -r + 2*r - 2*c = 4. Let v be (2 - r) + 1 - 1. Suppose b - 5*i - 119 = -0*i, 4*b + 4*i - 380 = v. Is b a multiple of 11?
True
Suppose -5*x + 41036 = 2*i, -16410 = -2*x - 36*i + 33*i. Does 12 divide x?
True
Let h(n) = -2*n**3 + 2*n**2 + 10*n + 1. Let q be h(-4). Suppose 5*f - 719 = q. Suppose 0 = -3*o - o + f. Does 6 divide o?
True
Let i be 2/(((-52)/(-1120))/13). Suppose 5*k - 2*z - 539 = 0, 4*z = -5*k - z + i. Let d = k - 29. Is d a multiple of 10?
True
Let x(u) = u**3 - 5*u**2 - 14*u + 16. Let a be x(7). Suppose -3*g + a = s, -s + 21 = 5*g - 3. Suppose -s*p + 18 = -3*p. Does 8 divide p?
False
Suppose -28*f + 37*f - 31*f = -363110. Is f a multiple of 141?
False
Let o be (-11 - (-1)/1)/(15/135). Let a = 230 + o. Suppose a = -17*t + 22*t. Is 13 a factor of t?
False
Suppose -11*q = -15927 - 11903. Suppose u = 3*s + 506, s = -7*u + 2*u + q. Is 39 a factor of u?
False
Let h = 21 + -5. Suppose 4*l - 116 = 5*v, -h = -6*v + 2*v. Does 10 divide 11/3*(l + (2 - 6))?
True
Let r(w) = 3*w**2 + 22*w. Let p be r(-7). Let c(k) = 2*k**2 + 14*k - 10. Let n be c(p). Let x(d) = -19*d - 10. Is x(n) a multiple of 23?
False
Let o be (5/(-2))/((-72)/(-9072)). Is 18 a factor of ((-1008)/(-35))/((-7)/o)?
True
Suppose 5*n + 38 = -2*g + 65, -3 = -n + 2*g. Suppose -h = m - 4*h - 193, -4*h + 984 = n*m. Does 12 divide m?
False
Suppose 124*c + 152*c - 3205064 = -58*c. Is 66 a factor of c?
False
Let k = 1139 + -675. Suppose -4*l = t - k, -l = -2*t - 5*l + 924. Is t a multiple of 20?
True
Suppose -1387 = 15*k - 34*k. Suppose -b = -2*m + 890, -375 = -m - b + k. Is m a multiple of 31?
False
Suppose 4*d = -2*k - 2*k + 60, -5*k + d = -45. Let t(j) = 34*j - 10. Does 11 divide t(k)?
True
Suppose -4*o - 8 = -8*o. Suppose -71*m = -131*m + 4200. Let f = o + m. Is f a multiple of 12?
True
Suppose 2*n - 22 = j, -32 = n - 37. Does 9 divide ((-966)/j + 1)*2?
False
Suppose 2*a + 69*z - 66*z - 30738 = 0, -46126 = -3*a + 5*z. Does 61 divide a?
True
Let b = -768 - -882. Let v be 21/(-9) + 3/9. Let i = b + v. Is i a multiple of 19?
False
Let i = 87620 - 57625. Is i a multiple of 8?
False
Let g be (-11554)/30 - (-8)/60. Let u = -128 - g. Does 8 divide u?
False
Let d be 2/1 - (-9 + 485 + -2). Suppose 0*n = 5*n + 1540. Let h = n - d. Is h a multiple of 41?
True
Let k be -54*(1/(-3))/(6/12078). Is (-1)/5 - k/(-45) a multiple of 35?
True
Suppose 68*f = 67*f - 4*m - 537, -2651 = 5*f + 3*m. Let h = f - -706. Does 8 divide h?
False
Let q be (-24104)/72 - (-4 - 38/(-9)). Let f = q + 794. Is f a multiple of 27?
True
Let r(m) = -563*m + 9. Let l be r(2). Let z = -769 - l. Is (-6)/15*-1 + z/5 a multiple of 14?
True
Suppose -194*v + 829807 + 216098 = -586605. Does 17 divide v?
True
Is (30 - 1)*(285 - -262) a multiple of 122?
False
Suppose -15*f + 12 = -48. Suppose u + 315 = 2*c, 3*c - 7*c - f*u + 612 = 0. Does 11 divide c?
False
Let i(y) = -y + 361. Let j = 116 + -116. Is 8 a factor of i(j)?
False
Let r(w) = w**3 - 5*w**2 - w - 10. Let k be r(6). Suppose 0 = -6*y + y + i + k, -4*y + 45 = 5*i. Suppose 2*x + x - 107 = q, q = -y*x + 189. Does 3 divide x?
False
Let j(a) = 35*a - 24. Is j(112) a multiple of 121?
False
Let j = -4 - -6. Suppose -61 - 1115 = -j*l. Suppose l = 5*x + 4*w, 5*x - 4*w = -3*w + 578. Is 46 a factor of x?
False
Let k(i) = 2*i**2 + 9*i - 5. Let m(a) = 5*a**2 + 17*a - 9. Let f(u) = 7*k(u) - 3*m(u). Let n be f(11). Suppose n*h = -h + 104. Is 13 a factor of h?
True
Suppose 8*j - 22789 + 3973 = 0. Does 12 divide j?
True
Suppose -5*x = -4*j - 45, -x = j - 3*j - 3. Suppose -v - 2712 = -x*v. Does 28 divide v?
False
Let i(p) = 44*p**2 + 34. Is i(-5) a multiple of 21?
True
Let r(g) = -g + 54. Let b be r(-13). Suppose -2*q = -5*q + 15, 140 = -3*x - 5*q. Let m = b + x. Does 6 divide m?
True
Suppose -7*o + 29 = -6. Suppose -7 = -o*v + 4*b + 49, 0 = 3*v - 4*b - 32. Suppose -v*i = -13*i + 36. Does 36 divide i?
True
Suppose 5*o = 2*v - 41677, 1317*v + 2*o + 41662 = 1319*v. Is v a multiple of 149?
False
Suppose 3131 + 2133 = 14*v. Suppose 0 = 7*s - 44 - v. Suppose -s = -3*p - 3*p. Is 2 a factor of p?
True
Suppose f - 3*f = 6. Let w be f + 5/((-25)/(-740)). Let d = -76 + w. Does 14 divide d?
False
Let y = -122 + 157. Is ((-3402)/15)/((-14)/y) a multiple of 9?
True
Suppose -44*j + 49*j - 130 = 0. Suppose -62 + j = -2*o. Is o a multiple of 6?
True
Let h be (0 + (-52)/8)*-78. Suppose -h = -6*t + 261. Is t a multiple of 32?
True
Let u = 8 + -17. Let y be (0/u)/(4/2). Suppose -b = y, 2*b + 0*b = 2*c - 138. Does 11 divide c?
False
Suppose -5 - 13 = -9*p. Suppose p*i - 362 = 5*j, 0 = -2*i - 2*j + 173 + 161. Does 19 divide i?
True
Suppose -188 = 3*d + 193. Let i = d + 179. Is 10 a factor of (i/4)/((-1)/(-2))?
False
Let l(d) = d**3 - 13*d**2 + 10*d - 105. Let w be l(13). Suppose 31*u - w*u = 5670. Is 27 a factor of u?
True
Let l be (-4 - -11 - 2) + 0. Suppose c + 2*s + l = 0, 2*c - 3*s + 10 = 7*c. Does 5 divide c?
True
Let a = -337 - -340. Suppose -5*o + 1676 = -h, 1009 = a*o - 2*h + 9. Is 7 a factor of o?
True
Let f = -508 - -507. Suppose 4*j - 13 - 87 = 0. Is (j*(-2)/(-6))/(f/(-18)) a multiple of 30?
True
Suppose -5*v = -0*v + 4*w - 35, -2*v = 4*w - 26. Let j(c) = 53*c**2 + 10*c - 40. Is 26 a factor of j(v)?
False
Let u(z) = -9*z**2 - 37*z - 1. Let s(g) = 4*g**2 + 18*g. Let k(l) = -14*s(l) - 6*u(l). Does 53 divide k(-10)?
True
Let w = -53 + 58. Suppose -5*j + 0*n = -w*n - 15, 0 = 3*n + 3. Suppose -853 = -5*d + j*q - q, -4*d - 3*q = -690. Is d a multiple of 41?
False
Suppose -440*o - 64140 = -466*o - 17912. Is o a multiple of 43?
False
Suppose -56*v = -52*v. Let y(k) = k**3 - 2*k**2 + 2*k + 30. Is y(v) a multiple of 10?
True
Let d(t) be the second derivative of t**3/6 + 13*t**2 + 13*t - 1. Let v be 100/6*42/(-35). Is 6 a factor of d(v)?
True
Let z be (-18)/99 + 354/11. Let f = 139 - z. Let u = f - 65. Is 14 a factor of u?
True
Let v be (-1002)/(-24) - ((-12)/(-16))/(-3). Is 16 a factor of (-2 - v/(-15))/((-1)/(-270))?
False
Suppose 167 = 4*y + 5*x, -5*y + 0*x + 225 = 3*x. Let v = y + 176. Suppose 42*q - 46*q = -v. Does 23 divide q?
False
Let n(s) = -9*s - 212. Let y be n(-24). Suppose 3*w + 298 = l, -y*l + 3*w + 100 = -1110. Is l a multiple of 8?
True
Let b(j) = -3 + 116*j + 1 - 121*j - 23. Let g = -287 - -272. Is 50 a factor of b(g)?
True
Let x(w) = w + 10. Let n be 1/4 - (-150)/(-24). Let k be x(n). Is 2 a factor of 483/147 - k/14?
False
S