= -1577. Is k a prime number?
True
Is 2/(-18)*-92605 + (-472)/1062 a composite number?
False
Let q be 2554/(3 + -2 - 3). Suppose 2*p = p - 598. Let m = p - q. Is m composite?
True
Let n(w) = -24*w + 5. Let o be n(-2). Is 4 + o - (5 + -1) prime?
True
Let d(m) = -m**3 + m**2 + 37. Let y(j) = j**2 - 13*j + 17. Let n be y(12). Suppose n*v + 10 = 0, 0*z + 2*z + 6 = -3*v. Is d(z) a prime number?
True
Is (4 + 1 + 2156)*1 composite?
False
Let u(q) be the second derivative of -q**3/6 - 5*q**2/2 - q. Let l be u(-12). Suppose -3 = c - l. Is c a composite number?
True
Let z(w) = -872*w**3 + 1. Let f be z(-1). Let b = f + -619. Is b a prime number?
False
Let w(v) = 43*v**2 + 11*v + 17. Let d(k) = -6*k - 5*k**2 - 8*k**2 - 9 - 8*k**2. Let a(m) = 7*d(m) + 4*w(m). Is a(4) composite?
True
Let u(l) = 13*l - 35. Let z = 11 - -7. Is u(z) a prime number?
True
Let d(i) = -3*i - 1. Let l(x) = 14*x + 714. Let u(t) = 5*d(t) + l(t). Let y = 2 - 2. Is u(y) composite?
False
Suppose -j + 121 = 3*u, -u + 8 + 27 = 3*j. Let i be (2 + -16)*-1 + -4. Suppose u = s - i. Is s prime?
False
Let k(w) = 302*w**2 - 29*w + 197. Is k(6) a prime number?
False
Suppose 5*r - 78 + 2283 = 0. Suppose y = -2*y + 2994. Let v = r + y. Is v a prime number?
True
Let p be -2*6/4 + (-4 - -3432). Suppose -2*k - 3*h = 2*k - 4574, 3*k + 5*h - p = 0. Is k composite?
True
Let p = 90959 + -61060. Is p a prime number?
False
Let h = 45370 + 37987. Is h prime?
True
Suppose 3*m = -26 - 1. Let l = -21 - m. Is (-10515)/l + 3/4 a composite number?
False
Suppose 0 = 9*p - p - p. Suppose -5*t + f + 4762 = p, 4*f + f - 15 = 0. Is t prime?
True
Let p(r) = -2*r + 7. Let l(j) = 3*j - 10. Let v(b) = -5*l(b) - 7*p(b). Let i be v(-4). Suppose 0 = i*t - 150 - 245. Is t a composite number?
False
Is (-387)/(-516) - 367033/(-4) a prime number?
False
Suppose -6858 + 1448 = 5*d. Is d*(7/35)/(2/(-5)) composite?
False
Let j be 66/(-9)*(-9)/(-6). Is j/11 - 684/(-2) composite?
True
Let t(h) = -h**2 - 4*h + 7. Let u be t(-5). Suppose u*d = -l + 7, 8*l - 9 = 3*l + 3*d. Suppose -258 = -l*k - n, -6*k = -k + n - 432. Is k prime?
False
Suppose 0 = -d + 2*k - 7, -6*d = -4*d - 3*k + 9. Suppose s - y + 1 = 0, d*s + 0*y + 3 = y. Let f(r) = 126*r**2 + 1. Is f(s) prime?
True
Is -1*(-2 - 423/3) a composite number?
True
Let q = 8 - 5. Suppose -p + 350 = -3*c, q*p + p + 3*c = 1430. Let a = p + -145. Is a prime?
True
Let p = 28 - 30. Is p/3 - (-4395)/45 a composite number?
False
Let h be 2*1 + (6 - 5). Suppose 12 = -h*n + 450. Let f = n + -57. Is f a composite number?
False
Let o be 5/(-10) - 2/4. Let m be o + -1 + (-20 - 5). Let n = m - -40. Is n prime?
True
Let q = 51 - 72. Is (-6)/(-14) + (-36384)/q a prime number?
True
Let w be (1212/18)/((-1)/3). Let p = -91 - w. Is p composite?
True
Let d = -347 - -594. Is d a composite number?
True
Let n = -15 + 10. Let u = 134 - 88. Let p = u - n. Is p a prime number?
False
Let k be 27/5 - 12/30. Suppose 0 = j + n - 1208, 0 = -k*j + 3*j + 2*n + 2428. Is j composite?
True
Suppose 0 = 4*o, 13 - 43 = -m - 2*o. Let y(i) = -2*i**2 + 41*i + 8. Let a be y(18). Is a/10 - (-6)/m a prime number?
False
Let f(j) = -19*j + 11 + 5*j + 13*j. Let c be f(11). Suppose 13 + 7 = -4*o, c = 3*g + 3*o - 6. Is g a prime number?
True
Let i(o) be the second derivative of -o**4/12 + o**3/6 + 179*o**2/2 + 18*o. Suppose -5*x + 0*x = 0. Is i(x) a prime number?
True
Let o(p) = 2*p**3 - 3*p + 3. Suppose -3*i - 2 = -2*i. Let s(f) = f**3 + 3*f**2 + 2*f + 2. Let k be s(i). Is o(k) prime?
True
Let q(h) = -2*h + 9. Let d(t) = -3*t + 22. Let g be d(9). Let k(l) = 2*l - 1. Let i be k(g). Is q(i) a composite number?
False
Let i = 36 + -31. Suppose -i*l = -w - 10338 - 411, 2*l = -4*w + 4282. Is l a prime number?
False
Let l = 63 - 47. Suppose l*r - 15134 = 2*r. Is r a prime number?
False
Let s = -1148 + 4985. Is s composite?
True
Let y = -122 - -126. Is (((-89264)/21)/(-8))/(y/6) a composite number?
False
Let y = 4525 + -3068. Is y composite?
True
Let f be ((-6)/(-9))/(2/(-3)). Let p(l) = -7*l**2 - l - 2. Let k be p(f). Let g(x) = -x**2 - 10*x - 1. Is g(k) a composite number?
True
Let p = 363 - 218. Let g = -14 - -13. Is (-2 - -2 - g)*p prime?
False
Is (2*161/(-42))/((-1)/291) a composite number?
True
Let o(q) = 4*q**2 + 8*q + 173. Is o(-13) composite?
True
Let j be 4/(-10) + (-6)/(-15). Suppose j = 8*s - 1850 - 4142. Is s a composite number?
True
Let n(d) = 2643*d + 1. Is n(6) a prime number?
True
Is 2 - (-55465 - 14/7) a composite number?
False
Suppose 0*j = 3*y + j - 1215, -2*y - j + 811 = 0. Let c = 591 - y. Is c composite?
True
Let y be 6/(2/6 - (-4)/6). Suppose -y*n = -9*n + 2271. Is n composite?
False
Let i = 636 + 465. Is i a prime number?
False
Let n(s) be the third derivative of -s**6/120 - s**5/30 - s**4/24 - 13*s**3/6 - 10*s**2. Is n(-9) a prime number?
True
Suppose 0 = -201*u + 196*u + 60985. Is u a composite number?
False
Let t = 79 - 143. Let x = 605 + t. Is x prime?
True
Let v = 4502 - 3141. Is v a prime number?
True
Let i = -87046 - -129753. Is i a composite number?
True
Let c(b) = -b - 4. Let f be c(5). Is (-304 - f/(-3))*4/(-4) prime?
True
Suppose -4*w + 3*v + 28 = 0, 3*w + 2*v - 33 = -12. Let z(p) = p**3 - p**2 + 5*p - 6. Is z(w) prime?
False
Let r = -2010 - -1033. Let y = 1714 + r. Is y composite?
True
Let k(y) = -533*y - 553*y + 501*y - 43. Is k(-8) a prime number?
True
Let t = 8 + -14. Let g(u) = -u**2 - 7*u - 1. Let j be g(t). Suppose -12 = 3*k, j*k = -4*z + 148 + 100. Is z a composite number?
False
Let v(x) be the first derivative of -2 + 33/2*x**2 - 2*x. Is v(3) a composite number?
False
Let f(c) = 2*c**3 - 14*c**2 + 19*c - 191. Is f(12) prime?
False
Let s(w) = 5*w**3 + 2*w**2 + 9*w + 4. Let a(o) = -5*o**3 - 3*o**2 - 10*o - 5. Let v(z) = 3*a(z) + 4*s(z). Is v(7) a composite number?
False
Suppose -2*c - h + 30 = 0, -3*c + 2*h + 19 = -3*h. Suppose -c*l - 647 = -14*l. Is l prime?
True
Let q = 3775 - 1108. Suppose -q = -4*n + n. Is n composite?
True
Suppose -2*u = 2*k - 524, -147 + 403 = k + 3*u. Suppose 4*h - k = 299. Is h composite?
True
Let u = -8 + 12. Let w be (-3)/((-8)/4*9/(-12)). Is ((-6)/u)/(w/44) composite?
True
Let j(d) be the second derivative of -5/2*d**2 + 1/20*d**5 + 1/3*d**3 + 0 - 2*d - 3/4*d**4. Is j(11) prime?
False
Suppose -18*p + 15*p = 27. Is ((-1)/(6/p))/(6/4036) a prime number?
True
Let t(b) = 123*b**2 + 5*b - 11. Is t(-7) composite?
False
Let z(k) = k**3 - k**2 + 138. Let j be z(0). Let u = -15 + j. Is u composite?
True
Suppose 3*a + 4 = 22. Let g(l) = 32*l**2 + 9*l + 5. Is g(a) a prime number?
False
Let z = -20827 + 32646. Is z composite?
True
Let l = 13348 - 5709. Is l composite?
False
Let t = 118 + -317. Let l = 131 + t. Let o = l + 135. Is o a prime number?
True
Suppose -18*k + 10 = -16*k. Suppose -3*p - x + 139 = 0, k*x = 2*p - 83 - 21. Is p a prime number?
True
Let f(d) be the second derivative of d**5/20 + 5*d**4/6 + 2*d**3/3 - 4*d**2 - d. Let j = -8 + -1. Is f(j) prime?
True
Let h be 14/2*60/(-35). Is 2/(6/8799*(-28)/h) composite?
True
Let i = -10685 - -20568. Is i a composite number?
False
Let u = -32 + 53. Is u prime?
False
Suppose 0*x - 5*x + 80 = 0. Suppose 0 = -5*w + w + x. Suppose 518 + 1070 = w*k. Is k a composite number?
False
Let h(t) = 7828*t**2 - 15*t + 16. Is h(1) composite?
False
Suppose 5*v + 30 = l, 5*l - 50 = v + 4*v. Suppose -l*w + 4315 = -0*w. Is w composite?
False
Let a = -2 - -17. Suppose 5 + a = 4*c. Suppose -c*q + 178 = 4*p, q + 0*p = -4*p + 42. Is q prime?
False
Let s = -1736 - -2437. Is s a composite number?
False
Let g = 166393 + -118052. Is g a composite number?
False
Suppose -s - 11*s = 8388. Let n = s + 4220. Is n a prime number?
False
Let o(t) = -t**2 + 6*t + 3. Let p be o(4). Suppose w - p + 3 = -3*v, w - 2*v + 7 = 0. Is (-367)/((-3 - w) + 1) a composite number?
False
Suppose 11 + 9 = 4*m. Suppose 0 = -3*w + m*w + 5*h - 14, 0 = -3*w + 3*h. Suppose 4*b - 2*b + w*r - 332 = 0, 3*b + 4*r = 495. Is b prime?
False
Suppose -3*j + 2*h = -2*h - 2451, -4*j + 4*h = -3272. Let u = j + -484. Is u composite?
False
Is 33752*(-2)/(-28) + (-5)/(-35) composite?
False
Suppose -3*w = -6 - 6. Suppose w*j + 44 = 5*q, -j + 10 = -2*q + 6*q. Is (249/9)/((-2)/j) a composite number?
False
Suppose -2*g = -3*o - 4*g + 2390, 0 = 4*o + 4*g - 3192. Suppose c = -c + o. Is c a prime number?
T