s 26 divide s?
True
Suppose 5*d = 4*y - 2608, -2*y - 4*d + 1326 = -d. Let a = y - -183. Does 14 divide a?
True
Let s(m) = -2*m - 56. Let p be s(-29). Let r be 2/(20/(-5))*-6. Suppose 3*c = -3*a + 105, -r*a - 85 = -p*c - 0*a. Is c a multiple of 4?
False
Suppose -82292 + 23818 - 168326 = -14*d. Is d a multiple of 12?
True
Let b(k) = -24 - 17*k**2 + 20*k - 4*k - 10*k - 15*k - 2*k**3. Does 10 divide b(-11)?
True
Suppose -1137*q + 1131*q + 8598 = 0. Does 20 divide q?
False
Suppose -3*r - 3401 + 515 = 0. Let h = r - -1718. Is h a multiple of 54?
True
Suppose -23*d - 20*d + 6*d = 0. Suppose -18*p - 8*p + 14820 = d. Is 40 a factor of p?
False
Let t be ((-544)/51)/((-4)/6). Suppose -t*c - 9 = -19*c. Suppose -3*u = c*k - k - 132, -68 = -k - 2*u. Is k a multiple of 10?
True
Let g be ((-3129)/14)/(15/20). Let l = 774 + g. Does 34 divide l?
True
Let d = -628 + 299. Let x = 259 - d. Is 12 a factor of x?
True
Suppose 1986525 = 173*n - 1750275. Does 180 divide n?
True
Let i(x) = -x**3 + 18*x**2 + x - 17. Let k be i(18). Let b be (0 - k)/2 - 150/(-12). Is 3729/b - (-7)/28 a multiple of 48?
False
Let o = 639 + 219. Suppose -3*m + o + 1436 = -2*c, m = -c + 773. Is 6 a factor of m?
True
Let g(f) = f**2 + 11*f - 83. Let q be g(-16). Is (-114 + -4)*-1 - (1 - q) a multiple of 57?
True
Let u = 17842 - 885. Does 201 divide u?
False
Is 11 a factor of (390/325)/((-3)/(-86350))?
True
Suppose 4*w + 8 = 0, c - 600 = -125*w + 128*w. Does 27 divide c?
True
Suppose 0 = 4*g - 2*i - 14, -i + 0*i + 13 = 3*g. Let p be (-1)/1 + 267 - (g - 2). Let r = -127 + p. Is r a multiple of 34?
False
Let o be (7/7 - 4)*2/(-3). Is o - (-20)/(-4) - (-209 - 1) a multiple of 7?
False
Suppose 2*s = 5*f - 105, 3 = -f + s + 27. Suppose -7 + f = 3*o. Suppose o*q + q + 4 = -d, 0 = -d - q + 16. Does 7 divide d?
True
Let f(m) = -3*m**2 + 2*m + 13. Let x(y) = -11*y**2 + 9*y + 52. Let t = 80 - 89. Let s(j) = t*f(j) + 2*x(j). Is 8 a factor of s(3)?
True
Let h(c) = -223*c**3 + 9*c**2 + 10*c - 12. Is h(-4) a multiple of 266?
True
Let a(y) = y + 54. Let j be a(-28). Suppose 130*o - j = 128*o. Is o even?
False
Let q = -2067 - -3759. Does 74 divide q?
False
Suppose -1625*a + 1524186 = -1336*a. Is a a multiple of 2?
True
Let z = -17 + -87. Let k be (-3)/6*z + -2. Is 100/(-30)*(-5)/(k/72) a multiple of 4?
True
Let a = -65 - -107. Let q be ((378/7)/6)/(0 + 3). Suppose -q*s + 60 = -a. Does 17 divide s?
True
Let a = -85 + 91. Suppose a*m + 35 = -m. Let n(p) = -38*p - 20. Does 23 divide n(m)?
False
Suppose 41*p - 312 = 15*p. Suppose 5*i = 2*w + 2694, 10*i - p*i = -5*w - 1065. Does 108 divide i?
True
Let h = -181 + 185. Does 3 divide 6*-11*2/h*-1?
True
Let g = -482 + 488. Suppose -849 = g*i - 5133. Is 34 a factor of i?
True
Let j(u) = -u**2 - 6*u + 34. Let w be j(-10). Let g be w - (3 - (3 - 4)). Let t(i) = -i**3 - 10*i**2 - 23*i - 1. Is t(g) a multiple of 14?
False
Suppose 3*u = 611 + 1420. Suppose -9*c = u - 4727. Does 30 divide c?
True
Suppose -10*x - 122 - 178 = 0. Is ((-502)/2)/(15/x) a multiple of 26?
False
Let n(o) = o**3 + 32*o**2 + 41*o + 3. Let b be n(-31). Is 9 a factor of 13 - 16 - (b + 1)?
False
Suppose -19 = 3*v - 4, 0 = -5*n - 4*v - 10. Is 25 a factor of 5 - ((n + -20)/6 + -357)?
False
Let f = 843 + -467. Suppose 4*z + 4*b = f, 0*z = -2*z + b + 173. Does 12 divide z?
False
Suppose 4*c + 4*b = 2*b + 13494, 16884 = 5*c - 3*b. Let s be (-10)/8 - c/100. Does 10 divide ((-150)/s)/((-4)/(-28))?
True
Let f = 109 - 63. Let u = f - -4. Is 6 a factor of u?
False
Let i = 188 - 184. Let y(a) = 16*a**2 + 12*a - 52. Is 13 a factor of y(i)?
False
Suppose -18*f + 43686 = 4*g - 20*f, 2*g = 3*f + 21829. Is 25 a factor of g?
True
Suppose 0 = -88*x - 0*x + 52800. Is 42 a factor of x?
False
Let m be (-2)/(((-9)/6)/((-12)/8)). Is 422/(-3)*1/(m/3) a multiple of 34?
False
Let d(k) = -765*k - 241. Does 58 divide d(-6)?
False
Let v(x) = 4*x + 60 - 11 + 70*x - 20 - 13. Does 11 divide v(9)?
True
Let t(z) = -95*z**2 + 2*z + 10. Let q(w) = -94*w**2 + w + 9. Let k(r) = -6*q(r) + 5*t(r). Suppose b = 3*f + 7, -3*b + 66 - 53 = -5*f. Is k(b) a multiple of 16?
False
Let i = 18760 + -10800. Is i a multiple of 40?
True
Let p be 196920/108*12/5. Suppose 19*t = -424 + p. Is t a multiple of 20?
False
Suppose -127 - 2169 = -4*g. Let l be (-3)/4*(g + -22). Let r = -288 - l. Does 18 divide r?
True
Suppose 3*g = -3*q + 21, 4*q = 2*g - g + 18. Suppose 217 - 93 = g*y. Is y a multiple of 6?
False
Let n be (1 - (-771)/(-6))*(-528)/18. Suppose -t = -35*t + n. Does 18 divide t?
False
Let u be -3 + 4 + 16/4. Let f = -44 + 83. Suppose u*y - 144 - 28 = -3*v, 2*y = v - f. Is 4 a factor of v?
False
Suppose 5*f + 3 = 3*g, 0*g - 4 = 2*f - 4*g. Suppose -14*h + 4*h - 1290 = f. Let d = h + 257. Does 16 divide d?
True
Let s be ((-3)/2)/(-6*4/(-25616)). Let h = -1106 - s. Is h a multiple of 99?
True
Let z(n) = -n**2 - 2. Let y(h) = 13*h - 7*h + 2 - 8*h + 2*h**2 + 3*h. Let o(r) = 2*y(r) + 3*z(r). Is o(3) a multiple of 13?
True
Let o = -26 - -66. Let y be (5/o*-2)/((-2)/16). Suppose 0 = -2*k - 5*s - 18 + 47, k + 5*s = y. Is k a multiple of 9?
True
Let x = 128 + -126. Suppose -3*o + 422 = n, -x*n + 4*o + 1640 = 2*n. Suppose n = 5*y - 92. Is 18 a factor of y?
False
Let w be ((-70)/(-105))/(1/18). Suppose 4*p - 4*k - w = 0, -1 = 3*p + 5*k - 18. Is p even?
True
Suppose 12 = -3*m, -t + m - 1 = 2*m. Suppose -4*w + 32 = t*r - 0*r, 0 = -w - 4*r + 21. Suppose -4*y + 0*f - f = -150, -w*y + 180 = 5*f. Is y a multiple of 19?
True
Let n = 23053 + -22514. Is 113 a factor of n?
False
Let x be 24/9 + -2 + 20/6. Suppose f - 8 = -y, -5*f - 3 = -x*y + 2. Suppose -l = -y*h - 231 + 615, 8 = -2*l. Does 47 divide h?
False
Let k be -3*8/(-60) + 6056/10. Let d be (-4)/(-10) - k/(-10). Suppose 40 = -56*c + d*c. Is 4 a factor of c?
True
Is 10 a factor of (2168/3)/((7 - (6 - -2))/(-3))?
False
Let h be (-8)/(-4)*(-1 + (151 - 0)). Suppose 2*g = -4*g + h. Suppose 5*l + 12 - 82 = -5*r, g = 4*l + 2*r. Does 11 divide l?
True
Is 66 a factor of ((-1)/2)/((-4605)/210 + 22)*-861?
False
Let r(i) = -i**3 + 27*i**2 - 43*i - 7. Is 28 a factor of r(24)?
False
Let s = 4811 - 4810. Let h(y) be the first derivative of 35*y**2/2 - 10*y + 1. Is h(s) a multiple of 5?
True
Let j be 12/(-5)*(-1120)/21. Let q = 239 - j. Does 5 divide q?
False
Let n = 80 - 77. Suppose -598 = -n*r - l, r - 5*l - 19 - 207 = 0. Does 14 divide r?
False
Let v = -1972 + 4040. Is v a multiple of 37?
False
Let h(a) = -86*a - 44. Does 4 divide h(-11)?
False
Let y(c) = -c**3 - 17*c**2 + 31*c + 14. Let t = 637 - 657. Is 27 a factor of y(t)?
True
Is ((-2295)/(-90))/(3/324) a multiple of 18?
True
Let q(k) = 13*k**2 + 8*k - 462. Does 22 divide q(22)?
True
Let c(g) = -g**2 - 180*g - 1776. Is c(-11) a multiple of 7?
False
Let b = 111 - 117. Does 9 divide (b - -636)*6/5?
True
Suppose -6527 = -j - 2*t, -93*j - 2*t - 6523 = -94*j. Does 29 divide j?
True
Let y be ((-10)/(-70) + (-82)/(-14))/2. Suppose -y*x = -1478 - 2092. Does 61 divide x?
False
Suppose -4*d + 13892 = -2*c, 5*c + 1131 + 5807 = 2*d. Is 18 a factor of d?
True
Let i(k) = -144*k + 320. Let o be i(-10). Suppose o = 4*z - 400. Is 15 a factor of z?
True
Let v(k) = -k**3 + 6*k**2 + 15*k + 12. Let t be v(8). Suppose -18*n = -t*n - 574. Is 8 a factor of n?
False
Suppose -4*k + 7*k = -18. Let c(u) = -4*u - 28. Let z be c(k). Is 9 a factor of 65 + 4 + -1 - z?
True
Let a(g) = -3*g**3 - 107*g**2 - 28*g + 271. Does 47 divide a(-40)?
False
Let m(p) = p**3 - 41*p**2 - 120*p - 168. Is m(51) a multiple of 19?
True
Let g be (182/21 - 5) + 12/9. Is -3*(-7865)/(-78)*(-4)/g a multiple of 11?
True
Let o = 483 - -11149. Is 18 a factor of o?
False
Does 25 divide (-70070)/(-165) + 8/24?
True
Let h(y) = 4*y - 8. Let t be h(9). Let n = 76 + t. Suppose 0 = 6*x - 5*x - n. Is x a multiple of 5?
False
Let z = 2348 + -3950. Let c = z + 2830. Is 24 a factor of c?
False
Does 18 divide 13 + (557977/28 - (-91)/(-52))?
False
Let l = -21 - -22. Let k be l/5 + 3509/55. Suppose 5*i - k = 17*t - 15*t, t + 62 = 5*i. Does 6 divide i?
True
Let v(q) = 2*q**3 - 21*q**2 - 16*q + 10. Let a be v(11). Does 22 divide (-924)/(-70)*a/(-6)?
False
Let o = -76 - -80. Let d(p) be the first derivative of 3*p**4/4 + 2*p**3/3 - 7*p**2/2 - p + 7. Does 13 divide d(o)?
True
Let y be (-1)/(-7) - (-52)/28 - 5. Does 25 divide 45/15 + 50 + y?
True
Sup