posite number?
False
Let c(i) = 7*i**3 - 5*i**2 - i + 4. Is c(3) composite?
True
Suppose 0*c + 13 = c. Suppose u - 12 + 3 = 0. Let n = c + u. Is n composite?
True
Let x = -3 + 6. Let q(s) = s**2 - 2*s - 1. Let v be q(x). Suppose 3*a + 4*z - 41 = 0, v*z + 0*z - 11 = -a. Is a prime?
True
Suppose 2*l - l = -4*v + 993, -4020 = -4*l - 4*v. Is l a composite number?
False
Let x(q) = -q**3 + 2*q**2 - 2*q + 2. Is x(-6) composite?
True
Suppose 0 = -m + 5*t - 265, 5*m + t + 1369 = 4*t. Let u = m + 402. Is u a prime number?
True
Suppose -4*p - 5*b - 17 = 0, -2*p + 0*b + b - 5 = 0. Let h be 9/p + 1 + 270. Suppose -2*f = f - 2*d - 201, -4*d = 4*f - h. Is f a prime number?
True
Let q be 2 - (2 - -1*2). Let n = q - -2. Suppose n = -4*u + 73 + 63. Is u a composite number?
True
Let s(j) = j**3 + 4*j**2 + j + 4. Let f be s(-4). Suppose f = 4*y - 3*v - 223, -3*y + 3*v = -v - 169. Is y a composite number?
True
Let c(x) = 9 - 4*x + 1 - 1 + 3*x. Let d be c(0). Is 6/(d/6*1) composite?
True
Let k be 18/(-4)*4/(-6). Is 1947/9 + 2/k a prime number?
False
Is 78 - (-8 - (-5 - -1)) composite?
True
Let u(p) = -2*p**2 - 14*p - 19. Let s(b) = -2*b**2 - 13*b - 20. Let a(m) = -5*s(m) + 4*u(m). Is a(-17) composite?
False
Let m(t) = 6*t + 4. Suppose -4*i + 9 - 1 = 0. Let s = 1 + i. Is m(s) prime?
False
Suppose 2*c = -1 - 1. Let d be (-1)/(1/(-83)) - c. Suppose 2*v + 2*q - 30 = 0, -4*v + 5*q + d = 3*q. Is v composite?
False
Let l = 3464 - 2367. Is l composite?
False
Let s(j) = -j**2 - 8*j - 4. Let m be s(-8). Let n be (2/m)/((-3)/18). Suppose -63 = n*b - 6*b. Is b a prime number?
False
Let d(a) = 69*a - 4. Let v be d(7). Let o = -150 + v. Is o a composite number?
True
Let t = 4 + 2. Is 7 - t - 5/(-1) composite?
True
Let z = 168 + -94. Is z prime?
False
Let s(d) = 5*d**3 + d**2 + d + 1. Let o(j) = j + 6. Let a be o(-4). Let w be s(a). Suppose 2*z = z + w. Is z a prime number?
True
Let m be (-3)/(-2 + -1)*19. Let f = m + -5. Let s = f - -17. Is s a composite number?
False
Let z be 264/9 + 2/3. Suppose -6*h + z = -h. Suppose 0 = -3*a + v + 3 + 3, 0 = 3*a - 5*v + h. Is a prime?
True
Let b = 3 + 3. Let r = 4 - 3. Let w = r + b. Is w prime?
True
Is ((-9)/(-45))/(1/3265) a composite number?
False
Suppose 2*f = -f. Let j be (2 - 1)*(f + 1). Is (-1)/(0 + j)*-14 composite?
True
Let z(v) be the second derivative of 115*v**3/3 - 5*v**2/2 - 3*v. Is z(3) a composite number?
True
Suppose 19 = 5*x + p - 4*p, 0 = 2*x - 5*p. Suppose -3*t + 556 = t. Suppose -4*w + t = x*s - 225, s = w - 91. Is w a prime number?
False
Suppose 0*v = k + 2*v - 4, 0 = -4*k + 2*v - 4. Let m = k - -37. Is m a composite number?
False
Let v = -4 + 17. Suppose -v + 5 = -2*d. Suppose 0 = -d*b + 24 + 20. Is b prime?
True
Suppose 80*y = 78*y + 678. Is y a composite number?
True
Suppose -5*g = 10, j - g - 10 = -0*j. Let x(w) = 3*w + 7. Is x(j) prime?
True
Let x(m) = 3*m**2 - 2*m - 2. Let s(l) = l**2 - 7*l + 3. Let p be s(6). Is x(p) composite?
False
Let y = 0 - -4. Is 1868/16*(y - 0) a prime number?
True
Let f(w) = -w - 1. Is f(-5) a prime number?
False
Suppose -3*b = -3*z + 75 - 27, -3*b + 57 = 4*z. Suppose o + 2*a = 5, -z = -5*o - 2*a + 2. Is 6 + 117 - (-1 + o) a composite number?
True
Suppose 898 = 4*m + 2*o, m + 0*o - 220 = o. Is m a prime number?
True
Is (8180/6 - 2) + 8/(-24) prime?
True
Let m = 5 - 4. Let z be (m - 0)/((-2)/(-6)). Let k = 1 + z. Is k prime?
False
Suppose 11*w = w + 11510. Is w a composite number?
False
Suppose -47 = 4*m - 5*m. Is m a composite number?
False
Let s(r) = r**3 + 7*r**2 + r + 3. Let u be s(-7). Is 102/u*8/(-6) a composite number?
True
Let o(m) = 3*m**2 + 2*m + 1. Let h be o(-1). Suppose b + 434 = h*b + 3*i, -2*b = -i - 833. Is b composite?
False
Let t(d) = 2*d**2 + d**3 + 12*d - 6*d**2 + 7 - 6*d**2. Is t(10) a prime number?
True
Let z(x) = 85*x + 4. Is z(3) prime?
False
Let s(k) = 4*k**2 + 2*k - 3. Is s(3) a composite number?
True
Let y be 9/(-6)*(-128)/(-2). Let q = y + 153. Is q a composite number?
True
Suppose 18 = 6*y - 3*y. Suppose -2*f = -y*f + 276. Is f prime?
False
Let w = -38 - -64. Suppose -y - w = -120. Is y a prime number?
False
Let p(v) = -v - 2 - 5 - 9*v. Is p(-9) a composite number?
False
Let x(w) = -w - 8. Let r be x(-11). Suppose 0*z - 255 = -r*z. Is z prime?
False
Let f(u) = -u**3 - 8*u**2 + 8*u + 5. Let p(c) = 43*c**2 - c + 1. Let r be p(1). Suppose -4*n = -7 + r. Is f(n) a prime number?
False
Suppose -w = z - 294, -2*w - 2*z + 3*z = -585. Is w prime?
True
Suppose -2*x = -44 - 24. Is x prime?
False
Let z = 4 + -5. Let h(a) = -40*a**2 - a - 1. Let k be h(z). Is k/(-3) - (-1)/(-3) a prime number?
True
Let j be (-22)/(-5) - 4/10. Suppose -j*i + 473 + 51 = 0. Is i composite?
False
Suppose -2*b + b + p = -797, 0 = 2*p. Is b a prime number?
True
Let s(g) be the third derivative of -g**6/120 - g**5/30 + 5*g**4/24 - g**3/3 - g**2. Is s(-4) a composite number?
True
Suppose -8*f + 10*f = 838. Is f prime?
True
Suppose -3*m + 255 + 138 = 0. Is m composite?
False
Suppose 4*z + n - 5856 = 0, 0 = -4*z - 4*n + 5*n + 5864. Is z a composite number?
True
Let j(w) = -w - 4 + 0 + 0. Let p be j(-5). Let n = p + 12. Is n prime?
True
Let m(x) = -9*x**2 - 4*x - x**3 + 4 - 4*x + 0*x. Let j be m(-8). Suppose j*k + 0*y - 20 = -4*y, k - 2*y - 11 = 0. Is k prime?
True
Let o(d) = -d**3 - d**2 - 2*d + 2. Let l = 3 + -7. Is o(l) prime?
False
Let u(x) be the first derivative of -5*x**2/2 - 9*x + 1. Is u(-8) prime?
True
Suppose 1925 = 5*t - 30. Is t a prime number?
False
Suppose -4*g + 40 = g + 2*z, -g + 3*z + 8 = 0. Suppose c = -3*c + g. Suppose -5*p - 3*w - w + 278 = 0, c*w = 4*p - 238. Is p prime?
False
Let z = 8 - 4. Is 2/z - 217/(-2) a prime number?
True
Suppose -49 = -3*d + 131. Suppose -3*j - d = j. Is j/5 - (-2 - 128) a prime number?
True
Is 20/(-15) - (-118)/3 composite?
True
Suppose 0 = -y - 0*y. Suppose y = -6*v + 197 + 157. Is v prime?
True
Let x be ((-3)/2)/(1/6). Let s be -1 - (x + (2 - 2)). Is s + (-5)/(15/(-6)) a prime number?
False
Let z(m) = -m - 2. Let y be z(4). Let t(d) = -10*d - 3 - 5*d - 1. Is t(y) a prime number?
False
Let p(i) = -19*i**3 + i**2 + i + 3. Let z be p(-3). Let h = 233 - z. Is h/(-3) + 2/3 a prime number?
True
Suppose m + 20 = 3*m. Let u(r) = 4*r**2 - 13*r - 9. Let o(f) = -7*f**2 + 25*f + 17. Let c(y) = 3*o(y) + 5*u(y). Is c(m) a composite number?
True
Is ((-3)/(0 + 3))/(8/(-5480)) prime?
False
Let n(x) = x**2 - 2. Let s be n(-2). Suppose 2*a = 3*p - 87, -1 - 5 = -s*a. Is p a prime number?
True
Is -502*(-3)/2 + 50/(-25) a composite number?
False
Let y be (-2)/11 - (-2974)/22. Let f = y - 46. Is f a composite number?
False
Suppose 2*p + 2*o - 984 - 788 = 0, -5*o = 15. Is p composite?
True
Let o(c) = 7*c**2 + 18*c + 16. Is o(-17) a prime number?
True
Suppose q = 17 + 25. Is (58/4)/(3/q) composite?
True
Let h(y) = -y**3 + 11*y**2 - 8*y - 13. Let i(n) = -n**3 + 5*n**2 - 4*n + 4. Let g be i(3). Let m be h(g). Is 217/m + 0 + 0 prime?
True
Let f = -12 + 17. Suppose f*g = 2*w + 445, 4*g - 2*g - 157 = 5*w. Is g a composite number?
True
Suppose 0*n - 3*n - 24 = 0. Let q = n + 10. Suppose y - 1 = q, y = k - 34. Is k prime?
True
Let b = 174 - -29. Is b a prime number?
False
Suppose -k = 4*k - 15. Let z = k + 1. Is z/(-6) - 40/(-6) composite?
True
Let o(r) = 347*r + 1. Let f be o(1). Suppose u = -3*u + f. Is u a prime number?
False
Let k be (1/2)/(2/32). Let d(i) be the third derivative of i**5/60 - i**4/4 + 3*i**3/2 + 5*i**2. Is d(k) prime?
False
Let h(y) = 10*y**2 + 3*y - 29. Is h(-10) a composite number?
False
Suppose -4*s - 16 = 0, 5*l - 3*s - 717 = -0*l. Suppose 2*t + l = 3*y - 196, -3*t = 2*y - 242. Is y a prime number?
False
Let s(l) = 225*l - 1. Let p be s(1). Let x = -223 - -154. Let n = p + x. Is n a composite number?
True
Suppose 172 = 2*a - 4*u - u, 4*a - 3*u - 358 = 0. Is a a prime number?
False
Suppose 3*j = 2*j + 1317. Is j a prime number?
False
Suppose -3*l - 199 = -n, -n + 4*n - 612 = 4*l. Suppose -4*y = -6*s + 3*s - 208, -n = -4*y - 4*s. Suppose -5*f = -103 - y. Is f a prime number?
True
Let z(k) = 3*k**2 + 4. Let q(v) = -6*v**2 + v - 9. Let f(o) = -3*q(o) - 5*z(o). Is f(6) prime?
True
Suppose -4*q + 2*q = -10. Suppose -5*d + q*k - 10 = -25, 3*d - k - 7 = 0. Suppose 94 = d*v - 4*w, 4*v - 130 = 3*w + 73. Is v composite?
False
Let t(r) be the first derivative of 23