Suppose 3*y + 90 = c*y + 3*m, -4*m + 92 = y. Let u = y + -26. Is u prime?
False
Suppose -5*r + 80 = -0*r. Suppose 0 = 3*w - 5*o - r, -3*o = -3*w - 4 + 16. Is (-6)/(-2) - (w + -1) a prime number?
True
Is 4/22 + 4/((-220)/(-28315)) prime?
False
Suppose -4*d - x + 2959 = -4*x, 2960 = 4*d - 4*x. Is d a prime number?
True
Let n = -41 + 147. Is n a prime number?
False
Let w = 46 - 24. Is w a composite number?
True
Let k(a) = -a**2 - a. Let m be k(-1). Suppose -d - 14 + 4 = 2*x, 2*x + 2*d + 12 = m. Is (2/6)/(x/(-636)) composite?
False
Let m(h) = 3*h**3 - 2*h**2 - 10*h + 18. Is m(8) a prime number?
False
Let i(q) = 49*q**3 - q**2 + q. Let x = 6 + -3. Suppose -x*y = y - 4. Is i(y) a composite number?
True
Suppose -2*d = -l - d - 1, -d = l - 7. Let a be -1 + 1 + (l - 1). Suppose -7*o + 50 = -a*o. Is o a prime number?
False
Let d = 1002 - 671. Is d prime?
True
Let y(w) be the third derivative of -65*w**4/24 - w**3/6 + w**2. Let s = -62 + 60. Is y(s) prime?
False
Let d be 3/(-1) + 0 + 5. Suppose d*k + 211 = 3*k. Is k a prime number?
True
Let g be (6/(-10))/(4/(-20)). Let a = -3 - -19. Let w = g + a. Is w composite?
False
Let m(j) = 204*j + 9. Is m(1) prime?
False
Is 449/(12/3 - 3) a prime number?
True
Let t be (74/(-6))/((-2)/30). Suppose -4*g - 3 + 11 = 0. Suppose x + t = g*x. Is x a prime number?
False
Suppose -3*o - 3649 = -5*n, 6*o + 6 = 9*o. Is n a prime number?
False
Let c = 93 - 62. Is c prime?
True
Suppose 0 = 17*n - 6*n - 737. Is n prime?
True
Suppose 2*j - 1 = u + j, 4*u - 2*j = -10. Is 2*u/((-8)/191) prime?
True
Let a(h) = 381*h**2 - h - 1. Is a(-1) a prime number?
False
Let m(k) be the second derivative of 3*k**4/4 - 2*k**3/3 + 5*k**2/2 - 7*k. Is m(3) composite?
True
Let l be (0 - -3)*(-352)/(-3). Let u = -231 + l. Is u a composite number?
True
Suppose 4*c - 200 - 4 = 0. Is c a composite number?
True
Suppose 4*o + 12 = c - 0*c, -9 = -4*c + 3*o. Suppose -x - 2 = -c*x. Is (-37)/x*(2 - 0) composite?
False
Let g be (710 - (1 + -1))/2. Suppose 5*t = -4*h + g, -t - 2*t = h - 206. Is t a composite number?
False
Let a = 5413 - 852. Is a a prime number?
True
Suppose -3*b = -b. Is (2 - b)*330/12 prime?
False
Let f(w) = 4*w**2 - 3*w + 4. Is f(3) a composite number?
False
Let n(d) = -d + 2. Let w be n(-3). Let l(g) = g**3 - 4*g**2 + 6*g - 2. Is l(w) a composite number?
False
Suppose 7*j = j + 9258. Is j a prime number?
True
Suppose 19*t = 20068 - 3291. Is t a prime number?
True
Let q = -392 - -811. Is q a composite number?
False
Suppose -2*p = 3*p - 5, -y + p + 2 = 0. Suppose y*k + 0*t + 2*t - 301 = 0, 5 = t. Is k prime?
True
Let q(y) = 2*y - 6. Let p be q(6). Is -19*-1*(p + 1) composite?
True
Let c = -4 - 41. Let a = 79 + 1. Let g = a + c. Is g prime?
False
Let x be ((-3)/(-2))/(3/8). Suppose -3*d + 2*d = -x. Suppose -d*o + o + 5*b = -66, -88 = -4*o - 3*b. Is o prime?
False
Is 8380/36 + (-2)/(-9) a composite number?
False
Suppose -j + 20*j = 24377. Is j composite?
False
Suppose 55*y - 53*y = 1796. Is y composite?
True
Let n(r) = 357*r**2 - 3*r - 1. Is n(3) composite?
False
Let c be (9 + 1)*3/(-6). Let z be c + -3 + 6 + 4. Suppose y + o + 3 = 11, -z*y + 10 = 4*o. Is y a prime number?
True
Let l = -38 - -32. Suppose 3*t - 167 = 58. Let s = l + t. Is s a composite number?
True
Suppose 5*q - 51 = 2*q. Is q + 2/(-4 - -3) prime?
False
Let p(h) = 3*h. Let q be p(1). Suppose -q*m - 182 = i, 0 = -5*m + m - 3*i - 246. Let n = m + 134. Is n a composite number?
True
Let c = -8 - -8. Suppose -p + 2*p = c. Suppose 3*b - 2*b - 37 = p. Is b a composite number?
False
Let t be (1*-1)/((-20)/60). Suppose 137 = t*y - 16. Is y a composite number?
True
Suppose -7*q - 762 = -13*q. Is q a prime number?
True
Let d be (-1528)/20 + (-4)/(-10). Let q = 69 - d. Is q prime?
False
Is (14/(-3))/(14/(-105)) composite?
True
Let t = 1 - -2. Suppose -5*r + 5*u = -25, 8 = 2*r - 4*u + t*u. Is r/(33/15 + -2) a prime number?
False
Suppose g = 13 - 303. Is (7 + -1)/((-20)/g) a prime number?
False
Let g = -220 + 19. Let v = -16 - g. Is v a prime number?
False
Let d = 12 + -10. Suppose -d*h + 23 = -h. Is h a prime number?
True
Let w(j) = 10*j**2. Let f be w(-1). Is 2/f - (-2772)/15 prime?
False
Suppose 2*m = 4 + 4. Suppose -26 = -4*s + 5*d + 55, 0 = 4*d + m. Is s a composite number?
False
Suppose 24*d + 584 = 28*d. Is d prime?
False
Let h(r) = 3*r**3 + 2*r**2 + 8*r + 3. Suppose 2*f - 4 = -2*f, 0 = 4*g + 3*f - 19. Is h(g) composite?
True
Suppose -2*z = -4*z + 42. Is z a composite number?
True
Suppose -6*p + 260 = -p. Suppose 0 = b - 22 - p. Suppose 3*r = 3*g - 429, 4*r + b + 641 = 5*g. Is g prime?
False
Suppose -2*n + 3*p = 203, 0*p - p = 5*n + 550. Is (-18)/(-27) - n/3 a prime number?
True
Let d = 505 - 350. Suppose -2*x - 1 = -3*r, 4*x - 32 = -4*r - x. Suppose -r*z - 2*c + 265 = 0, -d = -2*z + 4*c - c. Is z a composite number?
True
Let x(w) = w**3 - 12*w**2 + 3*w + 7. Let j(a) = a + 6. Let p be j(7). Is x(p) composite?
True
Suppose 37*y = 39*y - 3898. Is y prime?
True
Let z be 2/7 - 867/21. Let g = 62 + z. Is g composite?
True
Let z(n) = -n - 6. Let c be z(-6). Let y = 7 + c. Is y a composite number?
False
Let z be 29/(-2) + 2/(-4). Is 6087/9 + (-10)/z a composite number?
False
Is ((-3)/9)/(2/(-462)) a prime number?
False
Suppose -h - 4 + 2 = 0. Let z = h + -163. Is (z/(-6))/5*14 a composite number?
True
Let b(f) = -19*f + 2. Let p = -5 + 3. Let k be b(p). Suppose -2*a + 22 = -k. Is a a composite number?
False
Let m(s) = -23*s**2 - 26*s + 23. Let q(l) = 15*l**2 + 17*l - 15. Let o(h) = 5*m(h) + 8*q(h). Is o(6) composite?
False
Let v(s) be the second derivative of -s**5/20 - s**4/4 + s**3/6 + 7*s**2/2 + s. Is v(-6) prime?
True
Let s(d) = -d - 1. Suppose 0 = -q, -2*o + 3*o = -3*q - 8. Is s(o) composite?
False
Suppose 4*d - 7 = -3*t, d + 23 + 4 = 5*t. Suppose -t = -3*c - 2. Is 77 - 0/(c - -2) a composite number?
True
Let u(r) be the second derivative of r**4/12 + 7*r**3/6 - 2*r**2 - 3*r. Let z be u(5). Suppose t - z = -1. Is t prime?
False
Suppose 2*g - l = g + 5, -2*l = 4*g - 14. Let s(u) = -1 + 4 - g + 75*u. Is s(2) composite?
False
Let i(n) = -n**2 - 4*n - 2. Let v be i(-5). Let z = 4 - v. Is z composite?
False
Let c(t) = t**3 + 7*t**2 + t + 9. Let k be c(-7). Suppose -k*h + h + 3*m = -104, 214 = 2*h - 4*m. Is h a composite number?
False
Let p(r) = -r**3 + 2*r**2 + 49. Let d be p(0). Suppose -464 + d = -n. Is n a prime number?
False
Let d(v) = 5*v - 3 - 12*v - 13*v. Is d(-4) composite?
True
Let z be (-64)/(-6) + (-5)/(-15). Let j(t) = 23*t - 2. Is j(z) composite?
False
Let v(z) = z + 0*z + 3*z**3 - 3 + 2*z - 3*z**2 - z**3. Is v(2) a composite number?
False
Let u(v) = -2*v**3 + v**2 - 1. Let h be u(-1). Suppose 3*s = h*x + 79, 5*s + x - 140 = 6*x. Suppose f - 2*t - s = 0, 2*f - 14 - 31 = 3*t. Is f composite?
True
Suppose 0 = 3*f - 2*p + 3*p - 18, p - 8 = -f. Suppose -2*g - 3*g + 1420 = f*q, g + 1151 = 4*q. Is q a composite number?
True
Is 4755/5 - (-4 - -2) a composite number?
False
Suppose -6 = -5*v + 29. Let k(y) = 4*y**3 - 3*y**3 - 7 + 0*y**3 + v*y - 6*y**2. Is k(5) a composite number?
False
Let v(n) = 14*n**3 - 4*n**2 - 17*n. Is v(7) composite?
True
Let g(t) = -t**3 + 14*t**2 - 10*t + 17. Is g(12) composite?
True
Let a(i) = i**3 + 5*i**2 + 3*i + 4. Let x(m) = -5*m**3 - 20*m**2 - 11*m - 17. Let d(j) = 9*a(j) + 2*x(j). Let u be d(5). Let o = u + 28. Is o a prime number?
False
Let m(u) = -571*u - 25. Is m(-6) a prime number?
False
Let c(x) = 11*x**2 + 4*x + 5. Is c(-12) composite?
True
Suppose -4*n + 3*n - 4*c + 1491 = 0, 2*n = -2*c + 2952. Is n prime?
True
Suppose -p = -2*p + 49. Is p composite?
True
Let p(c) = -c - 4. Let g be p(-6). Suppose 62 = g*l - 0*l. Is l composite?
False
Let p = -6 + 4. Let h be p/(-8) - 6/(-8). Suppose -68 = -3*x - z, z + h = 6. Is x composite?
True
Suppose 2*r = -5*p + 3*r + 3207, 1290 = 2*p - 4*r. Is p a composite number?
False
Suppose -400 = 4*l - f + 419, 0 = -4*l + 4*f - 828. Is (2 - -1 - l) + 2 prime?
False
Suppose -4*f - 2*s = -812, 11 = -2*s + 3. Is f a composite number?
True
Let x(f) = -f**3 + 8*f**2 + 9*f + 5. Let y be x(9). Suppose y*a - 3*a = 68. Is a composite?
True
Let o(p) = -1. Let a(l) = 2*l + 4. Let k(z) = a(z) + 2*o(z). Let h be k(-2). Is 1/(3 + h) - -34 a composite number?
True
Let l(r) = -9*r - 8. Is l(-25) a composite number?
True
Suppose 2*x