j**2 + 7*j - 5. Is z(p) a composite number?
True
Let v(q) = -4*q + 0*q + 4*q**2 - 8 + 5. Is v(-2) a composite number?
True
Let p = -29 - -42. Is p composite?
False
Let p(v) = 58*v - 27. Is p(11) prime?
False
Let y(c) = -c**2 - 9*c + 2. Let u be y(-9). Is u/((-3)/(42/(-2))) prime?
False
Suppose -3*n + u + 3*u = -23, 0 = 2*n - 3*u - 17. Let g be (1 - 2/n) + -185. Is 1/(2*(-3)/g) composite?
False
Let i be (706/(-4))/((-10)/60). Is i*((-11)/3 - -4) prime?
True
Suppose 0*b - 10 = -2*b. Is (0 - -37)/(6 - b) a prime number?
True
Is 3 - (-332)/4 - 1 prime?
False
Let i be 2/2*(0 + 4). Suppose -g + 372 = g + 5*a, -i*g + 3*a = -770. Is g composite?
False
Let a(j) = 8*j**2 - 4*j + 3. Let u(n) = -7*n**2 + 5*n - 4. Let t be 2 - (1/1 + -1). Let o(m) = t*u(m) + 3*a(m). Is o(2) a composite number?
False
Suppose 4 = x + 2. Let o(p) = 22*p**2 - 2*p - 2. Let v be o(2). Suppose 4*d - 590 = -x*j, 2*d - j + v = 383. Is d a composite number?
False
Let f(w) = w**2 + 5*w - 3. Let l be f(-6). Suppose 0 = 2*d - l*d + 89. Is d a composite number?
False
Suppose 0 = 2*i - 0*i - 6. Suppose 4*o + 210 = 2*r, 0*o + i*r + 268 = -5*o. Let q = o - -108. Is q composite?
True
Suppose -4*g + 288 = 76. Is g prime?
True
Let v(r) be the third derivative of r**5/8 + r**4/24 + r**3/2 + 2*r**2. Let c(w) be the first derivative of v(w). Is c(6) a composite number?
True
Let l(r) = 1055*r. Is l(1) a composite number?
True
Let x(t) = -4*t + 1. Let n be x(6). Is n/(0/4 + -1) composite?
False
Let a(i) = -494*i - 11. Is a(-5) a prime number?
True
Is (-4 - 0)*444/(-16) a composite number?
True
Suppose g + 4*y + 5 = -3, g - 4*y = -8. Let w(t) = 13*t + 15. Let k(s) = -19*s - 22. Let j(d) = g*w(d) - 5*k(d). Is j(-7) composite?
False
Let q be -4 + 4 + (2 - 4). Is (-106)/1*q/4 a prime number?
True
Let k = -493 + 791. Is k composite?
True
Let z(j) = -4410*j**3 - j - 2. Is z(-1) composite?
False
Let s be (-2)/(-1*6/9). Suppose 409 = s*r - 80. Suppose 4*j = -4*c + 652, -c + 2*j = j - r. Is c prime?
True
Suppose 5*j - 110 = 90. Suppose -3*b - 4 = -n, j = 3*n + 2*n + 5*b. Let f(c) = c**2 - 2*c. Is f(n) composite?
True
Let h(l) = -l + 11. Let c be h(8). Suppose j + c*j = 196. Is j a composite number?
True
Suppose 3*m = 3 + 6. Suppose 1133 - 254 = m*o. Is o composite?
False
Suppose 2*s = 6*s - 3236. Is s prime?
True
Let g(x) = 2*x**3 - 11*x**2 - 8*x. Let m(h) = -h**3. Let k(d) = g(d) + 4*m(d). Let a be 3/((-3)/7) - 0. Is k(a) a prime number?
False
Suppose -2 = 5*l + 8. Let h be 0*1/l + 0. Suppose -2*p - 23 + 91 = h. Is p composite?
True
Suppose 0 = -3*l - 2*l. Let c(h) = -h. Let m be c(-4). Suppose l = -3*a + 5*a - m. Is a a composite number?
False
Let k = 10109 - 6632. Is k/39 - 6/39 composite?
False
Let a be (1/(-1))/1 + 57. Is (-16)/a - (-499)/7 a composite number?
False
Suppose 3*y - 5*y = -2370. Suppose -y = -a + 6*a. Is a*(-1)/6*2 a prime number?
True
Let t(i) = 7*i**2 - 7*i - 6. Let x be t(-5). Suppose 0*f - x = -4*f. Is (f/(-6))/(2/(-28)) a composite number?
True
Is 18 + (-4)/(12/9) a composite number?
True
Suppose 2*k - 8 - 2 = 0. Suppose 5*z - 308 - 447 = 0. Suppose -k*h - 2*u = -u - 156, 5*h = 4*u + z. Is h prime?
True
Let n(z) = -62*z**3 - 2*z**2 - z + 1. Let a be n(-2). Suppose 4*b = -a + 1947. Suppose -5*s = -s - b. Is s a composite number?
True
Let h be (1/2)/((-5)/70). Let u(p) = -9*p - 10. Is u(h) prime?
True
Let w(h) = 2*h**2 + 2*h - 2. Let r be w(-3). Suppose c + c + r = 0. Let z(m) = -5*m - 2. Is z(c) a prime number?
True
Suppose a - 849 = -3*a + 5*m, 5*a - 1056 = m. Is a composite?
False
Let i = -6 + 10. Suppose -i*x + 4*p = -244, -2*x + 93 + 25 = -p. Is x a composite number?
True
Suppose 4*w + 0*w - 4768 = 0. Suppose -4*l = -3*a - w, 2*a = 5*l + 189 - 1672. Is l prime?
False
Let l = 54 + -38. Suppose d = -3*d - 5*v + 44, -4*v - l = 0. Suppose -2*p - u = -114, 0 = -3*p - 3*u - d + 187. Is p a composite number?
True
Let m(v) = -27*v - 4. Suppose -l + 2*l - 5 = 0. Let t(i) = 27*i + 5. Let j(p) = l*t(p) + 6*m(p). Is j(-6) composite?
False
Suppose 2*a = -2*a - 20. Let n(c) = c**2 - c + 8. Let o be n(-13). Is a + 2 + o - 0 prime?
False
Suppose -10 = -3*m - 2*m. Suppose -110 = -m*x - 36. Is x a composite number?
False
Suppose -3*g = 2 - 14. Suppose -d - 4*c + 437 = 0, g*d = 4*c + 2384 - 596. Is d a prime number?
False
Let f(p) = -p + 1062. Let i be f(0). Suppose 2*a - 2*n = i, 3*a + 2126 = 7*a - 3*n. Is a a composite number?
True
Suppose 2*b = -r + 3, 2*b - 4*r + 6 + 6 = 0. Let x be (3 - -16)/(b + 1). Suppose 2*u + 3*s - 76 = -2*u, u + 5*s = x. Is u prime?
True
Let q = -1 - -5. Let f be 21/6 - (-2)/q. Suppose f*n = -k + 51, 3*n - 85 = -2*n + 3*k. Is n prime?
False
Suppose 1906 = o - 1033. Is o composite?
False
Let r(q) = -q**3 - 5*q**2 + 5*q + 2. Let u(o) = o**3 + 4*o**2 - 4*o - 1. Let d(a) = 3*r(a) + 4*u(a). Let k be d(0). Suppose -k*v = -5*v + 159. Is v prime?
True
Let p(n) = 2*n**2 + 3*n - 4. Let l be p(-3). Suppose -3*u + 5*i = 2*u - 30, l*i = 0. Suppose 0 = u*a - a - 475. Is a prime?
False
Suppose -v - m + 42 = 0, 0 = 4*m + 4 - 24. Let y = -14 + v. Is y a prime number?
True
Suppose 96 = 4*i - 2*w, 0 = w - 2*w + 4. Let d = i + -7. Is d composite?
False
Let c(a) = 2*a**2 - 4. Is c(3) a composite number?
True
Let u = -62 - -633. Is u a composite number?
False
Suppose -4*x = f - 54 - 44, -x = -2*f + 187. Is f a prime number?
False
Let h(j) be the third derivative of -j**6/120 + j**5/10 - j**4/12 - j**3/6 - 2*j**2. Suppose -3*w = -5*q - 11, -3*w - 5*q - 1 = -2. Is h(w) a composite number?
False
Suppose 5*b = 3*r - 492, 4*r - b + 233 = 906. Is r a prime number?
False
Let j be (-79)/2*(-18 - -12). Suppose 5*a = -7 + j. Is a prime?
False
Suppose -x = 2*a - 0*x - 224, -3*a - 2*x + 335 = 0. Is a a prime number?
True
Let x(k) = -28*k**2 - 2*k - 3. Let m(s) be the third derivative of 11*s**5/12 + 5*s**4/24 + 7*s**3/6 + s**2. Let j(i) = -4*m(i) - 9*x(i). Is j(-1) prime?
False
Let w = 19 + -19. Suppose -3*k + 4*f + 285 - 111 = w, k - 58 = 3*f. Is k a composite number?
True
Let f(t) = -t - 2. Let p be f(-3). Let y be (3 - 1) + p + 40. Suppose k = 4*i - y, 5*i + k = -0*k + 56. Is i a composite number?
False
Suppose 12 = 4*a + n, 3*a - 4*n = 7*a - 24. Suppose -62 = -a*v + 48. Is v composite?
True
Suppose 0 = 5*p + 1160 - 5355. Is p prime?
True
Let a(w) = w**2 - 4*w - 1. Let c be (0 - -6) + (5 - 6). Let y be a(c). Suppose 3*r + n + 6 = 59, -y*r + 5*n + 96 = 0. Is r a prime number?
True
Suppose -3*r = 2 + 1. Is 3 + (144/(-3))/r a composite number?
True
Suppose -7*f = -2*f - 20. Suppose 2*w + 374 = 2*b, -f*w - 18 = 2*b - 416. Is b a composite number?
False
Let g = 79 - 116. Let i(f) = 10*f - 2. Let c be i(7). Let y = c + g. Is y composite?
False
Let c(o) = -2*o**3 - 7*o**2 + 3*o - 5. Is c(-7) a composite number?
False
Suppose 5*f = 5*d - 15, 4*f + 18 = 4*d + 3*f. Suppose -466 = -u - 102. Suppose -u = -d*m + 21. Is m composite?
True
Let l(i) = i**3 - 2*i**2 + 1. Let v be l(1). Let n = 15 - 15. Suppose 3*g + v - 57 = n. Is g a composite number?
False
Suppose -7*c = -11*c + 1876. Is c a composite number?
True
Let t(p) = 5*p**2 - 4*p**2 + 3 + 6*p**2 + 4*p - 4*p**2. Is t(-5) a composite number?
True
Let p be (2/3)/(16/(-264)). Is 1 + (-2 - -3) - p a composite number?
False
Let q(o) = -2*o**3 - 11*o**2 + 8*o - 11. Let m be q(-10). Suppose -m = -d - 3*v, 3*d - 4*v = 2*d + 781. Is d a prime number?
True
Suppose -700 = -7*b + 2*b. Let z be 6/7*b/5. Is ((-222)/z)/((-2)/8) a composite number?
False
Let x = 2670 - 721. Is x prime?
True
Let c be 154/4 - 24/(-16). Suppose 0*n = 2*n + c. Is (-64)/n - (-1)/(-5) prime?
True
Suppose -4*d + 12 = -3*u, 2*d = -4*u - 2*d + 12. Let o = 2 - 2. Suppose u*t - 2*t + 62 = o. Is t a composite number?
False
Let x be 3 + -1 + -1*7. Let j be (x - -7)/(1/(-3)). Is -1 - 76/(j/3) prime?
True
Is (1982*42)/7 - -1*1 a composite number?
True
Let i = -1 - -2. Is i/((-1)/57*-3) a prime number?
True
Let w(i) = -i**3 - 5*i**2 + 5*i + 1. Let l be w(-6). Suppose 4*v = -l*h + 3*h + 1788, -4*v + 2*h + 1776 = 0. Is v composite?
True
Let n(s) = -302*s + 5. Is n(-3) a prime number?
True
Suppose 0 = -4*k - 4*a - 32, -7*a + 2*a - 20 = 0. Let p = k - -4. Suppose 263 = w + 2*s, 5*w + p*w - 1303 = -4*s. Is w prime?
False
Let r = 721 - 170. Let q = 802 - r. Is q a prime number?
True
Suppose -4*g = -4*q + 1232