 multiple of 34?
False
Suppose -3*c - 89 = -4*f, 7*c - 2*c = 3*f - 64. Is f even?
False
Let t(a) be the third derivative of -a**5/60 - 13*a**4/12 + 26*a**2. Does 28 divide t(-14)?
True
Suppose 0 = 3*d - 5*d + 1368. Let o = d + -426. Does 43 divide o?
True
Suppose z - 656 = -3*z. Suppose 12*t = 14*t - z. Is t a multiple of 19?
False
Let a(f) be the second derivative of -10*f**3/3 - 14*f**2 + 26*f. Is a(-7) a multiple of 12?
False
Suppose -2*o + k = -7*o - 25, -3*o - 3*k = 27. Let a = -7 - -12. Does 7 divide (-567)/(-35) - o/a?
False
Suppose 4*a - 338 = 490. Is a a multiple of 12?
False
Suppose 69*s = 67*s + 12. Suppose -37 - 23 = -s*p. Is p a multiple of 5?
True
Let g be (-14382)/108 + 1/6. Does 19 divide g*3/(-9)*3?
True
Suppose 0 = 65*c - 3427 - 13148. Is 17 a factor of c?
True
Let c(b) = b**2 - 9*b - 4. Let k be c(7). Let z = k - -36. Does 18 divide z?
True
Let o(w) = 4*w**2 - 3*w - 9. Does 6 divide o(4)?
False
Let i be (-24)/4 - (-5 - -2). Suppose -18 = 4*x - 3*x. Is (-4 - i)*(x - -1) a multiple of 6?
False
Let r = -11 - -30. Suppose 0 = -3*s + r + 5. Does 2 divide s?
True
Suppose 34 + 2 = 9*j. Suppose -j*x + x + 435 = -2*m, -289 = -2*x + m. Is x a multiple of 13?
True
Let t(u) = 9*u - 1. Let l be 3/5 + 6/(-10). Suppose 3*y - 2*b - 25 = -l*y, b - 5 = -y. Is t(y) a multiple of 19?
False
Let o = 4510 + -2930. Is o a multiple of 32?
False
Let a = 1392 + -1034. Is 14 a factor of a?
False
Let m(z) = 26*z**2 - 37*z - 153. Is m(-7) a multiple of 5?
True
Let r be (8/6)/(18/81). Let v(z) = z - 2. Let h be v(r). Let u(n) = -n**3 + 4*n**2 + 2*n + 4. Is 12 a factor of u(h)?
True
Suppose 23*s - 28*s - 2160 = 0. Let i be s/2*12/24. Let q = 206 + i. Is 14 a factor of q?
True
Let p(u) = -2*u**3 - 9*u**2 - 24*u - 112. Is 22 a factor of p(-8)?
True
Let d(g) = -14*g**2 + 5*g - 2 + 3 + 12*g**2. Let y be d(8). Let s = y - -147. Is 17 a factor of s?
False
Suppose 8*t - 12 = 2*t. Suppose -3*n = -t*a - 177, 3*a - 5*a = -n + 55. Is n a multiple of 13?
False
Let s(k) = -5*k**2 - 47*k + 33. Let g(b) = 2*b**2 + 16*b - 11. Let c(y) = -8*g(y) - 3*s(y). Is 6 a factor of c(11)?
False
Suppose -4*c + 1300 = -0*c. Suppose 0 = -6*r + 299 + c. Does 13 divide r?
True
Let l(s) be the third derivative of -s**4/8 - s**3/3 + 4*s**2. Is l(-5) a multiple of 3?
False
Let o = -490 - -840. Does 14 divide o?
True
Suppose 10*n - 2*n - 2424 = 0. Let t = n + -143. Is 16 a factor of t?
True
Suppose 0 = x + 3*z - 570, 0 = -4*x + 95*z - 94*z + 2267. Does 26 divide x?
False
Let v = 858 + 219. Is 37 a factor of v?
False
Suppose 0 = -12*j + 13*j - 33. Let s = 153 - j. Is s a multiple of 26?
False
Is 17 a factor of ((-5887)/(-21))/((-2)/(-6))?
False
Let b(o) = -84*o + 348. Does 39 divide b(-7)?
True
Suppose -2*q = -7*q + 120. Does 6 divide (1*q/2)/2*13?
True
Suppose 5*a - 98 = t, 0 = -2*a + a - 2*t + 24. Is 20/6*150/a a multiple of 5?
True
Let a(n) = -n**3 + 5*n**2 + 0*n**3 + 45 - 11*n**2 + 7*n**2. Does 9 divide a(0)?
True
Let p = 209 - 144. Let a = 3 + p. Does 17 divide a?
True
Is ((-40)/(-48))/((-3)/(-18)) a multiple of 5?
True
Let s(q) be the third derivative of -q**6/120 + q**5/20 - 5*q**4/24 + q**3/6 + 7*q**2. Let c be s(4). Let r = c - -50. Does 7 divide r?
False
Let v(r) = 8 - 1 - 4*r + 0 + 3. Is v(-3) a multiple of 22?
True
Suppose 3*t + 2*t - 35 = 0. Suppose 2*n + n - 3 = 0, -n = 2*o - t. Suppose 0 = h - 5, 4*q + 8*h - o*h = 33. Is 2 a factor of q?
True
Let t(w) = 6 - 46*w + 25*w + 27*w. Does 18 divide t(14)?
True
Let m(t) = t + 8. Let k be m(-4). Suppose k*b + 3*n - 135 = b, 4*b + 5*n = 177. Does 16 divide b?
True
Suppose 53*g - 2381 = 52*g. Is g a multiple of 27?
False
Suppose -14*d + 6660 = 23*d. Is 12 a factor of d?
True
Is 4/(-16) + (-2166)/(-24) even?
True
Let s(m) = 4*m - 5. Let v be (5 - 2)/((-12)/(-20)). Let u be s(v). Suppose u = -4*k + 63. Does 12 divide k?
True
Suppose -5*i - 3*b + 4*b - 217 = 0, i + 33 = -5*b. Let c = i - -103. Does 17 divide 1150/c + 1/(-6)?
False
Let g(h) = 22*h - 1. Let u be g(3). Let m = -25 + u. Is 20 a factor of m?
True
Let r(k) = 4*k**2 - 3*k - 3 + 2 + 0 - 1. Is 11 a factor of r(-2)?
False
Let n be 0*(8/4)/(-4). Suppose 2*l + 89 = -5*c - 49, n = 2*l + 2*c + 150. Is 17 a factor of 2*2 - (l - -9)?
False
Suppose -4*v + 28 = z - 8, 5*v - 2*z = 32. Let r be 6/(-2) - 8/v. Does 12 divide 15 + 2 + (r - 1)?
True
Suppose 2*d = -2*d - 12, 0 = -4*i + 3*d - 99. Let l be (9/i)/((-1)/(-21)). Let q(a) = 2*a**2 + 3*a + 7. Is q(l) a multiple of 18?
False
Suppose s + i + 12 = 0, 4*i = 5*s - 2*s + 29. Let d(f) = -2*f + 14. Is 12 a factor of d(s)?
True
Let o(z) = -67*z - 73. Is o(-6) a multiple of 11?
False
Let r(v) = -v**3 - 14*v**2 - 12*v + 17. Let x be r(-13). Let m(a) = 4*a**2 + 7*a - 13. Is 15 a factor of m(x)?
False
Let n(v) = -4*v**2 - 5*v. Let y be 2/(-2) - (-6 - -8). Let j(r) = r**2 + r. Let t(i) = y*j(i) - n(i). Is t(3) a multiple of 10?
False
Suppose -10*t + 234 + 216 = 0. Is t a multiple of 4?
False
Let x = -21 - -15. Let b(o) = 27 - 3 - 5 - 11 + 3*o**2 + 8*o. Does 17 divide b(x)?
True
Suppose -5*p + 822 = 2*u, 0*u - 4*u = 3*p - 482. Is p a multiple of 4?
False
Let y(m) = m**2 - 9*m + 10. Let o be y(6). Let p = 27 - o. Does 7 divide p?
True
Suppose -2*j - 10 = -3*l, -3*j - l = -4*l + 18. Let y = 197 - j. Is y a multiple of 19?
False
Is ((-3)/(-7))/3 - 2350/(-14) a multiple of 8?
True
Let v(d) = -3*d - 15. Let k be v(-9). Suppose k - 2 = -2*z + 4*l, 0 = 5*l - 20. Is z a multiple of 3?
True
Suppose -5*w - 25 = 3*t - 2*t, -t = w + 1. Let o(d) = -2*d**3 - 3*d**2 + 3*d. Let u be o(w). Suppose 6*l = l + 2*f + u, 196 = 3*l + 5*f. Is 31 a factor of l?
True
Suppose -3*t = -3*f - 354, -63 - 187 = -2*t - 5*f. Suppose 5*g + 2*u + 271 = 0, -2*g - 5*u - 18 - 103 = 0. Let z = t + g. Is 31 a factor of z?
False
Suppose 6 = -g - 2*g. Let m be 2*(-1)/g - -1. Suppose 0 = -5*u + m*u + 2*l + 200, 4*l = -u + 48. Does 14 divide u?
False
Let n = -17 + 30. Let y = n - -29. Is 21 a factor of y?
True
Suppose -3*s + 35 = 2*w - 210, -s = -5*w - 93. Does 5 divide s?
False
Suppose 27*z - 5415 = 24*z - 3*i, -3*z + 5423 = i. Is z a multiple of 129?
False
Let d be (-2)/((-21)/(-49)*2/(-21)). Let x = 75 - d. Is 2 a factor of x?
True
Let s(k) = 14*k - 27. Is 3 a factor of s(6)?
True
Let x(r) = 91*r + 1. Suppose 12*l + 38 = 11*l. Let m = -37 - l. Is x(m) a multiple of 23?
True
Let g be 192/(-18) - (-2)/3. Let v be (g/3)/((-6)/117). Let m = 109 - v. Is 11 a factor of m?
True
Suppose 7*t = 2*t + 130. Let n = 40 - t. Is 7 a factor of n?
True
Suppose 26 = 2*r - 4*r. Let v = r - -15. Suppose -3 = -v*o + 17. Is 10 a factor of o?
True
Let s(h) = h**3 - 6*h**2 - 6*h + 10. Let v be (-9)/3 + 1 + 5*2. Is 17 a factor of s(v)?
False
Let l = -16 + 24. Suppose -l = 4*w - 4*o, -o + 3*o = -w + 1. Is 522/24 + w/(-4) a multiple of 15?
False
Suppose -3*k - 113 = -3*x + 358, -5*x - 2*k + 750 = 0. Suppose 5*b - w - x = 63, w = 3*b - 131. Suppose -b - 39 = -3*h. Is h a multiple of 18?
False
Is 792/15 + 1 + 9/45 a multiple of 9?
True
Suppose -l = 2, -5*c - 188 = -6*c + l. Does 21 divide c?
False
Suppose 3*m = -m + 912. Does 19 divide m?
True
Let p = 421 + -130. Let r = p - 207. Is r a multiple of 21?
True
Suppose 2*m = -2*f - 2*f, 0 = -4*m - f + 21. Let c be (-24)/28*(-28)/m. Suppose -10*a + c*a = -426. Is a a multiple of 18?
False
Suppose -3*n = -122 - 346. Is 13 a factor of n?
True
Let k(t) = -6*t**2 + 2*t + 2. Suppose -4*z = 5*p + 24, 10 = -5*p - 10. Let q be k(z). Is 5 a factor of (-258)/(-18) - 4/q?
True
Let l(c) = c**2 - 13*c - 18. Let y(b) = -b**3 - 2*b**2 + 5*b + 4. Let n be y(-4). Does 5 divide l(n)?
True
Let i(r) be the second derivative of -r**4/12 - 3*r**3 + 25*r**2/2 - 5*r. Is 17 a factor of i(-18)?
False
Let u(h) = 5*h - 62. Let q be u(14). Suppose 0 = -q*g + 7*g + 224. Is 14 a factor of g?
True
Suppose 4*j = -4*f - 12, 5*f + 19 = -3*j - 0*j. Suppose 4*l = -3*t + 292, 4*t - 54 = 2*l - 178. Let k = l - j. Is k a multiple of 17?
True
Suppose 33*o = 29385 - 3249. Is 11 a factor of o?
True
Let t be 1/((-3)/9 + 0). Let d be (0 + (-3 - t))/1. Suppose d*z - 112 = -2*z. Is 14 a factor of z?
True
Let w = -50 - -49. Let o(l) = 41*l**3 - 2*l**2 + 9*l - 3. Let t(q) = -42*q**3 + q**2 - 8*q + 2. Let j(k) = 4*o(k) + 5*t(k). Is j(w) a multiple of 9?
True
Is 8 a factor of (-117)/195 - 2166/(-10)?
True
Suppose 2*k = 171 