et p = 63 + -63. Suppose 3*b - 57 = 2*o - 418, -b + 3 = p. Is o a prime number?
False
Suppose -2*o = a - 71612, -4*a - 38442 = 3*o - 145860. Is o a prime number?
False
Suppose -4*l = -3*p - 9, -2*p - 3 + 2 = -l. Let q(b) = -3 - 11*b**l - 5*b + 5*b + b**2 - b. Is q(-4) a prime number?
False
Let i be -2 + 11/(22/3396). Suppose 7*t - 3*t = -4*l + i, 2*t - 4*l - 866 = 0. Is t composite?
True
Suppose -22 - 78 = 2*p. Is (-894)/4*p/15 a composite number?
True
Let c(i) = 2*i**3 - 67*i**2 + 5*i - 79. Is c(36) a prime number?
True
Let u = 15 - 26. Let v(g) = -3 - 47*g + 1 + 6. Is v(u) composite?
False
Let h(w) = 58*w**2 + 4*w - 28. Let j be h(9). Suppose 5*t = -p + 1165, j = 5*p + 5*t - 1119. Is p composite?
True
Suppose 0 = w - 4*w + 24. Let y be (-1)/(-4) + (-2)/w. Suppose y*f - 2*f = 5*s - 1541, -3*s = 4*f - 933. Is s a composite number?
False
Suppose k = 242*v - 237*v + 17516, 5*v - 52608 = -3*k. Is k a composite number?
True
Let i(w) = -8*w**3 - 3*w**2 + 6*w - 4. Let j(b) = 7*b**3 + 4*b**2 - 6*b + 4. Let m(q) = -6*i(q) - 7*j(q). Is m(-11) a composite number?
True
Suppose 0*l + 3*g = 3*l - 375, l + 5*g - 101 = 0. Suppose 57 = 2*s - l. Is s a prime number?
True
Let u = -274 + 196. Let w = u - -30. Is (-32)/w + (-613)/(-3) a prime number?
False
Suppose 7090 = 2*c + 6*u - 5*u, 3*u = c - 3559. Is c prime?
True
Suppose 0 = 8*j - 68277 - 2299. Suppose -4*w - o = -2*o - 8826, 4*w + o - j = 0. Is w a prime number?
False
Let l(k) be the third derivative of k**6/120 - k**5/60 + k**4/24 - k**3/6 + 2*k**2. Let f = 16 + -12. Is l(f) a prime number?
False
Suppose -6 + 6 = -3*u. Suppose -2*y - t + 3867 = u, 0*y - 3*t + 5808 = 3*y. Is y a composite number?
False
Suppose 0*a - 11 = -11*a. Let p(l) be the second derivative of 27*l**3 + l**2/2 + l. Is p(a) a composite number?
False
Suppose -11*a = -2*a - 5229. Is a prime?
False
Let k be (-47222)/(-8) + 2/8. Suppose 6*q - k = 619. Is q a prime number?
True
Suppose 2*u + 2*m - 1722 = 0, 7 - 11 = 2*m. Is u a prime number?
True
Let y(x) = -7 - 12*x - 6 - 8*x. Is y(-7) composite?
False
Suppose 0*d + 4*d = 12. Suppose d*h = -5*v + 1309, -2*v = -v - 2. Let k = 852 - h. Is k a composite number?
False
Suppose -4*g + 3*g = 1. Is (-3)/(-5) + g + (-1437)/(-5) composite?
True
Let f(z) = z**3 + 18*z**2 - z - 19. Let u be f(-18). Let n(p) = -147*p + 2. Is n(u) prime?
True
Suppose -i + 0*j = -5*j + 11, 2*j - 18 = -3*i. Suppose 2*f - 4*f - 4*o = -2470, 0 = -5*f - i*o + 6151. Is f composite?
True
Let u(t) = 55177*t**2 + 5*t + 5. Is u(-1) composite?
True
Let w(k) = -k**3 + 5*k**2. Let j be w(5). Suppose j*r = -2*r. Suppose r = p - 2*p + 259. Is p prime?
False
Is (3479 - -18) + -2 + -4 a prime number?
True
Let s = 48816 + -30263. Is s prime?
True
Let s be (0/(-4 + 6 + -3))/(-2). Suppose s = -15*n + 33765 + 11790. Is n prime?
True
Let q(j) be the third derivative of -133*j**4/24 + 3*j**3/2 + 5*j**2. Is q(-4) a composite number?
False
Let i(m) = -6*m + 5. Let q be i(11). Let n = q - -124. Let t = n + -38. Is t a composite number?
True
Let j(a) = 228*a - 6. Let q be j(4). Suppose -q = -9*i + 777. Is i composite?
True
Let c(m) = -m**3 - 9*m**2 + 5. Let x be c(-9). Suppose -157 = -x*y + 83. Suppose y + 140 = 4*r. Is r a composite number?
False
Suppose 15*p - 4854 = 27531. Is p a prime number?
False
Suppose 65*u - 9687910 = 27*u. Is u a composite number?
True
Let i(r) = 3*r**3 - 12*r**2 + 13*r. Let j be i(8). Let y = j + -153. Is y a prime number?
True
Suppose 2*o + 4 = -l, -o - 11 = -0*l - 4*l. Suppose l*i = 2*r - 3*i - 385, -582 = -3*r + 3*i. Suppose 0*t - r = -3*t. Is t a composite number?
True
Let v(a) = -25*a**3 + 8*a**2 + 9*a - 1. Is v(-4) a composite number?
True
Let z(w) = w**3 + 2*w**2 - 5*w - 4. Let j be z(-3). Suppose -2*t + 1354 = 3*u, 4*u - 2*u + 1354 = j*t. Is t a prime number?
True
Let w = -75 + 87. Let y(n) be the second derivative of n**4/4 - 7*n**3/3 - 7*n**2/2 + 2*n. Is y(w) a prime number?
True
Suppose 2*q - 12*q - 150 = 0. Is q/2*(-3)/(-15)*-58 prime?
False
Let n(x) = x**3 - 6*x**2 - 7*x - 6. Let o be n(7). Let g(s) = s**3 + 8*s**2 - 8*s - 11. Is g(o) a composite number?
False
Let k(z) be the third derivative of -z**6/120 - z**5/30 - z**4/12 + 6*z**2. Let i be k(-2). Suppose 2*c = 2*t - 26, i = 2*t - 4*c - 28. Is t composite?
True
Let c(h) = -3*h**3 + h**2 - h + 2. Let n(i) = 6*i**3 - 2*i**2 + i - 5. Let b(o) = -5*c(o) - 3*n(o). Is b(-6) a prime number?
True
Is 291095/10 - 27/(-18) prime?
False
Let i(h) = 4*h - 21. Let o be i(5). Is o/(-3) - (95/(-3) - -1) composite?
False
Let u(l) = -7*l + 1. Let c be u(-1). Suppose 3*h = c + 10. Suppose -5*a - 5*t = -615, -a + h*a = t + 591. Is a a composite number?
True
Let z(w) = 270*w - 77. Is z(13) composite?
False
Suppose 2*k + 10 = -3*k. Is 4 + k + 378 + -1 prime?
True
Let w(n) = n**3 + 36*n**2 - 23*n - 75. Is w(-36) a prime number?
False
Suppose -b + 4 = 3*o - 0*o, 3*o + 56 = 5*b. Suppose 0 = -5*h + g + 6, h + 3*g = 6*g - b. Suppose -f - h*f - 4*m = -1001, 2*f - 2*m = 658. Is f prime?
True
Suppose -d + 25 = 4*d + 5*j, -4*d - 3*j = -24. Suppose 0*k + 4*k = -24. Let b = d - k. Is b a composite number?
True
Let v(t) = 526*t**2 - 17*t + 138. Is v(9) a composite number?
True
Suppose -6*a + 12 = -2*a. Suppose a*y - 14 = -2*z, -3*z + 22 = 2*z + y. Suppose -f - 5*j + 161 = -449, 0 = -2*f - z*j + 1250. Is f composite?
True
Let k(d) = -3*d**3 + 6*d**2 + 3*d + 15. Let n(s) = 4*s**3 - 6*s**2 - 2*s - 15. Let b(r) = -5*k(r) - 4*n(r). Let a be b(-7). Let m = 238 - a. Is m prime?
False
Let s(n) = -n**3 - 5*n**2 - 3*n - 9. Let q be s(-5). Suppose 2989 + 7169 = q*l. Is l prime?
True
Let v = 1959 - -890. Suppose 3101 = 5*j - v. Let g = j - 685. Is g a prime number?
False
Let p = 493 - -2712. Is p prime?
False
Suppose 25*u + 785 = 9060. Is u prime?
True
Let x(s) = 33*s**2 - s - 3. Suppose 4*c + 5 = -5*f - 5, 0 = 3*c + 5*f + 10. Suppose 3*n - 3*j = -0*n - 6, -5*n - 3*j + 22 = c. Is x(n) composite?
False
Let c(n) = 114*n**2 + 10*n + 81. Is c(-15) a prime number?
False
Let h = -76 - 242. Suppose f = 3*f + 450. Let u = f - h. Is u a prime number?
False
Is ((-66)/(-8))/(12*(-4)/(-9536)) a composite number?
True
Let m(x) be the first derivative of 15*x**4/4 + 2*x**3/3 - 2*x**2 + 8*x - 32. Is m(3) a prime number?
True
Let b = 11 - 11. Suppose 0*p + o + 2399 = 5*p, p - 5*o - 499 = b. Is p composite?
False
Let y = 35392 + 30759. Is y composite?
True
Suppose 36 + 3 = 3*b. Let o(n) = 2*n**2 + 32*n - 17. Is o(b) a prime number?
False
Let p = -23078 + 34429. Is p prime?
True
Suppose 24*j = 27*j - 61773. Is j composite?
True
Let v be (0 - (-1152)/(-10))*20. Let w be 2/5 - v/(-10). Is (2 + w/6)*-3 prime?
True
Let x(d) = 1144*d + 35. Is x(14) prime?
False
Suppose 109475 = -24*t + 502331. Is t a composite number?
False
Let t = 56 + 64. Let r = 1219 - t. Is r composite?
True
Suppose 0*m - 4*f + 13 = m, -4*m = 4*f - 28. Suppose d + m = 3. Is (-140)/8*4/d prime?
False
Suppose 9*i = 3557 - 794. Is i a prime number?
True
Is 7144/(-64)*-2 - (-1)/(-4) a composite number?
False
Let o = -1587 + 3907. Let q = -1461 + o. Is q prime?
True
Suppose -5*d - 250 = -0*d + 3*p, -84 = 2*d - 2*p. Let a = d - -176. Let y = -76 + a. Is y prime?
True
Suppose 52*m - 53*m + 3442 = -3*s, -5*m = 5*s - 17210. Is m a prime number?
False
Suppose -w = -3*z + 8, -9 = 3*z - 3. Let a = 17 + w. Suppose r = -a*r + 524. Is r a prime number?
True
Let j(z) be the first derivative of 61*z**5/120 + 3*z**4/8 + 2*z**3/3 + 3. Let x(v) be the third derivative of j(v). Is x(4) composite?
True
Suppose 5*b - 3*b + 10 = 0. Let k = b + 8. Is (-2 + 0 - k)*-13 composite?
True
Let b(t) = 4*t + 10. Let n(j) = 3*j. Let y be n(-2). Let l be b(y). Let m = 28 + l. Is m prime?
False
Let g(d) = 2*d + 1. Let b be g(10). Suppose 15 = -2*w + b. Is w a prime number?
True
Let q(x) = -x**3 + 15*x**2 + 13*x - 13. Let b be q(12). Let c = b + -324. Is c a composite number?
False
Let q(a) = -a**3 + 8*a**2 - 5*a - 11. Let y be q(7). Suppose 3*r - 6622 = -4*t, 4975 = 6*t - y*t - 2*r. Is t a prime number?
True
Let j = -28 - -26. Is 332 + (j + 1 - -4) a composite number?
True
Let r = 10 - 8. Suppose -3*v + r = -1. Is 146 - 0/3 - v composite?
True
Let w be (-3)/(9/(-12))*12/16. Suppose w*u = 1421 + 4201. Is u prime?
False
Suppose -5*z = 3*j - 772, -2*j = -z + 3*z - 508. Suppose -3*n + j