0 = 5*f. Suppose 5*s + z - 8 = 0, -s - 1 = 3*z + 3. Is 36 a factor of f - (s + (-1)/(-1))?
True
Let a(i) = -2*i**3 + 14*i**2 + 2. Let f be a(7). Let s be 17544/66 - f/(-11). Suppose 0 = -3*h + 3*n + 2*n + 260, 2*n + s = 3*h. Is h a multiple of 17?
False
Let k = -95 + 99. Let o be (-4)/6*(k - 7). Suppose 69 = 2*n + 3*j - 68, 2*n - 134 = -o*j. Is n a multiple of 3?
False
Let k = 259 + -267. Is 3 - ((k - -5) + -302) a multiple of 7?
True
Let z = -9037 + 13682. Is z a multiple of 30?
False
Suppose 13*d + 17970 = 18*d - 5*g, 0 = -2*d - 3*g + 7218. Is 15 a factor of d?
True
Let k be 15453/54 + -8 - (-2)/(-12). Does 6 divide 2 + k + 4 - (0 + -4)?
True
Let y(o) = 5148*o**2 + 12*o + 1. Does 18 divide y(-1)?
False
Suppose 4 = 4*o, 5*f + 12*o = 8*o + 19. Suppose 5*i - 3*y - 318 - 304 = 0, -4*y - 382 = -f*i. Is i even?
True
Let u(a) = -6*a**3 - 13*a**2 + a - 23. Is 204 a factor of u(-11)?
False
Suppose -n + 5*w - 50 = 0, 3*w = 2*n + 128 - 14. Let d = 64 + n. Let z(t) = 5*t**2 - 9*t + 12. Is z(d) a multiple of 7?
True
Suppose 2*t = 2, 5*h + 4*t - 238 = 426. Is h a multiple of 9?
False
Let q(b) = 5*b + 10. Let t be q(-4). Let x be (-120)/(-9)*(t + 1). Let u = 237 - x. Is u a multiple of 21?
True
Suppose 55 = -9*h + 235. Suppose 0 = -16*a + h*a - 84. Suppose -5*i + 4*i + a = 0. Is 2 a factor of i?
False
Let i = 8221 + -4711. Is i a multiple of 30?
True
Let m(k) = -16902*k**2 + 3*k - 4. Let a be m(2). Let b be (-4)/3 - a/66. Suppose 2*v + 9*v = b. Is 18 a factor of v?
False
Suppose q + 3 = -31. Let w = -35 - q. Let k(x) = -85*x**3 - 1. Does 6 divide k(w)?
True
Let h = 290 - 291. Is -547*h/(-4)*-4 a multiple of 19?
False
Let z = 702 + -318. Let a = z - 54. Does 11 divide a?
True
Let r be 17*482/18 + (-24)/108. Suppose -5*y + 4*f + 19 = 0, 2*y - 4*f + 3*f = 7. Suppose 4*p + y*p = r. Is 15 a factor of p?
False
Let v = -75582 + 141882. Is v a multiple of 221?
True
Suppose 5*x + 210 = 1250. Suppose 682 = 4*v + 2*w, 2*w + 45 = -v + x. Is v a multiple of 9?
False
Suppose 5*k - 7*o - 545 = -12*o, 3*o = -2*k + 222. Does 3 divide k?
True
Let o(t) = 663*t**2 - 53*t - 340. Is 275 a factor of o(-5)?
True
Suppose -18*d + 1630 = -8*d. Suppose -6*o + 2*r + 161 = -3*o, -r - d = -3*o. Is o a multiple of 4?
False
Suppose 0 = 5*i + 15, 0 = 6*p - p + 2*i - 19. Let y = -72 + 65. Is 7 a factor of (12*y)/(p/(-5))?
True
Suppose -3 = -2*g + 5. Suppose -t = -g, b - t = 3*t - 28. Let n(z) = -4*z - 4. Is 7 a factor of n(b)?
False
Suppose -4*l + 20*l = 2880. Suppose 2*n - 6*n = -204. Let r = l - n. Does 24 divide r?
False
Suppose 0 = -6*u - u + 2142. Let x = 210 - u. Let i = x - -267. Is i a multiple of 12?
False
Let x(p) = p**2 - 17*p + 6. Let q = 283 + -293. Is x(q) a multiple of 23?
True
Suppose -3*n + 492 = -39. Let h = n + -9. Does 24 divide h?
True
Suppose -34 = 9*y + 29. Let g(z) = z**3 + 8*z**2 - 7*z - 9. Let a be g(y). Suppose 4*x - 163 - a = 0. Is 14 a factor of x?
False
Suppose -3*s + 2 + 19 = 0, -2*w = -5*s - 44665. Is w a multiple of 149?
True
Suppose -100 - 86 = -31*x. Let p(s) = -s**3 + 3*s**2 + 21*s - 9. Is p(x) even?
False
Suppose 53584 = i - 2*n, 788*n = i + 784*n - 53598. Does 55 divide i?
True
Let y be -3*(3/(-4))/(27/(-24)). Is 25 a factor of 5 - 140/(0 + y)?
True
Suppose 24630 = 5*b + 4*x, 3359 = 2*b - 5*x - 6526. Is b even?
True
Suppose -4*h + s = -27249, -h + 114*s = 111*s - 6804. Is h a multiple of 22?
False
Let s(u) = -22*u**2 - 106*u + 12. Is s(-4) a multiple of 42?
True
Suppose 0 = -23*n + 43*n - 44*n + 485640. Is n a multiple of 15?
True
Suppose 0 = -12641*w + 12623*w + 243972. Does 27 divide w?
True
Let c(l) = 4*l + 24. Let x be c(-8). Let n = x + 33. Suppose -2*b - z + 4 = -12, -n = -3*b - z. Is b even?
False
Let j = -104 - -84. Let v(g) = 4*g**2 + 14*g - 81. Is v(j) a multiple of 59?
True
Let h(y) = 294*y**2 + 2*y - 4. Let n(q) = -587*q**2 - 2*q + 7. Let x(f) = 5*h(f) + 2*n(f). Does 70 divide x(2)?
True
Suppose s = 4*a - 2*s - 31, 2 = 3*a + 2*s. Suppose -5*w + 4*g - 45 = 0, -3*w + 6*w + a*g = 5. Does 25 divide 6897/55 + 2/w?
True
Let o(i) = 32*i**2 - 34*i + 183. Does 12 divide o(5)?
False
Let p = -4 + 6. Let g be (0/(-6))/(-6) - (-28)/7. Suppose 0 = -g*k - 3*j + 28 + 413, 2*k - 238 = p*j. Does 38 divide k?
True
Is (-143343)/(-18)*2/3 a multiple of 13?
False
Suppose -x + 2*z = -6756, -4*x - 19*z = -14*z - 27063. Is 49 a factor of x?
True
Suppose 2*t + 3*t = 640. Let u = 16941 - 16832. Let c = t - u. Is 11 a factor of c?
False
Let u(k) = 277*k - 1602. Is u(57) a multiple of 10?
False
Suppose 12*a = -15*a. Suppose l - z - 972 = -a*l, 0 = z + 4. Is l a multiple of 44?
True
Suppose -5*w + m + 1117 = -w, -844 = -3*w + 2*m. Let q = w + -173. Is q a multiple of 13?
False
Let t(z) = z**2 + 12*z - 1 + 6*z - 15*z - 2. Does 22 divide t(6)?
False
Let d = 65 + -60. Suppose -5*n + 40 = d*n. Let k(i) = i**3 - 8*i**2 + 19*i - 5. Does 6 divide k(n)?
False
Let v = 250 - 557. Let t = v + 1210. Is t a multiple of 43?
True
Let l(z) = 76*z**2 - 91*z - 343. Does 4 divide l(-13)?
True
Let u be 1/(-1)*(-35)/7. Suppose -2*g - 5*j = -177, -314 = -4*g + 5*j - u. Suppose -2*c = g - 269. Is 18 a factor of c?
False
Let s(b) = 155*b - 3861. Is s(90) a multiple of 3?
True
Suppose -7*w - 13592 = -2*b + 19769, -5*w = -45. Does 80 divide b?
False
Suppose 2*u = -v + 2392 - 818, -9*u = 5*v - 7871. Does 6 divide v?
False
Suppose 51381 = v + 10*v. Is v a multiple of 3?
True
Let r(v) = v**3 + 27*v**2 - 59*v + 74. Does 53 divide r(-21)?
False
Let m = -121 + -64. Let t = -264 - m. Let p = t - -169. Does 23 divide p?
False
Is 12 a factor of (5*(450/54 + -8))/((-2)/(-13032))?
True
Suppose -3791*i + 40390 = -3790*i - a, 161570 = 4*i + a. Is i a multiple of 27?
True
Suppose 3*l + 4*t + 9 = 664, 0 = -4*l - 2*t + 890. Let f = 241 - l. Does 8 divide f?
True
Suppose 10*u - 239236 = -4*v + 5*u, -4*v + 239156 = -5*u. Does 93 divide v?
True
Suppose -7146 = 16*l - 170. Let t = -261 - l. Does 25 divide t?
True
Let l(u) = u**3 - u**2 + 2*u - 8. Let s = -104 - -104. Let i be l(s). Let c = 98 + i. Is c a multiple of 10?
True
Let c = -214 + 217. Suppose 0 = c*m - 824 + 5. Is m a multiple of 39?
True
Let l(a) = 3*a + 15. Let y be l(-10). Does 10 divide (y/(-6))/(-5) + 688/32?
False
Let w(p) = 121*p**2 - 331*p - 1652. Is w(-5) a multiple of 36?
False
Suppose -9*l + 21 = 3. Let i be (-4 + 8)/1 + l + -30. Does 25 divide (76/4)/(-2*3/i)?
False
Suppose -9*i + 432531 = 21114. Is i a multiple of 8?
False
Let z = 1320 + 8569. Suppose -10*d + z = d. Does 9 divide d?
False
Is ((-109)/(-5))/((-103)/(-4635)) a multiple of 7?
False
Let b(x) = 15*x**2 + 1407*x - 279. Let d be b(-94). Suppose -4*n = -1961 - 1503. Suppose -n = -d*k - 38. Does 33 divide k?
False
Suppose -4*y + 276 = -5*p, -56 = -3*y - 4*p + 151. Suppose 65*b - y*b = -144. Does 9 divide b?
True
Let j(n) = n**3 + 57*n**2 + 63*n + 448. Does 33 divide j(-56)?
False
Is 4/(-24) - ((-833989)/78 + 0) a multiple of 12?
True
Let u be 0/1*3/9 - 0. Suppose u*c - 30 = -5*c. Is 1122/c + (1 - 1) a multiple of 9?
False
Let c(o) = -2*o + 1. Let l be c(-5). Let q(i) = 3*i**2 + 11*i - l*i - 2*i. Is q(8) a multiple of 44?
True
Suppose 3*v - 6 = -5*a, -2*a - v - 7 = -10. Suppose -2008 = -4*m + 4*d, -427 = -a*m - 5*d + 1103. Is m a multiple of 20?
False
Suppose -d = 5*v - 2813, -4*d + 5*v = -2*d - 5671. Is d a multiple of 4?
True
Let k = 158 - -1472. Is 28 a factor of k?
False
Let u(a) = 9*a + 28. Let r(w) = 2*w + 5. Let s(b) = b + 3. Let h(f) = 4*r(f) - 7*s(f). Let m(g) = 3*h(g) - u(g). Is m(-11) a multiple of 29?
False
Suppose 0 = 2*o + 2*s - 4*s, -5*o = 4*s + 27. Let p be ((-29 - 4) + o)*-2. Suppose -x + p = 3*x. Is x a multiple of 6?
True
Let z(r) = 8*r - 69. Let b be z(23). Let y(t) = 6*t**3 + 2*t**2 + t - 2. Let l be y(1). Suppose l*u + b = 1116. Is 13 a factor of u?
True
Let b = 3670 + -1398. Suppose i - 5*i + 25 = j, 0 = 3*j - 3*i. Suppose -j*v + b = 897. Is v a multiple of 55?
True
Let v(w) = 90*w + 2. Let m be v(-1). Let h be (-160)/m - (-4)/22. Does 10 divide ((-8)/(-10))/(h/125)?
True
Suppose p + 14 - 13 = 0. Let s = 44 - p. Suppose -3*u = -2*n - 3*n - 12, 4*u + 3*n = s. Is u a multiple of 4?
False
Suppose 2*b = 5*b - 9. Suppose -5*q - b*z = -27, 3*q = q - 2*z + 14. Suppose -4*p + 1456 = q*p. Is p a multiple of 22?
False
Suppose 3*l + 4*o = 5*o + 18173, 5*l + 5*o = 30335. 