f 49?
False
Let s = -1457 - -2541. Is s a multiple of 21?
False
Let t be 1 + 31 - 2 - 3. Let m = t - 16. Does 7 divide m?
False
Let o be (-9)/((-495)/(-10)) + 31/(-11). Is 9 a factor of 510/8 + o/4?
True
Let j = -87 - -134. Does 10 divide j?
False
Let q = -137 - -134. Is 9 a factor of (46/(-14) - q) + (-3284)/(-28)?
True
Does 4 divide (34 + 3 - -5)/((-18)/(-12))?
True
Let z = 6175 + -3463. Is 11 a factor of z?
False
Let i = -33 + 35. Suppose 0 = -q + 9 - i. Suppose 3*s = q + 77. Is 28 a factor of s?
True
Suppose 0*j - 316 = -4*h + 4*j, -j = -4*h + 313. Let k = -72 + h. Is 3 a factor of k?
True
Let o(i) = -i**2 + 19*i - 20. Suppose 12 = 8*l - 60. Is 10 a factor of o(l)?
True
Let l = 31 + -19. Let o be 4 - l/4 - 33. Is (-39)/2*o/24 a multiple of 24?
False
Suppose -14*y = -9*y. Suppose o - 12 - 13 = y. Does 9 divide o?
False
Suppose 6*r = 15*r - 2646. Is r a multiple of 42?
True
Does 40 divide 240/(-1)*(-315)/135?
True
Suppose -24 = -4*w - c, w + 3*c = -1 + 7. Let h(v) = -v**3 - w*v + 2*v - 5*v - 10 - 6*v**2. Is h(-5) a multiple of 10?
True
Suppose -j + 16*c - 14*c = -67, 5*j + 2*c = 275. Is j a multiple of 4?
False
Suppose 0*d + 5*d = 5. Let y be d/(-4) - (-220)/(-80). Is 13 a factor of (-564)/36*(y + 0)?
False
Suppose -2*z - w = 2*w + 432, 3*z + w = -655. Let u = -93 - z. Does 22 divide u?
False
Suppose -15 = -5*s + f, 5*s - s + 4*f - 12 = 0. Suppose t - 17 - 4 = -s*p, 112 = 4*t - 2*p. Suppose 2*w = 5*w - t. Is 9 a factor of w?
True
Suppose 0 = t - 0*t - 3*r + 5, -5*r + 34 = 2*t. Let q = t - 28. Let x = 11 - q. Is x a multiple of 8?
True
Let i(b) = 2*b**2 + 6*b - 15. Does 52 divide i(7)?
False
Let z = 620 + -411. Suppose 4*o + 2*m - z = o, -5*m = 3*o - 203. Is o a multiple of 7?
False
Suppose 4*o = -0*o - 4*w - 252, 3*w = o + 51. Does 34 divide (1 + 159/(-6))/(9/o)?
True
Let c(o) = -86*o - 10. Let d be c(-5). Suppose -5*u - y + 6*y = -d, 430 = 5*u + 5*y. Is 17 a factor of u?
True
Let y be 2/(-4) - (-88)/16. Let a = y - -23. Does 9 divide a?
False
Let w = 2710 - 1730. Does 28 divide w?
True
Let o(y) be the third derivative of 2/3*y**3 + 0 + 1/120*y**6 + 5/24*y**4 + 0*y + 2/15*y**5 - 3*y**2. Is o(-6) a multiple of 16?
False
Let s(j) = j**2 - 8*j - 20. Let i be 3*1/6*28. Does 16 divide s(i)?
True
Suppose -i = 5, 5*z - i + 164 = 9. Is 11 a factor of (-24)/z - (-282)/8?
False
Is 9 a factor of (-2)/4 + ((-28950)/(-12))/25?
False
Let d = 12 - -4. Is d a multiple of 4?
True
Let h(l) = -170*l - 722. Is h(-10) a multiple of 68?
False
Let b(n) = -n**2 - 9*n - 5. Let u be b(-8). Is u + (-3)/1 + 103 a multiple of 39?
False
Let l(o) = o**2 - 11*o + 8. Let p(s) = 4*s - 1. Let b be p(3). Let c be l(b). Suppose 0 = 4*t - c*t + 144. Is 10 a factor of t?
False
Suppose -2*d = -2*p + 69 + 43, -d - 1 = 0. Does 9 divide ((-396)/p)/(4/(-10))?
True
Suppose -16 = -0*h + 4*h. Let l(r) be the second derivative of -3*r**3 - 6*r**2 + 14*r. Is l(h) a multiple of 15?
True
Let m = -28 - -33. Suppose 54 = 7*w - m*w. Is 3 a factor of w?
True
Suppose o = -3*k + 2, k - 6 - 4 = -5*o. Suppose 3*p - 537 - 351 = -3*u, k = -5*p + 4*u + 1435. Let i = -186 + p. Does 21 divide i?
True
Suppose 253 = -7*s - 629. Let k = s - -215. Does 5 divide k?
False
Suppose m - 10392 = -5*o, -48*o - 2*m = -46*o - 4152. Is o a multiple of 99?
True
Let l(g) = -g**2 + g - 1. Let w(c) = 8*c**2 - 2*c - 8. Let v(q) = 6*l(q) + w(q). Let s be v(-10). Let r = s - 86. Does 30 divide r?
True
Does 39 divide 359 - (2 - (-18)/3)?
True
Let i(s) = -5*s + 14. Is 8 a factor of i(-18)?
True
Let o(j) = 8*j + 26. Let l be o(-4). Let q(f) = f**2 - 11*f - 34. Is q(l) a multiple of 17?
True
Suppose 3*j + 5*o - 63 = -23, -72 = -3*j + 3*o. Is j a multiple of 20?
True
Suppose -25*i = -1953 - 5997. Does 3 divide i?
True
Let u = 4 - -35. Suppose -q + u = 2*i - 15, 5*i + 184 = 3*q. Does 6 divide q?
False
Let j(g) = 1053*g + 49. Does 30 divide j(1)?
False
Is 15 a factor of 0/8 + (-18117)/(-11)?
False
Let n(c) = -c**2 + c - 2. Let s be n(6). Let q = 59 + s. Does 27 divide q?
True
Suppose 5*z - 9 = 4*a, a = -4*z - 6 + 30. Suppose 3*w = -2*w - 20, z*p - 191 = -w. Does 11 divide p?
False
Let j be 3/2 - 4/8. Let r be (2 + j)/(3/2). Suppose 2*w - r*q = 3*q + 51, -5*w + 185 = -q. Is 19 a factor of w?
True
Suppose 317*t - 102 = 311*t. Is 17 a factor of t?
True
Suppose 5*o + 2*v - 285 = 0, 3*o + 97*v - 162 = 94*v. Is o a multiple of 11?
False
Let d = -391 - -717. Does 20 divide d?
False
Let v = 33 - 36. Does 7 divide 36 + v + (-4)/(-2)?
True
Suppose 4*r + 0*r + 16 = 0. Let o(f) = -f. Let a(m) = m**2 - 3*m + 55. Let w(z) = r*o(z) + a(z). Is w(0) a multiple of 17?
False
Let k(x) = x**3 - 17*x**2 - 18*x + 2. Let p be k(18). Suppose -h + 24 = 2*i - 5, 0 = p*i + 4*h - 44. Does 2 divide i?
True
Let g(a) = -a**3 + 5*a**2 + 2*a - 6. Let f be g(5). Suppose 6*v - v = 4*t + 297, 0 = -2*t + f. Is v a multiple of 24?
False
Let c = -469 - -528. Does 5 divide c?
False
Let k(a) be the second derivative of -a**7/2520 - a**6/144 + a**5/15 + a**4/3 + 3*a. Let z(r) be the third derivative of k(r). Does 8 divide z(-5)?
True
Suppose q - 3*c - 11 = 0, -2*c = 6 - 2. Let r be (-12)/10*q/(-2). Suppose -u = -r, -33 = -3*s - 2*u + 3. Does 7 divide s?
False
Suppose -1847 = 7*y - 10163. Is y a multiple of 24?
False
Let b = 963 + -741. Is b a multiple of 6?
True
Let h be 3/(-5) - 51/15. Let a be -3*h/3 + -2. Suppose 5*d - 175 = -a*d. Is d a multiple of 6?
False
Let l(z) = 11*z + 22. Let m(i) = -i. Let w(g) = l(g) + 3*m(g). Does 7 divide w(5)?
False
Suppose 0 - 12 = -4*p. Suppose -p*y + 37 = 5*g - 99, 3*g = -2*y + 90. Is y a multiple of 7?
True
Is 2 - (-2 + -576 + 0) a multiple of 10?
True
Let i = -21 + 41. Let u be 10*((-32)/i + 2). Let l(b) = 4*b - 4. Does 12 divide l(u)?
True
Suppose -2*l - 5*h + 1710 = l, -5*l + h = -2850. Is 16 a factor of l?
False
Let b = -3 - -3. Suppose -4*m + 4 + 4 = b. Suppose -3*o - 5*c + 138 = -2*c, m*o + c = 89. Is o a multiple of 21?
False
Let t = 582 + -235. Suppose 0 = 3*r - 5*r + 4*x + 238, 0 = -3*r - 4*x + t. Is r a multiple of 31?
False
Let n(q) = -29*q + 3. Let w(r) = 57*r - 6. Let x(o) = -11*n(o) - 6*w(o). Is x(-6) a multiple of 42?
False
Let q = -70 + 53. Does 12 divide (5 + -9)*(q + 3)?
False
Let u(m) = m + 1. Let d(k) be the first derivative of 5*k**2 + 4*k - 11. Let g(j) = 3*d(j) - 24*u(j). Does 3 divide g(4)?
True
Let y(b) = 2*b**2 - 12*b - 10. Let f be y(11). Suppose 0 = -h - 5*d + 33, 4*h + 4*d - f = -0*d. Is h even?
False
Let p(v) = v + 3*v**2 + v - 2*v. Is p(-4) a multiple of 12?
True
Let j = 740 + 248. Does 5 divide j?
False
Suppose 22 + 1 = b. Suppose 2*p + 4*g - 244 = 0, p - 114 = -5*g + b. Does 28 divide p?
True
Suppose 9*t = -183 + 6321. Is t a multiple of 18?
False
Let v(j) = 1758*j + 53. Is v(2) a multiple of 43?
True
Suppose 18*a = 14*a - 12. Is (a - -4)/(4*4/1840) a multiple of 13?
False
Suppose 0 = 4*d - 312 - 4. Let g = d - 31. Does 8 divide g?
True
Suppose -5*t + 15 = 5. Suppose -t*m + 8 = -0*m. Suppose 2*o - 8 = a + m, -4*o - 5*a = -52. Does 8 divide o?
True
Let g be (1 - 0/(-5)) + 2*23. Let h(q) = -2*q**3 - 6*q**2 - 7*q. Let s be h(-5). Let j = s - g. Does 29 divide j?
False
Let r = -607 + 2070. Does 19 divide r?
True
Is 28 a factor of -5 - (-102)/21 - 18972/(-14)?
False
Let q be 218/5 + (-2)/(-5). Suppose 2*h + 71 = -3*j - 5, 3*h + q = -2*j. Is 20 a factor of 14/(j/8 - -4)?
False
Let h(i) = -i**3 - i**2 + 3*i - 2. Let a be 1/(-6) - (-253)/(-66). Is h(a) a multiple of 19?
False
Let c(b) = 7*b - 1. Let u be c(-1). Let d = u - -8. Suppose -5*a = -i - 89, 4*a + a - 5*i - 85 = d. Is a a multiple of 6?
True
Suppose -j = 4*j. Suppose 0 = -m + 26 - j. Is 7 a factor of m?
False
Let l(o) = o - 222. Let z be l(0). Is 11 a factor of z/(-5) - (-4)/(-10)?
True
Let q(k) = -k - 6. Let b be q(-6). Suppose -l = -3 - b. Suppose 0 = -l*o + o + 68. Does 17 divide o?
True
Suppose 0 = 5*s - 2*i - 1834, 3*s + i - 1119 = -4*i. Let q = -111 + s. Is 25 a factor of q?
False
Suppose 72*t + 10592 = 77*t - 4*p, -8472 = -4*t + 4*p. Is t a multiple of 22?
False
Suppose -s - 5*m = -5*s - 12, m - 8 = -2*s. Let u(i) = 8*i + 2. Does 6 divide u(s)?
True
Suppose 20*f = 34917 + 43943. Is 22 a factor of f?
False
Suppose 0*o + 2*o - 4*f - 16 = 0, 4*o - 26 = 2*f. Suppose -44 = -q + o. Is 10 a factor of q?
True
Let t = 0 - -23. Let z = t + 12. Is z a m