-1). Suppose c*m + 11 = -5*d - 2, 3*m - 29 = 4*d. Suppose -m*h + 5*f = -201, h + f = -f + 78. Is h a multiple of 13?
False
Let n = -64 - -67. Is 25 a factor of 592/24 + n/9?
True
Suppose -y + 5 = 0, -4*y + 13 = -5*s - 2. Is 15 a factor of 6216/140 + s/(5/3)?
True
Let d(c) = c**3 + 13*c**2 - 8*c - 9. Is 7 a factor of d(-5)?
True
Suppose -43*p + 6092 = 5*f - 40*p, 5*f = p + 6096. Does 53 divide f?
True
Let f be (-2)/12 - ((-735)/(-18))/(-5). Let z(c) = -c + 29. Does 21 divide z(f)?
True
Let q be 37 + 5 + -3 + 3. Is 7 a factor of (5/(-50)*q)/((-1)/45)?
True
Let k = -2 - -168. Suppose -9 = 5*z + k. Let h = -25 - z. Is 5 a factor of h?
True
Suppose 946 = b - 4*k, -3*b - 6*k + 2*k = -2838. Let n = b + -575. Is 38 a factor of n?
False
Suppose -2*i - 10 = 2*n + 2*n, -3*n = -4*i - 20. Let w = 7 - n. Suppose -w*m + 2*m + 25 = 0. Is m a multiple of 5?
True
Let t be (-6)/(-4)*20/(-15). Let q(v) = 4*v**3 + 2*v**2 - v + 2. Let g be q(t). Is 17 a factor of 24/g*-3*5?
False
Let v be (8/(-12))/((-2)/141). Suppose r - 4*q - 124 = -r, -r - 3*q + v = 0. Is 28 a factor of r?
True
Let m be (-4 - 766)/(-5) + -3. Let w = m + -97. Is 54 a factor of w?
True
Let g(q) be the third derivative of -q**5/60 - 5*q**4/8 - 5*q**3 - 11*q**2. Is g(-12) a multiple of 6?
True
Let s(b) = -2*b**2 + 13*b - 12. Let x(n) = -2*n**2 + 11*n. Let k be x(5). Is s(k) a multiple of 2?
False
Suppose 5*u - 44 - 2701 = 0. Is u a multiple of 34?
False
Let t = 3160 + -1400. Is 16 a factor of t?
True
Let l = 24 + -1. Suppose 3*f - 4*g = -2*f + 163, -f - 4*g = -l. Let w = -22 + f. Does 9 divide w?
True
Let u(o) = o**3 + 4*o**2 - 3. Let n be u(-4). Let d be -7*(0 + n + 4). Let l = d + 20. Does 5 divide l?
False
Let u = 320 - -101. Is u a multiple of 4?
False
Let w(t) = -22*t + 6. Let o be w(-2). Suppose -m + 17 + 58 = l, 0 = -l + 4*m + o. Suppose -l = -x - r, -r + 5 = 10. Does 12 divide x?
False
Suppose -4*v = -2*u + u + 9, u - 7 = 2*v. Suppose 4*g - 2*g = u*a + 249, -4*g - 3*a = -459. Is g a multiple of 13?
True
Is 33 a factor of 5 + (-800)/((-5)/1)?
True
Let n be ((-3)/2)/((-9)/(-96)). Let h(i) = -3*i + 19. Is h(n) a multiple of 16?
False
Does 47 divide (10/3)/(4*3/2754)?
False
Let d(b) = b**3 + 9*b**2 - 10*b + 12. Let h = 49 - 58. Does 13 divide d(h)?
False
Let j(t) = 8*t + 5. Let r be j(7). Let n = 23 + r. Is n a multiple of 7?
True
Suppose 0 = 2*r + 3*a - 19, 4*r - 3*a - 2*a - 5 = 0. Suppose 3*z + v - 12 = 12, r*z - 30 = -5*v. Let i(p) = p**3 - 10*p**2 + 12*p + 1. Is 18 a factor of i(z)?
False
Let y(i) = i**2 + 8*i + 9. Suppose -q - q = -3*w + 26, 2*q + 34 = 5*w. Let d be y(q). Let o(s) = 13*s - 2. Is o(d) a multiple of 12?
True
Let h(k) = -2*k + 1. Let q be h(3). Let y(i) be the second derivative of i**5/20 + 5*i**4/12 - i**3/2 - 3*i**2 - i. Is y(q) a multiple of 9?
True
Let z be -97*((-8)/(-10))/((-8)/100). Suppose z = 5*l - 4*i, 0 = 3*l - 15*i + 13*i - 584. Does 17 divide l?
False
Let g(r) = -34*r - 52. Is g(-27) a multiple of 28?
False
Suppose o - 9*o - 224 = 0. Let u = 28 + o. Suppose u = 2*t + 3*z - 71, -4*t - 5*z = -2*z - 127. Is t a multiple of 14?
True
Let b be (((-6)/(-4))/1)/((-9)/660). Let a = b + 132. Is a even?
True
Let c = -88 - -267. Let r = c + -103. Is r a multiple of 19?
True
Is 76 a factor of (-1)/3 + 12/(288/18248)?
True
Suppose 3*q + 7 = w, -w + 11 = -2*q - 3*q. Is w/(-3) - 735/(-45) a multiple of 16?
True
Let q(s) = 3*s**2 + 5*s - 8. Let y be (7 - (2 + 0))*-1. Let x be q(y). Let g = 12 + x. Is g a multiple of 9?
True
Let n(p) = p**2 - p - 2. Let l be n(3). Suppose l*u + m - 13 - 250 = 0, u = 4*m + 70. Is 6 a factor of 12/u - 196/(-11)?
True
Let m(l) = -2*l - 6. Let n be m(-4). Suppose a - 7 = -n. Suppose -53 = -2*o - a*q - 18, 2*o - 42 = 2*q. Does 10 divide o?
True
Let z(o) = o + 8. Suppose -w - 2 = v + 7, 0 = 4*v - 4*w + 12. Let h be z(v). Suppose -4 = -b + h. Does 6 divide b?
True
Let r(p) = 31*p + 1. Let q be 8*((-36)/(-16) - 2). Is 9 a factor of r(q)?
True
Is 118 a factor of (-91126)/(-140) + -14 - (-2)/20?
False
Is 10 a factor of 3/2*(-1 + 32 + 7)?
False
Let b(f) = f**2 - 3*f - 6. Let p(r) be the second derivative of r**4/12 + 3*r**3/2 + 5*r**2 + 2*r. Let x be p(-7). Is b(x) a multiple of 5?
False
Let c(a) = 29*a - 333. Is 11 a factor of c(68)?
True
Let u = 57 + 3. Is 4 a factor of u?
True
Let g(w) = 2*w**3 + 26*w**2 - 9*w - 5. Is 33 a factor of g(-9)?
False
Let z(l) = -58*l + 544. Does 54 divide z(-26)?
True
Let c(f) = 4*f - 25. Let g = 29 + -18. Is 19 a factor of c(g)?
True
Let t be (-4)/(-22) - (-5096)/44. Suppose 0 = -3*s - 2*s + 555. Suppose -h + s = 2*h + 3*o, 4*o = -3*h + t. Is h a multiple of 11?
False
Let f be 11*3*4/12. Suppose p - 5*z + 233 = 5*p, 4*z = 5*p - 322. Suppose p = g - f. Is 12 a factor of g?
False
Suppose -2*m + 7 + 1 = 0. Let h be (-135)/(-36) + (-1)/(-4). Suppose 3*s = -m*j + 6*s + 11, -h = 4*s. Is j a multiple of 2?
True
Let j(m) = m**3 + 7*m**2 - 13*m - 9. Is j(-7) a multiple of 26?
False
Suppose 731*i - 726*i + 17040 = 5*u, -3*u + 10224 = 2*i. Is u a multiple of 21?
False
Let g(d) = 9*d**3 - d**2. Let n be g(1). Let x(p) = -p + 14. Let b be x(14). Suppose 4*s - s - 2*a - 151 = b, -n = 4*a. Is 13 a factor of s?
False
Let t(v) = 303*v**3 + 2*v**2 - v - 1. Let b be t(1). Let d = b + -165. Is d a multiple of 23?
True
Suppose -15*a + 168 = -7*a. Does 21 divide a?
True
Let u(z) = z**3 + 18*z**2 + 17*z + 44. Is u(-13) a multiple of 14?
False
Suppose -3*d + 4*a = -18, d + 3*a + 5 = -2. Suppose 3*b - 20 = -2*b, 2*z = d*b + 46. Is z a multiple of 11?
False
Let w(a) = 44*a - 197. Is 9 a factor of w(10)?
True
Does 9 divide (-458)/(-3)*(-3 - 63/(-14))?
False
Let v(c) = c**2 - 1. Let j be v(9). Let n(u) = 2*u**3 + 6*u**2 + u - 5. Let p be n(-4). Let i = p + j. Is 13 a factor of i?
True
Suppose 6*z + 32 = 2*q + 2*z, 0 = -5*q + 3*z + 87. Let w be (-64)/6 - 3/9. Let s = w + q. Does 7 divide s?
True
Let z be 1 - (-5 - -2) - -426. Suppose -4*d + 5*v + 127 + 200 = 0, 5*d - z = 2*v. Does 22 divide d?
True
Let s(d) be the third derivative of 17*d**4/24 - 7*d**3/2 + 16*d**2. Does 8 divide s(4)?
False
Does 21 divide (-28)/98 - (-5812)/7?
False
Suppose 2*p = 4*d - 13 - 35, 0 = d + 2*p - 22. Suppose -1342 = -d*x + 114. Is x a multiple of 8?
True
Suppose 0 = 4*g + p - 3389, p = 3*g + 3*p - 2543. Suppose -6*d = 253 - g. Is 9 a factor of d?
True
Let x(a) = 172*a**3 - 2*a**2 - 3*a + 4. Let t be x(1). Let z = t - -4. Does 37 divide z?
False
Let v(j) be the second derivative of -7*j**3/6 - j**2/2 + 5*j. Let o be v(1). Does 11 divide (-90)/o + 6/(-24)?
True
Suppose -5*z - 250 = -q, 2*z - 690 = -3*q + 5*z. Is q a multiple of 38?
False
Suppose -2*q - 2*s - 14 = -3*q, -5*s = 3*q + 2. Suppose q - 26 = -2*a. Suppose 2*k + a*f - 14 = 5*f, 4*k - 4*f - 28 = 0. Does 2 divide k?
False
Let b = -579 + 872. Suppose -7*k + 8 = -b. Does 12 divide k?
False
Is 37/(-111) - (1 - 3994/3) a multiple of 95?
True
Let l = 164 - 92. Let c = l + -56. Is c a multiple of 16?
True
Let l = 157 + 868. Does 20 divide l?
False
Suppose -5*q + 72 = -3*j, 0 = -3*j + q + q - 63. Let v = 28 + j. Is 9 a factor of v/(-3) - (-44 + -2)?
False
Let y(t) = 33*t**2 + 6*t + 5. Let w be y(-3). Suppose 196 = 4*u - 3*m - 141, -4*m = 3*u - w. Does 11 divide u?
True
Let v(h) be the third derivative of -h**4/24 - h**3/3 + 6*h**2. Let q be v(-6). Suppose -1 = -k - 6, -q*f = 5*k - 223. Does 16 divide f?
False
Let g = 25 + -23. Suppose 5*m + 4*z = 222, -3*m + z + 129 = g*z. Is 14 a factor of m?
True
Let j(b) = -20*b**2 - 4*b - 2. Let z be j(-2). Let a = z - -141. Is a a multiple of 21?
False
Let p = 1634 + -1650. Let z be ((-32)/6)/((-1)/6). Let b = p + z. Is 16 a factor of b?
True
Let f be -16 + 15 + (-4)/2. Let w(t) = -2*t**3 + 3*t - 7. Is 5 a factor of w(f)?
False
Let g(t) = -51*t - 10. Is g(-3) a multiple of 9?
False
Let j(q) = 256*q + 46. Is 25 a factor of j(7)?
False
Let c(q) = -q**3 - 61*q**2 + 4*q + 244. Let t be c(-61). Let d = -67 - -138. Suppose -4*j - 4 = t, -2*m + 0*m + j = -d. Is 14 a factor of m?
False
Let r be (3 + -1)/(1 + 0). Let l(i) = 8*i**2 + 10*i - 10*i**2 + i**r - 2. Is 22 a factor of l(4)?
True
Let w be -25 - (4 + 2 + -4). Let y = w + 41. Does 15 divide (-634)/(-14) + y/(-49)?
True
Suppose -3276 = -3*n - 10*n. Suppose 2*m = -s + 240, -6*s - n = -2*m - s. Is m a multiple of 48?
False
Is 6 a factor of 