 = j + 4. Let a = -2 - w. Is (31/a)/(2/4) a composite number?
False
Suppose -3*i + 7*i = 11108. Is i a composite number?
False
Let z(m) = 2*m + 7. Let q be 2 - (0 - (1 - -3)). Let u = 0 + q. Is z(u) composite?
False
Suppose 3*k = 8*k - 7495. Is k prime?
True
Let w(y) = 22*y - 1. Let r(v) = 66*v - 4. Let p(l) = -4*r(l) + 11*w(l). Is p(-9) prime?
False
Is (-5679)/(-27) - (-4)/6 composite?
False
Suppose -4*y - 37 = -t, -3*t - 4*y + 49 = -110. Is t a prime number?
False
Suppose 2*q - q = 3. Suppose -q*u = -790 - 923. Suppose -5*n + 161 = -5*k + 756, -5*k + u = n. Is k a composite number?
True
Let w = 594 + -403. Is w composite?
False
Let y(a) = 745*a**2 - a + 1. Is y(1) prime?
False
Let r(i) = -8*i**3 - 4*i**2 + 3*i - 2. Let k be r(-4). Suppose -k = -y - y. Is y composite?
True
Let p = -9 + 34. Is p a prime number?
False
Let x(q) = 34*q + 3. Is x(2) prime?
True
Let z = -804 + 1143. Is z composite?
True
Let z = 6 - 1. Suppose -22 + 2 = -z*p. Suppose -59 = -p*o + 33. Is o prime?
True
Suppose 1 + 0 = o. Is 90 - (o + 1) - 3 composite?
True
Let j = -9 + 18. Let w be j*(1 + 6/(-9)). Suppose 2*x = -3*k + 107, w*x - 2*k + 0*k - 167 = 0. Is x a prime number?
False
Suppose -j + 2*j - 4*s + 100 = 0, 2*s = -5*j - 412. Let v = 211 + j. Is v a prime number?
True
Suppose -4 = -2*t + s - 2, 2 = 5*t - 4*s. Let b(p) = 3*p - 3. Let j be b(t). Suppose 0 = -l - 2*u + 17, j*l + 3*u = 15 + 27. Is l prime?
True
Suppose 210 = 4*k - 5*t, 4*k - t - 273 = -k. Suppose 2*i - 51 = k. Is i prime?
True
Let g(m) = 43*m**3 - 4*m + 2. Is g(3) prime?
True
Suppose -5*f - 3*y + 12 = 0, -2*y = -0*f + 4*f - 10. Is 3*f*467/9 a composite number?
False
Let p = 38 + 0. Let z be ((-6)/(-18))/(2/(-102)). Let s = p - z. Is s a prime number?
False
Let j = 2570 + -1801. Is j a prime number?
True
Let o(u) = 20*u**2 + 9*u. Is o(-7) a prime number?
False
Let l(c) = 7*c**2 - c - 1. Let z be l(-1). Let y(j) = 2*j - 7. Let k(w) = -5*w + 21. Let p(u) = 6*k(u) + 17*y(u). Is p(z) prime?
False
Let z(c) = -3*c**3 - c**2 + 13*c + 1. Is z(-6) composite?
True
Let f = 16 + -12. Suppose -2*b - 964 = -5*v, b + 3*b = -f*v + 788. Is v a composite number?
True
Let i be (-55)/11*(-6)/(-10). Is 1/i - 740/(-15) composite?
True
Let t be 60 - 2 - (2 + -3). Let u be t + -3 + (0 - -2). Let o = u + -27. Is o a prime number?
True
Suppose 0*a - 8 = -4*a. Suppose -a*n + n + 337 = 0. Is n a prime number?
True
Suppose -5*x = -z + 3, 14 = -3*z - 2*z - 4*x. Let k be (z + 52/6)*-3. Is 68/10 + (-4)/k a composite number?
False
Let g(x) = 22*x**2 + x - 1. Let h(c) = -c + 5. Let k be h(4). Is g(k) prime?
False
Suppose -n - 4*n = 2*d + 35, -d + 50 = -5*n. Is (-214)/(-6) - (-6)/n composite?
True
Let k be 6*3*2/18. Suppose -k*y + 4 = -3*s, 2 = -2*y + 3*y + 5*s. Suppose -5*d + 3*z = -110, 4*d = z + y*z + 91. Is d a prime number?
True
Suppose 2*r + 4*t + 12 = 0, r + 7*t = 3*t - 8. Let b be (-4)/(-3)*(-6)/r. Suppose 5*s + n = -131 + 935, n - 321 = -b*s. Is s a prime number?
False
Is 49602/105 - 6/(-10) prime?
False
Let v(z) = z - 3. Let r be v(8). Suppose b - 21 - 17 = -5*t, 0 = r*b - 3*t - 218. Suppose 0 = k - 0*k - b. Is k prime?
True
Let r be (3 - 29/4)*-40. Suppose 2*f = 7*f - r. Is f composite?
True
Suppose 5*n = -4*r - 16, r = -2*r + 3. Is (n/(-2))/(12/1062) a prime number?
False
Let a = 29 - 10. Suppose 6 = 5*x - a. Suppose -250 = -x*f - 75. Is f prime?
False
Let t(o) be the first derivative of 85*o**3/3 + o - 3. Let l be t(2). Suppose 5*q = -3*p + l, -p + 95 + 108 = 3*q. Is q a prime number?
True
Let l(p) = 8*p - 24. Let c be l(8). Let i(j) = j**3 + j + 2. Let x be i(0). Suppose -2*q - x*q = -c. Is q prime?
False
Let j = -2 + 4. Suppose j*z + 3*y = 37, z - 4*y + 3*y = 11. Is z composite?
True
Let x(s) = s**2 + 2*s - 22. Is x(9) composite?
True
Let t(s) be the first derivative of -2*s**2 - 8*s - 1. Let f be t(-6). Let h = 27 - f. Is h a composite number?
False
Is ((-872)/(-16))/((-1)/(-2)) a prime number?
True
Let j = 0 + 0. Suppose j = -3*k - 6 - 12. Let s(q) = 2*q**2 + 3*q + 3. Is s(k) prime?
False
Is 6/(-15)*61475/(-10) prime?
True
Let g = 283 + 98. Suppose -t - g = -4*t. Is t prime?
True
Let t(n) = 3*n**3 + 3*n**2 + 2*n + 2. Let c be t(-4). Is 2/4 - c/4 prime?
False
Suppose p + 5*k + 15 = 0, -4*k - 36 = -2*p - 2*p. Suppose -p*t = -423 - 572. Is t composite?
False
Let j be (-2)/9 + 32/(-18). Let x be 6/(1*(-2)/j). Suppose -2*v + x*v = 380. Is v a prime number?
False
Suppose -4*j = 5*i + 16, -4*j + 2*i + 5 - 21 = 0. Let k(d) = d**3 + 5*d**2 + 3*d + 3. Is k(j) composite?
False
Let v = 0 - -6. Let u = 9 - v. Suppose 0*o + o - 20 = g, -u*o + 61 = -2*g. Is o a composite number?
True
Let f(g) be the first derivative of g**4/2 - g**3/2 + g**2/2 + g - 1. Let x(r) be the first derivative of f(r). Is x(4) a composite number?
True
Suppose 2*h - 263 = -69. Is h a composite number?
False
Let t(i) = 55*i**2 - 10*i - 14. Is t(-5) prime?
False
Let d(u) = 21*u**2 + 8*u - 2. Is d(3) a prime number?
True
Suppose 5*k - 606 - 29 = 0. Is k prime?
True
Let l(p) = -120*p**3 - p**2 - p - 1. Let z(c) = -c**2 + 16*c - 1. Let v be z(16). Is l(v) a prime number?
False
Suppose 20*g - 2926 - 9354 = 0. Is g a composite number?
True
Suppose 3*i - m = -0*i + 4, 5*i + 4*m = -16. Let f = -9 + 10. Is 1*(13 + i/f) a composite number?
False
Let x(t) = -t**2 + 5*t - 2. Let k(z) = 1. Let q(c) = -4*k(c) - x(c). Let y be q(6). Suppose 201 = y*w - 3*a, -3*w - a + 256 = 2*w. Is w a prime number?
False
Let b be -3*(1 - 10/6). Suppose -2*a + 40 = -3*f, 2*a = 4*a + b*f - 20. Suppose -m + a = -77. Is m a composite number?
True
Let b(l) = -l + 7. Let k(r) = -r**2 - 4*r + 29. Let i(f) = 9*b(f) - 2*k(f). Is i(-6) a composite number?
False
Let x(d) be the first derivative of d**4/4 + 3*d**3 - d**2 - 12*d + 2. Let g be x(-9). Suppose g*b - 165 = 3*b. Is b prime?
False
Let d(u) = -u**2 - u + 335. Is d(0) a composite number?
True
Suppose -5*o - 4*m + 203 = 0, -3*o + m + 109 = -3*m. Let p = -24 + o. Is p composite?
True
Let s(r) = 2*r**2 - 9*r - 9. Let l(d) = d**2 + 5*d + 1. Let i be l(-6). Suppose -2*z = -3*z + i. Is s(z) composite?
True
Let t = 81 - -50. Is t a composite number?
False
Let w(a) = 2*a**2 + 8*a + 3. Suppose -2*o - 10 = -0*o. Is w(o) prime?
True
Let d be -3 - (-3 + (2 - 3)). Let f(k) = -2*k. Let g be f(d). Is 0*g/6 + 46 a composite number?
True
Let m be -27*-2*2/12. Suppose 4*q + 6 = -l, -3*q - m = l - 2. Let p = l + 17. Is p prime?
True
Suppose 0 = 2*j - 0*j - 4*k - 8, 0 = j - 3*k - 4. Let h(g) = 220*g**3 + 1. Let d be h(1). Suppose 167 = r + 2*r + 2*n, -d = -j*r - n. Is r composite?
True
Suppose 1 = 2*o - 3. Suppose a - 79 = -o*s, 2*a + 0*s = -2*s + 150. Let y = a + -34. Is y prime?
True
Is (528/36)/((-2)/(-3)) composite?
True
Suppose -2*m = -5*v - 1353, 4*m = -m - 2*v + 3455. Is m a prime number?
False
Suppose 2*a = -5*x + 9, -2*x - 2*a = 2*a - 10. Suppose 2*k - x = -15. Let p(g) = g**3 + 8*g**2 - 6*g. Is p(k) prime?
False
Let k(q) = 9*q + 1. Let m be k(-5). Let d = m - -63. Is d prime?
True
Suppose 8*a - 16*a = -10904. Is a a composite number?
True
Let g(f) = 2*f - 18. Let m be g(12). Let c(a) = -a**3 + 8*a**2 - 3. Is c(m) composite?
True
Let k = 8 - 5. Suppose k*v = -2*v + 25. Suppose v*t - 2*t - 489 = 0. Is t a prime number?
True
Suppose -2*k + 2776 = 482. Is k a prime number?
False
Is (-1)/(-2) + 3/(-12)*-1322 a composite number?
False
Let x(k) = -k + 131. Suppose 3*y - 5*n = 7, -17 = 2*y - 5*y - 5*n. Suppose -y*h + 2*a = 10, -h + 3*a - a - 10 = 0. Is x(h) composite?
False
Is 3/(-2)*(-5608)/12 a composite number?
False
Suppose 134 = 4*b - 670. Is b prime?
False
Let j(h) = -h**3 + h**2. Let m be (-2)/3*12/8. Let n be j(m). Let l = n - -1. Is l composite?
False
Suppose -3*o - 42 = -591. Is o a prime number?
False
Suppose -m = -0*m - 89. Is m prime?
True
Let l be (-88)/16*(2 + 0). Let c(j) = -j**2 - 11*j - 4. Let r be c(l). Let t = r + 69. Is t prime?
False
Let c be 27/(-4) - 2/8. Let d = -33 + c. Let a = -21 - d. Is a prime?
True
Suppose 5*k + 22 - 2 = 0. Is k*(-6)/8 - -84 a prime number?
False
Let a(m) = -5 - 8*m - 2*m**3 + m - 6*m**2 + m**3. Let f be a(-5). Suppose 0 = z - f*h - 27, 2*z = 4*z - 3*h - 68. Is z a prime number?
True
Let v = 4 - 3. Suppose 5*y = 3*b + 353, -b = -v + 2. Let z = y + -39. Is z a prime number?
True
Suppose 3*l - 8 = 19. Suppose -3*y - 