 Let c = k + -83. Let g = c + 47. Is g a prime number?
False
Suppose 2*l - 2*u - 282 = 0, -3*l - 2*u + 126 = -2*l. Suppose 2*n - 4*n + l = 2*s, -270 = -4*s - 2*n. Is s composite?
False
Let m = -6 + 11. Suppose -n + 85 = -m*c + 4*n, n = 5. Is (-3)/c + 1113/12 a prime number?
False
Suppose 1306 = -6*a + 8*a. Is a a prime number?
True
Suppose 3*c - 5*t - 2268 = 0, 6 + 9 = -5*t. Is c composite?
False
Suppose -w + 2715 = 2*w. Let v = -340 + w. Is v a prime number?
False
Suppose -5*p - h = 0, -2*h = -5*h - 15. Let b be 6 + (-4 - (-1 - 1)). Is p + -2 - -2*b a prime number?
True
Let n be 5 + (-1 - -1) + -1. Suppose n*s - 52 = 2*s. Is s a composite number?
True
Is 6715/7 - (-6)/(-21) prime?
False
Suppose -1657 = -4*m + 595. Suppose 3*b - m = -4*f, 547 = 4*b - b - 4*f. Is b a composite number?
True
Suppose -2*o + u + 107 = -2*u, o - 3*u = 61. Is o a prime number?
False
Let b be (-10)/(-6) + (-1)/(-3). Suppose -2*d = b*d - 188. Is d a prime number?
True
Let b(m) = -m**3 + 4*m**2 + 2*m - 3. Let i be b(3). Suppose -4*a = i, 5*l - a - 204 = 2*l. Is l prime?
True
Is 1*(153 + 3 + -7) prime?
True
Suppose 0*x = -3*w + 4*x + 3, 0 = 2*w + 4*x - 22. Let h = -1 - 5. Is ((-2)/h)/(w/195) a composite number?
False
Is ((1 - 4) + 2)*-199 a composite number?
False
Suppose 3*z - 5*t - 89 = -0*z, -5*t = -z + 33. Is (9/(-6))/((-6)/z) a composite number?
False
Let r(o) = 123*o**2 - o + 7. Is r(-3) composite?
False
Suppose 5*s - 7*s - 6 = -2*t, 4*s - 2*t = -2. Let i be ((-6)/4)/(1/(-74)). Suppose s*p - i = -p. Is p a composite number?
False
Let l = 1 + -3. Let j be (-1 + 2)/((-1)/l). Suppose s + j*s = 9. Is s composite?
False
Let w(r) = -5*r - 22. Is w(-16) prime?
False
Suppose 5*g = -2*u + 26 + 2, 26 = 5*g + 4*u. Suppose 4*r - 11 = -p, 2*p + 4*r = g + 4. Is (-39)/4*4/p prime?
False
Let o be ((-2)/(-4))/(5/20). Suppose 2*t + 0*y - 27 = y, -2*t - o*y = -30. Is (-2)/7 - (-46)/t a composite number?
False
Let l(s) = 9*s - 7. Let v(m) = m. Let k(c) = l(c) - 6*v(c). Let q be k(5). Suppose -b = -15 - q. Is b composite?
False
Let o(w) = -w**3 + 3*w**2 - w + 4. Let u be o(3). Suppose 3*k - u - 11 = 0. Let d(q) = 13*q + 3. Is d(k) a composite number?
True
Suppose 2 = 4*b - 2. Let m = b - -2. Suppose 0 = -2*r + m*o + 16 + 4, -5*r = -2*o - 61. Is r composite?
False
Let g(s) = 6*s + 5. Let c be g(-7). Let a = c + 14. Is 2/(-4) + a/(-2) a prime number?
True
Suppose 8*f = 2*f + 18078. Is f prime?
False
Let m = -177 + 484. Is m prime?
True
Let h = -164 + 528. Let j = h - 153. Is j prime?
True
Let b = 407 + 260. Is b composite?
True
Let a = 2495 + -742. Is a prime?
True
Let f(q) = q - 2. Let z be f(1). Is (-33 + -4)*(z - 0) a composite number?
False
Suppose 3*t + 2479 = 5*d, -5*d + 3*t + 2481 = t. Is d a prime number?
False
Let c = -27 + 29. Suppose 0 = -7*i + 3*i + 28. Is c/(-4)*(-69 + i) composite?
False
Let l(h) = 38*h**2 - 7. Is l(6) prime?
True
Let y(k) = k**3 + 3*k**2 - 5*k - 1. Let t be y(-4). Let l(w) = -2*w**3 + 2*w + 2*w**3 - 4*w**2 + 3*w**3 + 2. Is l(t) a composite number?
False
Suppose 0 = -0*b - 3*b. Suppose 6*z - z + 21 = n, b = -2*n - 3*z + 68. Is n prime?
True
Let t = 12 - 7. Suppose -t*z = -53 - 2. Is z a prime number?
True
Let d = -397 + 1514. Is d a prime number?
True
Let s(m) = m**3 - 5*m**2 + 1. Let n be s(5). Suppose 5*i - v - 9 = 0, -2*i + v + 2*v = -n. Is i/(-1)*(-67)/2 composite?
False
Let x = 6 + -2. Suppose 226 = -2*o + x*o. Is o prime?
True
Let n = 18 + -13. Suppose 0*i - 2*i = -f - 5, n = i - f. Is (-2*53)/(-2 - i) prime?
True
Suppose 3*o + 0*o = 462. Let f = 302 - o. Suppose 0 = -t - 5*l + 186, 5*l + 445 = 2*t + f. Is t a prime number?
False
Suppose -4*z = 3*x - 1850 + 394, -5*x = 2*z - 714. Is z a prime number?
True
Let t(x) = -3*x**3 - 2*x - 2. Is t(-3) prime?
False
Suppose 8 = -q - 3*q. Let p be q/(-3)*(-9)/(-2). Is (153/p)/((-6)/(-4)) a prime number?
False
Suppose 10*k - 2920 = 7110. Is k a composite number?
True
Let q(c) = c**3 - c**2 - 3. Let g(o) = -3*o**3 + o**2 + 6. Let x(j) = 2*g(j) + 5*q(j). Is x(-5) a composite number?
False
Suppose 0*o = o - 10. Is (-31)/o*2*-5 a prime number?
True
Let m(f) = 21*f**2 + 3*f + 1. Let v be m(-2). Let y = v + -46. Is y composite?
True
Suppose -5*p - 2*g + 4675 = 0, -3*g - 123 = 5*p - 4803. Is p prime?
False
Suppose 2*g + 127 - 2525 = -5*q, 2*g - 8 = 0. Is q composite?
True
Let d = 2 - -22. Suppose -4*q = -16 - d. Is (q/4)/1*14 a composite number?
True
Let i(s) = -s**2 + 6*s**2 + 2*s - s**2 + 3. Let y(w) = 3*w - 1. Let g be y(-2). Is i(g) composite?
True
Let c be (-63)/(1/((-2)/1)). Suppose 137 + c = s. Is s a prime number?
True
Let w(s) = -s. Is w(-13) composite?
False
Let d = -303 - -639. Suppose 2*v - 3*v - d = -4*j, 5*v - 168 = -2*j. Suppose -k - 17 = -j. Is k a prime number?
True
Let k = 82 + 141. Is k a composite number?
False
Is (-2 - -4)/((3/(-267))/(-1)) composite?
True
Suppose 2*t - 7 = -3, -5*v + 2*t - 4 = 0. Suppose 5*k = -5*f - 1099 + 3254, v = -4*f + 2*k + 1724. Is f a prime number?
True
Is 2050/26 - (-2)/13 prime?
True
Suppose -k = k - 3*m + 10, -5*k + 4*m - 18 = 0. Is k - (-2 - -1)*89 a prime number?
False
Suppose 0*w - 3*w + 21 = -3*m, 23 = 3*w - 5*m. Is w a composite number?
True
Is (502/(-10))/(6/(-30)) prime?
True
Let k(z) = -5027*z**3 + z**2 - z - 2. Is k(-1) a prime number?
False
Let y = -871 + 1624. Is y composite?
True
Suppose -27307 + 5214 = -5*s - 4*f, -6 = 2*f. Is s prime?
True
Suppose 0 = -5*k + 129 + 266. Is k a prime number?
True
Let s = 11 - 5. Suppose -3*n + 69 - s = 0. Is n a composite number?
True
Let f(v) = -v**3 - 9*v**2 - v - 9. Let d be f(-9). Suppose 3*g - 3*r - 192 = d, 5*g + 2*r - 159 = 196. Is g a composite number?
True
Let t(d) = 4*d**2 + 8*d + 11. Is t(8) a prime number?
True
Let k be (-1)/(-2)*(-11 - -5). Let z = k + 9. Is z composite?
True
Suppose 5*m - 499 = -4*j, 0 = -5*m - 2*j + j + 511. Is m prime?
True
Suppose 4*d + 1710 = 2*c, -358 = d - c + 67. Let r be 5/(25/(-2))*d. Let j = 257 - r. Is j composite?
True
Let z(q) = q**3 + 8*q**2 - 6*q - 11. Let m be z(-8). Suppose -3*x - x - m = -3*h, -85 = -5*h + 2*x. Suppose -h = g - 2*g. Is g a prime number?
True
Let g = -1705 - -2648. Is g composite?
True
Is (-323)/34*(-117 - 1) a prime number?
False
Let z(c) = -c**2 - c + 6. Let p be z(0). Let g be (10/p)/(4/444). Suppose 4*b + b = g. Is b composite?
False
Let z = -2208 - -1522. Is 4/10 - z/10 a prime number?
False
Suppose 6*b = 2450 + 3268. Is b a composite number?
False
Suppose 2*l - 5*i = 83, -3*l - 4*i = i - 162. Is l a prime number?
False
Let x be 4/24 - (-53)/6. Let z(i) = 4 + 15*i - 2*i**2 - 5*i - i**2 + 2*i**2. Is z(x) a composite number?
False
Suppose 25 = -11*a + 16*a. Suppose -4*n - a*x + 347 = -80, -x = -n + 118. Is n a composite number?
False
Let p(f) = -5*f - 34. Is p(-17) a prime number?
False
Let j(z) be the third derivative of z**4/4 + z**3/6 - 3*z**2. Let s(q) = -q. Let c(t) = -j(t) + 4*s(t). Is c(-8) prime?
True
Suppose -5*v + 11 = -3*u - v, 5*u + 2*v - 25 = 0. Suppose -4*w + 217 = 3*j - 0*j, -184 = -u*w + 2*j. Is w prime?
False
Let o = -1500 - -2353. Is o a composite number?
False
Let z = 7 - 4. Is -1*(-51)/(z + -2) a prime number?
False
Let r(b) = -2*b**3 - 5*b**2 - 5*b - 1. Is r(-5) prime?
True
Let d be -11*(-6 - -2)/2. Let q = d - -45. Is q prime?
True
Let y(c) = c**3 - 11*c**2 - 15*c - 18. Let g be y(13). Let m = -54 + -22. Let l = m + g. Is l a composite number?
True
Let z = 4 - 4. Suppose -4*g + 3*g + 31 = z. Is g a composite number?
False
Let u be (-22)/165 + 47/15. Suppose -u*j = -2*i + 1066, i + 3*i - 3*j - 2132 = 0. Is i composite?
True
Let n = -4 + 3. Is 67*(n + 4) + 0 a composite number?
True
Let r(n) be the first derivative of -n**3/3 + 17*n**2/2 + 19*n + 5. Is r(13) composite?
False
Let q(m) = m**3 - 2*m**2 + 337. Is q(0) a composite number?
False
Let x(b) = -34*b - 2. Is x(-4) composite?
True
Suppose -3*a = -8*a - 5, 3*r - 4*a = 1099. Is r composite?
True
Let f be 2/1 + (-4)/(-2). Suppose 0 = y - 3*y + f*j + 114, 3*j + 52 = y. Is y a composite number?
False
Let t(u) = -2*u**2 - 3*u + 5. Let f(s) = -s. Let h(k) = 5*f(k) - t(k). Is h(-8) a composite number?
False
Let b be (-4)/6 + (-478)/(-6). Let z be -6 - -3 - 26 - 3. Let t = z + b. Is t a composite number?
False
Let w be 2/(-1 + (-147)/(-153)). Is w*(-8)/(-36)*-3 composite?
True
Suppose -4*