 + i, 4*z + 3056 = -u + 3*u. Let r = u + -897. Is r a composite number?
True
Let k(v) be the third derivative of v**4/3 - 5*v**3/6 - 2*v**2. Is k(8) a composite number?
False
Let m(i) = -161*i**3 + 6*i**2 + 3*i + 5. Is m(-4) a prime number?
False
Let j = 17343 - 11006. Is j a prime number?
True
Let p(a) be the third derivative of a**4/24 + 5*a**2. Let b be p(0). Suppose b*z = -5*z + 35. Is z a composite number?
False
Let q = -167 - -50. Let v = 168 + q. Is v prime?
False
Suppose 6*x - 3489 = 3813. Is x prime?
True
Let z(l) = l**3 + 23*l**2 + 29*l + 3. Is z(20) a prime number?
True
Is (265 - 42)/(((-4)/2)/(-26)) a prime number?
False
Suppose 5*j + 27 = 4*r, 3*j + 3 = 5*r - 21. Suppose -2*m + 27 = -m + r*w, 4*m = -w + 108. Is (-38)/(-6)*(m + -12) a prime number?
False
Let y = -35 - -39. Let k(o) = 23*o**3 - 6*o**2 + 8*o - 9. Is k(y) prime?
True
Let n be -6 + 2219/49 - 2/7. Let m = n + 164. Is m a prime number?
False
Let g = -3 - -3. Let b(u) = 4*u + 108. Let p be b(-27). Suppose p = -g*y - 4*y + 188. Is y composite?
False
Let h = -19 + 22. Is (h - (2 - 2))*97 composite?
True
Let f(h) = -h**2 - 9*h - 10. Let l be f(-6). Let q(o) = o**3 + 26*o**2 - 12*o + 26. Let t(p) = -9*p**2 + 4*p - 9. Let j(v) = 2*q(v) + 7*t(v). Is j(l) prime?
False
Suppose -2 = 2*k - 2*h, 3 = 5*k - 0*h - 3*h. Suppose k*o - 9 = 36. Is ((-955)/o)/((-2)/6) prime?
True
Let t(g) = g**3 + 5*g**2 - g. Let k be t(-5). Let w(o) = -k + 6 - 19*o - 2*o. Is w(-6) a composite number?
False
Suppose 0 = -4*w + o + 155799, 3*w = 3*o + 93352 + 23504. Is w a prime number?
False
Suppose 2*w - 211 = -57. Suppose 110 = y - w. Is y composite?
True
Let c be (-5)/((-25)/(-15)) + 4. Let k be (8 + -7)/(c/7). Suppose -8*q = -k*q - 265. Is q prime?
False
Let g = -1294 - -2561. Let i be 1/1 + -3 + 2. Suppose 4*z - g = -4*w - 107, i = 5*z - 15. Is w composite?
True
Let f = 31 + -29. Suppose -5*m + 766 = -3*m - 4*v, -784 = -2*m - f*v. Is m composite?
False
Let v = -6 + 93. Suppose -2*s - 4045 + v = -4*u, 2*s = 2*u - 1976. Is u composite?
False
Let a be -11816 + (3 - -13)/4. Is (a/10)/(14/(-35)) composite?
False
Let p(z) = -4*z**3 - z**2 + z + 1. Let n be p(-1). Suppose -d - 389 = -2*a, 3*a - n*d = 461 + 115. Suppose 3*b - b - 3*g = a, g = -b + 96. Is b composite?
False
Let i(z) = 872*z - 7. Let s be i(-2). Let t = s - -2866. Is t prime?
False
Suppose 2 + 6 = -p. Let y(s) = 2*s**2 - 9*s - 4. Let n be y(p). Is (1*-1)/((-4)/n) a composite number?
True
Let y = 1005 + -616. Suppose -5*s + y = 124. Is (-3)/(-3) + s + 1 a composite number?
True
Suppose -3 = -2*j + 5, 0 = -2*i + j + 8. Is (-1 - 3 - 534)*i/(-4) a prime number?
False
Let z(t) = 128*t + 13. Let m(l) = 32*l + 3. Let v(n) = 9*m(n) - 2*z(n). Is v(8) prime?
True
Let v be (-5)/10*(-1 - 5). Suppose -7*n = -v*n. Suppose -3*s + k + 376 = n, 3*s = 2*s + 3*k + 112. Is s a composite number?
False
Let v(l) = -7*l**3 - 5*l**2 - 6*l - 9. Let c be v(-3). Let w = c + -4. Is w prime?
True
Suppose 131*o = 120*o + 1364. Let v = 16 + -26. Let m = o - v. Is m a prime number?
False
Suppose -2838 = -3*h - h + 2*q, 0 = 2*h + 3*q - 1399. Is h a composite number?
True
Let a(c) = 15*c**2 + 5*c - 2. Let i be a(-4). Let w(n) = n**2 - 14*n + 14. Let q be w(13). Is 2/((-214)/i + q) a prime number?
True
Let t(p) = -273*p - 7. Let g(h) = 274*h + 7. Let y(u) = 5*g(u) + 4*t(u). Is y(8) a prime number?
False
Let q = 7 + -4. Suppose -2*b - 3*t + 3779 = 0, 5676 = 2*b + b - q*t. Let s = -1104 + b. Is s a prime number?
True
Let m(r) = r**3 + 9*r**2 + 8*r - 7. Let i(p) = p - 1. Let g(n) = -3*n**2 - 1. Let q be g(1). Let a be i(q). Is m(a) composite?
False
Let k = 46 + -49. Is ((-1282)/k)/(-6*(-4)/36) a composite number?
False
Let i(j) = 11*j**3 - 16*j**2 - 12*j - 23. Is i(12) prime?
False
Let b = 86 + -123. Let t = b + 104. Is t composite?
False
Suppose -3*s = 2*k - 186, -2*k + 0*s + 194 = s. Suppose 3*g = 3*o + k, 4*g - 2*o = 3*o + 134. Let r = g - 0. Is r a prime number?
True
Let m(v) = -v**3 + 3. Let b be m(0). Suppose -4*n = -3*z - 4 - 4, -b*n + 6 = -5*z. Suppose -3*h - 4*i = 18 - 148, 2*h = -n*i + 88. Is h composite?
True
Suppose 2 - 4 = -2*k + 2*n, -45 = -5*k - 3*n. Suppose 2*f - 181 = u - k*u, 0 = -3*u - 15. Is f composite?
False
Suppose -2*n = -935 - 3237. Let t = -1415 + n. Let w = t - 204. Is w a prime number?
True
Let p = 2 - -3. Suppose -2*w + 581 = 4*d + d, -3*d = p*w - 1462. Is w prime?
True
Suppose -g - 6006 = -5*c + 7874, -13890 = -5*c - g. Is c a composite number?
False
Suppose 29444 = 181*o - 147*o. Is o prime?
False
Let a be (-6)/(-27) - (-2)/(-9). Suppose -v - 3*v + 12 = 0. Suppose -v*o = -a*o - 423. Is o prime?
False
Let i(k) = -197*k - 2. Let y(a) = -295*a - 3. Let f(x) = -7*i(x) + 5*y(x). Let t = 3 - 4. Is f(t) a prime number?
False
Suppose 6*j = 8 - 14. Is j/((-1493)/373 + 4) composite?
False
Suppose 0 = -3*d - g + 15, -g + 15 = 3*d - 5*g. Suppose 4*n + j = 68 + 19, j = d*n - 102. Let v = 124 - n. Is v a composite number?
False
Suppose 4*d - 3*g = g + 39168, 2*d - 3*g = 19583. Is d a composite number?
True
Suppose -f - 5 = -4. Let z = f + 3. Suppose 0 = 2*l - 2*y - 92, -3*y = 5*l - z*y - 212. Is l composite?
False
Let u(k) = 1055*k**2 - k - 1. Let q be u(-1). Suppose 3*v = 8*v - q. Is v a composite number?
False
Is (3 + 0)*(-89)/(-3) a prime number?
True
Let t(p) = 2*p**2 - 2*p - 1. Suppose -2 = -w - 3. Let s be t(w). Suppose -234 = -s*g - 0*z - z, -5*z = 5*g - 380. Is g composite?
False
Let s(i) = -1133*i + 203. Is s(-6) a composite number?
False
Is (8/(-10))/((-30)/16725) a prime number?
False
Suppose 2*z + 4*a + 164 = 0, -2*z - z - 296 = -4*a. Let d = z + 399. Is d composite?
False
Let o be (1/(-2) - 0)/((-29)/(-116)). Is 17574/14 - o/(-7) a composite number?
True
Let d = 5740 + -423. Is d a prime number?
False
Let n = 25465 + -15810. Is n prime?
False
Let h(z) = 2*z**2 - 7*z. Let i be h(5). Suppose 9*x = 6*x + i. Let f(g) = 6*g**2 - 6*g + 7. Is f(x) a composite number?
False
Let h(y) = 8*y**3 + 6*y - 6. Suppose 2*t - 6 = -0*t. Let i be h(t). Suppose 0*l + i = 2*l + g, -2*g - 4 = 0. Is l prime?
False
Suppose 0 = -12*p + 8*p + 31092. Suppose -h + 1557 = -2*y + 3*y, -5*y + h = -p. Is y prime?
False
Suppose 4*h - 1173 - 1359 = 0. Suppose 0 = 6*w - 3*w - h. Is w composite?
False
Suppose 5*j + 1228 = 4*b + 9669, -2*b + 2 = 0. Is j composite?
True
Let s = -15025 + 21704. Is s prime?
True
Let r(k) = k**2 - 10*k + 17. Let b be r(9). Suppose 8*f = -b*f + 7888. Is f prime?
False
Suppose 112*f + 159921 = 139*f. Is f composite?
False
Let x(d) = d**2 - d - 5. Let a(k) = -k**2 - 12*k + 4. Let c be a(-10). Let o = c - 17. Is x(o) a composite number?
False
Suppose 17844 + 5113 = r - 3*y, -3*y + 45932 = 2*r. Is r prime?
True
Let m(i) = -1311*i + 17. Is m(-4) a composite number?
False
Suppose -4*p = -4*f - 752, -2*f + 948 = 5*p - 3*f. Let v = p - 280. Is (-12)/v - 12313/(-15) composite?
False
Suppose -k - 72 = -5*k. Let w be (2 + 1)/(k/24). Suppose 0 = -5*v + 25, 0*v + w*v = -3*r + 113. Is r composite?
False
Is 5 + -4 + (-1)/(2/(-98832)) a prime number?
True
Let t(a) be the third derivative of a**6/120 + a**5/30 - a**4/12 + 12*a**2. Let f be t(-2). Is (284/12)/(f/84) composite?
True
Let p = 72 - 69. Suppose -3*q + 2*q - 2386 = -p*m, 2*m + 4*q - 1572 = 0. Is m a composite number?
True
Suppose -m + 30 = -4*m. Let z(h) = -17*h + 17. Is z(m) prime?
False
Let l be (-1 + 2)*-1 + 2. Let g(n) = n - 2. Let q be g(l). Is 110/q*(-2)/4 prime?
False
Let s(m) be the second derivative of 7*m**3/2 + 13*m**2/2 - 13*m. Is s(10) a composite number?
False
Suppose -2 = -3*v - s, -4*s = 25 - 9. Suppose v*d - 4*w - 3832 = -2*d, 4772 = 5*d + w. Is d prime?
False
Suppose -8*f = -68*f + 6841860. Is f a prime number?
True
Let b(w) = w**3 + 44*w**2 + 21*w - 15. Is b(-34) a prime number?
True
Let j = 47166 - 20708. Is j a prime number?
False
Suppose -19*b - 1538 = -17*b. Let d = 473 + -797. Let t = d - b. Is t a prime number?
False
Let x(t) = 26*t**2 + 14*t + 9. Let d be x(7). Let n = d - 722. Is n prime?
True
Let a be (4/3)/((-2)/15). Let j(c) = -5*c - 1. Let x(i) = 3*i - 1. Let t(m) = j(m) - 3*x(m). Is t(a) a prime number?
False
Let v be -3 - -13 - (1 - -1). Suppose 2*p = -x - 2*x + 12, -2*x + 2*p = -v. Suppose 3*z - 761 = 4*i, 1000 = x*z - 0*z + 2*i. Is z prime?
True
Let f(m) = 167*m**2 - 2*m + 1. Let d