-t = t. Suppose t = -2*j + 9 + 61. Is j prime?
False
Let h(q) = -q**3 - 12*q**2 - 6*q + 5. Is h(-12) composite?
True
Let s(h) = 1 + 9*h - 18*h - 27*h. Is s(-1) prime?
True
Suppose -11*x + 6*x + 2245 = 0. Is x a composite number?
False
Suppose 15*v = 8*v + 16331. Is v a prime number?
True
Let f(m) be the first derivative of m**4/4 + 8*m**3/3 - 5*m**2 - 3*m + 3. Is f(-8) a composite number?
True
Suppose -2*g - 83 = -4*g + n, -g - 5*n = -69. Suppose 3*z - g = -u, -6*u = -u - 5*z - 280. Is u a prime number?
True
Suppose -8 = -3*p + p. Suppose 0 = 4*f - p*l - 780, 2*f - 5*l = -0*l + 402. Is f a composite number?
False
Let h be (1 + (-2 - -2))*2. Let w be 3*(h - 3) - -2. Is w + -108*(-9)/6 a composite number?
True
Let x(z) = -5*z + 9. Let w(r) = r - 1. Let k(u) = -6*w(u) - x(u). Let l be k(-5). Is (-28)/(-8)*4/l prime?
True
Let j(o) = -o**3 - 7*o**2 + 7*o - 7. Let k be j(-8). Is 1/((-18)/21 + k) a prime number?
True
Suppose -4*v + 4*g + 6125 = -g, -2*v = -3*g - 3061. Is v composite?
True
Let s = 230 + -102. Let m = 70 - s. Let x = -12 - m. Is x a composite number?
True
Suppose -4*p + 3*d + 1679 = 0, -3*p = 2*d - 200 - 1072. Is p a composite number?
True
Let u = 8 - 19. Let j = u + 8. Let h = j - -12. Is h composite?
True
Is ((-1146)/(-60)*5)/((-2)/(-4)) a composite number?
False
Let g = 6 - 1. Suppose 3*z - 8*z = 5*a - 115, -15 = g*z. Is a prime?
False
Suppose -8*z = -11*z + 951. Is z composite?
False
Let y be 1/4 - 3/12. Let s be 3/(0 + 6)*y. Suppose 5*j = -p + 269, -4*j + s*p + 220 = 2*p. Is j composite?
False
Let j(r) = 10*r + 8. Is j(5) a prime number?
False
Let q = 46 + 477. Is q composite?
False
Let l(t) = 19*t**2 - t + 1. Let w be (0 + -1)*(-2)/2. Is l(w) composite?
False
Let d be 1/(1/10*2). Suppose -3*w + 5*w - 322 = 0. Suppose -6*g + 4*g + h = -w, d*h - 222 = -3*g. Is g a prime number?
True
Let g = -10 + 59. Is g a prime number?
False
Let y = -2187 - -3184. Is y composite?
False
Let k(v) = -v**3 - 9*v**2 + v. Let f be k(-10). Let b = f + -62. Let d = b + -14. Is d prime?
False
Let j(b) be the second derivative of -2*b + 0 + 3/2*b**2 - 2/3*b**3. Is j(-4) prime?
True
Let f = 59 - -419. Is f a prime number?
False
Suppose -4*d + i + 4*i - 4 = 0, 4*d = -i + 20. Let o(z) = 3 - 10*z - d - 58*z. Is o(-1) a composite number?
False
Let b(q) = -31*q + 14. Is b(-9) prime?
True
Let g(h) = 6*h**3 - 7*h**2 + 15*h + 20. Let k(c) = c**3 + c**2 + 1. Let f(y) = g(y) - 5*k(y). Is f(11) a composite number?
False
Let x(t) = 11*t - 1. Let o = -5 + 7. Is x(o) composite?
True
Suppose 3*f = -6, -5*m = 5*f - 0*f - 660. Let t = 225 - m. Is t prime?
False
Let b(d) = 202*d**2 - 2*d - 1. Suppose -3*s = -5*s - 2. Is b(s) prime?
False
Let s = 2 + 7. Let y = s + -16. Let c(m) = 2*m**2 + 8*m + 7. Is c(y) composite?
True
Let i(w) = w**3 + 7*w**2 - 7*w + 4. Let r(b) = b**3 + 8*b**2 - 8*b + 3. Let h(d) = -3*i(d) + 4*r(d). Let o be h(-12). Let n = o - -79. Is n prime?
True
Let h = -10 - -7. Is 19 + (0/h)/1 a composite number?
False
Suppose h - 4*h = -45. Let y = 21 - h. Suppose -y*k = -k - 15. Is k prime?
True
Let j(y) be the first derivative of 11*y**4/24 - 5*y**3/3 - y**2/2 - 1. Let g(t) be the second derivative of j(t). Is g(7) composite?
False
Let i = 156 - 47. Is i a composite number?
False
Suppose 0*p - q = 5*p - 957, 0 = -4*p - 3*q + 770. Is p prime?
True
Let a(v) = -2*v**3 + 4*v**2 - 2*v + 7. Let f be a(5). Is f/(-4) - (-15)/20 composite?
True
Suppose 2*t = -n - n + 2, 0 = 4*t - 2*n - 16. Let h(w) = -5 + w + 2*w + t. Is h(3) a prime number?
True
Let i(z) = 36*z - 5. Let o be 20/25*15/2. Is i(o) a prime number?
True
Is (7 - 8) + 498 + 2 prime?
True
Let i be -27*(2 + (-21)/9). Suppose i = -b - 3. Is 1 + b*(-33)/6 a prime number?
True
Let l(i) = -i**3 + 6*i**2 - 5*i + 6. Let u be l(5). Let z = -3 + u. Suppose 0 = z*h - s - 139, -h + 3*s + 42 = 7*s. Is h composite?
True
Suppose -1819 - 46 = -5*x. Is x composite?
False
Let m = 5 - 1. Is m/(-6) - 115/(-15) prime?
True
Suppose 3*p - 8*p + 1643 = -c, 4*p + 3*c - 1322 = 0. Is p a composite number?
True
Let n(d) = -2*d - 15. Let j be n(-11). Let q(f) = -2*f - 6. Let v be q(j). Let i = -14 - v. Is i a prime number?
False
Let f(a) = -18*a + 1. Is f(-5) a prime number?
False
Is (-5)/((-165)/64971) + 4/22 a composite number?
True
Suppose -5*a + h + 2538 = 0, 4*a = -h + 267 + 1767. Suppose -5*m + m = -a. Is m composite?
False
Suppose 3*g - g = 382. Is g a prime number?
True
Let q(v) = -20*v - 2. Is q(-2) prime?
False
Is (746/(-4))/(12/(-24)) prime?
True
Suppose -2*b = 2*b - 3*k, 0 = 4*k. Suppose b*y + 6 = 2*y. Suppose -y*c + 57 = 4*l, 2*c + l - 57 = -c. Is c composite?
False
Let a be 2764/(-24) - 2/(-12). Let k = 174 + a. Is k prime?
True
Suppose -3*g + 760 = 5*u, 3*u - 475 = -0*u + 2*g. Is u a prime number?
False
Let j be (-1)/2*(1 + 1). Let u be (9 - -2)*1 + j. Let f(a) = -a**3 + 11*a**2 + 6*a + 1. Is f(u) prime?
False
Let s be 4/(-6)*(-9)/2. Let w = s + 0. Suppose 150 = 2*i + 4*p, -p + 3*p + 257 = w*i. Is i a composite number?
False
Let c(i) = 7*i + 3 + 2*i**2 - i - i**3 - 4*i. Is c(-2) a composite number?
True
Let m = 5 + 0. Suppose -m*f = -f + 60. Let a = 37 + f. Is a a prime number?
False
Suppose -t - 2 - 3 = 0. Let k = 8 + t. Is ((-38)/(k - 1))/(-1) composite?
False
Let h(n) = -n + 32. Let c be h(0). Suppose -2*z + 34 = 5*w, -3*w = 5*z - 7*w - 118. Let a = c - z. Is a a composite number?
True
Let a(f) = f + 2. Let w be a(6). Let g be 2/(-5) + (-56)/10. Is (206/w)/(g/(-24)) a prime number?
True
Let d be -1 - -1 - 10740/10. Is (d/24)/((-1)/4) a composite number?
False
Is (1 - 1 - 1)*(-23464)/28 composite?
True
Let y(z) = 12*z**2 - 5*z + 5. Is y(-6) a prime number?
True
Suppose -y + 5 = 0, 4*a + a + 3*y = 3220. Is a a composite number?
False
Let w(f) be the first derivative of -f**2/2 - 3*f + 3. Let l be w(-3). Suppose 0 = 4*p + r - 225, r - 5 = -l*r. Is p a prime number?
False
Suppose -p - 3*p + 220 = 0. Is p prime?
False
Suppose 0 = 3*j - 8 + 2. Suppose -146 = -j*m + 4*f, 5*m - 3*f - 313 = 38. Is m composite?
True
Is (1 + 1)/(16/11224) prime?
False
Let y(b) = -b**2 - b + 1. Let n = 3 - 2. Let u be y(n). Let r(z) = 22*z**2 - z. Is r(u) prime?
True
Let v(i) = 21*i + 1. Is v(6) prime?
True
Suppose 4*u = -3*v + 168, -2*v + 2*u + 100 = -12. Suppose -b + 349 = v. Is b composite?
False
Let v(d) = -2*d + 25*d - 6 - 11 - 2. Is v(10) a composite number?
False
Suppose -z = -5*z. Is (-1 - z - 0)*-85 a composite number?
True
Suppose 0 = g - 3*l - 12, 6 = -0*g - 2*g - 4*l. Is (-9)/g*26/(-3) a prime number?
False
Suppose -5*a - 2*u + 3203 = 0, -4*a + a + u + 1924 = 0. Is a prime?
True
Let x(k) = -3*k + 5*k**2 + 1 + 4*k + 0. Is x(3) a composite number?
True
Let u(i) be the third derivative of -29*i**6/720 - i**5/60 - i**4/24 - 3*i**2. Let m(z) be the second derivative of u(z). Is m(-3) a composite number?
True
Suppose 4*i = -3*s + 22, -i - s + 8 = s. Suppose -i*b - b - 31010 = 0. Is 5/2*b/(-35) a composite number?
False
Let x be 5*-4*(-1)/10. Let g = -41 + 44. Suppose -4*r = -0*r + v - 45, -g*r + x*v + 20 = 0. Is r a composite number?
True
Suppose -4*b + 8*b + y - 341 = 0, 2*y = 2*b - 178. Suppose 53 = -0*i - i. Let z = i + b. Is z prime?
False
Let h(c) be the second derivative of -c**6/240 + c**5/120 - c**4/6 - 2*c. Let a(v) be the third derivative of h(v). Is a(-3) composite?
True
Suppose 18*u + 53646 = 24*u. Is u a composite number?
False
Suppose -2*m - 3 = -3*l - m, l + 3*m - 1 = 0. Suppose -4*t - l = -97. Suppose r - 16 = -3*g, -2*g + t = 3*r - 5*g. Is r composite?
True
Suppose 2*b - 2*g - 220 - 368 = 0, 2*b - 4*g - 596 = 0. Suppose 0*p - b = -2*p. Is p a prime number?
False
Let k(s) = -s**3 + 3*s**2 + 5*s + 3. Let r = -4 - -3. Let z be (-2)/r + 12/(-2). Is k(z) a composite number?
True
Suppose 5*d - 5 = 5. Suppose 5*l - 1295 = 1210. Suppose 0 = -n - i + 114, -2*n - d*n + l = -5*i. Is n prime?
False
Let d = 1079 + -664. Is d a composite number?
True
Let c(l) = l**3 + 2*l**2 - 2*l. Let t be c(2). Suppose 0 = -3*f - 4*u - t - 191, 212 = -3*f + 5*u. Let h = -48 - f. Is h a composite number?
True
Let k be (-1 + 0)/(4/(-16)). Is (1 + 0)/(k/268) composite?
False
Suppose 9 = 3*w + u, -2*w = -w + 5*u + 11. Suppose -w*s - s + 20 = 0. Is s prime?
False
Suppose 918 = 3*a + 2*m - 5*m, 3*m = a - 304. Is a a composite number?
False
Let r be (77/22)