2) + -69 + 2407?
False
Suppose 5*z - 9 = 2*p - 0*p, 4*p = 4*z. Suppose -p*i = -2*i, -3*o + 4*i = 0. Suppose -y - 4*y = o, -y = -q + 63. Is q a multiple of 14?
False
Let h(l) = l**3 - l**2 + 11*l - 233. Let p be h(0). Let q = -189 - p. Is q a multiple of 29?
False
Suppose 20*v = -20798 + 166618. Does 157 divide v?
False
Let u(k) = -k**3 + 17*k**2 + 2*k - 18. Let d be u(17). Suppose -2*p - d*x + 223 = -17*x, -3*p + 342 = -3*x. Is 11 a factor of p?
False
Suppose -32*f = 90*f - 796050. Is 3 a factor of f?
True
Let g(t) = -13*t**3 + 3*t**2 + t - 4. Let v be g(2). Let u = 123 + v. Is u a multiple of 14?
False
Let o = -341 + 375. Suppose 345 = -29*h + o*h. Does 4 divide h?
False
Let h(u) = -1204*u**2 - 6*u - 17. Let d(r) = 2409*r**2 + 11*r + 35. Let w(k) = -6*d(k) - 13*h(k). Is w(-1) a multiple of 21?
True
Suppose -64 = -3*p - 2*u, 4*u - 3 = -p + 7*u. Suppose -46 = -8*x + p. Suppose -x*g + 173 = -355. Is g a multiple of 11?
True
Let z(t) be the first derivative of 5*t**2/2 - 7*t + 18. Let h be z(12). Let i = h + 67. Is 15 a factor of i?
True
Let a(g) = 2*g**2 - 12*g - 8. Let n be a(-6). Suppose 10*y - 14 = n. Is 29 a factor of 60/8*348/y?
True
Let m = -41 + 37. Let q be ((-684)/11)/(-1) + m/22. Suppose 114 = 4*c - q. Is c a multiple of 34?
False
Let n(b) = -26*b - 86. Let o be -10 + -3 - (2 - -4). Is 17 a factor of n(o)?
True
Suppose -5399*t = -5379*t - 77680. Is t a multiple of 100?
False
Suppose -12240 = -9*p + 4*p + 2*k, -4*p = 4*k - 9764. Suppose -606 = l + 2*m, -3*l - l = -3*m + p. Does 34 divide 4/18 - l/9?
True
Is ((-26)/13)/((-2)/14131) - (3 + -8) a multiple of 114?
True
Let c(a) = -a + 5. Let u be c(-18). Suppose -2*p - 43 = u. Let m = 76 + p. Is m a multiple of 11?
False
Let l = 12740 + 1037. Is l a multiple of 132?
False
Let r(k) = -15*k**2 + 6*k - 1. Let w be r(2). Let p = -3 - w. Does 23 divide p?
True
Let m(k) = 21*k + 1. Let d be m(6). Let g = 154 - d. Is g a multiple of 3?
True
Suppose -114*j + 2782400 = 34*j. Is j a multiple of 188?
True
Let v = 7686 - 966. Does 21 divide v?
True
Suppose -4*p - 55 = -63. Suppose u - p*u + 137 = 0. Is 16 a factor of u?
False
Is (-1 + 4)*144/(-54) + 24625 a multiple of 137?
False
Suppose -5*a + 73 = -a - 3*n, 2*a - 3*n - 41 = 0. Suppose 2*u - a = -2*u + 4*m, -u - 3*m = 12. Does 6 divide -7*(u - 19) - (1 + 0)?
True
Suppose -5*q = -0*q - 75. Let g(l) = -34392 + 3*l + 34392. Does 15 divide g(q)?
True
Let n = 469 + -458. Let v(u) = 5*u**2 + 10*u + 36. Is 15 a factor of v(n)?
False
Let v(n) = -n**2 - 27*n - 39. Let k be v(-37). Let a = -357 - k. Is a a multiple of 11?
False
Let j be 3/(-4) - 3*88/(-96). Suppose 4*b - j*b = 5*y + 105, 0 = -b + 3*y + 54. Is 8 a factor of b?
False
Is 16 a factor of ((-458)/(-4))/(32/1664)?
False
Is 67 a factor of 412/((3*(-24)/(-36))/203)?
False
Let t(c) = -6*c**2 + 1752*c + 21. Is 93 a factor of t(12)?
True
Suppose -2*s + s + 1 = 0. Let a = -4 - s. Is 53*a*2/(-10) a multiple of 10?
False
Let h(z) = -3*z + 11. Let g be h(3). Let u(q) = 6*q**3 - 5*q**3 - 6 - 2*q + 4*q**g + 3*q**2. Does 2 divide u(-7)?
True
Let l(f) = 290*f + 30. Let b be l(9). Is 14 a factor of (42/(-10))/((-24)/b)?
True
Let f = 21 + -18. Suppose -o = -85 - 30. Suppose -12 + 0 = -4*v, -2*z = -f*v - o. Is 31 a factor of z?
True
Let w(j) be the first derivative of j**4/4 - 10*j**3 + 34*j**2 - 3*j + 89. Does 16 divide w(28)?
False
Let p(y) be the second derivative of y**5/5 - y**4/12 + 14*y**3/3 - 44*y**2 - 87*y. Is 15 a factor of p(6)?
False
Suppose -12*o + 33 + 27 = 0. Suppose 465 = -o*m + 2790. Is 31 a factor of m?
True
Let w(n) = 1662*n + 5479. Does 34 divide w(31)?
False
Suppose a + 5935 = 5*c - 24000, a + 4*a = 0. Does 118 divide c?
False
Is 22/(2*-1) - (-3660 - -437) a multiple of 24?
False
Let w be (0 - -9)*140/252. Suppose -w*q - 331 = -3*u + 499, -555 = -2*u + 3*q. Does 64 divide u?
False
Suppose -2*x + 1 = -3. Let k be 6 + -13 + (12 - 3). Does 4 divide 40/(x - (k + -2))?
True
Let c(b) = b**3 - 7*b**2 - 31*b - 10. Let p be c(10). Let j = 366 - p. Does 26 divide j?
False
Let b(p) = 34*p**2 + 8*p - 3. Let u be b(-5). Let o = 50 + u. Does 20 divide o?
False
Is 189761/78 + (-5)/6 a multiple of 88?
False
Suppose -2*f + f - 9955 = -3*s, -s + 5*f + 3295 = 0. Does 8 divide s?
True
Let w(z) = 250*z**2 + 3*z + 19. Let a be w(-4). Suppose 0*y + 2*i - a = -5*y, -2*y + 1607 = 5*i. Is 24 a factor of y?
False
Suppose -4*b + 2*b + 8309 = -v, -2*b - 5*v = -8279. Does 24 divide b?
True
Let z = 94 + -65. Let k = z - 21. Suppose -h + 4 + k = 5*d, -5*d - 98 = -4*h. Does 11 divide h?
True
Is -27 + 12 + 7 - -21428 a multiple of 119?
True
Let w = -9436 + 24956. Is 40 a factor of w?
True
Suppose x - 641 = -4*w, -2*w + 323 = x + 2. Suppose 7*j = w + 1100. Is j a multiple of 36?
True
Let u(d) = 2*d**2 - 12*d + 28. Let w be u(4). Let t(a) = 2*a**3 - 21*a**2 - 14*a - 11. Is t(w) a multiple of 7?
False
Suppose -5*m - 5*n = -10660, 215*m - n = 214*m + 2138. Is m a multiple of 61?
True
Let s = 71474 + -40874. Does 120 divide s?
True
Let j(g) = 3*g - 60 + 62 + 4*g - 2*g. Let o be j(14). Suppose 3*r - p = o, -p + 15 = 4*p. Is 4 a factor of r?
False
Suppose 78*z - 77*z = 395. Suppose -8*b - z = -9*b - a, 2*a = -b + 400. Does 39 divide b?
True
Let b(k) = -k + 17. Let r be b(15). Suppose 2*h - 5*h + r*i + 21 = 0, 9 = 3*h + 2*i. Suppose q = h*g - 421, 59 = -2*g + 2*q + 229. Is g a multiple of 14?
True
Let u(h) = 4*h**2 + 0*h**2 + h - 11*h - 13 + 5*h. Let d be u(-4). Let k = 141 - d. Is 7 a factor of k?
True
Suppose 711274 - 1471985 = -106*g + 1152589. Is 25 a factor of g?
True
Let v = 15940 - -19020. Is 76 a factor of v?
True
Let x = 1573 - 7. Is 87 a factor of x?
True
Suppose -6*x - 5*f = -17648, 14*f - 12*f - 2946 = -x. Is x a multiple of 14?
False
Suppose -13*o - 77 = -24*o. Suppose -67 = -2*v + o. Is 10 a factor of v?
False
Let t(i) = 45*i - 5. Let n(c) = -68*c + 8. Let r(w) = 5*n(w) + 7*t(w). Does 18 divide r(-7)?
True
Let y(l) = -11*l**3 + 27*l**2 + 87*l + 13. Is 146 a factor of y(-3)?
True
Let q = -308 - -90. Let r = -155 - q. Let a = 18 + r. Is 10 a factor of a?
False
Let r(d) = 16*d + 162. Let m be r(-10). Suppose n + 92 = -5*s + 240, 0 = -s + m*n + 23. Does 3 divide s?
False
Suppose 3*x = 2*k - 35009, -2*k - 210201 = -14*k - 3*x. Is 155 a factor of k?
True
Suppose x + 5*i + 13 = -2, -2*x - 19 = -i. Suppose 6*q + 40 = q. Does 11 divide (-441)/q + x/80?
True
Let f be 4/(-16) + 2670/24. Suppose 3*x + 29 = s - f, -5*s - x + 636 = 0. Is s a multiple of 25?
False
Suppose 32*z - 28*z = 36. Let b(n) = 23*n - 4 - z*n + 4*n. Does 20 divide b(5)?
False
Let k = 7739 - 5456. Is 3 a factor of k?
True
Is 21 a factor of (-15440)/(-50)*(-420)/(-16)?
True
Suppose -16 = -11*l + 17. Suppose 27*d - 24*d = -18. Is 5 a factor of (d/15)/((-1)/60*l)?
False
Suppose -4 = -23*r + 27*r. Let i be (-3 + 2)*r*129/3. Suppose 3*g - 208 = -i. Is 11 a factor of g?
True
Suppose -2214 = -5*v - 2*j, 3*j + 2*j = -2*v + 894. Let r = v + -216. Is r a multiple of 17?
False
Let n(y) = -y**3 - y**2 + 18*y + 4. Let b be n(-8). Suppose 0 = o + 4*j - b, 4*j = 3*o - 760 - 164. Is 44 a factor of o?
True
Let l = -137 - -39. Suppose -25*y + 34*y = -585. Let u = y - l. Does 11 divide u?
True
Suppose -3*a + 78 + 71 = v, 2*a = -2*v + 106. Let q = 372 - 300. Let n = q + a. Is 8 a factor of n?
True
Let g(b) = -b**3 + 15*b**2 + 3*b - 40. Let z be g(15). Let i be (4/2)/(4/6). Suppose -i*y + z*n + 114 = 0, y + n - 48 + 2 = 0. Is 10 a factor of y?
False
Let s = -47 + 47. Let m(i) = -i**3 + 2*i**2 + 6. Let c be m(s). Does 8 divide (-26 - -5)/(c/(-16))?
True
Suppose 146*x - 153*x = 4179. Let o = -180 - x. Is 25 a factor of o?
False
Suppose 3*i - 2*h - 11521 = 0, -3148 = -5*i + 4*h + 16055. Is 11 a factor of i?
True
Let n(o) = o**3 - 5*o**2 - 15*o - 12. Let c(k) = -6*k**3 + 24*k**2 + 74*k + 61. Let b(j) = 2*c(j) + 11*n(j). Let t be b(-8). Let x = 162 + t. Does 16 divide x?
True
Let y be (-2)/5 + (-283)/5. Suppose 5*f + 2*l - 655 = 5*l, -502 = -4*f - 2*l. Let v = f + y. Is v a multiple of 8?
False
Let i = 81 - 78. Let s be (0 + (3 - (-158)/6))*i. Suppose 0 = -4*z + 3*z + s. Does 8 divide z?
True
Suppose 31638 = 4*b - 7*j, 0 = 4*b + 11*j - 9*j - 31692. Is b a multiple of 90?
True
Suppose -8*r + 0*r = -248. Suppose 3*f - 27 = -5*z + r, -2*z - 65 = -3*f. Is 42 a factor of f/(-14)*(-800)/6?
Fal