4*i**2. Let n be o(-4). Let w = 519 + -370. Suppose n = 10*r - 331 - w. Does 29 divide r?
False
Let c be 4*(15/(-135))/((-4)/18). Is 22 a factor of 30/27*192 - c/6?
False
Let v be (-920)/(-2) - (2 - 1). Suppose -1 = -6*i + 7*i, 2*i = 5*m - 1617. Let o = v - m. Does 12 divide o?
False
Suppose 17*i = 2*l + 35*i - 37212, -3*i = 4*l - 74259. Is l a multiple of 269?
True
Let u be 113122/34 + (-14)/119. Suppose -u + 387 = -10*b. Is b a multiple of 27?
False
Suppose -2*j + 1 = 2*k - 27, -2*j - 3*k + 32 = 0. Suppose j = z + 3*l, -5*l + 7*l - 44 = -3*z. Is z a multiple of 5?
False
Suppose 1 + 5 = 2*l. Let x be (-4 - 4) + 12 + -4. Suppose x*m + 609 = 4*d - 3*m, 2*d - 309 = -l*m. Is d a multiple of 7?
False
Let c = 4073 + 8368. Does 18 divide c?
False
Let z = 43327 + -29797. Is 30 a factor of z?
True
Is (-99)/(11/(-1)) + 8301 a multiple of 30?
True
Let i(a) = 9*a**3 - 2*a**2 + 2*a + 1. Let h be i(1). Let q be ((-2)/((-12)/(-6)))/((-2)/h). Suppose q*u - 180 + 2 = -3*b, -67 = -2*u + 3*b. Does 5 divide u?
True
Let d be (-4)/1*(-8)/16 + 3. Suppose u - 5*i - 508 = 0, -69 = -u - d*i + 449. Is 57 a factor of u?
True
Suppose -2*i - 21*g = -23*g - 69896, 3*g - 174708 = -5*i. Is 112 a factor of i?
True
Suppose -8*n - 2214 = 1050. Let q = 115 - n. Is 12 a factor of q?
False
Suppose -11*x + 7*x - 5*l + 28 = 0, -2*x + 3*l = 8. Suppose -x*g - 2*o = -204, -2*g + 8*o = 5*o - 229. Does 6 divide g?
False
Suppose -2*q + 22917 = -3*r, 5*q + 8*r - 57355 = 3*r. Is q a multiple of 45?
False
Let f = 382 + -891. Let s = -288 - f. Does 17 divide s?
True
Suppose 5*m - 2*a - a - 3667 = 0, 3*m + 4*a - 2206 = 0. Is m a multiple of 5?
False
Let b = 187 + -322. Let u = 39 + b. Let o = u + 138. Is 4 a factor of o?
False
Let n = 6468 - -2934. Is 85 a factor of n?
False
Let j(m) = 10*m + 3*m - 6*m - 2*m**2 + 8*m + 24*m - 24. Does 4 divide j(16)?
True
Let o(w) = 235*w**3 - 305*w**2 - 12*w + 5. Is 11 a factor of o(5)?
False
Let x = -162 + 40. Let b = x - -126. Is 4 a factor of b?
True
Let j = -49 + 49. Let c be 2242/10 - (-3)/(-15) - j. Suppose t = -3*t + c. Is t a multiple of 8?
True
Suppose 2*g = 5*a + 12235, -4*a = 103*g - 104*g + 6110. Is g a multiple of 13?
False
Let b be (0/(-2))/(-4 + 1). Suppose b = 2*g, -5*i + 53 = g - 22. Is 24*-1*(-20)/i a multiple of 4?
True
Let n = -429 + 163. Let l = -154 - n. Is l a multiple of 8?
True
Let r(q) = -1785*q**3 - 2*q**2 - 9*q - 7. Does 19 divide r(-1)?
False
Suppose 5*b - i = -29953, -5*b - 7*i + 3*i - 29963 = 0. Let d be (-16)/56 + (b/(-21) - -2). Suppose 4*v - 81 - d = 0. Does 23 divide v?
True
Let p be (-7)/((-28)/(-12)) - -6. Suppose -z + p*b - 4*b + 378 = 0, b = -4*z + 1500. Is z a multiple of 13?
False
Suppose -840 = 6*s - 228. Let j be s/(-85)*((-34)/(-4) - 1). Let x(z) = 10*z. Is 18 a factor of x(j)?
True
Suppose 0*n + 144 = 6*n. Suppose 0*m = -4*m + n. Suppose m*k = 2*k + 80. Does 10 divide k?
True
Let w(g) be the first derivative of 2*g**3/3 - g**2 + 40*g + 47. Is w(7) a multiple of 4?
True
Let u = -226 + 235. Suppose u*a + 1216 = 5347. Does 38 divide a?
False
Let k(q) = -30*q + 1. Let h be k(3). Let a be ((-6)/(-18))/((-1)/(-732)). Let x = a + h. Does 31 divide x?
True
Suppose 5*n + 4*j + 549 = 1390, -3*j = 4*n - 672. Suppose 2*z = -g - 3 + 42, -4*g - 5*z + n = 0. Is g - (1 + (-5)/1) a multiple of 10?
False
Suppose -5*l + o - 1 + 101 = 0, -2*o = -2*l + 32. Suppose -l*a = -10*a - 33. Is a a multiple of 3?
True
Suppose 6*j - 9 = 3*j. Let r = -7448 + 7511. Suppose -4*t + r = j*t. Is 2 a factor of t?
False
Let w be 2/(-5) + 8930/(-50). Let u = 465 + w. Suppose 2*p + 3*g + 3 = u, g = -1. Is 15 a factor of p?
False
Does 104 divide (-17)/(969/38)*-12168?
True
Let j be 153 + -4 - (6 + -2). Suppose j = 6*b - 125. Does 12 divide b?
False
Let i(j) = 9*j - 27. Let c be i(3). Suppose c*h - 18*h + 19530 = 0. Is 87 a factor of h?
False
Let h(d) = -3*d**2 + 12*d + 2. Let j be h(2). Let k(u) = u**3 - 9*u**2 - 22*u - 3. Is k(j) a multiple of 18?
False
Let c = -7225 + 8794. Is c a multiple of 27?
False
Let y(u) = u + 15. Let v be y(26). Suppose -36*r = -v*r + 70. Does 10 divide r?
False
Suppose 3*k = 5*x - 537, 3*x + 179 = -k - 0*k. Suppose 0 = -44*h + 209*h + 6543 + 9792. Let s = h - k. Does 13 divide s?
False
Let o(n) = 15*n + 72. Let w be o(-27). Let a = w + 401. Is a a multiple of 17?
True
Suppose -36865 = -5*m + 5*o, 51*m - 48*m - 2*o = 22124. Does 238 divide m?
True
Is 15/165 - 170/55 - -5409 a multiple of 6?
True
Suppose 2*w + 96 = -4*i, -2*w - i + 5 = 89. Let z = 44 + w. Suppose 3*g = 2*a - 178, z*a - 30 = -3*g + 344. Is a a multiple of 23?
True
Let i(k) = -38*k - 35. Suppose 0 = -4*n - 16, -41 = -5*w + 2*n + 2*n. Suppose -w*x - p - 2 = 19, -x - 5 = p. Is 13 a factor of i(x)?
True
Let s = -245 + 241. Is 7 a factor of (s/5)/(40/(-3800))?
False
Let h = -27944 + 72480. Is 152 a factor of h?
True
Let z(k) = k**2 + 10*k - 29. Let a = 24 + -52. Let d = a - -12. Is z(d) a multiple of 16?
False
Let n(c) = -41*c + 3. Let q(u) = 2*u**2 - 32*u - 1. Let f be q(15). Let b = 27 + f. Does 28 divide n(b)?
False
Let x be (-3082)/(-18) - (0 - 4/(-18)). Let q = 294 - x. Is 41 a factor of q?
True
Let d be 0 - -4 - 16/4. Suppose d = 7*a - a. Suppose -3*w - 6 = a, 5*l + 0*l + w - 138 = 0. Is l a multiple of 11?
False
Let t = 905 + -903. Suppose 3*c = -0*c - f - 805, -2*c = -4*f + 546. Does 24 divide t/(c/(-89) - 3)?
False
Let g = 92 - -167. Let r = g - 67. Is r a multiple of 6?
True
Let m = 356 - 346. Suppose 1449 = m*v - 151. Is v a multiple of 10?
True
Suppose 8500 = -551*f + 556*f. Suppose -5*r = -5*m + f, 0 = -3*m - 2*r + 3*r + 1018. Is m a multiple of 35?
False
Let g(q) = 3*q**2 + 16*q + 25. Let p be g(-11). Suppose p + 620 = 8*d. Does 15 divide d?
False
Is 90224464/2128 - (-2 + (-20)/(-14))/2 a multiple of 63?
True
Suppose -2 = -t, 4*s - 268 = 6*s - 5*t. Let q = -24 - s. Does 27 divide q?
False
Let v = 102 + -155. Let j = 49 + v. Is 316/((-1)/((-6)/j + -2)) a multiple of 12?
False
Let m = -2 + 4. Let u(j) = -j**3 + 13*j**2 + 31*j - 435. Let b be u(9). Suppose m*x + b = 6*x. Does 7 divide x?
True
Let f(n) = -7 + 2 - 4 - 28*n - 20*n. Suppose -2*m = 3*c - 0*m + 8, 5*m = -3*c - 11. Is f(c) a multiple of 32?
False
Let p = -5890 - -21950. Does 44 divide p?
True
Suppose 4*r = -1227 - 1921. Is (r + 1 + -4)/(-2) a multiple of 12?
False
Let x(u) = 22*u**2 + 8*u - 180. Is x(-15) a multiple of 150?
True
Suppose 486 + 339 = 11*s. Suppose s*h = 84*h - 3240. Does 6 divide h?
True
Suppose -4*z - 9*z + 52 = 0. Suppose z*r - 776 = -f, 2*r = 7 + 3. Is 21 a factor of f?
True
Let q(n) = 3*n + 1. Let u be q(-4). Let l = u + -16. Let v = 46 + l. Is 19 a factor of v?
True
Let s = 31 - -8. Let o be ((-360)/(-210))/((-2)/42). Let m = s + o. Is m a multiple of 2?
False
Let j be (1134/9)/((-3)/(-4)) - -3. Let l = j + -90. Suppose 0 = 4*z + 1 - l. Does 8 divide z?
False
Suppose 13 = 4*o + 9. Let w be ((-1)/1*o)/(2/14). Is 5 a factor of ((-35)/w)/((-2)/(-4))?
True
Let c(u) = u - 1. Let t be c(5). Suppose -442 + 142 = -t*h. Does 10 divide h/2 + (3 - 7/2)?
False
Let o = -2394 + 49565. Is 65 a factor of o?
False
Let x be (3 + 190/(-4))/(1/(-26)). Let l = x - 849. Is 7 a factor of l?
True
Suppose 56653 + 24842 - 15682 = 11*j. Is 14 a factor of j?
False
Suppose -4*i + 54522 = 7*x + 10479, -44127 = -4*i + 5*x. Is 73 a factor of i?
True
Let o be -1 + (-19)/3*(-588)/28. Is 27 a factor of (-1 + (-13)/2)*(-186 + o)?
True
Is -12 + -7 + 24 + 16432/(-2)*-1 a multiple of 57?
False
Let i(k) = 607*k + 36. Let f be i(2). Suppose -28*u = -23*u - f. Is 25 a factor of u?
True
Let b(w) = w + 1 + 4*w - 4*w. Let r be b(1). Suppose c - 5*c + 552 = 5*p, r*c - 6 = 0. Is 6 a factor of p?
True
Let f(j) = 42*j**2 + 4*j - 44. Suppose 0 = -o - 3*v + 9, 3*o + 57*v = 56*v - 13. Is 38 a factor of f(o)?
True
Suppose -263*c + 2937966 + 2168843 = 589784. Is c a multiple of 25?
True
Suppose 5*u = 3*m + 3, 4*u + 17 = 2*m + 7*u. Suppose 2*o - 8 = 2*j, -m*o = 3*j - 2 - 7. Suppose z + 4*y - 3*y - 48 = 0, 93 = 2*z + o*y. Is 11 a factor of z?
False
Let p be (-6417)/(-8 + 5)*1. Suppose 431 = t + j, 12*t - 17*t = -3*j - p. Is t a multiple of 39?
True
Suppose 6*a + 41 = 11. Does 29 divide (-2029)/(-5) - 1/a?
True
Let k be (-2)/8 - 132/48. Suppose -3*b + 2 = -7. Does 19 divide -35*(k/(-3) + -2) + b?
True
Let z(t) = 17*t + 19. Let y b