pose 15*s - 17*s + 4990 = 0. Is s a prime number?
False
Suppose 2*p - 8 = 204. Is p a prime number?
False
Let v be -3*(-2)/6*575. Suppose -u - 4*u = -v. Is u a composite number?
True
Let v(j) = 16*j**2 + 2*j - 6. Let l be v(-5). Let a = l - -203. Is a a composite number?
False
Suppose 0 = -d + 3*d - 194. Is d a composite number?
False
Suppose -4*n - 1164 = 2*y, 0 = 4*n - 3*y - 1 + 1175. Let v = 495 + n. Is v a prime number?
False
Let g(y) = 18*y**2 - 3*y + 7. Is g(-4) prime?
True
Suppose 0*r = r - 5*f - 10, -8 = 3*r + 4*f. Suppose 0 = 4*w - 2*i - 12, 2*w + r*i - 10 = -i. Is w a composite number?
True
Let y(u) = u**3 + 6*u**2 - 2*u + 4. Let b be y(-3). Let l = b - 0. Is l composite?
False
Let n be 35/11 - 6/33. Suppose n*a - 34 = 2*y, 5*a - y = 2*a + 32. Is a a prime number?
False
Suppose -d + 58 = -3*d - 4*c, 0 = d + 3*c + 33. Let t be (-28)/d*(-3)/(-2). Suppose 4*i = t*z + 298, 3*z - z = -5*i + 395. Is i prime?
False
Suppose -m - 5*g + 15 = -4*m, 2*m - 4*g + 12 = 0. Suppose 0 = a - m*a. Let u = a + 7. Is u a prime number?
True
Suppose -233 - 103 = -m - s, -m = 4*s - 351. Is m prime?
True
Let z be (-4)/((-12)/897) + -3. Suppose 23*t + z = 27*t. Is t a composite number?
True
Suppose -h - 3*g - 14 = 0, 17 = 2*h - 2*g - g. Let i = h - -4. Suppose i*f = -3*u + 11, 0 = -2*u - u + f + 23. Is u a prime number?
True
Suppose 0 = -0*f - 2*f - 3*s + 285, -4*f = 3*s - 573. Let y = -61 + f. Is y a prime number?
True
Let b = -1 + 45. Let p(j) = -6*j + 3. Let n be p(4). Let r = b + n. Is r a prime number?
True
Let c = 4 - -4. Let l be (-52)/c + 1/(-2). Is (-2)/7 - 331/l a composite number?
False
Let j = -12 - -9. Let v be (1 + 2 - 0)*-2. Let p = j - v. Is p a composite number?
False
Suppose -5*a = 5*n - 30, 5 = -5*n + 5*a - 15. Is (-74)/(-4)*(n - -1) prime?
True
Suppose 0 = -5*m + 4*i + 3385, -2*m + 438 = -4*i - 928. Is m a prime number?
True
Let i(k) = 4*k**3 - 2*k - 1. Let d be i(-1). Let q be -5*(162/15)/d. Is (-8)/36 - (-130)/q a prime number?
True
Suppose 6*p - p = 15, 5*b - 1940 = 5*p. Is b a composite number?
True
Let k(z) = -4 - 3 + z + 5*z**2 + 3. Let h be k(4). Let x = h + -27. Is x composite?
False
Let h(a) = -133*a + 6. Let l be h(-5). Let t = l + -378. Is t a composite number?
False
Let i(l) = 3 - 7*l + 3 - 4 - 3. Suppose 5*u + 6 = v - 2*v, -4*u - 24 = -4*v. Is i(u) composite?
False
Let d = -29 - -135. Is d a prime number?
False
Let n = 24 - 20. Suppose 80 = 2*u - z, 5*z - 60 = -2*u - 4. Suppose -n*s = -2*s - u. Is s a composite number?
False
Let g(p) be the second derivative of -13*p**5/5 + p**4/6 + p**3/6 - 5*p. Is g(-1) prime?
True
Suppose 4*w + 660 = -w. Let a = w - -203. Is a prime?
True
Let h(d) = 5*d**2 + 13*d. Let u(f) = 6*f**2 + 13*f + 1. Let n(z) = -5*h(z) + 4*u(z). Is n(-6) a prime number?
False
Let r(d) = 189*d**3 + d**2 - d. Let b be r(1). Suppose 0 = -5*g + b - 9. Let u = -23 + g. Is u a prime number?
True
Let i(k) = k**3 + 26*k**2 + 27*k - 13. Is i(-24) composite?
False
Let f be 0/(-3) - 61*-6. Let i = f - 155. Is i a prime number?
True
Let m(i) = 3*i**2 - 2*i + 1. Let d be m(1). Is -1 + d + -3 - -8 prime?
False
Let f(g) = g + 4. Let d be 4/6*105/10. Let q be f(d). Suppose -3*h + 28 + q = 0. Is h prime?
True
Let z be 0 + 1 + 2*1. Is z + -6*(-16)/3 composite?
True
Let r = 60 + 71. Is r prime?
True
Let v(z) = z + 7. Let n be v(-4). Suppose -4*k + s = 23, k = -k + n*s + 1. Let f(h) = -h. Is f(k) prime?
True
Suppose -n + 5*b + 798 = 0, 3*n - b - 1614 = n. Let s = n - 411. Is s prime?
True
Let q(a) = a - 1. Let o be q(8). Suppose 0 = -2*y + o*y + 4*f - 232, -5*y - 3*f + 234 = 0. Suppose -y = -4*z + 8. Is z composite?
True
Let i(s) = 30*s**2 + 4*s - 7. Is i(4) prime?
False
Suppose -3*f = -133 + 655. Let j be f/4*(-8)/6. Suppose l - j = -5*k + 43, -2*l - k + 220 = 0. Is l a prime number?
False
Is 5/5 + 4 - -1312 prime?
False
Let s = 5 + -1. Let q(d) = -d**3 + 3*d - 1. Let y(r) = r**2 + r. Let n(b) = q(b) + 3*y(b). Is n(s) composite?
False
Let i(h) = 385*h - 1. Let u be i(1). Suppose -5*s + 2*j + 487 = 0, u = 4*s + 2*j + 2*j. Is s composite?
False
Suppose 0 = 31*q - 32*q. Suppose 2*l - 35 - 107 = q. Is l a prime number?
True
Is -2 + 5 + -2 - -50 composite?
True
Suppose -q + 185 = 4*q. Is q prime?
True
Let q(d) = d**3 + 8*d**2 - 19*d + 5. Is q(-7) composite?
True
Let m(p) = -63*p**2 + p + 2. Let s(v) = -126*v**2 + v + 3. Let o(g) = 5*m(g) - 3*s(g). Is o(-1) prime?
False
Suppose o = -5*a + 6 + 7, -19 = -5*a + 2*o. Suppose a*j - 14 = j. Is j a composite number?
False
Let r be ((-14)/(-6) - 1)*-3. Let o(a) = 2*a**3 - a**2 + 7*a + 5. Let q(f) = f**3 + f**2 + f. Let n(d) = -o(d) + 3*q(d). Is n(r) composite?
False
Let t = 264 + -137. Is t composite?
False
Let n(r) = 67*r**2 - 8*r - 22. Is n(-5) prime?
True
Let i(t) = 275*t - 4. Is i(3) composite?
False
Let m = -1540 + 2331. Is m composite?
True
Suppose 0 = 3*n - 9, -2*b + n + 42 = 7. Is b a composite number?
False
Suppose -2277 = -0*w - 3*w. Is (-2)/(-5) + w/15 composite?
True
Suppose 0*c = -w + c - 22, -5*w - 125 = -2*c. Let v = w - -41. Is v prime?
False
Let u(h) = 8*h**2 + 14*h + 1. Is u(-11) composite?
True
Let x(a) = -a**2 + 20*a + 23. Is x(18) a prime number?
True
Let m(o) = 4*o**2 + 11*o + 13. Is m(-6) prime?
False
Let b be 148/12 - (-1)/(-3). Let r = 25 + b. Is r a prime number?
True
Suppose -5*t = 2*v - 30, -5*t + 3*v = -t - 47. Suppose -22*c = -20*c - 4. Let i = t + c. Is i composite?
True
Is ((-261)/2)/(-3)*4/3 a composite number?
True
Is -3 - (-83 + 1 + 0) composite?
False
Suppose q = -0*q + 1673. Is q composite?
True
Is 2/((-2)/(-21)*3) a prime number?
True
Let y(a) be the third derivative of -13*a**4/6 + a**3/2 + 2*a**2. Is y(-3) composite?
True
Is -5*(-3 + 1 + -3) prime?
False
Let r = 2 + 45. Suppose 4*p + 19 = r. Let b = 28 - p. Is b a prime number?
False
Suppose -5*m + o + 1540 = -0*o, -2*m = 5*o - 616. Suppose 2*z + 4*q - 90 = z, 0 = 4*z + 3*q - m. Suppose l + l - z = 0. Is l a prime number?
True
Let v be (18/4 + 1)*4. Let q = v - -25. Is q prime?
True
Suppose 2*k - 120 = -0*k - 5*q, 4*k - 214 = 3*q. Is k a prime number?
False
Let o = 58 - 22. Let m = o + -5. Is m prime?
True
Let s be (6/8)/(3/60). Let y = 880 - s. Is y composite?
True
Is 5 + 3 - -211 - (-5 + 1) prime?
True
Suppose 0 = 3*l - 4 - 2. Is l/(-1) + 15*25 a composite number?
False
Is -1 - (-964)/8*4 composite?
True
Suppose -4*s + 7 = 3. Suppose -2*f + 8 = v + s, -5*v = 5*f - 15. Suppose 4*y + 154 = 2*o, -f*o = 5*y + 75 - 318. Is o a composite number?
False
Suppose 0 = 5*v - 3*p - 16280, 2*p + 0*p = 5*v - 16285. Is v a composite number?
False
Let o(k) = -k**3 + k**2 + k + 1. Let v(q) = q**3 - 7*q**2 + 2*q + 1. Let y(m) = 2*o(m) + v(m). Let g(d) = -2*d - 2. Let a be g(3). Is y(a) a composite number?
False
Suppose 16*m = 11*m - 15. Let y = 50 + m. Is y prime?
True
Let d = -2 + 4. Let f(z) = 2*z + z**d + 3*z - 1 - z. Is f(-6) composite?
False
Suppose r = 36 + 3. Let f = r - 28. Is (-2)/f - 3207/(-33) prime?
True
Suppose 50 = -2*q + 188. Let u = q - -77. Let k = -99 + u. Is k composite?
False
Let m be -2 + 5 + -2 + 2. Let n be (12/(-8))/(1/(-2)). Is 0/(m/n) + 31 a prime number?
True
Suppose 2*u + 5*j = -453, 5*u - 2*j - 2*j + 1182 = 0. Let m = u + 443. Is m a composite number?
True
Suppose 3*n - 2277 = 3*p, n - p = -2*p + 763. Is n composite?
False
Suppose 0 = -3*p + 127 - 34. Is p a composite number?
False
Suppose 5*j = b - 42, -5*j = 3*b + 1 + 53. Let l(q) = -q + 2. Is l(j) a composite number?
False
Let l(u) = -93*u - 19. Is l(-5) a prime number?
False
Let a(s) = 2*s - 8. Let h be a(5). Suppose 3*o - 753 = 4*j, -j + 290 + 212 = h*o. Is o a composite number?
False
Let s(f) = -f**2 + 11*f - 3. Suppose 6 + 27 = 3*b. Let h be s(b). Is (-1)/((-2)/412) - h a composite number?
True
Suppose -3*g + 3*t + 93 = 0, 3*g - 62 = g + 5*t. Is g composite?
False
Is (-782)/(-5) - 18/(-30) a composite number?
False
Let z(m) = -4*m - 38. Let j(p) = -p - 13. Let u(q) = -17*j(q) + 6*z(q). Let r be u(-5). Suppose -38 - r = -3*i. Is i a composite number?
True
Let c(s) = s**2 - 3*s + 2. Let x = -5 - -8. Let t be c(x). Suppose 3*y - 10 = t*y. Is y a prime number?
False
Let n = 72 - -163. Let k = n + 24. Is k a prime number?
False
Is ((-434)/(-4))/((-6)/(-4) - 1) composite?
True
Let j(v) = -v**3 - 6*v**2 + 6*v - 5. Let l be j(-7). Suppose l*i