t a(k) = -82*k - 21. Is a(-4) a prime number?
True
Suppose q = 4*q. Suppose -g + 2 + q = 0. Suppose 0 = g*w, -2*b - w = -0*b - 110. Is b a prime number?
False
Let k(v) = 4*v + 2. Let b be k(-5). Let y be 207/2 - 9/b. Suppose 4*g = -4*t + y, -4*g = 5*t - 9*g - 100. Is t a composite number?
False
Let u = -28 - -81. Is u a composite number?
False
Let x(p) = 2*p**2 - p**3 - p - 3*p**2 + 0*p**2 + 31. Let o be (-2)/(-10) + 7/(-35). Is x(o) prime?
True
Is (373/2)/(2/4) composite?
False
Suppose -9*r = -6*r - 483. Is r a composite number?
True
Is (6667 - 9)*(-1)/(-2) composite?
False
Let w = -251 - -430. Is w a prime number?
True
Let b(p) = 10*p**2 + p + 3. Let d be b(-4). Suppose -x + 3*h + d = 0, -2*x - 3*h + 427 = 109. Is x prime?
False
Suppose -4*z = -y - 0*z - 16, -z + 9 = y. Suppose -5*i + y*i = -7. Is i + (-2 - -3) + -2 a prime number?
False
Let u = 8 + -7. Let p(i) = 391*i**3 + i - 1. Is p(u) a prime number?
False
Let x(q) = 2 + 6*q**2 + q - 2*q**2 - 3*q**2. Is x(8) prime?
False
Suppose -3*m = a - 6, 18 = 3*a + 3*m - 8*m. Suppose -2*d + d = -a. Is d composite?
True
Suppose 4*i = 2*i - 5*h + 286, -i - 2*h + 143 = 0. Is i prime?
False
Let k be 18/(-1) - (-2 - -1). Let y = k + 36. Is y a prime number?
True
Suppose 2317 = 3*p + 4*p. Is p a composite number?
False
Let s(p) = p**2 - 8*p + 17. Let f(q) = -3*q**2 + 17*q - 35. Let m(x) = -4*f(x) - 9*s(x). Is m(-6) a prime number?
True
Let g(q) be the second derivative of q**4/12 + q**3/6 + 3*q**2/2 + q. Let b(d) = d**3 + d**2 - d - 3. Let l be b(0). Is g(l) a composite number?
True
Let w be (-6)/(-4)*56/(-12). Let m = w - -7. Let b(u) = u + 123. Is b(m) prime?
False
Suppose -p = -0*v - 2*v - 221, 638 = 3*p - v. Is p a prime number?
True
Let d = 3622 + -2455. Is d composite?
True
Suppose -6 = -3*s - a + 6, 0 = -2*a. Suppose 9*b - 155 = s*b. Is b prime?
True
Let a = 53 - -2486. Is a composite?
False
Let n(l) = 26*l**2 - 4*l + 1. Let x be n(3). Suppose 3 - x = -4*u. Is u a composite number?
True
Let o be (-1)/((-1)/(-4))*1. Is (-2 - o) + 23 - -1 prime?
False
Let l = -9 - -26. Suppose 295 = 4*j - l. Suppose -4*v + 4*x - 3 = -123, 2*v + 4*x - j = 0. Is v a composite number?
True
Suppose g - 5*l + 1 = 0, -2*g + g = 3*l - 7. Suppose g*k = 5*k - 14. Is k a prime number?
False
Let o(f) = 57*f**2 + 8*f + 9. Is o(-8) a prime number?
True
Let n be ((-12)/(-10))/((-6)/(-340)). Let i be (-2 + 3)*n + 1. Let t = 106 - i. Is t prime?
True
Suppose -14*y + 38 = -4. Suppose 0 = w - 2*z - 180, w - 188 = -0*z + 4*z. Suppose 2*f + 411 = 5*c, c = -c - y*f + w. Is c composite?
False
Suppose -59 = 5*m - 4*p, m + 5 = 4*p - 10. Is m/((-18)/(-19) - 1) a prime number?
False
Let i(c) = c**3 - 5*c**2 - 5*c - 2. Let y be i(6). Let h = 7 - 2. Suppose 2*s - y*l = 3 + h, s - 24 = -2*l. Is s composite?
True
Let w = 533 + -276. Is w composite?
False
Let f = 115 + -23. Suppose 0 = 5*j - 313 + 38. Let i = f - j. Is i composite?
False
Is (-2771)/(-13) - (-6)/(-39) a prime number?
False
Suppose 0 = 4*j - 929 - 819. Let o = 649 - j. Is o/20 + (-4)/(-10) prime?
True
Let l be 8/20 - 18/(-5). Suppose 5*t = -2*s - 461, s + 5*t + 1130 = -l*s. Let p = -146 - s. Is p a prime number?
False
Suppose -2*p + 2163 = 281. Is p a prime number?
True
Suppose -15253 + 3712 = -3*q. Is q prime?
True
Suppose -4*a + 6 = -2*a. Suppose -2*q + a*f - 4*f + 115 = 0, -3*q - 3*f + 180 = 0. Is q a composite number?
True
Suppose 21*w = 15*w + 114. Is w a prime number?
True
Let y(a) = a**3 + 2*a**2 + 3*a + 1. Let d be y(-2). Let m be 2*41 + d + 6. Is (-6)/6 - (-1 - m) prime?
True
Is ((-1)/4)/(30213/15108 + -2) a composite number?
False
Suppose -242 = -3*f - 2*v, -78 = -f + 3*v + 10. Is f prime?
False
Let f(n) = 71*n - 2. Is f(1) prime?
False
Let d be (0/2)/3 - 73. Let n = 4 - d. Is n a prime number?
False
Suppose -1766 = -3*r + r + 3*v, -3*v = 5*r - 4457. Is r a composite number?
True
Suppose 0 = 2*i + 1063 - 3789. Is i composite?
True
Let o be (-1 + -1)*(15 - -1). Let i = o + 20. Is 6/i - 766/(-4) a prime number?
True
Let s(p) = 10*p**2 - 8*p + 7. Is s(6) a composite number?
True
Let x be 1 + 21 + 2 + -3. Let h be (3/1)/(12/(-56)). Let q = x + h. Is q composite?
False
Let r be 6/(-9)*(-9)/6. Is ((-4)/8)/(r/(-50)) a prime number?
False
Let m = -10 - -12. Suppose m*x - 5*x = -159. Is x prime?
True
Let p(r) = 42*r**2 + r + 2. Is p(-1) a prime number?
True
Let v(h) = -h**2 - 4*h - 4. Let a be v(-4). Let m(c) = 2*c**2 - c**2 + c**2 + 1 - 5*c. Is m(a) a composite number?
False
Let y be (-354)/4*32/(-12). Let r = y + -105. Is r composite?
False
Suppose -5*k + 3*k + 1842 = 0. Is k a composite number?
True
Suppose -5*u - x + 231 = 0, -16 = -x + 5*x. Is u a composite number?
False
Let s = 4 - 0. Suppose 5*x = 3*u - 18 + 2, 3*u + s*x + 29 = 0. Is ((-154)/(-4))/(u/(-6)) a composite number?
True
Let v(m) = -4*m - 8. Let u be v(-7). Let i be 0 + -2 - -2*u. Let o = i - 13. Is o composite?
True
Let z = 203 - 54. Is z a composite number?
False
Suppose 0 = -0*x - x - 60. Let a be x - 3/((-6)/(-4)). Let v = a - -127. Is v a prime number?
False
Suppose -1509 + 7204 = 17*t. Is t a composite number?
True
Let n(v) = v**3 - v - 2. Let l(x) = x**2 - 1. Let g be l(1). Let s be n(g). Is 159/s*(-2)/3 prime?
True
Suppose -6*m = -3191 - 6067. Is m a composite number?
False
Let l = 113 - 77. Suppose -l = -3*b - 141. Let c = b + 49. Is c a prime number?
False
Suppose 6*t - 1495 = t. Is t prime?
False
Let t(f) = -6*f + 1. Let h(y) = 6*y - 1. Let s(a) = 5*h(a) + 4*t(a). Let x be s(3). Let p = 2 + x. Is p a composite number?
False
Suppose 333 = 4*a - 2111. Is a composite?
True
Let b = -288 - -475. Is b a prime number?
False
Suppose 0 = 15*g - 20*g + 4595. Is g prime?
True
Let q(s) = 5*s - 9. Let u be (-27)/(-3)*2/2. Let y be q(u). Is y + -2 + (-2 - -3) prime?
False
Let h = 11891 + -7564. Is h a prime number?
True
Let w(g) = -45*g - 5. Let c be w(-5). Let f = c + -122. Suppose -2*a = -f + 24. Is a a composite number?
False
Let k(n) = 15*n + 9. Let w(y) = 22*y + 13. Let x(r) = -7*k(r) + 5*w(r). Is x(11) prime?
False
Let u = 1063 + -532. Suppose -u = -4*b + 89. Is b prime?
False
Suppose -4*g - 548 - 68 = 0. Let r = -5 - g. Is r a prime number?
True
Let p(f) = 14*f + 71. Is p(22) composite?
False
Let k = 2730 + -1687. Is k a prime number?
False
Let l = -450 + 291. Suppose 0*z - 105 = z - h, 2*h - 316 = 3*z. Let d = z - l. Is d a composite number?
False
Let l(q) = 270*q - 23. Is l(6) a composite number?
False
Suppose 0 = 2*n - 150 + 434. Is (4*n/4)/(-2) a prime number?
True
Let l = 2787 - 1028. Is l prime?
True
Let b(x) = -x**3 + 6*x**2 + 5. Let u be b(5). Suppose u = -2*y + 776. Is y composite?
False
Suppose -6 = 3*n, 3*q - 1553 = 4*n - 3*n. Is q composite?
True
Suppose 4*d = 0, 0*v + 4*d + 615 = 3*v. Suppose 0 = 3*l + 4 - v. Is l a composite number?
False
Suppose -4*d + 5*n = 7 + 1, 2 = -d + 5*n. Let t be (2 - 2)/(-3 - d). Suppose t = 2*o - 0*o - 6. Is o a composite number?
False
Let a be (-1 + 0)/2*18. Let v = -4 - a. Suppose -5*x + 337 = -2*u, x + v*u = 2*u + 64. Is x composite?
False
Suppose 0 = 4*u + 2*v - v - 4347, 4*u - 4*v = 4352. Is u a prime number?
True
Let s(o) = o**2 + 4*o - 4. Let d = 0 + -15. Is s(d) composite?
True
Suppose -108 = -k + 3*l - 8, 2*k - 255 = -5*l. Is k a composite number?
True
Let o(c) = c**3 - 2*c**2 - c - 2. Let b be o(3). Suppose -12 = -b*f - l + 4, 3*f = -3*l + 21. Is (17/3 - 1)*f prime?
False
Suppose -20 = -j + 55. Let y = -16 + j. Is y a prime number?
True
Suppose 0*c - 2438 = 2*c. Let h = 1760 + c. Is h a composite number?
False
Suppose -i - 2*i - 5*a = 698, -5*i = -5*a + 1230. Let h = 390 + i. Is h a prime number?
True
Let p = 1736 - 1186. Suppose 0*s - 2*s - w = -1120, -s + 2*w = -p. Suppose 561 = 3*h - 4*k, -2*h = h - 5*k - s. Is h composite?
False
Let g(a) = -a + 2. Let k be g(-2). Suppose -4*j + k*u + 1992 = 0, -3*u + 823 = 3*j - 665. Is j a composite number?
True
Let v = 361 - -163. Suppose 13*c - 9*c - v = 0. Is c prime?
True
Let h = -3 - -3. Let b be (-15)/(-6)*(h + 2). Suppose 51 = b*w - 54. Is w prime?
False
Is ((-15)/6)/(8/(-1552)) a prime number?
False
Let x(g) be the third derivative of g**6/60 + g**5/20 - g**4/8 + g**3/3 + 3*g**2. Let d be x(-3). Let q = d + 29. Is q a prime number?
True
Let v be ((5 - 3) + -2)*(-2)/4. Let o = 1 + 2. Suppose v = -o*d + 42. Is