ose 35 = -2*z + 4*z + 5*n, 2*n - 78 = -4*z. Let g be 1*(z/2 + -1). Suppose -v + g - 2 = 0. Is v composite?
False
Suppose 0 = -3*j + 2 + 4. Suppose 3*v = -a + 5, 5*a = j*v + a - 8. Is 2548/20 - v/5 composite?
False
Let c = 15 + -12. Suppose 0 = -c*v + 2*l + 203, 3*v - 106 = -2*l + 93. Is v a composite number?
False
Let p = -5 + 8. Suppose 0 = p*k + 4*o - 215, -k + 4*o = -o - 97. Is k a composite number?
True
Let p(x) = x**2 - 11*x - 11. Let b be p(-10). Suppose 4*z - 13 = b. Is z prime?
True
Suppose -2*l - 2 = 4. Is (8/(-4))/(l/87) a composite number?
True
Let l = 74 + -25. Is l a composite number?
True
Let l(f) be the first derivative of -7*f**4/4 - f**2/2 - 5*f - 11. Is l(-4) a composite number?
True
Let h(k) = k**2 + 5. Let w be h(0). Suppose 5*a - 56 = -3*g + 146, 0 = -5*g - w*a + 340. Is g a prime number?
False
Let l(m) = -m**2 + 10*m - 6. Let r(v) = -v**2 + 11*v - 7. Let j(u) = -3*l(u) + 4*r(u). Suppose -4*s + 32 = -4*o, -o - 6 = -5. Is j(s) composite?
True
Let x be (-2)/6 - 8/(-6). Is 2*x*74/4 a prime number?
True
Let a(j) = -4*j + 2 + 2*j + 9*j. Let n be (1 - -2) + 0 + 0. Is a(n) composite?
False
Let n(v) = 4*v. Let u be n(1). Suppose 3*y - 4*z = 25, z - 15 = -y + u*z. Suppose -21 = y*i - 66. Is i a prime number?
False
Let i = 8 - 3. Let f = i - -8. Is f composite?
False
Let g = 15 + -5. Let f(c) = c**3 - 11*c**2 + 13*c - 7. Let k be f(g). Let y = 12 + k. Is y prime?
False
Suppose -2*w = -4*x + 229 + 395, 328 = 2*x + 3*w. Is x composite?
True
Let j(c) = c. Suppose 0 = 3*z - 3*g, 3*z - 39 = -5*g + 1. Let p be j(z). Suppose 4*v + 53 = p*v. Is v a prime number?
True
Let v(g) = -231*g - 5. Is v(-4) a prime number?
True
Let p = -4 + 7. Is (-2 + p + -90)*-1 prime?
True
Suppose 5*j - 74 = -19. Let g = j - 6. Suppose g*i = -0*i + 385. Is i prime?
False
Let g(u) = -u**2 - 3*u + 3. Let h(x) = -x**2 - x + 1. Let p(j) = g(j) - 4*h(j). Let k be p(1). Suppose -k*d = -0*d - 174. Is d a composite number?
True
Let u be (-20)/(5/((-10)/4)). Let j be 8/u*(-4 - -24). Suppose 4*p = -j, p - 207 = 2*a - 3*a. Is a composite?
False
Suppose 0 = -x + 2 + 3, -5*c = 3*x - 1230. Let g = c + -58. Is g a prime number?
False
Suppose -w = o - 417, -2*o - 2*w = -w - 836. Is o a prime number?
True
Is 31831/7 - 4/14*1 composite?
False
Suppose 3*t - 3361 = 578. Is t a composite number?
True
Suppose -20 = -6*z + z. Suppose -98 - 42 = -u + 2*t, -z*t = 5*u - 756. Suppose 5*p = 3*p + u. Is p composite?
True
Let l(z) = -3*z - 4. Let m be l(-3). Suppose -m*h - 4*r = -37, -4*h - 4*r + 24 = -8. Suppose -h*t + 3*n = -242, -4*t - 4*n + 222 - 22 = 0. Is t composite?
True
Let d = 2 + -3. Let l be (3/d)/(-1*1). Suppose 1 = o + 5, -l*o = 2*w - 8. Is w composite?
True
Suppose -20 = 5*v - 5*u, 10 = v + 3*u + 2. Let f be v*(-5)/2*-2. Let o = 42 + f. Is o a prime number?
True
Suppose 56 = 5*p - 1084. Suppose 4*c = -0*c + p. Suppose -90 = -2*a - 4*n, 0*a = a + 5*n - c. Is a prime?
True
Let k = 247 + -56. Is k prime?
True
Let l be (-2 - 0)/(-2 + 1). Let t = -37 + l. Let p = -20 - t. Is p composite?
True
Let g(u) = u**3 - 10*u**2 - 3*u + 2. Let f be g(9). Let x = 291 + f. Is x composite?
True
Is (115/20)/((-1)/(-4)) prime?
True
Let x(t) = -21*t**2 + 3*t + 7. Let d(s) = s**2 - s - 1. Let v(r) = -5*d(r) - x(r). Is v(-2) a composite number?
True
Let a(o) = -2*o - 9*o**2 + 4 - 11 + o**3 - 2. Is a(11) a composite number?
False
Let m(s) = -s**3 + 6*s**2 - 5*s - 1. Let i be m(5). Let o be 0 + i*2 + 51. Suppose 2*t = t + o. Is t prime?
False
Let w be (1 - 0) + 0 + 136. Let v = w - 55. Is v composite?
True
Let a(w) = 5*w**2. Let d be a(1). Suppose 0*g - d*g = -2135. Is g a composite number?
True
Let l = -4 + 6. Suppose 0 = 5*s + 2*g - 487, s - 2*g - l*g = 93. Is s composite?
False
Let j = 2 + 19. Let h = 14 - j. Let m(o) = o**3 + 9*o**2 + 8*o - 7. Is m(h) composite?
True
Let m(k) = -2*k**3 - 27*k**2 - 9*k + 11. Let r(u) = 3*u**3 + 40*u**2 + 14*u - 17. Let x(s) = -7*m(s) - 5*r(s). Is x(-11) prime?
False
Suppose 3*r - 3*f = 4*r - 5, 0 = 4*r + 3*f - 11. Let w(i) = 38*i**2 + i - 1. Let n be w(1). Suppose 0 = -0*s + r*s - n. Is s a prime number?
True
Let v = 4 + -6. Let m(f) = 16*f**2 + f - 4. Let b(u) = u**2 - u + 1. Let q(c) = 3*b(c) + m(c). Is q(v) a composite number?
False
Suppose -2*s - 2*s = -16. Suppose s*r = g - 635, -4*r + 3300 = 5*g + r. Is g a prime number?
False
Suppose 4*u - 25 + 1 = 0. Let d be 4/6 - (-470)/u. Let a = 176 - d. Is a composite?
False
Suppose 0 = 5*f - f. Suppose f = -z + 3, 2*a - 5*z - 251 = -0*z. Is a a composite number?
True
Let b(s) = -99*s - 13. Is b(-10) composite?
False
Let c(j) = j**2 + 2*j - 1. Let q be c(-3). Is q - (-2 + (3 - 13)) composite?
True
Let o(h) = h**2 - 1. Let q(l) = -l**3 - 15*l**2 - 7*l + 5. Let u(y) = 4*o(y) + q(y). Let i be u(-10). Let f = -16 - i. Is f composite?
False
Let w be (2 + -1)/(2/874). Let j = w - 288. Is j composite?
False
Let n(t) = 4*t**2 - 1 - 1 + 4 + t**2. Is n(5) prime?
True
Let d = 1 + 2. Let i be -46*d/((-6)/8). Let j = i + -105. Is j composite?
False
Suppose -3*z + 4*a + 150 = 0, 3*a + 100 = 2*z + 4*a. Let c = z + -100. Let d = c - -71. Is d a composite number?
True
Let z(n) = n. Let u be z(4). Let v = u + -2. Suppose -5*f = -2*k + 254, k + 3*f = v*f + 127. Is k a prime number?
True
Suppose 4*t - 5*z - 208 = 0, 4 = -5*z + 24. Suppose -g = -4*g + t. Is g a prime number?
True
Let h(c) = 197*c - 12. Is h(22) a prime number?
False
Let s be (-15)/6*(-2)/(-1). Let r = -7 - s. Is (-11)/(-1) - (-2 - r) a composite number?
False
Let h(j) = 3*j + 1. Let b = 5 - -1. Is h(b) prime?
True
Let h be ((-2)/(-4))/(1/2). Let z(n) = -12*n**2 + 3*n + 3. Let p be z(-3). Is ((-1)/h - p)*1 a composite number?
False
Let g = -11 - -37. Is g a composite number?
True
Let x(f) = 12*f - 1. Suppose 5*i - 6 - 9 = 0. Let v be i/(-9) + 7/3. Is x(v) prime?
True
Suppose -a = 3*a - n - 15, 15 = -5*n. Suppose -a*c + 4 = 5*f - 25, 43 = 3*c - 2*f. Is c a prime number?
True
Let m be 0/((-4)/2 - 0). Suppose -h + 21 = 5*w, -5*h + 0 - 3 = -2*w. Suppose m = w*n - 2*n - 254. Is n a prime number?
True
Suppose -6*f = -f + 965. Is 2/4 + f/(-2) composite?
False
Let r(u) = -u**3 + 4*u**2 + 6*u - 3. Let x be r(5). Suppose 5*l - 117 = x*l. Let n = 14 + l. Is n prime?
True
Suppose 0*d + 20 = 5*d. Suppose d*b - 6*h = -4*h + 204, 3*h - 277 = -5*b. Is b prime?
True
Let o = -953 + 1740. Is o a prime number?
True
Let g = -45 - -67. Suppose -9*j = -11*j + 32. Let f = g - j. Is f composite?
True
Suppose 9*s - 5 = 8*s. Suppose -104 = s*c - 394. Is c composite?
True
Let k(z) = -42*z + 3. Is k(-2) a composite number?
True
Let d be (-6)/21 - 32/(-14). Let p be (1740/d)/((-3)/(-2)). Suppose 4*g = 20, p = 5*a - 7*g + 2*g. Is a prime?
False
Let t be -5 + 2 + (-1 - -3). Let x be ((9 - 3)/(-2))/t. Suppose -33 = -x*i + 30. Is i prime?
False
Suppose -y + 22 = -105. Is y composite?
False
Suppose 0 = -3*j + j - c + 665, -2*c = 2*j - 660. Suppose 101 = 4*q - j. Is q a composite number?
False
Let z(t) = t**3 - 5*t**2 - 10*t + 6. Let y be z(10). Suppose -3*f + 3*q - y = -f, 2*f = -3*q - 418. Let h = -79 - f. Is h prime?
True
Suppose 833 = k + k + 3*x, -3*k - 3*x + 1251 = 0. Suppose -3*i - 9 = -3, 5*w = 4*i + k. Is w a prime number?
False
Let g(s) = 53*s + 1. Is g(6) prime?
False
Suppose 0 = -0*q - 4*q + 364. Let m = 1 - -3. Suppose q = -m*g + 5*g. Is g a composite number?
True
Let k(u) = -3 - 12*u - 2*u - 7*u. Suppose -3 = 2*g + 1. Is k(g) a composite number?
True
Let m = -3 - -5. Suppose -m*b - 6 - 4 = 0, -2*b - 1865 = -5*r. Is r composite?
True
Let t be (-2)/(-3) + 34/(-6). Let c be (-1 - -6) + t + 4. Suppose 24 = c*x - 36. Is x composite?
True
Suppose 2*u - 3428 = 86. Is u prime?
False
Let d be (51/(-4))/(8/(-32)). Suppose v + d = 212. Is v a composite number?
True
Suppose -2*k + 8 = -o, -6*k = -k - 2*o - 21. Suppose -l = -2*b - 5*l + 132, 5*b = -k*l + 345. Let y = -35 + b. Is y a composite number?
False
Let f(l) = 14*l**2 - 3*l + 2. Let r be f(-3). Suppose 2*p = 2*w - 94, 3*w - r = p - 2*p. Is w composite?
True
Let g(l) = 6*l**2 + 3*l - 7. Let t(m) = -4*m + 2. Let x be t(2). Is g(x) a prime number?
True
Suppose 2*z = -2*c + 7*c + 4, -2*c - 4 = -2*z. Suppose 8 - 20 = -z*j. Is ((-381)/j)/(1/(-2)) composite?
False
Suppose 4*n - 4484 = -y, 3*n + y + 0*y - 3363 = 0. Is n a composite number?
True
Let o = 0 -