-3*i - 2 = s, 4*i + 0*i = -4*s - 16. Is m/s + (-6)/(-15) a composite number?
False
Let t(q) = 82*q - 9. Is t(4) a composite number?
True
Is (-185)/(-5 - 0)*17/1 a composite number?
True
Let t = 23 + -38. Let z = 30 + t. Is z prime?
False
Let z(c) = c**3 + c**2 - 1. Is z(6) composite?
False
Let p(l) = -l**2 + l + 340. Let c be p(0). Is c - (-3 + (7 - 1)) prime?
True
Suppose -4*j = -j - 1596. Is (-6)/4*j/(-21) a prime number?
False
Let l(z) = -1. Let y(p) = p**3 - 6*p**2 - 5*p + 2. Let j(w) = 4*l(w) - y(w). Let a be j(6). Is (28/(-6))/((-8)/a) a composite number?
True
Let k be 12/9 - (-2)/3. Suppose -298 = -k*b + 70. Is b/6 - 4/(-12) a composite number?
False
Let r = 67 - 24. Suppose j + 1 = 2*j. Is r + j + (-2 - -1) a prime number?
True
Let y = -3 - -4. Let b = -36 - y. Is 0/4 - b*1 prime?
True
Let l(a) = -a**3 - 2*a**2 + a - 5. Suppose 4*h + 4 = 6*h. Suppose -4 = -h*u + 3*u. Is l(u) a composite number?
False
Let o be 4 - (142 + (-3)/1). Let q = o - -346. Is q composite?
False
Let d = -6 - -10. Suppose x + 0*x + 2*j - 173 = 0, 696 = d*x + 4*j. Let b = x - 78. Is b a composite number?
False
Let u be (-1)/(-3) - (-98)/21. Suppose 0 = u*k - 2*l + 7*l - 65, 3*l = -4*k + 52. Is k composite?
False
Let w be (1*-1)/(2/4). Let h be -33 + 0 - (w + 0). Let c = -6 - h. Is c prime?
False
Let o(z) be the second derivative of z**3/6 + 4*z**2 + 3*z. Is o(13) a prime number?
False
Let a be (6 - 3) + -6 - -2. Is a - 6*22*-2 prime?
True
Let p(r) = -26*r**3 + 3*r**2 + 2*r + 3. Let t be p(-3). Suppose 2*h = -4*c + t, -5*h = -3*c + 5*c - 367. Is c composite?
False
Suppose -13*m - 669 = -16*m. Is m a prime number?
True
Let q(v) = v**2 - 4*v - 8. Let x be q(7). Suppose -4*k + 3 = m, 0 = 2*k - k + 3*m + x. Suppose 2*j - 182 = -5*w + 3*w, -3*w - 202 = -k*j. Is j prime?
False
Let v be 9/2*14/21. Let j be 1*(-2)/v*-3. Suppose -p = j*p - 57. Is p prime?
True
Let w(g) = g**3 + 5*g**2 - 8*g - 7. Let l be w(-6). Let f(a) = 31*a + 3. Is f(l) a composite number?
True
Let q(f) = 7714*f - 1. Is q(2) a composite number?
False
Suppose -4 = -4*j, -3*n - j + 77 = -2*j. Is n prime?
False
Let m(d) be the third derivative of 11/6*d**3 + 0*d + 0*d**4 + 0 - 1/60*d**5 + d**2 + 1/120*d**6. Is m(0) a composite number?
False
Suppose 0 = 4*o - n - 4, 15 + 5 = 5*n. Suppose -o*z = z - 285. Is z a composite number?
True
Let b(x) = 2*x**2 - 8*x - 7. Is b(-8) a composite number?
True
Suppose -238 + 2257 = 3*q. Is q a composite number?
False
Suppose -j - 9 = -4*b, 5*b + 0*b - 4*j - 14 = 0. Suppose -3*r - 62 = -2*g + r, 3*g - 117 = -b*r. Is g a composite number?
False
Let k = -4 + 8. Suppose 2*q + 95 = 2*y + 7*q, k*y - 4*q = 232. Suppose 3*a = 4*a - y. Is a a prime number?
False
Let x = -128 - 228. Is (7/28)/((-1)/x) a composite number?
False
Suppose 4*k + 6*f = 2*f + 136, -4*f = 16. Is k a prime number?
False
Suppose -3*o + u + 294 = 5*u, -3*u = 3*o - 291. Is o a composite number?
True
Suppose -6 = 2*u - 5*i, -3*i + 0 = u - 19. Let a be 2*(-11)/(-2)*u. Is a - 0/(-1 - -4) a prime number?
False
Suppose -961 = -5*p - 3*w, 3*w + 10 = 8*w. Is p composite?
False
Suppose 11 = 5*y - 4. Suppose -y*u - u + 396 = 0. Suppose -2*r = -5*r + u. Is r a prime number?
False
Let v = 7 + 3. Let p be (0 - (-2)/4)*v. Suppose 5*k = -p*h + 270, -2*h + 2*k + 109 = 3*k. Is h composite?
True
Let w(h) = 24*h**2 - 9*h - 1. Is w(-4) prime?
True
Let y(v) = -7*v + 4. Suppose 2*t + 19 = 3*t - c, -3*t = 4*c - 71. Suppose -3*h + 2*f - 15 = 0, -3*f = -2*h - 2*h - t. Is y(h) prime?
False
Let i(z) = -z**3 - z**2. Let r be i(-2). Suppose -r*f = -2*f - 4. Suppose f*s + 8 + 239 = 5*c, 5*c + 4*s - 241 = 0. Is c a composite number?
True
Is 0/(6/3) - -611 composite?
True
Let v(r) = -198*r - 3. Is v(-4) prime?
False
Suppose 5*a = 3*a. Suppose -5*q + a*q = -735. Suppose 0 = 4*d - d - q. Is d a composite number?
True
Suppose j + 8 = -j. Is 483/6 - (-6)/j composite?
False
Let m be ((-46)/(-4))/(1/2). Suppose 36 + m = 3*o - s, -2*s = 3*o - 71. Is o a composite number?
True
Let s(r) = -r**3 + 5*r**2 + 4*r + 3. Let w be s(4). Suppose -5*o = 25, -3*h = 4*o - 1406 - w. Is h composite?
False
Let q = -268 - -488. Let x be ((-1)/(-2))/(1/q). Suppose -2*a + l = -a - 24, -4*a - 3*l = -x. Is a composite?
True
Suppose 242 - 56 = 2*g. Suppose -2*h + g = h. Let c = 56 - h. Is c a prime number?
False
Let y = -116 - -483. Is y composite?
False
Suppose -5*j + 4*v + 3183 = 0, -2*v - 3179 = -2*j - 3*j. Is j prime?
False
Let r(w) = w**3 - w**2 + w + 6. Let u be r(0). Let a be -2*3/u*-2. Suppose 111 = s + a*s. Is s prime?
True
Let v be (-100)/(-45) + (-2)/9. Let d be (-1 - -8)/(3 - 2). Suppose -j + v*r + d = -8, -31 = -5*j - r. Is j prime?
True
Suppose 222 = -2*d + d. Is (d/(-3))/((-4)/(-10)) prime?
False
Let k(b) = -243*b + 43. Is k(-8) a prime number?
True
Let v be -15*(-2 + -2 - 1). Let t be -55 - 0 - 2/(-1). Let f = v + t. Is f prime?
False
Let h be (393/(-9))/(1/27). Let q = -532 - h. Is q a prime number?
True
Let o(p) = p**3 + 5*p**2 + 2*p. Let f be o(-2). Let g be 20/6 - (-2)/(-6). Suppose f = -z + g*z. Is z composite?
True
Let l = 74 - 116. Let v = 293 + -102. Let c = v + l. Is c prime?
True
Suppose 0 = 10*z - 12*z + 406. Is z prime?
False
Let t(r) = 102*r - 13. Is t(3) a prime number?
True
Suppose 2 = f, 0 = -3*g - 2*f + 1446 + 1687. Is g a prime number?
False
Suppose -2*o + 291 = 5*j - 1606, 0 = -5*j - o + 1896. Is j composite?
False
Let u be (6/(-9))/((-3)/9). Suppose 109 + 18 = m - 2*f, u*m - 5*f = 251. Is m a composite number?
True
Let f(r) = -r**3 - 9*r**2 - 9*r - 10. Let k be f(-8). Is (-2 + 160)*(-1)/k prime?
True
Let f = -33 - -79. Is f prime?
False
Suppose 0 = -0*c - 2*c + 1784. Suppose -2*i = 3*i - n - 1115, -4*i + 3*n = -c. Is i a composite number?
False
Let p = 1075 + -404. Is p prime?
False
Suppose -5*o = -2*o - 450. Let i be (291/(-9))/((-5)/(-15)). Let w = i + o. Is w prime?
True
Let a = 4 + -1. Suppose 4*c - 330 = -2*j, -a*j + 3*c = -c - 475. Is j composite?
True
Suppose 3*m = -m. Is 253 + 3 + m + -2 a prime number?
False
Is 3*-1 + (3 - -133) composite?
True
Suppose -d + 0*t + 8 = -4*t, d - 4 = 2*t. Let x = d - -10. Is x a composite number?
True
Let u(q) = 8*q**2 - q + 3. Suppose 4*d = 7 + 1. Let h be 48/18*3/d. Is u(h) composite?
False
Suppose -5*a = -2*a - c - 1189, a = c + 399. Is a prime?
False
Suppose 0 = 3*g - o + 8, 4*g + 3*o + 6 = -9. Let v be 19/3 - 20/60. Is 0 + g/v*-62 prime?
True
Is (818/(-4))/((-8)/16) a composite number?
False
Let y = -7 - -12. Let d(s) = -s**3 + 11*s**2 - 6*s + 7. Is d(y) a prime number?
True
Let f(r) = -42*r**3 - 7*r**2 + 14*r + 13. Is f(-6) prime?
False
Suppose -1896 = -5*x - 5*z + 1884, -2*x + z + 1527 = 0. Is x a composite number?
False
Let c(y) = 10*y - 3. Let a(d) = 21*d - 6. Let p(f) = 3*a(f) - 5*c(f). Let v be p(2). Suppose v = 2*n - 23. Is n composite?
False
Suppose 5*d - 565 = 1120. Is d a composite number?
False
Let a be (-3)/12 - 90/(-8). Is (0 - a)*(-9 + 7) composite?
True
Suppose 5*q + 40 + 15 = 2*u, 0 = 4*u - 2*q - 150. Suppose -4*d - u - 41 = -5*b, d = 2*b - 30. Is b a prime number?
True
Let j(c) = 1421*c + 2. Is j(1) prime?
True
Suppose 3*j + 4*u = 9 + 7, 4*j = -2*u + 18. Suppose -j*a + a = -36. Let p = 75 + a. Is p prime?
False
Let x(p) = -p**3 + 17*p**2 + 40*p - 28. Is x(19) prime?
False
Is ((-2732)/(-3))/((-10)/(-15)) a prime number?
False
Suppose 5*d + 10 = 50. Let c(t) = t**2 + 9*t - 16. Let p be c(-11). Suppose -p - d = -r. Is r a prime number?
False
Let g(c) = -c**2 + 2*c + 367. Let j(y) = y. Let l(w) = g(w) - 4*j(w). Is l(0) composite?
False
Let q(x) = -19*x**3 + x**2 - x - 1. Let m be q(-1). Suppose 17 = g - m. Is g prime?
True
Let d(k) = -k**2 + 6*k + 5. Let q be d(6). Suppose -2 = -q*l + f - 5, 2 = -f. Is 0/l + -1 + 3 a prime number?
True
Let d = -13 - -7. Let a(x) = x**3 + 9*x**2 + 5*x + 1. Is a(d) a prime number?
True
Suppose 1062 = 3*d + 111. Is d a composite number?
False
Suppose -4*l = -24*l + 74980. Is l a prime number?
False
Suppose 24 = 2*z - 6*z. Let u = z - 31. Let k = 9 - u. Is k a composite number?
True
Suppose -3*o = 2*o + 3*r - 3956, -4*r - 3942 = -5*o. Suppose 225 = 5*i - o. Is i composite?
True
Suppose -1 + 6 = f. Suppose -3*q - 6*d + f*d = -196, 3*q = -5*d + 200. Is q prime?
False
Suppose -4*v - 3*f = -v - 675, v - 233 = -5*f. Is v a prime number?
True
Suppose -