Is ((-3)/((-3)/b))/(-1) a prime number?
True
Let z = -6 - -6. Suppose z = 5*c + 2*v + 1 - 18, 3*c = 2*v + 23. Suppose 2*y + c*b - 242 = 3*b, -b = 0. Is y a prime number?
False
Suppose 4*s - 9 = s. Suppose -136 = -7*f + s*f. Is f a prime number?
False
Suppose 7 = 5*k - 3*n + 4*n, 2*k + 5*n = -11. Let c = 7 - 3. Suppose 28 = k*j - 0*j + 5*h, -c*j = -4*h - 84. Is j a prime number?
True
Suppose 2*w + 5*p - 1248 = 0, 5*p - 4*p = -2. Is w composite?
True
Let p(c) = -c**3 + c**2 - c + 127. Is p(0) a prime number?
True
Let z(x) = 2*x**3 - 5*x - 1. Let y be z(-4). Let m = y - -326. Suppose -4*q + 0*i + 847 = i, 2*i = -q + m. Is q a composite number?
False
Let x(v) = 110*v**3 - v**2 - v + 2. Let z be x(2). Suppose 25 = s + 5*h, -3*s - 3*h + 37 = -7*h. Is 5/(s/z) - -3 prime?
False
Is (2/6)/(5/1815) a prime number?
False
Let h = 62 - 37. Let n = -2 + h. Is n a prime number?
True
Suppose -5*a = -f - 3*f + 1698, 0 = -2*f - 5*a + 864. Is f a composite number?
True
Let a(i) = 291*i**2 + i - 7. Is a(-3) composite?
False
Let j = 1008 - 656. Suppose 0 = 3*c - 15, -4*b + j = 4*c - 720. Is b prime?
True
Let x = -6 + 5. Is 5 + -6 - (x - 127) a composite number?
False
Let g = 1116 + 539. Is g a prime number?
False
Suppose -5*w = f - 2482, 3*w - 547 = 3*f + 953. Is w composite?
True
Suppose -5*w = -20, 3*w = 4*d - 2*d - 960. Let z = 495 + -764. Let c = d + z. Is c composite?
True
Suppose -3216 - 1199 = -3*c - 5*g, -3*c - 4*g + 4411 = 0. Is c a prime number?
False
Let y(f) be the third derivative of f**5/60 - f**4/12 + 2*f**2. Is y(7) a prime number?
False
Let a = 2 + -3. Let g = -2 + 3. Is 1*a*(g - 56) composite?
True
Let f(x) = x**2 + 7*x + 9. Let v be f(-6). Is (2/(-4))/(v/(-762)) composite?
False
Let b(m) be the third derivative of -3*m**6/10 + m**3/6 + 2*m**2. Is b(-1) a prime number?
True
Suppose -w = -3*v + 9, v - 2*w - 17 = 3*w. Suppose -711 = -5*h - u, -3*h = -v*h + 4*u - 127. Is h prime?
False
Let k(c) = -c**3 + 7*c + 7. Is k(-6) a composite number?
False
Suppose -o + r = -950, -r = 3*o - 3461 + 591. Suppose -6*g + g + o = 0. Is g prime?
True
Suppose 5*c - c - 2*r = 0, c = 3*r - 10. Suppose -8 = c*m + 4*d, 5*d = 4*m + 6*d - 5. Suppose -q = -m*s + 148, -2*s + s + 74 = -q. Is s a composite number?
True
Let j = 6 + -3. Suppose j*f + 74 = -46. Is (24/f)/((-2)/50) prime?
False
Let b(r) = 18*r**2 + 7*r - 28. Is b(-9) a composite number?
False
Suppose -17*u + 15*u = -2546. Is u composite?
True
Suppose 4*v = -3*g + 22, -2*g = v + 2*g - 12. Suppose -209 = -3*y - 0*y + 2*p, -290 = -v*y - 3*p. Is y composite?
False
Suppose -5 = -2*o - 2*z + 7*z, -3*o + 18 = 3*z. Suppose 2*i = -4*j + 4, -o*i = -5*j - 17 - 8. Suppose 2*f - l - 162 = 3*l, -i*l = f - 51. Is f composite?
False
Let r(w) = -11*w + 9. Let j = -3 - 2. Let p(z) = -21*z + 19. Let o(f) = j*r(f) + 2*p(f). Is o(5) a composite number?
True
Let c(q) = q**2 - 6*q - 7. Let g be c(7). Let k = g + 4. Is -4*((-105)/k)/3 a composite number?
True
Let m be 3/(-15) + 11/5. Suppose -4*t + 47 = l + m*l, 0 = -5*l - 3*t + 93. Is l a composite number?
True
Let r(u) be the second derivative of u**5/20 + u**4 + 2*u**3/3 - 5*u**2 + 2*u. Is r(-11) prime?
True
Let a(l) = l**2 - l. Let z(p) = p**2 + 2*p + 6. Let n(w) = 2*a(w) - z(w). Let k be n(6). Suppose -2*g = -k, 5*v - 138 = -2*g + 113. Is v a composite number?
True
Suppose -15 = -6*p + 2*p - 5*v, p + 5*v = 0. Let i(u) = u**3 - 4*u**2 + 6*u - 2. Is i(p) a composite number?
False
Let f(a) = -a**3 + 7*a + 3. Is f(-9) composite?
True
Let t = 4 - -21. Let l = 26 + 25. Let c = l - t. Is c prime?
False
Let w be ((-8)/10)/((-6)/(-45)). Is (-5)/4*72/w a prime number?
False
Suppose 2*r + 2*z + 2*z - 2 = 0, -7 = 3*r - 4*z. Is (11/22)/(r/(-194)) composite?
False
Let n(z) = 86*z - 5. Let l(s) = 43*s - 2. Let j(b) = -9*l(b) + 4*n(b). Let r be j(-3). Suppose -101 = -4*d + r. Is d a prime number?
False
Let v = 15 + -7. Is (-6)/v - 3346/(-56) composite?
False
Let z(k) = 11*k + 2. Let x be z(-2). Is (6/5)/((-6)/x) a prime number?
False
Is 198 - (-4)/12*3 prime?
True
Let b(w) = w**3 - 5*w**2 + 6*w - 3. Let m = -8 + 12. Let j be b(m). Is j/((0 + 1)/13) a prime number?
False
Is 114/4*(-40)/(-12) a prime number?
False
Let n(v) = -2*v + 0*v + v - 2 + 2*v. Let s be n(2). Let m(y) = y + 15. Is m(s) a composite number?
True
Let f = -34 - -92. Let z be (143 - 0) + 6/(-3). Let v = z - f. Is v composite?
False
Let w(m) = 2*m - 3. Let f be w(3). Suppose 0 = 3*u + u + 3*v - 1273, f*v = 2*u - 641. Is u composite?
True
Suppose 0 = q - 0*q - 131. Is q a prime number?
True
Suppose -8*j = -4*j - 5*p - 884, 3*p - 663 = -3*j. Is j composite?
True
Suppose -537 = -2*z - 205. Is (-3)/(-2)*z/3 composite?
False
Let t be (-208)/(-6) + (-4)/(-12). Let c = t - -2. Is c a composite number?
False
Let s be 664/22 - (-2)/(-11). Let t be ((-27)/2)/(5/s). Let g = -32 - t. Is g a prime number?
False
Let y(g) = -12*g**3 - 5*g + 3. Is y(-4) a composite number?
True
Suppose 0 = 4*s + 2*c + 752, -2*s - 5*c = -102 + 478. Let j = -55 - s. Is j prime?
False
Let a = -4 + 5. Let q be a/2*6 - 517. Let v = -329 - q. Is v a composite number?
True
Let u = 38 - 15. Is u composite?
False
Let f(u) be the third derivative of 9*u**4/8 - 5*u**3/6 + u**2. Suppose -14*q + 22 = -62. Is f(q) prime?
True
Suppose 0 = 4*j - 5*s - 15, 3*s + 9 = -0*j - 3*j. Suppose -2*y - 2*y + 76 = j. Is y a composite number?
False
Is (-48)/64 - (-28221)/12 prime?
True
Suppose 238 = f - r - 2*r, 4*f = 3*r + 907. Is f composite?
False
Let c be 5 + (-1*3)/3. Let l(x) = -c*x + 2*x**2 + 6*x - x. Is l(-2) composite?
True
Let u(p) = p**3 + 8*p**2 - 9*p. Suppose 16 + 2 = -2*s. Let n be u(s). Suppose n*z = z - 7. Is z prime?
True
Let p = 6 - 3. Is 15*p*58/18 a prime number?
False
Suppose 122 = 4*u - 154. Is u a composite number?
True
Let l(a) = -2*a**3 - 4*a**2 - a + 2. Let o be l(-3). Suppose -5*p + o = -7. Is p composite?
True
Let u(x) = -x + 2. Is u(-21) prime?
True
Let k(r) = -r + 10. Let p be k(8). Suppose 5*i - w = -p*w - 137, -6 = -2*w. Let x = -18 - i. Is x a composite number?
True
Let x = -27 - -146. Let z = x - 218. Is z*2/12*-2 a prime number?
False
Suppose -3*j + 6 = -0*j. Let x be (2/j)/(5/(-45)). Let a(d) = 2*d**2 + 9*d - 4. Is a(x) prime?
False
Let k(o) = -o**3 - 9*o**2 - 8*o - 2. Let j be k(-8). Is 2 + 1*(-18)/j a prime number?
True
Suppose 2*z - 1 - 7 = 0, 0 = -5*x + z + 1541. Is x composite?
True
Is (-666)/(-10) + (-12)/(-30) composite?
False
Suppose 37 - 192 = 5*g. Let y(m) = -2*m**3 - 6*m**2 - m - 5. Let h be y(-5). Let p = h + g. Is p a composite number?
True
Is 4/(-2)*(-3 + (-2031)/6) composite?
False
Suppose 0 = -3*q + b + 4*b + 9047, -b - 9055 = -3*q. Is q a composite number?
False
Is -22*(-4 + 2)/2 composite?
True
Suppose s - 20 = 6*s. Let u = 4 - s. Suppose u = x - 26. Is x a prime number?
False
Let a = 130 - -315. Let l = -18 - -26. Suppose 3*m + a = l*m. Is m composite?
False
Suppose 4*l = 4*a + 24, 3*l + 5*a - 6 = -l. Suppose 0 = -4*w - l*i + i + 338, 0 = -i + 2. Is w prime?
True
Let i = -4032 - -6269. Is i a composite number?
False
Is (-6)/42 + (-402)/(-21) composite?
False
Let b = 58 + -118. Let r = b + 94. Is r a composite number?
True
Let q(g) = -141*g + 33. Is q(-6) composite?
True
Let x(m) = m - 2. Let f be x(2). Suppose -389 = -3*y + r - 46, -2*r + 4 = f. Is y prime?
False
Let d be (-2 - 1)*(-6)/(-9). Suppose -3*q = -0 + 3. Is (d/6)/(q/93) a prime number?
True
Suppose -3*a - 12 = -d + a, 3*a = 3*d - 9. Is -1 + 2 + d + 210 composite?
False
Let r = 49 - -40. Is r a composite number?
False
Let l = 4 + 0. Suppose -2*u + 4 = -l. Suppose -2*y + 35 = 2*y - 3*z, 12 = u*z. Is y a composite number?
False
Suppose 4*x - 3*i = 5, x = -x + 3*i + 7. Let a(h) = -6*h - 1. Let w be a(x). Suppose 3*j = w*j - 106. Is j a composite number?
False
Let x = -12 + 19. Suppose -3*a = -x*a + 744. Suppose a = 5*d - 4*o + 3*o, 72 = 2*d + 2*o. Is d prime?
True
Suppose 0 = -s - 14 + 3. Suppose z - 4*z + 54 = 0. Let u = s + z. Is u prime?
True
Let l(h) be the third derivative of h**6/120 + h**5/10 + 5*h**4/24 + h**3/2 - 4*h**2. Is l(-4) composite?
True
Is 3/(-2)*2 + 2 - -1679 prime?
False
Let u = -5 - -12. Is (-1*317)/(u - 8) a prime number?
True
Let j = 7 + -5. Let q(o) = -6*o + 26. Let y be q(8). Is 7/(j + 42/y) composite?
True
Let j(s) be the third derivative of -s**4/8 - s*