**2 - h - 1. Let k(c) = -j(c) + 6*x(c). Let d be k(1). Suppose i = 2*i - d. Is i a composite number?
True
Let l(c) = -c - 1. Suppose -6 - 6 = 3*f. Let q be l(f). Suppose q*j - 30 = 15. Is j prime?
False
Let s = -2 - -6. Suppose r = 2*k - 47, k + 3*k - s*r - 104 = 0. Is k prime?
False
Let u(n) = n**3 - 6*n**2 + 2*n - 8. Let p be u(6). Suppose p*q - 35 = -4*v + 9, 9 = -q + 4*v. Let y(c) = -c**2 + 12*c - 2. Is y(q) a composite number?
True
Suppose 0 = 5*n + 2*i + 130, 5*n - 3*i - 41 = -171. Let a = n + 36. Let q = 45 - a. Is q prime?
False
Is 6 + -2 + (-4 - -5)*1549 a prime number?
True
Suppose -i = -5*b + 96, 16 = 4*i - 0*i. Let w = 4 - 3. Let u = w + b. Is u prime?
False
Suppose 5*m = 2917 - 872. Is m prime?
True
Suppose 4*c - 196 = 960. Let z = -155 + c. Is z a prime number?
False
Let y(h) = 20*h + 3. Let f(u) be the second derivative of u**3/6 + u**2/2 + 2*u. Let c(k) = -4*f(k) + y(k). Is c(2) a prime number?
True
Let v(s) = -s**2 + 7*s. Let g be v(8). Let i = g - 6. Is (0 - -12)*i/(-8) a prime number?
False
Suppose 3*l + 8*l = 25663. Is l composite?
False
Let n = -2 - -4. Suppose 5*a = 2*a - n*p + 189, 3*a = 5*p + 210. Is a prime?
False
Let n(a) = 21*a + 2. Suppose w - 28 = -3*w. Is n(w) composite?
False
Let q = 2 + 1. Let w = 1 + q. Is (w/2)/((-4)/(-70)) a composite number?
True
Suppose 0 = 3*n - 5*n - 8, 3*n + 8 = -2*x. Let p(s) = s**2 - x*s + 6 + 0 + 0 + 4*s**2. Is p(5) composite?
True
Let g = -9 + 15. Suppose 2*o - 444 = g. Suppose -2*t - 6 = 0, -5*c - 2*t = -34 - o. Is c a prime number?
True
Suppose -2*v = -90 - 2374. Suppose -4*i + v = -0*i. Suppose d - i = -3*d. Is d composite?
True
Suppose -8*b + 4*b + 12 = 0. Suppose m + b*m - 204 = 0. Is m prime?
False
Let k be (-20)/(-6) + 1/(-3). Let h = k + 0. Suppose -521 + 92 = -h*u. Is u prime?
False
Suppose -3*m = w - 5156, w - 1252 = 4*m + 3883. Is w a prime number?
True
Suppose 0*d - 26 = -5*d - c, d + 5*c = 10. Let t = d - 9. Is 2395/45 - t/(-18) a prime number?
True
Suppose 12*i - 13*i = -907. Is i composite?
False
Let y be (-18)/15*(-20)/3. Let g = y + 2. Is g a composite number?
True
Let x(t) = 33*t**2 + t. Is x(2) composite?
True
Let j(z) = z**3 + 13*z**2 + 10*z - 11. Is j(-9) a prime number?
True
Let v = 23 + -14. Let x(h) = 3*h**3 - 2*h**2 - 2*h + 3. Let r be x(2). Let a = r - v. Is a prime?
False
Suppose 4 = 5*l + 64. Let k = l + 27. Is k a prime number?
False
Let w(u) = 9*u + 1 - 4*u**2 - u**3 + 0 - 4 - 4*u. Is w(-6) composite?
True
Suppose -5*b + 25 = -3*m, 0 = 3*m + 5 + 10. Suppose 3*k - 106 = b*t, t = k - 2*t - 40. Is k prime?
False
Suppose -5*m + 936 - 131 = 0. Is m composite?
True
Suppose -8 = -3*o + 1. Let t = 0 + o. Suppose -4*j + 4*f + 278 = j, -4*j = -t*f - 223. Is j composite?
True
Suppose 4*t = 3 + 13. Let j(o) = o. Let i be j(t). Suppose -63 = -a + 8*v - 4*v, 0 = i*a + v - 218. Is a composite?
True
Let w = 5153 - 2448. Is w a prime number?
False
Let p(t) = t - 6. Let v be p(6). Suppose -5*x - 3*r + r + 40 = v, -4*r + 32 = 4*x. Suppose x*b - 3*b - 75 = 0. Is b prime?
False
Let y be 10*(2 + -1 + -2). Let q = -7 - y. Suppose 0*a + 3*a = -2*r + 39, a + q*r = 6. Is a a composite number?
True
Let s = 14 + -9. Suppose 4*t - s*t = -148. Suppose -2*c + t = -5*m, -5*c + c = 5*m - 266. Is c composite?
True
Suppose -5*h = -9*h + 15148. Is h composite?
True
Suppose -s + 149 + 36 = 0. Suppose o + 0*n = 3*n + 79, -4*n + s = 3*o. Is o prime?
True
Suppose 5*d - 3*s = 8059 + 9198, 2*s = d - 3450. Suppose d = 4*y + 960. Is y a prime number?
False
Suppose -3*u = 5*m - 338, -4*u - m + 494 = -3*m. Is u prime?
False
Let i = -4 - -3. Let q be 0*3/6*i. Suppose 5*r + 25 = q, 2*r = 2*k - 2*r - 114. Is k a prime number?
True
Let j be -2 + 19 + (-1 - 0). Let c(u) = 2*u**3 - 4*u**2 + 4*u - 3. Let g be c(2). Suppose -o = -j - g. Is o prime?
False
Let v(s) = -72*s + 1. Suppose -3 - 3 = -2*l. Suppose 3*c + 2*t = -5, 3*c + 3*t + 0*t + l = 0. Is v(c) composite?
True
Let t(q) = -827*q - 1. Let z be t(1). Is (z/24)/((-2)/4) a composite number?
True
Let k be (-17)/(-4) + (-2)/8. Let p be -9*(-3)/(3 + 0). Suppose 0 = k*b - 15 - p. Is b prime?
False
Is (-8)/52 - (-160)/26 a composite number?
True
Is (-4264)/(-72) - 2/9 composite?
False
Suppose -a + 11 = -3*f + 2, a - 4*f - 11 = 0. Suppose -a*x = -0 - 6. Suppose -x*w - 95 = -7*w. Is w composite?
False
Suppose 2*q + 2 = i - 5*i, -2*i = 4*q + 4. Suppose -4*k - 5*y + 222 = 0, i*k = -2*k - 3*y + 112. Is k prime?
True
Let g(d) = -42*d + 19. Is g(-8) prime?
False
Let h = 82 + 3. Is h a prime number?
False
Let n(b) = 8*b**3 - 2*b**2 - b + 1. Is n(2) composite?
True
Let r(d) = 5*d**2 + 7*d - 1. Let p(l) = -3*l + 22. Let k be p(10). Is r(k) a prime number?
True
Let j(x) = 7*x - 3. Let d(b) = -3*b + 1. Let l(y) = -10*d(y) - 4*j(y). Is l(6) prime?
False
Let g = -979 + 1377. Is g a composite number?
True
Let m(x) = x**2 + x - 5. Suppose 4*f + 0 - 4 = 0. Suppose 5 = -s + f. Is m(s) composite?
False
Let a be (7 - 10)*(1 + -24). Suppose a = x - 50. Is x a prime number?
False
Let i(z) = -2*z**3 - 8*z**2 - 5*z - 1. Suppose 6 = -4*d - 14. Is i(d) a composite number?
True
Suppose 0 = 3*k + 2*c - 1191, c = 2*k + 40 - 834. Is k prime?
True
Let v be -3 + -1*222/(-2). Suppose 2 + 2 = -2*m, 0 = -4*s - 2*m + v. Let n = 83 - s. Is n a prime number?
False
Suppose 0*y - 4*y + 232 = 0. Is y composite?
True
Let w(l) = -l**3 + 6*l**2 - 5*l + 3. Let r be w(5). Let f = 3 - r. Suppose -5*g - 6 = -3*h, 4*h + f*g = -2*g + 34. Is h prime?
True
Suppose l + k = 7, -2*l + 4*k - 33 = -7*l. Suppose -u = -l*j + 6 - 89, 0 = 4*u - 4*j - 396. Is u a prime number?
True
Suppose -4*i + 3*p = -p - 24, 0 = 4*p - 8. Is (-52)/8*i/(-2) prime?
False
Suppose -g = -2*q - 3*q - 241, 690 = 3*g - 4*q. Is g composite?
True
Let a(y) = -y + 3. Let i be a(3). Suppose -2*j + 2*p + 14 = i, p = 4*j - 4*p - 24. Suppose -c = -j - 12. Is c prime?
True
Let b(y) = y + 5. Let w be b(-3). Suppose 4*j - 490 = -0*j - w*o, -o - 481 = -4*j. Is j a prime number?
False
Let k(a) = -11*a**2 + 14*a + 5. Let x(r) = -12*r**2 + 14*r + 5. Let q(o) = -4*k(o) + 3*x(o). Is q(6) prime?
True
Let a = 13 + -8. Suppose 5*x = -a + 100. Is x prime?
True
Is 28/(((-21)/36)/(-7)) + 1 a prime number?
True
Let k(m) = 5*m - 7 + 6*m + 3*m. Let o be (-4)/(-2) + 8 + -4. Is k(o) a prime number?
False
Suppose d + 4*l + 1071 = 2*d, 0 = -5*l + 20. Is d a composite number?
False
Let s(t) be the third derivative of -t**6/30 - t**5/30 + t**4/6 + t**3/2 - t**2. Is s(-4) composite?
False
Let n = -899 - -1408. Is n a prime number?
True
Let y(q) = 3 - 3 + 41*q**3 - 204*q**3. Is y(-1) prime?
True
Suppose 2*i = -i + 255. Is i a prime number?
False
Is 807/(15/4*28/70) a prime number?
False
Suppose 0 = v + v - 4. Suppose -2*d + 4 = 2*z, 3*z + 20 = 5*d - 2*z. Suppose -5*a = 3*h - 104, -137 = -4*h - v*a - d*a. Is h prime?
False
Suppose -5*c + 3*h + 21 = -2*c, -4*h = 8. Suppose -c*r + 72 = -r. Suppose -140 - r = -2*k. Is k a composite number?
False
Is (-6)/3*(-15063)/6 prime?
True
Suppose -2*x + 155 = 5*b, 111 = 4*b + x - 13. Is b a prime number?
True
Suppose v + 9 = -4*p, -2 = -5*v + 3*p + 22. Suppose v*w = 8 + 97. Is w composite?
True
Let p = 14 - 21. Is (14/4)/(p/(-42)) composite?
True
Let s(u) = 2*u**3 - 4*u**2 - u - 8. Is s(6) prime?
False
Let h(x) = x**3 - 13*x**2 + 11*x + 15. Let b be h(12). Suppose -j + 3 = -2. Suppose -j*v = n + 2*n - 177, 5*n + b*v - 295 = 0. Is n prime?
True
Suppose 6*r - 3*r + 231 = 0. Is 1/(-4) - r/4 a composite number?
False
Let t be (0 - 6)*(-4)/6. Suppose -t*b + g - 203 = 0, 0 = 4*g + 26 - 6. Let h = b - -87. Is h a prime number?
False
Let v(o) = o**3 + 4*o**2 + 3*o + 2. Let x be v(-5). Is (x/3)/((-6)/9) composite?
False
Let w = -1 + 2. Let l be (w + 0)*(-168)/(-4). Suppose -l = -4*s + s. Is s a composite number?
True
Suppose 9*h = 6*h + m + 1139, -2*h + 2*m + 762 = 0. Is h prime?
True
Let q = 7 - 3. Suppose -102 = q*a - a. Let n = 49 + a. Is n composite?
True
Let m(d) = 13*d**2 - 14*d + 5. Is m(-6) a composite number?
False
Suppose 0 = -4*r + 11242 + 2490. Is r prime?
True
Let m = -202 - -288. Let k = 151 + -28. Let v = k - m. Is v a composite number?
False
Let u(h) = 36*h**3 + 3*h**2 - 2*h + 2. Is u(2) a composite number?
True
Let q(a) = -a**3 - 6*a**2 - a - 2. Let y be q(-6). Suppose -5*l - 118 = -3*x, -y*l + 90 = 4*x - 14. Is x composite?
