- 6665 = -j*n, n - 4*q = 3*n - 2690. Does 18 divide n?
False
Suppose -13134 = -5*d - 4*p, 5*d - 6*p + 5*p - 13154 = 0. Suppose -695 = -5*f + d. Does 12 divide f?
False
Suppose 58 = -10*h - 302. Does 14 divide 7 + h/9 - (-52 - 1)?
True
Let o = 11 - 9. Let u be ((-55)/(-10) + -1)*o. Suppose -u*h + 3*h = -336. Does 23 divide h?
False
Let i be 16/(-10)*(-1 - 4 - 10). Is 17 a factor of (512/(-12))/((-2)/i)?
False
Suppose -10*r + 55*r = 2418587 - 361007. Is 92 a factor of r?
True
Suppose -60*t = -71*t + 25234. Suppose t = 9*l - 1594. Does 18 divide l?
True
Let t = 38414 + -25544. Suppose -189*g - t = -207*g. Does 13 divide g?
True
Let y(w) = w + 14. Let x be y(6). Let l = -3 - -3. Is 2 a factor of l + (-52)/(-6) + x/(-30)?
True
Suppose 43*l - 155929 = 4*l + 604337. Is l a multiple of 78?
False
Let s = -6072 + 19277. Does 23 divide s?
False
Let y(a) = -5*a + 5. Let r be y(4). Let t(v) = -v**3 + 32*v**2 - 16*v - 7. Let n(g) = -g**3 + 9*g**2 - g. Let i(l) = 2*n(l) - t(l). Is i(r) a multiple of 22?
True
Suppose -4*h - 4*m - 19 = -55, -h = -5*m - 27. Is 7651/14 + (-15)/h*2 a multiple of 34?
True
Let k = 1467 + -593. Suppose 0 = 3*p - x - k, 0 = -2*p - 28*x + 24*x + 606. Does 37 divide p?
False
Suppose 0 = -138*f + 132*f + 1740. Suppose 2*i = j - 50 - f, -2*j = 2*i - 668. Is j a multiple of 6?
True
Let p = 7835 + 10049. Does 14 divide p?
False
Suppose 4*y = 5*o + 5, -2*o + 3*y = 3*o. Let k = -901 - -1305. Does 15 divide o/(12/k) - 3?
False
Let o be (-1296)/252*238/4. Is 27 a factor of ((-27)/(-6)*1)/((-3)/o)?
True
Suppose -a = 2*a - 6, 4*a = 5*c - 97. Let u(y) = -18 + 7*y - 7 - c + 3*y. Is u(9) even?
True
Let q(s) = s**3 + 9*s**2 + s + 11. Let x be q(-7). Let r = 106 - x. Suppose r*g + 0*a + 4*a = 764, 589 = 3*g - a. Is g a multiple of 39?
True
Suppose -5*h - 8*h = -52. Suppose 2*a = 3*j, 5*a - h = -j + 13. Is 6 a factor of (j - 6)*45/(-6)?
True
Let g = -130 + 133. Suppose -n + 329 = 3*t, -3*t + 326 = g*n + n. Let q = t - 107. Is q a multiple of 2?
False
Let p(u) = -3*u - 73. Let a be p(-26). Let d(i) = 128*i + 48. Is 52 a factor of d(a)?
False
Let g = -8639 + 8643. Let a = -204 + -10. Is a*(-2 + 6/g) a multiple of 36?
False
Let s(x) = -29*x - 137. Suppose 0 = -0*k + k + 5. Is 7 a factor of s(k)?
False
Suppose 4*f - 1 = 2*w - 11, 5*w + 2*f - 85 = 0. Suppose 14*i = 19*i - w. Suppose n = -i*n + 700. Is 25 a factor of n?
True
Suppose -64*z - 167658 = -3*d - 63*z, 3*d - 167652 = 2*z. Is 28 a factor of d?
True
Let c(d) = 2119*d - 15152. Is c(8) a multiple of 3?
True
Suppose -8*g - 260 = -20. Is 16 a factor of 553/35 - (g/25 + 1)?
True
Suppose 8*s = 5*v + 5*s - 563, 4*s - 220 = -2*v. Suppose 125*i - v*i - 1677 = 0. Is i a multiple of 35?
False
Suppose 47 + 1 = -3*l. Let h = 24 + l. Let b(a) = a**2 + 2*a + 11. Is b(h) a multiple of 13?
True
Let k be 4962/(-4)*82/123 + -5. Is 32 a factor of (k/(-130))/(3/60)?
True
Let f(v) = -v**3 + 13*v**2 - 12*v - 1. Let w be f(12). Let i(z) = -370*z + 1. Does 53 divide i(w)?
True
Let y(h) = 2*h + 3. Let j be y(2). Let v be (2 - 3)/(j/49). Let k(p) = -p**3 - 6*p**2 + 6*p + 12. Is k(v) a multiple of 10?
False
Let p = 21903 + 1883. Does 61 divide p/98 - 4/(-14)?
False
Let r(w) = -785*w + 26. Let q be r(-3). Let f = q - 1502. Is f a multiple of 39?
False
Suppose 17*z + 3*n + 93351 = 231798, -n - 24441 = -3*z. Does 40 divide z?
False
Does 19 divide ((-10359)/18 + -6)*(1 + -3) + -4?
True
Let n = -16191 + 28843. Suppose 56*t = n + 21284. Is t a multiple of 14?
False
Let o = -7502 - -9948. Does 40 divide o?
False
Let l be (-3 + 27/6)/((-6)/112). Let y = l - -30. Suppose 2*z = 3*j + 429, j = 4*z + y*j - 837. Is z a multiple of 42?
True
Suppose -5*m - 4*m + 18 = 0. Let b(t) = -5*t**3 - 7*t**3 + m*t**2 + 10*t**3 + 3 + 3*t**3. Is b(0) a multiple of 3?
True
Let w(a) = -5*a**3 - 13*a**2 - a - 9. Let x(o) = -11*o**3 - 27*o**2 - 2*o - 18. Let m(b) = 13*w(b) - 6*x(b). Let t be 60/8 - 57/(-38). Is m(t) a multiple of 18?
True
Let n(u) = u**3 - 6*u + 4*u**3 + 6*u**2 - 12*u - 4*u**3 + 5. Does 13 divide n(-8)?
False
Let i = 700 - -406. Suppose 2*o - 546 = 4*f - 2*f, 0 = 4*o + 3*f - i. Is o a multiple of 61?
False
Suppose 0 = -y + 3*i + 1414, -2*y + 4*i = 5*i - 2863. Suppose 2*b - 1765 = -5*c, 0*c + 4*c + 5*b = y. Suppose c = 2*h + h. Is h a multiple of 11?
False
Let k be 8/10*(-150)/(-4). Suppose j + 20 = 3*t, -2*j + 5 = -3*t + k. Suppose 0*h + t*h = 140. Does 7 divide h?
True
Let s be 17/(-85) + (-569)/5. Let q = -203 - s. Let x = 364 + q. Is x a multiple of 55?
True
Let u(r) = 10*r**2 - 39*r - 40. Let i be u(-1). Is (3080/(-35))/((-1)/i) a multiple of 66?
True
Let w(j) = -2*j**3 - 184*j**2 + 246*j - 45. Does 25 divide w(-94)?
True
Suppose 11*f - 63 = -118. Is 14 a factor of -4 + ((-935)/f - 1)?
True
Let g(f) = -f**3 - 3*f**2 - f + 4. Let m be g(-3). Suppose 0 = 4*i + 5*o - 1, 0*i = 3*i + 2*o - 6. Is (i/10)/(m/1155) a multiple of 17?
False
Suppose 3*b + 5*u + 6 = 22, -b = -u. Suppose 2*c = -z + 248, 12*c + 494 = b*z + 17*c. Is 28 a factor of z?
True
Let m be -15*((-10)/15)/2. Suppose -g + 22 = -m*w, 3*g - 2*w - w = 18. Suppose -g*f + 50 = -f. Is 5 a factor of f?
True
Let y(k) = k**3 + 15*k**2 + 16*k + 55. Let j be y(-14). Suppose 3 - 1 = -b, -4*q + 5*b + 2170 = 0. Suppose j*c = 31*c - q. Is 9 a factor of c?
True
Suppose 64*m - 137930 = -60*m + 98*m. Is 3 a factor of m?
False
Let d(z) = -11*z + 27. Let s be d(23). Let n = s + 430. Suppose -2*j + n = -120. Is j a multiple of 18?
True
Let u(j) = 108*j**2 - 2*j - 1. Let l be u(2). Suppose -4*t + 328 = -2*d, 11*d - 8*d = 5*t - 488. Let r = l + d. Does 42 divide r?
False
Let g(n) = 2*n**3 - 8*n**2 + 5*n + 13. Let x be g(6). Suppose -4*r - x = -5*b, -4*r + 10 - 2 = 0. Is 2 a factor of b?
False
Let g be 3/(-18)*(12/4 - 9). Let m be g - 8/(-3 + 1). Is m*1 + 2225/25 a multiple of 15?
False
Let o(f) = 11*f**2 + 52*f - 59*f - 3 - 2*f**2 - 2 - f**3. Suppose 19 = 3*h + 1. Does 14 divide o(h)?
False
Suppose -40*r + 56*r - 39360 = 0. Is r a multiple of 33?
False
Let o(a) = a**2 + 76*a + 1296. Is 3 a factor of o(-78)?
True
Let k(y) = 9*y**2 + 3*y - 1. Let x be k(-6). Suppose 0 = 5*h - 390 - x. Suppose 2*j - v - 51 = 0, 4*v - 39 + h = 4*j. Does 26 divide j?
True
Suppose -34*h = 7*h - 410. Suppose 0*i + 5*l + 1238 = 3*i, 0 = -i - 5*l + 426. Suppose i = h*t - 34. Is 26 a factor of t?
False
Let o = 4557 - 3286. Is 67 a factor of o?
False
Suppose -12 - 3 = -3*l. Suppose -4*b = 3*i - l, 2*i - i - 8 = 5*b. Suppose -i*y - 45 = -4*y. Does 8 divide y?
False
Does 59 divide 297510/55 - (-4 - (-47)/11)?
False
Suppose -43 - 5 = -6*a. Is (13/(-2) + (a - 7))*-60 a multiple of 15?
True
Suppose -4*n + 59444 = -2*g - 7610, 4*g = 4*n - 67052. Does 18 divide n?
False
Let p = 253 - -448. Does 16 divide p?
False
Suppose -3*x = -2*q - 1326 - 3988, -q = x - 1768. Is 59 a factor of x?
True
Suppose d = -o + 10357, 20720 = 2*d - 3*o + 6*o. Is d a multiple of 17?
False
Let i(n) = -14*n + 48. Let o(d) = 28*d - 95. Let t(r) = -5*i(r) - 2*o(r). Let j be (4/(-12))/(4/(-204)). Is 12 a factor of t(j)?
False
Let t(q) = -4*q + 0*q + 0*q - 5 - 5. Let g be t(-3). Is 2 a factor of g*3/(-12)*-6?
False
Let m = 2641 - -411. Is m a multiple of 27?
False
Suppose -2*q = 3*c - 20444, -2*c + 6028 + 7623 = -3*q. Does 33 divide c?
False
Let t = 16 - 12. Suppose 15 = 3*p, -2*f + t*p = -p - 139. Suppose -210 = -84*q + f*q. Does 7 divide q?
True
Let m(j) = 14*j**2 + j - 4. Let b(w) = 2 - w**2 - 8 + 9 - 1. Let v be b(-2). Does 14 divide m(v)?
False
Suppose 3*n + 101 = 4*n. Let t = n + -40. Let z = t - 22. Is 12 a factor of z?
False
Let k be (222/(-185))/(2 - 8/5). Does 8 divide (-178 + k)*19/(-19)?
False
Let k be (-9)/21 + (-1735)/35. Let g = -47 - k. Is 2*645/8 - g/(-4) a multiple of 27?
True
Suppose 3*v + 9758 = 2*q, 0 = 2*q + 2*v - 5647 - 4101. Does 46 divide q?
True
Suppose -110376 + 4690 = -19*f + 456087. Does 146 divide f?
False
Let x(m) = m**3 + 52*m**2 + 64*m - 473. Does 11 divide x(-37)?
False
Suppose 6*l = 11*l + 5. Let z = -1 - l. Suppose -m = -5*o + 2*m + 120, z = o - m - 24. Is 8 a factor of o?
True
Let m = -1021 + 1287. Does 14 divide m?
True
Let h = -8017 + 30541. Does 12 divide h/66 + (-3)/11?
False
Let l(c) = 354*c**2 + 8*c + 1. Let f be l(-1). Suppose -3*t + u = -u - f, 0 = 2*t - 4*u - 226. Is t a multiple of 26?
False
Suppose 0 - 22 = 2*d + 3*