. Let q be k(0). Suppose -3*p = -p - 5*c - 97, q = -3*p - 3*c + 93. Let u = 69 - p. Is u composite?
True
Let x(g) = 3*g + 1. Let q be x(1). Let w(s) = 2*s + 12. Let o be w(-7). Is 21 - (q + o/1) prime?
True
Suppose 2*q = -k + 6*k + 2219, 1127 = q + k. Suppose -4*x + 3*x + q = 3*t, -4*t + x + 1489 = 0. Is t a composite number?
False
Suppose 0*q = 6*q - 978. Is q a prime number?
True
Let q(d) = d**2 - 9*d - 6. Let f(b) = 1. Let x(r) = 6*f(r) + q(r). Let a be x(9). Suppose a*g - 44 = -2*g. Is g prime?
False
Let z(q) = q**3 + q**2 - 5*q + 14. Is z(7) a prime number?
False
Let b = 191 + -22. Is b a composite number?
True
Suppose -4*y - 7 = -5*y. Suppose 4*w - 224 = y*i - 3*i, -206 = -4*w - 2*i. Is w prime?
True
Suppose -5*q - 4*x + 1035 = 0, 2*q - 3*x = -x + 432. Is q prime?
True
Suppose 4*l + 6 - 18 = 0. Let q be l + 6 - 3 - 3. Suppose -2*w - q*w + 166 = b, 2*w = -10. Is b a prime number?
True
Suppose -t + 3*n = -283, -n - 548 = -2*t - 4*n. Is t composite?
False
Let b(f) = f**3 + 11*f**2 - 6*f - 5. Let i be b(-11). Let q = i + 18. Is q composite?
False
Let m(s) = -3*s**3 + 2*s**3 + 6*s - 3 + 6*s**2 + 0*s**3. Let d be m(7). Is (-146)/d - 4/(-10) a prime number?
False
Suppose 0 = -5*a + 5*t + 6575, -3*a - t - 280 + 4225 = 0. Is a composite?
True
Let n(z) = 2*z**2 - 2*z - 5. Let p = 1 + 4. Is n(p) a composite number?
True
Suppose 3*q = -o + 89, 3*o + 2*q - 307 = 3*q. Suppose -5*l - 3*f + o = 0, -l + 0*l = -f - 17. Suppose -p - 5*h = -3*p + 26, -5*p + h = -l. Is p prime?
True
Let j(c) = -18*c + 14. Is j(-6) composite?
True
Is ((-126)/(-4) + 2)*2 a composite number?
False
Let i(k) = k**2 + 8*k - 7. Suppose 4*l - 21 = m, -2*m = -5*l - 0*l + 24. Is i(l) composite?
True
Let f(o) = 24*o - 1. Is f(3) a composite number?
False
Suppose 8 = -2*r + 2. Let i = r - -25. Is i composite?
True
Let u(r) be the third derivative of -11*r**4/24 + r**3/6 + 6*r**2. Is u(-8) prime?
True
Suppose -4*y - 2 = -10. Let f = y - -3. Suppose 0 = -5*n + 2*c + 103, 0*n = -2*n - f*c + 47. Is n composite?
True
Let f be (4/(-4))/((-1)/2). Suppose z - o = 5*z - 2162, f*z = o + 1084. Is z a prime number?
True
Let v(w) = 5*w**2 + 16*w - 5. Let t(u) = -4*u**2 - 15*u + 5. Let d(k) = 6*t(k) + 5*v(k). Let s be d(9). Let p(y) = -5*y + 3. Is p(s) a composite number?
False
Suppose 0*a - a + 3*o + 29 = 0, -5*a + 2*o = -158. Let s be (-4)/2 + 710/10. Let g = s - a. Is g prime?
True
Suppose 2*y + 0*y = -4. Let o be 0 + 2 + (-130)/y. Suppose -x + 4*a = -0*a - o, -3*x + 3*a = -228. Is x prime?
True
Let w(b) be the third derivative of b**6/24 - b**5/12 + b**4/12 - b**3/6 + b**2. Suppose 5*d - 2 - 1 = -4*o, 18 = 3*d - 3*o. Is w(d) prime?
False
Let z(i) = -i + 87. Let q(s) = 3*s - 262. Let r(v) = -4*q(v) - 11*z(v). Suppose 0 = -3*k - k. Is r(k) a composite number?
True
Suppose -2*w + 794 = 252. Is w composite?
False
Let y(q) = 10*q - 5. Suppose -3*h = x - 16, -h + 3*h - 8 = -2*x. Is y(h) prime?
False
Let h(a) = 648*a - 37. Is h(5) prime?
True
Suppose 5*w - 1632 = 773. Is w a prime number?
False
Suppose -4179 = 10*w - 54949. Is w a prime number?
True
Let o(d) = -30*d + 6. Let r be o(-3). Suppose -116 = -4*j + r. Is j composite?
False
Is (446*(-5)/10)/(-1) a prime number?
True
Suppose 0 = -2*g + 3*g + 3*s - 3, 4*g - 2*s - 26 = 0. Let z be (3 - 1) + 12/g. Suppose -4*j + 2*o + 31 + 53 = 0, 0 = z*o + 16. Is j a composite number?
False
Suppose -2*p = p - 15. Suppose 387 = p*a - 8. Is a composite?
False
Let z = 6 - 1. Suppose g - z*a - 123 = 0, 5*a = -g - g + 216. Is g a prime number?
True
Is (-30)/4*434/(-21) a prime number?
False
Let k(d) = 473*d - 5. Is k(2) prime?
True
Suppose -3*c = -6*c + 3. Let x be -100 - (0 + (-1 - c)). Let n = x - -237. Is n a composite number?
False
Suppose 2064 = v - 3*u + 377, 5*u + 3376 = 2*v. Is v composite?
False
Suppose 2*s - 24 = -3*k - 9, -5*s - 2*k + 21 = 0. Suppose 129 - 309 = -s*v. Let u = v - 23. Is u prime?
True
Suppose 0 = g - 0*g - 77. Is g a composite number?
True
Is 5298/15 - 1/5 prime?
True
Is (-27788)/(-12)*-1*-3 a composite number?
False
Suppose -4*v + 5 = -3. Suppose 0 = 4*x - v*o - 3*o - 1, 2*o + 6 = 3*x. Suppose -j = -x*l + 35 + 36, 0 = -5*l + 3*j + 80. Is l prime?
True
Is 15762/4*(-2 - 16/(-6)) composite?
True
Let x(d) = 13*d + 1. Suppose -2*p - 9 = p. Let f be x(p). Let q = 63 + f. Is q prime?
False
Let t(w) = w**2. Let p(k) = -4*k**2 + 5*k + 1. Let j(c) = -p(c) + 5*t(c). Let o(b) be the first derivative of j(b). Is o(5) a prime number?
False
Let m(y) = y**3 - 8*y**2 + 9*y - 7. Let o be ((-4)/(-12))/(1/27). Is m(o) a prime number?
False
Suppose -3*g - v + 16 = 0, -4*g - 2*v = 3*v - 25. Let c(p) = 5*p - 7 + 6*p - g*p + 2*p**2 + 2*p. Is c(6) a prime number?
True
Let s = 15 - 10. Is ((-10)/s)/(4/(-74)) a composite number?
False
Suppose -4397 = -5*h - 4*r, -5*h + 2*r + 1876 = -2503. Is h a prime number?
True
Suppose 0 = -3*w - 0*w. Suppose w = -3*a + 58 + 23. Suppose 3*q - a = 204. Is q prime?
False
Let l be 0/((-2 + -1)/3). Suppose -2*j = -4*y + 18, -2*y - 2*j = -l*y - 6. Suppose 0 = 5*w - y*w - 15. Is w composite?
True
Let q be (-11 + 6)*93/(-5). Suppose 3*h - q = 60. Is h prime?
False
Suppose 4*m - 5 - 3 = 0. Suppose -10 = -m*i - 4, 5*d - 5*i - 260 = 0. Let b = d + -36. Is b a composite number?
False
Let x(d) = 6*d**2 - 1. Let s be x(1). Let p(w) = -w**3 + 7*w**2 - 6*w - 6. Let t be p(5). Let f = t - s. Is f a composite number?
True
Let y = -276 + 639. Suppose 22 - 92 = -t. Suppose y = r + t. Is r a prime number?
True
Let i(n) = n**3 - 5*n**2 - n + 7. Let w be i(5). Suppose t = -0*h + w*h + 5, -h = t - 17. Is t a prime number?
True
Suppose 4*c = -3*o + 2*c + 727, -473 = -2*o + c. Is o a prime number?
True
Suppose 5 = -5*d, 20 = 5*z + 3*d + 2*d. Suppose -z*i = -5*y - 170, -y - y + 8 = 0. Let s = i + -25. Is s prime?
True
Let q(r) = -r - 8. Let u be q(-4). Let o = 6 + u. Suppose 282 - 75 = 4*p + i, -3*p + 169 = -o*i. Is p a composite number?
False
Let c(s) = -18*s + 1. Let p be c(-2). Suppose 5*z - p = 4*z. Is z prime?
True
Suppose 2*i = -5*q + i + 3980, 3*q - 2*i - 2401 = 0. Is q prime?
True
Let c(l) = 2*l + 2. Let y be c(-3). Is ((-186)/(-5))/(y/(-10)) prime?
False
Is (0 + 1)/(((-8)/(-293))/8) a composite number?
False
Is (14 - 11)/(2/58) a prime number?
False
Let x(w) be the second derivative of -w**4/12 + 121*w**2/2 - 3*w. Is x(0) prime?
False
Let m(k) be the second derivative of -k**7/840 + 7*k**6/360 - k**5/120 + k**4/8 - k**3/3 + 2*k. Let x(q) be the second derivative of m(q). Is x(6) prime?
False
Let s(c) = 155*c**2 + 7*c + 2. Let u(x) = -78*x**2 - 4*x - 1. Let a(z) = 6*s(z) + 11*u(z). Is a(-2) composite?
False
Let q(a) = -28*a**2 + a + 3. Let g(o) = -42*o**2 + o + 4. Let t(i) = 5*g(i) - 8*q(i). Suppose 0 = j + 2*j - 9. Is t(j) a composite number?
False
Is (-2 + 3)/(6/894) composite?
False
Suppose 4*t + 31 = p, -2*t - 94 = -4*p - t. Is p composite?
False
Suppose 5*g = r - 5*r + 318, r + 2*g = 81. Is r a composite number?
True
Let s = 3370 + -1933. Is s prime?
False
Let w(k) = k**3 + 4*k**2 - 6*k - 3. Let m be w(-5). Suppose 3*d = -m*d - 10. Let t = d + 57. Is t prime?
False
Suppose -2*n = o + 42, 3 = 2*o - 4*n + 103. Let t(m) = -m + 4. Let u be t(3). Is o/(-4)*(u + 1) a composite number?
False
Let z(d) = 2*d**3 + d**2 - d + 1. Let w be (1 - -3)/2 - 1. Let m be z(w). Suppose 0 = -m*j + j + 50. Is j composite?
True
Let u = -3 - -23. Suppose -70 = -5*a - u. Is a a composite number?
True
Let o be 3/(-3) + 0 - -3. Suppose 71 = f + o*x, 5*f = 5*x - 20 + 435. Is f a prime number?
True
Suppose 4*y - 6 = -5*i, y - 2 = -i - 1. Suppose 6*u - i*u + 8 = 0. Is 875/15 + u/(-3) a prime number?
True
Suppose -2*r = -0*r + 10. Let v = 27 + r. Is v prime?
False
Is 10 + 22 + 1*(-1 + 0) a composite number?
False
Let k be 2 + -10 + (-12)/4. Let l = k + -8. Let h = -9 - l. Is h a composite number?
True
Suppose 0 = s - 3*q - 1043, 4*s - 1157 = -3*q + 3030. Is s composite?
True
Suppose 3*g + 63 = 2*x + 194, 4*g - 3*x = 173. Let b = g + -15. Suppose 0 = 5*l - 23 - b. Is l a composite number?
False
Suppose 0 = 3*i + 2 - 68. Is i a prime number?
False
Suppose u - 18 = 6*u + 3*m, u = m - 2. Is u/(-5 - 1)*938 a prime number?
False
Let q be (-6)/27 + 38/9. Suppose 0 = -q*i + 693 - 241. Let b = i + -64. Is b composite?
True
Let d(r) = -r**3 - 4*r**2 - 4*r. Let v be d(-3). Suppose 