s + 2*p - 233 = p, 218 = b*s - 4*p. Is s a composite number?
True
Suppose -2*c - 312 = -4*c. Suppose -11*z + c = -7*z. Is z composite?
True
Let s be 1045/15 + (-2)/3. Suppose -s = -y + 4*f + 12, -f = -1. Is y prime?
False
Let x = -120 - -343. Is x composite?
False
Let t be -3 + 17 - (-2)/1. Suppose 4*z - 2*g - 2*g = t, 0 = 5*g - 15. Is z composite?
False
Suppose -2*z - 13 = 217. Let a = -60 - z. Is a a prime number?
False
Let l(a) = 16*a + 3. Is l(10) a composite number?
False
Suppose 2*k - 12 = -z - 3*z, -4*k = z - 3. Suppose 5*m - z*m = 4. Suppose -3*a + u + u + 493 = 0, m*u - 312 = -2*a. Is a composite?
True
Suppose -5*o - t + 6*t = -30, 0 = -5*t - 10. Let n(b) = 2*b**2 - 7*b + 6. Is n(o) composite?
True
Let u = -11 - -16. Suppose 0 = u*b + j - 1436, j = -3*b - 492 + 1354. Is b a composite number?
True
Suppose i + 759 = v - 3*i, 4*v + 4*i - 3096 = 0. Is v a composite number?
True
Is (315/(-12) - -2)*-4 a composite number?
False
Let k(z) = 14*z**2 - z. Suppose 4*s + 0 = -4. Is k(s) a composite number?
True
Let d be (2/(-3))/((-2)/18). Let m be 0/((d/2)/(-3)). Is (-1 + m)/(1/(-67)) prime?
True
Is (-7)/112*4 + (-3261)/(-4) prime?
False
Let s(d) = -d**3 - 6*d**2 - 8*d + 7. Is s(-10) a composite number?
False
Let h(v) = v**2 + 3*v - 5. Let y be h(-5). Let t = y + 0. Suppose -34 = -4*b - 2*u, t = -2*u + 3*u. Is b a composite number?
True
Suppose -4*c + 2*c + 10 = 0. Suppose -2*n - 9 = -3*s, -23 + c = -3*s - n. Suppose -4*x + x + s*w + 376 = 0, 1 = w. Is x a composite number?
False
Let r be 5/((-1)/1 - 0). Let j(o) = o**3 + 6*o**2 - 6*o - 2. Let l be j(r). Let v = l + -4. Is v composite?
True
Let z(j) = j**2 - j - 7. Is z(-8) prime?
False
Is (9852/20)/(2*1/10) prime?
False
Let z = 21 - -58. Is z a composite number?
False
Suppose -2 = t + 2. Is (-219)/(-7) - t/(-14) prime?
True
Let k(y) = -37*y - 1 - 8*y - 26*y - 39*y. Is k(-1) a composite number?
False
Let p(o) = -o**3 - 11*o**2 - 11*o - 7. Let q be p(-10). Let c = -6 - -30. Suppose -s + 5*a = -c, 2*s - q*a - 22 = s. Is s composite?
False
Suppose -2*w = -3*w + 2. Suppose -3*n = -41 - 22. Suppose -n = -w*j + j. Is j prime?
False
Let a(d) = 2*d**2 - 3*d - 4. Suppose 1 - 10 = -3*f. Let j be a(f). Suppose -j*h - 15 + 189 = 3*z, -3*h + 62 = z. Is z a composite number?
False
Suppose 4*b - 7*b - 9 = 0. Let g(r) = 6*r**2 + r. Is g(b) prime?
False
Suppose 5*i = -2*s - 4, 0 = 3*s + 3*i - 3. Suppose 0*a - 201 = -s*a. Let n = a - 8. Is n prime?
True
Let n(y) = 2 + 0*y - 2*y + y. Let o be n(2). Is 79*(1 + o/(-3)) a composite number?
False
Let q = 154 - 87. Is q a prime number?
True
Let m(o) = 4*o**2 - 11*o - 8. Let p be m(8). Suppose 105 = 5*q - p. Is q composite?
False
Suppose 6*b - 3*b + s - 4143 = 0, 0 = -3*b - 3*s + 4143. Is b a prime number?
True
Suppose -311 = -2*f + 167. Let w = f + -78. Is w a composite number?
True
Let h(i) be the second derivative of i**5/20 - 5*i**4/12 - i**3/2 - 3*i**2/2 - 4*i. Is h(6) prime?
False
Suppose 5*j = -5*v + 20, -v + 5 = -4*j + 16. Suppose -l = j - 33. Let b = l - 7. Is b composite?
False
Let r(m) = -2*m - 4. Let i be r(-3). Let v be (-2)/(-2)*i*-3. Is (-3)/v - 522/(-4) a composite number?
False
Let z = 42 - 60. Suppose 4*a + 16 = t, t = -4*a + 4*t - 24. Is (-2)/6*(a + z) a composite number?
False
Suppose 5*r - 1368 = y, -2*r + 271 = 5*y - 287. Is r a prime number?
False
Is (-35)/(-14)*674/5 prime?
True
Suppose -20 = -s - s. Suppose -5*c + s + 0 = 0. Suppose -2*k + l + c + 23 = 0, -10 = -2*k - 4*l. Is k composite?
False
Suppose 42 + 62 = -4*f. Is (-3 + 10/4)*f a composite number?
False
Suppose y - 5*c + 122 = 4*y, -5*y + 3*c + 158 = 0. Is y a composite number?
True
Let t = -6 + 10. Let z = -1 + t. Suppose -z*i = 5*l - 221, l + 284 = 4*i + 5*l. Is i a composite number?
False
Let p(j) = -j**2 + 6*j + 5. Let a be p(6). Suppose -376 = -6*r + 662. Suppose -q = a*u - 104, -3*u + r = -q + 3*q. Is q prime?
True
Let c = 47 - 34. Let f = c + -18. Let q = f + 24. Is q a composite number?
False
Let g = 10 + -7. Let c(h) = 1. Let k(s) = 19*s + 2. Let b(r) = -2*c(r) + k(r). Is b(g) a prime number?
False
Let o(n) be the third derivative of n**4 - n**3/6 - 2*n**2. Is o(4) composite?
True
Let q(d) = -d + 8. Let k be q(6). Suppose o = i + 3, 2*i = -k*o + 3*o - 1. Suppose -o*x - 99 = -2*a, -a + 90 = a + 4*x. Is a a composite number?
False
Let f(l) = -44*l - 1. Suppose 4*p - 9 - 12 = 5*z, 2*p + 5*z + 27 = 0. Is f(p) composite?
False
Let u(n) = 3*n**2 - 7*n + 21. Is u(10) a prime number?
True
Let j = 86 - -73. Suppose -3*b + j = -0*b. Is b prime?
True
Let i be (202/(-6))/(4/(-24)). Suppose -3 = 3*r, -4*r = f - 2 + 3. Suppose -3*t - n = -57 - 151, -5*n = -f*t + i. Is t composite?
True
Let o(j) = j**3 + 5*j**2 - 8*j - 3. Suppose 0 = -2*w + 2 - 14. Let k be o(w). Suppose -4*s - 235 = -k*s. Is s a composite number?
False
Let g be (-804)/(-14) - 28/(-49). Suppose -5*l + 4*l = -g. Is l prime?
False
Suppose 22 + 3 = 5*w. Suppose -3*q = 3*d - 4*d + 13, w*q = -4*d + 52. Is d prime?
True
Let v = -2 + 6. Is (v - (-1)/(-1)) + 466 prime?
False
Let h(v) = v - 2. Let q be h(7). Let s(g) = -16*g**2 + 3*g + 5. Let b be s(q). Is b/(-3) + 2/6 a prime number?
True
Let w(n) = -n**3 - 2*n**2 + 14*n + 9. Is w(-5) composite?
True
Is 153 + 4*(0 - -1) composite?
False
Let l(q) = -2*q**3 - 17*q**2 - 6*q - 38. Is l(-13) a prime number?
False
Let r be 8081/6 - 4/(-24). Suppose -6*f + 2225 = -f - 5*q, -3*f = 3*q - r. Is f prime?
False
Suppose -4*z - 6047 = -3*l, 3*z - 4038 = -2*l - z. Is l composite?
False
Suppose 2*t + 30 = 5*k, -4*k + 6*t + 31 = 3*t. Let x(o) = -2 + 22*o - 25*o + 6*o**2 + o**3 - k*o**2. Is x(-2) composite?
True
Suppose 7 = t - 4*s - 5, -s - 3 = 0. Let k be 9*(-1 + (-1 - t)). Is 475/9 + (-4)/k prime?
True
Let d be 0*((-2)/4)/1. Is d + 2 + (-3 - -204) composite?
True
Let o = 7 - 5. Suppose 3*g + 20 = -64. Is o/(-7) + (-1044)/g composite?
False
Suppose -3*t = -2*p - 2*t + 5469, -2*t - 8203 = -3*p. Is p composite?
True
Suppose 5*i = -3*s - 91, -4*s = s + 3*i + 141. Let t = 38 - s. Is t prime?
False
Let t be (1 + 1)/((-8)/(-20)). Suppose -6 = 2*f - t*f. Suppose -182 = -2*r - 4*x, f = 4*x + 14. Is r a composite number?
False
Let i(n) = 11*n + 3. Suppose h - 3 = -c + 12, -2*c + 3*h + 5 = 0. Is i(c) composite?
False
Let l(m) = -57*m - 1. Is l(-2) prime?
True
Let g be 6/(-4)*-5*6. Let x be (-3)/(-12) - g/20. Let f(m) = 36*m**2 - 1. Is f(x) a prime number?
False
Let s(l) = -l**3 + 2*l**2 - 3*l + 3. Let y be s(2). Is (6*24)/4 + y composite?
True
Suppose -2*f - 5*w = -0*w + 21, -f - 4*w - 18 = 0. Suppose 0 = -3*v - 8 + f. Is (v + 0)*-1 + 117 prime?
False
Let s be (-6)/(-2)*(1 - 0). Suppose 0*l - 6 = -s*l, -4*l = y - 119. Is 1 - (-3)/(9/y) a composite number?
True
Let q = -19 - -26. Is 2/q + (-435)/(-21) a composite number?
True
Let q be 6/(-4) - 4/8. Is (-2 - 0)*113/q a prime number?
True
Let g = 478 + -315. Is g a composite number?
False
Let m = -602 + 1183. Is m prime?
False
Suppose -2*u - 5*z - 9 - 5 = 0, -2*z = -2*u + 14. Suppose 1 = j - u. Suppose -2*t + 88 + j = 0. Is t prime?
False
Let o(f) = 120*f**2 - 8*f - 3. Is o(-5) a prime number?
True
Let i(a) = a**3 - 3*a**2 - 6*a + 6. Let g be 3/2*8/3. Let p be i(g). Is (19/p)/(2/(-4)) prime?
True
Suppose -40417 = -w - 12*w. Is w a composite number?
False
Suppose 3*j = 3 + 3. Let m be j*-1*(-7)/(-2). Let x = 41 + m. Is x composite?
True
Suppose -3*a = -123 + 12. Is a a prime number?
True
Let r(h) = 8*h**2 - 37*h + 24. Is r(13) a prime number?
False
Suppose -3*p = -6*p + i + 3654, 5*p - 6080 = 5*i. Is p a composite number?
True
Let g(a) = a**3 + 8*a**2 + 3. Let h be g(-8). Suppose 2*n = -b - 0*n + 14, -h*n + 12 = 0. Is b a prime number?
False
Let k(s) = 76*s**2 + 5*s + 14. Is k(5) composite?
True
Suppose 2*c - 25 = -4*n + 33, n + 143 = 4*c. Is c composite?
True
Suppose 4*o - 7*g - 1304 = -2*g, 2*g = 0. Is o a composite number?
True
Suppose 5*n - 45 = 2*n. Suppose -146 = -s - 144. Suppose 3*a + s*a = n, 3*j - 42 = a. Is j a composite number?
True
Let f(s) be the second derivative of -s**4/6 - s**3/6 + s**2 + 3*s. Let b be f(-2). Is 35 - (-4 + b/(-2)) a prime number?
True
Let g(l) = -43*l - 2. Let j(y) = 2*y + 3. Let k be j(-3). Is g(k) prime?
True
Suppose 0 = -r - 2*r - 15. Let u(p) = -p**3 - 4*p**2 + 3*p - 6. Let y be u(r). Suppose -y*q - 2*n + 125 = 51, 5*q = 