 = 5*r - 5677. Does 53 divide r?
True
Let a(y) = 218*y + 59. Is a(3) a multiple of 23?
True
Suppose 0 = 2*s - 3*o + 14, 3*s + 0 = -4*o - 4. Let k be (-39)/(-4) - 1/s. Suppose -80 = -5*w - k. Does 5 divide w?
False
Suppose 0 = g - 5*g - 4*y + 1752, 0 = 5*y - 20. Suppose 0 = -2*k - 4*q + 208, 0*k - 2*q + g = 4*k. Is k a multiple of 11?
True
Let k(o) be the first derivative of -73*o**2/2 + 3*o - 6. Is 43 a factor of k(-2)?
False
Suppose 0 = -4*w + 4*s + 76, 3*w = 5*s + 38 + 21. Let a be -43 - (-4 + (16 - 10)). Let v = w - a. Is v a multiple of 26?
False
Let i(f) = -60*f - 14. Let v be i(5). Is v/(-4) + (44/(-8) - -5) a multiple of 7?
False
Let s(d) = 32*d + 406. Let w(p) = 11*p + 135. Let r(i) = 5*s(i) - 14*w(i). Does 20 divide r(0)?
True
Suppose -5*k = 3*r - 1091, -2*k - 85 = -r - 517. Is 21 a factor of k?
False
Let f be (-4)/7 + 162/63. Does 7 divide 36/(3/1) + f?
True
Suppose 4*q - 10 - 6 = 0, 4*z + 116 = -3*q. Let g = z + 51. Suppose 5 = 5*u, 2*t - t + 4*u - g = 0. Is t a multiple of 6?
False
Let o = -167 - -207. Is o a multiple of 18?
False
Let h be ((-6)/(-4))/(3/6). Suppose 0 = -g - h*g + 692. Suppose 2 = 5*r - g. Is r a multiple of 14?
False
Let f(i) = i + 4. Let r be f(0). Let h(x) = -x**3 + x**2 + x + 3. Let c(y) = -y**3 + 4. Let j(q) = -3*c(q) + 4*h(q). Does 8 divide j(r)?
True
Let q be 2/(12/(-9) + 2). Is 235 + (6 - q) + 0 a multiple of 33?
False
Is (-631)/((-26)/65*5/2) a multiple of 8?
False
Let y be 2/(-8) + (-66)/24. Let v be y - 0 - (-1 - 4). Suppose -200 + 4 = -v*b. Is b a multiple of 33?
False
Let o(q) = 3*q + 9. Let l be o(-3). Suppose 3*h - 52 - 20 = l. Is h a multiple of 7?
False
Suppose -l = 5*s - 26, 4*l + 5*s - 22 = 22. Suppose 0 = -2*u - u + l. Let v = 4 + u. Is v even?
True
Let x(w) = 794*w - 738. Is 53 a factor of x(4)?
True
Let x(v) = 2*v**3 + 33*v**2 + 8*v - 12. Let f be (-1 + 2)/((-6)/96 - 0). Is x(f) a multiple of 19?
False
Let p = 327 - 186. Is p a multiple of 6?
False
Suppose -3*q = f - 5570 - 337, -5*f + 29575 = 5*q. Is f a multiple of 27?
False
Let a(j) = -10*j**3 + 2*j**2 - 6*j - 45. Does 21 divide a(-4)?
True
Let p = -995 + 2300. Is p a multiple of 29?
True
Suppose -3*f + 883 = 5*l - 1108, -f = 3. Is 22 a factor of l?
False
Let l be 108 - (0 + -4 + 1). Suppose -t - 23 + l = 3*q, t = 1. Is 8 a factor of q?
False
Let p = -34 - -4354. Is p a multiple of 48?
True
Let v = 16 + 23. Is v a multiple of 13?
True
Let f(y) = 9*y + 32. Suppose -151 + 23 = -8*m. Does 14 divide f(m)?
False
Let r be ((-6)/12)/((-1)/90). Let z(q) = 5*q - 34 + r - 24. Is z(4) a multiple of 4?
False
Suppose p - 6*p + 1115 = 3*q, -p + 5*q = -195. Does 28 divide p?
False
Is 31 a factor of -2*9/(-24) - (-16359)/12?
True
Let b be (-100)/(-75)*9/4. Is 13 a factor of b/5 - ((-8640)/25)/9?
True
Let r be 6 - 2/3*-6. Let j = r - 5. Suppose 154 = 4*s + j*t, -4*t = s + 2*s - 116. Is s a multiple of 14?
False
Suppose -y + 11 = -2*a, 2*a + 9 = 2*y - 7. Suppose 120 = 2*z - y*m, z - 5*z + 240 = -m. Does 15 divide z?
True
Let q(c) be the third derivative of c**5/60 + 53*c**3/6 + 12*c**2. Is 8 a factor of q(0)?
False
Let v(g) = g**2 + g + 3. Let o be v(-4). Let a = 8 - o. Does 9 divide 0 + 19 - (a + 8)?
True
Let x = 1814 - 1554. Does 10 divide x?
True
Let t(b) = b**3 - 6*b**2 + 5*b - 7. Let f be t(5). Let o(n) = 2*n**2 + 4*n + 14. Is 14 a factor of o(f)?
True
Let m(r) = 2*r**2 - 18*r + 13. Let g be m(9). Is ((-1)/1 - -2) + g a multiple of 14?
True
Is 5 a factor of (-15)/(-6)*(-4 + 6) - -115?
True
Suppose -17*v = -27*v + 21430. Is v a multiple of 15?
False
Suppose -4*x + x + 57 = 0. Let c = x - 14. Suppose 0 = c*y - 3*g - 159, -5*y + g + 14 = -149. Is y a multiple of 13?
False
Let m be 0 + 5 + -2 - -161. Suppose 5*r = 216 + m. Is 38 a factor of r?
True
Suppose -4*i - i + 15 = 0. Suppose 4*o + i*q - 73 - 176 = 0, 4*o + 4*q - 252 = 0. Suppose -3*k = k - o. Is 5 a factor of k?
True
Let a(g) = g**3 - g. Let j(w) = -6*w**3 + w**2 + 6*w - 39. Let k(n) = -5*a(n) - j(n). Is 13 a factor of k(0)?
True
Suppose 10 = -0*z + 5*z. Let x(n) = 3 + 3*n - 3*n**z + 4 + 20*n**2 - 5. Does 8 divide x(-1)?
True
Is 37 a factor of 68/(-102) - ((-898)/6 - -1)?
True
Suppose 19*y - 29*y + 1890 = 0. Is 28 a factor of y?
False
Let k(o) = 2*o**2 + 31*o + 18. Let u be k(-15). Suppose -152 = -u*j + 79. Is j a multiple of 15?
False
Let o = -6 - -9. Suppose 0 = -o*s + 57 + 213. Is 18 a factor of s?
True
Let n(w) = -277*w + 114. Is 8 a factor of n(-2)?
False
Suppose 2*r + 6*o = 3*o + 655, -4*r + 1318 = -2*o. Is r a multiple of 10?
False
Suppose -2*q = 2*u - 21 - 27, -4*q + 21 = u. Let g = u + -14. Suppose 0 = -k + g + 13. Is 12 a factor of k?
True
Suppose -5*f = 56 - 71. Suppose 150 = 2*v + 4*r - 12, 5*v - f*r = 366. Does 15 divide v?
True
Let y(u) = 29 + u + 13*u**2 + 22 - 28*u. Let p(f) = -7*f**2 + 14*f - 26. Let r(v) = 11*p(v) + 6*y(v). Is r(10) a multiple of 10?
True
Let y be -44 + 1 + 4/(-2). Let i = y - -234. Suppose 5*h + 3*j - i = 0, h + 0*h - j = 33. Does 12 divide h?
True
Suppose -5*v = 4*g + 25, -4*g = -3*v - 1 - 14. Suppose -12 = -3*u - 2*p, g*p - 2*p = 4*u - 18. Does 6 divide u?
True
Does 16 divide 1168/6*((-18)/(-3) - 0)?
True
Let t(h) = h**3 - 9*h**2 + 41*h - 3. Is t(9) a multiple of 3?
True
Suppose 0 = 3*h + 6 + 12. Let t = h + 6. Suppose 2*a = 4*r + 6, t = 4*a - 3*r - 6 - 21. Is a a multiple of 9?
True
Suppose 0 = -4*h + 48 - 24. Suppose 0*v - 204 = -h*v. Is 21 a factor of v?
False
Let t = -9 + 36. Suppose d - 2*d = -t. Let o = d + -7. Does 20 divide o?
True
Suppose 3*b = 5*o + 1, -4*o - 3 = -4*b + 1. Let d(n) = -o - n + 2 + 7. Is d(-7) a multiple of 4?
False
Let d(w) = -34*w - 136. Let c(f) = -7*f - 27. Let r(l) = 14*c(l) - 3*d(l). Is r(0) a multiple of 15?
True
Suppose -849*d + 823*d + 63128 = 0. Is 134 a factor of d?
False
Let o be (-57)/(-38) - (-378)/4. Let h = 201 - o. Is h a multiple of 21?
True
Let d = -1435 + 3163. Does 17 divide d?
False
Let b(p) = -7*p**3 - 2*p**2 + 7*p + 6. Is 108 a factor of b(-6)?
True
Let i(j) = -7*j**2 + 5. Let y(r) = r**2 + r. Let g(k) = -i(k) - 4*y(k). Let h be g(8). Let f = h - 85. Is 11 a factor of f?
False
Let j = -449 + 939. Is j a multiple of 35?
True
Let n(x) = -20*x**2 + x - 29. Let p be n(6). Let l = -509 - p. Is 9 a factor of l?
True
Is 28/8*158/1 a multiple of 15?
False
Suppose -5*f - 3*u + 405 = -338, -151 = -f - 3*u. Is 29 a factor of f?
False
Let r be (33/(-55))/(1/5). Let v(o) = -5*o + 10. Does 25 divide v(r)?
True
Let j = -558 - -577. Is 4 a factor of j?
False
Suppose 20*b = -11*b + 18259. Is 4 a factor of b?
False
Let d be 2*-2*(-3 - 7). Suppose l + m + 0*m = 32, 2*l - 4*m = d. Does 14 divide l?
True
Let h be 8/6*(-38 - -2). Let f = 62 + h. Is f a multiple of 7?
True
Let l be (7 - 37)*(-6)/5. Let v = l + -14. Does 22 divide v?
True
Let w(h) = -3 + 5*h**2 + h - 3 + 3. Suppose -33 = 2*d + 2*p - 7*p, -2*p + 22 = -3*d. Is 13 a factor of w(d)?
False
Let i(a) be the first derivative of -9/2*a**2 - 1/3*a**3 - 7*a + 2. Is i(-7) a multiple of 7?
True
Suppose 414 - 4808 = -26*c. Is c a multiple of 20?
False
Suppose -46 = -5*u + 474. Let w = -313 - -259. Let d = u + w. Is 33 a factor of d?
False
Let t(o) = 5*o**3 + 3. Let j(s) = -s**3 + s**2 + s. Let x(r) = -2*j(r) - t(r). Does 2 divide x(-2)?
False
Suppose 0 = 11*z + 3581 - 17771. Does 43 divide z?
True
Suppose y = 2*y + 130. Let j be (-2)/((-200)/(-202) - 1). Let s = j + y. Is 12 a factor of s?
True
Suppose 5*v - 4*o - 493 = 527, 5*v = 2*o + 1010. Suppose -4*x + 96 = -v. Let i = x - 42. Is 19 a factor of i?
False
Let i = -4 - -8. Suppose -13 = -c - 3*n, i*n - 5 = -c + 9*n. Is c a multiple of 6?
False
Suppose 0 = -3*u + 1 + 5. Suppose -u*i + 5*i + 186 = 0. Let v = i - -91. Is v a multiple of 25?
False
Let l(q) = 2*q + 10. Suppose -15 = -2*s - 45. Let m be 2/(-1 - s/9). Is 8 a factor of l(m)?
True
Let n = -20 - -12. Suppose c - 15*y + 10*y = 46, -4*y - 4 = 0. Let g = c + n. Does 8 divide g?
False
Let m(s) = -2*s**2 - 32*s - 24. Is m(-14) a multiple of 32?
True
Let n = -24 - -23. Is (-1)/((-2)/186) + (n - 0) a multiple of 13?
False
Let w be -2 - 4/(16/(-92)). Suppose 0 = -5*z - 47 - 28. Let v = w + z. Is v even?
True
Let z(r) = -154*r - 942. Is z(-10) a multiple of 13?
True
Let a be (17/4)/(7/168). Let b be 134*-1*3/(-6). Let k = a - b. Does 13 divide k?
False
Let u = 54 - -532. Does 49 