1 + 7*k + 0*k + k**2 - 6. Is b(-13) prime?
True
Let p(w) = -w**2 + 7*w. Let y be p(7). Suppose -3*c - 5 + 20 = y. Suppose 5*g - 175 = 3*b, -3*b + 175 = c*g + 2*b. Is g a composite number?
True
Suppose 4*y - 362 = 346. Let v = y - 124. Is v a composite number?
False
Suppose 3*j = -3*u - 618, j + 4 = 5*j. Let m = -16 - u. Is m a composite number?
False
Suppose 3*f + 2*x - 20 = 0, 2*x - x = 1. Let v be (-952)/(-12) + (-2)/f. Suppose -j - v = -2*j. Is j a prime number?
True
Let r = 1 + 2. Suppose 6 = -r*x - 0*x. Is 1060/12 - x/3 a composite number?
False
Suppose -t + 3*g = -1192, -3*t = -7*g + 2*g - 3556. Is t composite?
True
Let a(m) = -m**3 - 4*m**2 + 2*m. Let n be a(-5). Suppose g - 15 = -4*o - 5, -o + 2 = 0. Suppose g*v - n = 47. Is v a composite number?
False
Let d(q) = 392*q + 5. Is d(3) composite?
False
Let t(l) = l**3 - 7*l**2 + 5. Let q be t(6). Let c = 45 + q. Is c a prime number?
False
Let p = 63 + 46. Is p a composite number?
False
Let c(u) = u**2 + 12*u + 15. Let o be c(-11). Suppose 3*f = -5*v + 245 + 560, -o*v - 3*f + 644 = 0. Is v prime?
False
Let a(b) = 2*b**2 - 3*b + 4. Is a(6) a prime number?
False
Let q(m) = m + 8. Let z be q(-6). Suppose 0 = -t - 1, -3*t + 54 = i + z*i. Is i composite?
False
Let a(h) be the first derivative of -4*h**2 - 11*h - 1. Is a(-8) a composite number?
False
Let t = 757 + 330. Is t a prime number?
True
Suppose 2*s - 4*x = -8, -4*x = 5*s - 6 - 2. Suppose s = -5*b + 4*b + 89. Is b a prime number?
True
Let r(c) = c - 11. Let o be r(0). Let v = 8 - o. Is v a prime number?
True
Let n(r) = 4*r + 1 + 1 - 4 - 5. Is n(5) a composite number?
False
Let f be ((-91)/(-28))/(2/8). Let h = 50 - f. Is h a composite number?
False
Suppose 4*b + t - 11 = 11, 0 = -5*b - t + 27. Suppose -b*c = 5*k - 90, -c = 4*k - 11 - 7. Is (-2 + c/3)/1 a prime number?
False
Let r(o) = -302*o - 1. Let d = -3 - -2. Is r(d) composite?
True
Let f be (28/(-20))/((-2)/10). Suppose -3*h + f = -2*g, -5*h + 18 = 6*g - 3*g. Is 212/((g - 2) + 3) a composite number?
True
Let s(x) = 2*x**3 - 5*x**2 - 3*x + 1. Is s(4) a composite number?
False
Suppose 0*b - 2*n = 3*b - 145, -b + 5*n + 71 = 0. Suppose -2*c = -34 - 6. Let v = b - c. Is v a prime number?
True
Suppose -3*d + 3*n + 291 + 75 = 0, -n = -4*d + 503. Is d a composite number?
False
Suppose -6*f + 276 = -2*f. Is f a composite number?
True
Let n(a) be the third derivative of -a**5/60 + a**4/8 + 2*a**2. Let r be n(4). Let k(z) = z**3 + 4*z**2 - 6*z - 1. Is k(r) prime?
True
Suppose -2*p = -62 - 16. Is p a composite number?
True
Let g(j) = -25*j**3 - 2*j**2 + j + 1. Is g(-2) a prime number?
True
Let x = -3 + 0. Let l be ((-2)/x)/((-2)/6). Let d(i) = -3*i**3 + i**2 + 2*i + 2. Is d(l) a composite number?
True
Let u = 17 + 3. Suppose u = 4*y + y. Is y/(-10) + 171/15 composite?
False
Suppose -4*a + 12 = -5*a - 4*h, 2*a + 2*h = -6. Suppose 2*p = -a*p + 44. Is p prime?
False
Suppose -4*l = -2*u + 12 - 4, -5*l + 5*u - 10 = 0. Is l + 2/2*91 a composite number?
False
Let x(a) = -4*a - 1. Suppose -5*s + 13 = -7, 4*g = 4*s - 36. Is x(g) a prime number?
True
Let s(l) = 10*l + 9. Let g(z) = -z - 1. Let n(b) = -4*g(b) - s(b). Is n(-12) a composite number?
False
Suppose -3*h + 3*z - z = -305, 4*z + 105 = h. Suppose 4*s - 163 - h = 0. Suppose 0*y + s = 2*y. Is y a composite number?
True
Let v = 0 - -2. Suppose 43 = -v*k + 7. Is 194/18 - 4/k prime?
True
Let a = -209 - -840. Is a prime?
True
Let r be (-11)/(-3) + 12/(-18). Suppose -q + r*q - 218 = 0. Is q a composite number?
False
Let t = 1335 - 2035. Let g = 1281 + t. Is g composite?
True
Suppose -15 = -3*n - 2*n. Suppose -5*v + 5881 = 4*f, -627 = v - n*f - 1807. Is v prime?
False
Let q be 0 - 1 - (2 + -5). Let s(r) = 16*r**2 + 10*r**2 + 35*r**q - 2*r - 4*r**2 - 1. Is s(-1) a prime number?
False
Let k(c) = 2*c**2 - c - 1. Let f be k(2). Suppose f*t - 2*b - 65 = 0, 5*t + 3*b - 50 = 2*b. Is t prime?
True
Suppose -172 = -5*i + 2*b + 425, -1 = b. Suppose -4 = -3*q + i. Suppose -p - q = -2*o, 0 = o + p - 17 + 1. Is o a prime number?
True
Suppose -i + 38 = -5*u, 0 = i - 3*u - 11 - 21. Is i a prime number?
True
Let a be -5 + 6 - (-1 - 0). Suppose a*w + 2*p + 0 = 6, w - 1 = -3*p. Suppose -w*k - 3*n + 368 = 149, -n + 5 = 0. Is k a prime number?
False
Is (2 + -1 + 633)/2 composite?
False
Let k be 3/(3/(-12) + 1). Suppose -33 = -k*g + 235. Suppose 12 = -3*m, p + g = 4*p - m. Is p composite?
True
Is 4/((-8)/(-7))*94 prime?
False
Let n(w) = w**2 - 8*w + 26. Is n(15) prime?
True
Suppose -67*h = -64*h - 3939. Is h prime?
False
Suppose 2*p = r + 663, 4*r - r + 987 = 3*p. Is p composite?
True
Suppose 5*s - 2*m - 7175 = 2*s, -3*s + 7195 = 2*m. Is s a composite number?
True
Suppose -4*a = 2*o - 2350, 3*o - 3152 = 4*a + 343. Is o a composite number?
True
Let b = -4 - -9. Suppose 5*t + b*w - 35 = w, -2 = -4*t + 2*w. Is 110 + 3/(t/1) prime?
False
Suppose 0 = 3*w - 2068 - 23. Let d = w + -390. Is d a prime number?
True
Suppose 5421 = 6*l - 1953. Is l a prime number?
True
Let g = -17 - -12. Let p(b) = -5*b + 2*b + 2 - 3*b - 7. Is p(g) composite?
True
Let f = 1 + 0. Let q be (-93)/(-33) - 4/(-22). Let w = q - f. Is w a composite number?
False
Suppose -4*a + 80 = a. Let y = a - 55. Let j = y + 106. Is j composite?
False
Suppose -7*g + 2*g - 15 = 0. Let l = 7 + g. Suppose -q + l*n + 47 = 0, -2*q + 5*n - 9 = -109. Is q a prime number?
False
Suppose -3*b + 5*b + 8 = 0. Is ((-79)/2)/(2/b) prime?
True
Let i = -2 + 1. Let y = i + 3. Suppose 4*m - 96 = y*c, c + 123 = 5*m - 3*c. Is m a composite number?
False
Is (1 - (-214)/(-3))/((-19)/285) a composite number?
True
Let r(u) = -u**3 - 2*u**2 + 3*u + 4. Let o(n) = n**3 - 8*n**2 - n + 5. Let t be o(8). Let a be r(t). Suppose -a*j = -0*j - 44. Is j a composite number?
False
Let o(n) = 2*n**2 + 2*n - 1. Let s be o(1). Suppose -l + s*r = l - 25, 0 = -4*l + r + 25. Let u = l - 1. Is u a composite number?
True
Suppose w - 9 = -2*z, 2*z - 5*w - 11 = -2*z. Suppose -1 = -z*l + 3, -5*s + 562 = -3*l. Is s a prime number?
True
Suppose -2096 = -6*g - 2*g. Is g composite?
True
Let n be (2/(-6))/(1/(-15)). Suppose 5*j - 65 = -n*o, 4*j + 10 = 3*o + 76. Is j composite?
True
Is 318 - 3/(-9)*-3 composite?
False
Suppose -8*r + 11*r - 4431 = 0. Is r prime?
False
Let p(k) = 9*k - 1. Let v be p(2). Let d = 27 - v. Suppose -d = 5*s - 120. Is s a composite number?
True
Suppose 0*s = 2*s, 15 = 5*h + 5*s. Suppose -7*v = -h*v - 24. Is v composite?
True
Suppose -5*h + 595 = 4*q, q - 4*h = -0*h + 154. Suppose q = -0*m + 2*m. Let j = m + 18. Is j a composite number?
True
Let n(s) be the second derivative of -3/2*s**3 + 3/2*s**2 - s + 0 - 1/12*s**4. Is n(-4) a prime number?
True
Let z = -13 + 248. Is z a composite number?
True
Let g = 121 - -420. Is g composite?
False
Let r(w) = -22*w**2 - 4*w**3 + 14*w**2 + 5*w**3 + 8*w. Is r(7) a composite number?
False
Suppose 0 = 5*p - 3*z - 7412, 0 = 2*p + 4*z - 2620 - 324. Suppose 0 = 2*b + 4*h - p, 0*b - 1456 = -2*b + 2*h. Let o = -475 + b. Is o a prime number?
True
Suppose -4*j - j + 5*i = -55, 2*i - 62 = -5*j. Suppose 4*t = 5*t - j. Is -1 + t - (-2 + 0) a composite number?
False
Let h(s) = -2*s + 2. Let q be h(3). Let t = -4 - q. Suppose -b + 3*b - 74 = t. Is b composite?
False
Suppose -4*r - 806 = -3*b + 543, -3*b = 2*r - 1337. Is b composite?
True
Let c(z) = -z**2 + 6*z - 6. Let n be c(4). Suppose -n*x + 330 = 44. Is x prime?
False
Let j be 2/(-2 - -1) + 138. Suppose -b = -4*b + 15. Suppose -49 = -b*a + j. Is a composite?
False
Suppose 5*m + 3*i - 168 = 311, 5*i = 4*m - 398. Is m composite?
False
Let k be (-3)/((2 + 0)/(-10)). Suppose -3*t = k, 2*q + 0*t - 1 = -t. Is (1*298)/(q + -1) composite?
False
Suppose 0*s + 2 = -2*s. Let d be (-10 - s)/((-1)/11). Let l = 196 - d. Is l a composite number?
False
Let f = 2515 - 1572. Is f prime?
False
Let v be 50/(-8) - 1/(-4). Let c(j) = -10*j - 2. Let x be c(v). Is -2*1 - (1 - x) prime?
False
Let a(f) = -23*f + 1. Let g be a(3). Let b = -22 - g. Is b composite?
True
Let a be 18/(-12)*8/(-6). Suppose 0 = a*z - p - 33, -37 = -3*z - 0*p + 4*p. Is z a prime number?
True
Let j(o) = o**3 - 17*o**2 + 25*o - 28. Is j(17) composite?
False
Let r = 3107 + -2020. Is r composite?
False
Let s(u) = -9*u - 77. Let g(k) = -4*k - 38. Let r(m) = -7*g(m) + 3*s(m). Suppose 2*h + h = 0. Is r(h) composite?
True
Suppose