)/(-2))/(4/c*6)?
True
Let c be (3 - 0)/(1312/436 + -3). Let t = c + -246. Is t a multiple of 16?
False
Let h(q) = -20*q + 110. Let i be h(8). Does 8 divide i/25*(-30 - (-2)/(-1))?
True
Let r(k) = 55859*k**3 + 572*k - 571. Is r(1) a multiple of 76?
True
Let x(q) = q**3 + 4*q**2 - 27*q - 20. Let j be x(-5). Let w be (27/(-6))/(6/(-8)). Suppose -j = -w*m + 5*m. Is 14 a factor of m?
False
Let g(y) = -8*y + 15. Let r(x) = 16 - 6*x**2 + 10*x**2 - 3*x**2 - 9*x. Let w be r(5). Is g(w) a multiple of 7?
False
Let t(f) = -f**3 + 24*f**2 + 25*f + 7. Let u be t(20). Suppose -5*a + 4*o = -2660, -6*a - o + u = -2*a. Is a a multiple of 16?
True
Let w be ((-10 - -7) + 6)*-3*1. Let x = 187 + w. Does 30 divide x?
False
Let i(s) be the second derivative of 119*s**3/6 + 31*s**2/2 + 19*s - 2. Is i(5) a multiple of 25?
False
Let b = -6 - -8. Suppose 4*x - 22 = -3*r, -b*r + 5 = 1. Suppose 4*u + x*w = 160, 5*u - w = -60 + 266. Does 26 divide u?
False
Suppose 2*j = -5*l + 1707, 4*l = 2*j - 1660 - 38. Is 23 a factor of j?
True
Is 95 a factor of (3990/140)/((-6)/(-80))?
True
Suppose -8*g = -g. Suppose -3*l - 3 = 0, g*l = 5*b - l - 21. Suppose -108 = -t + 5*w, 0*t + b*w = t - 105. Does 31 divide t?
True
Let n be ((-420)/9 + 2)*180/(-40). Let d = 405 - n. Is d a multiple of 12?
True
Let c(j) = -2*j**3 - 5*j**2 + 3*j - 7. Let s be (-63)/36*(-24)/(-6). Does 7 divide c(s)?
True
Does 49 divide -18*(-114)/9*27/54?
False
Let h(o) = o**2 + 142*o + 3178. Does 11 divide h(-25)?
True
Let j = -615 + 615. Suppose j = -27*y + 191 + 214. Is y even?
False
Let n = -2101 + 6367. Is 16 a factor of n?
False
Suppose -5*u + 2226 = u. Let a = -197 + u. Suppose a = -3*w + 600. Is w a multiple of 15?
False
Suppose -186120 = -238*q + 216*q. Is q a multiple of 235?
True
Does 19 divide 108/(-81)*(-3)/2 - -8852?
True
Let b(c) = -20*c + 228. Let o be b(-6). Suppose -918 + o = -2*x. Does 57 divide x?
True
Suppose 40*k - 55*k + 23760 = 0. Is k a multiple of 19?
False
Let n(a) = -51*a - 36. Is 39 a factor of n(-23)?
False
Suppose -5*n - 56 = 3*p - 0*p, 4*n - 4*p + 32 = 0. Let x = n - -11. Does 3 divide (x/4)/(15/420)?
False
Suppose 0 = -4*a + 139 - 91. Let z be -1 + 2*116 - (-9 + a). Is 29 a factor of (-8 - -11) + z + 1?
True
Let l be 4/(-18) + (-53612)/(-36). Suppose -2*x - 287 = -y, 4*y = -x - 386 + l. Does 39 divide y?
False
Let o be 12/(-3) + (-2603)/(-19). Suppose 350 = 2*q - 2*c, 2*c - 57 - o = -q. Is 30 a factor of q?
True
Let s = -18 - -19. Suppose -2*q + 61 = s. Suppose -15*a - q = -20*a. Is 2 a factor of a?
True
Let s be (78/169)/((-1)/(-13)). Suppose 569 = s*r - 535. Does 67 divide r?
False
Let s(v) = v**3 + 68*v - 18 + 15*v**2 - 18*v - 35*v. Is 13 a factor of s(-9)?
False
Let h = -43 + 27. Let a(n) = n**3 + 15*n**2 - 16*n + 5. Let k be a(h). Is (k/3 - 2)/((-10)/90) a multiple of 3?
True
Let q(r) = r**3 + 40*r**2 - 3*r - 39. Let k be q(-40). Let a = k + 26. Does 9 divide a?
False
Let r(w) = w - 1. Let o(k) = -k + 2. Let a(b) = -5*o(b) - 8*r(b). Let n be a(-1). Is 5 a factor of 2 - n*(2 + -49)?
False
Suppose 114 = 4*w - 34. Let j = -30 + w. Let o(v) = 19*v - 29. Is o(j) a multiple of 17?
False
Let l(i) = -1116*i + 4218. Is l(-5) a multiple of 69?
True
Let i = 2465 - -774. Suppose 4*x + i = 5*s + 558, 5*s = -4*x + 2649. Is s a multiple of 42?
False
Suppose -10*w + 2*w + 16 = 0. Suppose w*v + 173 = 317. Is v a multiple of 13?
False
Suppose -d = -5, 6*v = 8*v + 4*d - 8. Is 17 a factor of 4 + -9 + (-5142)/v?
False
Let s(u) = 13*u**2 - 167*u + 87. Is s(27) a multiple of 3?
True
Suppose 5*t - 20 = 0, -a + 2*t + 13 + 137 = 0. Suppose -4*o = 98 - a. Is 15 a factor of o?
True
Let q(f) = f**3 - 6*f**2 + 5*f. Let u be q(5). Suppose u = -3*i + 8*i - 10, 2*a - 4 = -2*i. Suppose 0 = 5*m - a*m - 700. Is 10 a factor of m?
True
Let c = -1093 - -342. Let z = -429 - c. Is z a multiple of 20?
False
Let y(f) = 26*f**2 - 9*f - 4*f + 50*f**2 + 6 + 7*f. Is 84 a factor of y(3)?
True
Let v = 135 - 101. Let d = 47 - v. Suppose d*l + 579 = 1879. Does 10 divide l?
True
Suppose 3*f + 12 = 0, 8*v + 3*f - 1113 = 3*v. Suppose -19*u + 3 = -v. Is u even?
True
Let h be ((-2)/(-6))/(4/60). Suppose -3*q - h*l + 649 = 0, -l = -5*q + 3*l + 1057. Is q a multiple of 13?
False
Let c = 2845 - 946. Is c a multiple of 141?
False
Let q be ((-240)/(-15))/((-1)/13) + 0. Let z = 289 + q. Is z a multiple of 9?
True
Let i(o) be the third derivative of -o**5/60 - 5*o**4/12 + 5*o**3/3 + 8*o**2 + o. Does 5 divide i(-8)?
False
Suppose 1310 - 9654 = -4*l. Suppose -1310 - l = -6*x. Does 14 divide x?
False
Let v(c) = 170*c - 65. Let n be v(4). Let o = 724 + n. Does 13 divide o?
True
Let l = -152 + 167. Does 30 divide 50/((-40)/l - -3)?
True
Let y(j) = -26*j**3 + 8*j**2 + 2*j + 122. Does 103 divide y(-7)?
False
Suppose 44*y + 4992 - 29883 - 23861 = 0. Is y a multiple of 18?
False
Let j = -5 + 15. Let v(h) be the second derivative of h**5/20 - 3*h**4/4 + h**3/6 + 3*h**2 - 15*h. Does 29 divide v(j)?
True
Let j = 109 - 117. Does 62 divide (-1 + -306)*j/8 + 3?
True
Suppose 2*f - 66 = 2*h + 330, 0 = -2*f + h + 392. Suppose -7*b + 1318 + f = 0. Is b a multiple of 54?
True
Let j = 12386 + -7211. Is j a multiple of 12?
False
Let c = 723 - 225. Suppose -2*t + 272 = -c. Does 41 divide t?
False
Suppose -4*n + 10361 = 4*m - 7351, m = -4*n + 4422. Is 15 a factor of m?
False
Let z be (5 + 4 + -9)/(1 + 1). Suppose z = -8*n + 5*n + 558. Suppose 5*v - n = -d, 3*v + 414 = 2*d - v. Does 17 divide d?
False
Is 22 a factor of (22 + 1)/(56/7392)?
True
Let a(v) = v**2 - 2*v - 6. Let i be a(-2). Suppose 5*s + r - 1003 = -0*r, 0 = i*s - 2*r - 394. Is 10 a factor of s?
True
Is 71 a factor of ((-31950)/(-600))/((-1)/(-16))?
True
Let s be -3 - 212/(-5) - 4/10. Suppose 145 = 2*d + s. Does 37 divide d?
False
Is 107 a factor of -4 + 0 + (-25 - -23141)?
True
Let w(h) = 7 + 8*h**2 - 3*h**3 - 5*h + 4*h**3 + 0*h. Suppose -8*f + 1963 - 2027 = 0. Does 31 divide w(f)?
False
Let q(h) = -149*h**3 + 2*h + 3. Let s be q(-1). Suppose 26*y - 28*y = -s. Does 8 divide y?
False
Is (78/(-6) - 0) + 8065 a multiple of 9?
False
Let d(n) = 22*n**2 - 2*n - 1. Let t be d(-3). Suppose -5*b + 4*i - 179 = 0, -6*b - t = -b + 2*i. Let g = 111 - b. Is 17 a factor of g?
False
Let n(j) = 2*j**2 + j + 57. Let v be n(-15). Let t = v + -293. Is t a multiple of 27?
False
Let c be 9 - (-77 - (1 - 10)). Suppose 4*a - 4*x = 128, 0 = -2*a - 3*a - 4*x + 160. Let v = a + c. Does 23 divide v?
False
Is 4/(-6) - 12/(-45) - (-24747)/5 a multiple of 7?
True
Suppose -31394 - 68554 = -9*c - 26472. Is 14 a factor of c?
False
Suppose c + 1003 = 3*a - 9940, a + 4*c - 3626 = 0. Is 39 a factor of a?
False
Suppose 2*a + 200 = 27*a. Let b(t) = 11*t**2 - 62*t - 19. Does 21 divide b(a)?
True
Suppose 108*q - 103*q = -35. Is (-3)/(-5) - q*(-1110)/(-50) a multiple of 52?
True
Let i be 16969 + (2 - -4) + -13. Suppose i = 5*x + 17*x. Does 70 divide x?
False
Let z be 8/3 + -2 + 38/6. Let q be (z - 111/15)/((-2)/(-10)). Is 6 - 0/(0 - q) a multiple of 6?
True
Suppose -108*t + 1686 = -106*t. Suppose -t = -2*h + 5*f, -5*h + 2055 = -3*f + 8*f. Is h a multiple of 25?
False
Let q = 593 + -1380. Let c = -188 - q. Is c a multiple of 31?
False
Let f be 40641/46 - (1/(-2) - -1). Let l = f + -610. Is 6 a factor of l?
False
Let f(w) = -w**3 - 14*w**2 - 4*w - 3. Let o(x) = 2*x. Let r(u) = u - 1. Let c(q) = -o(q) - 4*r(q). Let z be c(3). Does 4 divide f(z)?
False
Suppose 104*b = -b + 8*b + 304483. Does 24 divide b?
False
Suppose -s = -3*w - 42244, 3*s - 21*w - 126768 = -18*w. Is 21 a factor of s?
False
Suppose -3*a + 16 = -5*t, 2*t = a - 3*a. Suppose 2*g = -3*v - 34, -3*v - 5*g = a*v + 65. Is -2*1/(-1) - 704/v a multiple of 13?
False
Is (-3*(-18)/(-27)*1)/((-4)/21770) a multiple of 7?
True
Suppose -1 = c + 4*s, -c + 5 - 3 = s. Let w(f) = f**2 - 6*f - f**c + 6*f**2 + 0*f**2 + f - 4. Is w(4) a multiple of 8?
True
Suppose -273*q = -277*q + 468. Suppose -q*x - 4116 = -121*x. Is 12 a factor of x?
False
Let z(f) = -1. Let i(u) = u - 263. Let b(n) = -i(n) + 2*z(n). Let l be b(0). Is 14 a factor of 7/(-35) + l/5?
False
Let f = 2112 - 516. Does 15 divide f?
False
Let h be (-4*2/(-24))/(2/402). Suppose 0 = -0*z - z - c + 75, 5*c - h = -z. Let u = z - 66. Is 6 a factor of u?
False
Let f(s) = -3*s**3 - 7*s**2 - 4*s. Suppose -52 = -3*p - p. Suppose p = -j + 10. Does 15