ppose 5*z - 2*m - 28 = -0*z, 0 = -2*z + 4*m + 8. Suppose -40 = 7*a - 12. Is (0 - z/a)/((-12)/(-248)) a multiple of 31?
True
Let g be 84/(-98)*(-7)/2. Suppose g*u - 114 = -2*s, -u = -s - 0*u + 67. Does 34 divide s?
False
Suppose 68615 + 14560 = 15*n. Is 34 a factor of n?
False
Let v(o) = -29*o - 159. Let a be v(17). Let p = a - -1564. Does 12 divide p?
True
Suppose -4*b = 2*n - 165874, 22*n - 24*n = -5*b + 207329. Is b a multiple of 16?
False
Let z = -1729 - -1747. Let r(y) = y**2 - 3*y - 7. Let k be r(5). Suppose -k*s + z = -27. Does 3 divide s?
True
Suppose 3*g = 0, -4*j - g - 14 = -6*j. Suppose -k = j*a - 2*a - 800, 2*a - 293 = 5*k. Is 15 a factor of a?
False
Suppose -20497 = 1228*x - 1237*x - 436. Is 41 a factor of x?
False
Let d(h) = -79*h - 5688. Does 35 divide d(-76)?
False
Suppose v - 5745 = -3*x, -4*v = -8*x + 3*x + 9575. Suppose -3*q - q - 5*w + x = 0, 2*w = q - 495. Is 33 a factor of q?
False
Let b(d) = d**3 + 36*d**2 + 5*d - 42. Does 26 divide b(-25)?
True
Suppose 0 = 5*y + 4*i - 247, 0 = 3*y - 4*i - i - 126. Let r = y + 148. Let m = -113 + r. Is 15 a factor of m?
False
Suppose -5*c = -h + 830, -16*h = -20*h + 3*c + 3252. Is h a multiple of 15?
True
Let a be (3/(-6))/(3/192). Let n = 160 - a. Suppose 2*j + n = 4*s, 91 = 3*s - 4*j - 53. Is 14 a factor of s?
False
Let t be 0 + (-14)/(-63) - 212/(-18). Suppose 3*d + 96 - t = 0. Is d/(-98) + 248/14 a multiple of 3?
True
Suppose 2*o = -4*k + 112 + 158, 4*o = -5*k + 537. Suppose 3*h = 2*w - 397 + 127, w - h - o = 0. Does 6 divide w?
False
Let z(r) = 2*r**2 + 15 - 3*r**2 + 4*r - r. Let u be z(6). Is 12 a factor of (-1)/u - (-428)/12?
True
Does 59 divide ((-228)/(-16))/(914/(-2360) - (-2)/5)?
True
Suppose 7*p - 5*u + 2605 = 8*p, -2*p = -3*u - 5158. Is 47 a factor of p?
True
Let k be 78/234*(-9)/2*2. Is (-1)/(3/(-335)) + k/(-9) a multiple of 8?
True
Let i(h) = 1608*h + 225. Does 13 divide i(5)?
False
Let v(w) = 5*w**3 + 11*w**2 - 11*w + 442. Let b(t) = 3*t**3 + 7*t**2 - 7*t + 295. Let m(h) = 8*b(h) - 5*v(h). Does 25 divide m(0)?
True
Let w(p) = 79*p + 142. Is w(6) a multiple of 22?
True
Let c(a) = 69*a**3 + 2*a**2 - 3*a - 1. Let n(t) = 69*t**3 + 3*t**2 - 3*t - 2. Let h(v) = -3*c(v) + 2*n(v). Let b be h(2). Let u = 803 + b. Does 32 divide u?
True
Suppose 282*l - 560*l + 276*l = -45990. Does 25 divide l?
False
Suppose -5*b - 12 = 8. Let k be b + (-26)/3 + (-22)/(-33). Is 31 a factor of 6/k + (-9)/6 + 312?
True
Let m(u) = -20*u - 2 + 191*u + 55*u. Suppose -1257*n = -1245*n - 12. Is 23 a factor of m(n)?
False
Let k(q) = 2*q**2 - 35*q + 495. Is 18 a factor of k(-27)?
True
Suppose -1997*q = -1982*q - 182025. Is q a multiple of 7?
False
Let b(j) = 4*j - 95 - j + 31. Let y be -16 + (8 - (-13 + -18)). Is b(y) a multiple of 5?
True
Let a be (0 + -7)*46/(-1 - 1). Let m = 376 - a. Is 5 a factor of m?
True
Is 14 a factor of 364366/22 - 242/2662?
True
Suppose -15*w + 24 = -16*w - 2*l, l - 114 = 4*w. Let r = w + 588. Does 14 divide r?
True
Let l be (-622)/(-5) + 16/(-40). Let x = -51 + l. Suppose 182 + x = 3*j. Is j a multiple of 17?
True
Let p = -9861 + 39254. Is p a multiple of 13?
True
Suppose 11 = -3*w + 4*l, 3*l = -4*w - w - 28. Let o be (3/5)/(w/(-25)). Suppose 2*z = -4, o*z - 49 = -3*d - z. Is 17 a factor of d?
False
Let m = 568 + -564. Suppose -605 = -m*j - v + 104, 1 = v. Does 15 divide j?
False
Let r(s) be the third derivative of s**6/60 + 17*s**5/60 - 19*s**4/24 - s**3 - 5*s**2. Let j be r(-9). Let a = j + 14. Is a a multiple of 14?
True
Let b(y) = -2*y**3 - y**2 + y. Let a(s) = 521*s**3 + 17*s**2 + 7*s + 2. Let c(i) = -a(i) - 6*b(i). Is 12 a factor of c(-1)?
False
Let o(u) be the third derivative of u**6/120 + 11*u**5/60 + u**4/6 + 5*u**3/2 - 4*u**2. Suppose -4*x - 16 = -p + 21, x + 1 = 3*p. Does 25 divide o(x)?
True
Let h = -478 - -1120. Is (-4 + 7 - 7) + h a multiple of 19?
False
Let f(w) be the third derivative of -w**5/10 + 163*w**4/24 + 5*w**3 + 52*w**2. Does 3 divide f(26)?
False
Let a(b) = -b**3 + 21*b**2 + 96*b + 565. Does 6 divide a(-24)?
False
Is 13 a factor of (-1 - 5866/2)*13069/(-3734)?
False
Let o(p) be the third derivative of -p**5/60 - p**4/24 + 4*p**3/3 - 44*p**2. Let d be o(-3). Suppose -34 = -d*w + 302. Is w a multiple of 42?
True
Suppose -c + 18 + 40 = 0. Let n = c + -47. Suppose -1194 = -n*q + 1974. Does 32 divide q?
True
Let v = 63 + -66. Is (-618)/v + 0 + (0 - -2) a multiple of 4?
True
Suppose -2*i + 3*i - 4*t - 5476 = 0, 16414 = 3*i + 2*t. Does 36 divide i?
True
Let y be ((-4)/36*-3)/(2/66). Suppose -1484 = -y*u + 2025. Is 29 a factor of u?
True
Let t be -2 - (0 + -3 - 3). Let f be 10/15*(-1698)/t. Let a = 418 + f. Is 37 a factor of a?
False
Let o(z) be the third derivative of z**6/120 - z**5/10 - 7*z**4/12 - 4*z**3/3 + 2*z**2. Let v be o(8). Let q = v + 27. Is 5 a factor of q?
True
Suppose 0 = 5*y + 2*h - 3427, 0*y + 3*y - 2*h = 2069. Is y a multiple of 229?
True
Suppose -5*n + 2*n + 126 = 0. Let m = -1 - -7. Suppose 3*r = m*r - n. Is 14 a factor of r?
True
Let d(v) be the second derivative of 5*v**4/12 + v**3/6 + 9*v**2/2 - 15*v. Is 57 a factor of d(3)?
True
Suppose 22 - 4 = -2*u. Let d(b) be the first derivative of b**4/4 + 10*b**3/3 + 4*b**2 + b - 3. Is d(u) even?
True
Let a(w) = -9*w**3 - 6*w**2 + 15*w + 50. Is 19 a factor of a(-5)?
True
Let a be 3605 + -1 + (-12)/3. Suppose 40*g - a = 30*g. Does 15 divide g?
True
Let u be 3*((-8)/18*15 + 6). Is 30/6 + 750 + 2/u a multiple of 26?
True
Let u(r) = 17*r + 9. Let p(n) = 7*n - 32. Let d(m) = 13*m - 63. Let x(o) = -6*d(o) + 11*p(o). Let t be x(13). Is 10 a factor of u(t)?
True
Suppose 6*z - 3*z - 2*r = 16, 0 = 5*r - 5. Is 7 a factor of (3 + 25 - -2)/(-4 + z)?
False
Suppose -12*j - 20 = -7*j. Let g = 1 - j. Suppose -y = -g*y + 56. Is y a multiple of 9?
False
Suppose 1 = -5*z - p, z - 3*p = -2*z + 3. Suppose z = 3*g - 2*q + 15, 4*g - 2*q = -4*q - 6. Let i(u) = -43*u - 27. Is i(g) a multiple of 34?
True
Let l(m) = -6*m**2 + 42*m + 7. Let i be l(7). Suppose 17 = i*j - 1999. Does 12 divide j?
True
Let r be (-4)/3 + (-532)/114. Is r/(-2) + (-10 - -20) + 40 a multiple of 28?
False
Is ((-37)/(666/150))/((-2)/336) a multiple of 8?
True
Suppose -120*l = -123*l + 2*c + 170708, 5*l - 4*c = 284508. Does 12 divide l?
False
Let h(d) = -21211*d + 82. Does 46 divide h(-2)?
True
Suppose -761*r + 782*r = 189957 + 55995. Is 16 a factor of r?
True
Let h(j) = 559*j - 3012. Is h(62) a multiple of 13?
False
Suppose -722 + 95299 = 28*v - 6475. Is v a multiple of 28?
False
Suppose 4*q = -2*w + 7836, -8*w = -10*w + 2*q + 7866. Is 14 a factor of w?
False
Does 18 divide 1/10 - (-7 + 666806/(-140) + -17)?
False
Suppose 0 = 17*j + 10*j - 351. Suppose 0 = -15*n - j*n + 18032. Does 28 divide n?
True
Suppose -389*v + 1390598 = 312679. Is 17 a factor of v?
True
Let w be ((-8)/(-16))/(3/(-528)). Is w*(-3)/(-12)*-4 a multiple of 88?
True
Suppose -9*h + 3280 + 8069 = 0. Suppose 0 = -5*y + o + h, -4*y + 148 = 3*o - 857. Does 36 divide y?
True
Let c(w) = 2*w - 38. Let n be c(32). Let q(g) = -4*g + 132. Is 14 a factor of q(n)?
True
Suppose -11*t + 22 - 99 = 0. Let l(a) = -a**2 + 8*a + 8. Let n(h) = -2*h**2 + 15*h + 15. Let c(i) = 5*l(i) - 3*n(i). Is 37 a factor of c(t)?
False
Let a(y) = y**2 - 5*y + 14. Let r = 17 - 25. Let z be a(r). Is 0 + 2 + (z - (-1)/1) a multiple of 14?
False
Suppose 6828*w = 6830*w - 6386. Does 31 divide w?
True
Let a(q) = -6*q + 176. Let t be a(29). Suppose t*b = -296 + 782. Is 7 a factor of b?
False
Suppose -5*l + 9*h - 5*h = 0, -3*l + 4*h - 8 = 0. Suppose 4*q - 34 - 1220 = i, -2*q - l*i + 636 = 0. Does 18 divide q?
False
Let z = -9501 + 15430. Does 23 divide z?
False
Suppose -128*h - 10 = -127*h. Let y = 46 + h. Is y a multiple of 9?
True
Let i = 2122 + -1679. Does 47 divide i?
False
Let j = -125 + 135. Suppose -4*i + 2*l = -4170, -36*l + 38*l + j = 0. Is 52 a factor of i?
True
Suppose 1104 = 7*w + 5*w. Let c = w - 92. Suppose -11 - 94 = -5*i + 5*p, p - 4 = c. Is 2 a factor of i?
False
Suppose 1 + 155 = -2*f. Let y = -28 - f. Suppose -y = -4*t + 602. Does 26 divide t?
False
Let v be (60 - -4)/2 + 3. Let z be ((-21)/v)/((-1)/70). Let c = 61 - z. Is 12 a factor of c?
False
Let k = 65 - 60. Suppose 2*u - 11 = -u - k*z, -z + 1 = 0. Let a(n) = 7*n**2 - 4*n + 5. Is a(u) a multiple of 5?
True
Let u be (-832)/18 + 6*(-1)/(-27). Let w = u 