 m. Does 5 divide i?
True
Suppose 10*u - 4728 = 35202. Is u a multiple of 195?
False
Let s(q) = -686 - 687 + 1425 + 97*q. Is s(4) a multiple of 22?
True
Let n(i) = -2*i**2 + 9*i - 15. Let q be n(7). Let o = -47 - q. Suppose 4*y = o*h - 252, -h - y = 2*h - 252. Is 6 a factor of h?
True
Let w be ((-745)/(-10))/(4/24). Let h = w + -303. Suppose -4*n + h = -n. Is n a multiple of 24?
True
Suppose 8*v - 5*b - 1373 = 6*v, -v - b = -683. Suppose 3*j - j = 4*g + v, 15 = -5*g. Does 50 divide j?
False
Let s = -84 + 84. Suppose s = 15*l - 5124 - 2841. Does 55 divide l?
False
Let k be -10 + (109 - -10) - 10/2. Does 33 divide 10140/k + (-6)/(-4)?
True
Does 12 divide (-3 - 1371)*(-264)/48?
False
Suppose 0 = 20*n - 23*n + 15. Suppose -4*t = -n*t + 318. Is t a multiple of 32?
False
Suppose -51*s + 36*s + 71655 = 0. Does 9 divide s?
False
Suppose -45 = 5*l + 4*t, -2*t + 2 = -3*l - 25. Let r(m) = 63*m - 29. Let s be r(l). Is 37 a factor of 1/(-2) - s/8?
True
Suppose 2948*m = 2994*m - 2519512. Is m a multiple of 12?
False
Let s = 103 - 79. Suppose -s = -7*f - f. Suppose -361 = -2*z - 5*r, 3*z - f*r + 519 = 6*z. Is 12 a factor of z?
True
Let q(z) = -3*z + 16. Let v(f) = -2*f + 15. Let g be v(4). Let w be q(g). Is 36 a factor of 3 + -2 + (-1)/(w/535)?
True
Suppose 5*u = -p + 64, 4*p - 125 = 4*u + 11. Let c = p + -39. Suppose c = 2*y - 118 - 32. Does 25 divide y?
True
Let d = -1224 + 8152. Is 66 a factor of d?
False
Suppose 9*a + 5 = 4*a - 2*q, -6 = 4*a + 2*q. Is 76 - (0 - (3 - (a - 2))) a multiple of 80?
True
Suppose -5*g + r = -14, -6*g = -11*g - 3*r + 18. Let w be 78/g - 1/2*8. Let h = 70 - w. Does 6 divide h?
True
Suppose -20*v + 19*v - 73 = 0. Let n = 277 - v. Is 50 a factor of n?
True
Suppose 2*h - 21*g - 265 = -18*g, 0 = -h - 5*g + 139. Let u = h + -79. Does 11 divide u?
True
Let f(h) = 2*h**3 - 3*h**2 - 3*h + 8. Let q be f(4). Suppose 0 = 3*b + q - 85. Is 1*((-68)/8)/(b/(-18)) a multiple of 7?
False
Let o = 359 + -64. Is o + 44 - (-3 - -1) a multiple of 31?
True
Suppose 3 = 5*t - 17. Suppose -f + 164 = 5*j, 2*j - 11*f - 68 = -12*f. Suppose t*a - j = 2*p, 0 = -0*a - a + 4*p + 15. Is a even?
False
Let u(c) = 354*c**2 - 59*c - 305. Is 52 a factor of u(-5)?
True
Suppose 2*x - 5*j - 2 + 7 = 0, 0 = 5*x - j + 1. Let u be 290/7 - (52/7 - 7). Suppose 71 = 4*y + 5*z, -6*y + 2*y + 5*z + u = x. Is y even?
True
Suppose -89*n = -65*n - 176256. Is n a multiple of 18?
True
Is 26 a factor of 91560/9 - (360/27 + -13)?
False
Suppose -4*x + 6*x + 3*q - 12868 = 0, -3*q = -24. Does 38 divide x?
True
Suppose 24*j - 228242 = -41*j + 16*j. Is j a multiple of 13?
False
Suppose -2*o + 74 + 112 = 0. Suppose 0 = 19*b - 16*b - o. Suppose 47 = 3*i + 4*w, -3*i = -5*i - 3*w + b. Does 2 divide i?
False
Let s be (-2)/(-10)*(-52130)/(-13). Let a = s - 673. Is a a multiple of 14?
False
Let i(f) be the first derivative of f**4/4 - 5*f**3/3 + 9*f**2/2 - 7*f + 12. Let b be i(5). Suppose -j = j - b. Does 12 divide j?
False
Let o(c) = 5*c + 5*c - 13*c**3 + 17*c**3 - 9*c**2 - 14. Let s be o(6). Is 43 a factor of 0 + (-2)/((-4)/s)?
False
Suppose 54260 = 5*y + 2*r, -y - 13*r + 10852 = -14*r. Does 134 divide y?
False
Let p be 96/10 - (-6)/(-10). Suppose -26 = -2*k - 5*c + 5, -3*k = 5*c - 34. Let o = p - k. Does 2 divide o?
True
Suppose -5*a + 5*c - 105 = 0, -2*a + 3*c = -c + 34. Suppose o + 4 = 4*s + 20, -3*s + 1 = -4*o. Let l = o - a. Does 21 divide l?
True
Suppose -4*l + 3445 = 5*q, -54*l = -50*l + 4*q - 3444. Let o = l - 440. Is o a multiple of 15?
True
Suppose 45*b - 29*b = 13408. Suppose -5*v = -4*a + b, -2*v + 424 - 14 = 2*a. Is 23 a factor of a?
True
Let h = 4697 - 2042. Is 59 a factor of h?
True
Let l(p) = -p**3 - 10*p**2 + 16*p + 3. Let q be l(-15). Is (q/(-10 - -4))/(-2) a multiple of 37?
True
Let v = -5192 - -9169. Does 77 divide v?
False
Suppose 5*t = -4*r + 53, 5*t = 2*r + 42 - 1. Suppose -w = t - 4. Is 12 a factor of ((-2)/w + 0)/((-1)/(-145))?
False
Suppose -3*m = m. Suppose 3*n + 23 - 86 = -b, 2*b - 5*n - 137 = m. Is 13 a factor of b?
False
Suppose -36 = -21*f + 17*f. Is 0/(f - 3) + 220 a multiple of 55?
True
Let s(l) = 4*l - 2*l + 1850 + l**3 + 11*l**2 - 1846. Let m = -28 - -19. Is 12 a factor of s(m)?
False
Let f(v) = 3731*v - 3470. Is f(3) a multiple of 59?
False
Suppose 6*t - 9*t - 9 = 5*p, 15 = -2*p - 5*t. Suppose p = 4*l + 22*q - 23*q - 1570, 382 = l + 5*q. Is 29 a factor of l?
False
Let i(m) = -m**2 + 114*m + 2527. Does 34 divide i(0)?
False
Let z(c) = c**3 + 104*c**2 - 184*c - 1855. Is 11 a factor of z(-104)?
True
Let f(t) = 31*t. Let j be f(1). Suppose 0 = z + 3*w + 10, 15 - 1 = -3*z - 5*w. Suppose r + 2*l = 4*l + j, z*r + 2*l - 44 = 0. Does 20 divide r?
False
Let c(o) be the second derivative of o**5/20 - o**4/2 + 4*o**3/3 + 7*o**2/2 + 11*o. Let k be c(4). Suppose 60 = -5*i + k*i. Is i a multiple of 6?
True
Let q = 23911 - 14249. Is q a multiple of 13?
False
Suppose 20*f - 16035 = -3935. Is f a multiple of 5?
True
Let h = 48449 - 36615. Is h a multiple of 9?
False
Suppose -3*x = -4*x + 24. Suppose -w + x = 6. Is (-1310)/(-18) - 0 - (-4)/w a multiple of 11?
False
Suppose -1571 = -3*k + 2*s, 239*k - 241*k - s = -1052. Is k a multiple of 7?
True
Let l(m) = m**3 - m**2 + 3*m + 6. Let s = 19 - 9. Suppose -18 = s*k - 13*k. Is 17 a factor of l(k)?
True
Suppose 5*g - 2*p = 1145, 5*p + 20 = g - 186. Let t = 55 + g. Is t a multiple of 11?
True
Let f(a) = 9*a**2 + 19*a - 16. Is f(-9) a multiple of 97?
False
Let j be (7 + -1)*(-1)/(-2). Let h be 20/(-8)*954/(-15). Suppose 0*m = -4*m + 2*v + 338, -h = -2*m + j*v. Is 19 a factor of m?
False
Let l(g) = 42*g - 465. Is l(64) a multiple of 9?
True
Let u = -57 - 178. Let q(d) = -136*d - 215. Let n be q(-1). Let w = n - u. Is 26 a factor of w?
True
Suppose 175*l - 153*l - 17248 = 0. Is 24 a factor of l?
False
Suppose -5*m + 4*c + c = 15, -4*m = -3*c + 14. Does 29 divide (m + 1190/6)*3?
True
Let a(y) = 97*y**2 + 93*y - 482. Is 46 a factor of a(7)?
True
Suppose 3*x - 5*s - 50 = 0, 5*x - 4*x + 4*s = 11. Let o be 6/10 - (-11697)/105. Suppose x*l + o = 19*l. Is l a multiple of 4?
True
Suppose 68*o + 79599 = -87535 + 694746. Is o a multiple of 10?
False
Let s be (-1 - -7 - 288)*14/(-3). Suppose 440 = d - w, 3*d - 37*w + 32*w - s = 0. Is d a multiple of 34?
True
Is 13 a factor of 20/((-720)/(-156789)) - 2/8?
True
Let f(d) = d**2 - 17*d + 77. Let v be f(9). Suppose -3*o + 67 = o - 3*g, 0 = v*o - g - 70. Is o a multiple of 8?
False
Suppose -54*w + 53*w + 18402 = 4*p, 0 = 2*p + 18. Is 42 a factor of w?
True
Suppose -a = -6*a + 2460. Suppose -25*n + 6433 = -a. Does 15 divide n?
False
Is (-6)/(-1) + (-104 - -4214) a multiple of 11?
False
Let d be 20 + (-1 + 3 - 1). Suppose -3*a = 3*t + a - 121, -154 = -4*t + 2*a. Let c = d + t. Is 15 a factor of c?
True
Suppose -4*l = -3*m - 48393, 5*m + 24898 = 4*l - 23485. Is 115 a factor of l?
False
Let t(f) = -f**3 - 11*f**2 + 8*f - 37. Let q be t(-12). Suppose q*h - 8*h - 888 = 0. Is 27 a factor of h?
False
Suppose -48*a - 62*a + 127*a - 648771 = 0. Is a a multiple of 40?
False
Let p = -2027 + 33630. Does 17 divide p?
True
Suppose -36*h - 2*h = -68324. Suppose 9*l = 722 + h. Does 14 divide l?
True
Let b(m) = 66*m + 29. Let u be b(13). Let s = -61 + u. Is s a multiple of 59?
True
Suppose -31*i = 8*i + 50831 - 546521. Is i a multiple of 62?
True
Suppose -p + 0*c - 9 = 2*c, p - c = 3. Let s(o) = 54*o**2 - 6*o - 5. Does 4 divide s(p)?
False
Suppose -7*r = -13 - 1. Let i be (2 - 34)*r/(-2). Suppose 13*n = i + 163. Is n a multiple of 14?
False
Let u = 22278 + -4137. Is 16 a factor of u?
False
Let s(z) = z**2 - 2*z. Let x be 2 + -6 + (4 - 20)/(-4). Let k be s(x). Is k + 24 + -4 + 2 a multiple of 22?
True
Suppose 1538 = 2*d + 2*w + 2*w, -d + 5*w + 769 = 0. Suppose 34 - d = -21*r. Is 4 a factor of r?
False
Suppose 3*r + 4*i = 16, i + 5 = 2*r - 2*i. Suppose 0 = -4*d + n + 1267, 0 = 3*n + 1 - r. Is 22 a factor of d?
False
Suppose -280 = -v + 1361. Suppose -14*g + 11*g = -v. Suppose 4*m - 313 = m - 2*f, 5*m - 3*f = g. Does 19 divide m?
False
Let r(a) = -a**3 - 16*a**2 - 57*a + 102. Is r(-36) a multiple of 60?
False
Suppose -12*u + 24*u = 240. Let a = 80 + u. Does 4 divide a?
True
Let f = 312 + -306. Suppose -f*w + 74 = -658. Does 8 divide w?
False
Suppose 4*g - 2*l = 17390, -4*l = g - 6*l - 4340. Suppose -23*r = 2*r - g. Is r a