(4). Suppose v*m - 227 = -p, 4 = -p + h. Does 14 divide m?
True
Let o be 2412/144 - 6/8. Suppose -6264 - 1608 = -o*t. Does 7 divide t?
False
Let v(z) = z - 25. Let i(p) = 4*p - 126. Let n(j) = -3*i(j) + 14*v(j). Let s be n(-14). Suppose 0 = -s*q - 2*q + 48. Is 3 a factor of q?
True
Let m = 10 + -22. Let r be 4 - (3/m + 0)*-4. Let d(f) = f**2 - 2*f + 4. Is 7 a factor of d(r)?
True
Let s = -11039 - -19999. Is 8 a factor of s?
True
Let q(y) = -y**2 - 22*y + 14. Let z(p) = -p**2 + 7*p + 8. Let o be z(-3). Is q(o) a multiple of 7?
True
Suppose -k + 2*v - 5028 = -18517, k + 2*v = 13469. Does 23 divide k?
False
Let b = 251 + -372. Let i = b + 309. Is 47 a factor of i?
True
Suppose 59888 = 12*o - s, -14818 = -4*o + s + 5142. Does 48 divide o?
False
Let r(h) = 70*h - 20 + 68*h + h**3 - 14*h**2 - 147*h. Does 10 divide r(15)?
True
Is 18 a factor of 10725 + -2 + -5 + -3?
False
Suppose -26*x + 6164 + 7460 = 0. Is x - -1 - (7 + -16 + 6) a multiple of 33?
True
Suppose -2*b = -4*n + 2178, -2*n + 2*b - 219 = -1305. Let j = n + -109. Does 23 divide j?
True
Let l be 24/(-11 - -5) + 4. Suppose x - 5*a - 318 = 107, l = -5*x - 2*a + 2044. Is 42 a factor of x?
False
Suppose 14*p - 169*p + 4392000 = 89*p. Does 60 divide p?
True
Suppose -7*h = -3*h - 4. Let v be 3*((-12)/(-9) - h). Let z(q) = 26*q**2 - 5*q + 5. Is z(v) a multiple of 13?
True
Let x = 127093 + -87873. Does 37 divide x?
True
Let g(h) = 3*h**3 - 120*h**2 - 43*h + 83. Is 57 a factor of g(41)?
True
Let v(g) = -g + 2. Let u(h) = 67*h - 113. Let b(a) = u(a) - 4*v(a). Is b(3) a multiple of 9?
False
Suppose -238 + 1078 = -3*t. Let l = 493 + t. Is l a multiple of 11?
False
Suppose 1385694 = 134*a + 67*a. Is a a multiple of 46?
False
Suppose 27*j = 230330 + 378925. Is 5 a factor of j?
True
Let i(n) = 5*n**3 - 15*n**2 + 22*n - 10. Let a(s) = -27*s**3 + 74*s**2 - 110*s + 52. Let r(j) = 2*a(j) + 11*i(j). Does 10 divide r(16)?
True
Let p = 6 + -2. Let f(d) = -d**3 + 8*d**2 - 11*d - 7. Let b be f(4). Suppose p*n + 4*g = 3*n + b, -4*g + 76 = 4*n. Is 13 a factor of n?
False
Let h be (5 - (-138)/(-24))*8. Is 17 a factor of 1267 + (h - -9) + 5?
True
Let a = -2084 + 1420. Let r be (25/20 + (-9)/12)*a. Is (-40)/12*6/(-5) - r a multiple of 15?
False
Let h be -5 + (-457 - 0) - (0 + -2). Let w = h + 480. Does 5 divide w?
True
Let h(w) = -31*w + 13. Let l = -96 + 91. Does 21 divide h(l)?
True
Let x(f) = -46*f + 1268. Is 12 a factor of x(-18)?
False
Let h be -1*52 - (-2 + 3 + -4). Let b(f) = -5*f**2 - 9*f + 14. Let u be b(-6). Is 2 a factor of u/h*(-35)/(-10)?
True
Let b(h) = -182*h**3 + h**2 - 3*h - 4. Suppose -3*g = -11*g - 8. Let w be b(g). Suppose 0 = -4*z - c + 320, 0*z + 5*c = 2*z - w. Does 17 divide z?
False
Suppose -2*o = -9*o - 1603. Let p = -96 - o. Is 21 a factor of p?
False
Let g = 1338 + -91. Suppose 9023 = 12*c + g. Does 12 divide c?
True
Let r = -10726 + 13677. Is 10 a factor of r?
False
Let k = 5998 + -3017. Does 11 divide k?
True
Let l(a) = a**3 + 7*a**2 - 7*a - 1. Let g be l(-8). Let f be (-1)/(15/g)*185. Is 12 a factor of f + -10 + 3/(-1)?
False
Let w be (5/15)/(6/9)*6. Let u be (-790)/(-8) + (-1)/(-4). Suppose s - 5*g = 2*s - u, w*s = 3*g + 225. Is s a multiple of 10?
False
Suppose 4*a - 15 = -a. Suppose 2*v - 57 = -5*n, -n = v + a*v - 15. Is 5 a factor of (-3 - (3 - 8)) + n?
False
Let m be 54/45*(-10)/6*-2. Suppose 15 = -5*u + 10, 0 = -m*r + u + 201. Is r a multiple of 10?
True
Let u(r) = 17*r + 22. Let g(z) = 297*z + 385. Let y(l) = -l**2 + 11*l + 14. Let n be y(-6). Let o(b) = n*u(b) + 5*g(b). Does 42 divide o(-25)?
False
Let r(c) = c**3 + 9*c**2 - 12*c - 15. Let g be r(-10). Suppose -6*b + g*u = -b - 540, -2*u = -b + 111. Is b a multiple of 15?
True
Suppose 3*f + 3*z = -417, f + z = -4*f - 687. Let c be (-1)/3 + 336/36. Let j = c - f. Does 30 divide j?
False
Let t(v) = 70*v - 79*v - 2*v**2 + 1 - 9 - 721*v**3. Is t(-1) a multiple of 48?
True
Let u = 1772 + -1298. Is 79 a factor of u?
True
Suppose -5*m - 2*h = -1573, -10*h = 5*m - 5*h - 1570. Let d = -45 - -20. Does 6 divide 4/10 - m/d?
False
Let y(i) = i**2 - 21*i - 19. Let m be (-15)/(-20)*-2*-16. Does 5 divide y(m)?
False
Let s(o) = 3078*o**2 + 86*o + 198. Is s(-3) a multiple of 102?
True
Suppose -w - 2*q + 1 + 11 = 0, -2*w + 4*q + 32 = 0. Let l(v) be the first derivative of 5*v**2/2 - 7*v + 1. Does 7 divide l(w)?
True
Suppose -34*o - 40 = -39*o. Does 26 divide 12/9*2442/o?
False
Let b = -37786 + 82764. Is b a multiple of 67?
False
Let q(t) = 123*t + 4405. Is q(0) a multiple of 21?
False
Let b = 16966 - -9774. Does 20 divide b?
True
Let s(g) = -110*g + 723. Is 109 a factor of s(-40)?
True
Suppose 5*f - 36476 + 186886 = 5*s, 4*f = 2*s - 60178. Is 11 a factor of s?
False
Suppose -3*s = -0*s - 576. Suppose 16 = -3*o + 4*t, 53*t - 8 = 4*o + 51*t. Suppose 5*g - 383 - s = o. Is g a multiple of 5?
True
Suppose -3*y + 5*q = -4*y + 9, -3*y - 2*q = -14. Suppose 0 = -s - 4*u - 1, y*s + 4*u + 39 - 11 = 0. Is s/3*(-26)/6 a multiple of 13?
True
Let g = 91193 - 64945. Is 49 a factor of g?
False
Suppose -2*b = -b - 4. Suppose -f - 2935 = -4*u, -u - f + 750 = 2*f. Suppose u = b*a + 3*a. Is 21 a factor of a?
True
Suppose -2*r + 61*r - 9184 - 59905 = 0. Does 32 divide r?
False
Let k(t) = 1116*t + 7479. Does 34 divide k(11)?
False
Suppose 37*l = -2*t + 41*l + 2, -4*t + 5*l = -7. Suppose 3*x + 19*q - 181 = 24*q, 2*x = -t*q + 108. Does 27 divide x?
False
Suppose 3*s - 225 = 210. Let x = 216 - s. Let b = 76 - x. Is b even?
False
Let j(d) = d**2 + 8*d + 5. Let p be j(-9). Let f = 19 - p. Suppose 3*l + 108 = f*l. Is l a multiple of 11?
False
Let l = 30911 - 30431. Does 10 divide l?
True
Let k be (23/(-69))/((-2)/24). Suppose t = -5*h + 1198, 2*h + 2*t = 5*t + 486. Suppose -6*y + h = k*y. Does 12 divide y?
True
Let z(a) = -9*a + 23. Let b be z(3). Is 7*((2/(-2) - -28) + b) a multiple of 6?
False
Let g(y) = -3*y**2 + 0*y**3 + 19 - 3*y**3 + 2*y**3 + 0*y**3 + 11*y. Is 69 a factor of g(-10)?
False
Suppose -8*t = 5 - 21. Let b be t/(-4) - (5 + 1270/(-4)). Suppose b = 4*d - 2*d. Is d a multiple of 39?
True
Does 7 divide (-47563 + 19)/(-21) - 3?
True
Suppose -o - 31 = -4*t, 0 = -t + 4*t + 5*o - 6. Let y(q) = q + 9. Is y(t) a multiple of 12?
False
Suppose -2*x + 236 = 48. Suppose -4*a + c + 89 = 0, 4*a - 3*c + c = x. Is a a multiple of 5?
False
Let l(j) = -15*j - 16. Let w be l(-10). Let r = -110 + w. Does 4 divide r?
True
Let k = 1542 + 1603. Does 85 divide k?
True
Let v be -1 + -1047 - ((-5 - -3) + -1). Let g = -695 - v. Suppose -9*f = -2*f - g. Does 14 divide f?
False
Let p(t) = -2281*t + 3908. Is p(-3) a multiple of 12?
False
Suppose 3*u = -3*f + 12, -24 = 8*f - 9*f + 4*u. Suppose -5*c - 3*k = -4 - 10, -4*k = 2*c. Suppose -f*h + 144 = -c*h. Is h a multiple of 18?
True
Suppose -f = -v - 25, -f - 2*v - 16 + 50 = 0. Let j = 36 - f. Suppose -192 = j*w - 10*w. Is 17 a factor of w?
False
Does 14 divide (-9)/15 + (59106/10 - 1)?
False
Suppose -149*d + 11 = -148*d. Suppose s = -2, 6*s = 5*y + d*s - 260. Is y a multiple of 8?
False
Suppose 0 = -8*q + 3*q. Suppose 5*m + o - 790 = q, -286 = -2*m - 2*o + 30. Does 28 divide m?
False
Suppose -6*u - 25 = -u, -v = -2*u + 96. Let i = v + 61. Let g = i + 61. Is 10 a factor of g?
False
Suppose 0 = -6*w + 24*w - 6714. Suppose -k + w = u + 4*k, -2*u = -3*k - 759. Is 41 a factor of u?
False
Let d be -12 - -4 - (-692 - -3). Let c = d - -199. Does 12 divide c?
False
Let i be 3/(58/30 - 2). Suppose -1157 - 2803 = -40*s. Let q = i + s. Does 4 divide q?
False
Suppose 0*v - 3*i = 2*v + 11, -23 = 4*v + 5*i. Let x(p) = -7*p + 20. Let f be x(v). Let j = f - -43. Is 7 a factor of j?
True
Let o = 27604 + -18640. Is o a multiple of 54?
True
Let o(k) = 6*k**3 + 2*k**2 + k - 3. Let p be o(1). Suppose v - 5*i = p*v - 1235, -v - 4*i = -259. Is 8 a factor of v?
False
Suppose 0 = 5*p + o - 126213, 726*p = 725*p - 4*o + 25254. Is p a multiple of 7?
True
Let i be 20/(-3) - (-10)/15. Let d be (i/4)/(-3)*90/9. Suppose 2*p - 51 = r, -d*p + 2*p = 5*r - 44. Does 6 divide p?
False
Let i = -8911 + 13271. Is i a multiple of 109?
True
Suppose -16*g = -19*g + 12573. Does 33 divide g?
True
Let i = 274 - 416. Let v = i + 245. Is 27 a factor of v - 10/(-15)*3?
False
Suppose 242*b + 117*b - 564571 = -129104. Does 5 divide b?
False
Suppose 13*t - 2*u + 960 = 17*t, 4*t = u + 960. Suppo