 3*t + 216 = 0. Let n(c) = -c**2 - 10*c. Let l be n(-13). Let o = t + l. Is o a prime number?
False
Let h be (1 - 0)*(-4)/2. Let f be h/(-2)*1 + 3. Suppose 152 - 40 = f*v - 4*k, 130 = 4*v + 2*k. Is v a composite number?
False
Let j be 1*774/(0 - -2). Suppose 0*b + 2*b + 3786 = 5*q, -3*q = 2*b - 2278. Let r = q - j. Is r prime?
False
Let b(m) = -845*m - 3. Let g be b(-5). Suppose 3*n - 4*x - g = 0, 2*n = -3*x + 2145 + 681. Suppose -t - 9 + 4 = 0, 5*k + 5*t - n = 0. Is k a composite number?
True
Suppose -2*p - p = 0, 5*p = -5*t + 3135. Suppose 4*n + t - 119 = 0. Let v = 64 - n. Is v composite?
False
Suppose 5*o = 2*o + 4791. Is o a composite number?
False
Is 1137*(-3)/(-36)*4 a composite number?
False
Suppose 5*z - 102 = -2*r - 17, -40 = -z - 5*r. Suppose -5*c = j - 3*j - z, -3*c + 5*j + 9 = 0. Is (-294)/4*(-2)/c a prime number?
False
Suppose 0 = -5*o - 5*r + 30, 3*r + r - 6 = -o. Suppose 5*n - 5*k - 21 = -o, -2*k = -3*n + 4. Let i(u) = -u**3 - 2*u + 1. Is i(n) prime?
True
Let j(z) = z**3 - 4*z**2 - 8*z + 7. Let o be j(6). Let m = o + -22. Is m prime?
False
Let l(p) = -113*p - 4. Is l(-7) a composite number?
False
Let z(c) = 3*c + 1. Let a be z(1). Suppose a*f - 5*f = 0. Suppose f = -2*u - 2*u + 188. Is u composite?
False
Suppose -5 = -5*f + 15. Suppose 240 = -f*q + 944. Suppose -4*u - q = -5*v - 5*u, -u + 71 = 2*v. Is v composite?
True
Let m = -18 + 209. Let q = -64 + m. Is q a composite number?
False
Let o = 13 - 8. Suppose 0 = -3*k + 4*i - 6, o*i - i = -3*k + 18. Suppose -c - 3*p + 23 = 0, -k*p - 14 + 106 = 4*c. Is c a composite number?
False
Let x(q) = -2*q**3 - 8*q**2 - q - 1. Let t be ((-6)/(-8))/((-9)/72). Is x(t) prime?
True
Let k(t) = 3*t - 8. Is k(9) prime?
True
Let r(o) = o**3 - 6*o**2 + 2*o + 3. Let z be (1 - 1 - -1) + -5. Let k = 2 - z. Is r(k) composite?
True
Let s(k) = 6*k**3 - 2*k**2 + 6*k - 29. Is s(7) composite?
False
Let o = -26 + 38. Suppose -5*k = -o - 3. Suppose 4*p - 2*q = 142, 4*q + 23 = k. Is p prime?
False
Let n(t) = 5*t - t**2 - 5 + 1 + 4. Let q be n(4). Suppose -v - 343 = -6*v + q*r, r = 3*v - 203. Is v a composite number?
False
Suppose 0 = -j - 0 + 4. Suppose -3*k - j*d = -0*d - 287, 10 = 2*d. Is k prime?
True
Suppose -3*c - 2*w - 449 = -39, -3*c - 3*w - 408 = 0. Is (c/(-12))/(1/6) a prime number?
False
Let p(y) = y**2 - 3*y - 5. Let c be p(5). Suppose c*u + 246 - 791 = 0. Is u a prime number?
True
Suppose -5*y - 241 = -1946. Is y prime?
False
Suppose -2*x + 693 = 7*x. Is x a composite number?
True
Let a(c) = -21*c**2 - 2*c - 1. Suppose -i - i = 5*d + 13, -23 = 3*d + 5*i. Let p be a(d). Let g = 33 + p. Is g a prime number?
True
Let w(s) = 59*s**3 - 2*s**2 - s + 2. Suppose -16 = -4*f - 4*a, 3*f + 4*a - 10 - 4 = 0. Let y be w(f). Let t = y + -303. Is t composite?
True
Suppose -3*f + 1117 = -l - 653, 2*f + l = 1185. Is f a prime number?
False
Let a be 1868/18 - (-2)/9. Let c(h) = -h**3 + 6*h**2 - 5*h + 2. Let f be c(5). Suppose f = 2*u - a. Is u prime?
True
Let y(q) = q**2 + 5*q + 1. Let h be -3*(-3 + 2 - -2). Let x be (h - -4) + (-14)/2. Is y(x) prime?
True
Suppose -2*g - 23 - 123 = -2*s, -5*s + g + 369 = 0. Suppose -3*v + v + s = 0. Is v prime?
True
Suppose 0 = 7*x + 8*x - 9435. Is x a prime number?
False
Suppose -496 = -2*n + 4*a + 2670, 0 = 2*a - 2. Is n prime?
False
Let y = 6 + -11. Let n(m) = 3*m - 4. Let l be n(5). Let f = y + l. Is f prime?
False
Suppose 122 = 5*g - 3. Is g a composite number?
True
Let q be 246/(3 + -1) + -3. Is 8024/q + (-2)/(-15) a prime number?
True
Is ((-21)/14)/((-6)/268) a composite number?
False
Let n(x) = x. Let m be n(0). Suppose 2*u + 2 = -0, m = -v - u + 118. Is v prime?
False
Suppose -9*v + 5*v = -12. Suppose -60 = -v*b - b. Is b composite?
True
Suppose -4*d = 2*w + 3 - 9, -5*w = d + 3. Is (4/12)/(w/(-105)) a composite number?
True
Let f(b) = -b**2 - 29*b + 11. Is f(-13) composite?
True
Let n(g) be the first derivative of g**4/12 - 5*g**3/6 - 13*g**2/2 - g - 3. Let o(y) be the first derivative of n(y). Is o(11) a prime number?
True
Let g(a) = -2*a + 6. Let y be g(-6). Suppose -2*n = -5*n + y. Let s = n + 5. Is s composite?
False
Let p(b) = 2*b**2 + 13*b - 20. Is p(-11) composite?
False
Let n(w) = -w**3 - 9*w**2 + 11*w - 7. Let v be n(-9). Let s = -69 - v. Is s a composite number?
False
Let r = 185 - 33. Let h = 63 - -24. Let d = r - h. Is d prime?
False
Suppose f = -10*f + 11957. Is f prime?
True
Suppose 3*s = -5*h + 3 - 42, -4*s - 2*h = 66. Let x be (-4)/18 - 58/s. Suppose x*f + 47 = 164. Is f a composite number?
True
Suppose -3*i - a + 1126 = 0, -3*i + 1500 = 4*a + 389. Is i prime?
False
Let j be 5 - 5/((-10)/(-4)). Suppose j*c = -2*c. Let p = 22 - c. Is p a prime number?
False
Let w = 0 + 14. Let u = -21 + w. Let n = 9 + u. Is n composite?
False
Let v(q) = q**2 + 4*q - 7. Let y be v(-6). Let c = y + -3. Suppose -3*x + 245 = c*x. Is x a prime number?
False
Suppose b + n + 4*n = -16, -4*n = 16. Let q = 9 - 6. Suppose -q*y + 263 = -b. Is y a prime number?
True
Let p(r) = 4*r**3 + r**2 - 2*r + 1. Let q be p(2). Let y = 7 + -4. Suppose -2*k + y*n = k - 39, 3*n = -5*k + q. Is k a composite number?
True
Is 1661 + -6 + (2 - (3 + -3)) prime?
True
Suppose 4*u - 553 = -u - 2*a, -112 = -u + a. Suppose 4*p + s - 8 = -2*s, 0 = -2*p - 4*s + 4. Suppose -p*j + u = j. Is j a prime number?
True
Let w(y) be the third derivative of y**2 + 0*y - 7/6*y**3 + 0 + 17/24*y**4. Is w(6) a prime number?
False
Let p(w) = w**2 - 7. Is p(9) a composite number?
True
Suppose -4*v = -1163 + 159. Is v a prime number?
True
Suppose -3*a - 2*b = 2 - 26, 0 = 4*a + 5*b - 39. Let x(c) = 32*c - 5. Is x(a) a prime number?
False
Let w = 6 - 1. Suppose -u - 2*i = -3*i - 114, -u + 134 = -w*i. Is u a prime number?
True
Is 967*(3 + -3 + 1) a prime number?
True
Let a(j) be the third derivative of 2*j**2 + 0 + 1/6*j**3 - 1/60*j**5 + 0*j + 1/24*j**6 + 1/24*j**4. Is a(2) a prime number?
False
Let o(d) = 18*d**2 + 4*d + 3. Let u be -2 - -1*(2 + -2). Is o(u) a composite number?
False
Suppose 2*p = 6*p + c - 15, 0 = -p - 5*c + 18. Let g = p + -1. Suppose -7*o = -g*o, 5*i = -3*o + 155. Is i a composite number?
False
Suppose -5*j + 1396 - 471 = 0. Suppose 3*q = -2*m + 91, -4*q - j = -4*m - 9*q. Suppose -4*l = l - m. Is l prime?
False
Let m = 31 + 236. Suppose -2*c = -5*c + m. Is c a composite number?
False
Suppose 0*a + 2*a = -2*c + 10, 0 = -5*c + 5*a - 5. Suppose 4*j + 3*k + 3 = j, 10 = -c*k. Suppose -72 = -j*w + 16. Is w prime?
False
Let x = -63 - -174. Is x a composite number?
True
Suppose 0 = 5*z - 3*y - 15, 7*y = -2*z + 3*y + 32. Let n be 760/z + (-4)/(-12). Suppose -2*l + l = -n. Is l a composite number?
False
Let i(k) = k**3 - 8*k**2 - 10*k + 2. Let b be i(9). Is 98*(b/2)/(-7) prime?
False
Let f = 1 + 2. Suppose 31 = -2*b + f*b. Is b a composite number?
False
Is 953/5 + (-2)/(-5) composite?
False
Let g(c) = c**2 + c - 2. Let j be g(-2). Suppose 3*x + s = 80, 4*x + j*s - 106 = -s. Is x prime?
False
Let p(z) = z + 10. Let x be p(-7). Suppose -x*u + 28 = u. Is u prime?
True
Let m(n) = -n + 1. Let p(o) = -9*o + 2. Let a(y) = 10*m(y) - 5*p(y). Suppose 2 = -4*b + 6. Is a(b) composite?
True
Let k(x) = 5 + x**2 + 3*x - 8 + 7. Is k(7) a composite number?
True
Let u = 0 + 0. Suppose 0 = -q + h + 22, q + u*h = -3*h + 10. Is q a prime number?
True
Let z(u) = -7*u**3 + u + u**2 - 3*u**2 - 7*u**3. Let c be z(1). Is 6/c + 474/10 composite?
False
Let r be 12*1/2*-1. Let b = r + 38. Suppose -4*y = 8, 0 = -3*k + 5*k - 2*y - b. Is k prime?
False
Let k(c) = c**2 - 2*c + 1. Let f be k(5). Suppose 3*t = 5*w - 46, 22 = -4*t + 2*w - f. Let l(a) = -7*a - 10. Is l(t) a prime number?
False
Let n(s) = -s - 1. Let l(w) = -w**2 - w + 3. Let q(p) = -l(p) + 4*n(p). Is q(-6) a prime number?
True
Suppose 6*y - 18 = 3*y. Suppose v + 58 = 5*t - y, 69 = 5*t + 4*v. Is t composite?
False
Suppose -5*k - 3*z + 13 = -6*z, -3*z + 22 = 2*k. Suppose -3*o + 1155 = 3*h, -2*o - 932 = -k*h + 1021. Is h prime?
True
Let z = 258 + 33. Is z a composite number?
True
Let s be ((-660)/9 - 0)*-3. Suppose -3*r + 7*r - s = 0. Is r composite?
True
Let n(j) = -9*j**3 + 2*j**2 + j - 1. Is n(-3) a prime number?
True
Let y = 5 - 5. Suppose y*d = d - 145. Is d prime?
False
Let x(k) be the first derivative of 3*k**2 - 7*k - 2. Is x(7) composite?
True
Let n(k) = -28*k - 12. Let i be n(-9). Le