i, -4*i + 1491 = n + 2*n. Let y = -76 + i. Is y a prime number?
True
Let u(w) = -6*w + 7. Let s be (-1)/(2 + -3) + -6. Let x(q) = -q**3 - 4*q**2 + 5*q - 5. Let h be x(s). Is u(h) a composite number?
False
Suppose a + 5321 = q, -6*q + 2*q = -3*a - 21285. Is q/30 + 6/(-15) a prime number?
False
Let y(o) = -o**3 - 3*o**2 + 3*o - 1. Let r be y(-4). Is (-62)/(-4)*6/r prime?
True
Let o(v) = -7*v - 3. Let q(h) = 2*h + 1. Let m(c) = -3*o(c) - 8*q(c). Is m(4) prime?
False
Suppose -k - 5*o = 28, 5*k + 3*o - 5*o = -32. Let x(b) = -b + 7. Let z be x(k). Suppose j + 3*f + f = z, -j - 3*f = -13. Is j a composite number?
False
Let o(s) be the first derivative of -s**2/2 + 2*s - 1. Let c be o(5). Is (-65)/c - 2/3 a prime number?
False
Suppose 15 = 4*l - l. Let z(n) be the second derivative of n**5/20 - n**4/3 - n**3/3 - 2*n**2 - 3*n. Is z(l) a composite number?
False
Let t = -73 - -40. Is (t/2)/((-4)/8) a composite number?
True
Let t be -2 + (141 - -3) - 2. Suppose -2*j + t = 2*j. Is j composite?
True
Let u be (-7 + 6)/((-1)/77). Let n = u + 182. Is n composite?
True
Let r(f) = 72*f**3 + f**2 + 5*f + 1. Is r(3) a composite number?
True
Let x(i) = -12*i - 4. Let t be x(-3). Let j be (1 + t - 0) + 3. Let b = j + -17. Is b a prime number?
True
Suppose -5*q + 4*j + 19 = 0, -6*j - 7 = -q - 2*j. Suppose -89 = -q*s + 22. Is s a composite number?
False
Suppose -y - 14*y = -157455. Is y composite?
True
Let h(l) = -44*l + 3. Is h(-5) a prime number?
True
Suppose -5*t = -n - 7*t + 1787, 5*t - 5366 = -3*n. Is n prime?
False
Suppose 15 = 5*t - 5*y, 0 = -t + 4*t - 4*y - 10. Suppose -p = 2*n - n - 1, 0 = -t*p. Is (-9 + 2)/n*-47 prime?
False
Let l = 89 - -102. Is l a composite number?
False
Is (6 + -4 + -1)*277 prime?
True
Let k(u) = -u**2 + 2*u + 3. Let v be k(3). Let r be 2/7 + (-66)/(-14). Suppose 0 = r*d - 2*a - 145, 0 = -3*d + a - v*a + 88. Is d a prime number?
True
Suppose -4*r = -3*r. Suppose r = k + 4*k - 195. Is k a composite number?
True
Let d = 42 + 67. Let u = d + 18. Is u a composite number?
False
Let p be (-5778)/(-14) - 4/(-14). Suppose 0 = 5*r - p - 897. Suppose 0 = 5*u - r - 48. Is u composite?
True
Let h(u) be the third derivative of u**4/3 - 5*u**3/6 - u**2. Suppose -v + 5*b = 2*b + 4, -15 = -5*b. Is h(v) a composite number?
True
Let p = 12 - -126. Suppose 5*g - p = 3*g. Is g a prime number?
False
Suppose -3*a - 9 = -0. Suppose -4*m + 12 = 5*d, 4*d + 1 = 2*m + 21. Is m/6*7*a a composite number?
False
Let r be (-9)/((-3)/4*2). Suppose 7*f - r*f = 13. Is f a composite number?
False
Let d(k) = -9*k + 4 + 1 - 6. Suppose 0 = 5*s + 20. Is d(s) composite?
True
Let m = 16853 - 9894. Is m composite?
False
Let v(u) = -9*u + 4. Let y(p) = -p**2 + 2*p + 2. Let q be y(-2). Is v(q) composite?
True
Suppose -4*f + 1343 = x, -4*x = 2*f - 440 - 242. Is f a composite number?
True
Suppose -7*v + 452 + 171 = 0. Is v composite?
False
Let j = -563 + 1366. Is j a composite number?
True
Let j(w) = w**2 + 4*w - 8. Let o be j(-6). Suppose -2*d - 66 = -o*d. Is d prime?
False
Let t(h) = -h**3 + 13*h**2 + 4*h + 9. Let j be t(12). Is (-2)/(-3)*j/2 a composite number?
False
Let q(d) = -d**2 + 16*d + 11. Is q(16) composite?
False
Suppose 5*p = 266 + 389. Is p prime?
True
Let f = 5 - 2. Suppose -2*l - 159 = -f*l. Is l composite?
True
Suppose -3*x + 0*j - 3*j - 15 = 0, 4*x - 5 = j. Is 82 - -1*(x - -3) a prime number?
False
Let s = 59 - 50. Is s prime?
False
Suppose 3*h - 7*h = 0. Suppose h = 3*o - 4*p + 11, 23 = o + 4*p - 0*p. Let i(l) = l**2 - 3. Is i(o) prime?
False
Let x(b) = 7*b + 6. Let w be x(5). Suppose 88 = 3*h + h. Let i = w - h. Is i composite?
False
Is (143 - (2 - 4)) + 4 a prime number?
True
Let u be -6 + 8 - (0 - 0). Let l(b) = -22*b - u - 2 - 1. Is l(-4) composite?
False
Let i(j) = j**3 + 8*j + j - 5*j**2 + j**3 - 1 - j**3. Is i(6) a composite number?
False
Let d(v) = -v - 9. Let w = -6 - -10. Let f(m) = 3. Let s(t) = w*d(t) + 11*f(t). Is s(-9) composite?
True
Let y(s) = -14*s - 1. Is y(-1) a composite number?
False
Suppose -4*r + 5 = r. Suppose -4*x = -2*z - r - 5, -4*z = 5*x - 27. Suppose -2*j - z*j + 185 = 0. Is j prime?
True
Let a(s) be the first derivative of s**2/2 + 2. Is a(2) a prime number?
True
Suppose 7*z = 2*z - 20. Is (-2)/z*(2 + 188) a prime number?
False
Suppose 0*g - 2*g + 236 = 0. Suppose -5*k + a = -279, g = 3*k - k - 2*a. Is k a prime number?
False
Let m(t) = -16*t**2 + 18*t**2 - 3*t + 2 + 22*t**2. Is m(3) prime?
False
Suppose -639 = -2*h - y - 4*y, -4*h + y = -1311. Is h composite?
True
Is ((-2)/6)/((-2)/1542) a prime number?
True
Let z be 3*(0 + (-4)/(-6)). Suppose -2*y + 5 = 1. Suppose 0*c - z*c = -4*i + 76, -3*i = -y*c - 55. Is i prime?
False
Let v(j) = -23*j - 5. Is v(-4) a prime number?
False
Let k(m) = -15*m + 1 + 0 + 6*m - 11*m. Is k(-1) a composite number?
True
Is 4/14 + (-13585)/(-7) composite?
True
Let q(p) = 2*p - p - 3 - 2*p. Let g be q(7). Is (-2)/5 + (-894)/g prime?
True
Let h(r) = -5*r**2 + 1. Let a be h(-1). Let m = a + 8. Is m a prime number?
False
Suppose b = 2*q - 4*q - 16, -5*b - 28 = -3*q. Let f = -6 - b. Suppose -4*n - f*g + 333 = -n, g - 110 = -n. Is n a composite number?
False
Suppose 0 = -3*m + m - 2. Let p be 2/m - 26/(-2). Suppose 2*z - 6*q + p = -q, -5*z + 3*q + 20 = 0. Is z a composite number?
False
Suppose 50 = k + 3*g, 3*k = -2*g + 90 + 67. Is k a composite number?
False
Let i = 2 - 4. Is (i/((-6)/393))/1 prime?
True
Suppose -c + 5*c = -16. Is (3 + 6/c)*10 a composite number?
True
Let c(i) = -i**3 - 10*i**2 + 13*i + 12. Let r be c(-11). Is ((-29)/(-2))/((-1)/r) prime?
False
Suppose -3*u + 5 = 2*u. Is 126 - (u - 1) - -1 prime?
True
Suppose -3*p + 0*p - 5048 = -4*n, -6307 = -5*n + 3*p. Is n a prime number?
True
Suppose 3 = z - 1. Suppose 2*d - 168 = 2*c, 0 = -z*d + c - 5*c + 336. Suppose -d = -4*r + 5*o, 4*r + 3*o - 44 = 40. Is r a prime number?
False
Is (-5532)/(-21) + (-9)/21 a prime number?
True
Let c be 42*12 - (-14 - -11). Let z = c - 10. Is z a prime number?
False
Let r(t) = 61*t**3 + t. Let i be r(2). Let h = i + -299. Is h prime?
True
Suppose 3*d - 5*d = 148. Let z = 112 + d. Suppose 4 = 2*a, -2*f + 2*a + z = 7*a. Is f prime?
False
Let o = -1493 + 3252. Is o a prime number?
True
Suppose -23*o + 33*o - 9110 = 0. Is o prime?
True
Let o be (-1)/1*0/1. Suppose o = 2*c - 13 + 5. Is c a prime number?
False
Let h(k) = 17*k**2 - k + 1. Let c be 2 + ((-9)/(-3))/(-3). Let v be (-5 + 2)/(c - 0). Is h(v) composite?
False
Let z(l) = 3*l**2 + 10*l + 7. Let y(n) = 2*n**2 + n - 4. Let c be y(-4). Suppose c = h - 5*h. Is z(h) a prime number?
False
Suppose -9*n = -11*n + 1838. Is n prime?
True
Let v(i) = 2*i**2 + 3*i + 1. Let g be v(-2). Suppose 0*q + 1077 = 5*r - q, 0 = -g*r + q + 647. Is r composite?
True
Let v = 37 + -24. Is (5*-1)/((-1)/v) a composite number?
True
Let l = 35 - 52. Let b be 1 + 1 - (l - -1). Suppose 79 + b = p. Is p a composite number?
False
Suppose -2*o - 2 + 12 = b, 5*o = -5*b + 40. Suppose -a = 4, 5*l + 14 = -5*a - b. Suppose -t + 1 + 2 = l. Is t a prime number?
True
Let w be 3 + -1 - (-1 - -3). Suppose w = -5*x + 319 - 54. Is x composite?
False
Let d = 2037 + -860. Is d prime?
False
Suppose 2*i = -0*i + 1802. Is i prime?
False
Suppose -10 = o - 2*o + 5*f, -5*o + 3*f = -28. Suppose o*r - 35 = -0*r. Let h = 48 + r. Is h composite?
True
Let n = 435 - -334. Is n prime?
True
Let r = 3247 + -1200. Is r a prime number?
False
Let x(a) = -7*a + 2. Let u be x(-6). Let z = -35 - -10. Let n = z + u. Is n a composite number?
False
Suppose -5*v = -8*v + 2634. Suppose 5*s - v + 303 = 0. Is s a composite number?
True
Let r(j) be the second derivative of 10*j**3/3 - j**2/2 + 3*j. Is r(6) prime?
False
Let d = 8 - 11. Is 35 - ((-6)/2 - d) prime?
False
Suppose 60 = -4*k + 8*k. Suppose l - k = 2*b, -4*b + b = -2*l + 35. Is l composite?
True
Let b be (38/4)/((-2)/(-12)). Suppose -5*c + 25 = -i, 4*i + 36 = 6*c - 2*c. Suppose c*n - 35 = b. Is n composite?
False
Let j(g) = -9*g**3 - 18*g**2 - 15*g - 10. Let m(z) = -5*z**3 - 9*z**2 - 8*z - 5. Let i(y) = -4*j(y) + 7*m(y). Is i(-4) a prime number?
False
Let h(w) = -5*w - 6. Let g be h(-6). Suppose 0 = -2*x - g + 206. Is x a prime number?
False
Let d be 2/2*(1 - -2). Suppose 0 = -4*n - k + 209, -d*n = -0*n + 5*k - 144. Is n a prime number?
True
Let o(j) be the second derivative of j**7/63