172 = -4*n + 3*r - r, 2*n - 4*r - 86 = 0. Let l = n - -180. Is l a composite number?
False
Suppose 16*g - 19*g + 63 = 0. Is g composite?
True
Suppose 3*h + 59 - 2339 = 0. Let u = -423 + h. Is u prime?
True
Let f(g) = 56*g + 73. Is f(25) a prime number?
False
Let r(i) = 7*i**2 + 2*i - 7. Let n be r(-9). Let q = n + -331. Is q a composite number?
False
Suppose -6*b = -2*b - 92. Suppose 2*x - b = -l, -5*x = -3*l - 22 - 19. Is x a prime number?
False
Is 2/((-8)/(-2566)) + (-8)/16 a composite number?
False
Let a be 1 + 1 - -6 - 3. Suppose -3*m = 3*w - 9, -3*w + w + 30 = a*m. Is (-4)/(-6)*228/m a composite number?
False
Let q(t) be the second derivative of -5*t**3/2 + t. Let f = 1 - 2. Is q(f) a composite number?
True
Let a(b) be the second derivative of -b**5/20 + b**3/6 - 15*b**2/2 - b. Let s be a(0). Let p = 26 + s. Is p a composite number?
False
Let b be 4 - (-1 + (4 - 2)). Suppose 3*c = -c + 5*a + 11, 60 = 5*c + b*a. Suppose -c = 5*f - 194. Is f prime?
True
Let u be (-2)/(-4) - 9/2. Is 10/(-15)*8862/u prime?
False
Let j(t) = 4*t**2 + t + 3. Let c(h) = h - 2. Let g be c(-6). Is j(g) composite?
False
Suppose 0 = -3*v - 4*d - 409, 0*v + v = -2*d - 133. Let z = 218 + v. Suppose -z = -4*m + 137. Is m a prime number?
True
Let m(l) = -2*l - 2. Let i be m(-4). Suppose 4*z = -i - 10. Is -46*(2/z)/1 a composite number?
False
Let h = -243 - -347. Let j = -69 - -23. Let n = h + j. Is n prime?
False
Let g(r) = 5*r**3 - 10*r**2 - 2*r. Let h(a) = a**3 - a**2. Let j(s) = -g(s) + 6*h(s). Let l be j(-2). Suppose t = -q + 53, 18 = l*t + 2. Is q prime?
False
Suppose 0 = 2*i + 5 - 1, -5*b - 25 = 5*i. Let n be 4*b/(36/(-15)). Suppose -n*m = -42 - 33. Is m prime?
False
Let z(g) = -2*g - 8. Let q be z(-6). Let v = q + -3. Is 0 + v + 32*1 a prime number?
False
Suppose 0 = -3*o + 4 + 5. Suppose -o*b + 0*b = -1002. Is b a composite number?
True
Let y be 800/6 - 2/6. Let b be 27/(-6)*72/6. Let c = y + b. Is c a composite number?
False
Is 3/2*(-4 - (-7784)/12) a prime number?
True
Let p = 19 - 20. Is 5 - (1 - p) - -288 a composite number?
True
Let t be (4/3)/((-4)/42). Let w = t + 29. Is w prime?
False
Let r = 5 - 11. Is (-554)/r + (-2)/(-3) composite?
True
Is (-705)/(-12) + (-2)/(-8) composite?
False
Let v be 1/(((-6)/(-3))/10). Suppose -5*h = 4*i - 194, 0 = -v*i + 4*h + 113 + 150. Is i a composite number?
True
Let o(d) = 19*d. Let i(f) = f**2 - 3*f - 2*f - 9 - 2*f - 2*f. Let s be i(10). Is o(s) a composite number?
False
Let f be 4*((-5)/(-2) - 1). Let i be (5/(15/f))/2. Is -3*(-1 - (9 + i)) a prime number?
False
Let y(i) = 55*i**3 - 11*i + 12*i + i**2 - 10*i**3 - 1. Is y(1) a prime number?
False
Let m = 204 - 125. Is m prime?
True
Suppose 15 = o - n, -4*o + 2*n + 61 = -n. Let d = o - 1. Is d composite?
True
Is (2 + (-1)/4)/(2/12472) a composite number?
True
Let y = 309 - -425. Is y prime?
False
Let j = -3141 + 4834. Is j composite?
False
Is (10/3)/(1/((-564)/(-8))) prime?
False
Is 794/4*-1*-2 composite?
False
Let o = 90 - 39. Is o a composite number?
True
Suppose -43 = -f - 10. Is f composite?
True
Suppose -5*o + 406 = -4*r, -4*r = 5*o + 261 + 125. Let u = r - -170. Is u prime?
True
Suppose 2*w - 3 = 1. Suppose 3*i - h - 894 = -w*i, -359 = -2*i - h. Is i prime?
True
Let v(x) = 36*x + 3. Let k be v(2). Let d = 14 + k. Is d a composite number?
False
Let t(b) = 82*b - 2. Let r be t(3). Suppose 3*j = 2*s + 4*j - 16, -4*j - 53 = -5*s. Let q = r - s. Is q composite?
True
Let l = 1 - -2. Suppose -2*v = l*v - 445. Is v prime?
True
Suppose -3*l - 16 = l. Is l*51*(-3)/12 prime?
False
Suppose -2*q = -0*q + 14. Let v = 10 + q. Suppose 0 = f + v*j, -2*j - 99 = -4*f - 29. Is f composite?
True
Suppose k - 30 = -2*k. Let w(l) = -l**2 + 15*l - 7. Is w(k) prime?
True
Let d(t) = t**3 - 5*t**2 - 3*t - 8. Let f(a) = a**3 - 5*a**2 - 2*a - 8. Let k(o) = -3*d(o) + 4*f(o). Let s be k(6). Let j = -13 + s. Is j composite?
True
Suppose 5*r + 0*l + 4221 = -2*l, 3 = -l. Let o = r + 1336. Is o composite?
True
Is 0/2 + (-3 - -584) a composite number?
True
Let d be 3/((-1 + 5)/4). Suppose -c + 10 = -3*b, 2*c - d*b - b - 22 = 0. Is c prime?
True
Let j(s) = -s**2 - 13*s + 15. Let g be j(-15). Let c(r) = -2*r**3 + 3*r**2 - 4*r + 2. Let f be c(2). Is g/(-2)*(-8)/f prime?
False
Let n = 572 - 381. Is n a composite number?
False
Let p = -479 + 796. Let t = -173 + p. Suppose t = 2*k - 110. Is k a prime number?
True
Let v be (-52)/(-16) + 3/4. Suppose 0 = v*l - 112 - 36. Is l prime?
True
Let g(k) = -k**3 + 7*k**2 + 5*k + 3. Let h be g(6). Let t = -44 + h. Let i = 76 - t. Is i a prime number?
False
Suppose s - 3438 = -5*s. Is s prime?
False
Let b(i) be the first derivative of 9*i**2/2 - 10*i + 1. Is b(11) prime?
True
Let l(b) = -b**3 + 15*b**2 + 13*b + 16. Is l(15) a prime number?
True
Let p(n) = -n**3 - 4*n**2 + 3*n - 6. Let v be p(-5). Suppose 0 = 4*g - s + v*s + 107, g + 4*s + 30 = 0. Let j = 45 + g. Is j prime?
True
Suppose -4*p + 5*p = 127. Is p prime?
True
Let a(s) = 6*s**2 + 3*s + 8. Is a(-3) prime?
True
Let p(m) be the third derivative of -23*m**4/12 + m**3/6 - 3*m**2. Is p(-1) composite?
False
Suppose 6*h = 4*o + h + 11, 5*o + 4*h + 65 = 0. Suppose 2*c - 2*s - 3*s = -11, -2*s = 5*c + 13. Is 42/o*c - 0 prime?
False
Suppose -2*i - 2*b = -6*i + 16, 2*i = -3*b + 24. Suppose -4*m + j = -128, -3*j = -3*m - i*j + 111. Let q = m + 32. Is q prime?
False
Let k = 7 - 15. Let u(i) = -i**2 - 9*i - 8. Let t be u(k). Is (-2 - t)*158/(-4) a prime number?
True
Suppose n + 2*n - 9 = 0. Is ((n - 637) + -4)/(-2) a prime number?
False
Let q(o) = -o**2 + 4*o + 2. Let n(w) be the second derivative of w**4/12 + w**3/6 - w**2 - w. Let x be n(-3). Is q(x) a prime number?
True
Suppose 0 = x - 4*p + 12, 0 = -0*x - 4*x + 5*p - 15. Suppose l - 3*l - 114 = x. Is (2/6)/((-1)/l) prime?
True
Suppose 0 = 8*m - 4 - 1044. Is m a prime number?
True
Let k be -1 + -9 - -1 - 2. Let y(q) = -q**2 - 13*q - 11. Is y(k) a composite number?
False
Let j(y) = 12*y - 1. Suppose f = -3*s + 11, -13 = -3*f - 0*f - 5*s. Let c = f - -5. Is j(c) a prime number?
True
Let j(t) = -16*t**3 - 8*t**2 + 5*t + 2. Is j(-5) prime?
True
Suppose 3*c - 8*c = 4*y + 37, 0 = -3*y - 3*c - 27. Is ((-142)/y)/(4/16) a prime number?
True
Let t(b) = -4*b**3 + 3*b**2 + 2*b - 2. Let r be t(-2). Suppose 3*l = -y + 82, 3*y + 4*l - 299 = -r. Is y a prime number?
False
Let o be (-9)/6 + 39/6. Suppose 0 = 4*r - o*f + 235, 5*r - f = -158 - 162. Let w = -34 - r. Is w a prime number?
True
Let d = 10 + -111. Let g = d - -178. Is g a prime number?
False
Let z = 1596 - 541. Is z prime?
False
Suppose 0 = -0*i - 5*i. Suppose -s + i*s = -43. Is s a composite number?
False
Let p be (-26)/117 + (-8780)/18. Let q = p + 817. Is q a prime number?
False
Suppose -1125 = -5*v - 310. Is v a prime number?
True
Let k(n) be the third derivative of n**5/6 - n**4/6 - n**3/6 - 7*n**2. Suppose j = -3*j + 12. Is k(j) a prime number?
False
Suppose 0*y - 4*y - 4 = 0, 4*r - 23824 = 4*y. Suppose 2*n = -3*n + r. Is n prime?
False
Let s = -41 - -100. Is s a composite number?
False
Suppose 0 = -2*z + 8 - 14, 3506 = o - 5*z. Is o prime?
True
Let n = 23 + -32. Let k(s) = -s**3 - 5*s**2 + 1. Let z be k(-5). Let i = z - n. Is i composite?
True
Let j(p) = -30*p + 25. Is j(-7) a composite number?
True
Let n be (-58)/(-3)*45/2. Let p = 670 - n. Is p a prime number?
False
Suppose b + 0*b = 5. Suppose 4*i = q + 9, -3*q + 80 = 2*q + b*i. Is q composite?
False
Suppose 2*p - 833 = -5*v, -2*v + p + 322 = -p. Suppose 6*q - q - v = 0. Is q prime?
False
Suppose -f - 823 = -3*m, -m + f - 273 = -2*m. Is m composite?
True
Let r = -4 + 7. Let q be -269*(2 - 3) - 2. Suppose 0*l + 5*y + 168 = r*l, -5*l + 4*y + q = 0. Is l composite?
True
Let l = 321 + -164. Is l a prime number?
True
Is (42/70)/(1/635) composite?
True
Suppose 5*d - 113 - 102 = 0. Let j = -58 - -30. Let k = j + d. Is k a prime number?
False
Let l(b) = -b**2 - 5*b - 4. Let c be l(-4). Suppose 0 = -c*f + 2*f + 58. Let w = 6 - f. Is w a composite number?
True
Suppose o = -2*u - u - 10, 14 = -u - 3*o. Let t = 132 + -79. Is u/4*t*-10 a composite number?
True
Suppose -4*z + 159 = 3*d, -3*z = -2*d - 159 + 44. Let i = z - 2. Is i a prime number?
True
Suppose 2*q = 2*y + 8188, 5*y - 8167 = -2*q - 0*q. Is q a prime number?
True
Suppose 2*z - z + 1 = 0. Is (-1 + (-2 - 7))/z a prime 