j**3 - 1. Let f(q) = -3*q**3 - 6*q**2 + 4*q + 10. Let r(i) = -f(i) - 4*x(i). Let v be r(3). Suppose -v*t + 10*t = 32. Is 32 a factor of t?
True
Suppose 136*r - 602175 = 3402481. Is 35 a factor of r?
False
Is 12463 - (2/(-12) + 700/168) a multiple of 12?
False
Let n = 16 + -10. Suppose 4*d = -5*g + 39, -2*d + 3*d = g + 3. Is 13 a factor of n/(-9) - (-2 + (-538)/d)?
True
Let n(w) = -2*w + 12 - w - w - 5*w + w**2. Let t be n(10). Let o = t - -6. Is o a multiple of 6?
False
Let a(r) = -5*r**3 + 46*r**2 - 7*r - 6. Let o be a(9). Suppose 0 = -o*l + 33*l - 16968. Does 59 divide l?
False
Let w be (-37)/(-3) + (-5)/15. Is (78/w)/13*20 - -4 a multiple of 7?
True
Suppose 0 = -5*v + 5, c - 8 = -v - 3. Suppose 0 = c*f - 87 - 33. Is f a multiple of 5?
True
Suppose -2 = -n, 0 = 3*p - 6*p - n - 43. Let l(v) be the first derivative of -5*v**2/2 - 43*v - 11. Is l(p) a multiple of 8?
True
Suppose 0*f - 7*f = 770. Is (f/25 + 8)/((-1)/(-75)) a multiple of 9?
True
Suppose 0 = 5*u - 4*g - 287, -28*u + 4*g + 232 = -24*u. Suppose 3*d - 5*o + u = 1111, -o = 0. Is d a multiple of 4?
True
Suppose -3*n = -5*o - 12 - 0, 0 = -5*o - n - 16. Let m(t) = -2*t**3 - t**2 + t + 7. Let v be m(o). Suppose v + 95 = 3*z. Is 24 a factor of z?
True
Let t be (-10)/12 + (-9)/54. Let k be t + (-15)/(-3) + 894. Suppose -k = -10*i + 892. Is i a multiple of 11?
False
Let v(k) = 178 + k + 34*k**2 - 169 + 8*k. Is 12 a factor of v(-2)?
False
Let m(z) = 18 - 10 - 2 - 2*z**3 - 1 - 13*z**2. Is 15 a factor of m(-8)?
False
Let m = 132 + -136. Let k be (-10)/(m + (-111)/(-28)). Suppose -5*p + k = -0*p. Is p a multiple of 26?
False
Let c(t) = 9808*t**2 + 214*t + 70. Is 20 a factor of c(-3)?
True
Let h = 545 + -274. Let y = h - 152. Does 17 divide y?
True
Let n(a) = a**3 - 2*a**2 - 53*a - 60. Is n(12) a multiple of 8?
True
Let s = 4332 - 3331. Is s a multiple of 13?
True
Is 53 a factor of ((-12)/(-174))/1 + 14330916/1044?
True
Let i(x) = x**2 - 3*x - 3. Let w be i(4). Let g be (w/2*3)/(6/16). Is (1*(-26)/g)/(5/(-90)) a multiple of 13?
True
Let r = -81 + 83. Suppose 3 + 3 = -r*i. Let k(h) = -69*h - 15. Does 16 divide k(i)?
True
Let i be (-69)/(-15) - 4/(-10). Let n be ((-776)/(-12))/(2/3). Suppose 0*p - 149 = -5*w + 3*p, -n = -4*w - i*p. Does 14 divide w?
True
Let r be -3 - -1 - (2 + -499). Let g = r - 335. Is g a multiple of 30?
False
Let u(l) = -l**2 + 18*l - 75. Let z be u(8). Suppose z*n - 350 = 5*k, 5*n + 3 = -2*k + 374. Is 14 a factor of n?
False
Let w = 340 - 60. Let u = w + -163. Is u a multiple of 9?
True
Suppose -1910 = 5*u - 4*y - 6109, -y = -u + 840. Suppose -u = -15*b + 5281. Does 34 divide b?
True
Let u be 3 + (4 - (9 + -5)). Suppose z + 5*n = 283, u*z = -6*n + n + 799. Is z a multiple of 13?
False
Suppose 0 = 3*i - 2*i. Let u(m) = m**2 + m + 358. Does 15 divide u(i)?
False
Does 4 divide (-43687)/(-77) + (-24)/66 - -1?
True
Let v(q) = 4*q**3 + 3*q**2 - 11*q + 39. Is v(6) a multiple of 112?
False
Suppose 189 = 11*f - 86. Suppose -t + 555 = -22*z + f*z, 3*t - z = 1635. Does 8 divide t?
False
Let h = -42 - -139. Suppose h*b - 92*b - 1690 = 0. Is 13 a factor of b?
True
Let n(x) = -8*x**3 - 3*x**2 + 17*x - 53. Let m be n(5). Let q = -387 - m. Is q a multiple of 41?
True
Let o(q) = -11*q + 4. Let z = 200 - 220. Is 9 a factor of o(z)?
False
Let b(s) = 377*s**2 + 13*s + 70. Does 27 divide b(-5)?
False
Is 47 a factor of -188*(-88 + (2 - 0))*133/266?
True
Suppose 6*l + 13*l + 1425 = 0. Let a(f) = 12*f. Let u be a(8). Let t = l + u. Is t a multiple of 21?
True
Let i = -467 + 265. Let t = -1409 + 979. Let p = i - t. Is p a multiple of 19?
True
Suppose 0 = 62*h - 708067 - 651221. Is 116 a factor of h?
True
Suppose -18 = -q - 7. Suppose q = 3*g - 10. Suppose g*u + u - 200 = 0. Is 13 a factor of u?
False
Suppose 329*c + 7*c - 1814891 + 391931 = 0. Is 77 a factor of c?
True
Suppose -11*b + 16*b = -5*i + 50, 4*i = 20. Let x(r) = 6*r**2 - 2*r - 11. Does 7 divide x(b)?
False
Suppose -25*l - 2*q = -27*l + 27248, l - 13626 = -q. Is l a multiple of 31?
False
Suppose -1139496 = -468*v + 389*v. Is 8 a factor of v?
True
Let a(x) = -3 + 12035*x - 1 - 12032*x. Let p be 1 + (-3)/1 - -8. Is 7 a factor of a(p)?
True
Suppose -4*b + 1892 = 2*h, -5*h + 581 = 4*b - 1323. Does 6 divide b?
False
Suppose -m + 2*m = -54. Let s = 53 + m. Does 15 divide s + (1 - -47) - (3 + -3)?
False
Let l be ((-90)/21)/((-1)/7). Suppose 5*h - l + 5 = 0. Suppose 0 = w - 4*z - 79, 0*z + 5*z + 395 = h*w. Is w a multiple of 41?
False
Suppose 4*g - 4*t + 2678 = t, -4*g + t = 2686. Let m = -396 - g. Is m a multiple of 6?
True
Suppose 0 = 8*r - 3*r + 10, -l = 5*r - 436. Suppose -5*u + 4*q = 1098, -4*u - l = -2*u - 5*q. Is 20 a factor of u/(-4 + 2 + 0/2)?
False
Let l = 229 - 118. Suppose -s - 21 = -l. Suppose s = t - 0*t. Is t a multiple of 10?
True
Let u = 1902 + -934. Is 44 a factor of u?
True
Let t = 29 + -29. Suppose t*s - 60 = -s. Suppose -s = -d - d. Does 15 divide d?
True
Let g(z) = 3*z**3 - 17*z - 18*z**2 + 15 + 3*z**3 - 5*z**3. Let i be g(19). Suppose i = 2*p - 83. Is p a multiple of 34?
True
Suppose -336 + 0 = -6*j. Suppose -2*l - 46 = j. Let y = l - -123. Is y a multiple of 6?
True
Suppose 118*z = 125*z - 21. Is 2 a factor of z?
False
Let i(l) = -53*l**2 - 6*l + 6. Let s be i(1). Let y = 12 - s. Does 13 divide y?
True
Let g = -183 + 186. Let c(t) = 44*t + 9. Does 4 divide c(g)?
False
Let i(b) be the second derivative of b**4/4 - b**3 - 63*b**2/2 + 17*b + 2. Is 67 a factor of i(-7)?
False
Suppose 8*z - 7 = 7*z. Let c be (2/(-4))/((z + -4)/(-6)). Is c/((-6)/3 + (-2012)/(-1004)) a multiple of 17?
False
Is (1911/819)/((-2)/(-32034)) a multiple of 39?
False
Suppose 0 = 3*i + j + 3*j - 24, 0 = -5*i + 4*j + 8. Let f = -545 + 570. Suppose -t = 5, 0 = i*m - 3*m + 2*t - f. Does 11 divide m?
False
Let g(n) = -2*n**2 - n - 13. Let l be 1/(-2)*(-1 - -11). Let k(p) = -3*p**2 - 2*p - 27. Let r(h) = l*g(h) + 3*k(h). Does 4 divide r(-7)?
True
Let l(j) = 5*j**2 + 12*j + 47. Is l(-53) a multiple of 49?
False
Let z(t) be the second derivative of 27/2*t**2 - 3*t**3 + 8*t + 0. Is z(-5) a multiple of 13?
True
Let o = 892 + -485. Suppose -8*a + 3*a + b = -1016, 2*a - b - o = 0. Suppose 5*m = 3*k - 8*k + 500, -a = -2*m - 5*k. Does 9 divide m?
True
Let x = -204 + 724. Is 49 a factor of x?
False
Let l(u) be the second derivative of -u**5/20 + 17*u**4/12 - 19*u**3/6 + 11*u**2/2 + 47*u. Does 48 divide l(11)?
True
Let g be 219/12 + (-2)/8. Let x(z) = 3*z + 26. Is 5 a factor of x(g)?
True
Let a be (-31)/(-6) + -3*4/72. Is (-345)/(a - 10) + -2 a multiple of 19?
False
Suppose 0*z = 4*p + 3*z - 13, 0 = 4*p - 2*z - 38. Is -1 - p/1 - -266 a multiple of 43?
True
Suppose -379796 = -44*l - 11912. Does 172 divide l?
False
Let j(p) = p**3 + 88*p**2 + 88*p + 179. Is j(-87) a multiple of 4?
True
Suppose 28 = -12*a + 8*a - 2*o, -32 = 4*a + 4*o. Is ((-106)/6 + 7)*a a multiple of 8?
True
Suppose 0*o + 2*o + 5*r = 381, 0 = -3*o - 3*r + 594. Let j = -106 + o. Is 5 a factor of j?
False
Let u = 299 - -1685. Is u a multiple of 124?
True
Let n(k) = 2*k - 2. Let v be n(-3). Let l(r) = -3*r**3 - 10*r**2 - 7*r. Let p be l(v). Suppose -o = d - 2*d + 188, 0 = -5*d - o + p. Is d a multiple of 38?
True
Let p be ((-5)/(-4))/((-4)/(-16)) - 10. Is 133/(p - 22/(-4)) a multiple of 6?
False
Let l be (-109300)/650 - 4/(-26). Suppose -3*b - 141 = -945. Let c = b + l. Is 10 a factor of c?
True
Suppose 4*p - 12 = -g, -g = 2*p + g. Suppose 5*c - 10 = -5*w, -c = 4*c + p*w - 6. Is ((-16)/c)/(-2 + 76/37) a multiple of 37?
True
Let y be (8 + -15)*(-4)/14 - -7. Suppose y*o - 3998 = 295. Is 31 a factor of o?
False
Let o = 125 + -69. Does 70 divide o/(((-12)/15)/(-2))?
True
Let j(v) = v**3 + 10*v**2 + 7*v - 18. Let o be j(-9). Suppose -4*i + i = -12. Suppose -384 = -5*k - i*l, o*k + 2*l - 72 = -k. Does 19 divide k?
False
Suppose 5*a = -0*a - 10. Let m be (-2)/(4/(a - 6)). Suppose -m*t + 420 = 2*t. Does 20 divide t?
False
Suppose -4*n + 56899 + 6701 = 0. Suppose -n - 10515 = -15*d. Is 19 a factor of d?
False
Let f be (12/2)/6 - (2 + -1). Suppose -n - 444 = -5*w - 5*n, -2*n + 2 = f. Does 8 divide w?
True
Suppose 4*n + 4*v - 194978 = -26502, -5*v + 126355 = 3*n. Is n a multiple of 90?
True
Let s be 40/(-4)*8/(-10). Suppose s*n = 3*n. Suppose -10*j + 9*j + 184 = n. Is j a multiple of 28?
False
Let o(t) = 7*t**2 + 27