et p(t) = -t**2 + 0*t - 4*t**3 - 2*t - t + 4*t + 1. Is p(-1) a prime number?
True
Let i = -15 - -32. Suppose i = 2*a - 29. Suppose 4*f - 3*x = 93, 0 = 5*f - 5*x - 143 + a. Is f a prime number?
False
Suppose -2*d = -5*p - 2462 - 1916, 8 = 2*p. Is d composite?
True
Let u(j) = -j**3 - 14*j**2. Let z be u(-14). Suppose 435 = -z*f + 3*f. Is f a composite number?
True
Suppose 4*q - 5*x - 25 = 12, 35 = 5*q - 4*x. Suppose q*j = -j - 4. Is (j + 0)*(-17 + -4) a composite number?
True
Suppose 0 = 3*d + d - 36. Suppose 2*z = 1 - d. Is (2/z + 1)*46 composite?
False
Let b(m) = 2*m - 1 + 2*m**2 - 5 - m**2 + 2. Is b(7) a composite number?
False
Let a be 0 + 0 + -2 + 2. Suppose a = -r - 2*r + 357. Suppose -4*t - h + r = 2*h, 2*h = 5*t - 120. Is t prime?
False
Suppose 0 = -4*l - 179 + 2191. Is l a prime number?
True
Suppose 4*a - 5*a - 5*u = 0, 0 = -5*a - 5*u. Let n be a/2 - (-8)/(-4). Is ((-8)/16)/(n/40) a prime number?
False
Let w = 62 - -69. Is w a composite number?
False
Let v(r) = 6*r - 7. Let t be v(4). Let g = -4 + t. Is g composite?
False
Let n be 3 + -1 + 243/3. Let x = 123 - n. Suppose -x = -c - 5. Is c a composite number?
True
Let l(t) = -t. Let p be l(-2). Suppose 3*y - 2 = 5*x - 39, -p*x + 18 = -2*y. Suppose 0*u + x*u - 265 = 0. Is u a prime number?
True
Let d = 5 + -3. Suppose 206 = 3*u + d*f, 0 = -3*u - f + 144 + 58. Suppose 250 = 5*i + v, 2*i - 2*v - u = 22. Is i composite?
True
Suppose 0 = 10*u - 208 - 2702. Is u composite?
True
Suppose 5*x = x - 16. Let f = 1 + -3. Is (-74)/x + (-1)/f prime?
True
Suppose 0 = 4*k + 4*y - 228, 0*y = 5*k - 2*y - 299. Is k a prime number?
True
Let n be (4/(-2))/((-5)/10). Let x(t) = -5 + 0*t - n*t + 2*t. Is x(-12) a prime number?
True
Let s(g) = g**3 - 8*g**2 + g - 5. Let y be s(8). Suppose y*b - 2*b = 337. Is b composite?
False
Let t = -473 + 844. Is t a prime number?
False
Suppose 2*z + 0*z = 246. Is z prime?
False
Let o = -7 + 3. Is 2*(-2)/(o/161) composite?
True
Suppose -s - 2*s = 3*t - 24, -4*t - 8 = -4*s. Suppose 3*h = t*a - 18, -49 = 4*h - 5*a - 20. Let x(v) = 24*v**2 + v. Is x(h) a prime number?
True
Let f be (-9)/(-6)*(-16)/(-6). Suppose -2*s - f = -0. Is 2*33 - (-2)/s a composite number?
True
Let v = -3 - -2. Let y(a) = 55*a**2 + a + 1. Let s be y(v). Let x = s + -2. Is x a composite number?
False
Let t(s) = s**2 + 2*s - 2. Let m be t(-3). Let p(j) = 88*j**2 + j. Is p(m) composite?
False
Suppose -2*p = -5*v + 1979, 4*v + 0*p = 2*p + 1582. Is v composite?
False
Suppose -940 = -2*h - 2*p, -2*h - 2*p = 3*h - 2341. Is h a composite number?
False
Suppose 4*c - 36 = 4*f, -5*f + 0*c - 33 = -c. Let k(z) = z**2 + z - 1. Let v be k(0). Is (-3)/(f/176) + v prime?
False
Is -5 + 3 - (0 - 23) composite?
True
Suppose -3*j + 2193 = 156. Is j composite?
True
Let m(a) = -8*a**2 + a. Let n be m(1). Let z(p) = -p**2 - 14*p - 3. Let k be z(n). Let j = 79 - k. Is j composite?
True
Let q be (-26228)/(-20) - 4/10. Is 2/(-7) + q/7 prime?
False
Let x(z) = 20*z**2 - 3*z + 11. Is x(-6) a prime number?
False
Suppose 0 = -3*m + 6, u + 2*m + 9 = -0*u. Let b = 1 - u. Is b composite?
True
Suppose -5*g = -5*h + 15, 0 = 5*h - 3*g - 0*g - 23. Let d(j) = 33*j + 6. Let p be d(h). Is p/6*(-2 - -4) a composite number?
False
Let g be (-256)/12*(2 - -1). Let b = -21 - g. Is b a prime number?
True
Let t be (0/2)/(-5 + 6). Let c be 4 - t/(2 + -1). Suppose 3*s - 4*d = 30, 0 = -3*s - c*d + 6 + 24. Is s composite?
True
Suppose 0 = -3*z + 1577 + 2434. Is z a composite number?
True
Suppose -y - t - 31 = -6*y, 0 = -2*y + 5*t + 17. Suppose 8 = y*z - 2*z. Suppose -z*j = 4*x - 144, -5*x + 2*x + 115 = -2*j. Is x a composite number?
False
Suppose 0*f - 4*i + 1188 = 4*f, 0 = -f - 3*i + 305. Is f a composite number?
False
Let s(b) = -50*b - 3. Let v be s(-2). Suppose -4*x + 8 = -0*x. Let n = v - x. Is n prime?
False
Suppose -4*o = -4 - 4. Suppose 4*h + r - 6 = 2*r, h = o*r - 2. Is (4 - 4/h) + 20 prime?
False
Let p = 226 + -17. Is p prime?
False
Suppose -2 = -5*x + 4*x. Suppose -4*v = 2*j - 7*j + 5, x*v + 4*j = 4. Suppose -15 = -v*a - a. Is a composite?
True
Suppose 17*c - 25*c = -5064. Is c a composite number?
True
Suppose -z + 1 = -2. Suppose -l + 5*c = -287, -z*c + 49 = 4*l - 1122. Suppose 0 = -4*v + l + 504. Is v a composite number?
False
Let c(z) be the first derivative of 5*z**3/3 + 2*z + 3. Is c(3) a prime number?
True
Let j be -2*(0 - (-1)/2). Is 39 - (j + -2 - -5) a composite number?
False
Let a = 8 + -6. Suppose -t + 13 = -a*t. Let k = t + 71. Is k a composite number?
True
Let v = 3 + -42. Let p = v - -92. Is p composite?
False
Let i = -1 + 3. Let d(c) = 2*c**2 - c - 2. Let j be d(2). Suppose -5*q + 391 = 2*v, i*v - 311 = -j*q + v. Is q a composite number?
True
Let m = -12 + 18. Is 147 - 1 - (-18)/m a composite number?
False
Suppose 0 = 6*g - 2*g. Suppose -4*s + 16 = 0, 3*s + 70 = 2*b - g*s. Suppose -5*a + b = -3*f, -2*a + 6 = -5*f - 18. Is a composite?
False
Suppose -2*c - 18 = 5*a, -a - 4 = -2*c + 2. Let v(m) = -2*m**2 - 15*m - 5. Let y(p) = p**2 + 7*p + 2. Let s(n) = -2*v(n) - 5*y(n). Is s(a) a prime number?
False
Let u = -697 - -1045. Suppose -11*p + 5*p + u = 0. Is p prime?
False
Let m(k) = k - 9. Let r be m(9). Suppose 5*x - 4*f = 457, -2*x = -r*x + f - 175. Is x composite?
False
Suppose 3*x + c = 4*c + 2115, -3*x - 2*c = -2095. Is x a composite number?
False
Let n(x) be the third derivative of -x**6/120 - x**5/60 + x**4/12 - 7*x**3/6 + 4*x**2. Is n(-5) prime?
True
Let b be 1 + 13 + 0/2. Let w be ((-6)/(-4))/(3/42). Let a = b + w. Is a composite?
True
Suppose 10 = 2*b, k - 5*b + 37 = 13. Suppose 0 = 4*i - k - 11. Is (0/i - -51) + 2 a composite number?
False
Suppose 842 + 337 = 9*h. Is h composite?
False
Is 183/2 - (-11)/(-22) a composite number?
True
Let i be (-2)/9 + (-261)/(-81). Suppose 607 = 5*s - 3*f, -s - 2*s - i*f = -345. Is s prime?
False
Suppose -5*s - 32 = -12. Let v(l) = 3 + 26*l - 89*l - 4. Is v(s) a prime number?
True
Let l(p) = p**2 - 4*p - 4. Let v be l(6). Let b = 8 - v. Suppose 5*a = -b*a + 35. Is a a prime number?
True
Let p(f) = -4*f + 69. Is p(0) a prime number?
False
Let p(n) = 101*n**2 - 2*n + 4. Is p(3) a composite number?
False
Let g(y) = y**3 - 4*y**2 - 2*y + 7. Let d be g(5). Suppose 0 = 2*u - 128 + d. Is u composite?
False
Let l(a) be the first derivative of 25*a**2 - 2*a - 1. Let x be l(2). Let d = x - 61. Is d a prime number?
True
Suppose -u + 6*u + 415 = 0. Let y = u + 150. Is y a prime number?
True
Let b(u) = -u**3 + 6*u**2 - 5*u - 3. Let q be b(5). Let w(t) = -71*t + 4. Is w(q) a composite number?
True
Let s be 2/10 + 2502/15. Let x = s + -6. Suppose 2*p = 2*b + 88, 0 = -4*p - 0*b + b + x. Is p a prime number?
False
Suppose 4*f - 5 = 3. Suppose -23 - 111 = -f*i. Is i a composite number?
False
Let j(i) = 2*i**2 + 18*i - 10. Let r be j(-13). Let b = r + 519. Is b prime?
True
Let v be (-2)/(1 + (-87)/93). Let a = 3 - v. Is a composite?
True
Let y(n) = 3*n**2 + 30*n + 26. Is y(-21) a composite number?
False
Is 2/(-8) + 342/24 a prime number?
False
Suppose -5*t = -4*t + 248. Let w = -99 - t. Is w prime?
True
Suppose -5 = -4*x - 1. Let t = 176 - x. Suppose -4*b - 1 + 17 = 0, 0 = 5*g - 5*b - t. Is g composite?
True
Let h(t) = 5*t**2 - 4*t + 2. Let y = 31 + -22. Let c(k) = -k**2 + 8*k + 11. Let f be c(y). Is h(f) composite?
True
Let r(f) = -4*f - 5. Let p be r(-3). Suppose 0 = 3*o + 82 - 292. Let n = p + o. Is n a composite number?
True
Let t(k) = k - 3 + 2*k + 2*k**2 - 4*k + 8*k. Let o be t(-8). Suppose 0*f + o = 3*y + 2*f, -f = 0. Is y a composite number?
False
Suppose 0 = 4*w + 2*x - 1 - 1, -3*x - 2 = w. Let b be 3*w*3/(-9). Is b*(0 - 3*7) a composite number?
True
Let i = -245 - -168. Let n = i + 128. Is n a prime number?
False
Let d(p) = 152*p - 1. Let i(r) = 153*r - 1. Let o(t) = 3*d(t) - 2*i(t). Is o(1) composite?
False
Let n(j) = -2*j + 1949. Is n(0) composite?
False
Suppose 6 = 2*x - 4. Suppose -x*z + 2*z = -477. Is z prime?
False
Suppose 89 = -b - n, b = n - 3*n - 88. Let h = 184 + b. Is h a prime number?
False
Let w be (-3)/12 - 242/(-8). Let c = -12 + w. Let y = c - -19. Is y a composite number?
False
Let v(y) = y**3 + 4*y**2 - 3*y - 3. Let a be 0 + -4 + 3 + 5. Is v(a) prime?
True
Let w = 3 - 1. Suppose -f + 2*b = 4*b + 7, 20 = 5*f - b. Suppose -4*q = f*c - 182, -q + 57 = -7*c + w*c. Is q a composite numbe