(0 + 2) composite?
False
Let r(q) = q**2 - 2*q - 2. Let p(c) = -c**2 + 3*c + 3. Let d(z) = -3*p(z) - 4*r(z). Let t(n) = -2*n**2 - 2*n - 5. Let a(x) = 3*d(x) - t(x). Is a(0) composite?
False
Let j(h) = -h**2 + 7*h + 2. Let x be j(7). Let d(g) = -1 + 0*g**2 + 2*g**3 + g**3 - x*g**2. Is d(2) a prime number?
False
Let u(b) = -2*b - 11. Let o be u(-9). Let h be (2 + -4)/(-2*1). Is (6/7)/(h/o) a prime number?
False
Suppose 20*k - 16*k = 5748. Is k prime?
False
Let n(s) = -6*s + 1. Let b be n(-9). Suppose -5*u = -x - 49 - b, -5*u = 3*x - 108. Suppose -5*y + c = -u - 38, -2*c = -3*y + 41. Is y a composite number?
False
Let m be (4/(-8))/(1/(-12)). Suppose m = -4*c - 2. Is 6/c*(-22)/3 prime?
False
Let b(q) = q + 4. Let l be b(0). Suppose 0 = -2*a - 0*a - l*z + 8, -a + 2*z - 16 = 0. Is (-6)/5*(a + 1) composite?
True
Suppose -5*u = 7 - 32. Suppose u*o = 67 + 88. Is o composite?
False
Suppose -3*u + 161 = -286. Is u a composite number?
False
Suppose 91 = 2*r - 5*i, -3*i = -2*r + 8 + 89. Is r a composite number?
False
Let a(h) = h - 1. Let w be a(8). Let o = 19 + w. Is o prime?
False
Suppose 3*z + 5 - 35 = 0. Is z a prime number?
False
Let b(i) = i**3 - i**2 + 1. Let a(f) = -5*f**3 + 7*f**2 - f - 3. Let g(z) = -a(z) - 6*b(z). Let p be g(-3). Suppose 5 = -n + p. Is n composite?
False
Suppose 7*u - 2*g - 1477 = 2*u, 4*u + g - 1179 = 0. Is u a composite number?
True
Suppose j + 30 = 4*x, 4*j - 2*x + 57 = 7. Is j/(-1) - 0/(-1) composite?
True
Let m(l) = -l**3 + 20*l**2 + 24*l + 25. Is m(-14) a prime number?
True
Let p be (-21)/(-35) + (-2034)/(-10). Let c = 175 + p. Is c a prime number?
True
Let l be ((-3)/(-5))/((-3)/15). Let w = l - -3. Suppose 3*c + 100 = 2*h, -h - 4*h + c + 263 = w. Is h a prime number?
True
Suppose -4715 = -10*w + 5*w. Is w prime?
False
Let r(i) = i**3 - 5*i**2 - 5*i + 9. Let a be r(6). Let q be 10/(-4)*12/a. Is q + (3 - 2) + 90 a composite number?
False
Let d = -770 + 1443. Is d prime?
True
Suppose 19*c - 23*c = -556. Is c composite?
False
Let y(w) = 294*w**2 - 1. Is y(1) a prime number?
True
Suppose -26 = -4*w + 2*w. Let h(v) = v**3 - 4*v**2 + 4*v + 4. Let y be h(4). Let t = y - w. Is t prime?
True
Let x = 615 - 166. Is x composite?
False
Suppose -3*t + 879 = 264. Is t a composite number?
True
Suppose 0 = -3*y + 2*g + 111, -2*g - 90 = -2*y - 6*g. Let o = 116 - y. Is o composite?
True
Let x(i) = -i - 5. Let k be x(-4). Suppose 26 = -g - 67. Is 2*k*g/6 a prime number?
True
Suppose 15 = -n - 2*n, j - 10 = n. Suppose -186 = -j*u + 389. Is u a prime number?
False
Is 1985/((-20)/(-4))*1 a prime number?
True
Let f(x) = x**2 + 3*x + 3. Let g be f(-3). Suppose 4 + 169 = g*r + 2*p, -57 = -r - p. Is r a prime number?
True
Suppose -4*q + 1 = -15. Is 1157/91 - q/(-14) a composite number?
False
Let a(o) be the first derivative of -3 + 1/4*o**4 + o - 7/2*o**2 - 3*o**3. Is a(10) a composite number?
False
Let d(w) = -143*w**3 + 5*w**2 + 9*w + 2. Let z(a) = 72*a**3 - 2*a**2 - 4*a - 1. Let m(i) = 2*d(i) + 5*z(i). Is m(2) a prime number?
True
Suppose 2*z - 5 - 1 = 0. Suppose z*c - t = 5*c - 76, -c = -t - 35. Is c a prime number?
True
Suppose -14 = 3*h + d, -2*d + 0*d = 3*h + 16. Let n = h - -4. Let j = n + 7. Is j prime?
True
Let t = -316 + 482. Is t composite?
True
Let u = 325 - 36. Let y = 446 - u. Is y composite?
False
Suppose 4*p - 3*j - 11 = -0*j, -2*j = 2*p - 16. Let g(a) = 4*a**2 - 3*a + 4. Is g(p) composite?
False
Let r = -11 + 5. Let m = -4 - r. Suppose -m*n - 77 = -2*f + 1, 2*f - 82 = 4*n. Is f composite?
False
Suppose -660 = -5*t - h, -5*h + 28 = 3. Is t a composite number?
False
Let z = 78 + -23. Is z prime?
False
Let k(z) = -z**2 - z + 373. Is k(0) a composite number?
False
Let w(c) = -14*c + 5. Is w(-3) prime?
True
Let g = 508 - -1381. Is g prime?
True
Let t be -1*(-2)/6*-3. Is 221 - (-2 + 1 + t) composite?
False
Let b(z) = 2*z**3 + 4*z**2 - 4. Let g be b(-3). Let j be 1050/33 - 4/g. Suppose -5*n = -217 + j. Is n composite?
False
Is 1/(18/(-18) - 3640/(-3638)) composite?
True
Let l(v) = -19*v**2 + 9*v - 4. Let t(s) = -29*s**2 + 13*s - 6. Let p(b) = 7*l(b) - 5*t(b). Is p(2) a composite number?
True
Let u(c) = c**2 - 3*c. Let o be u(4). Suppose 5*z - 455 = 5*m, -o*z + 2*m = 147 - 519. Is z prime?
False
Is (1696 - 1) + 28/21*-3 a prime number?
False
Let u(i) = -2*i - 9. Let b be u(-6). Suppose 5*k - 3*g = 0, -b*g + 3 = -2*k - 2*k. Suppose 2*l = 3*f - 112, -7*f + k*f - 2*l = -126. Is f composite?
True
Suppose 12 = -j + 17. Let h(a) = 41*a - 4. Is h(j) composite?
True
Suppose -u + 2 = -5. Suppose -3*v = -u*v. Suppose v*b = -b - y + 8, -36 = -3*b + y. Is b prime?
True
Let k(m) = m**3 + m**2 + 3*m - 1. Let l be k(-3). Let r(a) = -a**3 + 6*a**2 + 3. Let f be r(6). Is 3/(-2)*l/f a prime number?
False
Is (-9 - (-6349)/(-21))*3/(-2) prime?
True
Suppose p = 393 + 494. Is p prime?
True
Suppose 7*x - 14215 = 2*x. Is x a prime number?
True
Let k be 2/2*(1 + -1). Suppose 4*f - f = k. Let b(q) = -q + 185. Is b(f) a prime number?
False
Suppose 0 = r + 423 - 1401. Let v = r + -437. Is v composite?
False
Let g(k) = k + 4 + 0 + 0 + 0*k. Let l be g(0). Is (-1590)/(-4)*l/6 a composite number?
True
Let g be 4/14 - (-188)/28. Let i = g + 51. Is i prime?
False
Suppose -5*m - 6 = -2*m. Is (1 + (-9 - m))/(-1) a composite number?
True
Suppose 0 = -11*x + 16*x - 18925. Is x a prime number?
False
Let w = -228 + 859. Is w prime?
True
Let y = -2 - 1. Let a be (249/9)/(1/y). Let k = a + 454. Is k a composite number?
True
Let w be -2 + 6/(0 + 3). Let p(y) = -y**3 + y**2 - y + 78. Let z be p(w). Is z/12*2/1 a composite number?
False
Let c(m) = m**2 + 4. Suppose -5 + 3 = k. Let h be (k/(-2))/(2/(-6)). Is c(h) composite?
False
Let q = -14 - -37. Suppose 3*b = 2*g + 159, 4*g = b - 30 - q. Is b a composite number?
False
Let v be ((-2)/2)/(4/(-20)). Suppose 4*w - w - 231 = -3*g, 3*g - v*w - 231 = 0. Is g a composite number?
True
Suppose 3*z + 2*z = -3*k + 793, -306 = -2*z - 4*k. Is z a prime number?
False
Let g(o) = o**2 - 6*o - 1. Suppose 2*w - 8 = -5*a, 4*w + 40 = 5*a - 4. Is g(w) prime?
True
Let m = 6 - -8. Suppose -33 = -2*p - 3. Is -3*(-5)/(p/m) prime?
False
Suppose -65 = s - 456. Is s a prime number?
False
Is ((-222)/(-9))/(14/273) a composite number?
True
Let x = 8 + -4. Suppose 31 = -x*n + 375. Is n prime?
False
Suppose 3 = -c + 7. Let i(g) = g**3 - 3*g**2 - 4*g + 2. Let b be i(c). Suppose 5*s - 2*q + 6 = 65, -b*s - 5*q + 41 = 0. Is s composite?
False
Let i = 19 + -16. Is i prime?
True
Let o(j) = j**3 + 2*j**2 - 3*j - 3. Let v be o(-2). Let t(m) = -m + 2*m + m**3 - 2 + 4*m**2 + m**3. Is t(v) prime?
False
Let i be 6 + (2 - 0 - 4). Is i/(-6) - (-23)/3 prime?
True
Suppose -11*p + 4443 = -8*p. Is p prime?
True
Let g be (-654)/(-2) - (-4 + 3). Suppose g = -r + 5*r. Is r a composite number?
True
Let g = -3456 - -4991. Is g composite?
True
Let p = 167 + -82. Is p composite?
True
Let y be (-2)/(-3) - 94/(-3). Let l = -9 + y. Suppose 9 = -o + l. Is o a composite number?
True
Let j(s) = -s**3 - s**2 - s + 31. Is j(0) prime?
True
Let p = 831 + -394. Is p prime?
False
Let s = -149 - -628. Is s a prime number?
True
Let g(q) = q - 1. Let n be g(3). Suppose 5*d - 43 - 37 = 0. Suppose n*o = 12 + d. Is o a prime number?
False
Suppose 0 = -2*w + 3*w + 5, 605 = -3*x - 4*w. Let q = x + 292. Is q a composite number?
False
Let p(f) = -f + 5. Let r be p(5). Suppose -2*a + 2*n - 7*n + 1164 = r, n = -2. Is a a prime number?
True
Let j be (1 + 21/(-15))*5. Let d = -1 + j. Let i(t) = 5*t**2 - 2*t + 2. Is i(d) a prime number?
True
Let f(n) be the second derivative of 3*n**4/4 + n**3/6 - n**2/2 + 2*n. Is f(2) prime?
True
Suppose -24 = 4*i + 4*b, 28 = 6*i - 11*i - 4*b. Let u = i + 8. Suppose u*x = 211 + 25. Is x composite?
False
Let s(n) be the second derivative of n**4/12 + n**3/6 - 3*n**2/2 - 2*n. Let a(o) = -o**2 - o + 3. Let h(d) = 3*a(d) + 4*s(d). Is h(-3) a prime number?
True
Let i(u) = -5*u**3 - 4*u**2 + u + 5. Is i(-4) a prime number?
True
Suppose 2*p + 4*c = 22, 4 = -p - c + 2*c. Let w = p - -1. Let r(l) = -l**2 + 3*l + 2. Is r(w) composite?
True
Suppose 6*a = 2*a + 748. Is a composite?
True
Let w be 3/9 - (-28)/6. Suppose -w*p = -p. Suppose 5*z - 463 + 18 = p. Is z a composite number?
False
Let i(g) = -214*g**2 - 7*g. Let r(a) = -a**2 + a. Let n(q) = -i(q) - 6*r(q). Is n(1) a prime number?