6 - 3*g**2 + 5*g**3. Is m(5) a prime number?
True
Suppose 7*w + 2215 = 12*w. Is w composite?
False
Is (2*(-2)/(-8))/((-5)/(-1810)) a prime number?
True
Let t be 8/(-3)*-5*60. Let m = -463 + t. Is m a composite number?
False
Let y(s) = -s**2 - s + 4. Let u be y(0). Is 3*-1 - (-400)/u composite?
False
Is 1*(-2 - -4)*(-7273)/(-14) prime?
True
Suppose -2*w + 12 = -v, 0 = -4*v + 5*w - 0 - 36. Let c = v - -7. Suppose -62 = 2*x - 3*a - 222, c*x - 255 = -3*a. Is x a composite number?
False
Suppose d - 12 = -2*d. Let n(b) = -d*b**2 + 3*b**2 + 3*b + 5*b. Is n(7) a prime number?
True
Let r = 24 - 8. Is (-4)/r + (-1095)/(-12) a prime number?
False
Suppose 0 = -2*h + i + 1531, i + 3*i = -2*h + 1536. Suppose -2*q + 5*y = -h, -3*q + y = 6*y - 1099. Is q a prime number?
True
Suppose 3*h - 267 - 1025 = -d, 2*d + 2*h = 2564. Is d a prime number?
True
Let j be 0 + (-9)/(-2 + -1). Suppose -4*c + 346 = j*r + 2*r, 4*c - 4*r = 364. Is c a prime number?
True
Let f = 86 - 124. Let p be f/(18/22 + -1). Let x = p + -126. Is x a composite number?
False
Let a = 7 + -29. Let k = a - -41. Is k a prime number?
True
Let r(y) = -y + 5. Let i be r(8). Let b be 0/(-1*(-6)/i). Suppose 2*j - 3*j + 37 = b. Is j composite?
False
Suppose -4*i + 4*l = -172, 3*i - 2*l = 50 + 74. Suppose -3*n = -73 - i. Is n a composite number?
False
Let u(v) be the second derivative of -v**4/12 + 5*v**3/3 - v**2 - 6*v. Is u(6) composite?
True
Suppose -2*c - 39 = 2*w - 165, 0 = w - 5*c - 57. Suppose 3*f - 173 = -w. Is f prime?
True
Suppose -4*j - 2*w - 8 = 0, 3*j - j + 5*w = -4. Suppose 0 = k + k - 4. Is j/((-2)/22*k) composite?
False
Let s(k) = k - 4. Let c be s(6). Let v = 128 + -81. Suppose -c*z - v + 469 = 0. Is z composite?
False
Let p = 2101 + -1136. Is p a composite number?
True
Let y be 1*5*8/20. Let a(c) = -134*c - 5. Let n(k) = -27*k - 1. Let i(p) = y*a(p) - 11*n(p). Is i(2) composite?
False
Let m = -55 - -5. Let z be 3*(2 - (-74)/(-6)). Let a = z - m. Is a a composite number?
False
Let s = 10 - 3. Let l = -9 + s. Is ((-33)/(-9))/(l/(-42)) composite?
True
Let b(k) = k**2 + 479. Is b(0) prime?
True
Let v = -10 + 15. Suppose v*n = 3*i + 1304, -n = -i - 171 - 91. Is n a composite number?
True
Let a(v) = 13*v - 10*v + 127*v - 3. Let p(y) = -y**2 + 2*y + 2. Let o be p(2). Is a(o) composite?
False
Let q be ((-27)/(-45))/((-2)/(-50)). Suppose -j - 3*z + q = -0*j, 4*z = 2*j + 10. Suppose -295 = -j*x - 2*x. Is x a prime number?
True
Suppose 0 = u - 0*u - 943. Is u composite?
True
Is 44 + (-4 + 3)/1 prime?
True
Let d(w) = 18*w**2 - w. Let g be d(1). Let t = g + -7. Is t composite?
True
Let b(u) = u**2 + 2*u - 5. Let m be b(4). Suppose -7 + m = -2*o. Let r = 27 - o. Is r composite?
True
Suppose 5*x - 6209 = -2*x. Is x a prime number?
True
Let c(l) = 8*l**3 + 13*l**2 - l - 18. Let s(n) = 3*n**3 + 4*n**2 - 6. Let i(z) = 4*c(z) - 11*s(z). Is i(7) composite?
True
Let q(a) = -a**3 + 4*a**2 + a. Let t be q(4). Let x be 2/(-6)*(-2 - t). Suppose g + 0*g = 2*o + 29, -2*o = x*g - 82. Is g prime?
True
Let z = 32 + 25. Suppose -51 - z = 3*u. Let c = u - -113. Is c prime?
False
Let i be (-10)/(-4) + (-2)/4. Let u be (i + 1 - 3)/(-2). Suppose u = 2*c - 6 - 32. Is c composite?
False
Let k(a) = 3*a**2 - 8*a - 8. Let v be k(-6). Let u = v - 3. Is u prime?
False
Suppose 2*c + 3*c - u - 3531 = 0, -4*u - 2812 = -4*c. Is c composite?
True
Suppose 5*t = 4908 + 962. Is t a prime number?
False
Let z be 1 + 0 - 4*1. Is 93/(-6)*(z - -1) composite?
False
Let p = -6 - -4. Let l(h) be the third derivative of h**5/12 - h**4/24 - h**3/6 + h**2. Is l(p) a composite number?
True
Suppose -2 + 0 = -2*w. Is (w/2)/(1/6) a prime number?
True
Suppose -4*j + 3482 = 2*c, 0 = -4*c + 5*j + 8781 - 1869. Is c composite?
False
Let g = 5 + -2. Suppose 0 = -g*m - m + 644. Is m a prime number?
False
Let p(z) = 7*z**2 - 7*z - 7. Let a(w) = 8*w**2 - 8*w - 7. Let r(j) = -2*a(j) + 3*p(j). Is r(7) a prime number?
False
Let n(v) be the second derivative of v**4/6 - 7*v**2/2 + 3*v. Suppose -h + 7 = -0*h. Is n(h) prime?
False
Let d = -14538 - -24635. Is d prime?
False
Let s be (6/4)/((-12)/(-16)). Suppose 4*c = -4*i - 176, -s*i - 3*i = 0. Is c*7/(-4)*1 a composite number?
True
Let u be 3 + 3*3/9. Let w(y) = 11*y + 3. Is w(u) composite?
False
Suppose 4*p + 2810 = -9*s + 11*s, 0 = 3*s + 4*p - 4195. Is s prime?
False
Suppose 4*z + 4*q = 2836 + 1308, 2*z = 3*q + 2047. Suppose -4*c + z = 3. Is c prime?
True
Is (-2)/(-3 - (-1111)/371) a prime number?
False
Let g(u) be the second derivative of 3*u**4/4 - u**2 + u. Is g(3) composite?
False
Suppose 5*u - 61 - 119 = 0. Let s(r) = -131*r**3 + r**2 - 1. Let m be s(-1). Let t = u + m. Is t a composite number?
False
Let j(d) = -d - 1. Let k(f) = f**2 - 1. Let l be k(1). Let i be j(l). Is (i/(-1))/(2/8) a composite number?
True
Let n(i) = i**2 + 2*i + 4. Let l = 9 - 4. Let u = l - 10. Is n(u) a prime number?
True
Is -2 - (-9)/(-6)*-74 a prime number?
True
Suppose -3*m + 6*m - 12 = 0. Suppose -2*f - 291 = -4*p + 301, -m = -2*f. Is p prime?
True
Suppose -3*w = 2*u - 128, w + 3*w - 64 = -u. Suppose -l - u = 3*c - 285, -2*c - l = -147. Suppose -5*z = -184 + c. Is z a prime number?
False
Suppose -3*r - 4*r = -2037. Is r composite?
True
Suppose 5*g + 25 = 4*m, -5*m - 2 = 5*g - 22. Suppose -m*w + 32 + 28 = 0. Is w/(-6) - 12/(-1) prime?
False
Let p(a) = 54*a**2 + 4*a + 53. Is p(-9) a prime number?
True
Let t be (-2)/(-6) - 38/(-3). Suppose o - 1 = -0*o. Let b = o + t. Is b a composite number?
True
Suppose 3*f - 1387 = 2*d + 2*d, 4*f - 1854 = 3*d. Suppose s = -4*s + f. Is s composite?
True
Let i(v) = 2*v**2 - 9*v + 2. Is i(5) a composite number?
False
Let f = 1023 + -230. Is f a prime number?
False
Let k(r) = -2*r - 5. Is k(-6) a prime number?
True
Let m(k) = k**3 + k**2 - k + 889. Is m(0) composite?
True
Suppose 0 = 4*l + 2 - 6, 3*m = 2*l - 122. Let t = m + 66. Is t a prime number?
False
Let t be 11 + -9 - (-2)/2. Suppose 0 = f - t*f + 870. Suppose 8*y = 5*y + f. Is y a composite number?
True
Suppose 2*r = 5*i + 6*r - 7553, 3*i - r - 4542 = 0. Is i a prime number?
False
Let s = -7 - -13. Suppose 2*r = s*r - 472. Is r a composite number?
True
Let x(q) = q - 2*q + 7 - q**2 + 3*q**2. Let r be x(-5). Is -2*(r/(-4) + 0) composite?
False
Let o = 63 + -6. Suppose w + 2*w = o. Suppose 0 = -2*y - 5 + w. Is y a composite number?
False
Let x(g) = 4*g**2 + 2*g + 7. Is x(-5) a composite number?
False
Let t(n) = -2 + 2*n**2 - 6*n**2 + 3*n**2 + 7*n + 0. Let s be t(6). Suppose -2*d = 2*o - 63 - 105, s*o - 2*d = 342. Is o a composite number?
True
Suppose 0 = c - j, 4*c + 4*j = 3*c + 15. Suppose 3*m + 11 = -v, 38 = -5*v + c*m - m. Let s = 57 + v. Is s composite?
True
Let m(l) = 6*l + 1. Let s be m(-1). Is (-1)/(-1) - 365/s prime?
False
Let k = 15 + -11. Suppose 0 = 3*m - 3*n - 78, 62 = k*m + 5*n - 87. Is m prime?
True
Is 2*-127*9/(-18) a composite number?
False
Let j = 45 + -49. Let g be 9/2*14*1. Let r = j + g. Is r a prime number?
True
Is 1932/18*3/2 a composite number?
True
Let b(m) = 124*m - 1. Is b(3) composite?
True
Suppose -4*q - 4*y - 175 + 35 = 0, -2*y - 4 = 0. Let x be ((-2)/(-3))/((-2)/q). Let m(j) = -j**3 + 12*j**2 - 11*j + 13. Is m(x) composite?
False
Suppose -4*f = 730 - 1958. Is f a composite number?
False
Let k be (161 - (-3 - -2)) + 1. Let j = k + -110. Is j prime?
True
Is (124/(-6))/((-8)/12) composite?
False
Let z be 3/(-1) + (0 - 1). Let f(y) = -94*y + 3. Is f(z) composite?
False
Let u(r) be the second derivative of 49*r**3/6 - r**2/2 + 3*r. Is u(2) a composite number?
False
Suppose -2*v + 823 + 115 = 0. Is v a composite number?
True
Suppose -425 = 3*a - 1304. Is a composite?
False
Is (-454)/(-4) - (25/5)/10 a prime number?
True
Suppose f = 4*h - 385, -7*h + 3*h - f + 391 = 0. Is h composite?
False
Suppose -5*w = 25, 0 = 2*a + 3*w - 2*w - 37. Let r = a - 6. Is r a composite number?
True
Let x be (-105)/6*(-8)/10. Suppose 3*s = 187 + x. Is s prime?
True
Let l be (60/16)/(1/8). Suppose -2*c - 3*v = -6*v + 19, -l = 3*c - 5*v. Is (-97)/c - (-6)/(-15) a prime number?
True
Let y(r) = -r**3 + 3*r**2 + 6*r - 3. Let n be y(4). Suppose -t + 6 = -n*a - 10, t + 5*a = 6. Is t composite?
False
Let s = -233 - -396. Is s a prime number?
True
Let d = -6 + 4. Let z be d - 5/(10/(-6)). Let n = z - -36. Is n prime?
True
Is 6/(-9) + (-10030)/(-6)