alse
Suppose -p + 53 = -o + 2*p, -5*o - 4*p = 246. Let q = 57 + o. Suppose 6*f = q*f - 33. Is f a multiple of 12?
False
Let k(h) = h**3 + 19*h**2 - 19*h + 17. Let i be k(-20). Let t be -18 + (-3 + i)*(-4)/(-12). Let n = t - -24. Does 4 divide n?
True
Let v = -88 - -87. Let b be -3*v/6*8. Is 6/b*-12*(-160)/36 a multiple of 17?
False
Let f = -8468 - -9723. Does 5 divide f?
True
Let j(s) = -s**3 + 11*s**2 - 43*s + 152. Let v be j(7). Suppose -3*g - 30 = 3. Let o = v + g. Is 18 a factor of o?
True
Does 3 divide (2 - -88)*1*54/36?
True
Let t(s) = s**2 + 2*s - 166. Suppose 55*j - 399 = 34*j. Does 5 divide t(j)?
False
Suppose -37*h + 71 = -36*h. Suppose -4*z - 423 = -h. Let u = z + 158. Does 5 divide u?
True
Suppose -165740 = -5*u + 2*s, 4*u - 48792 = 2*s + 83798. Suppose -5*o + u = 45*o. Does 13 divide o?
True
Suppose -9*b - 422995 = -46*b - 9446. Is b a multiple of 27?
False
Let o(g) = 3*g**2 - 4*g - 9. Let v be o(4). Suppose 2*k = -4*w + 74, -v + 1 = -2*w - 4*k. Does 2 divide w?
False
Let y(u) = -5*u - 64. Let r(w) = -65 + 31 - 3*w - 9. Let p(j) = -8*r(j) + 5*y(j). Is p(-9) a multiple of 11?
True
Let o be ((-14)/(-12))/(6/(-36)*-1). Suppose -o*a = 5*j - 4*a - 6655, a = 5. Is j a multiple of 75?
False
Suppose 15*j = 36*j - 53655. Is 73 a factor of j?
True
Suppose -7*f + 5*f + 242 = 0. Let d = f - 80. Is d a multiple of 8?
False
Let n(s) = 3 + 100*s**2 - 104*s**2 - 2*s**3 + s**3 + 0*s**3. Let q be n(-4). Is 4/6 - (-229)/q a multiple of 11?
True
Suppose 95163 = 4*f - 5*z + 8907, 0 = -2*f - 3*z + 43172. Is f a multiple of 23?
True
Let v be (51 - -1) + (-6 - -2 - -4). Let f = v + 68. Suppose 4*g - f = -3*h + 172, 0 = -4*h + 3*g + 381. Does 15 divide h?
False
Let c(y) = -y**3 + 7*y**2 + 9*y - 32. Let u = 176 + -169. Is 31 a factor of c(u)?
True
Let l(s) = 4*s**3 + 55*s**2 - 3*s - 47. Is 42 a factor of l(-13)?
False
Let c(g) = 7*g + 3. Let r(f) = -f. Let n(h) = c(h) + 6*r(h). Let l be n(3). Suppose 2*k + 6 = 0, -w + l*k + 81 = 3*k. Does 8 divide w?
True
Let n(c) = 1882*c + 644. Does 42 divide n(7)?
True
Let m be ((-4718)/(-42))/(2/18). Let r = m + -639. Is 14 a factor of r?
False
Let x(j) = 3*j - 29. Let y be x(10). Is 4 a factor of y/((-2)/((-22)/1)*1)?
False
Suppose -3*n = p - 47 - 21, 0 = -4*n + 3*p + 82. Suppose s = -2, 23*z = n*z + 3*s + 540. Is z a multiple of 31?
False
Let r(l) = -l**3 + 14*l**2 - 4*l + 28. Suppose -3*a + 66 = -27. Suppose v - 11 = -g, 3*v + v - a = -3*g. Is r(g) a multiple of 14?
False
Suppose 42 - 72 = -5*v, 4*i - 3*v - 33526 = 0. Is 24 a factor of i?
False
Suppose -185600 = -26599*i + 26589*i. Is i a multiple of 58?
True
Let a be 2*1/(-2) - 1. Let z be (17 - -3)/5 + a. Suppose z*j - 78 - 32 = 0. Is j a multiple of 15?
False
Suppose -4*m + 510 = m. Suppose p + 4*j - 243 = 0, 0 = -2*p + 2*j + 53 + 453. Suppose 2*y + m = q, -3*q + 0*q - 5*y + p = 0. Is 10 a factor of q?
False
Let r be (6/15)/(1/5). Let k be 12 + -17 + 16 - 6. Suppose 4*j - k*s - 78 = 0, 2*j + 4*s - 60 = -r*j. Does 17 divide j?
True
Suppose -32*t + 7278 - 2158 = 0. Let m = 5 - 1. Suppose m*i + 0*i = t. Is 10 a factor of i?
True
Let n = 58 + -54. Suppose q = n*q - 15. Suppose -q*c + 251 = 86. Is c a multiple of 11?
True
Is (2/(-7))/(-1) - (-10 + 24932/(-7)) a multiple of 19?
True
Suppose 0 = -2*z + 23 + 41. Let n = -32 + z. Suppose n = -t - 4*t + 55. Does 6 divide t?
False
Let n = 200 + -198. Suppose -16*p - n*p = -2736. Does 18 divide p?
False
Let k(c) = 5*c**2 - 185*c - 155. Does 35 divide k(41)?
True
Suppose -x = -j - 5253, -5*x = -3*j + j - 26268. Suppose 0 = 5*n + 6*k - 2*k - x, -2*k + 2102 = 2*n. Is n a multiple of 14?
True
Let n(z) = z**3 + 31*z**2 - 33*z + 10. Let p be n(-32). Let d(o) = 3*o**2 - 8*o - 5. Let r be d(6). Let a = r - p. Does 5 divide a?
False
Let g(h) = -2*h + 28. Suppose 5*f = 0, -42 = -3*v - 2*f + f. Let n be g(v). Suppose 5*k + 5*c - 80 = n, 4*k - 2*c + 7*c - 59 = 0. Is 4 a factor of k?
False
Let w(d) = -7*d**3 - 17*d**2 - 26*d - 71. Is w(-11) a multiple of 13?
True
Let m(s) = 8*s**2 - 4*s + 29. Let l be m(-6). Suppose -279 = -r + 257. Let d = r - l. Is d a multiple of 15?
True
Let q = -5014 + 5774. Does 26 divide q?
False
Let b(q) = q**2 - 56*q + 487. Does 24 divide b(67)?
True
Let v(f) = 2768*f**2 - 39*f - 42. Is 273 a factor of v(-4)?
False
Suppose 6*h = 2*h - 8. Let q(i) = -i**2 - i - 1. Let x(j) = 3*j**2 - 14*j - 3. Let f(p) = h*q(p) - x(p). Is f(13) a multiple of 22?
True
Let k(a) = 16190*a**2 - 1168*a + 1166. Does 19 divide k(1)?
True
Suppose 2*d = t - 2182, -5*t + 2*d - 2173 + 13035 = 0. Is t a multiple of 5?
True
Is 195 a factor of 16/(8/(-101400)*-13)?
True
Suppose 0 = 2*i + 2*r - 12, -3*i - 2 = -4*i + r. Let z be 3/i - 34/(-8). Suppose 4*f - l - 500 = -3*l, 0 = -z*f - 3*l + 625. Is 23 a factor of f?
False
Suppose -10*a + 30 = 2290. Let o be -103 - (-3)/(3 - 2). Let v = o - a. Is 18 a factor of v?
True
Let b(k) = 2*k**3 - 34*k**2 + 102*k - 54. Is b(18) a multiple of 30?
True
Let f be 1/(((-12)/804)/(2/(-2))). Suppose j = 2*a - f, 0*j - 3*j + 3*a - 204 = 0. Let t = -53 - j. Does 15 divide t?
False
Let i = -858 - -1237. Let k = -248 + i. Is k a multiple of 2?
False
Let n(v) = -14*v - 6. Suppose -4*u + u + 24 = 0. Let h be u/((4/5)/((-12)/30)). Is 11 a factor of n(h)?
False
Suppose w - 2612 = -3*q, 30*q = 34*q - 5*w - 3489. Let n = -774 + q. Does 8 divide n?
False
Let s(p) be the second derivative of 123*p**5/10 + p**4/12 - p**3/3 - 9*p. Let d be s(1). Suppose 179 = 4*v - d. Is 33 a factor of v?
False
Let d = -77 - -79. Suppose 5*c - h = -d*h - 3, 4*c + 3*h = -9. Suppose -2*z = -2, 4*q + c*q + 3*z - 59 = 0. Is q a multiple of 4?
False
Does 135 divide 3 - (-930)/279*(-1574)/8*-6?
False
Is -1*15/(-35) - 26433/(-63) a multiple of 60?
True
Suppose -22 = 5*x + 2*a, -4*x - 32 = -2*x - 5*a. Let q(y) = -108*y - 245. Is q(x) a multiple of 13?
True
Let i(r) = 45*r**2 - 439*r - 4480. Does 46 divide i(-10)?
False
Suppose 43*w + 13062 = 187470. Does 78 divide w?
True
Let s(k) = k**3 + 27*k**2 + 26*k + 22. Let c be s(-26). Let b(v) = 2*v**2 - 43*v. Is 11 a factor of b(c)?
True
Let q be (-2 - (3 + -7))*(-5)/(-2). Suppose -h + q*h - 2656 = -2*s, s = -4*h + 2654. Does 51 divide h?
True
Let q(p) = 18 - 5*p**2 + p + 0*p + 0*p**3 + p**3. Let t(f) = 8*f + 350. Let r be t(-43). Does 20 divide q(r)?
True
Suppose -17479 = -19*z + 148486. Is 108 a factor of z?
False
Let m(d) = 5*d**2 - 65*d + 32*d - 37 + 30*d - 2*d**2. Let t be m(-8). Suppose -2*z + t = 9. Does 17 divide z?
True
Suppose 10*p + 21352 = 299422. Suppose 44*g - p = -1715. Is 63 a factor of g?
False
Let l(y) = 2*y + 23. Suppose -2*g + r = -6, 0 = 4*g - 3*r - 3 - 7. Suppose 4*m - 22 = -3*k, -3*k + g*k - 6 = -2*m. Does 14 divide l(k)?
False
Let d be (-10)/(2*(-5 - -4)). Let j be (-2)/(2/d - 66/240). Is (-6)/3*(-20)/j*-30 a multiple of 4?
False
Let o = 10522 - 7433. Does 20 divide o?
False
Let m(s) = -s**3 + 4*s**2 + 3. Let g be (-40)/(-60) - 50/(-6). Let h(p) = -p**3 + 10*p**2 - 9*p - 3. Let v be h(g). Is 8 a factor of m(v)?
False
Let x(b) = -b**3 + 22*b**2 + 39*b + 175. Is x(22) a multiple of 7?
False
Suppose -3*u - m = 793, u + 533 = -u - 5*m. Is (-27951)/u + 1/8 a multiple of 53?
True
Does 3 divide (456/190)/(((-27)/(-3765))/3)?
False
Suppose 5*f + 103 = -92. Let b = f - -39. Suppose b = m + 4*m - 345. Does 23 divide m?
True
Let a(d) = -d**3 + 13*d**2 + 35*d - 18. Let n(i) = -i**2 + 19*i - 19. Let m be n(17). Does 11 divide a(m)?
False
Is 2/((-20)/(-914))*(37 + -27) a multiple of 13?
False
Does 26 divide 180/810 + (-2 - 16630/(-9))?
True
Suppose 3*q - 21367 = -3*d + 77735, q = 3*d + 33070. Is 191 a factor of q?
True
Let n = -689 + 709. Is 20 a factor of n*4/(16/52)?
True
Let i(a) = -a**3 + 10*a**2 - 2*a. Let d be i(10). Is 8 a factor of 1 + d/4 - -356?
True
Let p = 2631 - 2341. Is p a multiple of 12?
False
Let s(k) = 1049*k + 1341. Is s(0) a multiple of 22?
False
Let d(v) = 3*v**2 - 12*v - 4. Let h(j) = -4*j**2 + 13*j + 5. Let o(i) = -5*d(i) - 4*h(i). Let p be o(-8). Suppose 0 = -p*s + 8*s - 432. Is 9 a factor of s?
True
Suppose -2*d = 2*c - 12966, 0 = 3*d + 3*c - 4*c - 19461. Suppose 23*t - d = 4439. Is t a multiple of 16?
False
Suppose 4*r = -r + 5*l - 10, 0 = -3*r + 2*l - 1. Suppose 609 = 5*v + r*z, 440 = 3*v + 3*z + 71. Is v a multiple of 2?
True
Let x be (3288/20)/((-3)/(-10)). Let f =