= i + -178. Is 12 a factor of o?
False
Suppose 3*c + 2*q = -2, q = -c - 2 - 0. Suppose -2*s + 4 = 0, -2*o - c*s - 7 + 59 = 0. Does 2 divide o?
True
Is (-4)/((-8)/27370) + (-10)/(-2) a multiple of 27?
False
Let b be (-20)/(5*10/1825). Let l = 1156 + b. Does 19 divide l?
False
Let g(z) = -2*z**2 + 70*z + 5. Let r be g(0). Suppose d = -2*d + 6. Is 18 a factor of (r/d)/5*206?
False
Let z(a) = 50*a + 36. Let d be z(3). Suppose d*m + 868 = 193*m. Is 4 a factor of m?
True
Let s(t) be the third derivative of -t**4/24 + t**3/2 + 19*t**2. Let k be s(-2). Suppose -4*q = c - 97, -c - k*q = 3*c - 333. Does 12 divide c?
False
Let d be (5*-1)/(-7 + (-3296)/(-472)). Is 17 a factor of -5 - 0 - (-1 + (2 - d))?
True
Let w(p) = -5*p + 54. Let o(a) = 5*a + 10. Let z be o(0). Is 4 a factor of w(z)?
True
Let x(i) = -226*i - 1506. Is 5 a factor of x(-7)?
False
Suppose 17*p - 29*p = -1164. Suppose -93*y - 3456 = -p*y. Is y a multiple of 36?
True
Let s = 8 - 2. Let t(g) be the third derivative of g**5/20 - 5*g**4/24 - 7*g**3/6 - 17*g**2 + 19. Does 20 divide t(s)?
False
Suppose -1396675 - 9565 = -68*c. Is 43 a factor of c?
False
Suppose 0 = 2*c + 2*p - 18, -5*c - 4*p + 47 = -p. Let k be ((-8)/(-10))/(c/25). Let l(g) = g**3 + 3*g**2 - 6*g + 5. Is 2 a factor of l(k)?
False
Let g(k) = -11*k**3 - 21*k**2 - 76*k - 1. Is g(-6) a multiple of 23?
False
Let z(v) = 2*v**3 + 11*v**2 - 90*v - 21. Is z(11) a multiple of 42?
True
Is (-8)/((-16792)/(-2800) + -6) a multiple of 14?
True
Let j = 19561 - -26251. Is 31 a factor of j?
False
Let t = 801 - -729. Is 90 a factor of t?
True
Suppose -r - 4*n = -15014, 289*n = 2*r + 292*n - 30008. Does 8 divide r?
False
Let q(d) = -3426*d + 355 + 1701*d + 1705*d. Is q(15) a multiple of 11?
True
Is 50 a factor of (-43 - 32)/((-9)/1266)?
True
Let n be (12/(-18))/((-2)/12). Suppose -4*u - n = -0*u, -5*q + 2*u = -67. Suppose -q*a + 9*a = -140. Is a a multiple of 5?
True
Suppose 4*w - 360 - 612 = 0. Suppose w = 24*l - 21*l. Suppose 351 = 5*u + l. Does 9 divide u?
True
Is (3 - (-171)/(-15))/(58/(-7975)) a multiple of 5?
True
Let h be (-3)/(-4)*-1*4. Suppose -1092 = 36*l + 528. Is l*3*((-52)/(-20) + h) a multiple of 18?
True
Does 101 divide (32*(-8)/(-32) - 369)/((-1)/30)?
False
Let i(t) = 145*t**2 - 15*t - 55. Does 8 divide i(-3)?
False
Suppose -101011 - 53374 = -127*t + 304847. Is t a multiple of 16?
True
Suppose -45 = 5*j + 5*w, 4*j = -5*w - 39 - 1. Let f(m) = m**3 + 4*m**2 - 13*m - 5. Let u be f(j). Does 19 divide (-14)/u - 3/(15/(-382))?
True
Let p(w) = -29*w**2 + 427*w + 12. Is 26 a factor of p(10)?
False
Let b(k) = -5*k**3 + 207*k**2 + 146*k + 34. Is b(42) a multiple of 19?
True
Suppose 0 = -4*j + 8, 0*o - 4*j + 6 = -o. Suppose -b + 43 = -o*c - 154, 0 = -4*b + 3*c + 793. Does 9 divide b?
False
Let f(y) = -y**3 + 13*y**2 + 5*y - 2. Let u be f(14). Let t = -109 - u. Does 19 divide t?
True
Suppose 0 = 9*w - 41 - 4. Suppose -449 + 234 = -w*j. Does 15 divide j?
False
Let o = 7 - -1. Suppose 0 = o*k - 11*k + 36. Let a(u) = u**3 - 12*u**2 + 12*u - 25. Is a(k) a multiple of 25?
False
Suppose 3*g = -2*j + 22319 - 4143, g + 18168 = 2*j. Does 115 divide j?
True
Suppose -2*d = -7*d + n + 6076, 0 = -d - n + 1214. Suppose d = 11*y - 820. Does 33 divide y?
False
Let c be 0*2/(-10) - -3*2. Suppose l = 3*f + 16, -3*f + 3*l + 0 - c = 0. Is 3 a factor of ((-3)/(-4))/(0 - f/252)?
True
Let u = -9842 - -10141. Does 13 divide u?
True
Suppose -2*w - 3*j = -4*w + 4632, -j + 2326 = w. Suppose 0 = 3*y - 9*y + w. Suppose -4*q = -q - y. Is 13 a factor of q?
False
Suppose 42 = 17*y - 20*y. Let g(v) = -16*v - 2. Let l be g(y). Suppose l = 3*t - 30. Is 14 a factor of t?
True
Let r(m) = m**2 - 13*m + 25. Let d be r(16). Let t = d - 70. Suppose -337 = -5*s + t. Is s a multiple of 17?
True
Suppose 0 = 3*x + 3261 - 864. Let l = 18 - 19. Is ((1 - -10) + l)/((-34)/x) a multiple of 15?
False
Let u = 6892 + -4439. Is u a multiple of 11?
True
Suppose -51*d + 46*d + 245 = 0. Let l = -45 + d. Suppose -o - 3*j = -18, -l*o - 2*j = -3*o - 23. Is 33 a factor of o?
True
Let t(i) = -11*i + 2615. Is 4 a factor of t(81)?
True
Let g(d) = -d**3 + 9*d**2 + 8*d + 27. Let n be g(10). Does 13 divide ((-234)/(-30))/(((-28)/(-380))/n)?
True
Let w(s) = s**2 - s - 2. Let h be w(-1). Suppose 4*q + y + h - 4 = 0, -16 = 4*y. Suppose -95 = -3*n + q*p, -2*n + 22 = -4*p - 28. Is 10 a factor of n?
False
Let a(k) = -15*k**2 + k + 17. Let x(o) = 5*o**2 - 3*o - 3. Let s(b) = -b + 1. Let f(t) = 3*s(t) - x(t). Let r(i) = -3*a(i) + 8*f(i). Is 14 a factor of r(-4)?
False
Let r be (-2800)/(-680) - (-4)/(-34). Suppose r*w + w = 25, 4*w = -3*l + 296. Is 18 a factor of l?
False
Let i(z) = 587*z + 319. Is i(10) a multiple of 34?
False
Is -1 + (20 - 16) - -3627 a multiple of 15?
True
Let a(v) = v**3 - 3*v**2 - 4*v. Let o(k) = -2*k + 20. Let d be o(8). Let y be a(d). Suppose -u + y*j + 21 = -j, 4*u = -3*j + 105. Does 12 divide u?
True
Suppose 5*j - 9 = -14. Let x be (5 - 3 - j)*(-2 + 1). Is 40/x*(-15)/4 a multiple of 25?
True
Let r(n) = 2*n. Let t(m) = 87*m + 31. Let q(o) = 2*r(o) + t(o). Does 15 divide q(3)?
False
Suppose 945 = 2*q - s, 2*s - 764 = -3*q + 636. Suppose -5*a + k = -q, -5*a - 4*k = -308 - 187. Suppose a = 42*y - 37*y. Is 8 a factor of y?
False
Let b = 64 - -485. Let g = -486 + 873. Let o = b - g. Is 15 a factor of o?
False
Let w = 3953 + -2416. Does 16 divide w?
False
Let m = 13732 - 10632. Is m a multiple of 10?
True
Let v(z) = 574*z**2 - 5*z + 1. Let p(u) = -575*u**2 + 6*u - 1. Let x(o) = 5*p(o) + 6*v(o). Let t be x(-1). Suppose 39*m - 36*m = t. Is m a multiple of 38?
True
Let s(p) = 9*p**2 + 119*p - 996. Is 3 a factor of s(10)?
False
Let n(c) = -1085*c - 696. Is 18 a factor of n(-6)?
True
Let l(i) be the second derivative of -1/20*i**5 - 25*i + 7/3*i**3 + 5/6*i**4 + 5/2*i**2 + 0. Is 8 a factor of l(11)?
False
Suppose -8430*p = -8439*p + 40392. Does 264 divide p?
True
Suppose 2*d - 2*j - 17050 = 0, d - 11611 + 3092 = 2*j. Is 61 a factor of d?
False
Suppose 110*p + 1955 = 73*p + 120503. Does 89 divide p?
True
Is 7 a factor of (21/2 - 0)*(-32984)/(-651)?
True
Let q be 4/5 - (-42)/10. Let a(t) = -1 + q*t + 0*t - 9*t**2 + 34*t**2 - 3*t. Is 5 a factor of a(1)?
False
Suppose 62*r - 54*r = -201*r + 372438. Does 3 divide r?
True
Let u(j) be the third derivative of -5*j**4/6 + 37*j**3/2 - j**2 + 48. Does 13 divide u(-11)?
False
Suppose 2*q = -3*h + 639, -218 = -q - 3*h + 97. Suppose -30*i = -33*i + q. Is i a multiple of 7?
False
Let z(l) = 3446*l + 49. Does 25 divide z(6)?
True
Does 65 divide 2/(-2*5/7570*(-8)/4)?
False
Let t be -5*8*(1660/8)/(-5). Let w be 2/(-7) + 4/(112/t). Let y = 307 - w. Is y a multiple of 27?
False
Does 2 divide (-2 + 11 - 7) + 1986?
True
Suppose -3*g - 5*s = -19, -3*s = 2*g - 4*g + 19. Does 16 divide 39*-2*(-12)/g - 4?
False
Let m(k) = 90*k**2 - 34*k - 77. Does 45 divide m(7)?
True
Suppose 1243*m - 6970 = 1238*m. Is 34 a factor of m?
True
Suppose -o - 3*r = 930 - 3065, 5*r - 10 = 0. Is 15 a factor of o?
False
Let a(w) be the first derivative of w**5/20 + 2*w**4/3 - w**3/6 + 19*w**2/2 + 31*w + 6. Let t(p) be the first derivative of a(p). Does 9 divide t(-8)?
True
Let c(g) = 5*g**3 + 2*g**2 - g. Let w be c(1). Suppose u - 2 + 0 = -3*d, u - 5*d + w = 0. Let z(b) = -34*b**3 + 2*b**2 + 3*b + 2. Is z(u) a multiple of 15?
False
Suppose 5*s - 5*y - 30 = 0, 4*s - 3*y + 19 = 47. Suppose -2*c + 17 = -3*p, -3*p - 3 = -c + s. Is 9 a factor of 8/(-28) + p + (-338)/(-7)?
True
Let u be 6*(1 + 1)*(12 - 6). Let v = u + 118. Is v a multiple of 14?
False
Suppose 4*r - 6*c = -11*c + 8993, -4*c + 4498 = 2*r. Does 19 divide r?
False
Is 48 a factor of (-6)/4 + (-123717)/230*-5?
True
Let a(t) be the first derivative of 38*t**3/3 + 21*t**2/2 + 52*t - 8. Is 18 a factor of a(-4)?
True
Let y(h) = -58*h - 290. Let v be y(-5). Suppose 5*o + v*o = 2*u - 685, -3*o = u - 359. Is 35 a factor of u?
True
Suppose 4*t + 3*l + 15 + 0 = 0, -l = 4*t + 5. Suppose -13 = -y + 4*a, t*y + 2*a = 2*y - 44. Let u = y + -19. Is 6 a factor of u?
True
Let w(t) = -15451*t + 31. Let a be w(3). Is 9 a factor of 4/18 + a/(-207)?
False
Suppose 3*o = -k + 1, -o - 3*k - 3 = -2*k. Suppose -5*n + 215 = -5*p, 0*n + o*p - 154 = -4*n. Let s = n - 24. Is s a multiple of 4?
True
Let x(o) = -o**3 + 25*o**2 + 20*o - 175. Is 95 a factor of x(15)?
True
Let j(t