 Suppose -2*k = -r*k + f. Does 14 divide k?
False
Suppose p - 2*t + 8 = -7, 43 = -5*p + 2*t. Let u(x) = -x - 8. Let j be u(p). Does 27 divide 67 - (j + 1)/3?
False
Let b(s) = -s**2 + 7*s + 3. Let f be b(6). Suppose 117 = -6*i + f*i. Does 13 divide i?
True
Suppose -4*s - 888 = -3*x, 4*s = -4*x - 61 + 1273. Suppose -8*o + x = -3*o. Suppose -d = d - o. Is 15 a factor of d?
True
Suppose -38*x = 43227 - 130399. Is 31 a factor of x?
True
Suppose w - 393 = -3*l, 2*l + 378 - 10 = w. Is 21 a factor of w?
True
Suppose 0 = 5*n - 9*n + 600. Let r = -297 + n. Let j = -81 - r. Is j a multiple of 22?
True
Is 9 a factor of 117/156*(51 + 1)?
False
Suppose 0 = -3*n - 4*m + 125, -4 + 29 = 5*m. Does 5 divide n?
True
Let u(m) = m**3 + 3*m**2 + 25*m - 17. Does 58 divide u(10)?
False
Let x(t) = 23*t**2 - 16*t + 35. Is x(5) a multiple of 14?
False
Let h be (-8)/(-6)*(-12)/(-8). Suppose 0 = -h*u - 5 + 15. Is u a multiple of 2?
False
Let u be 4/2 - -1*14/(-2). Let f = 78 + u. Does 9 divide f?
False
Let c = -879 - -1483. Is 6 a factor of c?
False
Is 14058/6 - (-15)/(-5) a multiple of 52?
True
Is 20 a factor of 32020/50 - 10/25?
True
Suppose 0*o + r = o + 9, o = -5*r - 15. Let j = o + 12. Suppose j*v + 2*s = v + 16, 2*v - 4*s - 48 = 0. Does 20 divide v?
True
Let c be ((-1)/(-1))/(15/435). Let s = -34 + c. Is 11 a factor of 42 + s*10/(-25)?
True
Suppose -11*r = -6*r - 25. Suppose -4*d - d - 43 = -g, r*g - d - 95 = 0. Does 12 divide (g/4)/(13/104)?
True
Let z(j) = -19*j + 18. Is 41 a factor of z(-12)?
True
Let i(f) = f**3 - 9*f**2 + 11*f + 2. Is 42 a factor of i(11)?
False
Let a(k) = -k + 39. Suppose 2*j = -0*j + 38. Is a(j) a multiple of 8?
False
Let n = -27 + 29. Is ((-4)/(-8))/(n*1/752) a multiple of 12?
False
Suppose 4*a + 12*a - 512 = 0. Suppose 0 = 3*x - 17 - 1. Suppose h = -5*p + a, 3*h - x*p = -3*p + 78. Is h a multiple of 9?
True
Let i(b) = -15*b - 9. Let t be i(14). Let f = 362 + t. Is 11 a factor of f?
True
Let m = -61 - -2. Let u = m + 83. Does 12 divide u?
True
Let t(n) = n**3 - 6*n**2 + 7*n + 2. Let k be t(6). Suppose -2*p - 4*q = -0*p - k, -4*q = 3*p - 66. Does 22 divide p?
True
Let g be (-171)/21 - (-3)/21. Is g/36 - (-368)/36 a multiple of 10?
True
Let y = 14 + -12. Let s(n) = -1 + 0 + y*n**2 + n + 4*n - 4*n. Is s(-5) a multiple of 11?
True
Let t = 15 + -18. Let w be -3*(t - 7/(-3)). Suppose -w*a + 0*o = 2*o - 52, 0 = -4*a + o + 94. Is a a multiple of 4?
True
Suppose 0*j = -2*j. Suppose 3*d + 2*o = -3, j*d - 2*o = d + 5. Let m(q) = 34*q + 1. Does 7 divide m(d)?
True
Let y be -2*(-2 - (-21)/6). Is 33 a factor of 3 + y + 3 + 41?
False
Suppose -7*k = -28*k + 9786. Is 4 a factor of k?
False
Let b = -14 + 17. Suppose 2*w - w - b*r - 46 = 0, -3*w + 82 = 5*r. Is w a multiple of 20?
False
Let w(d) = 18*d**2 + 7*d - 18. Is w(6) a multiple of 14?
True
Let t = -392 + 698. Does 18 divide t?
True
Let h = -337 + 188. Let u = -33 - h. Suppose 3*d + d = -2*c + 72, 0 = 4*c + d - u. Is c a multiple of 14?
True
Suppose -271 = -3*o - 5*z, 4*o - 2*z = -0*z + 370. Suppose -v = -0*v - o. Is 23 a factor of v?
True
Is 18 a factor of 8/(-52) + -1 + (-25980)/(-39)?
False
Let j(k) = 2*k**2 + 5*k - 6. Let l be j(-6). Let s = 80 - l. Let d = s - 28. Is d a multiple of 7?
False
Let x be (24/16)/(1/48). Let g = x - 18. Is 39 a factor of g?
False
Suppose -3*g + 4*q + 908 = 0, g = -0*g + q + 302. Does 12 divide g?
True
Let i(a) = 52*a. Suppose 0 = 3*g - 6*g + 6. Let b be i(g). Suppose -4*u + b = -2*u. Is u a multiple of 26?
True
Let a(c) = 14*c - 5*c**2 - 7*c + 4 - c**3 + 3*c. Let f be a(-7). Let o = -22 + f. Does 3 divide o?
False
Let w be 0 + -1 + 15/(-5). Let r be (-1 + 2)*(0 - w). Suppose -5*l + r*q + 102 = 0, -6*l + 120 = -l + 5*q. Does 7 divide l?
False
Let s = -32 + 72. Let d be (-476)/(-10) + 16/s. Does 12 divide (d/10)/(9/45)?
True
Suppose 0 = -6*s + 2*s + 8. Suppose -s*h = 4*h - 252. Is 6 a factor of h?
True
Let y(k) = 44*k**3 + 4*k**2 - 19*k + 5. Does 16 divide y(4)?
False
Let p(z) = -z - 11. Let r(b) = b - 32. Let f be r(0). Let h = f + 18. Does 3 divide p(h)?
True
Let t = -322 - -1041. Does 16 divide t?
False
Let o = 2117 + -2016. Does 4 divide o?
False
Is (-22 - -10)*(-18)/4 a multiple of 24?
False
Is (-6 - -8)*17/4*10 a multiple of 10?
False
Suppose 2 = -2*o - 4*p + 118, -2*o = -4*p - 100. Suppose -21*l + o = -18*l. Is l a multiple of 9?
True
Suppose 0 = -15*x + 674 + 856. Is 6 a factor of x?
True
Suppose 2*o - 1004 = -12*u + 8*u, -4*o + 3*u = -2019. Does 42 divide o?
True
Let u(r) = 2*r - 9. Let z be u(5). Let c(j) = j + 4*j + z - 8*j + 13. Is 11 a factor of c(-7)?
False
Let i be ((-1)/(-1))/(14/(-3052)). Let g = i - -456. Does 17 divide g?
True
Suppose 0 = -0*w + 3*w - 15. Suppose -k + 26 = -w*p, 5*p - 2*k + 14 = 2*k. Does 15 divide (-305)/(-10) + 3/p?
True
Let x be 2/3 - (-6)/(-9). Suppose p - 38 = -4*u + 2*u, 3*p - 72 = -4*u. Suppose -m + v + u = x, -5*m = -2*m - 4*v - 63. Is 8 a factor of m?
False
Let r(o) = -o**2 + 1. Let k be r(-1). Suppose 3*y = -k*j + 4*j - 155, 94 = 2*j + 4*y. Does 5 divide j?
False
Let r = 29 + 560. Is 13 a factor of r?
False
Let y = 12 - -3. Let i = y + -11. Suppose 7*w = i*w + 165. Is 15 a factor of w?
False
Let g(o) = 116*o**3 - 17*o + 13. Is g(3) a multiple of 28?
False
Let z(y) = -62*y - 5. Does 23 divide z(-4)?
False
Suppose 174960 = 38*j + 2*j. Is j a multiple of 9?
True
Let c be (-1 - (2 - 1))/1. Let m(f) = f + f**2 + 7*f**2 - f**2 + 1 - 3*f**2. Does 13 divide m(c)?
False
Let c be (0 + 1)*(5 + -4 - -28). Suppose 10*n = 41 + c. Does 2 divide n?
False
Suppose -16*u = -0*u - 688. Let p = 145 - u. Is 34 a factor of p?
True
Suppose 3106 = 29*z - 2056. Is 2 a factor of z?
True
Suppose -9 = 5*y + 1. Let i = y + 7. Suppose -i*g + 230 = -0*g. Is g a multiple of 23?
True
Suppose -4*i = -16 - 76. Let g = i + 27. Suppose 2*l + 2*j - g = -2*j, 20 = -5*j. Is 25 a factor of l?
False
Suppose -5*m = -643 + 88. Let o be 2*(-10)/(-4 - 1). Suppose -g = -o*g + m. Does 12 divide g?
False
Let q(r) = -r**3 - r**2 + 133. Suppose -5*n = 2*u + 10, -2*n = -5*u - 0 + 4. Let b be q(u). Let x = b + -76. Does 12 divide x?
False
Suppose 0 = -21*f - 2*f + 71346. Does 32 divide f?
False
Let f(d) = -3*d**3 + 155*d**2 - 53*d - 28. Is f(51) a multiple of 7?
True
Suppose 4*n = 0, 5*z - 3*n = 2*z + 585. Does 15 divide z?
True
Let a(t) = t**3 + 31*t**2 + 58*t + 12. Let o be a(-29). Let k(w) be the first derivative of -w**3/3 + 7*w**2 + 24*w - 1. Does 6 divide k(o)?
True
Suppose 2*n - 47 - 97 = 0. Is n/(-21)*35/(-10) a multiple of 11?
False
Suppose -19*i = -22*i + 219. Is 5 a factor of i?
False
Let m be 4/10 + 4/(-10). Suppose 2*c + 578 = -5*l + l, -5*l = -5*c + 760. Does 11 divide l/6*(-2 - m)?
False
Is 10 a factor of 15/2*(8 - -20)?
True
Let c be ((4420/12)/1)/((-3)/(-18)). Suppose 258 = -8*o + c. Does 13 divide o?
False
Suppose -5*b + 8*u + 8941 = 6*u, -3*b + 5377 = 5*u. Is b a multiple of 9?
False
Let n = 548 + -328. Suppose -5*i = -5*d - n, -2*d = -2*i + 2*d + 88. Is i a multiple of 12?
False
Suppose -2*w + 5*w + d = 1254, 5*w = -d + 2092. Is w a multiple of 63?
False
Is 47 a factor of (-17)/(139/282 + 14/(-28))?
True
Is (-553)/(-14)*(-5 + 15) a multiple of 79?
True
Let r(x) = 77*x**3 + 12*x**2 - 22*x - 4. Is r(3) a multiple of 73?
True
Suppose 4*b - 84 + 0 = 0. Let t = 55 + b. Is 10 a factor of t?
False
Suppose u - 2*u + 15 = 3*a, 0 = 3*u + 2*a - 10. Suppose 2*m - 5*m + 129 = u. Is m a multiple of 13?
False
Let r(x) = x**3 + x**2 + x + 13. Let g be r(0). Suppose 437 = g*n + 34. Does 26 divide n?
False
Let v be 6/(-30) - 208/10. Let x be 159/21 + 12/v. Does 6 divide (-1 + 4)*(15 - x)?
True
Suppose 4*n - 3 = 9. Suppose 95 = n*p - 319. Suppose -m + 4*m = p. Does 23 divide m?
True
Let i(x) be the third derivative of 19*x**5/60 - x**4/24 + x**3/3 - 13*x**2. Does 2 divide i(1)?
True
Let r = 8 - 6. Let n(w) = -3*w - 7 + 0*w + r*w + 7*w. Is n(4) a multiple of 8?
False
Let r(i) = 5*i + 652. Is r(-18) a multiple of 23?
False
Suppose 143 + 4 = 3*z. Suppose 66 = 5*y - z. Is y a multiple of 6?
False
Let j be (-2905)/(-28) - (1/4)/(-1). Suppose l + l - j = 0. Is 13 a factor of l?
True
Does 3 divide ((-4116)/(-8))/7*12/7?
True
Suppose k + 24*k = 14350. Is 41 a factor of k?
True
Let r(l) = 6*l**2 + 51*l + 1. Is r(5) a multiple of 14?
True
Suppose -x = -73 - 465. Suppose -5*m + l = -663