 4*h + 176 = t + 3*h. Is t prime?
False
Let q(i) be the second derivative of -i**5/20 + 5*i**4/6 + i**3/3 + i**2/2 + 5*i. Is q(6) a composite number?
False
Is 4177 + -2 + (-1 + 0)*-2 prime?
True
Suppose -5*g = -2*g - d - 13640, 4*g = 4*d + 18184. Is g composite?
False
Let k(b) = b**3 - 10*b**2 + 9*b - 5. Let h be k(7). Let w = 546 - h. Is w a prime number?
False
Is (-4)/(-6)*(-6822)/(-4) a composite number?
True
Let t(n) = -3*n**3 - 7*n**2 + 8*n - 16. Is t(-7) prime?
False
Let j(o) = -o - 9. Let t be j(-6). Is 232/3 - (-1)/t a prime number?
False
Let p(t) = 308*t**3 + t**2 - 2. Is p(1) prime?
True
Let m = 804 + 673. Is m a composite number?
True
Let k(t) = -2327*t - 4. Is k(-1) a prime number?
False
Let w(b) = 10*b - 2 - 1 + 0. Is w(8) a composite number?
True
Let g = 10 - 10. Let n(a) = -a**3 + a + 55. Is n(g) a composite number?
True
Suppose 648 + 3617 = 5*g. Is g a prime number?
True
Let u(s) = 9*s - 8*s - 20*s. Is u(-1) a prime number?
True
Suppose 2 = -b - 3, -4*x - 5*b + 183 = 0. Suppose x = 5*c + 2. Suppose -2*u + 3*v = -24, 0 = 2*u + 3*u + 5*v - c. Is u a prime number?
False
Let n = 293 + -124. Is n prime?
False
Suppose 1 = -o - 0*o. Let h(p) = -72*p**3 + p + 1. Let b be h(o). Suppose 0 = -5*g - b + 227. Is g prime?
True
Is (-2559)/(-1) - (-3 + (4 - -1)) prime?
True
Let j(y) = y**2 - 10*y + 9. Let u be j(12). Suppose -5*k + u = -2*g + 3*g, 4*k + 3*g = 33. Suppose 0 = f - 45 - k. Is f composite?
True
Let k(n) = -8*n**2 + 18*n - 9. Let f(o) = 3*o**2 - 6*o + 3. Let u(c) = 11*f(c) + 4*k(c). Let z be u(-7). Suppose -z + 179 = 5*j. Is j a composite number?
True
Let p = 212 - -2. Suppose s = -p + 731. Is s composite?
True
Suppose -2*k + 164 = 5*r, 0*r + 73 = k - 2*r. Is k prime?
False
Let y = 1 - 4. Let c be 1/y*0 - -5. Is 96 + (c - 2)/3 composite?
False
Suppose -w + y = -708, -w + 305 = 5*y - 409. Is w a composite number?
False
Let r = -72 - -157. Is r prime?
False
Suppose -4*k = -3*x - 1562, 5*k - 3*k = 2*x + 782. Is k composite?
False
Is 0 - (16570/40)/(2/(-8)) a composite number?
False
Let n(f) = f**2 + 6*f - 3. Let b be n(-6). Suppose -g - 2*g = 15, 3*j + 23 = -4*g. Is (j/b)/(3/477) a prime number?
True
Let g(w) = 7*w**3 - w**2 + w - 1. Let s(z) = z**2 - z. Let b(i) = g(i) + 2*s(i). Is b(2) a prime number?
False
Is 924 + (2 - 5)*(2 + -1) a composite number?
True
Let b = -7 - -6. Is b + 3 - (-36 + -1) a prime number?
False
Let a = 967 + 1590. Is a a composite number?
False
Suppose -3*a - 4*m + 95 = -2*m, -a + 5*m + 43 = 0. Is a a prime number?
False
Let k(l) = l**2 + 5*l - 5. Let b be k(-7). Suppose -2*p + 3*p - c - b = 0, 4*p - 18 = -2*c. Is 46*3*1/p a composite number?
False
Let i(m) = m**3 + 10*m**2 - 2*m - 15. Let r be i(-10). Suppose 2*p + 5*s = 82, 3*p - r*s = p + 122. Let j = -28 + p. Is j a prime number?
True
Is 632 + (-1 - (0 - 0)) prime?
True
Let i(p) = 66*p**2 + 1. Is i(1) a prime number?
True
Let p = 993 - 622. Is p a prime number?
False
Let y(o) = -36*o**2 + 2*o - 1. Suppose -5 = -d - 4. Let i be y(d). Is (i/4)/((-1)/4) a prime number?
False
Let a(t) = -t**2 + 11*t + 7. Is a(9) a prime number?
False
Suppose 0 = 2*b - 4*b. Suppose k - 5*a - 46 = b, 5*a = 2*k - 123 + 6. Is k composite?
False
Let y(o) = -o**3 + 5*o**2 - 3*o + 2. Let s be y(5). Let r = 0 - s. Is r a composite number?
False
Let o(r) = 6*r**2 + r. Let m(b) = b**2 + 6*b - 1. Let d be m(-6). Let n be o(d). Suppose 4*u + s - 34 = -4, -n*u - 4*s = -43. Is u a composite number?
False
Suppose -505 = -4*v + 987. Is v a composite number?
False
Let j = -46 + 311. Is j a prime number?
False
Let m(l) be the second derivative of 10*l**3/3 - 3*l**2/2 - 2*l. Let f be -2 - 0 - (-2 + -2). Is m(f) a composite number?
False
Let a(v) = -2*v + 4. Is a(-5) a prime number?
False
Let o be (-4)/(-2)*10/4. Let p(g) = -7*g - 7. Let r(z) = -z. Let d(s) = -p(s) + r(s). Is d(o) composite?
False
Let l(b) = -246*b + 11. Let g(s) = 82*s - 4. Let t be (-2)/(-2) + 11 + -4. Let j(q) = t*g(q) + 3*l(q). Is j(-1) composite?
False
Is 3/(-15) + (-1452)/(-10) prime?
False
Suppose 301 = 3*y - 458. Is y prime?
False
Suppose 1317 = 4*q + i, 2*i - 224 - 107 = -q. Is q a composite number?
True
Suppose 4*t = -5*h + 330 + 995, -5*h = -5*t - 1325. Suppose -5*x + h = -0*x. Is x composite?
False
Let c(i) = -i**3 - 6*i**2 + 12*i + 7. Is c(-9) prime?
False
Let s(g) be the first derivative of 4*g**3/3 - 2*g + 3. Is s(-7) composite?
True
Suppose y + 0*y = -4*b - 218, -3*y + b - 693 = 0. Is ((-4)/(-5))/((-4)/y) composite?
True
Let h = 32 - -155. Is h a composite number?
True
Let s = 1631 + -780. Is s composite?
True
Let u = 67 - 40. Is (-1112)/(-18) - (-6)/u a prime number?
False
Let p be ((-1)/(-3))/(4/24). Suppose p*n - 131 - 17 = 0. Is n a composite number?
True
Let j = 7 + -2. Suppose -158 = -j*k - 3. Is k composite?
False
Let b = 319 + -212. Let q = 369 - b. Is q prime?
False
Let o(f) = 2*f**2 - 12*f + 6. Let s be o(8). Suppose -19 = -n + 4*u, -3*u - s = -2*n + 15. Is n a composite number?
False
Let s be 1*5*(10 + 227). Let d = 1866 - s. Is d composite?
True
Suppose 3*q - 31 = 5*n + q, 0 = -q + 3. Let v = n - -8. Suppose -2*i - w - 36 = -3*i, -3*i = v*w - 90. Is i composite?
True
Let t(g) be the second derivative of -g**7/840 - 7*g**6/360 - g**5/40 - 5*g**4/12 + g**3/3 + 2*g. Let x(k) be the second derivative of t(k). Is x(-7) prime?
True
Suppose -b - b = -272. Suppose 95 + b = 3*t. Suppose 2*r - 126 = -k, 3*k + 260 = 5*r - t. Is r prime?
False
Let j(a) = -a**3 + a**2 - a + 55. Let u(c) = -c**2 + 5*c. Let b be u(5). Is j(b) a prime number?
False
Let d be (-3)/(-9) - 169/3. Let g = 155 - 68. Let q = g + d. Is q a prime number?
True
Suppose s - 6*s + 4*o + 364 = 0, 2*o = 4*s - 296. Suppose 4*l - 313 = -5*z, -l + s = 2*z - 3*z. Is l prime?
False
Let s = 125 - -458. Is s composite?
True
Let o = -13 - -13. Suppose -203 = -a - 2*n + 6*n, o = -5*a - 5*n + 1140. Is a a prime number?
True
Let r(m) = m - 1. Let t be r(4). Let z = 7 - t. Suppose z*q - 2*q + 120 = 5*h, 3*q = -5*h + 145. Is h composite?
True
Suppose 2*q - 837 - 1133 = 0. Is q composite?
True
Suppose -l - 3*l = 0, -w = 4*l - 679. Is w a prime number?
False
Let r = 38 + -23. Suppose 0 = 2*h - 0*h. Let a = h + r. Is a composite?
True
Let o be 2*(12/3)/1. Suppose o = h + h, 3*h + 4 = 4*i. Is 16/i - (-2)/(-1) prime?
True
Is -7 + 3 + 0 - -19 composite?
True
Suppose -42 = -3*b - 12. Is b/(-40) - 282/(-8) composite?
True
Let f be 1/(-2) + (-5)/(-2). Suppose -2*u = 2*p - 4, f*u - 2*p + 6*p = -4. Let a(s) = 3*s + 1. Is a(u) a prime number?
True
Let c = 5781 + -4112. Is c a composite number?
False
Suppose 5*q = 4*d + 2*q - 25, 5*q + 15 = 0. Suppose -p + d*p - 201 = 0. Is p a composite number?
False
Let g(p) = p**2 + 13*p - 9. Is g(8) prime?
False
Let y(b) = b**3 + 14*b**2 - 8*b - 3. Let o = -10 + -2. Is y(o) prime?
False
Let p = 7 + -2. Let n(w) = 4*w - 2 + 7*w - 4*w + 4. Is n(p) prime?
True
Suppose -10471 = -8*o - 2799. Is o a prime number?
False
Let b be 1*(-6)/(1 + 0). Is (6/4)/(b/(-444)) a composite number?
True
Let t = -2 - -5. Suppose 2*w + t*w + 470 = 0. Let a = -61 - w. Is a a prime number?
False
Let n(r) = 36*r**3 - 6*r**2 + 4*r - 3. Is n(2) composite?
False
Let a(c) = 2*c**2 + 2*c + 4. Let v be a(-3). Is 540/v + (-1)/(-4) a composite number?
True
Is (-4)/(-10) + 33341/35 composite?
False
Let v(g) = -16*g - 1. Let i be v(1). Let r = i + 86. Is r prime?
False
Let w be 1*(9*3 + 2). Suppose 2*r - 127 = -w. Is r a prime number?
False
Let u(m) = -11*m**3 + 4*m + 3. Is u(-2) prime?
True
Suppose q = x - 0*x + 8, -5*q - 44 = 2*x. Let n be (-45)/x - (-2)/8. Suppose 0 = p - n*p + 291. Is p prime?
True
Suppose 2*z + 2*z - 20 = 0. Let n be ((-153)/15 - 3)*z. Is n/(-9)*51/2 prime?
False
Let j = -1103 + 1921. Is j a composite number?
True
Let l be 8/12*(-54)/3. Let r be (5/15)/((-2)/l). Suppose b - 125 = -r*x, 3*b - 168 = -2*x + 195. Is b prime?
False
Let c = -1242 - -3315. Is c composite?
True
Let k = -10 - -7. Let s(r) = 3*r. Let i(d) = -d**2 - 2*d + 1. Let v(m) = -4*i(m) - 3*s(m). Is v(k) prime?
False
Let p be 5/(-5)*-1*5. Suppose 2*l = p*l. Suppose -5*i + 5*y + 130 = l, 5*i - 4*y + y = 140. Is i prime?
True
Let y be 4*(18/4 - 4). Suppose -y*w + 75 = -3*j, w - 2*j - 105 = -2*w. Is w composite?
True
Let b = 236 - 45. Is b composite?
False
Suppose 0*w - 1080 = -6*w. Let 