(p) = 113*p**2. Let a be n(1). Suppose 5*b - l + a = 0. Is b composite?
False
Let f(o) = o + 2. Let l be f(6). Let m(i) = 2*i**2 - i + 9. Is m(l) a composite number?
True
Suppose -4*x + 7*x = 15. Suppose 3*b - 4*b + 338 = 3*f, 12 = -4*f. Suppose i = -0*g - x*g + b, 0 = -2*g. Is i a prime number?
True
Let n(z) = z - 3. Let s(o) = -o**2 - 5*o + 1. Let v be s(-4). Let p be n(v). Is 3*p + -2*1 composite?
True
Let a(d) = -2 - 1 - 2*d - 2*d + 4. Let j be 3*-3*(-4)/(-6). Is a(j) a composite number?
True
Let w(m) = -7 + m**2 - 4 - 1 - 9*m. Let k be w(10). Is (2/(-3))/(k/393) a composite number?
False
Let d(j) = j**3 - 7*j**2 - 9*j + 10. Let x be d(8). Suppose -5*h = -x*w - 0*w - 30, 4*h - 2*w = 26. Suppose -4*n + 768 = h*r, 2*n + 4 = 6*n. Is r composite?
False
Let z(s) = s + 13 - 2*s + 6. Let w be z(0). Suppose -3 = -4*k - 2*o + w, -o = 1. Is k composite?
True
Suppose -6*d - 4 = -2*d. Let o = 21 + 27. Is o/6 - (d + 3) prime?
False
Let m = -18 + -18. Let q = m - -73. Is q a prime number?
True
Let f = -3 + 1. Let t be -3*1 - f/(-1). Let o = t - -11. Is o a composite number?
True
Let s(o) be the first derivative of o**2 + o - 2. Is s(3) a prime number?
True
Suppose -u + 968 = 267. Is u a composite number?
False
Let r be ((1 - 1)/(-1))/2. Let x = r + 2. Suppose -x*z - z = -165. Is z a prime number?
False
Suppose 2 + 1 = m. Suppose -2*s + m*s = 91. Is s composite?
True
Let k be 0 + 0 - 2/2. Let p be (2/(-8))/(k/12). Suppose p*g - 28 = g. Is g a prime number?
False
Suppose -3*z + 256 + 221 = 0. Is z composite?
True
Let k(s) = 56*s - 2. Let y = -2 - -5. Let b be k(y). Let i = -99 + b. Is i a prime number?
True
Let z(v) = 52*v + 3. Let x be z(5). Suppose 4*r - x = 33. Is r a prime number?
False
Let j(g) = 5*g + 1. Let v be j(-1). Let l be 102/(-27) + v/18. Let f(p) = p**2 - 3*p + 3. Is f(l) a prime number?
True
Suppose 0*o = -3*o + 2*i + 635, 4*i - 629 = -3*o. Is o a composite number?
False
Let u be (-92)/(-28) - (-2)/(-7). Suppose -3*t = 2*o - 76, -2*t = u*o + o - 64. Is t a composite number?
True
Suppose 6 = 2*t, 5*o - 4*t = 8 - 0. Suppose -o*m = -5*m + 679. Is m prime?
False
Suppose 3*o = 4*o - 4. Suppose 0 = 2*n - n - o. Suppose -156 = -n*y - 8. Is y composite?
False
Is (410*1)/(-8 - -10) prime?
False
Suppose 4 + 6 = 5*n. Suppose -3*v - 2*c + 3*c + 192 = 0, -n*v + 136 = 2*c. Is v composite?
True
Let f = 4 - 3. Is (f - (-1 + 2)) + 7 a composite number?
False
Let k(o) = 2*o + 10. Let p(d) = d + 5. Let l(x) = -3*k(x) + 5*p(x). Let m be l(-8). Suppose -m*v = -0*v - 285. Is v a composite number?
True
Let f(r) = -r + 3. Let k be f(10). Let b be 3/((-6)/(-4)) + 11. Let s = k + b. Is s a prime number?
False
Let t = -503 - -714. Is t composite?
False
Let n(w) = 2*w**3 - 8*w**2 - 5*w + 20. Is n(9) composite?
True
Suppose 3*f = -f. Let a be f/(-3 - 0) - 0. Suppose 2*w + w - 9 = a. Is w composite?
False
Let h = -2 - -7. Suppose 0 = 4*x + 12, -5*x - 321 = -h*m + 224. Is m prime?
False
Let t = 17 + -17. Suppose -q + z + 255 = t, 0 = 3*q - 5*z - 187 - 574. Is q prime?
True
Let s = -3 + 7. Suppose -s*b = -0*b - 8. Suppose 3*t - 103 = -z, 0*t - 5*z = -b*t + 80. Is t composite?
True
Let d be (-10)/((21/60)/(-7)). Suppose 3*g - d = -5*r, 3*r - r - 2*g - 64 = 0. Is r a prime number?
True
Let u(m) = 307*m - 25. Is u(12) prime?
True
Is (-77)/(-3) + (-11)/(-33) a prime number?
False
Let r(g) = 55*g. Suppose 3 + 1 = 4*y. Is r(y) a prime number?
False
Suppose 0 = 4*x + 16, 0 = 6*t - t - 4*x - 8691. Is t a prime number?
False
Let s(z) = -z**3 - 6*z**2 + 2*z + 8. Let u be s(-6). Let b be 3*-58*2/u. Suppose -b - 47 = -2*w. Is w a composite number?
False
Let a = -18 + 22. Suppose 0 = -0*i - a*i + 1012. Is i composite?
True
Let m = 1 - -5. Let j be (-27)/(-6)*8/m. Is (2 + -24)*(-21)/j a prime number?
False
Let x = -740 + 1242. Is x prime?
False
Let s(p) be the second derivative of p**5/20 - p**4/12 - p**3/2 - 2*p**2 - p. Let q be s(3). Suppose q*h - 245 - 170 = 0. Is h composite?
False
Let p be 255/34*(-326)/3. Let o = 104 - p. Is o a composite number?
False
Suppose -7949 = -4*c + w, -3042 = 4*c + w - 10989. Is c prime?
True
Let p = -6 + 12. Let f be 2/p + (-38)/(-3). Let z = f - 6. Is z composite?
False
Let r(o) be the first derivative of o**2/2 - 3*o + 1. Let y be r(5). Let j(h) = 32*h**3 + h**2 - 1. Is j(y) prime?
False
Let o = -2 + -3. Is -3 + 3 - o*3 composite?
True
Let u be (-1)/((-2)/4*1). Suppose -u*s + 0*g - 5*g = -205, -313 = -3*s - 2*g. Suppose 0 = -o + 6*o - s. Is o a prime number?
False
Let z(k) = -41*k - 4. Is z(-3) composite?
True
Let u(g) = -g**3 + 10*g**2 + 3*g - 11. Let y be u(8). Let j = 302 - y. Is j a prime number?
False
Suppose -2*d = 3*z - 1158, 0*d + 4*z - 1735 = -3*d. Is d a composite number?
True
Let k(a) = -a**2 - a + 30. Suppose x + 2*x = 0. Let o be k(x). Let q = 97 + o. Is q a composite number?
False
Let n(s) = -s**3 + 8*s**2 - 6*s - 2. Let t be n(7). Let m(z) = -z**2 + 7*z - 7. Let h be m(t). Suppose 5*p - 90 = -5*y, h*y + 0 = -3. Is p a composite number?
False
Let g(w) = -33*w - 2. Is g(-1) composite?
False
Let u(a) = -9*a**3. Is u(-1) composite?
True
Is 7*(-3 + -1 - -41) composite?
True
Let x(f) = -47*f**3 - f**2 + 2*f + 3. Is x(-3) composite?
True
Let h(n) = -5*n + 2*n - 1 - 2. Let s be h(-2). Suppose -4*y + 91 = s*i, 3*i - 3*y - 131 = y. Is i composite?
False
Suppose -3*k + 6*k - 650 = 2*y, -3 = 3*y. Suppose 4*l = l + k. Let f = l - 35. Is f a prime number?
True
Let n(p) = 15*p**3 - 2*p**2 + p. Let t be n(1). Let j be (1 + 0)/(2/t). Let z = 14 - j. Is z a prime number?
True
Let u = -63 - -96. Is u composite?
True
Let u(b) = 16*b - 1. Let i be ((-26)/39)/((-2)/9). Is u(i) prime?
True
Let i = -1118 - -1570. Suppose 0 = -3*b + i - 140. Suppose -3*l + b = 5*v, 3*v - 26 = v + 4*l. Is v a composite number?
False
Let u be 3 + 4*-1 - -13. Is 2*u - (2 + -3) a prime number?
False
Let h = -642 - -907. Is h a composite number?
True
Suppose -79 + 24 = -5*q. Let w be (43/3)/(3/9). Suppose -g + 2*i + w = -i, -g = 5*i - q. Is g composite?
False
Let g(u) = u**3 - 4*u**2 - 6*u + 6. Let j(l) = l**2 + 1. Let r(i) = -g(i) + j(i). Is r(4) a prime number?
False
Suppose -2*t + 5*w - 2075 = -7*t, -4*t = 3*w - 1658. Is t prime?
False
Suppose 3*s - 110 = 1. Is s a composite number?
False
Let f be (-1)/((-304)/(-308) - 1). Suppose -p - 4*d + f = 0, -2*p = 3*p - 5*d - 385. Is p prime?
False
Suppose 0 = q - 4*f + 1, 12 - 48 = -4*q - 4*f. Suppose -2*u - 3*r + 7 = -4*u, 5*u + 3*r + q = 0. Is (-4)/2 + (u - -19) composite?
True
Suppose -22 = 3*r + 2*h - 77, -2*r - h + 36 = 0. Let l = r - 13. Is l a prime number?
False
Suppose -4*m + 39 = -2837. Let v be 9/36 - m/(-4). Let n = v - 83. Is n composite?
False
Let k = 228 + -159. Is k prime?
False
Let f be (-3)/12 + 3/12. Let c(k) = 15*k**2 - k + 1. Let z be c(1). Suppose f*i - z = -i. Is i a prime number?
False
Suppose 3*k = -4*y + 14493 - 3106, 3*k + y - 11381 = 0. Is k composite?
False
Let y(r) = -220*r**3 + r**2. Suppose -2*x = 5*j + 22, 4*j + 12 + 6 = -2*x. Is y(x) composite?
True
Let y(u) = 4*u**2 - 4*u. Let a = 2 - 5. Let c be y(a). Suppose c = -3*d + 486. Is d composite?
True
Suppose 890 = 2*k - 8*j + 11*j, 4*j + 16 = 0. Is k composite?
True
Suppose -2*p = -8, 0 = -3*x + 2*p + p - 2379. Is (x/12)/((-2)/8) composite?
False
Suppose -3*c = 3, -5*i - 4*c + 1491 = -1370. Suppose -4*a = -0*a, a - i = -3*h. Is h composite?
False
Suppose 3*x - 2*x - 499 = 0. Is x a prime number?
True
Suppose 3*q = 4*i, -3*q = -11 - 1. Let y be 1/((-3)/(-218))*i. Suppose h + 331 = 2*d, 88 = 2*d + 4*h - y. Is d prime?
True
Suppose -4*u + 6 = 2. Let w(m) = -51*m**3. Let y be w(u). Let i = y + 90. Is i composite?
True
Suppose 8 = 4*h - 0*h. Suppose -3*g = -h*g - 4. Suppose -2*t + 5*m = -t - 68, 4*m = -g*t + 200. Is t composite?
False
Suppose 4 + 8 = g. Let c(s) = 2*s + 7. Is c(g) composite?
False
Let d(v) = -5*v**3 + v**2 - 4*v - 1. Is d(-3) prime?
False
Let q = 15 + -25. Is 4654/16 - q/80 a prime number?
False
Suppose 4*p = -154 + 10. Let v = 19 + -18. Let m = v - p. Is m prime?
True
Suppose -7263 = -4*a + 5*h, h = -3*a - 3*h + 5455. Is a a prime number?
False
Let r(h) = -h**3 + 11*h**2 - 2*h - 3. Let i be r(11). Let g = i + 48. Is g prime?
True
Let t = 4 - 22. Let j = t + 29. Is j a prime number?
True
Let h = -68 + 138. Let l = -48 + h. Is l composite?