se -6*z + 10591 = -2951. Is z a prime number?
False
Suppose -4*o - o + 3224 = 4*r, -3*o = 12. Let z = r + -474. Let p = z - 146. Is p prime?
True
Let u = 20 - 17. Is ((-15218)/56)/((3/(-4))/u) composite?
False
Suppose -22161 = 8*n - 65641. Is n a composite number?
True
Let b(n) be the first derivative of 2*n**3 + 15*n**2/2 + 23*n - 1. Is b(-14) composite?
True
Suppose -136165 = -15*l + 74270. Is l prime?
True
Suppose 0 = 5*t + v - 7451, 3*t + 2*v = 4*t - 1499. Suppose -9*r = -6*r - t. Is r composite?
True
Suppose -x + 2 - 1 = 0. Is (x + (-164)/6)*(0 - 3) a prime number?
True
Let c(t) = 187*t**2 + 14*t - 53. Is c(4) composite?
True
Let n(m) = 79*m**2 + m - 5. Let a be n(3). Suppose -2*g + 280 = -3*b, 5*g = -b + 4*b + a. Is g prime?
False
Let n = -580 - -951. Let i = n + -253. Suppose 3*w - 387 = -4*t, -3*w + i = t + 2*w. Is t prime?
False
Let t be 20/(-16)*2*862. Let m = t - -3912. Is m composite?
True
Let u = -2 + 207. Let y = 32 + -28. Suppose -3*v = -u + y. Is v a prime number?
True
Let c = -36400 - -59889. Is c composite?
True
Let s(k) = -k**3 + 16*k**2 + k + 11 + 3 - 5. Is s(14) a prime number?
False
Suppose 0 = -2*c, t - 419 = -2*c - c. Let f = 622 - t. Is f a prime number?
False
Let g(y) = y**3 - 3*y**2 + 3*y + 1069. Is g(0) composite?
False
Suppose v - 8*s = -13*s + 36982, 2*s = -6. Is v a prime number?
True
Is (10602 + 43)/(1/1) a composite number?
True
Let b(x) be the second derivative of 223*x**5/20 - x**4/6 + x**3/3 - x**2/2 - 9*x. Let c be b(1). Suppose c = -3*j + 5*j + 2*k, -119 = -j + k. Is j composite?
True
Suppose 631 = 9*m - 142730. Is m prime?
False
Let i(y) be the second derivative of y**5/5 + y**4/6 + 5*y**3/6 - y**2 - 53*y. Is i(5) prime?
False
Suppose -22985 = -42*s + 46273. Is s a prime number?
False
Suppose 162*h + 741600 - 2612538 = 0. Is h a composite number?
False
Suppose -x + 4*x + 9 = 0. Let y be 8/(-12) - 10/3. Is ((-2)/x)/(y/(-2010)) composite?
True
Suppose 2525*a - 762267 = 2514*a. Is a prime?
False
Is -9 + (-456370)/(-90) + 4/18 composite?
True
Let h(n) = -5*n**3 + 9*n**2 - 13*n + 14. Let v(p) = -4*p**3 + 10*p**2 - 13*p + 13. Let t(z) = 2*h(z) - 3*v(z). Is t(10) composite?
False
Let b = -137 + 81. Suppose 2*j - 5*v = 121 + 116, -j + 5*v = -116. Let u = b + j. Is u composite?
True
Let s(t) = 134*t**2 - 56*t - 313. Is s(-6) a prime number?
False
Suppose 111342 - 342398 = -56*z. Is z prime?
False
Let h(q) = 19170*q + 219. Is h(4) a composite number?
True
Suppose -430909 - 274107 = -104*r. Is r prime?
True
Let l = 5 + -19. Let a = l + 7. Is a*(-4)/28*10 a prime number?
False
Let n = 4839 - 3082. Is n a prime number?
False
Suppose -19 = -a + i, -6*i = a - 8*i - 24. Suppose a*f = 19*f - 595. Is f a prime number?
False
Is (-4)/6*-6*(-827482)/(-188) a composite number?
True
Suppose 0*z - 2*z + 168 = 0. Let n be z/22 - 4/(-22). Is (-10)/20 + 558/n a prime number?
True
Suppose 2 = 4*m - 22. Suppose t + m = 3*t. Is 2/t + 5841/27 prime?
False
Let f(m) = -m**3 - 10*m**2 - 6*m - 9. Let u be f(-10). Is 2/(-4)*4 + u a prime number?
False
Let m = 56242 + -38961. Is m composite?
True
Suppose 7 = v + 2. Suppose v*y = 5, -2*h = 4*y - 7*y - 3967. Is h a prime number?
False
Let k(g) = -35*g - 359. Is k(-16) a composite number?
True
Let o(b) = b**3 + 5*b**2 - 7*b - 1. Let t be o(-6). Suppose 0 = 8*d - 1256 + 168. Suppose 0 = c + t*p - 73 + 11, -3*c + d = 5*p. Is c composite?
False
Is 210/(-42) - (1 - 6) - -8197 a composite number?
True
Suppose -3*b - 2*b = -30995. Suppose -5*f - 9703 + 385 = -3*r, f - b = -2*r. Is r composite?
True
Let x(n) = 4*n**3 - 2*n**3 + 5*n**2 - 3*n**3 + 4. Let v be x(5). Suppose s + 3*k - 163 = -s, 4*k = -v. Is s prime?
True
Let z = 166 - 62. Suppose 3*m = -w + z, 257 = 3*w - 3*m + m. Is w a prime number?
True
Suppose -33987 = 3*m + 2154. Let g be (m/(-4))/((-2)/8). Is 2/12 + g/(-42) a prime number?
False
Let r = 24 + -24. Is 1*(r + (-1671)/(-3)) composite?
False
Let h(l) = 2*l - 4 + 0 - 2. Let r be h(3). Suppose -2*o + o + 3*m + 194 = r, 0 = 3*m + 3. Is o composite?
False
Suppose -d + 185 = -3*p, -5*d + 5*p + 854 = -51. Let t = 334 - d. Is t a composite number?
True
Suppose -v + 2*g + 7 = 0, -5*v = -2*g - g - 21. Suppose 3*d - 3*b - 1897 = -b, v*b = -d + 614. Is d prime?
False
Suppose -p - 2*p - 3062 = 2*x, 5*p + 1517 = -x. Let j(v) = -36*v**3 - 5*v + 3. Let i be j(3). Let z = i - x. Is z composite?
True
Let v(g) = 2*g**3 + 3*g**2 + g - 2. Let d be v(-2). Let l(s) = -312*s + 7. Is l(d) prime?
True
Let g(u) = -u**3 - 5*u**2 + 8*u - 4. Let w be g(-7). Suppose -2*p = 2*i - w, -3*p = 5*i - i - 53. Let v = 332 + p. Is v a composite number?
True
Suppose -5 = o - 15. Suppose 2 = -4*a + o. Suppose -6*x - 3*c = -5*x - 69, 5*c = a*x - 138. Is x prime?
False
Let a = 2000 - -957. Is a a prime number?
True
Let i(z) = 26*z**2 - 11*z + 6. Let p be i(-9). Suppose -5*l = -2*l - p. Is l composite?
True
Suppose 24 = 4*a + 4. Let y(z) = -1 + 5*z**3 + z**3 + 4*z**2 + 0*z**3 - 3*z - a*z**2. Is y(3) prime?
False
Let l = -23231 - -7092. Let b = -9600 - l. Is b a composite number?
True
Let v(k) be the third derivative of k**5/10 - 3*k**4/8 - 7*k**3/6 - 17*k**2. Is v(-6) a prime number?
True
Suppose 0 = -5*t + 4*u - 6*u + 24, -3*u = -6. Suppose 4*h + 2*z = 636, 769 = -2*h + 7*h - t*z. Is h prime?
True
Let o(u) = -2*u - 3*u - u - 2 + 2*u. Let k be o(-1). Suppose -29 - 45 = -k*r. Is r a prime number?
True
Let a(y) be the third derivative of -y**4/8 + 3389*y**3/6 + 11*y**2. Is a(0) prime?
True
Let o be (-5669)/(-2) + (-19)/38. Suppose -6*q + o = -5992. Is q a prime number?
True
Let s = -9 + 5. Let j be (-3 - 32/s) + -2. Suppose 129 = j*k - 252. Is k composite?
False
Let q(s) be the third derivative of 0 - 1/6*s**3 + 0*s**4 + 1/20*s**5 + 5/24*s**6 + 0*s - 3*s**2. Is q(2) a prime number?
True
Suppose p - 2*s + 1 - 8 = 0, -s + 2 = 5*p. Is (-713)/(-4) - p/(4/(-3)) prime?
True
Let g be 71/(3/(-6)*1). Let t(v) = 16*v + 3. Let d be t(-6). Let k = d - g. Is k prime?
False
Let m = -147 + 147. Suppose m = -4*k - 4*y + 12884, 4*k - 9842 - 3056 = 3*y. Is k a prime number?
False
Suppose 2*u - 18594 - 1420 = -4*s, -s = -3*u - 5000. Is s a prime number?
True
Let t(v) = 12248*v + 661. Is t(17) a prime number?
True
Let c(x) = 4*x**3 - 35*x**2 + 33*x + 37. Is c(17) composite?
True
Let t(b) = b**2 - 4*b - 9. Let v be t(5). Is 2*(v/(16/(-2034)) + 1) prime?
True
Let q(b) = -b**3 - 11*b**2 - 10*b - 10. Let n(f) = -f + 18. Let i be n(14). Suppose i*v + 16 = -g, 3*g = 9*v - 4*v - 31. Is q(g) a composite number?
True
Let k = 32 + -20. Suppose -14*n + 40 = -k*n. Suppose -n = -5*x, 2*v + 14 = -3*x + 72. Is v a composite number?
False
Let i(t) = t**2 - 9*t - 9. Let u be i(9). Let o(w) = 8*w**2 + w + 8. Is o(u) a prime number?
True
Is 14642/((-3)/(-1)*(-12)/(-18)) a prime number?
True
Suppose 0 = -i + 260 + 120. Suppose 2*h - i = 3*h + 5*n, 2*n - 8 = 0. Let p = -213 - h. Is p a prime number?
False
Is 6/(36/(-2))*-7311 prime?
True
Suppose 0*m + 2*m - 4*s = 30, -40 = -5*m + 3*s. Let v = 136 + -133. Suppose -m*t + 116 = -v*t. Is t prime?
False
Let s(l) = l**2 - 12*l + 5. Let y be s(12). Suppose -4*i - 2*w + 375 = -y*i, -2*i - 3*w = 771. Is i/1*(-13)/39 prime?
True
Let c = 6 + -6. Suppose c*l + 10588 = 4*l. Suppose 3*q = l - 958. Is q a prime number?
True
Is 2 + (5 + -10 - -25394) composite?
False
Is -379*((-2)/(-6))/(2/(-6)) prime?
True
Let u(x) = 2*x**2 + 2*x - 7. Let f be u(3). Let i = f + 38. Let p = i - -72. Is p composite?
False
Suppose -3*s + s - 2 = 3*z, 3*z = -5*s - 14. Suppose -z*m + 19 = -p, -4*m + 0*p + 4*p + 48 = 0. Is m a prime number?
True
Let q(r) = -r**3 + 45*r**2 - 13*r - 105. Is q(44) a composite number?
False
Suppose 3*r = -4*p + 43, 0*r + 55 = 3*r - 2*p. Let h be 1030/50 - (-3)/(-5). Suppose -r*g - 255 = -h*g. Is g composite?
True
Let t(z) = -298*z - 3. Suppose 10*f + 12 = -2*f. Is t(f) composite?
True
Let i(u) = -u + 8. Let m be i(4). Suppose 0 = -5*a - g + m*g + 12, -10 = -3*a - g. Suppose a*o + 0*n - 306 = -5*n, 0 = 4*n - 12. Is o a composite number?
False
Let x(z) = 3*z**2 + 4*z - 18. Let n(s) = -s**2 - 10*s + 4. Let f be n(-9). Is x(f) prime?
True
Is (35 + -33)*2743/2 composite?
True
Suppose -f + 4 = 3*t - 4, -5*f = 4*t + 4. Let q be 9/t*(-24)/(-9). Let r = 1 + q. Is r a composite number?
False
Suppose -2085 = -4*x + 4*r - 461, 0 = -3*r +