ose -5*i = -0*i. Let h be i - (1 + 1 + -5). Suppose 0 = h*o - 2*o - 51. Is o composite?
True
Let m(f) = -f**3 + f**2 + f + 4. Let u be m(0). Let n be (-14)/(-21) - u/6. Suppose n = -2*t - 0 + 74. Is t prime?
True
Suppose -14*y + 5*y = -7173. Is y prime?
True
Suppose -2*w = -15 - 17. Suppose -w - 63 = -u - 4*b, -4*u + 327 = 5*b. Is u prime?
True
Suppose -2*k = p - 29, -k - 50 = -6*k + 2*p. Let f = 17 - k. Suppose -126 = -2*v - v + f*n, 0 = -n - 3. Is v composite?
False
Let q = 9 - -62. Is q composite?
False
Suppose 5*m + 6*x - 305 = 5*x, -4*x = 3*m - 166. Suppose 199 = 3*s - m. Is s a prime number?
False
Let d(p) be the first derivative of p**4/4 + 10*p**3/3 + 4*p**2 - 6*p - 5. Let k be d(-9). Suppose -2*o + k*n + 0*n + 793 = 0, n = -1. Is o prime?
False
Suppose 0 = -4*x + 2*t + 116, -4*t = -x - 2*t + 23. Is x prime?
True
Let n(h) = -h - 11. Let p be n(-7). Let s = 5 + p. Is (0/3)/s + 38 composite?
True
Let n = -7 + 10. Let o(f) = 31*f**2 - 2*f + 1. Let p be o(1). Suppose -p = -t + n. Is t prime?
False
Let q = 5 + 1. Let y = 6 - q. Suppose -b + 6*b - 435 = y. Is b a composite number?
True
Let u(z) be the first derivative of -z**6/360 - 11*z**5/120 - 7*z**4/24 + 2*z**3/3 + 2. Let n(k) be the third derivative of u(k). Is n(-7) a prime number?
False
Let f(r) = -17*r**2 - r + 5. Let h(i) = 52*i**2 + 3*i - 14. Let n(u) = 11*f(u) + 4*h(u). Let j be n(1). Suppose -m = -j - 14. Is m composite?
True
Let j(c) = 67*c**2 + c + 11. Is j(-4) composite?
True
Let q = -5 - -8. Is (12/2)/q + 201 prime?
False
Suppose 0*q - 3*u + 239 = 5*q, -q - 4*u + 41 = 0. Is q a composite number?
True
Let r(y) = -y**2 + y - 3. Let t be r(3). Let f be -2*t/(-15)*5. Is 4/f + (-58)/(-6) a prime number?
False
Suppose 0 = 5*m - 2*m - 2*a - 8, m - 3*a + 9 = 0. Suppose -4*v + y = -52, v - y - y = m. Let q = 37 - v. Is q composite?
False
Let s = 1 + 1. Suppose 6*y - s*y = 808. Suppose -3*a - 3*o = 2*o - y, -a = o - 68. Is a prime?
False
Suppose -4*x = -c - 128, 0 = -0*x - 4*x - 3*c + 112. Is x composite?
False
Let g be (813/(-3))/((-2)/(-4)). Let t = g + 1021. Is t a prime number?
True
Suppose -y + 0*y + 1 = 0. Suppose 2 = -3*d - y. Let q(a) = 50*a**2 + 1. Is q(d) composite?
True
Suppose -6*o + 4*o = 2*c + 8, 0 = -5*c - 4*o - 16. Suppose c = p - 2, -2*d = 5*p - 252. Is d composite?
True
Suppose 3*v + 10 = 8*v. Suppose 784 = 2*i + v*h, -4*h = -9*h - 5. Is i composite?
True
Is (390/(-9))/((-6)/9) a composite number?
True
Is (-2736)/(-7) + (-24)/(-168) a prime number?
False
Let l(o) = -5*o**3 - 9*o**2 + 7*o - 5. Is l(-6) prime?
True
Let c be 1 + -1 + (0 - -33). Suppose 4*d - 151 = c. Is d prime?
False
Suppose 2*j + 2609 = 3*j. Is j composite?
False
Let y = -6 + 6. Suppose y = 2*a + f - 155, 3*f + 153 = 2*a + 2*f. Is a a composite number?
True
Let h(z) be the third derivative of z**4/4 + z**3/6 - z**2. Is h(2) prime?
True
Suppose -2*a - 3*c + 2 = -11, 13 = 3*a - 2*c. Let j = a - 4. Is (-1 - -1 - -2) + j prime?
True
Let v(x) = x + 10. Let p be v(-8). Let k(s) = 7*s**2 - 3*s**2 - s - 4*s**3 + 1 + 5*s**3 + p*s. Is k(-3) prime?
True
Suppose 2*o - 9 = o. Let k be ((-18)/(-8))/(o/480). Let b = k + -74. Is b a prime number?
False
Suppose -a - 3*a + 1812 = 0. Let v = 5 - 3. Suppose 2*t = -v*l + 178, a = 5*l - 0*t + t. Is l a composite number?
True
Let v(l) = 2*l**3 - 4*l**2 + l + 2. Let k be v(2). Suppose k*o = -231 + 2911. Suppose 4*i = o - 186. Is i composite?
True
Let n(d) = -d**3 + 2*d**3 - 5*d + 2 + d + 8*d**3 - 2*d**2. Let c be n(3). Is (1 + 1)*c/10 a composite number?
False
Suppose -2*x = -x + 4*o + 8, 0 = x - 4*o - 8. Suppose x*f = f - 253. Is f composite?
True
Let n be (-862 + 3)*-1 - -2. Suppose -2*l + 5*l = n. Is l prime?
False
Let x(i) be the second derivative of -i**5/20 + 5*i**4/6 - 7*i**3/6 - 11*i**2/2 + 2*i. Is x(9) prime?
True
Suppose 3*h - 9 = 3*x, -3*x + 1 = -2*h + 3. Is (h/(-4))/((-3)/12) a composite number?
False
Let s(o) = -o**2 + 15*o + 4. Let l be s(15). Suppose 0 = q - l - 9. Is q composite?
False
Suppose -w + 74 = b + 22, 3*b = 0. Let a be 469/(-28) + 1/(-4). Let r = a + w. Is r prime?
False
Let d = 235 - 125. Suppose -o + d = o. Is o composite?
True
Suppose 5*c + 5*z = -2950 + 900, -4*z + 400 = -c. Let u be (6/8)/((-2)/c). Suppose -232 = -3*q - b, 2*q = 2*b - b + u. Is q composite?
True
Suppose 5*g = 4*g + 91. Suppose -2*s = -g - 1. Is s a composite number?
True
Let i = 52 - -118. Let g = i + -21. Is g a prime number?
True
Let l = 593 - 194. Let z be 2/5 + l/15. Let r = z + 7. Is r prime?
False
Let d be (2 - 0/4) + 1969. Suppose -4*v + d = 23. Is v a prime number?
True
Suppose -2*c - 3*c - 15 = 0. Let p = 5 + 4. Is 15/(-3*c/p) composite?
True
Let n(d) = 210*d**2 + 4*d - 13. Is n(5) a prime number?
False
Let l(h) = 13*h + 5. Suppose -5*j = -2*j - 18. Is l(j) a prime number?
True
Let x be 565 - (-1 - 1 - -2). Suppose 0*r - x = -5*r. Is r a composite number?
False
Let x(u) = -5*u**3 - 10*u**2 - 12*u - 18. Is x(-7) composite?
False
Let c be (1 - -88)*(-1)/(-1). Let s = -10 + c. Is s composite?
False
Let u(n) = -n**2 + 2*n - 3. Let a be u(3). Let c(w) = w**3 + 5*w**2 - 5*w + 6. Let z be c(a). Suppose 2*i = -z*i + 78. Is i a prime number?
False
Let f(o) = -o**2 + 20*o + 42. Is f(16) a composite number?
True
Let b be 1/((-2)/(-14)*1). Let n(f) = 22*f - 9. Is n(b) prime?
False
Let v(i) = -i**2 - 5*i + 1. Let p(j) = -5*j**3 + 1. Let s be p(1). Let h be v(s). Let c(r) = r**2 + 5*r + 3. Is c(h) a prime number?
True
Suppose h - 4*q - 282 = 0, -4*h + 693 + 335 = 4*q. Let l = h + -93. Is l composite?
True
Let m(i) = i**3 + 7*i**2 + 2*i - 8. Let f be m(-6). Let l = f - 10. Suppose l*k = k + 415. Is k a prime number?
True
Let k(d) = -85*d**3 - d - 1. Suppose 8 = i + 3*l, 0 = -3*i + 2*i - 4*l + 11. Is k(i) a composite number?
True
Let g = -5 - -10. Let l(h) = 16*h - 6. Is l(g) a prime number?
False
Suppose -2*d = -d - 145. Is d a composite number?
True
Suppose 5*g = -2*f + 3*g + 20, -15 = -5*g. Let a = 70 + f. Is a a composite number?
True
Suppose -12763 = -3*i - 2392. Is i a composite number?
False
Let v = -3 + 16. Suppose 0 = -5*a + u - 0*u + v, 4*u + 2 = -5*a. Suppose 0*w + 51 = a*n + 5*w, 0 = 2*w - 10. Is n a composite number?
False
Let i(d) be the third derivative of d**4/24 - 2*d**3/3 - 2*d**2. Let x be i(6). Suppose -t - x*t + 471 = 0. Is t a composite number?
False
Suppose -l = -4*l + 2463. Is l a composite number?
False
Suppose 0 = 6*g - 2*g - 1588. Is g composite?
False
Suppose 2*i - 88 = 50. Is i a prime number?
False
Suppose 0 = u + 5*r + 20, -2*u + 2*r + 12 = 4. Suppose -6*b - 213 + 4287 = u. Is b a prime number?
False
Suppose 0*u = -2*u + 1262. Is u a composite number?
False
Suppose 2*o + o - 37 = 4*u, 3*o + 2*u = 13. Suppose 5*i = c - 68, 4*i + o = -5. Is c prime?
True
Suppose 3*t - 20 = 37. Let l be (-2)/(-8) + t/4. Suppose -2*q = -l*a + a + 60, -q = 5*a - 75. Is a a prime number?
False
Let u(x) be the first derivative of x**3 - 2*x**2 + 3*x + 1. Let f(c) = 4*c**2 - 3*c + 3. Let g(w) = 6*f(w) - 5*u(w). Is g(-2) composite?
True
Suppose 0 = 3*g + 5*w - w - 95, 4*g + 4*w = 132. Is g composite?
False
Suppose 2*j + 2 = 2*k, k + 2*j - 7*j = -3. Suppose 0 = k*v - 21 + 3. Suppose -v - 13 = -u. Is u prime?
False
Is ((2 - 4) + -60)*2/(-4) a composite number?
False
Suppose 0 = 3*u - j - 0*j - 4397, -u + 1475 = -5*j. Is u composite?
True
Let q(w) = -13*w**2 + 2*w + 6. Let a be q(-6). Is a/(-8) + (-8)/32 a prime number?
True
Let m(q) = 2*q - 11. Let c be m(8). Let u(i) = 70*i - 13. Is u(c) a composite number?
False
Let f(k) be the first derivative of k**3/3 + k**2 + 7*k + 2. Let n be f(-7). Suppose -5*y = x + 14 - n, 35 = 2*x + 3*y. Is x a composite number?
False
Suppose -w = -3, 0 = -m - 5*w + 242 + 219. Is m a composite number?
True
Let r(p) = -9*p**3 + 2*p**2 + 9*p + 21. Is r(-5) prime?
True
Let f = 7 + -3. Suppose f*s - 79 = 3*s. Is s prime?
True
Let p(c) = -45*c - 13. Is p(-8) composite?
False
Let l be 19*(1 - (3 + -3)). Let p = l + -12. Is p a prime number?
True
Suppose 3*g = 2*g. Suppose -a - 2*h + 195 = g, 2*h - 1 - 3 = 0. Is a a composite number?
False
Suppose -4*l = -5*l + 787. Is l prime?
True
Suppose -2*u - 3 - 7 = 0. Let q(f) = 2*f**2 + 5*f - 4. Is q(u) a prime number?
False
Suppose -5*d + 127 = -843. Is d composite?
True
Let h(s) = -s**3 + 11*s**2 + 13*s - 8. Let f