Let j be i(4). Suppose -j*c - 100 = -13*c. Is 9 a factor of c?
False
Suppose 0 = 6*t - 11426 + 254. Suppose -t = -4*k - 15*k. Is k a multiple of 27?
False
Let g(x) = 6*x**2 + 51*x + 44. Let c be g(-23). Suppose 6*b - c - 163 = 0. Is b a multiple of 16?
True
Let p be 2/((4/3)/(-2)). Is -3 + 0 + 36 + -1 + p a multiple of 5?
False
Suppose 0 = -11*c + 22*c + 36300. Is 3 a factor of ((-2)/(-4))/((-55)/c)?
True
Let y = 626 - 125. Let z = -237 + y. Is z a multiple of 23?
False
Let k = 2981 + -3012. Suppose 0 = 5*j - 58 - 57. Let z = j - k. Is 9 a factor of z?
True
Let f(x) = -15*x**2 + 18*x - 6. Let y be f(8). Let w = y - -1310. Suppose -2*h + 3*d + 49 = -209, 0 = -4*h - d + w. Is 18 a factor of h?
False
Let i(u) = -9*u + 271. Let l be i(32). Is 6 a factor of (-9722)/l + 50/425?
False
Let x(g) = -7*g + 286. Let w(z) = -7*z + 290. Let v(u) = 6*w(u) - 5*x(u). Is v(9) a multiple of 13?
True
Suppose 4*o = -o + 2115. Suppose -5*n - o = 67. Let l = n - -197. Is l a multiple of 13?
False
Let p = -668 - -1073. Suppose 3*a = 3*n + p, -2*a - 10*n + 6*n = -276. Is 8 a factor of a?
True
Let r = 225 - 227. Let y(t) = -33*t**2 + t - 5. Let j(g) = -16*g**2 + g - 3. Let m(o) = 5*j(o) - 3*y(o). Is m(r) a multiple of 9?
True
Let j = 4 + -8. Let i(c) = 24*c**2 - 16*c - 52. Does 22 divide i(j)?
True
Let r(c) = -235*c**3 - 6*c**2 - 11*c - 8. Does 11 divide r(-2)?
True
Let c be 6/(313/78 + -4). Suppose 0*h + 3*z = -h + c, 0 = -z - 3. Is h a multiple of 62?
False
Let r(x) = -x**3 - 2*x + 3. Let m(o) = o**3 - 11*o**2 + 3*o + 26. Let c(d) = -m(d) - 2*r(d). Is c(-8) a multiple of 8?
True
Let r(o) = -o**2 - 20*o - 48. Let s be r(-14). Suppose 379 = 3*t - 2*v - s, 274 = 2*t - 4*v. Suppose -10 = -p + t. Does 35 divide p?
False
Let v(l) = l**2 + 17*l - 17. Let x be v(-18). Let s = x + 2. Suppose 2*z = 3*n - 567, n + s*z - 116 = 62. Is 11 a factor of n?
True
Let y(m) = 3437*m - 996. Is y(3) a multiple of 45?
True
Let i(y) = 10*y**3 + 2*y**2 + 3*y + 2. Let l be i(-1). Is 33 a factor of (8354/6)/1 + 3/l?
False
Let g(k) = -2*k**2 + 12*k - 13. Let o be g(4). Suppose 0 = -o*u - 307 + 1063. Does 14 divide u?
True
Suppose r + 6*r = 4*r. Suppose r = 5*n - 25, 5*n = 4*b - b - 233. Does 15 divide b?
False
Let o be 101/(-7) - 36/(-84). Suppose -75 + 3 = -3*j + 3*u, 0 = 5*u. Let h = o + j. Is 2 a factor of h?
True
Suppose -4*t + 30 = -2*o, -2*t - 5*o = -o. Suppose 0 = -t*v + v + 625. Let y = -89 + v. Is y a multiple of 9?
True
Does 4 divide ((-105)/(-10))/(21/4760)?
True
Suppose 4*q - 8*q + 4*v + 13268 = 0, -4*q + 5*v = -13274. Does 11 divide q?
True
Let f(h) = 126*h - 266*h + 134*h + 109. Is f(-11) a multiple of 12?
False
Suppose -6*k + 6927 + 11955 = 0. Is 42 a factor of k?
False
Suppose -6*f - 53 = -35. Is 23 a factor of (-84)/(-126) - 229/f?
False
Let y be ((-90)/(-60))/(-1 + 6/4). Suppose 5*s = 3*w - 119, 3*w - y*s + 0*s = 123. Does 11 divide w?
False
Suppose 0 = 3*b + 2*d - 56, 2*b + 0*d = 5*d + 31. Suppose 3*x + 4*v = -2*x - b, v + 3 = -x. Does 18 divide (-12 + x/(-2))*-17?
False
Let u(g) = 2*g + 22. Let x be u(0). Let p = x + -18. Suppose -2*o - 868 = -p*c, 0 = 5*c - 2*c - 5*o - 658. Is c a multiple of 27?
True
Let r be (0/(-153))/(-1 + 1 + -1). Suppose r = -0*g - 6*g + 90. Does 11 divide g?
False
Is 344/(-3 + (-1024)/(-336)) a multiple of 24?
True
Let r(q) = -q**2 - 22*q - 58. Let l be r(-18). Let j be (l - 2)*(0 - (-5)/15). Suppose -j*y + 212 = -2*k, y + 106 = 3*y + 4*k. Is y a multiple of 38?
False
Let q(s) = -s**3 + 40*s**2 - 32*s + 96. Is 10 a factor of q(23)?
False
Suppose 0 = 5698*v - 5710*v + 26400. Is 88 a factor of v?
True
Let m(v) = -9*v + 384. Let p = -599 + 608. Is 10 a factor of m(p)?
False
Suppose -13 = o + 4*a, -16 = o - 3*a + 8*a. Let s be -3 - (28 - (-1 + o)). Let l = 64 + s. Is l a multiple of 15?
False
Let b = -523 - -841. Is b a multiple of 3?
True
Suppose -3*k + 2*x - 3*x + 6 = 0, -3*x = 3*k. Does 16 divide 102720/130 + k*4/(-78)?
False
Let k(l) = 923*l**2 - 62. Is 177 a factor of k(4)?
False
Let z = 340 - 478. Let f(y) = -77*y - 1134. Let t be f(-12). Let r = z - t. Is r a multiple of 24?
True
Does 31 divide (708/(-22))/((-718)/122419)?
True
Let t = 1007 - 703. Suppose -8*g + t = 96. Is g a multiple of 13?
True
Suppose -23*j + 24*j - 3 = 0, -4*j + 9572 = 5*i. Does 11 divide i?
False
Suppose -32*p - 9*p + 151848 = -17*p. Is 19 a factor of p?
True
Let r = -11 + -38. Let q be 335/4 + 6/(-8). Let k = r + q. Does 15 divide k?
False
Suppose -210 = -4*l - l. Let y = l + -19. Suppose -y*s = -27*s + 44. Does 7 divide s?
False
Let a(o) = 18*o - o**2 + 28 - 1 + 2*o**2. Let t(v) = v**3 - 11*v**2 + 25*v + 12. Let c be t(6). Is 5 a factor of a(c)?
False
Let r = 21733 - 5366. Does 14 divide r?
False
Let j be (-176)/(-1144) - (-24)/13. Is 14 a factor of -3 + 341/(6/6) - j?
True
Suppose -3*j = -f - 3062, -3*f - 1651 = 5*j - 6745. Does 4 divide j?
True
Let n be 7 + -3 - (4 + 0). Suppose n = 5*p - 114 - 326. Is p a multiple of 22?
True
Let s = 36765 - 28122. Is 43 a factor of s?
True
Let p(i) = 3*i**2 - i + 499. Is p(20) a multiple of 4?
False
Suppose 3 = -16*w + 17*w. Suppose -w*i = 12*i. Suppose 2*h - 67 - 41 = i. Is 18 a factor of h?
True
Suppose -3*p + 34 = -29. Suppose -51 = p*o - 18*o. Let v = o - -29. Is v even?
True
Let l(f) = 1. Suppose 0*p + 2*a = 2*p + 6, -2*p - a = 0. Let n(i) = 2*i + 13. Let b(t) = p*n(t) + 6*l(t). Is b(-7) a multiple of 7?
True
Does 51 divide 10947/15*(-15)/(6/(-2)) - -5?
False
Let k = -2 - 0. Let c = k - -4. Is 3 a factor of ((-6)/(-9))/((c/(-33))/(-2))?
False
Suppose 2*b + 2*b + 12 = 4*n, 3*n - 9 = 0. Let d(j) = 3*j**3 - 64*j**2 + 39*j - 40. Let p be d(20). Is (p/10)/(b - (-2)/(-1)) a multiple of 43?
True
Suppose 5*c - 20 = 0, 2*d - c = 8 - 0. Suppose -2696 = -d*s - 2*s. Is s a multiple of 15?
False
Does 6 divide (-20)/40*2*-5058?
True
Let i be (4 + -7)/((-24)/16). Let b(t) = 283*t + 17. Does 14 divide b(i)?
False
Does 2 divide (-2)/(-6) + (-28752)/(-9)?
False
Suppose -4*k + 702 = k - 4*x, x = -4*k + 570. Suppose -11 = -3*h + 5*u + k, -4*u + 126 = 3*h. Does 6 divide h?
False
Let y = 4088 - -1158. Is y a multiple of 61?
True
Suppose 495*c - 496*c + 5*t = -8164, 4*t = 16. Does 4 divide c?
True
Let l(x) = 3*x**2 + 14*x + 13 - 4*x**2 - 6*x - 17. Let v = 6 + -3. Is 3 a factor of l(v)?
False
Suppose 17106 = -31*h + 238415. Is h a multiple of 50?
False
Suppose -3*o + 0*s + 4*s - 315 = 0, -2*o = -2*s + 210. Let b be 46/14 - (-30)/o. Suppose -a + 3*a = -b*z + 170, 0 = -z + 4*a + 38. Does 9 divide z?
True
Let x(s) = 27*s**2 + 24*s - 189. Let n be 6 - 0 - (-6 + 2 + 4). Does 51 divide x(n)?
False
Suppose -q + 9 = 2*p, 0*q + q - 3 = p. Let r = p - -232. Is 9 a factor of r?
True
Let m(l) = -1126*l + 436. Is m(-11) a multiple of 163?
False
Let h be (-17)/(-5) + (-4)/100*-15. Suppose 4*w - 2404 = -4*x, -2*x = -h*w + 2*w + 1190. Does 23 divide w?
True
Let g(w) = -14*w**2 + 13*w - 8. Let v(r) = -r + 13. Let j be v(9). Let o(x) = 13*x**2 - 12*x + 7. Let s(m) = j*g(m) + 5*o(m). Is 10 a factor of s(3)?
True
Suppose 17*h = 14*h + 5*p + 97923, -65298 = -2*h - 2*p. Suppose 0 = -31*l + h - 5955. Is l a multiple of 20?
False
Suppose 5*g = 7*g - 22. Suppose -r - 8 = -g. Suppose 4*j - 330 = 5*k, -j - r + 77 = 3*k. Is j a multiple of 4?
True
Suppose z - 1054 = -2*f + 2840, 15543 = 4*z - 3*f. Is z a multiple of 72?
True
Let f(j) = 3*j**2 - 86*j - 20. Let u be f(29). Suppose -2*o + 5*o - 4953 = 0. Suppose -o = -u*c + 842. Is 15 a factor of c?
False
Let d(t) = t. Let p(c) = -45*c - 2. Let s(r) = -2*d(r) + 2*p(r). Let i be -2*((-2)/4 - -1). Does 22 divide s(i)?
True
Suppose 2*z + 0*z + 22 = 0. Let o(u) = -u**3 - 11*u**2 - u - 11. Let b be o(z). Is 4 a factor of b + -2 - 40*-1?
False
Does 4 divide (-95)/(-3) + 20/60?
True
Let g(i) = 35*i + 1113. Is g(5) a multiple of 14?
True
Suppose -9*p = -15261 + 2877. Is 8 a factor of p?
True
Let v(s) = 9*s + 3*s - 25*s - 7 + 12*s. Let z be v(-9). Suppose 5*g - 299 = 4*o, z*g + 5*o - 194 = -48. Does 38 divide g?
False
Does 16 divide (-309 + (-90)/(-10))*-4?
True
Let w = 21090 + -11376. Does 115 divide w?
False
Let l(u) = -u**2 - 3*u + 10. Let t be l(-11). Let j = 66 - t. Is 11 a factor of j?
False
Suppose -o + 70 = 2*n + 3*n, 2*o + 4*n = 128. Let r = 64 - o. Suppose 887 = 5*d + i - 0*i, 539 = 3*d + r*i. Does 43 divide d?
False
Let s(z) = -