-2*x - 3*x + 4*a + 1558 = 0. Is 44 a factor of x?
False
Suppose -v - 3*v + 104 = 0. Suppose -5*o = q - 7*o - 22, -q + v = -o. Suppose 31*t - q*t = 128. Is 14 a factor of t?
False
Suppose 13477 + 28292 = 9*u. Is 17 a factor of u?
True
Let v = -20386 + 27331. Does 113 divide v?
False
Suppose -3*m = 2*f + 208, -2*f - 3*m = -2*m + 212. Let o = f - -360. Does 29 divide o?
False
Suppose -164*c + 208*c - 14476 = 0. Is c a multiple of 15?
False
Let c = 22 - -48. Let x(g) = -c*g - 10 - 8 + 16. Is 18 a factor of x(-1)?
False
Suppose 0 = 15*p + z - 37998, -6*p + p + 4*z + 12653 = 0. Is p a multiple of 134?
False
Let v be (-32)/14 + 2 - (-4102)/(-49). Is 13 a factor of (1 - v)*78/15?
True
Let w = 350 - 347. Let x(p) = 55*p**2 + p - 4. Is x(w) a multiple of 38?
True
Suppose 16*b - 5*b = 66. Suppose b*d - 292 = 4*o + 4*d, -3*o = -2*d + 218. Let v = -12 - o. Does 31 divide v?
True
Let j = 18 + -15. Suppose 4*w - 4*u - 179 - 289 = 0, 4*u = j*w - 354. Is 38 a factor of w?
True
Suppose 10*h + 5*h - 10*h = 0. Let s(j) = j**3 + 3*j + 38. Does 19 divide s(h)?
True
Let r(t) = -t + 54. Let q be r(49). Suppose -3*d = 5*o - 1830 - 279, -q*o + d + 2097 = 0. Does 70 divide o?
True
Suppose 2*y + 3*c - 11078 = 0, 2334 = 2*y + 5*c - 8740. Is y a multiple of 48?
False
Let k = -856 - -2494. Is 9 a factor of k?
True
Let j(c) = 2*c**3 - 15*c**2 - 3*c - 17. Let f be j(7). Let g = 231 - f. Does 41 divide g?
False
Is 5199 + (-2)/(20/90) a multiple of 5?
True
Suppose -8*y + 729 + 7 = 0. Suppose y = 3*z - 5*p, 16*p = 11*p - 20. Does 5 divide z?
False
Suppose 0 = 2*x - 50 + 70. Let u be -35*x/4 + 3/(-6). Suppose 0 = 2*k, 3*j - 2*k = -6*k + u. Does 3 divide j?
False
Suppose -2*f - 188 = -4*o - 6*f, -3*f + 12 = 0. Let q = o - 43. Suppose 3*g + q*g - 39 = -3*v, -4*g = v - 16. Is v a multiple of 6?
True
Let y = -7293 + 12292. Is y a multiple of 35?
False
Suppose 32*o + 22236 = 3*f + 29*o, o = -3*f + 22224. Does 203 divide f?
False
Is (1488/(-18))/8*(-602 + (4 - -4)) a multiple of 76?
False
Let n = -191 - -128. Let a = n + 328. Let r = a + -155. Is r a multiple of 14?
False
Suppose 4*v = -n + 1007, -2019 = -2*n - 10*v + 3*v. Does 13 divide n?
True
Suppose 0 = -r - 737 - 383. Let g be (-3)/(4/(r/6)). Suppose 5*i = 4*i - 2*j + 140, g = i + 4*j. Does 16 divide i?
False
Let l(u) = 3*u**3 - 7*u**2 - 48*u + 190. Is 178 a factor of l(17)?
False
Suppose -166*p + 510569 = 2*p - 1662007. Is 8 a factor of p?
False
Let u(t) = -t**3 - 12*t**2 + 19*t + 6. Suppose 0 = 4*v + 77 - 21. Let o be u(v). Does 7 divide ((-1)/3)/((-1)/o)?
False
Let z(d) = 2*d - d - 4*d + 2*d. Let l(x) = -15*x - 63. Let w(u) = -l(u) - z(u). Does 20 divide w(9)?
False
Suppose 0 = -4*g - 0*g - 8. Let s be 36/(-8)*(g/6 + -1). Is (-9)/(-4)*128/s a multiple of 8?
True
Suppose -4*t - 4*p + 2232 + 3656 = 0, 0 = -t + 4*p + 1457. Is 113 a factor of t?
True
Suppose 0 = 5*g + w + 146 - 518, g - w - 78 = 0. Let u(a) = a**3 - 6*a**2 + 8*a + 3. Let c be u(4). Suppose c*s - 108 = 3*x, 2*s - g = 2*x + x. Does 6 divide s?
False
Let c(n) = n + 5. Let s be c(-7). Let v(h) = -34*h**2 + 5*h + 7. Let f be v(s). Let q = 223 + f. Is q a multiple of 12?
True
Suppose -5 = -3*x + 7, -5*q = 4*x - 27216. Is q a multiple of 8?
True
Let v(q) = 4*q**3 - q**2 + 2*q + 2. Let t be v(-1). Let l = t - 20. Let d = l + 44. Is d even?
False
Let m be (-212)/(-742) + -1*(-32)/(-14). Does 13 divide m/1 + (-72)/(-8) + 392?
False
Let q(w) = 110*w + 6. Suppose 4*v + 0*f = 2*f + 6, -2*v = f - 9. Let h be q(v). Suppose -4*i + 356 = -a, -a - h = -4*i - 5*a. Is i a multiple of 22?
True
Let r(i) = 9*i - 21. Let b be r(10). Let a = b + -80. Is 34 a factor of (-68016)/(-286) + (-2)/a?
True
Let s be (10/(-3))/(3/(-144)). Suppose 0*i - 5*i + s = 0. Suppose 2*z - i - 504 = 0. Does 51 divide z?
False
Let d(h) be the second derivative of h**3/6 - 17*h**2 + 9*h. Let i be d(-11). Let a = i + 65. Does 10 divide a?
True
Does 25 divide ((-2)/(-30))/((-12)/144) - 32719/(-5)?
False
Suppose 13*j = -2*w + 15*j + 7098, w - 3546 = 2*j. Is w a multiple of 8?
True
Let p be (-3 - (-8)/4)*(0 - -7). Is 38 + 7/p*7 a multiple of 5?
False
Let q = 24054 - 14299. Is 3 a factor of 4/32 + q/40?
False
Let x(m) be the first derivative of 19*m**3/3 + 5*m**2 + 12*m + 1. Is x(-4) a multiple of 12?
True
Let q be 0/4 + -3 - -19. Suppose -5*v = -10, 2*v = 4*i - 2*v - q. Suppose -i*a + 5 + 7 = 0. Is a a multiple of 2?
True
Let q be -2 + (5 - -2) + (-7 - -4). Is 18 a factor of (155 - 3)*q - 3?
False
Let i = 19 - 20. Does 11 divide 20*i*165/(-30)?
True
Let h(s) = s**3 + 2*s**2 + 7*s - 12. Let a be h(3). Is (3 - (-4)/12)*a a multiple of 9?
True
Let h(r) = r**3 - 6*r**2 + 23*r - 7. Let o be h(13). Suppose 4*q - o = 4*s + 1609, -3*s = -4*q + 3082. Is q a multiple of 16?
False
Let p = 218 + -437. Let z(x) = 53*x + 4. Let f be z(-7). Let h = p - f. Is 14 a factor of h?
False
Suppose 0 = o - 3*o + 22. Let i = 155 + -146. Suppose -o*s + i*s + 362 = 0. Is 34 a factor of s?
False
Let p = 5640 - 3311. Is p a multiple of 17?
True
Is 111 a factor of 13/26 + (-359639)/(-18) - (-4)/(-9)?
True
Suppose 5*c + 3*r = 2194, 5*r = 2*c + r - 888. Is 10 a factor of c?
True
Let h(v) = -v**3 - 4*v**2 + 5*v. Let k be h(-5). Suppose -1434*o - 36 = -1446*o. Suppose -5*f + 2*y = -135, 2*f = -k*f + o*y + 65. Does 3 divide f?
False
Suppose 15*i + 20 = 13*i. Let p be 504/60 - (-4)/i. Suppose -2808 = p*y - 26*y. Is y a multiple of 12?
True
Let l = -67 - -67. Suppose 10*j - 5*j - m - 664 = l, 3*m - 516 = -4*j. Let t = -90 + j. Is 4 a factor of t?
False
Let n(a) = 99*a**2 - a + 2. Let g be n(-3). Let o be 1/2*(-30)/65*-13. Suppose o*i - g = -4*r - 59, -r - 2*i + 208 = 0. Is 42 a factor of r?
True
Let o = -97 + 1283. Is o a multiple of 14?
False
Suppose 0 = 5*s + 2*a - 17828, 7*s - 2*a + 12158 = 37098. Is s a multiple of 33?
True
Let q be (2 + -3)/(-1 + 0). Let c be q/9 - (-21527)/171. Is 5 a factor of (-9)/45 - c/(-5)?
True
Suppose 3*l = 5*o + 109, 2*l = -18*o + 13*o - 94. Does 10 divide ((-116)/o)/(10/50)?
False
Does 16 divide 4 - (13/(936/(-54)) + 74074/(-8))?
True
Suppose f = 5*q + 70, -29 + 151 = 2*f - 4*q. Suppose 43 = -r - 3*y - f, 3*y = 2*r + 205. Does 11 divide r/(-5) + 2 + 1/(-5)?
True
Let m(u) = 171*u + 1599. Is 11 a factor of m(40)?
False
Is (-9)/((-54)/320)*(-2058)/(-14) a multiple of 70?
True
Let p(m) = -20*m**3 + 6*m**2 - 7*m + 18. Is 23 a factor of p(-4)?
False
Suppose 0 = -19*h + 14*h - 20. Let l be 4/(-6)*3 + h. Does 12 divide (-4)/(-6) + ((-554)/l - -2)?
False
Suppose -5*x - 25*x + 112 = -9848. Is x a multiple of 166?
True
Suppose -5 = x - 0, g - x - 4135 = 0. Is 35 a factor of g?
True
Let c(j) = 101 - 27*j + 140*j + 167*j - 74*j. Is 87 a factor of c(5)?
True
Suppose 34*v = 37*v - 15. Let n be v - 1/((-4)/(-8)). Suppose -5*b + 117 = -2*g, -b - g + 19 = n*g. Is 4 a factor of b?
False
Let z = 2588 + -2446. Let s(m) = 30*m**3 - 1. Let x be s(-1). Let b = z + x. Is b a multiple of 45?
False
Suppose 30*u = 44968 + 3782. Suppose 2*b - 3253 = -5*a, -3*b + 4*b = -a + u. Does 38 divide b?
False
Let f(y) = 11*y + 116. Let r be f(-10). Let h(v) = -v**3 + 9*v**2 - 12*v + 11. Is 4 a factor of h(r)?
False
Let j = -6109 + 7820. Does 24 divide j?
False
Let j(f) = -441*f**3 - 4*f**2 - 2*f. Suppose -3*y + 24 = 27. Is j(y) a multiple of 20?
False
Is -8 + (10 - 115/15)*(4408 - 1) a multiple of 27?
False
Let j(o) = o**2 - o - 4. Let q be j(3). Let t(x) = -21*x + 86. Let z be t(4). Suppose z*r - q*v - 122 = 0, 0 = -r + 3*r - 3*v - 125. Is 8 a factor of r?
False
Let p be (-4)/30 + 88/(-15) - -398. Let r = p - 143. Is r a multiple of 7?
False
Suppose 1243104 = 104*y + 490560. Is y a multiple of 3?
True
Suppose -6*l + l = -3*p - 33, 61 = -4*p + l. Let t be (12/p)/((-1)/4). Suppose 462 = t*x - 531. Does 13 divide x?
False
Let x(c) = -2*c**2 + 39*c + 40. Suppose -6*m + 5*m - 2*p + 25 = 0, 5*p = 2*m - 14. Does 5 divide x(m)?
True
Suppose 4632 = 64*r - 52*r. Let l = r - 122. Is 5 a factor of l?
False
Let t(b) = 11*b**2 - 63*b + 9. Let v(a) = -a**3 - 14*a**2 + 30*a - 25. Let q be v(-16). Does 9 divide t(q)?
False
Let l = 2368 + -2014. Is 3 a factor of l?
True
Suppose -i - 3*v = -14, 5*i - 4*v = -8*v + 37. Let y be i + (-9 - 12/(-3)). Is 0/(-4) + 0 + (196 - y) a multiple of 28?
True
Suppose 2878 = 4*y + 1030. Suppose -5*r - 4*q + 1149 = 0, -4*q + y = -0*r + 2*r