 23?
False
Does 13 divide (3 - -2)*(10 + 1)?
False
Let d(w) = -7*w - 8. Let h be d(-8). Suppose -38*s - h = -41*s. Is 2 a factor of s?
True
Let r(n) = 7*n**2 - 29*n + 16. Is 7 a factor of r(11)?
False
Suppose -2*h = -a + 384, -3*a = a - 4*h - 1548. Suppose 2*l + l = a. Is 10 a factor of l?
True
Let l(f) = 2*f + 2. Let w be l(-12). Let d = w - -59. Is d a multiple of 7?
False
Let i(f) = f**3 - f**2 - f + 4. Let l be i(3). Suppose -u - 4 = -l. Is u a multiple of 3?
True
Suppose 16 = -m - 2*l, -3*l = -l + 10. Is 5 a factor of (-91)/m - (-5)/(-30)?
True
Let d(a) = 175*a - 144. Is d(4) a multiple of 17?
False
Suppose 0 = -0*o + 4*o - 32. Let g(h) = 3*h + o*h - h**3 - 2 - h**2 - 11*h. Does 2 divide g(-2)?
True
Suppose 2*x - 348 = -2*m, x - 5*m + 86 = 284. Suppose -w + 0*w = 5*l - 83, -2*w = -2*l - x. Is w a multiple of 11?
True
Let f(y) = -y**3 - 4*y**2 + 14*y + 5. Let j be -3 - (-4 + 11 - 0). Let u be f(j). Suppose -9*x + 14*x - u = 0. Does 31 divide x?
True
Let h = -7 - -9. Suppose -3*m = 5*x + 430, 4*x + 0*m + h*m = -346. Is (-11)/(-22) + x/(-2) a multiple of 15?
True
Let a = -840 - -1254. Is a a multiple of 27?
False
Is (-6)/(-5) - 112822/(-190) a multiple of 52?
False
Let q be -3*(-309)/9 - 1/1. Let h = 396 - q. Is 20 a factor of h?
False
Let l(y) = -y**3 - y**2 + 5*y + 2. Let k be l(-4). Let m be 6/(-4)*(-20)/k. Suppose 13 = x - m. Does 10 divide x?
False
Let l = -20 + 10. Let u = 7 + l. Let w = u - -7. Is w even?
True
Suppose -55*z - 5922 = -61*z. Is 13 a factor of z?
False
Let i(q) = -2*q - 5. Let l be i(-5). Let o(w) be the first derivative of w**3 - 2*w**2 + 2*w + 18. Is 19 a factor of o(l)?
True
Let u(l) = 53*l**2 + 4*l + 7. Is 14 a factor of u(4)?
False
Let b be (-2)/(-3) - (-117)/27. Suppose q + 471 = b*y, -388 = -4*y - q - q. Does 19 divide y?
True
Let i(c) = c - 4. Suppose 0 = -0*x - 4*x + 8. Let t be (15 - -3)*x/4. Is 2 a factor of i(t)?
False
Let y(f) = 8*f - 2. Let h be y(-12). Let s = 202 + h. Suppose -2*x - 2*n = -55 + 3, 0 = -4*x - n + s. Is x a multiple of 13?
True
Let x = 1712 + -636. Is 28 a factor of x?
False
Let k(g) = -450*g + 679. Does 11 divide k(-5)?
False
Let g be 136/20 - 5 - (-2)/10. Suppose g*z + 42 = 5*s - 107, z - 127 = -4*s. Is s a multiple of 31?
True
Suppose 4*c = -3*b + 6, 3*b = 5*c - 0*b - 21. Suppose -c*x - 4*x + 840 = 0. Is 24 a factor of x?
True
Suppose 54 = 2*d - 74. Does 8 divide d?
True
Let u = -2 + 6. Suppose -u*j - 168 = -8*j. Is 7 a factor of j?
True
Let n(x) = 2*x - 8. Let v be n(6). Suppose -1 = -v*a + 15. Suppose -s = -6*s + 15, -3*o + 132 = -a*s. Is o a multiple of 24?
True
Suppose 0 = q + 3*o - o + 19, -2*q = -5*o + 20. Let s = q - -22. Is 6 a factor of s?
False
Let m = 2446 + -1935. Does 3 divide m?
False
Suppose -v - 2*g = 2*g - 2204, -5*v + 11052 = 4*g. Suppose -6*o - o = -v. Is 26 a factor of o?
False
Is 437/((-1)/6*-6) a multiple of 27?
False
Suppose 0*a + 22 = a. Suppose -13 = -5*h + a. Let n(v) = 5*v. Does 27 divide n(h)?
False
Let b(g) = 7*g**2 + 14*g - 11. Is b(-8) a multiple of 31?
False
Suppose 2*o - 8 = 0, -o - 856 = g - 4234. Is g a multiple of 78?
False
Suppose -1628 = -4*m + 4*x, -2*m + 1184 - 376 = -4*x. Is m a multiple of 10?
True
Suppose -10 = 9*q - 11*q, 3*t - 2753 = 2*q. Is t a multiple of 12?
False
Let u(b) = b**3 - 6*b**2 + b - 1. Let s be u(6). Suppose 2*d = s + 3. Let v = d + 13. Is v a multiple of 7?
False
Let w be (-780)/(-16) + 1/4. Suppose 4*t - 4 + w = q, -3*t + 68 = 2*q. Is q a multiple of 17?
False
Let y be 6*(16/(-12))/(-2). Let t be ((-99)/y)/((-21)/(-84)). Let v = t - -181. Is v a multiple of 19?
False
Suppose 2*z + 3*k = 10, 2*k - 12 = -z - 3*k. Suppose 0 = -z*f + 7*f + 5*u - 25, -5*u - 55 = -5*f. Let l = 4 + f. Is l a multiple of 5?
False
Suppose 5*u - 247 - 31 = 4*y, 4*u + y = 214. Does 31 divide u/(-4)*140/(-15)?
False
Suppose -66*m = -69*m + 3003. Is 11 a factor of m?
True
Let q be (-1)/2*2 - 0. Let t(i) = -57*i + 1. Let u be t(q). Suppose 25 = n - u. Is 23 a factor of n?
False
Let k(m) = 67*m**3 - 4*m**2 - m + 4. Is 29 a factor of k(2)?
True
Suppose -2*z + 2 = -0*n - 2*n, 3*z - 33 = -3*n. Let g be 212/5 - z/(-10). Let c = g + -19. Is 8 a factor of c?
True
Let v(j) = j**2 - 3*j - 6. Let n be v(6). Let f(b) = b**2 - 18*b + 15. Let q(m) = -5*m**2 + 92*m - 75. Let h(i) = -11*f(i) - 2*q(i). Does 2 divide h(n)?
False
Suppose 52*i - 50*i - 404 = 0. Is 16 a factor of i?
False
Suppose -540 = -5*h + 4*s, 3*h - 307 = -0*h - s. Suppose -3*y + h = -16. Does 10 divide y?
True
Let s(c) be the third derivative of 13*c**6/360 - c**5/60 - c**4/24 + 6*c**2. Let a(w) be the second derivative of s(w). Does 6 divide a(1)?
True
Let p(x) = x**3 + 16*x**2 + 11*x + 10. Let b be (-3 + 2 - -3)*(-15)/2. Does 10 divide p(b)?
True
Suppose -2*i = 2*l + l - 21, -17 = i - 4*l. Suppose -4*u + i*h - 8*h + 75 = 0, -h + 78 = 5*u. Is u a multiple of 2?
False
Suppose 2*h - b - 75 = -3*h, -b = 3*h - 37. Let m be 3/(-9) - (-194)/6. Let n = m - h. Does 10 divide n?
False
Let k(v) = -v**3 + 8*v**2 - 27 - 2*v + 30 - 4*v**2 + 0*v. Let z be k(3). Is 7 a factor of (-4)/((-5)/(105/z))?
True
Suppose 8*n + 13 = 45. Is (-804)/(-27) + n/18 a multiple of 15?
True
Let h(v) = -4*v**3 + v**2 - 2*v - 2. Let w be h(-2). Let s = 19 + -46. Let d = s + w. Is d a multiple of 8?
False
Let y = -2 - -2. Suppose -15*c + 19*c - 144 = y. Is c a multiple of 18?
True
Suppose 0 = -5*a - 0*a + 110. Let q be (-2)/(-3 + 62/a). Does 11 divide 15/(-5)*q/(-3)?
True
Let x(n) = -6*n**3 + 2*n**2 + 10*n + 0*n**2 + 5*n**3 + 8*n**2 + 14. Let v be x(11). Suppose -v = b - 15. Does 12 divide b?
True
Suppose -490 = 2*x - 1668. Is 8 a factor of (-18)/(-48) + x/8?
False
Let d be 3 - 119 - (4 - (-2 - -4)). Let j = -35 - d. Does 38 divide j?
False
Let d = 7 + -19. Let a be (6 + -5)/(2/d). Is 20 a factor of 8*-1*(1 + a)?
True
Let z be (-4)/(-6) - 68/12. Does 19 divide (-3)/z + (-5577)/(-55)?
False
Let o = 4 + -2. Let b = 4 - -26. Is ((-880)/b)/(o/(-3)) a multiple of 8?
False
Does 41 divide 2/12 - (-3)/(270/29595)?
False
Let a(u) = -u**3 + 8*u**2 - 3*u + 6. Let k(h) = 3*h - 3. Let w be k(3). Let q be a(w). Suppose 0*o = 2*o - q. Is o a multiple of 6?
True
Does 2 divide 320/240*((-94)/(-8) + 1)?
False
Let t = 294 + -203. Does 18 divide t?
False
Let x be (-27)/36 - ((-1063)/4 + 1). Suppose -3*i = 3*s - x, 0*s + 3*s + 72 = i. Does 14 divide i?
True
Suppose 0 = 2*j - 3*g + 5*g - 1006, -j - 5*g = -507. Let m = j + -351. Does 9 divide m?
False
Suppose 2*i = 4*q + 83 - 15, 4*i + 5*q = 123. Let c = 56 - i. Let j = c + -14. Is 5 a factor of j?
True
Let p(t) = 15*t. Let j be p(4). Let y(d) = -2*d + 1. Let a be y(-1). Suppose -4*o - b = -a*b - j, -3*o - 4*b = -45. Does 5 divide o?
True
Suppose 0 = -5*r + n - 4*n - 5, 5*n - 1 = r. Let u = 2 + r. Is 8 a factor of (u - -2 - 7)*-2?
True
Let t be 0/4*(-3 - -2). Suppose 3*q + k - 33 = -t*k, k = -2*q + 22. Is q a multiple of 5?
False
Let r(c) = 73*c**2 - 2*c - 3. Let l be r(-1). Let h = 384 - l. Is h a multiple of 39?
True
Suppose -11*i = -6*i + 430. Let r = -59 - i. Is 4 a factor of r?
False
Suppose 0 = -3*c + 1004 + 2437. Is c a multiple of 13?
False
Is 6*14/(5/80*4) a multiple of 7?
True
Let x be 201/(5 + -2) + -1. Let r = -8 + x. Let b = -31 + r. Is 9 a factor of b?
True
Suppose 637*o - 644*o + 9884 = 0. Is o a multiple of 23?
False
Suppose -8*o + 3 = -21. Let r = o + 8. Does 2 divide r?
False
Suppose 0 = 14*j + 2*j - 19712. Is 14 a factor of j?
True
Let v = 46 - 82. Does 10 divide (-17 - -2)*v/27?
True
Let g(x) = 7*x - 2*x + 2 - 43*x - 18*x. Let i be g(2). Is 11 a factor of (-1 - 0)/(5/i)?
True
Is 51 a factor of (-3 + 0/8)*(-473)/3?
False
Let r(o) = o - 16. Let b be r(0). Let i = 29 + b. Does 7 divide i/2*(1 + 3)?
False
Let c = 2 + 5. Suppose 4*y = 3*l - 520, -183 = -l + 2*y - c. Is l a multiple of 16?
False
Let z = 635 + 572. Is z a multiple of 34?
False
Suppose -49*m = -14*m - 10920. Is m a multiple of 26?
True
Let v(z) = -4*z - 7. Let c be v(-4). Let f = c - 4. Suppose 0 = f*w + 2*u + 49 - 159, -3*w + 80 = 4*u. Is w a multiple of 10?
True
Suppose 298473 = 33*b + 125916. Does 66 divide b?
False
Suppose 2*x - 6 = -0*x. Let c = -1 + x. Is 7 a factor of ((-36)/42)/(c/(-42))?
False
Suppose -3*q + 102 = -48. Is (2 - -1) + -9 + q a multiple of 22?
True
Let j(c) = -c - 12. Let p be j(0). Let d be (7/4)/((-3)/p)