-12 = -4*s - 0*s. Is 52 - (-2 + (s - 2)) prime?
True
Let y = 12 - 12. Suppose -4*k + 40 + 12 = y. Is k a composite number?
False
Let u(x) = 53*x**2 - x - 5. Is u(3) a composite number?
True
Is 8/52 - (-3989)/13 a composite number?
False
Let q(p) be the first derivative of 59*p**4/4 - p**2 - p - 1. Let b be q(2). Suppose 2*y - 186 = -w, -5*w + b = 5*y - 2*w. Is y a composite number?
True
Let b(y) = -39*y + 2. Let d be b(-4). Suppose d = 3*o + 20. Is o a composite number?
True
Let n(p) = -p - 2. Let y be n(-5). Suppose -y*z + 44 = -z. Is z composite?
True
Suppose 0 = 5*q + 539 - 8994. Is q composite?
True
Suppose -5*h - 3*l + 3384 = -0*h, 5*h - l = 3372. Let d = h - 394. Suppose -3*s + 377 = 4*c, -4*s + d = -5*c - 170. Is s composite?
True
Suppose 3*b - 3 = -0. Is (1/2)/(b/14) a composite number?
False
Let w(s) = -4*s**2 - 3*s - 2. Let r be w(3). Let g = -67 - r. Is (2 - g - -3) + -2 a composite number?
False
Let t be -6*1*94/(-3). Let d = -285 + t. Is (1/((-1)/d))/1 a prime number?
True
Let n be 0 + (1*-2 - -8). Suppose -5*t = 3*z + 12 + 18, -t + 3*z = n. Let y = 0 - t. Is y a prime number?
False
Let f = -15 - -6. Is (-6)/f - (-289)/3 a composite number?
False
Let s(u) = u + 6. Let z(k) = -k - 6. Let g(h) = 4*s(h) + 3*z(h). Is g(7) prime?
True
Let o(x) = 2*x**2 - x + 158. Is o(0) a composite number?
True
Let c = 5 + -2. Suppose 3*a + 2*a + 406 = -c*h, 4*h + 2*a + 532 = 0. Let u = h - -293. Is u a composite number?
True
Let t = -224 - -159. Let v = -32 - t. Is v a composite number?
True
Let r(s) = s**2 + 8*s + 9. Let t be r(-8). Let k be 487/3 + 6/t. Suppose 0*h = -5*h - q + k, -5*q - 175 = -5*h. Is h a prime number?
False
Is (-15)/6*(-9 + 5) prime?
False
Is 1/(2/7)*474/3 composite?
True
Suppose 38*f = 25*f + 31083. Is f composite?
True
Let i(t) = t**3 - 10*t**2 + 6. Let d be i(10). Let q be 5 + -2*9/d. Suppose -2*c - q*c = -204. Is c composite?
True
Suppose -2*n = -4*x + 12, 0*n = -2*n + 5*x - 15. Is 3/(-3 - n) - -162 composite?
True
Let d(m) = m**3 + m**2 - 15*m + 16. Is d(9) a composite number?
False
Suppose 1068 = 3*o + 363. Is o a composite number?
True
Let n = -10 - -13. Is n prime?
True
Is 76/(-24) + 3 - 4022/(-12) composite?
True
Suppose 0 = n + 4*n. Suppose n = 2*h + 2*h - 836. Let w = -132 + h. Is w a composite number?
True
Suppose 3*a = -2*a + 170. Is a prime?
False
Let x be (-3)/(-3) + (-3)/(-1). Suppose -x*n + 27 = q, 2*n + 2 = n. Is q prime?
False
Let d(j) be the second derivative of j**4/12 - j**3/2 + j**2/2 - j. Let x be d(3). Is 0/2 + x + 20 a composite number?
True
Is (290/5)/(2/3) prime?
False
Let n = 853 - 470. Suppose 5*y - 52 = n. Is y composite?
True
Let i(q) = -q**3 + q**2 + 164. Let g be i(0). Suppose 2*r - 562 = 4*k, 8*k = 3*r + 3*k - 844. Let h = r - g. Is h composite?
True
Let d = -303 - -554. Is d prime?
True
Let q(r) be the third derivative of r**6/120 + r**5/60 - 5*r**4/24 - r**3/6 + 5*r**2. Is q(4) prime?
True
Suppose -4*s + 3*s = -5*h - 7, 2*s - 2*h + 10 = 0. Is 6/(-8) + (-302)/s a prime number?
True
Let f be (0 - (-3)/(-2))*114. Let m = f - -362. Is m composite?
False
Let q(n) = -4*n**3 + 4*n**2 - 7. Let b be q(-5). Suppose -b = -l + 237. Suppose 0*z + l = 2*z. Is z a prime number?
False
Suppose -3*b = 2*o - 16, 0*b - 26 = -3*b - 4*o. Suppose 44 + 2 = b*g. Is g composite?
False
Suppose 4*c - 2 = 10. Is 1/9*c*39 a composite number?
False
Suppose -2*c + 35 + 595 = 4*r, -460 = -3*r - 4*c. Is 1 + -4 - r*-1 composite?
False
Let t = -6 - -5. Is 5/(t*(-4)/716) a prime number?
False
Let p(k) = -5*k + 7. Let x(j) = -5*j - 1. Let i(z) = -z**2 + 4*z - 2. Let b be i(3). Let n be x(b). Is p(n) a prime number?
True
Let b(r) be the second derivative of 3*r**4/2 - r**3/2 - 2*r**2 - 3*r. Let t be b(4). Let g = -183 + t. Is g prime?
True
Suppose -133 = -j + 60. Is (16/(-2))/4 + j prime?
True
Suppose -o = -1737 - 1865. Is o composite?
True
Suppose -3*y + 14 = 5, -b - 3*y - 11 = 0. Let i be 3*b/7*-7. Suppose -i = -2*t + 4*o, -4*t + 5*t - 2 = -5*o. Is t a composite number?
True
Suppose 2*r - 511 = 267. Is r prime?
True
Let c = 21 + -19. Suppose a = c*a - 2. Is a composite?
False
Let n(u) = -18*u - 18. Let w be n(-12). Suppose -j = -26 + 165. Let l = w + j. Is l prime?
True
Suppose 4*u - u + 3072 = 0. Let p be 1/(-3) - u/12. Is (p/(-3))/(2/(-6)) composite?
True
Let x = -1433 - -3951. Is x prime?
False
Suppose 17076 = 3*r - 30657. Is r composite?
True
Let w = 11 - 10. Is 10/4*6*w a composite number?
True
Let h be 3*-2*-5 + 0. Let v = h - 19. Let a = -4 + v. Is a prime?
True
Let u(v) = 3*v. Let z be u(1). Let d be 57/(-2)*12/(-9). Suppose -i + z*i = d. Is i a composite number?
False
Let j(u) = -u + 8. Let w be j(6). Let n(r) = -7*r**2 + 8*r**2 + r**w - 6*r + 3. Is n(5) composite?
False
Is ((-858)/(-3))/((-10)/(-5)) composite?
True
Suppose 570 = -3*l - 3*m, 6*l - 2*l = 2*m - 784. Suppose -3*s = -5 + 20. Is l/(-10) - (-2)/s prime?
True
Let i(p) = -p**2 + p + 3. Let z(w) = w + 3. Let r(m) = -4*i(m) + 3*z(m). Suppose -3*s - 5 = -2*l + 5, 5*l = 5*s + 15. Is r(s) a composite number?
True
Let v be 0 + 0 - (71 - -7). Let u = 224 + v. Is u prime?
False
Suppose -2 - 6 = -2*t, -4*t + 2785 = 3*f. Is f prime?
False
Suppose -5*n + 6393 + 76 = 4*h, -4*h + 6490 = -2*n. Is h prime?
True
Let a = 188 - -167. Is a prime?
False
Let f = 61 + -158. Let t(v) = 6*v**2 - 8*v - 4. Let b be t(6). Let o = b + f. Is o a prime number?
True
Let j = -1980 - -760. Is j/(-14) - (-1)/(-7) a composite number?
True
Suppose x + 364 = -4*c, -273 = 3*c - x + 3*x. Let n(r) = r**2 + 4*r - 3. Let q be n(-4). Is c/q - (-2)/3 a prime number?
True
Suppose 418 - 1539 = -2*u + 5*r, 3*u - 2*r = 1665. Is u composite?
True
Is 4/14 - (1 + (-63888)/28) prime?
True
Suppose 7 = 4*f + 31. Let v = f - -59. Is v prime?
True
Let t(z) = -z**3 + 7*z**2 - 7*z + 8. Let j be t(6). Let h(c) = c**3 - 2*c**2 + 3*c - 3. Let g be h(j). Let f = 25 - g. Is f a composite number?
True
Is ((-678)/(-18))/(2/6) a prime number?
True
Let f be 145 + 1 + 1 + 2. Suppose -2*n + 3*n = 102. Let q = f - n. Is q prime?
True
Let s = 123 - -92. Is s prime?
False
Let i be (-1 - (-1)/(-1)) + -3. Let y = 5 + i. Suppose 2*m + 3*b - 38 = y, -5*b + 9 + 11 = 0. Is m prime?
True
Suppose -7*v + 9*v = 2946. Is v a prime number?
False
Let g(u) = -u**3 - 10*u**2 - 10*u - 7. Let k be g(-9). Suppose -k*c + 530 = -0*c. Is c composite?
True
Suppose 5*w - 223 = r, w - 2*r - 16 = 34. Let x = w + -28. Let u = 51 + x. Is u a prime number?
True
Suppose -3*z - 2*s + 13 = 0, 0*z = -5*z + 3*s + 9. Suppose 5*k = -v + 53, k + z*k - 53 = -v. Is v prime?
True
Suppose 119 = 2*d + 3*v, v = 2*d - 2*v - 149. Is d a composite number?
False
Suppose 0*c + 978 = -2*c. Let t = c + 782. Is t a prime number?
True
Let d(z) = -z**3 + 7*z - 7. Is d(-7) a composite number?
True
Suppose 6*p - j = p + 31882, 0 = -p - 2*j + 6383. Is p composite?
True
Let p be 1*6/(-8)*-56. Suppose 3*n - 42 - p = 0. Let w = 23 + n. Is w a prime number?
False
Let x(k) = -12*k + 2. Let v be x(2). Let q = v + 87. Suppose -2*r + q - 3 = 0. Is r prime?
True
Suppose 0 = 2*t + t - 15. Suppose t*p + 7 = 242. Let o = p + -12. Is o a prime number?
False
Let i be ((-1)/(-2))/(5/170). Let c = 2 + i. Is c prime?
True
Let a(h) = -26*h + 1. Is a(-6) prime?
True
Let l(r) = -906*r + 3. Is l(-3) prime?
False
Let j = 27 + -19. Let c(x) = -1 + 4*x - j*x - x. Is c(-4) prime?
True
Suppose 0 = h - 56 - 183. Is h a composite number?
False
Let j(y) = 72*y. Let v be j(2). Suppose -4*h = -h - v. Suppose 2*n - 122 = -h. Is n prime?
True
Let p(x) = x + 2. Let h be p(7). Suppose -5*o + 2*f - h + 64 = 0, 0 = -4*o - 5*f + 77. Is o a prime number?
True
Is 8 - -381 - 0/(-3) prime?
True
Let h = 22 + -22. Suppose h = -3*t + g + 1117, -4*t + 2*t + 3*g + 754 = 0. Is t a composite number?
True
Suppose -5*u + 75 = 3*w, u + 2 = -0*u - 4*w. Suppose 14 = -2*o + 2*j, 7 - 1 = 3*j. Let a = u - o. Is a prime?
True
Let w(k) = 4*k + 2. Let d be w(-8). Is 18/d + (-516)/(-10) a prime number?
False
Suppose -9 = 3*j - 21. Suppose q = t + 2, 2*q = -j*t + 7*t + 3. Is -2 + 150/1 + t a prime number?
True
Suppose 5*c + 632 = 2*l + 87, l - 219 = 2*c. Let v = 198 + c. Is v a composite number?
True
Suppose -4*v = -2*c - 2, 0*v + 30 = 5*v + 3*c. Let y = 7 - v. Suppose y*q + 42 = -5*g + 530, -4*q + 524 = -4*g. Is q composite?
False
Let v(d) =