 Is i a multiple of 149?
False
Let u(i) = 2855*i - 7456. Is 313 a factor of u(15)?
True
Let k be (0*(-6)/(-54))/1. Suppose 7*j - 1077 - 6651 = k. Does 46 divide j?
True
Let z(f) = 396*f + 28924. Does 188 divide z(0)?
False
Suppose 0 = v - 4*h + 435, -4*h = -5*v + h - 2130. Let o = v - -461. Is 25 a factor of o?
False
Let c(w) = w**3 + 65*w**2 - 15*w - 195. Is 20 a factor of c(-61)?
False
Let q be 12/(-18)*147 + -6. Is (-39)/q + (-1626)/(-16) a multiple of 6?
True
Let j(n) = 121*n**2 - 165*n + 1823. Does 57 divide j(11)?
True
Let j be (1/2 - (-75)/30)*-22. Is 53 a factor of (j - -13)/(3/(-51))?
True
Let w be (-194)/(-14) - 2/28*-2. Let h(d) = d**3 + 11*d + 9 - 14*d**2 + 0*d**3 - 39. Does 13 divide h(w)?
False
Let m(z) = -z**2 - 21*z + 24. Let a be m(-22). Suppose -3*g = -a*u - 2, 19 = 7*u - 4*u + g. Does 4 divide u?
False
Suppose 14400 = 5*l - 5*c, 6893 = 3*l + 3*c - 1735. Suppose -4*z - 2302 = 2*i - 0*i, 0 = 5*z + 2*i + l. Let g = -384 - z. Does 24 divide g?
True
Let p(m) = 17*m**2 + m - 82. Does 27 divide p(-9)?
False
Let z = 3921 - 403. Suppose -z - 574 = -31*w. Is w a multiple of 4?
True
Suppose 69*q = -36*q + 173670. Is q a multiple of 2?
True
Let u be (-162)/(-4)*((-70)/(-21) + 2). Does 29 divide 112671/u - (11/(-8) + 1)?
True
Let v = 33 + -33. Suppose v = -7*h + 2*h, 0 = 3*g + 5*h - 774. Suppose g = 3*m - 3*y, -2*m + 6*y - 3*y = -174. Does 28 divide m?
True
Let y(t) = -t**3 - 4*t**2 + 18*t - 3. Let p be y(-13). Suppose -5*r = -2*k + k - 246, -2*r = 5*k + p. Let w = k + 421. Is w a multiple of 15?
True
Suppose -13*q + 5121 = -10*q - 4*o, q - 3*o = 1712. Let b = q + -1180. Is 7 a factor of b?
False
Suppose 0 = 53*a - 75*a + 66. Suppose y - a*y - 2201 = -3*t, -5*t = 3*y - 3700. Is 9 a factor of t?
False
Is (-16)/(352/110) + (13117 - 0)/1 a multiple of 44?
True
Let s(o) = 165*o - 48. Does 106 divide s(8)?
True
Let s(l) = 5*l**3 - l**2 - 3*l + 11. Let a(h) = -h**3 - h**2 - h - 2. Let o be a(-2). Suppose -21 = -o*w - 3*g, 0 = -w - w - 2*g + 12. Does 8 divide s(w)?
True
Suppose 3*d = 42 + 63. Is d/28 + (-2444)/(-16) a multiple of 7?
True
Let l be (-6)/9 - 26/6. Let x(c) = 39 + 5*c - 15 - 10 + 2*c**2 - 11. Does 14 divide x(l)?
True
Suppose -3*a = q + 2*q - 15, q = 2*a + 14. Let c(y) = -9*y + 24. Let p(d) = -18*d + 50. Let h(x) = 11*c(x) - 6*p(x). Is h(q) a multiple of 18?
True
Let r(n) be the first derivative of n**4/4 + 2*n**3/3 + 3*n**2/2 - 26*n - 214. Is 43 a factor of r(4)?
False
Let a = 121 - 118. Suppose 5*x = 2*l + 277, -18 = a*l - 15. Is x a multiple of 14?
False
Suppose 18*a - 23*a + 3*i = -55054, -a = -2*i - 11001. Does 21 divide a?
False
Let k(v) = -482*v - 17. Let b be k(-3). Suppose -b - 163 = -w. Suppose -8*i = -w + 296. Does 12 divide i?
False
Let c be 1*(39/(-52) - (-30)/8). Suppose -5*y + h + 31 = -785, -c*y = h - 496. Does 5 divide y?
False
Let q(m) = 2*m**2 + 22*m + 11. Suppose 6*o = 4*o + 14. Is q(o) a multiple of 16?
False
Suppose 18*m = 15*m. Suppose -4*u + m*u = 0. Suppose 6*a + 61 - 229 = u. Is a a multiple of 28?
True
Suppose -35*o = 10799 - 186884. Is 13 a factor of o?
True
Let f = -5061 - -60816. Is f a multiple of 177?
True
Suppose -3*f + 7 = -2*f + 2*l, 3*f = 5*l - 1. Let g(p) = 10 + f*p + 3*p - 3*p - 6. Is g(6) a multiple of 11?
True
Let f be 1*(1154 + 8 + -6) + 0. Let s = f - -144. Is s a multiple of 52?
True
Let i be 70/((-6)/(-9)*3/2). Let s = -8 - -23. Is 22 a factor of (17 - s) + i/2 + -1?
False
Let m be (-4)/(-10) + (8154/15 - 4). Suppose 10*l - 1010 = m. Does 7 divide l?
False
Let n(h) = -h**3 - 22*h**2 - 21*h + 98. Suppose 419 = 4*g + 503. Is 14 a factor of n(g)?
True
Let t be (-48)/60 + (-2709)/(-5). Suppose -16*k = -20*k + f + t, 695 = 5*k + 5*f. Does 8 divide k?
True
Suppose -4*b + 19*b = 120. Suppose b*w - 14*w = -450. Does 15 divide w?
True
Suppose 11*l - 35 = 53. Let h(i) = 2*i**2 - 16*i + 55. Does 2 divide h(l)?
False
Suppose -207*t + 177522 + 389314 = -187679. Does 183 divide t?
False
Let n be 1/12 + (-49933)/(-276). Suppose -p + n = -139. Is 10 a factor of p?
True
Let v = -49 + 52. Let q(f) = -v*f - 8*f**2 - 32 - 5*f**2 - f**2 + 15*f**2. Is q(10) a multiple of 3?
False
Suppose -49*h = -48569 - 24784. Suppose -5*w - 1806 = -4*z + 1193, 2*z = 3*w + h. Is z a multiple of 25?
False
Suppose -6*k + 54 = -0*k. Suppose k*s + 5 = 4*s. Is s/(((-11)/33)/((-14)/(-6))) a multiple of 7?
True
Suppose -2*s - 3251 + 19043 = -5*i, 0 = -4*s - 5*i + 31554. Does 13 divide s?
True
Let l be (1 - 11)*(-8)/(-4). Let y(v) = 10 + 2*v - 3*v + 1 + 0*v. Is y(l) a multiple of 7?
False
Let l(t) = -6*t + 225. Let x be l(25). Is (12/(-20) - 0) + 76845/x a multiple of 10?
False
Let g = 1047 + 254. Is g a multiple of 2?
False
Let a = 5798 - 2418. Is 52 a factor of a?
True
Suppose -2*l + l = 2*o - 155, 430 = 3*l - o. Let k = 59 + l. Suppose 4*g - k = -4*c + c, 0 = -g + c + 51. Is g a multiple of 17?
True
Let q = -39 + 96. Is 9 a factor of (q - 0) + 0 + (8 - 2)?
True
Suppose 3*y - 102 = -3*x, 18*x - 3*y + 73 = 20*x. Suppose -i = -16 - x. Is 9 a factor of i?
True
Suppose 0 = -4*n - 4074 + 8934. Does 9 divide n?
True
Is 282/1645*(-7)/(-3)*43515 a multiple of 35?
False
Is -4 + (-32)/20 + 4/(-10) + 4798 a multiple of 32?
False
Suppose 29*z = 27*z - 5*h + 19473, -5*h + 97345 = 10*z. Is z a multiple of 23?
False
Suppose -4 = 3*n + 2, -2*n - 13 = -3*o. Is 21 a factor of 380/o + 4/(-6)?
True
Let a be (2/4)/(8/80). Let x(c) = 4*c - 20. Let d(y) = 8*y - 41. Let o(f) = a*x(f) - 2*d(f). Is o(17) a multiple of 19?
False
Suppose 2*l + 161 = -197. Let n = 611 + l. Suppose -8*j + n - 64 = 0. Is 18 a factor of j?
False
Let l(s) = 25*s**3 - 22*s**2 - 29*s + 24. Is 275 a factor of l(10)?
False
Suppose 14*l + 7963 + 47953 = 42*l. Does 18 divide l?
False
Suppose 12*d = -39*d + 182886 + 540039. Does 35 divide d?
True
Suppose -4*n + 13 = d - 11, -3*d = 4*n - 56. Let h(c) = -c**3 + 17*c**2 - 15*c - 10. Let y be h(d). Suppose 6*q - 5*q = y. Is q a multiple of 6?
True
Let p be (-34)/16 - 31/(-248). Is 15 a factor of p/8 + (-11 - 825/(-20))?
True
Let r(w) = w**3 - 13*w**2 + 5*w - 101. Let s be r(13). Is (s*15/6)/((-22)/88) a multiple of 10?
True
Let l(j) = -j**3 - 21*j**2 - j - 25. Let s be l(-21). Is 15 a factor of (40/s - -6)/((-2)/60)?
True
Let b be ((-7)/14)/((-2)/120). Suppose 5*w + 13 = 2*f, -10*w + 7*w - 3 = 0. Is f*(196/6 - 20/b) a multiple of 32?
True
Suppose 851 + 1064 = 3*b + 5*u, 4*b + 5*u = 2550. Let h = b + -418. Is 2 a factor of h?
False
Let z(f) = 19*f**2 - 44*f - 1984. Is z(-44) a multiple of 128?
True
Suppose 5*k - 876 = -181. Let u = k - -29. Does 8 divide u?
True
Let j(r) = r**3 + 10*r**2 + 3*r + 29. Suppose -11*x + 23*x + 72 = 0. Is 26 a factor of j(x)?
False
Suppose 4*r + 3*i + 19 = 0, -1 = -3*r - 3*i - 19. Let u be 0*(r + 4/8). Suppose 3*p + 34 - 424 = u. Is 10 a factor of p?
True
Suppose 25*j + 12 = 28*j. Let q(l) = 0*l**3 + l**3 + 5 - 8*l**2 + 9*l**2 - 2 + 2*l. Is q(j) a multiple of 13?
True
Let w = -7012 - -7198. Is w a multiple of 3?
True
Let x be (150/36 - -2) + (-1)/6. Is 39 a factor of -14*x/30*-215?
False
Let z be (-5)/(4 - 141/35). Suppose x - g = z, 4*g + 0*g = -x + 160. Does 10 divide x?
False
Let i = -43 + 54. Suppose -5*w = i*w - 2768. Does 5 divide w?
False
Suppose 76266 = -3100*s + 3119*s. Does 8 divide s?
False
Does 40 divide (-11 - -3 - -6 - 7) + 19828?
False
Let y be (-5572 - 1)/1*2/(-2). Suppose 4*t - y = -j, -5558 = -9*t + 5*t + 2*j. Is 58 a factor of t?
True
Suppose 3*d - 5*p + 4 = 0, -2*p = d - 3*p. Suppose -5*t - 231 = -d*h + 238, 5*t = -2*h - 461. Let g = t + 169. Is g a multiple of 19?
True
Let c = -4020 + 10182. Is c a multiple of 37?
False
Let m = -512 - -1107. Suppose -m*n + 372 = -589*n. Is 2 a factor of n?
True
Suppose 28*u + 12 = 31*u. Let b be 2 + (1 - 8/u). Is 22 a factor of -1 + (-3 - -4)*(88 + b)?
True
Suppose -73*g + 102720 = -49*g. Is g a multiple of 107?
True
Let c = -210 - -215. Suppose -3904 = -c*b - 604. Is 12 a factor of b?
True
Let a = 80 - 74. Suppose 0 = a*o - 414 - 288. Let s = o - -170. Is s a multiple of 33?
False
Let c = -47 - -50. Suppose 0*k - j = -k + 25, c*k - 83 = j. Let t = k - -28. Does 10 divide t?
False
Let n = 2941 - 268. Suppose n - 1037 = 2*o. Is 7 a factor of o?
False
Is 4 a factor of 2937 + 17 + -11 + -4?
False
Is 16 a factor of 8/14 - (-448360)/154?
True
Suppose -5*q = 3*i