 - p. Is x a composite number?
True
Suppose 5*f - 4*f = 3. Suppose -f*u = -23 - 40. Let a = 18 + u. Is a composite?
True
Is (-88400)/(-51) - 1/3 a prime number?
True
Let b be 15/(-10)*(-4)/(-3). Is b/((10/69)/(-5)) composite?
True
Let j(x) = -x**2 + 8*x + 9. Let z be j(9). Suppose -4*o + k = -0*k - 122, 2*k - 4 = z. Is o prime?
True
Let f = -28 + 97. Is f composite?
True
Let o = -278 + 777. Is o composite?
False
Let s(m) = 5*m**2 - 16*m + 59. Is s(8) composite?
False
Suppose -4*z = -3448 - 5164. Is z composite?
False
Let l(f) = f**2 - f + 1. Let r = 7 - 10. Let i be (r - 4)/(1*-1). Is l(i) composite?
False
Suppose -2*t - 4*g = -1482, -3*t + 1262 = -2*g - 977. Is t a prime number?
False
Let f(i) be the first derivative of 37*i**4/4 + i**3/3 - i**2/2 + i - 4. Is f(1) composite?
True
Suppose 3*k + 2*k = 0. Let a(o) = -4*o + k*o + 3 - 1 + 1. Is a(-3) a prime number?
False
Let k be (9/3 - -190)*1. Let n = k - -274. Is n a composite number?
False
Let a(l) = l + 5. Let x be a(-4). Is (0 - x)*(-36 - 1) a prime number?
True
Let f = -340 + 645. Is f prime?
False
Let r(f) = f**2 + 1. Let h be r(-3). Let o = h - 8. Suppose -4 + o = -j. Is j a composite number?
False
Let q be 4 - (4 - 2 - 0). Suppose -s + 789 = q*s. Is s a prime number?
True
Let s(d) = -4*d**3 + 3*d**2 + 2*d - 2. Let j be s(-3). Is j - -1 - (-1)/(-1) composite?
False
Is 129 + (3 + (0 - 3) - 2) a prime number?
True
Suppose 0 = -z + 35 + 20. Is z a composite number?
True
Suppose 0 = -12*y + 8*y + 88. Is y composite?
True
Let i = -11 + 14. Suppose -i*d + 8*d = -3*l + 400, -4*d - 4*l + 328 = 0. Is d composite?
True
Suppose 9358 = -10*c + 37788. Is c a prime number?
True
Suppose 5*u + 1 = -9. Let w be (-1)/(-2)*(u + 8). Suppose -z + 220 = w*z. Is z a composite number?
True
Let u be (-4)/(-6) + 7/3. Suppose -t = -u*o + 1, -3*o - 10 = -4*t - 5*o. Suppose 3*a = -2*l + 175 - 42, -t*a = 5*l - 305. Is l a composite number?
False
Suppose -3*p = 2*v + 1417, -5*v - p - 3535 = 4*p. Let c = v + 1183. Is c a prime number?
True
Suppose 0*w = -4*w. Suppose w = -c - d - 3*d + 31, 3*c = -2*d + 63. Is c a composite number?
False
Let t be (2*-1 - 0) + 0. Is (23/(-2) + 0)*t a composite number?
False
Let f(p) = p**3 - 7*p**2 + 7*p - 6. Let s be f(6). Suppose 0 = 4*m - m. Suppose -4*a - 2*k + 4 + 2 = s, m = 4*a + 4*k. Is a a composite number?
False
Let j(h) = -28 - h + 43 + 38. Is j(0) a prime number?
True
Let r be 1/(-3)*(-1809)/9. Is 12*(r/4)/1 prime?
False
Let l(c) = -c**3 + 20*c**2 + 5*c - 7. Let v be l(18). Let w = 1024 - v. Is w prime?
True
Let d(r) = 11*r**2 + 3*r + 3. Is d(3) prime?
False
Let x(v) = 97*v**2 - 3*v - 3. Is x(-2) composite?
True
Let h(v) = -v**2 + 4*v + 2. Let f be h(4). Is 0 - (-2 + (f - 127)) a prime number?
True
Let z be (-6 + 1)*1 + -1. Let b(v) = 2*v**2 + 2. Let u be b(z). Is 2/4 - u/(-4) a composite number?
False
Let p(d) = -182*d**3 - 2*d - 1. Is p(-1) composite?
True
Suppose -7*a = -2*a. Suppose -p - 2*p - 2*h + 56 = a, -3*h = -12. Suppose 3*i - p - 32 = -3*o, -i = -o - 26. Is i a prime number?
False
Let y(g) = -7*g**3 + 7*g**2 - 2*g - 5. Let n(l) = -l**2 + l + 1. Let v(q) = -4*n(q) - y(q). Is v(4) a composite number?
True
Suppose -x - 2*x + 333 = 0. Suppose -4*t = -13 - x. Is t prime?
True
Suppose 4*m - 5*m = -457. Is m prime?
True
Let d(r) = 4*r**2 - 12 - 3*r - 4*r + 5*r**2 + r**3. Let i(v) = -v**3 - 7*v**2 - 5*v - 3. Let s be i(-6). Is d(s) a composite number?
True
Suppose -2*r - 3*a + 16 = 0, -3 - 1 = -a. Is 0 - 3 - (-48 - r) composite?
False
Suppose -2*h = 2*y - 244 + 6, -353 = -3*h - 2*y. Is h a prime number?
False
Is (-4)/6 - (-1145)/3 a prime number?
False
Suppose -4*z + 90 = z. Suppose -16 = -2*b - b - o, z = 2*b - 3*o. Suppose -3*u - 66 = -b*u. Is u composite?
True
Suppose -5*s + 258 - 98 = 0. Let n = s - -20. Suppose 5*d - 95 = -5*x + 3*x, x + d = n. Is x a prime number?
False
Let p(q) = -5*q + q - q**2 - 2*q - 13 - 5*q. Is p(-8) a prime number?
True
Let u(s) be the first derivative of -s**4/4 - 8*s**3/3 - 7*s**2/2 + 7*s - 3. Let c be u(-9). Let b = c - 74. Is b a prime number?
False
Let q(l) = l**2 + 4. Let m be q(-4). Is -4*1*(-885)/m a composite number?
True
Suppose 2*v - 3*l = 3*v + 92, -194 = 2*v - 4*l. Suppose 2*f = 220 + 56. Let b = v + f. Is b prime?
True
Suppose -292 = -5*q + q. Let w = -40 + q. Suppose 2 = 5*n - w. Is n prime?
True
Let k(g) be the third derivative of -g**4/3 - g**3/6 + g**2. Is k(-1) a composite number?
False
Suppose 4*f - f = -27. Let z = f - -8. Is (1/2)/(z/(-166)) a prime number?
True
Suppose -5 - 1 = -3*l. Suppose 0*q - l*q = -286. Is q prime?
False
Let c = 57 - -128. Is c composite?
True
Let a be 23*(1 + 0/(-1)). Suppose -s = -0*s - a. Is s a composite number?
False
Let f = 5 + 5. Is f composite?
True
Let g(i) = 43*i**2 + i. Let x be g(1). Let p(q) = q**2 - 2*q - 3. Let l be p(-2). Suppose l*k - 3*k = x. Is k prime?
False
Let q(d) = -44*d. Let j(a) = -4*a. Let c(z) = -68*j(z) + 6*q(z). Let w be c(3). Suppose 147 = 3*g - 5*t, 4*t = 3*g - w - 123. Is g a composite number?
True
Suppose x + 783 = 3*g - 2*x, -3*x = -6. Is g a prime number?
True
Let y(x) = -x**3 + 5*x**2 + 6*x - 1. Let j be y(6). Let w be 13*14 + j - -2. Suppose 0 = 4*p - w - 29. Is p composite?
False
Let s(y) = -4*y - 8. Let x be s(-7). Suppose 2*m - 6*m + 26 = 3*g, 2*m + 5*g = x. Suppose -227 = -5*w + 2*o, -2*w = -m*w + 2*o + 133. Is w composite?
False
Suppose 5*g + 0 = 25. Suppose 2*l + 89 = s - 0*s, l - 401 = -g*s. Suppose 0 = 5*v - 2*j - 2*j - 341, 4*j = v - s. Is v a prime number?
False
Is (-19)/(-2)*(10 + 12) composite?
True
Let r(p) = 5*p + 9. Let l = -15 - -8. Let y = 15 + l. Is r(y) a composite number?
True
Is (-289)/((1 + -2)*1) a prime number?
False
Suppose f = -4*f + 15. Suppose -f*p + 6 = n, 5*p + 18 = 3*n + 2*p. Let q(w) = 2*w**2 - w - 8. Is q(n) prime?
False
Suppose 0 = -3*y - 8*h + 4*h + 775, 0 = 2*y - 2*h - 498. Is y a composite number?
True
Let a(x) = -33*x + 49. Is a(-10) a composite number?
False
Suppose 3*t + 56 = -t. Is 2/7 + (-2166)/t composite?
True
Is 1/3 + (-6672)/(-18) prime?
False
Let y(r) = r + 14. Let z be y(-10). Suppose -4 = z*q - 12. Is 116 - (-4 + (3 - q)) prime?
False
Let h = 25 + -78. Let c = 28 + h. Let f = 104 + c. Is f composite?
False
Let y be 2*3*1/2. Suppose y*u + 4 = f + f, 0 = 3*u - 6. Suppose -40 = -3*z + 5*v, -f*z + 3*z = -4*v - 26. Is z a prime number?
False
Let u = 55 + 268. Is u a prime number?
False
Let t = -5609 - -9300. Is t prime?
True
Let r = -1705 - -3302. Is r a prime number?
True
Suppose 5*j - 2729 = -3*t, 2*j - 3*t - 1088 = -6*t. Is j composite?
False
Suppose 5*q + 25 = -y, -q = 4*y + q + 10. Suppose -5*m + 1185 + 280 = y. Is m a composite number?
False
Let v(r) = r**3 - 5*r**2 - 11*r - 2. Let k be -1 - (0 - 30)/3. Is v(k) prime?
True
Let q(d) = d**2 + 11*d - 8. Let o be q(9). Is 2/(-4) - o/(-8) composite?
True
Suppose 4*w - 3*l - 46 = 0, -w + 0*w - 2*l = -6. Suppose 3*q = 131 + 4. Suppose w = m - q. Is m composite?
True
Let p(u) = -u**2 + 15*u - 11. Let y be p(14). Suppose 4*k - 9 = k. Suppose -y*c - 286 = -5*m, 0 = 4*m + 2*c - k*c - 233. Is m composite?
False
Is ((-314)/(-4))/((-2)/(-4)) a prime number?
True
Let t(f) = f**3 + 10*f**2 + 9*f + 5. Let g be t(-9). Suppose -2*i + 5*l = 2*l - 308, -g*l + 481 = 3*i. Is i a composite number?
False
Let g(m) = -1949*m**3 - m**2 - 2*m - 1. Is g(-1) a prime number?
True
Let p(x) = -x**3 - 13*x**2 + 10*x - 3. Suppose 18 = -6*z - 66. Is p(z) prime?
True
Suppose 0 = 5*q - 1698 - 1087. Is q composite?
False
Let c(j) = -3*j + 31 + 4*j - 2*j - 5. Is c(11) composite?
True
Let x(h) = 2*h**2 + h - 5. Let j = -12 - -8. Is x(j) a composite number?
False
Let s = -800 - -1501. Is s prime?
True
Let l be 2 - (4 - 10) - -1. Suppose -l*q = -2*q - 1757. Is q prime?
True
Suppose -2*o - 22 = 32. Let b be 4/(-16) + o/(-12). Is 336/5 - b/10 composite?
False
Suppose 0 = -4*a + 2*a. Suppose a*b - 104 = -4*b. Suppose 3*y - l - 2*l - 39 = 0, -2*y - 4*l + b = 0. Is y a composite number?
False
Let u(c) = c**3 + 2*c**2 + 3*c - 5. Let w be 8/(2 - (1 - 1)). Is u(w) a composite number?
False
Let o be (-2 - (-20)/8)*0. Is 15 - o - (3 - 2) composite?
True
Suppose 5*h = 3*v + 17 + 33, -h + v + 8 = 0. Is h a prime number?
True
Let b(x) = -272*x**3 + 3*x + 2. Is b(-1) a prime number?
True
Let h(b) = b + 1. Is h(6) c