h**2 - 6*h - 6. Let a be y(-6). Let v = 1 + a. Is v a prime number?
False
Let z(u) = -u**2 + 1. Let n be z(-4). Is 6/(-4)*470/n a prime number?
True
Suppose -442 + 80 = -2*k. Is k a composite number?
False
Let l(d) = -60*d + 4. Let h be l(-3). Let o = h - 68. Suppose w - p - o = 0, 0 = 4*w + w + 2*p - 615. Is w a composite number?
True
Let i(p) = -p**3 + 11*p**2 - 5*p + 15. Let v be i(11). Let r = -3 - v. Is r prime?
True
Suppose 2*j = 3*j - 9. Is (-11669)/(-63) - 2/j a composite number?
True
Let w(l) = l**2 - l + 2. Is w(9) prime?
False
Let y = 1 + -3. Let t be y/4 + (-21)/(-6). Is 4/(-6) - (-107)/t a prime number?
False
Suppose 0*w - 1262 = -2*w. Is w composite?
False
Suppose -x - 2*x + 17 = -g, -3 = -2*x - g. Suppose 2*d + 2*a - 22 = 7*a, x*d = 5*a + 24. Is ((-46)/(-4) - d)*2 a prime number?
False
Let x be 3/((-3)/(-2) - 1). Suppose 2*s = s + x. Suppose -121 = -s*q + 2*q - w, -q = -3*w - 40. Is q a prime number?
True
Suppose -5*p + p + 504 = -5*g, 5*p = 4*g + 639. Is p a prime number?
True
Let z = 71 - 40. Is z prime?
True
Let i(m) = 4*m**2 + 3*m + 4. Is i(-3) composite?
False
Suppose -2*w + 10 = 0, 0 = -0*u - 2*u - 2*w + 216. Let p = u + -70. Is p a prime number?
False
Let o(k) = -k**3 + 8*k**2 - 7*k + 9. Let r = -8 - -14. Let g be o(r). Is g - (1 - (-1 - 0)) a prime number?
True
Suppose -2*p + 2 = 0, -2*k + 4*p + 11 = 3*p. Let f = k - 3. Suppose -f*m + 4*m = 133. Is m a prime number?
False
Let y = -2 + 3. Let x be y/((-3)/(-3*2)). Is 1/(1/26*x) prime?
True
Is (2317/28)/(1/4) a prime number?
True
Let j(s) = 6. Let z(w) = -w - 6. Let h(d) = 6*j(d) + 7*z(d). Is h(-4) prime?
False
Is 4/(-18) + ((-85775)/45)/(-5) composite?
True
Let b = 553 - 344. Is b composite?
True
Suppose 382 = g + g. Is g a composite number?
False
Suppose 16 - 14 = y. Is y/(1113/(-1119) - -1) a composite number?
False
Let j = 6 + -2. Let z = 284 - 106. Suppose j*d - 5*a = 116 + 19, -5*d - 3*a = -z. Is d a composite number?
True
Suppose 4*r = -4 + 20. Suppose 4 = -r*w + 12. Suppose 2*i = -4*j + 74, 5*j + 23 = -w. Is i composite?
False
Let o(w) = w**3 + 22*w**2 + 46*w. Is o(-19) composite?
True
Let r be (-3 - 1) + 0 + 0. Let s be 25/r + 2/8. Let v(f) = -f**3 - 5*f**2 - 4*f - 7. Is v(s) a prime number?
True
Let p(k) = -k**3 + 2*k**2 - 2*k - 9. Is p(-6) prime?
False
Let o = 550 + 493. Is o prime?
False
Let f(l) = -21*l - 2. Is f(-5) a composite number?
False
Suppose 16 = 4*h + 4. Let b = 7 - h. Suppose -g = -b - 3. Is g composite?
False
Suppose -i + 1 = 9. Let j(x) = -71*x - 5. Is j(i) composite?
False
Suppose -7*y + 163 = -6*y. Is y a composite number?
False
Let m(f) = -8*f**3 - f**2 - 2*f - 1. Let z be m(-1). Suppose z*b - 4*b = 0. Suppose b*c = -c + 51. Is c composite?
True
Let i be (-32)/(-3)*(-18)/(-4). Let g = 17 + -20. Let o = i - g. Is o prime?
False
Let z = -3 + 5. Suppose 2*c + 2*g + 4 = 4*g, 0 = z*c - g. Suppose c*l - 144 = -5*v, -3*l - 4*v + 2*v = -227. Is l prime?
False
Is 53 - (-2 + (3 - 5)) prime?
False
Suppose 5*q + 632 = -28. Let t = -49 - q. Is t a prime number?
True
Is (-3)/2*4912/(-12) prime?
False
Let m(l) = -5 - 30*l + 2 + 4. Suppose -w = 3*p - 8 - 3, 4*w - p + 8 = 0. Is m(w) prime?
True
Is ((-2228)/8)/(1/(-2)) a prime number?
True
Let s(p) = 20*p**2 - 1 + 14*p**2 + 3*p + 0 - 11*p**2. Let d(f) = -f**2 + 6*f + 2. Let z be d(6). Is s(z) prime?
True
Let x = -8 - -12. Suppose -x*n - 27 + 399 = 0. Is n composite?
True
Suppose -5*t - 462 = -4*k - 0*k, t = 4*k - 454. Is k composite?
False
Let q(n) be the second derivative of n**3/6 - 3*n**2/2 + n. Let x be q(5). Suppose -2*a - 3*a = -x*o + 46, -92 = -4*o - a. Is o a prime number?
True
Suppose 384 = 2*x + a, 1 - 3 = -a. Is x a prime number?
True
Let f(l) = l**2 - 6*l - 8. Let x = -12 - -18. Let s be f(x). Let v = s - -29. Is v composite?
True
Suppose -5*z = 3*l - 2, 0*z - 2 = l + 3*z. Suppose 0 = -4*n - l*c + 48, -2*n = n + 5*c - 34. Is 1*n*(-2 + 3) composite?
False
Suppose 0 = -2*z + 2, 4 = 4*g + z - 17. Suppose 5*t + 4*v + 346 = 90, -g*t - 2*v - 258 = 0. Let r = t + 107. Is r a prime number?
False
Suppose 0 = 5*s + 2 - 12. Suppose 0 = -2*w + s*x + 2, 7 = 3*w + 5*x + 20. Let n = w - -14. Is n prime?
True
Suppose -2*n + 4 = -0*n. Suppose -2*c = -c - n. Suppose -m = -0*i - c*i + 7, 25 = 5*m. Is i a prime number?
False
Let g = 8 + -5. Let v = -7 + g. Is 171/(-6)*v/6 composite?
False
Suppose 1 - 2 = u. Is ((-285)/(-9))/(u/(-3)) a composite number?
True
Is (0 + -1)/(8/(-104)) a composite number?
False
Let p(t) = -t**3 + 5*t**2 + t - 3. Let b be p(5). Suppose -x = -b*g + 3*x + 132, 4*g - 240 = 2*x. Is g prime?
False
Let n = -7 + -54. Suppose -3*s + 2*z = -364, -2*s - 3*z + 102 = -119. Let p = s + n. Is p composite?
True
Let d(i) = -2*i**2 + 1. Suppose -2*c - 3*c = 5. Let x be d(c). Is (x + 160/(-3))*-3 a prime number?
True
Suppose -3*f - f = 0. Suppose 2*a + 3*j + 2 = f, 5*j + 1 = -0*a - a. Is 1 + -1 + a - -47 a composite number?
True
Suppose y + 2*g = 46, -g - 30 = -y + g. Is y a composite number?
True
Let t = -537 + 1004. Is t prime?
True
Suppose 0 = 5*p + 5*q - 50, -16 = -3*p + 5*q + 6. Let o = p + 44. Is o prime?
True
Let a be -102*1/(-2) + 2. Let c = a + 0. Is c a composite number?
False
Let g = -11 + 6. Let t(a) = -7*a. Let x be t(g). Let q = x + -20. Is q composite?
True
Let o(t) = t**2 + t + 1. Let n(w) = -13*w**2 + 4*w + 4. Let m(f) = -n(f) + 3*o(f). Is m(4) a composite number?
False
Suppose -52 = 3*q - 7*q. Is q a prime number?
True
Suppose d = 4*p - d, -3*p = -5*d. Suppose 2*v + 3*k - 6 = k, -v - 4*k + 6 = p. Suppose 2*o - 4 = 0, -62 = -2*w - v*o - 16. Is w prime?
False
Suppose -9 = -4*d + 7. Is (13/d)/((-2)/(-296)) a prime number?
False
Let q = 109 - -10. Is q prime?
False
Is (4/3)/((-24)/(-18))*97 composite?
False
Suppose 4*q - 4*w = 3*q + 8, -w + 15 = 4*q. Suppose -6*h + 28 = -q*h. Is h a prime number?
False
Suppose 2*y - 350 = -0*y - 3*k, 0 = -3*k - 12. Let s = y - -86. Is s composite?
True
Let f(q) = -3. Let s(x) = x + 4. Let m(c) = -3*f(c) - 2*s(c). Let l be m(-1). Suppose 0 = -l*v + 7*v - 220. Is v composite?
True
Let g be -2 + (4 - 3 - 2). Is 1*(g - -2)*-31 a prime number?
True
Suppose 2*w - w = -4. Let g = -1 - w. Suppose -13 = l - g*c, 4*l = 3*c - 0 - 7. Is l prime?
True
Let q be 0/3 + (-2 - -4). Suppose 0*c - c + 1 = q*z, 5*z = -3*c + 1. Suppose z*x - 123 = x + 2*g, 147 = x + 4*g. Is x composite?
False
Let t be (0 + (1 - 1))*1. Suppose t = 4*c - 11 - 1. Suppose -v + c*v - 74 = 0. Is v prime?
True
Let p = 1267 - 852. Is p composite?
True
Suppose 4*v - 876 = -4*t - 0*v, -5*v - 213 = -t. Is t a prime number?
False
Suppose 4*r - z = 1284, 4*r - 1206 - 78 = 2*z. Is r a composite number?
True
Suppose 2*z = 3*u + 87 + 5, 40 = -2*u - 4*z. Let j(i) = i**3 + i + 49. Let r be j(0). Let w = u + r. Is w a composite number?
True
Suppose 4*b = -s + 150, 3*b - s + 2*s = 113. Is b composite?
False
Suppose -59 - 236 = -d. Suppose -2*l + d = -l + h, -h = 5*l - 1467. Is l a composite number?
False
Suppose n = r - 3*r + 65, 0 = 3*n - 15. Suppose -141 = -g - r. Suppose -4*b = -101 - g. Is b a composite number?
False
Suppose -4*n + 6 = -2*s - 14, -n + 2*s + 8 = 0. Suppose n*i = 337 + 43. Is i prime?
False
Suppose 0 = -2*m - j - 2*j + 30, m - 5*j - 41 = 0. Let g = m + -10. Is g composite?
False
Suppose -5*r = 2*q - 4, 2*r + 3 + 1 = 2*q. Suppose -4*o + v + 135 = 0, -4*o - q*v + 123 = v. Is o a prime number?
False
Let s be 4/1*30/(-8). Let d = s + 52. Is d prime?
True
Let t(o) = -4*o**2 + 5*o - 2. Let b(a) = -a. Let l(r) = 5*b(r) + t(r). Let v be l(-5). Let q = 181 + v. Is q prime?
True
Suppose 0 = 4*p + 5*f - 763, 2*f = 5*p - 0*f - 929. Is p a prime number?
False
Let u be ((-16)/(-6))/((-17)/102). Is (194/(-8))/(4/u) a prime number?
True
Let s(l) = -l - 7. Let i be s(-10). Is i + 4/(-4) + 20 prime?
False
Suppose 0 = -2*t - 5*g + 214 + 84, -3*t + 447 = 3*g. Is t prime?
True
Let j(t) = t**3 - 5*t**2 + 6*t + 5. Let u = 5 + 0. Is j(u) prime?
False
Let p = 7 + -2. Suppose -4 = p*g + 16. Let r(s) = s**2 - s + 5. Is r(g) composite?
True
Let f(y) be the first derivative of 34*y**3/3 - 3*y**2 + 5*y + 1. Let p be f(4). Let a = p - 218. Is a a composite number?
False
Let c(p) = 3*p**2 - 1. Let q be c(1). Suppose q*w - 60 = -3*w. Suppose -3*u = -7*u + w. Is u prime?
True
Suppose 8*f = 5*f - 231. Let s = -22 - f. Is s a composi