. Is c a multiple of 9?
False
Suppose -3*v - 47629 = -4*c, 6*v - 16775 = -3*c + 18988. Is 24 a factor of c?
False
Let k(m) = 47*m + 32 + 66*m + 11 + 54*m - 199*m. Does 49 divide k(-15)?
False
Suppose 5*d + 3 = 18, 4*p - 3*d = 25347. Is p a multiple of 105?
False
Suppose -5*g + 5*h = -20615, -5*h = 238*g - 241*g + 12371. Does 82 divide g?
False
Let m = 35 + -41. Let g be (-2)/(-6)*-26 - (-2)/m. Is 9 a factor of 135*g/(108/(-8))?
True
Let h be (-80)/(-10)*222/(-20)*-5. Suppose 0 = -4*i + 788 + h. Is i a multiple of 14?
True
Let w be (-28)/(-10) + (-60)/(-300). Suppose 2 = -i - 5*n, -1 = -i - 7*n + w*n. Does 13 divide i?
True
Let a = -326 + 384. Suppose 51*d + 3850 = a*d. Does 15 divide d?
False
Let o(c) = c**3 + 21*c**2 + c + 23. Let w be o(-21). Suppose -5*l + 7 = w*m + 2, -4*l - 4*m = 8. Suppose 33 = q - 2*a - a, -4*q = -l*a - 96. Is 3 a factor of q?
True
Let d = 635 + -471. Is 164 a factor of d?
True
Suppose 0 = l - 4, p + 57*l = 54*l + 786. Is p a multiple of 43?
True
Does 121 divide (-428)/(-749) + (-228678)/(-21)?
True
Suppose 14 = -3*o - 5*c + 3, -3*o = -5*c + 61. Let t be (o/(-8))/((-3)/(-36)). Does 9 divide 14/63 + (2 - (-374)/t)?
False
Suppose 0 = -3*l - 5*h + 4 + 8, 5*l = 3*h + 20. Suppose l*y + 3*x - 20 = 0, -5*y = 4*x - 22 - 3. Suppose 0*r = -u - y*r - 5, 90 = 4*u - 2*r. Does 20 divide u?
True
Is 4 a factor of 1289/2 + (2233/(-58) - -34)?
True
Let k(x) = -163*x**3 + 2*x - 1. Let d be k(1). Let p(i) = -i**3 + 53*i**2 + 169*i + 171. Let y be p(56). Let s = y + d. Is s a multiple of 13?
True
Suppose 0 = 15*q - 11*q, 3*q + 2 = 2*c. Suppose c = o, 0 = -9*x + 12*x + 2*o - 818. Is 16 a factor of x?
True
Suppose -4*n = 2*r + 80, n + 3*r + 63 = -2*n. Let a = -16 - n. Suppose -7*q - 2*t = -3*q - 134, a*q - 2*t - 111 = 0. Does 8 divide q?
False
Does 8 divide 48 - (-25388)/(-528) - (-4309)/12?
False
Let p = 6 - 2. Suppose p*y + 0*y = 1264. Does 58 divide y?
False
Let y be (-35)/175 - ((-82)/5)/2. Suppose -y*k = -0*k - 168. Suppose 2*s - k = 1. Does 11 divide s?
True
Let c = 918 - 698. Does 11 divide c?
True
Suppose -52*v = -60*v + 26360. Suppose 4*m = v + 921. Is m a multiple of 34?
True
Let q(b) = 3*b**2 - 9*b + 5. Suppose -h = 4*l - 7, l = 4*h + 3*l - 14. Let f be q(h). Let a = 138 + f. Is a a multiple of 13?
True
Let b(d) = -d**2 + 2*d - 5. Let i be b(3). Let o = i + 11. Let a = o + 8. Does 3 divide a?
False
Let v = -328 - -330. Suppose 3*p = -v*p - 2*b + 187, -3*b = -p + 34. Is p a multiple of 25?
False
Let m(k) = 542*k**2 - 631*k - 2. Is m(2) even?
True
Let n = 225 - 340. Is 16 a factor of 8838/14 - (n/(-35) - 3)?
False
Let u = -43672 - -57420. Is u a multiple of 12?
False
Let y(n) = -32*n**3 + 3*n**2 + 3*n + 1. Let j(s) = s**2 + 21*s - 1. Let m(p) = 4*p + 31. Let w be m(-13). Let f be j(w). Is 11 a factor of y(f)?
True
Does 7 divide ((-32805)/25)/((-75)/375)?
False
Let u(m) = -5*m**3 + 5*m**2 - 5*m - 1. Let n(t) = -t**2 + 7*t + 21. Let h be n(9). Let y be u(h). Let d = -76 - y. Is d a multiple of 15?
True
Let g(i) = -2*i. Let m be g(-16). Let z be m/48 + (-22)/6. Does 7 divide ((-88)/4)/(0 + z/3)?
False
Let f = -6 - -16. Suppose f*t - 123 - 57 = 0. Suppose -14*b + t*b = 64. Is 16 a factor of b?
True
Let s(h) = -2*h**3 + 29*h**2 - 11*h - 32. Let d be s(14). Suppose -d*b + 1674 = -1026. Does 18 divide b?
True
Suppose 0 = 32*f - 332*f + 5191200. Is f a multiple of 12?
True
Let r(a) = 11*a**3 - 14 + a - 15 + 46. Let d be r(9). Is d/45 - 4/(-18) a multiple of 13?
False
Let p(t) = -135*t - 31. Suppose -3*z + 3*o + 9 = 0, -2*z - o - 2*o - 14 = 0. Does 61 divide p(z)?
False
Let z(x) = -37 + 21 + x + 6*x**3 + x + 4*x. Does 8 divide z(4)?
True
Is (-61778)/(-395)*15/6 even?
False
Let c(t) be the third derivative of 11*t**5/60 + 11*t**4/24 + 11*t**3/3 - 101*t**2. Is c(-8) a multiple of 17?
False
Suppose -143*u = -149*u - 2742. Let m = u + 961. Is m a multiple of 12?
True
Let t = 27207 - 22937. Is t a multiple of 14?
True
Let j = -634 - -630. Is 25 a factor of (-8399)/j + -13*(-13)/676?
True
Let v = -176 + 116. Is (-44 - -42)*(-1 + v) a multiple of 8?
False
Let d = 6246 + -6017. Let h(b) = 4*b**3 + b**2 + 5*b + 4. Let j be h(-3). Let a = d + j. Is a a multiple of 10?
False
Suppose 0 = 30*g - 27*g - 18. Suppose -l - 3*w - 878 = -g*l, 4*w = 5*l - 874. Is 15 a factor of l?
False
Suppose 0 = 111*z - 723369 - 891681. Is z a multiple of 97?
True
Let w(n) = n**3 + 12*n**2 + 11*n + 2. Let l be w(-11). Suppose 0 = u - l*a - 12, -a = u + 4*a + 23. Does 18 divide 2/((-5)/(-600)*u)?
False
Let y(u) = 4*u + 378. Is 26 a factor of y(29)?
True
Does 8 divide ((-7000)/(-625))/(((-2)/14)/((-1080)/28))?
True
Let s(j) = -7*j - 84. Let x be s(-14). Let w be 2/3 - 14/(-6). Suppose -205 = -5*i + w*m, -x = -2*i - m + 57. Is i a multiple of 10?
False
Suppose 4*u - 7909 - 12354 = -3*l, 0 = -11*l + 3*u + 74333. Does 6 divide l?
False
Let p(d) = 18*d + 58. Let k be p(-1). Is 25 a factor of (-5000)/k*(-3 - -2)?
True
Let z(p) = -p**3 + 9*p - 25. Let k be z(-4). Suppose -k*t + 316 = -w - 0*w, 4*t + 2*w - 438 = 0. Is t a multiple of 3?
False
Let x = 265 - 265. Suppose -4*k + 13 + 3 = 0. Suppose 4*j + k*g - 396 = x, -2*j - 3*j + 2*g + 488 = 0. Is 7 a factor of j?
True
Does 14 divide 11793 - (119/14 + (-15)/10)?
False
Suppose 0 = -16*s - 25*s + 165 + 122. Let m = 503 + -212. Suppose 67 - m = -s*l. Does 8 divide l?
True
Suppose 0 = 7*x - 2238 - 240. Suppose -x = -n + 12. Does 6 divide n?
True
Let g be 121*35 - (8 - 19 - -8). Let r = -2794 + g. Does 19 divide r?
True
Let b(s) = s**2 + s - 1. Let k(f) = 77*f**2 + 6*f + 23. Let n(a) = 3*b(a) + k(a). Is n(-2) a multiple of 25?
False
Is (-5179 + (0 - -2))/(-23 - 5 - -27) a multiple of 7?
False
Let u = 120 + -115. Suppose w - 457 = -4*o, u*o = 4*w - 637 - 1107. Does 15 divide w?
False
Suppose -b - b = -40. Let m = 11 - b. Let f = m - -47. Is 7 a factor of f?
False
Let g(x) = -5*x**3 - 5*x**2 - 8*x + 2. Let k be g(-4). Suppose 0 = 19*i - 3507 - k. Is i a multiple of 4?
False
Let r(h) = -71*h**3 + 2*h**2 + h - 5. Let a be r(2). Let c = a + 609. Does 12 divide c?
False
Suppose -3*q + 848 = 2*p, -4*p + 38*q - 37*q + 1668 = 0. Is 22 a factor of p?
True
Let q = 1285 + -356. Let w = q + -444. Is 38 a factor of w?
False
Suppose 0 = -n + 4, n - 201 = 5*z + 2*n. Let t = z - -45. Suppose 4*m = u - 3, 37 = -u + t*u - 5*m. Is u a multiple of 19?
True
Let w(c) be the first derivative of -c**4/4 + 5*c**3/3 + 19*c**2/2 + 23. Let m be w(9). Is 17 a factor of m/1*(32/(-12) - -2)?
True
Does 144 divide 15*((-72)/3)/(150/(-9780))?
True
Let g = -3160 + 4471. Is g a multiple of 57?
True
Suppose -3*j = 2*f - 565, -j + 3*f - 940 = -6*j. Let i = j - -156. Suppose -21*y - i = -32*y. Is 8 a factor of y?
False
Let c = 336 - -5254. Does 74 divide c?
False
Suppose -5*a = -9*a - 8*a. Is 12 a factor of ((a + 0 - 1) + -79)*-6?
True
Let i be 1/((-3)/(-1203)) - 4. Let t(u) = u**2 + 6*u. Let n be t(-6). Suppose -11*j + 197 + i = n. Does 25 divide j?
False
Let b = 441 - 253. Suppose -3*h - b = 2*z - 905, -4*h = 5*z - 1803. Is z a multiple of 11?
True
Suppose 297*l - 13359 = 294*l. Is l a multiple of 61?
True
Let x(c) = 257*c + 345. Does 71 divide x(25)?
False
Let y be 2/18 + 3/(-27). Suppose y = a - 76 + 73. Suppose a*r - 2 - 799 = 0. Is r a multiple of 23?
False
Let z be 0*(-3)/9 - (3 + -115). Let w = z + -108. Suppose 0 = w*t + 9 - 65. Is 3 a factor of t?
False
Let b be 688/(-20) - 2/(-20)*-6. Let n be (-6)/10 - 1246/b. Suppose n = 6*u - u. Is u a multiple of 2?
False
Let f(a) = -4*a**2 + 3*a - 5. Let h be f(5). Let w = 132 + h. Let x = 65 - w. Is x a multiple of 5?
False
Is 18 a factor of ((-2)/10)/((-22)/5948470)?
False
Let v = 12972 - 4172. Is v a multiple of 50?
True
Let m = 47 + -22. Suppose 4*k - 3*d - 43 = 0, k = 3*k - 5*d - m. Suppose -5*p + k = -50. Is 4 a factor of p?
True
Suppose -9714 = 20*n - 25854. Is n a multiple of 20?
False
Let t(b) = 488 + 4*b**2 - 486 - 5*b**2. Let g(o) = 3*o**2 - 3*o - 8. Let u(n) = -g(n) - 4*t(n). Is u(2) a multiple of 6?
False
Suppose 28525 = 197*q - 190*q. Does 36 divide q?
False
Let u be 0 - (-1)/((-1)/(-4)). Let s = 1855 - 1853. Suppose u*g - 60 = 3*j, 2*j + 2*j + 30 = s*g. Is 9 a factor of g?
False
Let c(t) = -2*t - 12. Let v be c(-9). Let m(k) = 18*k**2 - 3*k - 6. Let h be m(v). Suppose 7*q + q = h. Is q a multiple of 26?
True
Su