. Is z a prime number?
True
Let v(n) be the third derivative of 14*n**5/15 - n**4/12 + n**3/2 - 3*n**2. Is v(2) prime?
True
Let h(i) = -i**3 + 6*i**2 - 5*i + 5. Let u be h(5). Suppose u*a - 1343 = -153. Let d = -159 + a. Is d prime?
True
Let w be ((-3)/2)/(9/(-12)). Let l be (-9)/6 - (-9)/w. Suppose -l*h = 2*h - 245. Is h prime?
False
Suppose -p + 0*u + 89 = 3*u, -4*p = 2*u - 316. Is p prime?
False
Let s be (3*4)/(4/10). Let q = s + 1. Is q a prime number?
True
Let q be (-3 - (-7)/1) + -1. Suppose 0 = -q*r + 235 - 61. Is r prime?
False
Let g(s) = s**3 - 7*s**2 - 8*s + 6. Suppose -2*n = -n - 8. Let m be g(n). Is ((-4)/m)/((-2)/111) composite?
False
Suppose 2*v - 21 = -5*g, 0 = 4*g - v - 11 + 2. Suppose g*w = 6, -j + 2 = 2*w - 0. Is (2*-127)/(j + 0) prime?
True
Let r(x) = 3*x - x - 5*x + 8*x - 6. Let s be 2 - (2*-2 + 2). Is r(s) a composite number?
True
Let j(v) = v**3 - v**2 - 4*v + 5. Let g(n) = n**2 - 3*n - 6. Let i be g(5). Is j(i) composite?
False
Suppose 2*m + 4*t - 207 = 245, 0 = m - 5*t - 205. Suppose 3*q = m + 107. Is q composite?
False
Suppose -4*a = -12, 783 = -0*h + 3*h - 2*a. Is h prime?
True
Let o be 3/(-12) + 14/(-8). Is 709/9 - o/9 a composite number?
False
Suppose -5*l + 3*c = c - 2114, 2*c + 848 = 2*l. Is l prime?
False
Let d(i) = 10*i + 13. Suppose 0 = 5*g, 2*g + 2 = 4*a - 26. Is d(a) a composite number?
False
Is 13 + -2*1/(-2) a prime number?
False
Let p be 6/7*(-14)/2. Let z be (4 - p/(-3)) + -19. Let y = 20 - z. Is y a prime number?
True
Let g(h) = -64*h - 9. Suppose 2*k = -k - 12. Is g(k) composite?
True
Let f(d) = 47*d**3 - 3*d**2 + 7. Is f(3) a prime number?
True
Suppose 0*p = 5*p - 10. Let q = p - -2. Suppose 0 = -q*n - 16 + 4, 0 = -i - 2*n + 41. Is i a prime number?
True
Suppose 4*b = 4, 0*g - 4*b + 785 = g. Is g a composite number?
True
Let k(w) = 7*w**2 - 11*w - 25. Is k(-6) prime?
True
Is 0 + 522 - (-3 + 4) composite?
False
Suppose -655 = 5*g - 0*g. Let v = g - -250. Is v a prime number?
False
Let o(t) be the second derivative of t**4/3 + t**3/3 + 5*t**2/2 + 4*t. Is o(4) composite?
True
Let x(r) be the second derivative of 0 - 3/2*r**2 + 2*r + 10/3*r**3. Is x(4) a prime number?
False
Suppose -h = -294 - 102. Suppose 3*w + u = h, -2*w + 5*u = -w - 116. Is w prime?
True
Let q(m) be the second derivative of 8*m**3/3 - m**2/2 - m. Suppose -u + 0*u + 2 = 0. Is q(u) composite?
False
Suppose -3*u = -4*h - 15, 2*h = -4*u - 2*h + 20. Suppose -5*r - 230 = -u*f, f - 5*r = -f + 83. Is f prime?
False
Let t = -4 - -6. Suppose -4 = -2*v + 2. Suppose v*h = t*h + 7. Is h prime?
True
Let h be (-6)/4*(-24)/9. Suppose -h*s + 26 = -2*s. Is s composite?
False
Suppose -3*d - p - 10 = 0, -7 + 1 = 5*d - p. Let q be 2/d - (-4 + 1). Suppose 273 = y + q*y. Is y prime?
False
Suppose -4*o - 3*q = -2*q - 20, -2*o - q = -10. Suppose -o*c + 308 = -c. Is c a prime number?
False
Let a(j) be the second derivative of 0 + j**3 - 3/2*j**2 + 4*j. Is a(9) prime?
False
Suppose 2*f = 3*f - 117. Is f/2 + (-2)/(-4) a composite number?
False
Let b(s) = -s**2 - 7*s + 4. Let x be b(-7). Suppose -x = 5*f - f. Is f/2 - (-1545)/6 prime?
True
Is (-1)/(2/(-8)) + -6 + 37 a composite number?
True
Let l = -511 - -918. Is l composite?
True
Let p = -7735 + 13874. Is p a prime number?
False
Is (-6)/45 - 1/15*-3017 a composite number?
True
Let a(k) = 3*k**2 + k - 1. Let d be a(1). Let z be 0/(0 - d/(-3)). Is 1184/4 + -3 + z composite?
False
Let k(t) = -5*t - 5. Let h be k(-7). Let w = -2 + h. Suppose 0 = -p + w + 61. Is p a prime number?
True
Let j be -7*(-3)/(2 + -5). Let m(k) be the first derivative of -k**3/3 - 5*k**2 - 2*k - 2. Is m(j) prime?
True
Suppose -4*o - 3*x = 987, 2*o = 7*o + 5*x + 1235. Let f = o - -431. Is f a prime number?
False
Let y = 766 - 249. Is y composite?
True
Suppose -t + 11217 = 4*t - a, 0 = -5*t - 4*a + 11207. Is t prime?
True
Let x = -9 + 9. Suppose x = 3*a - a - 8. Suppose c - 4*c + 3*p = -186, a*c - 2*p = 238. Is c prime?
False
Let l = 2721 - 1772. Is l a composite number?
True
Let z be -1*1/1*-2. Suppose 319 - 21 = z*c. Is c prime?
True
Is 4 + -2 + 1 + 292 a composite number?
True
Let m = 4160 - 2862. Suppose 0 = 2*g - m + 324. Is g a prime number?
True
Let c(i) = 4*i**2 - 1. Let r be c(1). Suppose r*a + 7 = 274. Is a composite?
False
Let u = 199 - 118. Suppose 2*q - u = -19. Is q a composite number?
False
Suppose -5 = -0*f - f. Let j be (0 - (0 - 3)) + 432. Suppose -c - f*b = 4*c - j, -4*b = 2*c - 166. Is c composite?
True
Let w be 4/8 + (-2)/4. Suppose 0*a + 5*a = w. Suppose -2*x + 60 = 5*g, a*g = -x - 3*g + 29. Is x a prime number?
False
Let w(n) = n**3 + 11*n**2 - 3*n + 5. Let p(i) = i**3 - 6*i**2 + 4*i + 2. Let l be p(5). Let b = -3 + l. Is w(b) a prime number?
False
Suppose 0*d = 2*d - 3*l + 99, -149 = 3*d - 4*l. Let a = d - -73. Is a a composite number?
True
Let b be -3 + 1 + 5 + 777. Suppose 3*s = 897 + b. Is s a prime number?
False
Let i(d) = d**3 - 3*d**2 + 9*d - 2. Let v be (-1)/(-2) - (-65)/10. Is i(v) prime?
True
Suppose 5*s - 4*s + 834 = 0. Let a = s + 1313. Is a composite?
False
Let f(w) = 1691*w + 2. Is f(1) prime?
True
Suppose 5*r = -0*r + 1985. Let b = -283 + r. Is 3/(1/(b/9)) prime?
False
Suppose 0 = -r + 4*r - 9. Suppose r*o - 77 + 8 = 0. Is o prime?
True
Let r be (-4)/3*(-3 - 750). Let h = r - 433. Suppose 5*y + h - 2426 = 0. Is y a prime number?
False
Is (-2 - (-5460)/8)*2 a prime number?
True
Let a = 150 - -491. Is a composite?
False
Let b be (-60)/(-8)*(-4)/(-6). Let z = b - 5. Suppose 0 = -2*i - 2, -106 = -z*w - w - 3*i. Is w a composite number?
False
Let z = -23 + 14. Let c(v) = -24*v - 10. Let a be c(z). Suppose 0 = 3*f - 265 - a. Is f a prime number?
True
Let g(n) = -n**2 - 12*n + 13. Let p(w) = w**3 - 5*w**2 - 9*w + 6. Let r be p(6). Is g(r) composite?
False
Let h be 319 + 0 + (-3)/(-3). Suppose 5*p + 5*f - 375 = 0, 2*p = -2*p + f + h. Is p composite?
False
Let v(y) = 7*y**3 + 10*y**2 - 4*y - 4. Let t(k) = 13*k**3 + 19*k**2 - 8*k - 7. Let x(b) = 6*t(b) - 11*v(b). Is x(3) prime?
True
Let g be 0/(-4) - (-1 - 0). Is (-1)/(2*g/(-154)) composite?
True
Suppose -2 = 5*k + 3*x + 1, 0 = -3*k + 4*x - 25. Let i(a) = -a**2 - 5*a - 2. Let o be i(k). Let c(d) = 5*d - 5. Is c(o) a prime number?
False
Let b be 243/1 + -1 - 0. Suppose -3*f = -f - b. Is f a composite number?
True
Let q(t) = -5*t**3 + t**2 - 14*t - 5. Let x(i) = i**3 + i**2 + i. Let n(s) = -q(s) - 6*x(s). Let f be n(-8). Suppose 0 = f*m - 0*m - 115. Is m a prime number?
True
Let r(c) = c**2 - 6*c + 3. Suppose -4*s + 0*d + 2*d + 18 = 0, 2*d + 12 = 3*s. Let h be r(s). Suppose h*z - 235 = -2*z. Is z composite?
False
Let n = -10 + 2. Is (5/4)/((-1)/n) prime?
False
Let d(f) = 292*f + 1. Is d(1) a prime number?
True
Suppose 2*g + 3*q = -0*g + 14, 0 = -5*q + 10. Let n be (8/(-10))/((-8)/20). Suppose -3*h - 3 = 0, -n*l + 0*h + g*h = -162. Is l a prime number?
True
Is 1/3 + (2755/15 - -3) composite?
True
Let z(l) = -l. Let m(c) = -7*c - 1. Let w(b) = -m(b) + 6*z(b). Let q be w(1). Suppose 4*s - 2*d - 9 - 53 = 0, -q*s = 2*d - 16. Is s a prime number?
True
Suppose -8*w + 3*w - 50 = 0. Let t = w - -13. Is t composite?
False
Let m be 16/10 - (-8)/20. Suppose -6*y + 168 = -m*y. Let w = y - -9. Is w prime?
False
Let h be (-16)/40 - (-27)/5. Suppose 12 = 4*g, 4*k + h*g - 940 = 351. Is k composite?
True
Suppose 2*m = 3*w + 4*m - 6, 12 = -4*m. Suppose -w*j = n - 144, -4*j + 4*n + 61 = -63. Is j prime?
False
Let l(a) = -106*a**3 - 2*a**2 + 7*a + 3. Let z(w) = 53*w**3 + w**2 - 3*w - 1. Let t(c) = -4*l(c) - 9*z(c). Is t(-2) a composite number?
False
Let s be ((-3)/2)/(5/(-60)). Suppose -29 = -j + s. Is j composite?
False
Suppose -4 = 2*r - 3*r. Suppose 64 + 508 = 3*y + n, -r*y + n + 765 = 0. Is y composite?
False
Suppose -m = 3*m - 5*k + 1509, 0 = -4*m - 5*k - 1499. Is 12/8*m/(-6) a prime number?
False
Suppose -2*g = g - 27. Let j(x) = -x**3 + 9*x**2 + 5*x - 8. Is j(g) prime?
True
Suppose 2*o - 6 = -o. Suppose 0*x + o*x = 34. Let p = x - 10. Is p composite?
False
Suppose -6 = y + 2*y, 0 = -i + 2*y + 129. Suppose -i - 110 = -5*v. Is v composite?
False
Let h = 1125 + -652. Suppose 0 = 4*a + 3*x - h, 3*x + 91 + 31 = a. Is a composite?
True
Let t = -8 - -13. Let d(b) = 2 - 4*b + 6*b + 7*b. Is d(t) a composite number?
False
Suppose 2*k - 4*s - 26 = -k, 4*k = -5*s - 17. Suppose 2*v - 1 - 3