1271. Is y prime?
False
Let b be -3*((-7)/(-3))/(-1). Suppose 0 = -3*j + b + 2. Suppose -3*x = -j, -2*g + 20 = x - 23. Is g a prime number?
False
Let o be 10/(-55) - (-772)/11. Suppose o = -0*x + 5*x. Is x a prime number?
False
Let o(a) be the third derivative of 3*a**4/8 - 2*a**3 + a**2. Is o(9) prime?
False
Let d(l) be the second derivative of -3*l**3/2 + l**2 + 3*l. Let r be d(-4). Suppose -r = -u + 15. Is u a composite number?
False
Let o(j) = j**3 + 8*j**2 + 3. Suppose 3*d - 2*h = -2, 2*h + 2*h + 32 = -3*d. Is o(d) prime?
True
Let w = -7 + 12. Let a(x) = 14*x - 1. Let z be a(w). Suppose 0*m + z = m. Is m composite?
True
Let p = 326 + 651. Is p composite?
False
Suppose j = 7 + 19. Is j composite?
True
Let j(l) = -l**3 - 9*l**2 - 7*l + 1. Let v be j(-7). Let t = -11 - v. Suppose 3*x = -2*g + 71, 2*x - x - t = -4*g. Is x a composite number?
True
Let h(s) = -8*s**3 + 3*s + 4. Is h(-3) prime?
True
Let o = -3 + 3. Let z be ((-6)/(-7) - o)*-14. Let b = z + 43. Is b a prime number?
True
Let o(a) = -2*a + 1. Let z be o(-1). Suppose -z*m + 128 = -31. Is m a prime number?
True
Suppose -3*y = -4*y + 144. Let a = y + -100. Suppose s - a = 13. Is s composite?
True
Suppose -5*o - 55 = -5*b, 0 = -b - b - 5*o + 1. Let p be 6*(b/(-6) + 2). Is (-1 - -3)*94/p a composite number?
False
Let j(t) = -17*t**3 + 2*t**2 + t + 3. Is j(-2) a prime number?
False
Let i(c) be the third derivative of -7*c**6/8 - c**5/60 + c**3/6 - c**2. Let b be i(-1). Suppose -b = -5*f - 2*x, f = 4*x - 8*x + 39. Is f composite?
False
Let q be 744/9 - 5/(-15). Suppose -3258 = -5*h - q. Is h a prime number?
False
Let x = 13 - 5. Suppose -x - 4 = -2*i. Is i a prime number?
False
Is 1/8 + (-1305)/(-120) composite?
False
Suppose 0 = -4*k - k + 25. Suppose 4*g = -5*b - 64, 3*b + 43 = -b + k*g. Is 1/4 - 693/b prime?
False
Let j(l) = -4*l - 10. Let k(d) = 4*d + 10. Let f(g) = -6*j(g) - 5*k(g). Let q be f(9). Is q - 3 - 0/2 a prime number?
True
Let s = -11 - -64. Is s a prime number?
True
Let k be 1 + (-5 - -3) + -66. Is (k/2)/(3/(-6)) composite?
False
Suppose 4*c - 3*p = -2*p + 796, 3*c - 4*p - 597 = 0. Is c a composite number?
False
Let i = 1379 + 2. Is i a composite number?
False
Suppose 2 = -f + 5. Suppose -3*m = -f*i - 0*i + 6, -5*i = -4*m - 3. Let h = 152 + m. Is h prime?
False
Suppose 0 = 9*w - 674 - 505. Is w a prime number?
True
Let y(w) = 6*w**2 + 22*w - 99. Is y(-19) prime?
False
Let s = 250 + 817. Is s a composite number?
True
Suppose -5*w + 32 = -158. Suppose 5*d - w = 32. Is d a prime number?
False
Let o be 8/(-28) - (-52)/(-14). Is o/(-6)*285/2 a prime number?
False
Let u(n) = 50*n + 3. Is u(19) a composite number?
False
Let y = 27 + -158. Let m = -16 - y. Is m a composite number?
True
Let v(u) = u**3 + 7*u**2 - 7*u + 2. Let h be 6*(-3)/(-6) - 10. Let p be v(h). Suppose l = 4*k + p, -3*k = -5*l + 107 + 63. Is l composite?
False
Suppose -8 = 3*u + u. Let q be (4 + 4/u)*5. Suppose 3*o - 48 = -4*r - o, 2*o = q. Is r composite?
False
Let u be (-19)/3 - (-2)/(-3). Let d(g) = -g - 5. Let k be d(u). Suppose 3*p + 29 = -k*q + 896, -293 = -p - 2*q. Is p prime?
False
Let g(c) = c. Let b(u) = 18*u + 4. Let q(z) = -b(z) - g(z). Let k = 2 + -5. Is q(k) prime?
True
Suppose 4*w + 114 = 5*y - 91, -3*y = 3*w - 96. Is y prime?
True
Let i = 536 + -181. Is i a composite number?
True
Suppose 0 = l - 2*u - 7, 0*u = -4*l - 2*u + 8. Suppose l*c - 338 - 1 = 0. Is c a composite number?
False
Let d = 11229 + -7322. Is d prime?
True
Suppose -r + 32 = 5*y, y - 208 = -5*r - 0*y. Suppose 2*p + 5*u = 71, 3*p + 4*u - 64 = 5*u. Let q = p + r. Is q a composite number?
True
Suppose -11 - 29 = -5*t. Suppose 4*r - t*r + 99 = -n, -51 = -2*r - n. Is r composite?
True
Let t = 17 - 9. Suppose 4*y = a + 12, 3*y - t*y - a = -15. Suppose y*r - 175 = -4*c - c, 0 = -2*c + r + 70. Is c prime?
False
Suppose 0*o = -2*o - 18. Is 2/o + (-692)/(-36) a prime number?
True
Let d(k) = 320*k - 9. Is d(7) prime?
False
Is 10/75 - 23066/(-30) a composite number?
False
Let v be -3 - (-1 - -3 - 12). Suppose 0 = -v*i + 2*i + 155. Is i a prime number?
True
Suppose 4*r + 12 = r. Is 8757/49 + r/(-14) prime?
True
Suppose 0 = -3*o + 4*h - 47 - 68, 4*h - 160 = 4*o. Let n = o - -79. Suppose 0 = 4*m + 5*s - 146, m - n = -s + 3. Is m a composite number?
True
Let t = -1545 + 346. Let v = -754 - t. Is v a prime number?
False
Let l(c) = 7*c**2 + 6*c + 2. Let x(m) = -m**2 - m. Let q(r) = l(r) + 4*x(r). Is q(3) a composite number?
True
Suppose m - 156 + 35 = 3*j, -4*j = 4*m - 516. Is m prime?
True
Let m be (1 - -1)*(-6)/(-4). Suppose -2*t - 145 = -m*t. Is t a prime number?
False
Let g(x) = 4*x + 1 - 3*x + 5. Let u be g(0). Let r(d) = d**2 - d + 5. Is r(u) composite?
True
Suppose 15 = 3*n - 6. Is n composite?
False
Let s(l) be the first derivative of l**4/12 - 11*l**2/2 - 2*l + 2. Let b(m) be the first derivative of s(m). Is b(8) a prime number?
True
Let x(s) = -s + 6. Let o be x(8). Let q = o - -17. Suppose 2*y - 5 - q = 0. Is y composite?
True
Let r = -1 + 3. Suppose -f = -r*f + 87. Is f composite?
True
Let t = 636 + -342. Suppose -3*i = 3*m - 0*i - t, -4*m + 3*i = -371. Is m prime?
False
Suppose 0 = 2*k - 23 + 1. Suppose 0 = 3*u + 3*y - 48, -2*y + 5 = k. Is u a prime number?
True
Suppose 3*n = 7*n. Suppose n = -3*l + l + 74. Is l composite?
False
Let s = -16 - -35. Let u(b) = 4*b**2 + 2. Let x be u(2). Let v = s + x. Is v a composite number?
False
Let k(f) = -f**2 - f + 49. Let w be 6/(-10) - 63/(-5). Let v be 0*(-2)/w*2. Is k(v) a prime number?
False
Let i(j) = -112*j - 1. Is i(-8) a prime number?
False
Let a = -1 - -6. Suppose -a*f + 9*f - 184 = 0. Is f prime?
False
Suppose -471 = -5*k + 2*k. Is k prime?
True
Let w(d) be the second derivative of 73*d**5/10 - d**3/6 + 2*d. Is w(1) composite?
True
Suppose 0 = -b + 4. Suppose 0*i = b*i - 4. Is (4/(-8))/(i/(-434)) a composite number?
True
Let j(u) = u**2 - 12*u + 12. Let a = -23 - -34. Let b be j(a). Is b/2*-2 + 11 a prime number?
False
Let x(v) = -3*v**3 + 3*v**2 + 7*v + 4. Let r(p) = 2*p**3 - 4*p**2 - 7*p - 5. Let z(m) = 4*r(m) + 3*x(m). Let h be z(-6). Is (-3)/6 + (-75)/h a prime number?
True
Suppose 2*i - 392 - 126 = 0. Is i a prime number?
False
Let u(z) = z**2 - 5*z - 1. Let w = 8 - 13. Let c(h) = -h**3 - 5*h**2 - 2*h - 1. Let b be c(w). Is u(b) a prime number?
False
Let g(s) = 176*s**2 + 9*s - 19. Is g(4) composite?
False
Let t(f) = f**2 + 6*f + 3. Let p be t(-7). Suppose -5*h = -p*h. Suppose -5*m + h*y = 3*y - 191, -181 = -5*m + 2*y. Is m prime?
True
Suppose -2 = -4*v + 2. Is (1 - 0)*v - -86 composite?
True
Let c be 3/(-2)*12/(-9). Is (-21)/(-1)*c/2 composite?
True
Let d = 10 + -9. Let l(x) = x - 1. Let i(g) = 13*g. Let r(k) = i(k) + l(k). Is r(d) prime?
True
Let b be 2 + -1 + 0 - -4. Suppose b*z = -w + 111, 0 = w - 5*z - 130 - 1. Is w a prime number?
False
Suppose q + 2 - 17 = -4*c, c = -4*q - 15. Suppose 0 = x - c*x + 4. Is (0 - 43)*(x + -2) prime?
True
Let x = 4 + -7. Is 1*(x - (-49 - 1)) a composite number?
False
Suppose 5*p = k - 598, -p - 4*p - 15 = 0. Is k a composite number?
True
Suppose -173 = -2*i + 71. Is i prime?
False
Let s = 92 - -23. Is s a prime number?
False
Let c = -534 + 1402. Suppose -4*q + 4 + 4 = 0, -2*z - 4*q + c = 0. Suppose j - z = -5*o, -5*o + o = -3*j - 325. Is o a prime number?
False
Is 4126/14 - (-6)/21 composite?
True
Suppose 0*s + 4*s = 16. Suppose -308 = -s*u - 2*x, u + 4*x = 5*u - 308. Is u a composite number?
True
Is 573/12*(-4 + 8) a prime number?
True
Let x(k) = -373*k - 8. Let u be x(-4). Suppose 6*t - 2*t = u. Is t a composite number?
True
Suppose 0 = t + 3*t + 4. Let w be (6/15)/(t/5). Is (w - -1)*-58 - -1 composite?
False
Suppose 5*r - 1 = -5*h + 14, -3*h + r + 13 = 0. Suppose -2*m = -h*m + 106. Is m a prime number?
True
Let o(w) = -60*w**3 - w**2 + 2*w + 2. Let t be o(-1). Suppose -2*a + a + t = 0. Is a prime?
True
Let o(n) = -n**3 - 10*n**2 - n - 1. Let w(t) = -t**3 - 9*t**2. Let b(c) = 3*o(c) - 4*w(c). Is b(-3) prime?
False
Let k(t) = t + 9. Let m be k(-6). Suppose 0 = -2*g - m*g + 745. Is g a composite number?
False
Let y(q) = 8*q - 21. Is y(20) prime?
True
Suppose -j = -5*d + 2, 2*d + 0*j - j = 2. Suppose 5*q - 3*q - 70 = d. Is q a composite number?
True
Let f = 635 - 0. Is f a composite number?
True
Let u(z) = 0*z + 0*z + 91*z**2 + 29*z**2 - 1. Is u