 m(y) = 64*y - 19. Is m(9) a composite number?
False
Let k be (0 - -1) + (-6 - 0). Let p(s) be the second derivative of -s**5/10 - 7*s**4/12 + s**3/2 + 7*s**2/2 - 21*s. Is p(k) a composite number?
False
Let y(g) = 22*g**2 + 13*g - 6. Is y(9) a composite number?
True
Suppose 0 = 3*f + 1 - 13. Suppose -f*t = -3455 + 915. Is t a composite number?
True
Is ((-16)/(-10) - (-6)/15) + 672 a prime number?
False
Suppose 4*x = -2*b - 4, -4*b + 4*x = -11 - 5. Is 53/2*b*1 a composite number?
False
Let q = 83 - 0. Let c = 244 - q. Is c prime?
False
Let d = 24 - 15. Suppose -2*o - 12 - 14 = 0. Let i = d - o. Is i composite?
True
Is 1/3*(2131 + -4) a composite number?
False
Let y(r) = r + 13. Let c be y(-11). Is (c - 1)*(164 - -5) a composite number?
True
Suppose 5*r - 4*s = 6975, -5*s - 2475 = -2*r + 298. Is r prime?
True
Suppose -5*i + 121 + 154 = 0. Let u(h) = -36*h**2. Let d be u(-1). Let t = i + d. Is t a composite number?
False
Suppose -3*l = 5*m - 29, -4*m + 5 = 2*l - 17. Suppose 2*r - 3*r = -l*a - 59, 0 = 4*r + 4*a - 252. Suppose 3*q - 43 = r. Is q a composite number?
True
Let a(o) = o**2 + 6*o - 8. Let c be a(-7). Let s = 3 - c. Suppose 5*i = -2*k + 101 + 106, -71 = -k + s*i. Is k prime?
False
Let g(v) = -v**3 + 2*v - 3. Is g(-4) prime?
True
Let q(o) = -5*o**3 + o**2. Let c be q(-1). Let w(b) = b**2 + 6*b + 7. Is w(c) a composite number?
False
Suppose -3*p = -0*p + 21. Let f(u) = u**2 - 2 - 5*u + 10*u + 3. Is f(p) prime?
False
Let m = -523 - -807. Suppose -3*w + m + 82 = 0. Is w composite?
True
Let x be -3 + 2 + -2 + 4. Let n = 35 - x. Is n prime?
False
Suppose -3*o - 175 + 1054 = 0. Suppose 2*y = 5*b - 358, o = 5*b - b + 5*y. Suppose -200 = -5*s - 3*l, -s - 4*l = -b + 15. Is s a composite number?
False
Let s be 6/4*122/3. Let y = s + -3. Is y a composite number?
True
Let u(s) = s**3 - 11*s**2 + s - 13. Let f be u(11). Let w be f + 325 + (0 - 0). Suppose -5*t + 3*t - x + w = 0, 318 = 2*t - 4*x. Is t prime?
False
Let l(w) = 2*w + 33*w**2 + 26*w**2 - 50*w**2 - 1. Is l(-2) a composite number?
False
Let p(d) = -d - 5. Let r be p(-3). Let y = r + 6. Suppose -201 - 163 = -y*b. Is b a composite number?
True
Suppose n - 399 = 5*a, 53 - 799 = -2*n - 3*a. Is n composite?
False
Suppose 5*m + 3*g = 19, -m - 3*g + 12 = 1. Suppose -106 = -m*t - 3*r, 0*t + t + 4*r - 48 = 0. Let o = -19 + t. Is o a composite number?
False
Suppose -p - 34 = 4*t - 0*t, 0 = -t - 2*p - 12. Let x(j) be the first derivative of -j**4/4 + 6*j**2 + 3*j - 1. Is x(t) a prime number?
True
Let z = -2 - -4. Suppose q + 1795 = 3*q - 3*x, 0 = z*q + x - 1815. Is q prime?
False
Let i(n) = n**2 - 4*n. Let t be i(3). Let h = 1 + t. Is (-1866)/(-10) - h/5 a composite number?
True
Let n = -6 + 10. Is 22 + (3 - 4) + n composite?
True
Let v(z) = z**3 + 8*z**2 + 5*z - 9. Let f be v(-7). Suppose 15 = 4*k - 9*k, -f*w - 4*k = -3. Suppose w*b - 7*b = -60. Is b a prime number?
False
Let y(w) = -w**2 + 1. Let o be y(-2). Is 1/o + (-10190)/(-15) a composite number?
True
Suppose -4*t - 2*r - 2*r - 4 = 0, 17 = 4*t - 3*r. Let o(c) = 2 - 1 - 8*c + 2*c**2 - 2*c**t - c**2. Is o(-6) a prime number?
True
Let y(k) = 69*k - 4. Let h(b) = -b**2 - 5*b - 3. Let v be h(-3). Let c be y(v). Suppose r - c = -0*r. Is r a composite number?
True
Is -3 + 8 - (2 - 578) prime?
False
Suppose 4*o + 4 = j, 4*o - 92 = -j - 4*j. Let y = j + -2. Is y prime?
False
Is (501 + 1)/(-7 - -9) prime?
True
Let c(j) = j + 1. Let p(k) = 4*k + 3. Let b(o) = -3*c(o) + p(o). Suppose 0 = 5*w + 15 - 30. Is b(w) a prime number?
True
Is -314*((-3)/(-2) + -2) a composite number?
False
Suppose -5*d - 1908 = -7*d. Suppose -135 = -i + 3*m + 181, 3*i - 3*m = d. Is i a prime number?
False
Let i be 9/(1 + 0 + 0). Let w = i - 4. Suppose w*b + 4*y = 30, -5*y + 0 = -2*b + 45. Is b a composite number?
True
Suppose 22 = 6*h + 10. Suppose t - 5 = -2. Suppose -2*i - 4*s = i - 337, -t*s = -h*i + 253. Is i prime?
False
Is 23577/36 - (-5)/60 prime?
False
Let c = 10 + -2. Suppose -2*v + 7 + 7 = 2*t, -2*t + v = -c. Suppose d = t*h + 2*d - 171, -4*d - 16 = 0. Is h composite?
True
Let f(q) = 4*q**2 + 13*q + 4. Let l be f(-9). Let v = -118 + l. Is v composite?
True
Let q = -15 - -18. Suppose -2*j = j - q*y - 189, -221 = -3*j - 5*y. Is j a prime number?
True
Suppose 4*u - 20 = -0. Suppose -5*o + 0 + 5 = -u*d, -5*o + 4*d = -8. Suppose 418 + 178 = o*c. Is c composite?
False
Let v = 563 + -270. Is v prime?
True
Let t(d) = d**2 - 2*d - 4. Let f be t(3). Let n be f - ((0 - 1) + 0). Suppose n = 3*i - 13 - 8. Is i composite?
False
Let h(w) = 26*w**2 + 8*w - 1. Let k(z) = 13*z**2 + 4*z. Let a(y) = 3*h(y) - 5*k(y). Suppose -2*c - c - i + 6 = 0, -i = 0. Is a(c) a composite number?
True
Let w = 31 + -18. Suppose -w*z - 381 = -16*z. Is z composite?
False
Let r = 5026 + -3265. Is r a composite number?
True
Let z = 6 + -8. Let i = z - -13. Is i a composite number?
False
Suppose c = -3*t + 8, -3*t + 0*t + 16 = 5*c. Is (2 + t)*15/4 composite?
True
Let b be -1398*(0 + (-1)/(-2)). Let m = -476 - b. Is m a composite number?
False
Suppose 5*g + 4*n - 53 = 0, 2*n = -4*g + 14 + 32. Suppose 3*m = -u + 5, 5*u + 3*m - 75 = -2*m. Let w = u + g. Is w a prime number?
False
Let n be (-23)/(-2) - 3/6. Let d = n - 7. Suppose -3*y - 337 = -d*b, -6*b + 421 = -b - 4*y. Is b a prime number?
False
Suppose 5*z - 21*o + 26*o - 7920 = 0, -2*o - 10 = 0. Is z a prime number?
False
Suppose i = 3*i - 4*o + 8, -3*o = 2*i - 20. Suppose 6*f - f - 507 = -4*g, 0 = i*f + 20. Is g a composite number?
True
Let b be (-27)/(-5) - 4/10. Let s be (b/2)/((-3)/6). Let f = s - -56. Is f prime?
False
Let z(p) = -2 + 6 - 5*p**2 + 0*p**3 - 1 - p**3 + 10*p. Let h be z(-7). Is h/(3*3/27) prime?
False
Suppose 8 = -2*w - 6. Is (-2 - w) + (-1 - 1) prime?
True
Let k(m) = m**3 + 4*m**2 - 6*m - 3. Let y be k(-5). Is (-618)/(-8) + y/(-8) a prime number?
False
Let d(x) = -x**3 - 2*x**2 + 4*x - 3. Let v be d(-4). Let z = 24 - v. Is z composite?
False
Let r(t) = -301*t + 29. Is r(-8) composite?
False
Suppose -q = 2*y - 14, -2*y - q = 3*y - 29. Suppose 4*o + 0*o - 204 = -4*v, -y*v + 253 = 4*o. Is v a composite number?
True
Suppose -5*b + 406 = -409. Is b prime?
True
Let k be 0 + 245 - 0/9. Suppose 3*t - k = 184. Is t a prime number?
False
Let d(h) = -h**3 + 1. Let z be d(-1). Suppose 1 = -i, 0*i - 42 = -z*l + 4*i. Is l composite?
False
Suppose -l + 4 = 0, 0*l + 3*l - 1177 = -5*a. Is a composite?
False
Let l = -3 - -4. Is (l - (-6)/9)*21 composite?
True
Let q be (-28)/(-6)*12/8. Let r be -3*1*(6 - q). Is (-1*1)/(r/(-63)) a composite number?
True
Let u = 149 + 9. Is u prime?
False
Let o(g) = g + 11. Let k be o(0). Suppose -k = -z - 0*z. Suppose -4*p = z - 487. Is p composite?
True
Let q(k) = -k**3 - 4*k**2. Let o be q(-4). Let i = 0 - o. Suppose -638 = -3*l + 3*t - 4*t, -4*l - 5*t + 869 = i. Is l prime?
True
Let t(p) = -p**3 + 2*p**2 + 2. Let k be t(2). Suppose r - 27 = 4*j, k*r = 5*r + j - 29. Is r prime?
True
Let w be 135/4 + 33/(-44). Suppose 4*v - 3*v = w. Is v composite?
True
Suppose c = 5*q - 91, -4*c + 4*q = -2*c + 194. Let s = 45 - c. Is s composite?
True
Suppose -f = -93 - 98. Is f a prime number?
True
Let u be (3 - 0) + 107 + 3. Suppose 3*q = u + 145. Is q prime?
False
Let j be 6/15*-1*-235. Is (j + 1)/(2 - 1) a composite number?
True
Suppose -i + 457 = -654. Is i a prime number?
False
Let f = -2 - -6. Suppose 0 = 4*g - 12, g = f*c - 4*g - 521. Is c a composite number?
True
Suppose -19 = -3*g - 4. Suppose -p + 2*p - 31 = -3*o, 0 = -p + g*o + 15. Is p composite?
True
Let t be ((-64)/(-24))/((-4)/(-6)). Let z = 7 - t. Suppose 2*q - z*q = -145. Is q a prime number?
False
Is (3/(-1))/((-3)/53) composite?
False
Let r(l) = l**3 + 7*l**2 + 4*l - 7. Let i be r(-6). Suppose 238 - 730 = -q + i*p, 5*p = -2*q + 999. Is q prime?
False
Suppose -6 = -3*a + 3*j, 4*a - 2*j = 2 - 4. Is ((-46)/a)/(4/66) composite?
True
Let g(d) = d - 6. Let c be g(6). Let i(s) = -s**3 + 6*s**2 + 9*s - 9. Let n be i(7). Suppose 3*l - n*l + 14 = c. Is l prime?
True
Let b(d) = 0 + 17*d + 0 + 1 + 29*d. Is b(3) a prime number?
True
Suppose 0 = 8*d - 9*d + 341. Is d composite?
True
Suppose -3*v + 2*o = -47 + 14, -11 = -2*v + 5*o. Is v a composite number?
False
Suppose -4*v + 2 = -30. Suppose -c + 303 - v = 0. Is c a prime number?
False
Is 0 - 0 - (-290)/2 composite?
True
Suppose 0 = 