ue
Let q(w) = 5*w**2 - 7. Let p(k) = -k**2 + 4*k - 4. Let x be p(4). Let f be q(x). Let a = f + -17. Does 14 divide a?
True
Let y be (3/3)/(4/8). Suppose 0 = -g + z + 12, -g + y*z = -4*g + 26. Does 5 divide g?
True
Suppose -2*q + 0*q + 464 = 0. Suppose 3*y = 2*i + q, y - 161 = -y - 5*i. Does 27 divide y?
False
Suppose -10*y + 5595 + 8235 = 0. Is y a multiple of 56?
False
Suppose -3*w - 4*b = -115 - 134, 94 = w + 5*b. Does 4 divide w?
False
Let r = 1947 - 1522. Is r a multiple of 8?
False
Is 2 a factor of 248 + (-3 - -1) - 11?
False
Let p = 27 + -7. Let n = 23 - p. Suppose -4*s + 2*q + 194 = 0, -3*s + s - n*q = -85. Does 16 divide s?
False
Does 77 divide 465 - (-3)/((-5)/5)?
True
Let k(f) be the second derivative of f**4/12 + 5*f**3/2 + 27*f**2/2 - 13*f. Is k(-15) a multiple of 27?
True
Does 11 divide ((-72)/108)/((-1)/(-759)*-2)?
True
Let n(z) = 38*z - 18. Let q be n(6). Does 18 divide (-204)/10*q/(-63)?
False
Let t(o) = o**3 - 6*o**2 + 5*o. Let x = 38 + -16. Let f = x - 16. Is 10 a factor of t(f)?
True
Suppose 177 = 6*f + 9. Suppose f = 2*w - 4*m, 5*w - 2 = -4*m + 26. Is w a multiple of 8?
True
Let n(j) = 102*j**2 + 4. Let l be n(-2). Suppose -2*a = -g + 141, 3*g - 3*a = -8*a + l. Is 30 a factor of g?
False
Let u(g) = 9*g**2 - 2. Let l be u(-1). Is 36 a factor of (l + -13)*94/(-4)?
False
Let t(f) = -15*f**2 - 297*f - 8. Is t(-19) a multiple of 4?
True
Suppose q - z - 13 = 0, -z + 14 = q + 3. Suppose -6*b + q*b = 126. Is b a multiple of 21?
True
Suppose -23*l = -13*l - 4500. Does 6 divide l?
True
Suppose -57*x + 40860 = 3*x. Is 5 a factor of x?
False
Suppose -150150 = -12*v - 43*v. Is v a multiple of 30?
True
Let l(r) be the first derivative of 3*r**2 + 17*r + 4. Is 11 a factor of l(9)?
False
Let j = 54 + -37. Let n(b) = b**3 - 16*b**2 - 14*b - 5. Is n(j) a multiple of 11?
False
Let v = 268 + -26. Is v a multiple of 11?
True
Suppose 0*w = 6*w. Suppose w = i - 4 - 1. Is 4 a factor of i?
False
Let a(q) = q**3 + 16*q**2 - 20*q + 36. Suppose -2*x + 11*l - 31 = 10*l, -3*x + 3*l - 42 = 0. Does 17 divide a(x)?
False
Let k(u) be the second derivative of -31*u**3/6 - 11*u**2 + 4*u. Is 19 a factor of k(-5)?
True
Suppose 0 = 3*a - j - 4949, 13*a + j = 17*a - 6600. Is 13 a factor of a?
True
Let k be ((-372)/(-12))/(2/2). Suppose -2*l + l + k = 0. Is 28 a factor of l?
False
Let t = 10 + -6. Is (-24)/(-15)*(-10)/t + 6 a multiple of 2?
True
Suppose 190 = 4*r - 174. Let u = 146 - r. Is u a multiple of 11?
True
Suppose -4*c - c = -15, 3*f = -5*c + 1233. Is 29 a factor of f?
True
Is -77*4*(-50)/40 even?
False
Let k = 8 + 360. Is k a multiple of 12?
False
Let j(z) = 5*z**3 - 2*z**2 - z. Let p be j(-1). Does 14 divide ((-252)/27)/(4/p)?
True
Let b(w) = -2*w + 1. Let o be b(-4). Suppose c + o = 4*c. Is (-15)/(10/4 - c) a multiple of 10?
True
Let m be (-24)/(-9)*21/(-14). Let x be (-1)/(825/(-205) - m). Let t = x + 31. Does 12 divide t?
True
Suppose -3*p - 3*y = -9, y = -4*p - 2*y + 10. Let n be 3/9 + p/(-3). Suppose 5*b - 105 = -n*b. Is 21 a factor of b?
True
Let r(x) = -23*x**2 + 2*x + 4. Let g be r(-2). Let o = g + 162. Does 14 divide o?
True
Suppose -k + 646 = 4*k - h, k - 122 = 2*h. Let a = 206 - k. Does 11 divide a?
False
Let y(b) = b**2 - 18*b + 10. Let j be y(18). Let z = j - -7. Does 17 divide z?
True
Let b be (-11 - (-4 + 4))*-15. Let o = b + -116. Does 2 divide o?
False
Suppose 0 = -81*f + 103*f - 25520. Does 21 divide f?
False
Let c(n) be the second derivative of 17*n**3/3 - 21*n**2/2 + 43*n. Is c(10) a multiple of 11?
True
Let q be (1 + 0)*(-6)/(36/78). Let w(h) = -h**3 - 11*h**2 + 15*h + 11. Does 15 divide w(q)?
False
Suppose 2*x + x = -5*v + 17, x = 4*v. Let y(h) = h**2 - h + 2. Let b be y(v). Is 17 a factor of (b - 2) + -2 + 19?
True
Let j = 2 + -1. Let o(y) = y**3 - 9*y**2 + 18*y + 2. Let f be o(6). Suppose 4*s = -2*i, -1 = -2*i - f*s + j. Does 2 divide i?
True
Suppose 4*r - 1376 = 864. Is 70 a factor of r?
True
Suppose -9*f + 364 = 4*f. Is 3 a factor of f?
False
Let v be -2 - (-7)/((-21)/(-90)). Let o be (-42)/(-4 - -3) - 1. Let j = o - v. Does 8 divide j?
False
Let q(k) = -5*k**3 + 11*k - 64. Is q(-8) a multiple of 28?
True
Is 7 a factor of (17/51)/((-1)/(-84)*2)?
True
Let j = 2 + 16. Let u = 61 + j. Let p = u - 49. Is p a multiple of 10?
True
Let u = 12 - 3. Suppose -17*r + u = -14*r. Is 5 a factor of 5*(-2 + (r - 0))?
True
Let g be (-16)/(-10) - 6/(-15). Suppose g*k = 5*k - 780. Suppose 5*d - 260 = 2*x, -d = -6*d - 5*x + k. Does 13 divide d?
True
Let d(m) = 2*m**2 + 12*m + 2. Let g be d(-6). Let b(j) = 3*j - 1. Let c be b(g). Suppose -3*l + 4*o - 50 = -4*l, -5*l + c*o + 250 = 0. Is l a multiple of 12?
False
Let v = 34 + -29. Suppose -v*c = 2*f - 106, 5*f = f - 8. Is c a multiple of 19?
False
Is 26 a factor of 429/11*(-3)/((-18)/4)?
True
Suppose 0 = 3*a - 5*x, 0 = -a + 2*a + 3*x. Suppose 3*n = 3*s - 12, a*s = -4*n + s - 4. Suppose -5*q = 3*r - 33, n = -4*q - r - 0*r + 32. Is 4 a factor of q?
False
Suppose 2*j = -2*x - 0*x - 120, -20 = 5*x. Is (j/6 + 0)/((-10)/105) a multiple of 14?
True
Is 52 a factor of (8/12)/(20/6870)?
False
Does 8 divide (0 + -1 + -1)/(28/(-5642))?
False
Let n(g) = -3 + 4 - 3 + 1. Let b(y) = y**2 + y + 38. Let m(p) = b(p) + n(p). Is m(0) a multiple of 17?
False
Suppose 25*s = 3*f + 29*s - 1322, s - 1325 = -3*f. Is f a multiple of 34?
True
Let y(q) be the third derivative of 17*q**4/8 + 17*q**3/6 - 14*q**2. Does 13 divide y(4)?
True
Suppose -4*y + 45 = y. Let u = y - 4. Suppose -u*l = 20, 0*w = 4*w + 3*l - 560. Does 36 divide w?
False
Suppose 5*m - 98 = 492. Let o be m*(-3 - -4)/2. Let q = o + -30. Does 6 divide q?
False
Let l(r) = r**3 - 5*r**2 - 6*r - 3. Let u be l(6). Let m(a) = -32*a. Let n be m(u). Suppose -5*j + 2*j + n = 0. Is 9 a factor of j?
False
Let x be (-2)/(-6) + (-106)/(-6). Suppose -4*q = -c - 23 - 104, -3*c - x = -q. Does 7 divide (-3 - (3 - q)) + 1?
True
Let o be -1*3*(3 + (-148)/(-12)). Is 5 a factor of 6*(o/(-6) + -1)?
True
Let l be ((-20)/(-8) - 4)*-2. Suppose 0 = l*q - 609 - 21. Is 30 a factor of q?
True
Suppose -3 - 9 = a. Let r be 1/(-1*4/a). Suppose w + 91 = 2*g, -r*g + 4*g = -3*w + 56. Does 18 divide g?
False
Let b = -13 + 14. Suppose s + b + 3 = 0. Let n(z) = z**3 + 5*z**2 + 2*z + 3. Is 11 a factor of n(s)?
True
Does 12 divide 8/52*-1 - 940/(-26)?
True
Suppose -922*r + 765 = -905*r. Is r a multiple of 6?
False
Let s(u) = u**2 - 7*u + 5. Let j be s(6). Let r(t) = -15*t. Is r(j) a multiple of 7?
False
Let m(g) = -5. Let u(d) = -d. Let v(p) = -m(p) + u(p). Let z be v(-7). Let b = 6 + z. Is 18 a factor of b?
True
Let l(b) = 2*b**2 + 9*b - 13. Is 5 a factor of l(4)?
True
Suppose -6 = -2*q, -846 = -7*j + 2*j - 2*q. Does 13 divide j?
False
Let o = 16 - 10. Let l(j) = 10 + 19 - 8*j - 6 - o. Is l(-8) a multiple of 15?
False
Let x be (0 - 10)/((-28)/(-12) + -2). Suppose -5*c + 2*l = -98 + 38, -36 = -3*c + 4*l. Is x*(20/c)/(-5) a multiple of 5?
True
Suppose 4*n - 34 + 8 = 3*m, 30 = 4*n - 5*m. Suppose -n*r + 60 = -0*r. Is 4 a factor of r?
True
Let l = -17 + 28. Let x = l - 5. Is 368/x - 1/3 a multiple of 21?
False
Let h be (0 - 1 - 1)/(2/16). Does 42 divide 1 - -270 - h/(3 + 1)?
False
Suppose -i - 40 = 3*x, 4*x + 3*i + i = -40. Let t be (-36)/x*(-10)/(-3). Suppose 2*m - 74 + t = 0. Is 11 a factor of m?
True
Let s = 207 - 141. Suppose 3*n = -m + s + 18, -3*n = 2*m - 174. Is m a multiple of 8?
False
Suppose 9649 = 56*c - 25071. Does 62 divide c?
True
Suppose 6*v = 56 + 4. Suppose -v = -q - 0*q. Does 5 divide q?
True
Suppose 0 = 6*m - 7*m + 3*q + 894, -6 = 3*q. Is 12 a factor of m?
True
Let k(m) = 73*m + 132. Is k(14) a multiple of 22?
False
Is ((-1442)/(-2) + -1)*(-468)/(-624) a multiple of 20?
True
Let n = -1052 - -1898. Does 22 divide n?
False
Let s(r) = 1020*r**3 + 3*r - 4. Is 15 a factor of s(1)?
False
Let c(g) = 2*g**2 + 4. Let l be c(-4). Does 18 divide l + 1 + 9 + -10?
True
Suppose 4*s = 2*s + 24. Suppose 0 = 5*z + 4*c + 2, 4*c - 9*c - 15 = 0. Suppose s = z*q + 2. Is q a multiple of 2?
False
Suppose 2*t = -5*y + 3381, 5*t = -3*y + 18 + 2003. Is 14 a factor of y?
False
Suppose -2*v = 3*g - 117, -2*v - 5*g = -124 + 17. Is v a multiple of 3?
True
Suppose 0 = -44*r + 56*r - 9408. Is r a multiple of 18?
False
Suppose 3*y + y - 3408 = 0. Is y a multiple of 6?
True
Suppose -109*w + 104*w + 4780 = 0. Is 13 a 