0 = 5*t + 158 - 548. Suppose -b = -i + t, -150 = -5*i + u*i - 4*b. Is i a composite number?
True
Suppose 3*i - 2547 = -4*x, x - 3*i + 648 = 2*x. Is x a prime number?
False
Let r(s) = -12*s - 3. Let l(k) = 11*k + 4. Let d(u) = 4*l(u) + 3*r(u). Is d(15) a prime number?
True
Let q(u) = u**2 - 10*u + 11. Is q(-10) a prime number?
True
Suppose 0 = 2*s - 6, 4*a + 3 + 17 = 4*s. Let t be 9/2*(-4)/(-3). Is (37/a)/((-3)/t) a prime number?
True
Let r be -2 + (-4 + 0 - -4). Is r/((-3)/(2943/6)) a prime number?
False
Let n(m) = -m**2 - m. Let w be n(-2). Let x be w/(27/(-30) + 1). Is 1 - (x/2 - 0) prime?
True
Suppose -1 = 4*p - 3*i - 8, 15 = 5*p - 5*i. Let f be (6/10)/(p/(-10)). Suppose -73 = -2*n + f*y + 1, -5*n + y + 185 = 0. Is n prime?
True
Let p(b) = -20*b + 2. Let c be p(-1). Let s = 65 + c. Is s composite?
True
Suppose -d + 37 = -214. Is (d/3)/(6/18) a prime number?
True
Let a = 237 + -137. Let w = -54 + a. Is w composite?
True
Let u = 388 - 155. Is u a prime number?
True
Suppose -15 = 5*c - 65. Suppose z - c = -4*z. Suppose 4*s = 10 + z. Is s composite?
False
Suppose -h = 3*h - 68. Suppose m = 70 - h. Is m composite?
False
Let b be 605 - (0 - (0 - 0)). Suppose 4*u + u = b. Is u a composite number?
True
Let r be (-2)/4*0/4. Let o(n) = -n + 5. Let m be o(r). Suppose 4*c + 25 = m*c. Is c a composite number?
True
Let j = -3 - -8. Let m = 28 - j. Is m composite?
False
Suppose -403 = -7*z + 2250. Is z a composite number?
False
Let j(i) = 31*i + 3. Is j(4) prime?
True
Let k be 16/6 + 5/15. Suppose k*w - 205 = b, -5*b + 286 = 4*w - 0*b. Is w a prime number?
False
Is -76*(-2)/(7 + 1) composite?
False
Suppose 0 = -3*f + b - 103 + 576, -312 = -2*f + 4*b. Is f a prime number?
False
Is -1*3/(12/(-10964)) a composite number?
False
Suppose 4*a + 3*x = 3299, a + 3*x + 409 = 1245. Is a prime?
True
Let y(b) = b. Let g be y(5). Suppose -8*k - g = -3*k. Let q(w) = -6*w + 1. Is q(k) composite?
False
Let k = -1 - -3. Let a = k - -3. Suppose c + a*j - 31 = 0, 5*j + 21 = 5*c - 74. Is c a prime number?
False
Suppose r + m = 209, -2*r = m + 120 - 540. Is r composite?
False
Let s(i) = 8*i - 3. Suppose -2*z - 5 = 2*l + 7, -12 = -3*z. Let r = -7 - l. Is s(r) composite?
True
Is -28*(-3 - 371/4) a composite number?
True
Let g = -970 + 3099. Is g composite?
False
Let s(b) = -405*b - 2. Is s(-7) a prime number?
True
Let y = -142 - -95. Is -3*(y/(-3))/(-1) prime?
True
Let m be -2 - (-3*7)/3. Let q(s) = -2*s**3 + 3*s**3 + 7 + 8*s**2 - 2*s**2 + m*s - 2*s**3. Is q(6) composite?
False
Suppose -4*p + 124 = k, 0 = 2*k + 3*k. Is p composite?
False
Let c(o) = -2*o - 1. Let d(t) = -3*t - 3. Let n(k) = 5*c(k) - 3*d(k). Is n(-7) composite?
False
Let w(s) = -s**3 + 422. Let j be w(0). Suppose -b = -4*d + 184 + 140, 3*b - j = -5*d. Is d a prime number?
False
Let c(x) = -2*x**2 - 6*x + 7. Let i be c(-6). Is ((-99)/3)/3*i prime?
False
Let a = 6 + -3. Suppose 0 = a*t, -4*b - 5*t - 114 = -934. Is b a prime number?
False
Is 2*(3 - (1 + -5)) a composite number?
True
Is (6/9)/(4/4926) a prime number?
True
Suppose 0 = 3*n - 466 - 503. Is n a composite number?
True
Suppose -4*z + 0*n = -n - 285, -297 = -4*z - 3*n. Suppose 3 = 5*v - z. Is v prime?
False
Let q(f) = 8*f + 5 + 1 - 5. Let n = -2 + 3. Is q(n) prime?
False
Let l(j) be the third derivative of 1/3*j**3 - 1/24*j**4 + 0 - j**2 + 0*j. Is l(0) composite?
False
Let n(q) = q**2 + 2*q + 2. Let w be n(-2). Suppose -x + 25 = 4*x. Suppose -x*s + 53 = 4*v, -v + w*v = -5*s + 47. Is s a prime number?
False
Suppose 5*f - 1458 + 4646 = 4*r, 5*f = 0. Is r composite?
False
Suppose d = -5*n + 1016, -n - 3*d + 2*d + 204 = 0. Is n a composite number?
True
Let a(z) = 32*z**2 - 2*z + 3. Is a(2) prime?
True
Let j = 2 + -3. Is (185/(-20))/(j/4) a prime number?
True
Let c(i) = i**3 - 5*i**2 + 3*i. Let h be c(4). Let v(k) = k**2 - 6*k - 3. Is v(h) composite?
False
Let k(o) be the first derivative of -o**5/12 + 5*o**4/24 + 2*o**3/3 - 2. Let t(h) be the third derivative of k(h). Is t(-8) a prime number?
False
Let c be 2*(1 - 393/(-6)). Suppose 3*w = -5*n - 0*n + c, 4*n = -2*w + 86. Let t = w - 26. Is t prime?
False
Suppose -5*a + 3*s = -s - 1565, -3*a - 5*s + 976 = 0. Is a prime?
True
Is (1*(-78 + -1))/(-1) a prime number?
True
Suppose -5*n - 2*w = -13, -4*w = 2*n - 0 - 2. Suppose -6 = -6*j + n*j. Is ((-11)/j)/((-5)/70) a prime number?
False
Suppose -q + 422 - 83 = 0. Let b be 1*(-2 - -1) - -7. Suppose -t = -5*s - 113, 0 = -3*t + b*t + s - q. Is t a composite number?
False
Let d(n) = -9*n - 2. Let s(h) = -h**3 + 4*h**2 + 7*h - 5. Let t be s(5). Suppose 0*m - 5*m - t = -3*o, -3*o = 15. Is d(m) a composite number?
True
Let b(j) = j**3 + 16*j**2 + 12*j + 7. Let q be b(-10). Suppose r - 2*r + q = 3*c, 0 = -5*c. Is r composite?
False
Suppose -4*l + 2*y = -624, -3*l - 5*y + 420 + 35 = 0. Is l prime?
False
Let k = 1 + 4. Let y = -5 + k. Suppose 3*q + 5*a - 113 = -4, 4*q + 5*a - 152 = y. Is q a composite number?
False
Let f(l) = -l**3 - 7*l**2 - l - 7. Let s be f(-7). Let y be -1*(-123 - s/(-2)). Suppose 5*q - y = 532. Is q composite?
False
Suppose -t + 11 = -56. Let p be -2 + 4 + 0 + -2. Suppose o + 9 - t = p. Is o composite?
True
Let h = -210 - -67. Let m = -90 - h. Is m prime?
True
Suppose 2*r - 2*h = 434, 2*r - 3*r = 5*h - 199. Is r a composite number?
True
Let x = -52 - -26. Let w = 25 - x. Let b = w - 26. Is b a prime number?
False
Let m be (-17)/(2 - 15/6). Suppose 0 = 4*y - m + 2. Suppose 0 = -2*x - 5*o + 13, 5*x + y*o - 3*o = 55. Is x a prime number?
False
Suppose 0*q = 5*q - 45. Suppose -4*p + k = -q, -8 = -3*p + k - 2. Suppose 0 = -p*x + 439 + 200. Is x composite?
True
Let q = 117 + 10. Is q composite?
False
Suppose -5*i + 2*i + 39 = 0. Is i a prime number?
True
Let y = 10 + -7. Suppose 3*g + g + 3*s - 130 = 0, -y*s = -5*g + 176. Is g a composite number?
True
Let a(s) = -499*s. Is a(-1) composite?
False
Suppose z = -r + 4*r - 6, 3*z + 4 = -5*r. Let v be (r + 0)*(2 - 5). Is ((-42)/18)/(1/v) a composite number?
False
Suppose -5*t - 64 = 11. Let s = 21 + t. Is 22/s*(22 - 1) a composite number?
True
Suppose 3*o + 3*g = -o + 2338, -10 = 5*g. Is o a prime number?
False
Let a be (-5)/(-4) + (-9)/(-12). Suppose -5*b = -b + 4*j - 28, -3*b = -a*j - 1. Is b composite?
False
Suppose -14 = -s - 6*s. Suppose -s*j + 745 = 3*j. Is j composite?
False
Suppose 3*z = 2*k - 9731, 2*z + 14586 = 3*k + z. Is k composite?
False
Let u = 14 + -18. Is 415/7 - u/(-14) composite?
False
Let d(c) = 9*c + 10. Is d(17) a prime number?
True
Let b be (1 - 0/1)*-3. Let k be (1/b)/(4/(-36)). Suppose 5*j - 2*j + 3*m + 3 = 0, 5*m = -k*j - 13. Is j a prime number?
False
Suppose z - 4 = 3*l - 1, 3*l = -6. Is 5/((-5)/(-3)) - z a composite number?
True
Let d(q) = q**3 - 9*q**2 + q + 3. Let g be d(9). Suppose -g*c + 17*c = 575. Is c composite?
True
Let y(x) = 2*x**3 + x + 4. Is y(5) composite?
True
Let b(o) = -o + 75*o**2 + 155*o**2 - 18*o**2. Suppose 26*p - 18*p = 8. Is b(p) composite?
False
Let m(w) = w**3 - 6*w**2 - 7*w + 4. Let a be m(7). Suppose -a*x = -5*x - 103. Let s = -6 - x. Is s a prime number?
True
Let j = 820 - 453. Suppose -4*p = j + 521. Is (-2)/3*p/4 a composite number?
False
Let l = -431 - -792. Is l prime?
False
Let s(p) = 14*p**2 - p + 5. Let u be s(-4). Let h = 22 - -128. Let o = u - h. Is o a composite number?
False
Let d be 903/(-7)*1/(-3). Suppose 0*r = r - d. Is r a prime number?
True
Let i(l) = 7 + l**2 + 11*l**2 + 3 - 6*l. Let c(v) = -v**2 + v - 1. Let h(g) = 5*c(g) + i(g). Is h(-5) a prime number?
False
Suppose 2*n + 5*s + 6 = 3*s, -5*n = -s + 39. Is (-12)/42 - 135/n a composite number?
False
Let x(w) = 3*w**2 + 16*w + 8. Is x(-13) a composite number?
False
Suppose -a - 1 + 47 = 0. Is a composite?
True
Suppose 2*j + 0*j = 5*c + 25, -5*c - 25 = -4*j. Suppose 3*x = 6*x - 3*y - 216, 3*y + 15 = j. Is x a prime number?
True
Let k(l) be the second derivative of 1/2*l**2 + 16/3*l**3 - 2*l + 0. Is k(2) a prime number?
False
Suppose 0 = 5*g - 0*g - 3605. Is g a composite number?
True
Let h(d) be the second derivative of d**6/72 + d**5/20 + d**4/8 + 2*d**3/3 + 2*d. Let t(z) be the second derivative of h(z). Is t(-4) composite?
False
Let m(v) = v**2 - v. Let q(o) = 2*o**2 - o - 1. Let c(l) = 5*m(l) - q(l). Let x(a) = a**2 - 6*a + 4. Let p be x(4). Is c(p) a composite number?
True
Let a = -3 - 