- 24*s - 53. Is k(-9) a multiple of 11?
True
Let h(y) = 26*y**3 + y**2 + y - 1. Let o be h(1). Suppose -3*b - 40 = 32. Let j = o + b. Is j a multiple of 2?
False
Does 22 divide (3/12)/(87/5159100)?
False
Is 58 a factor of ((-90480)/455*-2*14)/(3/2)?
True
Suppose -1 = -s, 5*c + 0*s - s - 12424 = 0. Suppose 620 = r + k, 3*k = -14*r + 10*r + c. Is r a multiple of 59?
False
Suppose -48*u + 470022 = 143*u - 5*u. Is u a multiple of 18?
False
Let l = -386 + 388. Is (15 + -16)/(l/(-682)) a multiple of 31?
True
Suppose -4*m - 1200 = -3*n, -5*n + 2064 = 17*m - 13*m. Is 6 a factor of n?
True
Let j = 1936 - -858. Does 127 divide j?
True
Let r(c) = c**3 + 2*c + 280. Let m be r(0). Suppose 81*n - 67*n = m. Is 10 a factor of n?
True
Let p(x) = -x**3 - 5*x**2 + 3*x + 4. Let d be p(-6). Let v = -14 + 24. Suppose 0 = -v*o - d + 72. Is 5 a factor of o?
True
Let l(v) = 0*v**2 - 42 - 2*v**2 + v**3 + 12*v + 0*v**3 + 22*v**2. Let t be l(-20). Let n = -167 - t. Is 8 a factor of n?
False
Let n(h) = h**2 - 39*h - 103. Does 18 divide n(53)?
False
Suppose -12*b = -34*b + 18370. Let t = b + 200. Is 15 a factor of t?
True
Let b = -64 + 69. Suppose 1765 - 390 = b*g. Is g a multiple of 17?
False
Let m(r) = 147*r**2 - 53*r + 3. Let z be m(-3). Let j = -605 + z. Does 22 divide j?
True
Let q(k) = 9*k**2 - 11*k + 51. Let x be q(10). Suppose 0 = -5*m - 4*t + 1377, 0 = 5*m - 3*t - x - 515. Is 26 a factor of m?
False
Suppose -1 = v + y, 3*v + 5*y = v - 5. Suppose -f = i - 2*i + 8, -3*i + 5*f + 34 = v. Let t(l) = 4*l**3 + 3*l - 5. Is 14 a factor of t(i)?
True
Suppose -9 - 1 = -m. Suppose -9*l = -m*l. Let t(u) = -4*u + 202. Does 29 divide t(l)?
False
Let k(q) = 28*q + 800. Is 4 a factor of k(-25)?
True
Let v(k) = 430*k**3 - k**2 + 4*k - 3. Let t be v(1). Suppose -6*o = -854 - t. Is o a multiple of 11?
False
Let y(t) = 81 - 75 + 2*t - 79*t. Let n(a) = -3*a - 26. Let w be n(-8). Is 20 a factor of y(w)?
True
Let r(d) = 5*d - 17. Let g be r(3). Does 17 divide (g/(-6))/((-1735)/(-867) + -2)?
True
Suppose 4*r = 2*m - 102, -m + 33 + 33 = -5*r. Let g = 4 - 2. Suppose a - 67 = -2*f + 2*a, -g*a - m = -f. Does 17 divide f?
False
Suppose -3*b = 2*q - 9, -7 = q - 4*q + 2*b. Let g(a) = -6*a - 35*a**2 + 17*a**2 + 2 + 9*a**q + 16*a**2 + 3. Is 27 a factor of g(3)?
False
Suppose 43*p - 291974 + 67514 = 0. Is 21 a factor of p?
False
Suppose 0 = -3*p + 3*w - 21, -5*p - w - 9 = -2*p. Let g be 535 + 2*(p/8 + 1). Suppose -4*x - k = -733, -3*x + 3*k - k = -g. Does 29 divide x?
False
Let w = 1085 + -2203. Is (0 - 5*2)*w/65 a multiple of 8?
False
Let j(z) = z**2 - 8*z + 16. Let p be j(7). Suppose 0 = p*u - 4196 - 412. Suppose 4*l - u = 5*n + 4, 5*l - 600 = -5*n. Does 28 divide l?
False
Let m = -2041 - -1473. Suppose 12 = 5*i - 48. Is 17 a factor of (m/i - -2)*(-9)/6?
True
Suppose -5*d - 133 = -168. Is (-2)/d - 9790/(-14) a multiple of 52?
False
Suppose -3*x - 2 = -x. Let o be 6/(x - 2) + 28. Let q = o - -25. Does 22 divide q?
False
Let i = -30995 + 55145. Is i a multiple of 69?
True
Is 4 - (2 - 9123/2 - (-46)/(-92)) a multiple of 15?
False
Let b(q) = q**3 + 9*q**2 - 61*q - 24. Is b(-11) a multiple of 15?
True
Is 7 a factor of (-2864)/(-10) - (-1085)/(-775)?
False
Let l = 5161 + -637. Does 78 divide l?
True
Suppose 2*v + b + 8 = 3, 2*v + 4*b - 10 = 0. Let w(p) = p**3 - p**2 - 1. Let f(k) = -5*k**3 - 2*k**2 + 2*k + 6. Let s(h) = f(h) + 3*w(h). Does 43 divide s(v)?
False
Let x(c) = 30*c + 2. Suppose -5*v + 12 = 4*u, 3*v + 4 = 2*u + 6*v. Suppose -u = 10*w - 18. Does 32 divide x(w)?
True
Suppose -2*k + 61 + 33 = 0. Let r = k + 305. Suppose 2*u - 4*g = 182, 4*u - 5*g - 24 = r. Is 31 a factor of u?
False
Suppose -251 = p + d - 2813, 3*p + 4*d - 7689 = 0. Suppose 3081 = 10*z - p. Is z a multiple of 37?
False
Let o be (-1 - 0)*(-48)/6. Is 8 a factor of (-24)/o + (2 + 389 - -2)?
False
Let j(s) = s + 8. Let m be j(-6). Suppose -m*w + 38 = 5*x, 0*x - 4 = -2*x. Does 22 divide 2/(-7) + 620/w?
True
Does 30 divide (18 + 383264)/17 - 11?
False
Let d = -1103 + 2971. Is d a multiple of 5?
False
Does 65 divide (11955/30 + -16)*78?
True
Let s be (-2 + -1)*(-116)/6. Suppose -4*h + 28 = v, -7 - 5 = -3*v. Suppose -h*f + s + 68 = 0. Is f a multiple of 7?
True
Let h be 1*15*(-7)/(-21). Let c = h - -47. Is c a multiple of 26?
True
Let j be (-6)/(-4) - (-54)/(-12). Let i be (j + 0 + 2)*-250. Suppose -2*k - i = -3*k. Is 50 a factor of k?
True
Suppose -10*t + 2*t = -16. Let h(i) = 24 + 9*i**2 + 3*i - 3*i**t - 5*i**2. Is h(-12) a multiple of 44?
True
Let k(o) = -o**2 + 84*o - 113. Is k(66) a multiple of 43?
True
Let x be ((-8)/(-24))/(44/48 + -1). Is (-3 - 35)/(-1*x/(-6)) a multiple of 14?
False
Suppose -2*c - 26 = -3*c. Suppose -9*z + c = -1. Suppose 2*b - 3*b = 3, z*b = -i + 21. Is i a multiple of 10?
True
Suppose 0 = q + 2*h - 10390, -161*h = -156*h + 45. Is 6 a factor of q?
False
Suppose -20*z = -0*z + 80. Does 2 divide 15 - (2 + z)/(-2 - -4)?
True
Suppose 36*i - 125767 = 23993. Is 13 a factor of i?
True
Let c = 21 - 85. Let j = c - -100. Suppose -q + j = 2*f, -3*q - 5 = 1. Is f a multiple of 19?
True
Suppose -53 + 58 = w. Suppose 5*b - 1645 = -w*d, 5*d - b = 1054 + 603. Suppose 8*k - d = 869. Is k a multiple of 26?
False
Let t = -2285 + 2511. Is 7 a factor of t?
False
Let d = -15077 + 24482. Does 209 divide d?
True
Let x(m) = 148*m - 3210. Is 10 a factor of x(125)?
True
Let v be 1/3 + (-36904)/(-24). Suppose -16*d + 590 + v = 0. Does 6 divide d?
False
Let s(g) = -12*g**3 + 12*g**2 - g - 21. Is s(-6) a multiple of 8?
False
Suppose 2 = -t + 3, 0 = -2*f + 4*t + 8. Let c be 7*((-12)/18)/((-14)/f). Suppose -2*u = 5*j - 351 - 329, -c*j + 288 = 4*u. Does 37 divide j?
False
Suppose -3*z = -2*a + 140, 5*z - 3*a + 4*a + 229 = 0. Let j = 198 + z. Is 37 a factor of j - (1 - -1 - -2)?
True
Suppose 2*w - 73 = -37. Is (-12)/54 - 32/w - -222 a multiple of 22?
True
Let i = 1341 + 184. Is 131 a factor of i?
False
Let o be -56*(-1 + (-3 - -3)). Let r be (912/o)/((-2)/14). Does 10 divide r/(-2 + 0/(-2))?
False
Suppose -61*r = -69*r + 24. Suppose 87 - 1443 = -r*o - 3*j, 3*o - 5*j - 1388 = 0. Is o a multiple of 38?
True
Suppose 147 = -2*q + 27. Suppose 5*w = 3*w + 318. Let n = q + w. Does 9 divide n?
True
Suppose 5*w - 3934 = 12*m - 14*m, -5*w = 10. Does 58 divide m?
True
Let t be (5 - 3) + -4 - -2. Suppose -11*y + 8*y + 1212 = t. Is 20 a factor of y?
False
Is 6 a factor of 37/((-3663)/(-1706616)) + 12/(-22)?
True
Let j(v) = v**3 - 16*v**2 + 27*v - 10. Let r be j(21). Suppose -r = -12*b - 194. Is b a multiple of 49?
False
Is 8 a factor of (-1212)/(-5)*(-560)/(-21)?
True
Suppose -m - 4*t = m - 14028, 0 = 2*m - 4*t - 13996. Is 96 a factor of m?
False
Let h be 35/2*6/9*-9. Let n be ((-8)/5)/(42/h). Suppose -19 = -y + 5*r, -n*y - 3*r + 255 = 87. Is y a multiple of 9?
False
Does 76 divide ((-3)/1 - 1)/((-39)/2964)?
True
Let j(r) = 6*r**2 + 10*r + 8. Let h be -2 + (-6)/(-1) - (-6 - -13). Is 4 a factor of j(h)?
True
Let w(i) = -i**2 - 10*i - 16. Let l be w(-7). Suppose 3*t - 4 = 4*r - 0, -4*t - 5*r = l. Suppose 3*o - 94 = -0*o + 4*h, 4*o - h - 108 = t. Is 11 a factor of o?
False
Suppose 0 = -7377*d + 7476*d - 1082141 - 1700254. Is 55 a factor of d?
True
Let w be -58*16*13/(-26). Let z = 982 - w. Is z a multiple of 37?
True
Let i(g) = -2*g**3 + 13*g**2 + 6*g + 9. Let x be i(7). Suppose 0*c + 1376 = x*c - o, 4*c - 2724 = -5*o. Does 14 divide c?
True
Let o(v) = 5*v + 26. Let x be o(10). Suppose 4*u - z = 75, 4*u + 4*z - x = 4. Suppose u*p + 24 = 23*p. Does 3 divide p?
True
Let b(p) be the first derivative of p**4/4 - 2*p**3/3 - 6*p**2 - 15*p + 6. Does 75 divide b(9)?
False
Suppose -3*b + 263 + 1 = 0. Suppose q - 296 + b = -3*m, -4*m = -4*q + 912. Does 6 divide q?
False
Does 25 divide (-1)/35 + 140808/105?
False
Let y be (-3 - 30/4)/((-6)/8). Suppose 3*x - y*x = -198. Does 6 divide x?
True
Let n(r) = 77*r + 652. Let w(h) = 26*h + 219. Let v(i) = 4*n(i) - 11*w(i). Is v(40) a multiple of 83?
True
Suppose 18772 = 3093*q - 3080*q. Is q a multiple of 19?
True
Is 141 a factor of 1*(-5 + 4) - (-15)/((-150)/(-4240))?
True
Is 79 a factor of (-1202833)/(-203) + 22/(-77)?
True
Suppose 2*g + 2*f = 68634, 57*g - 2*f + 102949 = 60*g. Does 143 divide g?
False
Let n(t) = -t**3 - 28*t**2 + 144*t - 38. Is n(-33) a multiple of 2?
False
Suppose 2*w + 2*i - 1972 = 24, -w - 5*i = -10