Is b a multiple of 10?
False
Let k = -6669 + 12267. Is 74 a factor of k?
False
Let v be 6/(-39) + 30/26 - -48. Suppose 3*j - 50 = 2*j. Suppose -j*r + v*r + 48 = 0. Does 12 divide r?
True
Let i be (204/34)/(3/14). Let o(z) = z**3 - 26*z**2 - 56*z + 48. Is o(i) a multiple of 6?
True
Let i = -71 + 343. Is 26 a factor of (34/8*-2)/((-8)/i)?
False
Suppose -5*t + 4*u + 12404 = 0, -76*u = 3*t - 79*u - 7440. Does 68 divide t?
False
Let h(s) = 15*s**3 + 12*s**2 - 38*s + 35. Let t(j) = 13*j - 4*j**3 - j**3 - 40 + 28 - 6*j**2 + 2*j**2. Let x(v) = 4*h(v) + 11*t(v). Is x(3) a multiple of 9?
False
Suppose 238*p - 244*p + 36 = 0. Suppose p*q - 2950 = 986. Is 16 a factor of q?
True
Suppose -4*j + 3*p + 3060 = 98, 2*j - 3*p - 1478 = 0. Suppose m + w - 2306 = -2*m, j = m - 5*w. Is 55 a factor of m?
False
Suppose 2*l - 5*a + 716 = 19434, -46714 = -5*l - a. Is l a multiple of 128?
True
Let j = -1983 - -4433. Is 164 a factor of j?
False
Let p = -128 - -128. Suppose -2*n + 44 - 24 = p. Is n a multiple of 2?
True
Suppose -r = -17*p + 20*p - 441, 0 = -3*p - 4*r + 432. Suppose 2*t - 3*t - k = -p, -5*t + 752 = -k. Is 15 a factor of t?
True
Let d be (4/6)/(36/270)*86. Suppose d*s - 433*s = -2160. Is s a multiple of 12?
True
Let h = -304 + 309. Suppose h*j = -0*j + 1855. Does 12 divide j?
False
Let o = -8523 - -12635. Does 16 divide o?
True
Suppose -65408 = -4*s - 3*s + 1883. Is 139 a factor of s?
False
Let p = -16276 - -30638. Is 28 a factor of p?
False
Let q(v) = 2*v**3 + 35*v**2 + 62*v - 35. Is 4 a factor of q(-13)?
True
Let u(c) = c**2 - 9*c - 5. Let l be u(11). Suppose -l*f = -f - 3648. Is 12 a factor of f?
True
Let v(x) = -2*x + 8. Let f(w) = -8*w + 8. Let i(y) = -6*f(y) + 4*v(y). Does 8 divide i(9)?
True
Let s be -33*3/(-12)*-4. Does 5 divide ((-660)/s)/(1 + 1)?
True
Let a be ((-3)/(-2))/(7/((-7840)/30)). Let o = a - -106. Does 25 divide o?
True
Let g(z) = 4*z**3 - 9*z**2 + 8*z + 4. Let s be g(6). Suppose 33*q - 29*q = s. Is 37 a factor of q?
True
Suppose 4*w + 3*g - 20 - 11 = 0, -2*w - 17 = -5*g. Is 12 a factor of 6/(w/10 - (4 + -4))?
False
Let h(j) = 4*j + 16*j + 9*j - 68. Is 22 a factor of h(17)?
False
Let b(l) = -7*l**3 + 6*l + 2. Let o = 164 - 167. Is 15 a factor of b(o)?
False
Let r = -27800 - -33430. Is 10 a factor of r?
True
Does 39 divide 3/9*204/(-2)*(-3978)/12?
True
Let j be 12/7 + (-38)/(-133). Let z = -303 - -604. Suppose -2*k + 140 = 5*x - 46, -3*k + z = j*x. Does 19 divide k?
False
Let z be ((-15)/(-6) - 0) + 5/(-10). Suppose -z = -c, 0 = 2*r - r - c - 94. Suppose -4*l = -2*l - r. Is l a multiple of 12?
True
Suppose 3*w = 15*w - 48. Suppose -9*c = -w - 23. Suppose -3*h + 26 = a - 28, h + 142 = c*a. Does 8 divide a?
True
Let v(z) = 11*z + 55. Let c(r) = 165*r + 825. Let x(m) = 3*c(m) - 44*v(m). Let y be x(-5). Suppose y = -6*h + 102 + 12. Does 19 divide h?
True
Suppose 4*l - 5*i = 1495 - 480, 0 = -4*l + i + 1003. Suppose -21*y = -24*y + t + 146, 5*y - l = 5*t. Is 2 a factor of y?
True
Suppose -2 = -2*u, -3*v + 8*v - 3*u - 1537 = 0. Suppose -v*x + 9 = -305*x. Suppose 5*o + 0*t = 3*t + 224, o = x*t + 40. Does 7 divide o?
False
Suppose -18*w - 37843 = -120715. Is w a multiple of 51?
False
Let u(r) = 6*r**2 + r - 2. Let y be u(1). Suppose 4*b - 2*w + 18 = 0, 3*b + y*w = -9 + 28. Is b + -2 + 42/3 even?
True
Suppose -4*l = 4*p - 2544, -4*l + 5*p - 892 = -3409. Let k = l + -530. Is 2 a factor of k?
False
Suppose 3*i - 12 = 0, 4*z = -3*i + 3 + 29. Suppose -2*r - 171 + 1914 = z*t, t + 5*r - 344 = 0. Does 60 divide t?
False
Let i = 32 + -31. Let g be ((6/(-2))/(33/3256))/i. Let t = g - -540. Is 10 a factor of t?
False
Suppose 434*w - 217555 = 429*w + 2*z, -w + 2*z = -43511. Does 19 divide w?
False
Let c(b) = -b - 30. Let o be c(9). Let z = 42 + o. Is 17 a factor of z/(4/368*6)?
False
Let z(m) = -1338*m + 78. Let n be z(-4). Suppose 21*q = n + 15066. Is q a multiple of 61?
True
Suppose -15*f - 2*f = -119. Suppose f*r = 2*r + 1485. Is r a multiple of 9?
True
Suppose 0 = -17*f + 15*f - 4*i + 18354, 5*f - 2*i - 45957 = 0. Is 68 a factor of f?
False
Suppose 0 = -2*r - r + 2*l - 2263, 4*l = -2*r - 1514. Let w = -531 - r. Is 8 a factor of w?
True
Let h = 11089 - 5259. Does 7 divide h?
False
Let x be ((-9812)/176)/(1/4). Let d = 339 + x. Does 29 divide d?
True
Suppose 1023 = 3*x - 1722. Does 2 divide -6*(-2)/(-21) - x/(-21)?
False
Let w(g) = -740*g - 640. Is w(-5) a multiple of 20?
True
Suppose 43*h + 157113 = 143*h + 197*h. Is h a multiple of 37?
False
Let c = -4383 + 7647. Is c a multiple of 16?
True
Let q(a) = 266*a - 389. Does 2 divide q(4)?
False
Let m = 2153 - 655. Suppose -5*d + m = -2*z, 5*z + 602 = 3*d - 293. Does 30 divide d?
True
Let m = 77 - -10. Let v = m + 83. Is 17 a factor of v?
True
Let b = -83096 + 117026. Is b a multiple of 259?
False
Is 762 + 7/((-84)/(-12)) a multiple of 2?
False
Suppose 2*y - 9*b - 195 = -y, -3*y + 195 = -b. Suppose y*m - 38*m = 17928. Is 11 a factor of m?
False
Let i be 3 - (-66)/6 - 4. Suppose -3*q + 2*j - i = 0, 2*q + 9 - 3 = j. Is (q + (-7)/(-5))/(1/(-35)) a multiple of 14?
False
Let b(f) be the second derivative of -f**4/12 + 5*f**3 - 2*f - 259. Let i(h) = -2*h + 9. Let m be i(-7). Is b(m) a multiple of 23?
True
Let u be (2 - 5) + -592 + -7. Let j = 479 - u. Is 23 a factor of j?
True
Suppose m - 1 = 0, -4*y + m = -1744 - 2551. Let z = -743 + y. Is z a multiple of 59?
False
Let x(l) = l**3 - 32*l**2 + 208*l - 3. Is x(9) even?
True
Suppose 0 = t + t + 5*m + 9, 0 = 2*t + 2*m. Suppose 2*c - t*g - 840 = -g, -c + 428 = g. Does 53 divide c?
True
Let a(f) = -f**3 + 8*f**2 - 11*f + 2. Let g be a(4). Suppose -r = o - 6, r - 3*r = 4*o - g. Let t(j) = 77*j**2 + 3*j - 3. Does 12 divide t(r)?
False
Let z(f) = -2 + 5*f**3 - 5 - 10 + 9*f - 7*f**2 + 8. Let k(q) = -14*q**3 + 21*q**2 - 28*q + 28. Let s(w) = -4*k(w) - 11*z(w). Is 4 a factor of s(6)?
False
Suppose p + 73 = 297. Let d be p/6 - (0 + 10/(-15)). Let i = -19 + d. Is 6 a factor of i?
False
Let b = -101 + 153. Suppose -55*m = -b*m - 324. Is m a multiple of 9?
True
Suppose 2*m + 6 = 0, 200*d - 201*d - 4*m = -34226. Does 38 divide d?
True
Suppose -71 = -4*f - 4*x - 15, 0 = 3*f + 4*x - 46. Suppose 2*m - 3*s + 4*s + f = 0, -3*m + 3*s - 15 = 0. Is m/(5/(-26)) + (-2)/2 a multiple of 5?
True
Let v(y) = 18*y + 1296. Is v(0) a multiple of 61?
False
Suppose 0 = 4*l + 16, -2*t + 40 = -3*t + 3*l. Let u = t - -55. Suppose u*m + 3*c = 60, 0 = 2*m + c + 2*c - 42. Is 3 a factor of m?
True
Let h(z) = 2*z**3 + z**2 - 4. Let r be h(-3). Let l = r - -53. Suppose 141 = 4*o - 3*n, -3*o + 0*n = -l*n - 97. Is o a multiple of 5?
False
Let v(b) = 1. Let u(n) = 1. Let i(k) = 2*u(k) - v(k). Let l(o) = 63*o - 15. Let j(p) = -15*i(p) - l(p). Does 21 divide j(-1)?
True
Suppose 1129 = 7*y + 1115. Is 20/(-150)*-1780 + y/3 a multiple of 14?
True
Does 116 divide 9570/9*(-2)/(-15)*36?
True
Suppose 0 = -7*d + 659 + 272. Let a = 342 - d. Does 21 divide a?
False
Let m be (506/6 + 0)/(16/96). Let r = 60 + m. Is 76 a factor of r?
False
Suppose 262*g - 265*g + a + 20609 = 0, -4*g - 5*a + 27447 = 0. Is 24 a factor of g?
False
Suppose 2*j - 7451 = 485 + 10576. Does 4 divide j?
True
Let r be 8 - 574/4 - 1/2. Let h = r - -321. Does 18 divide h?
False
Let n = 1921 - -1429. Is 15 a factor of n?
False
Let p be -17 + 15996 - (1 - (9 + -3)). Suppose -623*d = -611*d - p. Is d a multiple of 36?
True
Suppose -457579 = -88*w - 2*w + 7*w. Does 10 divide w?
False
Suppose i - 7 = 2*t, 0 + 3 = -3*t. Suppose 5*a - a = -i*x + 720, 4*a - 300 = -2*x. Suppose 0 = -4*n + 8*n - x. Is 33 a factor of n?
False
Suppose 3*b - 9 = 0, 5*y - 3*b = -3 - 26. Is ((-430)/(-30))/(y/(-24)) a multiple of 6?
False
Let t be 5*(2/(4 - 2) - -1). Suppose 2*y = -0*g - g + 11, 2*g + y - t = 0. Suppose -3*p + 2*l + 5 = -161, 5*p + g*l = 283. Does 8 divide p?
True
Suppose 0*s + 7*s - 95810 = -3*s. Does 67 divide s?
True
Let m(k) = -2*k**2 + 13*k - 11. Let z be m(5). Suppose 4*r + 2*b - 2764 = -120, 0 = -3*r + z*b + 2005. Does 17 divide r?
True
Does 4 divide 3/((-24)/(-410)) - 80/64?
False
Suppose 4*v - 104 = -0*v. Suppose 0 = -v*y + 21*y + 1250. Does 4 divide y?
False
Let v be ((-36)/(-10))/((-12)/1120). Let a = v + 630. Does 11 divide (1/3)/(2/a)?
False
Suppose k - 7 = -f, -2*f + 3*k + 9 = 6*k. Let q be 20/(-3)*1*f. Is (8 - -1)/((-5)/q) a multiple of 24?
True
Does 5 d