) = -i - 14. Let k be d(5). Let z be (12/(-10))/(k/(-1235)). Let a = z + 119. Does 3 divide a?
False
Is 26 a factor of (-9220)/12*(-6396)/205?
True
Suppose -j + 8*j = 399. Suppose -6*k + j = -3*k. Let g = k - -23. Is g a multiple of 6?
True
Let w(g) = -5*g**3 + 35*g**2 + 2*g - 9. Let r be w(7). Suppose 345 - 3825 = -r*i - 5*t, 3*i + 4*t - 2087 = 0. Is i a multiple of 64?
False
Suppose 31*y - 25*y = -2208. Let d = -299 - y. Is d a multiple of 3?
True
Suppose i + h - 17 = -2*i, 2*h - 9 = -i. Suppose -4*s = 5*n + 12, s = 5*n + 17 + i. Suppose 2*w = -s*a + 30, a - 45 = -2*a - 4*w. Is a a multiple of 11?
False
Suppose -17451 = -2*x - 5*o, 17*x - 5*o + 26184 = 20*x. Is x a multiple of 71?
True
Let j(n) = -n**3 + 19*n**2 - 13*n - 33. Suppose -3*a + 113 = 281. Let l be (48/a)/3 + 128/7. Is 19 a factor of j(l)?
True
Let t be (10 - (-2)/(-1)) + -3. Suppose 6*h - 2*h = -5*o - 18, 3*h + t*o = -16. Does 23 divide 47/1 + h + 1?
True
Suppose 1 = 4*f + 13. Let h(l) = -2*l**2 - 11*l - 35. Let s be h(0). Is (686/s)/(f/15) a multiple of 14?
True
Suppose 289 = 2*r - 3*m, -r + 5*r = m + 593. Is r even?
False
Let d(y) be the third derivative of y**6/120 + 2*y**5/15 + y**4/24 + 2*y**3/3 + 83*y**2. Is d(7) a multiple of 37?
False
Suppose 0 = -0*j - 2*j - 2*r + 6, -5*j + 15 = r. Suppose 1 = a, -324 + 1062 = -3*d - j*a. Let b = -111 - d. Is 34 a factor of b?
True
Suppose 5*r - 1117 - 88 = 0. Let i = r - 61. Does 8 divide i?
False
Suppose -159*f = -41*f - 2780316. Does 18 divide f?
True
Is (107 - -3) + (-54)/9 + 6*-1 a multiple of 26?
False
Let s be (-90)/12*(-3 - (-10)/6). Let l be s/3*(-1)/((-14)/21). Suppose r = -g + 28, -7*r - l*g + 116 = -3*r. Is r a multiple of 12?
True
Suppose -1502256 = -190*w - 73*w. Is w a multiple of 21?
True
Let z = -66 + 66. Suppose r = w - 38, z*w = 3*w + r - 134. Does 32 divide w?
False
Suppose 2*a + 5*h = -21, 3 = h + 8. Is (-19517)/(-261) + (0 - a/(-9)) a multiple of 25?
True
Let i be -7 + 36*(-12)/(-18). Suppose -19*y = i*y - 4608. Is y a multiple of 16?
True
Let j(d) = -5*d + 55. Let z be j(10). Suppose 109 = -4*m + 5*m + 3*b, -z*b + 216 = 2*m. Is 18 a factor of m?
False
Let j(x) = 122*x**2 - x + 2. Let a be j(1). Suppose -3*h + 6*h = v + a, -2*v = -h + 241. Does 11 divide v/(-2) + (1 - 4)?
False
Suppose -47*c + 36925 = -25209. Is 15 a factor of c?
False
Let v be (-4)/6*4*2349/(-12). Let i(b) = 4*b**2 - 2*b + 1. Let f be i(1). Suppose d - 4*q - 408 = -f*d, v = 5*d - q. Is 35 a factor of d?
True
Let k(y) = 5*y**2 - 8*y - 13. Let i be k(-4). Suppose 4*d + 2*l - i = 17, 5*l - 150 = -5*d. Does 28 divide d?
True
Let k = -547 - -2039. Let m = k - 824. Is m a multiple of 56?
False
Let b(w) = 12*w**2 - 63*w + 20. Let r = 646 - 638. Is b(r) a multiple of 6?
False
Let h(k) = -150*k - 1557. Is h(-29) a multiple of 21?
True
Let f(u) = u**3 + 47*u**2 - 7*u - 34. Is 16 a factor of f(-18)?
True
Let b = -1789 + 3261. Is 23 a factor of b?
True
Let y(a) = -42*a**3 + 10*a**2 + 14*a + 39 + 25*a**3 - a + 18*a**3. Let f be y(-9). Suppose -f*v = -436 - 341. Does 15 divide v?
False
Suppose 2*t = 4*h + 4, 10 = 5*t - 0*h - h. Suppose -4 = -4*c - 0, -t*c - 439 = -3*r. Is 3 a factor of r?
True
Suppose 55335 = 54*i - 6495. Is i a multiple of 9?
False
Let k be (0 - (-109)/2)*(-32)/(-8). Suppose -4*x = 3*v - 617, -4*v - k = -5*x - 1051. Is v a multiple of 9?
True
Let c = 58266 - 26012. Is 49 a factor of c?
False
Let o(d) = d - 25. Let u(z) = 49. Let t(i) = -11*o(i) - 6*u(i). Is t(-13) a multiple of 14?
False
Let m be (-6)/(-3)*8/(-16). Let l(i) = -141*i + 50. Does 9 divide l(m)?
False
Is 14890134/357 - (-4)/(-68) a multiple of 188?
False
Suppose 14170 = 4*t - 4*i - 14662, 2*i = 3*t - 21629. Does 98 divide t?
False
Let w(b) = 182*b**2 + 23*b + 6. Let v be w(4). Suppose -22*r = -15*r - v. Is r a multiple of 16?
False
Suppose 5*p - 3195 = 5*l, l + 142 = 3*p - 487. Let v = l + 1404. Is 64 a factor of v?
False
Suppose -2*c + 2*t = 44, 11*c - 9*c - 5*t = -59. Let p(j) = j**2 + 11*j + 31. Is p(c) a multiple of 24?
False
Let t(i) = -3*i**3 + 2*i**2 - i. Let y be t(1). Let g be (1/y)/((-7)/42). Suppose 1 = c - g. Is c a multiple of 4?
True
Let w be (-4405)/(-3) - (-70)/42. Suppose 4*p + 20 = 8*p, -2*p = 4*k - w. Is k a multiple of 83?
False
Let y(w) = 76868*w**2 + 746*w + 744. Does 23 divide y(-1)?
True
Let y(v) be the third derivative of -v**6/30 - v**4/3 - 5*v**3/2 + v**2. Let p(c) = c**2 + 65*c + 997. Let z be p(-25). Is 13 a factor of y(z)?
True
Let d(f) = -181*f**3 - 6*f**2 + 51*f + 1. Is 23 a factor of d(-6)?
False
Let j(g) = 2*g**3 + 2*g**2 + 11*g - 23. Let l be j(6). Suppose n - 223 = 2*f - 4*f, -5*f = -n - l. Is f a multiple of 5?
True
Suppose 28*c = 30*c + 8, 2*m - c = 406. Is m a multiple of 6?
False
Is 147 a factor of (20 - 13)*-23*7*30/(-2)?
True
Let t be (-85)/(-2)*2*-1 + -4. Let m = 91 + t. Suppose -7*q = -m*s - 2*q + 57, -107 = -2*s - 5*q. Is s a multiple of 13?
False
Let a be 2 + 1 - 10 - -3. Is 4 + (-8 - a) + 1068 - -2 a multiple of 76?
False
Let i be (12/60)/(-2*4/(-40)). Is i + (-5 - -158) - -7 a multiple of 20?
False
Let i(c) = 78*c - 20 + 9 + 5. Let z be i(3). Suppose 3*u - z = -3*r, 5*r - 72 = 4*r - 3*u. Is r a multiple of 15?
False
Suppose -4*p - 4*p + 88 = 0. Let l = p + 55. Let i = -31 + l. Does 7 divide i?
True
Let n = 2417 - -6666. Is 31 a factor of n?
True
Let u(n) = -n - 15. Let i(k) = -7*k - 74. Let y(c) = -2*i(c) + 11*u(c). Let s be (-21)/(-14) - (-19)/2. Does 16 divide y(s)?
True
Let q(u) = 215*u**2 + u. Let x(j) = 2*j**3 - 2*j**2 + j + 4. Let t be x(-1). Does 12 divide q(t)?
False
Suppose 3*n - 18 = -0*n. Let a = -12409 + 12451. Is n/(-21) + 306/a a multiple of 4?
False
Suppose 7*x + 20 = 17*x. Suppose 6*f = -2*g + 5*f + 1933, x*g - 1939 = f. Is 88 a factor of g?
True
Suppose -w = y - 2*y - 2, 0 = -3*y + 15. Let r be -242 - ((-4)/w + 100/(-70)). Let t = r + 387. Does 21 divide t?
True
Let d be 2/(-2) + 5 + 1. Suppose 7 = k - 3*b, 4*k - 5*k - d*b + 15 = 0. Is k a multiple of 2?
True
Does 178 divide 6/(-10) - -219*(-9312)/(-180)?
False
Let h(a) = -a**3 + 6*a**2 - a + 12. Suppose -b + 20 = -3*d, -8*b + 25 = -6*b - 3*d. Is h(b) a multiple of 8?
True
Suppose -5*o - 2*b = 830, -7*o + 4*b = -8*o - 166. Suppose -y - 5 = 4*z + 6, -4*y - 12 = 0. Does 13 divide o/z + -9 + 4?
True
Let s(v) = 128*v**2 + 4*v + 3. Let j be s(-2). Suppose 510*l = j*l + 264. Is 3 a factor of l?
False
Let o(j) be the first derivative of -j**4/4 + 7*j**3/3 + j**2/2 - 15*j - 27. Let b be o(7). Is 22 a factor of (-1)/4*-167 - 2/b?
False
Let s = -34 + 37. Suppose -209 = -4*t - 2*u - 3*u, -s*u - 123 = -3*t. Suppose -4*x = -4*p + 232, t = p - 3*x - 2. Does 9 divide p?
True
Let q = -215 - -215. Suppose q = -u + 29 + 27. Does 3 divide u?
False
Suppose -26 = 3*r - 32. Suppose -n + 164 = -r*m, -472 = -3*n + 5*m - 4*m. Let u = n - 90. Is 13 a factor of u?
False
Let t = 6556 - 4618. Is 7 a factor of t?
False
Let p = 1702 - -899. Is p a multiple of 18?
False
Let v(j) = -2*j**3 - 4*j**2 + 5*j - 7. Let u be -2 + (-4 - -3) + 5. Suppose -u = 3*t + 13. Is v(t) a multiple of 12?
False
Let y(h) = 2*h**3 + 9*h**2 + 2*h - 19. Let v be y(7). Suppose -11*i - v = -8679. Is i a multiple of 10?
False
Does 16 divide (6/4)/((-273)/(-78)) - (-5734)/14?
False
Let t(m) = -31*m**3 + m**2 - 2. Let i be t(-1). Suppose -h + 10 = -4*s + i, s - 5 = -4*h. Suppose -s*f = -4*f - 53. Does 27 divide f?
False
Let h(y) = -11*y**3 - y + 2. Let q be h(1). Let w be (-56)/q + 2/5. Is 15 a factor of (-791)/(-14) - 3/w?
False
Let s(k) = 15*k**2 + 266*k + 33. Does 7 divide s(-27)?
False
Suppose 9 = 8*x + 9. Suppose u - 74 + 30 = x. Is 8 a factor of u?
False
Suppose 0 = 2*z - 8*z + 48. Suppose -z = 4*l - 8*l. Suppose n = l*f + 36, 0*n - 54 = -n - 4*f. Does 7 divide n?
True
Let y be 1 + -3 - (3 - 7). Suppose 0*h = 8*h - y*h. Suppose -5*s + 39 = d, -5*d + 2*s - s + 65 = h. Is d a multiple of 7?
True
Let w(l) = 42*l - 737. Let y be w(16). Let f(t) = -126*t - 1. Let i be f(-1). Let z = i + y. Does 4 divide z?
True
Suppose 0 = 3*d - 2*z - 1130 - 2743, -3*z - 1291 = -d. Is 22 a factor of d?
False
Suppose 6 = -a + 2*a + 3*j, 0 = 2*j - 2. Let t be 1653/18 + a/18. Suppose 3*p = 7*p - t. Does 10 divide p?
False
Let f = 34 - 28. Let a be (-2)/f + 69/(-9). Let r = 15 + a. Is r a multiple of 5?
False
Suppose 0*m + 5*m + z - 15003 = 0,