u(p). Is s(5) composite?
True
Suppose 0 = k + k - 316. Suppose 110 + k = 4*x. Is x composite?
False
Let s = 8 + -6. Suppose s*k - 6*k + 94 = 2*i, 5*i = 2*k - 77. Let h = -7 + k. Is h composite?
False
Let v(u) = 49*u**2 - 12*u + 6. Is v(5) prime?
True
Suppose -t + 6*t - 3*z + 22 = 0, 20 = -5*t + 5*z. Let l = 12 + t. Suppose 2*g - 3*g = -l. Is g prime?
True
Suppose -3*b = t - 671, 0 = 2*b - t + 90 - 529. Suppose 0 = -0*l - 2*l + b. Is l a prime number?
False
Suppose -4*c + 6 = -c. Suppose -c*d + 5*d - 177 = 0. Is d composite?
False
Let u = 173 + -248. Let x = u - -160. Is x composite?
True
Suppose -5*i - 653 = -3*b, 4*b + 3*i = -2*i + 894. Is b a composite number?
True
Let a = 7 + -3. Let s(w) = -16*w + 1 - a - w. Is s(-2) composite?
False
Suppose 0 = -5*v + 74 - 644. Suppose -114 = -5*b + 1121. Let d = b + v. Is d a prime number?
False
Let m(o) = -23*o + 4. Let u be m(-3). Let y = u - 40. Is y prime?
False
Let r(t) = 9*t**2 + 5*t - 3. Let f(c) = 2*c - 11. Let p be f(8). Is r(p) a composite number?
True
Suppose -1404 = -2*s - t, -s + 610 = -4*t - 83. Is s composite?
False
Let k(c) = -10*c + 5. Let s(j) = 19*j - 11. Let p(w) = 19*w - 11. Let h(f) = 4*p(f) - 3*s(f). Let m(d) = -3*h(d) - 7*k(d). Is m(3) prime?
True
Suppose v + 5*y - 1551 = 0, -2*y - 2*y + 1553 = v. Is v prime?
False
Let k be (4/(-3))/(1/(-15)). Let j = k - -17. Is j a prime number?
True
Let o(v) = -v**3 + 8*v**2 + 10*v - 7. Let b be o(9). Is -4*((-206)/8 - b) a prime number?
False
Suppose n = -5 + 15. Suppose 0 = -5*u - 3*l + 9, n = 4*u - 0*l + l. Is 70 + 3/u*-1 a prime number?
False
Let u = -7 - -21. Suppose f - 6 = -2*f. Suppose -t - u = -f*t. Is t a composite number?
True
Let f be (-3 + 0)*(0 - 1). Suppose f*p - 6*p = -147. Is p a prime number?
False
Suppose 3*c + 11 = 3*z - c, 18 = 4*z - 2*c. Let a = 178 - z. Suppose -458 = -3*v - a. Is v prime?
False
Suppose 9*g + 330 = 12*g. Let b = g - 36. Is b composite?
True
Is ((-2)/(-3))/(3/801) a prime number?
False
Suppose -8 - 2 = -5*x. Suppose -3*d = -x*d - 127. Is d a composite number?
False
Let n be (-2 + (-10)/(-4))*340. Let m(t) = 80*t - 1. Let l be m(-1). Let j = l + n. Is j a prime number?
True
Let f be -2*((-6)/2)/3. Suppose 6*n - 2*n = 0. Suppose n = f*l - 0*l - 110. Is l a composite number?
True
Let w(l) be the third derivative of 16*l**4/3 - l**3/6 + 2*l**2. Is w(1) composite?
False
Suppose -4*y + 1246 + 250 = 0. Let a = y + -205. Let h = -110 + a. Is h a composite number?
False
Let k(m) = m**3 - m**2 + 133. Is k(0) a composite number?
True
Suppose 2*k + 3*h - 22 = 0, -2*k + 5*h = -0*h - 54. Suppose -5*o + 2*z - 35 = 0, -5*z + k + 3 = o. Is ((-6)/o)/((-6)/(-15)) composite?
False
Let n = -40 - -34. Suppose 5*z + 18 = b, -5*b - 1 + 22 = -2*z. Is n/(-2) + 12*b a composite number?
True
Suppose 2*m + 4*d = 894, -1 = d + 4. Is m a prime number?
True
Suppose -5*w + 794 = 2*c - 0*w, 1191 = 3*c - 5*w. Is c prime?
True
Let q(o) be the third derivative of 1/15*o**5 + 0 - 1/2*o**3 + 0*o + 1/4*o**4 + 2*o**2. Is q(5) a composite number?
False
Let l = 4 - -11. Suppose 0 = m + 2*m - l. Suppose 4*w - 120 = -m*b, 0 = -5*b - 11 - 9. Is w composite?
True
Let i(z) = -z**2 + 5*z - 4. Let s be i(3). Suppose 6*p - s*p + 24 = 0. Is (-226)/p - (-2)/(-3) a composite number?
False
Let p = 11697 + 980. Is p composite?
True
Let s(b) = 82*b + 1. Suppose -4*p + 4 = -0*p. Is s(p) composite?
False
Let i(y) = y + 0*y + 7*y**2 - y**3 + 7 + y. Suppose x - 7 = o, -o - 25 = -3*x - x. Is i(x) a prime number?
False
Suppose 4*s - s = 1023. Suppose w - 208 = -z + 3*z, -2*z + 6 = 0. Let f = s - w. Is f a prime number?
True
Let r be ((-15)/(-6))/((-2)/(-68)). Suppose -r = -k + 5*h + 13, -3*k - h = -278. Is k composite?
True
Let f be 1*-28*(-17)/2. Let l = 44 + -29. Is l/2*f/21 composite?
True
Suppose -79*y - 55 = -84*y. Is y a composite number?
False
Let r be (-3)/3*-425 - 2. Suppose -5*w + f - 3*f + r = 0, 2*w - 3*f = 173. Suppose w + 28 = s. Is s a prime number?
True
Let c be 387/6 + 1/2. Let y be (-1600)/35 + 2/(-7). Let z = c + y. Is z a prime number?
True
Suppose p - 42 = -7. Is p prime?
False
Let l(h) = -18*h**2 + 4*h - 2. Let t be l(3). Let c = -39 - t. Is c composite?
False
Suppose 0 = -5*q + 215 + 125. Suppose 2*j = 5*z - 9*z + q, -34 = -j - 3*z. Is j prime?
False
Is (-1 - 1 - -1)*-87 prime?
False
Let c(b) = 44*b. Let a be c(3). Suppose g + 2*y = a, y - 3*y = 10. Let h = g + -65. Is h a prime number?
False
Let l be (-30)/(-12) - (-2)/4. Suppose -d + 0*v + 50 = -v, -l*v + 9 = 0. Is d a prime number?
True
Let b(z) = -25*z + 26. Is b(-9) a composite number?
False
Suppose -95 + 9 = -2*y. Is y composite?
False
Let t = 372 - 223. Is t composite?
False
Is 39/(-3)*(-12 + 5) a composite number?
True
Let z = 4 - 8. Let s = 8 + z. Suppose 42 + 98 = s*h. Is h prime?
False
Suppose 4*p - 3*d - 8 = -1, 4*p = -2*d + 22. Suppose 4*i + 9*k - p*k - 1436 = 0, -4*i + k = -1436. Is i prime?
True
Let y = 20 - 12. Let l(n) = -n**3 + 8*n**2 + 7*n - 3. Is l(y) composite?
False
Suppose t - 11 = -4*r, -2*r = -4*t - 4 + 12. Let p be (3 + t)/((-6)/(-4)). Suppose 3*u = 5*s + 70, -p*u - u - s = -126. Is u prime?
False
Suppose 4*n + 5076 = 4*k - 0*k, -5*k + 6353 = -3*n. Is k a prime number?
False
Suppose -2*i = r - 7, 3*i + 8 = 7*i - 4*r. Suppose l - i*l = -6. Is l prime?
True
Suppose 0 = 2*l - 3*l - 1, -2*l - 2 = 4*v. Let p(y) = y - 2. Let s be p(v). Is (1/s + 1)*50 a prime number?
False
Let n(c) be the second derivative of -c**5/60 + c**4/8 + c**3/3 + c. Let u(s) be the second derivative of n(s). Is u(-5) composite?
False
Suppose 0 = -0*j - 2*j + 120. Suppose f - j = -3*f. Is f a composite number?
True
Suppose 9 - 21 = -4*y. Suppose 300 + 189 = y*b. Is b composite?
False
Let f = 39 + -18. Let i = f + -4. Suppose -2*u + i = u - o, -4*u + 16 = -3*o. Is u a composite number?
False
Is (12053/34)/(1/(-4)*-2) prime?
True
Let l be (-201)/(-12)*2*-2. Is l*(1 - 2)/1 prime?
True
Let o be 3 - (0 + (0 - -3)). Suppose -5*h - 5*g + 170 = o, 4*h - 4*g - 143 = -h. Is h composite?
False
Let p = -2303 - -3334. Is p prime?
True
Is 6390/66 + 2/11 a composite number?
False
Suppose -3*k + 88 + 485 = 0. Is k composite?
False
Let p(m) = m**3 + 24*m**2 + 6*m + 12. Is p(-19) composite?
True
Suppose 434 = k - 4*z - 221, 15 = 5*z. Is k a composite number?
True
Let s(w) = 12*w**2 - 2*w + 29. Is s(12) a prime number?
True
Let r(y) = -y**3 - 11*y**2 - 3*y + 5. Let c be r(-4). Let z = c + 150. Suppose 0*o + z = o. Is o composite?
True
Suppose -2*z + 7*z - 32 = -3*u, 12 = 5*z - 2*u. Suppose -7*p + 44 = -5*p. Is (z - -10)*p/4 prime?
False
Suppose 3*f + 238 = f. Is 2*(f/(-2) - 3) a prime number?
True
Suppose -3*z = -7*z + 452. Is z a prime number?
True
Let h be (2 - 18/3) + -4. Is (7 - (h + 4))*73 composite?
True
Let l = -257 + 458. Is l a composite number?
True
Let k = 224 - 66. Is k a composite number?
True
Suppose 0 = 5*s + 5. Is (s/3)/((-2)/78) a prime number?
True
Is 2*(-2)/((-12)/1455) composite?
True
Suppose -2*o - 187 = -621. Suppose 69 + o = 4*l - 2*p, -4*l + 291 = -3*p. Is l a composite number?
True
Let u(l) = -2*l - 1. Let p(s) = -6*s - 3. Let v be p(3). Let f = v + 15. Is u(f) prime?
True
Suppose -r - 2*b = -8, 5*b - 15 = -5*r + 15. Suppose -r*n + 5*g + 537 = 0, 0*n + 2*n - 270 = 4*g. Is n a composite number?
True
Suppose 2*c + 3*c + 30 = -2*p, -5*p - 45 = 5*c. Let v be 2/(-10) + 369/p. Let g = -21 - v. Is g composite?
False
Let n be 3 + (-3)/(6/(-172)). Let c = n - -5. Is c prime?
False
Is 12/18 - (-367)/3 composite?
True
Let b = -1 + 12. Suppose -5 = -q, 3*q - 31 = 4*a - 0*q. Let h = a + b. Is h composite?
False
Let f = 2460 + -1519. Is f a prime number?
True
Suppose 0 = -2*q + 39 + 115. Suppose 4*y - 3*s + q - 277 = 0, -5*y - 5*s + 215 = 0. Suppose -2*o - k + y = -0*k, 3*o = 3*k + 66. Is o a composite number?
False
Let s be ((1 + -1)*1)/1. Suppose m + 2*j - 8 = s, -5*m + 10*m + 3*j = 33. Is ((-8)/6)/(m/(-63)) composite?
True
Let c(p) = -32*p**3 - 4*p**2 - 2*p + 2. Let s be c(-2). Suppose 2*n + s + 576 = 2*x, n = 4*x - 1644. Let u = -252 + x. Is u prime?
False
Let s(k) = -14*k - 1. Let f be s(-2). Suppose -18 = -5*i + f. Is i a composite number?
True
Suppose v = -x + 440, -x + 5*v + 240 = -170. Is (x/25)/((-1)/(-5)) a composite number?
True
Suppose 0 = -f + 2*i - i + 3546, 2*f - 3*i - 7093 = 0. Is f compo