*f. Is f a prime number?
False
Let s(d) = d + 2. Let q be s(0). Let g(x) = -12*x - 1. Let i(r) = 35*r + 2. Let v(y) = q*i(y) + 7*g(y). Is v(-2) prime?
False
Suppose 288 = 4*s - 124. Is s a prime number?
True
Is (5322/(-3))/(-2*(0 + 1)) composite?
False
Let l(d) = d + 7. Let b be l(-3). Is 6*b/(-8) + 446 a composite number?
False
Let q(y) = 6*y**2 - 21*y - 6. Is q(9) a prime number?
False
Let i be 1 + -1 + 2 + 0. Suppose -l + i*l = 7. Is 1212/21 + 2/l prime?
False
Let x(b) = -5*b + b + 6*b - 1 + 2*b**2. Let t be x(-2). Suppose -t*h = 5*y - 131, -2*h + 5*y = -6 - 48. Is h prime?
True
Suppose -4*q - 5*u = -45, -u + 1 = 2*q - 14. Let i be q/((-2)/(-2 + 0)). Is (4 - i)/(2/(-12)) prime?
False
Suppose -6*u + u = -1695. Suppose 2*w - 126 = r, -5*r - 209 - 351 = 4*w. Let z = u + r. Is z prime?
True
Suppose 4*u + 6*f - f - 8 = 0, 4*u - 8 = -f. Suppose 7*g = u*g + 445. Is g a prime number?
True
Is (3/3)/((-2)/(-6)) composite?
False
Let r = 71 - -128. Is r composite?
False
Let q(y) = 2*y**2 + 2*y - 1. Let r be q(1). Suppose -7*f + 56 = -r*f. Is f composite?
True
Suppose 2*m + 5*s - 741 = 3405, -2*m + 4*s + 4164 = 0. Is m a composite number?
True
Suppose -4 = -2*g - 0, 0 = -4*t - 4*g + 28. Suppose 4*r + t*n + 178 - 40 = 0, -92 = 3*r - 2*n. Let v = r - -69. Is v a prime number?
True
Let d be -6*(-2 - 10/(-6)). Suppose 0 = -a - d*a + 627. Is a prime?
False
Let w = 296 - 105. Is w a composite number?
False
Let y(p) = -5*p - 1. Let h(a) = 4*a + 1. Let x(k) = -4*h(k) - 3*y(k). Let j be x(-2). Is j + 76 + 0 + 0 a prime number?
False
Let c(a) = 7*a**2 + 4*a + 11 - 2*a**3 + a**3 - 4. Suppose 0 = 2*u - 14. Is c(u) composite?
True
Let d(r) = 234*r**2 + 2*r + 3. Is d(-1) a composite number?
True
Let n = -85 + 152. Is n a composite number?
False
Let k(o) = o**2 - 11*o + 2. Let s be k(11). Suppose -s*h + 118 = -264. Is h a composite number?
False
Is (-1 + 2144/(-20))*-5 a prime number?
True
Suppose 3*z = 7*z. Let h(a) = 2*a - 1. Let c(d) = d - 1. Let x(w) = -5*c(w) + 2*h(w). Is x(z) a prime number?
True
Is (-29 + -6)*14/(-10) a prime number?
False
Let c(v) = v**2 - 8*v - 7. Let n be c(10). Suppose -4*f = z - n - 0, -3*z = -f. Suppose -5*w + 98 = r, 5*r - 33 - z = -w. Is w a composite number?
False
Let o = 35 + 44. Is o prime?
True
Let v = 15723 + -8034. Is (v/(-44))/((-3)/8) composite?
True
Let i(f) = -4*f**3 - 6*f**2 - 8*f - 7. Is i(-6) a prime number?
False
Suppose 4*o = -2*b + 136 + 1088, -4*o - 3*b = -1220. Suppose 3*d - o = -d. Suppose 4*u + h = 9 + 90, -2*h = -3*u + d. Is u composite?
True
Suppose -3*d + 2346 = 3*k - 8*k, 3*d = 2*k + 942. Is 1/(3 - 4) - k composite?
False
Let c = 5 - 7. Let k(n) be the second derivative of 5*n**4/12 - n**3/3 + n**2/2 - 4*n. Is k(c) prime?
False
Let o = 3 - 9. Let i be 3*(-3)/(27/o). Suppose 49 - 7 = i*b. Is b a composite number?
True
Let x(o) = -o**2 - 7*o - 3. Let z be x(-7). Let r = z - -5. Let m = 7 + r. Is m a prime number?
False
Let u(x) = x - 5. Let j be u(7). Suppose -52 = -4*c + 2*m, -3*c + 6*m + 39 = j*m. Is c a composite number?
False
Let a(h) = -2*h + 2. Let g be a(4). Let z = -4 - g. Suppose 3*p + z = 4*p. Is p composite?
False
Let q(i) = -i**3 - 4*i**2 + 3*i - 6. Let f be q(-5). Suppose c = -f*m + 140, -2*c - 175 = -5*m + 2*c. Let l = 0 + m. Is l a prime number?
False
Let c = -12 - -14. Is (-3)/c*586/(-3) a composite number?
False
Suppose 0 = j + j. Suppose -4*m + 19 = -3*m + 3*q, j = -q - 2. Is m a composite number?
True
Let l(d) be the second derivative of -23*d**3/6 - 3*d**2 + 3*d. Let o = -12 - -7. Is l(o) prime?
True
Let k be 2/(-4)*6 + 5. Suppose -v - 2*g = -121, -k*v - 242 = -4*v - g. Is v composite?
True
Let m(h) = 3*h**3 - 18*h**2 + 34*h - 10. Is m(11) a composite number?
False
Let b = 1 - 0. Let k(q) = 51*q**3. Is k(b) composite?
True
Let p(d) = 5*d - 4*d - 6 + 0*d. Let a be p(6). Suppose a = x - i - 3*i - 31, -x = i - 31. Is x prime?
True
Let y(r) = r**3 + 13*r**2 - r + 1. Let p be y(-9). Let o = 495 - p. Is o prime?
False
Let o = 380 + -253. Is o a prime number?
True
Suppose 0 = 3*u + 2*u - 1045. Let g = u + -114. Is g prime?
False
Is (-2)/6*36/(-4) + 584 a composite number?
False
Let d(t) = -t**3 + 4*t**2 - 4*t + 3. Let f be d(3). Suppose f = 3*o - 32 - 61. Is o a prime number?
True
Suppose -6*k + k = 0. Suppose -v + 4*y + 179 = 0, 803 = 5*v - k*y + 3*y. Is v a composite number?
False
Let t = 19 - 4. Suppose -t = -3*r - 2*r. Suppose s + 2*v = -2*s + 53, 2*s - 44 = r*v. Is s a composite number?
False
Let j = 3 - 3. Suppose 0 = -j*v + 2*v. Let l = v + 14. Is l prime?
False
Let d(i) = i**3 - 3*i**2 - 2*i - 5. Let q be d(4). Let w be (-8)/(-12) + 4/q. Is (1/3)/(w/1266) prime?
True
Let o(s) = 0 + 1 - s + 2. Let n be o(7). Is 313/9 - n/18 a prime number?
False
Suppose -4*v - v = -6275. Is v a prime number?
False
Is (-3004)/6*6/(-4) prime?
True
Suppose 2 + 1 = -g, 0 = -h - 2*g - 27. Is ((-74)/(-3))/((-7)/h) a composite number?
True
Suppose -68 = -2*f - 0. Suppose -24 = v - 5*a, 8 = -3*v + a - 22. Let u = f + v. Is u prime?
False
Let g(o) be the first derivative of 1/3*o**3 + 1/2*o**2 - 5*o - 1. Is g(-6) a prime number?
False
Suppose -2*z + 7*z - 95 = 0. Is z prime?
True
Suppose 0 = -2*a + 4*v + 326, 0 = -5*a - 4*v + 480 + 321. Is a prime?
False
Let j(o) = 2*o + 5 - 2*o - 3*o - 2*o. Suppose -2*r = -5*r - 30. Is j(r) composite?
True
Suppose 188 = -4*g + 6*g - y, -g + 103 = -5*y. Is g composite?
True
Let k(i) = 6*i + 1. Let h be k(-1). Let t be 8/((-5)/(h/2)). Suppose t*x + x - 95 = 0. Is x a prime number?
True
Let t be 2/(-4)*6 + 7. Let g(w) = 8*w**2 - 2*w - 5. Is g(t) a composite number?
True
Let q = 5746 + -3413. Is q prime?
True
Let m = 91 - 53. Let j(l) = 9*l + 3. Let q be j(-3). Let t = m + q. Is t a composite number?
True
Let c be (-2)/(-4) + (-26)/(-4). Let k = 13 - c. Suppose 0 = 2*q + 4*g - 22, 2*q + 2*g - 30 = -k. Is q a composite number?
False
Let r = 0 + 0. Let m = 6 - r. Is m composite?
True
Let y(f) = -f**2 - 4*f + 3. Let w be y(-4). Suppose -j = u - 53, j + w*u - 212 = -3*j. Is j composite?
False
Suppose -k + 4*k = 21. Suppose -2*b = -k - 5. Is b a composite number?
True
Let y = -6 - -21. Suppose a = p + 3*a - 103, -y = 5*a. Is p a composite number?
False
Let z = -4721 - -6688. Is z a composite number?
True
Let u(c) be the second derivative of c**4/6 - 4*c**3/3 - c**2/2 - 2*c. Let j be u(6). Let t = 42 - j. Is t prime?
True
Let t(x) = 3*x**3 + x**2 - x + 1. Let k be t(1). Suppose -d - 2*m + 119 = 6, -k*d + m = -443. Is d prime?
False
Suppose l = -1, -4*l = -5*p - l + 23. Let g = p + 18. Is g prime?
False
Let l(u) = -u**3 + 4*u**2 - u + 5. Let t be l(4). Suppose 0 = -p + t - 0. Let o = p + 12. Is o composite?
False
Let y(w) = 3*w**3 - w. Let b be y(1). Is b + (-6 - -2) - -21 a composite number?
False
Let t be (-1 + 1/2)*88. Let a = 97 + t. Suppose -w + 5*z = -6*w + 205, -w = 4*z - a. Is w a composite number?
False
Let v(p) be the first derivative of -p**2 - 9*p + 1. Let b be v(-6). Suppose -3*z + 0*z + 9 = 0, b*h - 261 = -2*z. Is h prime?
False
Let r(t) = t**3 + 13*t**2 + 3*t + 11. Is r(-8) composite?
False
Suppose 2*n - 52 = 3*t, 3*n - 2*t = 2*t + 77. Let a be ((-3)/2)/(21/(-308)). Suppose -3*i + a = -n. Is i a prime number?
False
Let f(w) = 3*w**2 + 7*w + 9. Let k be f(-6). Suppose -3*g + 5*s = -32, 40 = -g + 6*g - 5*s. Is k/9 + g/6 a composite number?
True
Suppose -z = -4*t + 2*z + 85, t - 19 = 3*z. Suppose 5*j = 52 + 113. Let s = j - t. Is s composite?
False
Let j(i) = i**2 - 2*i - 2. Let n = 7 - 4. Let l be j(n). Suppose 0 = -b - 0 + l, 3*b + 94 = u. Is u a composite number?
False
Let s(v) = -8*v**2 - 2*v**2 - 1 + 5 + 2*v**2 + v**3. Let c be s(8). Suppose 55 + 165 = c*d. Is d a composite number?
True
Let k(a) = 8*a - 2. Let v(x) = -x**3 - x**2 + 3. Let s be (-3)/(-9) + (-1)/3. Let w be v(s). Is k(w) prime?
False
Let u(z) = 12*z**2 + 4*z - 3. Is u(5) a composite number?
False
Suppose 2*y - 5*v + 11 = 0, 0 = 5*y - 2*v + v - 7. Suppose -w + 1 = -y. Is w composite?
False
Suppose 2*o = 6*o - 12. Suppose -o*b + 0*b - 3*t - 3 = 0, 10 = -b - 4*t. Is (-1)/b - (-239)/2 a prime number?
False
Suppose 70 = 5*p - 5*l, 4*p - 5*p = -3*l - 18. Suppose -2*h - 2 + p = 0. Suppose 3*i - 102 - 67 = -5*c, -5*i - 185 = -h*c. Is c a prime number?
False
Let t(j) = 6*j**2 - j + 2. Let z be t(-2). Let y = 117 - z. Is