s + 5*b, -h*b = -4*s + 243. Does 5 divide s?
True
Suppose 6*m + 9*m = -2*m + 30073. Does 69 divide m?
False
Does 25 divide (-3664)/(-4) + -4 - -13?
True
Suppose -4*p + 4*x + 40 = p, -4*p = 2*x - 32. Does 10 divide (-4)/(p/(-267))*6/9?
False
Let q = 261 + -258. Suppose -2*c = -2*k - 16, -5*k = -8*k - q. Does 2 divide c?
False
Suppose -2*x = -k - 89, 3 = 5*k - 2. Is 24 a factor of ((-32)/(-6))/(-7 + 320/x)?
True
Suppose 6*z - 31452 - 10191 = 29241. Is 104 a factor of z?
False
Suppose 4*l + 20 = 4*b, -5*b + 21 = -4*l + l. Let q be (-12)/(2427/1212 + l). Does 18 divide 2/9 - q/54?
True
Suppose 2*w + 523 = -4*f + 3*w, 0 = -3*f - w - 394. Let r = -104 - -592. Let t = f + r. Does 14 divide t?
False
Let t(s) = 475*s**2 - s + 10. Is t(2) a multiple of 16?
False
Suppose 5*s - 8*n = 6071, 2*s - n - 3008 = -584. Is s a multiple of 63?
False
Suppose -3*a + 9 = -3*c - 6*a, -4*a = -c + 12. Suppose 2*b - m - 298 = 104, -3*m + 6 = c. Does 20 divide b?
False
Let x be -3*(-3*28/(-36) + -2). Is 72720/70 - x/7 a multiple of 33?
False
Let z = -93 - -224. Let x = z + -104. Suppose -3*c + x = 3*i, 0*c - 5*c + 2*i = -45. Does 3 divide c?
True
Let t be (-9)/(-6)*360*6. Suppose 11*p - 126 - t = 0. Is p a multiple of 53?
False
Let p(l) = 430*l - 196. Is 34 a factor of p(12)?
True
Suppose -6*s - 192 = -432. Suppose -9*j = -14*j + s. Is j a multiple of 3?
False
Let h = -5011 - -5623. Does 34 divide h?
True
Suppose 4*k + l = 13110, 5*k - 1009*l - 16398 = -1012*l. Does 42 divide k?
True
Suppose -h = -m - 12147, h - 12150 = -67*m + 71*m. Is h even?
True
Let z(u) = 3*u + 42. Let i be z(-12). Suppose i*f + 12 = 10*f. Suppose 6*y - 3*y = 5*h + 327, -324 = -f*y + 4*h. Does 26 divide y?
True
Let l be 1/(14/4) - 184/56. Let x be 304/(-20)*(l + 1/2). Suppose w - 24 = x. Is w a multiple of 5?
False
Let l(b) = 4*b**2 - 6*b + 3. Let q be l(-6). Let d = 361 - q. Let f = d + -118. Is 15 a factor of f?
True
Let l(t) = -3*t**2 + 22 - 19 - 8*t - 5*t**2. Let y(s) = -s**3 + 7*s**2 + 7*s - 2. Let z(v) = -4*l(v) - 5*y(v). Is z(3) a multiple of 12?
False
Let r(g) be the third derivative of g**6/120 - 17*g**5/60 + 11*g**4/8 - 2*g**3/3 + 4*g**2. Suppose -29*m = -13*m - 240. Does 6 divide r(m)?
False
Suppose 6*g - 14226 = -3*b, -3*b - 23740 = -8*b + 5*g. Is 5 a factor of b?
False
Suppose 0 = -u + 6*u + 4*d - 213, -234 = -5*u + 3*d. Is 29196/u - (-4)/(-5) a multiple of 18?
True
Is 19 a factor of (-41*4/8 - -1)/((-17)/1938)?
True
Suppose 3*w + 3*w = w. Suppose 8*s - 5*s + y - 567 = w, 3*s - y = 573. Does 38 divide s?
True
Suppose 0 = -f - 4 + 9. Suppose -n + 5*n = -f*h - 487, -h = -5. Let c = n + 232. Is 13 a factor of c?
True
Suppose 218 - 295 = -7*v. Suppose -v*o + 514 = -806. Does 12 divide o?
True
Suppose -172417 = -39*i + 23012. Is 86 a factor of i?
False
Let m(f) be the second derivative of 27*f + 2*f**3 + 0 - 1/12*f**4 - 7*f**2. Is m(10) even?
True
Suppose 5*p = 2*p + 9. Suppose 3*v + p*z - 6 = 0, -10 = -3*v + 2*z - 3*z. Suppose v*r - 141 = 319. Is r a multiple of 9?
False
Suppose -37*y = 26*y + 56*y - 669137. Is y a multiple of 15?
False
Let n = -25 + 81. Is n/((6/(-30))/(-1)) a multiple of 28?
True
Let i = -258 - -183. Let j = 291 + i. Does 36 divide j?
True
Suppose -83*q + 57*q = -182. Suppose -q*b + 4140 + 3266 = 0. Is b a multiple of 23?
True
Let i(l) = l**3 - 2*l**2 - 23*l - 2. Let n be i(6). Suppose 5*p - 5*y + n*y - 701 = 0, -20 = -5*y. Is p a multiple of 21?
False
Let b = 141 - 396. Let y = -55 - b. Is y a multiple of 40?
True
Is 10 a factor of -7 + (29910/(-8))/((-438)/1168)?
False
Suppose -61*m + 62495 + 186225 = -113620. Is 12 a factor of m?
True
Let l be 0*(-2)/(-8)*2. Let b be 24*(-21)/(-7056) - 110/(-28). Suppose l = b*m - 12, x - 4*m + 156 = 5*x. Is 4 a factor of x?
True
Let f(g) = -2*g**3 - 4*g**2 + 5*g - 28. Let v be f(-7). Suppose -v = -6*u + 779. Is u a multiple of 11?
False
Suppose -2*h + 4*y - 41364 = -130612, -2*y + 133936 = 3*h. Does 32 divide h?
True
Suppose -27*w = -3*g - 22*w + 4399, -5*g + 7305 = -3*w. Is g a multiple of 57?
False
Let b(m) = -124*m**3 - m**2 - 2*m - 1. Let n = -47 - -52. Let h(d) = 4*d - 21. Let l be h(n). Is b(l) a multiple of 13?
False
Let y(f) = 37*f**2 + 2*f + 17. Let c be y(-5). Is 6 a factor of (2/8)/(1/c)?
False
Let o(l) be the third derivative of l**7/2520 + l**6/180 + 13*l**5/120 - l**4/24 + 41*l**2. Let i(h) be the second derivative of o(h). Is 15 a factor of i(-8)?
True
Suppose 0 = 4*c - 3*x - 2743, -x + 5*x = -2*c + 1344. Suppose -9*z + 1001 = -c. Does 12 divide z?
False
Suppose -154*s + 124*s + 316680 = 0. Is 13 a factor of s?
True
Suppose -4932 = l - 10709 - 10993. Is l a multiple of 146?
False
Suppose -2*r + 2948 = 4*q, r + 12*q = 11*q + 1473. Does 46 divide r?
True
Let p(y) = -y**2 + 8*y + 125. Let j be p(0). Let x be 201*((-3)/(-9) + 1). Let t = x - j. Does 11 divide t?
True
Let s = -6284 - -12707. Does 248 divide s?
False
Let s = -409 + 418. Is 69 a factor of 63/7*11/s*69?
True
Suppose 3*p + 130 = 301. Let a = 305 - p. Does 14 divide a?
False
Let s = -221 + 226. Suppose 0*n = 2*n - f - 185, s*n - 440 = -5*f. Does 7 divide n?
True
Is (90/(-6))/((-462)/(-469) + -1) even?
False
Suppose -229*a + 87131 = 2*z - 234*a, -3*z = -3*a - 130692. Does 39 divide z?
True
Let y be (15/(-5) + 32)*(211 - -3). Is 15 a factor of (-23)/(-184) - y/(-16)?
False
Suppose 3*z - 81 - 6 = 0. Suppose 0 = z*a - 24*a - 20. Suppose -a*s - 3*q = -705, -310 = 5*s - 4*q - 1230. Is 15 a factor of s?
True
Suppose -336 = -5*w - 23*c + 21*c, -4*w - 2*c + 270 = 0. Suppose 845 = 6*f - f. Let b = f - w. Is b a multiple of 21?
False
Let d = 57 + -57. Suppose -5*q + 1334 - 89 = d. Does 30 divide q?
False
Let i(y) = y. Let k(f) = 2*f**2 + 17*f - 8. Let z(o) = -6*i(o) + k(o). Let x be z(-6). Does 7 divide (5 + 2)/(((-10)/15)/x)?
True
Is 33 a factor of (-4 + (-4231)/5)/(72/80 - 1)?
False
Let m be 45/(-39) + (-16)/(-104) + 5. Suppose -3*a + 3*g - 1848 = -7*a, 1880 = m*a - 5*g. Is 15 a factor of a?
True
Suppose u - 4031 = -b, 9*u = 7*u + 4*b + 8068. Is 6 a factor of u?
True
Let g = 2 + 0. Let x(v) = -v**3 - 2*v - 2. Let d be x(g). Let o = 15 - d. Does 9 divide o?
False
Let d be (-35574)/(-105) + 1/5. Let o = 532 - d. Is 70 a factor of o?
False
Let k(a) = 5*a - 1. Let q be k(1). Suppose -120*z - 117*z + 243*z = 5568. Suppose 2*o + z = 4*u + 342, -2*u - q*o = -268. Is 25 a factor of u?
False
Let j(q) = 7*q**2 + 2*q - 32. Let i be j(4). Suppose -84*m - 128 = -i*m. Is m a multiple of 9?
False
Suppose -19*t = -24*t + 445. Let v = t - 103. Does 16 divide 8/v - 5408/(-56)?
True
Suppose 3*j + 3 = 15. Let f(n) = -n**2 + 4*n + 2. Let x be f(j). Suppose -5*t + 5*y = -490, -x*y = 5*t + 2*y - 472. Is 4 a factor of t?
True
Is (52116/860)/((-3)/(-1655)) a multiple of 101?
True
Suppose -2*d + 374 = -3*u - 21292, -5*d = 5*u - 54240. Is 39 a factor of d?
True
Let o(h) = -94*h**3 + 69*h + 70. Is 5 a factor of o(-1)?
True
Suppose 10*l = 17*l - 28. Does 7 divide 107*l + 12 + -21?
False
Let s(i) = -32*i - 15. Let c(p) = -96*p - 44. Let n(r) = -3*c(r) + 8*s(r). Let j be ((-130)/(-39))/((-2)/(-3)). Does 42 divide n(j)?
False
Suppose -v + 4 = 3*g, -24 = g - 4*g + 3*v. Suppose 5 + 1 = g*t. Suppose t*w + 89 = 3*w + 3*x, 4*x + 276 = 4*w. Does 14 divide w?
False
Let l(p) be the second derivative of 1/3*p**3 + 16*p**2 - 21*p + 0 + 1/6*p**4. Does 27 divide l(-5)?
False
Let d = 451 + -634. Let b = d + 224. Is 4 a factor of b?
False
Let x(w) = 42*w + 2. Suppose -12 = 27*f - 30*f. Does 7 divide x(f)?
False
Suppose -2610 + 98 = 4*o. Let f = o + 692. Does 4 divide f?
True
Is (93/124)/(198003/66000 - 3) a multiple of 71?
False
Suppose -334112 + 89900 = -110*k + 261678. Is 40 a factor of k?
False
Let q(h) be the third derivative of 31*h**5/60 - h**4/6 - h**3 + 2*h**2 + 41*h. Let g = -6 - -4. Is q(g) a multiple of 23?
False
Is 111 a factor of 907 + ((-14)/16 - 3) + (-26)/208?
False
Does 70 divide ((-15)/(-2))/(558/3739344)?
True
Let o(y) = -4 - 17*y - 8*y + 11 + 1. Let p be o(-4). Suppose 9*r = 6*r + p. Is 18 a factor of r?
True
Let k be 1/4 + (-12)/336*-77. Suppose -4*w = -4*p - 1252, -k*p + 17 = w - 316. Does 21 divide w?
False
Let a = -3466 + 3630. Is a a multiple of 82?
True
Suppose -5*p + 1514 = -2*f + 5*f, 0 = 5*p + 4*f - 1512. Suppose -4*w + 2*x + 2122 = 0, w - 2*x - 219 = p. Is w a multiple of 13?
True
Le