**2 - 3*i - 2. Let m be l(3). Is (-2)/n - m/(-12) a prime number?
False
Suppose -2*w = -5*w + 9. Suppose w*p - 269 = 40. Suppose 5*u - y - 4*y = 555, u = 3*y + p. Is u a prime number?
False
Let s be (-3)/(-7) + (-5996)/(-7). Suppose 58 = 3*c - s. Is c a composite number?
True
Let x = -117 + 274. Is x prime?
True
Suppose 0 = 4*h - i - 19, -3*h + 13 = 3*i - 5. Suppose -93 = -h*v + 7. Let r = v - 9. Is r a composite number?
False
Suppose -r + 94 = -727. Is r composite?
False
Let g = 0 - -1. Let h(o) = 4*o - 3*o + g - 2*o + 3*o**2. Is h(2) a composite number?
False
Let x be 6/(-1 - (-10)/4). Suppose x - 7 = -a, 0 = 3*d + 5*a - 162. Suppose -2*v + 3*c + 56 = 0, 3*v + 2*c - 61 = d. Is v a composite number?
True
Suppose 2*z + 2*m + 4 = 0, -2*z + 0 = -m - 8. Suppose -3*i = z*i - 230. Suppose i = 3*q - 83. Is q composite?
False
Let i = -7 + 5. Is (-3 - i - 0)*-35 composite?
True
Suppose a + 5*t - 3*t = -3, 5*a + 5*t = -10. Let y(c) = -146*c**3 + c**2 + c. Is y(a) composite?
True
Suppose 3*t = -9 - 3. Suppose 65 = 4*v + 697. Is (v/2)/(t/4) prime?
True
Let o be -1*3 + 4/2. Let c be -2*o/2*1. Is (0 + -23*c)*-1 a prime number?
True
Let v(n) = 356*n**3 - n**2. Let s be v(-1). Let t = -171 - s. Suppose z = -o + t, -2*o + 4*o + 3*z - 367 = 0. Is o a prime number?
True
Let x(z) = -z**3 + 15*z**2 + 12*z - 13. Let m(d) = d**3 - 14*d**2 - 12*d + 13. Let v(f) = -7*m(f) - 6*x(f). Is v(9) composite?
True
Suppose 2*t = 4*f - 58, 4*t - 3 = -f - 2. Let q = f + 124. Suppose -2*x = 2*j - 124, 3*j - 116 - q = -4*x. Is x a prime number?
True
Is (-13518)/(-54) - ((-1)/(-3) - 1) a prime number?
True
Is 2/((-2)/(-2333) - 0) a composite number?
False
Let z be (-1)/(-1) + 4/(-2). Suppose 280 = -2*o - 3*o. Is (-8)/4 - (z + o) prime?
False
Is 1 - -2 - 1614/(-3) composite?
False
Let l(b) = 21*b**2 - 4*b. Is l(-3) composite?
True
Suppose 0 = -2*n + 5*c - 5, 3*c = -5*n + 4 - 1. Suppose 25 = 5*i - n*i. Suppose i*s = 3*u + 170, 2*s = 3*s + 3*u - 52. Is s prime?
True
Let l(s) = -s**3 - 6*s**2 + 5*s - 10. Let m(c) = -c**2 - 8*c - 7. Let o be m(-8). Let d be l(o). Suppose d*v - 2*v - 4 = 0. Is v composite?
False
Let l be 20/(-8)*8/(-5). Suppose 20 - 8 = l*k. Suppose -4*b + 233 = -k*o, -4*b = 5*o - 10*o - 231. Is b composite?
False
Let n(p) = -p**3 - 13*p**2 - 17*p + 3. Let y be n(-12). Suppose -2*c = -y - 47. Is c a composite number?
True
Suppose -148 = -3*c + 47. Is c a composite number?
True
Let n(w) = -173*w - 8. Is n(-11) composite?
True
Is (2459/(-3))/(3/(-9)) prime?
True
Let v be (-3 - 1) + (-2)/2. Let g(z) = -106*z - 9. Is g(v) a prime number?
True
Let c = -5 + 5. Let a be 2/11 + 124/44. Suppose c = -a*k - k + 316. Is k a prime number?
True
Let n(j) = 2*j**2 - 2*j - 7. Is n(6) a composite number?
False
Let y = 1290 + -901. Is y a composite number?
False
Let z(j) = j**3 + 5*j**2 + 6. Let o be z(-5). Let n(q) = 2*q + 4. Let m(h) = -h**2 - 5*h - 9. Let k(g) = -3*m(g) - 5*n(g). Is k(o) composite?
True
Suppose -2*c + 1400 = 5*d + 153, -c - 4 = 0. Suppose -5*q - d = -u, -4*u + 1004 = -q + 5*q. Is u a prime number?
True
Let a(z) = z**3 - 9*z**2 - 9*z - 6. Let s be a(10). Suppose s*i - 393 = -c, -4*c + 1133 = -i - 422. Is c a prime number?
True
Let m(t) = -2*t**3 - t**2 + t + 2. Let o(k) = -k**2 - k + 1. Let x(n) = m(n) + 2*o(n). Is x(-3) a prime number?
False
Let t(j) be the second derivative of j**5/20 + j**4/6 - j**3 + 5*j**2/2 - 3*j. Is t(4) composite?
True
Suppose -5*k = -q - 6, 3*q = q + 4*k. Suppose -q*s + 3 = -29. Suppose s = m + 1. Is m a composite number?
False
Suppose -728 = -4*u - 4*f, -u - 4*f - f = -170. Is u a prime number?
False
Let b = 2 - -4. Let c be b*(60/(-9))/(-5). Let u = 43 - c. Is u prime?
False
Let m = 664 + -193. Let f = 793 - m. Suppose 4*r - f = 5*c, -5*r = -2*r + 4*c - 257. Is r composite?
False
Suppose -5*m = -2*x - 15, -5*x = -6*m + 2*m + 29. Let z = x - -6. Is (-123)/(-12)*z*12 a composite number?
True
Let a(g) = -28*g + 6. Let u = -5 + 1. Is a(u) prime?
False
Let k = -289 + 416. Is k a prime number?
True
Suppose 0 = -4*n + j + 3406, 3*j - 2543 = -3*n - 2*j. Is n a composite number?
True
Is (67/4)/(4/16) prime?
True
Let y(l) be the first derivative of 5*l**2 + l - 3 - 1 + 3. Is y(2) composite?
True
Let f = -9 - -283. Is f a prime number?
False
Let b(h) = 4 - 6 - 2*h - 16*h. Is b(-2) a composite number?
True
Suppose 4*j - 3461 = -n, -3*j + 4*j = 5*n + 860. Is j prime?
False
Let d(h) be the third derivative of -h**5/60 + 11*h**4/24 - h**3/6 + h**2. Suppose -2 = 5*l - 42. Is d(l) a composite number?
False
Let n(u) be the first derivative of -7*u**2/2 + 4*u + 1. Let q be ((-3)/(-4))/((-1)/4). Is n(q) a composite number?
True
Suppose -p = 3*p - 1572. Is p composite?
True
Suppose k + 3*m - 8*m = 21, -84 = -4*k - 5*m. Is k composite?
True
Suppose 2*p + 57 = -3*x + p, -p = -2*x - 33. Is ((-636)/x)/(4/6) a prime number?
True
Let r = 326 - 175. Suppose -b + r = 2*t, 4*b - 379 = -5*t + b. Let z = t - 35. Is z a prime number?
False
Let p be (-10)/((-21)/20 + 1). Suppose 2*n - 397 = -2*q + 3, -q + p = 4*n. Let i = -109 + q. Is i composite?
True
Let i(p) = 215*p + 4. Let a(k) = -102124*k - 1899. Let w(h) = 4*a(h) + 1899*i(h). Is w(-1) a composite number?
False
Suppose f - 2*f + 145 = 0. Is f a composite number?
True
Let r(k) be the second derivative of k - 7/6*k**3 + 0 - 1/2*k**2 + 1/6*k**4. Is r(-6) a prime number?
True
Let m(q) = 41*q + 6. Is m(5) prime?
True
Let j = 0 - 0. Suppose 3*v - 4*v - 6 = j. Let x = v + 29. Is x a composite number?
False
Let b be -5 + -34 + -2 + 1. Let u = -27 - b. Is u prime?
True
Suppose 0*t = -2*t + 2*o + 424, 2*o + 2 = 0. Is t prime?
True
Let m(z) = -z**3 - z**2 - 3*z + 2. Let c be m(-3). Let f(h) = 6*h**2 - 4*h + 2. Let q be f(2). Let i = c - q. Is i composite?
False
Let m = 23 + -14. Let l be (-11)/(-3) - (-3)/m. Suppose -4*j + 75 = -r, 0 = l*r - 5*r + 1. Is j a composite number?
False
Let n(l) = l**3 - 11*l**2 + 10*l + 4. Let t be n(10). Suppose -2*w - w - 15 = 0, -2*h = t*w - 210. Is h prime?
False
Suppose g = -4*g + 5. Let w be g/(-4) - (-57)/(-12). Let h = w + 16. Is h a composite number?
False
Suppose 2*y - 5*t - 1852 = -y, 4*y = 5*t + 2471. Is y a composite number?
False
Let w = 8 - 5. Suppose 4*r + w*q = -r + 592, 4*r = -q + 475. Is r composite?
True
Let k = 5 - 8. Let t(g) = -44*g - 1. Is t(k) a prime number?
True
Let v(c) = 62*c**2 + 2 - 24*c**2 - 2 - 1. Is v(-1) composite?
False
Is (-375860)/(-24) - (-1)/6 a composite number?
False
Suppose -4*s - 3*w - w + 9792 = 0, -3*s = -5*w - 7384. Is s prime?
False
Let d(h) be the third derivative of 79*h**5/60 - h**2. Let g be 1*(1 + 0/2). Is d(g) composite?
False
Let p = -3069 + 4666. Is p composite?
False
Let a = -27 - -14. Let o(q) = 2*q - 8. Let f be o(-9). Let j = a - f. Is j a prime number?
True
Suppose 6 - 1 = -m, -4*d = 5*m - 3099. Is d a prime number?
False
Suppose k + 55 - 620 = 0. Let p = 822 - k. Is p prime?
True
Let o(g) = -1094*g - 1. Let k be o(-1). Suppose -4*v = -3*h - 592 - 290, 5*v - k = -h. Is v prime?
False
Is (-633)/3*-2*(1 - 0) prime?
False
Let n(r) be the third derivative of r**5/60 - r**4/24 - 5*r**3/6 + 2*r**2. Let x be n(4). Suppose 0 = 2*f - 19 - x. Is f composite?
False
Suppose -97 - 209 = -3*v. Suppose -6*k - v = 3*i - k, -3*i + 3*k - 102 = 0. Let p = i + 183. Is p composite?
False
Suppose 21*r - 314 = 19*r. Is r prime?
True
Suppose -2*u - 6 = -5*u. Let k = u + 53. Is k a prime number?
False
Let c(k) = -3 + 2 - 1 + 1. Let z(j) = 2*j**2 + 15*j + 5. Let w(r) = 5*c(r) + z(r). Is w(-11) a prime number?
False
Let h = 8283 + -4574. Is h prime?
True
Let f(m) = m**2 - 2. Is f(3) prime?
True
Let k = 1 - -1. Suppose 3*r + 18 = g + 4*r, 5*g + k*r = 75. Is g a composite number?
False
Let m(h) = -h**2 + 2*h - 12. Let o(z) = z + 1. Let b(c) = m(c) + 5*o(c). Let s be b(6). Is (-5 - s)*(-84)/16 prime?
False
Suppose -b - 3*z + 8 - 29 = 0, 5*b = -z - 63. Let a = -8 - b. Suppose -a*f + 0*w - 2*w = -256, -3*f + 178 = -2*w. Is f composite?
True
Suppose u = -2*u. Suppose 0 = -4*z - 0*m + m + 11, z - 2*m + 6 = u. Suppose -5*k - 56 = -3*a, -z*k + 6*k = a - 18. Is a composite?
True
Let t(i) = -4*i**2 + 3*i. Let z(g) = -g**2 + g. Let q(a) = t(a) - 5*z(a). Let u be q(3). Suppose -u*m - 2*m = -265. Is m composite?
False
Let f(c) = 3*c**2 + 7*c + 11. Is f(8) a prime number?
False
S