w(h) = 408*h**2 - 145*h + 4682. Is w(43) a composite number?
True
Let b be (2 - (-9)/(27/(-110)))*-12. Suppose 0 = -2*i + 5910 - b. Is i a prime number?
False
Let s = 663 - 654. Is (56/24)/7 - (-138768)/s a composite number?
True
Let z(f) = 2*f - 42. Let g be z(19). Let a be 0 + 4 + g + 1985. Suppose 17*y - 22*y = -a. Is y prime?
True
Suppose -3*v + 76 = 97, g - 196772 = -3*v. Is g a composite number?
True
Suppose 50941 = 17*k - 61276. Let u = 15808 + k. Is u a prime number?
True
Suppose 42 = -5*w + 52. Let l be (-105)/30 + 1/w. Let p(a) = -12*a + 1. Is p(l) a composite number?
False
Let s(o) be the first derivative of o**3/3 - 2*o**2 - 5*o + 2. Let g be s(6). Let i = g + 44. Is i prime?
False
Let p(o) be the first derivative of o**3/3 - 9*o**2/2 - o - 9. Let c(t) = t**3 - 20*t**2 + 2*t - 27. Let m be c(20). Is p(m) prime?
False
Suppose -207411 = 10*s + 158519. Let m = 51460 + s. Is m composite?
False
Let l = -2392 - -52599. Is l a prime number?
True
Suppose -g - 91793 = -5*a + 160404, 2*a - g = 100874. Is a a composite number?
False
Suppose 12*s + 12275 = -2*m + 11*s, 2*m - 4*s + 12280 = 0. Let w = 5075 - m. Is w composite?
False
Suppose 5*o = 1906309 + 2255790 + 4765846. Is o a composite number?
True
Let l = -416 + 1128. Suppose 4204 = 2*r + 2*d, 3*r + 5*d - l - 5596 = 0. Is r a prime number?
False
Let m(h) = 1638*h**3 + 11*h**2 - 12*h + 42. Is m(5) a composite number?
True
Let c be 4/(-14) + 6*(-296)/(-336). Suppose c*d - 9*d = -15524. Is d a prime number?
True
Let u(m) be the first derivative of 8*m - 15 - 457/2*m**2. Is u(-3) a composite number?
True
Let m = 657556 - -962797. Is m a prime number?
False
Let w = 436 + -431. Suppose -w*j = 2*q + q - 15314, -5*j = -4*q - 15293. Is j a prime number?
True
Suppose -23*x - 4165358 = 58*x - 11324057. Is x composite?
False
Suppose 5*d - 2*r - 310922 = 0, 5*d + 6*r = r + 310880. Is d composite?
True
Let s be 101*23 + 5 + 4 + -6. Suppose s = 4*n + 3*v, 4*v + v - 1750 = -3*n. Let y = n - 291. Is y prime?
False
Suppose 3*v - 81786 = 92745 + 171552. Is v prime?
True
Let p(a) = 13*a**2 - 126*a - 38. Is p(27) composite?
False
Let s be 1/4 + 561/(-68). Let z = -5 - s. Suppose -z*u + 1467 = -4*b, u = -2*b + 4*b + 487. Is u a prime number?
False
Let l = -39574 - -40111. Is l prime?
False
Let d = 2941126 - 1809989. Is d a composite number?
True
Is -7 - (-2 - 8)*5628 a composite number?
True
Let v be (-778)/(-3) + 4*(-1)/(-6). Suppose -4*r + 258 = -10*r. Let c = v - r. Is c composite?
True
Let x be (-8)/(-12)*1/(-6)*-9. Suppose x = r, s + 23*r - 24*r = 618. Is s prime?
True
Suppose 138*d = 136*d + 140. Let u = d + -31. Suppose 0 = o - u - 212. Is o a composite number?
False
Let w = 108842 - -54129. Is w a prime number?
True
Let g = -138 + -2744. Let a = g + 11724. Is a a composite number?
True
Let v(u) = 11340*u**2 + 19*u - 45. Is v(4) composite?
True
Is ((-3)/4*-2)/(-1 + 18375/18366) a composite number?
False
Let m(o) = 2*o**2 + 7*o + 58169. Suppose 15 = -4*d - 5*c, 3*c + 7 + 2 = -5*d. Is m(d) a prime number?
True
Suppose 5*a = 4*w + 27, -3*a = 2*a - 5*w - 30. Suppose -6*c + 24 = 6. Suppose 2*x + 5524 = 4*v, -v + a*v - 2762 = c*x. Is v composite?
False
Let h be 1*(-2 - -1)/((-1)/4). Suppose 5*i = 5*n - 2105, h - 1 = -3*i. Suppose -6*j + 5*j + n = m, 0 = 2*j - 10. Is m prime?
False
Suppose 0 = -k + 2*a + 12, 5*k - 3*a = 21 + 11. Suppose -k*o = -20, 19200 + 22080 = 2*u + 2*o. Is u prime?
False
Let o be ((-1)/(-2))/(2/(0 + 12)). Suppose -5*y = -o*y. Suppose y = 3*p - 1932 - 2589. Is p prime?
False
Suppose 2 - 6 = x. Let d be x/(-14) + -458*43/(-14). Suppose -d = -4*b + 229. Is b a prime number?
True
Let h be 5*((-24)/(-150))/(2/10). Suppose 70 = c - w, 0*c + h*c - w = 271. Suppose 65*l - c*l = -2674. Is l prime?
False
Suppose -17*j - 16260 = -7*j. Let s = 2519 + j. Let q = 2230 - s. Is q a composite number?
True
Let g(c) be the first derivative of -7*c**4/4 + 14*c**3/3 + 33*c**2/2 - 3*c - 75. Is g(-11) a composite number?
True
Let p(u) = 317*u**2 + 7*u + 8. Suppose 0 = 2*w - 0 + 4. Is p(w) a composite number?
True
Suppose -383*v + 4*f = -385*v + 526914, v - 263492 = 5*f. Is v prime?
False
Let h(m) = -2*m**3 + 15*m**2 - 3*m - 6. Let t be h(7). Suppose 5*j = 2*k + 539, -187 = -2*j + 3*k + t. Let o = j - 24. Is o a prime number?
False
Suppose 5*x = 3*y - 0*y - 858397, 0 = 4*y - x - 1144518. Is y a prime number?
True
Let f = -11085 + 16313. Let b = f + -2619. Is b composite?
False
Let t(d) = -d + 9. Let i(n) = -42*n - 49. Let g(u) = i(u) + 7*t(u). Suppose -5*f - 26 - 29 = 0. Is g(f) a prime number?
False
Let x = -9235 + 54062. Is x prime?
False
Suppose -4*w + 603914 = 70*w. Is w composite?
False
Is 105031*(-25 - -11)/(-14) a composite number?
False
Let a = 308811 + -193622. Is a prime?
False
Suppose -47*i + 10*i = 91*i - 33049984. Is i a prime number?
False
Let p(u) = u**2 - 30*u - 22. Let y be p(32). Suppose -30 - y = 3*j. Is (3*4/j)/((-3)/5718) composite?
False
Let w = 112 + -112. Suppose 3*c + 2*o - 8377 = w, -6*c - 3*o + 13960 = -c. Is c prime?
True
Suppose -591993 = -21*h + 33177. Suppose -2*z + 3*n = -11921, 5*z = 2*n - n + h. Is z prime?
True
Is (-149)/((114/285)/(454/(-5))) a composite number?
True
Let s(j) = 5*j**2 - 13*j + 1. Let v(g) = -g**3 - g - 4. Let w be v(-2). Let x be s(w). Suppose -5*r + 99 + x = l, 15 = 5*r. Is l a composite number?
True
Suppose -12*i = -5959 - 30353. Suppose 0 = z, 4*l - i = 2*l + 4*z. Is l composite?
True
Let x be 220/(-50) - 2/(-5) - -22714. Let t = 65279 - x. Is t a prime number?
True
Suppose -316870 - 2788722 = -28*i. Is i prime?
False
Suppose -3*z + 129363 = 3*v, -z + 5*v = -13321 - 29764. Is z prime?
False
Is (749284/28)/1 + (-40)/35 prime?
True
Let z(h) = -12*h + 58. Let o be (-94)/(-18) + (-4)/18. Let i be z(o). Let d(s) = -1603*s - 1. Is d(i) prime?
False
Let l = -14903 + 84144. Is l composite?
True
Let f(q) be the first derivative of 98*q**3/3 - q**2/2 + 4*q + 205. Is f(-5) a prime number?
True
Let u(m) = 16*m**2 - 1. Let h be u(1). Let a = h - -9. Is (-6494)/(-12) + (-4)/a prime?
True
Is -1 + 373632 - (-322 - -340) a prime number?
True
Let g = -207459 - -458912. Is g a prime number?
False
Suppose -4*z = f - 900, -4*z = 3*f - 555 - 353. Is 64/z + 70822/14 composite?
False
Let a(u) = 41*u**3 - 10*u**2 - 50*u - 4. Is a(5) a composite number?
False
Suppose 212 = -i + 5*i. Let y = -48 + i. Suppose -3*f = y*s - s - 880, 0 = -2*s + 3*f + 458. Is s a prime number?
True
Suppose -4*i = 3*s - 761927, 0 = 2*s + 3*i - 106391 - 401561. Is s a composite number?
True
Let g(p) = 12507*p**2 - 8. Is g(1) a composite number?
True
Suppose -5*p + 5174867 = 2*m, 0 = -3886*p + 3891*p - 2*m - 5174843. Is p a composite number?
True
Let n be ((-20)/(-8) - 2)*2 - 3. Let a be ((0 - 1) + n/(-1))*-281. Let w = a + 399. Is w a prime number?
False
Let n = -8 + 26. Let k(g) = g**3 - 19*g**2 + 17*g + 18. Let z be k(n). Suppose 0 = -5*f - z*f + 7485. Is f a composite number?
True
Suppose 17208 = 4*d - 0*d. Suppose s = d + 2629. Is s prime?
False
Suppose 0 = 18*r + 202008 + 153870. Let v = r + 27792. Is v composite?
True
Let h be (-6 - -8) + 0 + 2. Suppose -h = z + 3*z. Is (-14 + z)*(-1570)/30 a prime number?
False
Let z = -5239 + 19031. Let r = z - 9701. Is r prime?
True
Let b = 133931 + -73438. Is b prime?
True
Let c(p) = -1407*p - 8. Let q be c(5). Let y = 1232 - q. Suppose 5*x + 2*o - 8289 = 0, 0*x - 5*o = -5*x + y. Is x a prime number?
True
Let f = -83 + 90. Suppose -f*q + 5*q + 4396 = 0. Suppose 0 = 2*w - 80 - q. Is w composite?
True
Suppose 6*s - s = -0*s. Suppose s = -4*j + 4*i + 808, -154 = -4*j + 5*i + 651. Is j a composite number?
True
Let z be 686 + (1/1 - -1). Suppose -3*g - 84 - 45 - 42 = 0. Let f = z - g. Is f a prime number?
False
Let j = 46382 - 30767. Let i = -319 - -333. Suppose -j = -i*k + 5*k. Is k a prime number?
False
Let m be 1*(-4 + 3)*13. Let q be (-14)/(-91) - 414/m. Is 716*2*(28/q)/1 a prime number?
False
Suppose 0 = 2*p - 6, -p = -7*i + 6*i - 26152. Let l = -15938 - i. Is l a prime number?
True
Let s be 117/6*2/3. Let v(p) = 11*p**3 - p + 17 + s*p**3 - 13 - 4*p**2 + 30*p**3. Is v(3) a composite number?
False
Suppose -24*v - 3*v = -729. Is 0/(-1) - (-2524 + v/9) a prime number?
True
Let a(m) = 85220*m**3 - 3*m**2 + 2*m. Is a(1) a prime number?
False
Let d(b) be the second