 Is c a composite number?
False
Suppose -4*r + 12 = -0*r. Suppose -r*x + 0*x = -1296. Let f = -301 + x. Is f prime?
True
Suppose 5*z - 3*l - l - 655 = 0, 2*z + 5*l - 229 = 0. Is z a composite number?
False
Let p = 5 + -5. Let m(k) = -k + 3. Is m(p) a prime number?
True
Let x = -12 + 95. Is x composite?
False
Let m(c) = c**3 + 9*c**2 + c - 5. Let f = 2 - 8. Is m(f) prime?
True
Suppose -2*f = 5*u + 146, 0 = -f - f - 6. Let q = -15 + 11. Is u/q*(-1 - -2) prime?
True
Suppose 0 = -4*c + 17 - 1. Is (-1)/((8/(-42))/c) prime?
False
Suppose -7100 = -6*u + 3*u - 2*h, 7102 = 3*u + h. Let b = 3692 - u. Is 2/(-12) + b/24 prime?
False
Let w(u) = 5*u**2 + 5*u + 17. Is w(8) composite?
True
Let w(h) = -h**3 - 3*h**2 - 2. Is w(-4) a composite number?
True
Let u be (-7)/(-3) - (-6)/9. Is (-3)/(u/(-4)) - -3 a prime number?
True
Suppose 0 = -6*s + 4*s + 3386. Is s prime?
True
Suppose 4*m + t = 7, -5*m + 4 = t - 5. Is ((-1305)/18)/((-1)/m) composite?
True
Let a be 4/(-14) - (-115)/35. Suppose 0 = 2*i + 3*i + k - 130, 0 = 5*i - a*k - 110. Suppose 0 = 2*n + q - 98, -221 + i = -4*n - 4*q. Is n composite?
True
Let z = -853 + 1565. Suppose 0*t = 5*b - t - 908, 4*t - z = -4*b. Is b prime?
True
Let d = 439 + 1294. Is d composite?
False
Let a(f) = 2*f**2. Let n be a(1). Let s(p) = 0*p + 6*p**n - p**3 - 5*p + 3 + 0. Is s(5) a prime number?
True
Let g(h) = -h**3 - h**2 - h + 1. Let l be g(0). Suppose -3 = -z + l. Is z composite?
True
Is -4 + -109*(2 - 4) a prime number?
False
Let k = 27 - 12. Suppose -2*l = 3*i - k, 11 = -5*l - 4. Let o(g) = g**3 - 6*g**2 - 3*g + 6. Is o(i) a prime number?
False
Suppose 4*i - 1688 + 172 = 0. Is i a composite number?
False
Is 7287/49 + 4/14 prime?
True
Is (-1217)/(-6) - 10/(-60) composite?
True
Suppose 2*f - 5*j = 74, -3*j = -5*f + 146 + 20. Let d = 22 - 3. Let u = f - d. Is u a composite number?
False
Suppose -5*k = -3*r - 2785, 0*r = 5*k + 4*r - 2785. Is k a composite number?
False
Let z(i) = -i + 4. Let u be z(3). Is -1 - (u + (-55)/1) composite?
False
Suppose 8*t = 3*t + 5. Is 2/4*974/t a composite number?
False
Is 7/((-1)/(-2 - 15)) prime?
False
Let x = 13 - 8. Suppose -x*r + 437 = 2*a, -419 = -2*a + r - 0*r. Is a composite?
False
Suppose 4*f - 52 = -4*p, -4*p + 0*p + 57 = 5*f. Suppose 2*i = -4*o + 2 + p, -3*i = 15. Suppose -o*q + 268 = -q. Is q composite?
False
Let r(i) = 48*i**2 - i. Suppose 4*s + 0 - 4 = 0. Is r(s) prime?
True
Let k(a) = 1 + 34*a**3 + 4*a - 4*a. Is k(1) a prime number?
False
Let j(m) be the third derivative of 9*m**5/40 + m**4/24 - m**3/2 - 2*m**2. Let c(s) be the first derivative of j(s). Is c(2) composite?
True
Suppose -2*c + 16 + 226 = 0. Is c a prime number?
False
Let f = -21 - -41. Suppose 0 = 4*s - 4*a - f, 8*s = 4*s - 3*a + 6. Is s prime?
True
Let t(u) = 4*u**2 - 9*u - 6. Let i be t(-7). Suppose 2*b = 3*b - i. Is b a prime number?
False
Let t = -158 - -307. Is t composite?
False
Let j(w) = -w**3 - 2*w**2 - 4*w - 2. Let m be j(-2). Suppose 0 = -l + 61 - m. Is l a prime number?
False
Let h(n) = -n**3 - 12*n**2 - 2*n - 14. Is h(-13) a composite number?
False
Is (388 - -5)*(1 + 0) prime?
False
Suppose b - 1895 = -3*q, 1270 = -2*q + 4*q - b. Suppose -5*k + q = -2*k. Is k a composite number?
False
Suppose g = -2*q + 48 + 29, -3*g - 4*q + 225 = 0. Is g prime?
True
Let i(m) = -m + 8. Let j be i(7). Let k be (-2)/5*j*-5. Let f = 8 + k. Is f prime?
False
Let z(m) = 4*m - 5. Let j = -6 - -1. Let p be z(j). Let d = 8 - p. Is d a composite number?
True
Suppose -2*b + 0*y - 2*y + 1558 = 0, 0 = 4*b - 4*y - 3116. Is b a prime number?
False
Suppose -324 = -2*d - 5*q, -3*q + 787 = 5*d - 2*q. Is d prime?
True
Let c(u) = -48*u - 2. Is c(-7) a composite number?
True
Let d(s) be the third derivative of s**5/60 - s**4/8 - s**3/6 + 2*s**2. Is d(5) a prime number?
False
Suppose 0 + 2 = 2*h. Is 776/4*h + -3 prime?
True
Let d(n) be the first derivative of 24*n**2 - 4*n + 1. Let f be d(3). Suppose -f = -0*l - 4*l. Is l composite?
True
Let s = -332 - -1161. Is s a prime number?
True
Is 2/(((-5)/15)/((-1591)/6)) a prime number?
False
Let f = 90 + 851. Is f composite?
False
Suppose -117 = -2*m + 147. Is 17*m/4 + -4 composite?
False
Let k(t) = 11*t**2 - t - 1. Let u(x) be the second derivative of x**5/20 - 2*x**4/3 + x**3/6 - 9*x**2/2 + 2*x. Let s be u(8). Is k(s) composite?
False
Let c = 11 + 212. Is c prime?
True
Suppose 4*z + 0*z = -24. Let k be 4/z + (-61)/3. Is (3/(-9))/(1/k) a prime number?
True
Let b(o) = o**2 - 6. Let a be b(0). Let v(j) = -35*j + 7. Is v(a) a prime number?
False
Let l = 156 - -1. Is l prime?
True
Let h(c) = 126*c - 1. Let q be h(-1). Let b = q + 330. Is b composite?
True
Suppose -155 = -9*p + 4*p. Is p a composite number?
False
Let l(j) = 4*j**2 + 23. Is l(-18) prime?
True
Suppose -5*z + 5*n + 2625 = 0, -z - 3*z - 2*n = -2076. Is z a prime number?
True
Let r = 12 + 0. Is (r/(-16))/((-1)/164) composite?
True
Let q be 273/9*3*-1. Let s = q + 166. Suppose -5*a + s = 3*y, 0*a + 3*y = a - 15. Is a a composite number?
True
Suppose -v = -0*v + 5*z - 409, 5*z = v - 429. Is v prime?
True
Let m(a) = 4*a**2 - 15*a + 20. Is m(9) composite?
True
Is (5 - 6)/(2/(-182)) a composite number?
True
Let w(p) = -p - 7. Let r(t) = t**3 - 7*t**2 - 6. Let n be r(7). Let g be w(n). Is (5 - 2) + g/(-1) a prime number?
False
Let a(p) = p**2 - 5*p - 6. Let x be a(5). Let k = 9 - x. Is k a prime number?
False
Is 13047/21 - 2 - 16/56 a composite number?
False
Let s(l) = -2*l + 4. Let p be s(5). Let u = p + 43. Is u a composite number?
False
Suppose -2*y = -207 - 77. Let j = -45 + y. Is j composite?
False
Let c(h) be the second derivative of 5*h**4/4 - h**3/6 - 3*h**2/2 + 3*h. Let k be c(3). Suppose 4*t - 379 = 5*r - 46, 2*t + 5*r = k. Is t a prime number?
False
Let z = 1388 - 759. Is z prime?
False
Let w = -11 + 15. Suppose p - w = -1. Suppose p*m - 91 = 2*m. Is m a composite number?
True
Let g(d) = -12 + 5 - 4*d + 0*d + 6. Suppose 0 = 5*v - 3*v + 6. Is g(v) a prime number?
True
Let w = 195 + -80. Is w a prime number?
False
Let a = -3965 - -6168. Is a composite?
False
Suppose -3*u = 4*f + 23, 5*u + 5 + 39 = -f. Let d(b) = -18*b - 6. Let n be d(u). Suppose -3*z - z = -n. Is z prime?
False
Let i(m) = -m + 4. Let s be i(6). Let x = s - -8. Let d = 20 - x. Is d prime?
False
Let c be (-1)/2*-22 - 3. Is (-141)/2*c/(-4) a composite number?
True
Let b = 8 + 5. Is b a prime number?
True
Let c(m) = 4*m + 4. Let a(r) = 1. Let q(p) = 3*a(p) - c(p). Is q(-2) prime?
True
Suppose 0*w - 169 = -2*w - l, 4*w = -l + 337. Suppose -1519 = -5*s - w. Is s composite?
True
Let q(j) = -105*j + 4. Let k be q(-3). Suppose 4*n + 41 + 1239 = 4*m, -m + k = -2*n. Suppose -5*w + 3*v = -392, 5*w + 5*v = w + m. Is w a prime number?
True
Suppose -4*t + t = 15, c = 4*t + 36. Is c/24*(-291)/(-2) a composite number?
False
Suppose -3*b + r + r = 90, 0 = b - 3*r + 37. Is (-15)/(-2)*b/(-6) composite?
True
Let q be 2088/15 + (-6)/30. Suppose q = -4*n + 1187. Is n prime?
False
Suppose -a = 2*h - 4, 0 = -5*a + 2*h - 0 - 4. Suppose 2*n - 26 - 92 = a. Is n a prime number?
True
Let z = -2 + 4. Suppose -z*m + 190 = -b + 5*b, 4*m - 362 = -2*b. Is m a composite number?
False
Let l(b) = -2 + 2*b + 7*b + b - 9*b. Is l(13) prime?
True
Let k be 0/(2*(-1 - -2)). Let a be k - -1 - (5 - 7). Suppose -2*y - 73 = -a*v - 2, 20 = -5*y. Is v a prime number?
False
Let t(a) = -a**2 - 2*a. Let w be t(-2). Suppose w = -0*k + k + 2*u - 15, 5*u - 45 = -4*k. Suppose 7*l - 4*p = 5*l + 34, k*l = -p + 52. Is l a prime number?
True
Let g be (-8925)/28*(-1 + 5). Let q = g + 491. Is q/(-35) + 6/10 composite?
False
Suppose 0 = 2*j + j + 564. Is j/(-6) - 1/3 composite?
False
Let u(q) = 2*q**3 + 4*q**2 + 4*q. Let x be u(-3). Let c = -17 - x. Is c composite?
False
Let r be (12/(-5 + 2))/(-1). Suppose 3*b = o + 7 - 1, r*o - b - 9 = 0. Suppose 5*z + 173 = -5*m + 518, 3*m - 183 = o*z. Is m prime?
False
Let i be 74/14 + (-6)/21. Suppose -i*x - n + 165 = -2*x, -55 = -x - 3*n. Is x a prime number?
False
Let n be (-2)/(-3)*81/6. Let a(p) = 3*p**2 + 3*p - 3. Is a(n) prime?
False
Suppose 5 = -3*s - 4. Let b = 8 + -21. Is (8/(-1) - s)*b a prime number?
False
Suppose 4*z - 2*z = 0, -608 = -4*a + 5*z. Suppose -a = -4*o + 4*n, -3*n - n = 20. Is o a composite number?
True
Let g(b) = -b**2 - 9*b + 5. Suppose 4*m - 5*k + 11 = -0*k, 0 = -