1)?
False
Let u(w) = 2*w**3 + 31*w**2 + 9*w - 15. Is 2 a factor of u(-15)?
False
Let t(x) = x**3 - x**2 + x + 12. Let c be t(0). Suppose 3*a - 1 = q - 0, 0 = -4*a + c. Is q even?
True
Is 20 a factor of 46/8 - (-2)/8 - -134?
True
Let c(w) = -w**3 - w**2 + 6*w + 5. Let u be c(-3). Suppose -v + u = 7. Is 27 a factor of (-212)/v + (-27)/9?
False
Let d(t) = 125*t**2 - 41*t - 8. Does 14 divide d(-4)?
True
Let j = -135 - -253. Does 49 divide j?
False
Let t = 18 - 14. Suppose -65 = -3*w + 4*i, w + t*w = i + 131. Suppose 4*u - 121 = w. Is 14 a factor of u?
False
Let v(i) = 5*i**3 + 2*i**2 + 3*i + 2. Let h(s) = s**3 - s**2 - 1. Let u(y) = -6*h(y) + v(y). Does 4 divide u(8)?
True
Let h = -144 + 155. Suppose 0 = 16*z - h*z - 375. Is 5 a factor of z?
True
Let t be 7 + -6 + (761 - 1) - -2. Suppose 4*n - t = 133. Is n a multiple of 34?
False
Let l = -1220 - -1244. Does 4 divide l?
True
Let s(h) = -4*h**2 - 130*h - 29. Does 9 divide s(-28)?
False
Suppose -17 = w - 3*u, 2*w + w - 3*u = -27. Does 3 divide ((-150)/(-9))/((-10)/75*w)?
False
Suppose -6*l + 4*r = -10*l + 1948, 0 = l - 2*r - 484. Suppose 19*k - l = 16*k. Does 18 divide k?
True
Let c be 2 + (2 - 2)/(12/(-12)). Is 8 a factor of (0 + (-58)/(-4))*c?
False
Let z be 6/(-3) + 28/4. Let t(w) = 2*w - 10. Let d be t(7). Suppose -d*l - 253 = -z*r + 67, 35 = r + 5*l. Is r a multiple of 10?
True
Let z = -48 + 28. Let v = 64 - z. Is 12 a factor of v?
True
Let g = -760 - -1283. Is g a multiple of 26?
False
Suppose 46 = 5*i - 2*p, -3*i + 24 = -i + 2*p. Suppose -27 = -j - i. Does 5 divide j?
False
Suppose 3*s = 2*v - 712, -13*v + 11*v - 4*s = -712. Is v a multiple of 6?
False
Suppose -447*j - 11235 = -462*j. Is j a multiple of 72?
False
Let s = 317 + -209. Suppose 3*r - 87 = -0*p + 3*p, 4*r = 2*p + s. Is r a multiple of 5?
True
Let f(a) = a**2 + 9*a - 22. Let y be f(-10). Is -255*(-3 - 32/y) a multiple of 27?
False
Let s(a) be the third derivative of 11*a**4/24 - a**3/6 + 38*a**2. Let u = 10 + -5. Is s(u) a multiple of 18?
True
Let h = -24 - -26. Suppose 4*o = 222 - h. Is 11 a factor of o?
True
Let w = -377 + 627. Does 31 divide w?
False
Let u be 442/10 + (-48)/(-60). Is (918/u)/(2/5) a multiple of 17?
True
Suppose 5*q + 7*h - 2*h + 315 = 0, h = -5*q - 319. Let p = 214 + q. Is 15 a factor of p?
True
Suppose -x + 129 = -2*t, -5*x + 8*x - 2*t - 383 = 0. Does 16 divide x?
False
Let o(m) = -m**2 - 17*m - 11. Let n be o(-16). Suppose -3*q + 2*l + 146 = q, n*q + 2*l = 205. Suppose a = -2*a + q. Is 13 a factor of a?
True
Let p(f) = 37*f**2 + 3*f - 89. Is p(-7) a multiple of 13?
True
Let l(q) = 36*q**3 - 2*q - 4. Let b be l(2). Suppose 0 = -9*m + 4*m + b. Is m a multiple of 8?
True
Suppose 7*w = -94 + 1109. Is w a multiple of 29?
True
Suppose -9185 = 33*f - 44*f. Does 21 divide f?
False
Let r = -18 - -12. Let u(f) = -f**3 - 4*f**2 + 7*f + 6. Is 12 a factor of u(r)?
True
Suppose 46*s - 1602 = 37*s. Is s a multiple of 48?
False
Suppose 40 = 3*l + 5*l. Suppose 111 = 5*d - 3*c, -l*c + 39 = 3*d - 2*d. Does 24 divide d?
True
Suppose -204*n + 195*n + 9171 = 0. Is n a multiple of 49?
False
Suppose -40 + 20 = -4*k. Suppose -4*x + k*v + 43 = -13, -5*v = -2*x + 38. Is x a multiple of 5?
False
Suppose 0 = i + i + 6. Let c be 0 + (-198)/i + -3. Suppose 0*d + c = d. Is 17 a factor of d?
False
Let y = 310 + -254. Is 8 a factor of y?
True
Let z(a) = 3*a**2 - 11*a + 28. Is z(10) a multiple of 13?
False
Suppose m = -2*m - 5*j - 195, 4*j = 4*m + 292. Suppose n - 204 = 3*o - 66, -2*n + 240 = 3*o. Let a = n + m. Is a a multiple of 12?
False
Let c(l) = -5*l + 2. Let y be c(2). Let a = 16 + y. Is a a multiple of 4?
True
Let h = 1748 - 1690. Does 53 divide h?
False
Let x = -3809 + 7277. Is x a multiple of 17?
True
Suppose 59*h - 29*h = 13440. Does 9 divide h?
False
Suppose -1487 = -7*f - 38. Does 23 divide f?
True
Suppose f - 90 = -4*f. Suppose -3*x + 9 = -f. Suppose -x*c + 48 = -6*c. Is c a multiple of 8?
True
Is (5 - 328/64) + (-2913)/(-8) a multiple of 28?
True
Let l(j) = j**2 + j + 3. Let v be l(4). Suppose -4*p + v = -5*p. Let t = 17 - p. Does 10 divide t?
True
Suppose -l - 5*w = 3*l + 5, 4*l + w + 1 = 0. Suppose 11*x - 128 + 18 = l. Is 5 a factor of x?
True
Let g = -1003 + 1741. Does 4 divide g?
False
Let h = 59 + -55. Suppose -2 = 5*q + 4*o, o = 3*q + 4*o. Let l = h - q. Is l a multiple of 3?
True
Let g = 3337 + -1660. Is g a multiple of 13?
True
Let n = 0 + -14. Let k = 41 + n. Does 6 divide k?
False
Suppose -x + 6*x - 315 = 0. Is 26 a factor of 6*7/(x/156)?
True
Let p = 24 - 14. Suppose p*n - 5*n = 485. Suppose 4*u + n = 2*v - 5, -63 = -v - 4*u. Is 11 a factor of v?
True
Let y = 154 - 98. Is 14 a factor of y?
True
Suppose 4*f + 27 = 3*o, 6*o - 36 = 2*o - 5*f. Let v(d) = d**2 + d - 2. Does 22 divide v(o)?
True
Let z be (15/6)/((-3)/(-6)). Let f(w) = -2*w - 26 - 3*w - z + 3. Is f(-14) a multiple of 7?
True
Suppose -3*p + 3224 = 2*p - c, 3*p - 1944 = 3*c. Is p a multiple of 14?
True
Suppose 3*x = -4*k - 4 + 10, 4*x - 21 = -k. Let m = -1 + x. Suppose -m*s = -0*s - 65. Is 13 a factor of s?
True
Let y = 54 - 33. Suppose y*j - 252 = 17*j. Does 21 divide j?
True
Let p be 2 - 4 - (-8 + -5). Suppose 2*h = -7*m + 2*m + 103, -2*h - p = -m. Suppose n - m + 7 = 0. Is n a multiple of 2?
True
Suppose -35 + 122 = 3*f. Suppose -5*z - f = -i, 2*z + 0 = -10. Suppose -4*c + c + n = -34, 4*n + 40 = i*c. Is 9 a factor of c?
False
Let z(a) be the third derivative of a**5/60 - a**4/12 - a**3 + a**2. Let t be z(9). Suppose 4*x - t + 21 = 0. Is x a multiple of 3?
True
Suppose 5*r = 7*r - 630. Is 24 a factor of r?
False
Let h = 1934 + -1899. Is 15 a factor of h?
False
Let r(x) = -x**2 - 2*x. Let g be r(3). Suppose 0 = -8*t - 32 - 176. Let o = g - t. Is 11 a factor of o?
True
Let d(b) = -b + 17. Let f be d(17). Suppose f*m + 2*v = 4*m - 14, 2*m = 2*v + 8. Suppose -q = m*q - 224. Is 9 a factor of q?
False
Let u be (46/(-40) + 9/12)*190. Let l = -56 - u. Is 5 a factor of l?
True
Suppose 21*k - 16*k = 450. Let c be k*1 - (-7 - -3). Suppose g - 66 = -4*y + 24, g - c = -3*y. Is 28 a factor of g?
False
Let v = 2493 + -973. Is v a multiple of 95?
True
Suppose 347 + 58 = -3*z. Let r = 389 + z. Is 26 a factor of r?
False
Let j(g) = g**3 - 5*g**2 - 3*g + 7. Let n be j(5). Let i(b) = b**2 + 4*b - 14. Is 3 a factor of i(n)?
True
Let z be -1*((44 - -2) + 1). Let w(v) = -v**3 - 2*v - 3. Let m be w(-4). Let h = m + z. Is 7 a factor of h?
False
Let t(y) = 0*y**3 - 3*y + 1 - 2 + 5 - 6*y**2 - 2*y**3. Does 6 divide t(-4)?
True
Let c(n) = -2*n + 49. Let l be c(11). Let w = l - -15. Is 21 a factor of w?
True
Does 13 divide ((-23604)/91)/(-4) - (-2)/13?
True
Is 46 a factor of (-17*(-5 + 7))/(-1)*46?
True
Suppose 3*d - 10 = -2*d. Let r(t) = -4*t**2 - 5 - d - t**3 + 6. Is r(-5) a multiple of 4?
True
Let s(t) = -3*t**3 - 2*t**2 + 3. Let q(w) = w - 12. Suppose 0 = 3*d - d - 18. Let i be q(d). Is s(i) a multiple of 22?
True
Let a(f) = -2*f + 12. Let k be a(-5). Let j(d) = 4*d - 46. Does 7 divide j(k)?
True
Does 114 divide (47880/80)/((-7)/(-4) + -1)?
True
Let m(b) = 8 + 6 + 5 + b. Let h be m(-8). Let q = h + 94. Is 25 a factor of q?
False
Suppose -8*i - 66 - 662 = 0. Let t = -56 - i. Does 23 divide t?
False
Let n = -478 + 1405. Is n a multiple of 103?
True
Suppose 12 = -4*m, -5*x - 4*m + 370 = -38. Suppose -2*u + 4*l = -10, -4*u + 10 = -l - 3. Is 3 + x + 2 + u a multiple of 23?
True
Suppose -195 - 474 = -3*v. Let n = v + -151. Does 24 divide n?
True
Let u(n) = -47*n - 2. Suppose 18 = -4*j + 2. Let o be u(j). Suppose 5*v + 204 = 3*q, 0 = -3*q + v - 2*v + o. Does 21 divide q?
True
Let p = -21 + 24. Suppose -101 - p = -2*c + 2*s, -204 = -4*c + 3*s. Does 24 divide c?
True
Let i(x) = -x**3 - 4*x**2 + 6*x - 1. Suppose -13 = -7*z - 62. Does 26 divide i(z)?
True
Suppose -r + 4080 = 5*k, -5*k - 15419 - 4861 = -5*r. Is 14 a factor of r?
True
Let b(a) be the second derivative of -a**3/3 - 7*a. Is b(-5) a multiple of 5?
True
Suppose 6 = -5*b + 2*g, b + 5*g + 15 = 3. Let o(a) = a**2 - 18*a + 29. Let x be o(15). Is 11 a factor of (x*4 - 2)/b?
True
Let l(o) = o**3 - 5*o**2 - 13*o + 5. Is l(7) a multiple of 12?
True
Let c(q) = 10*q**2 + 4*q - 6. Let a(z) = -9*z**2 - 4*z + 5. Let k(b) = -4*a(b) - 3*c(b). Is 13 a factor of k(-4)?
True
Is 7 a factor of (-4)/7 + 795/105?
True
Let r be (12/(-2))/((-3)/2). Sup