e
Let a(b) = b**3 - 7*b**2 + 8*b + 2. Let y be a(6). Let v = 40 - y. Is v a prime number?
False
Let z be (33/(-2))/((-2)/24). Suppose -o + 51 = -0*n - 4*n, 0 = -5*o + n + z. Suppose -o - 49 = -4*f. Is f a composite number?
True
Suppose -15*b + 15389 = -4*b. Is b prime?
True
Let k(z) = -4*z + 5. Let y(i) = -i**3 + 11*i**2 - 7. Let c be y(11). Is k(c) prime?
False
Suppose -2*l - 5 - 1 = 0, -3*l + 633 = 3*t. Let y = t - 101. Is y a prime number?
True
Let b(o) = 3 - 5*o**2 + 16*o**2 - 1 + o - 5*o. Is b(3) prime?
True
Let x = 16 - 12. Suppose x*i - 5597 = -z, -3*i - 3*z = -2854 - 1346. Is i composite?
False
Suppose 5*y = 5*t - 1880, 0*y + 1110 = 3*t + 3*y. Is t a prime number?
True
Let r(d) = d**3 - d**2 - 4*d - 11. Is r(6) a composite number?
True
Let i(z) = 12*z**2 + 6*z + 11. Is i(7) a composite number?
False
Suppose 0 = 3*j - 2*q - 1, -5*j + 19 + 0 = q. Let a(s) = j - 13*s + 6 - 9. Is a(-3) a composite number?
True
Let m be (-93)/(-33) - (-2)/11. Suppose 0*p = -m*p + 105. Is p prime?
False
Let i = 5 - 5. Suppose 0 = -i*w - 3*w + 33. Is w composite?
False
Let v(y) = -49*y**2 - y - 2. Let z be v(2). Is (0 - z) + 1 + 0 composite?
True
Let u = 58 - -315. Is u a composite number?
False
Let i(g) = g - 12. Suppose 0*c - o = 2*c - 26, 2*c = o + 18. Let k be i(c). Is k/((-157)/(-79) - 2) prime?
True
Let h = -1069 - -1564. Let n = -352 + h. Is n composite?
True
Let y be 1 + 0 + 0 + 1. Suppose -46 = -3*f + 4*p, 2*p = -y - 6. Suppose 0 = -3*i + 8 + f. Is i a composite number?
True
Let o = -238 + 166. Let t = -159 - o. Let y = -56 - t. Is y a composite number?
False
Let u(p) be the first derivative of -p**4/4 - 2*p**3 - 5*p**2/2 + 2*p + 1. Let b be u(-5). Is (57 - 4/b)*1 a prime number?
False
Suppose 2*x + s - 2649 + 480 = 0, 0 = -4*x + s + 4353. Is x a prime number?
True
Is (-968)/(-14) + 2/(5 - 19) composite?
True
Suppose 0 = -w - 0*w. Let l be 1164/2*6/9. Suppose w = p + 3*p - l. Is p a prime number?
True
Let l(t) be the third derivative of t**5/30 - 7*t**4/12 - 7*t**3/3 + t**2. Is l(11) prime?
False
Let t be 80/44 + (-4)/(-22). Suppose -3*j - 182 = -4*p + t*j, 4*p + 4*j - 200 = 0. Let z = p - 27. Is z a prime number?
False
Let u be ((-6)/(-21))/((-2)/(-14)). Suppose 2 = u*p, 0*p - 3*p = q - 118. Suppose -j = 4*j - q. Is j composite?
False
Let a = 1 + 1. Let f = a - 0. Suppose -f*p = -4*m + 58, -5*p - 47 = -6*m + 3*m. Is m composite?
True
Is (-164)/(-6)*((12 - 5) + -4) composite?
True
Suppose -15 = -3*i + 9. Let c be (-140)/i*(-6)/1. Suppose 4*m - c - 107 = 0. Is m composite?
False
Let k(h) = -95*h - 5. Let t = 10 + -16. Is k(t) a prime number?
False
Let t(b) = -b**3 - 14*b**2 + 13*b - 19. Is t(-15) a prime number?
True
Let r(b) = 2 + 2*b**2 - 2 - 4*b + 1. Let p be r(3). Suppose p = 2*j - 59. Is j a prime number?
False
Let y(d) = 2*d**3 - d**2 - d - 2. Is y(4) a composite number?
True
Let b(m) = -196*m + 1. Let v be b(-2). Suppose 0 = 5*n - h + 2*h - 381, -5*n + 2*h = -v. Is n prime?
False
Suppose -2*l = -5 - 9. Suppose 81 = -l*t + 4*t. Let f = 46 + t. Is f a composite number?
False
Let u(q) = 62*q - 1. Is u(18) a composite number?
True
Suppose 5*u + 240 = -0*u. Let y = 131 + u. Is y a prime number?
True
Let v(j) = j**2 + 8*j + 4. Is v(-11) prime?
True
Let m(n) = n**3 + 5*n**2 + 3*n - 4. Let z = -2 - 1. Let y be m(z). Is (-14)/(-35) + 173/y composite?
True
Let q = 13 - 79. Suppose -2*f + 4*s = 204, 5 = -s - 0*s. Let p = q - f. Is p prime?
False
Let b = 29 + -89. Let k = -85 - b. Let n = -12 - k. Is n composite?
False
Suppose -3*a = l - 0*l, l - 3*a - 30 = 0. Let y be (-1 - 8/(-6))*l. Suppose 24 = 2*g - y*p - 4, 3*p - 6 = 0. Is g composite?
False
Suppose 5*h - 2*v - 1365 = 3*v, -h + 4*v + 282 = 0. Suppose -5*r + 3*c + 332 = 0, 4*r + 7*c = 5*c + h. Is r prime?
True
Let m(n) = -n**2 + 8*n + 7. Let b be m(8). Suppose 0 = 4*x - b - 9, -x = -4*p + 344. Is p composite?
True
Suppose 0 = 2*n + 98 - 34. Is (-2)/8 + (-808)/n prime?
False
Suppose -5*t - n = -750, -5*t - n = -3*t - 303. Is t a composite number?
False
Let p(k) = 101*k**3 + 4*k**2 - 10*k + 8. Is p(3) a composite number?
False
Let v = 106 - -39. Suppose 2*u + 3 = v. Let w = u - 36. Is w a composite number?
True
Suppose 4*h + 5*c = 1046, -h - 3 = 4*c - 259. Let k = -41 + h. Is k prime?
True
Let c(j) = -j**3 + 14*j**2 + 8*j + 35. Is c(12) composite?
False
Suppose 2*f + 406 = 4*f. Is f composite?
True
Let o be (0 - -1)*(-80)/(-2). Suppose -73 = -r + o. Is r composite?
False
Let t(l) = -l**3 - 5*l**2 + 11*l + 5. Let r be t(-7). Let m be r/(-10) - 6/15. Let k(i) = 3*i**2 + 4*i - 1. Is k(m) a prime number?
False
Let z(y) = -y**2 - 4*y - 7. Let c(h) = 4*h**2 + 13*h + 20. Let k(i) = i - 4. Let v be k(6). Let l(s) = v*c(s) + 7*z(s). Is l(-6) a prime number?
False
Let h be 3/(1 - 24/26). Suppose d + 8 = -3*d. Let g = d + h. Is g a composite number?
False
Let r be (14 - 13)*(1 + 0). Let p be 2 + 2/4*2. Is (-226)/(1 - p)*r prime?
True
Let x(n) = -4*n**3 + 5*n**2 + 5*n - 4. Let j be x(4). Let d = -164 - -59. Let b = d - j. Is b a composite number?
True
Let q(m) = m**2 + 1379. Is q(0) composite?
True
Let y be 1/2*(-1 - -227). Let j = 255 - y. Is j composite?
True
Let r(n) = 21*n**2 - n. Is r(-2) composite?
True
Suppose -5*s + j = -14691, -s - 1193 = 4*j - 4148. Is s composite?
False
Let f(u) = u**3 - 10*u**2 - 4*u + 11. Is f(12) composite?
False
Suppose 5*c = -t + 558 + 110, 3*t - 2015 = -4*c. Is t prime?
True
Let u(o) = o + 4. Let d be u(-5). Suppose 4*q = 4*j - 8, 2*j + 0*j + 3*q = 4. Is (-14 - (j + -2))*d prime?
False
Is (4/(-4) + 24)*7 prime?
False
Let h(n) be the first derivative of n**4/4 + 5*n**3/3 + n**2/2 + 3*n - 1. Let s be h(-5). Let f = 19 - s. Is f a composite number?
True
Let j(n) = -n + 19. Let x be j(13). Is (-536)/x*3/(-2) prime?
False
Let y(o) = 3*o - 7. Let t be y(5). Is (127/(-2))/((-4)/t) prime?
True
Suppose 6 = -f - 2*n, -3*n = -5*n. Let h(w) = -8*w + 7. Is h(f) a prime number?
False
Let v = 67 - 136. Is v/(-2)*(8 - 6) a composite number?
True
Suppose 2 = -4*t - 6. Let w be (459/18)/(2/4). Is w + (1 + 0)*t a composite number?
True
Suppose 4*y + y = 20. Suppose -5*i - 4*w = 13, -2*w + y = -2. Is i/(-1) - (1 - -1) a prime number?
True
Suppose p + a = 21, -2*p - 3*a + 57 = 16. Let r = p + -13. Is r prime?
False
Let w = 1 + -6. Let h(q) be the first derivative of -4*q**2 + 7*q + 1. Is h(w) prime?
True
Suppose -p + 5*l + 17 = -0*p, 2*p - 12 = -l. Let z(w) = 2*w**3 - 9*w**2 - 7*w + 15. Is z(p) composite?
False
Let k(x) = x - 4. Let u be k(7). Let n(v) = -5*v**2 - v**3 - u*v - 1 + 1. Is n(-5) a prime number?
False
Suppose h + 3*h = 224. Suppose -j + 13 = -h. Is j composite?
True
Let r(x) = x**3 - 17*x**2 + 25*x - 10. Is r(19) a prime number?
True
Let m = -196 - -309. Let l = 18 + m. Is l prime?
True
Suppose 4 + 24 = -4*u. Let a(c) = -c**3 - 6*c**2 + 7*c + 2. Let k be a(u). Is k/(1 + 1)*9 composite?
True
Let w(a) = -a**3 + 7*a**2 - 7*a + 4. Let l be w(6). Is ((-13)/(-2))/(l/(-28)) prime?
False
Suppose r = 183 - 26. Is r a composite number?
False
Let g(h) = h**2 + 10*h - 9. Let p(u) = -2*u**2 - 10*u + 9. Let n(l) = -4*g(l) - 3*p(l). Is n(7) a composite number?
False
Let g(i) = 7*i**3 + 3*i**2 + i. Let m(q) = q**3 - q**2 - q + 2. Let n be m(2). Let u be g(n). Suppose -5*l + u = -615. Is l composite?
False
Let c = 1018 + -351. Is c prime?
False
Let g(w) = w**3 - 5*w**2 - 7*w + 5. Let o be g(6). Let u(m) = -122*m**3 - 2*m**2 - m. Is u(o) composite?
True
Let k be 1/(-2)*(1 + -1). Suppose 5*o = 4*u - 53 - 85, k = u - o - 35. Is u prime?
True
Suppose 7*j = 5*j + 64. Is j + (1 + -2 - 0) composite?
False
Let n(i) be the third derivative of -i**6/120 - 2*i**5/15 - i**4/4 - 2*i**3/3 - 2*i**2. Is n(-9) prime?
True
Let r(p) = 12*p**2 - 5*p - 4. Is r(3) composite?
False
Let y = 79 + 7. Is y prime?
False
Suppose 0 - 12 = -x. Suppose 0 = 3*w + w - x. Suppose -2*v + 275 = w*v. Is v a prime number?
False
Suppose 4*u - 1315 = 201. Is u prime?
True
Suppose -2*a + 5*v + 1754 = 0, 3*a = -2*v + 2580 + 89. Is a prime?
True
Suppose 3*a = 6, 3*j - 10 - 1 = 5*a. Suppose 20 = j*k - 3*k. Let w = k + 18. Is w composite?
False
Let q be 1/3 - 48/(-18). Let a(w) = 8*w + 2*w - q*w + 2*w**2 + 5. Is a(-6) a prime number?
False
Let n(a) be the third derivative of 7*a**4/12 + 5*a**3/6 - 4*a**2. Is n(6) a composite number?
False
Suppose