+ 3*v. Let p(s) = s**3 + 5*s**2 - 7*s. Let j be p(-6). Is x(j) composite?
True
Let q be 40/6*(-972)/(-45). Suppose -4*j - 4 + q = -4*a, a - 35 = -j. Is j prime?
False
Suppose -4*m = 5*q - 7191, -q - 3*q = 4*m - 5752. Is q a composite number?
False
Let w be ((-1)/1)/((-1)/3). Suppose -5*j = 25, -5*b + 2*b = -w*j - 114. Is b a composite number?
True
Let r(z) = -z**2 - z + z + 13. Is r(0) composite?
False
Let o(j) = -j + 3. Is o(0) composite?
False
Let d(l) = l**3 - 16*l**2 + 3*l - 13. Let m be ((-320)/50)/(2/(-5)). Is d(m) a composite number?
True
Suppose 307 = 2*k + 5*u, k + 3*k + 5*u = 589. Suppose 4*g + 262 = 3*p, 2*p - 5*g = -3*p + 440. Let l = k - p. Is l a composite number?
True
Let j = -3 - -180. Is j a prime number?
False
Suppose 9*b - 628 = 5*b. Is b a composite number?
False
Is ((-1)/(-1))/(7/623) prime?
True
Let y = -2 + 0. Is y*(58/(-4) + -2) prime?
False
Let y(x) = -x**3 + 7*x**2 + 9*x - 2. Let w be y(8). Let p(s) = -s**3 + 7*s**2 - 7*s + 8. Let v be p(w). Suppose 212 = v*i + 2*i. Is i composite?
False
Let p = 2120 + -1155. Suppose 8*q - 3*q + 3*u - 930 = 0, -5*q + p = -4*u. Let m = q - 112. Is m a composite number?
True
Let u(s) = 2*s - 2*s**2 + 4*s**2 - s**3 + 1 - 3. Let h be u(-3). Let n = h - 18. Is n a composite number?
False
Let n be (-2)/(-10) - (-14)/5. Suppose m + 3*m + 93 = o, 0 = n*o + 4*m - 359. Is o a composite number?
False
Let f(p) = -p**3 - 6*p**2 + 2*p - 2. Let m be f(-6). Let l(t) = t**2 + 13*t + 5. Is l(m) a prime number?
True
Let r = 10 + -5. Suppose -4*a - a - 875 = -5*q, q - 159 = r*a. Is q composite?
False
Suppose 5392 - 14722 = -6*v. Is v composite?
True
Suppose -n + 4*n - 2*c - 8 = 0, -c = 2*n - 10. Suppose n*k - 745 = -k. Is k a prime number?
True
Suppose -a = -5*a - 3*j + 2146, 3*a - j - 1603 = 0. Is a a composite number?
True
Suppose 3*f = f + 106. Is f a prime number?
True
Let b(k) = k**3 - 3*k + 5. Is b(3) a composite number?
False
Is (901 - -1)*(-1)/(-2) composite?
True
Let w = -963 + 2778. Suppose 0*r + w = 5*r. Suppose r = 5*k + 18. Is k prime?
False
Suppose 5*t + 3*r = 554, -r = -2*t - 3*r + 220. Suppose 3*y = 2*h - 44 - 17, -5*h + 10 = 0. Let b = t + y. Is b a composite number?
True
Let l be (24/(-15))/(1/5). Is 143/3 - l/(-12) composite?
False
Suppose -4*s = -0*s + 4. Suppose m - 6*m = 4*o - 27, 5*m + o = 18. Is s - (-25 - (-3)/m) composite?
False
Let q(d) = 2*d**2 - 21*d + 16. Is q(17) prime?
False
Suppose 4*z - 719 = 77. Is z prime?
True
Suppose -5*n = -220 + 50. Let t be 6/15 - 313/(-5). Suppose -z + 3*s + n = 0, -z + 4*z + 4*s = t. Is z a prime number?
False
Let u(i) be the first derivative of 4*i**3/3 + 2*i**2 + i + 1. Suppose r + 2*k + 0*k + 2 = 0, 0 = r + 4*k. Is u(r) a composite number?
True
Is (17/3)/(7/231) composite?
True
Let h(g) = -g**3 + 12*g**2 - 8*g - 4. Is h(7) composite?
True
Let n(l) be the first derivative of -l**2 + 1/3*l**3 + l + 7/2*l**4 + 2. Is n(1) prime?
False
Suppose 5*p - 3*b + 2 = 0, 2*b = -p + 4*b - 6. Let q be p/(-1) - (-1)/1. Is 2 - -25 - q - 3 a composite number?
True
Let o(i) be the second derivative of i**4/2 - i**3/3 - i**2/2 + i. Let y(s) = -s**2 + 4*s + 3. Let b be y(4). Is o(b) composite?
False
Let p(n) = -n**2 + 1. Let g(x) = 2*x**2 - 3. Let k(y) = -y + 1. Let o(t) = -g(t) + 3*k(t). Let u(m) = -o(m) + p(m). Is u(-8) prime?
False
Suppose -c + 4619 = -2*b + 4*b, 0 = b - 3. Is c a composite number?
True
Let c(v) = 19*v + 1. Let a be c(-1). Let b be 118/4 + 2/(-4). Let o = a + b. Is o a prime number?
True
Let x = 13677 + -19836. Is x/(-9) - (-10)/15 prime?
False
Suppose f - 2812 = 4*g - 243, -g + 4*f = 646. Is 1/(-3 - g/213) prime?
True
Let p be 6*(-2404)/8 - -1. Is (-1)/(-2) - p/4 prime?
False
Let q = 6 - 1. Suppose -55 = 4*c - g, -3*c - q*g - 64 = 6. Let u = c - -148. Is u a composite number?
True
Suppose 5*j - 45 = -3*o + 2*o, -2*j + 4*o = 4. Suppose -2*p = j, -3*z - 5*p - 45 = -184. Is z composite?
False
Let d = -1 - -6. Suppose 3*y + d = 62. Is y a prime number?
True
Let u(o) = -3*o - 4. Let r(n) be the second derivative of n**2/2 - 2*n. Let w(k) = 3*r(k) - u(k). Is w(6) composite?
True
Let z = 548 - 322. Is z a prime number?
False
Let v(z) be the third derivative of z**5/12 - z**4/4 + 2*z**2. Is v(-5) a prime number?
False
Let c(h) = -h**2 + 8*h + 4. Let j be c(8). Is j/6*(-45)/(-2) a composite number?
True
Is -1 + (-22)/(-26) - (-4491)/39 composite?
True
Let f be 57/9 + 6/9. Suppose -10*n + 633 = -f*n. Is n a prime number?
True
Suppose 0 = -4*k + 99 + 277. Is k composite?
True
Let p(j) = 3*j**2 + 3*j - 5*j - 2 - 2*j**2 + 4*j**2. Is p(-2) prime?
False
Suppose 5*q - 13*q + 9544 = 0. Is q a composite number?
False
Let y(x) = 126*x - 7. Is y(3) a composite number?
True
Let n be 1*2 - 8/(-1). Let y = -5 + n. Suppose -y*r - u = -380, -75 = 3*r - u - 311. Is r prime?
False
Let x be -3 + -319*(-1 + 0). Suppose 0 = -3*j - j - 4*g + x, -5*g - 186 = -2*j. Is j a composite number?
False
Let p be 1/3 - 357/(-9). Suppose 0*h - p = -4*h. Let u = 3 + h. Is u a prime number?
True
Let m be 4 - (3/3 - 2). Suppose -2*n - 77 - 196 = -m*y, -2 = -2*n. Is y a prime number?
False
Let s be (0 + -15)*9/(-15). Let f(q) = 52*q + 1. Is f(s) a composite number?
True
Let r(v) = -v**3 + 6*v**2 - v + 8. Is r(6) a composite number?
False
Suppose 0 + 16 = 4*m. Suppose -2*b = -6*z + z - 323, m*b + 4*z - 576 = 0. Is b prime?
True
Let q(r) = 12*r**2 + 4*r - 5. Is q(9) a composite number?
True
Suppose 6*m = 2*m + 20. Suppose m*z - 5*p + 3*p + 16 = 0, -z + 5*p = 17. Is z/3 - 932/(-12) composite?
True
Let j(v) be the third derivative of -5*v**2 + 0 - 1/6*v**4 - 1/2*v**3 + 0*v - 1/120*v**6 - 1/30*v**5. Is j(-8) a prime number?
False
Let i = -329 + 74. Is i/(-12) - 2/8 prime?
False
Is (-6)/(-14) - 5640/(-21) composite?
False
Is 638/((-8)/(1 - 5)) prime?
False
Suppose 4*a - 361 = a + 2*f, 0 = -3*a - 3*f + 366. Is a a prime number?
False
Suppose 6*m - m - 105 = 4*a, -2*a - 10 = 0. Let k = 6 + m. Is k composite?
False
Suppose 4*b + 8 = 8*b. Suppose -b*h = -5*h + 447. Is h prime?
True
Let v(u) = 346*u + 5. Is v(2) a prime number?
False
Let z(g) = -6*g**3 + 2*g**2 + g - 1. Let v = 1 - 3. Is z(v) composite?
False
Is (-1887)/(-6) - 7/14 a prime number?
False
Let r(d) = 9*d + 11. Let k(o) = 6*o + 7. Let u(t) = -8*k(t) + 5*r(t). Let j be u(-2). Suppose 135 = j*w - x, x - 27 = 3*w - 110. Is w composite?
True
Let v(f) = 6*f**3 - 2*f**2 + 1. Let j be v(-1). Let w = j - -14. Is w a composite number?
False
Suppose m + 28 = 2*m. Let r = 47 + m. Let v = r - 16. Is v composite?
False
Suppose -21 = 4*b + 3. Is 9/b*762/(-9) a composite number?
False
Is 10/14*1934 - 44/(-77) a composite number?
True
Suppose 10090 = 15*k - 5*k. Is k a prime number?
True
Let s(f) = -3*f + 3. Let r be s(-3). Suppose r = 4*a, -2*w + 69 = -a + 4*a. Suppose w = 4*x - 2*n - 158, 2 = -n. Is x prime?
False
Let l = -3 - -7. Suppose k - l*k + 10 = -g, -4*g - 8 = -4*k. Suppose 3*w = -4*d - 0*d + 52, 2*w + g = d. Is d prime?
False
Let v(k) = -5*k**3 + 3*k**2 + 4*k + 7. Is v(-3) prime?
True
Let o(c) = 6*c + 1. Let s(h) = h**2 + 2*h + 1. Let u be s(-2). Let f = 1 + u. Is o(f) prime?
True
Let h(u) be the second derivative of u**7/1260 - u**6/90 + 7*u**5/120 + u**4/6 + 2*u. Let d(q) be the third derivative of h(q). Is d(6) composite?
False
Let b(v) = v**2 - 8*v + 12. Let h be b(5). Is (651/(-6) + h)*-2 a prime number?
True
Let z(f) = 164*f + 87. Is z(10) a prime number?
False
Is 0/1 - 37*-1 prime?
True
Let k(w) = 7*w**2 - 6*w - 1. Let b(g) = 13*g**2 - 11*g - 2. Let t(f) = -6*b(f) + 11*k(f). Let d be t(-1). Suppose 4*z - 66 - 74 = d. Is z a composite number?
True
Suppose -3*z + 0*z - 2*s - 425 = 0, 3 = -3*s. Let h = z + 218. Is h composite?
True
Suppose 4 = 2*d - 3*d. Let u(h) be the second derivative of -h**4/12 - 2*h**3/3 + 3*h**2/2 + 3*h. Is u(d) a composite number?
False
Let l(t) = -3*t + 3*t + 5*t + 2*t**2 - 2. Let n = -3 + -1. Is l(n) a composite number?
True
Suppose -12 = -b - 3*b. Suppose n + 161 = 3*v, 2*n - 142 - 13 = -b*v. Is v composite?
False
Let p = 1086 - 722. Suppose -5*t + 1829 = p. Is t a composite number?
False
Let l = -561 + 297. Let s = l + 451. Is s composite?
True
Let s be (-11)/(-3) + (-6)/9. Suppose q + 10 = -s. Let l = 46 + q. Is l composite?
True
Is (2/4)/(8/21776) prime?
True
Let u(l) = 2*l**2 + l + 1. Let q be (-48)/22