ltiple of 16?
False
Suppose 4*i - 1656 = -5*c, 15*i - 14*i + 1 = 0. Does 3 divide c?
False
Suppose 3*g = -4*t + 156514, 5*g = -120*t + 122*t + 260926. Is g a multiple of 27?
False
Suppose h - 27168 = -9*h + 41892. Does 20 divide h?
False
Suppose 151 = -4*d - 385. Let j = d + 143. Is 3 a factor of j?
True
Let z(o) = -2688*o + 21. Let a(k) = -224*k + 2. Let i(c) = -35*a(c) + 3*z(c). Is 51 a factor of i(-2)?
False
Let v = 27 + -33. Let p be v/(-4)*(12 + -18). Let t(i) = -17*i - 10. Does 11 divide t(p)?
True
Let v(g) = -358*g**2 + 3*g + 11. Let q be v(-2). Let l = -752 - q. Is 25 a factor of l?
True
Let b = 1940 - 1128. Is b a multiple of 34?
False
Let p(k) = 2*k**2 - k + 14. Let f be p(0). Let n(w) = -4*w**3 + 14*w**2 + 2*w - 10*w**3 - f*w**2 + 8. Does 25 divide n(-2)?
False
Let o(s) = s**2 - 19*s - 18. Suppose 5*y + 60 = 3*j, -2*j - 2*j - 3*y = -80. Let k be o(j). Suppose -2*z = -10, -k*x + x + 38 = 5*z. Is 5 a factor of x?
False
Let u = -10 - 0. Suppose 0*c + 8*c = 704. Let h = c - u. Is h a multiple of 15?
False
Suppose -5*s + 3*v - 2*v + 3 = 0, -4*v - 12 = 0. Suppose -x + 6*x - 345 = s. Let l = x + -59. Does 5 divide l?
True
Let w(f) = f**3 - 24*f**2 + 26*f + 27. Let u be w(23). Suppose 0*x - 2*x = -u. Let z = -27 + x. Does 7 divide z?
True
Suppose 0 = -6*o + 11*o + 5*q, 27 = 4*o - 5*q. Is 10 a factor of o/1 - (1727 + -5)/(-6)?
True
Suppose 0 = 2*u - 3*u. Suppose -21 = 3*h - 5*m - 2, u = -2*h - m + 9. Is 5 a factor of ((-2)/(-5))/(h/30)?
False
Is (916/24)/((-1)/(-6)) - -1 a multiple of 23?
True
Let b = -1791 + 2391. Is b a multiple of 10?
True
Let r = 6 - -1. Suppose 17 = -5*z + r. Is ((-8)/6)/(z/24) a multiple of 8?
True
Let d(u) = u**3 - 12*u**2 + 43*u - 26. Let b be d(13). Suppose 704*c - b*c = 380. Is 10 a factor of c?
True
Suppose o + 235 = -4*o. Let j = o + 49. Suppose -3*b - 145 = -5*s + 2*b, b = -j*s + 70. Is 8 a factor of s?
False
Suppose v + 0*v - 8*v = -203350. Is v a multiple of 5?
True
Suppose -k + 4*h + 35 + 269 = 0, -4*k = -4*h - 1192. Suppose 3*z - 89 + k = 0. Let g = 59 - z. Is g a multiple of 18?
False
Let o(s) = -34*s - 2. Let n be o(-5). Suppose 10*i = -4*l + 5*i + 135, -i + 155 = 4*l. Suppose 8*g - n = l. Does 13 divide g?
True
Is -6 + (-24 - -44306) - -19 a multiple of 15?
True
Let i(r) = -r. Let t(x) = 13*x + 10. Let a(b) = -6*i(b) - t(b). Let p be a(-2). Suppose -p*z + 384 = -160. Is z a multiple of 17?
True
Let m(c) = 10*c**3 - 10*c**2 - 19*c - 46. Does 119 divide m(9)?
False
Let d(c) = 65*c - 117. Let m be d(16). Suppose -4*y - 823 = -m. Is y a multiple of 3?
False
Suppose -5*h + 2*q + 29 = 0, 3*h - 6 = -q + 7. Let x(r) = -30*r. Let n be x(-2). Suppose 4*u - 6*v + v - n = 0, -h*u = -v - 96. Is u a multiple of 5?
True
Suppose 0 = -4*v + k + 22, 7 + 3 = -5*k. Suppose v*c + 163 = -2*w, 2*w - 5*c = -0*w - 193. Let q = w - -152. Is q a multiple of 3?
True
Let g = 47166 + -10798. Is g a multiple of 16?
True
Let z(n) = 9*n - 4. Let p be z(7). Let v = 917 - 911. Suppose -p = -3*o - 4*c, v*c = -4*o + 4*c + 92. Is 25 a factor of o?
True
Let o be (-24)/(-48) + 1/(-2). Suppose o = 3*w - 313 + 1099. Is 8 a factor of w/(-2) + (1 - 4)?
True
Let v(g) be the second derivative of g**7/504 - g**6/720 - g**5/120 + 7*g**4/6 - 3*g. Let x(c) be the third derivative of v(c). Is 7 a factor of x(-3)?
False
Let s = -804 - -14454. Is s a multiple of 3?
True
Suppose 5*a + 2110 = 4*v, 3*v - a - 1579 = a. Let n = v - 253. Suppose -10*k + n + 288 = 0. Does 9 divide k?
False
Suppose -3*f = n - 8476 - 3926, -5*f + 49622 = 4*n. Is 11 a factor of n?
True
Let c(v) = -v**3 - 12*v**2 + 14*v + 1. Let y be 43/(-3) - 4/(-12). Let w be c(y). Let m = -143 + w. Does 27 divide m?
True
Let a(d) = -2*d**2 + 25*d - 61. Let i be a(9). Suppose 3*y = y - 5*s + 2247, 2*y + i*s = 2244. Is 64 a factor of y?
False
Suppose -39 + 21 = -2*f. Suppose -2*k = -f*k + 476. Is 3 a factor of k?
False
Let d = 564 - -416. Is d a multiple of 49?
True
Let m = 11966 + -4090. Is m a multiple of 57?
False
Suppose 5*n - 8205 = -5*u, -u = 2*n + 872 - 2514. Suppose -u = -71*y + 66*y. Is y a multiple of 20?
False
Suppose 1000 = -24*v + 49*v. Does 7 divide (56/v + -2)*-1135?
False
Is 3*-16865*(-22 - 3052/(-140)) a multiple of 26?
False
Let a = 452 + -227. Let q(w) = 21 + 221*w + 15 - a*w. Is q(-6) a multiple of 15?
True
Suppose 0 = -5*k + 97 + 8. Suppose -l + 3*w + 17 = 0, -4*l - 3*w + k = -2. Suppose l = -4*g, -86 = -s - g - 2*g. Is s a multiple of 12?
False
Suppose -5*p + 13163 = f, -65155 = -5*f + 37*p + 1156. Is 81 a factor of f?
True
Let h = 1053 + -138. Let s = -765 + h. Is 10 a factor of s?
True
Suppose -9 = -v + 726. Suppose v = 7*u - 2604. Does 13 divide u?
False
Let v = 26683 - 11675. Does 28 divide v?
True
Let r(k) = 4*k**3 - 11*k**2 + 5*k + 37. Does 12 divide r(7)?
False
Let m(x) = -x**2 + x - 1. Let j(s) = 5*s - 11. Let h(v) = -j(v) + m(v). Let i be h(-5). Suppose 229 = i*a - 536. Is a a multiple of 16?
False
Let z be 0*-2*1/4. Let k(c) = c**3 - c**2 - 7*c + 166. Is k(z) a multiple of 22?
False
Let c be 3/(-12)*2*16. Let p(z) = -z**3 - 7*z**2 + 2*z - 4. Does 3 divide p(c)?
False
Suppose 133964 + 49285 = 415*i - 34211. Does 4 divide i?
True
Does 10 divide (-483631)/(-186) - 1/(1*18/3)?
True
Suppose -3*g + 4*f + 1277 = 0, 9*g = 8*g + 2*f + 427. Is 18 a factor of g?
False
Let h(r) = -2*r + 23. Let g be 6/(-21)*6*(6 + 1). Let b be h(g). Is 15 a factor of (0 - 4) + 2 + b?
True
Let k(x) be the first derivative of x**5/60 + x**4/6 + 10*x**3 + 19. Let c(a) be the third derivative of k(a). Is 13 a factor of c(8)?
False
Let j = 578 + -1032. Let p = -424 - j. Is 6 a factor of p?
True
Suppose o - 8 = -5*j, 4*o - j - 40 = -o. Let k(w) = w**3 + 6*w**2 + 4*w - 2. Let a be k(-5). Is (o + 1 + (-7)/(-21))*a a multiple of 25?
False
Let t(z) = 3*z - 15. Let c(k) = -1. Let n(y) = -2*c(y) - t(y). Let u be n(12). Let q = u + 91. Does 9 divide q?
True
Suppose -36*m + 34*m = -11274. Suppose 11*d + 148 = m. Does 14 divide d?
False
Suppose 0 = -40*l + 5023 + 525257. Is 123 a factor of l?
False
Let o be ((-15)/25)/(2/(-10)). Suppose -o*s - 4*x = -99, -4*s - s + 148 = x. Suppose 0 = 5*c - 141 - s. Is c a multiple of 15?
False
Let x(d) = 56*d**2 + 1. Let f(o) = 2*o + 33 - 21 - 21. Let h be f(5). Is x(h) a multiple of 17?
False
Suppose -1025*u + 1030*u - 3*q - 2958 = 0, 5*u + 5*q - 2910 = 0. Is u a multiple of 42?
True
Let h(w) = 2*w**2 - 15*w + 9. Let f be h(7). Suppose -5*n - c + 528 = 0, -n + 4*c = f*n - 303. Does 35 divide n?
True
Let z = 856 - -7608. Is z a multiple of 8?
True
Let q = -103 - -24. Let c = -8 - q. Let u = -14 + c. Does 24 divide u?
False
Suppose 0 = -5*k, 0 = -3*m + 3*k - k + 24. Suppose -5*w = 2*z - 21, -1 + m = 3*w + 4*z. Suppose x - w - 57 = 0. Is 7 a factor of x?
False
Suppose g + 7034 = 5*i, 3*i + g = -26 + 4256. Is i a multiple of 16?
True
Let o(p) = -p**3 - 11*p**2 - 15*p - 1. Let a be o(-9). Let q = a + 37. Is 2 a factor of 183/q + 3 - (-2)/(-6)?
False
Let d(i) be the second derivative of 5/6*i**3 + 0 - 15*i + 17/12*i**4 - i**2. Does 20 divide d(3)?
False
Let n(o) = o - 7. Let m be (2 - 4 - -6)*1. Let h be n(m). Is (h/2)/((-90)/84 - -1) a multiple of 5?
False
Suppose -63*k + 248379 = -32223. Is k a multiple of 50?
False
Suppose -12*s + 11*s = -2. Suppose -5*f - 877 = -3*y, -s*y + 3*f + 614 = 7*f. Is 13 a factor of y?
True
Let y(k) = -k**3 + 29*k**2 + 7*k + 21. Let b be y(29). Suppose -184 = -2*z + b. Does 17 divide z?
True
Let m(h) = -h**2 - 2*h - 2. Let s(d) = -62*d**2 + 2*d - 15. Let n(b) = 3*m(b) - s(b). Is 2 a factor of n(1)?
True
Let g(n) be the first derivative of -n**2 + 21*n - 6. Suppose -31 = 3*w + 2*f, 0 = 2*w + w + 5*f + 37. Does 17 divide g(w)?
False
Suppose -2*h + 34 = -2*y, -h = -42*y + 47*y + 7. Let c be (-1)/((-1)/(-228))*-4. Suppose h*v = 908 + c. Is 7 a factor of v?
True
Let u(p) = 3*p**2 + 61*p - 58. Does 42 divide u(-23)?
True
Suppose 62 = 11*g - 576. Suppose -60*r + 64 = -g*r. Is 6 a factor of r?
False
Suppose 4*j - u = 124856, -5*u = 3*j - 2*j - 31193. Is 91 a factor of j?
True
Suppose -l + 3503 + 62793 = 2*f, -132632 = -2*l + f. Is l a multiple of 18?
True
Let t be (6/4)/(23/46). Suppose -3*y + x - 6*x = -263, t*x = 3*y - 279. Does 7 divide y?
True
Let r = 35178 - 60432. Is 26 a factor of r/(-108) - 1/(-6)?
True
Let k be ((-1)/(-2) - 2)*24/(-18). Suppose t