*3 - 5*k**2 + 17*k - 1. Let f be v(-7). Let a = f - 188. Is a prime?
False
Is (-2 - (-22)/(-6))/(8/(-2424)) a prime number?
False
Let l(t) = 101*t + 5. Is l(4) prime?
True
Let r be 0 + 2 - (2 - 3). Suppose -r*l + 0*l + 561 = 0. Is l a prime number?
False
Suppose -4*d = 4*h - 849 - 815, 3*h - 422 = -d. Is d composite?
True
Let h = 0 + 5. Let t(y) = -3*y + 0*y - 3 + h. Is t(-3) prime?
True
Suppose -23 - 168 = -i. Is i composite?
False
Let f(u) be the third derivative of -u**5/60 + 7*u**4/12 - 4*u**3/3 - u**2. Is f(11) prime?
False
Let i(j) be the second derivative of 5*j**3/6 - j**2/2 - j. Let s(o) = -o - 2. Let r be s(-4). Is i(r) prime?
False
Suppose 3*b + 147 = 3*d - d, -57 = -d - 4*b. Suppose 4*y - 23 = d. Is y a prime number?
True
Let p = -61 + 30. Let g = -153 + 101. Let o = p - g. Is o a prime number?
False
Suppose 0*k = -k + 7. Is k prime?
True
Suppose 0 = -4*g + 2*g + 4. Let y(n) = 2*n + 2. Let z be y(g). Is (2 + (-10)/z)*231 a composite number?
True
Let w(x) = 14*x**2 + 6*x + 4. Let g(o) = 5*o**2 + 2*o + 1. Let a(m) = 17*g(m) - 6*w(m). Let q be a(5). Suppose 4*s - 220 + q = 0. Is s prime?
True
Let i(p) = p**3 - 10*p**2 + p - 9. Let s be i(10). Let b = s - -30. Is b a composite number?
False
Is ((-25)/5)/5 + 588/1 composite?
False
Suppose -3*n + 2*n - 415 = -3*i, -5*i + 693 = -2*n. Let v be 1 - (2 - 1)/(-1). Suppose v*z = -43 + i. Is z a prime number?
True
Let b(z) = 12*z + 2. Let v be b(-2). Let u = 1 + v. Let f = u + 54. Is f a prime number?
False
Let x = 712 - 237. Suppose 3*d + 0*a = 2*a + x, 0 = -5*d + 2*a + 785. Suppose -y - d = -6*y. Is y a prime number?
True
Suppose 5*d + 278 = -v + 47, 2*d - v = -91. Let o be -4 + 0 + (2 - -71). Let k = o + d. Is k a composite number?
False
Suppose 0 = -2*z - z + 801. Is z a composite number?
True
Let s(n) = -4*n - 4 + 8*n + 7*n + n. Let x(j) = 23*j - 8. Let z(h) = -5*s(h) + 3*x(h). Is z(7) prime?
True
Suppose -5*g = -h - h + 378, 2*h - 4*g - 374 = 0. Is h a composite number?
False
Suppose -j - 3*j - z = -3127, -z = -5*j + 3902. Is j a composite number?
True
Suppose -3*g = 5*w - 420 + 29, -g + 123 = -2*w. Is g prime?
True
Suppose -5*u - 41 = 3*h, h + 59 = -5*u + 4*h. Let l(o) = -2*o + 6. Is l(u) a prime number?
False
Let q be (-233)/(4/(-4) - -2). Let i = 642 + q. Is i composite?
False
Let j = 122 - -94. Suppose 4*w - j - 292 = 0. Is w a prime number?
True
Suppose a - 3*z + 39 = 2*a, -5*a - z + 139 = 0. Suppose 0 = x - 5*w + a - 118, -x = 2*w - 77. Suppose -c + 83 = 4*s, 0 = -2*c - 4*s + x + 81. Is c composite?
False
Let m(l) = 10*l + 6. Is m(4) a composite number?
True
Let z = 8 + -6. Suppose z*i - 2 = 356. Is i composite?
False
Suppose 0 = -4*n - 0 + 12. Suppose -n*o = o - 92. Let s = o - -2. Is s prime?
False
Is (13 - 15)/(4/(-158)) a prime number?
True
Let z = -178 - -431. Is z composite?
True
Suppose -n + 417 = 2*n. Is n composite?
False
Suppose 24 = 2*n - 150. Is n composite?
True
Let a(b) = -2*b**2 - b - 1. Let m be a(-2). Let d = 7 - m. Is d a prime number?
False
Is -213*(20/(-6) + 1) prime?
False
Suppose 3*m - 270 = -5*l + 6361, 5*m + 2640 = 2*l. Suppose l + 201 = 5*x + 3*u, 0 = 2*x + 3*u - 605. Is x a composite number?
False
Suppose 8440 = 5*d - 5*o, 0 = d - 0*o - 4*o - 1679. Is d prime?
False
Let y(x) = -x**2 - x + 5. Let h be y(0). Suppose f + h*s = 1 - 2, -s - 47 = -5*f. Is f composite?
True
Let s be 4/(-2) - (3 - 1). Is 3122/35*(-10)/s prime?
True
Let r(a) = 3*a - 1. Let j be r(1). Suppose j*q = -k + 513, 2*k + 0*k = -2. Is q a prime number?
True
Let x(s) = s**3 - 8*s**2 + 9*s + 1. Let b be x(7). Suppose b = 3*a, -a + 150 = 5*i - 2*a. Is i a composite number?
False
Let y be -6*(0 + 3)/(-1). Suppose -5*u - k = -y, 5 = u - k - 1. Suppose z - u*z + 63 = 0. Is z prime?
False
Let o(m) = 3*m**3 - 3*m**2 - 11*m + 6. Is o(5) a prime number?
True
Let f be 38/9 - (-8)/(-36). Suppose -x = -5*r - 0 - 2, -f*x = -2*r - 8. Suppose x*l - 22 = 20. Is l a composite number?
True
Let t be 77 - (0/2 + 0). Suppose 0 = 5*w - j - 4*j + 65, 0 = -4*w - 5*j - 7. Let f = t - w. Is f a prime number?
False
Let d = 6 - 12. Let u(k) = -58*k + 7. Is u(d) a composite number?
True
Suppose -2*p = -0*p - 212. Is p prime?
False
Is 787 + -17 + (0 - -1) a prime number?
False
Let b(y) = -2*y - 16. Let q be b(-11). Suppose -3*d - 95 = -q*d - k, 2*d + 4*k - 70 = 0. Is d prime?
True
Let z(r) = -r + 5 + r**2 + 7 - 1 - 2. Is z(7) a composite number?
True
Let o(g) = g**3 + 7*g + 0 + 11*g**2 - 5 - 2. Is o(-10) prime?
True
Suppose 0 = -0*s - 3*s + z + 3454, z + 5756 = 5*s. Is s a composite number?
False
Suppose 0 = -0*l + 4*l. Suppose l = 3*t - 12 - 9. Is t a prime number?
True
Let q(j) = j**3 + j**2 + j + 1. Let r be q(-1). Let o = r + 3. Is o composite?
False
Let k = 3260 + -1337. Is k prime?
False
Let y(u) = -u + 11. Let g be y(6). Let m be -1 - g - (-3 - -5). Is (2 - (-18)/m)*-212 prime?
True
Let a(s) = -s - 147. Let j be a(0). Let t = 49 + j. Let r = t - -167. Is r a composite number?
True
Suppose 0 = -2*b - 5*f, -3*b - 7 + 33 = f. Suppose -b = 2*q - 7*q. Suppose t = -2*h - 4*t + 269, 629 = 5*h - q*t. Is h composite?
False
Let w(k) = 5*k**2 - 4*k - 7. Is w(-4) composite?
False
Let s(i) = 244*i - 29. Is s(10) a composite number?
False
Suppose -2*c + q = -0*c - 2725, 0 = 2*c + 3*q - 2713. Is c a prime number?
True
Suppose -t - 4*o + 6 = -0*t, 0 = 5*t + 5*o - 15. Let u be (3/2 + 1)*t. Let i = -2 + u. Is i composite?
False
Let i(y) = -2*y**3 - 6*y**2 - 8*y - 9. Let w be i(-8). Suppose -g - u + 139 = 0, -5*g + 2*u + w = 5*u. Is g composite?
False
Let j be 21/1 - (-2 - -4). Suppose -j = 5*s - 79. Let a = s + 3. Is a a composite number?
True
Let k(a) be the first derivative of 9*a**2 - 14*a - 3. Let i(p) = 9*p - 7. Let q(s) = -5*i(s) + 2*k(s). Is q(-8) a prime number?
True
Suppose -2*z - 3*b = 36, -11 = z + 4*b + 2. Let w(p) = -34*p**2 + p. Let d be w(-1). Let i = z - d. Is i prime?
False
Let c(a) = -2 + 6*a**2 + 2 + 5*a**3 + 2*a - 4 - 6*a**3. Let j be c(6). Is 158/j*(2 + 2) a prime number?
True
Let n = -296 + 687. Is n prime?
False
Let m(z) = 3*z**2 - 6*z - 7. Let p(r) = 6*r. Let x be p(1). Is m(x) composite?
True
Let a(w) = w**2 - 3*w + 13. Is a(14) a prime number?
True
Suppose -4 = 2*i - 0. Is i/(-6) - 92/(-3) a prime number?
True
Let m be ((-20)/(-6))/(-5)*-3. Suppose -5*q - k = -278, -m*k = -4*q - q + 269. Is q a composite number?
True
Let s = 13 - -2. Suppose 0 = -4*j + s + 197. Is j a composite number?
False
Suppose -t - 9 = -154. Is t composite?
True
Suppose 0 = -2*q + 4*q - 314. Is q a composite number?
False
Suppose -4*y - 43 = 5*d, -4*d + 2*y = -2*y + 20. Let q(r) = 3*r**2 + 5*r + 3. Is q(d) a prime number?
False
Let w be (-1)/4 - (-3900)/48. Let s(v) = v**2 - v. Let l be s(1). Suppose l = -r + 8 + w. Is r a composite number?
False
Suppose -127 = -5*u + 618. Is u prime?
True
Suppose 0 = 5*t + 40 + 10. Let i = 129 + t. Let b = -62 + i. Is b composite?
True
Let g = 12 - 6. Suppose 7*x - 307 = g*x. Is x a composite number?
False
Let v(x) = -x - 6. Let t be v(-5). Let c = 0 - t. Is c/((-4)/46)*-2 a prime number?
True
Suppose -63*v + 61*v + 2942 = 0. Is v composite?
False
Let i = 931 + -624. Is i a composite number?
False
Let d(n) = 35*n + 13. Is d(6) prime?
True
Let j be (-2)/(-6) - (-642)/(-9). Suppose t = 5*t - 552. Let d = t + j. Is d a composite number?
False
Let p = 4 - 0. Let d(x) = x**3 + 4*x - 3. Is d(p) a composite number?
True
Let y be 1/(1/105) - 3. Let i = y + -28. Suppose -3*m + 85 + i = 0. Is m prime?
True
Suppose 2*m + 65 = -3*m. Is ((-2)/(-2))/((-1)/m) a composite number?
False
Suppose -x + 253 = r, -3*r + 836 = x + 81. Is r a prime number?
True
Let u be (-4)/(-2) - (-1 + 0). Let r = -3 + u. Suppose r = -z + 3*z - 38. Is z a composite number?
False
Let f(r) = -5 - 2 + 5 + 29*r. Is f(5) prime?
False
Suppose 2*j = 5*w + 447, j + 0*j - 2*w - 221 = 0. Is j prime?
True
Let m be (-11 - -3)/(0 + -2). Is (-5)/20 + 517/m prime?
False
Let y = 8 + -6. Suppose 3*r - 2*r + 584 = 2*m, 5*m - y*r - 1461 = 0. Is m prime?
True
Suppose 4*a + 2*w = 12078, 3*a = a - 3*w + 6041. Is a prime?
True
Suppose -2*w - 31 = 4*r + 103, 3*r = -2*w - 98. Let g = -21 - r. Is g a composite number?
True
Let a = 309 + -58. Is a prime?
True
Let b(k) = -3*k + 3. Let r be b(8). Let j = -12 + r. Let x = j - -52. Is x a composite number?
False
S