 y be 2/(-3) + 1158/(-18). Let l = y - p. Is 25 a factor of l?
True
Suppose -2*p - 5*g + 8303 = 0, 342*p = 344*p + 2*g - 8288. Is 13 a factor of p?
False
Suppose -a = v - 4, 0 = -a - 0*a. Suppose 2500 + 7400 = v*y. Suppose -15*u + 4*u + y = 0. Is 15 a factor of u?
True
Let s be (-3)/((-6)/(-4))*1148/(-56). Suppose s*q = 38*q + 1434. Is q a multiple of 11?
False
Let o be 2/(-8) - (-3)/(-4). Suppose -140*n + 3*y + 191 = -138*n, -2*n - 4*y + 170 = 0. Let s = o + n. Does 18 divide s?
True
Let w(a) be the second derivative of a**4 - 13*a**3/3 + 3*a**2/2 - 11*a. Is 31 a factor of w(6)?
True
Let m(f) = 2*f**3 - 10*f**2 + 9*f - 32. Let j be m(9). Suppose 0 = -5*l + 5*s + 1745, 0 = -3*l + l + 3*s + j. Does 50 divide l?
True
Suppose 6*k = 2*k + 1704. Let r = k + -215. Suppose 4*x - 444 - r = -3*g, 0 = x - g - 162. Is x a multiple of 33?
False
Let v = 2174 + -11. Is 21 a factor of v?
True
Suppose -2*h + l + 22 = 3*l, 0 = l + 1. Suppose 0 = 15*c - 9*c - h. Suppose -c*s = -0*s - 52. Is 3 a factor of s?
False
Suppose -5*c - 107 + 282 = 0. Suppose -51 = 5*x + o, 5*o = -3*x - c - 0. Is 9 a factor of 6/x - 615/(-25)?
False
Suppose 5*x - 358 = 3*v + 73, 0 = 5*v + 3*x + 741. Let n = v - -7. Let j = n - -203. Is j a multiple of 11?
False
Let t = -221 - -522. Suppose -296*z = -t*z + 1215. Does 27 divide z?
True
Suppose m = -3*q + 76279, 4*q - 10*m + 5*m = 101737. Does 39 divide q?
True
Suppose -3*o = -5*c + 80, 0 = 5*c - 8*c + 5*o + 64. Let m be ((-46)/(-8))/((-7)/(-280)). Is c/26*m*1 a multiple of 23?
True
Let l(r) = 29*r + 5. Let g be l(4). Let z = 193 - g. Let h = -48 + z. Is h a multiple of 3?
True
Let v(q) = 667*q**3 + 15*q**2 - 40*q + 14. Is 132 a factor of v(2)?
False
Let q be (-6)/((-3)/(12 - -3)) + 1. Let k = 43 - q. Suppose k*l - 10*l = 190. Does 16 divide l?
False
Let s = -1867 - -2018. Is 9 a factor of s?
False
Let o be (72/30)/(3/(-10)). Let q = 17 + o. Let x(w) = w**2 + 17*w - 4. Is 46 a factor of x(q)?
True
Let s(g) = 3*g**2 - 29*g + 114. Is 9 a factor of s(21)?
True
Suppose 3*o - 4*k = 3455, 6*o - 4948 - 1978 = 4*k. Is o a multiple of 71?
False
Let q = -641 - -1382. Does 19 divide q?
True
Suppose -616*r - 578487 = -655*r. Is r a multiple of 23?
False
Let z = -9111 + 15579. Is 84 a factor of z?
True
Let s = -13 + 29. Let b(l) = -9*l - 2*l + 3*l**2 + s - 10*l**2 + 6*l**2. Is b(-11) a multiple of 4?
True
Suppose -n + 394 = 5*g, -26*g + 30*g - 399 = -n. Does 38 divide (n - -6 - 7)*(2 + -1)?
True
Suppose a + 568 = 3*a. Let q = 495 + -314. Let r = a - q. Is 25 a factor of r?
False
Suppose -50*q = -1354327 + 509577. Does 31 divide q?
True
Suppose -4*x - 109 = -3*s, -3*s + 4 + 100 = -5*x. Let w = -43 + s. Suppose a - 5*a + 68 = w. Does 6 divide a?
False
Is (70 - 74) + ((-116)/(-6))/((-4)/(-1644)) a multiple of 38?
True
Suppose -270073 = -x - 242429. Does 21 divide x?
False
Let w be (-39)/26*(-416)/(-6). Let o = 63 + w. Let q = -24 - o. Is q a multiple of 3?
False
Suppose -2*f + 11 = 7. Suppose -3*b - f*b - 25 = 0, -47 = -2*y - b. Does 17 divide (-68)/5*(-65)/y?
True
Let i be 0/(-13) - (-14 + 1). Let v = -36 + 147. Suppose -u + i + v = 0. Does 20 divide u?
False
Suppose 0 = 3*i - h - 4, -2*i + 3*h = -3*i + 18. Suppose -i*n - u = -7, 3*n + 5*u + 5 = 8*n. Suppose -c + 90 = 3*f, -4*c + n*c + 198 = -3*f. Does 11 divide c?
False
Suppose -4*r + 68921 = 3*m - 2164, -2*m = 3*r - 47393. Is m a multiple of 6?
False
Suppose 5*q = 12*w - 11*w + 1493, 2*w = -6. Let b = 349 - q. Is b a multiple of 2?
False
Let w be (148/6 + -2)/(12/(-18)). Let g = w + 205. Is 19 a factor of g?
True
Let j(f) = 3*f + 3. Let a be j(-1). Suppose -u - 17 = -2*w, 5*u - 3*u - 5*w = -38. Is a + (-434)/u + 78/(-351) a multiple of 12?
True
Let s(t) = -t**3 - 63*t**2 - 88*t - 946. Is s(-62) a multiple of 9?
True
Suppose 3*c = 0, 16*v - 12*v + 4*c = 18432. Is 40 a factor of v?
False
Suppose -3*a = -5*l + 264, 212 = 4*l + 6*a - 8*a. Is (-6)/(-27) + 18294/l + -4 a multiple of 22?
False
Let j(i) = i**3 + 2*i**2 + 3*i + 5. Let h(q) = q. Let c(u) = -2*h(u) - j(u). Let y be c(-2). Suppose v = o, 3*o - y*o - v + 9 = 0. Does 3 divide o?
True
Let g = -310 - -308. Is 11 a factor of g/2*-44*248/32?
True
Let l(j) = 8*j**2 - 2*j - 4. Let w = 11 + -9. Suppose 2*n - b - 10 = 0, -4*b - 2 = w*n + b. Does 6 divide l(n)?
False
Let o = -511 + 763. Let k = 18 + o. Does 15 divide k?
True
Let k(o) = 3*o + 0*o - 10 - 4*o. Let v be k(-12). Suppose 3 = 2*b - 5, -2*b = -v*y + 120. Is y a multiple of 16?
True
Suppose 26*a - 28*a = i - 25744, 4*i - 102950 = 5*a. Does 11 divide i?
True
Suppose 4*g + 16249 = 7*g - 5*y, 5 = -y. Is 7 a factor of g?
False
Suppose -27*f = -112670 - 78895. Does 11 divide f?
True
Let j be (-4 - 1045/(-10))*4. Suppose 0 = 9*d - j - 219. Is d a multiple of 3?
True
Let h(l) = -l**3 - l**2 + 8*l - 1. Let c be h(-4). Suppose -c*r + 1184 = -11*r. Does 11 divide r?
False
Suppose -15*k + 7*k = -14*k + 214884. Does 47 divide k?
True
Suppose -s + 0*r = -2*r - 428, 2*s - 853 = 5*r. Suppose 4*x + 3*n = 8*n + 574, -s = -3*x + 2*n. Is x a multiple of 17?
False
Let b be 25 + 0 - 1 - 0. Suppose 3*n + 91 + 108 = 4*m, -n + 3 = 0. Let o = b + m. Does 13 divide o?
False
Let u = 28719 + -14241. Is u a multiple of 11?
False
Suppose -70*g = -58*g - 84. Let x be (-2533)/(-3) - (-6)/9. Suppose -x = g*p - 12*p. Is p a multiple of 14?
False
Let g(c) be the second derivative of -2*c**3/3 - 23*c**2/2 - 27*c. Let j be g(-6). Is 2 a factor of (12 + (-2)/j)*4/8?
False
Suppose 0 = -3*q + 5*j + 26851, 2*q + 14*j - 18*j - 17900 = 0. Suppose -29*o + 6012 = -q. Is 12 a factor of o?
True
Suppose -3*s - 1254 = w, 549 + 1941 = -2*w + 3*s. Let y be ((-9)/(-12))/((-2)/w). Suppose p - 4*p + y = 0. Is 13 a factor of p?
True
Suppose -d + 6135 = 2*v, 166*d + 5*v = 170*d - 24475. Is d a multiple of 25?
True
Let c be ((-12)/(-7))/12 + (-55)/(-7). Let n(q) = 6*q**2 + 0*q**3 - q**3 + 4*q + 2*q**2 - 10. Is n(c) a multiple of 3?
False
Let y(k) = 9*k - 4*k + 19*k**2 - 18*k**2 + 8. Does 2 divide y(-3)?
True
Let k(r) = 137*r**2 - 191*r - 3568. Is k(-19) a multiple of 54?
True
Let s = 36168 - 19005. Is 12 a factor of s?
False
Let u be 215/(-86)*(-2584)/10. Does 38 divide ((-114)/(-12))/(-19)*u*-4?
True
Suppose 0 = 3*v + 4*v - 2*v. Suppose v = -5*g + 4790 - 1010. Suppose q - g = -5*q. Is 13 a factor of q?
False
Let y(p) = 83*p**2 - 3*p - 7. Suppose -14 = 6*l + l. Does 13 divide y(l)?
False
Suppose 2*z + 41 = -3*b + 3*z, z = -b - 15. Does 5 divide 4/(-14) - (-10)/b*-167?
False
Is 44 a factor of (-96)/224 + (-267963)/(-7)?
True
Is 3 a factor of (333 - -4)*(-18 + 24)?
True
Suppose 4*t = -4*h + 4060, -h - 1234*t = -1236*t - 1015. Is 10 a factor of h?
False
Suppose -j = 2*q - 8823, -j - 11358 = 5*q - 33423. Is q a multiple of 3?
False
Suppose 39 = 20*o + 19. Is o/(-4) + 4041/36 a multiple of 28?
True
Let w = -9115 + 11944. Is 69 a factor of w?
True
Suppose 54*w - 42*w = 252. Let f(z) = -z**3 + 21*z**2 + 13*z - 48. Is 9 a factor of f(w)?
True
Suppose 5*g = 2*d + 10804, 13 = -2*d + 9. Does 60 divide g?
True
Suppose 0 = -20*o + 146535 - 6755. Does 12 divide o?
False
Does 2 divide (-97944)/(-126) + (-15)/(-9)?
False
Suppose -120 = -6*q + 54. Suppose -4*g = -4*t - 7708, q*g + 7699 = 33*g + 5*t. Is 18 a factor of g?
True
Let o be 0 + (1 - (-11)/((-33)/18)). Is 10 a factor of (-2 + 19)/(o/(-200)*4)?
True
Let y(j) = -3*j + 15. Let r be y(-11). Let t = 59 - r. Suppose -4*z + 133 + t = 0. Is 22 a factor of z?
False
Suppose 9*w = w + 24. Suppose 5*f - 818 = 2*r, w*f + r + 91 = 584. Does 8 divide f?
False
Let k = -940 + 9431. Does 18 divide k?
False
Let x be 18/15 + (-24)/(-5). Does 32 divide 2/(-6) + 776/x?
False
Let x be 194/22 - (0 + 4/(-22)). Let c be 12/x*6/4. Let j = 57 - c. Is j a multiple of 27?
False
Let t(u) = -5*u**2 - 34*u - 31. Let h(j) = 2*j**2 + 17*j + 15. Let x(b) = -7*h(b) - 3*t(b). Is x(-5) a multiple of 5?
False
Let q(m) = -690*m**3 - 6*m**2 - 4*m - 7. Is q(-2) a multiple of 128?
False
Let f(i) = 93*i**3 + 8*i**2 + 14*i - 90. Does 96 divide f(5)?
False
Suppose 0 + 33 = y. Let t = y + -39. Is 15 a factor of (-1)/((-3)/(-70))*27/t?
True
Let v = -37 + 41. Suppose 3*p = -2 - v, 3*p + 2 = 2*k. Is (-12 - k)/(13/(858/(-4))) a multiple of 18?
False
Suppose 0 = -5*p - 2391 + 28716. Does 9 divide p?
True
Let t(f) = -3*f**2 - 19*f + 7. Let h be t(-11). Is (h + 2