 + 11*h**2 - 5*h - 10. Let s(u) = -5*f(u) - 6*j(u). Is s(-3) a prime number?
False
Let v = 750 - 300. Suppose -25 = 7*i - 2*i, -4*r - 2*i + v = 0. Is r a prime number?
False
Suppose -5*c + 1379 = -2636. Is c a prime number?
False
Suppose -9*v + 6*v + 222 = 0. Is v a prime number?
False
Let k(n) = -34*n - 30. Is k(-4) prime?
False
Suppose a = 5*o + 4*a + 87, 4*o - 3*a + 48 = 0. Let k = 10 + o. Let y(g) = -25*g - 6. Is y(k) prime?
False
Suppose 4*s = h + 5314, -2*s + 0*h + 2*h = -2654. Is s a composite number?
True
Suppose 3*w = -5*c + 728, 2*w - 440 = -3*c - 3*w. Is c a prime number?
False
Let w be 228/(-10) + 20/25. Is (w/(-33))/(2/231) composite?
True
Let x = 105 + -68. Is x a prime number?
True
Let t(r) be the second derivative of r**3/3 + 13*r**2/2 + 4*r. Is t(12) a prime number?
True
Let g(t) = -8*t**3 + 2*t - 1. Let x be g(1). Let b(y) = -4*y - 3. Is b(x) a prime number?
False
Let u(j) = j**2 + 5*j + 5. Let w be u(-5). Suppose 2*f = -w*p + 48, -2*f + 36 = 2*f - 5*p. Is f prime?
False
Suppose 5*y - 25 = 5*m, -3*y + 15 = 4*m - 0*y. Is 3 + m*(-3)/9 a prime number?
True
Suppose 2*c + 3*c - 10 = 0. Let t = -11 + 7. Is c/t*12*-1 a composite number?
True
Let t(f) = -7*f**3 - 18*f**2 + 12*f - 10. Let v(q) = 20*q**3 + 54*q**2 - 36*q + 30. Let s(b) = 17*t(b) + 6*v(b). Is s(-17) prime?
True
Let c(d) = d + 6. Let v be c(-5). Let k(y) = 80*y**3 + 3*y**2 - 4*y**2 + 0*y**2. Is k(v) composite?
False
Let l be (-12)/(-18) + (-68)/(-6). Let u = 7 + l. Is u a prime number?
True
Let b(j) = j**3 + 7*j**2 + 3*j - 4. Suppose -2*p + 1 - 11 = 0. Is b(p) a composite number?
False
Suppose -5*k = 4*z - 93 - 202, -5*z - 5*k = -370. Suppose -7*m = -2*m + z. Let t = m + 25. Is t prime?
False
Suppose 4*k - 2*p - 607 + 13 = 0, -5*k + 4*p + 750 = 0. Suppose 2*i - o = k, -5*o + o = 3*i - 197. Is i a prime number?
True
Let c = 26 + -12. Suppose 18*b - 88 = c*b. Is b prime?
False
Let a(u) = u**3 - 7*u**2 + 3*u - 1. Let c be a(5). Let o = c + 113. Is o composite?
True
Let f = 5 - 0. Suppose 3*u = f - 11, -a + 4*u = -51. Is a a composite number?
False
Let l(g) be the first derivative of 69*g**2/2 + 2. Is l(1) prime?
False
Suppose -s + 640 = w - 6, -5*s + 3210 = w. Is s prime?
True
Let d(k) = -37*k + 2. Is d(-15) prime?
True
Let f(q) = -q**2 - 6*q - 5. Let o be f(-4). Suppose 0 = -j - o*j + 104. Is j prime?
False
Let d(c) = 52*c**2 + 2*c + 4. Let g be d(-2). Suppose g = 2*t - 46. Is t prime?
True
Let v = 166 - 87. Is v composite?
False
Let l = 8 - 2. Is 316/(-6)*l/(-4) composite?
False
Let p = -85 - -18. Let s = p - -43. Let a = 59 + s. Is a a prime number?
False
Let r be 3 + (-1 - -3) - 2. Suppose -2*u - r*u = 2*o - 392, 4*o - 766 = -u. Is o composite?
False
Let v = -2 + 6. Suppose 2*p - 3*m - 172 = 0, -p - v*p = -2*m - 441. Is p composite?
False
Let p be 1 - (0 - 2/1). Suppose p*f - 371 = 2*f. Is f composite?
True
Suppose -4*q + 1558 = -2790. Is q a composite number?
False
Is ((-35)/20)/((-2)/424) composite?
True
Let s(k) = 43*k - 7. Is s(8) prime?
True
Let f = -3 + 0. Let v = 30 - f. Suppose -v = -2*w + 13. Is w a prime number?
True
Suppose -1307 = -3*w + 190. Is w a composite number?
False
Suppose 2*w + 0*w = -96. Let p = 82 + w. Is p prime?
False
Let z be 63/6 + 3/6. Let p(d) = -4*d**2 - 3*d - 4. Let i be p(-4). Let b = z - i. Is b composite?
False
Is (-5 - -5)/(-2) + 647 a composite number?
False
Let o(r) = -11*r + 2. Let p be o(-3). Suppose 20 = 4*j + 4*s, -3*s + 13 = -2. Suppose -p = -j*u - u. Is u a composite number?
True
Suppose 5*q = -45 + 600. Is q a composite number?
True
Let c(g) = 13*g + 2. Let n be c(4). Suppose 2*j - n = 2*t, 0*j + 4*j + 2*t - 132 = 0. Is j a prime number?
True
Let k(j) = j**2 - 3*j + 2. Let i(q) = q**2 - 3*q + 2. Let n(z) = -2*i(z) + 3*k(z). Let l be n(5). Let r = l + 1. Is r a prime number?
True
Let m = -97 + 14. Let i = 172 + m. Is i composite?
False
Suppose 2853 = p + 5*j, -j = 3*p + 4*j - 8539. Is p a prime number?
True
Let r = -171 - -79. Is r/8*-22*1 composite?
True
Let p(l) = -4*l - 53. Let d(j) = 3*j + 53 + j + 4*j - 5*j. Let r(o) = 5*d(o) + 4*p(o). Is r(0) a prime number?
True
Suppose -3*c - 2*s + 438 = -6*s, 438 = 3*c - 3*s. Is c composite?
True
Let t be (-36)/(-8) + 2/4. Suppose 5*d = -2*k - k + 45, t = k. Suppose x + 105 = d*x. Is x prime?
False
Let d = -8 - -18. Is (20/d)/(2/37) a prime number?
True
Let r(t) = t**3 + 16*t**2 + 12*t - 13. Is r(-12) composite?
False
Suppose -13489 = -4*m + 4*r - 5*r, -5*m = -3*r - 16840. Is m prime?
True
Let h(k) = -k**2 - 4*k - 2. Let r be h(-2). Suppose -62 = -0*d - r*d. Is d prime?
True
Suppose 0 = 4*l - l. Is (l + -514)*(-5)/10 a composite number?
False
Suppose 3*g + 534 = 2*g. Let d = 2 + -4. Is ((-8)/(-24))/(d/g) a composite number?
False
Let x = 0 - 0. Suppose x*w = w. Suppose 28 = -w*r + 2*r. Is r a prime number?
False
Suppose 3*v + 2137 = r, -3*v + 4310 = 2*r - 0*v. Is r prime?
False
Let b be 2/13 - 1140/(-26). Is 2/(-11) - (-3660)/b a composite number?
False
Let t(l) = 11*l - 4. Suppose -4*q - 5 = -5*q. Is t(q) prime?
False
Let o(j) = 10*j + 1. Let i(l) = l**2 - 2*l - 1. Let r be 2/(-1) + 1/1. Let g be i(r). Is o(g) composite?
True
Suppose 0*v = -v. Suppose 4*t = 3*q + 1511, -t - q = -v*q - 376. Let s = -250 + t. Is s composite?
False
Let t be 4*(-3 + 438/(-4)). Let m = t + 221. Let n = m + 452. Is n a composite number?
False
Let j(v) = 9*v + 2. Let p be -1*-3*(-2 + 3). Suppose -2*r = b - 3, -1 = 2*b - p*r - 14. Is j(b) composite?
False
Suppose -3*m = -8 - 1. Suppose b = -3*r + 2*r + 24, -2*b + m*r + 33 = 0. Is b a prime number?
False
Let k(h) = -h**2 + 9*h - 9. Let v be k(7). Suppose -23 = -v*r - 93. Is (16/(-56))/(2/r) composite?
False
Let t = -7 - -11. Let x(z) = -3*z**2 - 2*z + 6. Let b be x(t). Let y = 135 + b. Is y a prime number?
False
Is ((-3)/6)/((-1)/((-524)/(-2))) prime?
True
Suppose -4*u + 28 = 4*m, 3*m + u = -3*u + 26. Suppose -x - 5 = -m*x. Is (x - 0)*(4 + -2) prime?
False
Suppose 10*o - o = 20997. Is o prime?
True
Let s(c) = -c**2 - 15*c + 5. Is s(-11) composite?
True
Let x = -305 + 514. Is x prime?
False
Suppose q - 3*q + 2302 = 0. Is q composite?
False
Let z = -46 - -125. Is z composite?
False
Let b be (-5)/(-1)*(0 - -1). Suppose -3*v + 2*q + 19 = 0, -b*v + 4*q + 10 = -3*v. Is v prime?
True
Let j(c) = -c + 23*c - 17 + c + 3*c. Is j(8) a prime number?
True
Let t be 18*3 + 4/2. Suppose 4*v + a - 1160 = 0, -2*v - t = 4*a - 636. Is (-2 + 0)/((-4)/v) prime?
False
Suppose 3*a - 356 = -a. Is a a prime number?
True
Suppose -8 = -4*w - 4*y, -2 = 2*w - 4*y - 18. Suppose -t - 1 = -w. Suppose -t*s = -3*n - 54, -4*s + 38 = 2*n - 4. Is s a prime number?
True
Suppose d = 3 + 2. Let q(g) = -g**2 + 9*g - 8. Let v be q(8). Suppose m - 62 = -2*m - d*t, v = m - 2*t - 17. Is m a prime number?
True
Suppose -3*f + 9 = 3. Suppose b - 45 = -f*b. Suppose 5*q = -b, -4*n + 2*q = -3*n - 95. Is n prime?
True
Let t = 11 - 7. Suppose 0 = 3*o - t*g - 19, o + g = -3 + 14. Is o a prime number?
False
Suppose 4*q - 1 = 11. Suppose 0 = -q*j - 3*k + 873, 4*j - k - 1182 = 4*k. Is j a prime number?
True
Let j = 168 - 115. Is j prime?
True
Suppose 2*l = -4*j + 10290, 5*l - 2*j - 9750 = 15987. Is l prime?
True
Let t = 64 + -28. Suppose -93 = k - 290. Let g = k - t. Is g composite?
True
Suppose a = -3*q + 2266, 3*q - 4*a - a = 2260. Is q a prime number?
False
Let u(w) = 106*w - 1. Suppose 4*p = p - 9, 0 = -3*a + 2*p + 12. Is u(a) composite?
False
Let r(k) = -204*k**3 - 1. Let o = 0 + -1. Is r(o) composite?
True
Let h(d) = 14*d**2 + 7*d + 3. Is h(8) composite?
True
Suppose 0 = 5*k - k - 4564. Is k a composite number?
True
Suppose -z + 2*z = -15. Let p be (-4)/(-6)*z/10. Let i = p + 38. Is i a composite number?
False
Suppose -4*b + 20 + 1 = 3*d, 2*b - d = 3. Suppose y - b*l = 4*y + 3, 3*y - 4*l - 25 = 0. Suppose 54 = 3*v + y*s - 3, v - 19 = s. Is v a composite number?
False
Let r(h) = 76*h - 23. Is r(15) a composite number?
False
Let w(k) = -34*k**2 - 5*k + 7. Let l(x) = -68*x**2 - 11*x + 14. Let g(h) = 3*l(h) - 7*w(h). Is g(-3) a prime number?
True
Suppose -3*i + 7*i = 8. Suppose o = 5*t - 3*o - 570, -4*t + 4*o = -460. Suppose 117 = i*v - 3*m - t, m - 576 = -5*v. Is v a composite number?
True
Let l(k) = 2*k**2 + 6*k + 3. Is l(6) composite?
True
Let q(s) = s**2 + 1. Let k be q(-1). Let j be 6/3 + (k - -1). Suppose