 = -3*n. Suppose 16 = -3*t + f*t. Suppose 0 = -m + t + 30. Is m composite?
True
Is 1611/12 - 1/4 prime?
False
Suppose 3*a = 4*k - 305, 2*k - 3*k = -2*a - 210. Let y = -73 - a. Is y composite?
True
Let a(s) = 8*s**3 - s**2 - 2*s - 1. Suppose 0 = -5*n + 4*n + 4. Is a(n) a prime number?
True
Let a = -4 - -7. Suppose 2*h - 14 = a*m + 77, -3*m - 38 = -h. Is h a composite number?
False
Let s(y) = 16*y - 7 - 41*y - 3 - 21*y. Is s(-8) composite?
True
Suppose -3*g + 14 = -y + 36, 45 = 5*y - 2*g. Let d(a) = a**3 - 8*a**2 + 9*a - 7. Let k be d(y). Is k/((0 + -1)/(-1)) composite?
False
Let g = 26 - 28. Is 16052/28 - g/(-7) prime?
False
Let s(o) = o**2 + 13*o + 5. Let y be s(-10). Is 416/5 - (-5)/y prime?
True
Suppose 2*p - 4670 = -0*c - 4*c, -3*p = -c + 1150. Is c prime?
False
Let v(d) = 29*d - 2. Let u be v(1). Let f = 50 - u. Is f prime?
True
Suppose 3*b + 16 = -b. Let z(i) = i + 8. Let y be z(-10). Is 1 - (-20 + b/y) prime?
True
Suppose -8*k + 446 = -6*k. Is k a prime number?
True
Suppose -1615 = -3*c + 692. Is c a composite number?
False
Let p(z) = 2*z**3 + 7*z**2 - 2*z - 2. Suppose -27 = -3*l - 4*i, 3*i - 1 = 8. Is p(l) composite?
True
Let c(w) = -w**2 + 2*w + 3. Let i be c(3). Suppose -2*d = -i*d - 76. Is d a prime number?
False
Let l(z) be the third derivative of -17*z**4/8 - z**3/3 + z**2. Let w be l(-6). Suppose 0 = 3*u + 37 - w. Is u prime?
True
Suppose -5*h + 1343 + 192 = 0. Is h a prime number?
True
Let a(m) = m**2 + 2*m + 2. Let v be a(-2). Suppose -v*c - 1 = 11. Let r(i) = -5*i + 1. Is r(c) prime?
True
Let x(u) = -u**3 + 17*u**2 + 6*u - 5. Is x(12) composite?
False
Let t(b) = -2 + 25*b**2 + b**3 - 31*b**2 + 9*b + 1. Is t(6) composite?
False
Suppose -12*b + 8*b = -4108. Is b a composite number?
True
Let j = -7 + 11. Let g(u) = 48*u - 12*u - 5 + 0. Is g(j) composite?
False
Let s(u) = -u**3 - 3*u**2 + 4*u + 4. Let l be s(-4). Let t = l + -2. Suppose -2*w = -5*r - 309, t*w - 3*w + 159 = 2*r. Is w composite?
False
Suppose -a - 3*a + 12 = 0. Is a/(3/227) + -4 a prime number?
True
Let s = 10 + 145. Is s a composite number?
True
Let h(g) = g**3 + 6*g**2 - 9*g - 7. Let x be h(-7). Suppose -x = 3*w + 4*t, -2 = 3*w - 2*t - 1. Is 131 + (2 - 0/w) a prime number?
False
Let x = 403 - -24. Is x a composite number?
True
Let f be 3556/(-21)*6/(-4). Suppose 4*s - 6*s = -f. Is s composite?
False
Let y be (-4)/((-8)/110) + -2. Suppose -l = 2*l - 96. Let q = y - l. Is q prime?
False
Let a(o) = -o**3 + 7*o**2 - o + 10. Let y be a(7). Suppose -y*x + 4*n = -246, x - 5*n - 32 = 39. Is x prime?
False
Let u be (-4)/(-2) + (-1032)/(-6). Suppose -3*y = 3*t - u, 4*y - 7*y = 2*t - 170. Let w = -7 + y. Is w a prime number?
True
Let s = 50 + 15. Is s a prime number?
False
Let z = -5 + 8. Suppose -80 = l - 2*l - z*u, -4*u = -l + 94. Is l composite?
True
Suppose -5*c - 160 + 1960 = 0. Suppose 0*l + c = 4*l + 3*j, 2*l + j = 180. Is -2 - 0 - (-1 - l) a prime number?
True
Let t(q) = 49*q**2 + 5*q - 3. Is t(3) composite?
True
Let q(c) be the second derivative of 0 - 1/2*c**3 + 3/2*c**2 + 1/3*c**4 - c. Is q(4) a composite number?
True
Let g(t) be the second derivative of t**5/20 - t**4/2 + 5*t**3/6 + 7*t**2/2 + 3*t. Is g(5) prime?
True
Suppose 3*h - h = i - 4, 0 = 5*i - 5*h - 10. Let g be 4/2 + i - -469. Is (4/(-6))/((-2)/g) composite?
False
Let a be (-30)/9*12/(-10). Suppose -a*j - 58 = -2*l, 7*j - 4*j - 3 = 0. Let d = l - 5. Is d a prime number?
False
Let j(i) = i - 1. Let v be j(-1). Is v/3 - (-1364)/12 composite?
False
Let v(d) = 6*d**3 - 2*d**2. Let t be v(2). Suppose 0 = -5*s + 255 + t. Is s a prime number?
True
Let b(j) = j**3 + 5*j**2 - 6*j + 3. Let y be b(-6). Is (5 - y)*419/2 prime?
True
Suppose -3*a - 1115 = p, -1091 = 4*p - 3*p - 5*a. Is ((-2)/(-4))/((-7)/p) a composite number?
False
Let m(r) = 1. Let k(w) = -33*w - 9. Let o(v) = k(v) + 4*m(v). Let n be (-30)/7 - 34/(-119). Is o(n) prime?
True
Let q(n) = -n**2 - 15*n - 8. Suppose 2*f + 19 = 7. Is q(f) composite?
True
Let x = 1307 + -324. Is x a composite number?
False
Suppose -p + 434 = -419. Is p a composite number?
False
Let j = 4 - 1. Suppose j*y = 4*z - 107, -y = y - 6. Let c = z + -14. Is c prime?
False
Suppose m + 0 = -1. Let o(n) = -79*n. Is o(m) prime?
True
Suppose -d + 2*s = -2*s + 10, 13 = 5*d + s. Suppose -4*q + 678 = -d*q. Is q a prime number?
False
Suppose f = -5*y - 77, -5*y + 3*y + 277 = -5*f. Let n = 94 + f. Is n a prime number?
True
Let c(u) = u**3 + 3*u**2 - 1. Let p be c(-2). Let z(k) = 14*k - 3. Let n be z(p). Let h = -25 + n. Is h composite?
True
Suppose 4*q = -3*v + 2691, -5*v + 13 = 28. Suppose 3*c = -q + 153. Let u = -119 - c. Is u a composite number?
True
Suppose -t + 4 = u, 2*u = u - 4*t + 16. Suppose 5*d - 4*i - 1137 - 440 = u, 2*d - 626 = 4*i. Is d a prime number?
True
Suppose -3 - 9 = -3*u. Let t = 1 + 1. Suppose 4*r = 3*g - 55, 0 = -2*g + t*r + 38 - u. Is g a composite number?
False
Let p(x) = 2*x**2 - 8*x + 1. Let h(q) = -8*q + 2 + 0 - 2*q**2 + 4*q**2. Let n(y) = 3*h(y) - 2*p(y). Is n(7) a composite number?
True
Let i = 13 - 53. Suppose -2*a + a = -8. Is i/(-3) + a/12 prime?
False
Let g(j) = -354*j + 7. Is g(-5) a composite number?
False
Suppose 181*w - 184*w = -25203. Is w a prime number?
False
Suppose -m + 9 = 29. Is ((-596)/m)/((-2)/(-10)) a prime number?
True
Suppose 3*u - 5*b - 1145 = 0, 0 = -2*u + 2*b - 0*b + 770. Let o = -169 + u. Is o a composite number?
True
Suppose 0*o = o - 2. Suppose -o*q - 2*k = -220, -3*k - 16 = -q + 90. Is q a composite number?
False
Suppose 2*j + 20 = 3*h, -h + j = -9 + 1. Let k(i) = 0 + 19*i + 1 + 21*i. Is k(h) composite?
True
Let n be (8/32)/(1/8). Suppose 3*k - 1005 = -2*g - g, 698 = n*k - 5*g. Is k a prime number?
False
Suppose 25 = 3*n - 4*a, 6*a + 3 = n + 2*a. Suppose -t = 2*t - 3, t - n = 5*g. Let h = g - -21. Is h composite?
False
Suppose 11241 = 12*q - 3*q. Is q composite?
False
Let u(v) = -v**2 + 6*v - 5. Let s be u(5). Suppose s*c - 6 = -c. Suppose -z + 3 = -c. Is z prime?
False
Suppose -15 = -5*v + d, -v = -3*v + 4*d + 24. Let n(i) = 6*i**3 + 3*i**2 - 2. Is n(v) composite?
True
Let n(l) = l**2 + 2*l. Suppose -12 = -p + 5*v, 0*p - p = -2*v. Let t = p - -3. Is n(t) a composite number?
True
Suppose -11*x + 75 = -6*x. Suppose -x = -5*p + 15. Suppose 0 = 2*l + p*j - 2*j - 22, -47 = -4*l - 5*j. Is l prime?
True
Suppose -3*v + 6 = -2*v + 5*f, -4*f + 4 = 0. Let u(g) = 22*g**2 + 2*g - 1. Is u(v) a composite number?
False
Suppose 0 = -2*w - 2*x - 544, -w - 5*x = -3*x + 268. Let z be w/15 + 3/(-5). Is (-2 + -1 + 2)*z prime?
True
Suppose -4*o = -4*m + 680, 0 = -8*o + 3*o. Suppose -m = -3*u + 103. Is u a prime number?
False
Let m(z) = -370*z - 9. Is m(-5) a prime number?
False
Let t be 3 + -1*(-1082 - 2). Suppose -3*q - 2*v = -649, -4*q = -9*q + 2*v + t. Is q a composite number?
True
Let h(k) = -k**3 + 5*k**2 + k - 7. Let p be h(5). Suppose 2*o - 9 = 3. Let g = o + p. Is g composite?
True
Let t = 68 - -14. Is t composite?
True
Let r = 2 + -2. Suppose r*v = v. Let t(x) = -x + 49. Is t(v) a composite number?
True
Let z = -101 - -164. Suppose -2*i = -43 - z. Is i prime?
True
Suppose 2*r + 25 = -17. Let b = r + 35. Is b composite?
True
Let x(m) = 18*m + 4. Let w be x(-5). Let c = w + 285. Is c prime?
True
Let y(o) = -o**3 - 4*o**2 - 7*o + 5. Let i(a) = 2*a**3 + 5*a**2 + 7*a - 4. Let g(c) = 2*i(c) + 3*y(c). Let z be 16/12*18/4. Is g(z) prime?
True
Suppose -12 = -4*p + 16. Suppose 14 = 3*r - p. Suppose -o + 14 = -r. Is o a prime number?
False
Let n be 23/7 + 2/(-7). Suppose w + 5 = n*b - 4, -w - 6 = -2*b. Let f = 7 + b. Is f prime?
False
Let g(j) = -29*j + 13. Let l(o) = 28*o - 13. Let y(w) = 6*g(w) + 5*l(w). Is y(-4) a composite number?
False
Let j(k) be the third derivative of k**7/28 - k**5/120 - k**4/12 + k**2. Let c(a) be the second derivative of j(a). Is c(-1) composite?
False
Let o(d) = d**2 - 2. Let k be o(0). Let a(w) = -5*w**3 - 3*w**2 - 3*w - 2. Let m be a(k). Let l = m + -11. Is l composite?
True
Let x(r) be the second derivative of r**5/20 + 5*r**4/12 - r**3/6 - 5*r**2/2 - 2*r. Let t be x(-5). Suppose f - 3 + 0 = t. Is f composite?
False
Let y = -6416 + 9316. Is (y/30)/(2/3) a composite number?
True
Let l(k) = 74*k**2 - 3. Is l(-4) prime?
True
Suppose -3*h - 2*p = -178 - 1, 102 = 2*h - 3*p. Let k be -1*(3 - 0 - 2). Is (h/(-12))/(k/4) composite?
F