 y(j) = 2694*j + 9207. Does 109 divide y(-3)?
False
Let a = -340 - -796. Suppose 18*x = 10*x + a. Is 19 a factor of x?
True
Suppose -2*h + 3 = o, 4*o + 2 - 6 = -4*h. Does 40 divide (283 - (3 - 2))*o/(-2)?
False
Let g be 4/22 - 2813/(-319). Suppose g*d - 1649 = 1168. Is d a multiple of 14?
False
Suppose -78*o + 79*o - 5 = 0. Suppose 4*b + 173 = m + 8*b, o*b - 358 = -2*m. Is 63 a factor of m?
True
Let s(y) = 115*y - 1490. Is 9 a factor of s(18)?
False
Let l be (-18)/24*24/(-9). Let j be (23 + -22)*2/l. Does 8 divide 17*(j/(-1) - -2)?
False
Let u(i) = -10*i + 84. Let z be u(-10). Suppose z = -13*w + 2342. Is w a multiple of 14?
False
Let m(w) be the second derivative of 3/2*w**3 + 0 + 5*w**2 + 27*w + 1/6*w**4. Does 9 divide m(9)?
False
Let y = 27958 + -19070. Is 8 a factor of y?
True
Let q(d) = -d**3 - 4*d**2 + 16*d + 351. Let o be q(-27). Is o/15 + (-96)/(-160) a multiple of 7?
True
Suppose 31 = 26*r - 359. Is (19 - -2) + (r - 20) a multiple of 4?
True
Suppose 4*h + 8 = 24, -3*h = 2*x - 3132. Is 130 a factor of x?
True
Let s(x) = 165*x**2 - 2*x + 48. Is s(6) a multiple of 18?
True
Let x be 2424/42 + 4/14. Suppose 6*q - x = 104. Suppose -15 = 5*h, 0 = 2*p - 5*h - 16 - q. Is p a multiple of 10?
False
Let n(y) = -7 - 6 - 2 + 2*y**3 + 7 - 8*y**2. Is n(6) a multiple of 8?
True
Let l be 38/76*8*(1 + 0). Suppose j = -a + 617, l*a - 1605 = -5*j + 868. Is a a multiple of 12?
True
Is 11 a factor of (-118090)/(-16) - (-28)/(-48)*(-18)/28?
True
Suppose -4630 = -22*n - 956. Suppose -n*c + 180*c - 4368 = 0. Is c a multiple of 14?
True
Suppose -106 - 14 = -3*u. Suppose k - 20 = -2*d, 0*d + 4*k = 2*d - u. Is d a multiple of 12?
True
Suppose -14518 + 8776 = -11*v. Is v a multiple of 87?
True
Suppose -4*h + 97 = -x, -2*h + x = h - 72. Is ((-10)/h)/((-6)/90) a multiple of 5?
False
Let z(w) = -6*w**2 + 7*w**2 - 34*w + 6*w**2 - 28*w. Does 13 divide z(-6)?
True
Is -7 + (7 + 2 - -814) a multiple of 48?
True
Suppose 3*x - 2*x - 2*m - 136 = 0, -650 = -5*x - 5*m. Let n = 11 + -6. Suppose 3*k = 2*h + x, n*h + 88 = k + k. Does 42 divide k?
False
Let g(k) = -4*k + 40. Let b(v) = -v**3 + 9*v**2 + 21*v + 16. Let j be b(11). Is 20 a factor of g(j)?
True
Let d(x) = -984*x - 635. Does 40 divide d(-5)?
False
Suppose -4346 = -7*m + 2353. Is 29 a factor of m?
True
Let q(f) = f**2 - 8*f + 5. Let m be q(6). Suppose 5*v - 2*o + 4*o - 278 = 0, 5*o - 107 = -2*v. Let r = v + m. Is r a multiple of 25?
False
Let d(o) = o - 8. Let k be d(10). Suppose 11 = k*s + 3. Suppose s*m + c = 455, -233 = -2*m - 0*m + 5*c. Is m a multiple of 17?
False
Let a = -6629 + 13859. Is 10 a factor of a?
True
Let i = 5 - 31. Let r = i + 19. Let y(t) = t**2 - 19*t - 16. Does 16 divide y(r)?
False
Suppose -3*m + 37126 = a, 3*a - 39859 = 4*m + 71454. Is a a multiple of 17?
True
Let x = -1259 + 9410. Does 39 divide x?
True
Suppose -8*f + 73 = 6*f - 1117. Is 5 a factor of f?
True
Let p be -5 + (-12)/6 - -9. Suppose -582 = -p*q - 0*i - 2*i, 12 = -4*i. Is 7 a factor of q?
True
Let l(s) = 6*s**2 + 77*s + 1376. Does 9 divide l(-37)?
True
Suppose n - 6*n = -20, -n - 4 = -4*v. Suppose 3*y = 5*o - 30, 0 = 4*o - v*o + 5*y - 12. Suppose o*a - 109 = 53. Is 27 a factor of a?
True
Suppose 9 = 4*y + 1. Let s(h) = -6*h + 1 - y*h**2 - 2 - 6*h**3 + h**2 + h. Is 5 a factor of s(-2)?
False
Let l(p) = 406*p**2 + 3*p + 4. Let v be l(-1). Suppose -v = -5*u + 68. Does 5 divide u?
True
Let a(p) = -p**3 + 22*p**2 - 42*p - 46. Let h be a(19). Suppose 0 = 4*o - 217 - h. Is o a multiple of 19?
True
Let r(k) = k**3 + 17*k**2 + 15*k - 14. Let c be r(-16). Let i = 96 + -96. Suppose -2 = -c*o, i*x + 3*o - 45 = -2*x. Does 4 divide x?
False
Let v = 92 - 86. Suppose -12*l = -9*l - v. Suppose -5*c + 52 = l*m - c, 3*m - 50 = c. Is m a multiple of 2?
True
Suppose 7*l - 8140 = -4*r + 11*l, 0 = -5*r - 2*l + 10210. Suppose -11*q + 1447 = -r. Is q a multiple of 7?
False
Let a(d) = -d**3 - 5*d**2 + 8*d + 15. Suppose 2*g + 7 + 5 = 0. Let r be a(g). Suppose r*k = 6*k - 3*o - 144, -3*k = -2*o - 144. Is 16 a factor of k?
True
Suppose -165 = -0*z - 5*z. Suppose b + 23 - 4 = -x, -3*x + 38 = -2*b. Let r = b + z. Is r a multiple of 8?
False
Let z(w) = 389*w**2 - 16*w - 24. Is 14 a factor of z(-2)?
False
Let c(o) = 6703*o - 5318. Is c(6) a multiple of 66?
False
Is 8 a factor of (13 + (-164)/8)*2916/(-10)?
False
Is 16 a factor of 2108 + (-5)/(65/169)?
False
Let k = 39131 + -26349. Is 22 a factor of k?
True
Let n(k) = -102*k + 8. Let z be n(2). Let r be ((-3)/(-12))/(-4 + z/(-48)). Is ((-138)/(-18) + -3)*(0 + r) even?
True
Let s(v) = -105*v + 4986. Is s(-69) a multiple of 151?
True
Let i(c) = 502 - c**2 - 166 + c + c**3 - 3*c + 84. Is i(0) a multiple of 7?
True
Suppose 11*x - 8888 = 8492. Is x a multiple of 10?
True
Suppose -u = u - 4*h - 542, 3*u + 4*h - 833 = 0. Let d be ((-44)/8*2)/(-3 - -2). Suppose 363 = d*l - u. Does 10 divide l?
False
Let h(g) = -g**3 + 15*g**2 + g + 7. Let i be h(15). Does 9 divide (13 - 17)/(-1 + 20/i)?
False
Suppose -23*r - 59 = -703. Suppose 4*q + 176 = t + r, -16 = 4*q. Is 3 a factor of t?
True
Let i(m) = -3*m + 49*m**2 - 3*m - 5 + 45*m**2 - 91*m**2. Let f(s) = s**2 - 7*s - 11. Let p be f(9). Is 17 a factor of i(p)?
False
Suppose 0 = -2575*o + 2585*o - 118559 - 204061. Does 285 divide o?
False
Let z(j) = 108*j - 3. Let l be z(9). Let f = 1823 - l. Suppose -15*k + 22*k = f. Is 12 a factor of k?
False
Suppose -220 = 4*x + 284. Let o = x - -186. Suppose -2*b - o = -5*w, 5*w - 5*b - 42 = 18. Is w a multiple of 5?
False
Suppose 8 = -196*t + 198*t. Suppose 0 = t*j + 52 - 1196. Is j a multiple of 19?
False
Let f be ((-80)/(-25) - 4)/((-1)/755). Suppose -f = -3*p - 2*k, -k + 802 = 7*p - 3*p. Is 40 a factor of p?
True
Let u(z) = 6*z - 106. Let g be u(19). Let j = g + 17. Is 5 a factor of j?
True
Suppose 2*m - 7*m - 5 = 0. Let v(h) = -2118*h**2 - 2 + 2127*h**2 + 1. Is v(m) a multiple of 2?
True
Suppose -u - 5 = -3. Let v = u - -1. Is 9 a factor of (-3408)/(-64) + v/4?
False
Let x = 2560 + -1274. Suppose -1706 = -11*n + x. Is n a multiple of 16?
True
Let o(b) = 2764*b**2 - 596*b + 2936. Is o(5) a multiple of 332?
True
Let h be 11 + (-4 - (-2 - -1)). Suppose -426 = -h*x + 134. Is 10 a factor of x?
True
Let m = 1904 + 2325. Does 142 divide m?
False
Let f(q) = 2*q + 16. Let y be f(2). Suppose 0 = -4*w + y, 2*w + 335 = p - 3*w. Is 24 a factor of p?
True
Suppose 0 = 2*q - 1 + 3. Let r be (q - 3)/((-1)/93*3). Suppose -o + 3*z = -r, -202 = -3*o + 4*z + 155. Does 23 divide o?
True
Suppose 3*v + 26604 = 6*t - 3*t, -4*v = 5*t - 44358. Is t a multiple of 15?
False
Let z = -1970 - -2067. Is z a multiple of 20?
False
Suppose -2*r + 298 + 404 = 0. Suppose 615 = 5*m + 2*b + 3*b, 3*m - 3*b = r. Suppose 4*y - 4*j + m = 484, 4*j - 111 = -y. Is y a multiple of 19?
True
Let q(t) = t**3 - 10*t**2 + t - 6. Let y be q(10). Let d = y - -2. Is 44/d*(4/1 + -1) even?
True
Suppose -11*c + 14*c - 12 = 0. Suppose 11*h - 30 = 9*h + c*l, -117 = -5*h - 4*l. Is 21 a factor of h?
True
Suppose -9*p + 4434 = -25851. Suppose -5*y + 5*k = -p, -7*y - 2*k - 674 = -8*y. Is y a multiple of 8?
True
Suppose 4*v - a - 9838 = 0, 5*a + 521 = v - 1929. Is v a multiple of 92?
False
Suppose -9*t = -21*t + 1212. Let r = 243 - t. Is r a multiple of 11?
False
Let k be 4/12 + 8/3. Suppose -23*i + 2880 = -k*i. Is i a multiple of 9?
True
Does 122 divide (-28)/63*15*30339/(-12)?
False
Suppose 0 = -2*m + 2*n - 1352 - 250, -4*n + 4 = 0. Is (138/4)/(15*(-4)/m) a multiple of 20?
True
Is 10 a factor of (-12531)/(-6) - 14/(-28)?
False
Suppose 8 = 3*q + x - 3, 16 = 3*q - 4*x. Let n be 10 + (-28)/q - 1*-1. Is 2 a factor of 4528/240 - n/(-30)?
False
Suppose -5*b + 2 = -p - 1, -4*b = -5*p + 6. Let a(o) be the third derivative of 4*o**5/15 - o**4/24 + o**3/3 - 22*o**2. Is a(b) even?
False
Suppose -20*b + 48 = -28*b. Is ((-1)/(-4)*b)/((-33)/704) a multiple of 14?
False
Let i be ((-2)/(-8)*-6)/(2/(-4)). Let w(d) = 0*d**3 - 89*d**2 + 87*d**2 - 3 - i*d**3 - 5*d. Is 27 a factor of w(-3)?
False
Let x(g) = 17*g**2 - 4. Let u be x(-4). Suppose -3*q = 4*t - u, -q = t - 5*t - 84. Suppose 2*v + d = q, -11 = -4*v + 3*d + 185. Is v a multiple of 17?
False
Suppose -10*k + 403 = 583. Is (-3 - 539/14)*(-2 + k) a multiple of 52?
False
Does 216 divide (36/(-5) - (1 - 1))/((-681)/510750)?
True
Suppose -81*j - 352601 = -1110113. Is j