
Let y = 1043 + -1040. Suppose 0*h - 95 = -5*h. Suppose -y*t = -h*t + 624. Does 7 divide t?
False
Let i = 37 + 13. Let t = i - 47. Suppose 167 = t*b + 4*v, -2*v = -3*b - b + 208. Is 15 a factor of b?
False
Let m(z) = 7*z**2 - 50*z + 148. Is 4 a factor of m(-27)?
False
Suppose 0 = -4*m - 5*b + 21, 0*m - 2*b = 3*m - 14. Suppose u + 180 = m*i + 2*u, -4*u = 16. Let p = 190 - i. Does 24 divide p?
True
Let a be (-4)/32 - (-15524)/32. Suppose -3*i + 2463 = 3*x, 5*x + a = -i + 4570. Suppose 3*t + 3*t - x = 0. Is 35 a factor of t?
False
Suppose -5*c - 212*a + 49524 = -209*a, -c - 5*a + 9940 = 0. Is 20 a factor of c?
True
Let v(l) = -l**2 + 16*l + 1. Let t be v(16). Let i be 0 + t + -1 + 9/3. Suppose d + 96 = i*d. Does 6 divide d?
True
Let j(g) = 15*g**3 + 4 + 31*g**2 - 19 - 2*g + 26*g**2 + 26*g**2 - 74*g**2. Is 60 a factor of j(4)?
False
Suppose 3*v + w = 488, 5*v = v + 2*w + 634. Suppose v + 62 = y. Let l = y + -157. Is 22 a factor of l?
True
Suppose -3*j + 26 = -j. Let m = j + 2. Suppose -m = -5*k, -5*r = -4*k - 22 - 166. Is 10 a factor of r?
True
Let u = -32 + 33. Let i = 2 + -29. Is u/((-1 + 0)*9/i) a multiple of 3?
True
Let l be ((-40)/12)/(1/(-6)*1). Let q = -12 + l. Suppose -q*w + 3*w = -620. Is 23 a factor of w?
False
Let x(n) = -n**3 - 8*n**2 + 7*n - 18. Let s be x(-9). Suppose 0*u + 5*u + 45 = s. Let y(h) = h**2 + 7*h + 13. Is 9 a factor of y(u)?
False
Let a = 45413 - 25040. Does 82 divide a?
False
Suppose -22*l - 3333492 = -43*l - 66*l. Is 25 a factor of l?
False
Let s(t) = -t**2 - 15*t + 22. Let l be s(-16). Let c be 28/l*(-3)/(-2). Let n(o) = o**2 - o - 6. Does 4 divide n(c)?
True
Let s(r) = -4*r**2 - 41*r - 6. Let y be s(-10). Suppose -313 = -5*q - 2*p, y*q + 6*p = 2*p + 260. Is 24 a factor of q?
False
Let l = -1132 - -598. Let g be -1 - l/15 - (-4)/10. Let i = g - -94. Does 18 divide i?
False
Let g = -2 - -5. Suppose -2 = -c + 5*u, -c - 3*u + 19 - 1 = 0. Suppose 10*y - 614 = -4*n + c*y, -3*n = g*y - 474. Is n a multiple of 51?
False
Let a be 149/1*-1 - (-118)/(-59). Let y = 277 + a. Is y even?
True
Suppose d + 2*t = 4*d - 2, 0 = -2*d + 3*t - 7. Let o be (-12)/9*(-6)/d. Suppose -2*p = z - 0*z - 91, -p - o = 0. Does 20 divide z?
False
Suppose -5*g = -2*s - 7*g + 63436, -4*s = -3*g - 126872. Is s a multiple of 123?
False
Suppose -73398 = -4*a + 5*m, -5*a - 56*m + 91762 = -55*m. Is a a multiple of 148?
True
Let d(f) = -f**3 + 14*f**2 + 4*f + 13. Let r = 428 - 421. Is d(r) a multiple of 26?
False
Let s be -30*(-6)/9 - (4 + 0). Suppose s*p - 12*p = 1028. Is 3 a factor of p?
False
Does 13 divide 3126/(4 + 14 - 15)?
False
Let s(n) be the second derivative of -n**4/4 + 7*n**3/3 + n**2/2 - 15*n. Let p be s(5). Let k(y) = 2*y**2 - 2*y + 7. Does 6 divide k(p)?
False
Suppose 2*q + 4*z + 6 = 2*z, 0 = q - 4*z - 22. Suppose -3*i - 4 = q, u - 16 = 5*i. Is 22 a factor of (-9)/((-27)/u)*11?
True
Let h be ((-16)/6 + 2)*-3. Suppose -h*c + 4 = -6. Suppose -10*d + 200 = -c*d. Is d a multiple of 20?
True
Is 40 a factor of (-64)/(-6)*551955/620?
False
Suppose 0 = -5*y - 4*j - 472, -5*y + 5*j = 2*j + 486. Is y/128 + 187/4 a multiple of 12?
False
Let j(x) = -x**3 + 16*x**2 - 41*x + 26. Let i be j(13). Let f be 24/4*(-1)/(-2). Suppose -f*t + 41 + 7 = i. Is t a multiple of 15?
False
Let l(y) = -32 + 6*y**2 + 11*y**2 - 18*y + 16*y - 16*y**2. Is 15 a factor of l(-7)?
False
Suppose 3*u - 5*r = -59, 0*u - 3*u + 3*r - 51 = 0. Let l(b) be the third derivative of -b**6/120 - b**5/5 + 7*b**4/12 + 7*b**3/2 + 9*b**2. Does 4 divide l(u)?
True
Let o(d) = 279*d - 616. Is 13 a factor of o(29)?
True
Let i(a) = -2*a - 10. Suppose -4 = t + 2. Let c be i(t). Suppose -u - c*u = -96. Is u a multiple of 12?
False
Let c(a) = 15*a - 5. Let i be c(-2). Let j = 33 + i. Let r(k) = 6*k**2 - 4*k - 5. Is 27 a factor of r(j)?
True
Let k(m) = -60*m + 1536. Is 8 a factor of k(-38)?
True
Suppose i = -12 + 56. Let f be -13 - 1/(i/(-12) - -4). Is ((-27)/2 + 6)/(6/f) a multiple of 5?
True
Suppose 29 + 263 = -4*i. Let z(b) = 5*b**2 + 2*b + 13. Let o be z(-5). Let s = i + o. Is s a multiple of 8?
False
Does 16 divide 2977480/480 - (-1)/(-12)?
False
Let l = -1501 - -837. Let h = -432 - l. Is h a multiple of 5?
False
Suppose q = -3*n - 17 - 7, 5*n = 2*q - 7. Let y(h) = -89*h - 32. Is y(q) a multiple of 91?
False
Suppose 87*o - 37*o - 277150 = 0. Is o a multiple of 3?
False
Let s be (-8)/(-18) - 98/(-63). Is 33 a factor of (-27)/((-6 + 384/66)/s)?
True
Is -7 + (-2 - 1) + 1598 a multiple of 79?
False
Let w = -2517 - -3849. Does 17 divide w?
False
Let h = 2511 - 1377. Does 81 divide h?
True
Let c(o) = 7*o**3 + 9*o**2 - 5*o. Let d(f) = -15*f**3 - 19*f**2 + 11*f. Let l(s) = -13*c(s) - 6*d(s). Let k be l(-3). Suppose z = k*z - 38. Is 6 a factor of z?
False
Suppose -204*v + 208*v = 8. Let h(r) = -r**2 - 7*r + 4. Let k be h(-6). Suppose b = v + k. Is b a multiple of 10?
False
Suppose -999932 - 327125 = -33*l - 64*l. Is 16 a factor of l?
False
Let k(g) = -4*g**2 - 144*g + 37. Let o be k(-31). Let c = -330 + o. Is 20 a factor of c?
False
Let a = -54 - -180. Let n be ((-120)/(-14))/((-618)/a + 5). Let b = n + -79. Does 3 divide b?
False
Suppose -61*p = -64*p + 195. Suppose -8*w + 399 + p = 0. Is 21 a factor of w?
False
Suppose -2420 = -17*a + 73371 + 44025. Is a a multiple of 16?
False
Suppose -493 = 3*d + g, 5*d = -3*g - 335 - 492. Let v = d + 234. Let c = v + -21. Does 25 divide c?
True
Suppose 4*b - 5*p = 7160 + 9380, -5*b + 2*p = -20692. Is b a multiple of 230?
True
Suppose 3*x = -3*q + q + 23, -3*q - 6 = 0. Suppose 10 = x*b - 8*b. Does 4 divide b/5 + 3 + 7?
True
Let h = 50 - 57. Is (2925/55 - h) + 2/(-11) a multiple of 10?
True
Let b(y) = 23*y**2 + 2*y. Let o be ((-2)/(-2))/(26/416). Suppose 2*u - 7*u = 5*x - 15, -4*x + 3*u - o = 0. Is 2 a factor of b(x)?
False
Suppose 4*p = 2*p + 12. Suppose -12*z = -10*z - p. Suppose -z*y + 421 = 169. Is 21 a factor of y?
True
Suppose 0 = -r - 4*k + 21, -3 - 6 = -5*r + 4*k. Suppose 3*z - r*m = 257 + 14, -4*z + 2*m + 380 = 0. Is z a multiple of 3?
False
Let x be 2/8 - 31/(-4). Suppose 0 = -2*p + 3*p - x. Suppose -p*a + 4*a = -300. Is a a multiple of 25?
True
Suppose 15431 = 2*o - u, 0 = -11*o + 13*o + 3*u - 15435. Is o a multiple of 12?
True
Suppose 3*k = -0*k + 2*y + 14, 6 = 3*y. Suppose 3*u = -4*s + 6, -19 = -k*s + 3*s + 5*u. Does 8 divide 1/(s/153) + 2?
False
Is (((-1008)/(-27))/28)/((-2)/(-723) + 0) a multiple of 8?
False
Let g(l) = 2*l + 16. Suppose 0 = 8*c - 12*c + 20. Suppose c*o = -4*u + 69, 8 = o + 3. Is 21 a factor of g(u)?
False
Let b(w) = w**3 - 12*w + 21. Let k(m) = -m**3 + 4*m**2 + 2*m. Let l be k(4). Does 43 divide b(l)?
False
Let l = 31 + -30. Let k be (7 - 22)*l/(-3). Suppose 3*s + b = -2*b + 57, 3*s - k*b - 73 = 0. Does 5 divide s?
False
Suppose -4 = -3*a - 2*j, 3*j - 7*j = -5*a - 8. Suppose 6*u - 7*u + x + 141 = a, -u = 5*x - 141. Is 24 a factor of u?
False
Let j(n) = -10*n + 45. Let a be j(4). Suppose 3*v - 6*s - 628 = -2*s, 0 = -a*v + 2*s + 1070. Does 24 divide v?
True
Let t = -31 - -33. Suppose -t*b - 5*h + 474 = -102, -612 = -2*b + 4*h. Suppose 94 = -4*j + b. Is j a multiple of 6?
False
Suppose 0 = -3*h - 4*x + 25, 0 = h - 6*h + x + 11. Let u be (5 + h)/4*(52 - 1). Suppose 2*k + 32 = u. Does 9 divide k?
False
Let s(r) = 9*r + 169. Let b be s(-17). Is (2984/b + 0)*(0 + 2) a multiple of 70?
False
Let l = 1643 + -931. Suppose -2*v = 2*o - 286, 0*o - 2*o + l = 5*v. Let d = -25 + v. Is 13 a factor of d?
True
Suppose -5*v + 34 = 3*d, -10*d + 8*d + 6 = 0. Suppose c = -27*h + 30*h - 4256, -v*h + 7090 = -5*c. Is h a multiple of 89?
False
Suppose -162*x = -157*x + 4500. Let k = x - -1932. Is k a multiple of 43?
True
Suppose 2*r = -r + 4*g + 2490, r - 5*g = 830. Let t = r - 400. Is 10 a factor of t?
True
Suppose 3*z + 784 = -n, 2*z + 9*n + 524 = 7*n. Let y = 363 + z. Does 17 divide y?
True
Let p = 155 - -21. Suppose -3986 = -10*n - p. Is n a multiple of 35?
False
Let i be -48 + 54 - 2*3. Suppose i*l = -4*l + 16. Is l a multiple of 4?
True
Let o = 27 + -23. Let l be (-1 - (-2 - -13)) + o. Let r(v) = v**2 + 3*v - 19. Does 5 divide r(l)?
False
Suppose -2*y - 363 = -3*y. Let a = y - 209. Is a a multiple of 22?
True
Suppose 5*k - 15 = 0, -5*n = -n + 2*k - 42. Suppose -g = 3*c - n, -2*g = 4*c + g - 17. Suppose -z + 3*v = c*v - 112, -z + 100 = -4*v. Is 29 a factor of