-5)?
False
Let q = 889 + 4874. Is 13 a factor of q?
False
Suppose v - 5*c - 37153 = -1210, 0 = -5*v - 3*c + 179659. Is v a multiple of 40?
False
Let j be (8/6)/((-7)/(-21)). Suppose 0 = -5*n - j*x + 1497, 5*n - 2*x = 10*n - 1491. Does 68 divide n?
False
Suppose 24*m = -107*m + 1391220. Is m a multiple of 18?
True
Let w = 251 - 242. Suppose w*t = 8*t + 84. Does 12 divide t?
True
Let q = -150 + 152. Suppose 4*p - 242 = -q*j, 2*p - 2*j = -j + 115. Is 6 a factor of p?
False
Suppose -18*b = -931 - 1661. Is 97 a factor of (-10860)/(-7) + b/252?
True
Let v = -1328 + 13664. Is 29 a factor of v?
False
Let r(y) = y**3 + 7*y**2 - 23*y - 11. Let j(o) = -21. Let z(x) = -x + 43. Let n(m) = 5*j(m) + 2*z(m). Let l be n(-5). Is 18 a factor of r(l)?
False
Suppose 0 = 3*b - 6 - 0. Suppose -3*s = 4*w - 3, -2*w = -21*s + 17*s + 26. Suppose -b*x - s*x = -700. Is 17 a factor of x?
False
Let d = 996 + 1020. Is 42 a factor of d?
True
Let x(t) = -t**3 + 37*t**2 - 13*t - 102. Is x(30) a multiple of 48?
True
Suppose 2*u + 0*u + 2*i = 16, -2*u + i = -22. Suppose -5*r + u = 0, 2*v - 255 = v - 5*r. Is v a multiple of 26?
False
Suppose 19020 = 40*o - 35*o - 5*t, -5*t + 19060 = 5*o. Is o a multiple of 136?
True
Let i be 520/39*18/(-15). Does 13 divide (40/i + 3)*2236?
True
Is 34 a factor of 60516/2 + 58 + -36?
False
Let j = -3241 - -4548. Does 46 divide j?
False
Let p(t) = t**3 + 3*t**2 + 3. Let f be p(-2). Suppose -f*d = 13 - 1462. Is 17 a factor of d?
False
Let h(u) be the second derivative of -u**4/12 + 5*u**3/6 + 8*u**2 + 37*u. Let t be h(7). Suppose -q - t*q = -264. Does 44 divide q?
True
Suppose -65*h = -5*r - 64*h + 27, -9 = -2*r + h. Let z(s) = 24*s**2 - 4*s. Let p be z(4). Suppose r*f + 2*f = p. Is f a multiple of 17?
False
Let f(h) = 5003*h**2 - 141*h - 140. Is 139 a factor of f(-1)?
True
Let h = 156 + -405. Does 33 divide (1 - 21/9)*h?
False
Suppose 69 = -2*b + 249. Let x = 51 - b. Let a = 2 - x. Does 20 divide a?
False
Let h = -134 + -390. Let s = -885 - h. Let j = -257 - s. Does 18 divide j?
False
Let t(r) = -2*r**2 + 10*r + 3. Let s be t(5). Suppose s*p + 376 = -2*l + 4*l, 0 = p. Suppose -q - q + l = -3*u, 5*u = 3*q - 281. Does 25 divide q?
False
Let k = 438 - 442. Let r(c) = 25*c**2 - 6*c - 4. Is 70 a factor of r(k)?
True
Let n = 13275 - 2855. Is 15 a factor of n?
False
Is 3/1 - (5 + (-22666)/14) even?
False
Let b(u) = -75*u - 555. Is b(-23) a multiple of 30?
True
Let o(w) = 2*w - 33. Let l(a) = 9*a - 196. Let t(i) = 6*l(i) - 34*o(i). Is t(-6) a multiple of 5?
True
Let y = 159 + -157. Suppose 0*d - 255 = -d + p, y*p = d - 253. Is d a multiple of 33?
False
Let t be (-11 - 2)*(-4 - 0 - 0). Suppose 2*c + 5*a - 157 = 0, -4*a - 172 = -3*c + t. Suppose 43*i + c = 45*i. Does 4 divide i?
False
Let c(q) = -4*q**3 - 19*q**2 + 11*q - 3. Let m be c(-10). Suppose d = -4*w + w + m, -2*d + 2*w + 3950 = 0. Is 44 a factor of 4/30 + 0 + d/15?
True
Suppose -62*g + 19*g = -1333. Let j(q) = 2*q**2 - 5*q + 4. Let d be j(5). Suppose -g*u + 92 = -d*u. Does 11 divide u?
False
Let a = -3955 + 9277. Is a a multiple of 2?
True
Let y = 209 - 17. Let m = 265 - y. Is 38 a factor of m?
False
Let g(a) = -9*a - 76. Let k be g(-9). Suppose 612 = w + k*w. Is w a multiple of 6?
True
Let g(z) = -304 + 28*z**2 + z**2 - 14*z + 252. Does 21 divide g(-5)?
False
Let f = -28 + 24. Let i(m) = -m**2 - 17*m - 12. Is i(f) a multiple of 10?
True
Let o = -2844 - -3233. Is 18 a factor of o?
False
Let q(g) = -18*g - 8. Let r(x) = 1. Let n(t) = 3*q(t) - 3*r(t). Is 15 a factor of n(-8)?
True
Let z(v) = 94*v - 31. Let w(s) = 189*s - 62. Let f(a) = -6*w(a) + 13*z(a). Let o be f(5). Suppose 2*p - 205 = -4*m + 117, 4*p = 5*m - o. Is m a multiple of 12?
False
Let k be 10/(5/15*-3*-1). Does 37 divide (-1572)/k*100/(-30)?
False
Let q = -360 - -717. Let u = q - 253. Is 18 a factor of u?
False
Let a = 13656 - 8269. Is a a multiple of 35?
False
Is (9/6 - 0)/(51/(-952))*-1357 a multiple of 161?
True
Let r(p) = -8*p + 133. Let x be r(-18). Let a = 462 - x. Is a a multiple of 15?
False
Let v(s) = s**3 - 18*s**2 + 7*s - 287. Is v(28) a multiple of 189?
True
Let j(f) = 8*f**2 + 49*f + 559. Is j(-14) a multiple of 4?
False
Let q(g) = 2*g**2 + 43*g - 40. Let m be q(-24). Suppose 5*n - n + m = 0. Is 4 a factor of n/(1 - 12/8)?
True
Suppose -231*j + 232*j = 8, p + 5*j = 2551. Does 279 divide p?
True
Let a = 15 - 11. Suppose -3*c = -4*k + 253, 311 = 5*k + 4*c - 6*c. Let q = k - a. Is 9 a factor of q?
False
Suppose 0 = 21*y - 104 - 337. Suppose -y*l + 11648 = 1253. Is 11 a factor of l?
True
Let g = -4988 + 9338. Suppose -16*u = -13170 - g. Is u a multiple of 15?
True
Suppose -30*k + 409014 = 24*k + 161964. Is 9 a factor of k?
False
Let s(d) = -89*d**3 + d**2 + 4*d + 2. Let b be s(-1). Let r be 8*((-4)/(-22) - (-50)/b). Suppose r = l + j, 3*l - 2*j = 2*j + 53. Does 3 divide l?
False
Let b = 318 + -318. Let t = b + 216. Is 18 a factor of t?
True
Suppose -5*m - q + 4141 + 56311 = 0, -4*q + 48336 = 4*m. Does 38 divide m?
False
Let u(o) = o + 55. Let v be u(19). Let z = -94 + v. Is (-2756)/z + (-4)/20*-1 a multiple of 23?
True
Suppose -40400*q - 445536 = -40424*q. Is 13 a factor of q?
True
Let w be 0 - 2 - 2/2 - -26. Let p = -15 + w. Suppose 0 = 2*d + p*d - 190. Is 19 a factor of d?
True
Let d(c) = -42*c - 58*c**2 + 33*c**2 + 24*c**2 - 66. Is 15 a factor of d(-36)?
True
Let t = 3421 - 3386. Is 9 a factor of t?
False
Let h be (-999)/189 - ((-9)/7 - -1). Let w(s) = -21*s + 46. Is 4 a factor of w(h)?
False
Let n(h) = 5*h**2 + 48*h + 21. Let l(z) = -z**3 + 7*z**2 + 7*z + 17. Let c be l(8). Is n(c) a multiple of 33?
True
Is (2 + 204/(-15))/((-34)/8330) a multiple of 22?
False
Let p be (-5 + -74 + 3)/(1/2). Let o = p - -555. Is 9 a factor of o?
False
Let s(p) = p**3 + 6*p**2 - 15*p + 10. Let x be s(-7). Let h = x - 35. Let r = h - 4. Is 9 a factor of r?
True
Let k be 100/(-3)*(-2 + 11 + -6). Let l = 245 + k. Does 22 divide l?
False
Let g(q) = 3*q**2 - 4*q - 1. Let s be g(2). Suppose -k + s*u - 74 = -2*k, -2*k - 2*u = -164. Let c = k - 51. Does 35 divide c?
True
Let v(f) = -f**3 - 10*f**2 - 15*f + 10. Let i(k) = -2*k - 8. Let a be i(0). Let s be v(a). Suppose s*w - 318 = -4*w. Is 7 a factor of w?
False
Let v(d) be the second derivative of -d**5/20 + 13*d**4/6 - 49*d**3/6 + 14*d**2 - 41*d. Is 4 a factor of v(24)?
True
Suppose 5*r + 92 = 3*h, -3*r = -7*h + 4*h + 96. Suppose -2*q - h = -w, 4*w - 100 = q + 50. Let z = 100 - w. Is 4 a factor of z?
False
Suppose -6*s + 29922 = -25302. Is 24 a factor of s?
False
Let v(c) = -c**3 + 7*c**2 - 16*c + 25. Suppose -2 = -5*w - 5*u + 28, 0 = 5*w + 2*u - 42. Let t be v(w). Let y = -295 - t. Is y a multiple of 20?
True
Suppose 0 = -4*r - 2*u + 20588, r + 6*u + 1969 = 7094. Does 13 divide r?
False
Let t = 30 - 12. Let x(g) = g**2 + 36*g + 4. Let l be x(-36). Let o = l + t. Is 13 a factor of o?
False
Let t = -901 + 966. Let l(q) = -q + 5. Let v be l(6). Is (t/26)/(v/(-34)) a multiple of 17?
True
Suppose -2*o + 697 = 15*o. Suppose o*i - 872 = 33*i. Is 5 a factor of i?
False
Let y(p) = 54*p**2 + 4*p**2 + 102*p**2 - 2 - 3*p + 0. Is y(2) a multiple of 9?
False
Let o = -35 + 34. Let x = -26 + o. Is 6 a factor of 3*(-3)/x*36?
True
Suppose -3*p = p - 5160. Is (2 - 1)/((-14185)/p - -11) a multiple of 58?
False
Suppose -y + 11 = 5. Is (0 - -1)/y + (-51701)/(-78) a multiple of 17?
True
Let g = -143 - 526. Let y = -561 - g. Is y a multiple of 27?
True
Let x(s) be the second derivative of -14*s**3/3 - 35*s**2/2 + 278*s. Is x(-5) a multiple of 6?
False
Suppose -5*q + u = -5745, -q = u + 557 - 1712. Does 35 divide q?
False
Suppose 0 = -z - 3, -12*h + 21 = -9*h + z. Does 8 divide h?
True
Let f be (9/(-6))/(-3)*0 - -300. Suppose -276 = -2*c + c. Suppose 0 = -4*v - v + 5*j + f, c = 5*v + j. Does 13 divide v?
False
Let c(j) = -1. Let p(l) = 3*l - 37. Let x(v) = -3*c(v) + p(v). Let t be x(13). Suppose -k - 400 = -t*k. Is 18 a factor of k?
False
Let o = 40 - 18. Let b(q) be the first derivative of q**4/4 - 7*q**3 - 10*q**2 - 5*q + 82. Is b(o) a multiple of 11?
False
Let s be (-2)/5 + (-34)/(-10). Let a = 3209 - 3204. Suppose -s*h - 2*h - a*j + 120 = 0, -5*j = -h + 24. Is 24 a factor of h?
True
Let a(f) = -411*f - 282. Is a(-22) a multiple of 20?
True
Suppose -2*f - 34680 = -7*f. Does 51 divide f?
True
Suppose 0 = -4*m - 5 + 85. S