-n*a - a + 201 = 0. Is a a prime number?
True
Let h be ((-4)/(-2))/(3/(-12)). Let u = h + 11. Suppose -4*s + 475 = 2*a - 421, a = -u*s + 671. Is s a composite number?
False
Suppose 2*i - 106 = 4*p, 0*i + 3*i - 159 = 5*p. Is i a composite number?
False
Let x(j) = 2*j - 5 + 0*j + 5. Let o be x(-8). Let v = o + 69. Is v prime?
True
Let s = -2 - -6. Suppose s*d - 5*h = 965, 4*d + 2*h - 872 = 58. Is d a composite number?
True
Let v(h) be the third derivative of 83*h**4/8 + h**3/6 - 5*h**2. Is v(2) a prime number?
True
Suppose 2*m = -m + 921. Is m composite?
False
Let r(f) = -110*f + 8. Is r(-1) a composite number?
True
Let o(k) = 7*k**3 - 4 + 3 + 5*k**3 - 3*k**2 + 3*k. Suppose 0 = -0*l - 6*l + 12. Is o(l) composite?
False
Suppose -4*j - 5*z + 101 = -423, j - z - 122 = 0. Let o = j - 17. Is o composite?
False
Suppose -2*a + 3810 = 4*a. Is a composite?
True
Suppose 0 = 5*i + 1448 - 12673. Is i composite?
True
Suppose -5*u + 0*u + 1945 = 0. Is u prime?
True
Suppose 53 - 321 = -o. Suppose o = y + 3*y. Is y composite?
False
Let o be (2 + (-1 - 2))*-2. Is 11742/24 + o/(-8) composite?
True
Let y = -172 + 323. Suppose y = 4*j - 3*p, 4 = -2*p + 2. Is j a prime number?
True
Let h be (-8978)/(-18) - 16/(-72). Let k = 334 - h. Let d = -110 - k. Is d a prime number?
False
Let j(f) be the first derivative of 2*f**3 + f**2 - f - 1. Let c(l) = 3*l**2 - l + 1. Let o be c(1). Is j(o) prime?
True
Let b = 732 + -241. Is b composite?
False
Let z = -171 - -265. Let f = -35 + z. Is f a prime number?
True
Suppose -3*j + 2*d + 42 = 0, -89 = -6*j + j - 3*d. Suppose 0 = 4*u + 8, u - 225 + j = -i. Is i a composite number?
False
Let n(z) = -6*z**3 - 3*z**2 - 2*z - 2. Let w be n(-2). Suppose -4*s + s = v - w, -s = -5. Is v prime?
True
Let q(x) = -x**3 + 11*x**2 - 9*x + 15. Let k(j) = 1. Let h(u) = -6*k(u) + q(u). Is h(8) composite?
True
Suppose -13 = -3*m + 2*r, -m + 0*m - r + 1 = 0. Let a(q) = q**2 - 3*q - 2. Let g be a(m). Is 287/(1 - (2 + g)) composite?
True
Let u(x) = x - 1. Let q be u(1). Suppose -2*w + 10 = -q. Suppose -d + w = -8. Is d a composite number?
False
Let s be (1272/(-2))/(-2) - 2. Suppose -2*u - 489 = -3*z, -s = -2*z - 2*u - 0*u. Is z a composite number?
True
Suppose 2*n = -n - 198. Let x = n + 161. Is x a prime number?
False
Let p = -2738 - -654. Let u be 3/(-9) - p/6. Suppose -u = -5*o + g + 133, 4*g - 311 = -3*o. Is o a prime number?
True
Suppose -f - 1986 = -4*h - 3*f, 3*f = 4*h - 2011. Is h a composite number?
False
Suppose -3*z - 4 = -4*z. Let v(f) = 15*f**2 - f - 1. Is v(z) composite?
True
Let j(o) = -19*o**3 + 19*o**2 + 4*o - 5. Let g(f) = 9*f**3 - 9*f**2 - 2*f + 3. Let q(i) = 9*g(i) + 4*j(i). Is q(5) a prime number?
False
Let o(t) = -t**2 + 5*t + 2. Let p be o(6). Suppose 2*d = -l - 4, 0 = 3*d - 6*d - 6. Is (26/p + l)*-2 composite?
False
Is (-9 - -8)/(3/(-987)) composite?
True
Let j be 4/22 + 39/(-33). Let k(b) = -85*b - 2. Is k(j) a composite number?
False
Let b be 27/6 + (-6)/4. Suppose 2*s - 6*s + 2*j + 136 = 0, -b*s - 2*j = -95. Is s prime?
False
Let s = -1 + 3. Let f(b) = 2 - 1 - 3*b + 2*b + 48*b**2 - 15*b**s. Is f(1) prime?
False
Let v(n) = 3*n + 2. Let c be v(3). Is (-155)/(-1) + 22/c prime?
True
Suppose -2*a + 1 = -11. Is ((-298)/3)/((-4)/a) a prime number?
True
Suppose 4*y + 113 - 909 = 0. Is y prime?
True
Let j = 8 - 14. Let h = j - -9. Let k(y) = 2*y**3 - 3*y**2 + y + 4. Is k(h) a prime number?
False
Let n be 169*-1 - (-2)/(-1). Let g = 334 + n. Is g a composite number?
False
Let x(d) = -d**3 - 9*d**2 - 5*d - 8. Is x(-9) composite?
False
Suppose -35 = 6*o - o. Is 25*(2 - o/(-5)) prime?
False
Suppose -4*v + 2*y - 24 = -3*y, y = -3*v - 37. Let f = 74 - v. Is f a prime number?
False
Let t(d) be the third derivative of d**4/4 + 7*d**3/6 + d**2. Suppose -p + 2*y = -3*y - 30, 0 = -3*p - 5*y - 10. Is t(p) a prime number?
True
Is (76414/(-39))/((-2)/3) a composite number?
False
Suppose -3*d + 3 + 0 = 0. Is 678/12*d*14 a prime number?
False
Let d(t) = 91*t**2 + t + 1. Is d(-1) a composite number?
True
Let j(q) be the first derivative of -1/4*q**4 - 1 + 3*q**3 + 5/2*q**2 - 8*q. Is j(9) composite?
False
Let l(d) = d**2 + 6*d + 7. Let x be l(-5). Suppose k = x*y - 693, 5*y - 5*k - 1383 = y. Is y a composite number?
False
Suppose -r - 4 = 4*q, 3*r - q = -3 + 4. Suppose -3*a = -r - 207. Is a a composite number?
True
Let h(s) = -s**2 - 7*s + 5. Let k be h(-7). Suppose 0*y - 5*y = -u - 120, -k*y + 130 = u. Is y composite?
True
Let v = 85 + -47. Is v prime?
False
Suppose -2*h + 0*h - 4 = 0, -4*k - 5*h = -978. Is k a composite number?
True
Let w = -15 + 28. Let d = w + -7. Is d a composite number?
True
Let h = 3082 - 903. Let i = -1550 + h. Is i a prime number?
False
Suppose x + 16 = 5*x. Suppose -3*i - 51 = -x*i. Is i a prime number?
False
Suppose -45 = -4*x - x. Suppose -2*l - 27 = -x. Is (-19)/((l/(-3))/(-15)) composite?
True
Let q be 380/8 - (-1)/2. Let i = q + -34. Suppose i - 163 = -y. Is y prime?
True
Let k(b) = 34*b**2 + 1. Let a = 1 + 0. Is k(a) composite?
True
Let m(x) = 2*x**3 - x + 1. Let d be m(1). Suppose 4*b - 3*n - 2*n = -9, -3*b = -d*n - 2. Suppose 2*w + 18 = 2*h + b*w, -3*h + 4*w + 41 = 0. Is h a prime number?
True
Let g(c) = 14*c + 9. Let q be g(7). Let s = q + -16. Is s a composite number?
True
Suppose 0*w + 450 = 3*w. Suppose 4*d + p - w = 83, d - 2*p = 65. Is d a composite number?
False
Suppose -w = 3*n - 8310, -2*n + 5548 = -3*w + w. Is n a prime number?
False
Let h(x) = -x**3 - 5*x**2 - 3*x - 6. Let z be h(-5). Let q = z + -1. Is 3 - q/2*-40 a prime number?
True
Suppose 3*q - 35 = -2*g + 11, -3*q + 31 = -g. Suppose d - 2*c - 5 = 0, 7*d = 2*d - 3*c + q. Suppose -4*s = d*u - 23, -5*u + 3*s + 69 = 2*s. Is u prime?
True
Let k(g) = 17*g + 8. Let n be k(8). Let r = n + -101. Is r prime?
True
Is -4 - -3 - 20*-2 prime?
False
Let d = -159 + 548. Is d composite?
False
Suppose 38*k + 12 = 40*k. Is k a prime number?
False
Let h = -475 + 746. Is h a composite number?
False
Suppose -w + 200 = l, -4*l = 2*w - 3*w - 825. Is l a prime number?
False
Let k be 7*6*(7 - -1). Suppose -5*r + c + k = 0, 6*r - 204 = 3*r + 3*c. Is r a prime number?
True
Suppose 31 = 4*m - 61. Suppose 0 = 5*y + m + 7. Let w(t) = -15*t - 3. Is w(y) prime?
False
Suppose n + 1003 - 9 = u, 0 = 5*u + 4*n - 4979. Is u a composite number?
True
Suppose -417 = 3*p - 3*i - 48, 495 = -4*p + 5*i. Let m be 398/(-1 - (1 - 4)). Let u = m + p. Is u a prime number?
True
Let x(b) = b + 3. Suppose -2*j = -4*j - 6. Let t be x(j). Suppose -4*q = -5*d - t*d - 144, 4*q - 4*d = 140. Is q composite?
False
Let i be (1 - -18 - 1) + 2. Suppose 4*h - 12 = i. Suppose -h = -3*b + 4. Is b composite?
True
Suppose -2*d - 2*q = -898, -q - 898 = -2*d - 2*q. Is d composite?
False
Let b be 54/(-1 + 10/4). Let t = b + -21. Is t composite?
True
Suppose -4*z + 378 = -4010. Is z a prime number?
True
Let t(l) = -l**3 + 2*l**2 + 11*l - 8. Is t(-6) a prime number?
False
Let u(c) = c**2 + 2*c - 4. Is u(-7) a composite number?
False
Let o be (-10)/(-3)*(-18)/15. Is (9 + 1)*(-46)/o a composite number?
True
Let y(n) = n**3 - 6*n**2 + 6*n - 1. Let g be y(5). Suppose -4*f - l + 13 = 0, -f + 3*l + 29 = g*f. Is 157/3 + f/6 prime?
True
Let y(r) be the second derivative of r**6/90 + r**5/30 + 7*r**4/24 - r**3/6 + r. Let b(x) be the second derivative of y(x). Is b(-6) a composite number?
False
Suppose d + 4 = 0, z + z + 1472 = 5*d. Is (-1 - -3)/((-4)/z) a prime number?
True
Let n(q) = 4*q**2 + 16*q - 5. Is n(-6) a prime number?
True
Suppose -4*k + 77 = -3*k + 4*t, -2*k + 178 = -4*t. Is k composite?
True
Let r = 12649 - 8612. Is r prime?
False
Is (-24378)/(-90) - (-4)/30 a prime number?
True
Let b = -1 - -5. Let u(j) = -4*j - 3 + 3*j - 3*j**2 + 2*j + b*j**2. Is u(-4) a composite number?
True
Let a = -3 - -2. Let o be (60/(-6))/((-1)/a). Let h = 43 - o. Is h a composite number?
False
Suppose -5*r = 4*a - 22, -a - 4*r + 8 = a. Let d(z) = z**2 - 7*z - 7. Let s be d(a). Is 9 + 5 - s/(-1) prime?
False
Let b be 6 - (3 + 1) - -252. Suppose -3*m = -2*m - b. Is m a composite number?
True
Suppose h + 1010 = 5*q - h, 3*q = -h + 595. Is q/6 + (-3)/9 a composite number?
True
Let c = 183 - -129. Suppose -2*k = 5*f - 191, c = 3*k - 3*f + 2*f. Is k composite?
False
Let d(i) = 35*i**2 - i - 1. Suppose -3*f = 1 + 2. Is d(f) composite?
True
Let s 