
True
Suppose 0 = 2*x + 2*x - 4*m + 20, -x + 3*m = 15. Let c = 22 - x. Is 14 a factor of c?
False
Let i(v) = 4*v**2 - v**3 + v**2 + 6*v**2 - 8 - v**2 - 11*v. Let u be i(10). Let h = u + 182. Is h a multiple of 19?
False
Suppose 8*c = -3*c + 528. Is 17 a factor of c?
False
Let j = 788 - 518. Is j a multiple of 4?
False
Let j(k) = -k**3 - 9*k**2 - 11*k - 27. Is j(-9) a multiple of 6?
True
Let a be (-3*11)/((-15)/10). Let p be (-6)/(-1) - (-2 + 2). Suppose -i + a + p = 0. Does 15 divide i?
False
Let u(y) be the second derivative of y**3/6 + 23*y**2 + 13*y. Let i(a) = a**3 - 3*a**2 - 3*a - 4. Let c be i(4). Is u(c) a multiple of 23?
True
Let v(n) = -n**2. Let k(c) = 2*c**2 - 3*c - 28. Let i(d) = k(d) - v(d). Is 14 a factor of i(7)?
True
Is 2 + 0*1/6 + 183 a multiple of 37?
True
Let c(s) be the second derivative of s**4/12 - 11*s**3/6 + 11*s**2/2 - s. Let z be c(10). Is (-6)/(2 + z) + 15 a multiple of 13?
True
Suppose -1461 - 2011 = -7*b. Does 8 divide b?
True
Let c be (0 - -3) + 12/(-4). Let y = c - -8. Is 14 a factor of 3*21/36*y?
True
Let w be -5 - -11 - (0 - -2). Is 16 a factor of ((-6)/w)/(30/(-760))?
False
Suppose 3*o - p = o + 355, -20 = 4*p. Suppose -3*k - 4*k + o = 0. Is 25 a factor of k?
True
Let k(l) = -95*l**3 - l**2 + l - 1. Is k(-2) a multiple of 45?
False
Let w(d) be the second derivative of -d**5/20 - 13*d**4/12 - d**3/2 + d**2/2 - 16*d. Is 5 a factor of w(-13)?
True
Suppose 3048 - 11067 = -81*n. Is 9 a factor of n?
True
Suppose -3*h - 952 = -4*i, -i = 5*h - 45 - 170. Let x = i - 115. Does 33 divide x?
False
Let n = -52 - -195. Is n a multiple of 9?
False
Let g = -11 - -17. Does 13 divide 2/((g/(-195))/(-1))?
True
Suppose -43*t = -20*t - 5060. Does 22 divide t?
True
Suppose 0 = -r - 7*j + 3*j + 49, -3*r = -j - 134. Suppose -21 = -3*p + r. Does 27 divide (-592)/(-11) + 4/p?
True
Suppose -2*d - i + 667 = 11, -2*d = -3*i - 664. Does 47 divide d?
True
Suppose -4*r = 4*s + 12, s = -4*s - 3*r - 7. Let p = 1 + s. Does 3 divide 4 + p + (-4)/4?
False
Suppose 4*a - 243 = -3*s, 4*a - 4*s - 111 = 153. Is a even?
False
Suppose a + a - 4*z = 0, -5*z + 22 = 3*a. Suppose 3*d = -0*d - a*y + 88, 3*d - 5*y - 52 = 0. Is 7 a factor of d?
False
Let g be (39/(-52))/((-6)/32). Suppose 2*n + g*c = 222, -n - 4*c = -4*n + 303. Is 10 a factor of n?
False
Let c(q) = -q**3 + 10*q**2 + q - 7. Suppose -3*l - 8 = 7. Let z be (18/l)/(8/(-20)). Is c(z) a multiple of 27?
False
Suppose 4*w - 2*o + 262 = 0, -2*w = -0*w + 2*o + 128. Is w/(-2)*(-36)/(-10) a multiple of 13?
True
Let n(b) be the third derivative of -b**8/6720 - b**7/840 + b**5/120 + 3*b**4/8 - 9*b**2. Let d(x) be the second derivative of n(x). Does 11 divide d(-5)?
False
Let d(u) = -5*u - 1. Let t be d(2). Let c(z) = -z**3 - 11*z**2 - 4*z + 1. Does 15 divide c(t)?
True
Suppose r = -0*j + 4*j + 143, -5*r + j + 639 = 0. Suppose 4*b - 3*b = -3*i + 19, -4*i = b - 24. Suppose -b*h + 109 + r = 0. Is 24 a factor of h?
False
Let g(m) be the third derivative of 11*m**5/60 - m**4/8 - m**3/3 + 8*m**2. Let v be g(-1). Suppose 3*p - 12 - v = 0. Is 8 a factor of p?
True
Suppose -542 = -5*i - 2*r, 0 = 3*i - 2*r + 171 - 509. Is i a multiple of 5?
True
Suppose -16*o + 510 = -11*o. Suppose a - 174 = 2*f, 69 = a - 3*f - o. Is a a multiple of 15?
True
Let l = 10 + -10. Suppose -2*r = 2*n - 416, -3*n + l*r = -4*r - 652. Is n a multiple of 34?
False
Let u = 392 + -171. Is 4 a factor of u?
False
Let n(f) be the second derivative of f**3/6 + 3*f**2 - 2*f. Is n(-3) a multiple of 3?
True
Suppose -9*w + 8 = -5*w. Suppose 4 = 4*n - 4*m, 4*m - 3 = -n - w*n. Is (n - -2) + (-13 - -13) a multiple of 2?
False
Is (198/8 - 4)/(4/48) a multiple of 4?
False
Let l = 1 + 3. Let w(z) = 22*z - 8. Does 20 divide w(l)?
True
Suppose 0 = 3*g + 3*m - 0*m - 99, 0 = -4*g - 5*m + 130. Is ((-504)/98)/((-2)/g) a multiple of 15?
True
Is (-4)/(-10) + 4763/55 a multiple of 30?
False
Let r = 121 + -70. Is 1*(-6 + 2) + r a multiple of 16?
False
Let m(g) = g**3 + 18*g**2 + 6*g + 30. Is m(-15) a multiple of 41?
True
Suppose 2*l = 23 + 3. Let m = l - 1. Is 4 a factor of m?
True
Suppose 0 = 5*k + 3*h - 5017, 2*h = 3*k - 1877 - 1118. Is k a multiple of 31?
False
Suppose -q + 5*m = -23, 3*m + 0*m + 12 = 0. Does 18 divide (q/(-9))/((-5)/285)?
False
Is (6/(-3))/(22/(-14113)) a multiple of 86?
False
Let m = 2038 - 868. Is m a multiple of 45?
True
Is 15 a factor of 961 + 61 - 2/(-2)?
False
Suppose 116*u = 101*u + 3780. Is u a multiple of 27?
False
Suppose 3*c + 10*c = 3185. Does 9 divide c?
False
Let k = 18 + -3. Does 14 divide (-5)/(k/9) - -45?
True
Let k(o) = 0*o - 2*o - 8*o - 47 - 4. Is 2 a factor of k(-6)?
False
Suppose 2*v - 92 = -3*a + a, -4*v - 16 = 0. Let d be 20/a + 26/10. Suppose -b = q + d*q - 75, 2*q - 55 = 3*b. Is 20 a factor of q?
True
Let f be (-84)/12*26/(-2). Let u = -63 + f. Let d = 33 - u. Is d even?
False
Let i = -36 + 404. Does 16 divide i?
True
Let o(g) = -g + 52. Let f be o(0). Let q = -45 - -48. Suppose -q*v = -v - f. Is v a multiple of 13?
True
Suppose g - 2*i + 35 = 0, 0 = -3*g + 4*g + i + 29. Let a = -51 - g. Is (16/a)/(2/(-85)) a multiple of 10?
False
Let u(j) be the second derivative of -4*j + 1/4*j**4 - 7/6*j**3 + 0 + 5/2*j**2. Is 15 a factor of u(5)?
True
Suppose -1 = 2*b - 7. Suppose b*o = -2*o + 80. Does 10 divide (-20)/(-10) + (o - 0)?
False
Suppose -7*w + 8*w = 4. Suppose -2*r + 11 = 5*h, -h - 4 = -5*h - w*r. Suppose 4*l = 2*t - 36, 0 = h*t - 5*l - 31 - 21. Is 14 a factor of t?
True
Suppose -7*o + 8*o - 249 = 0. Let u = -153 + o. Is 19 a factor of u?
False
Let u = -3 - 0. Let a(x) = 24*x**2 - 8*x + 1. Does 18 divide a(u)?
False
Let q = -25 + 27. Suppose q = v - 2*v. Is 11 a factor of -3*(v - 21 - -4)?
False
Suppose -3*p + 18 = 3*f, 2*f + 3*f - 6 = 3*p. Suppose -p*b = -5*h - 84, 2 = 5*b + 12. Does 26 divide ((-33)/(-2))/((-9)/h)?
False
Let i = 506 - 67. Is 40 a factor of i?
False
Let z(q) = 7*q + 21. Let m be z(-3). Let a(i) = 2*i**3 + i**2 + 4*i + 28. Is a(m) a multiple of 11?
False
Let j be ((-40)/(-10))/(4/(-46)). Let y = -49 - -122. Let d = j + y. Does 9 divide d?
True
Let y(z) = z**3 - 8*z**2 - 7*z - 20. Let u be y(9). Is 12 a factor of -24*(u - -10)/(-4)?
True
Let p = 25 - -13. Suppose y + 5*l - p = 0, y + l - 4*l = 22. Is 7 a factor of y?
True
Suppose -4*h = -4*j + 1100, 9*h - 12*h = -2*j + 545. Is j a multiple of 14?
True
Suppose 0 = -16*s + 7*s + 36. Suppose -5*c + 9*c - 149 = -5*u, s*c = -4*u + 120. Is 19 a factor of u?
False
Suppose 36 = -7*t + 11*t. Let u be (-2)/(6/t) - -17. Suppose 28 + 12 = 5*v + 2*d, 2*d + u = 4*v. Is v a multiple of 3?
True
Suppose 4*f = 1659 + 893. Is 58 a factor of f?
True
Let r be 4/((-9)/(-6) + 56/(-16)). Let o(w) = 8*w**2 - 4*w - 10. Is 2 a factor of o(r)?
True
Let s = 81 - 85. Is 28 a factor of (-1 + 67/3)*(-21)/s?
True
Suppose -2*u = -2*q + 4, -4*u - 6 = -3*q - 0. Suppose -q*f + 3*k + 21 = -2, -4*k - 36 = -4*f. Is 8 a factor of f - ((3 - 14) + 1)?
False
Let d(h) = 28*h**2 - 3*h - 7. Let w be d(-4). Suppose 3*v = 5*z - 3*z + 465, 0 = -3*v - 2*z + w. Is 30 a factor of v?
False
Does 27 divide 8/(24/897) - (-4)/2?
False
Is (-1)/(28/(-15952)) - 14/(-49) a multiple of 19?
True
Let x be (5/2)/(10/60). Suppose -x + 270 = 4*s - u, u + 319 = 5*s. Is s a multiple of 16?
True
Suppose 4*w + 49 + 14 = 3*x, w + 4*x + 30 = 0. Let f = 15 - w. Suppose -113 + f = -5*h. Is h a multiple of 7?
False
Suppose 0 = -22*c + 17*c + 160. Is c a multiple of 5?
False
Let s(z) = z - 8. Let n be s(10). Suppose -w - 4*v = -n*v - 13, -16 = 4*v. Is w a multiple of 9?
False
Let p be 760/4 + (-2 - 2). Suppose i = -2*i + p. Suppose 2*t = -5*g + 77, 2*t = -0*g - 4*g + i. Is 4 a factor of g?
False
Is 16 a factor of 259/35 + -7 - (-1293)/5?
False
Let x = 389 - 281. Is x a multiple of 8?
False
Does 28 divide ((-18)/12)/(27/(-29790))?
False
Let r(a) = -a**2 + a + 15. Let i be r(0). Let x = -3 + i. Suppose 9*c = x*c - 54. Does 18 divide c?
True
Suppose -3 = 4*n + 3*g, 5*n - g = -4*g. Suppose -3*a + 5*a - 34 = 3*d, -n*d = 3*a - 36. Is 8 a factor of a?
False
Let a(m) be the first derivative of -m**4 - 2*m**3/3 - m**2/2 - m - 6. Does 22 divide a(-2)?
False
Let j(p) = p**2 - 2*p - 25. Let o be j(-12). Suppose 2*y - 262 = -5*f - 47, -3*f + o = 4*y. Is f a multiple of 23?
False
Suppose 25*x - 3536 = 17*x. Is x a multiple of 26?
True
Let p = 47