j(q) = 8*i(q) + 5*p(q). Is j(-2) a prime number?
True
Let n = -353 + 3172. Is n a prime number?
True
Let r be ((-66)/5)/(4/(-40)). Let z = r + -90. Suppose 0 = -5*l - 5*v + 375, -2*v = -2*l + z + 92. Is l prime?
True
Let h = -156 + 341. Is h prime?
False
Suppose -4*f - 4*v + 238 + 158 = 0, -2*f + 4*v = -204. Let y = -116 + 73. Let m = y + f. Is m a composite number?
True
Is -5*(3 - 24/10) - -56 composite?
False
Let o(g) = g. Let d(h) = 105*h - 3. Let z(f) = d(f) + 2*o(f). Is z(2) composite?
False
Suppose 5*t - 677 = -112. Is t a prime number?
True
Let c be 3/(1/((-10)/(-6))). Suppose 2*n - a - 569 = 0, -2*a + 7*a = c*n - 1410. Is n a composite number?
True
Suppose -4*y + 8 = 0, -5*m + 2*y + 27 + 59 = 0. Let z(v) = v**2 - 6*v + 4. Let f be z(6). Suppose f*l = 62 - m. Is l composite?
False
Suppose -7*x = -3*x - 4. Let r be -2*x*15/(-10). Suppose -2*t = -r*t + 35. Is t a prime number?
False
Let n(l) = -l. Let j be n(-4). Let w(u) = 19*u**2 + 7*u + 6. Let c be w(-4). Is 2/(j*3/c) composite?
False
Suppose -5*i + 5*k + 1155 = -0*i, 12 = -4*k. Let z = 355 - i. Is z prime?
True
Suppose 0*p = -4*p + 2*r + 6, -4*p + 5*r - 3 = 0. Is 2 - 214/(-1) - p a prime number?
False
Let y(o) = 38*o + 11. Is y(12) a composite number?
False
Suppose -6*f = -5*f - 8. Suppose -f*w = -13*w + 925. Is w a composite number?
True
Let c(w) = -4*w - 1. Let m be c(3). Suppose 3*u + 0*u - 2*y = 8, -4*y - 4 = 0. Is (-1635)/(-65) + u/m a composite number?
True
Let q = -319 - -1326. Is q a prime number?
False
Is 3*(1784/12 - -1) prime?
True
Let m = -168 + 406. Suppose -j + m = 5*k, 203 = 3*k + k + 5*j. Is k a composite number?
False
Let x(b) = -13*b**3 - 2*b**2 + b - 1. Let u be x(-2). Suppose 6*r - u = 3*r. Is r a prime number?
True
Let x be (-3)/6 - 7/(-2). Suppose -x*n + 8*n + 25 = 4*h, 2*n + 2 = 0. Suppose -5*b - 3*v = -h*v - 177, -5*v + 20 = 0. Is b prime?
True
Let c(u) = u - 1. Let v be c(3). Suppose v*j + 2*j = 364. Is j a prime number?
False
Suppose -4*q = -0*q + 16. Let g(o) = -o**3 - 4*o - 6. Is g(q) a prime number?
False
Let c(g) = 5*g**2 + 4*g + 1. Is c(-4) composite?
True
Suppose 3*p - 24 = -4*j, -3*p + 0*p + 3 = -3*j. Suppose -g - 4*m = -5 - j, -3*g - 3*m = -15. Is g composite?
True
Suppose -s + 2*k = -4*s + 1161, 5*s = -5*k + 1940. Suppose -2*v + s = 3*v. Is v composite?
True
Let g(b) = -b + 7. Let v be g(6). Let z(o) be the first derivative of 53*o**4/4 - o**3/3 + o**2/2 + 1. Is z(v) composite?
False
Is 2*6/(-4) + 536 prime?
False
Suppose -2*o = 42 - 448. Is o a composite number?
True
Suppose -d + 45 + 8 = 0. Is d prime?
True
Let s = -8 - -10. Suppose 0 = -s*n + 6*n - 308. Is n composite?
True
Suppose 0 = v + 4*g - 11, 0 = 5*v - 2*g - 0*g - 11. Suppose -y + v*y = n + 582, 3*y = n + 875. Is y composite?
False
Suppose 2*y - 720 = -4*u, 50 + 318 = 2*u + 5*y. Is u composite?
False
Suppose 0*t + 8 = 4*t. Suppose t*s - 4*s = -346. Let a = s + -12. Is a a composite number?
True
Suppose 3*t = -2*t. Let d be (-1 - 2/(-1))*7. Suppose t = -z - 0 + d. Is z a prime number?
True
Suppose 2*r + 548 - 1986 = 0. Is r a composite number?
False
Suppose 15 = 4*s - 1. Let j(d) = -2*d - s*d + 3*d - 1 + 5. Is j(-5) a composite number?
False
Let b = 560 + -374. Is 4/6*b/4 prime?
True
Suppose d - 6*d + 1465 = 0. Is d a prime number?
True
Let x(q) = -4*q + 5. Let o be x(7). Let i = 28 - o. Is i composite?
True
Is (-4)/(-7) + 57783/77 prime?
True
Let i(d) = 13*d**3 - 7*d**2 + 11. Is i(7) a prime number?
True
Let r(c) = 18*c + 3. Let y be r(6). Suppose -109 = -4*g + y. Is g a prime number?
False
Let f = -17 - -17. Suppose f = 4*n - 2*s - 0*s - 2344, 5*n + 5*s = 2945. Is n a prime number?
True
Let u(m) = -2*m + 14. Let a be u(6). Let v(h) = 4*h**2 + 5*h**2 - h**a + 1 + 1. Is v(3) a prime number?
False
Suppose -c - 12 = -3*c. Suppose -5*x + 21 = 2*m, -c*x + 17 = -3*x - m. Suppose 0*o + 4*d + 25 = 3*o, -o = x*d - 21. Is o a composite number?
False
Let p = -164 - -519. Is p prime?
False
Suppose 3*n + 0 = 9. Let c = 10 + n. Is c composite?
False
Let i = -3982 - -5705. Is i a prime number?
True
Let k = -41 + 107. Suppose 0 = -9*q + 4*q + p + 168, -p = -2*q + k. Is q prime?
False
Suppose 5*i = -5*v + 565, 4*v + 158 = i + 600. Suppose -w - 887 = -4*n, 5*n + w - 991 = v. Is n a prime number?
False
Let y = 446 + -283. Is y a composite number?
False
Suppose 406 - 108 = 2*k. Is k composite?
False
Suppose -m + 596 = 3*m. Is m a prime number?
True
Suppose 2*i = 2, -4*i = 5*t - 0*i - 1679. Is t a composite number?
True
Suppose -3*m + 1793 = -2269. Is m a composite number?
True
Let j be -4*((-105)/12)/(-5). Let i = j - -10. Suppose 2*u = -i*u + 1055. Is u prime?
True
Suppose 13695 = 5*n - 9*x + 5*x, -5*n + 3*x + 13700 = 0. Is n prime?
False
Suppose -4*g = -3 - 5. Suppose g*w - 925 = -3*w. Is w a prime number?
False
Let z(w) = 21*w**2 - 2. Let f be (24/10)/(4/20). Let r be (-2)/8 + (-21)/f. Is z(r) a composite number?
True
Let b = -1021 - -2276. Is b a composite number?
True
Let m be (2/(-6))/((-3)/45). Let b be 3/(-5) + 446/10. Suppose 3*z + r - b = 350, 0 = m*r + 25. Is z a prime number?
False
Suppose -5*k - 1 = t, 4*t + 27 = -0*k + 3*k. Let o be t/(1*(-3)/2). Suppose o*i + 3*h - 44 = 0, 2*i + 4*h + 8 = 20. Is i a prime number?
False
Suppose 4*p - 3 = 5. Suppose -p*d = -4*d + 262. Is d a prime number?
True
Let a be (-2)/(((-8)/618)/((-8)/(-12))). Suppose -p + 2*p - 34 = 0. Suppose 3*f - a + p = 0. Is f a composite number?
False
Let q(c) = 10*c - 1. Is q(14) a prime number?
True
Let a(s) = 76*s**2 + 2*s - 1. Let f be a(1). Suppose -z = -f - 50. Is z a prime number?
True
Let o(f) = -f**2 + 15. Suppose 0 = -3*c + 7*c. Is o(c) prime?
False
Let i(v) = -11*v + 4*v + 6 - 12. Let l(s) = -s - 1. Let m be l(3). Is i(m) prime?
False
Is (-2)/4 - 17892/(-24) a composite number?
True
Let f = 6 + -1. Suppose f*v = 2*v + 18. Suppose -v*r = -5*r - 6. Is r a composite number?
True
Suppose -11 = 4*y - 5*s, -y + 4*s - 14 = -3*y. Suppose -u = -5, y = -4*o - 5*u + 102. Is o prime?
True
Suppose 0 = 3*m - 6, 0 = -0*v - 2*v + 5*m - 4. Suppose -u + v*u = -40. Let q = 35 - u. Is q composite?
True
Let z(c) = 2*c**2 + 2*c + 7. Is z(-13) prime?
False
Suppose 0 = n - 85 - 186. Is n composite?
False
Let y(a) = 14*a**2 + 29*a + 14. Is y(-15) a composite number?
False
Suppose -z - 2*g = -669, -z + 3*g + 1366 = z. Is z prime?
True
Suppose 0 = -2*c - n + 447, -3*n = -c - 2*n + 231. Is c composite?
True
Let b(c) = 85*c**2. Is b(1) composite?
True
Let z(v) = -55*v - 2. Is z(-1) composite?
False
Suppose -2*c + 22 = j, 0 = 5*c - j - 9 - 32. Is 4/6 - (-2325)/c composite?
True
Let u(j) = 4*j - 5. Let p be u(4). Suppose 4*s - 39 = -p. Is s a composite number?
False
Let v(u) = u + 14. Let j be v(-9). Suppose j*p - 109 = -5*y + 331, 0 = -p + 4*y + 103. Is p a composite number?
True
Suppose -2*l + 44 = -0*l - a, 0 = -3*l - 5*a + 53. Is l composite?
True
Suppose -4*n = 20, -2*n + 172 = 3*t - n. Suppose -3*j - t = -4*j. Is j a composite number?
False
Let r(y) = 17*y + 28. Is r(23) composite?
False
Let i = -387 - -1018. Is i composite?
False
Suppose -2*l + 5 + 3 = 0. Suppose 40 = l*a - 0*a. Is a a composite number?
True
Let y = -14 - -10. Let c(z) = -2*z**2 + 1 - 4*z**3 - 2 + 3*z**3 + 4*z. Is c(y) a prime number?
False
Let f(v) = v**2 + 14*v - 1. Let b be f(-14). Let w be (1 - -82)/(2/(-8)). Is (w - (3 + b))/(-2) composite?
False
Let y = 257 + 530. Is y composite?
False
Let y = 13 + -11. Suppose t = -y*t + 105. Let b = 44 + t. Is b a composite number?
False
Suppose -2*b = 0, -988 = -4*m + 2*b + 208. Is m a composite number?
True
Suppose 4*d = 77 + 11. Suppose -9 = -r + 2*g, -r - 3*g - 3 = -27. Let o = d - r. Is o a composite number?
False
Let s = 5 - 8. Let p be -5*s/((-45)/6). Is 1*79*(p + 3) prime?
True
Suppose -3*p = 2*p - 35. Suppose -3*b = -p*b + 2*s + 576, -709 = -5*b - 3*s. Is b a composite number?
True
Is (1*(-3)/(-2))/(11/154) prime?
False
Let w be (-343)/5 - 4/10. Let s = w - -154. Is s prime?
False
Let k be 1974/56*(1 - -7). Suppose k = -q + 869. Is q a prime number?
True
Let h(g) = 7*g**3 + 6*g**2 - 14*g + 2. Let x(r) = r**3 - r + 1. Let w(y) = h(y) - 6*x(y). Let s be w(-7). Suppose -s*c + 124 = c. Is c a prime number?
True
Let l be 4/(-18) - 85787/(-117). Suppose -w + 5*w = -16, -l = -5*n - 3*w. Is n a composite number?
False
Let x = 218 - 