f + 3*o, -2*f + 2*o + 50 = 0. Let k be 15/(-1)*f/(-45). Suppose t - k - 1 = 0. Is 10 a factor of t?
True
Suppose 4 = -4*c, -10*s + 6*s - 5*c + 343 = 0. Suppose -2*z - 4*o = -92, 4*o + 37 + s = 2*z. Is z a multiple of 9?
True
Let l(y) = -32*y + 1788. Is l(-20) a multiple of 5?
False
Suppose 5*s - 2*s + 3 = 0, -5*d = 3*s - 7457. Is 5 a factor of d?
False
Let w be 1*3 - (-37 + 13). Suppose 26*h = w*h. Suppose h = 2*u - 74 - 12. Is 26 a factor of u?
False
Let z = -14403 + 22479. Does 96 divide z?
False
Let q(p) = -315*p - 4455. Is 75 a factor of q(-17)?
True
Let r = 2858 + 298. Is 3 a factor of r?
True
Suppose 15*v - 12*v + 1371 = 4*u, 457 = -v - 3*u. Let x = 846 + v. Does 18 divide x?
False
Let s = 358 + -239. Suppose 0 = -203*v + 206*v - 15. Suppose -291 - s = -v*z. Is 28 a factor of z?
False
Let t be ((-28)/(-21))/(2/(-123)). Suppose -5*h = i - 3 + 82, -279 = 5*i - 4*h. Let s = i - t. Does 4 divide s?
False
Let j(d) = -6*d - 18. Let g be j(-4). Suppose g*u = u + 90. Suppose 3*t + u = 99. Is 9 a factor of t?
True
Let h(w) = -w**3 - 52*w**2 - 59*w + 7. Does 46 divide h(-52)?
False
Let o(g) = -16*g - 15. Let i be (-141)/12 - (-7)/(-28). Let a = -19 - i. Is 23 a factor of o(a)?
False
Let b(s) = 4*s**2 - 7*s + 17. Let n be b(-13). Let f = -434 + n. Is f a multiple of 25?
True
Let i = 15 + -14. Suppose 2*f - 4*f = 3*u - i, -4*f - 5*u = -3. Suppose -5*q - 3*g + 266 = -3*q, 3*g + 254 = f*q. Does 13 divide q?
True
Suppose 122*y - 1235726 = 745066. Does 11 divide y?
True
Let b = -8108 + 15560. Is 92 a factor of b?
True
Let b(g) = 834*g**2 - 12*g + 36. Is 9 a factor of b(3)?
True
Suppose s = -3*d + 342, -2*d + 20*s - 17*s + 239 = 0. Suppose -2*t + d = -317. Is t a multiple of 36?
True
Let y(k) = k**2 - k - 1264. Does 4 divide y(-74)?
False
Let r = 277 + -243. Suppose -r*z = -31*z - 1227. Is 23 a factor of z?
False
Let d(w) = -987*w - 1574. Does 181 divide d(-34)?
False
Let o(n) = -124*n + 4870. Is o(25) a multiple of 5?
True
Let k be (-32)/4 + 23709 + (3 - 2). Suppose -43*t + k - 5900 = 0. Is t a multiple of 30?
False
Is 29 a factor of 300/(-225)*(3/(-3) + -2174)?
True
Let m(u) = -u**2 - 30*u + 42. Let i(d) = -2*d**2 - 31*d + 43. Let x(l) = 2*i(l) - 3*m(l). Let c = 103 - 87. Does 19 divide x(c)?
True
Let g be 42*(-1 + 19/7). Suppose 10*v - 13*v = -g. Suppose -2*r - d + 51 = 0, r - 5*d + 4*d = v. Does 4 divide r?
False
Let i(g) = 25*g**2 + g + 217. Is i(-17) a multiple of 11?
True
Let n = 36 + -35. Let x be (0/n)/((-8)/(-4)). Suppose -g - 4*g + 180 = x. Does 11 divide g?
False
Suppose 3*l = 8*l + 285. Suppose 0 = 24*t - 17*t. Is 7 a factor of t - (0/3 + l)?
False
Suppose -1910 = -4*v + 4690. Suppose 9*b - v = -2*b. Is 5 a factor of b?
True
Let q(t) = -3*t**3 + 9*t**2 - 51*t - 45. Is 21 a factor of q(-14)?
False
Suppose 4*g - 3*u + 10 = 0, 3*u + 22 = -3*g + 4. Does 8 divide 5/(g*4/(-1184))?
False
Suppose 2*v - 5*o = 5 - 3, 0 = 2*v + 2*o - 30. Suppose 0 = -6*t - v - 1. Is 9 a factor of (t + 32/7)/(7/49)?
True
Suppose -5*i - p = -7*i - 778, -4*i = p + 1568. Let c = -367 - i. Is c even?
True
Suppose 4*m - 227360 = 4*o, -3*m + 81140 = 2*o - 89355. Is 9 a factor of m?
True
Let l = 10777 - 5941. Does 16 divide l?
False
Let r be 54/4*(4 + 60/(-18)). Suppose r*m = 4442 + 1633. Does 34 divide m?
False
Let d be -73 + (-132)/(-66)*3*4/6. Let q(v) = -v**3 - 2*v**2 + 3*v + 3. Let k be q(-3). Does 4 divide (-1 + -1)/(k/d)?
False
Suppose 4*b + 4 = 0, 0 = 51*l - 46*l - 7*b - 109662. Does 10 divide l?
False
Let g = 3466 - -1145. Is g a multiple of 75?
False
Let k(n) = n + 32. Let l be k(9). Let b = -94 - l. Is 1/(-5) - 16092/b a multiple of 15?
False
Let g = 112 + -117. Is 11 a factor of -76*((-390)/(-12))/g?
False
Suppose -150 = -6*r + 4*r. Suppose -230 = -3*c + 4*j + r, 215 = 2*c - 5*j. Suppose 3*h - c = 1. Is 4 a factor of h?
True
Suppose 176 = 7*v - 3*v. Suppose 0*m - 4*m = -v. Is m a multiple of 8?
False
Let u be 3 + 1 + -1 - 228. Let h be (-2 - (-132)/(-10))/(6/u). Let q = h + -368. Is q a multiple of 17?
False
Let w = 33515 + -8259. Is 22 a factor of w?
True
Suppose 52*y - 93*y + 697604 = 93*y. Does 79 divide y?
False
Let g be (207/(-27) + 6)/(2/114). Does 4 divide (-830)/(-12) + (g/30 - -3)?
False
Suppose 5*s + b + 1350 - 6035 = 0, 3*b = 15. Does 3 divide s?
True
Let d = -864 + 2700. Does 102 divide d?
True
Let i be 34/(-153) + (64887/27 - 0). Suppose -51 + i = 6*y. Is y a multiple of 28?
True
Let h(t) = 2*t**2 - 278*t + 84. Is h(141) a multiple of 72?
True
Suppose -435*x + 1828631 + 8049580 = 636201. Is x a multiple of 6?
True
Let w = 28854 + -17652. Is 25 a factor of w?
False
Suppose -80*d + 2*f + 113304 = -75*d, 0 = 4*d + 3*f - 90657. Is 10 a factor of d?
False
Suppose 4*j + 6707 = 5*g, -21*g + 6713 = -16*g - j. Is 79 a factor of g?
True
Let c = 9 - 5. Suppose -47 = -c*q + 3*q. Does 13 divide q*1 - (4 + -4)?
False
Let s = 3 - 1. Suppose -b = w - 4*w + 21, s*b = 3*w - 39. Does 28 divide (-2 + b/(-15))/(1/(-70))?
True
Let y(g) be the second derivative of g**6/240 - g**5/12 - 11*g**4/6 - 40*g. Let u(w) be the third derivative of y(w). Does 3 divide u(14)?
False
Suppose -46*s - 29826 + 97642 = -110480. Is s a multiple of 51?
True
Let h = -8 + 1. Is (-2)/h - (75504/(-42))/8 a multiple of 45?
True
Suppose -43*c + 142495 = -83977 - 192520. Does 42 divide c?
True
Let m(o) = 2*o**3 + 2*o - 3. Let l(c) = 5*c**3 - c**2 + 5*c - 8. Let i(t) = -2*l(t) + 7*m(t). Let v = 218 + -216. Does 19 divide i(v)?
False
Let o be (-216)/162 - ((-3448)/3 + -1). Suppose -1148*a + o*a = 837. Does 51 divide a?
False
Suppose -2*k = 2*k - 256. Suppose -3579 = -32*r + 3557. Let p = r - k. Is 14 a factor of p?
False
Suppose 15 = 4*f + y, -5*f = -4*y + 21 - 66. Let l be ((-3)/6)/(-1)*36. Suppose n - f = l. Is n a multiple of 8?
False
Let f = -23864 - -40225. Does 48 divide f?
False
Let d(k) be the third derivative of k**4/24 + 8*k**3/3 + 9*k**2. Let r be d(-18). Is 36 a factor of 906/15 + 4/(-10) + r?
False
Let v = 8193 + -6983. Is v a multiple of 2?
True
Let c(t) be the third derivative of t**5/4 - 77*t**4/24 + 146*t**3/3 - 4*t**2 + 13. Is c(4) a multiple of 14?
True
Let n = 2355 - -359. Is 56 a factor of n?
False
Suppose -64 = 6*y - 10. Is 3 a factor of 33 - 4 - (y/(-3) - 3)?
False
Let v(z) = 199*z**3 + 4*z**2 - 12*z + 5. Is 16 a factor of v(2)?
False
Let h(l) = 8*l - 18. Let c be h(10). Suppose 6 = 4*q - 2. Let s = q + c. Does 32 divide s?
True
Let y(a) = -176 + 18 + 42 + 21*a + 50 - 295*a. Is y(-1) a multiple of 13?
True
Suppose -992 = -n + h - 78, -4*h - 8 = 0. Does 19 divide n?
True
Let d = -58 + 61. Suppose d*z = -q + 590, -z - q - 2*q = -202. Is z a multiple of 10?
False
Suppose 0 = -4*l + 5*d - 54, 0 = -5*d - 5 - 5. Let h be (1 - l/(-4))*210/9. Is 4 a factor of (-1140)/h + 4/(-14)?
True
Suppose -5*a = -g + 18016, 2*g + 1274*a - 36044 = 1278*a. Is g a multiple of 8?
False
Let d = -14271 - -34066. Is 12 a factor of d?
False
Let r(m) = m**2 - 1. Let l = -31 - -30. Let p be r(l). Suppose -5*q = -3*h + 144, p*q = 3*h - q - 132. Is 15 a factor of h?
False
Let h(q) = 4*q**3 - 5*q**2 + 3*q + 7. Let r be h(5). Let p = -221 + r. Does 11 divide p?
True
Suppose -2337 = -n + 3075. Is 44 a factor of n?
True
Let v(s) = 7*s**2 + 8*s + 6. Suppose -16 + 13 = -3*y. Let u(p) = -p**2 + p. Let c(j) = y*v(j) + 3*u(j). Does 14 divide c(-6)?
True
Let m(d) = -262*d + 396. Does 33 divide m(0)?
True
Let t(s) = 18*s**2 - s. Let z be t(1). Let l = 5 - z. Let m = 16 - l. Does 7 divide m?
True
Let g(z) = 171*z - 1. Let c(a) be the second derivative of -43*a**3/3 + a**2/2 + 2*a. Let u(r) = 5*c(r) + 3*g(r). Is 17 a factor of u(1)?
True
Let f(l) = 63*l**3 + 2*l**2 - l - 1. Let m be f(-1). Let t = 53 + m. Is 39 a factor of (882/12)/((-4)/t)?
False
Let w be (-16)/(-48) + (-1)/3. Suppose w = 3*l + 4*x - 20, 0 = -3*x + 18 - 3. Suppose l = u - 10 - 1. Is u a multiple of 11?
True
Let n = 21 - -894. Suppose -4*b + r = -731, 9*b + r = 14*b - n. Does 8 divide b?
True
Let i be 2/(-18) + (-516)/(-27). Suppose -i*z = -14*z - 1040. Is 13 a factor of z?
True
Let h = 10730 - 2176. Does 26 divide h?
True
Let r be ((-4)/1*(-982)/(-8))/1. Let i = -319 - r. Does 6 divide i?
False
Suppose f + 5*f - 3744 = 1536. Does 5 divide f?
True
Let q = -245 - -249. Suppose q*g + o = 148, 4*g - 3*o - 95 = 69. Is g a multiple of 14?
False
Let q(i) = i -