 - 6*k = -5*k + 9, 2*w + 6 = -k. Does 5 divide (13 - 14)/(w/132)?
False
Suppose -5*a + 20396 = -4*v, 0 = 5*a - 52*v + 53*v - 20376. Is a a multiple of 16?
False
Suppose 97 = 14*j - 407. Suppose -2*l = -j - 280. Is l a multiple of 3?
False
Let q = -506 + 737. Let o be q/2 - 1/(-2). Suppose 5*w - 290 = -3*y, -w + o = w + 2*y. Is w a multiple of 12?
False
Let m(j) = -13*j**2 + 3*j**3 - 13*j - 40 - 4*j**3 + 33. Let t be m(-12). Suppose -5*r = t*l - 7*r - 351, 4*l - 285 = 3*r. Is l a multiple of 12?
False
Is 5 a factor of (-2)/15 - (-24098176)/1920?
False
Let l(m) = 2*m**2 + 3*m + 10. Let a be l(4). Suppose 0 = -46*w + a*w - 136. Does 7 divide w?
False
Let u(d) = -17*d**3 + 4*d**2 - d + 15. Let x(v) = -17*v**3 + 4*v**2 - 2*v + 13. Let k(g) = 4*u(g) - 5*x(g). Is k(2) a multiple of 15?
False
Let y = 116 + -69. Suppose -53 = -68*j + 289 + 270. Suppose -2*n - j*a = -6*a - 58, n - 3*a = y. Is 7 a factor of n?
True
Suppose -5*b = -276 - 239. Let y be (1122/21)/((-16)/(-56)). Let o = y - b. Is 21 a factor of o?
True
Let x(f) = -f**3 - 12*f**2 - 24*f + 48. Suppose 0 = 5*z + 5*b + 45, -2*z + 9*b - 6*b - 43 = 0. Does 21 divide x(z)?
False
Let s be 1 - (-3)/(-2) - 5/2. Let g be (1/s)/((-1)/1119). Suppose 4*p - 27 - g = 0. Is 10 a factor of p?
True
Let y(t) = 200*t - 10. Suppose -3*z = 3*q - 4*z - 13, -3*z = 5*q - 31. Is y(q) a multiple of 10?
True
Let n = -358 + 374. Suppose -48 = -5*y - c + 87, -y = -2*c - n. Is y a multiple of 3?
False
Let q = -8061 - -27196. Is 215 a factor of q?
True
Suppose -60898 = -33*w + 93971. Suppose 5*b - w = -2*v, b + 4*v + 339 - 1292 = 0. Is 11 a factor of b?
False
Suppose 0 = -8*u + 2*u - 30. Let w = -3 - u. Does 13 divide w - (440/(-12) - 1/3)?
True
Let y(f) = -f**2 + 9*f + 33. Let u be y(12). Is (-2)/(u*(-2)/(-39)) a multiple of 3?
False
Let w(q) = 16*q**2 - 6*q + 553. Is 73 a factor of w(-11)?
True
Let d = 63 - 51. Let m be 0/(d/(-3)) - (0 - 147). Suppose 70 = r + 5*z, -4*r = -6*r - 3*z + m. Does 15 divide r?
True
Suppose -83330 - 69550 = -42*a. Is 14 a factor of a?
True
Let j be -17*5/(-10) + (-1)/(-2). Suppose -j = 6*l - 3. Is 11 a factor of 396/((-16)/(-4)) + l?
False
Let u = 11 + 40. Let d = u + -12. Is d a multiple of 14?
False
Suppose -3*d - 57 = 2*d + 3*n, -4*d - 5*n = 43. Let g be 12/(-30) + d/(-5). Suppose -4*j = 5*a - 61, -3*j - 5*a = -g*j - 34. Is 3 a factor of j?
True
Let h = 12173 - 7575. Is h a multiple of 38?
True
Let x(n) = 109*n - 1651. Is 115 a factor of x(34)?
False
Let v(b) = 176*b - 2333. Is v(54) a multiple of 9?
False
Does 33 divide (18 + 245/(-15))*7641?
False
Suppose z - 21 = w, -2*w - 81 = 2*w - 3*z. Let t = -13 - w. Suppose 5*y = b + 366, -y - t*b + 316 = 3*y. Is 14 a factor of y?
False
Suppose -8*i + 4*i = -20. Let h(k) = -8*k + 4. Let b be h(i). Let l = b - -180. Does 16 divide l?
True
Suppose -81*g = -84*g - 5*b + 108227, -144292 = -4*g + 4*b. Does 28 divide g?
False
Let v be 3 + -2 - 28/2. Let c(u) = -10*u + 34. Let o(z) = 19*z - 63. Let k(x) = -5*c(x) - 3*o(x). Is k(v) a multiple of 22?
True
Let r(p) be the second derivative of -11*p - 1/3*p**3 + 0*p**2 + 0 + 7/4*p**4. Is r(-2) a multiple of 11?
True
Let v(i) = i**3 + 30*i**2 + 56*i - 153. Does 29 divide v(-27)?
True
Let p(t) = -7*t. Let a be p(-8). Suppose 3*d = 43 + a. Is 3 a factor of d?
True
Let k be ((-1)/((-3)/(-12)))/(1/(-116)). Let n = 969 - k. Is n a multiple of 47?
False
Let z(h) be the third derivative of h**5/10 - h**4/6 - 5*h**3/6 + 26*h**2. Let c be z(-1). Suppose 811 = 4*l - c*q + 145, 163 = l - 3*q. Does 43 divide l?
False
Suppose n - 6 = 0, -7*n + 24409 = p - 8*n. Is 95 a factor of p?
True
Let v(o) = 107*o**2 - 4*o - 4. Let h be v(-1). Let j = 124 + h. Is 11 a factor of j?
True
Let i(t) be the first derivative of -3*t**6/40 + t**4/12 + t**3/3 + 19*t**2 - 27. Let j(y) be the second derivative of i(y). Is j(-1) even?
False
Let k(l) = -l**2 - 5*l - 9. Let p be k(-3). Let m = p + 43. Is 4 a factor of m?
True
Suppose -8878 = -3*g + 2*g + 731. Is 43 a factor of g?
False
Let j(q) = 5*q**3 - 7*q**2 - 32*q + 284. Does 51 divide j(10)?
False
Let r be (-5)/(-2) - (-5174)/52. Suppose 2*c - 9*t - r = -4*t, 0 = 5*t - 10. Is c a multiple of 8?
True
Let r = -2490 - -4230. Does 3 divide r?
True
Let h = 109 - 50. Suppose 0 = 56*n - h*n + 1287. Does 21 divide n?
False
Let d = 32022 + -22533. Does 172 divide d?
False
Suppose -2783 - 2869 = -18*t. Suppose -3*o + t = -424. Is o a multiple of 7?
False
Let f(a) = 1046*a + 4. Let v(j) = 2*j**3 - 28*j**2 + 1. Let o be v(14). Is f(o) a multiple of 35?
True
Let x(l) = -20*l - 29. Let h be x(-6). Let z = h + -45. Does 37 divide z + 16/(-7 + 3)?
False
Let v be (2 - 1)/((-2)/(-12)). Let n be (-1)/(((-16)/(-4))/(-4)). Does 9 divide 76 + (v - 11) + 0 + n?
True
Suppose -6*y - 110 = 5*y. Let i be 855/(-75)*y/3. Suppose -5*q = -i - 217. Is 8 a factor of q?
False
Let f = 3346 - 1867. Is 17 a factor of f?
True
Let a = -2959 - -5767. Does 8 divide a?
True
Let c(q) = 1 + 4*q**2 + q - 2*q**2 + 3*q. Let s(z) = z - 1. Let n(w) = c(w) - s(w). Is n(4) a multiple of 6?
False
Suppose -3*d + 17 = 2*a, 4*a - 2*d = -0*d + 10. Suppose -u + 2*u - 2 = 5*m, 2*u - a = -2*m. Suppose m = b - 40 - 26. Is 22 a factor of b?
True
Suppose 0 = 51*w + 2*w + 17*w - 15820. Is w a multiple of 3?
False
Let n(k) = k**3 - 3*k**2 - 21*k + 18. Let t be n(6). Suppose -5*o + 650 = -5*p, t*o + o - 3*p - 122 = 0. Is o a multiple of 37?
False
Suppose 0*m + 2*p + 2 = 2*m, -2*p + 16 = 4*m. Suppose n + 22 = m*n. Suppose -4*l + 14*x = n*x - 44, x - 4 = 0. Does 4 divide l?
False
Suppose -5*w - y + 10 = -3, -4*w - 2*y + 14 = 0. Let z = 2 + w. Let a(u) = 4*u**2 - 8*u + 10. Is 7 a factor of a(z)?
True
Let v = 93 - -46. Suppose -4*t = -2*z - 43 + v, -3*z = 2*t - 176. Does 8 divide z?
True
Let z be 19/(6/((-96)/(-8))). Let c(q) = -q**3 + 36*q**2 + 119*q + 69. Is c(z) a multiple of 13?
True
Let p(x) = -120*x + 20. Let w be p(2). Let c = w - -1494. Does 98 divide c?
True
Let r(m) = m**2 - 3*m - 2. Let t be r(4). Let w(q) = -q**2 - 3*q + 1. Let c be w(t). Is -178*(c/6 + 1) a multiple of 10?
False
Let s(j) = j**3 + 16*j**2 + 14*j + 2. Let p be s(-15). Let y(c) = -2 + 7 - 1 + 2*c + p*c. Is 15 a factor of y(3)?
False
Let d(o) = -52*o + 7313. Is d(133) even?
False
Suppose 6*o - 250*o + 4592744 = 739496. Is o a multiple of 28?
True
Suppose 49*m + 56*m + 80655 = 124*m. Is m a multiple of 50?
False
Let x be (-608)/104 - 4*(-1)/(-26). Let v(h) = 3*h**2 + 0*h**3 - 2*h - 7*h**2 - h**3 + 4*h + 3. Does 21 divide v(x)?
True
Let r be 1595/3 + 8/(-12). Suppose 0*h - 4*s = -2*h + 372, -3*s = 3*h - r. Suppose -2*t = 2*t + 4*c - h, -t = 5*c - 33. Does 12 divide t?
True
Let f(m) = -2*m**3 - m**2 - 6*m - 6. Suppose -9*u = -7*u - 32. Suppose 4*z = -2*o + 2*z - u, -o = -5*z - 16. Does 23 divide f(o)?
False
Suppose -324*v = -325*v - 290. Let r = v + 434. Is 18 a factor of r?
True
Let j = 50 - 41. Suppose -5*l + 4 = -j*l. Is (-468)/(-3) + 3/l a multiple of 17?
True
Let y(s) = 18*s**3 + s**2 - s. Suppose 2*f + 4 + 1 = 3*m, -4*m - 4*f = 0. Is 9 a factor of y(m)?
True
Let m(d) = -279*d + 2458. Does 94 divide m(-36)?
True
Suppose 0 = 2*i + 2*v - 13572, 2*i + 5*v = 3*i - 6768. Does 21 divide i?
True
Suppose 0 = 4*x - 13*b + 17*b - 37696, -4*x + b + 37706 = 0. Does 40 divide x?
False
Let n(u) = 3*u + 12*u + 16*u + 28 + 3*u**2. Suppose 52*w + 617 = -59. Does 33 divide n(w)?
True
Suppose 1977*d - 1872*d = 3970470. Does 8 divide d?
False
Let g be 8/6 - 320/(-75)*-5. Let d(z) = -2*z**3 - 36*z**2 + 57*z + 2. Does 12 divide d(g)?
False
Let w = 472 - 467. Suppose 0 = 3*d + w*y - 556, 56 = -5*d - 3*y + 956. Is d a multiple of 14?
False
Suppose -29*w + 16274 = -21310. Suppose 276 = -12*y + w. Is y a multiple of 28?
False
Let h(r) = r**2 - 25*r - 41. Let p be h(30). Suppose 3456 = -p*f + 115*f. Does 18 divide f?
True
Let r be 5/(-1 + (-63)/(-70)). Let x = 434 + r. Does 12 divide x?
True
Is ((-76)/114)/((-8)/256092) a multiple of 115?
False
Let x(b) = 135*b - 193. Does 22 divide x(25)?
False
Suppose 41*x - 40*x = 21. Let g = x + -7. Suppose 186 = 4*t - 3*l, -t + g = -4*l - 26. Is t a multiple of 16?
True
Suppose -5 = 5*r, 471 = -436*c + 437*c + 3*r. Is 11 a factor of c?
False
Let b = 65351 + -41287. Is 4 a factor of b?
True
Suppose -12 = 4*a - 52. Suppose 3*p + 14 = a*p. Does 5 divide 2/4*106 - (2 - p