pose -2*i - i = 3*g + 9, 5*i - 1 = 3*g. Let f be (-37)/g + 21/(-14). Suppose -1 = 2*l - f. Is l a multiple of 6?
False
Let j be 1 + -2 - 2*2. Let q(c) = -94*c + 5025. Let a be q(53). Let h = a + j. Is 4 a factor of h?
False
Suppose -31*d = -19*d - 7056. Let b = d - 536. Is 29 a factor of b?
False
Let c(m) = 361*m - 54. Let j(y) = -120*y + 18. Let b(f) = -2*c(f) - 7*j(f). Is 19 a factor of b(3)?
False
Let y = -143 + 107. Is (-874)/(-14) + 11/((-693)/y) a multiple of 9?
True
Let a(x) = x**2 - 9*x + 13. Let k be a(4). Let y(b) = -b**3 - 6*b**2 + 6*b - 3. Let h be y(k). Is 49 - (2 - h - -3) a multiple of 6?
True
Let g be (-8 - -15)*(2 + (-12)/7). Let n(i) = 42*i**3 - i**2 - 14*i + 20. Is n(g) a multiple of 38?
False
Let y(w) = -w**3 - 12*w**2 + 12*w + 41. Let b be y(-13). Let v be (-2)/(-3) - 12/(-9). Let n = v + b. Is n a multiple of 7?
True
Let v(f) be the first derivative of 162*f**4 + 3*f**2/2 - 3*f + 26. Is v(1) a multiple of 10?
False
Suppose -61*v + 4682 = -5566. Is 4 a factor of v?
True
Suppose 4*p = -g - 8, -1 = 5*g - 2*p - 5. Is 1*-4 + g + 9 + 42 a multiple of 13?
False
Suppose 8*h - 3*h = -115. Let p(l) = -l**2 - 28*l - 28. Let y be p(h). Let g = y - 66. Is 7 a factor of g?
True
Let s(k) = 37*k**2 - 138*k - 2492. Does 24 divide s(-16)?
False
Suppose 33*n = 35*n - 634. Suppose -17 = 10*g - n. Does 15 divide g?
True
Let j(z) = 268*z - 86*z + 39 + 273*z + 61*z. Is j(2) a multiple of 74?
False
Let t(q) = 283*q + 1292. Is t(40) a multiple of 27?
False
Let a(z) = 51*z - 14. Let h be a(15). Let o = -355 + h. Suppose 6*f = 2*f + o. Is 11 a factor of f?
True
Is 7 a factor of (-2)/(-6) - ((-2811690)/1080 + 1/(-4))?
True
Let v = -459 - -306. Let s = 46 - v. Suppose 4*d - s + 23 = 0. Is d a multiple of 16?
False
Let n(a) = 3*a**3 - 6*a**2 + 21*a + 107. Does 23 divide n(13)?
True
Let v be (-89)/356 - 1/((-8)/42). Let g = 115 - v. Is g a multiple of 11?
True
Let v be 3 + 18/(-3) - -6. Let a = 12 - v. Let s(o) = 5*o - 35. Is s(a) a multiple of 10?
True
Suppose 0 = -4*i - 4*l + 1012, 4*i = l - 233 + 1270. Is i a multiple of 2?
True
Let n = 7449 - 7161. Is n a multiple of 16?
True
Suppose 16*i = 10*i + 5952. Suppose 0 = -3*f - 4*a + i, -12*f + a = -7*f - 1661. Is f a multiple of 83?
True
Is 95 a factor of 57*23/(-207)*-2181?
False
Suppose -2*p + 18 = -0*p. Suppose -p*s + 6*s = -15. Suppose 0*c + y - 85 = -s*c, 5*y - 34 = -2*c. Does 7 divide c?
False
Suppose 197*h - 188*h - 24300 = 0. Is h/24*(-3 + (-115)/(-25)) a multiple of 36?
True
Let i = 1309 + -174. Suppose 0*c + n = -c + 563, 5*n - i = -2*c. Does 16 divide c?
True
Does 7 divide 4*(-20)/(-16) + (0 - -4390)?
False
Suppose -733016 = -26*q - 200588. Is q a multiple of 14?
False
Let t(h) = -107*h**3 - 4*h**2 - 7*h - 39. Is t(-3) a multiple of 10?
False
Let x(y) = -2*y**2 + 34*y + 19. Let g be x(18). Let j be g/(-5) - 4 - (-2176)/10. Suppose -3*k = j - 976. Is 15 a factor of k?
False
Let v = -26394 + 64511. Does 47 divide v?
True
Suppose 0*w = 5*w + 75. Let r be (-5)/w*3 - -2. Let q(i) = 14*i**2 - 3*i - 1. Is 33 a factor of q(r)?
False
Let u(t) = 329*t**2 - 35*t - 304. Is u(-9) a multiple of 336?
False
Let y(q) = 3*q + 2*q**2 + 132 - 15*q - 104 + 23*q**2. Let n(v) = v**3 + 21*v**2 + 19*v - 16. Let b be n(-20). Is 31 a factor of y(b)?
False
Suppose -13*w + 3965 = 2*w - 1105. Let v be ((1 + -1)/2)/2. Suppose v = 3*r - w + 74. Is r a multiple of 8?
True
Let v = 29 + -32. Let c be v/4 + 133/28. Suppose c*b + 0*x - 104 = 4*x, -2*b = 3*x - 27. Is 2 a factor of b?
False
Let w(u) = 49*u**2 - 194*u - 98. Does 21 divide w(-14)?
True
Let b(k) = 21 - 2*k**3 + 24*k**2 - 1 + 79*k + 12*k**2 - 82*k. Is b(15) a multiple of 43?
False
Let s be (-46)/8 + (-2)/8. Let d(r) = r**2 + 3*r - 14. Let p be d(s). Suppose p*i - 131 - 405 = 0. Does 21 divide i?
False
Suppose 115 = 3*b + 22. Suppose -11*n - 17060 = -b*n. Does 50 divide n?
False
Suppose 5*n - 41*l - 45362 = -43*l, -45355 = -5*n + 5*l. Is n a multiple of 18?
True
Suppose 0 = -0*o + 2*o - 1632. Let q = -582 + o. Suppose 4*j = 3*l + 432, -j + 3*l = -3*j + q. Is 24 a factor of j?
False
Suppose -18*w + 5*o = -20*w + 43227, -3*o - 86415 = -4*w. Is w a multiple of 13?
True
Is 4/2 - 7/((-77)/22308) a multiple of 10?
True
Let o(k) = k**3 + 21*k**2 + 16*k - 78. Let c(f) = f**2 - 30*f + 110. Let h be c(5). Does 86 divide o(h)?
True
Let g be (-272)/(-17) - (-1)/((-2)/(-4)). Suppose 2*v = -2*v - 8, 0 = -5*t - v + g. Suppose t*b - 150 = 42. Does 38 divide b?
False
Suppose 2*j + 3*m - 18 = 5*m, -2*m = -3*j + 22. Is 23 a factor of 14025/68 - (-3)/j?
True
Suppose 93*y = 96*y. Is (-223)/(-1) + (-2 - (2 - y)) a multiple of 73?
True
Let a(d) = d**3 + 14*d**2 + 11*d + 21. Let o be a(-13). Suppose -o*l + 852 = -44*l. Is l a multiple of 37?
False
Suppose -5*q + 3*h + 30 = 0, h = -5*q - 2*h. Suppose q*u - 10 = -2*u. Let t = u - -97. Does 11 divide t?
True
Does 40 divide 4/(-6) - (2/(-10))/((-6)/(-66110))?
False
Let a(d) = 18*d**3 - 34*d**2 - d + 8. Is a(7) a multiple of 5?
False
Let a(v) = -3*v**2 + v + 4. Let g be -4 - (-7)/(28/16). Let w be a(g). Suppose 36 - 336 = -w*r. Is 20 a factor of r?
False
Suppose 534600 = 39*q + 27*q. Is q a multiple of 81?
True
Let z = 7640 - 45. Is 158 a factor of z?
False
Suppose 0 = -7*n + 10970 + 20495. Suppose -n = -12*a - 811. Is a a multiple of 27?
False
Suppose -5*h + 4 = -6*h, 2*h = 2*x - 3376. Is 23 a factor of x?
False
Let r be (3/42*-4)/(-1)*7. Let d(a) = -6*a - 4*a**3 + 13*a**r + 15*a**2 - 32*a**2 + 4. Is 44 a factor of d(-4)?
True
Suppose 2*v + j - 1579 = v, -4*v = -4*j - 6356. Is 5 a factor of v?
False
Let d be -4*(0 - 7)*(-432)/(-56). Let s(x) = 10*x + 46. Let y be s(-19). Let o = y + d. Is 36 a factor of o?
True
Let t = 24 + 373. Let c = t - -39. Suppose -2*a - 3*i + 404 = 2*a, -4*a + c = -5*i. Is 48 a factor of a?
False
Suppose 28*f - 24570 = 7*f. Let h = 1751 - f. Is h a multiple of 16?
False
Let g = 1709 - 32. Suppose g = 30*x - 17*x. Is 10 a factor of x?
False
Let n be (22592/(-24))/(-8)*(1 - -2). Let k = -76 + n. Does 21 divide k?
False
Suppose -3*r = q + 88, -5*q + 118 = -3*r - 0*q. Is 3 a factor of (-94 + -2)/2*31/r?
True
Suppose -18*t + 5*c = -15*t - 25303, 5*c = 4*t - 33729. Does 11 divide t?
True
Let m = -510 - -834. Suppose c - 4*c + 3*t + m = 0, 0 = -c - 4*t + 123. Does 9 divide c?
False
Suppose 0 = -7*n + 5*n - 32. Let m be ((-96)/(-10))/(n/320). Let p = -64 - m. Is 30 a factor of p?
False
Suppose 0 = -324*k + 4287243 + 2723145. Is k a multiple of 10?
False
Let n be 2/(-12) - 1381/(-6). Let c = n - 210. Does 7 divide c?
False
Let r = 514 - 509. Suppose -7*z + r = -415. Does 5 divide z?
True
Let b(z) = z**2 + 51*z - 50. Let i be b(-52). Suppose -56*o + 55*o + 181 = i*w, -3*w - 206 = -o. Does 14 divide o?
False
Let c(i) = -6*i**2 - i + 3. Let d be c(-3). Let v = 39 + -56. Let g = v - d. Does 31 divide g?
True
Suppose -5*m + 8*m - 6 = 0. Suppose -2*v = -4*i - 396, 5*v - 2*i - 598 = m*v. Does 20 divide v?
True
Is 27 a factor of 550958/205*((-10)/(-4) - 0)?
False
Let p(z) = 6*z**3 + 20*z**2 - 51*z + 364. Is 117 a factor of p(13)?
True
Suppose 6*t - 1577 = 1327. Does 21 divide t*(-2)/4*(13 + -14)?
False
Let w(v) = 26*v - 2332. Does 20 divide w(92)?
True
Let b(n) be the second derivative of -7*n**5/20 - 7*n**2/2 + n + 3. Is 13 a factor of b(-3)?
True
Let s(c) = -4*c**3 + 13*c**2 + 22*c + 190. Does 60 divide s(-10)?
False
Let p(c) = -c**3 - 12*c**2 + 27*c - 12. Let u be p(-14). Suppose u*g - 2124 = -4*a, 5*a - 34*g + 31*g - 2677 = 0. Is a a multiple of 13?
True
Is 26 a factor of (7 + -4)*(-106)/3*-11?
False
Is -20 + 15 - -14954 - -1 a multiple of 174?
False
Let w(o) = 3*o + 2*o - 5*o - o**2 - 5*o + 8. Let c be w(-5). Does 30 divide ((-210)/c)/7*(-14 + -2)?
True
Let v(z) = z**3 - 31*z**2 + 5*z - 14. Let l(u) = -26*u**2 + 4*u - 13. Let x(c) = 4*l(c) - 3*v(c). Suppose 0 = 3*n + 20 - 5. Is x(n) a multiple of 16?
False
Suppose -u - 1966 = -2014. Suppose 2*i - t = 11 - 3, -i = t + 2. Suppose u = i*g - 2. Is 5 a factor of g?
True
Suppose -1752038 = -104*b + 13*b + 1189810. Is b a multiple of 27?
False
Let o be 10/(1 - 2) + -15 + 14. Let j(v) = -v**3 - 12*v**2 - 10*v + 14. Let u be j(o). Suppose 0 = 7*p - 18 - u. Is p a multiple of 3?
True
Let q = -215 + 193. Let x(i) = i**3 + 23*i**2 + 15*i + 13. Is x(q) a multiple of 4?
False
Let f be 12/(-78)