. Let f(n) = 4*a(n) + 7*z(n). Is f(-4) a prime number?
False
Suppose -2*l - 5 = l - g, -l + 3 = 2*g. Is (-116)/(-2) + -2 + l prime?
False
Suppose -2*u = 3*u - 90. Let z = u - -41. Is z prime?
True
Suppose j + 4*m = m + 274, -5*j + 5*m = -1270. Is j prime?
False
Let l(v) be the first derivative of 11*v**3/3 + 3*v**2/2 + 5*v - 6. Is l(6) prime?
True
Let l(g) = -g**3 + 5*g**2 - 6*g + 4. Let d be l(4). Let b be (-9)/(-12) - 213/d. Is (-1 + 2)*(b - 5) a prime number?
False
Let u = -63 - -229. Is u a prime number?
False
Let z(h) = -5*h - h - 4 + 4*h - 3. Suppose 5 = -0*j - j. Is z(j) a prime number?
True
Let t(p) = -34*p**3 + 2*p - 1. Is t(-2) a composite number?
True
Suppose 0 = -21*s + 1215 + 1452. Is s a prime number?
True
Let w = 168 + -115. Is w a prime number?
True
Suppose 7*m = 6*m + 112. Suppose -3*j + j = -r + 35, -j = 3*r - m. Is r a prime number?
True
Let a(h) = -13*h + 1. Let w be a(-7). Suppose -2*k = 18 - w. Is k a prime number?
True
Is 85731/85 - (-4)/10 composite?
False
Is (21/6 - -2)*2 composite?
False
Let j = 6 + -3. Suppose 2*p = 3*f - 11, -j*f - p + 6 = -2. Suppose -3*o - 3*a = -4*o + 85, 2*a - 255 = -f*o. Is o a prime number?
False
Suppose -12 = 5*j - 37. Suppose 68 = -j*i + 303. Is i a prime number?
True
Let d(x) = -x**3 - 6*x**2 + 3*x + 10. Suppose 0 = 5*m + 5*b, -m + 4*m - 2*b - 20 = 0. Suppose u + 45 = -m*u. Is d(u) composite?
True
Suppose 3*c - 3 = 3, u = 3*c - 3. Suppose 0 = -5*a + u*p + 1427, -4*p - 536 = 5*a - 1970. Suppose w - a = -w. Is w a prime number?
False
Let u = 6 + -6. Suppose u*i + 15 = 5*i. Suppose -4*v = -i*v - 21. Is v prime?
False
Suppose v + 5*w = 1374, -5*v - w + 6975 = 3*w. Is v prime?
True
Suppose 9*u = 13*u - 644. Is u a prime number?
False
Let i = 4 - 1. Suppose -v = -0*v - 32. Suppose -i*o + k + v = 0, o = -4*k + k + 4. Is o a composite number?
True
Let n = 3 - 0. Suppose -308 = -4*d + p, n*p - 154 = -2*d + p. Is d composite?
True
Let s(i) = -29*i + 4. Let h(c) = -19*c + 3. Let r(z) = -7*h(z) + 5*s(z). Let o = -3 + 2. Is r(o) a prime number?
True
Let m = -18 + 37. Suppose -h - 3*k = -42, -2*k + 20 = h - m. Suppose 3*r + 2*z + z = h, -4*r + 3*z = -44. Is r prime?
True
Let v(a) be the third derivative of a**4/24 + 7*a**3/3 + 5*a**2. Is v(-7) a prime number?
True
Suppose -4*u + 618 = -530. Is u prime?
False
Suppose 4*j = 122 + 2. Suppose -5*t - j = -296. Is t composite?
False
Suppose 0*a + 5*a = -30. Let u be 0 + 10/a*-3. Suppose -300 - 85 = -u*y. Is y prime?
False
Let o(k) = -k**2 + 17*k + 13. Is o(9) prime?
False
Let a(p) = -p**2 + 3*p + 2. Let b be a(3). Suppose 2*m - 300 = -4*w, -3*w - b*m = 2*m - 230. Is w a composite number?
True
Suppose 0 = 5*f + s - 3*s - 813, 5*f - 793 = -3*s. Let p = f - -26. Is p a prime number?
False
Let l = 20 - 13. Let z = -3 - -17. Let f = z - l. Is f a prime number?
True
Let h(s) = -2*s + 71. Is h(0) composite?
False
Suppose -3*g + 481 + 416 = 0. Is g a prime number?
False
Suppose -5*s + 276 = n, -4*n = -2*s + n + 105. Is s composite?
True
Is (-11068)/(-28) + (-2)/7 a prime number?
False
Let w be (-4)/(-6) - (-8)/6. Suppose -3*s + w*s = -21. Is s composite?
True
Suppose 0 = 3*j + 2*j. Suppose 0 = -o + 4*r + 103, -3*o + j*r = r - 270. Is o prime?
False
Suppose 4*s - 2 = 3*o - 10, -8 = 4*s. Is 13/(1 - (o - 0)) prime?
True
Let u(y) = y**3 + 4*y**2 - 6*y - 2. Let a be u(-5). Suppose 0 = -3*x + 12, -3*h - a*x = -5*x + 32. Is (-710)/h + 2/8 composite?
False
Let y = 64 - -5. Suppose y = 4*f - 3*f. Is f a prime number?
False
Let l(j) = 58*j + 1. Is l(7) a prime number?
False
Let t = -16 - -22. Suppose q - 3*j = t*q - 380, 0 = -3*q + 3*j + 252. Is q a composite number?
False
Suppose 0 = -r + 5*r - 2*m - 15278, 4*r = -3*m + 15293. Is r prime?
True
Let p(v) = 2*v**2 + 1. Let q be p(1). Let t be (-21)/(-28) - 442/(-8). Suppose 0 = o + q*o - t. Is o prime?
False
Suppose 0 = -4*l + 2*q - 0*q - 238, 0 = -4*l + 5*q - 235. Let s = -150 - -269. Let z = l + s. Is z prime?
True
Suppose 2*x = -4*b + 18, 2*b + x + 33 = 6*b. Is (-154)/(-2) - (b - 4) a composite number?
True
Suppose -35 = -8*z + 3*z. Let q(k) = 4*k**2 - 6*k + 3. Is q(z) a composite number?
False
Suppose 2*r + 9*j - 35 = 4*j, -5*r + 3*j = -10. Suppose -r*u - 26 = 2*b, 0 = -0*b - 5*b + 10. Is 1/3 + (-184)/u a composite number?
False
Let o be 1 + (-156)/(-2) + 2. Suppose -2*u = 7 - o. Is u prime?
True
Let r be (1 + -5)*(2 - 1). Let x be (-25)/(-10) + (-6)/r. Let j = x + -1. Is j a composite number?
False
Suppose 1113 = 5*v + 2*v. Is v a prime number?
False
Let n(i) = i**3 - 6*i**2 + 8*i + 10. Let c(v) = 3*v**2 - 3*v + 1. Let r be c(2). Is n(r) a composite number?
True
Is 214 - 3/(-2 + 3) a composite number?
False
Suppose -2*y = 10, 2*z - y - 18 + 7 = 0. Suppose -z*p = 4*u - 9, -2*u - 6*p + p = -15. Suppose u = -t + 5*t - 24. Is t prime?
False
Let g(f) = 2*f**2 + 3*f + 5. Is g(-2) a composite number?
False
Suppose y + 8 = -0*y. Let v = y + 0. Is -1 + 2 - (2 + v) a prime number?
True
Suppose -2*w - 19412 = -4*k - 5*w, k - 5*w = 4853. Is k prime?
False
Is (6756/5)/(-2)*15/(-6) a composite number?
True
Is (1 - 2965/10)*(-14)/3 a composite number?
True
Let o = 126 - -66. Suppose 0*l + 1048 = 5*l + 3*i, 5*i - o = -l. Suppose 2*m = -4, -3*d = -m + 9 - l. Is d composite?
False
Suppose 3 = 4*r + 3*u, 4*u - 2 = 4*r + 2. Let n(f) = -13*f + 2. Let s be n(-5). Let q = s + r. Is q composite?
False
Suppose -4*w + 3*h = -3127, -w - 2*h + 1560 = w. Is w composite?
True
Let n(w) be the second derivative of w**5/20 + 2*w**4/3 + w**3/6 + 11*w**2/2 + 2*w. Let k be n(-8). Let i = 20 + k. Is i a composite number?
False
Let n be (-8)/(-12)*1962/4. Suppose 3*w - n = -3*f, w - 4*f = 4*w - 327. Is w a composite number?
False
Is (-252)/(-8) - (-6)/4 a prime number?
False
Let q(j) = 269*j**3 + j - 1. Is q(1) prime?
True
Let w = 11 - 8. Suppose -w*o = -15, -i + o - 168 = -2*i. Is i prime?
True
Suppose 3*l = -3*v + 11592, 3*l + 5*v - 832 = 10762. Is l a prime number?
True
Let w(c) be the second derivative of c**4/2 + 2*c**3/3 + 9*c**2/2 + 4*c. Is w(7) prime?
True
Suppose 4*x - 199 - 386 = -d, 4*d - 20 = 0. Suppose -w + 5*m + x = 0, 0 = -w - 3*m + 5*m + 157. Suppose -w = c - 4*c. Is c composite?
True
Let s be 4/8*2*6. Suppose -s*r + 3*r + 138 = 0. Is r composite?
True
Suppose -2*c + t + 189 = 0, 179 = 2*c - 3*t - 0*t. Is c a composite number?
False
Is 2 + (-4)/(16/(-5164)) composite?
True
Suppose -5*h + 2*f + 23 = 0, -2*f = 5*h - 3*h - 12. Suppose 7*z = -h*s + 6*z + 490, -s = -3*z - 82. Is s a composite number?
False
Let m(f) = -f**3 + 5*f**2 + 2*f - 6. Let b be m(5). Suppose 24 = 3*z - 3*a, -3*z + b*a + 8 = -21. Suppose z*p = 100 + 11. Is p a composite number?
False
Let h = 94 - 57. Let f = h + -24. Is f a composite number?
False
Is (-15)/35 + 31656/21 a prime number?
False
Let b = -52 + 231. Is b a prime number?
True
Let i(z) = 2*z**3 - z**2 - 3*z + 6. Let r be i(4). Let c = r + -172. Let b = c - -119. Is b composite?
False
Suppose 3*k = -28 - 11. Let n = k - -7. Let a = 49 - n. Is a a prime number?
False
Let r = -10 + 10. Suppose -3*u + r + 107 = -2*l, 5*l - 47 = -u. Is u a composite number?
False
Let b(g) = g**2 - 14*g - 12. Is b(-13) composite?
True
Suppose -5 + 3 = i. Let s(q) = q**3 + 4*q**2 + 3*q. Let w be s(i). Suppose -w*g + 7*g = 55. Is g a prime number?
True
Let n(f) = 5*f**2 + f + 2. Let h be n(-2). Suppose 0 = -4*o - h, 3*c - o + 2*o = 424. Is c composite?
True
Let k(l) = l**3 + l**2 - l. Let p(u) = u**3 - 8*u**2 - 3*u - 9. Let i(v) = -2*k(v) + p(v). Let s be i(-10). Is (63 - -2) + -1 + s composite?
True
Suppose -5*d + 4*u + 2434 = -13369, 2*d - u = 6323. Is d a composite number?
False
Let u(x) = x**3 - 12*x**2 + 14*x + 8. Let h be u(11). Let k = -10 + h. Is k a composite number?
False
Suppose t + t = 10. Suppose 2*u + t*j - 3*j - 290 = 0, -4*u + j = -570. Is u composite?
True
Let m(q) = -137*q**2 - 7*q. Let l be m(-9). Is (-4)/(-14) - l/42 a composite number?
False
Let p = 13 - -2. Let t(h) = 3*h + 4. Let s be t(-4). Let y = s + p. Is y composite?
False
Let f(d) be the first derivative of d**4/4 - d**3/3 - 3*d**2/2 - d - 3. Is f(4) composite?
True
Let k = -7 - 2. Let x(r) = -r - 5. Let l be x(k). Suppose -l*f + f + 13 = 2*z, z - 4*f - 23 = 0. Is z prime?
True
Let s(p) = p**2 - 6*p + 1. Let t be (-32)/(-6) + (-1)/3. Let m be s(t). Is ((-6)/(-8