- 5*b - 286 = -4*b. Let g = k - 27. Is g a composite number?
True
Let t(s) = s + 35. Let n be t(0). Let b(o) = -o**3 + o**2 - 14. Let d be b(0). Let q = d + n. Is q a prime number?
False
Suppose 0 = 3*r + y - 5*y - 989, -5*r - y + 1656 = 0. Is r composite?
False
Let n = 49 - -204. Is n prime?
False
Let m(i) = 749*i - 27. Is m(6) a prime number?
False
Suppose 5*p = 5*n - 164 + 3654, 3*n - 12 = 0. Let j = p + -409. Is j composite?
False
Let r be (-3 + (-2044)/(-8))*4. Suppose 3*g + r = 5*q, -2*q + 4*g + 424 = 6. Is q a prime number?
True
Let v be (-4)/(24/(-9))*12. Suppose 5*w - 8 = 5*c - v, -2*c = -w - 6. Suppose l = 3, 2*y - 4*l + w = 12. Is y prime?
True
Suppose 10 = -5*p, -124 = x + 4*p - 27. Let y = -50 - x. Is y a composite number?
True
Let o = 9 + 5. Suppose -j = 2*p + 2, 0*p + o = 3*j + 2*p. Is j/(-10)*(-15)/6 composite?
False
Let b be 1/((-14)/8 - -2). Suppose 2*r + 3*i - 198 = 772, -b*r - 2*i = -1924. Is r prime?
True
Let x be (-1556)/6*3/(-2). Is 4/(-18) - x/(-9) composite?
False
Is (10/(-5))/((-4)/178) a prime number?
True
Let s(g) = 5*g**2 - 65*g - 7. Is s(27) a prime number?
False
Let k = -2501 + 1223. Let g be k/(-12) - 2/(-4). Let j = g + -73. Is j prime?
False
Suppose -7 = 5*p - 2, -4*o + 15 = p. Is (o - -27) + (0 - 0) composite?
False
Suppose -32*u - 242 = -34*u. Is 4/8*-4 + u prime?
False
Let x = -2122 + 5207. Is x a prime number?
False
Suppose 1750 - 215 = n. Is n prime?
False
Let u be (2 + 1)*(-4)/(-6). Suppose 0 = -u*r - r - 2*z + 70, -4*r + 94 = 2*z. Suppose r = 2*l + 6. Is l a prime number?
False
Let p be (-2)/(0 - (-1 + 2)). Suppose -v = p*v + 5*u - 16, 2*u - 2 = v. Is v + -1 - 8*-4 a prime number?
False
Is (-1)/((-15)/(-25))*-933 a prime number?
False
Let c = 23 + 31. Let a = -32 + c. Let l = 37 - a. Is l a prime number?
False
Let p = 2 - 2. Suppose -a = -p*a - 2. Suppose -55 = -5*r + a*o, 3*r - 19 = -3*o + 35. Is r a composite number?
False
Suppose 5*b + 1025 = -m + 4827, 3*b = m - 3778. Is m a prime number?
False
Suppose 3*i = 13 - 4. Suppose 3*q - 158 = -l, -i*q + 98 = 4*l - 57. Is q a prime number?
True
Suppose -1595 = -2*y - 3*y. Is y prime?
False
Let v be -2*3/(6/5). Let w be ((-16)/10)/(-4)*v. Is 1 + (-2 - -28) + w a prime number?
False
Let p(o) = 6*o + 1. Let s(m) = 5*m + 1. Let k(t) = -4*p(t) + 5*s(t). Let q be k(3). Suppose 3*i + 5 + 51 = q*c, -c + 31 = -5*i. Is c prime?
True
Let y(g) = g**3 + 4*g**2 - 5*g + 3. Let m be y(-5). Suppose u - m*u = 0. Suppose u*b = -b + 9. Is b a composite number?
True
Let n(a) be the third derivative of -a**5/60 - 13*a**4/24 - a**3/2 - 9*a**2. Let p be (-3)/2*16/3. Is n(p) composite?
False
Suppose -15*c + 3*c = -24. Let k(o) = -25*o**2 - 3*o - 2. Let f be k(4). Is f/(-4)*c/3 composite?
True
Is (-9)/(-15) - (25191/(-15) + -1) a composite number?
True
Let x(c) be the first derivative of c**3 + 9*c**2/2 + 5*c + 1. Is x(-13) prime?
False
Suppose -3 = -3*s, -5*s = 2*w - 63 + 22. Suppose 3 = -5*x + w. Suppose x*i = -0*i + 429. Is i prime?
False
Suppose 4 = 3*l - 2, u = -2*l + 450. Is u prime?
False
Let o(l) = l + 16. Let v be o(-13). Suppose -5*b + 2*b = -6, -5*t + v*b + 3529 = 0. Is t prime?
False
Is (-23 - -19) + 1154 + -1 + 2 prime?
True
Let l(q) = q**2. Let n(b) = -11*b**2 - b - 2. Let c = -4 - -1. Let g(t) = c*l(t) - n(t). Is g(3) a prime number?
False
Let g(p) = -p**3 - 2*p**2 - 3. Let s be g(-3). Suppose 10*n - s*n = 140. Is n a prime number?
False
Suppose m + 5 = 0, -3*x + m + m - 17 = 0. Let y be (-2 + x/(-6))*2. Is (-6 - -7)/(y/(-77)) a prime number?
False
Suppose -2*g - 2*g - 4*k + 4904 = 0, 2458 = 2*g - 4*k. Is g a composite number?
True
Suppose -4*q + 6*q - 446 = 0. Is q a prime number?
True
Suppose -m = -3*q + 786, -2*q + m + 208 = -315. Is q prime?
True
Suppose 0 = 4*g - 9*g + 5785. Is g a composite number?
True
Is 37/((1/3)/1) a composite number?
True
Let q(x) = x**3 + 11*x**2 - 11*x - 5. Is q(14) composite?
True
Suppose -4*r - 19 = -3*s - 2*r, -r = 2*s - 8. Suppose -l + 3*l = 4*q - 2982, -5*l + 3690 = s*q. Is q a prime number?
True
Suppose 3*x - 5 = 10. Suppose k + x*p - 41 = 8, k = 5*p + 49. Is k composite?
True
Suppose 4*j - 2*d + 1152 - 10074 = 0, 0 = 4*j + 5*d - 8943. Is 3/(-5) + j/20 composite?
True
Is (-2)/1*(-121)/2 a composite number?
True
Is 1696/(-8)*2/(-4) composite?
True
Is -24 + 2187 - (3 - 1) a composite number?
False
Let n(v) = v**3 + 5*v**2 - 5*v + 5. Let u be n(-6). Let r = 12 + u. Is r a prime number?
True
Let j(n) = -9*n - 10. Suppose 2*u + 0*u + 18 = 0. Is j(u) prime?
True
Let p(i) = 90*i**3 - 3*i**2 - 2*i + 2. Is p(3) a composite number?
False
Suppose 2 = 5*a - 4*a. Suppose 0 = a*b - 25 - 7. Is (3*2)/(b/56) prime?
False
Let g(u) = -u**3 + 12*u**2 + 2*u - 22. Is g(9) prime?
True
Let r(f) = f**3 + 7*f**2 + f + 7. Let q(u) = -u - 3. Let p be q(-8). Suppose 3 = -3*v + p*t, 2*t = -5*v - 0*t - 36. Is r(v) a composite number?
False
Let w be ((-12)/15)/((-3)/75). Suppose -5*p - w = 0, -2*l + 3*p + 28 = 98. Let a = l + 138. Is a a prime number?
True
Let p = 8 + -5. Suppose p*x = -4*b + 660, x + 3*b + 2*b = 209. Let t = x + -97. Is t a prime number?
True
Suppose -4*l = 402 - 1978. Let t = -183 + l. Is t prime?
True
Let z(p) = -p**3 - p**2 - 1. Let l(o) = o**2 - 2*o + 3*o - 18*o**3 + 5 + 3*o**2. Let s(k) = l(k) + 4*z(k). Is s(-1) prime?
False
Is 4/(-12)*-2157*7 a prime number?
False
Let l(k) = 2*k**2 + 5*k - 8. Let s(a) = -34*a + 1. Let h be s(-1). Suppose 2*t + 7 = -b, 0 = -5*b - 0*t - 2*t - h. Is l(b) a prime number?
False
Let x(d) = 16*d**2 + 2*d - 1. Let j be 0 + 0 + -2*1. Is x(j) prime?
True
Suppose 57*r + 974 = 59*r. Is r a prime number?
True
Let z(k) = -k**3 - 8*k**2 + 6*k + 11. Let u = -20 + 11. Is z(u) a prime number?
False
Let w(z) = 63*z + 5. Let q be -3*7/((-21)/4). Is w(q) composite?
False
Let a = 1185 - 676. Is a composite?
False
Let m(t) be the third derivative of -t**6/120 - t**5/10 - t**4/4 - 7*t**3/6 - t**2. Let z be m(-5). Is ((-1)/z)/(2/388) composite?
False
Let r = 796 - -93. Is r a prime number?
False
Suppose -5*r - 69 = -2*r. Let o = -1 - r. Is o a composite number?
True
Suppose 2*h + o = -4*o + 562, -893 = -3*h + 5*o. Let v = -487 + h. Let r = v + 341. Is r a prime number?
False
Suppose -4*a + 2*y = -550, -7*y + 133 = a - 3*y. Let t = -86 + a. Is t prime?
False
Suppose 8 = -4*o + 5*o. Let q be (-3)/(-12) - (-6)/o. Is (-3)/((-75)/66 + q) a prime number?
False
Let b = -13 - -13. Suppose b*y - 3*m + 286 = y, 3*y - 3*m = 918. Is y prime?
False
Let n(m) = -2*m**2 - 2*m - 2. Let t be n(-2). Let y be (3/t)/(1/(-6)). Let v = y - 0. Is v a composite number?
False
Let j = -1 + 4. Suppose -j*y + 5 = -2*y. Suppose -y*o + 162 + 323 = 0. Is o a prime number?
True
Suppose 4*y - 636 = 3*v + v, 0 = -4*v - 8. Is y a composite number?
False
Is (-486)/(-5) + (-1)/5 prime?
True
Suppose -697 = -2*h + 1081. Is h a composite number?
True
Suppose -5 = -l - 3. Suppose -l*n = -n. Suppose n = -0*w - 5*w + 55. Is w a composite number?
False
Let s = 10 - 4. Suppose k + s = -2*t, -2*t - 3 = -5*k + 3. Suppose k = 3*f + 2*f + 4*z - 265, z - 52 = -f. Is f a composite number?
True
Suppose -2968 = -7*z + 5*z. Suppose -k - 3*k + z = 0. Is k composite?
True
Suppose 5*g - 6 = 2*g. Let l(q) = q**3 - 2*q**2 + 1. Let s be l(g). Is 5*(4 + 0 + s) prime?
False
Let f = -325 + 590. Suppose -5*v - 4 = -44. Suppose -3*g + v*g = f. Is g composite?
False
Is 1/(4/536*2) composite?
False
Let s be 13/(-11) - (-2)/11. Let z be s/(0 + 2/(-6)). Suppose 0 = -z*p + 2*q + 52 + 25, -5*q = p - 3. Is p a prime number?
True
Suppose 5*p = -3*b + 32, 7*p - 2*p + 2*b - 28 = 0. Suppose 148 + 8 = p*y. Is y a prime number?
False
Suppose 2*r - 477 = -r. Suppose -2*s + 139 + r = 0. Is s prime?
True
Let d(c) = -4*c - 6 + 6*c**2 - 1 - c. Is d(5) a composite number?
True
Let d(i) = 20*i**3 + i**2 - 1. Let x be d(-1). Let f = 51 + x. Is f a prime number?
True
Suppose 4*u = -z - 123, 45 = -2*u + 6*z - z. Is (652/6)/((-20)/u) prime?
True
Let w be (1 - -3)/4*-4. Is -4 + 137 + w/2 prime?
True
Let a(o) = -o**2 - 4*o + 5. Let k be a(-5). Suppose 0*m = -2*m - 3*g + 94, -3*m - 5*g + 141 = k. Is m a composite number?
False
Suppose -158 - 28 = -2*g. Suppose f - 4*f = -g. Is f a composite number?
False
Suppose 3*d + 417 = 2*d + 3*m, 9 = -3*m. Let v = d - -875. Is v a composite number?
False
Suppose 3*s = 5*x - 9730,