 - 2*p = -2*x + 352, x = 4*p + 81. Is x prime?
True
Let v = 4981 - 2046. Is v prime?
False
Is (-2)/8 - 46530/(-40) a prime number?
True
Let v(l) = l. Let d be v(3). Suppose -d*t - 1276 = -7*t. Is t composite?
True
Suppose -4*x + 3*w = -6413, w = -3*x - 0*x + 4800. Is x composite?
False
Let g(j) = -44*j**2 + 5*j. Let a be g(-4). Let w be a/(-6) + 6/(-9). Suppose -4*c - 4*z = z - w, 5*c - 3*z = 187. Is c composite?
True
Let t(o) = -3*o + 9. Let r be t(6). Let d(y) = -y**2 - 9*y + 6. Let a be d(r). Is ((-44)/a)/((-1)/3) composite?
True
Is ((-159)/(-6))/((-3)/(-6)) a composite number?
False
Let q(s) = -s**2 + 11. Let t be q(0). Is 4/22 - (-625)/t a composite number?
True
Suppose 278 = 4*y - 3*y. Is y a composite number?
True
Is ((-54)/9)/((-2)/7) a prime number?
False
Suppose -4*m + 0*d = d - 627, -2*m = 2*d - 306. Is (2 + -1)/(2/m) a composite number?
False
Let r = 621 + -298. Is r a prime number?
False
Let x = -552 + 1031. Is x composite?
False
Let p(a) be the third derivative of 5*a**4/24 - a**3/6 - 2*a**2. Let k be p(-5). Is k/(-2) - (1 + -2) composite?
True
Let g = 607 + 130. Is g a composite number?
True
Is (-7)/((-21)/(-9)) - -182 a composite number?
False
Let a(b) = b**2 + 16*b + 12. Let x(k) = -2*k**2 - 31*k - 24. Let g(d) = -9*a(d) - 4*x(d). Is g(-9) composite?
True
Let d = 460 + -237. Is d a composite number?
False
Let c(v) = -v**3 - 2*v**2 - 5*v - 8. Let s be c(-7). Suppose -46 = 2*q - s. Is q a composite number?
False
Suppose -t + 1089 = 8*t. Is t a prime number?
False
Let l(t) = -52*t**3 + t**2. Let p be l(1). Let v = 104 + p. Is v a composite number?
False
Suppose -2*o = -4*a - 440, 4*o - 6*a - 884 = -2*a. Let x = o - 45. Suppose -2*f = -5*f + x. Is f a prime number?
True
Suppose 4*m = -2*g - 2*g + 360, -2*g = 3*m - 178. Suppose 0 = 3*l - 37 - g. Is l a composite number?
False
Let c be 0 - 74/4*2. Let j = 56 + c. Is j prime?
True
Let v(n) = -n**3 - 5*n**2 - 10*n. Let t(m) = m. Let b(x) = -6*t(x) - v(x). Suppose -2*w = -4*w - 4*y - 10, 3*w + 13 = -4*y. Is b(w) a composite number?
True
Let h be ((-102)/(-4))/((-6)/(-16)). Suppose h = -2*c - 152. Let q = c + 189. Is q composite?
False
Let j(l) = l**3 - 5*l**2 - 11*l. Let h be j(8). Let b = h + -51. Is b a composite number?
False
Let x = 29 - 7. Suppose 1243 = 5*l - x. Is l prime?
False
Let s(c) = -4 + 1 + 28*c + 2. Let g be s(-5). Let y = 272 + g. Is y prime?
True
Let t(h) = 83*h**2 + 3*h + 3. Is t(-2) a composite number?
True
Suppose 2*g + 7 = -4*z + 23, 2*z + 4*g - 20 = 0. Let c be -2 + (z - 0) + 0. Suppose -2*h + 10 = c, 5*h = 4*b - 99 - 144. Is b a composite number?
False
Suppose -3*l = l + 452. Suppose 4*c - 303 = 361. Let j = l + c. Is j a prime number?
True
Let z(a) = -a**2 - 8*a - 8. Let m be z(-6). Suppose -m*y + 719 = 3*j, y + 510 = 3*j - 199. Is j prime?
False
Let f(x) be the second derivative of x**3/6 + 487*x**2/2 - 6*x. Is f(0) a composite number?
False
Let q be 1 + (3 - 2 - -3). Is (-8)/(-20) - (-1853)/q prime?
False
Let d(x) = -4*x**2 + 3*x + 1. Let b be d(-3). Let r be b/(-6)*(-4 - -7). Suppose 3*h = l - r, -5*h - 62 = -3*l - 0*l. Is l prime?
True
Let m(v) = -2*v**3 - 14*v**2 + 5*v + 13. Let z be m(-10). Suppose -3*s = 2*d - z, -375 - 193 = -3*s - d. Is s a composite number?
False
Let r = 1823 - 1270. Is r composite?
True
Let y(f) = 7*f + 7 + 5 + 4*f. Is y(9) composite?
True
Let a(o) be the second derivative of o**7/840 - 7*o**6/360 + 7*o**5/120 + o**4/6 + o**3/2 + o. Let z(r) be the second derivative of a(r). Is z(7) prime?
True
Suppose 0 = s - 3*s + 298. Is s composite?
False
Let u(x) = 23*x**2 - 6*x - 1. Is u(-4) prime?
False
Let b(c) be the first derivative of 1 - 21*c**2 - 5*c + 1 - 3. Is b(-4) prime?
True
Let t(z) = -2*z**2 + z - 1. Let u(r) = -r**2. Let m(l) = -t(l) + 6*u(l). Let n be m(-2). Let k = 23 + n. Is k prime?
False
Let w be (1 + 0)*(-7 - -316). Let y = -146 + w. Is y prime?
True
Let f be 8/(-12) - (-17)/3. Suppose -3*r - f*b = -25, 33 = 2*r + r - 3*b. Is r prime?
False
Let y = -615 + 908. Is y a prime number?
True
Suppose u = -2*u. Suppose -2*x + 5*x = 4*j - 443, u = j + 5*x - 128. Is j a prime number?
True
Suppose 2*t - 6*t - 12 = 0. Let k be 4/6 - (-2)/t. Suppose -3*y + 9 = k, -8*w = -4*w + 4*y - 72. Is w prime?
False
Suppose 0 = 7*n - 6*n - 263. Is n prime?
True
Suppose 883 = g - 2*i, -4*i - 756 = -g + 135. Is g/10 - 3/(-2) prime?
True
Suppose -y + 5*y = 380. Let i(a) = -a**3 + a. Let v be i(1). Suppose -6*g + 11*g - y = v. Is g composite?
False
Suppose -d + 78 = -67. Is d a composite number?
True
Suppose 3*b - 2044 = 1073. Is b prime?
True
Let n be 665/(-4) - 1/(-4). Let r be (-6)/27 - n/18. Suppose 4*f - 4*c = -r*c + 109, 3*c = f - 40. Is f composite?
False
Is 7 + -7 + 3 + 394 a composite number?
False
Let i(u) = 2*u**3 - 4*u + 5. Suppose r - 7 + 2 = 0. Let b be i(r). Suppose c = 5*j + 62 - b, 0 = -3*j - 4*c + 113. Is j composite?
True
Let r(b) = 5*b**2 + 3*b - 1. Let j(i) be the third derivative of -i**6/40 - i**5/30 - i**4/12 - i**3/6 + 3*i**2. Let l be j(-1). Is r(l) a composite number?
True
Let l = 28 - -51. Is l composite?
False
Let c(i) = -32*i - 5. Let b(z) = z. Let d = -4 - -5. Let r(x) = d*c(x) - b(x). Is r(-4) prime?
True
Suppose -20 = 4*l - 4*q - 52, 0 = 5*q - 15. Let p(o) = 9*o - 27. Let v(r) = 4*r - 14. Let s(u) = -2*p(u) + 5*v(u). Is s(l) a prime number?
False
Suppose 64 = -2*a - 5*t, -3*t + t = 4*a + 112. Suppose 3*d - 123 = -0*d. Let p = a + d. Is p prime?
False
Suppose 3173 = 7*y - 3*y + 5*z, 3*y = -z + 2388. Is y a prime number?
True
Let k be 1*((-3 - 0) + 1). Let n be (k + 9)/((-1)/(-1)). Is n/(-2)*(-7 - 3) prime?
False
Let m(s) = -1042*s**3 - 3*s - 2. Is m(-1) a composite number?
True
Suppose -37*b + 5343 = -34*b. Is b a prime number?
False
Suppose c - b = 4*c - 256, 0 = -3*b - 15. Is c a composite number?
True
Let d(p) = p**3 + 2*p**2 - 2*p - 6. Let y be d(-4). Let h = y + 67. Is h prime?
True
Suppose 9*j - 8*j - 33 = 0. Is j composite?
True
Suppose -5*d + 24 + 161 = 0. Let m = d + 52. Is m composite?
False
Suppose 5*s - 133 + 583 = 0. Let i = s - -245. Is i a prime number?
False
Let k(u) = -u**2 + 26*u - 7. Is k(14) composite?
True
Suppose -7*h = -5*y - 3*h - 449, 3*h - 448 = 5*y. Let k = y + 58. Let o = k + 53. Is o a composite number?
True
Suppose 3*v + 1623 = 6*v. Is v prime?
True
Let n(z) = -z**3 - 3*z - 1. Suppose 2*u + 0*o - 2*o = -18, 0 = -3*o + 9. Is n(u) a composite number?
False
Suppose -4*r + r = -15. Is (r/15)/((-1)/(-177)) a composite number?
False
Suppose -9*d = -14*d + 5755. Is d a composite number?
False
Let q = -9 + 13. Suppose 0 = -q*l + 5 + 3. Suppose 7 = l*d - 15. Is d prime?
True
Let x be (0/1 - 0) + 37. Is x*(2 - 0 - 0) prime?
False
Suppose 24903 + 14815 = 14*w. Is w composite?
False
Let h = 1 + 1. Let u(l) = 48*l + 1. Is u(h) a prime number?
True
Suppose -24 = -2*m + 5*q, 2*m + 4*q - 2 + 14 = 0. Suppose 0 = 5*i - 22 + m. Is i a prime number?
False
Is 4/14 + (-2082)/(-14) prime?
True
Let r = -1047 + 679. Let m = 687 - r. Is m prime?
False
Let q(z) = 3*z**2 - 28*z + 14. Is q(-23) composite?
True
Let z(m) = -m + 10. Let o be z(7). Suppose 5*d = -5*h + 1205, 4*d - o - 5 = 0. Is h a composite number?
False
Let n = 1 + -1. Let r(v) = 2*v**2 - 2*v + 118. Let k(h) = -3*h**2 + 3*h - 177. Let y(p) = -5*k(p) - 7*r(p). Is y(n) a prime number?
True
Let f(u) = u**2 - 16*u + 41. Let s be f(-18). Let v = 1 - -1. Suppose -3*n + v*d - 273 + 680 = 0, -s = -5*n - 3*d. Is n a composite number?
True
Is (-35890)/(-6) + 32/6 + -6 prime?
True
Is (-34671)/(-26)*(-4)/(-6) composite?
True
Let v be (-30)/4*8/(-12). Let o(d) = 2*d**2 - 5*d. Let g be o(5). Suppose -41 = -v*n - 4*q + 42, n - g = -5*q. Is n a composite number?
True
Let s be (5 + 1)*1/(-2). Is 155 + (1 - 7)/s a prime number?
True
Let f = 15 - 11. Let b = 4 - 2. Suppose -f*o + 2*t + 2*t + 660 = 0, 3*o - b*t = 493. Is o a prime number?
True
Let j(c) = -67*c. Let n be 6/(-24) - (-3)/(-4). Is j(n) a composite number?
False
Suppose 206 = 3*m - 151. Suppose 2*s - m = s. Is s prime?
False
Let y = 528 + -63. Suppose -o = -3*c + y, -3*c - 2*o + 7*o + 465 = 0. Is c composite?
True
Let p(b) = b**2 - 11*b + 3. Let s(c) = -c**2 + 10*c - 2. Let m(d) = 4*p(d) + 5*s(d). Is m(5) a prime number?
True
Let c = 0 + 1. Suppose x - 1 = c. Suppose -a + x*a = 83. Is a a composite number?
F