e 5*n - 4*n + 529 = 4*x, n = 3*x - 398. Is x prime?
True
Let i be ((-15)/(-6))/1*2. Suppose 3*c = 5*c, 20 = i*x + 3*c. Suppose 29 = t - 2*a, 0 = -t - x*t + 5*a + 165. Is t composite?
False
Let m(a) = 95*a**2 + 2*a - 1. Let x be m(1). Suppose 0 = u - x - 91. Is u a composite number?
True
Let w(a) = -5*a + 17*a - 5 - 5*a**3 + 4*a**3 + 9*a**2. Is w(10) a composite number?
True
Let y(f) = 5*f**2 + 55*f + 5. Let h(x) = x**2 + 14*x + 1. Let b(g) = 9*h(g) - 2*y(g). Is b(12) a composite number?
False
Let k = 2 - -1. Is k*(-4 + 194/6) a prime number?
False
Suppose 14*r - 382 = 12*r. Is r composite?
False
Let j = -75 - -128. Is j composite?
False
Suppose 0 = p - 3, -i = -2*i + 4*p - 12. Suppose 3*b + 2*g - 59 = 336, 3*g - 3 = i. Is b a prime number?
True
Let z be (-20)/(-70) - 108/(-14). Suppose -z = -3*r + 130. Is r prime?
False
Let z(p) be the first derivative of -p**4/4 + p**3 + p**2/2 - 2*p + 1. Let x be z(4). Let k = 107 - x. Is k a prime number?
False
Suppose 2*d = -2*h + 3 + 5, -4*d = 3*h - 15. Suppose 5*l - d*b - 12 = 0, -4*l - 2*b = 1 - 15. Is l prime?
True
Let h(c) = 97*c**2 - c - 4. Let p be h(2). Suppose 3*l - l - p = 0. Is l a composite number?
False
Let u(p) = -p**2 + 8*p - 4. Let l be u(6). Let f(c) = 4 - l*c - 21*c - 3. Is f(-2) composite?
False
Suppose 0 = -3*v + 3*r + 1277 + 622, 4*v - 2530 = 3*r. Is v a composite number?
False
Suppose 3*t + 875 = 5*j, t - 4*t + 727 = 4*j. Is j prime?
False
Let m = -221 - -1072. Is m composite?
True
Suppose -17*y + 15*y = -5*n + 5125, 5*y = -n + 1052. Is n prime?
False
Let z = 187 - -7. Suppose 2*k - 700 = -z. Is k a prime number?
False
Let o(q) = q + 1. Let a(n) = -11*n - 8. Let v(k) = -a(k) - 4*o(k). Let w be (-54)/(-10) - (-8)/(-20). Is v(w) a prime number?
False
Let v = -887 + 1294. Is v composite?
True
Suppose 2*m - 122 = b - 2*b, 4*m + b - 240 = 0. Is m prime?
True
Let m(b) be the third derivative of b**8/10080 + b**7/1680 - b**6/720 + b**5/60 + b**2. Let d(q) be the third derivative of m(q). Is d(2) a composite number?
False
Suppose -j = -4*j + k + 1, 4*j = -5*k + 33. Suppose -a + 2*z + 100 = 3*a, j*z - 84 = -4*a. Is a a composite number?
False
Suppose y = -6*u + u + 4, 0 = 2*y - u - 8. Suppose -y*n + 28 = 12. Suppose -2*d = j + 6 - 33, 70 = 2*j - n*d. Is j composite?
False
Let h(i) = 24*i + 10. Let g be h(-5). Let r = g - -271. Is r composite?
True
Suppose 4*j - 1 = -89. Let r = 53 + j. Suppose 3*q - r = -3*o + 5, -o - 4*q = -18. Is o a composite number?
True
Let l(i) = -17*i + 4. Let u be l(-3). Suppose 2 = -a + u. Is a composite?
False
Let n(g) = -g**2 - 5*g + 6. Let u be n(-6). Suppose 96 = 3*r - u*r. Suppose 0 = -2*l - y + r, -56 = -5*l - 2*y + 22. Is l prime?
False
Let t(q) = 1 + 24*q + 3*q + 0. Is t(2) a composite number?
True
Let q(m) = -m**3 + 8*m**2 - 7*m + 4. Suppose -5*d + 4*d + 7 = 0. Let z be q(d). Suppose -z*k + 3*h - 46 = -145, -2*h + 53 = 3*k. Is k a prime number?
False
Is -4 - 9/(-3)*31 prime?
True
Let o(s) = -3*s + 0*s + 4 + 2*s - 3*s**2 + 19*s**3. Is o(3) a prime number?
True
Let s(m) be the first derivative of 2 - 1/3*m**3 - 3*m**2 + 7*m. Is s(-6) a prime number?
True
Let z be (-10)/(-20) - (-14)/4. Suppose 0*y - z*x = 4*y - 464, -4*y + 467 = 3*x. Is y a prime number?
False
Let o be 319 - (2 + 0/(-4)). Let b = 460 - o. Is b a composite number?
True
Let j(w) = 68*w - 1. Let l(v) = v**3 - 3*v + 1 - 3*v**2 - 2*v**2 + 7*v. Let r be l(4). Is j(r) composite?
False
Is (4 + (-7 - -5))*(-2074)/(-4) a composite number?
True
Suppose -2*d + 5 - 1 = 0. Suppose d*o + 18 - 328 = 4*f, 2*o = -5*f + 337. Is o a prime number?
False
Let c = 2749 + -1598. Is c a prime number?
True
Let v(h) be the second derivative of -h**4/12 + 5*h**3/6 - h. Let a be v(4). Suppose 3*s - a*s = -79. Is s a prime number?
True
Let k(h) = -79*h**3 + 2*h - 1. Let f be k(1). Let w = 239 + f. Is w prime?
False
Let x be (1 + -1 - 0)*-1. Suppose 0 = s + f + 25, x = 3*s - s + 3*f + 51. Is 2*4/(s/(-93)) a prime number?
True
Let f = 33 + 82. Is f composite?
True
Let t be (-6)/(-9)*18/(-2). Is (0 - 2)*309/t composite?
False
Let t(o) be the first derivative of 3 - 11*o**2 - 1/3*o**3 - 2*o. Is t(-11) a composite number?
True
Suppose -4*s - 5*y + 1250 = s, -1250 = -5*s + 5*y. Suppose -3*c + 128 + 25 = 3*z, 0 = 5*z + 4*c - s. Is z a composite number?
True
Suppose -14*p = -5349 + 1247. Is p a composite number?
False
Suppose 0*x - 4*r - 12 = -4*x, 0 = -x - 4*r - 12. Suppose x = -2*u - 5*g + 18 + 16, 0 = 5*u - 2*g - 114. Let p = -7 + u. Is p composite?
True
Suppose -2*k - c + 10 = -5*c, 0 = 4*c. Suppose 0 = 2*x - k*r + 561, -r - 1392 = 5*x - 3*r. Let g = x - -457. Is g composite?
False
Let x = 6 - 8. Is (-129)/(-1) + (x - -4) a composite number?
False
Let k(v) = 10*v**2 + 6*v + 25. Is k(-13) prime?
True
Suppose y - 107 = -2*q + 2*y, -3 = 3*y. Suppose l - 183 = -q. Is 3/(-6)*-2 + l prime?
True
Let n(k) = 3*k + 2. Let c be n(6). Suppose 0 = -4*t - 4*q - c + 84, 5*q = 20. Let w = 31 - t. Is w a composite number?
False
Suppose -6*j - 792 = -0*j. Let x = 618 - 299. Let w = x + j. Is w a composite number?
True
Let j(b) = -b**2 + 5*b - 3. Let f(u) = 2*u - 4. Let k be f(3). Is j(k) a composite number?
False
Let k be 4 + 1*6/(-3). Suppose 5*j - 3*d = -83, -27 = k*j - 3*d + 8. Is j/20*65/(-2) prime?
False
Is (-170 + 4)*(-3)/6 composite?
False
Let m(k) = -k**3 - 11*k**2 - 10*k - 3. Let x be m(-10). Is 0 + 1 + 559 + x prime?
True
Let g = 991 - 492. Is g a prime number?
True
Let r = -15 - -20. Let u(f) be the first derivative of f**4/4 - f**3 + f**2/2 - 2*f + 1. Is u(r) a composite number?
False
Let m = 12 + -20. Let t = 74 - 29. Let g = m + t. Is g a composite number?
False
Let j = -2110 + 2997. Is j composite?
False
Let p = 931 + -444. Is p a composite number?
False
Let x be 1/(-3)*-3 - -1. Let b(n) = -n**3 + 8*n**2 - 3*n + 3. Let g be b(6). Suppose -x*z = z - g. Is z prime?
True
Let l(q) = 15*q**2 + 8. Let t(s) = 16*s**2 - s + 9. Let g(z) = 6*l(z) - 5*t(z). Let b be g(-7). Suppose 4*p = b - 190. Is p a composite number?
False
Let v be 1/(-2)*(4 + 12). Is ((-381)/(-4))/((-2)/v) a composite number?
True
Let n(l) = -9*l**3 + 3*l**2 + 3*l + 1. Let g(h) be the second derivative of -h**5/20 + 5*h**4/12 + h**3 - h**2 + 3*h. Let s be g(6). Is n(s) composite?
False
Let c(m) = -m**3 - 20*m**2 - 22*m - 8. Is c(-19) a composite number?
True
Suppose 0*r = 2*r - 2138. Is r a prime number?
True
Let n = -208 + 129. Let h = n + 113. Is h a prime number?
False
Let t(v) = -22*v + 1. Suppose -p + 25 = -5*a + 9, 4*a + 5*p + 7 = 0. Let g = a + 2. Is t(g) a prime number?
True
Suppose -7*v = -3*v - 24. Suppose j - o = v, 5*j = 2*j - o + 6. Suppose -30 = j*z - 6*z. Is z composite?
True
Let w = -260 - -901. Is w a composite number?
False
Suppose -4*p + 3*p = -143. Is p a composite number?
True
Suppose 4*o - 393 = -3*q, 2*q = 3*q + o - 131. Is q a composite number?
False
Suppose -5*q - a = -12, 2*a + 1 = 5*q - 5. Suppose -q*n + 31 = -13. Is n composite?
True
Suppose -o + 0*o = -13. Is o a composite number?
False
Let u = -15 - -14. Is (-789 + (-4)/(-2))*u a composite number?
False
Suppose 8*g = 3*g + 15815. Is g a composite number?
False
Let y = 903 - 316. Is y a prime number?
True
Let q(u) = u**3 - 4*u**2 - 4*u - 11. Is q(6) a composite number?
False
Suppose 3*w + 1194 - 99 = 0. Let a = w - -526. Is a prime?
False
Suppose 0 = l - 77 - 65. Let y = l - 68. Is y a composite number?
True
Let h = 5 + 3. Let a = h + 1. Is a composite?
True
Is 0 + 1/(5/1435) composite?
True
Suppose 2*m - 2032 = 1758. Is m a composite number?
True
Let y = 27 - 7. Let i be ((-15)/y)/((-1)/(-4)). Let r(a) = -11*a + 4. Is r(i) a prime number?
True
Suppose -16 + 172 = -2*t. Let c = t + 167. Is c a composite number?
False
Suppose 0 = -3*d - 5*b + 444, 0 = -3*b - 2*b - 15. Suppose -47 + d = 2*m. Is m prime?
True
Let s = 417 + -298. Suppose s = 3*z + 8. Is z a composite number?
False
Let t = -1 + 5. Suppose -364 = -4*k - 4*f - 0*f, 2*k - t*f - 182 = 0. Is k a composite number?
True
Let m(l) = 8*l**2 - 7*l + 10. Let f be m(-11). Suppose -4*w + f = w. Is w prime?
True
Suppose -2*k + 0*k = -4*l + 80, -2*l = k - 40. Let w be l/(-15)*(-9)/(-2). Is w*(-1)/(-2) + 158 composite?
True
Is (978/15)/(12/30) a composite number?
False
Let j = 724 - 387. Is j composite?
False
Suppose 4*c + 191 = 5*c. Is c a pr