3 = -4*s + 5*g. Is s prime?
True
Let r(z) = 165*z - 1. Let m be r(-5). Is (1 - (-6)/(-4))*m a composite number?
True
Let i(s) = -2*s**2 - 5*s - 6. Let j(d) = -d**3 + d - 1. Let x(z) = i(z) + j(z). Suppose 24 + 0 = -4*m. Is x(m) a composite number?
True
Suppose 3*m = h + 3*h - 31, -2*h = 2*m + 2. Suppose 0 = -0*l + h*l - 228. Is l a composite number?
True
Let f(v) = 4*v**3 - v**2 - 2*v + 3. Is f(4) composite?
True
Let i(q) = q**3 + 13*q**2 - 9*q + 16. Is i(-13) a prime number?
False
Let x(a) be the third derivative of 7*a**4/4 + 5*a**3/6 - 8*a**2. Is x(3) composite?
False
Let i(x) = -x + 3. Let t be i(5). Let o be 2/((-2)/t) - -65. Let c = o - 48. Is c prime?
True
Suppose 3*m = -z + 63, -2*m + 0*m - 53 = -z. Is z composite?
True
Let p(x) = -x**3 - 3*x**2 + 2*x + 3. Let r be p(-3). Is (75 - r)*6 + -1 prime?
True
Suppose -5*p + 3183 = 4*c, 5*c = 2*c - 2*p + 2389. Is c composite?
False
Let n(p) = p**3 - 7*p**2 + 5*p - 1. Let i be n(6). Let z(u) = -4*u**2 + 4*u - 3. Let d be z(2). Let s = i - d. Is s a prime number?
False
Let p = 357 + -198. Is p prime?
False
Let g be 3/(-1)*(-16)/6. Let q(w) = w**2 + 6. Let a be q(6). Is a/4 + 4/g a prime number?
True
Let q = 124 - 39. Is q composite?
True
Let q = -2 + 2. Let k = 4 + q. Is (-1)/k - 317/(-4) a composite number?
False
Suppose -3*o - o = 5*h - 8, 3*h - 4 = -2*o. Suppose 0 = g - 6*g + 5, -y + 4*g + 81 = h. Is y a prime number?
False
Let n = 6 + -6. Let r(q) = -q**3 + q**2 + 257. Is r(n) prime?
True
Is (23/2)/(((-150)/(-220))/15) prime?
False
Suppose -6*p = -11*p. Suppose -2*x + 1926 - 656 = p. Is x a composite number?
True
Let t(j) be the third derivative of j**4/6 + j**3/6 - 2*j**2. Let a be t(3). Let c = 50 - a. Is c composite?
False
Let r(u) = u**2 + 10*u - 3. Let v = 29 + -21. Is r(v) a prime number?
False
Let s be 0 + 64 + 6/(-3). Suppose -2*c = -s - 8. Is c prime?
False
Suppose 2*x + 3*k + 1800 = 5*x, -x - 2*k + 612 = 0. Suppose 3*y + 5*i - x = 0, -5*y = 3*i - 836 - 176. Is y prime?
False
Suppose -4*q - 4*w - 505 = -5*q, 4*q - 2080 = -4*w. Is q prime?
False
Let x = 58 - 82. Let n(w) = -3*w**2 + w. Let v be n(-1). Is (-341)/v + 6/x a prime number?
False
Let t = -5 - -1. Is (-387)/(-5) + t/10 a prime number?
False
Suppose -5*a + 336 = -a. Suppose t + 4 = -3. Let l = a + t. Is l composite?
True
Suppose 31 + 246 = -2*x - 5*r, -r = -5*x - 679. Let u = 58 + x. Let t = -41 - u. Is t a composite number?
False
Suppose -3*y + c + 0 = 5, y = 5*c - 11. Let x(w) = 2*w**2 - 9*w**3 + 3 - w**2 - 4. Is x(y) a composite number?
True
Suppose 4*t = -3*j - 32, 6*t = -4*j + 4*t - 26. Is -7*-3*j/(-6) a composite number?
True
Let p = -222 + 435. Is p prime?
False
Let m = 264 - 173. Suppose -2*u = 4*s + 8, -2*u + 3*s = -3*u - 6. Suppose c + u*c = m. Is c prime?
False
Suppose -5*z + 121 = -4*i, -2*z - i = -6*i - 62. Let s = z - 2. Is s prime?
True
Let u = -33 + 55. Suppose -2*h - 241 = -z - u, -5*h = z - 233. Is z a composite number?
False
Let x be 1 + (-1 - -2) - 22. Let o = x - -11. Let a(h) = h**3 + 10*h**2 + 5*h + 1. Is a(o) a composite number?
False
Let h = 2346 - 653. Is h a composite number?
False
Suppose -3*u + r - 3 = 0, -5*u + 0*r = -r + 5. Let l(j) = -299*j**3 - 2*j**2 - 3*j - 2. Is l(u) a composite number?
True
Let c(z) = -9*z**2 - 8*z + 25. Let y(u) = 4*u**2 + 4*u - 12. Let j(h) = -6*c(h) - 13*y(h). Let b be j(5). Let s = b - 1. Is s composite?
True
Is ((-6)/9)/((-4)/3546) composite?
True
Suppose -4*g + 1897 = 3*o, 3*o + 2*g - 436 - 1465 = 0. Is o a prime number?
False
Let n = 8128 - 5295. Is n composite?
False
Let h(b) = -9*b + 2. Let q be h(2). Is -2*2/(q/844) prime?
True
Is 1138 + 3/4 + 2/8 prime?
False
Let i(n) = n. Let z be i(3). Let h(s) = 3*s**3 - 2*s**2 - 2*s - 4. Let k be h(z). Suppose 0 = 5*p - 5*d - 260, 2*p + 4*d - 21 - k = 0. Is p composite?
False
Suppose 3*j = 65 + 196. Is j a composite number?
True
Let m(q) = 395*q**2 - q + 1. Is m(1) a prime number?
False
Suppose 0*d - d = -t - 3, -3*d - 4*t + 16 = 0. Suppose d*g = 3*g + 2*q + 4, 3*g + 21 = -5*q. Is (1 - g/(-1))*-97 composite?
False
Suppose -5*h + 1758 = h. Is h a prime number?
True
Let z be 10/(-15) + (-19)/3. Is (-360)/(-14) + (-2)/z a composite number?
True
Let p be -6 + 4 - (-3 - -1). Is (2 + p)*(-13)/(-2) composite?
False
Let t(m) = -m**3 + 10*m**2 + 11*m + 5. Suppose 0*c = 3*c + 12, 2*a - 18 = -c. Let b be t(a). Suppose -158 = 3*q - b*q. Is q composite?
False
Let s = -2 + 10. Let x(d) = 5 + 3*d**2 + 3*d**2 - 5*d**2 - 2*d. Is x(s) a prime number?
True
Let f(u) = -5*u - 6. Let p(x) = 5*x + 5. Let c(d) = 5*f(d) + 6*p(d). Let g be c(1). Is g/((-111)/57 + 2) a prime number?
False
Let y = 338 - 236. Let d = 23 - y. Let n = -48 - d. Is n a prime number?
True
Let w = 23 + -9. Let b = 237 - w. Is b composite?
False
Is ((-4)/(-24)*-2)/((-1)/10221) composite?
False
Let d(j) = -j**3 - 2*j**2 - j. Let y be d(-1). Suppose y = 4*k + 3*h - 203, -5*k - h + 118 = -122. Let x = 84 - k. Is x composite?
False
Let d be (8/3)/((-4)/(-6)). Let t(o) = -o**3 + 5*o**2 + 2*o - 1. Let h be t(4). Let i = h - d. Is i a composite number?
False
Is -6*3/(-27)*9489/2 prime?
True
Let s = -39 - -86. Suppose -l + s = 10. Is l prime?
True
Let i(o) = 5*o - 1. Let s(f) = -f - 1. Let u(a) = -i(a) - 3*s(a). Let c be u(-6). Suppose c + 8 = 4*l. Is l prime?
False
Suppose 31 = 3*n + 721. Let x = n - -100. Let w = -41 - x. Is w prime?
True
Let d(b) = 3*b**2 - b. Let i be d(-1). Suppose 3*v - 2107 = -i*n, 0 = v - 5*v - 5*n + 2809. Is v prime?
True
Suppose 2*q - 42 - 64 = 0. Is q prime?
True
Is 133 + -1 + 1 + 0 prime?
False
Let s(c) = 1 - 4*c - 2 + 0*c**2 + 2*c**2 + 2. Is s(5) composite?
False
Let h = -72 + 235. Is h a composite number?
False
Let s(g) be the third derivative of 0 - g**2 + 0*g + 1/15*g**5 - 2/3*g**3 + 1/24*g**4. Is s(3) a composite number?
True
Let b = 35 - 2. Is b prime?
False
Let k = 5373 - 3424. Is k prime?
True
Let k = 4998 - 3267. Is k a prime number?
False
Let z(m) = -6*m + 3. Let q(l) = -5*l + 3. Let r(i) = 4*q(i) - 3*z(i). Let t be r(-8). Let a = t - 13. Is a a prime number?
False
Suppose 3*u = k + 13, 5*u - 3*k - 7 = 16. Let m(d) = 16*d - 6. Is m(u) prime?
False
Let l be (-5)/(-2) - 2/(-4). Suppose 6*u - 3*u - 5*d - 111 = 0, -l*d = 5*u - 185. Is u a composite number?
False
Let r(f) = f**3 + 4*f**2 + f + 4. Let j be r(-4). Suppose -l + 1 = -2*w, -3*w + 12 = -j*l + 3*l. Is w*((-106)/(-2))/1 a composite number?
False
Suppose 5*x - 777 = 268. Is x composite?
True
Suppose 2*j + 3*l = 0, j + 3*l = -0*j. Suppose j*v - 18 = -3*v. Let g(i) = i**3 - 5*i**2 - 3*i - 8. Is g(v) a prime number?
False
Let l(q) = 10*q**2 + 4*q - 8. Let g be l(-6). Suppose -4*k + 288 = 4*i, 4*i = -0*k + 4*k + g. Is i prime?
False
Let a = 191 + -84. Suppose a = 3*p - 52. Is p prime?
True
Is 37380/231 + (-2)/(-11) - 1 prime?
False
Suppose 6 = 4*u + 2*k, -u - 2*k - 5 - 1 = 0. Is (-3 - 1/u)*-4 prime?
True
Suppose -2*r + 7*r - 5419 = 4*y, 4*r - 4336 = 3*y. Is r composite?
False
Suppose 3*m - 344 - 34 = 0. Let h be m/6*(-4)/6. Let t = h + 33. Is t a composite number?
False
Let q(y) = -y + 10. Suppose -v = -4, 2 = o + 5*v - 11. Let b = o + 14. Is q(b) composite?
False
Let z(q) = 179*q + 2. Is z(1) a composite number?
False
Let d = -8 - -133. Let q = d + -68. Suppose -o = -3*s + 200, 4*s - 5*o - 228 = q. Is s a prime number?
False
Suppose 0*d = -3*b - 5*d + 674, 2*d + 10 = 0. Is b prime?
True
Let r = -1482 + 2862. Suppose -2*v - 3*v + r = 0. Suppose 5*k + v - 761 = 0. Is k a composite number?
False
Suppose 0 = -6*s + 2*s + 12. Let i = s - 8. Let n = i + 9. Is n composite?
True
Suppose 4*y = 3*r + 34, 4*r + y + 3*y = -8. Let g(x) = -25*x - 7. Is g(r) a prime number?
False
Let n(m) = -173*m - 16. Is n(-3) prime?
True
Suppose 5*x - 136 = -5*j + 149, 5*x - 10 = 0. Suppose -4*a = -21 - j. Suppose 3*z - 20 = a. Is z a prime number?
True
Let n = -6 - -62. Suppose -5*o = p - 69, 3*p = o - n + 231. Is p composite?
False
Suppose 24 = -2*n + 6*n. Suppose n*b - b = 0. Suppose -3*u = v - 200, 3*v = -b - 3. Is u composite?
False
Let g be 47 - (0 - -1) - 1. Suppose -5*o = g - 1100. Is o a prime number?
True
Let s = 2 - -10. Let l be 1 + 1 - s/(-4). Suppose 0 = -l*j - w + 5*w + 415, j = 3*w + 94. Is j a prime number?
True
Let m be 10/(-4)*(-66)/5. Suppose -2*l = -41 - m. Is l a prime number?
True
Let g(a) = 4*a 