 - 81. Suppose -3*b + v = -70. Is b a multiple of 13?
True
Let g be -1 - (-7)/((-21)/18). Let s(j) = -j**3 - 7*j**2 - 6*j - 8. Let v be s(g). Let d = v + 29. Does 7 divide d?
True
Let m(k) = k**3 - 13*k**2 + 4*k - 5. Let p be m(13). Is p + -5 - (-6 - -1) a multiple of 47?
True
Let t = 53992 - -30442. Does 56 divide t?
False
Suppose 2521*r - 2435*r - 1629057 - 56543 = 0. Is r a multiple of 49?
True
Suppose a = 5*z - 55058, -3*z + 49628 = 3*a + 16568. Does 7 divide z?
False
Let j(g) = g**3 + g**2 - 13*g. Let y be j(-4). Suppose 2*a + 2*x + x - 575 = 0, 0 = y*a - x - 1115. Does 28 divide a?
True
Suppose -187*z + 715889 + 2690129 = 0. Is 14 a factor of z?
True
Suppose 4*n + 4*k = 1104, -5*k = n - 0*k - 260. Suppose 17*r - 15*r = n. Is 20 a factor of r?
True
Let c = 105 + -101. Let v(u) = -1 + 18*u - 3 - 2. Is v(c) a multiple of 11?
True
Suppose 0 = -5*o + 8*o - 15. Suppose -o*r - 1669 = -8*r - 5*c, 2*c = -5*r + 2788. Is 9 a factor of r?
True
Suppose 102999 = 10*i + 29*i. Is 3 a factor of i?
False
Suppose -441*b + 446*b = 1930. Let t = 950 - b. Is 94 a factor of t?
True
Suppose -8 = -4*l - u, -3*l + 5*l + 6 = 2*u. Let z be (-3 + 4)*(8 + 14). Let k = l + z. Does 9 divide k?
False
Suppose -7*w = -9*w + 136. Suppose -13*u + 17*u = w. Is u a multiple of 6?
False
Suppose 3*y = 5*t + 2637 + 1660, -2*t + 4304 = 3*y. Suppose 2*h - y = -5*f + 3*h, 0 = -f - 5*h + 266. Is f a multiple of 11?
True
Let l(a) = -3. Let o(n) = -4. Let i(f) = 3*l(f) - 2*o(f). Let w(d) = -12*d**2 - 2. Let y(p) = 2*i(p) - 2*w(p). Is 48 a factor of y(-3)?
False
Suppose -9*g + 2*g - 7406 = 0. Is 23 a factor of 36/12*g/(-6)?
True
Let s(g) = g**3 - 5*g**2 - 16*g + 16. Let o be s(7). Does 9 divide o*(-111)/(-6) - 1/1?
True
Suppose 4*b = -b - 110. Is (-23168)/(-2353) + (b/26 - -1) a multiple of 10?
True
Suppose -15*c + 12*c = -4*q + 34785, -2*c = 4*q - 34770. Is 69 a factor of q?
True
Suppose -51*g + 54*g - 42 = 0. Suppose -g*a - 4 = -10*a, -3*y + a + 1729 = 0. Is y a multiple of 24?
True
Let r = 308 + -301. Suppose -r*y + 1217 = -428. Does 47 divide y?
True
Let a(k) = 834*k + 2562. Does 33 divide a(5)?
True
Let w(b) be the first derivative of -4*b - 9/2*b**2 - 1/4*b**4 - 2*b**3 + 16. Does 11 divide w(-6)?
False
Suppose -r - 5*f + 65 = -0*r, -260 = -4*r - 2*f. Is r/(-15) + 4 - 2210/(-15) a multiple of 24?
False
Suppose 17*r - 40*r = -8280. Suppose -l = 4*o - 1838, -o + r + 101 = l. Does 65 divide o?
False
Let i(x) = x**3 - 6*x**2 + 5*x - 19. Let l be i(6). Suppose 42*g - 46*g + 48 = 0. Suppose -l*k = -g*k + 77. Is k a multiple of 11?
True
Suppose 0 = -16*w + 5*w - 66. Does 6 divide ((-3)/w)/(2/(-4)) + 218?
False
Suppose -327 = -4*g - 3*f, -2*g + 155 = 5*f - 26. Suppose -9*c + 579 - 552 = 0. Suppose 16 = -4*q, -g = -2*x + x + c*q. Does 22 divide x?
True
Let i(j) = -3*j**3 - 7*j**2 + 4*j + 5. Let d(y) = -5*y**3 - 15*y**2 + 7*y + 9. Let u(k) = 4*d(k) - 7*i(k). Let r be u(11). Does 19 divide 78/r - (2 + (0 - 0))?
True
Let m be 1/((-245)/(-50) - 5). Let o(k) = -2*k + 39. Is o(m) a multiple of 8?
False
Let o = -43 - -14. Let c = o + -11. Let g = c + 272. Is g a multiple of 12?
False
Suppose 9*q - 8760 = 35313. Does 59 divide q?
True
Let w = -69 - -69. Suppose -26*x + 32*x - 360 = w. Is x a multiple of 12?
True
Let r(w) = w**3 + 9*w**2 - w + 18. Let f = -53 - -45. Let c be r(f). Suppose 6*p - 15*p + c = 0. Does 5 divide p?
True
Let k(b) = 1475*b**2 - 59*b + 122. Is 12 a factor of k(2)?
True
Let r = 20509 + -5089. Is r a multiple of 30?
True
Suppose s + 5*x = -14, -1 = -3*s - 4*x + 1. Suppose 24 = 5*b + 2*f, -s*f + f = -b - 6. Suppose 0*r = -2*z - 5*r + 196, 0 = b*r + 16. Is 36 a factor of z?
True
Suppose 349343 = 10*j - 18717. Suppose 0 = 21*b - j + 11732. Is 80 a factor of b?
False
Let a(y) = y**2 - 5*y - 15. Let p be a(7). Let n(d) = -2*d**2 - 10*d - 12. Let b be n(-3). Is 5 a factor of p/((-4)/(440 + b))?
True
Let b(y) = 4*y**2 - y - 8. Let g be b(10). Suppose -58*i + 60*i = g. Does 46 divide i?
False
Let x(i) = -i - 1. Let j(w) = -9*w - 46. Let l(b) = j(b) - x(b). Does 21 divide l(-24)?
True
Let t = -118 + 121. Suppose 3*n = 2*b + 203, t*n - 2*n - 73 = -2*b. Is n a multiple of 3?
True
Is ((-24084)/(-378))/((-1)/(-56)) a multiple of 80?
False
Let w(x) = x**3 - 8*x**2 - 33*x + 48. Let p = 826 - 811. Is w(p) a multiple of 43?
False
Suppose 2*j + 5*g = -19, 5*j + 4*g - 3*g = 10. Suppose -6*w - 15 = 3*f - 2*w, j*f + w = -6. Is 5 a factor of 3*f/6*-10?
True
Let k(l) = -32*l - 17. Let p be 9 + (0 - -1) + 2. Suppose -22*b - p = -18*b. Does 7 divide k(b)?
False
Suppose 14*d + 1680 = 19*d. Does 21 divide d?
True
Let f(s) = -29 - 10*s - 33 - s**2 - 3*s - 26*s - 46. Is 25 a factor of f(-28)?
True
Suppose 11*w = 16*w - 150. Suppose 2*t + w = -3*t. Let x = 15 - t. Is x a multiple of 2?
False
Is -11*(16 - (-54666)/(-66)) a multiple of 21?
False
Suppose 2*t + t + 4*b - 27 = 0, 0 = 2*b - 6. Let u be (-2)/(((-14)/(-292))/(-7)). Suppose -2*i - 5*f = -u, t*i + 3*f = f + 730. Is i a multiple of 36?
False
Suppose 132*p + 554026 = 3774298. Does 38 divide p?
True
Suppose -8*f + 3*f = 75. Let m be ((-5)/(f + 5))/(1/72). Suppose -7*v + m = -62. Is 3 a factor of v?
False
Suppose -o - 6*o + 714 = 0. Let c = -93 + o. Suppose 7 + c = b. Is 4 a factor of b?
True
Is (-236521)/(-34) - ((-8)/(-48) + 4/(-6)) a multiple of 200?
False
Suppose -32*p + 61912 - 11928 = 0. Is 22 a factor of p?
True
Let m be 0 + 0 + -10 + (-90)/(-9). Suppose m = -16*v + 4495 + 4241. Does 42 divide v?
True
Suppose 2*r + 16 = -3*v, 13 = -3*r - v + 3. Let t be (20 - 3)*(1 + (-2 - r)). Suppose -580 = -22*a + t*a. Is a a multiple of 18?
False
Suppose 5*t - 305 = 5*o, -2*o - 240 = t - 5*t. Suppose 1021 = 4*w - t. Does 15 divide w?
True
Let q(l) = 14*l. Suppose -4*z = 4*t - 12, -6*z + t = -z - 9. Let i be 2/((10/z)/10). Does 28 divide q(i)?
True
Let b(f) = 2492*f - 107. Does 19 divide b(14)?
False
Let p be 1 + 2 + -3 - -311. Let w = -333 - -133. Let a = p + w. Is 26 a factor of a?
False
Suppose -7102 = -2*j + 2*t, -4*j - 3*t = -2*j - 7077. Does 9 divide j?
True
Let x(t) = t**3 - t**2 + 3. Let w be x(0). Let h(o) = o**2 - o - 3. Let n be h(w). Is 12 a factor of 6/9 - 34*(-1)/n?
True
Let i(j) = j**2 - 140*j + 5957. Is i(107) a multiple of 3?
False
Suppose 392*g = 117*g + 516450. Does 6 divide g?
True
Let w(q) = 3*q**3 - 6*q**2 - 13*q + 29. Let k be w(5). Suppose -22*o + 31*o = k. Is o a multiple of 10?
False
Is 41 a factor of (-24)/(-22)*1005939/162?
False
Is (66/(-77) - -1)*17983 even?
False
Suppose 418*v = 423*v + 40. Is 15 a factor of ((-10)/v)/(30/6480)?
True
Let q(o) = 17*o - 69*o**2 + 38 + 10*o + 67*o**2. Is 31 a factor of q(11)?
True
Let n(x) = -1481*x + 3. Let p be n(-1). Suppose v - 10 = 6*v, 4*d = 4*v + p. Is d a multiple of 16?
False
Suppose 0 = 3*m - 6*m - 537. Suppose 123*i + 326 = 124*i. Let d = m + i. Does 49 divide d?
True
Suppose 0 = 17*z - 41*z + 792. Suppose -744 - z = -37*b. Is 4 a factor of b?
False
Suppose 0 = 12*x - 6*x. Suppose 2*a + x = 4. Suppose 2*y + 3*u = 100, u = a*y + y - 150. Is y a multiple of 5?
True
Suppose 73 - 9 = 8*g. Let w be -6*(4/g + -1). Suppose -4*q = 5*f - 2*q - 52, 0 = -3*f + w*q + 27. Is f a multiple of 10?
True
Suppose -2*o + 66144 = -13*n + 22*n, 0 = -n + 3*o + 7359. Is 14 a factor of n?
True
Let l(m) = -138*m - 5. Let d be (-120)/(-16)*1/3*-2. Let s be l(d). Suppose 5*r = s - 35. Does 13 divide r?
True
Let f = 4584 - -7662. Is 13 a factor of f?
True
Let g = 39878 - -32606. Is 303 a factor of g?
False
Let s = -3355 - -5824. Is 25 a factor of s?
False
Let f(a) = 2*a**2 - 19*a - 29. Let v be f(15). Is (0 - 1)/((v/3984)/(-17)) a multiple of 6?
True
Does 61 divide (312/39)/((-4)/(-14978)) + -12?
False
Let q(r) = -r**3 + r**2 - r + 4. Let o be q(0). Suppose s = -1, 0*l - l = -o*s - 60. Suppose -284 = -10*a + l. Is a a multiple of 34?
True
Let x(u) = -829*u + 2303. Does 104 divide x(-5)?
True
Let g be (-18)/(-36)*0/(-1). Suppose -4*a - w + 388 = 0, g*w - 485 = -5*a + w. Is 13 a factor of a?
False
Let h = 869 - 456. Suppose d + 9*l - 12*l - h = 0, 5*l + 10 = 0. Is 11 a factor of d?
True
Does 7 divide (-33140)/(-18) - (33/(-27))/(-11)?
True
Does 105 divide (3/(6/(-35)))/(174/(-57420))?
True
Let r(f) = -3*f**2 + 354*f + 1065. Does 20 divide r(83)?
True
Let o = 7709 + -4840. Is o a multiple of 71?
False
Let m(f) = 37