2*m + 42 = -4*n - 2, -2*n + 5*m - 30 = 0. Let i be ((-12)/n)/((-1)/10). Is o(i) a prime number?
False
Is 6/(-4)*(-1)/6*76 composite?
False
Let g be (-148)/28 + 4/14. Is ((-10)/g)/(2/623) a prime number?
False
Let v be (-52)/(-24) + 2/(-12). Suppose -t + 5*c = -496, -v*t = 5*c - 584 - 393. Is t a composite number?
False
Let f = -597 - -920. Is f composite?
True
Suppose 3*m - 2*m = 0. Suppose -f - 3*r + 56 = m, -4*f + 2*r + 61 = -3*f. Is f a composite number?
False
Let w(v) = v**2 - v - 5. Is w(7) prime?
True
Let p(w) = w + 3. Suppose 2*u = 3*u. Let i be p(u). Suppose -4*z + i*k + 41 = 0, -2*k = -2*z + 3*k + 17. Is z a prime number?
True
Let q = -8 + 10. Suppose 0 = -2*x - q*x + 308. Is x a prime number?
False
Let k(a) = 138*a**2 + 2*a - 1. Let w be k(1). Suppose 2*l - s - w = -l, l - s = 45. Is l prime?
True
Suppose k = -5*o + 205, -o + 27 = k - 18. Is (-1)/(-5) + 2112/o composite?
False
Let s be 1531 + (-1*6 - -3). Is s/72 - 4/18 prime?
False
Let b be (-3)/2*5392/12. Is 2/3 + b/(-6) prime?
True
Suppose 2*g = 3*g. Suppose g = -6*k + 9*k - 447. Is k composite?
False
Suppose b + 2*r - 10 = -3*b, 5*r - 25 = 5*b. Suppose -3*m - v + 0*v + 38 = b, 3 = -3*v. Is m prime?
True
Suppose -f - f = -5*k + 247, 0 = 4*k - 3*f - 192. Is k a composite number?
True
Let o = 5 + -3. Let c(i) = 10 - 3 - i + o*i. Is c(6) a composite number?
False
Let n = -91 - 95. Let y = 863 + n. Is y composite?
False
Let r = 2 + -5. Is r + ((-4)/(-4) - -219) composite?
True
Suppose 5*t - 10*t = -115. Let v = t + 2. Is v composite?
True
Let m be 5 + 80 - (-3)/1. Let k = m + -26. Is k a prime number?
False
Suppose -2 - 26 = 2*q. Is q*((-66)/4 + 2) prime?
False
Let g(x) be the third derivative of x**6/120 - x**5/60 + x**4/24 + 127*x**3/6 + 9*x**2. Suppose 0 = -2*q + 3*b - 9, 0 = q + 4*q + 5*b - 15. Is g(q) prime?
True
Is (-1)/(391/1773 - 2/9) a composite number?
True
Let z(s) = -2*s**3 + 3*s - 3. Let n be 0/(2*2/4). Let o be -4*(n + 1) + 0. Is z(o) prime?
True
Let n = 116 - -395. Is n composite?
True
Suppose 56*z - 57*z = -407. Is z composite?
True
Let p = -22 - -9. Let z = p + 35. Is z a composite number?
True
Let w(o) = 3*o**2 - 25*o + 5. Is w(-15) a prime number?
False
Let j(h) = 22*h + 7*h - 2 - 1. Let p = 9 - 5. Is j(p) a composite number?
False
Is 3*-2*-9 + -1 a composite number?
False
Let g(v) = v**2 + 1. Let n = 11 - 14. Is g(n) prime?
False
Suppose -5*y + 80 = -75. Is y prime?
True
Suppose -5*y + 23 = -67. Suppose 7 + 3 = 2*n, -y = q - 4*n. Suppose q*f + 0*f - 154 = 0. Is f prime?
False
Let n = -12 - -11. Is n/(0 - 2/46) prime?
True
Suppose -5*q + 3*k = -719, -7*q + 2*k + 721 = -2*q. Is q a prime number?
False
Let f(a) be the second derivative of -a**5/20 - a**4/3 - 5*a**3/6 + 5*a**2/2 - 2*a. Is f(-5) a composite number?
True
Let q = -6 + 8. Suppose 400 = q*p + 2*p. Suppose -495 + p = -5*k. Is k a prime number?
True
Let r = -1209 - -804. Let v = r + 703. Is v - (4/(-1) + 1) a prime number?
False
Let j(s) = 332*s**2 + 3*s + 2. Is j(-1) a prime number?
True
Let n(w) be the third derivative of -w**4/24 - 2*w**3/3 - w**2. Let z be n(-7). Suppose -41 - 76 = -z*l. Is l a composite number?
True
Let u(b) = 560*b - 55. Is u(6) a composite number?
True
Is 4 + (-2 - -2097) + 0 a prime number?
True
Let x(b) = b**2 + 3*b - 8. Let m be x(-5). Suppose n = -m*n + 159. Is n a composite number?
False
Let p(q) be the third derivative of q**6/120 + q**5/10 + q**4/8 - 7*q**3/6 - q**2. Suppose -5*g = 4*z - 6*z + 31, 0 = g + 4*z - 7. Is p(g) a prime number?
True
Let h be 10/15 + (-40)/6. Let j(p) = 3*p**2 + 8*p + 9. Is j(h) composite?
True
Let w be -1 + 1 - (-6)/(-2). Is (382/3)/((-2)/w) prime?
True
Suppose d - 1511 - 1268 = 0. Is d a prime number?
False
Let r(k) = 23*k + 69. Is r(20) prime?
False
Let z be (-20)/(-1) - (0 + 0). Suppose -4*y = -h + 1, 0 = h - 4*y + 3*y - 7. Let t = z - h. Is t a prime number?
True
Let g(i) = 163*i**3 + i**2. Let f be g(1). Let t be ((-5)/(-10))/(2/f). Suppose -3*w + 134 = t. Is w prime?
True
Suppose -f + 3 - 5 = 0. Is 0 + 2 - 138/f prime?
True
Suppose -2*o = -4*m + 26, -6*o - 18 = -3*m - 3*o. Let c = m - 4. Let v(a) = 6*a**2 + 4*a + 1. Is v(c) composite?
False
Suppose -20*b + 2628 + 3512 = 0. Is b prime?
True
Suppose 3*y = 124 + 86. Let t = 20 - y. Let v = -31 - t. Is v composite?
False
Let v(p) = 95*p**2 - p + 1. Is v(2) a composite number?
False
Let x = -60 - -151. Is x composite?
True
Let a(z) = -10*z - 3. Suppose 2*d - 3 = -4*u - 23, 3*d - 2 = 2*u. Is a(u) a composite number?
False
Let g be (10/6 - 2)*-3. Let n(z) be the first derivative of 31*z**3/3 + z**2/2 - z - 1. Is n(g) composite?
False
Let i(s) = -2*s**2 + 1 - s**2 - 2*s + 4*s**3 - 3 + 6*s. Is i(3) prime?
False
Let z = -255 - -796. Is z a composite number?
False
Suppose 6 = 2*g - 2*y, -3*g = 2*y + 5 + 1. Suppose g = 5*j - b - 541, 0 = 3*j + b + 37 - 368. Is j composite?
False
Let y = 4 - 1. Let j(o) = o**2 - y + 0*o + 3*o + 5 + 3. Is j(-5) prime?
False
Suppose 2*j - 4*n + 3*n - 6 = 0, -5*j - 3*n + 15 = 0. Suppose -2*b = 6, 0*l + j*l = 2*b + 366. Suppose -l = -4*r + 220. Is r a prime number?
False
Let j(z) = z**3 - 2*z**2 + 14*z - 23. Is j(10) composite?
True
Let c be (-2 - -3)*(0 + 12). Suppose 0 = -f + 5*f + c. Is -115*f/9*3 a prime number?
False
Let m be (5/(-4))/((-1)/44). Is 3400/m + 4/22 composite?
True
Let d(o) = 1 + 0 - 28*o - 28*o. Is d(-2) a prime number?
True
Suppose 9*t = 14*t - 1705. Is t a composite number?
True
Let y(o) = -5*o + 0*o + 4 - 8 - o**2. Let p be y(-4). Suppose -d + p*d = 2*c - 233, -100 = -c + 5*d. Is c composite?
True
Suppose -t + 4*b = -287, 1505 = 4*t - 2*b + 301. Is t a composite number?
True
Let w(r) = 68*r + 13. Is w(5) composite?
False
Suppose -5*o + 5039 = -2*r, 5*o + 3*r - 428 = 4626. Is o a composite number?
False
Suppose -269 = -t + 2064. Is t a composite number?
False
Let f(p) = 4*p + 8. Let u be f(-3). Is -22*3/8*u prime?
False
Is (-1)/(3 + (-2 - 0)) + 906 composite?
True
Let s be (2/(-4))/(1/(-6)). Suppose f - 4 = -s*f. Is (-1)/(f + 16/(-15)) composite?
True
Let c(u) = 146*u**3 + 4*u**2 - 3*u - 2. Is c(3) a composite number?
False
Let z be ((-2)/4)/(1/4). Is (-3)/z*(-140)/(-6) composite?
True
Let w(h) = 6*h**3 + 5*h**2 - 10*h + 3. Is w(4) composite?
True
Let h = 1552 + -701. Is h a composite number?
True
Let u be (1*-3)/(-3) - -17. Let t = 37 - u. Is t a composite number?
False
Let y(t) = t**3 + t**2 + 2*t + 142. Let m(j) = j - 2. Let a be m(2). Is y(a) prime?
False
Let p = 540 + -211. Is p a composite number?
True
Let c = -127 - -308. Is c a prime number?
True
Let j(w) = 41*w**2 + 2*w + 1. Let x be j(-1). Let h be ((-5)/(-2))/((-4)/x). Let y = 44 + h. Is y composite?
False
Let c be (-2 - 8/(-2)) + 1. Let t(s) = s - 11*s**3 + 1 - s**2 + 4*s**c - 8*s**3. Is t(-1) composite?
True
Let x(p) = 70*p - 4. Let q be x(-2). Let a = q + 271. Is a a prime number?
True
Suppose -r = -3*l + r + 46, 3*r - 83 = -5*l. Suppose 5*y = k - l, 2*k + y + 4*y = 77. Is k a prime number?
True
Let u be 24 + (6/(-2) - -2). Suppose -4*q + 3*i + 14 = 0, -2*q = 3*q - i - u. Suppose q*x = 2*l + 449, 3*x + 5*l - 379 = -x. Is x a composite number?
True
Suppose -3*m - 9 = -6*m. Suppose m*p - p = 166. Is p a prime number?
True
Let c(p) = 2*p**2 - p. Let o be c(-4). Suppose 2 - o = -k. Is k composite?
True
Let m be (0/4 + 349)/1. Suppose -m = -4*r + 487. Is r prime?
False
Let r(z) = -2828*z**3 - z**2 - 5*z - 5. Is r(-1) a prime number?
False
Let q = -16 + 27. Suppose n = -2*l + q + 14, n - 3*l = 15. Is n a composite number?
True
Let x = -1 + 3. Suppose 0 = -2*r + r + x. Suppose -2*m - 401 = -3*z, r*z + 5*m + 150 = 411. Is z a prime number?
False
Let a = 16 + -16. Suppose -3*r - 2*r + 295 = a. Is r prime?
True
Suppose 4*b = -o + 724, 2*o - 4*b = 1540 - 140. Let f = o - 442. Suppose -d + f = d. Is d composite?
True
Let q = -54 - -101. Is q a composite number?
False
Let w(u) = -36*u + 17. Is w(-25) composite?
True
Let n be 1*(1/(-1) + 68). Let x be 8/(-4)*n/2. Is 2*1 - (x + 4) a prime number?
False
Suppose 0 = 5*i + 5 + 5. Let u be 0*(1 + i/1). Let z(x) = x**3 + 155. Is z(u) a prime number?
False
Suppose -2971 + 12291 = 8*l. Is l a composite number?
True
Let c(f) = 3*f**2 + 10*f - 8. Is c(-9) a composite number?
True
Let f(p) = 17*p**2 - 4*p. Let b be f(-3). Suppose b = 3*i + 2*i. Is i a composite num