 of s(x)?
False
Let x(m) = 2326*m - 1403. Is x(6) a multiple of 67?
False
Let x(k) = k**2 - 85*k + 2632. Does 4 divide x(57)?
True
Suppose 0 = 2*y, 0 = -s + 15*y - 14*y + 131. Let c = 766 - s. Is 28 a factor of c?
False
Suppose -116*u + 113*u = 6, -f + 2*u + 12070 = 0. Does 6 divide f?
True
Suppose -52*i - 2576 - 756 = -35*i. Suppose 3*s = -s - 448. Let z = s - i. Does 12 divide z?
True
Suppose 4*y = -4*c + 36, -y = -c - 34 + 51. Does 4 divide c?
False
Suppose 0 = -21*b + 7*b + 2436. Let w = b + 54. Is 6 a factor of w?
True
Let c = 1508 - 401. Is c a multiple of 27?
True
Let c(t) = -t**3 - 16*t**2 - 27*t + 19. Let f be c(-14). Suppose 2*v - 4*z = 154, -68 = 2*v - 3*v + f*z. Is v a multiple of 29?
False
Let b be (34*-1)/((-7)/7). Let d be 3*b/(-6)*-4. Let k = -13 + d. Does 5 divide k?
True
Let c(d) = 333*d**2 + 24*d - 484. Is 19 a factor of c(12)?
False
Suppose -2*p - 5*c + 15074 = -0*c, 2*p = 5*c + 15054. Does 48 divide p?
False
Suppose -3*p = -345 - 216. Let m = p + -71. Is m a multiple of 6?
False
Let v = -869 + 5161. Does 29 divide v?
True
Suppose 0 = 2*t + 2*t - 680. Suppose -4*c + t = -9*c. Let z = c + 59. Is z a multiple of 5?
True
Let q(o) = 7*o - 187. Let s(z) = -16*z + 374. Let w(c) = -9*q(c) - 4*s(c). Is 4 a factor of w(46)?
False
Let g = -19264 - -21134. Does 29 divide g?
False
Let b(n) = n**3 + 26*n**2 + 73*n - 35. Does 5 divide b(-19)?
True
Let b be (10 + 0)/((-4)/(-2)). Suppose -690 = -4*m - b*g, -3*m + 3*g = -6*m + 516. Suppose -x + 5*x = 0, -5*w = -4*x - m. Is w a multiple of 31?
False
Suppose 29428 = -2*b + 4*b - 8*y, b = -3*y + 14700. Does 16 divide b?
False
Let p = -92 - -91. Does 35 divide p/(-7) + 13536/63?
False
Suppose 3*q - 4 = j, j + 2*j + 22 = 4*q. Let l = -13 - j. Is 11 a factor of (l/5 - -1) + 8784/40?
True
Suppose 5*d + 1120 = -5*o, 2*d - 4*d = 4. Let n = o + 262. Is 7 a factor of n?
False
Suppose -i + 8*u + 2850 = 0, 3*i = -2*i + 3*u + 14250. Is 27 a factor of i?
False
Suppose 5*o - 66048 = -7*r, 5274 = 2*r + 4*o - 13602. Is 122 a factor of r?
False
Let z(c) = 3*c**3 + 18*c + 482. Let j(m) = 2*m**3 + 12*m + 321. Suppose 0 = 2*n + 4*s - 2, s - 8 = n - 0*s. Let w(o) = n*z(o) + 8*j(o). Does 22 divide w(0)?
False
Suppose 0 = 177*z - 58999 - 238361. Is z a multiple of 21?
True
Suppose 23*y - 35*y = -37620. Is 165 a factor of y?
True
Let n(b) = -4*b - 10. Let g be n(-3). Suppose -2448 = 10*u + g*u. Let t = 360 + u. Does 12 divide t?
True
Let r(v) = -10 - 7 + 1 + 2*v**2 + 9*v - v**2. Does 48 divide r(-25)?
True
Let s(x) = x**2 + x - 10. Let a be s(3). Suppose -a*v + 4*v = -2*w + 2, -5*v - 9 = -2*w. Suppose 0 = w*r + 4*r - 198. Does 13 divide r?
False
Let s(p) = 34*p**2 + 35*p - 314. Is 82 a factor of s(12)?
True
Suppose -257886 - 449999 = -133*p - 34240. Is p a multiple of 19?
False
Suppose 0*s = -s + 566. Suppose 2*g - 9*w + 6*w - 41 = 0, 5*w = -5*g + 15. Suppose g*z - 634 = s. Is z a multiple of 10?
True
Suppose -281*r - 135380 = -571730 - 1060537. Is 3 a factor of r?
False
Let q = 401 + 118. Suppose q = -18*m + 1599. Is 10 a factor of m?
True
Suppose q - 60 = -q. Suppose 39 = p - q. Suppose 0 = -2*g - p + 299. Is g a multiple of 23?
True
Suppose 5*v = 4*q - 131, -v - 4*q - 13 = 18. Suppose -92 = 2*k + 22. Let l = v - k. Is 6 a factor of l?
True
Suppose 26 = -32*b + 19*b. Is (b - -7) + 125 + -6 a multiple of 4?
True
Suppose 2*q - f - 25457 = 0, 5*f = -42*q + 40*q + 25463. Is q a multiple of 26?
False
Suppose 0 = q + 3*y - 0*y + 5, 0 = 5*q - 4*y + 44. Let a be (-11 + 8)*q/3. Let k(i) = -i**3 + 8*i**2 + 11*i + 2. Is 15 a factor of k(a)?
True
Let w = 444 + -442. Suppose 4*n - 1240 = 6*t - 2*t, w = -t. Is n a multiple of 11?
True
Suppose -5*j = -i + 519, 73*i = -4*j + 72*i - 408. Let q = 422 - 199. Let f = q + j. Does 15 divide f?
True
Suppose -g + 500 = 3*r - 8, -3*g = -5*r - 1510. Suppose -6*p = -227 - g. Is 46 a factor of p?
False
Let y = 39 + -35. Suppose -37 = -y*f + 47. Is 15 a factor of (45/1)/(f/14)?
True
Let o(c) = -c - 1. Let p be o(-4). Let u(s) = 151*s**2 + 138*s**2 - 426*s**2 + 7*s**3 + 136*s**2 + 4 + 3*s. Does 13 divide u(p)?
False
Let q(i) = i**3 - 18*i**2 + 32*i - 12. Suppose 2*v - 4*d - 53 = 1, 3*v - 26 = -5*d. Is q(v) a multiple of 36?
False
Suppose 5*c - 2*g = 4922, -8*c - 10913 = -19*c - 5*g. Is c a multiple of 4?
True
Let c = -1579 - -1587. Let x(w) = 11*w**3 - 2*w**2 + 2*w - 2. Let s be x(2). Suppose -c*t + 54 = -s. Is t a multiple of 2?
False
Suppose -f + 78*t + 8264 = 79*t, -f + 8240 = -5*t. Is f a multiple of 70?
True
Let g be 161 - 0 - (1 - -1). Let q = 250 - 264. Let i = g + q. Is 15 a factor of i?
False
Let t = -99 - -59. Let j be ((-1 - -4) + t/15)*354. Suppose 0*g + 191 = 3*g + w, 2*g = 4*w + j. Is 9 a factor of g?
True
Let g be 0 + (-6)/(-15) + 460/100. Suppose 0 = -4*q - g*c + 13 + 339, 2*q - 176 = -3*c. Does 11 divide q?
True
Let h be 24/3*(-5)/(-20). Suppose h*c = c + 3*s + 16, 0 = 5*c - 5*s - 50. Suppose c*m - 126 = -2*m. Does 7 divide m?
True
Suppose -89*l - 6828 + 184472 = 0. Is 80 a factor of l?
False
Let q be 4/(5 - (2 - 1)). Let d be (9/(3 - 2))/(3/q). Suppose j - 58 = m - 2*m, -d*m = 2*j - 176. Does 15 divide m?
True
Suppose -3*q - 33108 = -7*z + 4*z, 0 = 7*z - 4*q - 77273. Does 51 divide z?
False
Suppose -x = -4*u - 91, 10*u = 2*x + 14*u - 230. Suppose 0 = 2*w - h - 524, 1301 = 5*w - 105*h + x*h. Does 10 divide w?
False
Is 32 a factor of (8 + (5 - -3))*124?
True
Suppose -d + 3*l + 2781 = 0, -2*d - 149*l + 5568 = -153*l. Is d a multiple of 5?
True
Suppose -2*x + 923 = -181. Let v = -408 + x. Is v a multiple of 5?
False
Suppose 4*s = m - 473, s - m - 3*m = -107. Let a = -59 - s. Is 10 a factor of a?
True
Let n(u) = -1147 - 3*u**2 + 4*u**2 + 22*u + 1149. Let i be n(-22). Suppose -s + i*b = 15 - 39, -b = 4*s - 87. Is s a multiple of 11?
True
Let i = 75502 - 41574. Is 99 a factor of i?
False
Let c be 9/2*(0 - (-28)/21). Does 8 divide 44 - c - (0 + 6)?
True
Suppose 0*q - 3*x + 51 = -q, -2*q - 4*x - 82 = 0. Let p be q/(-10)*3/((-108)/(-16)). Suppose -4*o - 5*y + 169 = 0, -5*o + 0*y = p*y - 190. Does 7 divide o?
False
Suppose 9*s = 5*s + 8. Suppose 77 = s*u + 5*v, -3*v - 141 = -4*u - 0*u. Suppose -68 - u = -2*r. Does 13 divide r?
True
Suppose -8*g + 2 = 106. Does 4 divide g/((-52)/1712) + -8?
True
Let s = 9127 - 3205. Is 6 a factor of s?
True
Does 54 divide ((-1238)/3)/((-35)/105)?
False
Let s = 43547 + -24344. Does 4 divide s?
False
Suppose -348596 = 71*j - 1559075. Is j a multiple of 34?
False
Suppose -4*g = 4*c - 16124, -4*c - 7792 - 8380 = -4*g. Is 9 a factor of g?
False
Let z be (-3)/(-2) - 33/6. Is 6 a factor of z/(48/(-18)) - (-69)/2?
True
Let f = 1943 + -791. Suppose -234 = 2*m - f. Is 17 a factor of m?
True
Suppose 0 = -3*d - 2*q + 13299, -3*d - 4*q + 13162 + 137 = 0. Does 31 divide d?
True
Let u(m) be the third derivative of m**5/60 - 6*m**3 + 99*m**2. Is 16 a factor of u(-18)?
True
Let j(s) = 3 - 10 + 3*s + 2. Let o be j(5). Does 5 divide 38/(-4)*3*o/(-15)?
False
Let d(g) = -2*g**3 - 16*g**2 - 5*g + 10. Let k be d(-6). Let w = k - -86. Does 10 divide (-1444)/w + 34/(-153)?
True
Let h be (3750/26)/5 + (-4)/(-26). Let w = h - 27. Suppose -w*v + 134 = -l, 0*v - 4*l = v - 58. Does 10 divide v?
False
Let w = 3401 - 2309. Is w a multiple of 4?
True
Let h be ((-18)/45)/((-2)/5)*1713. Let d = h - 854. Is 55 a factor of d?
False
Let t(u) = -7*u**2 + 17*u + 17. Let k(f) = -13*f**2 + 33*f + 33. Let i(c) = 6*k(c) - 11*t(c). Does 41 divide i(5)?
True
Let c(q) be the second derivative of -169*q**3/6 + 9*q**2/2 + 52*q. Does 12 divide c(-3)?
True
Let p(j) = -j**3 - j**2 - 4*j + 4. Let g be p(1). Let a be 1/g*-4 + -52. Is 15 a factor of 1/(-5) + (-7260)/a?
False
Let d = 61 + -56. Let y(z) = -36*z - 8. Let h be y(d). Let m = -80 - h. Does 31 divide m?
False
Suppose -4*x + 116*w - 121*w = -64515, 5*w = -3*x + 48390. Does 170 divide x?
False
Let i(c) = -7*c**3 + 5*c + 5. Let a be i(-2). Let u = 29 + a. Is u a multiple of 16?
True
Suppose -5*v + 3*v + 46 = 0. Let h(m) = -9 - m**2 + v*m - 10 - 6*m + 9. Does 8 divide h(11)?
True
Suppose -y = -3*z + 45, 0 = -2*z + y + 29 + 2. Suppose -4*p = z*p - 5724. Is p a multiple of 28?
False
Let b be 24 - 0 - 1/((-2)/(-12)). Suppose 284 = b*i - 1552. Is 6 a factor of i?
True
Let g(o) = 4*o + 8. Let t be g(4). Suppose 8*b - 16 - t = 0. Suppose -4*y = -w + 185