)/((-4)/10). Suppose -2*b - 2*y = -242, -b - b + z*y + 234 = 0. Is b prime?
False
Let s(t) = t**2 + 7*t + 6. Let n(y) = y**2 - 7*y - 8. Let u be n(7). Is s(u) composite?
True
Let o = -3 - -4. Suppose 3*k = -v + 6 - 3, v = -k + o. Suppose -5*x = -2*b + 47 + 22, v = -2*x + 2. Is b prime?
True
Let j = 15 - 11. Suppose -j*z + z + 609 = 0. Is z prime?
False
Suppose -3*b - b - 128 = 0. Let g be b/12*12/1. Let p = g + 46. Is p a prime number?
False
Let g(w) = -36*w - 22. Let y(l) = 18*l + 11. Let m(q) = -3*g(q) - 5*y(q). Let n be m(8). Let o = n + -78. Is o prime?
False
Let s = 304 + -207. Is s a prime number?
True
Suppose -2*n = 3*n - 25. Suppose 0*w - 6 = -2*w - t, -n*t = 10. Suppose w*i = 2*u - 302, 7*u - 797 = 2*u - 4*i. Is u a prime number?
True
Suppose 0 = 2*g - 12096 - 8162. Is g a prime number?
False
Suppose 238 = -0*f + 2*f. Is f a prime number?
False
Let d(s) = -404*s**3 + s. Is d(-1) a prime number?
False
Is 2/3*(-3117)/6*-3 a prime number?
True
Is 3 - -242 - (2 + -4) a composite number?
True
Let v be (1 - 1)*15/15. Suppose 0 = -v*g + 5*g - 1705. Is g prime?
False
Let o(m) = m**2 - m + 1. Let c(n) = 5*n**2 - 11*n + 6. Let r(a) = -c(a) + 6*o(a). Let z be r(-6). Suppose z*f - 83 = 5*f. Is f prime?
True
Let u be (-2)/4 + (-189)/14. Let g be 164/6 + 2/(-6). Let h = u + g. Is h a composite number?
False
Let g(i) = -i**3 + i**2 - 8*i - 5. Is g(-6) prime?
False
Let l = -46 - -97. Is l a prime number?
False
Suppose j + 45 = r - 110, -r + 2*j = -155. Is r a prime number?
False
Let u = 117 - 63. Suppose u = -4*p + 130. Is p a prime number?
True
Is (-17*(-15 + 4))/1 a prime number?
False
Let y(f) be the first derivative of f**3/3 - f**2/2 - 5*f + 1. Suppose d + 2*d - 21 = 0. Is y(d) a prime number?
True
Is (-14044)/(-44) - (-2)/(-11) prime?
False
Let i = 4 - -2. Suppose 5*x = i + 4. Is (-14 + x + 1)*-7 a composite number?
True
Suppose 0 = -2*c - 2*c. Suppose c = -u - 5*t + 14, t = -3*u - 2*t + 42. Is u composite?
True
Let v(k) = 7*k + 3. Let r be v(-5). Suppose 3 = 3*n, -n + 37 + 9 = -5*y. Let p = y - r. Is p prime?
True
Let d(h) = -2*h**3 - 12*h**2 + 5*h. Let q be d(-10). Let r = 1057 - q. Is r a composite number?
False
Suppose -3*b + 3*m = 3, -2*b - 3*m - 10 = -7*m. Suppose 329 = b*v - 64. Is v prime?
True
Suppose 2*t + 4 = -5*o - t, o + 2*t - 2 = 0. Let c = 1 - o. Suppose -c*k - 12 = -5*k. Is k a prime number?
False
Let l be (1 - -3) + (-3 - -1). Suppose r = -l*r + 9. Is r prime?
True
Is 18843/2*18/27 a prime number?
False
Suppose 3*q + 6 = -4*x, 2*x + 7 = 2*q + x. Let j(y) = -y + 7. Let z be j(5). Suppose z*g = -q*g + 204. Is g a composite number?
True
Let x = 602 - -219. Is x composite?
False
Let z(i) be the third derivative of -i**6/120 + 11*i**5/60 - 7*i**4/24 + i**3/6 + i**2. Let f be z(10). Is 6/(-4) - f/(-2) composite?
True
Let q be 2*-1 - 1076/(-4). Let h = -2 - -4. Suppose s + h*s = q. Is s a prime number?
True
Let t = -11 + 2. Let i(m) = m**3 + 15*m**2 + 6*m + 11. Is i(t) a prime number?
True
Let a be 5*(2/5)/1. Suppose 508 = 6*s - a*s. Is s a prime number?
True
Let l(k) = k**2 - 4*k - 3. Suppose -3*d = t - 8, -5*d - 4*t + 3*t + 16 = 0. Let z = d + -6. Is l(z) a prime number?
False
Let m(c) = c + 21. Let h be (-2 + 2/1)*-1. Is m(h) a prime number?
False
Suppose -4 = l, -6*l = -q - 2*l + 13. Let y(h) = -h. Let o be y(q). Suppose -316 = -o*a - a. Is a a composite number?
False
Let v(t) = 283*t**3 + 2*t**2 - 2*t. Let d be v(-2). Is d*(-3 - (-44)/16) a composite number?
False
Let l(o) = -o**2 + 9*o + 13. Let c = 6 - 4. Suppose 2*r + c*j + 2*j - 38 = 0, -j + 50 = 5*r. Is l(r) composite?
False
Suppose 2*b - 4*b - 100 = 0. Let k be ((-2)/(-5))/((-20)/b). Is k/(2 + -1) + 202 a prime number?
False
Let d(c) = c**3 - c**2 + 5. Let h(u) = u + 1. Let o be h(-1). Let b be d(o). Suppose 5*p - 3*t + 8*t = 30, -4*p = b*t - 20. Is p a prime number?
False
Let g(u) = 571*u**2 - 2*u - 2. Is g(-1) a prime number?
True
Suppose 94 + 9 = 5*b - z, -z = 2*b - 44. Is -194*(b/(-6) + 3) a prime number?
True
Let r(f) = -149*f + 1. Suppose -3 = 2*q + 1. Is r(q) composite?
True
Let q(a) = a**2 + 2*a + 11. Let h be q(8). Suppose 6*i + h = 7*i. Is i prime?
False
Suppose -5*f = -5*q + 40, -4*q - 3*f = -8*f - 37. Suppose 0 = q*t - t - 74. Is t a composite number?
False
Suppose 3*r + 12 = 5*r. Let j = r - 40. Is (j/(-3))/((-4)/(-12)) a composite number?
True
Suppose -8*g + 10885 = -3*g. Is g prime?
False
Suppose -2*s - 10 = 0, 0 = -4*m - 0*s - s + 10311. Is m prime?
True
Suppose -2*r + 4*r + 11 = 5*f, 0 = -2*r + 2*f - 8. Let m(u) = -u + 2. Let d be m(r). Suppose d*g + 4*l = 38 + 79, 4*g - 104 = 2*l. Is g prime?
False
Let c(d) = 52*d + 1. Suppose -24 = j + 2*h + 3*h, 0 = 5*j - 5*h - 30. Is c(j) composite?
False
Let o(f) = 126*f**2 - 2*f - 1. Let s(p) = -2*p - 4. Let x be s(-3). Is o(x) a composite number?
False
Suppose 4*t - 3*f + 10 = -11, -f = t. Is 0 - (-2)/((-2)/t) composite?
False
Suppose 4*t = -4*d - 8, t + 0 = -3*d + 2. Let s(c) = -6*c + 9*c**2 - 1 - 11*c**d - 2*c**3 + 0*c**3. Is s(-4) a composite number?
True
Suppose 4*w + 3*d = 3873, -d = 5*w - 5*d - 4818. Is ((-6)/(-18))/(2/w) a composite number?
True
Let z be (-2)/4*-2 - -20. Suppose -5*r - 1 + z = 0. Let t = 5 + r. Is t a prime number?
False
Let u = 8 + -3. Suppose u*j = 172 + 123. Is j prime?
True
Is -20743*(-2)/14 - (-4)/(-14) composite?
False
Suppose 5*o = -3*q + 3667, -4*q - 4*o = -5*o - 4874. Is q a composite number?
True
Suppose -6*h + 1104 = -3*h. Let b = h - 177. Is b a composite number?
False
Suppose -2*w + 2*m = 0, 2*w - 2 = -3*m + 8. Suppose -2*b + 12 = w*b. Suppose -l + b*l = 70. Is l prime?
False
Let b = -2706 - -4697. Is b a prime number?
False
Let f(r) = r**3 - 7*r**2 - 9*r + 1. Let h be f(6). Is -2 + (0 - 1)*h a composite number?
True
Let x be (-703)/(-5) - (-6)/15. Let s = x - -400. Is s a prime number?
True
Let b = -16 - -10. Let a be (-5)/10 - b/4. Is (0 + a)/(4/308) composite?
True
Let y = -54 + 259. Is y composite?
True
Let p = -158 + 248. Suppose 0 = 2*y - p - 64. Is y a composite number?
True
Let o = -410 - -703. Is o a composite number?
False
Is ((-23604)/18)/(6/(-9)) a prime number?
False
Let j be 1/(-2) - 5/(-2). Suppose 3*l + 1 = -j. Is (2 - 4)*13/l prime?
False
Let d(u) = 4*u**2 + 10*u - 3. Is d(16) prime?
True
Suppose -4*q - 3*k + 221 = 0, -k - 206 = -4*q + k. Is q a prime number?
True
Let d(c) = -c**3 - 5*c**2 + 1. Let j(w) = -w**3 - 5*w**2 + 1. Let m(g) = -3*d(g) + 2*j(g). Is m(-4) prime?
False
Suppose -3*c = -d + 32, 3*d + 4*c - 22 = 61. Let l = 49 - d. Let o = l + 17. Is o prime?
True
Let r(x) = 215*x + 1. Suppose -5 = -3*z + 4*n, n - 4*n + 6 = z. Let d be r(z). Suppose -5*u - 5 - 5 = 0, -4*f + d = -u. Is f prime?
False
Let i be -4*(-6)/8 + 2. Suppose -4*v - 2*m = -420, -v - 3*v + i*m + 392 = 0. Is v a prime number?
True
Let s = 968 + -406. Is 3/(-9) - s/(-3) prime?
False
Is (-15328)/(-20) + (-3)/(-5) a composite number?
True
Let s = 75 - 20. Is s a composite number?
True
Suppose -3*v = -7*v + 20. Let i(u) = 6*u**2 - 7*u - 2. Is i(v) prime?
True
Suppose 0 = u - 93 - 30. Is u a composite number?
True
Let m(x) = x**3 - 4*x**2 + 2*x + 4. Let g be m(-5). Let p = g - -376. Is p a composite number?
True
Suppose -2*a + o = -1978, 971 = a + o - 6*o. Is a a composite number?
False
Let p(g) = -g**3 + 19*g**2 - 2*g + 5. Is p(18) a composite number?
False
Let f = 3 - 5. Is (-1)/(-2) + (-429)/f composite?
True
Suppose 0*k = 5*k - 550. Suppose 4*d = 3*r - r - k, -4*r = 2*d - 260. Suppose -2*t - 193 = -5*t + 2*l, 0 = -t + l + r. Is t a prime number?
True
Let v(d) = 28*d**2 + 4*d - 1. Let s be (-5)/20 + (-11)/4. Is v(s) prime?
True
Let r(z) = z**3 + 7*z**2 - 3*z - 12. Is r(-5) a composite number?
False
Is (14/4)/(1/38) a composite number?
True
Let n be 522/4 - 1/2. Suppose -64 - n = -2*j. Is j a prime number?
True
Let y(q) = 4*q + q - 1 + 77*q**2 - 4*q. Is y(1) prime?
False
Let q(w) = -21*w**2 - w - 3. Let i be q(2). Let k = 156 + i. Is k prime?
True
Let x(l) = l**3 + 14*l**2 + 14*l + 15. Let w be x(-13). Suppose 5*i + h - 116 = 0, -4*i = -2*i + w*h - 48. Is i a prime number?
True
Let a be ((-3)/6)/((-4)/(-696)). Let c = -48 - a. Is c a prime number?
False
Let u be -3 - -129 - (2 - 4). Let d = u + -85. Is d a composite number?
False
Let l be (-1892)/(-6) + (-8)/(-12). Let d = -498 + l. Let o 