True
Let b(s) = -s**2 - 16*s - 2. Let k be b(-11). Suppose 2*c = -5*g - 2*c + 358, 0 = -g - c + 72. Let d = k + g. Is d prime?
False
Let w be (-24)/(-14) + 2/7. Suppose 0*f = -w*f + 14. Is f composite?
False
Is ((-4)/(-1) - 1) + 694 a prime number?
False
Suppose 1528 + 0 = 8*d. Is d a prime number?
True
Is -1 - (-146 - (-1 - -1)) a composite number?
True
Suppose -2*h - 2*h + 8 = 0. Suppose 0 = -5*p - x + 3*x + 483, -h*x - 8 = 0. Is p a prime number?
False
Let r(p) = 0*p - p**3 - 14 + 12*p**2 + 4*p + 3. Suppose -5*j = -3*b + 5*b - 44, 0 = 4*b - 5*j - 28. Is r(b) a composite number?
False
Let q = 10 - 12. Is 755 + 6/(-3) + q a composite number?
False
Let m be ((-2)/(-4))/((-2)/(-20)). Suppose -5*n - 7 = 2*g, -g - m*n + 0*n - 11 = 0. Suppose 4*z + r - 304 = 0, -g*z + r = -z - 235. Is z a composite number?
True
Let h(i) = 2*i**3 + i + 1. Is h(2) a composite number?
False
Let c(n) = -9*n + 3. Let l(q) = 10*q - 3. Let j(y) = -6*c(y) - 5*l(y). Let o be 3/(-6) - 9/(-2). Is j(o) composite?
False
Suppose 20 = 5*i + m, -6 = -3*i + m - 2. Suppose 0 = -i*f - 10 - 8. Is (-69)/(-9) - (-4)/f prime?
True
Let h = 99 + 160. Is h a prime number?
False
Let q = 40 + -29. Suppose t = -u - 4*u, 0 = -u + 2*t. Suppose -q = -u*i - i. Is i a prime number?
True
Suppose v = -0*v. Suppose 0 = -3*j - v*j - 561. Let r = j + 314. Is r prime?
True
Suppose 0 = -j - 2*j. Let l(d) = 10*d**3 + 2*d**2 - 1. Let m be l(1). Let k = m + j. Is k prime?
True
Suppose -2*p - 16 = 2*p. Let d be 21/p*(-40)/3. Suppose -2*n + 4*a + 66 = 0, -5*n + 3*a = -d - 109. Is n prime?
True
Suppose k = 8*n - 4*n - 1569, 0 = -2*k - 10. Is n a prime number?
False
Let b(n) = -37*n - 6. Let j be b(6). Let m = -48 - j. Suppose 0*o - 110 = -3*o - 5*w, 5*w = -5*o + m. Is o a prime number?
False
Suppose -4*w + x - 9 = -0*x, 5*w + 3 = 4*x. Is w/((-3 - -1)/14) a prime number?
False
Suppose -9*r + 7*r + 658 = 0. Is r composite?
True
Suppose -1972 = -4*y - 0*y. Is y a prime number?
False
Let f(h) = -h**2 - 6*h + 2. Let k be f(-7). Let g be k/(-2) + (-4)/(-8). Suppose 2*v = -g + 31. Is v a composite number?
True
Suppose -332 = -2*d + 96. Is d a prime number?
False
Let d be 2/1 + (-2 - -219). Let h = 512 - d. Is h a prime number?
True
Let n(l) = -l**2 - 14*l - 10. Let b be n(-9). Is (-42)/5*b/(-14) prime?
False
Let d(a) = 87*a**2 - 3*a + 2. Is d(1) composite?
True
Let o be (2/2)/((-1)/3). Let f(w) = 2*w**2 - 4*w - 4. Let v be f(o). Suppose 3*a - v = 5*m, 3*a + 2*a + m = 34. Is a composite?
False
Suppose -2 + 17 = 3*b. Let i(v) = -2*v - 5 + 3*v + 2*v**2 + 4*v + b*v. Is i(-8) a composite number?
False
Suppose -2 = -d + t, 4*d = -5*t + 10 + 16. Suppose -720 = -d*c + z, c + 4*z = -0*z + 163. Is c a prime number?
True
Let n(o) be the third derivative of o**5/30 + o**4/6 + o**3/6 - o**2. Let r = 6 - 3. Is n(r) composite?
False
Let s(u) = u + 7. Let j be 54/(-10) + 3/(-5). Let i be s(j). Is (1 + 0)/(i/7) composite?
False
Let r(n) be the first derivative of n**2/2 + 835*n - 6. Is r(0) composite?
True
Let f = 392 - 181. Is f prime?
True
Suppose -2*d - 5*z - 305 = -4*d, -2*d - 4*z + 278 = 0. Is d prime?
False
Let f(h) = -h**2 + 2*h + 1. Let x be f(2). Let w(i) = -x - 2 + i**2 + 4 - 4*i. Is w(6) prime?
True
Let x(j) = 4*j. Suppose 0 = -3*h + 3. Let i be x(h). Is 2*(-31)/(-8)*i a prime number?
True
Let m = 61 + -106. Let i = m - -67. Suppose -q - 4*x + i = q, -4 = -x. Is q a composite number?
False
Let n = -1653 + 2404. Is n a prime number?
True
Suppose -55 - 335 = 5*r. Let w = -51 - r. Suppose 5*q - 68 - w = 0. Is q prime?
True
Let p = -16 + 19. Is (p/3 - -352) + 2 prime?
False
Let s be 6/(-2) - (-3 - 266). Suppose 677 = -5*b - 4*r, -2*b - 4*r + 0*r - s = 0. Let t = b + 340. Is t prime?
False
Suppose c + 0*c - 3 = 0. Suppose 2*i - c*y = 7*i - 918, -i - 5*y = -188. Is i prime?
False
Suppose -x + 3 + 30 = u, 2*x = u - 45. Is u composite?
False
Let c(k) = -k**3 + 12*k**2 - 3. Is c(6) prime?
False
Let i(w) = w**2 + 6*w - 13. Let a be i(-11). Let t = a + -5. Is t a prime number?
True
Let a = 14 - 22. Let d(g) = 2*g**2 + 6*g + 9. Is d(a) a composite number?
False
Suppose -3*g + 420 = 3*l - 5*g, 565 = 4*l - g. Is l prime?
False
Let w(p) = 20*p - 13. Let k be (56/21)/(2/12). Is w(k) a prime number?
True
Is (-24)/(-108) - (-7513)/9 prime?
False
Suppose n = -4*p + 6*n + 120, -p + n = -29. Is 3635/p - 2/5 prime?
False
Let c be 13/5 - (-2)/5. Suppose 4*q - 224 = c*m + m, 0 = -3*q + 2*m + 167. Is q a prime number?
False
Suppose -2*q = -4*q + 554. Is q a composite number?
False
Let w(u) = 1 + u**2 + 0 + 2 - u. Let l(o) = -o**3 + 5*o**2 - 6*o + 4. Let r be l(4). Is w(r) prime?
True
Suppose 2*y - 4*y = -10. Suppose 5*l = y*b - 580, b = 6*b + l - 598. Is b prime?
False
Suppose -2*a - 2*a + p = -2, 8 = -4*p. Suppose a*t = -t. Suppose t = 3*u + f - 539 - 320, 863 = 3*u - f. Is u a prime number?
False
Suppose 0 = -4*u + 2*x + 1512, 5*x = 2*u - 939 + 191. Is u/3 + (-4)/(-6) a composite number?
False
Let d(n) be the second derivative of n**5/20 + n**4/12 + 19*n**2/2 - 6*n. Is d(0) composite?
False
Suppose -3*t - 2*a - 23 + 5 = 0, -5*a + 31 = -2*t. Let x(y) = -y**3 - 6*y**2 - 8*y - 7. Is x(t) a composite number?
True
Suppose 0*h = 2*i + h + 8, -2*i = -4*h - 2. Let r be (-444)/9*i/2. Suppose 4*y = 5*g - r, 0 = g + y - 6 - 7. Is g a prime number?
False
Suppose -z - 1 = 0, 5*l + 0*z = 5*z + 230. Suppose l = 2*d - 47. Is d prime?
False
Let c be (-1)/(1 - 282/281). Suppose -2*t - 95 + c = 0. Is t a prime number?
False
Is -4*((-2409)/12 - -4) a prime number?
True
Suppose 0 = -2*o + o + 3*d + 1154, -4606 = -4*o + 2*d. Is o prime?
True
Suppose -3*n = -5*n + 8. Suppose 4*a - 396 = n*m, 100 = 2*a + m - 110. Is a composite?
False
Let k(m) = -m. Let g be k(0). Suppose -48 - 132 = -4*p + 2*h, g = p + 4*h - 45. Is ((-4)/(-3))/(6/p) prime?
False
Let a(n) = 2*n - 14. Let f be a(10). Suppose r = -p, -r + 3*p - 6 = -f*r. Suppose -2*x = w - 89 + 2, 5*w - r*x - 422 = 0. Is w composite?
True
Let d = 227 - 134. Suppose 3 = 3*i, -3*p = 3*i - 8*i - 10. Suppose -34 = -q - s, p*q - s = 101 + d. Is q prime?
False
Let s = -2948 + 6505. Is s a composite number?
False
Suppose -2*b = 4*b - 942. Is b a prime number?
True
Let a(k) = -k**3 + 11*k**2 - 8*k + 7. Is a(9) prime?
True
Is (-57)/2*6/(-9) a composite number?
False
Let o(q) = 5*q**2 + 1. Let a be -3 + 0 - 1*-1. Is o(a) prime?
False
Suppose -m + 6 = -5*u, u = -5*m + 3*u + 30. Let v(h) = 13*h**2 - 8*h + 7. Is v(m) a composite number?
True
Let m(y) = -y**2 - 7*y - 4. Let d = 3 - 9. Let z be m(d). Is z/2 - (-11 - -1) a prime number?
True
Is (-4)/((-20)/1) - 23020/(-25) a prime number?
False
Let z be 4 + (-4 - -4) + 15. Suppose -102 = -i - z. Is i prime?
True
Suppose -125 = -4*g - 3*b + 531, 0 = -5*g - 2*b + 813. Is g a prime number?
False
Suppose 3*s - 15 = 2*t - 118, 0 = -3*t + 2*s + 167. Is t a composite number?
False
Suppose 531 = -11*i + 14*i. Suppose 0 = -2*q + 3*s + i + 78, 5*q = s + 644. Is q a prime number?
False
Let g = 29 + 26. Let c be 16/4 + -1 + 2. Suppose c*t + 0*t - g = 0. Is t a prime number?
True
Let q(v) = -1 + 0*v + 2 + 22*v. Suppose 4*i - 9 = -u, -2*i - 2 - 6 = -2*u. Is q(i) prime?
True
Let i(g) = -2*g - 6. Let c be i(-4). Let a be (-168)/(-2 - -5) + c. Let j = 101 + a. Is j a prime number?
True
Let y(v) = 17*v - 4. Let h(k) = -86*k + 21. Let w(d) = -2*d - 3. Let f be w(-7). Let p(n) = f*y(n) + 2*h(n). Is p(4) a composite number?
True
Let g = 3214 + -557. Is g a composite number?
False
Suppose -8*i = -3*i + 5*q - 60, -4*i + 5*q = -48. Let k be 4/i - (-22)/6. Suppose -4*l + 254 + 114 = k*z, 0 = l + 5*z - 104. Is l prime?
True
Suppose -16 = -4*h, -5*j + 0*j + 281 = 4*h. Is j composite?
False
Let d(p) = p**3 + 7*p**2 + p - 8. Is d(-5) composite?
False
Let q be 12/((-23)/(-20) + -1). Let d = q - 47. Is d prime?
False
Let p = 6665 + -4704. Is p a composite number?
True
Suppose g = -2*g + 6, -3*g - 230 = 4*v. Let r = 134 + v. Suppose -3*y = -0*y - r. Is y composite?
True
Let r be 4*(-1)/(-4)*22. Suppose -3*a + r = -2*a. Is a a prime number?
False
Suppose 0 = -3*q - 4*d + 1, -4*d = -q - 3*d + 5. Suppose -632 = q*r + r. Let b = r - -301. Is b a composite number?
True
Let w(g) = g**3 + 6*g**2 + g + 8. Let z be w(-6). Suppose -3*m + 0*b = 5*b - z, -4 = -2*m - 2*b. Suppose -2*a = -3*n, -a - 7 = -m*n - n. Is n prime?
Tr