
Let p = 512 - 291. Is p a prime number?
False
Let s(f) = 117*f**3 + 7*f**2 + 3*f - 36. Is s(7) prime?
True
Is (11013*(-6)/(-36))/(10/20) composite?
False
Suppose 3*u = -2*u + b + 78, -3*b - 26 = -2*u. Let l be u + 2 + 3 + -2. Suppose 2*o - 3 = l. Is o composite?
False
Suppose -2*y = 5 - 1, -4*o = 3*y - 22. Let i = -2 + o. Suppose -s = -i*s + 820. Is s a composite number?
True
Suppose 5*f = 2*y - 102319 + 6217, -5*y + 2*f + 240297 = 0. Is y composite?
True
Let j(c) = 3*c + 9. Let f = -39 - -53. Is j(f) composite?
True
Suppose 0 = -11*o + 40042 + 34329. Is o a composite number?
False
Let c(u) = -5*u + 1. Let j be c(1). Let r(z) = -36*z + 4. Let p be r(j). Suppose 5*g - p = g. Is g composite?
False
Suppose 5*o = 5*g + 25, 5*o - g - 31 = -10. Suppose 9 = -5*r - 0*w + w, 4 = -o*w. Let m(t) = -2*t - 1. Is m(r) composite?
False
Let l(f) = -41*f - 4. Suppose 27 = 3*b - 4*u, 5*b = b + 3*u + 36. Let r be l(b). Is r*(2 - (-6)/(-2)) a composite number?
False
Suppose 4*w + 31093 = 3*q, 5*q - 2*q + 4*w - 31109 = 0. Is q prime?
False
Suppose 144112 = 4*t + p, 27*t - 25*t + p = 72054. Is t a prime number?
False
Suppose -16 = -3*d + 5*x + 10, 3*d - 3*x = 18. Suppose b = 223 - d. Is b composite?
True
Suppose 7370 = -5*l - 5*m, 3*l + 2*l + 2*m = -7364. Let a = 2191 + l. Is a composite?
False
Let z be ((-6)/(-18))/((-1)/(-6)). Let p(s) = 37*s**3 + 4*s**2 - 3*s + 1. Is p(z) a composite number?
False
Let f = -348 + 1102. Suppose -f = -4*k + 3050. Is k prime?
False
Suppose 4*t - 20 = -t. Let l be 8/((6 + 2)/t). Suppose 0*d + 24 = l*d. Is d prime?
False
Let z = -1383 - -2674. Is z a composite number?
False
Suppose -9977 = -q + 5*l, -19936 = -2*q - 5*l + 6*l. Is q prime?
True
Let k(a) = -6 - 57*a + 8 - 30. Is k(-6) composite?
True
Let y = -14248 - -22283. Is y prime?
False
Suppose -32*n + 36873 = -23*n. Is n a prime number?
False
Let i(c) = c**3 - 5*c**2 + 8*c + 2. Let f be i(4). Let d(h) = 10*h + 9*h - f*h - 3 + 51*h**2. Is d(-2) composite?
False
Let n be (20/3)/((-2)/318). Let j = -563 - n. Is j a composite number?
True
Suppose 5*k = 0, 23 + 14 = -f - k. Let a = 93 + f. Suppose 5*q = 3*m + 165, 4*q = -m + a + 76. Is q a prime number?
False
Suppose 4*b + q = 10123, 2*b = 4*q - 20 + 5086. Is b composite?
False
Let d(y) = -342*y + 5. Is d(-1) a prime number?
True
Let v be (-48)/(-28)*(-14)/(-4) - 1. Let m(i) = 59*i + 4. Is m(v) a composite number?
True
Suppose 2*s + 2*g + 7 = s, -25 = -5*s + 2*g. Is (-1)/(s/(-6)) - -837 prime?
True
Let p be 7530/12 - (-1)/(-2). Let t = p - 118. Is t prime?
True
Let n be (-20)/(-8)*4/5. Is 4 + -5 - (-460 + n) a composite number?
False
Let h(q) be the second derivative of 7*q**3/3 + 5*q**2/2 + 2*q. Let z(p) = p**2 - 10*p - 10. Let b be z(12). Is h(b) composite?
True
Let a(x) = 37*x**2 + 9*x + 31. Is a(9) a prime number?
True
Let q = 270 + 8. Let v(d) = -d**3 - d**2 + 2*d + 2. Let l be v(-2). Suppose l*w + 5*u - q = 0, 3*u - 753 = -5*w + 5*u. Is w prime?
True
Is 107 + 1033 - (-22)/2 a composite number?
False
Let n(y) = 654*y - 7. Let t be n(-2). Let x = -682 - t. Is x a composite number?
True
Suppose 0 = -3*o + 4 + 2. Let h = o - 0. Let n(j) = 7*j**2 + 2*j + 1. Is n(h) a composite number?
True
Let k = -5 + 9. Suppose -4*c - 19 - 37 = -k*v, -2*v + 58 = 4*c. Is v composite?
False
Let r(n) = -178*n**3 + 4*n**2 + 7*n - 5. Let z(u) = 90*u**3 - 2*u**2 - 3*u + 2. Let s(w) = -2*r(w) - 5*z(w). Suppose 3*c = -0*c - 3. Is s(c) a composite number?
True
Let p be 0 + (4 - (-5 + 4)). Suppose 3*n = -4*h + 1623 + 1066, -p*h + 4*n = -3369. Is h prime?
True
Let w(a) = -91*a**3 + 4*a**2 + 7*a - 9. Is w(-4) composite?
False
Suppose 3*m = -4*t - 421, -194 + 619 = -4*t + m. Let o = t + 191. Let v = 26 + o. Is v a prime number?
False
Let w be (9/12)/((-2)/464). Let u = -72 - w. Let h = u - 49. Is h composite?
False
Let c(y) = 2*y**3 - 7*y**2 - 3*y + 4. Let o be c(5). Let s = o + 567. Is s prime?
True
Suppose c + 2*s = 2*c - 599, -3*c = 5*s - 1786. Let y = 1579 - c. Is y a prime number?
False
Let a(p) = -134*p - 1. Suppose -4*i = 15 + 5. Let y be a(i). Suppose -s - y = -3*n, n + 3*s = s + 223. Is n a prime number?
True
Let n = 21374 + -12296. Suppose 9*t + 2157 - n = 0. Is t a composite number?
False
Let b(n) = -n**2 + 3*n + 18. Let c be b(6). Is (c + -716)/(-2)*14/4 composite?
True
Let g be (3 + -5)/(-2) - -27. Let p be (-63)/28*1*g. Let h = 224 + p. Is h a prime number?
False
Let v = 221 - -3762. Is v composite?
True
Let f(x) = 3*x**3 + 10*x + 3. Let c = 1 + 0. Let r(a) = a**3 + a + 1. Let p(o) = c*f(o) - 4*r(o). Is p(-5) a prime number?
False
Suppose -2*s = -3*s + 13841. Is s a composite number?
False
Let r = 74 + -74. Suppose -3*y + 3179 = 4*d, r = -4*y + 8*y + 12. Is d a prime number?
True
Let s be ((-302)/(-6))/((-14)/(-1386)). Suppose 3*p = -5*m + 3146, 730 = -4*p + 5*m + s. Is p composite?
True
Let o = 34741 + -19898. Is o a composite number?
False
Is 92314/6 + 940/282 composite?
True
Let t(u) = 33*u. Let m be t(3). Suppose 3*x = v + 2*x - m, 3*x + 193 = 2*v. Let y = v - 33. Is y composite?
False
Suppose 0 = 65*h - 7*h - 402926. Is h a prime number?
True
Let h = -530 + 1070. Let g = -337 + h. Is g a composite number?
True
Let y = 2146 - 2139. Let b be 10*(-3)/(30/(-632)). Suppose -w = y*w - b. Is w a composite number?
False
Let w(f) be the third derivative of f**6/120 - f**5/20 - f**4/24 - f**3 - f**2. Let z be w(4). Let g(n) = 17*n + 7. Is g(z) prime?
True
Let r(p) = -p**2 - p + 57. Let a be r(0). Suppose 3 = 3*v + a. Is (v + (2 - 3))/(-1) a composite number?
False
Let y(z) = 6*z**2 - 21. Let k be y(10). Suppose -1595 = -2*g + k. Is g a composite number?
False
Let h be 3/(4 - (-11)/(-2)). Let q be (-3 - h)*-12 + -4. Is 2/q*(-2 - -238) composite?
False
Let m = -1987 + 23318. Is m a composite number?
True
Is 1/(4340/(-4345) - -1) composite?
True
Suppose 39379 + 39016 = 5*s. Is s composite?
False
Let j(z) = 15*z**2 - 2*z - 5. Let k be j(-4). Suppose -a + 111 + k = 0. Suppose -2*p + 2*b + 366 = 0, a = 2*p + b - 6*b. Is p prime?
False
Let u be 21/42 - 13/2. Let o(t) = -213*t - 7. Is o(u) a prime number?
False
Suppose -4*j + 4*f = -178524 - 24164, -4*j + 3*f = -202687. Is j a prime number?
True
Let r(d) be the first derivative of d**2/2 + 20*d + 23. Is r(-10) a prime number?
False
Let s(d) = d + 10. Let a be s(-7). Suppose 0*h + 4*v = h, 0 = -a*h - 5*v. Suppose h = -2*y + 3 + 107. Is y a composite number?
True
Suppose 4*x = -0*x + 8, 0 = -5*c - 3*x + 16. Is (10/15)/(c/777) a composite number?
True
Suppose 0 = 2*u + 12*u - 74396. Is u a prime number?
False
Let d be ((-6)/5)/(15/(-2950)). Suppose -5*z + 769 + d = 0. Is z a composite number?
True
Let h be (-2)/(-3) - (-3)/((-45)/(-200)). Suppose 4 = 2*y - h. Is y a composite number?
True
Suppose -3*m = 2*o - 26, -o + 2*m - 34 = -4*o. Let l be (-5)/(o/(-4))*14. Suppose 5*p = -4*d + l + 77, -5*p = -d - 130. Is p a prime number?
False
Let w(c) = c**2 - 7*c + 3. Let g be w(6). Let t be 52/16 + g/12. Suppose 328 = 2*l - a, -2*l = -a - t*a - 334. Is l a prime number?
True
Let r(p) = 3*p**2 - p**2 - 10*p + 32*p + 7. Is r(-17) composite?
False
Suppose -5*m - 3*c + 3024 = 0, 0 = -2*m - 3*m + 5*c + 3000. Let j = m - -508. Is j composite?
True
Let i = -911 + 518. Let g = 660 + i. Is g prime?
False
Let p(b) = b**3 + 55*b**2 - 14*b - 91. Is p(-52) a composite number?
True
Suppose -3*h = k - 1703, -5*k + 11845 = 3*h + 3318. Let z = k - 729. Is z prime?
True
Let g be ((-723)/6)/((-4)/8). Suppose -5*c - 1032 = -6*z + 2*z, 3*c - g = -z. Is z a prime number?
False
Let s(o) = 26*o**2 + 18*o - 8. Let r(z) = 53*z**2 + 35*z - 15. Let a(f) = 3*r(f) - 5*s(f). Is a(11) a prime number?
False
Let w = 10 + -8. Suppose 4*s - w = 3*s. Is (-114)/10*(s - 7) prime?
False
Let k = -112 - -317. Is k a composite number?
True
Let j(k) = -3 + 232*k + k - 5 + 57*k. Is j(3) composite?
True
Let x(a) = a**3 + 13*a**2 - 5*a. Suppose 2*u - 35 + 7 = 0. Let y be 39/(-6) + (-7)/u. Is x(y) prime?
False
Is 2/12 - -47*(-2239)/(-6) a composite number?
False
Suppose 0*f - 3*f + 3141 = 0. Suppose k = -3*c - c + f, 0 = 3*c - 4*k - 790. Suppose m + 77 = c. Is m a prime number?
False
Suppose -4*r + 1593 = 2*z - z, 3210 = 2*z - 4*r. Let c = z + -972. Is c a prime number?
False
Suppose 5*w - 2 = 3*w. Is 252 - 1 - (w/(-1) + 1) composite?
False
Let i(s) be the first 