pose -g*i + 252 = u*i. Is i a multiple of 27?
False
Let j be (-1008)/(-14) - (0 + (1 - -1)). Let z = j + -53. Suppose 4*r + 1 - z = 0, -2*h - 2*r = -134. Does 21 divide h?
True
Let v be 185 + (13 + -1)/4. Let l = 389 - v. Does 44 divide l?
False
Suppose -5*w + 351775 = 9*h, 0 = 23*h - 25*h + 5*w + 78215. Is h a multiple of 10?
True
Is (-55 + -41)*6/(-9)*10 a multiple of 8?
True
Let f = -6107 - -15326. Is f a multiple of 7?
True
Let u(r) = 0 + r**3 + 4*r + 4 + 5 - 10*r**2. Let b = 3369 - 3359. Does 3 divide u(b)?
False
Let m = -172 + 52. Let t = -113 - m. Is t a multiple of 4?
False
Suppose -2*q - 3*d = 1 - 0, -q = -4*d - 16. Let g be (4/2 - -16) + q. Let n = g - -111. Is 23 a factor of n?
False
Let w = -257 - -254. Is 0 - w - (-100)/(-20) - -317 a multiple of 23?
False
Suppose 4 = 36*x + 40. Let t(l) = 341*l**2 - 6*l - 5. Is t(x) a multiple of 9?
True
Let m be (-15)/2 - (-6)/12. Let n be 117 + 4 + m + 5. Let y = -64 + n. Does 7 divide y?
False
Suppose g - 5*h + h = 21, h = -5. Suppose -20*w - g = -3221. Is 34 a factor of w?
False
Let f(w) be the third derivative of w**5/60 - w**4/12 - 4*w**3/3 - 15*w**2 + 2*w. Is f(-16) a multiple of 8?
True
Let b = -58 + 34. Is 481 + b/(28/7) a multiple of 21?
False
Suppose -2*l = 4*i - 25568, -4*l + 27514 = 4*i + 1946. Is i a multiple of 188?
True
Let a = -283 + 298. Suppose 0 = -33*b + a*b + 144. Does 2 divide b?
True
Let i(k) = k + 7. Let p be i(-7). Let b(m) = -6*m + 53. Let q be b(p). Suppose -4*r = 5*c - 10*c - 168, 0 = -r + 4*c + q. Is 12 a factor of r?
False
Suppose 2*p = -2*i - 3*p + 30, 0 = -i - 2*p + 13. Suppose i*q = 3*v + 51 + 77, 4*q + 5*v = 95. Does 2 divide q?
False
Let t(k) = -k**2 - 5*k + 4. Let u be t(-5). Let s(f) = -7*f**2 + 1082*f - 8*f**2 + 17*f**2 - 1085*f. Is s(u) a multiple of 5?
True
Suppose 3*s + 347 = j - 1716, -5*s - j - 3449 = 0. Let m = 1413 + s. Does 27 divide m?
False
Let n = -1650 + 3937. Let r = n + -1624. Does 51 divide r?
True
Suppose -3*w - 220 + 415 = 0. Let o = 86 - w. Is o even?
False
Let f = 1 - 3. Suppose 4*w - 11192 = 17*s - 15*s, 5*s + w + 28024 = 0. Is 19 a factor of f/(-9) - s/54?
False
Does 3 divide 70 + 0 + (-1 - (-3 + 2 + 3))?
False
Let a be (-6)/33 - (1 + 369/(-33)). Suppose 4*p = -r - a, -3 + 5 = -2*r - 2*p. Suppose -u + 4*z = -138, r*z - z = -u + 138. Is 8 a factor of u?
False
Suppose -2*u - 432 = -5*v, v + 4*u - 94 - 10 = 0. Let a = v + -4. Is a a multiple of 8?
False
Let j(l) = -l**2 - 103*l + 6363. Is 21 a factor of j(0)?
True
Let c(r) = 4*r**2 - r - 2 + 0 - 9*r**2 + 4*r**2. Let s be c(-2). Let i(n) = n**3 + 6*n**2 + 4*n - 2. Does 14 divide i(s)?
True
Let i = 1 + -1. Let p be (-21366)/(-45) - (-3)/15. Suppose -3*m + z + 184 = -m, 5*m + 5*z - p = i. Does 31 divide m?
True
Let j(n) = 9*n**2 - 798*n + 17778. Is j(22) a multiple of 6?
True
Let y = 10757 - 3398. Does 77 divide y?
False
Let h = 8674 - 5812. Does 27 divide h?
True
Let w = -187 - -189. Does 13 divide (w/8*-6 + 2)*230?
False
Let f = -46 - -49. Suppose -6 = -f*z - 0*z. Suppose 0 = -z*w - 8 + 74. Is 17 a factor of w?
False
Is 10 a factor of 30/255 - 216164/(-68)?
False
Suppose 0*p + 3*p - 15 = 0. Suppose 0 = 114*f - 117*f - 2*b, 7 = f + 3*b. Is f + (53 - -5) - (p + -2) a multiple of 48?
False
Let k(l) = l**3 + 6*l**2 - 7*l + 6. Let h be k(-7). Let r(d) = 155*d - 10. Is 8 a factor of r(h)?
True
Let v = 18906 + -5181. Does 15 divide v?
True
Suppose -7*n - 41921 + 55633 = -89104. Is n a multiple of 13?
False
Let x = 45 - 46. Let n be x*((-320)/(-4) - 1). Let p = n - -169. Does 18 divide p?
True
Let p(f) = 4*f - 64. Let n be p(11). Is (-10)/(-3)*((-788)/n + -7) a multiple of 9?
True
Let b(u) = 14*u - 52. Let m be b(4). Suppose 0 = i - m*i + 975. Does 13 divide i?
True
Suppose -43*u - 26719 = -473317. Is 18 a factor of u?
True
Let f = 11066 - 11071. Suppose -277 = b - 2*b. Is 19 a factor of (3 - -1)/(f - b/(-55))?
False
Suppose -2*p = -3*a - 5*p + 12, 5*a - 4 = 3*p. Let k be (226 + a)*(-2 + 1). Does 23 divide k/(-5) + 24/60?
True
Let t be (-2)/(9/(27/(-2))). Let p(r) = 58*r**2 + 15*r - 7. Is 24 a factor of p(t)?
False
Let b(z) = z**3 - 28*z**2 - 29*z + 41. Let v be b(29). Suppose 0 = 3*d - 15, -5*d = 5*a - a - v. Is a a multiple of 2?
True
Suppose -320*r + 323*r - 570 = 0. Let u = 5 + r. Is u a multiple of 11?
False
Suppose -2*n + 0*b - 2*b - 2 = 0, -3*b - 23 = -2*n. Suppose -3*c - 4*r = 121, -2*r - 37 - 141 = n*c. Let o = c + 102. Is 11 a factor of o?
True
Let o(n) = 76*n + 4. Let u be o(3). Suppose c = -5*l + u + 158, 5*l - 375 = 2*c. Suppose -l = -p - 7. Does 36 divide p?
False
Suppose 7*k + 3266 - 1012 = 0. Suppose 16*t - 51 - 61 = 0. Does 20 divide (5244/k)/(-1 - (-6)/t)?
False
Suppose -133770 = -94*t + 45*t. Is 35 a factor of t?
True
Let k(t) = t**3 + 5*t**2 + 2*t + 18. Let l be k(6). Let c be 6/(-15) - l/(-15). Suppose -560 = -c*y + 24*y. Is y a multiple of 35?
True
Let j = -377 + 381. Suppose y + 0 = -5, -2*n + 25 = -5*y. Suppose -v - 3*v + j = 0, 3*k - v - 140 = n. Is k a multiple of 12?
False
Suppose -3*s + v + 1 = 0, 0 = -2*s + 4*v - 3 - 13. Suppose d = -s*c + 739, -5*c = -3*d - 4*c + 2252. Is d a multiple of 19?
False
Let c(u) = 5*u + 2564*u**2 - 2566*u**2 - 5*u**3 - 24 + 8. Is c(-5) a multiple of 15?
False
Let k(r) = 2*r - 15. Let h be k(8). Suppose -4*c - h + 9 = 0. Suppose c*q = -5*n + 18, 0*n - 5*n = -2*q - 22. Does 2 divide n?
True
Suppose 0*a = 4*a - 36. Suppose 0 = -a*x + 11*x - 124. Suppose x + 18 = 5*n. Is 2 a factor of n?
True
Let b(o) = 776*o - 3486. Does 18 divide b(6)?
True
Let q be 82498/104 + (-3)/12. Suppose 28 = 5*s - 17. Suppose -q - 53 = -s*u. Is 32 a factor of u?
False
Let t = 18 + -16. Suppose -p + 1 + 1 = 3*z, t*p = 5*z - 18. Suppose z*j - 4*f = 142, 5*f - 294 = -5*j + 1. Is 7 a factor of j?
True
Let k be (1 + -109)/(-3) - 1*4. Suppose 13*d = 11*d + k. Is 5 a factor of d?
False
Let n(m) = -12*m + 93. Let s(j) = -6*j + 47. Let l(v) = -4*n(v) + 7*s(v). Is l(13) a multiple of 35?
True
Let c(x) = -2790*x + 173. Is 144 a factor of c(-19)?
False
Is ((-7458)/(-4))/((-1903)/88 + 11 + 11) a multiple of 22?
True
Let i(k) = k + 17. Let a(b) = -2*b + 3. Let w be a(4). Let o(s) = -s - 11. Let d(c) = w*i(c) - 8*o(c). Is 8 a factor of d(7)?
True
Suppose -230*n = -2139154 - 2031945 - 1186981. Is n a multiple of 16?
True
Is 181 a factor of (-1)/(-2*5/204530)?
True
Let l(c) = -3 + 1 + 240*c + 2 + 1267*c - 3. Does 47 divide l(1)?
True
Let d be ((-16)/(-10))/(2 - (-4524)/(-2265)). Suppose 2*o - d = -8*q + 12*q, 0 = -3*o - 4*q + 936. Does 81 divide o?
False
Suppose -385*v + 408*v = 263925. Is 85 a factor of v?
True
Suppose -x - 4*v + 392 + 1353 = 0, -5*v = -4*x + 7169. Is 10 a factor of x?
False
Let y(t) = -t**3 + 12*t**2 + 186*t + 2. Does 3 divide y(17)?
True
Suppose 5*l = t + 9, t + 5*l - 21 = -0*l. Is 108 - 6/(6/(-1))*t a multiple of 16?
False
Is (-836*(-165)/(-30))/(-2) a multiple of 54?
False
Suppose 2*g + 1548 + 3406 = 2*s, 2*s - 4974 = -8*g. Is 37 a factor of s?
True
Let c(g) = -g**3 - 2*g**2 + 9. Let s(n) = n**3 - n**2 - n. Let h(v) = c(v) + 2*s(v). Let x be h(4). Suppose 4*b - 49 = -x. Does 6 divide b?
True
Suppose 45*q - 49*q = -1292. Let i = q + -50. Is i a multiple of 13?
True
Let h be -27 + 27 + -3*2. Let b(i) = -2*i**3 - 10*i**2 + 11*i + 1. Is b(h) a multiple of 7?
True
Suppose 20*y - 5770 + 530 = 0. Does 13 divide y?
False
Suppose 0*s - 2*s + 68 = 0. Let x be (-2960)/272 + (-4)/s. Let g = 23 + x. Does 12 divide g?
True
Suppose 385*t = -5*i + 390*t + 33275, -i - 5*t = -6613. Is i a multiple of 24?
True
Let x(v) = 76*v**2 - 2*v - 46. Let y be x(-6). Suppose 8*s - s = y. Let b = -228 + s. Is b a multiple of 30?
False
Let m(w) = 2*w**2 + 9. Let f be m(5). Suppose -b = 9 + f. Let l = 99 + b. Is 21 a factor of l?
False
Let p(y) = 11*y**2 - 72*y - 281. Is p(21) a multiple of 40?
False
Suppose -158434 = -23*h + 29200. Is h a multiple of 18?
False
Let z = -1047 - -1490. Suppose 13*v - z = 480. Is v a multiple of 5?
False
Let c(d) = -7*d**2 + 3*d + 2. Let i(p) = 2*p**2 - p - 1. Let o(v) = c(v) + 6*i(v). Is o(3) even?
True
Suppose 4*l = 15 + 13. Suppose n + 8 - l = 0. Is (-14)/n*((-5 - -1) + 5) a multiple of 5?
False
Is 41 a factor of (-1)/7 + (1818480/(-42))/(-8)?
True
Let q(c) be the first derivative of c**4/4 - c**3 + 3*c**2/2 - 4*c + 3. Let r be q(2). Is r/(8/(-28)) - -3 a mul