. Suppose -35*g + s*g - 28 = 0. Does 6 divide 3 + 0/(-1) + g + 36?
False
Suppose 4*z - 4*t - 57 = 879, 2*t = -z + 219. Suppose 35 = 8*a - z. Is a a multiple of 7?
False
Let r(q) = -q**3 - 33*q**2 - 45*q - 248. Let x be r(-32). Suppose 5*g + 4*k = 7, -2*g + 5*k = -7 - 9. Suppose 10 = t + c - 31, -4*t + x = g*c. Does 15 divide t?
True
Suppose -5632 = 5*j + 11*j. Let p = -77 - j. Does 22 divide p?
False
Suppose -5*g = -17*g + 21288552. Does 54 divide (-2)/25 + g/1825?
True
Let h be (-44560)/(-11) + (-47)/(-517). Suppose -4721 = -12*d + h. Does 43 divide d?
True
Suppose 31*b - 26*b + 25 = 0. Let p be 0 + (b - (-1 - -2)) + 1. Is (-78)/15 + 5 + (-121)/p a multiple of 12?
True
Let k be (-9731)/(-148) - (-1)/4. Suppose -k*z = -60*z - 192. Is 32 a factor of z?
True
Let x = 48024 - 25243. Is x a multiple of 20?
False
Suppose 6*f - 2*n + 12032 = 11*f, 2*f - 4808 = -2*n. Is 23 a factor of f?
False
Is 6/(-81)*-3 + 306418/387 a multiple of 36?
True
Is 144 a factor of (-3132610)/(-114) - 246/7011?
False
Is ((-16364)/(-3))/(36/54)*(-72)/(-48) a multiple of 16?
False
Let h be ((-96)/(-60))/(2/5). Suppose h*q + 1680 = 8*q. Is q a multiple of 28?
True
Suppose -4*r + 480 + 100 = 0. Is 3*7/(-21) + r a multiple of 14?
False
Let l(t) be the first derivative of -10*t**2 + 8 + 5 - 11*t**2 - 31*t + 9*t**2. Is l(-6) a multiple of 19?
False
Let r(d) = 377*d**2 + 7*d - 13. Let s be r(4). Suppose 4537 + s = 27*n. Is 56 a factor of n?
True
Suppose g = 5*p - 8, 76 = -2*p - 2*g + 84. Suppose 2*s = -f + 40, -2*s - 5*f - 80 = -6*s. Is 8 a factor of 62 + 9/p + (-10)/s?
False
Suppose 0 = -4*h - 2*h + 18. Suppose -a + h*k + 558 = 0, 4*k - 2*k - 568 = -a. Is 21 a factor of a?
False
Suppose 2*n - 2183 = 4*p - 293, 4*p = n - 955. Is 5 a factor of n?
True
Is ((-322567)/735)/(-29) - 4/30 a multiple of 15?
True
Does 77 divide ((-170)/(-595))/(40804/20398 - 2)*28?
False
Suppose 29232 = 2*d - 2*v, -43*d + 44*d = -3*v + 14600. Does 52 divide d?
True
Is 320/(-2720) + (-7790)/(-34) a multiple of 5?
False
Suppose -192 - 80 = 2*l. Let o = l + 388. Is 18 a factor of o?
True
Let l(z) be the second derivative of -2*z**3/3 + 39*z**2 - 45*z. Let n be l(19). Suppose 0*c - 2*c + 136 = 2*x, 4*x = n*c - 106. Is 9 a factor of c?
True
Suppose -5*p + 36 - 1 = 0. Let u be -1*(-12)/3*16. Suppose u = 9*f - p*f. Does 4 divide f?
True
Suppose 2*p + 13990 + 30822 = 4*l, 0 = -3*l - 2*p + 33602. Is l a multiple of 13?
False
Suppose -5*o + 11*o - 1320 = 0. Suppose 5*u - o = 21*q - 16*q, -200 = -4*u - 2*q. Is u a multiple of 12?
True
Suppose 241447 = 35*l + 39077. Is 49 a factor of l?
True
Suppose 12 = -3*r, -4*f - 2*r = 8726 - 63006. Is 174 a factor of f?
True
Let a = -23489 + 23837. Does 3 divide a?
True
Suppose 5*x - 3*t = -166, -3*x = -x + 4*t + 56. Is 9 a factor of (-22)/x*838 + (-10)/80?
True
Suppose 0 = -4*y - 12, 5*k - 5*y + 4*y - 29903 = 0. Is k a multiple of 65?
True
Suppose 5*i + 595 = r, -r + 0*i + 3*i = -595. Let l = r - -14. Is l a multiple of 21?
True
Let b = -8331 - -8594. Does 10 divide b?
False
Suppose -5*f = 4*h + 12, -h + 4*f = -19 + 1. Is 22 a factor of (-6 + 838)/h - -2?
True
Let i = -7174 - -14293. Does 113 divide i?
True
Let l be -2*(-1)/(-9) + 1734/27. Let s = l - -264. Is s a multiple of 58?
False
Suppose -5*t = l + 131, -t + 5*l = l + 22. Let i be (-1*11/(-2))/((-1)/t). Let p = 30 + i. Is 31 a factor of p?
False
Suppose 4*a + 1014 = -4*l - 198, 4*l - 3*a = -1212. Let j = 470 + l. Is 18 a factor of j?
False
Suppose -3*q = -4*o + 5, 4*q - o = -5*o + 40. Suppose d = -3*d + 12. Suppose 77 = d*j + 4*w, -q*j + 2*w + 55 = -56. Is j a multiple of 4?
False
Let t(j) = -8*j - 15. Let o be t(-24). Let c = 927 - o. Does 21 divide c?
False
Suppose 27 = l - 228. Suppose -6*r = -r + l. Does 17 divide r/(-2)*24/6?
True
Let p = 8649 - 8641. Let c(o) = 212*o - 1. Let z be c(1). Suppose 0 = p*q - 4*q - 12, 0 = -4*w - q + z. Is 9 a factor of w?
False
Suppose -23*q + 125043 = 7007. Does 222 divide q?
False
Let i = 7901 - -1135. Is i a multiple of 45?
False
Suppose -23*g = -3*z - 21*g + 764, -264 = -z + 3*g. Suppose 93 + z = 23*v. Is 4 a factor of v?
False
Suppose -11*u - 51437 - 79447 = -50*u. Is 5 a factor of u?
False
Let u(d) = d + 4. Let t(k) = 86*k - 113. Let o(a) = -t(a) + 2*u(a). Is 2 a factor of o(0)?
False
Let q be (-440)/(-6) + 10 + 252/(-27). Is 1036/q*(16 - (1 - 0)) a multiple of 18?
False
Suppose -3*u - 5*o = -1199, 4*o = 4*u + 8*o - 1588. Suppose u + 4157 = 10*q. Is 8 a factor of q?
False
Suppose 5*g - 31 = -36, -3*t + 5*g = -127472. Does 13 divide t?
False
Suppose -x + 9 = 2*x, 3*c + 5*x - 27 = 0. Let l = 250 + -242. Suppose -c*y + l*y = 200. Is 10 a factor of y?
True
Let l = -846 + 1252. Let y = l + 17. Does 8 divide y?
False
Let w(j) be the second derivative of -j**5/20 + j**4/12 + 415*j**2 - j - 23. Is w(0) a multiple of 83?
True
Let f(d) = -319*d**3 + 31*d**2 - 2*d - 37. Is f(-3) a multiple of 155?
False
Let s(d) = d**3 + 10*d**2 - 12*d - 8. Let k be s(-11). Let b be (-33)/(6*k/(-12)). Let f = b + 212. Does 27 divide f?
False
Let o(x) = 5*x**2 + 123*x + 130. Does 12 divide o(17)?
False
Let t be 245/49 + (-2 - -1)*3. Is ((-42)/(-9))/t*54 a multiple of 7?
True
Does 6 divide 5254*(-378)/(-504)*8/3?
False
Suppose 40*f + 31*f - 1334232 = 0. Is f a multiple of 72?
True
Let g = -126 - -120. Let t = 11 + g. Suppose -5*v - 551 = -3*r, 2*r + 3*v = t*v + 366. Is 36 a factor of r?
False
Let p = 405 - 232. Let u = p + 144. Is 13 a factor of u?
False
Suppose -5*s = 2*k - 41, 5*s = -2*k + 7*k - 50. Suppose -4313 = k*a - 14882. Is 32 a factor of a?
False
Suppose 2*r - 5 = -29. Let o be -3*1 - (r - -12). Is ((409 - o)/4)/(0 - -1) a multiple of 14?
False
Suppose 2*r - 6*r + 5*a + 6966 = 0, 2*a = 3*r - 5221. Let m(q) = 135*q + 281. Let o be m(4). Suppose -20*v + r = -o. Is v a multiple of 11?
False
Let f(n) = 9*n**2 - 13*n + 2. Let i be f(1). Is 30 a factor of ((-18)/(-3) - 852)/i?
False
Let b(f) = 13*f + 4. Let a be b(0). Suppose -3*i + 852 = w, -w - a*w + 4298 = -4*i. Is w a multiple of 78?
True
Suppose -3*l - 639 = 5*y + 794, 0 = -5*y + 2*l - 1453. Let m = 32 + -221. Let c = m - y. Is c a multiple of 6?
False
Let b be ((-15)/2)/(33/(-616)). Is 8 a factor of 395*(b/25 - 5)?
False
Suppose 6*t - 5804 = 4*t. Suppose -958 = -8*y - t. Let w = -162 - y. Does 9 divide w?
True
Suppose 2106 = -3*o + 22239. Is 13 a factor of o?
False
Suppose 40320 = 69*i - 9*i. Is i a multiple of 14?
True
Suppose 0 = 1186*z - 1220*z + 29784. Is z a multiple of 30?
False
Let z(j) = j**2 - 6*j - 11. Let f be z(8). Suppose 1540 - 1582 = -7*c. Suppose h - n - 37 = 0, -h + f*n = c*n - 27. Is h a multiple of 16?
True
Let d(h) be the second derivative of h**5/20 - 5*h**4/12 + h**3 - 3*h**2/2 - 5*h. Let j(v) = 2*v - 3. Let a be j(4). Is 4 a factor of d(a)?
False
Let p(k) = 288*k**2 - 2*k. Let y be p(-2). Suppose -3*h - 12*t = -13*t - 1762, 2*h = -4*t + y. Does 10 divide h?
False
Let g(y) = -4*y + 12. Let p be g(3). Suppose -150*h + 152*h - 260 = p. Is 9 a factor of h?
False
Let b = -623 + 3097. Suppose -406 - b = -8*s. Is s a multiple of 15?
True
Let b be (-6)/8*1 - (-6671)/(-28). Let r = b + 356. Let x = r + 151. Is x a multiple of 14?
False
Let x(i) = i**3 + 6*i**2 + 6*i - 9. Let d be x(-4). Let g be 5*((-5 - d) + 54/5). Let m = g - -2. Is 9 a factor of m?
True
Suppose -5*f + n + 181908 = 0, 4*f = n - 65431 + 210957. Is 23 a factor of f?
False
Let a(i) = -i**3 + 5*i**2 - 5*i + 1. Let q be a(2). Suppose 4*d = 3*x + 77, -5*x = d - q*d + 49. Let v = d + -2. Is v a multiple of 3?
True
Let k be -1 + (-9 + 9)/(-2 + -1). Let i be -13*(-1 + -4)*k/(-1). Let h = 47 + i. Does 28 divide h?
True
Let s = 67 - 156. Suppose 4*u = 3*q + 626, -u + 459 = 2*u + 3*q. Let p = s + u. Does 33 divide p?
True
Let j(u) = 2*u - 4. Let d be j(3). Suppose 43 = 4*k - 137. Is d/(-6) + 330/k even?
False
Let l = -894 - -923. Suppose 15*h + 13006 = l*h. Does 29 divide h?
False
Suppose -486633 = -110*b - 33*b + 760327. Is 6 a factor of b?
False
Suppose -6 = 3*c, 215*c = 4*f + 217*c - 3016. Is f a multiple of 31?
False
Suppose -334566 = -26*z - 92*z + 729794. Is z a multiple of 110?
True
Suppose 0 = 516*h - 177*h - 879027. Does 65 divide h?
False
Suppose -4*b + 13 = -3*b. Let z(k) = -k + 12. Let j be z(b). Is 22 a factor of 303/3*j*-1?
False
Let z(a) = -7*a**2 + 10*a + 2. 