. Let b(c) = 3*c**2 + 5*c + 9. Let g(w) = 5*b(w) + 4*k(w). Let i be g(-3). Does 8 divide v(i)?
True
Let v be (10/(-15))/((-2)/15). Suppose 3*d = -2*h + 24, v*h - 3*d + d = 41. Suppose -h*j + 0*j + 864 = 0. Is j a multiple of 16?
True
Let o(x) = x**3 + 5*x**2 - 52*x + 8805. Is 255 a factor of o(0)?
False
Suppose -26*x - 35 = -347. Does 40 divide 5/10 + 8862/x?
False
Suppose 2*m - 12649 = -g + m, 2*g = m + 25298. Is g a multiple of 9?
False
Suppose 12 = -8*o + 4*o, 4*y = 4*o - 4. Let w(k) = k**3 + k - 3. Let j(i) = i**3 - i**2 - 2. Let h(m) = -5*j(m) + 4*w(m). Is 28 a factor of h(y)?
False
Let j(f) = f**3 + 8*f**2 - f + 7. Suppose -7*h - 2*h - 63 = 0. Is 13 a factor of j(h)?
False
Suppose -2*o + 15 = 5, -4*k + 1945 = 5*o. Is k a multiple of 80?
True
Suppose 24 = 4*y - 3*h, 7 = 5*y - 4*y - h. Suppose b - 121 = 3*d, b - 2*d = y*b - 282. Suppose 4*c - 4*x - b = 0, -3*c - 31 = 2*x - 158. Is 13 a factor of c?
True
Suppose 9*g = 2*x + 25*g - 22942, 3*x - 34237 = -2*g. Does 11 divide x?
True
Suppose -3*r + 6*f + 21 = 2*f, -3 = 4*r + 5*f. Suppose -r*d + 6*d + 90 = 0. Let p = 49 + d. Is 13 a factor of p?
False
Suppose -3*g - 5*j = -37, -2*j = 6*g - g - 30. Suppose 0 = -2*s + 5*u + 783, -g*s + 417 = -2*u - 1189. Is s a multiple of 12?
False
Let u = 10 - 8. Suppose -u*a = -3*s + 20, -5*s - 4*a = -2*a - 28. Suppose s*y + 48 = 10*y. Is 6 a factor of y?
True
Suppose 0 = 3*u - 2*h - 201864, 4*h + 116278 + 152862 = 4*u. Is u a multiple of 14?
False
Let o(y) = 10*y**2 - 135*y - 1375. Does 203 divide o(-10)?
False
Let q = -123 + 123. Suppose q = -3*h - 9, 4*o - 1136 = 15*h - 11*h. Does 7 divide o?
False
Suppose 0 = -5*v + v + 16. Suppose -103 = -3*k + 6*k - 2*y, -k + v*y - 21 = 0. Let o = 205 + k. Is o a multiple of 24?
True
Let x(h) = -2*h**2 + 21*h - 10. Let g be x(10). Let u(d) = -d**3 - 4*d**2 + d - 21. Let q be u(g). Let p = 64 + q. Is 13 a factor of p?
False
Let x = 3666 + -1716. Is 33 a factor of x?
False
Suppose 53*n = 29*n + 136440. Is 93 a factor of n?
False
Let v(j) = j**2 - 11*j - 62. Suppose -57 = -3*g - 3*o, 8*g - 7 = 7*g - 4*o. Does 50 divide v(g)?
False
Suppose u = -4*m + 3241, m - 813 = 305*u - 308*u. Is 30 a factor of m?
True
Suppose -5*x = -6*x + 21. Suppose x = s + 77. Does 7 divide s/10*(-10)/4?
True
Let r(g) = -110*g - 1. Let u be r(-1). Let d = -4154 - -4429. Suppose -5*f = 5*x - d, 0*x - 2*x - f = -u. Is x a multiple of 12?
False
Suppose -5*g - 1315 = 2185. Let o = g - -1195. Let c = -269 + o. Is c a multiple of 22?
False
Suppose -5*q - 3*q = -38*q + 271680. Is q a multiple of 16?
True
Suppose k = -k + 8. Suppose -k*x = -0*x + 40. Is 11*12 + (-10)/25*x a multiple of 8?
True
Suppose 3*d + r - 693 = 3*r, 2*d = -5*r + 462. Does 11 divide (-16)/((-112)/d)*(-3)/(-1)?
True
Let m = -96 - -100. Let d(b) = -4*b**3 + 10*b**2 + 5*b**3 - m - 1 + 5*b. Is 11 a factor of d(-4)?
False
Let x be 15/2*((-600)/(-9))/10. Suppose -37*f - 20228 = -x*f. Is f a multiple of 42?
False
Let d(m) = -m**2 + 41*m - 25. Let b be 1 - 1 - (26/(-2) - 4). Is 45 a factor of d(b)?
False
Let q be (-20)/(-390)*13 - (-8)/6. Suppose 3*z = 2*r - 6, 5 = 4*z + 2*r - 1. Suppose z = q*l + 4*k - 98, k - 209 = -4*l - 20. Does 15 divide l?
False
Suppose 106862 + 2110 = 12*g - 19164. Is g a multiple of 5?
False
Let x(h) = -h**3 - 23*h**2 + 51*h + 433. Is 121 a factor of x(-30)?
True
Let k(c) = -c**3 + 22*c**2 - 25*c - 177. Is k(-17) a multiple of 29?
False
Let u(t) = -t - 5. Let k be u(-5). Let c(v) be the second derivative of -v**5/20 + 85*v**2/2 + 8*v - 2. Does 22 divide c(k)?
False
Let y = -20 + 26. Suppose -2*g - 4*k - 146 = 0, -y*g + 345 = -11*g - 5*k. Let p = -15 - g. Is p a multiple of 13?
False
Suppose 4*z + 335*o = 330*o + 26932, -z - 2*o = -6730. Does 33 divide z?
False
Let y(q) = -q**3 - 10*q**2 - 12*q + 11. Let o be y(-8). Let a = o + 27. Is (1 + (-22)/(-4))*(0 + a) a multiple of 8?
False
Suppose -i = -2*i + 3, 5*i - 3240 = 5*t. Let x = t - -951. Suppose -2*o - x = -5*w - 0*o, 5*o - 258 = -4*w. Does 7 divide w?
False
Is (-14)/((15/130 - 0)*(-4)/762) a multiple of 13?
True
Does 31 divide 4723 - (2 - 1 - -8)?
False
Is 26/442 + (-572660)/(-34) - -5 a multiple of 162?
True
Suppose 2*w - 844 = -4*u, -w - 5*u + 387 = -10*u. Suppose -w*d - 3520 = -423*d. Is 9 a factor of d?
False
Suppose 196638 = 135*q - 1138782. Does 97 divide q?
False
Let y be 15/(150/(-20)) - 6/(-1). Let n = -25 - -43. Does 20 divide (92/n - y)*24*9?
True
Suppose -13*o + 9*o = -48. Let l(z) = z**2 + 4*z - 25. Let g be l(o). Let c = -118 + g. Is c a multiple of 12?
False
Is 94 a factor of 75390/14*2/40*4?
False
Let c = -53 + 55. Suppose -c*s - 167 = -49. Let p = 158 + s. Is 11 a factor of p?
True
Let y(i) = i**2 + 18*i - 11. Let z be ((-196)/(-8))/(-7)*-18. Suppose 2*h + z = -h. Is y(h) a multiple of 21?
False
Let x = 420 + -407. Suppose x*r = -9*r + 6710. Is 60 a factor of r?
False
Suppose -3*z = 6, n = -3*z + 5*z + 10. Suppose -36 + n = -6*s. Suppose -3*t + 5*y + 287 = 3, -s*t + 535 = 4*y. Does 43 divide t?
False
Suppose -25*a - 2 = -26*a. Suppose 0 = -4*l - 20, s + 0*l = -a*l - 8. Does 10 divide 10 - 8/(s - 4)?
False
Suppose -8 = 7*w - 36. Suppose 5*u + n - 4*n = -88, 2*u = w*n - 38. Let o(v) = -11*v - 38. Is 26 a factor of o(u)?
False
Suppose 5*c = 3*u - 255, 5*u = 2*u + 2*c + 255. Let f = -77 + u. Is 11 a factor of (150/f - 5)*4?
True
Let y(d) = 5*d**2 - 6*d + 5. Let q(m) = -m**3 + 9*m**2 - 4*m + 19. Let w be q(9). Let i = w - -11. Is y(i) a multiple of 13?
True
Let t = 16285 + -9025. Is t a multiple of 13?
False
Let x(h) = -h**2 + 24*h - 2. Let b be x(19). Let l = -14 + b. Suppose z + 274 = 5*j, -4*j + l = 4*z - 121. Is j a multiple of 8?
False
Let m = 5981 + -2781. Is 80 a factor of m?
True
Let l(n) = -863*n**3 + 6*n**2 - 56*n - 117. Is 41 a factor of l(-2)?
False
Suppose 0 = 22*a - 119 - 35. Is 28 a factor of (-77 - (a + -11))*-7?
False
Let q = -12649 + 12655. Let r(j) = 80*j**3 + j**2 - j. Let g be r(1). Suppose 118 + g = q*d. Is 17 a factor of d?
False
Suppose 139880 - 453336 = -52*l. Does 77 divide l?
False
Let o(h) = h**2 - 47*h - 95. Let k be o(-2). Suppose 5602 = 5*q - 4*s, k*q + 0*q + 2*s - 3348 = 0. Does 26 divide q?
True
Let g = 7455 + -3383. Does 20 divide g?
False
Suppose 19*x + 18 = 208. Let q be ((-292)/x)/((-4)/20). Suppose 206 = t - q. Does 32 divide t?
True
Let x(a) = -2*a + 36. Let l be x(22). Let q be (l + 11)/((-6)/(-10)). Suppose q*m - 3*m - 5*p - 405 = 0, -2*m + 423 = p. Is 21 a factor of m?
True
Let v = -423 + 273. Let y = -54 - v. Is y a multiple of 8?
True
Suppose -9*a = -8*a - 8. Suppose -a*z - 2420 = -6732. Is 44 a factor of z?
False
Let q = -4886 + 6946. Suppose 98*t + q = 108*t. Is 17 a factor of t?
False
Let h = -294 + 310. Suppose 0 = 3*l + 4*w - 238 + h, -5*l + 381 = 3*w. Is l a multiple of 6?
True
Suppose -2*f - 255 + 875 = -4*d, -3*f - 3*d + 885 = 0. Does 8 divide f?
False
Let i = -4 + 7. Let p(h) = 130*h + 42. Is 12 a factor of p(i)?
True
Suppose -205169 = -50*l - 21*l + 68181. Does 5 divide l?
True
Suppose 228 = -10*x + 13*x. Suppose -r = 5*k - x, -340 = -5*r - 3*k - 2*k. Is r a multiple of 11?
True
Let d(h) = h**3 - 19*h**2 + 27*h - 25. Let r be d(19). Suppose 0 = 12*k - r - 124. Is k a multiple of 3?
True
Let q(o) = 3*o + 17. Let n be ((-55)/(-33))/(1 + (-8)/6). Let s be q(n). Suppose -2*a + 2*w - s + 4 = 0, -5*a - 3*w = -45. Is a a multiple of 3?
True
Suppose -5*z - 164*b = -173*b - 337001, -134816 = -2*z + b. Is 83 a factor of z?
False
Let h = 23439 - -2965. Is 92 a factor of h?
True
Let n(v) = 28 + 5*v**2 - 14*v + 9*v**2 - 13*v**2. Let r be n(15). Suppose -2*k + r = 9. Is k a multiple of 10?
False
Suppose -149 = -4*c + 5*v, -2*c = -3*c - v + 44. Suppose 0 = 2*p - 3*n - 112, -2*n - 22 = -p + 36. Let q = p - c. Is 3 a factor of q?
True
Does 20 divide (-9)/((-73161)/109620 - 3/(45/(-10)))?
True
Suppose 4*y - 18 = 3*g, 0 = 5*y + g - 8 - 24. Suppose -5600 = 2*w - y*w. Is 14 a factor of w?
True
Let k = 444 + -173. Let w = k - -547. Does 21 divide w?
False
Let k(o) = 3*o**3 + 2*o**2 - 4*o + 4. Let z be k(3). Suppose -10*l + 12 = -9*l + 2*j, 0 = 3*l + 5*j - 32. Suppose -19 + z = l*g. Does 18 divide g?
True
Let b(u) = 4*u - 4. Let c(h) = 5*h - 5. Let x(k) = -3*b(k) + 2*c(k). Let y be x(-7). Is 12 a factor of y/80 - 1808/(-10)?
False
Let u(l) = l**2 + l - 114. Let o be u(0).