
True
Suppose -x = -4*q - 761, -1913 = -3*x + 4*q + 386. Let p = x - 215. Is 50 a factor of p?
False
Let f = -348 - -245. Let l = 259 + f. Is l a multiple of 26?
True
Let w(g) = -14*g + 3 + 6*g**2 + 12*g + 5*g + 7*g**2 + 1. Is 10 a factor of w(6)?
True
Does 9 divide (9/18 - (-30)/(-4)) + (1349 - 12)?
False
Suppose 0 = s + 1, 3*r + 35 = -2*r + 5*s. Is 12 a factor of 93*5/(-30)*r - 0?
False
Suppose 118 - 394 = -4*m. Let j = 4649 + -4581. Let l = m + j. Does 21 divide l?
False
Let h be (118/6)/((-3)/1548*-2). Suppose 19074 = 25*u + h. Is 35 a factor of u?
True
Let f be 0 - (-6720 - (4 + -6)). Suppose 7*w = -f + 54850. Is 18 a factor of (((-8)/6)/2)/((-24)/w)?
False
Let x be ((-273)/63)/(2 + (-7)/3). Suppose g - a - 422 = 0, -5*g + 17*a + 2106 = x*a. Is g a multiple of 24?
False
Suppose -7*g - 1 + 22 = 0. Suppose -2*o - x = -75, -5*x + 102 = g*o - 0*x. Is 10 a factor of o?
False
Let v be ((-20)/70 + 18908/(-70))*-5. Let u = v + -830. Does 9 divide u?
True
Suppose 2*a = 29 - 121. Suppose 4*f = 5*w + 167, -20*f + 19*f = 2*w + 59. Let o = w - a. Is 2 a factor of o?
False
Let w(s) = -1075*s - 207. Is 19 a factor of w(-5)?
True
Let w = -36 - -32. Is (2*-1)/(w*(-8)/(-2608)) a multiple of 8?
False
Suppose -4*i - 1164 = -3*m + 179, 897 = 2*m - 3*i. Suppose -3*q = 24 - 54. Suppose -q*h = -h - m. Is 7 a factor of h?
True
Let d(k) be the third derivative of k**4/8 + 12*k**3 - 173*k**2. Let u be -1*(1 + 2 + -3). Is d(u) a multiple of 14?
False
Let a be (-2 - 0)/6*(3 + 18). Let d = a - -10. Is 423/d + (1 - (3 - 1)) a multiple of 7?
True
Suppose -g = 4*y - 2*y - 246, 3*g = y + 703. Let r(l) = 51*l - 553. Let j be r(8). Let m = j + g. Is 13 a factor of m?
True
Suppose -7*x + 5*g = -30663, 3*x = 5*x + 4*g - 8788. Does 33 divide x?
False
Suppose 8*n = 18 - 2. Suppose -h + p = -n*p - 31, -h + p + 23 = 0. Suppose -h*q = -27*q + 888. Is q a multiple of 8?
False
Suppose 2*f - 117 = 3*v + 355, -257 = -f - 2*v. Is f a multiple of 5?
True
Let w = -84 + 90. Let r be (w/2 + 12/(-4))/(-1). Suppose -2*k + 517 + 15 = r. Does 19 divide k?
True
Let k be ((-22)/(-6) - 3)*612/3. Let f = 512 - k. Is 47 a factor of f?
True
Suppose 8*h = 10*h + 3*h - 49815. Is 41 a factor of h?
True
Let d be (-2)/4*2 - (-289)/(-17). Let x = 19 + d. Is 34 a factor of 0 - ((-238)/x - 0)?
True
Let q = 19441 + -18913. Is 8 a factor of q?
True
Let c(d) = 195*d**2 + 4*d + 237. Does 39 divide c(9)?
True
Suppose 3*b = 4*b, 3*f = -b + 54. Let l(p) = -5*p**2 + 91*p - 6. Is l(f) a multiple of 12?
True
Suppose -903*d = -912*d - 895680. Is 6 a factor of d/(-440) - (-2)/(-11)?
False
Suppose -2*l + 115 = 107. Let g(i) = 6*i**3 - i**2 + 5. Let p be g(l). Suppose 83 = 6*m - p. Does 8 divide m?
False
Let w(i) = 2*i**2 - 8*i + 8. Let y be w(4). Let h be 18*(-1)/(-1)*y/(-6). Is (-27)/9 - (-5)/((-10)/h) a multiple of 3?
True
Suppose 324*p = 3174236 + 1359496. Is p a multiple of 67?
False
Let d(b) = b + 2. Suppose 0 = 2*c - c + 4*n - 20, 2*c - 12 = -n. Let u be d(c). Suppose v - u*v + 155 = 0. Is 6 a factor of v?
False
Let j = 196 - 127. Is 3 a factor of j?
True
Let p(q) = 12*q**2 - 8*q - 5. Let j be p(-6). Suppose -j = -7*i - 12*i. Does 5 divide ((-930)/i + -2)*(-5)/2?
False
Let j = 7165 + -1848. Is j a multiple of 2?
False
Let a(r) = r**3 + r**2 - 5*r - 31. Let t be a(11). Let k = t - 870. Is 31 a factor of k?
True
Suppose 3*o = -q - 286, -2*o + 12 + 284 = -q. Let y(l) = -l - 148. Let b be y(0). Let n = b - q. Is 36 a factor of n?
True
Let d be (-2 - 99/15)*-65. Suppose 5*t + 5*y - 2060 = 0, 0 = -5*t - 2*y + 1501 + d. Is t/8 + (3 + -2)/(-2) a multiple of 6?
False
Suppose 1531 = 5*c + 4*y + 81, 5*c - 4*y - 1490 = 0. Let m = 420 - c. Is m a multiple of 14?
True
Suppose 160*v - 164*v + 2588 = 0. Suppose -87 = 10*i - v. Does 7 divide i?
True
Suppose 0 = -6*n - 16 + 52. Suppose -3*r + 5*r = -g - 176, -2*r - n = 0. Let a = g - -305. Is 9 a factor of a?
True
Let k = 546 + -1314. Is k/(-10)*75/10 a multiple of 72?
True
Let c(g) = g**2 - 18*g + 80. Let y be c(7). Suppose -2088 = -3*h - y*o, 4*h - 8*o = -3*o + 2757. Is 14 a factor of h?
False
Let s(b) = -128*b - 85. Let j be s(-5). Suppose -67 = 5*q + 4*m - 1465, 0 = 2*q + 3*m - j. Is 15 a factor of q?
False
Let q(y) be the first derivative of 2*y**3/3 + y**2 + 9*y + 30. Let h be 3*1 - (-4)/2. Does 23 divide q(h)?
True
Suppose -3*s - 2*y = -2294, 0 = 301*s - 300*s - 2*y - 762. Does 2 divide s?
True
Let v = -3724 - -7444. Does 16 divide v?
False
Let c be (-462)/(-44)*(323/3 + 1). Let a = c - 627. Is a a multiple of 37?
False
Let p(a) = 61*a + 4037. Is 3 a factor of p(-61)?
False
Let x = 237 + -235. Suppose -4*j + 1460 = -4*b, 7*j - 1839 = 2*j - x*b. Does 55 divide j?
False
Let c(z) = -z**2 + 6*z - 3. Let q be c(5). Let j(o) = 22*o**2 + 1 - 70*o + 2 + 66*o - 20*o**2 + 23*o**3. Does 33 divide j(q)?
False
Let u(a) = -a**2 + 13*a + 72. Let f be u(31). Let s = f - -844. Is 16 a factor of s?
False
Suppose -44 = -4*b - 4*l, 3*b + 32*l - 37 = 27*l. Let o(z) = z**3 - z**2 - 11*z - 37. Is 60 a factor of o(b)?
False
Suppose 21*j - 19*j = 180. Suppose j + 75 = 3*w. Does 12 divide w - ((-2)/1 + 0 - -1)?
False
Suppose -623 = -13*d + 6*d. Suppose -7273 = -4*g - f, 84*f = 2*g + d*f - 3641. Does 18 divide g?
True
Let h(l) = -1642*l - 22. Let q(d) = -d**2 - 8*d - 16. Let u be q(-5). Is 20 a factor of h(u)?
True
Let q be -206 + 12/(-4) + 6. Let t = 368 + q. Is 33 a factor of t?
True
Suppose 0 = -54*c + 63501 + 76899. Does 26 divide c?
True
Suppose 0 = 208*c - 14*c - 303729 + 95179. Is c a multiple of 24?
False
Let p be (-9)/3*(-25)/15. Suppose -p*q = -1402 - 1958. Is 21 a factor of q?
True
Let m = 116 - 114. Suppose 3*a = -z + 2*z + 1076, -4*z - 704 = -m*a. Does 30 divide a?
True
Suppose 2*w = -4*i - 18, -2*i + 5*i - 3*w = -9. Let c(l) be the first derivative of l**3 + 4*l**2 - 3*l + 91. Is 13 a factor of c(i)?
True
Suppose 4*r = -5*i + 44545, i - 18920 = -3*r + 14486. Is r a multiple of 85?
True
Suppose -3*r = -50*i + 45*i + 5266, -3*i = -5*r - 3166. Is 5 a factor of i?
False
Let g(u) = -u**3 + 5*u**2 + 7*u - 13. Let v be g(6). Suppose 0 = -4*k + 3*z + 2*z + 62, -5*z + 100 = 5*k. Let f = k - v. Is f a multiple of 20?
False
Let q(d) = 2*d - 43. Let b be q(21). Is 26 a factor of 4293/9 + (b - -1)/(-1)?
False
Let c(s) = 370*s**2 - 13*s - 18. Does 39 divide c(-6)?
False
Suppose -4*d - 4*p = -124, -3*p = 5*d - 224 + 65. Let q(x) = 11*x + 5. Does 3 divide q(d)?
False
Let f = 19606 - 13226. Is 30 a factor of f?
False
Let m(p) = -47*p**3 + 103*p**3 - 2*p + p**2 - 55*p**3 - 6 + p. Let k be m(-3). Is (k/(-63))/(0 + 2/222) a multiple of 4?
False
Let c(l) = -21*l + 35. Let a = -34 + 8. Let v(t) = -t - 33. Let h be v(a). Is c(h) a multiple of 14?
True
Let d be (-1 - 6/(-2)) + 0 + 1477. Suppose -d = -36*n + 19*n. Does 15 divide n?
False
Suppose 3*y - 24*i - 88546 = -29*i, 3*i = 6. Is 119 a factor of y?
True
Let y(s) = -s**2 + 64*s + 14. Is 14 a factor of y(14)?
True
Suppose -2*w - f + 1389 = 0, 3*f + 2949 - 879 = 3*w. Suppose -8*i = -2189 + w. Is i a multiple of 7?
False
Let m(v) = -969*v + 321. Does 57 divide m(-23)?
False
Let v(w) = -w**3 - 5*w**2 - 8*w - 2. Let f be v(-2). Let o(m) = 76*m**3 + 3*m**2 - m - 2. Is o(f) a multiple of 22?
True
Suppose 328*y = 363*y - 221760. Is y a multiple of 33?
True
Let u(l) = 2*l + 18. Let o be u(-8). Suppose -4*d - 606 = o*d. Let k = 269 + d. Does 8 divide k?
True
Let c(y) = 9*y**3 + 11*y**2 + 10*y - 116. Is 79 a factor of c(9)?
True
Is 12 a factor of ((-3)/(-1) + 196/(-49))*(-229 - 0)?
False
Does 10 divide ((-7)/(70/55625)*-3)/(12/16)?
True
Let m be 3*2/9*-21. Let w(n) = -9*n + 144. Does 6 divide w(m)?
True
Let f = -5 + 71. Suppose f = -3*r + 5*r. Suppose -8*s = -7*s - r. Is s a multiple of 3?
True
Let s = 252 - -325. Let n = 857 - s. Does 14 divide n?
True
Let q be 20 - 19 - (-2 - 3*42). Let g = 178 - q. Is g a multiple of 2?
False
Suppose -5*a = 7*g - 2*g + 85, 4*g = 3*a - 103. Is (-11)/g + 123/2 + -5 a multiple of 2?
False
Let s(q) be the second derivative of q**5/30 + 2*q**4 - 23*q**3/6 - 36*q. Let x(y) be the second derivative of s(y). Does 4 divide x(-8)?
True
Let m = 10949 - -1703. Does 8 divide m?
False
Let c = 947 + -296. Let g = c + -203. Does 64 divide g?
True
Let v(b) = 392*b - 55. Let p be v(2). Let y = p + -423. Is y a multiple of 6?
True
Let u(q) = -q**