rue
Let r(j) = j**3 - 2*j**2 - 2*j - 10. Let w be r(6). Let s = w + 103. Is 15 a factor of s?
True
Suppose 13*v - 7688 = -18*v. Is 8 a factor of v?
True
Let q be 139/5 - (-2)/10. Let x = -15 + q. Suppose -x = -2*w + w. Is w a multiple of 2?
False
Let d = 179 + -71. Let g = d - -71. Does 29 divide g?
False
Let z = 734 + -749. Let i(t) = -4*t + t**2 - 13 + 8*t + 8*t. Is i(z) a multiple of 16?
True
Let s be (-60)/14*14/(-2). Let h = s - 8. Is h a multiple of 13?
False
Let x = -113 - -117. Is (4 - 8) + (3 + 16 - x) a multiple of 11?
True
Suppose -14907*s = -14912*s + 15180. Is s a multiple of 13?
False
Is (-15)/10*(-260)/6 a multiple of 10?
False
Let r(b) = b**3 - b**2. Let c be r(3). Let t = -18 + c. Suppose t = 5*p + 13 - 103. Is 10 a factor of p?
False
Let n(w) = -w**3 + 23*w**2 - w - 28. Let p be n(21). Suppose -2*a = 15*a - p. Does 9 divide a?
False
Is 1328/12 - (4/(-6))/2 a multiple of 37?
True
Suppose 0 = -14*f + 2131 - 619. Is 4 a factor of f?
True
Let j be (-44)/(-7) + 16/(-56). Let z(o) = -o**2 + 5*o + 2. Let s be z(j). Let l(i) = 2*i**2 - 5*i - 1. Is l(s) a multiple of 26?
False
Let j = -22 + 113. Is j a multiple of 7?
True
Let q = -194 - -333. Is 5 a factor of q?
False
Let g(l) = -17*l - 100. Is 29 a factor of g(-11)?
True
Does 53 divide ((-124338)/(-306))/(1/9)?
True
Let h(d) = -2*d + 266. Is 25 a factor of h(-53)?
False
Let a(b) = 20*b - 1. Let k be a(2). Let x = -287 + 259. Let r = k + x. Is 6 a factor of r?
False
Let r be 0 + (0 - 1) + 5. Suppose 404 = 2*z + 2*n, -z = -r*z + 5*n + 590. Is 51 a factor of z?
False
Suppose 14*l - 13*l - 4 = 0. Let c(s) = s**2 + 3*s - 12. Let f be c(10). Suppose -u - u - l*i = -f, 2*i + 169 = 3*u. Is 14 a factor of u?
False
Suppose -858 = -11*c + 15499. Does 108 divide c?
False
Suppose o = 2*o - 3. Suppose -o*x + 432 = -0*x. Does 24 divide x?
True
Let k(r) be the first derivative of 15*r**2 + 3*r + 14. Does 7 divide k(1)?
False
Suppose 2*x - 4*x = 14. Let n = 428 - 391. Let c = x + n. Does 30 divide c?
True
Let l(a) = -11*a + 51. Let h be l(-15). Let k = -79 + h. Is 13 a factor of k?
False
Suppose 2*w - 4*o - 510 - 446 = 0, 5*w + o = 2401. Is 16 a factor of w?
True
Let i be 9 + (-7)/((-21)/(-12)). Suppose -2*b = -i*a - 136, 5*a - b + 127 = -2*b. Let h = 61 + a. Does 35 divide h?
True
Let v(p) = 40*p**2 + 8*p - 8. Is 15 a factor of v(-4)?
True
Let j(g) = 19*g**2 + g - 1. Let y be j(1). Let l be 2 + -3*2 - y. Does 21 divide (l - -77)*5/3?
False
Let u(p) = 261*p**2 + 9*p. Is 60 a factor of u(-4)?
True
Let i be (135/(-25))/((-1)/5). Suppose d + 4*n + 9 = i, 3*n = 12. Suppose -4*c + 7 + 191 = -2*y, -102 = -2*c + d*y. Does 16 divide c?
True
Is 9 a factor of 2/(((-814)/(-810) - -1) + -2)?
True
Let s(p) = -11*p**2 - 3*p + 5. Let r be s(2). Let i(b) = -12*b + 7. Let w be i(-6). Let c = w + r. Does 7 divide c?
False
Let k be 49/(-21)*(-47 - 1). Let g be 2/(-6) + 7/3. Suppose g*m + m - 4*b - k = 0, 12 = -3*b. Does 21 divide m?
False
Let b be 10*(-2 + (-16)/(-10)). Let w = -10 + b. Let s = w + 31. Is 17 a factor of s?
True
Let a(f) = 0 - 23*f**2 + 20*f**2 + 0 - 2*f + 4 - 3*f**3. Suppose -2*q - 3*q = 15. Does 16 divide a(q)?
True
Is 27 a factor of 2/(-18) + ((-40663)/(-9) - -18)?
True
Let q be 1 - (0 + -186 - (-20)/(-5)). Let t = 85 + q. Does 23 divide t?
True
Suppose 4*g = -16, 3*w - g + 1 = 5. Suppose w*l = -l + 117. Does 15 divide l?
False
Suppose 0*m - 3*m - 20 = -5*l, -24 = -4*l + 4*m. Suppose -l = -s, 4*p - 193 = -4*s + 231. Is p a multiple of 21?
True
Suppose -323*i = -329*i + 6696. Is 56 a factor of i?
False
Let o be (6/(-9))/((-2)/39). Let s be o/6 + 3/(-18). Suppose s*k = 74 + 22. Does 16 divide k?
True
Let f be 1*(-1 + (-1 - 0)). Let x = 1363 + -943. Is f/5 + x/50 a multiple of 2?
True
Suppose 3*v = -3*m + 399, -151 = -2*v + m + 106. Suppose 7*z - v = 2*z. Is z a multiple of 13?
True
Suppose 5*p = -5*m + 2335, 2*m - p = -3*m + 2335. Is 15 a factor of m?
False
Does 79 divide (-929050)/(-340) + -1*3/2?
False
Let v(d) = 6*d**3 + 3*d**2 - 6*d. Let j be v(5). Suppose 4*o - l = 2*o + 315, 5*o - 4*l - j = 0. Does 21 divide o?
False
Let f(u) be the third derivative of u**5/60 + 11*u**4/24 - 2*u**3/3 - u**2. Let w be f(-11). Is 2 + (-6 - w - -4) a multiple of 2?
True
Let o(r) = -34*r + 14. Let m(l) = -l**2 + 9. Let y be m(4). Does 14 divide o(y)?
True
Suppose 4*d + h = 8686, 4*d - h = 1562 + 7128. Does 9 divide d?
False
Suppose 1 = -5*t - 49. Let v = 100 + t. Does 30 divide v?
True
Suppose 3*f = -4*t + 1487, 6*t = 4*t + 4*f + 760. Does 25 divide t?
False
Let j be 6 + ((-2)/3)/(1/3). Is 2 a factor of (-1 + -8 + j)/(-1)?
False
Let y(w) = 230*w**3 + w**2 - 3*w + 2. Suppose b + 1 = 5*u - 0*b, 2*u + 4*b = 18. Is y(u) a multiple of 10?
True
Let w(v) = 73*v - 4. Does 8 divide w(3)?
False
Let z(y) = -2*y**3 - 3*y**2 - y - 2. Let w be z(-2). Suppose -111*l + 102*l + 162 = 0. Is 11 a factor of l + ((-64)/(-4))/w?
True
Let u(w) = 4*w**2 + 8*w + 3. Let p be u(-5). Suppose -p = 2*q - g, 2*q - g = -6*g - 45. Does 8 divide (-3)/(69/q - -2)?
False
Let k be 4/2*121/2. Suppose 68 + k = 9*j. Is 7 a factor of j?
True
Suppose -16 = -5*h - 2*a + 5*a, 16 = 3*h - 5*a. Suppose 18 = -5*b + 3*r, -h*b - b + r - 10 = 0. Does 16 divide 59 - -1 - (-7 - b)?
True
Let d(r) = -7*r - 9. Let a(t) = -31*t + 18*t + 21*t + 10. Let v(x) = 5*a(x) + 6*d(x). Does 5 divide v(-12)?
True
Let p be (-950)/(-12) + (-9)/54. Suppose 21 = 5*f - p. Does 13 divide f?
False
Suppose 3*b + 8 = b. Let c be b/(-2)*14/(-28). Is 9 a factor of 27/(c*3/(-2))?
True
Suppose -1068 = -4*a + 15*t - 11*t, -2*t = -3*a + 803. Is a a multiple of 19?
False
Let j = -3 - -3. Let u(s) = s + 53. Let a(d) = 2*d + 107. Let l(b) = -3*a(b) + 7*u(b). Does 25 divide l(j)?
True
Let p(d) be the third derivative of -d**4/24 + d**3/6 - 3*d**2. Let t be p(-1). Suppose t*g - 5*u - 43 = 8, -5*g - 3*u + 50 = 0. Is 13 a factor of g?
True
Let q be (3/(-2) - -1)*0. Let w(r) = -r**2 - 5*r + 1. Let v be w(-4). Suppose -160 = -v*d - q*d. Is d a multiple of 16?
True
Let v(q) = -q**3 + 10*q**2 - 10*q + 3. Let w(c) = -2 + 2 - 2*c**2 - 1 + 5*c**3 - 6*c**3. Let t be w(-3). Is v(t) a multiple of 17?
True
Suppose -5 = -m + 5. Suppose l - m = -l. Suppose -186 = -s - 3*s + 3*x, l*x + 38 = s. Does 17 divide s?
False
Suppose w = -4*g - 3*w + 4, g - 2*w - 7 = 0. Suppose -g*y - 3 = -4*y. Suppose j + 4 = 0, -3*i + 3 = -y*j - 24. Is i a multiple of 5?
True
Let q(s) = -4*s - 4. Let u(z) = z + 1. Let w(x) = q(x) + 2*u(x). Is 6 a factor of w(-6)?
False
Is 25 a factor of -6 - 1212*(1 - 7)/12?
True
Let n be (-40)/6*(-9)/6. Let q = 58 - n. Is 30 a factor of q?
False
Suppose -2*y - h = -463, 0 = -0*y - y - 4*h + 242. Suppose 0 = 4*n - 30 - y. Is n a multiple of 13?
True
Suppose -2*j - 5*k = -0*k - 178, 0 = -j - 5*k + 99. Let n = j + -58. Is n a multiple of 21?
True
Is 21 a factor of 119 - 3/((-21)/14) - -5?
True
Suppose -9*r + 100 = -827. Does 38 divide r?
False
Suppose -2*w - 3*w + 7 = 2*h, -5*h = -w - 4. Does 13 divide (12 - -78) + w*2?
False
Let g = 118 + -81. Let z = 2 + g. Is 12 a factor of z?
False
Suppose 18 = 3*a - 6*a. Let k be a*4/12*-23. Suppose -2*b = -42 - k. Is b a multiple of 11?
True
Let r(p) = -4*p**2 - 14*p + 4. Let c(a) = -4*a**2 - 13*a + 5. Let z(l) = -5*c(l) + 4*r(l). Is z(5) a multiple of 17?
True
Let y(o) = -o**3 - 5*o**2 - 6*o - 2. Let t be y(-4). Suppose -2*g + 40 = -g. Let v = g - t. Is 34 a factor of v?
True
Let q = -11 - -10. Let k be q - 2 - (-5 - -1). Suppose -2*a + k = -7. Is 4 a factor of a?
True
Let i be 9/(-6)*(-44)/3. Let o = i + -11. Is 7 a factor of o?
False
Suppose 0 = i + o - 6*o - 241, 3*o = 5*i - 1227. Is i a multiple of 46?
False
Let y be (0*(-3)/(-6))/1. Suppose y*c = 2*c - 40. Does 20 divide 0 + (1 + 0)*c?
True
Let x be 309/1 + (4 - 0). Let y = -153 + x. Is y a multiple of 40?
True
Let i(m) be the second derivative of 5*m**3/6 + 2*m**2 + 41*m. Suppose -4*r + 10 = -6. Is 8 a factor of i(r)?
True
Suppose -2*r + 5*c + 24 = -r, 3*r - 8 = -c. Let b be 3 - -14 - (8 + -4) - 3. Suppose r*g + 30 = i, 0 = -0*i - i - 4*g - b. Is i a multiple of 2?
True
Suppose -10*s - 8790 = -20*s. Does 35 divide s?
False
Let r be 0 + 2 + (-1 - 1). Suppose r = -2*v + f + 3, 2 = -f + 3*f. Suppose 2*p = -v*p + 40. Is p a multiple of 5?
True
Let n(c) = 9*c**3 + c**2 + 3*c - 8. Let w(u) = 4*u**3 + u**2 + 2*u - 4. 