ppose 2*n + n - i = 0, -n = 3*w - 114. Suppose 0 = 5*a, 0 = -2*f + f - a + w. Is f a prime number?
True
Let a(d) = -4*d**3 - 5*d**2 - 3*d - 1. Let b(p) = -4*p**3 - 4*p**2 - 3*p - 1. Let r(t) = 3*a(t) - 4*b(t). Is r(3) prime?
True
Let m(k) = -k**3 + 8*k**2 + 3*k + 9. Let x = -4 + 12. Is m(x) prime?
False
Let z(s) = -s**3 + 20*s**2 - 5*s - 9. Is z(8) a composite number?
False
Suppose 5*b - b - 20 = 0. Suppose 0 = -b*f + 2*i - 7*i + 90, -2*f - 4*i = -40. Let l = f - -6. Is l composite?
True
Let f be 4/10 + 186/(-15). Let v(k) = k**2 + 11*k - 6. Let s be v(f). Is (-30)/(-10)*28/s prime?
False
Let v(h) = -h**3 + 14*h**2 + 15*h + 7. Is v(15) a prime number?
True
Suppose 5*g - 491 = -91. Suppose 0 = 3*m - g - 142. Suppose -4*u - m + 550 = 0. Is u composite?
True
Let z(m) = -5*m**3 - 11*m**2 - 3*m - 1. Is z(-6) a composite number?
False
Suppose -3280 + 501 = -m. Is m a prime number?
False
Let g(x) = 8*x - 5. Let y be g(5). Suppose y + 53 = q. Suppose -q = -2*j - 2*j. Is j composite?
True
Let n(r) = -11*r**3 + 26*r**2 - 7*r + 4. Let q(g) = -5*g**3 + 13*g**2 - 3*g + 2. Let l(k) = 6*n(k) - 13*q(k). Is l(-13) composite?
False
Suppose -23609 - 5466 = -5*g. Is g a composite number?
True
Let u(c) = 129*c**2 + 2*c - 1. Is u(2) prime?
False
Let j = -28 + 48. Suppose 0 = -5*v + 125 - j. Is v a composite number?
True
Let d(p) be the second derivative of 2*p**5/15 - p**4/24 - p**3/6 + 2*p. Let v(j) be the second derivative of d(j). Is v(1) composite?
True
Suppose 0 = -4*k, 13*i + 2*k - 2903 = 12*i. Is i prime?
True
Is 12/4 + (-3)/(6/(-710)) prime?
False
Let k(y) = 133*y. Is k(1) prime?
False
Let f be ((-4)/5)/(3/75). Suppose -2*q = -1 + 3. Is q/5 + (-1944)/f composite?
False
Suppose -5*y + 0*j + 2213 = -j, 2*y - 880 = 3*j. Is y prime?
True
Let a(q) = -q + 9. Let h be a(4). Suppose -2*o + 3*o + x = 6, -h*x = 3*o - 22. Suppose o*y - y - 159 = 0. Is y prime?
True
Let r(t) = -5*t**3 + 2*t**2 - t. Suppose -l = -3*j - 4, 0 = 5*l - 2*j + j - 6. Let d be r(l). Is (-2)/d + 314/4 prime?
True
Is (-36)/(-126) - (-934)/14 a prime number?
True
Suppose -h = -493 - 1608. Is h a composite number?
True
Suppose -2563 - 10462 = -5*d. Is d a prime number?
False
Let d be 1*4*(-18)/(-12). Let n(b) = b**2 - 3 + d + 2*b - 1 + 1. Is n(-4) composite?
False
Let p = -616 + 1083. Is p prime?
True
Suppose -364 + 79 = -3*r. Is r a composite number?
True
Let c = 295 - 168. Is c a composite number?
False
Let n(p) = p**2 + 2*p + 8. Let u be n(6). Suppose 0 = s - 3*m, -u = -5*s + 3*m + 4. Is s a prime number?
False
Let q(d) = 1738*d**2 - d + 2. Is q(1) composite?
True
Suppose k = 3*k - j + 365, -3*j = -k - 170. Let p be 1 - k - (-3)/(-3). Is (3/3)/(1/p) prime?
False
Suppose 3*z = -3 + 6. Let m be (4/(-8))/(z/(-1324)). Is (m/(-4))/(8/(-16)) prime?
True
Let n be ((-5)/20)/(1/(-4)). Suppose -b + 2 = -n. Suppose 3*d + s = -b*s + 21, 0 = -d - 4*s + 7. Is d a prime number?
True
Let s be (-6)/15 + 203/(-5). Let k(h) = -8*h + 6. Let d be k(-7). Let u = s + d. Is u a composite number?
True
Suppose -4*a + 215 = -3*d, 2*d - 10 + 4 = 0. Is (-2)/7 + 5336/a prime?
False
Let b be 12/5*20/(-3). Is (-1)/1 - b*2 prime?
True
Let r be (-1)/(-3)*(10 + -1). Suppose 2*s = -r*s + 265. Is s composite?
False
Is (-2)/((-8)/4308*3) prime?
True
Suppose 3*z - 20 = -8. Suppose -z*k = -9*k + 5*r + 30, -r = 2. Suppose k*c - 2*l = 8 + 62, 5*l - 20 = -3*c. Is c prime?
False
Suppose -2*g = 3*g - 740. Suppose -y = y - g. Is y a prime number?
False
Let m(l) = -6*l**3 + 7*l**2 + 11*l + 7. Is m(-5) a prime number?
True
Suppose 3*q + 18 = 4*i + 5, -4*i + 7 = -q. Is q*(-2)/3 - -75 a prime number?
False
Let f be ((-6)/(-2) + -2)*0. Suppose f = -4*q + 2*t + 16, -4*t = -2*q - 3*q + 26. Is q/(6/213) - 2 a prime number?
False
Let d be 2/4 + (-2433)/(-6). Let w = 1041 - d. Suppose 2*j + j - 4*c = 381, -w = -5*j - c. Is j a prime number?
True
Let u be 6/14 - (-1488)/56. Suppose u + 924 = 3*w. Suppose -5*t + 15 = 0, -2*s = -t + 2*t - w. Is s a prime number?
True
Let u(v) = -163*v + 9. Is u(-10) a composite number?
True
Let f(t) = -t**2 + 6*t + 4. Let j be f(7). Is 66/4*(-22)/j a prime number?
False
Let t = -71 - -130. Is t a prime number?
True
Let t = 289 + -709. Let n be ((-54)/(-15))/(3/t). Let j = 715 + n. Is j a prime number?
True
Let w(p) be the first derivative of 1/3*p**3 - 6*p + 0*p**2 + 2. Is w(-5) a prime number?
True
Let k(h) = 32*h - 1. Let q be k(2). Let g = -31 + q. Let i = g - 18. Is i a composite number?
True
Suppose -15*m + 1778 = -8*m. Is m composite?
True
Let p = 148 - 65. Suppose -4*u - 36 = -a, -2*u + 3*u + 1 = 0. Let c = p - a. Is c a prime number?
False
Suppose -4*a - 16 = 0, -4*w = -w - 4*a - 145. Suppose -2*u + b = -w, 2*u - 56 = 2*b - 8. Is u a prime number?
True
Let c = 10 - 5. Let o(m) = 7*m**2 - 6*m + 4. Is o(c) a composite number?
False
Let o = -514 - -1013. Is o a prime number?
True
Is -2*((-119)/2 - 1 - 3) a composite number?
False
Let u be (3/2)/((-2)/(-28)). Let j = 62 + u. Suppose 0 = 2*k - j - 15. Is k a prime number?
False
Suppose 254 = 8*g - 6*g. Is g a prime number?
True
Suppose -3*o - 367 = -2*z, -3*o = 5*z - 1250 + 280. Is z a prime number?
True
Let g be 2 - (-1 - 2)*1. Suppose g*o = 2*o - 4*q + 41, -3*o + 29 = -2*q. Is o prime?
True
Let q(j) = 37*j - 48. Is q(19) composite?
True
Let b = 6 - -1. Let v = b - 5. Is (-1 + v)/((-1)/(-37)) a composite number?
False
Let r(l) = 169*l + 1. Is r(4) a prime number?
True
Suppose -3*i - 4 = -5*i. Suppose 2*f = 5*q - 15, i*f + 10 = -q + 1. Let d(h) = 11*h. Is d(q) a composite number?
False
Suppose -2*w + a = -234, -3*a + 16 = -7*a. Is w a prime number?
False
Let h(o) = -7*o**2 + 10*o + 4. Let s(b) = b. Let l(r) = h(r) - 2*s(r). Let p be l(-6). Is p/(-6) + (-2)/6 composite?
True
Let q(h) = -h**2 + 11*h - 1. Let i be q(6). Suppose 0 = -5*y + 7 + 13. Let w = y + i. Is w a composite number?
True
Let x be (2 + 16)*(-40)/6. Let d(b) = -196*b**2 - 1. Let r be d(-1). Let v = x - r. Is v composite?
True
Let x(o) = 113*o**2 - o + 1. Suppose -3 = -2*i - 1. Is x(i) a prime number?
True
Suppose 0 = -3*a + 7 + 8. Suppose 4*y = 4*u - a*u + 23, 2*u = 3*y + 35. Is u a prime number?
True
Let m = -872 - -1581. Is m a composite number?
False
Suppose -3091 = -4*q + 457. Is q prime?
True
Suppose 5*a = -2*h + 4, -4*a + 2*h + 3 - 7 = 0. Is 3/(6/76 + a) a prime number?
False
Let l = -6 + 10. Suppose -3*r + 4 = -i, -r = -l*i - 12 - 4. Suppose 3*u - 82 = -5*x, -5*u + r*x + 115 = 4*x. Is u prime?
True
Let b be (-1)/(-2)*0/4. Suppose -2*v + 5*v - 4*h - 562 = b, -408 = -2*v - 4*h. Is (-2 + (2 - v))/(-2) composite?
False
Suppose -8*i + 9 + 15 = 0. Let l(a) = -9*a**3 + 7*a**2 + a + 5. Let b(g) = -4*g**3 + 3*g**2 + 2. Let z(j) = -5*b(j) + 2*l(j). Is z(i) prime?
False
Suppose -p + 1839 = 5*c - 3*c, 0 = -c - p + 920. Is c a prime number?
True
Let n = 283 + -92. Is n a prime number?
True
Let f(v) = -53*v - 2. Is f(-1) composite?
True
Let h = -1 - -1. Let p = 0 - h. Let m = p + 6. Is m composite?
True
Suppose -5*x - w = -1169, -5*x - 2*w = -7*w - 1145. Is x a prime number?
True
Let c = -15 + 9. Is 1*-38*3/c prime?
True
Let u(j) = -18*j**3 - 6*j**2 - 8*j + 7. Let n(z) = 54*z**3 + 17*z**2 + 23*z - 20. Let a(k) = 6*n(k) + 17*u(k). Is a(1) a composite number?
False
Let w = 4 - 9. Let z(a) = -38*a - 5. Let d be z(w). Suppose r - d = -4*r. Is r a prime number?
True
Let c = 285 + -151. Let f = c + -91. Suppose -4*o + 225 = -f. Is o a composite number?
False
Suppose -1 + 7 = 3*c. Suppose c*k - 14 = 32. Is k a prime number?
True
Let a(f) = -f**3 - 6*f**2 + 6*f - 7. Let g be a(-7). Suppose g = -j + 6*j + 2*c - 103, 0 = j - 5*c + 1. Is j a prime number?
True
Let w be (-262)/(-14) - 6/(-21). Suppose -5*d = -4*l - l - 35, d + 2*l - w = 0. Is d a prime number?
True
Suppose 3*k + 123 = a - 0*a, -2*k + 478 = 4*a. Suppose -3*f = -5*u - a, -7*u - 120 = -2*u + 2*f. Let j = 59 + u. Is j prime?
False
Let c = -2 - -5. Let x be c/3 + 2 + -9. Let p = x + 12. Is p composite?
True
Let c(s) be the first derivative of s**2/2 + 2*s - 1. Let j be c(-2). Suppose z - 29 - 8 = j. Is z a composite number?
False
Let f(j) = -j**3 + 7*j**2 - 5*j - 4. Suppose -11 = 4*d - 35. Let h be f(d). Suppose h*p + 5*i = 141, -8*i = -5*p - 3*i + 440. Is p prime?
True
Suppose 721 = -4*z + 6309. Is z a composite number?
True
Let f(a) = a**2 + 3*a - 15.