9*z + 5*z + y. Is z composite?
False
Let c be 326*((-15)/(-6))/(-5). Let y = -60 - c. Is y a composite number?
False
Let v = -727 - -1298. Is v prime?
True
Suppose -257 = -2*u + m, 3*u + 2*m + 252 = 5*u. Is u composite?
False
Let w be (-4)/14 + (-594)/(-21). Suppose 4*g = 5*s - 8, 0 = 2*s + 4*g + 8 - w. Let j(o) = o**3 - 3*o**2 + 4*o + 3. Is j(s) a prime number?
False
Let j = 7 - -1. Suppose 3*c = -2*y + 293, 3*c + j*y - 305 = 3*y. Is c a prime number?
False
Let f(a) = -2*a**3 + 2*a**2 + 3*a - 5. Is f(-6) a prime number?
False
Is 1/4 + (86401/28 - -3) a composite number?
False
Let t be -15*1*7/(-1). Is (-1 - t)/(10/(-5)) a composite number?
False
Suppose 8*k - 7250 = 11190. Is k composite?
True
Suppose 0 = -2*l - 2*l + 232. Is l a prime number?
False
Suppose x - 377 - 54 = 0. Is x a prime number?
True
Suppose -h + 3 + 2 = -2*v, -v + 5*h = -11. Is v/14 + (-1614)/(-14) prime?
False
Suppose 2*r = -5*o + 269, -3*o - 4*r - 53 = -206. Is o a composite number?
True
Let r be (16/(-20))/(4/30). Let v = 3 + r. Is 8 + 1*3/v a composite number?
False
Let k be 1 + -5 + -2 + 2. Is (4 - -2)*(-26)/k composite?
True
Let z = 1 + -4. Let p(r) = -4*r - 2. Is p(z) a prime number?
False
Let i(l) = l**3 - 2*l**2 - 2*l - 1. Suppose -2*v = -5*q + 24, 0*q - q + 6 = -v. Is i(q) prime?
True
Is (2 - -9)/((-4)/(-212)) a prime number?
False
Let c(o) = -o**3 + 2*o**2 - 2*o + 7. Let p be c(3). Let d(l) = -13*l + 11. Is d(p) a composite number?
True
Let f = 1174 - 465. Is f prime?
True
Let k = 1118 - 529. Is k a composite number?
True
Is (7 - (3 + 6))/(2/(-19)) composite?
False
Let f = -6 - -9. Suppose -5*u - 24 = a - 2*a, -34 = -2*a + f*u. Let s = a - 7. Is s a prime number?
True
Let w(f) = f + 3. Let b be w(0). Suppose b*c - 371 = -2*k, k = -5*c + 427 + 203. Is c prime?
True
Suppose -3*o - p - 3*p + 559 = 0, -p = -2*o + 369. Is o a composite number?
True
Let l(c) = c**3 - 10*c**2 + 8*c + 5. Let y be l(10). Let j = 31 - y. Let r = j + 91. Is r composite?
False
Is 635/(-15)*(-2 - 1) a prime number?
True
Let o(n) = -n**3 + 7*n**2 - 5*n - 4. Let h be o(6). Suppose 5*a + 3*i - h = -1, -a + 2*i = -8. Suppose -7*j - 67 = -3*s - 2*j, -36 = -a*s - j. Is s composite?
False
Suppose 0*k - 707 = -k. Let b = k - 390. Is b a prime number?
True
Suppose f + 4 = -0. Let m be -2*(10/f - 0). Let r(z) = 7*z - 2. Is r(m) a composite number?
True
Let s(p) = 26*p - 3 + 17 + 7. Is s(7) composite?
True
Let y = 0 - -4. Let c(j) = 2*j**2 - 6*j. Let o(b) = b**2 - 3*b. Let g(m) = -4*c(m) + 9*o(m). Is g(y) composite?
True
Suppose 2801 = 12*f - 2611. Is f composite?
True
Let c(i) = 39*i**2 - 2*i + 3. Let q be c(-3). Suppose -6*v = -5*u - v + q, -2*u + 124 = 2*v. Is u prime?
True
Let u(a) = 49*a**2 - 3*a - 3. Let k(x) = 98*x**2 - 7*x - 7. Let j(w) = -2*k(w) + 5*u(w). Let v(c) = c + 3. Let i be v(-4). Is j(i) a composite number?
True
Let p(i) = -2*i**3 + i. Let a be p(-1). Is a/3 - 208/(-6) prime?
False
Let i = -1 - -1. Suppose -3*a + n + 1 + 6 = i, -2*n = 2*a - 18. Suppose a*g + 0*g - 308 = 0. Is g prime?
False
Let m be ((-3)/(-1))/(-3) + 1. Suppose -4*k + 6*k - 102 = m. Is k composite?
True
Suppose -3*z + 815 = 2*z. Is z prime?
True
Let q(i) = -i**2 + 11*i - 3. Let g be q(10). Let c = 72 + g. Is c a composite number?
False
Suppose 739 = h - b - 221, -5*h - 3*b = -4760. Is h composite?
True
Suppose -8 - 4 = -2*i. Let t(q) = -5*q - 10. Let n be t(-3). Suppose n*j - i = -p + 10, 2*j = -2. Is p prime?
False
Let y(a) = -2 - 2 + 3*a + 1. Let b be y(2). Suppose -22 = -5*m + b*m. Is m a prime number?
True
Suppose 2 = 5*q - 13. Let b be (224/q)/4*3. Let h = b - 37. Is h a composite number?
False
Suppose 2*d - 9 = -3. Suppose -2*f - d = -1. Is -131*(2 + -1)*f a composite number?
False
Let c(l) = -l**3 + 15*l**2 - l + 22. Let q be c(15). Let v(y) = 3*y**2 + 8*y + 8. Let k be v(-6). Suppose -3*g + k = 5*t, q*t - 2*t = g - 16. Is g prime?
False
Let w = 6 + -3. Let i be 2*1/(-1)*1. Is w/i*(0 + -2) composite?
False
Suppose -5*f = 4*y + 10, 5*f = y + 3*y - 10. Let u(q) = -8*q + y - 8*q - 4 + q**3 + 7*q + 6*q**2. Is u(-7) a composite number?
True
Suppose -2*q - 1 = -135. Is q prime?
True
Let p = 70 + -50. Suppose 12 = 2*j + 4. Suppose -j*r + 208 = p. Is r a composite number?
False
Let w = 1061 - 715. Is w composite?
True
Let t(y) = y**3 - 9*y**2 + 9*y - 4. Is t(9) composite?
True
Let r be -1 + 1/(-2)*-2. Suppose r = 3*d - d - 586. Is d a composite number?
False
Is (1*111)/(15/25) a composite number?
True
Suppose 7 = -5*i + g - 0, -4*i - g - 11 = 0. Let t be (-1)/i - (-3)/(-6). Suppose 2*f + 87 = a - t*f, -4*f - 89 = -a. Is a a composite number?
True
Let a be (-6)/(-9) - 64/(-3). Suppose -r = -3*r + a. Is (-8)/(-44) + 1769/r prime?
False
Suppose 5 = -2*l + 13. Suppose -2*g + 4*m - 2 = -42, -16 = -l*m. Let q = g - 13. Is q a prime number?
False
Suppose 3*x - 3062 - 5203 = 0. Suppose -a = -6*a + x. Is a composite?
True
Suppose 3*l = l. Suppose l = -3*x + 101 - 32. Let d = -13 + x. Is d a prime number?
False
Suppose 3*v - 37 = -2*f, 2*v + 4*f = 5*f + 20. Is v composite?
False
Let i(t) = -t + 223. Is i(0) prime?
True
Let y(l) = 3*l**2 - 3*l. Suppose -4*c - 5*m = 17, 4*c + 6*m + 12 = 2*m. Let n = 4 - c. Is y(n) prime?
False
Let v(g) = g**3 - 5*g**2 - 7*g + 8. Let x be v(6). Is (-115)/(-20)*10*x a prime number?
False
Let w(c) = c + 1. Let o be w(0). Let f = 5 + -3. Is f - o - (1 + -3) prime?
True
Let g = 245 + 62. Is g a composite number?
False
Suppose -1493 = -4*a + 2*n + 3*n, -n = 5. Is a a prime number?
True
Let y(l) = l**3 + 6*l**2 - 3*l - 4. Is y(-6) a composite number?
True
Suppose 53*v = 50*v + 2427. Is v prime?
True
Let f(n) = 11*n + 1. Let x(r) = -3 - 10*r + 1 + 2 - 1. Let a(d) = -4*f(d) - 3*x(d). Is a(-7) composite?
False
Let p be 3*1/((-9)/(-6)). Suppose p*i = u + 30, -44 = -2*i - u - 14. Is i composite?
True
Suppose 5*m = 3*m + 5*i - 42, m + 3*i = 1. Suppose -4*u = -c + 263, -334 = 5*u + 5*c - c. Let d = m - u. Is d a composite number?
True
Suppose 21 = -0*u - 3*u + 4*j, 2*u + 13 = 3*j. Let r(f) be the third derivative of f**5/30 + 3*f**4/8 - 8*f**3/3 + f**2. Is r(u) a composite number?
False
Suppose 5*x + 4 + 6 = 0. Let f be 5/10 - 37/x. Suppose -5*s - d + 57 = -4*d, 3*s = -2*d + f. Is s a composite number?
True
Let h(t) = t**2 - 2*t**2 + 0 + 5 + 10*t. Suppose 3*u - 12 = 3*r, 2*u - u = -4*r + 24. Is h(u) prime?
False
Suppose -1 = -u + 2. Suppose -3*q + 5 = 2*d, 2*q + u*q + 5*d = 0. Suppose 1 - 148 = -4*b - z, -2*b = -q*z - 79. Is b prime?
True
Suppose 3*q - 171 = -0*q. Is q a prime number?
False
Let u(v) be the third derivative of -1/12*v**5 - 2*v**2 + 0 + 7/6*v**3 + 0*v + 1/120*v**6 + 1/24*v**4. Is u(6) prime?
False
Let k(s) = -9*s - 3. Let f be k(-5). Suppose -2*h - f = -3*h. Suppose -u + h = 4*a - 23, 4*a - 40 = 4*u. Is a composite?
True
Let l be (-90)/6*(-1)/3. Suppose 20 = c - 5*d, 2*c - 3*d - 28 = -l*d. Is c a prime number?
False
Let n(b) = b**3 - 11*b**2 + b - 14. Is n(13) composite?
False
Suppose 6297 = -13*i + 16*i. Is i prime?
True
Let w be (-12)/78 - (-41)/13. Suppose y - 4*y - 9 = 0, -y = -w*r + 366. Is r a composite number?
True
Suppose -45 = 3*n + 2*n. Is (6/n)/((-4)/714) a composite number?
True
Let v(o) = -14*o + 3. Is v(-2) composite?
False
Let b(q) = -q**3 + 2*q**2 + 293. Is b(0) prime?
True
Suppose 10*g - 3815 - 3615 = 0. Is g composite?
False
Let q(y) be the first derivative of -5*y**2/2 + y + 2. Let r(b) = 15*b - 2. Let z(p) = 7*q(p) + 2*r(p). Is z(-4) a composite number?
False
Is 1986/24*(-2 + (4 - -2)) a prime number?
True
Let f = -302 + 507. Is f prime?
False
Let h(j) = j**3 + 4*j**2 + 3*j. Let a be h(-3). Suppose l = 2*l - 5*g - 95, -4*l - 2*g + 380 = a. Is l a composite number?
True
Let g be ((-3 + 6)/(-1))/(-1). Suppose 0 = a - g, i + 25 = 2*i - 2*a. Is i a prime number?
True
Let x = -1 + -2. Let k(t) = t**3 + 4*t**2 - 2*t - 4. Is k(x) composite?
False
Let x = 17 - -354. Is x a composite number?
True
Let u(c) be the third derivative of 31*c**4/24 - c**3/2 + 3*c**2. Is u(4) prime?
False
Let z(c) = c**3 - c**2 - 4*c + 251. Is z(0) prime?
True
Suppose 4*q + h - 90 = 14, 0 = -3*q + 5*h + 55. Suppose -5*a - q = 15. Is 1/4 + (-614)/a a composite number?
True
Is (-26523)/(-45) - (-4)/(-10) composite?
True
Suppose 8*x = 4*x + 2564. Is x a prime number?
True
Let s(r) = 27*r**2 + 19*r**2 - 9*r**