k be d(-4). Is 35/k*(-8)/10 composite?
True
Let o be (-1 + (-14)/(-8))*-4. Let m = 8 + o. Suppose -3*r + 4*k + 283 = 0, m*r = -0*k - 5*k + 495. Is r prime?
True
Let g be 132/(3 - (1 + 1)). Let y = g + 35. Is y composite?
False
Suppose -p - 3*p + 8 = 0. Is 3*-1 + (p - -116) a prime number?
False
Let x(z) = z**3 - 9*z**2 - z + 10. Let s be x(9). Suppose -c + 4 = -s. Suppose -12 + 467 = c*n. Is n prime?
False
Let w(l) = -11*l + 3. Suppose -y + 2*v = -1, -5*y = v - 9 - 7. Let u be w(y). Is ((-1780)/u)/((-2)/(-3)) composite?
False
Let c = 1555 - 1058. Is c composite?
True
Suppose 0 = h - 3. Suppose -q = -4*q + 5*t + 354, 0 = -h*q - 5*t + 324. Is q prime?
True
Let o = 132 + -848. Let z = -356 - o. Suppose -z = -3*a + v, 2*a + 93 = 2*v + 337. Is a a composite number?
True
Let i(d) = d**3 - 10*d**2 + 10*d + 3. Let y be i(9). Suppose n - y - 10 = 0. Suppose -4*z = -262 - n. Is z composite?
False
Is 2 + -3 + 3 - -49 composite?
True
Let b be (-2)/(-3) + 1896/(-9). Is (b/(-12))/((-2)/(-4)) a prime number?
False
Let s = -1 - -1. Suppose -3*n + n + 22 = s. Is n composite?
False
Let r(g) be the third derivative of -13*g**4/24 - g**3/2 - 2*g**2. Is r(-2) composite?
False
Suppose 0*s + 2 = -s. Let t(b) = -7*b**3 - 2*b**2 + 2*b + 3. Is t(s) a composite number?
False
Suppose 3*f - 4*v - 31 = 0, 0*v - v + 90 = 5*f. Let w = 39 - f. Is w prime?
False
Suppose 15 = t - 1. Suppose 2 = -h + t. Is h composite?
True
Let v = -101 - -157. Let h be (-16)/v + (-4)/(-14). Suppose h*w + 4*z - 62 = -w, w = 2*z + 56. Is w a composite number?
True
Suppose 2*c = 5*q - 995, -3*q + 0*q + 5*c + 578 = 0. Is q a composite number?
True
Let y(v) = v**2 + 6*v + 3. Let j be y(-6). Let n(h) = -5*h - 4. Let q be n(j). Let c = -6 - q. Is c prime?
True
Let w(p) = 2*p**3 - 7*p**2 + 14*p - 1. Let d(a) = -3*a**3 + 6*a**2 - 15*a + 1. Let g(y) = -3*d(y) - 4*w(y). Is g(-10) a composite number?
True
Let v(f) = 78*f + 17. Is v(8) composite?
False
Let t(b) be the first derivative of -2*b**2 - b - 1. Let g(d) = -d**3 - 6*d**2 - 6*d + 4. Let a be g(-3). Is t(a) prime?
True
Suppose -z - 952 = 3*b - 0*z, -2*z = 5*b + 1588. Let k = b + 539. Is k composite?
False
Let u = -1 - 0. Is (62/(-1) - -3)*u a prime number?
True
Suppose -646 = -4*q + 2*v, -5*v = -q + 3*q - 341. Is q composite?
False
Let c(w) = w**3 + 3*w**2 + w - 2. Let i be (-1)/(-2*2/(-12)). Let k be c(i). Is 6324/30 + (-1)/k a prime number?
True
Suppose -u + 7 = m, -3*u - m + 2*m + 9 = 0. Let r(h) = -4*h - 7. Let x be r(-3). Suppose f = -x*a + 22, f + 0*a - u*a - 49 = 0. Is f a composite number?
False
Is 33/2*(-70)/(-21) prime?
False
Let q = 660 + -457. Let a = -92 + q. Is a a prime number?
False
Let w(d) = d**3 - 7*d**2 + 7*d - 2. Let v be w(6). Suppose v*p - 3*a = 27, -p - 17 = 4*a - 0*a. Suppose 179 = 5*q + 3*n, -p*q = -2*q + 3*n - 31. Is q composite?
False
Suppose 0 = 4*m - 0*m - 1804. Suppose -f + 16 + m = 0. Is f a composite number?
False
Let c(w) = w + 1. Let s be c(5). Let o(a) be the second derivative of -a**4/12 + 13*a**3/6 - 5*a**2/2 + a. Is o(s) prime?
True
Let p(d) = d**2 - 6*d - 9. Let r(n) = 3*n**2 - 2. Let y be r(-2). Is p(y) composite?
False
Let g = -299 + 428. Let k be ((-6)/(-4))/(1/2). Suppose -2*r - 2*p + 66 = -20, k*r = -p + g. Is r a prime number?
True
Suppose 4*j + 2*q = -110, -j + q - 45 = 5*q. Let w = j + 71. Let a = -20 + w. Is a prime?
False
Suppose 4*z - 106 = -2*m, -m + 65 - 21 = -z. Suppose 27 = 2*n - m. Is n a prime number?
True
Let d(l) = 2*l**2 + 7*l + 4. Suppose -y - 5 - 2 = 3*q, -4*y + 5 = q. Let i be (-23)/5 - y/5. Is d(i) prime?
True
Let a = 7 + -4. Suppose -a*u - 1036 = -3*j - 22, 0 = 2*u + 6. Is j prime?
False
Let y(l) be the second derivative of l**7/210 - l**6/120 - l**5/60 + l**4/6 + l**3/3 + 2*l. Let k(o) be the second derivative of y(o). Is k(3) composite?
False
Let g(n) = n**3 + 11*n**2 + n + 11. Let y be g(-11). Suppose y = 4*s - 19 - 21. Is s a composite number?
True
Let l(s) = 2*s**3 + 13*s**2 - 5*s + 16. Let f be l(-7). Suppose 2*w + 4*h - 140 = 0, 2*w - 5*h + 140 = 4*w. Suppose f*g - w = -8. Is g prime?
True
Let m = 348 - 193. Is m composite?
True
Let i(h) = -5*h - 2. Let w be i(-2). Let s be w/6*423/(-2). Is s/(-30) - (-6)/10 a composite number?
True
Suppose 0 = 2*s + 5*q - q + 4, 0 = s - q + 5. Let r be (s - -3)/(2/(-46)). Suppose 4*m - 65 = r. Is m composite?
True
Let i = 136 + -40. Let o = 115 + i. Is o a prime number?
True
Let o(i) = i**3 + 7*i**2 + 7*i + 9. Let k be (-22)/(-8)*(5 - 1). Let f be (-2)/k - (-64)/(-11). Is o(f) prime?
True
Let p(o) = o**3 - 6*o + o - 3*o - 7 + 5*o**2. Let f be p(-6). Suppose -4 - 16 = -f*u. Is u a composite number?
True
Let u(j) = -j**2 + 4*j + 1. Let r be u(-9). Let y = -45 - r. Is y composite?
False
Suppose 0 = 2*h + 3*b - 1860 - 4351, 4*h - 2*b = 12398. Is h a prime number?
False
Let i = 335 - 201. Is i composite?
True
Let a(w) = -223*w - 1. Let l be a(-2). Suppose 0 = -2*f + 3*f - l. Is f a composite number?
True
Suppose 32 + 16 = -4*h. Let l(p) = p**3 + 16*p**2 + 14*p - 17. Is l(h) a prime number?
False
Suppose 5*k = -2*r - 73, -3*k = -2*r - 36 + 3. Let w = 2 - 5. Is (r/9)/(2/w) a composite number?
True
Let r = -4 - -5. Is (r/(-1))/(1/(-11)) a prime number?
True
Let r = -1 + 5. Is (-239)/(-2) - r/8 composite?
True
Suppose 5*x = -3*a + 15, 0 = 2*a - 3*x - 0*x - 29. Let v = 16 - a. Is v composite?
True
Let a = 4 - 5. Let v be (23/1)/(a/(-2)). Suppose 5*x + v = n + n, -4*n - 3*x = -92. Is n prime?
True
Suppose 2*o - 38 = -g + 123, g + 3*o - 163 = 0. Suppose -2*u + 289 = u + 4*c, -4*u = -4*c - 404. Let w = g - u. Is w composite?
True
Is (0 + -2)*111/(-6) a prime number?
True
Suppose 5*r - 46 + 16 = 0. Suppose 0 = 5*m - r - 9. Suppose m = f + 1. Is f a composite number?
False
Let p(n) = -n**2 + 5*n + 1. Let t be p(5). Let w = t + 54. Is w composite?
True
Is (2 + (-4)/8)*(-15654)/(-9) composite?
False
Is ((-3545)/(-15))/((-2)/6*-1) composite?
False
Let c be (-1)/2 + 298/4. Let r = -3 - -7. Suppose -2*l - c = -r*l. Is l prime?
True
Let r(v) be the first derivative of 0*v**2 + 4/3*v**3 - 4 + 5*v. Is r(6) a prime number?
True
Let w(o) = 1 + 3*o - 18*o - 4*o. Let y be w(-1). Is 672/y - 2/(-5) composite?
True
Suppose -10 - 8 = 2*m. Let i = m + 11. Suppose i*c + c = 9. Is c a prime number?
True
Suppose -5*o + o - 1336 = -4*c, -2*c + 3*o + 665 = 0. Is c a composite number?
False
Let g be (-4 + 0)/2 - -38. Let i(j) = 39*j + 3. Let v be i(3). Suppose 3*d + 2*d - 3*t = v, d = 3*t + g. Is d prime?
False
Let h be (1 + -1)/(5 + -7). Suppose -a - 2 - 2 = h, -786 = -2*v - 2*a. Is v a composite number?
False
Suppose -5*k = 13 - 38. Suppose -k*z - u = 304, -4*z - 190 = 5*u + 49. Let j = 110 + z. Is j prime?
False
Suppose -5*k + 20 = 5. Suppose 108 = k*f - 519. Is f prime?
False
Let g = 5 + -8. Let h = g - -6. Suppose -h*n + 5*u + 1 = 0, -4*u = -4*n - 5*u + 9. Is n a prime number?
True
Let o = 77 + -26. Is o a prime number?
False
Let g = -61 + 75. Is g composite?
True
Let a = 4 + -6. Let x be 71 + (-2 + 2)/a. Suppose 4*g - 134 = -2*o, g + x = 3*g + 5*o. Is g prime?
False
Let r(g) = 5*g**2 + g + 1. Is r(-4) a composite number?
True
Suppose 2*h - 334 = 1012. Is h composite?
False
Let l be ((-36)/63)/(1/(-7)). Is l/10 - 4765/(-25) a composite number?
False
Is 66/44*(-5)/((-15)/4106) a prime number?
True
Let y(p) = -3*p - 1. Let v(s) = -8*s - 3. Let q(j) = 2*v(j) - 7*y(j). Is q(1) prime?
False
Suppose -6*c + 640 = -c. Suppose 0 = 4*v + w - 123, -7*v + 3*v + 4*w + c = 0. Is v composite?
False
Suppose 2*n - 315 = -n. Let m be (-1)/6 - n/18. Let s(p) = -p**3 - 5*p**2 + 3. Is s(m) a prime number?
False
Let f(h) = 62*h**2 + 6*h + 17. Is f(-5) a prime number?
False
Let s = -38 - -84. Is s a composite number?
True
Let d(v) = 5*v**2 + 2*v + 5. Is d(-4) a composite number?
True
Let x be (8/(-6))/((-4)/246). Let f = x + 16. Let u = -49 + f. Is u prime?
False
Suppose 35 - 9 = 2*f. Is f prime?
True
Let b(z) = 0*z - z**3 - 12 + 0*z + 3*z**2 + 9. Is b(-3) composite?
True
Let n(g) = -69*g + 2. Let y be n(4). Let w = y + 567. Is w composite?
False
Let g = -73 + 126. Let f = g - 32. Suppose -4*b + f = -319. Is b a prime number?
False
Let p = 16 + -14. Suppose p*n + 4*q - 1359 = -q, 0 = -5*n + 2*q + 3383. Is n a prime number?
True
Suppose -5*c = -3*a - 7839, -4*a - 2267 - 863 = -2*c. Is c prime?
Fa