se
Suppose 335622 = -16*g + 138*g. Does 21 divide g?
True
Let w = 180 + -171. Suppose -w*x + 6567 = -48. Is 12 a factor of x?
False
Suppose 5*f - 31*x = -30*x + 31461, 5*f - 31462 = 2*x. Is f a multiple of 143?
True
Let b(m) = -m**3 - 8*m**2 + 2*m + 15. Let s be b(-8). Let t(y) = -9*y**3 - 3*y**2 - 3*y. Let x be t(s). Is 30 a factor of (x/(-12))/(5/(-200))?
True
Is 18 a factor of -4 + ((-9596)/(-10))/((-8)/(-20))?
False
Is 4813 + (4/26 - 915/793) a multiple of 12?
True
Let g be 2596/(-99) - (-4)/18. Let z = g + 20. Is 26 a factor of (16/z)/(3/(-117))?
True
Let n(g) = -1141*g + 1421. Does 11 divide n(-8)?
True
Suppose 65*d = 57*d + 2776. Does 2 divide d?
False
Let w(x) = x**3 - 24*x**2 - 27*x + 22. Let c be w(26). Let n = -415 + c. Let v = -163 + n. Does 8 divide v?
False
Suppose -4*p + 38*q = 43*q - 55048, 4*q = -5*p + 68810. Is 47 a factor of p?
False
Let r = 3213 + 10647. Does 33 divide r?
True
Suppose -65*c - 25*c = -1931850. Is c a multiple of 15?
True
Let d be (3/6)/((-7)/(-70)). Suppose -4*t + d*t - 600 = -5*v, 2445 = 4*t + 5*v. Is 14 a factor of t?
False
Let k be 0 + (-1165)/10 - (-3)/(-6). Let d = 362 + -163. Let l = k + d. Does 9 divide l?
False
Suppose -20 = 6*k + 238. Let w be (-5)/10*2 - k. Suppose -282 - w = -2*b. Does 24 divide b?
False
Let u = 2938 - 2911. Does 3 divide u?
True
Let c be (9*7)/((-25)/(-2875)). Suppose -13*y = 10*y - c. Is y a multiple of 9?
True
Suppose -8906 = 13*z - 30850. Does 20 divide z?
False
Suppose 9*h = 1910 + 40011 + 1936. Does 38 divide h?
False
Suppose 5*n = 7*f - 2*f + 775, -12 = -3*f. Let s = 273 - n. Is 6 a factor of s?
True
Let n(y) = y**3 - 3*y**2 - 3*y + 4. Let z be n(4). Let t(h) = -h**3 + 18*h**2 + 25*h - 111. Let a be t(19). Suppose -a*k - 425 = -z*k. Is k a multiple of 17?
True
Is 46 a factor of (340/(-25))/((-80)/180 + 1822/4140)?
True
Let q(u) = 232*u**2 - 29*u - 194. Is q(-5) a multiple of 81?
True
Suppose -4*q = 4*u - 28, -3*q - 26 = -2*u - q. Is 20 a factor of (-5586)/(-35) - (-4)/u?
True
Suppose -3*i - 4*k = -38, -i = -2*i + 2*k - 4. Is 78/(2 + (-9)/i) a multiple of 6?
True
Let p = 31 + -38. Let f(y) = -y**2 - 5*y + 16. Let j be f(p). Suppose -2*h + 3*k + 59 = 0, -j*k + 87 = 3*h - 7*k. Does 17 divide h?
True
Let g(x) = -24*x**3 - 4. Let l be g(-3). Does 23 divide ((-9)/(-6))/(-3)*l/(-7)?
True
Let a(f) = -2*f - 39. Let t be a(-22). Suppose -2*b = -0*b + 3*v - 465, 0 = -t*b - 4*v + 1145. Is b a multiple of 75?
True
Is 7/(49/21)*(-4321)/(-3) - -3 a multiple of 25?
False
Suppose 4*h - 5*g - 276 = -g, -4*g = 4*h - 300. Suppose -19*q - 2049 = -1631. Let o = h + q. Is 14 a factor of o?
False
Let p = 290 - 474. Let k = 149 - p. Suppose 13*r = 4*r + k. Is 12 a factor of r?
False
Let y(q) = -4*q - 22. Let p be y(-6). Suppose -p*f - 7 = -13. Suppose j - 85 = -j - 5*m, f*j - 140 = -5*m. Is j a multiple of 7?
False
Suppose -20257 = -10*t - 1217. Does 56 divide t?
True
Suppose 5*k - 8030 + 65275 = 5*c, k = 3*c - 34333. Is 82 a factor of c?
False
Let a(y) = 273*y - 1. Let b be a(5). Let s = b + -894. Suppose -100 = -5*f + s. Is 18 a factor of f?
False
Suppose 0 = 48*x - 8*x - 0*x - 80040. Does 58 divide x?
False
Let u be (1/3)/(2/6). Let n be u/5 + 243/(-15) + -1. Is n/(-1) - 0 - 3 a multiple of 9?
False
Suppose 53*u - 20549 = 28078 + 21651. Does 8 divide u?
False
Suppose -70227 = -61*b + 60435. Is b a multiple of 5?
False
Suppose 3*p - 7 = -2*o, -21*p + 18*p + 3*o + 12 = 0. Suppose 0 = 2*s, -p*s = -3*j + 2171 + 358. Does 10 divide j?
False
Let i = 377 + -377. Is 2 + 250 + (i/(-4))/(-3) a multiple of 28?
True
Let n(k) = 4*k**2 + 6*k - 2. Let f(i) = 3*i + 9. Let q be f(-5). Is n(q) a multiple of 4?
False
Suppose 0 = -4*p + 2*i + 10733 + 24749, -5*p + 44330 = 5*i. Is 47 a factor of p?
False
Let q = 6638 + -5421. Is 33 a factor of q?
False
Suppose 3*t - 4*p - 11 = 0, p + 24 = 4*t + 5. Suppose -2*z - c = -t*z + 74, c = 4. Let r = z + -18. Is 4 a factor of r?
True
Let g = 366 - -390. Suppose 0 = -16*k + 19*k - g. Is k a multiple of 18?
True
Suppose 47 = 5*j - 2*j - 5*y, -2*y = -4. Suppose -27*h = -j*h - 1704. Does 81 divide h?
False
Let j(w) = 2*w**2 + 8*w + 5. Let z be j(-4). Suppose k = -2*v + 17 - 129, -254 = z*v - 4*k. Let m = 219 + v. Does 26 divide m?
False
Let k(c) be the first derivative of 3*c**4/2 + 7*c**3/3 - 5*c**2 + 2*c - 4708. Suppose -2*j - j = -6. Does 29 divide k(j)?
True
Suppose 48*i = 21*i + 135. Suppose -4*g + 3583 = i*u, 4*g - 3*u - 1608 = 1983. Does 39 divide g?
True
Let z = -5995 + 10024. Does 33 divide z?
False
Does 3 divide (-640224)/(-399) - 4/7?
False
Let u = -34 - 179. Let y be 1/((-1)/(-250)*-2). Let d = y - u. Is 11 a factor of d?
True
Suppose 3*u - 2474 = 2*h, 38*u - 15*u - 18895 = 5*h. Is u a multiple of 20?
True
Let j(l) = -l**3 - 5*l**2 + l + 4. Let c be j(-5). Let r be (-3)/(9/(-3))*c. Does 19 divide (-2 - -9)/(21/18 + r)?
False
Let a(u) = -6*u**2 - 17*u + 57. Let b(l) = 17*l**2 + 51*l - 170. Let s(g) = 11*a(g) + 4*b(g). Is s(-18) a multiple of 27?
False
Let s = 121 - 117. Suppose 0 = -4*c - s*f + 188, 2*c + 3*f - 89 = -0*c. Let v = 69 - c. Is v a multiple of 17?
True
Let p(t) = -t**3 - 2*t**2 - t - 20. Let c(y) = y**3 + y**2 - 9*y - 3. Let u be c(-3). Suppose -u*a - 72 = 6*a. Is p(a) a multiple of 26?
True
Let g be -5 - (3 + (-916)/(-2)). Let k = -256 - g. Does 21 divide k?
True
Suppose -209*r + 4212 = -200*r. Suppose 18*y - 17*y = r. Does 52 divide y?
True
Let l(r) be the second derivative of -5*r**3/6 - 13*r**2/2 - 32*r. Let u be l(-3). Suppose 4*w = u*s + 204, 6*w = w - 4*s + 242. Is 5 a factor of w?
True
Let i = -50 - -54. Let g = -4 - i. Let l(q) = -8*q + 29. Is l(g) a multiple of 8?
False
Let b = -32 - -41. Let c be ((-6)/b)/((-4)/18). Suppose 6*g - 569 = g - c*z, 2*z = g - 106. Is 16 a factor of g?
True
Suppose -68*y + 80*y = 84. Is 0 + (-42)/y + 204 a multiple of 6?
True
Suppose -4*o = -3*c - 7994, -4*c = 4*o - 9045 + 1065. Is 8 a factor of o?
False
Let l(t) = -32*t**3 + 3*t**2 + 5*t + 3. Let o be l(-2). Let m = 691 - o. Suppose -3*u + 0*h = -2*h - 257, -m = -5*u + 5*h. Is 10 a factor of u?
False
Let x = 5311 - -1198. Is 105 a factor of x?
False
Let n(i) = -i**2 - 15*i - 138. Let p be n(-18). Is (-9692)/(-15) + p/1440 a multiple of 8?
False
Let x = 14 + -8. Let y(g) = -5*g + 26. Let r be y(x). Does 8 divide ((-342)/95)/(r/10)?
False
Let d(i) = 3*i**2 - 11*i + 265. Is d(23) a multiple of 39?
True
Let n(l) = l**3 - 2*l**2 - 67*l + 449. Does 69 divide n(14)?
True
Let j(w) = -w**2 - 8*w + 23. Suppose n + 10 + 0 = 0. Let i be j(n). Is 17 a factor of i/((-135)/(-1221)) + 2/(-15)?
False
Is (-1111481)/(-190) - 15 - 1/(-10) a multiple of 96?
False
Let f = 4712 - 1423. Is f a multiple of 117?
False
Let v = 136 - 136. Suppose -29*x + 33079 + 15351 = v. Is 46 a factor of x?
False
Let l(v) = v**3 + v**2 + v. Let s(h) = -2*h**3 + 12*h**2 - 3*h - 2. Let w(n) = 3*l(n) + s(n). Let z be w(-15). Is (-10 + z)/(2*(-2)/90) a multiple of 30?
True
Let k(z) = 10*z + 237. Does 3 divide k(39)?
True
Let x(m) = m**2 - 17. Let o be x(5). Let v be 4 - 3 - o*23/(-2). Let g = 180 - v. Does 28 divide g?
False
Let g(f) = -f**2 + 8*f + 86. Suppose 2*y - 28 = -0*u - 4*u, -y + 11 = -u. Does 38 divide g(y)?
True
Let b = 395 - 375. Suppose -6*r + b*r - 15876 = 0. Is 27 a factor of r?
True
Let m(b) = 4*b**2 + 4*b - 22. Let h be m(8). Let p = h + -64. Is 15 a factor of p?
False
Suppose -3*u + 62 = 3*f - 88, -5*u + 210 = -3*f. Let w = -18 + u. Suppose -23*z = -w*z + 224. Is 4 a factor of z?
True
Let b = -12149 + 32345. Is 22 a factor of b?
True
Let q = -510 - -512. Suppose -4 = -q*s, 1112 = l + l + s. Is 22 a factor of l?
False
Suppose -o - 4 = 0, 0 = 5*r - o - 93 - 51. Suppose 0 = 9*x - 26*x - 85. Let p = x + r. Does 6 divide p?
False
Suppose 0 = -c - 6, -125268 = 1545*l - 1550*l - 2*c. Does 32 divide l?
True
Let a be (-7 - 3)/(2/(-7)). Let j = -5090 - -5102. Does 16 divide ((-540)/a)/(j/(-224))?
True
Let f(r) = -r**3 - 67*r**2 - 136*r + 339. Does 69 divide f(-65)?
False
Let i(n) = 13*n**2 + 92*n + 3. Let f(o) = o**3 - 28*o**2 + 29*o - 63. Let g be f(27). Does 19 divide i(g)?
True
Suppose 0 = q - 4*h - 9148, 31568 = 3*q + 3*h + 4109. Is 22 a factor of q?
True
Suppose -k + 319 = 2*p - 5*p, 222 = -2*p + 3*k. Suppose -z + 5*q + 2684 = -3486, -3*z + 18470 = 5*q. Is z/p*((-3)/2 - 0) a multiple of 8?
Tru