pose -383*g = -395*g - 72. Suppose q - 68 = -3*f - 4*q, -2*q = f - 24. Does 8 divide f + 9/g*-2?
False
Let i = -32 + 20. Let s be 54/i*12/(-27). Does 8 divide 52/(-5 + 5 + s)?
False
Let k = -1998 - -8483. Is 15 a factor of k?
False
Suppose 12 = -310*u + 308*u, 0 = 5*i + 2*u - 42868. Is i a multiple of 67?
True
Suppose -12*r + 13*r = -105. Suppose -6*q + 7*q = 0. Let x = q - r. Does 15 divide x?
True
Suppose p - 126 - 418 = 2*q, -544 = -p - 2*q. Let i = p - 400. Is 10 a factor of i?
False
Suppose -130*u + 111744 = -27054 - 106902. Is u a multiple of 9?
True
Let t(x) = 1361*x + 10. Let z(m) = -1360*m - 11. Let f(n) = -7*t(n) - 6*z(n). Does 47 divide f(-1)?
True
Suppose 0 = -2*c - 0*c + 5*c. Let j(z) be the first derivative of z**4/4 - z**3/3 + z**2/2 + 93*z + 28. Does 33 divide j(c)?
False
Is 5 a factor of (2580/(-3 + 0))/(30 + -32)?
True
Suppose -3*n + 9 = 3*a - 0*a, 2*a - 8 = 0. Is (-18)/144 - (n - 2482/16) a multiple of 6?
True
Is 14 a factor of (3 - 21822)*(80/30 - 3)?
False
Is 3 a factor of -16 - 5*114032/(-80)?
False
Let v = -387 + 390. Suppose 5*a - 3058 + 617 = -2*g, -v = -g. Is 12 a factor of a?
False
Does 47 divide 514740/75 - ((-8)/10)/4*-6?
True
Let q(k) = -k**3 + 15*k**2 - 21*k + 20. Let d be (-49)/14*24/(-7). Is 20 a factor of q(d)?
True
Let b(x) = -14*x - 22. Let r be b(-5). Suppose r*f - 39*f = 648. Is f a multiple of 8?
True
Suppose -4*g + 5*a + 14059 = 0, -4*g + a + 16363 = 2284. Is g a multiple of 7?
True
Let v(b) = 2*b**2 - 17*b + 34. Let u be v(12). Let l = -51 + u. Does 5 divide l?
False
Suppose 5*s - 4*b = 2*s + 1740, s + 3*b = 580. Let i = s + -316. Suppose 74*k = 77*k - i. Is 10 a factor of k?
False
Let j(s) = -s**2 + 12*s + 23. Let o be 1/((3/(-13))/(-3)). Let i be j(o). Suppose 2*z + i = 0, -8*l + 420 = -5*l - 3*z. Is l a multiple of 20?
False
Suppose -7*i + 0*i = 21. Let a be -3 + (i/(-2))/(8/1616). Let c = -140 + a. Does 8 divide c?
True
Let t(l) = -61*l + 28. Let g be t(-3). Suppose g = 4*v + 147. Is 12 a factor of v?
False
Suppose 444581 + 26827 = 74*v - 28*v. Does 14 divide v?
True
Is (-45999)/(-5) + (60/10 - 87/15) a multiple of 40?
True
Let t(o) = -o + 1. Let g(w) = 20*w + 20. Let k be (1/3)/(6/(-18)). Let u(n) = k*g(n) - 4*t(n). Is 22 a factor of u(-7)?
True
Let q = -7 + 49. Let f(p) = -p**2 + 64*p - 145. Is f(q) a multiple of 70?
False
Does 14 divide (-457 - -630)/(2 - (-231)/(-117))?
False
Let g(z) = -z**3 - 2*z**2 - 2*z - 2. Let x be g(-2). Suppose -4*h - 67 = 3*a - 417, -x*a = -4*h - 220. Is a a multiple of 19?
True
Let p(h) = -h**2 + h + 18. Suppose 29 = 5*u - d - 3, 4*d - 12 = 0. Let g be p(u). Let x = -13 - g. Does 4 divide x?
False
Let j(k) = -k**3 + 7*k**2 - 6*k - 5. Let a be j(4). Let n = a - 8. Suppose -r = -n - 17. Does 15 divide r?
False
Suppose 20*s = 33*s - 364. Suppose 2160 = 32*f - s*f. Does 34 divide f?
False
Suppose k = 3*t + 5, 4*t + 5 = k - 0*k. Suppose -18 = -k*f + 2*h, 3*f - 2*h - 11 = -h. Let z(m) = -m**3 + 5*m**2 - m - 10. Does 2 divide z(f)?
True
Suppose -k + 183 = -5*v, 114 = -3*v + 2*k - 0*k. Let o = 39 + v. Suppose r + o*y = 11, -5*r + r + 2*y + 30 = 0. Does 8 divide r?
True
Let h = 2664 - 627. Does 16 divide h?
False
Let t(b) be the third derivative of -b**5/60 + b**4 - 19*b**3/2 + 9*b**2. Is 2 a factor of t(14)?
False
Suppose x - 8 = -2*m - x, 0 = -m - 2*x + 8. Suppose m = 5*v - 20, v - 350 - 122 = -3*k. Is 9 a factor of k?
False
Suppose 115884 = -16*q + 34*q. Suppose -45*k = -q - 7872. Is 22 a factor of k?
False
Suppose 5*r - 20365 = -5*f, -f + 815 + 3278 = -4*r. Is 53 a factor of f?
False
Suppose -25*q - 120 = -37*q. Suppose 6679 = q*k - 21. Is 10 a factor of k?
True
Let j be (-12)/(-15) - (-52)/10. Let d = j - 2. Let z(u) = 3*u**2 - 6*u + 2. Is z(d) a multiple of 5?
False
Let a(b) = -b**2 + 20*b + 11. Let o be a(15). Suppose o = 4*i + g, g = -2*i + 41 + 3. Is 7 a factor of i?
True
Let i be ((-6)/(-8))/(48/128). Suppose -i*c + 675 = -3*n, -4*n = -2*n + 6. Is 9 a factor of c?
True
Let t = 7365 + -2499. Is 12 a factor of t?
False
Let l be (-27 - -29)/(2/3). Is 28 a factor of l/(-2)*-921*140/126?
False
Suppose -l - y = -2, 2*l + 4*y + 10 = 7*l. Let c = 29 + -17. Suppose 2*u + u = 3*x - c, -l*x + 3*u = -8. Is 4 a factor of x?
True
Let h(v) = -v**2 - 17*v - 18. Let c be h(-8). Let r = -52 + c. Suppose 4*a - p = -r*p + 281, -3*p + 213 = 3*a. Does 35 divide a?
True
Let n(r) = 25*r**2 + 173*r - 5776. Is n(26) a multiple of 146?
True
Suppose -768*f = -750*f - 558. Let h = 1 + -1. Let x = f - h. Is x a multiple of 31?
True
Let y(z) = -z - 4. Let c be y(-6). Let m = -506 - -510. Suppose 68 = m*b - c*b. Does 13 divide b?
False
Suppose -2*h + 35 = 3*h - 4*z, 2*z = -h - 7. Suppose 5*b = -25, 5*r = -h*b + 16 - 46. Is (5/r - (-5)/30)*-6 even?
False
Suppose 18 + 27 = 5*f. Suppose -15*k = -f*k - 522. Let p = 73 + k. Is 20 a factor of p?
True
Let x(s) = 2*s + 4. Suppose 0 = -4*t - 5*t + 27. Suppose 9*i - 108 = -t*i. Is x(i) even?
True
Let l be (297/(-45))/(-3 - 27/(-10)). Suppose -l*v + 1120 = -6*v. Does 7 divide v?
True
Let k = 140 + -98. Suppose -9*y - 20493 = -k*y. Is y a multiple of 23?
True
Does 48 divide (-10 + (-380)/(-35))*2520?
True
Suppose 389*s + 97308 = 398*s. Does 106 divide s?
True
Let h(j) = -1098*j - 361. Does 25 divide h(-7)?
True
Suppose -1072*f + 1077*f - 15425 = 3*l, 3*l - 9231 = -3*f. Is 20 a factor of f?
False
Suppose -7*s - s + 960 = 0. Let u = s - 82. Does 6 divide u?
False
Let u = -65 + 59. Let n be (-2 + (-8)/u)/((-1)/30). Is 14 a factor of (-2 - n/(-8))*28?
True
Let r = -2298 - -4898. Is r a multiple of 25?
True
Let n(l) = -l**3 + l + 1. Let w(y) = -4*y**3 + 8*y**2 + 13*y + 11. Let d(f) = 3*n(f) - w(f). Let i be d(8). Let r = 214 + i. Is 25 a factor of r?
False
Let n(u) be the third derivative of u**5/30 + 3*u**4/4 + u**3 + u**2. Suppose -29*o = -31*o - 5*k - 6, 3*k - 64 = 4*o. Is 10 a factor of n(o)?
True
Suppose -20 = -121*k + 123*k. Is (-7)/((-1)/k + (-10)/50) a multiple of 34?
False
Suppose 89*q - 1037290 - 247429 = 72976. Does 125 divide q?
False
Suppose -2*f + 10 = 2*s - 2, -3*s + 16 = f. Suppose -s*h = -349 - 126. Does 23 divide h?
False
Suppose -47*u = -46*u - 1026. Suppose 240*s + u = 243*s. Is s a multiple of 5?
False
Let g(v) = 51*v**2 + 38*v + 1. Let w = -679 + 675. Is 6 a factor of g(w)?
False
Suppose 80*s = -155021 + 505421. Does 3 divide s?
True
Suppose 0 = 4*i + 2*n - 27867 + 5289, -3*n = -i + 5634. Is i a multiple of 33?
True
Let m be -5 - ((-6 - -6) + -6). Is (15/6)/((-2 - m)/(-102)) a multiple of 24?
False
Let n(t) = t**2 + 4*t + 9. Let q be n(0). Does 22 divide 3/q - (-1043)/3?
False
Let t(b) = 53*b**2 - 106*b**2 + 29 - 5 + 54*b**2 - 4*b. Is t(-18) a multiple of 30?
True
Let a(i) = 5*i**2 + 26*i + 100. Let q be a(-4). Let z = 184 - q. Is 18 a factor of z?
True
Let y = -23 + 24. Let a be ((-10)/(-2) - y)*1. Suppose a*k - 200 = -4*k. Is k a multiple of 5?
True
Let r = 126 - 130. Let t(d) = 6*d**3 + 7*d**2 - 2*d - 3. Let l be t(r). Is 5 a factor of ((-5)/(-4))/(-2 - l/132)?
True
Let g(w) = -913*w + 4958. Is g(5) a multiple of 3?
True
Let k = -13973 + 28716. Does 23 divide k?
True
Suppose 11*o = 18 - 7. Let g(z) = -o - 7*z + z - 3*z**2 + 16*z**2 - z**3. Is g(5) a multiple of 13?
True
Suppose -5*l + w + 13 = -1, -5*w = 20. Suppose -3*d - 4*q + 3176 = 0, 0 = 5*d - l*d + q - 3170. Is d a multiple of 22?
True
Suppose -931 = 5*c - 4*v + 1599, -v + 2013 = -4*c. Let u = c + 684. Does 7 divide u?
True
Suppose 11 = c - 0*c. Suppose 4*l + z - 1 = 6*z, 5*l - 3*z - c = 0. Suppose t = p - 9, 5*p - 43 = -t - l. Does 4 divide p?
True
Let h(y) = -6 - 5*y - 41*y**2 + 3 + 2*y**3 - 5 - 3. Does 23 divide h(21)?
False
Let d = 15 + -29. Let n be (1 - -5) + (d - -10). Suppose 0 = -4*j - 0*j - 4, n*l + 3*j = 67. Is l a multiple of 5?
True
Let x = 14356 - 12796. Does 60 divide x?
True
Suppose -4*c - 5*o = -68, 8*o + 4 = 9*o. Is 75 a factor of (304 - -3) + 4*c/(-8)?
False
Let t be 1/((-380)/(-1584) + 1/(-4)). Does 26 divide 0 + (0 - -1) - (39 + t)?
False
Let d(k) = 3*k**2 - 6*k + 3. Let r = -14 - -16. Let u be d(r). Suppose n + 2*x = x + 56, -u*x - 6 = 0. Does 33 divide n?
False
Let i(a) = -3 - 1 + 93*a + 30*a - 3. Is 21 a factor of i(2)?
False
Let i(l) = l**2 - 9*l + 18. Let h be i(7). Suppose 13*k - h*k - 360 = 0. Is 4 a factor of k?
True
Let c(z) = 4*z**2 - 2*z - 3. Let u(