06/6 + h/15 composite?
True
Suppose 0 = -4*t + 2*n + 488, -5*t + 2*t = n - 361. Is t a composite number?
True
Is (3/(-12) - 161/12)*-141 composite?
True
Let x(j) = j**2 + 6*j + 7. Suppose -h + 5*h = -32. Let s be x(h). Suppose 3*w - 5 - 17 = 4*u, -5*u = -3*w + s. Is w prime?
False
Suppose 3*v - 2*m - 333 = 0, -4*v + 437 = 3*m - 8*m. Is v a composite number?
False
Let h = -97 + 86. Suppose 0 = k + 2*t - t - 22, t = 4*k - 98. Let y = k + h. Is y prime?
True
Suppose 3*l = -4*n + 3 + 12, 0 = n - 3*l + 15. Suppose -10 = -2*v - n. Suppose v*f - 152 = 293. Is f a prime number?
True
Let h be 9/6*170/3. Let z = 134 - h. Is z composite?
True
Let k(n) = -4*n**2 - n + 2. Let w be k(-2). Let o be (-81)/w + (-2)/(-8). Is -3 + o/(14/20) a prime number?
True
Is (18214/(-3) + 0)/(106/(-159)) a prime number?
False
Suppose 0*z = -z + 2949. Is z composite?
True
Let p(c) = 299*c**2 - 2*c - 2. Is p(-1) composite?
True
Let i(b) = 35*b + 1. Is i(4) composite?
True
Let m(j) = j**3 + 15*j**2 - 14*j - 16. Is m(-11) prime?
False
Let f(v) be the second derivative of 5*v**4/12 - 5*v**3/6 - 77*v**2/2 - 2*v. Let w(m) = m**2 - m. Let b(x) = -f(x) + 4*w(x). Is b(0) a composite number?
True
Let x(q) = q**3 + 12*q**2 - 5*q - 3. Suppose 4*a - 28 = r, 19 = -3*r + a - 10. Is x(r) a prime number?
True
Suppose -4*x + 4*f = -2*x - 132, 4*x = -4*f + 216. Suppose -5*d + 3 = -3*s + 37, d - x = -3*s. Suppose -4*t + 118 + s = 0. Is t prime?
False
Let z(p) = -4 - 4*p + 0 + 5*p + p**2 + 1. Is z(3) composite?
True
Let k = 256 + -143. Is k prime?
True
Suppose -5*c = -729 - 241. Let r = -125 + c. Is r a composite number?
True
Let p(f) = 10*f - 5. Is p(7) prime?
False
Let c = 10115 - 7152. Is c a prime number?
True
Let n(a) = -a**2 + 12*a + 8. Let g be n(11). Suppose 802 = 5*m - h, 4*h + 7 = g. Is m a prime number?
False
Let q(r) = 26*r - 4. Let o be q(3). Let h = -11 - -13. Suppose 0*n + o = h*n. Is n prime?
True
Suppose -2*b - 2207 = -n, 6619 = 3*n - 6*b + b. Is n a composite number?
False
Let n(p) = -p - 6. Let i be n(-6). Suppose v = -i*v + 90. Let l = -59 + v. Is l a composite number?
False
Let a be (5 + -1)*(0 - -5). Suppose 3*z + 24 = 3*x, -3*z - 14 = -4*x + 13. Suppose a = x*v - 22. Is v composite?
True
Suppose -g - 5*z - 20 = 0, -4*z - 16 = -0*g + g. Suppose -j + 0*j + 33 = g. Is j composite?
True
Let m = 61 - 113. Let c = m - -134. Is c a prime number?
False
Suppose 0 = 3*y - 14 - 106. Suppose 3*j = -5*n + 40, -2*j - 2*j + y = 5*n. Suppose -4*u + 82 = 2*c, 87 - n = 4*u + 3*c. Is u a composite number?
True
Let o(w) = 169*w**2 - w + 1. Suppose -4*s + 0*s + 2*j = 18, 4*s = -3*j + 7. Is o(s) a composite number?
True
Let j = 892 - 483. Is j a prime number?
True
Let u = -5 + 5. Suppose d + 5 - 42 = u. Is d prime?
True
Let k(g) = g**2 - 6. Let a be k(-3). Suppose 0 = 2*v + a*v + 5, 5*u - 4*v = 3599. Is u prime?
True
Suppose 8*f - 12 = 4*f. Suppose 4*l + 2*d = 15 + f, 3*d = -3*l + 18. Suppose -5*p - x - 38 = -495, -l*p + 5*x + 263 = 0. Is p a composite number?
True
Let f = 355 - 548. Let l = f + 282. Is l composite?
False
Suppose 5*v + 116 + 129 = 0. Let s = v + 74. Is s prime?
False
Let q = -3 + 6. Suppose 1 = 4*t - 3*s, -6*t = -3*t + q*s - 6. Suppose z - 14 = -p + t, -z + 3*p = -7. Is z a prime number?
True
Let l(w) = -41*w + 16. Suppose 0 = z - 0*z - 33. Let y(n) = 8*n - 3. Let c(s) = z*y(s) + 6*l(s). Is c(5) composite?
True
Suppose 5*z - 1312 = 743. Is z composite?
True
Let n = -19 - -153. Is n composite?
True
Suppose 10 = -2*a, v + a + 62 = 2*v. Suppose -8 = -5*u + v. Is u a composite number?
False
Let i(b) = -b**3 + 9*b**2 - 7*b - 5. Let p be i(8). Suppose -p*z + z + 182 = 0. Is z prime?
False
Is ((4/6)/(-2))/((-1)/447) a prime number?
True
Let s = 213 + -101. Let f = s + -15. Is f a prime number?
True
Let x = 6 - 4. Suppose -x*f + 0*f + 406 = 0. Is f a prime number?
False
Let t(u) be the first derivative of -u**4/4 - 2*u**3 + 7*u**2/2 + 3*u + 1. Let d = -28 - -21. Is t(d) a composite number?
False
Let m(t) = -37*t**2 - 10*t - 9. Let w(o) = 112*o**2 + 29*o + 26. Let q(g) = 17*m(g) + 6*w(g). Is q(-2) composite?
False
Let p be (-42)/(-12)*12/7. Suppose p*v - v - 395 = 0. Is v prime?
True
Suppose -3*w - 3 = 2*n, -3*w = -4*n - w + 34. Let q(f) be the first derivative of 2*f**3/3 - 3*f**2 + f - 9. Is q(n) prime?
True
Let j(n) = 8*n + 5. Let c(q) = 8*q + 5. Let y(l) = -3*c(l) + 2*j(l). Is y(-5) prime?
False
Suppose -2277 = 2*y - 11*y. Is y a composite number?
True
Let w be (-2967)/(-21) + (-2)/7. Suppose -111 = -4*c - 3*q, 2*q - w = -5*c - q. Suppose -4*z - c = -130. Is z composite?
True
Is 874 - (5/20 - (-11)/4) prime?
False
Suppose 3*m = j + 9107, 3017 = -2*m + 3*m - 5*j. Is m composite?
False
Is 26470/30*(-6)/(-2) prime?
True
Let r = -2 + 7. Suppose 0 = -0*z - r*z + 395. Is z a composite number?
False
Suppose -3*i = 2*u - 4207, -3*u + 4*u - 2086 = -5*i. Is u a prime number?
True
Suppose 4*c + q = 6*q + 10, 0 = 4*c + q + 2. Let b be (c + -1)*1 - 78. Let f = b - -116. Is f a prime number?
True
Let r(c) = 106*c**3 - 5*c**2 + 3*c + 5. Is r(3) composite?
True
Suppose -2*d = 5*g - 10, 4*d = 6*d. Let i(u) = -6*u + 6*u**g + 3 - 1 + 1. Is i(6) a prime number?
False
Suppose 43150 = 13*v - 3*v. Is v a prime number?
False
Let x(o) = -o**3 - 8*o**2 - 4*o - 5. Let l be x(-7). Is l/(-117) + 1202/18 prime?
True
Suppose -2*w = -6*w + 32. Is ((-74)/w)/(1/(-4)) prime?
True
Let i(p) = -459*p**3 + p**2 - p - 1. Let g be i(-1). Suppose -130 - g = -5*v. Is v prime?
False
Suppose 52 = -u + 2*y + 8, -38 = u + y. Is (-4808)/u - 8/(-10) composite?
True
Suppose -r + g = -90, 9*r - 3*g = 4*r + 452. Is r prime?
False
Let h = 1236 + -605. Is h a prime number?
True
Suppose -h - 138 + 46 = 0. Let p = h - -177. Is p a composite number?
True
Suppose 2 + 4 = -3*q. Let o(j) = 1 + 2*j**2 - 5*j**3 + 3*j + 2 - 22*j**3. Is o(q) a composite number?
True
Suppose 3*z - 4*a = -0*a - 1, -5*z = a - 29. Suppose z*k - 35 = 4*k. Is k composite?
True
Suppose -17*u = -21*u - 4. Is (-2056)/(-20) - u/5 composite?
False
Suppose i + 56 = 2*i. Let d = 21 + i. Is d a prime number?
False
Let x be (316/6)/(6/18). Suppose t = -t + x. Is t a prime number?
True
Let n(o) = 1722*o + 1. Is n(3) a prime number?
True
Let r(m) = 43*m**2 - m - 1. Is r(2) a composite number?
True
Suppose 5*h + 7*p - 2*p = 25, -2*h + p = 5. Suppose -5*l + 2*w = -h*w - 606, -5*l - 3*w = -616. Suppose -4*b = -342 + l. Is b a prime number?
False
Let o(s) = 34*s - 1. Suppose -5*c + 15 = -0*c. Suppose -c*z = -5*a - 8*z + 20, -3*a + 2 = -2*z. Is o(a) prime?
True
Suppose -2*f = 3*f + 110. Let k = f - -33. Is k a prime number?
True
Suppose a + 2*a = 0. Suppose 3*g = -3*s - 15, -3*g - 1 - 5 = a. Is (s/(-6))/1*434 composite?
True
Is 2/(-4)*(-42*24 - -2) a composite number?
False
Let o(v) = -9*v**2 + 4*v. Let a(r) = 10*r**2 - 5*r. Let t be 3 + 0 + (-56)/8. Let s(i) = t*o(i) - 3*a(i). Is s(5) a composite number?
True
Let b = -2 - -1. Let s be 2 + b + -2 + 36. Suppose -s + 10 = -z. Is z a prime number?
False
Suppose 5*h - c - 50 = 0, c + 0*c = 0. Suppose 3*y - 17 = h. Is (y/27)/(1/267) a composite number?
False
Let f(w) = w**2 - 10*w - 11. Let p be f(11). Is (-3)/3 + p + 14 a composite number?
False
Suppose 0 = -5*a + 4*a + 3*b + 175, b = 0. Let g = a + -116. Is g composite?
False
Let c = -2 - -4. Let g be 18/4 - (-1)/2. Suppose 4*z - c*q - 52 = 0, -2*z + g*q + 40 = -2. Is z a prime number?
True
Let n = 0 - 0. Suppose v - 2*g - 23 = n, v - 5*g - 23 = -0*g. Is v a composite number?
False
Suppose 2*k = -d - 1, -2*k + 0 = -2*d - 2. Suppose 3*z + 0*z - 87 = k. Suppose 0*w = 2*w - 5*i - z, 2*i = 4*w - 18. Is w composite?
False
Let n = 28 - -11. Is n prime?
False
Suppose -5*d + 702 = -1273. Is d a prime number?
False
Let z(k) = -k**3 + k**2 + k - 18. Let s be z(0). Is 3/2*(-228)/s composite?
False
Suppose n + 20 = 5*k, 0*n + 3*n = -3*k + 30. Suppose 0 = k*y + 2*h - 447, 0 = -y - 4*h + 47 + 28. Is y composite?
True
Suppose 4 = -l + 6. Let i(s) be the first derivative of s**4/2 + 2*s**3/3 + s**2/2 - s - 5. Is i(l) a prime number?
False
Let s(j) = -j**2 - 3*j + 2. Let g be s(-3). Let v be -1*g + (8 - 5). Is 3 + v/1 + 0 a prime number?
False
Let n(k) = -k**3 - 5*k**2 - k - 1. Let q(l) be the second derivative of -l**5/20 + l**3/6 + l**2/2 + l. Let b(a) = n(a) - 2*q(a). Is b(6) a prime number?
Fa