 - 45. Let s = x + 43. Does 4 divide s?
True
Let v be -2 + 2/4*4. Suppose v*a - 3120 = -26*a. Does 5 divide a?
True
Suppose -79 = -2*l + 475. Let x = l + -60. Is 31 a factor of x?
True
Is 24 a factor of 14 + -9 + 7315 + -24?
True
Suppose 19*w - 18*w = 2. Let j be 8/(-6 + w) + 356. Suppose -1170 + j = -6*g. Is 17 a factor of g?
True
Let r = -31139 + 56918. Does 49 divide r?
False
Let q = 6499 - 5917. Is q a multiple of 6?
True
Let b(h) = 2*h**2 - 40*h - 57. Let o be b(31). Let w = 1124 - o. Is w a multiple of 39?
False
Let m(f) = -14*f - 23. Let g be m(-24). Suppose 3*u - g - 317 = 0. Is 4 a factor of u?
False
Suppose 4 = -24*l + 25*l. Suppose 19 = l*v + a, 4*a + 1 = 5*v - 7. Is v a multiple of 4?
True
Suppose 0*d = 6*d - 12. Suppose f = 6*f - d*c - 92, 15 = f + 3*c. Suppose 15 = q - f. Is 11 a factor of q?
True
Suppose 2*x + 50 = -d + 6*d, 128 = -4*x + 3*d. Let z = x - -222. Is z a multiple of 17?
True
Does 230 divide ((-152306)/(-33))/(-7)*(9 + -54)?
True
Suppose 9 = -v - 35. Let l = 11 - v. Is l a multiple of 9?
False
Suppose -5*p + 7*p - 8 = 2*q, -30 = 4*q + 3*p. Does 25 divide (-1 - -13)/((-3)/(450/q))?
True
Suppose 68 = 5*z + 3*l, -4*l - 119 = -5*z - 23. Suppose 3*n - 4*u - 397 = 0, -5*u - z = -26. Does 54 divide n?
False
Suppose 0 = 5*p - 3*j - 9753, 0 = -4*p - 106*j + 103*j + 7797. Is p a multiple of 25?
True
Let r = -221 - -226. Suppose m - 47 = -y + 171, 5*y + m = 1106. Suppose r*p - 4*p = y. Does 33 divide p?
False
Is (116*(-4)/32)/(1/(-8) + 0) a multiple of 29?
True
Let z = -3773 - -10758. Is 12 a factor of z?
False
Let h(k) = -145*k + 3910. Is h(13) a multiple of 25?
True
Suppose 0 + 12 = -f. Let z be 0/(4/f - (-10)/(-6)). Suppose z = 6*j - 231 - 3. Is 13 a factor of j?
True
Let t(v) = 3*v**2 - 3*v - 21. Let j be t(5). Let x(f) = -28*f + 2. Let g be x(-2). Let m = j + g. Does 13 divide m?
False
Suppose 3*p = 12 - 0. Suppose -56 = -m - p*x, 3*x - 8*x - 119 = -4*m. Does 3 divide m?
True
Let w(a) = -a**3 - 80*a**2 - 84*a + 371. Is w(-81) a multiple of 34?
True
Let j be (2 + -72)*(-3 + 1). Let d(y) = -2*y**2 + 49*y - 171. Let s be d(17). Let u = j - s. Is 10 a factor of u?
False
Let r be (1 - (-6)/(-9)) + 33/9. Let n(w) = -4*w**2 + r*w + 6*w - 4*w**2 - w + w**3. Does 13 divide n(7)?
False
Suppose -5*q = -5, -4*f = 5*q - 5759 - 2970. Let r = f + -1020. Suppose 7*y - 3016 = -r. Is 53 a factor of y?
True
Suppose -7 = -3*d + 8. Suppose -4*p + 3*z = -419, -d*p - 2*z + 6*z = -523. Let o = p - 39. Is 17 a factor of o?
True
Let j(l) = -141*l - 1986. Is 6 a factor of j(-20)?
True
Suppose -49916*q + 49910*q = -44574. Is 19 a factor of q?
True
Let g(w) = -343*w**3 - 2*w - 3. Suppose 71*m - 67*m = -4. Does 9 divide g(m)?
True
Suppose -87*h + 463887 = -339759 + 198822. Is h a multiple of 44?
True
Suppose -4*c + 69 = -59. Let b be (-3016)/c - 2/(-8). Let g = -46 - b. Does 16 divide g?
True
Suppose -3*o - 2*o - 20 = 0. Let f be (o/6)/(8/996). Let u = f + 165. Is u a multiple of 18?
False
Let c be 170 - ((-16)/4 + 5). Suppose -4*l + c = 5*j, 2*l - 128 = -l - 5*j. Is 6 a factor of l?
False
Suppose -3*y + 77 = -5*p + 86, 3*y = -9. Does 3 divide (-712)/(-6) + p + 8/6?
True
Let f be (7 - 208/28) + 34/14. Suppose f*z = 124 + 520. Does 23 divide z?
True
Let k(i) = i**3 + i - 1. Let d(t) = 4*t**3 - 9*t**2 + 16*t - 54. Let b(r) = d(r) - 5*k(r). Does 12 divide b(-11)?
True
Let y = 37540 + -15108. Is 14 a factor of y?
False
Suppose -5*t - 1338 = -5*r - 8798, -3*t + 4471 = 2*r. Let p = t - 673. Is 50 a factor of p?
False
Let k be 72/(-96) + ((-8187)/12 - -2). Let z = -396 - k. Does 46 divide z?
False
Let o(b) = -7*b**3 + b**2 + b + 1. Let l be o(-1). Let w(r) = -11*r**3 - 2*r - 1. Let n be w(-1). Let c = n + l. Is 5 a factor of c?
True
Is ((-6)/(-5)*350/63)/(1/3150) a multiple of 140?
True
Let a = 7217 + -6217. Is a a multiple of 8?
True
Let c = -3817 + 6903. Does 12 divide c?
False
Let r(j) = -32*j + 130. Let c be r(13). Let t(b) = -b**3 - 8*b**2 + 10*b. Let i be t(-9). Is (-20358)/c + (i/(-11) - 1) a multiple of 5?
False
Is 17 a factor of ((7 + -6)*44)/(2/442)?
True
Let k(p) = 10*p**2 - 1. Let z be 112/(-49) - ((-24)/(-14) + -2). Let d be k(z). Suppose 0*l - 43 = -l - 2*g, d = l + 4*g. Is 10 a factor of l?
False
Does 27 divide (719/(-5))/(2/(-15))*56/21?
False
Is 10663 + -2*(15/10)/((-24)/(-56)) a multiple of 333?
True
Let z(n) = 2*n + 5. Let m(f) = 6*f + 16. Let d(q) = -6*m(q) + 17*z(q). Let a be d(-9). Let k(i) = -i**2 + 6*i + 14. Is 4 a factor of k(a)?
False
Let n(g) = -21*g - 30. Let m(a) = -7*a - 33. Let h be m(-4). Let j be n(h). Suppose b = 4*v - v - j, 2*v + 5*b = 33. Is v a multiple of 4?
True
Suppose 0 = 5*i - 5*r - 25, -18 = -3*i + 4*r - 0*r. Let g(k) = k**i + 5*k - 8*k + 7 - 29. Does 8 divide g(9)?
True
Suppose 36*n + 23*n - 240012 = 0. Is n a multiple of 36?
True
Let o = -156 + 1904. Is 12 a factor of o?
False
Suppose -8*t = -35223 - 44033. Suppose -26*j + 16041 + t = 0. Is j a multiple of 57?
False
Suppose 5*t + 12 = 2. Let a be (8/(1 - 3))/t. Suppose -37 = -l + 3*u - a*u, 3*u + 147 = 4*l. Does 20 divide l?
False
Let j = -884 + 917. Let p(g) = 8*g + 2. Let h be p(-3). Let r = j + h. Is 6 a factor of r?
False
Let h = -149 + 701. Suppose -3*q = -5*q + 4*b + h, 0 = -q + b + 278. Suppose -5*n + q = 60. Does 5 divide n?
False
Let z = -26418 - -32493. Is 45 a factor of z?
True
Let l(t) = 3*t**3 + 21*t**2 + 13*t - 33. Let n be l(-6). Let w(c) = -25 - 4*c - 6*c - 13*c. Is w(n) a multiple of 11?
True
Let y(p) = -2*p + 10. Let g be y(5). Suppose g = -61*o + 56*o + 2970. Is 33 a factor of o?
True
Let x = -523 + 3823. Suppose 16*d = 5*d + x. Is d a multiple of 10?
True
Suppose 4*n + 2*p - 24783 = 5789, 0 = -3*n + 5*p + 22942. Is n a multiple of 147?
True
Suppose -d - 12373 = -2*l + 11911, -24276 = -2*l + 3*d. Is l a multiple of 44?
True
Let g = -232 - -235. Let s(v) = 188*v - 3. Is 28 a factor of s(g)?
False
Suppose 0 = -48*q + 44*q - 55*q + 489641. Is q a multiple of 135?
False
Let d(c) = -168*c**3 - 11*c**2 - 5*c + 11. Is 13 a factor of d(-5)?
True
Let y = -189 + 130. Let p be 406/4 - 2/4. Let n = y + p. Does 6 divide n?
True
Let o(k) = -16*k**3 - 44*k**2 - 15*k + 57. Let l(d) = 3*d**3 + 9*d**2 + 3*d - 11. Let v(i) = 11*l(i) + 2*o(i). Is v(-7) a multiple of 4?
True
Let t(k) = 46*k**2 + 66*k - 139. Is 3 a factor of t(-10)?
True
Let c = 92 - 85. Let u = c - -20. Is 12 a factor of u?
False
Let r(d) = 4*d**2 - 10 + 11*d - 2*d**2 - 5 + 2*d**2 + 2*d. Is 36 a factor of r(-13)?
False
Let a = 1994 - -3254. Does 32 divide a?
True
Let r(c) = 14*c**2 + 3*c + 15. Does 6 divide r(-3)?
True
Let s = -27236 + 51685. Does 21 divide s?
False
Let x(w) = 103*w + 189. Let s(p) = 310*p + 566. Let d(k) = -6*s(k) + 17*x(k). Is 41 a factor of d(-7)?
False
Suppose -2*d - 5*w + 1036 = 0, -4*w + w = d - 516. Suppose 0 = r + 2*r - d. Suppose -10*s + 12*s = r. Does 44 divide s?
True
Let a = -75 - -83. Suppose -9*k + a*k + 88 = -4*g, -2*k = 4*g - 236. Does 9 divide k?
True
Let j(u) = 6*u**2 + 134*u - 8. Is j(-26) a multiple of 12?
True
Let t(z) = -17*z**2 - 178*z + 30. Does 9 divide t(-8)?
False
Let m(s) = s**2 - 8*s + 18 + 30 + 14 + 5 - s. Is 19 a factor of m(21)?
False
Let s(r) = -2*r**3 + 66*r**2 - 5*r + 23. Let k be s(33). Let v = k + 230. Is v a multiple of 3?
False
Suppose 0*d - 2*g + 12 = 2*d, -2*d + 5*g = 9. Suppose 6*w - 3*w + 2*v + 1943 = 0, 4*v + 3235 = -5*w. Is w/(-14) - (2 + d/(-2)) a multiple of 7?
False
Let q = 252 - -576. Is 18 a factor of q?
True
Suppose -45 = -15*o - 0*o. Suppose 2*a - 39 = -o*a - r, -3*a + 27 = -3*r. Is 13 a factor of 702/12 - (-4)/a?
False
Let x be (12/3)/(2/202). Suppose 2*q = -l + 10, 4*l = -7*q + 5*q + 16. Suppose 0 = -q*v + 4*d + x, -v + 3*v - 4*d = 212. Does 16 divide v?
True
Suppose 9 = -8*n + 41. Let m(s) = -7*s - 5. Let z be m(-2). Is 13 a factor of 3 - (z - n) - -93?
True
Suppose 7*x = 14*x - 22*x + 68970. Is 38 a factor of x?
True
Let n(w) = -8398*w**3 + 22*w**2 + 22*w - 1. Is n(-1) a multiple of 27?
True
Let w = -69 + 105. Suppose 3*r + 396 = w*r. Is r a multiple of 2?
True
Suppose -5*i + 4991 + 3139 = 0. Is 14 a factor of (-24)/(-18) + i/9?
True
Let g(t) = 6*t + 43. Let o be g(-8). Let r(n) = 4*n**2 - 13*n - 51. Does 16 divide r(o)?
False
Let l = 34769 - -1602. Is 262 a factor of l?
False
Suppose 33*b - 24913 = 40427. Is b a multiple 