
False
Let u(o) = 19 + 20*o**3 - o - 21*o**3 + 21 + 21*o**2. Let f be u(21). Suppose 0 = 3*i - m - f, -2*i + 6*i + 5*m - 57 = 0. Is i a multiple of 8?
True
Let v(p) be the second derivative of -93*p**3 - 4*p**2 + 162*p - 1. Is 25 a factor of v(-1)?
True
Let g be (41 + 13)*(-9)/(-2). Let r = g - -117. Does 30 divide r?
True
Let g(h) = 19*h**3 + 9*h**2 + 19*h**3 - 10*h + 1 - 37*h**3 + 3*h. Is g(-8) even?
False
Let y(p) = 34*p - 26. Suppose 2*h - 6*h - 5*t = -24, 0 = 4*h + 3*t - 24. Does 19 divide y(h)?
False
Let t(r) = -r**3 - 8*r**2 + 14*r + 54. Let y be t(-5). Let v = 791 + y. Is 100 a factor of v?
True
Let a(q) = -494*q - 4156. Does 46 divide a(-37)?
True
Suppose -w + 3*a + 631 = 0, -2*w = -5*a - 1158 - 106. Suppose -3*x - 4*b = -w, -b = -1 + 3. Is 12 a factor of x?
False
Is (-4536 - 0)*252/(-210)*5/8 a multiple of 27?
True
Let z(s) = -1194*s + 1753. Is z(-2) a multiple of 14?
False
Is 127 a factor of (-4 + 2033)*(10 - (-27)/3)?
False
Let o(v) = 171*v + 27. Let r be o(4). Suppose j - 3*k = 233, -j + r = 2*j - 3*k. Is 24 a factor of j/5 + (-4)/(-20)?
True
Let u(b) = -2 + 7*b + 3580*b**2 - 1788*b**2 - 1783*b**2. Is u(8) a multiple of 15?
True
Let o(l) = -11*l**2 - 15*l + 50. Let i(z) be the second derivative of 7*z**4/12 + 5*z**3/3 - 33*z**2/2 + 14*z. Let m(w) = -8*i(w) - 5*o(w). Does 3 divide m(-6)?
False
Let x(c) = -c**2 + 23*c + 5. Let t be x(23). Suppose t*b = 10 + 15. Suppose -4*g + b*g - 155 = 0. Does 23 divide g?
False
Let h(z) = 57*z**2 - 9*z + 2. Let i(y) = 59*y**2 - 10*y + 3. Let f(j) = 4*h(j) - 3*i(j). Suppose -3*t + 8 = -l - 0*l, l + 4 = t. Does 13 divide f(l)?
False
Suppose -5*o + 10*o - 248 = -w, 0 = o - 5. Let x = -149 + w. Does 3 divide x?
False
Suppose 0 = -116*p + 230*p - 108*p - 219000. Does 146 divide p?
True
Let s = -10031 - -18281. Is 55 a factor of s?
True
Let q be 1/(-4) + 34/8. Suppose -5*w - 3*p + 40 = -5*p, -q*p = -5*w + 50. Suppose -w = -n + 12. Is 6 a factor of n?
True
Let d(t) = t**3 + 6*t**2 - 4*t - 5. Let o be d(-6). Let c(v) = -v**2 + 12*v - 4. Let q be c(14). Let r = o - q. Is r a multiple of 6?
False
Suppose 5*h + 384 = -541. Let d = h + 240. Is 11 a factor of d?
True
Suppose 3*v - m - 36 = 0, 2*v + 2*m = -0*m + 24. Suppose 4*q = 7*q - v. Suppose -3*g = -q*g + 135. Is 25 a factor of g?
False
Does 4 divide (-6)/24 + -9 + (-816550)/(-56)?
True
Let h(s) = -s**3 + 4*s**2 + 3*s - 33. Let n be h(5). Let g(f) = -f + 366. Is 18 a factor of g(n)?
False
Suppose -252*o = -248*o - 20, 3*o + 12999 = 3*x. Does 11 divide x?
False
Let n(v) = 47*v**2 + 18*v - 225. Is n(9) a multiple of 78?
True
Suppose 85*b - 4 = 84*b. Suppose -n - 5*j + 17 = -0*n, 0 = 2*n - b*j + 8. Suppose -n*v + 8 = -42. Is v a multiple of 7?
False
Suppose p - 5*i = 9221 + 798, -5*p + i + 50167 = 0. Is 100 a factor of p?
False
Let a = -394 + 397. Let r be (8/(-10))/((-4)/70). Suppose r + 69 = p + 4*q, -3*q + 285 = a*p. Is 33 a factor of p?
True
Suppose -10*f + 0*f - 3550 = 0. Let s = 882 + f. Suppose h + 9*m = 4*m + 95, 0 = -5*h + m + s. Is 35 a factor of h?
True
Does 58 divide (-443 + -10 + 9)*-29?
True
Let z = 70 + -34. Let d(a) = 46*a + 479. Let f be d(-10). Suppose f = v - z. Is v a multiple of 15?
False
Let b(l) = 34*l**2 + 28*l - 52. Let v be b(2). Suppose -v = -4*o + 76. Is o a multiple of 54?
True
Suppose -3 = 4*u + 29. Is (u - -3) + 179 + -3 a multiple of 27?
False
Does 151 divide 23874 - (-20 - 684/(-19))?
True
Let k = -3317 - -13496. Does 111 divide k?
False
Let u(i) = 8*i**2 + 12. Let m be ((-12)/(-9))/((-2 + 6)/12). Suppose 0 = -m*x, -5*k - 2*x = -4*x - 20. Is u(k) a multiple of 14?
True
Let p be 4/(-2)*(-1 - 4). Let n(r) = 3*r**3 + 8*r**2 + 11*r - 33. Let x(l) = 2*l**3 + 2*l**2 + 5*l - 17. Let b(u) = -4*n(u) + 7*x(u). Does 30 divide b(p)?
False
Let q be 1328/(-18) + 6/(-27). Suppose n + 5250 - 5221 = 0. Let a = n - q. Is 9 a factor of a?
True
Let s = -49 - -51. Suppose 5*c - 13 = s. Suppose -4*l = -4, 2*j + c*l = 4*l + 11. Is j a multiple of 6?
True
Let r = -451 + 597. Let c = r - 101. Is 2 a factor of c?
False
Let n(y) = -4*y**3 - 5*y + 6. Let u be n(-3). Let i = 441 - u. Is 39 a factor of i?
True
Let f = -108 - -117. Suppose -3*b = -f, -4*x + 48 = 4*b - 964. Is x a multiple of 50?
True
Let n(a) = a**3 + 34*a**2 + 66*a + 40. Let w be n(-32). Is 8 a factor of 8*(-3)/w - (-1233 + 2)?
True
Suppose 118*c - 105*c = 11583. Suppose 1087 = 23*o - c. Is o a multiple of 31?
False
Let g = 282 + 74. Suppose -199 = -3*b + g. Does 16 divide b?
False
Let z(c) = 20*c + 3. Suppose -i + m = -3*m + 5, 5*i - m - 70 = 0. Suppose 4*u + 5*l + 21 = 0, 0*l + 2*l + i = 5*u. Is z(u) a multiple of 9?
False
Is 1082150/35 - (-6)/14 - (2 + 5) a multiple of 161?
True
Let t(y) = 22 - 16*y - 4 - 5 + 8*y. Let o be t(2). Does 8 divide (-15)/o - 0 - (1 + -4)?
True
Suppose 42*k - 84 = 14*k. Suppose 765 = 4*t + k*o, -t + 186 = -6*o + 5*o. Does 7 divide t?
True
Suppose -72*j + 216681 = -18*j - 128055. Is 21 a factor of j?
True
Let f = -131 + 137. Suppose 2*z = 3*t + 64, 4*z = f*z + 8. Does 10 divide t/(-18)*354/4?
False
Suppose 9*d + 3*i - 18867 = 51774, 4*i + 7823 = d. Does 19 divide d?
True
Let t = 150 - -54. Suppose 0 = b + 4*z - t, -5*b + 3*z - 2*z + 915 = 0. Suppose 11*m - 15*m = -b. Is m a multiple of 46?
True
Let z = 154 + -77. Suppose 0 = -2*p + 47 + z. Suppose 0 = 8*d - 6*d - p. Is 16 a factor of d?
False
Let v(j) = -2101*j - 3334. Is v(-4) a multiple of 26?
True
Suppose -18*g + 38362 = -36284. Is 101 a factor of g?
False
Suppose -20 = 4*r, 0 = -2*b + 91*r - 95*r + 2908. Is 61 a factor of b?
True
Suppose 81093 = 43*j - 9723. Is 32 a factor of j?
True
Let y(r) = 5*r + 7. Let f be y(-5). Let t be f/54 + (-13)/(-3). Suppose t*h = -4*h + 104. Is 2 a factor of h?
False
Let h(y) = 1622*y - 1337. Is 3 a factor of h(1)?
True
Let g(k) = -k**3 + 19*k + 44. Let i be g(-3). Is 7 a factor of -2 + 144/63 - (-780)/i?
True
Is 1144 + (-3)/(-2)*424/(-159) a multiple of 53?
False
Suppose -5*i = 107*i - 1435634 - 546766. Does 12 divide i?
True
Let x = -22673 + 35301. Is 11 a factor of x?
True
Let v(p) be the second derivative of -p**3/6 - p**2/2 - 3*p. Let u be v(-5). Suppose u*s = -2*r + 8, 4*r = -5*s + 5 + 23. Is r a multiple of 4?
True
Let p = 4793 + -4696. Is p a multiple of 5?
False
Let a(w) = -w**2 - 7*w - 10. Let h be a(-4). Let n(y) = y**3 - 12*y**2 - 12*y - 13. Let j be n(13). Suppose h*s = -j*s + 276. Does 11 divide s?
False
Let k(o) = -148*o + 285. Is 82 a factor of k(-44)?
False
Let f(h) be the first derivative of 2*h**3/3 - h**2 - 32*h + 42. Is f(9) a multiple of 18?
False
Let d(w) = 29*w**2 - 8*w - 11. Let h be d(-3). Let c = -148 + h. Is c a multiple of 10?
False
Let q = 540 - -455. Is q a multiple of 19?
False
Let m(z) = 14*z**3 - 22*z**2 - 3*z + 3. Is m(9) a multiple of 25?
True
Suppose 105*r = -433*r + 795164. Does 49 divide r?
False
Let c = -15741 - -22862. Is 25 a factor of c?
False
Suppose 48*z - 48877 - 67043 = 0. Does 7 divide z?
True
Let l(w) = -67*w + 6. Let p(u) = -u**2 - 6*u - 2. Let f be p(-6). Let b be l(f). Is 18/(-4)*b/(-6) a multiple of 15?
True
Suppose 0 = -11*i + 9143 + 6664. Suppose -3*k + 4*z + 1440 = 0, 11*k - 5*z = 8*k + i. Is 44 a factor of k?
True
Suppose 0 = -d + 3*d + 3*g + 2, -2*g - 16 = 5*d. Let c be (-85 + 7 + d)/(-1). Let k = 91 - c. Is k a multiple of 3?
True
Let h = 471 - 295. Suppose 435 = 13*w - h. Is 3 a factor of w?
False
Let y(j) = j**3 - 4*j**2 - 2*j + 3. Let r be y(2). Let q(u) = -11*u - 15. Let b be q(r). Suppose 0*m - 2*m + b = 0. Is m a multiple of 7?
True
Let w be (-13 + -1)/((-5)/(2 - -3)). Suppose d - 3*t + 3 + 5 = 0, 5*d + 3*t = w. Is 3 a factor of -1*(-2 + d) + 9 + 17?
True
Let g(r) = 84 + 20*r - 10*r - r. Does 31 divide g(0)?
False
Let n be (6/(-15))/((-1)/5). Let v be 4 - ((-1)/n + 153/(-6)). Suppose -v = -2*c + 42. Is c a multiple of 9?
True
Suppose 5*l = w + 8, -5*l = -4*l - 2. Let a(f) = -f**3 + 39*f**2 + 80*f + 231. Let i be a(41). Suppose -i = -w*j - 69. Does 8 divide j?
True
Let j = -2845 + 8870. Is j a multiple of 43?
False
Let w = -260 - -265. Suppose -w*q - 10 = 0, 0*q + 148 = z - 5*q. Is z a multiple of 8?
False
Let s = 8466 - 7611. Is s a multiple of 19?
True
Suppose -r - g = -2, 11 = 5*r - g - 5. Is 11 a factor of r/9 - 2*325/(-30)?
True
Suppose p = 3*x - 25, -x + 5*p + 29 = 2. Suppose -5*k + 725 = 5*v, -3*v - x