Let t = 47 - 29. Let b = t - 5. Is b a prime number?
True
Suppose 0 = 6*i - 2*i - 24. Is 2*(-2 - (-153)/i) a prime number?
True
Suppose f = 3*a - 64 - 183, 411 = 5*a - f. Suppose 2*i + 2*d - 173 = -3*i, -2*i = 4*d - a. Is i composite?
True
Suppose -5*w = -75 - 70. Suppose -2*u + 43 = w. Is u prime?
True
Let x(i) = i**3 + 5*i**2 - i - 2. Let c be x(-5). Suppose -26 = -2*n - 5*f, c*n + 2*n = -2*f + 23. Suppose 0 = -n*y + 62 + 40. Is y a composite number?
True
Suppose -11 - 9 = -4*k. Suppose k*n = 2*n + 6. Is 22 + (1 - n) + 0 a prime number?
False
Let j(d) = -12*d - 5. Is j(-1) prime?
True
Let y be 32/(-24)*(-69)/(-2). Let o = 13 - y. Is o composite?
False
Suppose -4*k = -7*k + 6. Suppose 0 = -z + k*z - 83. Is z prime?
True
Suppose -2*p = 3*o - 659, 222 + 75 = p - 5*o. Suppose 3*j - 5*c - 491 = -0*j, 0 = -2*j + 2*c + p. Is j a prime number?
True
Suppose 0 = o - 98 - 137. Is o a prime number?
False
Let l = -280 - -393. Let v = l + -39. Is (v/4 + -2)*2 composite?
True
Suppose -5*v = 21 - 6. Let h be 4 + -2 + -1 + 2. Is 31/((0 - h)/v) a composite number?
False
Let d be 1*-1*-29*4. Suppose -4*r + 336 = d. Suppose -6*h + h + r = 0. Is h a prime number?
True
Let m = 111 - 74. Let d = 40 + m. Is d prime?
False
Suppose 3*i - 2662 = -d, -2*d = -5*i - 4*d + 4435. Is i prime?
False
Suppose 0 = -b + 5*c + 1250, 0 = -2*b - 0*b + 3*c + 2507. Is b a composite number?
True
Let f = 13 - 9. Suppose -5*n + 69 = -i, f*n - n = 3*i + 51. Is n composite?
False
Is (-2644)/(-8) + 1/2 composite?
False
Is 2/(2*1/347) a prime number?
True
Is -2 + 637 + (5 - 5) a composite number?
True
Suppose 0*u + u - 53 = 0. Suppose -3*q + 27 = -2*v - 0*v, -4*q - 3*v + u = 0. Suppose 2*m = 9 + q. Is m a prime number?
False
Suppose 2*f - 2*r - 16 = 0, -3*f = 2*f + r - 16. Suppose d + 5*b + 22 = 0, -d = 8*b - 6*b + 7. Let m = d + f. Is m a composite number?
False
Suppose 5*o + 25 = 0, 4*i = -i - 2*o + 10. Suppose 2*c - 2*g - 48 = 0, -i*c + 2*g = -g - 95. Is c a prime number?
True
Let r(b) = -21*b + 10. Let f be (18/8)/((-1)/4). Is r(f) prime?
True
Let y(g) = 7*g**2 + 5*g + 1. Is y(-6) a prime number?
True
Is 8/2*(-539)/(-28) a composite number?
True
Let d = 2555 - 1810. Is d a composite number?
True
Let n be 28/5 - 21/35. Let a be 5*(-1)/(15/(-9)). Suppose 0 = -a*o + n*o - 28. Is o prime?
False
Suppose 0 = -2*p + 555 + 575. Is p prime?
False
Let g = -1124 - -2241. Is g a prime number?
True
Let d be -38 - (3/3 + -3). Suppose 2*m + 10 = 0, 241 = 4*w - m - 0*m. Let r = d + w. Is r prime?
True
Let l(z) = z - 2. Let g(r) = r**3 - 2*r + 1. Let j be g(1). Suppose j = c + c - 10. Is l(c) a composite number?
False
Let a = -3 + -2. Let f be (-2)/(-1) - 815/a. Suppose f = 2*l + l. Is l prime?
False
Suppose c + 2*c + 6 = 0. Let j = -2 - c. Let v(t) = -t + 19. Is v(j) prime?
True
Suppose -3*l = 3*q - 9, -3*q + 3 - 2 = 2*l. Let d be (1 - -4)*l/(-10). Let c(f) = f**3 + 8*f**2 - 4*f + 3. Is c(d) prime?
True
Let w(u) = u**2 - 2*u + 1. Let b(y) = 4*y**2 - 3*y + 3. Let k be b(2). Let j = k + -9. Is w(j) composite?
True
Let z(o) = 2*o**2 - 3*o - 8. Is z(6) a composite number?
True
Suppose 732 = 2*h + 2*b, -5*h - 2*b + 582 + 1263 = 0. Is h prime?
False
Let r(s) be the first derivative of 11*s**5/60 - s**4/12 + s**3/6 - s**2/2 - 3. Let j(o) be the second derivative of r(o). Is j(-4) composite?
True
Suppose 0 = 6*i - 3559 + 37. Is i a prime number?
True
Suppose 3*k = 4*g + 75 + 72, -3*k + 156 = -g. Is k a composite number?
False
Suppose 6*b - 92 = 4*b. Is b a prime number?
False
Let q(a) = a**2 - 6*a + 8. Let k be q(6). Suppose -4*x = -k*x + 476. Is x a prime number?
False
Let u(f) = -2756*f**2 - 2*f - 2. Let y be u(-1). Is ((-7)/4)/(13/y) composite?
True
Is (15/(-10))/(((-18)/56)/3) composite?
True
Let d(b) be the first derivative of -b**3/3 - b**2/2 + 4*b - 2. Let i be d(-4). Let w(t) = -t - 1. Is w(i) a composite number?
False
Let x(k) = -15*k - 20. Is x(-11) prime?
False
Suppose -5*i + 28 = -i. Suppose -3*f - 593 = -5*c, 3*c - 379 = -i*f + 3*f. Is c prime?
False
Let g(c) = -4 + 5 + c + 2*c. Is g(12) prime?
True
Suppose 3*j = -0*j + 3*w + 21, 5*w = -j + 25. Is (5/j)/((-3)/(-978)) composite?
False
Let x(m) = -m**2 + 12*m + 6. Let g be x(9). Let i = 280 - g. Is i composite?
True
Suppose 3*j = 4*j - 3*d + 8, -12 = -3*d. Suppose -13 = -3*b - j. Suppose w + 400 = 4*i - 2*w, b*i + 2*w = 283. Is i composite?
False
Let i = -1243 - -1916. Is i a prime number?
True
Let j(o) = -6*o**2 - o. Let n(h) = h**3 - 3*h**2 + 2*h + 1. Let k be n(2). Let w be j(k). Let i = 0 - w. Is i prime?
True
Let u(q) = 121*q + 4. Is u(3) composite?
False
Suppose 5*z = -3*c + 4*z + 177, -236 = -4*c + z. Let l = c - 28. Is l a prime number?
True
Is 11/((-33)/(-3150)) - 1 a prime number?
True
Let a = 825 + -234. Is a a composite number?
True
Suppose 0 = -g + 4*g + 18. Let h = -2 - g. Suppose h*s - 58 = -2*o - o, -s = -4*o + 52. Is o a composite number?
True
Is 1424 + 0/4 + -1 composite?
False
Suppose 219 + 60 = 9*t. Is t a prime number?
True
Let o(h) = -h**2 - 6*h - 4. Let q be o(-3). Let m(n) = 3 + 5 - q - 4 - 36*n. Is m(-8) composite?
True
Let z(h) = h**3 - 13*h**2 - 20*h - 5. Is z(20) prime?
False
Let z = 22 - 15. Suppose -z*j + 815 = -2*j. Is j a composite number?
False
Suppose 3*c - 17 = c + 3*r, -20 = 4*r. Let t = 1 + c. Is 4 + -2 + (t - 1) composite?
False
Suppose 6*r = 3*r - 219. Let j be 0 + -3 + 0 - r. Suppose -36 = -d + j. Is d a prime number?
False
Let z(i) = -i - 2. Let a be z(-5). Suppose -1 = -p + 1, 3*q + 4 = 2*p. Suppose q = a*b + 3, 0*s - 15 = -2*s + b. Is s a composite number?
False
Suppose -4*w + w + 267 = 0. Suppose -3*t + w = -70. Is t composite?
False
Is (2 - -1060) + -3 - 2 composite?
True
Suppose 4*p + 16 = 0, -6*p - 184 = -3*b - 2*p. Let r = b - 19. Is r a prime number?
True
Let n be (-2 - 5)*(-144)/28. Suppose d + n = -d. Let c = 31 + d. Is c prime?
True
Is (0 - 3) + (153 - 1) prime?
True
Let x(u) = 24*u - 1. Let p be x(-1). Is 2*3/(-6)*p a prime number?
False
Suppose 11*l = 6312 + 3027. Is l a prime number?
False
Let t(r) = 69*r**2 - 1. Let q be t(-2). Suppose -10 + q = 5*f. Is f a prime number?
True
Let n(h) = -33*h**2 + 3*h - 3. Let d be n(-4). Let c = d + 874. Is c a composite number?
False
Let d = -7 + 10. Let t(w) = 60*w**3 - w**2 + w. Let z be t(1). Suppose d*a + 3 - z = 0. Is a a composite number?
False
Let a(y) = -4*y**2 - 3*y + 6. Let s(o) be the second derivative of -o**4/12 - 3*o. Let g(r) = -a(r) + 3*s(r). Is g(-5) a prime number?
False
Let t(d) be the second derivative of d**4/12 + d**3/6 - 7*d**2/2 + 3*d. Is t(6) composite?
True
Suppose 0 = 4*i - 7*i - 4*o + 13, -3*i = -o - 8. Let c(m) = -3 + 7*m**2 + 3*m**2 - 3*m + 0*m - i*m**2. Is c(3) a prime number?
False
Suppose 0 = -2*o + 717 + 131. Let g = o + -297. Is g a prime number?
True
Suppose -k = 4*b - 460, -345 = -3*b + 4*k - 2*k. Is b a prime number?
False
Let a = 514 + -188. Is a a composite number?
True
Let y(s) = s**3 + 13*s**2 + 5*s + 3. Let h be y(-11). Let c = -63 + h. Is c prime?
True
Let o = 521 + -270. Is o composite?
False
Let j(o) = o**2 + o + 9. Let x = 21 - 39. Let u = 11 + x. Is j(u) a composite number?
True
Let w be 2/(-6)*-26*-3. Let t = -13 - w. Is t a prime number?
True
Let v(c) be the third derivative of c**6/360 - c**5/60 + 3*c**4/8 + c**3/2 - 3*c**2. Let m(z) be the first derivative of v(z). Is m(10) a prime number?
True
Let t(b) = 38*b**3 + 10*b**2 - 7. Is t(3) a composite number?
False
Suppose 3*f - 989 - 97 = 0. Let a = -199 + f. Is a composite?
False
Suppose 5*s + 0*s = 755. Suppose 0*o = -4*o + b - 323, 0 = 2*o + 3*b + s. Let m = o - -135. Is m a composite number?
True
Let s = 5 + -3. Suppose s*v - 68 = -4*d + 18, -2*v + 29 = d. Is d a composite number?
False
Let i = 7 - -1338. Is i prime?
False
Let b(r) = r**2 - r + 1135. Is b(0) composite?
True
Let q = -13206 + 20767. Is q composite?
False
Let w(p) = p. Let b be w(3). Suppose 0 = -0*d + b*d - 93. Is d a composite number?
False
Let h(k) = 17*k - 24. Is h(10) a composite number?
True
Let h be -4 - -3 - (-6)/2. Suppose h*a - 165 = -a. Is a prime?
False
Suppose 3595 = 9*r - 4*r. Is r a composite number?
False
Let v be (3 + 9)/((-3)/(-2)). Suppose -v*r = -3*r - 230. Is r prime?
False
Let v = -489 - -862. Is v a prime number?
True
Let z = 18 + -7. Let l = z + 72. Is l a composit