- s. Suppose 2*t + 100 = z*w, -w + 7 = 3*t - 59. Is w a multiple of 12?
False
Let s = -11635 - -16467. Suppose 18*i = 14*i + s. Suppose 13*u = 5*u + i. Does 42 divide u?
False
Let y(i) = -i**3 - 10*i**2 + 5*i + 14. Let h be y(-10). Let v = 40 + h. Suppose 174 = v*s - 2*s - 4*n, 4*s + 4*n = 288. Is 7 a factor of s?
True
Let n(f) = 3*f - 71. Let z be n(17). Let h(g) = 4*g + 1. Let m be h(1). Is (m/z)/(2/(368/(-2))) even?
False
Suppose -5*w = -17*n + 15*n + 10050, 5*n - 25062 = 2*w. Is 12 a factor of n?
False
Let x = 2595 + -487. Does 3 divide x?
False
Suppose 2*q + 2*r = 60594, 0 = 4*q - 17*r + 20*r - 121191. Is 25 a factor of q?
True
Let s = -14729 - -19848. Does 47 divide s?
False
Suppose 434 = 2*b - 2*s, -3*b + 437 = -b - s. Suppose 9*w - 2524 = -b. Is w a multiple of 6?
False
Let l(n) = 273*n - 1469. Is l(24) a multiple of 120?
False
Let w(r) = -3*r**2 + 4*r**2 + 7 + 7 + 2*r**2 - 19*r. Let y(f) = 8*f**2 - 56*f + 41. Let b(p) = 11*w(p) - 4*y(p). Does 10 divide b(-20)?
True
Let k(y) = -8*y**2 + 16*y + 34. Let l(j) = -5*j**2 + 8*j + 17. Let x(u) = 3*k(u) - 5*l(u). Is x(-25) a multiple of 17?
True
Let f = -253 - -256. Is 4 a factor of 93 - f/(-2)*(-56)/(-21)?
False
Let b(w) = w**2 - 4*w. Let x be b(5). Suppose 553 = 12*s + 181. Suppose -x*v + 19 = -s. Does 5 divide v?
True
Let h(v) = 118*v + 16. Let l(w) = 2*w**3 - 13*w**2 + 15*w + 2. Let g be l(5). Does 36 divide h(g)?
True
Let t(b) = 2*b + 12. Let q be t(-4). Suppose 5*r - 3954 = -d, 0 = r + 3*r + q*d - 3176. Suppose -5*k + 4*l = -r + 226, 0 = 4*k + l - 447. Is k a multiple of 19?
False
Suppose k = 3*y - 5685, -5*y + 9475 = -159*k + 163*k. Does 5 divide y?
True
Let i = 2 - 12. Suppose 2*b = -2*v - 3*b - 78, 4*b - 140 = 3*v. Let p = i - v. Is 17 a factor of p?
True
Let m(r) = 2*r**2 + 21*r - 136. Let g(w) = 5*w + 121. Let k be g(-21). Is m(k) a multiple of 20?
False
Suppose 0 = -0*x + x - 3. Suppose 164 = x*k - 37. Suppose k = 2*s - 29. Is 12 a factor of s?
True
Let r(c) = 2*c + 15. Let f be r(-10). Let o(a) be the second derivative of -11*a**3/6 - 25*a**2/2 + 21*a - 1. Is o(f) a multiple of 5?
True
Let i = 1037 - 645. Is i a multiple of 7?
True
Suppose -m + 8*f = 9*f + 2, -3*m = -5*f + 6. Let c be ((-465)/6)/(m/4). Suppose 0 = 4*h - 53 - c. Is h a multiple of 26?
True
Suppose -14*g - 13*g - 324 = 0. Is 53 a factor of (g - -15)/((-2)/(-318))?
True
Let m = -9688 - -22425. Does 135 divide m?
False
Let r = 1510 - 950. Suppose -770 - r = -7*o. Does 10 divide o?
True
Suppose -2*t - 193 = 5*b, t + 4*b = b - 99. Is (-4 - t/18)/(2/102) a multiple of 3?
False
Suppose 7*t - 2*t + 1805 = 0. Suppose -4*w - 4 = 0, 2*w = -4*h - w + 2065. Let n = t + h. Does 26 divide n?
True
Let x = -12 + 31. Suppose 0 = -5*o + 20, x = 3*n - 0*n - 2*o. Is 3 a factor of n + 12/9*-3?
False
Suppose 0 = -18*r + 23*r + 4*l - 20158, -r + 5*l = -3991. Is r a multiple of 22?
True
Suppose -3*n + 5*s = -1041, n - 5*s + 8*s - 361 = 0. Let b = n + -142. Does 15 divide b?
True
Let z(n) = -22*n**3 - 5*n**2 + n + 2. Let a be z(-1). Is 29 a factor of (3/9)/((-2)/a) + 158?
False
Let h(w) = 6*w**2 - 12*w + 4. Let z(r) = 6*r**2 - 13*r + 5. Let u(f) = 6*h(f) - 5*z(f). Let b be u(5). Suppose 0 = -3*s + b + 207. Is 40 a factor of s?
False
Let a(o) = 34*o**3 - 22*o + 17. Does 65 divide a(5)?
False
Let n be (-4 - 7/(-3))/((-4)/12). Suppose -3*b + 3808 = -4*j, -n*j + 45 - 20 = 0. Is 8 a factor of b?
False
Let k be -2 - (-8 + 0 + 6). Suppose k = -4*n - 2*n + 1932. Is 23 a factor of n?
True
Let r(l) = -38*l + 4. Let n be r(-11). Suppose 4*d - 514 = -5*b + 36, 3*d - n = b. Is 36 a factor of d?
False
Suppose -3138 = 5*t - 2*c + 9637, 0 = 4*c - 20. Does 12 divide (-2)/(-2)*20*t/(-37)?
True
Suppose -25*y = -3*y - 12738. Suppose -6*i - y = -4383. Does 58 divide i?
False
Let i = 14731 + -22419. Does 23 divide (i/310)/(2/(-19 - 1))?
False
Let a = 1904 + 1703. Is a a multiple of 23?
False
Let c = -360 + 3137. Is 37 a factor of c?
False
Suppose 17*w - 612 = 11*w. Let i be w - 2 - (-2 - (2 - 0)). Is 11 a factor of (-3 + 0)*i/(-3)?
False
Let h(n) = 5*n - 71. Let g be h(20). Let i = 17 + g. Suppose -v + 98 = i. Is 42 a factor of v?
False
Let d = -69 + 119. Suppose -d = 6*l - 11*l. Let r(g) = g**2 - 4*g - 6. Is 27 a factor of r(l)?
True
Let h(t) = 7*t**2 - 21*t - 30. Suppose -3*k + 14 = b, 9*b - 50 = 4*b + 5*k. Is h(b) a multiple of 24?
False
Let j = 14 + -47. Let p be ((-18)/33)/3 + (-105)/j. Suppose 2*a = -2*a - r + 393, -p*r = a - 90. Is 23 a factor of a?
False
Suppose -t + 21 = 4*l, -82 = -5*t - 3*l + 57. Let s = t + 541. Is 6 a factor of s?
True
Let h be 12/(-54) + 508/18. Suppose -j + h = -14. Suppose j*r + 320 = 44*r. Is 40 a factor of r?
True
Suppose h - 7 - 17 = 0. Suppose 7*i - h = -2*n + 3*i, n + 5*i - 24 = 0. Suppose -m + 396 = 5*x, 7*m - 308 = -4*x + n*m. Does 17 divide x?
False
Let r(i) = 3*i**3 + 6*i**2 - 5*i. Let h(a) = 16*a**3 + 31*a**2 - 25*a. Let s(u) = 2*h(u) - 11*r(u). Let m be s(-7). Let c = 268 - m. Is c a multiple of 41?
False
Let v(j) be the third derivative of j**6/120 + 7*j**5/30 + j**4/6 + 8*j**3/3 - 7*j**2. Let r be v(-14). Let x = 62 + r. Is x a multiple of 11?
True
Let q be (-5)/((-25)/1195) - (-4 - -2). Suppose -528 = -247*l + q*l. Does 22 divide l?
True
Let t = -593 - -1993. Does 5 divide t?
True
Let q = -776 + 946. Suppose -206 = -d - 3*n, q*n - 171*n + 3 = 0. Is d a multiple of 22?
False
Let r(h) be the second derivative of -h**5/20 + 11*h**4/12 + 5*h**3/6 + 31*h**2/2 + 30*h. Is r(9) a multiple of 17?
True
Suppose -122*b + 1377918 = -20*b. Is b a multiple of 9?
True
Let l(r) = r**3 - 5. Let g = -184 + 187. Is l(g) a multiple of 6?
False
Let c(w) = -19*w - 45. Let y be c(-5). Suppose 0 = -4*m + 12, -y - 231 = -4*f - 3*m. Is f a multiple of 2?
True
Suppose -164730 - 41350 = -67*k + 59*k. Is k a multiple of 224?
True
Suppose 114*j - 542544 = 66*j. Does 62 divide j?
False
Let f(g) = 14*g**3 + 2*g + 2. Let r = 100 + -98. Suppose -r*v + 2 = -o - 6, -5*o - 22 = -v. Is f(v) a multiple of 9?
False
Let x(u) = 62*u**2 - 58*u - 333. Is 4 a factor of x(-7)?
False
Let k(t) = -4061*t**2 + 8123*t**2 - t - 4061*t**2 - 12. Let g = 3 - 9. Is 2 a factor of k(g)?
True
Suppose 3*t + 3*r = 10344, 5*r + 964 = t - 2496. Does 69 divide t?
True
Let g(x) = -3*x + 36. Let m be g(11). Suppose m*o + 0*o = -4*s - 16, 0 = 5*o + 3*s + 23. Is 2/8 + (945/o)/(-3) a multiple of 23?
False
Suppose 6*k - 2*u - 289 = k, -5*u = -15. Let g = k + -7. Is 4 a factor of g?
True
Suppose -l + 22 = 3*l + 2*v, 5*v - 10 = -l. Let d be (l + (-4 - 1))/(-4). Suppose d = -32*t + 28*t + 756. Is 9 a factor of t?
True
Let f = 1113 + -964. Let j = -229 + 128. Let l = j + f. Does 3 divide l?
True
Let a be (-8)/((8/2)/(6/(-3))). Let r be 2/a*(2 + -1 - -11). Is 5 a factor of 13*2/r*3 + 2?
True
Let q(m) = -419*m + 233. Is 7 a factor of q(-16)?
True
Let z(u) = 370*u - 966. Is z(7) a multiple of 3?
False
Let d = 770 - 410. Suppose 0 = -2*z + 6*z - d. Is z a multiple of 45?
True
Let m(d) = -3*d - 16. Let i be m(-7). Suppose v - 16 = i*g, g = -2*v + 6*g + 17. Does 31 divide -4 - (134*-1 + v)?
False
Is -6 - (-451979)/51 - (-2)/(-6) a multiple of 36?
True
Suppose t - 18 = -5*t. Suppose a - 3 = 2*b, -2*b - t*b - 35 = 3*a. Is (9/(-6))/(a/290) a multiple of 13?
False
Does 92 divide -1 - (-13221 + 1/3*(-28 + 31))?
False
Is (5/20 - 32775/(-4)) + (-162 - -158) a multiple of 26?
True
Suppose 0 = -3*k + k + 16. Suppose b - 5*q - 17 = 0, 4*b + k*q - 3*q + 7 = 0. Suppose -2*j - 7 = -5*n, n - b = 3. Does 7 divide j?
False
Let j(z) = 27*z + 138. Let f(d) = -d + 14. Let i(u) = 9*f(u) - j(u). Let a(q) = -q**3 - 5*q**2 + 8*q + 7. Let s be a(-6). Does 14 divide i(s)?
True
Suppose -2*o = 10*o - 2052. Does 57 divide o?
True
Does 21 divide (-24)/(-12) + -6 + 11143 + 5?
False
Suppose 12 - 32 = 4*a. Let z be ((1 - -3) + a)*0. Suppose z = 7*s + s - 584. Is 29 a factor of s?
False
Suppose 29*f = 17880 + 124858. Does 11 divide f?
False
Let x = 67 - 60. Suppose x*n - 612 = 3*n. Is 3 a factor of n?
True
Suppose -966*q = -965*q - 3981. Is q a multiple of 30?
False
Let u(g) = 2*g**3 + 6*g**2 - 22*g - 14. Let j be u(-5). Does 14 divide ((-65)/39 - j)*264/2?
True
Suppose 0 = 11*g - 72523 - 19679. Is 11 a factor of g?
True
Suppose 23*p - 22*p = 5. Suppose s = 3*c - 4*s - 295, -s = -p*c + 455. Let n = c - 70. Does 3 divide n?