(-13). Let d = -130 + v. Is d a multiple of 5?
False
Let o(c) = -6*c**2 - 38*c - 90. Let z(k) = 2*k**2 + 13*k + 30. Let s(d) = -4*o(d) - 11*z(d). Let r be s(-13). Suppose -6*j - 35 = -r. Is 13 a factor of j?
False
Let n be ((-846)/4)/((-39)/78). Let h = n - 200. Does 71 divide h?
False
Suppose -387536 + 74492 = -7*i - 12*i. Does 42 divide i?
False
Let g be (27/54)/((-2)/(-12)). Suppose 0*x = g*x - 1080. Is 40 a factor of x?
True
Let t be (0 - 4/16)*(1 - 1). Suppose 3*r - 7*r + 72 = t. Is r a multiple of 9?
True
Let x be 390/(-117)*(-1 - (-1610)/(-4)). Suppose 0 = 5*y - x - 930. Is y a multiple of 13?
True
Suppose 0 = 5*u + 5*g - 50, -5*g - 95 = -4*u - 19. Suppose -4*w + u + 366 = 0. Is w a multiple of 5?
True
Let o = -475 + 1008. Suppose -14*w + o = -4423. Is w a multiple of 26?
False
Let k(w) = 16*w**2 + 45*w - 17. Does 3 divide k(9)?
False
Let k = -31452 + 55863. Is 184 a factor of k?
False
Let d(x) = 12*x**2 + 20*x - 24. Let j(n) = 58*n + 66. Let m be j(-1). Does 9 divide d(m)?
False
Suppose 2*l = 3*l - 135. Suppose 10 = 2*n - 0, t = 2*n - 73. Let j = l + t. Is 18 a factor of j?
True
Does 33 divide (11/((-308)/(-47789)))/((3 + -2)/4)?
False
Suppose -4*l = 2*i - 14, 2*l + 0*l + 2 = 2*i. Suppose l*q - 5*p - 16 = 7, -5*q + 8 = 4*p. Suppose a + 2*a = -5*r + 76, -2*a + 52 = q*r. Is 22 a factor of a?
True
Suppose 72*a + 51*a - 271707 = 0. Does 7 divide a?
False
Let v = 5709 - 4968. Is 12 a factor of v?
False
Suppose -5*p - 8*j + 160 = -11*j, 5*p + 5*j - 200 = 0. Is (((-1092)/p)/6)/((-2)/100) a multiple of 13?
True
Suppose 4*y + 3238 - 19386 = 5*m, y = -m + 4028. Suppose 18*p = -3*p + y. Is 32 a factor of p?
True
Suppose 0 = -5*f - 4*y + 33, 0 = -4*f + 5*f - 5*y + 5. Let a(b) = 2*b**2 - 16*b + 39. Is a(f) a multiple of 6?
False
Is (8/3)/((-244)/(-2175870)) a multiple of 164?
True
Let n(i) = i**2 + 35*i - 109. Let s be n(-37). Let p = 307 + s. Does 8 divide p?
True
Let p(x) = x**2 + 3*x. Let v be p(-3). Let u = -1181 + 1289. Suppose 5*q = r - u, -3*r - 3*q + v*q + 252 = 0. Is r a multiple of 11?
True
Let w be 4/14*14 - (-8 - -2). Is 18 a factor of -3 - ((-5061)/(-35))/((-2)/w)?
True
Let m(v) = v**2 - 27*v + 10. Does 4 divide m(-31)?
True
Is 100 a factor of (-40)/25 - (-113665)/25?
False
Suppose 5*n + 168 = 3*q - 4*q, 4*n + 4*q = -144. Let u = 24 + n. Is 35 a factor of ((-6)/(-2)*-1)/(u/1002)?
False
Suppose 0 = 2*a - v - 14738, 0 = -4*v + 29 - 21. Does 11 divide a?
True
Let j = 3269 + 5802. Is 10 a factor of j?
False
Does 91 divide (219/(-146))/(2/(-16512))?
False
Let d = -503 - -202. Let v = -93 - d. Does 22 divide v?
False
Suppose 2 = -5*v + 142. Suppose 76*c - 2*f + 15 = 73*c, -2*f = -4*c - 22. Is 1 + -4 - v*(-1 + c) a multiple of 17?
True
Suppose 0 = u + 3*u - 84. Let a = u + -41. Is 22 a factor of (-1330)/a - (-1)/(-2)?
True
Suppose 44539 = -26*b + 373777. Is 7 a factor of b?
True
Let v(o) = 125*o + 88*o - 18 - 24*o + 28*o. Let l be v(4). Suppose 0 = -9*t + 14*t - l. Is t a multiple of 12?
False
Suppose 0 = -5*f + v + 13882, -3*v - 10 - 11 = 0. Does 25 divide f?
True
Let y be (-8)/12*18/(-4). Suppose -y = -0*f - f. Is -4 - ((-612)/f)/3 a multiple of 14?
False
Let d(v) = -13*v**3 + 7*v**2 + 13*v - 3. Let x be 21/70*-2*(-30)/(-6). Is d(x) a multiple of 31?
True
Let j = -1801 + 3021. Does 10 divide j?
True
Suppose -1968 = 40*k - 162879 - 260689. Is k a multiple of 20?
True
Suppose y = -4*j + 2822, 4*j - 457 = -449. Does 21 divide y?
True
Suppose 4*u - 159 = -3*h, -7*u + 5*u - h + 79 = 0. Suppose 2*r - 39 - 59 = 0. Suppose -4*n + r = -u. Does 22 divide n?
True
Let d = 7138 - 10940. Does 31 divide d/(-10) + 2/(-10)?
False
Let x be (((-28)/(-10))/(-7))/((-2)/(-90)). Let d = -13 - x. Suppose -d*f + 3*a + 327 = -a, 3*f - a = 192. Does 31 divide f?
False
Let j be (2/4)/((-1)/2). Let k(z) = -51*z**3 - z**2 + 2*z + 2. Is k(j) a multiple of 39?
False
Is ((-12)/(-16) + 2)/((-2)/(-344)) a multiple of 11?
True
Let w(g) = 85*g**2 - 2*g + 9. Suppose 5*p = z + 13, 20 = 5*p - 2*z + 9. Is 16 a factor of w(p)?
True
Let r = 163 - 158. Suppose -r*u + 1530 = 5*y, -3*y - 5*u = y - 1227. Does 30 divide y?
False
Let o = -9574 + 46240. Does 9 divide o?
True
Suppose 0 = -10*i + 86801 - 16421. Is 46 a factor of i?
True
Let d(y) = -2*y + 22. Let a be d(9). Suppose -1 = -p, a*p - 3*p + 617 = 3*c. Suppose 0 = -6*i + c - 38. Is 16 a factor of i?
False
Suppose -19 + 13 = -3*u. Let p(j) = 17*j**2 + 22*j**u - j - 3*j. Does 14 divide p(2)?
False
Let n be 118/177*3/1. Let x(w) = 2*w**3 + w**2 - 3*w - 5. Let a be x(5). Suppose -5*b - 4*g + a = 0, 0 = n*b + g + g - 102. Is 17 a factor of b?
True
Let c = -16 - -4. Let i be (c/(-7))/(6/28). Suppose i*g - 9*g + 16 = 0. Does 16 divide g?
True
Let m(t) = -2*t**3 - 5*t**2 + 4*t + 4. Suppose -23*x + 5*f = -25*x, 0 = -4*x - 4*f - 12. Is m(x) a multiple of 6?
False
Is 18 a factor of 34/(340/(-50)) + 78701?
True
Is -1395*506/(-92) + -1*(-2)/(-4) a multiple of 64?
False
Let y(k) = -9*k**3 + k - 2. Let m(u) = -10*u**3 - 3. Let b(a) = 2*m(a) - 3*y(a). Let i(o) be the second derivative of b(o). Does 14 divide i(2)?
True
Let b be 10*2*(-10)/(-20). Is 25 a factor of (206/4)/(b - 295/30)?
False
Let j be ((-8)/(-3) - 2)/(16/72). Suppose a + 0*x - 19 = x, 0 = -j*a - 5*x + 57. Does 44 divide (1/(2/(-160)))/(a/(-38))?
False
Let x be (-4)/(-24) - (6 - (-149060)/(-24)). Is 17 a factor of x/35 + 4*1/(-14)?
False
Let u(t) = -5*t - 48. Let i = -121 + 111. Let o be u(i). Is (157/(-2))/(o/(-4)) a multiple of 8?
False
Let g be 120/96 + (-1262)/(-8). Suppose g*d - 1880 = 149*d. Is d a multiple of 7?
False
Suppose -4*g + 180 = 5*h, -3*g + 2*h + 100 = -3*h. Let v = 70 - g. Suppose 4*a + v - 138 = 0. Is 24 a factor of a?
False
Suppose -3*m = q - 10, 7*q - 16 = 2*m + 2*q. Let d be (2/2)/(84/(-44) + m). Let s(g) = 2*g**2 - 11*g + 20. Is s(d) a multiple of 14?
False
Let c be ((-2)/(-8))/(-2 + 18/8). Let g be 88 + -2 + c + -4. Suppose -102 = -4*f + 3*l, -3*f + 4*l = 5*l - g. Is f a multiple of 6?
False
Let u = 256 - 251. Suppose 3*s - d = 943, 10*s - u*d - 935 = 7*s. Does 45 divide s?
True
Let c = 13369 + -10486. Is 3 a factor of c?
True
Let o = 919 - 337. Suppose -3*a + o = 5*i - 451, -a = 5*i - 341. Is a a multiple of 33?
False
Suppose -1080*d - 3*q = -1083*d + 7221, 2*d - 4796 = -4*q. Is 40 a factor of d?
False
Let i = 676 - 264. Suppose -2*x = -3*f - 317, -5*x + 352 + i = 2*f. Is x a multiple of 14?
True
Suppose 12*h = -87 - 633. Does 94 divide 997/6 + 10/h?
False
Is ((-2)/(-1) + 221)/(407/2849) a multiple of 32?
False
Suppose -1340 = -s - 20. Suppose 9*w - s = 5*w. Is w a multiple of 5?
True
Let x(m) = 82*m**2 + 733*m - 4375. Does 88 divide x(6)?
False
Let y(v) = 14*v + 92. Let r be y(0). Is 17 a factor of -50*(5 + r/(-10))?
False
Let v = 11196 - 10097. Is v a multiple of 75?
False
Let g(m) = 3*m - 14. Let c be g(7). Suppose 2*w - 282 = -5*b, 3*w = c*w + 16. Suppose 6*u + b = 394. Is u a multiple of 14?
True
Let s be (9*(-9)/(-108))/((-2)/(-16)). Let u(n) = -5*n - 138. Let a(r) = r + 34. Let f(b) = s*u(b) + 26*a(b). Does 22 divide f(-30)?
True
Suppose 0 = -207*w + 14606874 + 8247199 - 5938447. Is w a multiple of 26?
True
Let n be 3*2/6 - (4 + -311). Let d be n/(-5) + (-3)/(60/8). Is d*12/8*-1 a multiple of 9?
False
Let y(r) = -16*r + 12. Let a(l) = -1. Suppose 0 = 4*s - 3*s - 6. Let w(t) = s*a(t) - y(t). Is 33 a factor of w(10)?
False
Let j(k) = -93*k**2 + 5*k + 1. Let h be j(3). Let n = -304 - h. Is 13 a factor of n?
False
Does 89 divide (7743/58)/(82/20 - 4)?
True
Let d be (-118)/3 + (-9)/(-27). Is 17 a factor of (-12486)/d*1 + (-4)/26?
False
Suppose a - 9 = -3*p - 0*a, 3*a + 9 = 3*p. Suppose -m + 4*g + 4 = 6*g, p*g - 1 = -4*m. Does 11 divide (3 - 5)/m - (-44)/4?
False
Let c(u) = -4*u**2 + 2*u + 18. Let d be c(5). Is 32 a factor of 542/17 - d/612?
True
Let i(q) be the first derivative of 207*q**4 + 2*q**3 - q**2/2 - 61. Is 49 a factor of i(1)?
True
Let x(p) = 84*p**2 + 27*p - 187. Is x(5) a multiple of 8?
True
Suppose 50364 = 32*l - 30*l + 5*j, 0 = -5*l - 2*j + 125868. Is l a multiple of 31?
True
Suppose -8*p - 5875 = -2*l - 3*p, -3*l + 8816 = -4*p. Is l a multiple of 9?
False
Let c(n) = 365*n - 8. Let z(y) = -1. Let m(j) = -c(j) - z(j). Is 17 a factor of m(-1)?
True
Let g(n) = n**2 - 13. Let t be g(4). Suppose -3*h + 5*d = -277, h = -3*h - t*d + 408. Does 11