7*k**2 + k + 22. Is n(y) prime?
True
Let v be ((-6)/5)/(65/25 + -3). Is 8/(-36) - ((-16384)/18 + v) a prime number?
True
Suppose 4*c = -5*i + 5759, 2*i - c + 3454 = 5*i. Let b = -516 + i. Is b composite?
True
Let y(w) = 92*w**2. Let m(g) = -g**3 + 15*g**2 + 2. Let n be m(15). Let x be y(n). Is (0 - -2) + x + -3 a composite number?
False
Let n(p) = -3*p**3 - 2*p**2 + 6*p + 5. Let q(s) = -4*s**2 - 24*s - 4. Let x(t) = t**2 + 6*t + 1. Let r(w) = 2*q(w) + 9*x(w). Let o be r(-5). Is n(o) prime?
False
Suppose -2*l + 99 = -3*b + l, -b + 4*l - 48 = 0. Let g = -25 - b. Suppose g*r - 291 = 2*w, -2*r - 36 = 2*w - 230. Is r composite?
False
Let d = 5 - 1. Suppose -x - d = 3*x, -2*x + 1172 = 2*m. Is m a prime number?
True
Let a(s) = s**2 + s + 1. Let l(q) = -16*q**2 + 2*q + 5. Let u(n) = 4*a(n) - l(n). Suppose 2 + 7 = 3*v. Is u(v) a prime number?
False
Let j(s) = s + 9. Let l be j(-4). Suppose 2*z - z - 545 = -3*t, -l*t - 20 = 0. Is z a composite number?
False
Suppose -3*z = -5*i - 9, -z = -0*z - 3. Suppose 0*p - p + 200 = 0. Is (-1 - i)*1 + p prime?
True
Let j(r) = -r**2 - 9*r - 12. Let u be j(-7). Suppose 0 = -v - u*v - 5*w + 2123, 1418 = 2*v + 4*w. Is v a prime number?
True
Suppose -h + 12 = 2*h + 4*i, 2*h = i - 3. Suppose h = 5*f - 332 - 273. Suppose -a - 5*n = -44, -4*a - 3*n = -f - 38. Is a prime?
False
Let r = -1022 - -4705. Is r a composite number?
True
Let w = 24 - 19. Suppose -w*r + r + 72 = 0. Is (r/(-12))/(9/(-402)) a composite number?
False
Let g(r) be the first derivative of -4*r**2 + 2*r + 10. Is g(-7) composite?
True
Let y(r) = 27*r**2 - r - 3. Let d be y(-5). Let n(j) = -118*j - 4. Let b be n(4). Let c = d + b. Is c prime?
False
Let v = 7 - -19. Suppose -4 = j - 3*j. Suppose 8*w + v = 2*p + 4*w, -j*p = 5*w - 62. Is p a prime number?
False
Let x(a) = 16*a + 47. Is x(9) a prime number?
True
Let f(i) = -i**2 + 7*i - 2. Let u be f(6). Let l(n) = 3*n**2 + 3*n - 6. Let y be l(u). Let q = -17 + y. Is q a composite number?
False
Let t = 1090 + -417. Is t prime?
True
Suppose -c - 2*c = -4*u + 325, 3*c + 3*u + 339 = 0. Suppose 2*v - 254 - 222 = 0. Let k = c + v. Is k a prime number?
True
Suppose a + 3*o - 13845 = 0, 4*a + o + 0*o - 55369 = 0. Is (-1*1)/((-18)/a) a composite number?
False
Let w be ((-24334)/(-2) - 4) + -2. Suppose -1446 = -11*p + w. Is p prime?
True
Let w = -853 - -1379. Is w composite?
True
Suppose 211*p - 228*p + 312749 = 0. Is p composite?
False
Let t(w) be the third derivative of w**6/15 + w**3/6 + 8*w**2. Is t(3) composite?
True
Is (2/4)/(2/53488*4) a prime number?
True
Suppose 92 = 2*o - o. Suppose o = x - 5. Is x a prime number?
True
Suppose -2*o + 15 = 9. Suppose n - o*n + 1774 = 0. Is n a composite number?
False
Let v(t) = 330*t**2 + 10*t - 33. Is v(5) prime?
False
Suppose 20 = -2*u - 60. Is (547/5)/((-8)/u) composite?
False
Let k = -25 + 7. Let j be (17 + k)*(-10)/2. Suppose -j*v - 4*a = -1179, 3*v - 248 - 456 = a. Is v composite?
True
Is (-39)/(-26)*(2 - (-129336)/18) composite?
False
Suppose -21623 = -5*s - 3*r, -4*s - 3197 = -4*r - 20521. Is s composite?
False
Suppose 3*n + 6*c - c = 1, -2*n - 5*c = 1. Suppose 0*g - 2*g = -5*p + 3163, -n*g - 1901 = -3*p. Is p prime?
True
Suppose 29*k = 115*k - 12448586. Is k a prime number?
True
Let i(f) = 23*f**3 - f**2 + 7*f + 12. Is i(5) prime?
True
Let k(x) be the third derivative of x**6/15 - x**5/12 + x**4/8 + 5*x**3/6 + x**2. Is k(4) prime?
True
Let q(i) = 214*i + 5. Let v(g) = -215*g - 6. Let k(m) = 4*q(m) + 5*v(m). Is k(-3) a composite number?
False
Let r(c) = -20*c**3 + c**2 + 8*c + 2. Is r(-9) a composite number?
False
Let a = 500 + -1192. Suppose -1742 = -10*f - 6672. Let y = f - a. Is y a composite number?
False
Let n = -22 + 18. Let y be 0/n - (-514 - -1). Suppose i + y = 4*c, 0*i + 3*i = 4*c - 523. Is c a prime number?
True
Suppose -2*q + 12793 = h, 3*h - 983 = 6*q + 37348. Is h a composite number?
True
Let v be -3 + (3 - 3) + -1013. Let y = 1668 + v. Suppose -4*f = 5*p - y, 3*f - 5*f - 3*p = -326. Is f a prime number?
True
Let b be ((-2)/(-8))/((-2)/(-24)). Suppose 0 = -b*c + 7*c. Suppose c = 4*y - 79 - 109. Is y prime?
True
Let z be 1*((0 - 1) + 3). Let p be (-532)/(-5) + 4/(-10). Suppose z*l + 0*l = p. Is l prime?
True
Suppose 5*u = 8*u - g - 147239, -4*g + 49097 = u. Is u prime?
True
Let b = -25 - -29. Is b - (-2 - (-21175 + 3)/(-4)) composite?
True
Let s be (183/(-15) + -1)*370/(-4). Suppose -3*c + s = 2*g, 4*c - 2094 = -5*g - 473. Is c composite?
False
Let d be -33 - (-3 - 0/(-2)). Suppose 39 = 3*u - 0*u. Let g = u - d. Is g a composite number?
False
Let k(r) be the first derivative of 5*r**4/4 + 4*r**3/3 - 5*r**2/2 + 5*r - 6. Is k(3) composite?
True
Let z be (-1 - (-15)/(-21))/(10/(-35)). Let u(b) = 2*b**3 - 8*b**2 - 2*b - 14. Is u(z) prime?
False
Let r(x) = 9*x + 10. Let h be r(-12). Let o = -39 - h. Is o prime?
True
Let g be (0 - (-9)/(-2))*2. Suppose b + 46 - 42 = 0. Is 10/b*1746/g composite?
True
Suppose t = 6*t + n - 9190, 4*n + 1859 = t. Is t a composite number?
True
Let k(d) = -3*d**2 + 5*d + 2. Let o(z) = 2*z**2 - 6*z - 3. Let c(n) = -4*k(n) - 3*o(n). Let i be c(-3). Suppose i = -5*a + 216. Is a prime?
True
Suppose 13*g = 18*g. Suppose 0*n - n + 347 = g. Is n a prime number?
True
Let s be 32186/56 + 3/(-4). Let n = s - 253. Is n a composite number?
True
Suppose 2*k - 14 = -2*m + 4*k, 11 = m - 2*k. Let w(p) = 5*p - m*p + 59 - 3*p + 0 - p**2. Is w(0) prime?
True
Suppose m - 14 = -4*o - 2*m, -o - 2*m = -1. Let z(k) = 14*k + 25*k - 11*k - o. Is z(9) a prime number?
False
Let x(l) = 2291*l**2 - 18*l + 87. Is x(4) a composite number?
False
Let h(i) be the third derivative of 19*i**5/20 - 5*i**4/24 + 7*i**3/6 - 7*i**2. Let m(p) be the first derivative of h(p). Is m(3) prime?
True
Let k(w) = 161*w**2 - 7*w + 1. Let m = 16 - 14. Is k(m) composite?
False
Let q(j) = -6*j**3 + j**2 + 5*j - 7. Let g be q(4). Let y = 984 + g. Is y prime?
False
Let a be ((-5)/2)/((-14)/(-308)). Let l = 89 + a. Let j = l - -31. Is j prime?
False
Is (29*-157)/(60/(-6) - -9) composite?
True
Is (26/8 + 2)*152/6 a prime number?
False
Suppose r + x + 4 = 2*x, 4*x + 20 = 0. Let q be 12/54 + (-16)/r. Suppose 0*l + 586 = q*l. Is l prime?
True
Let n = -20 - -18. Let g be ((-2)/(-5))/(n/(-30)). Suppose 7*o - 401 = g*o. Is o a prime number?
True
Let q(g) = -g**2 + g. Let n(y) = -y**3 - 18*y**2 + 21*y + 33. Let i(o) = n(o) - 6*q(o). Is i(-13) prime?
True
Suppose -2*k - 2*j - 37 + 7 = 0, -50 = 4*k + 2*j. Let r be (-56)/k + 14/35. Is (0 + 43)*r/2 composite?
True
Suppose -2*q + 20252 = 2*q. Suppose 4*p = -3*k + q, -5*k + 2764 = 3*p - 1036. Suppose p = -o + 6*o. Is o prime?
False
Suppose 5*k + 1213 = 5338. Suppose k = 3*v - 132. Is v a prime number?
False
Suppose -d - 3*h + 15877 = 0, -5*d + 79385 = 5*h - 3*h. Is d composite?
False
Let u(y) = 2*y. Let o be u(0). Suppose -5*r = -5*n + 219 - 1199, -5*r - 5*n + 930 = o. Is r prime?
True
Suppose 18*q - 673656 = -196422. Is q prime?
True
Suppose 0 = 4*a - 3*y - 14, 2*a - 4*y = a - 3. Suppose 0 = -5*b + a*t + 1434 + 1111, 5*b - 2545 = -5*t. Is b a prime number?
True
Let q = 203516 - 128297. Is q a prime number?
False
Let l = 707 - 30. Let m = l + -384. Is m a composite number?
False
Suppose 0 = 5*j - 3*m - 424078, 5*j + 5*m = 3*j + 169625. Is j a prime number?
False
Let w = -472 + 2689. Is w prime?
False
Suppose -5*k + 4*r = -r - 30, 5*r + 18 = k. Suppose v + k*v = 4468. Is v a composite number?
False
Let d(u) = -u - 10. Let b be d(-13). Suppose 5*s + 4*x - 2*x - 1873 = 0, b*s - 2*x = 1111. Is s a prime number?
True
Suppose 5*q + b = -64, 2*b - 16 = 3*q + 25. Is (-1 + -2428)/(q + 12) a composite number?
True
Let z(s) = -1507*s + 189. Is z(-10) composite?
False
Suppose 2*z - 260 = 2*n + 384, -968 = -3*z + 2*n. Suppose 3*q + 5*j + 241 = 0, 4*q + 5*j - 1 + z = 0. Is (q - 1)*(8 + -9) prime?
True
Let q(b) = -b**2 - 12*b - 33. Let k be q(-4). Is 308 + (k/3)/((-8)/(-24)) prime?
True
Suppose 5*z - 1149 = 11941. Is (2/4)/(11/z) a composite number?
True
Let g = 61 + 2356. Is g a composite number?
False
Suppose 4 = 2*l - 0. Let r(t) = t**3 - 3*t + 2. Let x be r(l). Let s(u) = 6*u**2 - u - 3. Is s(x) a prime number?
True
Let j be 34/12 + (0 - 1)/(-6). Suppose l = -4*m + 345, -j*l - 2*l + 1653 = 2*m. Is l composite?
True
Suppose 4*z - 7 = 13. Suppose -f + 4*d - 122 = 0,