1 = -d*z, -5*k + 4*z + 172 = -39. Is k a composite number?
True
Let u(c) = 495*c**2 + 3*c - 2. Let y be u(1). Suppose -f + 79 = -2*d - 46, 4*f = 4*d + y. Is f prime?
False
Let c(u) = 30*u**2 - 13*u + 18. Is c(11) a composite number?
True
Suppose -4*q = 8, 0 = -3*o - 3*q - q + 46. Suppose -5*t = o - 293. Is t a composite number?
True
Let w = -34 + 119. Is w composite?
True
Let a(b) = b**2 - 3. Let i be a(3). Let r be -5*-3*4/i. Let z = r - 4. Is z composite?
True
Suppose -265 = 3*t - 4*t. Suppose 328 = 4*n + u, 3*n + u = 5*u + t. Is n a composite number?
False
Suppose 0 = -2*x + 3*p, x + 4*p + 22 = -0*p. Let j be -1*2/2*x. Is j/1 + -3 - -124 a composite number?
False
Suppose -830 = -3*l - 233. Is l prime?
True
Let t(b) = b**2 - 4*b - 8. Let d be t(6). Is -14*(-1)/d*82 composite?
True
Let w(s) = s**2 + 2*s - 1. Let j(a) = -2*a + 1. Let i(d) = 3*j(d) + 4*w(d). Is i(2) a composite number?
False
Let t(d) be the first derivative of d**6/120 - d**5/15 - d**4/6 - d**3/6 + 3*d**2/2 + 2. Let c(k) be the second derivative of t(k). Is c(5) composite?
True
Let o(d) = -144*d**3 + 2*d**2 + 2*d + 1. Let b be o(-1). Suppose -3*g = t - 0*t - 425, -g + b = t. Let v = g - 87. Is v prime?
True
Suppose 0 = 5*a - 2*v - 10, -2*a - 2*v = -a - 2. Suppose 5*n - 4*w - 2396 = 0, a*w + 723 = 2*n - 237. Suppose n = k + 3*k. Is k prime?
False
Let h(v) be the first derivative of v**2/2 + 8*v - 1. Let u be h(0). Suppose o + u*x = 4*x + 42, -o - 3*x + 38 = 0. Is o a prime number?
False
Suppose 0 = -4*n - 0*n, 3*q + 4*n = -18. Is 3/(q/(-94))*1 a composite number?
False
Let t be (-20)/(-6) + (-2)/6. Is 3 + -1*(-480)/t composite?
False
Let m = -1565 - -2430. Is m prime?
False
Let l(f) = -198*f - 3. Let m be l(-4). Suppose k = 4*k - m. Is k a prime number?
True
Is (2 + -10)*(-2230)/40 a composite number?
True
Is 3*(0 - -2 - (-41 - -2)) composite?
True
Let r be (28/8)/((-2)/(-184)). Is (4 - 2) + r/2 a prime number?
True
Suppose 0 = 2*h + 2. Is (-2 - h)*-117 - 2 composite?
True
Suppose -2*q + 5*q - 18 = 0. Let v(m) = 10*m**2 - 2*m**3 - 10*m + 20 - 13 + m**3. Is v(q) a composite number?
True
Suppose a = 2*b - 5*b + 130, -2*a = 5*b - 265. Is a prime?
False
Let g(k) = 70*k**2 + 1. Let w = -5 + 4. Let y = 2 + w. Is g(y) a composite number?
False
Suppose -5*g - 5*v = -v - 7007, 0 = -4*g - 3*v + 5605. Is g a composite number?
False
Suppose -2*z - 780 = 3*z. Let m = 31 - z. Is m a prime number?
False
Suppose 4*a - 5 = -a. Suppose v - 29 = 2*n, v - 2*n + a = -6*n. Is v prime?
True
Suppose f + f + 4*w = 320, 2*w + 788 = 5*f. Let a = f - 106. Suppose t + 3*t = a. Is t composite?
False
Suppose -5*z = -3*y + 305, 0 = 5*y - 7*z + 2*z - 495. Suppose -s = -6*s + y. Suppose -2*j = -4*w + 98, 2*w + 2*j - s = -3*j. Is w prime?
False
Suppose 0 = t - o - 141, -452 + 15 = -3*t - 4*o. Is t prime?
False
Suppose -11*z + 6007 = -2298. Is z a prime number?
False
Suppose -4*k - u + 1567 = 0, 3*k - 3*u = -6*u + 1164. Is k prime?
False
Let j = 38 - -317. Is j a composite number?
True
Let i be 8/(-2)*6/(-8). Suppose -s = -0*s + 5*k - 281, 2*k = i*s - 911. Is s composite?
True
Suppose -4*x - k + 119 = -24, 137 = 4*x - k. Is x composite?
True
Suppose 4*m = -4*w + 20, -2*w + 4*w = m + 4. Suppose 3*g - m*t = -t - 626, g = 5*t - 232. Let d = -22 - g. Is d a prime number?
False
Let o(a) = -a**2 + a + 33. Let z = -22 + 42. Let p be (-2)/(-10) + (-4)/z. Is o(p) a composite number?
True
Let a = 349 - 84. Is a a composite number?
True
Let w(r) = r**3 - r + 3. Let q be w(0). Suppose 1 = -m + 3*o, -q*m - o - 3 = -4*o. Is (16 + m)/(-5 + 6) a composite number?
True
Let u(h) = h**3 + 6*h**2 + 5*h - 1. Let l be u(-5). Is 2 - l - 0/(-6) composite?
False
Let i = 20 - 12. Let s = 13 - i. Is 102/8*(s + -1) composite?
True
Suppose b - 4*k + 158 = 0, -4*b - 4*k - 602 = -5*k. Let t = 181 - b. Is t a prime number?
True
Let a = 42 - 19. Is a prime?
True
Let s = -252 - 74. Is (3/6)/((-1)/s) composite?
False
Suppose -x + 1 = 3*t, x + 19 = 5*x - 3*t. Suppose 0*g + 106 = 2*g - 3*z, -2*z = -x*g + 212. Is g a composite number?
False
Suppose -2*p - 2*p - 3*c + 20 = 0, 3*c = 12. Is 1/((-428)/(-212) - p) a prime number?
True
Let a(h) = -h**2 - 7*h - 4. Let f(i) = -5*i**3 - 1. Let o be f(1). Let s be a(o). Let k(g) = 2*g**3 - 4*g**2 + g + 2. Is k(s) prime?
False
Is -1 + 4 + (1898*3)/3 a prime number?
True
Suppose -4 = -4*l + 5*l. Let g(i) = -73*i + 3. Is g(l) a composite number?
True
Let i = 7 - -50. Is i a composite number?
True
Let p(k) = -k**2 + 3*k - 2. Let t be p(2). Let f(n) = -44*n**3 - 1. Let x be f(-1). Suppose 2*v = 3*j - x - 14, 5*v - 15 = t. Is j a prime number?
False
Let y(p) be the second derivative of -p**4/8 + p**3/6 + p**2/2 - p. Let j(u) be the first derivative of y(u). Is j(-4) prime?
True
Let l(v) = v**2 - 8*v - 7. Let n = -11 - -22. Let z = -1 + n. Is l(z) composite?
False
Let m(x) = -28*x + 15. Is m(-7) a composite number?
False
Suppose 6*b = 4*b + 326. Is b a prime number?
True
Let v(d) = d**3 + 15*d**2 + 14*d - 11. Is v(-11) prime?
False
Let i(f) = 41*f**2 - 4*f + 11. Is i(-6) composite?
False
Let z be 4 - (-1 + (5 - 3)). Suppose -3*k = z - 0. Is 123/4 + k/(-4) prime?
True
Suppose 30 = -2*t - 3*t. Let i = t - -8. Suppose -i*h = h - 138. Is h prime?
False
Suppose -5*h + 4603 = 4*j, 0*h + 3453 = 3*j + 4*h. Is j a composite number?
True
Is (-3 + 3)/(-3) - -391 prime?
False
Let j be 9 + -3 + -1 + -2. Suppose -15 = -3*x, j*v - 3*x - 51 = v. Is v composite?
True
Let r be (-8)/(-12)*3/(-2). Let d = 20 + r. Is d prime?
True
Let u(x) = -1840*x**3 - 2*x**2 - 3*x - 2. Is u(-1) prime?
False
Let s(p) = -p**3 - 4*p**2 + 5*p - 1. Let j be s(-5). Let b be (j - -2)*(-3 - -46). Suppose 2*i + b = 177. Is i a composite number?
False
Let x(j) = -2*j**3 + 2. Let a be x(-2). Let w = -29 + a. Let q = 102 + w. Is q composite?
True
Let p = -952 + 2103. Is p a composite number?
False
Let r be 1*-4770 + 0/(-6). Is r/(-50) + (-2)/5 a composite number?
True
Suppose -4*n + 8 = 0, 5*z + 4*n - 2*n = 3589. Is z prime?
False
Suppose 0 = 2*l + m - 12, l + 3*m + 0 = 11. Suppose l*a = -4*d - 264, 3*d - 3*a = -5*a - 205. Let i = d - -126. Is i a composite number?
True
Suppose 0 = a - 5 + 2. Let v be 6/(-4)*4/(-3). Suppose -2*p = 0, 0 = n - a*p + v*p - 79. Is n a composite number?
False
Let x(j) = 293*j + 1. Let t be 160/72 + 2/(-9). Is x(t) composite?
False
Let m = 6 + -4. Let j be 0/2 - (m + -2). Suppose 4*l - 16 = 0, j = 5*n - 4*l + 2*l - 157. Is n composite?
True
Suppose -8 + 0 = -4*z. Let w be (z/(-4))/((-2)/36). Suppose r - 11 = j + w, -3*r + 74 = 4*j. Is r a prime number?
False
Suppose -3*r + 1 = 5*x, -5*r - 19 = -x - 2. Suppose -3*b - 5 = -4*b + g, -2*b + 7 = -g. Suppose x*l + b*l = 92. Is l a prime number?
True
Let f(g) = 15*g - 23. Is f(10) prime?
True
Let o(z) be the third derivative of -19*z**6/40 - z**4/24 - z**3/6 - z**2. Let r be o(-1). Let s = r + -38. Is s composite?
False
Suppose 0 = i - 50 - 332. Is i composite?
True
Let a be (12/(-10))/(3/15). Let z(r) be the first derivative of -13*r**2 - 7*r + 2. Is z(a) a composite number?
False
Let f(x) = 157*x - 7. Is f(2) a composite number?
False
Let a = -34 + 66. Let u(b) = a*b**2 - 4*b + 1 + 4*b. Is u(1) a prime number?
False
Let j = 239 - 162. Let s = j - 42. Suppose 74 + s = n. Is n a composite number?
False
Let r = -30 + 36. Let j(g) = -2 - 1 + 14*g - 2. Is j(r) prime?
True
Let k = -240 + 805. Is k a composite number?
True
Let h(j) = 72*j**2 + 4*j - 3. Suppose 3*g - p = -0 + 4, p - 12 = -5*g. Is h(g) composite?
False
Let n = 2011 + -967. Let k = -365 + n. Is k prime?
False
Suppose 2*q + 3*z - 256 = 0, -q = -2*z - 48 - 87. Is q a composite number?
False
Suppose t - 3 = 5*r - 6, 69 = -3*t + 3*r. Is 183 - (-7)/(t/8) a prime number?
True
Suppose -2*k = 3*g + k - 429, -301 = -2*g + k. Suppose -g = -5*c + c. Is c composite?
False
Let p(a) = -a**3 - 2*a**2 - 3*a - 2. Let g be p(-2). Suppose 0*w - g*c + 82 = 5*w, 0 = 2*c - 6. Is (-1 - 2) + (w - 4) a prime number?
True
Let k = 4120 + -2027. Suppose 4*d - k = 431. Is d a prime number?
True
Let f = 11 + -5. Let v = -37 + f. Let d = 56 + v. Is d prime?
False
Let v(p) = -16*p + 3. Is v(-2) composite?
True
Suppose -q + 4 = q. Let k be 0 - 1/(-2)*0. Let w = q + k. Is w composite?
False
Let c(n) = -7*n**2 - 3*n - 9. Let a(x) = 4*x**2 + x + 5. Let d(t) = 5*a(t