e?
True
Is 2 + -2 + -1 + 50 prime?
False
Let z = -3 + 6. Suppose h + 17 = 3*y - 2*y, z*h = y - 13. Is y a composite number?
False
Suppose -j = -48 - 37. Is j a prime number?
False
Suppose -2*f + 5914 = 4*n - 0*f, 3*n + 5*f - 4446 = 0. Is n a prime number?
False
Let t(b) = -b**3 - 4*b**2 - 3*b. Let o be t(-4). Suppose o = 3*c - 0*c. Suppose 0*u = c*u - 308. Is u a prime number?
False
Let y(x) = -x**3 - x + 4. Let z be y(0). Suppose -769 = -4*n + u, 3*n - z*n + 206 = -3*u. Is n composite?
False
Let z(y) = 381*y + 2. Let h be z(2). Let d(l) = -l**3 - 3*l**2 + 3. Let b be d(-3). Suppose h = b*p + p. Is p a prime number?
True
Let s be (-34)/2 + -1 + 0. Let x be -1 - (-4)/((-8)/s). Let w = x + 14. Is w a prime number?
False
Let l = -740 - -1485. Is l a composite number?
True
Let p(l) = -l**3 + 6*l**2 - 3*l + 3. Let f be p(7). Is f*(-7 + 3 + -1) a prime number?
False
Let b = -7 - -316. Suppose d - b = -46. Is d prime?
True
Suppose -11*s + 7*s + 4792 = 0. Let r = s + -825. Is r prime?
True
Suppose 30*z + 1245 = 35*z. Is z composite?
True
Suppose -i + p - 2 = -3*i, -4*p = 4*i. Suppose 0 = -b, i*h - 5*b - 410 = -112. Is h a composite number?
False
Is (7/3)/(-1 + 102/99) prime?
False
Suppose 0 = j - 2*j - 71. Is (j/3)/((-1)/3) composite?
False
Suppose -2*t - 8 = 2. Let v(q) = -5*q + 4. Let g be v(t). Suppose 2*k - g = -1. Is k composite?
True
Let m(y) be the first derivative of y**4/4 - y**3 - 7*y**2/2 + 5*y - 2. Let k be m(4). Let c(p) = -2*p + 1. Is c(k) prime?
False
Suppose 6*c - 12 = 4*c. Suppose x - c*x = -10. Suppose -72 = -2*v + 3*h + x, -4*v + 5*h = -144. Is v prime?
True
Suppose -30*g + 24*g = -21246. Is g a composite number?
False
Let i be (-2)/(-7) + (-1038)/7. Let o = i - 172. Let c = o - -619. Is c a prime number?
False
Let u(j) be the first derivative of -3*j**4/4 + j**3/3 - j**2 - j + 5. Is u(-2) prime?
True
Let s = 327 - -920. Is s composite?
True
Let l(d) = 32*d**3 - d**2. Suppose -2*r + 2 = -0*r. Is l(r) a prime number?
True
Let l(d) = 201*d**3 + d**2 - d. Let h be l(1). Is -4*1*h/(-12) a composite number?
False
Let u(p) = p**3 - 5*p**2 + 3. Is u(5) composite?
False
Let k = -2 + 4. Suppose 3*z - 253 = 3*b + k*b, 5*z = -b + 459. Is z prime?
False
Suppose 21 + 19 = 5*a. Is (-1278)/(-14) - a/28 composite?
True
Suppose -3010 = -4*f + 4274. Is f a prime number?
False
Suppose -5*l + 8*l - 1497 = 0. Is l a composite number?
False
Let d = 8 + -6. Suppose -3*k - 2 = -u, 2*u - k = k. Is u - (-78)/(d + 1) a prime number?
False
Let s(n) = 7*n**2 + 14*n - 24. Is s(-11) prime?
False
Is 4/(8/3)*(-236)/(-6) a composite number?
False
Let y(r) = -10*r - 23. Is y(-7) composite?
False
Suppose -m = 1 - 4. Suppose 198 - 69 = m*t. Is t a composite number?
False
Let i(p) = 3 - 5 - 3*p - p + 3*p. Is i(-5) prime?
True
Let q(r) be the second derivative of r**7/2520 + r**6/360 - r**5/24 + r**4/12 - r. Let x(p) be the third derivative of q(p). Is x(4) composite?
False
Is (4764/(-10))/((-4)/10) a prime number?
False
Suppose -8*v - 2 = -10*v. Is 10 + (-2)/v + 6 a composite number?
True
Let p(v) = -2*v + 1. Let n be p(2). Let o = n + 7. Suppose o*m - 345 = 147. Is m prime?
False
Let n = 548 + -248. Suppose 245 = 5*y - n. Is y a prime number?
True
Is (-5 + 4)*134/(-2) composite?
False
Is (2 - 7/3)*4677*-1 a composite number?
False
Let x(q) = 36*q**2 + 2*q + 8. Is x(-5) a composite number?
True
Let y be (-5)/((-30)/(-63))*-12. Suppose 5*z - 159 = y. Is z prime?
False
Let y(n) = -n - 10. Let b be y(-7). Let m = 6 + b. Suppose -m*a + 26 = -a. Is a a prime number?
True
Suppose -2*l - 372 = -3*n + l, -5*n = -4*l - 623. Is n a composite number?
False
Let z(i) = i - 1. Let l be z(4). Suppose -3*w + 43 = m, l*m + 4*w - 114 = -0*m. Is m a prime number?
False
Let s(f) = 254*f**2 + f - 2. Is s(1) prime?
False
Suppose 0*z - z - 2*n = -242, -3*z + 722 = 2*n. Suppose 2*b + b = z. Is (b - 3/3)/1 a composite number?
False
Suppose -4*f - 34 = -798. Is f a prime number?
True
Let i be (1 + -2)/(1/(-1865)). Suppose -i = -o - 4*o. Is o a prime number?
True
Suppose -4*p + w + 17 = 0, -5*p - 2*w + 34 = w. Let x be ((-6)/p)/(2/(-5)). Suppose -x*i - 12 = -57. Is i composite?
True
Suppose x = m - 0*x - 493, -4*x = 4*m - 1988. Suppose 0*y = -5*y + m. Suppose -w + 3*f + 57 = -f, -5*f - y = -2*w. Is w composite?
False
Suppose 6 = 2*p + 2. Suppose i - 158 = -0*d - d, -4*d + 318 = p*i. Is i a prime number?
True
Let i be (-8)/24 - (-25)/3. Let f be 62/i - (-2)/8. Is f/28 + (-2838)/(-14) composite?
True
Let q(y) be the third derivative of y**5/60 - y**4/4 - 2*y**3/3 - 4*y**2. Suppose 3*o + o = -3*j - 7, 0 = -o + 2. Is q(j) a prime number?
False
Let v(r) = 996*r**2 + 3*r + 2. Let q be v(-1). Suppose -265 = 2*p - q. Is p a composite number?
True
Let m be ((-14)/1)/(-2) + -3. Let t = -5 - -9. Suppose t*w + 0*w + 3*a - 355 = 0, -4*w - m*a + 352 = 0. Is w composite?
True
Let k be ((-8)/20)/(1/(-5)). Is ((-171)/27)/(k/(-18)) prime?
False
Let k(t) = -3 - 3 + 6 - 64*t. Let l be k(-2). Suppose -2*w = 3*r - 75, 4*w - l - 13 = -3*r. Is w a composite number?
True
Let q(y) = -25*y**3 - 3*y**2 + 3*y - 4. Let k be q(-3). Suppose 2*u = -3*u + k. Is u a composite number?
False
Let j(d) = d**3 + 6*d**2 - 11*d - 7. Let g be 13/(-2) + (-1)/2. Is j(g) a composite number?
True
Suppose 0 = -5*t - 3*j - 104, -5*t + 0*t - 114 = -2*j. Let c = -11 - t. Is c composite?
False
Suppose -4*z - 3*f + 31 = 0, 5*f - 2 = 3*f. Let n(d) = d**2 - 3*d - 6. Let j be n(5). Is 2/j*(5 + z) prime?
False
Suppose -2*l + 10 = -0*l. Let v = -24 - -92. Suppose v = 2*f + 2*g, 0*f + 179 = l*f + 2*g. Is f composite?
False
Let s = -540 - -3641. Suppose x - 3*x + 4650 = 3*u, -s = -2*u - x. Is 2/(-10) + u/10 prime?
False
Suppose -3*z = -3*m + 4*m - 14, -37 = -4*z - 5*m. Suppose -z*f + 7*f = 8. Suppose -3*d + 345 = f*d. Is d prime?
False
Suppose 11*d - 10155 = -24. Is d composite?
True
Let x = -3 - -4. Suppose -o - 2*a = 0, -3*o + 2*a = 7 + x. Let l(t) = -2*t**3 + t**2 - 2*t - 2. Is l(o) composite?
True
Let t(k) = k**3 - 9*k**2 - 5*k + 3. Is t(10) a composite number?
False
Let s = 9 + -6. Suppose -8 = -q - s*q. Is (-31)/(q + 9/(-3)) a composite number?
False
Suppose 4*b - 3*h + 5 = -0*h, -3*h + 6 = -3*b. Is (-891)/(-4) + b/4 a composite number?
False
Let j(q) = -q. Let c be j(-5). Suppose -c*w + 3*r + 26 = 0, -2*w + 0*w + 3*r = -14. Suppose a = -w*x + 31, -6*x = -2*a - 3*x + 117. Is a composite?
True
Let d(c) = 2*c - 4. Let g be d(3). Suppose 5*i - 20 = 7*u - 2*u, -3*u = -g*i + 11. Is (-4)/(-2)*i + 33 composite?
True
Suppose 7*f - 3595 = 2*f. Is f a prime number?
True
Let f(q) = 7*q - 5. Let c = 5 + 0. Let o = c - 1. Is f(o) prime?
True
Let r be 2 + (0 - (-2 - 6)). Let y(a) = -r + 0*a + 1 + 4*a. Is y(8) a prime number?
True
Let z(c) = 2*c**3 - 4*c**2 + 3*c - 2. Let f be z(2). Suppose -5*d - f*b - 33 + 266 = 0, 4*d - 4*b = 208. Is d prime?
False
Let s be 1/(2 - 18/10). Let r = s + -7. Is 97 + r + 0/3 a composite number?
True
Let v(j) = 4*j**2 - 4*j - 17. Let o(q) = -2*q**2 + 2*q + 8. Let l(c) = -13*o(c) - 6*v(c). Let m be l(2). Let u = m + 1. Is u prime?
True
Let a = 5 + -2. Suppose a*n + 180 = 5*f, 5 = 2*n - n. Suppose 0 = -0*p + 3*p - f. Is p a prime number?
True
Let c = -4 + 7. Suppose c*b = -86 + 251. Is b a composite number?
True
Let m(n) = n**3 - 35*n**2 + 35*n - 38. Is m(35) prime?
True
Let j(z) = z**3 - 4*z**2 - 4*z - 2. Let y be j(5). Let d = -26 + 40. Suppose 22 + d = y*c + 3*w, 0 = -3*c - 2*w + 31. Is c composite?
False
Let i be (-2 + 2)*(-1)/2. Let g(f) = f**2 + 2. Let x be g(i). Suppose 0 = q - 5*d - 27, 0 = -x*q - 3*d + 2. Is q prime?
True
Suppose -5*u - 4*b + 717 = 0, -2*b = 4*u - b - 578. Is u a prime number?
False
Let t = 565 - 298. Is t a prime number?
False
Suppose 2*z - 7*z + 150 = 0. Let m = -8 - -12. Is (z + 0)*2/m a prime number?
False
Let s(g) = -g**2 - 9*g - 10. Let j be s(-7). Suppose j*h + 0*i - 5*i - 364 = 0, i = 0. Is h a composite number?
True
Is 1/(-4) - (-8)/((-192)/(-11214)) a prime number?
True
Let l(v) = -v**3 - 4*v**2 - 3*v - 1. Let j be l(-3). Is 34 + j - (2 - 0) a composite number?
False
Let y(j) = -587*j**3 + j + 1. Is y(-1) prime?
True
Let p = -10 - -10. Suppose -5*a + 0 + 1061 = -4*s, p = -4*a - 2*s + 828. Is a a composite number?
True
Suppose 0 = 3*j - 5*z - 703, 0*j - 2*z + 1120 = 5*j. Is j a composite number?
