et c(i) = -634*i + 6168. Is 91 a factor of c(0)?
False
Does 198 divide (-250505)/(-5) - (15 + -8 + 0)?
True
Let g be (7 - 1)/(-4*(-18)/48). Suppose -g*i + 808 = -968. Does 37 divide i?
True
Let y(v) = v**2 + 4*v - 35. Suppose 8*j - 88 = 40. Is 19 a factor of y(j)?
True
Let k(l) = -l**3 + 23*l**2 - 30*l - 52. Is k(20) a multiple of 19?
False
Suppose -2521393 = -217*f + 361037 + 561577. Is 59 a factor of f?
True
Suppose -751*m + 746*m + 281165 = -2*r, -281160 = -5*m + 3*r. Is m a multiple of 69?
True
Let p = 2039 + 1672. Does 24 divide p?
False
Let b = 26512 - 15408. Is b a multiple of 10?
False
Let z(l) = l**2 + 3*l - 7. Let i(v) = -v - 25. Let p be i(-20). Let m be z(p). Suppose -73 = m*u - 226. Is u a multiple of 17?
True
Suppose 0 = 2*p - 156 - 2. Suppose -2*n - 4*d + 154 = 0, -2*n + 3*d - p = -3*n. Suppose 4*c = 3*m + 522, -c = -4*m - 51 - n. Does 44 divide c?
True
Let i(m) = 14*m - 20. Suppose 4*b + 0*b - 4*t + 112 = 0, t = 5. Let c = -13 - b. Is i(c) a multiple of 20?
True
Suppose n + 5 = 14. Suppose -i - 1152 = -n*i. Is 1/((-4)/i*-4) even?
False
Suppose -36 = -10*f - 6. Let n(b) = 0*b + 3*b - b - 11 + b**f + 4*b. Is n(4) a multiple of 11?
True
Suppose -1545 = -5*v - 3*w, 7*v - 4*w - 1545 = 2*v. Let h = v + -279. Is 5 a factor of h?
True
Is (-263013)/27*96/(-32) + 3/9 a multiple of 281?
True
Let b = 70165 - 43877. Does 18 divide b?
False
Let l = 124 + 53. Let m = l - 145. Is 16 a factor of m?
True
Let r(x) = 441*x - 631. Does 65 divide r(6)?
True
Suppose 0 = -5*j + i + 3664, i = 3*j - 0*j - 2200. Is j/(4 - 0) + -10 + 7 a multiple of 12?
True
Let s be (30/12 + -2)/(2/56). Let n = s - 9. Is n/10*-2*-123 a multiple of 13?
False
Let i = 35 - 42. Let g = i + 113. Suppose 0 = -2*l + 4*s + g, 2*l + 4*s - 88 = 2*s. Does 14 divide l?
False
Let v be 2*381 + 3 + -1. Suppose 3*t + 5*z - v = 0, z + 178 - 699 = -2*t. Is t a multiple of 5?
False
Suppose 59*o - 11401 + 899 = 0. Is o even?
True
Let j = -2948 - -4099. Is j a multiple of 21?
False
Suppose -2 = -l, 386 = 5*a - 3*l + l. Suppose -5*q = -3*q - a. Suppose 0 = 7*f + q - 249. Is 17 a factor of f?
False
Suppose 0 = 2*h, 5*h - 1301 - 215 = 4*i. Let t = i + 665. Is 22 a factor of t?
True
Let l(s) = 6*s + 2. Let g be l(1). Suppose -g*w - 8 = -24. Does 10 divide -2*(-114)/(1 + w)?
False
Let s(z) = 637*z - 483. Is 14 a factor of s(2)?
False
Suppose 19*t - 15750 = 9*t - 11*t. Is t a multiple of 75?
True
Let c be (68/(-2))/((-5)/10). Let p = -60 + c. Suppose 1236 = p*i + 4*i. Is i a multiple of 16?
False
Suppose -2*u + 3*v = -219, -3*u - 2*v = 105 - 453. Let f = 369 - u. Does 38 divide f?
False
Let p = -922 + 1646. Is 10 a factor of (-4)/5 + p/5?
False
Let u(f) = -f**2 - 8*f + 27. Let i be u(3). Is 110*i/(-4) + -2 + 4 a multiple of 18?
False
Let j be (-12)/9*(-108)/8. Let z be 9/(j/(-52)) + -2. Does 12 divide (2 - z)*(-36)/(-15)?
True
Suppose -659 - 537 = -4*p - 4*w, -2*p + 568 = -4*w. Let x = -108 + 116. Suppose 74 = x*l - p. Is 10 a factor of l?
False
Suppose -8*j = -6*j - 54. Suppose 0*b + b = -j. Does 11 divide -4 + 3/(-2)*1062/b?
True
Suppose 39*w = 36*w. Suppose -3 = -3*y + 12, 5*v - y = w. Is 12 a factor of 29/145 - (v + (-868)/10)?
False
Suppose q + 2*x - 1708 = x, -3*x = 2*q - 3418. Suppose -w + 3 = 0, 0*w = 2*s - 2*w - q. Is s a multiple of 17?
False
Let b(d) be the second derivative of 13*d**5/10 + d**4/12 + 2*d + 9. Is b(1) a multiple of 22?
False
Let s be (-1)/(-7)*-2 + 148/28. Is 11 a factor of 4*((-1)/s + (-9714)/(-120))?
False
Is 9/12 - (-23)/(276/351) a multiple of 6?
True
Let x(j) = 20*j**2 - 6*j - 67. Is 4 a factor of x(-11)?
False
Suppose -6 = -6*p + 4*p. Suppose p*g = 9*g - 792. Is 33 a factor of g?
True
Is 7 a factor of (-140)/440*-11*(-1)/((-2)/8432)?
True
Suppose -49 = -3*g - 40. Suppose g*s = 12*s - 4095. Is s a multiple of 65?
True
Suppose -246*q + 252*q = 0. Suppose q = 49*r - 68*r + 7524. Does 9 divide r?
True
Suppose 98238 = 16*c - 83451 + 27081. Is 44 a factor of c?
False
Let r(t) = 3*t + 11. Let j(x) = 9*x + 32. Let b(d) = 2*j(d) - 7*r(d). Let m be b(-14). Let f = m - 4. Does 8 divide f?
False
Let n = -79 + 83. Let r be (-16)/n*1 - 3. Does 11 divide (r - -37)*5/3?
False
Let c = -20355 - -22820. Is c even?
False
Let i be (2/(-4))/((-2)/20). Let m be (3/i + -1)/((-15)/1275). Suppose -4*u - 4*l + m = -3*u, l = 4*u - 119. Is u a multiple of 6?
True
Suppose 5*f - 3*f + l = 3, 0 = -5*f - 2*l + 6. Let t(b) = -b + 41. Let s be t(-19). Suppose -a - a + s = f. Does 15 divide a?
True
Let x = 2251 + -1305. Does 54 divide x?
False
Suppose 2*w - 7*w + 70 = 0. Suppose 3*s = -4*s + w. Is 8 a factor of s*(-1)/4 - (-245)/10?
True
Let g = -56 - -64. Suppose g*q + 2597 = 11573. Suppose 5*h - q + 212 = 0. Is h a multiple of 14?
True
Let y be -7 - (4 - (-1 + 6)). Let w be -1 - 318/9 - 2/y. Let m = -12 - w. Is m a multiple of 4?
True
Suppose 30*j + 127 = -173. Is 200 - (-2)/(-4)*j a multiple of 11?
False
Let l(g) = 492*g - 2003. Is 44 a factor of l(29)?
False
Let u(o) be the third derivative of 2*o**5/15 + o**4/2 + 7*o**3/3 - 4*o**2. Let z(y) = -7*y - 110. Let d be z(-15). Is 11 a factor of u(d)?
True
Suppose 14*g = -1301 - 1331. Let p = g - -318. Is p a multiple of 50?
False
Suppose 6*b - 739 = 29. Suppose 4*t + b + 300 = 0. Let a = -13 - t. Does 21 divide a?
False
Let o(x) be the second derivative of x**4/12 + x**3/3 - x**2/2 + 18*x. Let m be o(-3). Suppose -7*s = -m*s - 340. Is s a multiple of 17?
True
Let l = 565 + -284. Suppose -295*u = -l*u - 11074. Is 14 a factor of u?
False
Suppose 8770 = 6*r - 2624. Is r a multiple of 14?
False
Let s = 300 - 292. Is (-2088)/(-20) - s/20 a multiple of 8?
True
Let z = 1612 - 961. Does 2 divide z?
False
Suppose 12915 = 3*o - 3*i, -5*i + 8*i = -3*o + 12891. Is o a multiple of 14?
False
Let x = 99 - 94. Suppose -5*u + x*o - 6*o + 700 = 0, -2*o - 280 = -2*u. Is 20 a factor of u?
True
Suppose 0 = 22*g - 644915 - 336835. Is g a multiple of 85?
True
Let r(t) be the first derivative of 14*t**2 - 57*t - 114. Is r(8) a multiple of 4?
False
Suppose -3*i + 8 = -1. Suppose -18 = u - i. Does 4 divide -4 - 3*290/u?
False
Suppose -o + 4*y - 1946 + 18437 = 0, -33048 = -2*o - 3*y. Does 45 divide o?
True
Let c(g) = -9*g - 13. Let h be c(-1). Let b be -5 - (h - 1)/1. Suppose b = z + 9 - 15. Is z a multiple of 4?
False
Let i be 3/(-27) + 172/9. Suppose -i*q - 5400 = -27*q. Is q a multiple of 46?
False
Suppose -4*z - 3*w + 6255 = 0, -3*z + 5303 = -4*w + 593. Is 29 a factor of z?
True
Suppose -3*b + 256 = -4*s, s + 3*b = -0*s - 64. Let d = s + 72. Is d a multiple of 8?
True
Suppose -4*f + 18348 = 3*y, 0 = 26*f - 27*f. Is y a multiple of 22?
True
Let v = -294 + 306. Is (10/2 + -422)*(-8)/v a multiple of 9?
False
Suppose 5*o - 194 = -6*k + 3*k, 0 = -k + 2*o + 72. Let z be 8/36 - k/(-18). Suppose z*y = 4*t - 200, -2*t + 4*y + 96 = y. Is 27 a factor of t?
True
Suppose -g = 4*d - 72328, 0 = 28*d - 30*d + 5*g + 36208. Does 22 divide d?
True
Suppose -4*o + 21 = 5. Suppose 5*v + 15 = 7*r - 5*r, -5*r - o*v = 12. Suppose r = 8*k - 196 - 156. Is 7 a factor of k?
False
Let q = 179 + 46. Suppose b = -29 - q. Let s = b - -404. Is s a multiple of 30?
True
Let m = 29656 + -17098. Does 96 divide m?
False
Let f(s) = 4*s**2 + 6*s + 4. Let i = -29 - -19. Let l be -3 - ((-2)/(-6) + i/(-6)). Is f(l) a multiple of 37?
True
Let j = 119 - 169. Let g = j - -62. Suppose -470 = -g*f + 1018. Is f a multiple of 17?
False
Let t(q) be the second derivative of -q**5/10 + 5*q**4/12 - 7*q**3/6 + 5*q. Let m be t(2). Is (3/(45/m))/(1/(-138)) a multiple of 14?
False
Let n(v) = 2*v**3 + 2*v**2 - 2*v - 1. Let u be n(2). Suppose q = -4*h + u, -h + 4*q + 34 = 8. Does 4 divide -1*(0 - 1)*h?
False
Let p be (-1 - -19)/(-2 + 4/8). Let a = -7 - p. Suppose 0 = 3*f + a*i - 174, -4*f = -2*f + 5*i - 111. Is f a multiple of 9?
True
Is ((-107565)/(-75))/(4/20) a multiple of 29?
False
Let a = -23 - -24. Is 7 a factor of (-4 - -98) + (0 - a)?
False
Let s(a) = 48*a + 1836. Is s(-22) a multiple of 60?
True
Does 183 divide (4503411/6)/33*(-8)/(-6)?
False
Suppose -3*q + 4*h = -211, 0 = -5*q - 57*h + 52*h + 305. Does 4 divide q?
False
Let x(u) = 5*u + 53. Let q be x(5). Let v = q - 44. Does 2 divide v?
True
Let i(c) = c**3 - 7*c**2 - 16*c + 46. Let n be i(6). Is (-29455)/n - 2/(-4) a multiple of 9?
False
Suppose p = -7*p - 320. Let s