ose 416 = 2*d - 1310. Is d a prime number?
True
Let b = -255 - -380. Let d = b + -36. Is d prime?
True
Suppose -4*j - j = -65. Is j prime?
True
Suppose 4*w + 0*w - 44 = 4*p, 0 = -5*w + 4*p + 54. Suppose -w*t + 74 = -9*t. Is t prime?
False
Suppose -470 = -s + 3*m, -s + 1445 = 2*s - 2*m. Is s a prime number?
False
Let i(f) = 6*f**2 - 1. Let y be i(-1). Suppose y*z + 6 = 4*z. Let o(x) = -4*x - 5. Is o(z) a composite number?
False
Let r be 61 - 0/(3 + 0). Let c(a) = a**2 + 30. Let s be c(0). Let x = s + r. Is x a composite number?
True
Suppose 0 = -4*m - 4*g - g + 89, 3*g = 15. Let v = m + -37. Is 6/(-1)*v/6 a composite number?
True
Let i(k) = -33*k + 4. Let l be i(2). Let y = l + 285. Is y composite?
False
Suppose -2*q - 4*t + 0*t = -18, -5*t + 30 = 4*q. Suppose p + 343 = 4*j, -q*j + 4*p + 182 = -3*j. Is j prime?
False
Let z = 0 + 2. Suppose -z*v - 3*x - 186 = -4*v, 5*x = -20. Is v prime?
False
Let k(y) = -1 - y + 4*y**3 - 2*y**3 + 5*y**3. Is k(2) a prime number?
True
Let o(z) = -4*z - 5. Let k(n) = -7*n - 9. Let l(q) = 6*k(q) - 11*o(q). Is l(16) a composite number?
True
Suppose -204 = -4*r - 72. Is r a prime number?
False
Let k(z) = 452*z**2. Let l be k(-1). Suppose -l = -4*t + 1052. Suppose -2*b + 14 - t = -4*n, -92 = -n + b. Is n a composite number?
False
Let h(l) = 4*l**2 + 14*l - 15. Let j(w) = w**3 + 5*w**2 - 6*w - 3. Let u be j(-6). Let a(q) = 7*q**2 + 27*q - 30. Let n(z) = u*a(z) + 5*h(z). Is n(-11) prime?
False
Let a(s) be the second derivative of s**5/10 - s**4/6 - 2*s**3/3 - 5*s**2/2 - 2*s. Let z be a(5). Suppose z = -v + 6*v. Is v prime?
False
Let v(r) = r**3 - 27*r**2 + 27*r - 10. Is v(27) a prime number?
True
Suppose 0 = 8*k - 6965 + 589. Is k composite?
False
Let j = -4 - -9. Suppose j*s = 274 - 44. Is s a composite number?
True
Let a be (-1)/3 - 8/12. Let q = a - -110. Is q a prime number?
True
Is ((-868)/16)/((-3)/12) composite?
True
Suppose -30 - 10 = -4*t. Is 474/t - 10/25 prime?
True
Suppose 4*r = 1047 + 161. Suppose 48 = -2*z + r. Is z a composite number?
False
Let b = -131 - -420. Is b composite?
True
Suppose -3*s - 4 = -16. Suppose -i = -2 - s. Suppose -i = -4*u + 30. Is u a prime number?
False
Let j be (-1)/2 - 411/(-6). Suppose 3*o + j = 20. Let c = o + 30. Is c prime?
False
Suppose 3*s + 5*w - 8 = 0, -s + 5*s = -4*w + 8. Suppose 5*i = -s - 4. Is 12 + ((-4)/2 - i) a composite number?
False
Let g = 92 - -65. Is g composite?
False
Let q be 54/10 + 4/(-10). Suppose 4*z - q*z + 211 = 0. Is z a prime number?
True
Suppose 0 = 5*h + 2*x - 10273, -3*h + 5572 = -3*x - 575. Is h prime?
True
Let u(o) = o**3 - 6*o**2 - 16*o - 5. Is u(12) a composite number?
True
Is -1 + 20/16 + (-31526)/(-8) a composite number?
True
Suppose 2*f + c - 218 = -4*c, 0 = 5*f - 4*c - 611. Is f prime?
False
Let p = -11 - -12. Is (p/4)/(9/2124) a prime number?
True
Suppose 2*a + 2 = 6. Suppose 28 = -0*h - 2*h + a*c, -c - 26 = 3*h. Is 4/20 + (-208)/h a composite number?
True
Let x = -4 - -9. Suppose -x*d - 4*m + 76 = -d, 2*d = -4*m + 38. Is d a composite number?
False
Let i(c) = 21*c - 7. Suppose 5*q + 32 = 3*m - 0*m, 0 = -4*m + q + 20. Let d(t) = -22*t + 8. Let f(y) = m*d(y) + 5*i(y). Is f(2) a prime number?
True
Is (1 - 2)/((-4)/232) composite?
True
Suppose 146 = -4*a + 534. Is a - -1*(-3 + 3) composite?
False
Let r(c) = 3*c**2 + 18*c + 8. Let h be r(-6). Let d(g) = -g**3 + 15*g**2 - 6*g**2 - 3 - 7*g - 1. Is d(h) prime?
False
Suppose 17*m = 16*m + 1. Let z(l) = 381*l**3 + 1. Is z(m) prime?
False
Suppose 5*z + 3*t - t = 1016, -5*z = -2*t - 1004. Is z a composite number?
True
Let t(y) = -y**3 + 6*y**2 + 4*y + 1. Let u = 6 - 3. Suppose u*l + 2*g - 18 = g, -4*l + 24 = -2*g. Is t(l) a prime number?
False
Suppose 8*j = 2*j + 6294. Is j a composite number?
False
Let c(q) = 969*q + 1. Is c(2) a composite number?
True
Let u be (0 + 2)*2/4. Let o = u + 1. Suppose -p - 65 = -2*s, 4*s - 2*p = o*s + 64. Is s composite?
True
Let y(w) = 143*w - 9. Is y(4) composite?
False
Suppose 4881 + 2029 = 10*b. Is b composite?
False
Let x = 58 - -25. Is x a composite number?
False
Let s be (1 + -25)/(3/18). Let r = -67 - s. Is r prime?
False
Suppose 0 = -2*h + 4*b - 68, 4*h - 4*b + 3*b = -171. Suppose 51 + 28 = -n. Let j = h - n. Is j a composite number?
True
Let c(z) = -2*z**3 + z + 1. Let s be c(-1). Suppose -48 = -p - s*p. Suppose 5*l = l + p. Is l a composite number?
True
Let k = -198 - -283. Is k prime?
False
Let o(s) = -s - 1. Let x(b) = -b**2 + 2*b + 8. Let f(h) = 4*o(h) - x(h). Is f(9) a prime number?
False
Let m = 20 + -7. Suppose -5*t = 4*q - 7, -7*q = -2*q + 2*t - m. Is q prime?
True
Suppose -7*c + 3*c - 16 = 0. Let b(v) = 29*v**2 + 3*v + 7. Let k(s) = 30*s**2 + 3*s + 8. Let w(o) = c*k(o) + 5*b(o). Is w(-2) a prime number?
True
Let k = -13 - -18. Suppose 2*q - 29 + 126 = -b, -2*q - k*b = 101. Let g = q + 101. Is g a composite number?
False
Let k be 1*-1 + -3 + -13. Let s(l) = 9*l**2 - 47*l + 27. Let x(c) = 3*c**2 - 16*c + 9. Let m(r) = k*x(r) + 6*s(r). Is m(8) a prime number?
False
Let l = -1418 + 4123. Is l a composite number?
True
Let i(y) be the first derivative of y**4/3 - 3*y**3/2 - y**2/2 - 1. Let w(n) be the second derivative of i(n). Is w(8) prime?
False
Suppose 0 = s - 0*s - 5*w - 74, 4*s = 3*w + 262. Let p = s - 31. Is p a prime number?
False
Let t(d) = d**3 + 2*d**2 + 2. Let k be t(-2). Let y(l) = -l**2 + 6*l. Let n be y(5). Suppose k*p + 111 = n*p. Is p a prime number?
True
Let m = -170 + 288. Is m a prime number?
False
Let i(v) = v**2 + 2*v - 1. Let u be i(-3). Let t be 1/(u - 9/6). Let h(l) = 3*l**2 - 3*l + 1. Is h(t) a composite number?
False
Is -2686*(7/(-22) - 20/110) a composite number?
True
Suppose -64 - 65 = -y. Is y a prime number?
False
Is (14/35)/(8/23020) a prime number?
True
Let w(p) = 26*p - 3. Let y be w(4). Let s = -4 + y. Is s a prime number?
True
Is (20/(-12))/((-1)/393) composite?
True
Let r(j) = -4*j**3 + 4*j**2 - 3*j + 2. Let x be r(2). Let f = x - -67. Is f a composite number?
False
Suppose -k - 8 = -3*p + 3*k, p - 2*k = 0. Suppose 0*y - p = -4*y. Is (-1644)/(-28) - y/(-7) prime?
True
Is (-3 + 2/2)/(2/(-3205)) prime?
False
Let b(l) = 9*l**2 + l - 1. Let q be (-3)/2*(-6)/9. Let n be b(q). Let o = 23 - n. Is o prime?
False
Suppose -2*i - 3*i - 19 = 2*o, 0 = 3*o - i + 3. Let p be ((0/(-3))/(-3))/o. Suppose p = -4*u + 2*s + 14 + 216, -3*s + 9 = 0. Is u composite?
False
Suppose 0 = w + 2*s - 3, 0 = 2*w + 5*s - 7 + 4. Let b = -6 + w. Is -1 - (b - 369/3) a composite number?
True
Let r = -224 - -373. Suppose q = -0*q + 3*s + 34, -4*q = s - r. Is q composite?
False
Let o(y) = 4*y**3 + y**2 + 2*y - 3. Let w(p) = -p**2 + 2. Let z be w(0). Is o(z) composite?
False
Let b be 6/2*(0 - -1). Suppose -j + b*j = 230. Is j composite?
True
Let j(a) = -a**3 - 11*a**2 - 14*a - 27. Is j(-11) composite?
False
Let q be (-2)/10 - 1/(-5). Suppose -4*h + 94 + 414 = q. Is h prime?
True
Suppose 5*g = -5*d + 100, -2*g = -4*d - 23 - 11. Let h = -7 + g. Let o = h + 7. Is o prime?
True
Let i be 2 - 1*(-6)/2. Suppose -6*c + c = w - 107, -115 = -5*c - i*w. Is c a prime number?
False
Suppose 2*j + 3*j = 745. Is j composite?
False
Suppose -1528 = -k + f - 4*f, 0 = -k - 5*f + 1532. Is k composite?
True
Is (-3)/(-4) - (-19144)/32 composite?
False
Suppose -2*l - 2*d = -60, -3*l + 136 - 30 = -5*d. Suppose 5*v + 2*z + 93 = 0, -4*v + z = -5*v - 18. Let o = v + l. Is o a prime number?
True
Let b(s) = 940*s**2 - 2*s - 3. Is b(-2) prime?
True
Let s be 4/2 + (-612)/(-2). Let r be s/6 - 2/6. Is (-1)/((-3)/r) + -2 a prime number?
False
Let q(c) = -c**2 + 3*c + 5. Let z be q(4). Let p be z/4 + 110/8. Suppose 1 = t - p. Is t a prime number?
False
Let l(o) = 5*o + 2*o**3 + 7*o**2 + 9 - 3 - o**3 + 0. Is l(-5) a prime number?
True
Suppose 2*g - 25 = 2*o + 5*g, -o + 7 = -5*g. Suppose 4*j = j - 846. Is j/o - 9/36 composite?
True
Let f(g) = 15*g**2 - 2*g + 6. Let y(k) = -k**3 + 6*k**2 + 9*k - 10. Let x be y(7). Let z be f(x). Let s = z + -117. Is s prime?
False
Let q(r) be the third derivative of r**4/8 + r**3/2 - 2*r**2. Let l be 4 + -3 + 6 + -1. Is q(l) a prime number?
False
Let d = 10 - 1. Let k be d/3 + -6 + -3. Is (220/k)/(18/(-27)) a composite number?
True
Let r = -1633 - -2310. Is r prime?
True
Suppose 2*j - 3 = 1. Suppose 5*k = v - 103, -4*v - k + 336 = -j*k. Is v a composite number?
