1 + 1*55/s. Is y(n) a multiple of 26?
True
Suppose 0 = -4*p + 4, -6*t + 2*p = -7*t + 783. Let g = -529 + t. Is 12 a factor of g?
True
Suppose 3*q - 10 = 4*g, g - 2*g - 9 = -4*q. Suppose 0*a - q*a = -2*y + 8, 8 = 3*y - a. Is 11 a factor of 135/y + 3/(-2)?
True
Let z(j) = -j**3 - j**2. Let f(a) = -a**3 - a**2 - 23*a - 14. Let t(d) = -f(d) + 2*z(d). Let c be t(-6). Is 20 a factor of 1348/7 + (24/c)/1?
False
Let x(b) = -b + 1. Let h = -37 - -39. Let s(i) = -26*i - 10. Let q(w) = h*x(w) - s(w). Does 20 divide q(7)?
True
Suppose -2*c - 903 = -5*t, -812 = -4*t + 4*c - 92. Let x = -129 - -131. Suppose u - t = -x*g, 2 - 3 = -u. Does 10 divide g?
True
Let t be (-1056)/20 + 1/(-5). Suppose 396 = 5*k - 2*g, 4*k + 4*g = 5*k - 72. Let f = t + k. Is f a multiple of 11?
False
Let u be (2678/20)/13*10. Let w = -40 + 65. Let c = u - w. Is 26 a factor of c?
True
Suppose 3*p = -2*o + 56, -70 = -4*p - 3*o - 2*o. Is (p/(-1))/4 - -448 a multiple of 24?
False
Suppose -35*t = -39*t - 2852. Let k = t - -823. Is k a multiple of 9?
False
Suppose 4*j + g - 2*g = -1162, 0 = 3*j - g + 872. Let s = j + 924. Is 85 a factor of s?
False
Suppose -p = f - 4993, -14989 = -48*f + 45*f - 5*p. Does 116 divide f?
True
Let x be (-3)/(18/(-20)) + 52/78. Suppose -4*m - 4 = -5*o, x + 0 = -5*o - 4*m. Suppose 4*y + y - 315 = o. Is 18 a factor of y?
False
Does 23 divide (9 + 3)/6 + 0 + -1 + 2805?
True
Suppose -23*r = -29*r + 4122. Let m = r - 487. Is 25 a factor of m?
True
Let j(t) = 88*t + 104. Let n be j(-1). Let k be ((-6)/(-4))/(6/8). Suppose -5*q = -10, -2*z - k*q - 2*q = -n. Is z even?
True
Let q be (-5)/((-15)/18) - (-1 + -1). Let y = 35 + -16. Suppose y*l = q*l + 209. Does 13 divide l?
False
Let b = -1878 - -4650. Is 132 a factor of b?
True
Let s(q) = 3*q**3 - 3*q**2 + q - 5. Let b be s(3). Let i = -12 + b. Let o = i + -25. Is 15 a factor of o?
True
Let z = -141 - -258. Suppose -116*q - 82 = -z*q. Does 39 divide q?
False
Suppose 3*v - 567 = -2*q - 0*v, 0 = -q - 3*v + 279. Is q a multiple of 6?
True
Let n(y) = -4*y + 488. Is 44 a factor of n(-21)?
True
Suppose -8*k + 3*k = -35. Let w be (-2108)/(-14) + (-4)/k. Let x = 222 - w. Is x a multiple of 24?
True
Suppose -2*n + 15 = 5*a, -4*a + 47 = 4*n + 11. Suppose -n*u - 15 = -13*u. Is 5 a factor of u?
True
Suppose 2*t + 24058 = 2*r, 1545 = -r - 3*t + 13602. Does 236 divide r?
True
Let w(m) = -343*m + 27. Let j(f) = -86*f + 7. Let b(t) = 9*j(t) - 2*w(t). Is 21 a factor of b(-3)?
True
Let x(s) = 5*s**3 - 2*s**2 - 16*s + 144. Is x(5) a multiple of 60?
False
Let v = 371 + -192. Suppose 5*f + 415 = 4*n, -5*n + 4*f + 700 = v. Does 21 divide n?
True
Suppose -24*r - 19 = -19. Suppose -t = -4*l - r*l - 395, 790 = 2*t - l. Does 31 divide t?
False
Suppose 8*o - 7*o - 12 = -2*z, 5*o = -z + 24. Suppose 2*x = 2*p - 1666, -4 = z*x - 12. Does 44 divide p?
False
Let s(z) = -2068*z**3 + 3*z**2 - 1. Does 15 divide s(-1)?
True
Suppose 0 = 3*q - 4*l - 144528, -3*l - 85876 = -2*q + 10475. Does 220 divide q?
True
Let t be 1590/40 + 2/8. Let w = t + 0. Suppose k + 3*k - w = 0. Does 5 divide k?
True
Let s be 120/12 + -15 + (753 - 0). Let f = s - 347. Is f a multiple of 62?
False
Let a(j) = -6*j + 4. Suppose -4*l + 2*p + 10 = -p, 0 = p - 2. Suppose -2*v - l + 2 = 0. Does 8 divide a(v)?
False
Let k be (-57)/(-27) - (-1 - 4)/(-45). Suppose 3*p + k*t - 19 = -2, -2*t + 5 = -p. Let r(q) = 8*q - 1. Does 16 divide r(p)?
False
Suppose 2*a = 21*p - 713 + 15077, -7058 = -a - 5*p. Is 14 a factor of a?
True
Let j be (-4)/((-2 - 0)/(-148)). Let r = j + 401. Is r a multiple of 15?
True
Does 7 divide (-23)/((-138)/15080) + 3/(-9)?
True
Let o(l) = 30*l**3 - 6 + 3 + 0 + 4 + 4*l. Does 27 divide o(2)?
False
Suppose 154*s - 94*s = 236220. Is s a multiple of 13?
False
Suppose 1698*p - 6105 = 1693*p. Is p a multiple of 10?
False
Does 3 divide ((-51)/57 - 13*(-16)/(-1976)) + 724?
True
Let t(q) = -q**3 + 50*q**2 + 64*q - 717. Is t(45) a multiple of 192?
True
Let r(p) = -5*p - 46. Let k be r(-12). Suppose -29*s = -k*s - 3555. Is 23 a factor of s?
False
Is (-49)/931 - (-103038)/19 a multiple of 29?
True
Let s(a) = a**2 + 2*a - 1. Let h(m) = 8*m**2 + 18*m - 30. Let y(i) = h(i) - 3*s(i). Is 26 a factor of y(-11)?
False
Suppose 0 = -6*a - f + 21309, -20*a - 5*f = -25*a + 17740. Does 15 divide a?
False
Is ((2/15)/((-45)/199575))/((-16)/120) a multiple of 178?
False
Let x(k) = 458*k**2 - 2. Let f be x(1). Suppose 4*l + 88 = f. Is 46 a factor of l?
True
Is 13 a factor of 5/(0 - 5)*-173?
False
Is 7 a factor of -13 + (-19 - (11 + -6561))?
False
Suppose 0 = x - 4*o + 9, 0 = -3*x + 2*o + o. Suppose -u + 5*h + 142 = 0, x = -7*h + 4*h. Suppose -u = -5*b + 2*y, 0*b + b = 4*y + 31. Is b a multiple of 9?
True
Suppose 11*b - 10 = 12. Suppose -5*f + 10 = -2*z, 2*f = 6*f - b*z - 6. Suppose f*l - 9 = 3*l. Does 3 divide l?
True
Suppose 4*c = -5*k - 0*k - 32, -3*c - 4*k - 25 = 0. Let v(t) = -22*t**3 + 49*t**3 - 26*t**3 - 7 + t + 5*t**2. Is v(c) a multiple of 8?
True
Suppose 0 = 48*u - 10*u - 24434. Suppose -649*r = -u*r - 2646. Is 3 a factor of r?
True
Let x be ((-1)/1)/((-1)/(-8)). Let a(i) = -10*i**2 - 23*i + 4. Let p(m) = 29*m**2 + 68*m - 11. Let g(q) = 17*a(q) + 6*p(q). Does 6 divide g(x)?
False
Suppose -5*q - 5*q = -81317 + 28787. Is q a multiple of 51?
True
Suppose -27*t = -28*t. Suppose t = -5*d - 10, 2*x + d = x + 215. Is x a multiple of 60?
False
Let x = 1325 + -717. Suppose -3*g + 4*t + 916 = 0, -6*t - x = -2*g - 4*t. Is g a multiple of 60?
True
Let z(m) = -2289*m - 231. Does 89 divide z(-5)?
True
Let m(l) = -l**2 - 9*l + 34. Let r(a) = 4*a + 21. Let u be r(-7). Let c(o) = -o**2 - 8*o + 33. Let z(i) = u*c(i) + 6*m(i). Is 9 a factor of z(-9)?
True
Is (41175/(-54))/((-1)/2) a multiple of 61?
True
Is 110/22 + (-3978)/(-3 + 1) a multiple of 7?
False
Let i = -123 + 128. Suppose 0*f = -5*u + 4*f + 1210, -1250 = -i*u - 4*f. Is 29 a factor of u?
False
Let u be (-8)/28 - (-5792)/(-14). Let r = -784 - u. Is 26 a factor of r/(-2)*(36/15 - 2)?
False
Let g be (-150)/(-4)*(-4)/(-6) - -6. Suppose g*s - 5399 + 2175 = 0. Does 2 divide s?
True
Let t(o) = o**2 + 13*o + 578. Is t(-51) a multiple of 34?
True
Let f(b) = 38*b + 3128. Is f(32) a multiple of 8?
True
Let s(y) = 7*y**3 - 5*y**2 - 19*y + 338. Is 150 a factor of s(14)?
True
Let y(t) = -t**3 + 36*t**2 - 26*t - 115. Let b = -189 + 224. Is y(b) a multiple of 40?
True
Suppose -23*w - 25116 = -61*w + 51378. Does 15 divide w?
False
Suppose 145*n - 20829 = 28906. Does 87 divide n?
False
Suppose 2*c - 5*c + 16 = -4*h, 2*h = 4*c - 28. Suppose -5*x = -c*x. Suppose -z + f + 40 = x, -78 = -5*z + 3*f + 126. Is 6 a factor of z?
True
Suppose 3*n - 75 = -5*u, u = 5*n - 159 + 6. Suppose -32*t + 5*p = -n*t - 1048, -1561 = -3*t + 2*p. Is t a multiple of 58?
False
Let j = -3957 - -4077. Is j a multiple of 5?
True
Let b(x) = x**3 - 26*x**2 + 3*x - 65. Let w be b(26). Suppose -14*u + 25 = -w*u. Is 4 a factor of u?
False
Let x(n) be the second derivative of -n**5/10 - 7*n**4/4 - 23*n**2/2 - 18*n. Is 9 a factor of x(-12)?
False
Let g(z) = 2*z**3 - 14*z**2 - 7*z + 5. Let i be g(7). Let q be i/352 + 0 + (-4350)/16. Let n = 580 + q. Does 14 divide n?
True
Suppose 2 = 2*m, 0 = 46*a - 43*a + 4*m - 1774. Let x = 842 - a. Is x a multiple of 9?
True
Let t be (28/(-12) - -4)*12. Suppose -21*x + t*x + 5 = 0. Let b(n) = 15*n - 11. Is 23 a factor of b(x)?
False
Let w(v) = -566*v**2 + 1132*v**2 - 75*v**3 + 10*v - 564*v**2 + 13. Does 67 divide w(-2)?
False
Let c(m) = 75*m**2 + 3*m - 31. Is c(-8) a multiple of 11?
False
Is 59 a factor of 518/10619 - 313892/(-82)?
False
Suppose 10 + 20 = 6*l. Suppose -l*p = 2*x - 2489, p + 0*p - 3727 = -3*x. Does 23 divide x?
True
Let o = -10944 - -28624. Does 52 divide o?
True
Let b = 34 - 27. Suppose b*k - 16 = -k. Let h(g) = 6*g**3 + 2*g**2 - 2*g + 3. Is 11 a factor of h(k)?
True
Suppose -2*c = 0, 3*c - 51 - 126 = -3*z. Is (352/4)/4*(z + -1) a multiple of 21?
False
Does 2 divide (93/(-6))/(9/2916*-6) - -3?
True
Let t(h) = -1342*h - 22. Let a = 505 - 506. Is t(a) a multiple of 13?
False
Let m(g) = 791*g**2 - 10*g + 11. Is m(1) a multiple of 12?
True
Suppose -26*d - 2 = -27*d. Let i(l) = 2*l - 4. Let u be i(3). Suppose -d*v = -26 - u. Is v a multiple of 14?
True
Let q(s) = 6*s**2 + 6*s - 189. Does 63 divide q(21)?
True
Let w be 1*8 + 8/4*-3. Suppose 3*i = -w*y + 