 + 4944017. Is 31 a factor of i?
True
Let h be 6/(-21) - 5/(-70)*-10. Does 7 divide (-2)/(-2 - h)*(-5 - -36)?
False
Suppose -t = -3*m + 41, -m + 2*t = -0 - 22. Let a be 1/(4/m)*47/(-3). Let d = -27 - a. Is 3 a factor of d?
False
Suppose -2036*y = -1979*y - 494532. Is y a multiple of 7?
False
Let i(l) = l**3 + 28*l**2 - 38*l - 357. Does 56 divide i(-21)?
True
Suppose 0 = -4*v + 7 + 1. Let g = -8662 + 9287. Suppose -v*j + 7*j = -5*c + g, 3*c = 2*j - 260. Does 17 divide j?
False
Let t(k) = 351*k - 1118. Let g(w) = -11*w + 35. Let b(u) = -65*g(u) - 2*t(u). Is 12 a factor of b(16)?
False
Let v = 83 - -1. Suppose v*l + 2366 = 91*l. Does 15 divide l?
False
Suppose 0 = 103*p - 8096003 + 1333023. Is 49 a factor of p?
True
Let c(y) = 13 + y + 12 + y. Let g be c(-11). Suppose g*h = -5*z + 157, 5*z = z - 4. Does 6 divide h?
True
Let k(m) = m**3 + m**2 + 4*m + 29. Let f be k(0). Let i = f + 58. Does 3 divide i?
True
Suppose -4*i + 4 = -12. Suppose -3*h + i*d - 16 = 0, -d = -5*h + 4*d - 20. Suppose 0 = -h*k - 3*k + 45. Is k a multiple of 6?
False
Let w = 13110 + -5672. Is w a multiple of 12?
False
Let i be 0*(36/8)/(-9). Suppose i = 15*c - 34*c + 361. Is 6 a factor of c?
False
Let p = 114 + -231. Let w = -20 - p. Is 17 a factor of w?
False
Suppose -4*t = 230 + 58. Let j be -1*1 - (-3 + t). Suppose 2*g + f = 4*g - j, -f = g - 37. Is g a multiple of 21?
False
Let k be ((6/4)/1)/(3/(-160)). Let a = -68 - k. Suppose a*d = 18*d - 240. Does 10 divide d?
True
Does 82 divide (-48734)/(-21)*(-1)/(-4)*6?
False
Let f = 55960 - 41076. Is 122 a factor of f?
True
Suppose j = 29242 - 21438. Does 11 divide j?
False
Let h = -2812 + 4652. Is 16 a factor of h?
True
Let t(g) = 300*g - 7970. Does 169 divide t(77)?
False
Suppose u - 842 - 140 = -5*f, u - 982 = -4*f. Is 22 a factor of u?
False
Suppose -4*x = -5*m + 49620, -2*x = x - 15. Suppose 4412 = 12*n - m. Is 88 a factor of n?
False
Let x be (-3)/(-2) - (-9)/(-6). Let o(w) = -w**3 - w**2 - 2*w + 143. Is 3 a factor of o(x)?
False
Suppose -3*o - o = 5*c + 8, 5 = c + 3*o. Let p be (-18)/c - 10/(-20). Suppose p = -5*n, m = -2*n - 2*n + 33. Does 37 divide m?
True
Suppose -5 - 5 = 5*v. Let n(y) = -y**3 - y**2 + 2*y. Let r be n(v). Suppose -u + 100 = -r*u. Is u a multiple of 25?
True
Let u = 22517 + -3038. Is 28 a factor of u?
False
Let h = 83 + -84. Let q be (h - (-143)/4)*4. Suppose 0 = 5*y - q - 151. Is y a multiple of 10?
False
Suppose -7 = -4*c - 4*d - 43, -34 = c - 4*d. Is (-6 + 54)/((-3)/c) a multiple of 8?
True
Suppose -6 - 6 = 3*w. Let b be (-3)/((-2)/(w/(-2))). Suppose -b*v + 160 = -179. Does 15 divide v?
False
Suppose 2*a - 25 = 27. Suppose -a*g - 1442 = -5212. Does 36 divide g?
False
Let b = 7 - -1. Let h be 1*-1*(-6 - b). Suppose -38 + h = -2*n. Does 5 divide n?
False
Is 6 + -8 - 13/((-13)/39095) a multiple of 154?
False
Let x(t) = 3*t**2 + 40*t + 13. Let i be x(-13). Let c(k) = -1. Let u(p) = 5*p - 56. Let n(o) = -5*c(o) - u(o). Does 18 divide n(i)?
False
Let c(d) = 78*d**2 - 3*d + 3. Suppose 72*t + 156 = 75*t. Suppose -1 = t*o - 53*o. Is c(o) a multiple of 12?
False
Suppose 2133*p + 5*b + 16910 = 2137*p, 2*p = 2*b + 8456. Is p a multiple of 45?
True
Suppose 3*n = 5*i - n - 1494, -2*n + 8 = 0. Does 2 divide i?
True
Let o(j) = -j**3 + 27*j - 70 + 25 + 26*j**2 + 27. Let p be o(26). Suppose -127*v = -121*v - p. Does 19 divide v?
True
Let z = -101 + 61. Let o = z + 48. Suppose -700 = -o*i + i. Is i a multiple of 20?
True
Let n = 7214 - 5641. Is n a multiple of 6?
False
Let s(w) = -93*w + 716. Does 4 divide s(-6)?
False
Suppose 4*a + l = -4*l + 21, 4*a + 4*l - 20 = 0. Suppose -5*o + 4*i + 97 - a = 0, o + 3*i = 11. Suppose -9*q = -o*q + 640. Is 11 a factor of q?
False
Let p(i) = -59*i**2 + 65 - 68 + 54*i**2 + i**3 + 7*i. Is 2 a factor of p(6)?
False
Suppose 4*x - 1056 = 4*b, 558*b - 553*b + 5*x = -1250. Suppose -2*s = 2*w + 268, -2*w + w + 262 = -2*s. Let c = s - b. Is c a multiple of 25?
True
Suppose r + 5*r = 486. Let a be 1 + 10/15*r. Let w = 154 - a. Is w a multiple of 13?
False
Suppose -395 + 5490 = 5*i + 5*b, -5*b = -3*i + 3097. Is 47 a factor of i?
False
Let y(f) be the third derivative of 0 - 1/12*f**4 + 37/6*f**3 + 1/60*f**5 + 0*f - 1/120*f**6 - 9*f**2. Is 11 a factor of y(0)?
False
Let p(z) = -4*z + 153. Suppose 4*a + 11 = 3*b, 3*a + 13 = -4*b - 14. Let j(m) = -3*m + 102. Let i(v) = a*p(v) + 8*j(v). Does 8 divide i(0)?
False
Let x = 23 + 19. Suppose 46*a - 24 = x*a. Is 7 a factor of a/2 + -1 + 0 + 11?
False
Let w = 15 - 10. Let u(o) = -o**3 + 4*o**2 + o + 18. Let j be u(w). Does 13 divide (-2920)/(-24) + j/3?
False
Let y be (-6)/(-14)*(5 + 2). Let o be (y/(-12)*-262)/((-6)/(-36)). Suppose 3*j - o = 3*d, d - 405 = -3*j - 2*d. Is j a multiple of 19?
True
Let m(d) = 15*d**2 + 3*d - 60. Let q be m(15). Suppose 5*b - q = 5*k, -b - 5*k + 136 = -554. Does 15 divide b?
True
Is (-5 + 225)/(-4 - 114/(-28)) a multiple of 10?
True
Let i(l) = 35*l**2 - 106*l + 422. Does 9 divide i(4)?
True
Suppose 411 - 351 = 15*v. Suppose -v*n + 2706 - 588 = 2*b, 5*b + n = 5313. Is b a multiple of 37?
False
Let q(b) = 4*b**2 - 16*b + 14. Let j be q(11). Suppose -50 = -6*n + j. Is 9 a factor of n?
False
Let b = -33 + 61. Suppose -w + 0 + b = 0. Does 4 divide w?
True
Let f(p) = -85*p + 4. Let v be f(1). Is 8 a factor of (-4 + v/(-18))/(2/2608)?
False
Suppose -40 = -2*c + 6*c - 2*s, -2*c + 5*s = 36. Let w(a) = -2*a - 14. Let n be w(c). Suppose 4*y - 164 = l, 2*y + n*l - 67 = 5. Is y a multiple of 16?
False
Suppose -2*a + 127776 = -33*n + 36*n, 0 = 2*n + 5*a - 85217. Is 199 a factor of n?
True
Suppose -t = -i + 149, -i - 4*t = i - 316. Let q be (-2 - (3 - (2 + 5)))/(33/726). Suppose -2*l - q = -5*z + i, 4*z - 140 = -4*l. Does 7 divide z?
False
Suppose 14*q - q + 65 = 0. Does 9 divide (-819)/(-15)*((-5)/q + 4)?
False
Let z = -696 + 1534. Suppose -n + 349 + 498 = 5*j, z = 5*j + 4*n. Does 10 divide j?
True
Let u(l) = -3*l - 6. Let v be u(-8). Let f = 19 - v. Suppose 6*o + f = 145. Does 8 divide o?
True
Let d(a) = a**3 + 12*a**2 + 20*a + 10. Let g(s) = s**2 + 9*s + 4. Let x be g(-7). Let j be d(x). Let f = 17 - j. Is f even?
False
Suppose 11*s = 15*s + 320. Let g = 4 - s. Let o = -51 + g. Is 3 a factor of o?
True
Suppose -4*y + 375 = -3*z, 13*z = -2*y + 17*z + 200. Does 23 divide y?
False
Let t(z) be the second derivative of -3*z**3 - 33*z**2 - 146*z. Does 6 divide t(-6)?
True
Let y = 7140 + -4966. Suppose 715 = -t + y. Is t a multiple of 75?
False
Suppose 9*m - 22*m = -39. Suppose -4*d + 2204 = m*w, 4*d + 8*w - 4*w = 2200. Is d a multiple of 12?
False
Suppose 8*x + 2*x = 770. Let g = 144 + x. Let q = 338 - g. Is 13 a factor of q?
True
Let f be 48/(-18)*(-9)/6. Suppose -728 = -f*a + m, 2*a + 4*m = 7*a - 910. Is 14 a factor of a?
True
Suppose 0 = -2*q - 2*f + 424, 22*q - f = 24*q - 429. Does 9 divide q?
False
Suppose 0 = 2*d + 20476 - 52359 - 31537. Does 15 divide d?
True
Let p = -8 - 4. Let l = 48 - p. Does 2 divide (-4)/30 - (-668)/l?
False
Does 55 divide 1 - -4716 - (2 - 9)*-1?
False
Let f(i) = 4*i**2 - 78*i + 3051. Is f(53) a multiple of 21?
False
Let m = 7593 + -3129. Does 6 divide m?
True
Suppose -2*j + 41 - 37 = 0. Suppose -j*g = -0*g - 10. Suppose 3*b + 5*p = g*b - 397, 976 = 5*b + 4*p. Is b a multiple of 30?
False
Suppose -5*u = x + 3 - 1, 10 = -5*x. Suppose u = -3*q + 12 - 0. Suppose -4*y = 3*w - 4*w + q, 2*y + 72 = 4*w. Is 10 a factor of w?
True
Let q = -24 + 25. Suppose -v + k - 135 = 4*v, 3*k + 99 = -3*v. Is 15 a factor of (210/v)/(q/(-12))?
True
Is (-88)/(-20)*(-285)/(-6) a multiple of 2?
False
Suppose -3*w - 5*k = 13, 1 - 16 = 3*k. Let z(q) = 8*q - 12. Does 2 divide z(w)?
True
Suppose -5*z = -185 - 265. Suppose z = 3*q + 3*l, -6*l - 25 = -l. Suppose -4*u - 2*t + 72 = 0, -5*u = 3*t - q - 57. Is u a multiple of 8?
True
Suppose -4*k + 2*k - 116 = 0. Suppose b = 3*z + 76 + 52, 2*z = 2*b - 236. Let l = b + k. Is 11 a factor of l?
True
Let n = -9 - -11. Let p be -1 - 13/(-3)*-12*n. Let x = p - -157. Does 14 divide x?
False
Suppose 0 = 2*o - 5*o - z + 1262, -3*o = -3*z - 1254. Suppose -5*s + 700 = -4*m, -5*s = -2*s + 3*m - o. Does 7 divide s?
True
Let j(r) = -124*r - 605. Is 5 a factor of j(-15)?
True
Suppose -959 = 3*m - 4*m. Suppose 275 = -9*i + m. Suppose i = 8*z - 180. Is z a multiple of 5?
False
Let k(n) = 5436*n**3 + 6*n**2 - 5*n + 