)?
False
Suppose -5*f + 7*f = c - 1, 3*f + 9 = 3*c. Suppose 0 = f*m + m - 354. Is 12 a factor of m?
False
Suppose 4*h - 5*g = 221, 28 = -3*h + 3*g + 190. Suppose 3*p + 2*u + 13 = 159, p = -u + h. Does 16 divide p?
True
Suppose 0 = -21*z + 15*z + 18. Suppose z*t - 217 = -b + 21, 4*b - t - 926 = 0. Is b a multiple of 23?
False
Is 9 a factor of (-3)/2 + 0 + -7 + (-26721)/(-18)?
True
Let q = 7 + -3. Let l = -1149 + 617. Is 13 a factor of (2/(-2))/(q/l)?
False
Suppose -17*x + 30 = -15*x. Is 34 a factor of (30/(-12))/(x/(-7812))?
False
Let c(l) = 2*l - 3. Let n be c(3). Suppose -g + n + 0 = 0. Is 41 a factor of (g + -4)/(-2 + 163/82)?
True
Let l be (23 - 6) + (-48)/(-8). Let x(g) = -g**2 + 59*g - 72. Does 63 divide x(l)?
True
Suppose -27*l - 132898 = -150*l - 8545. Is l a multiple of 11?
False
Let h(f) = -f**3 - 5*f**2 + 12*f + 18. Let t be h(-7). Let k = t + 35. Does 4 divide k?
False
Let x = -36 + 123. Let g = x - -20. Does 7 divide g?
False
Let q(b) = 536*b + 8234. Is q(-10) a multiple of 41?
False
Suppose 9 = t - 2*z, -2*t - 2*z - z = 17. Is (t - -1) + 299 + 2 a multiple of 43?
True
Let t(k) = -k**3 + 30*k**2 - 81*k + 9. Let j be t(27). Is 73 a factor of ((-5)/2)/(j/(-3942))?
True
Suppose -3*w + 46*c - 50*c = -21064, 35105 = 5*w + 5*c. Is w a multiple of 26?
True
Suppose -8*o + 13*o = 20, -4*h = -5*o - 8. Suppose -5*v + h*r - 3*r = -548, 322 = 3*v + r. Does 9 divide v?
True
Let p = -84 - -87. Suppose 5*u + i + 3*i = 13, 7 = -p*u + 5*i. Is u/4 + (-3377)/(-44) a multiple of 16?
False
Let m = 242 - 238. Suppose 5*d = -m*d + 387. Is d a multiple of 2?
False
Suppose a = 4*n - 23, -5*n - 2*a - 2*a = -55. Suppose 5 = -n*t - 9. Does 14 divide (280/(-50))/((t - -1)/10)?
True
Suppose 6*d - d = -5*d. Suppose 961*i - 964*i + 1146 = d. Does 5 divide i?
False
Suppose -66*u - 33937 = -69*u - 12802. Does 12 divide u?
False
Suppose -7*i - 215 = 3*w - 3*i, -200 = 3*w + i. Let y be 364/w + 2/(-5). Is 40 a factor of 83 + y/(-2)*-1?
True
Let f(s) = -12*s + 10 + 1 + 1 - 4*s**2 + 2*s. Let u be f(4). Let a = u + 138. Is a a multiple of 46?
True
Let p(u) = -2*u**2 - 6*u - 1. Let l = 54 + -55. Let x be p(l). Suppose -4*i + 4 = 0, b + 0*b + x*i = 39. Is 4 a factor of b?
True
Let m(v) = -v**3 + 25*v**2 - 49*v + 103. Let t be m(23). Suppose t*a = 3*a + 17422. Is 19 a factor of a?
False
Let s(f) = 48 + 18*f + 116 + 50. Is s(19) a multiple of 83?
False
Let w be 864/48 - (1 + -1 + -2). Suppose -196 = -9*n + w. Does 3 divide n?
True
Let n = 63 - 63. Suppose 0 = 3*w - 2*o + 4, -o + 2 = -n*o. Suppose w = 4*v - 139 - 57. Does 22 divide v?
False
Suppose 0*j - j + 2*w - 8 = 0, w - 4 = -5*j. Let d be 1/(-4) + 17932/112 - 1/(-7). Suppose j = -4*k - 20, 3*k + 143 + d = 4*m. Is 14 a factor of m?
False
Let v = -651 + 1839. Suppose 3*f = 6, 0 = -5*r + 2*f + v - 72. Is r a multiple of 7?
True
Let i = 15710 + -1406. Is i a multiple of 7?
False
Suppose -111 = -448*b + 445*b. Suppose n - 87 = p, -n - 5*p + 68 + b = 0. Is 5 a factor of n?
True
Let r = 1080 + -1633. Let a = 1075 + r. Does 9 divide a?
True
Let z = 46 - 29. Let k(l) be the second derivative of l**5/20 - 19*l**4/12 + 20*l**3/3 + l**2/2 - 132*l. Is 20 a factor of k(z)?
False
Suppose -21*z + 22*z = 5*u - 9192, -5*u - 3*z + 9224 = 0. Does 49 divide u?
False
Let h = 2553 - 1757. Let b = h - -84. Is 38 a factor of b?
False
Suppose 0 = -4*x + p + 2, -2*x - 6 + 2 = 2*p. Suppose -q + o + 47 + 10 = 0, x = 2*q - 3*o - 111. Is q a multiple of 12?
True
Let b(c) = 90*c**2 - 2*c + 3. Let v be b(-4). Let w be 1246/182 - -3*(-4 + 632/156). Is 10 a factor of (-2)/7 + -7 + v/w?
True
Suppose 51 - 236 = 5*h. Let c = h + 44. Suppose 153 = -4*d + c*d. Is 6 a factor of d?
False
Let z(q) be the first derivative of q**4/4 + 5*q**3/3 - 37*q**2/2 + 6*q + 120. Does 11 divide z(8)?
False
Is 95 a factor of 4/18 + (-144157)/(-1521)?
True
Suppose 4*y + 2 = 5*y, -4*f = y - 18. Suppose -f*j + 623 = -337. Does 50 divide j?
False
Let d = -14832 + 31845. Is 53 a factor of d?
True
Let k(f) = f**3 + 50*f**2 - 100*f - 51. Let p be k(-52). Let i = -375 - -240. Let n = i - p. Is n a multiple of 17?
False
Let a = 48576 + -31848. Does 123 divide a?
True
Let j be ((-6)/(-5))/(3/((-180)/(-24))). Suppose 0 = -j*s + 15*s - 5016. Does 22 divide s?
True
Let f be 9*13/351 - 28/3. Let k(i) = 3*i**3 + 30*i**2 + 1. Does 14 divide k(f)?
False
Suppose 0 = -2*y - 4*g + 1346, 5*y = 3*g + 1484 + 1829. Does 2 divide y?
False
Suppose 0 = -2*m + 551 + 341. Suppose 4*j - m + 142 = 0. Let p = -47 + j. Is p a multiple of 4?
False
Suppose 96*g - 98*g + 394 = 0. Suppose 0 = 4*o - 3*u + 414, 2*o + 0*u - 4*u + 202 = 0. Let p = g + o. Does 23 divide p?
True
Suppose -2*u - 2*w = 3*u - 83, 0 = 5*u + w - 79. Let p be 26/(40/(-12)*(-1)/u). Suppose 65 = -2*c + p. Is 13 a factor of c?
True
Suppose -19*q = 11*q - 4980. Suppose 3076 = 168*i - q*i. Does 17 divide i?
False
Let n = 444 - 444. Suppose 5*j + 2*i - 5320 = n, 4*i - 2975 = -5*j + 2335. Is j a multiple of 82?
True
Let o(r) = -r**2 - 8*r - 35. Let p be o(-5). Let y(b) = -b**3 + b**2 + b + 4. Let q be y(-3). Let v = q + p. Does 17 divide v?
True
Suppose 0 = -25*s + 27*s - 592. Suppose s*k = 291*k + 325. Does 10 divide k?
False
Let c(v) = -10*v - 10. Let r be c(4). Let w = -46 - r. Suppose -w*s + 67 = -21. Is s a multiple of 11?
True
Let p(s) = -s**3 - 6*s**2 - 11*s + 9. Let t be p(-6). Suppose -t = -2*a + 127. Is a even?
False
Suppose -4*y + 72 = -260. Suppose -19 = 8*h - y. Is h a multiple of 8?
True
Suppose -5 - 7 = -3*f. Let r = -14460 + 14463. Suppose -5*l + f*i + 128 = -49, 0 = -l - r*i + 24. Is l a multiple of 30?
False
Suppose -4*l - 316 = -8*l. Suppose -5*w + 3*u = -850, -5*u + 292 = 2*w - l. Does 22 divide w?
False
Suppose 10*m = -2*m + 24. Suppose -8*i + 7*i - 1327 = -3*q, -m*q - 2*i = -890. Does 6 divide q?
False
Suppose -2*w = -o - 12296, -5*o + 26092 = 4*w + 1514. Is 8 a factor of w?
False
Is 37090/20 + -6 + (-18)/12 a multiple of 21?
False
Let m be (-2)/(-7)*-1 - 1725/(-525). Suppose 5*n = -m*d + 246, 4*n + 90 - 25 = d. Does 10 divide d?
False
Let o(j) = 2*j**3 - 5*j**2 + j + 2. Let t be o(3). Suppose -6*n - 992 = -t*n. Is 31 a factor of n?
True
Let q = -3773 + 5792. Let t = q + -899. Does 14 divide t?
True
Let h(v) = 422*v + 7. Let w(i) = -843*i - 15. Let x(f) = 9*h(f) + 4*w(f). Is 39 a factor of x(1)?
True
Let j be (-1497)/(-12) + 3/12. Let r = -85 + j. Is 8 a factor of r?
True
Suppose -5232 = -5*w - 2*u, -5*w + 8*w = 5*u + 3164. Suppose 541 + w = 4*n - 5*x, 4*x + 4 = 0. Is n a multiple of 11?
True
Suppose -32*i - 523 = -451 - 725480. Is i a multiple of 22?
False
Let v(a) = 24*a + 880. Does 3 divide v(52)?
False
Let z = -1374 + 9924. Is z a multiple of 30?
True
Let j = 12544 - 2106. Does 17 divide j?
True
Let n(b) = -90*b**3 + 10*b**2 + 44*b. Is n(-8) a multiple of 69?
True
Does 60 divide 72*(6 - 1233/(-27) - -5)?
True
Does 40 divide (-2 + (-3)/6)*(-126)/(-105) - -2274?
False
Let a = 7359 - 6576. Is 19 a factor of a?
False
Let j = 111 - 111. Suppose 5*y + n - 36 = j, -5*y + 14 + 25 = 4*n. Suppose -5*q + 3*t + 914 = y*t, -3*q + 543 = -3*t. Is q a multiple of 26?
True
Let t(f) = f**3 + 5*f**2 - 3*f. Suppose 0 = -9*x + 4*x + 195. Suppose -x = -2*s - 47. Is 10 a factor of t(s)?
False
Suppose -n + 50 = 5*k - 71, -4*k + n + 104 = 0. Suppose 61*q = 56*q - k. Is 51 - (78/(-30) + 2/q) a multiple of 6?
True
Suppose 2*y + 35170 = 3*i, 19*i + y - 35182 = 16*i. Does 143 divide i?
True
Let f = 15744 - 6744. Does 15 divide f?
True
Let w(g) = -17 + 5*g + 11 + 6 - 2*g**2. Is w(1) a multiple of 3?
True
Let f be (-1)/(4/(-2184)) + -1. Suppose -5*o + 1015 = -f. Is 39 a factor of o?
True
Suppose -p - 4*g = -1048, -5*p + 3*g = -p - 4287. Let q = p - 698. Is q a multiple of 14?
False
Does 9 divide ((-21)/6 - -5)/((-21)/(-12348))?
True
Suppose -92*u = -95*u + 6. Let a(d) = -d**3 + d**2 + 5*d - 5. Let n be a(u). Does 8 divide 62 + (-6 + 3)*n?
False
Let q = -410 - -420. Suppose q*b - 6006 = -4*b. Is 16 a factor of b?
False
Suppose -3*z + 400 = -89. Let a = 439 - z. Suppose -5*r = -r - a. Is r a multiple of 23?
True
Suppose 0 = w + 5*l - 7, 5*w - 18 + 13 = 5*l. Suppose 0 = -3*i + 5*t + 2558, -w*i - 2*t = -6*t - 1708. Is 47 a factor of i?
True
Suppose 3*q + 433 = -h, 2*h = 4*q + 5*h + 579. Let n = 157 - q. Is 9 a factor of n?
False
Let i(x) = 3*x**2 - 22*x +