or of b(3)?
False
Let s be (200/(-15) + 12)/(2/60). Does 34 divide (s/(-5))/8 - 31*-23?
True
Suppose 4*l = -2*b + 1624, -59*b - 1582 = -61*b + 3*l. Is 40 a factor of b?
True
Suppose 3*x - 48156 = -4*r, -546*x + 550*x = 5*r + 64177. Does 85 divide x?
False
Let x = 2279 - 412. Is x a multiple of 4?
False
Let a(o) = -150*o - 10678. Is a(-125) a multiple of 22?
False
Let r(v) be the second derivative of 13*v**5/10 - 5*v**3/6 - 5*v**2/2 + 25*v + 2. Is r(3) a multiple of 20?
False
Suppose 0 = -13*u + 17*u - 8, -6*u + 4076 = o. Does 48 divide o?
False
Let t = 2037 + -1243. Is t a multiple of 9?
False
Let n = -1269 - -317. Let b = -776 - n. Is b even?
True
Let h = 239 + -249. Let j(m) = 5 + m**2 + 6 - 3*m + 8. Is j(h) a multiple of 25?
False
Let x(y) = -7*y - 81. Let t(a) = 5*a**2 - 16*a - a**2 + 100 - 3*a**2 + 50*a. Let r be t(-30). Does 7 divide x(r)?
False
Is 329 a factor of (15 - 26946)*-4*28/48?
True
Suppose -4*y - 3*d + 12885 = 2771, 0 = 3*y + 2*d - 7586. Is 30 a factor of y?
False
Let a = 2706 - -1821. Is 27 a factor of a?
False
Let f = -56313 - -83139. Is f a multiple of 24?
False
Let h = 13 - 25. Let v(u) = -u**2 + 18*u - 26. Let o be v(18). Let i = h - o. Does 5 divide i?
False
Let v = -561 + 401. Let y = v + 466. Does 14 divide y?
False
Let m(x) = -x**3 + 5*x**2 + 6*x + 1. Let c be m(6). Let a be c + -5 - (-12)/1. Suppose 12*u - a*u - 652 = 0. Is 28 a factor of u?
False
Suppose -6*h = -665 + 107. Let i = 38 - h. Let y = 31 - i. Is y a multiple of 43?
True
Suppose 7*d - 4*d = 0. Suppose d = 3*j - 4*i + 2 + 17, -i + 11 = -2*j. Let w = 11 - j. Is 8 a factor of w?
True
Suppose 0 = -3*i - 6, 0 = -2*w - 2*i - 0*i + 5074. Suppose w - 289 = 15*v. Does 4 divide v?
False
Let k(c) = -2*c**2 - 16*c - 11. Let r be k(-7). Suppose 0 = -r*h + 12, -h = 4*m + 242 - 18. Let p = m - -67. Does 3 divide p?
False
Let h(n) = n**3 - 11*n**2 + 5. Let s be h(6). Let c = s - -236. Is c a multiple of 4?
False
Let r(a) = -14 + 8 - 31*a + 16 + 8. Is 14 a factor of r(-8)?
True
Let d(k) be the second derivative of 41*k**3/6 - 31*k**2/2 - 16*k + 2. Is 57 a factor of d(6)?
False
Let l(d) = 51*d - 277. Let n be l(16). Let u = 599 - n. Is 30 a factor of u?
True
Let z = -12841 + 23533. Is 99 a factor of z?
True
Let q be 204/(-476) - ((-1786)/(-14) + 0). Let h = q - -244. Does 5 divide h?
False
Suppose 0 = 4*o + m - 23526, 2*o + 2*m - 4150 = 7616. Does 14 divide o?
False
Let f = 5365 + -5101. Is f even?
True
Suppose 4*o - 762 = -2*o. Suppose o + 266 = 3*x. Is x a multiple of 34?
False
Suppose -169*b - 85*b + 5877052 = 0. Is b a multiple of 46?
True
Let n(f) be the first derivative of -f**4/2 - 14*f**3/3 + 19*f**2 - 12*f + 50. Is n(-12) a multiple of 12?
True
Let n be (-2)/6 + 441/189. Does 49 divide (4 - 201)*-2 - n?
True
Let h(z) = z**3 - 15*z**2 - 15*z - 39. Let b be 3/(-18) + (-618)/(-36). Is h(b) a multiple of 18?
False
Suppose -o - 3*c + 108 = 0, -o - 5*c = -0*c - 110. Suppose 5775 = -o*z + 116*z. Is z a multiple of 25?
True
Suppose -4*b + 100 = -2*g, -b = -5*b + 5*g + 88. Suppose -9 = 6*h - b. Suppose h*n - 5*k = 64, 3*n = -2*n - 2*k + 55. Is 2 a factor of n?
False
Let m(u) = -3*u**3 + 15*u**2 + 6*u - 26. Let p(g) = -7*g**3 + 30*g**2 + 11*g - 51. Let y(s) = 9*m(s) - 4*p(s). Does 2 divide y(-14)?
True
Let f(v) be the second derivative of -1259*v**5/20 + v**4/6 - 2*v**3/3 - 7*v**2/2 + 178*v. Does 74 divide f(-1)?
True
Let b = -112 - -117. Suppose 3*t = b*k - 1012, 5*k - 472 = 4*t + 544. Is k a multiple of 9?
False
Let n(z) = -9*z - 31. Let u(q) = 9*q + 32. Let x(h) = -6*n(h) - 5*u(h). Is x(13) a multiple of 13?
True
Let m = 3059 + 13867. Is m a multiple of 31?
True
Suppose -1490 = -p - p + 2*i, -2945 = -4*p - 3*i. Suppose 3*z = 0, 5*f - 8*z = -4*z + p. Suppose 3*y - 80 = f. Is y a multiple of 25?
False
Suppose 17*x - 142561 - 210648 = 0. Is 24 a factor of x?
False
Does 172 divide 56/(-32)*(-24)/(-252) - 200210/(-12)?
True
Let p(q) = -14*q - 98. Let u be ((-4 - -7)/3)/((-1)/17). Is 20 a factor of p(u)?
True
Let s = 61779 + -36475. Is 60 a factor of s?
False
Is (31732/6)/((-146)/(-219)) a multiple of 9?
False
Let x(o) be the second derivative of -o**5/2 + o**4/4 - 2*o**3/3 - 8*o**2 - 19*o + 6. Is x(-4) a multiple of 16?
True
Suppose 0 = 96*g - 189*g + 581901. Does 54 divide g?
False
Let s = 63 + -58. Let j be ((-2)/s - 15/25)*-1. Suppose 0 = 2*n - 267 + j. Does 26 divide n?
False
Suppose -8*f - 212 + 14 = 650. Let w be 202 + -2 + 0 + 1. Let c = f + w. Is 19 a factor of c?
True
Suppose 43 = -4*i + 103. Let s(g) = 4*g**2 - 30*g + 24. Is 33 a factor of s(i)?
False
Let m(n) = 24*n - 27. Let f be m(8). Let r(a) = 6*a - 2. Let d be r(3). Let w = f - d. Is 21 a factor of w?
False
Suppose -12*x + 50 = 2*h - 14*x, h - 31 = -2*x. Does 11 divide h?
False
Is 19 a factor of (-272)/(-476) + (-3888)/(-7)?
False
Let i be (5*-22)/(-2 + 1). Let p = -6 + i. Suppose 0 = 2*k - p - 152. Does 16 divide k?
True
Let d be 57/2 + (-2)/(-4). Suppose 25*k - 36 = 16*k. Suppose -2*u - 2*g + d = -g, -u = -k*g - 19. Is 6 a factor of u?
False
Let s(x) = 13*x**2 + 366*x + 354. Is s(-46) a multiple of 74?
True
Let h be (8/12*15/(-2))/(-1). Suppose -5*d = -h*u - 310, 11*u - 8*u + 6 = 0. Does 10 divide d?
True
Let v = 19460 - 7149. Suppose 10*o = v - 1711. Suppose 0*d - d = -5*p + o, 0 = -4*p - 3*d + 867. Does 13 divide p?
False
Let l(w) = -6*w - 88. Let r be l(-4). Let i = r - -512. Is 32 a factor of i?
True
Suppose 9*s - 3801 + 480 = 0. Suppose -u + 5*q = -s, -3*q - 1442 = -2*u - 2*u. Is 31 a factor of (6/12)/(u/(-120) + 3)?
False
Is (9279/(-54))/(3/36*-2) a multiple of 2?
False
Let c be 34/51 - 10/6. Let o be ((7 - 7) + (1 - 4))/c. Suppose 3*f = -4*x + 2*f + 139, -o*x - 2*f + 98 = 0. Is x a multiple of 26?
False
Let n(c) = 556*c - 11074. Is 93 a factor of n(43)?
True
Let l be (-9)/(-15)*5 - 45. Let y = l - -44. Let n(k) = 38*k - 5. Is 25 a factor of n(y)?
False
Suppose -15 = -2*x + 3*i - 5, 0 = 2*x - i - 2. Suppose 3*u = -f + 6*f + 539, f + 2*u = -100. Is 4 a factor of f/(-2) + (x - 0 - -1)?
False
Let w be ((-5)/10)/((-5)/110). Suppose -3 = -w*r + 228. Is r a multiple of 7?
True
Suppose 3*c = -3*n + 210162, 0 = -4*n - 5*c + 2*c + 280209. Does 250 divide n?
False
Let v = -219 + 215. Is (v/(-8) - -3)*(-204)/(-21) a multiple of 2?
True
Let o be (6/10)/((-3)/15). Let q be 6/o*-1*40. Suppose 2*n - 55 = -w, -n - 3*n + q = -4*w. Does 5 divide n?
True
Let v(g) = -5*g + 3 + 1 - 4. Let m be v(-1). Suppose m*l - 60 = 5*u, 0 = -2*l - 0*u + u + 28. Does 3 divide l?
False
Let g(k) = -9*k**2 + 951*k + 339. Let b be g(106). Suppose -4*a - 5*x = -3*a - 5, -a - 2 = -2*x. Suppose a = 19*o - b*o + 176. Does 22 divide o?
True
Let n(v) = 4*v**2 - 35*v - 112. Is 52 a factor of n(-31)?
False
Is (-1484840)/(-400) + (6/16)/(30/(-8)) a multiple of 32?
True
Is 1/6*(699 - -138)*78 a multiple of 39?
True
Let s(k) = -105*k**3 + 4*k**2 + 7*k + 14. Is s(-3) a multiple of 7?
False
Suppose -5*c - 5*g = -6305, -12*g + 13*g + 1259 = c. Is 6 a factor of c?
True
Suppose -10 = -4*n - 3*p, -6*n + p - 1 = -5*n. Is n/(-6)*-2182 - (-4)/(-6) a multiple of 11?
True
Suppose -23*q + 10*q = -80723 - 148571. Is 14 a factor of q?
False
Let h(r) = 2*r**3 - 33*r**2 - 14*r - 60. Is h(18) a multiple of 15?
True
Let x(j) = -70*j**3 + 2*j**2 - 81*j - 82. Let o be x(-1). Suppose -4*c = -5*u - 647, 4*u - 167 = 3*c - 4*c. Let k = c - o. Is k a multiple of 22?
False
Is 7 a factor of (1/(2/356))/((-373)/(-15293))?
False
Let m = 138 - 42. Suppose 4*w = -4*h + 393 - 9, -2*h + m = w. Is w a multiple of 6?
True
Let q(l) = 4*l**3 - 19*l**2 + 4*l - 98. Let j(p) = 5*p**3 - 20*p**2 + 4*p - 99. Let k(i) = 5*j(i) - 6*q(i). Is k(-12) a multiple of 13?
True
Let i(c) = 561*c - 2374. Is i(14) a multiple of 10?
True
Let c be 702/(-104) - (-1)/(-4). Is 10 a factor of (10/(-15))/(c/840)?
True
Let k = 32 + -17. Suppose 8 = -k*v + 1733. Is v a multiple of 5?
True
Suppose 3*i - 2*b - 9 = -6, 2*i = 2*b. Suppose -i*g + 3711 = -342. Does 24 divide g?
False
Suppose 14239 + 10181 = 5*n. Suppose -n = f - 23*f. Is 20 a factor of f?
False
Let k(i) = i**2 + 5*i. Let f be k(-6). Let j = 128 - 126. Let x = j + f. Is x a multiple of 8?
True
Suppose -5169*s + 5162*s + 155232 = 0. Is s a multiple of 29?
False
Suppose -1846 = -18*l + 4274. Does 85 divide l?
True
Let g(k) = 37*k**3 + 725*k**2 - 15*k - 