 23 = q. Is 2*(-3)/(p/370) prime?
False
Let t(s) = 3*s**2 - 2*s + 1. Let a be t(1). Suppose -3*u = -a*y + 533, -5*y - 3*u - 2*u = -1270. Is y a prime number?
False
Let s be (-1)/2*7*-14. Let f = 44 + -28. Let z = s - f. Is z prime?
False
Suppose -6*u + 16 = -2*u. Let m(j) = -j**3 + j + 62. Let y be m(0). Suppose u*h - h - 2*g = 45, -5*h = g - y. Is h prime?
True
Is (1 - 0) + 108 - 3 composite?
True
Suppose 497 + 107 = q. Let k = 31 + q. Is k a prime number?
False
Let p(q) = q**2 + 3*q + 7. Suppose -2*b - 15 = -5. Let f(d) = d**2 + 5*d - 6. Let i be f(b). Is p(i) a prime number?
False
Let q(o) be the first derivative of o**3/3 + 5*o**2 - 8*o + 2. Let i be q(-11). Suppose i*f + 5*k - 19 = 6, 3*f - 4*k - 34 = 0. Is f prime?
False
Suppose -c + 33 + 16 = 0. Is c prime?
False
Suppose 0 = -a - a. Is 56 + (1 - 2 - a) prime?
False
Suppose 0 = 5*w - 2*d + 26, 4*w + 4*d + 2 = -2. Let y be (-9)/(-54) + 1/(-6). Is y - 2*46/w a composite number?
False
Let y = -27 + 49. Is y - (2 - (2 - 1)) prime?
False
Suppose 18*z - 17*z = 673. Is z prime?
True
Let y(d) = d**2 - 6*d - 5. Let x be y(7). Let i be x/8 + (-1382)/(-8). Let m = -118 + i. Is m prime?
False
Let i be 0 - -1 - 6/(-2). Suppose -2*u = -2*j - 232, 5*u + 140 = -i*j + 693. Is u prime?
True
Suppose -20 = 5*a, f + 4*a = 4*f - 1153. Is f a composite number?
False
Let y = 5 + 212. Suppose 0 = -5*v + 6*v - y. Suppose 3*t = 14 + v. Is t a composite number?
True
Let h be (908/6)/(10/15). Suppose -3*a - 106 = -2*g, 72 = 5*g + a - h. Is g a prime number?
True
Let z = 8 - 6. Suppose 0 = z*x - 10 - 12. Suppose 0 = -n + x + 4. Is n a prime number?
False
Suppose -40*z = -43*z + 663. Suppose 392 = -5*x - 343. Let n = z + x. Is n composite?
True
Suppose v + 135 = 4*g, 2*g - 5*v + 42 = 123. Is g a prime number?
False
Suppose -4*q + 586 = -0*q + a, q - 5*a = 157. Let j(x) = 3*x**2 + 1. Let i be j(-1). Suppose c = i*c - q. Is c a prime number?
False
Suppose 0 = -d + w + 1154, -4737 = -4*d + w - 130. Is d a composite number?
False
Let y(v) = -1. Let j(i) = 3*i**2 - 7*i + 6. Let s(q) = j(q) - 3*y(q). Is s(-7) a prime number?
False
Suppose 12*s - 9*s - 153 = 0. Is s prime?
False
Let r(z) = -z**2 + 5*z + 7. Let h be r(6). Let n be h/((4/354)/2). Suppose 0*w = 3*w - n. Is w a composite number?
False
Let d be (75/4)/((-9)/(-24)). Let p = -60 - -134. Suppose -p = -4*v + d. Is v composite?
False
Let b = -96 - -175. Is b a prime number?
True
Suppose 6 + 10 = 4*z. Let b(n) = n**3 - 2*n**2 + 5. Is b(z) a composite number?
False
Let a = -18 + 22. Suppose z + 0*z - 46 = -a*v, -71 = -2*z - v. Is z a composite number?
True
Let r(g) = -3*g + 16. Let l be r(-11). Let n = -23 + l. Suppose 3*x - 4*p - 41 = 0, 4*x - x = p + n. Is x a composite number?
False
Let i(u) = 2*u**3 - 2*u**2 + u + 1. Suppose -3*s = -y - 8, 4*y - 7*y = 6. Let g be i(s). Suppose 0*j - j = -g. Is j a composite number?
False
Suppose -f + 3*f = 4*t - 396, -5*t = f - 488. Suppose 3*o - t = 73. Is o a prime number?
False
Suppose 4*g - 2*g - 204 = 0. Let q = g - 67. Is q composite?
True
Suppose 5838 - 524 = 2*j. Is j a prime number?
True
Let k be 1 + 507 + (-3)/1. Suppose -2*r - 3*a + k = 2*r, a = -1. Is r composite?
False
Suppose -262 - 33 = -n. Is n composite?
True
Let c(v) = 2*v**2 + 9*v + 5. Let d(j) = -j**3 + 4*j**2 - j + 4. Let n be d(3). Is c(n) a composite number?
True
Let n(d) = 8*d - 32. Let g(p) = -3*p + 11. Let h(y) = -17*g(y) - 6*n(y). Let k be h(-4). Let o = k + 54. Is o composite?
False
Let x(h) = -h**3 + 8*h**2 + 10*h - 1. Let q(m) = 1 + 7 + m + 0*m. Let j be q(0). Is x(j) composite?
False
Let h(k) = k**2 - 5*k - 6. Let q be h(6). Suppose -148 = -q*w - 4*w. Is w composite?
False
Suppose 2*n - 2*w + 8 = 4*n, -12 = -5*n - w. Suppose -2*m + 4 = -n*j, -4*m = -3*m + 2*j - 2. Is 22 + m + -4 + 2 a prime number?
False
Let a(x) = -2*x**3 + 4*x**2 - 3*x + 2. Let n be a(2). Let z = n - -23. Is z a composite number?
False
Let i(d) be the second derivative of d**4/12 - d**3/6 + 137*d**2/2 - 2*d. Let z be i(0). Let a = z - 70. Is a prime?
True
Is 7/((-2)/(-71 - 3)) prime?
False
Is 2349/(-9)*(-1)/3 a prime number?
False
Let o be ((-21)/6)/(1/(-2)). Let j(q) = -q + 3. Let s be j(3). Let y = o + s. Is y prime?
True
Let y(h) = 35*h**2 - 1. Is y(-1) prime?
False
Suppose 5*q = -2*b + 5216 - 756, -4*b - 5*q + 8930 = 0. Let n = b + -1412. Let i = n + -558. Is i a composite number?
True
Suppose -2*p - 2*w + 230 = 2*w, -10 = -5*w. Is p a composite number?
True
Let b = -9 - -13. Suppose -o + 161 = 3*p, 5*p - 4*p + b*o - 61 = 0. Is p prime?
True
Suppose -3*g + 6 = 0, -4*n - 2*g = 524 - 1544. Is n a prime number?
False
Is ((-12)/8 + 2)*814 composite?
True
Let w be ((-36)/6)/(2/3). Is ((-222)/w)/(2/3) a composite number?
False
Let u(d) = -2*d**2 + 4*d - 2. Let f(b) = 5*b**2 - 11*b + 6. Let n(i) = -4*f(i) - 11*u(i). Let m be n(3). Is m - (2 - (2 + -2)) prime?
False
Suppose 14 = 4*m - 14. Let o(u) = -u**2 + 8*u - 10. Let h be o(m). Is 228/10 + h/(-15) a prime number?
True
Let s(u) = u**3 - 18*u**2 + 20*u - 25. Is s(18) a prime number?
False
Suppose -10 = 5*f + 5*a, 5*f - 3*f = 5*a - 11. Let s = 40 + f. Is s a prime number?
True
Suppose 0 = t - 3, -672 + 3060 = 3*g + t. Suppose -g = -10*p + 7*p. Is p a prime number?
False
Let g be 2/3 + (-2360)/(-6). Suppose 2*v - 185 = -0*a + a, 0 = -2*a - 4*v - g. Let c = a + 284. Is c a prime number?
False
Suppose 0 = i + 4*i - g - 884, g = -4*i + 700. Let f(a) = -a**2 - 4*a - 97. Let t be f(0). Let p = i + t. Is p a composite number?
False
Let b = -9 + 11. Suppose 0 = -4*i + 20, -2*g - b*i + i + 111 = 0. Is g prime?
True
Let d(q) = q + 7. Let v be d(-3). Suppose -v*h + 5*u = -755 + 179, -3*h - u = -451. Is h prime?
True
Let b(l) = -51*l + 14. Let o(w) = 25*w - 7. Let u(k) = -3*b(k) - 5*o(k). Let x(i) = 1. Let h(f) = -u(f) - 6*x(f). Is h(-4) a composite number?
False
Let r(n) = -n**2 + 7*n - 3. Let z be r(6). Suppose p = -z*p + 1940. Suppose -p = 2*h - 7*h. Is h a prime number?
True
Let f(r) = -2*r. Let h be f(-1). Suppose -4*v - 27 - 47 = -h*p, 0 = -2*v - 6. Is p prime?
True
Suppose -14 = -2*g - g + 2*o, -4*g - 2*o + 14 = 0. Suppose -3*k = u - g*u - 54, -5*k = -3*u - 92. Is k prime?
True
Is ((-879)/(-6))/((-3)/(-36)*2) a composite number?
True
Suppose -5*n + 3*m + 9860 = 0, -m + 3933 = -3*n + 5*n. Is n a prime number?
False
Let k = -4 - -4. Suppose -2*c - 2*c + 148 = k. Is c a prime number?
True
Is 3*631/12*8 prime?
False
Let t = 9 - 4. Suppose -3*g - 3*v + 212 = g, 265 = t*g - 3*v. Is g a composite number?
False
Let c = 8 - 4. Suppose -c*s = -s. Suppose 2*v + v - 201 = s. Is v a prime number?
True
Let b = 2056 - 779. Is b composite?
False
Let a(b) be the second derivative of b**4/12 + 7*b**2/2 + 2*b. Let n be a(-5). Suppose -5*z = 5*w - 75, 4*z - 25 - n = -w. Is z prime?
False
Suppose -6*p + 10*p = 12. Suppose 4*d = -3*h + 221, 5 = -p*h - 10. Is d prime?
True
Let o be (-9)/(-2)*-2 + 3. Is (18 - 15)*(-754)/o prime?
False
Is -1 + -5 - -3 - -398 prime?
False
Let a(f) = -3*f**2 + 2*f + 2. Let y be a(2). Let x(i) = -i**3 - 6*i**2 - i. Let p be x(y). Is p + -6 - -2*1 a prime number?
True
Let z = -2349 - -4102. Is z composite?
False
Let a = 62 - 157. Let l = 32 - a. Is l composite?
False
Let w(l) = -l**2 + l**2 - 2*l**3 - l**2 + 3*l**3 - 108. Let c be w(0). Let v = c - -214. Is v a prime number?
False
Suppose 3*t - 5*t + 4 = 0. Suppose 5*d = -2*g + 6*d + 126, t*g + 2*d - 120 = 0. Suppose -5*a - g = -547. Is a composite?
False
Suppose -6*t = -14604 + 2010. Is t a composite number?
False
Suppose b - 5 = -3. Suppose 0 = 2*y + b*y. Is 11 - (y + 2 - 1) a composite number?
True
Let a(f) = -23*f + 1. Let c = -3 + 5. Suppose 6 = -5*h + c*k, 0 = 2*k - 4*k - 4. Is a(h) a composite number?
False
Let u(v) = -2*v + 6. Let p be u(5). Let r be (-2)/p*(2 - 0). Let k(t) = 76*t**3 + t**2 + t - 1. Is k(r) composite?
True
Suppose -5*s - 9 = -i, 6*i = 3*i - 2*s - 41. Let d be (2 + i)*2/1. Is (d - 1)*1/(-1) composite?
False
Is (-29224)/(-65) - (-3)/(-5) composite?
False
Suppose c + 4*c - 35 = -5*q, -29 = -5*q - 3*c. Suppose 5*t + z - 305 = 0, -2*z = 2*t + 3*z - 145. Suppose t = 4*a + a + 2*m, -8 = -2*a - q*m. Is a composite?
True
Let m(d) = 3*d - 3. Let u(l) = 3*l**2 - 1. Let r be u(-1). Let a = r - -2. Is m(a) a composite number?
True
Let p(w) = 23*w - 4. Suppose 15 + 5 = 