prime number?
False
Let a(t) = 5*t**2 - t + 1. Let z be a(-3). Let u = z - 28. Is u a prime number?
False
Let z = 11 - -530. Is z a composite number?
False
Let n = 33 + -28. Suppose -3*a - 318 = -n*a. Is a a composite number?
True
Suppose 2*m + 14 = 4*m. Suppose 2*j + 5 = m*j. Let x = j - -38. Is x a composite number?
True
Let u(i) = i**3 - 12*i**2 - 6*i - 2. Let w be u(6). Let s be (1/(-1))/(2/w). Suppose x + 0*x - s = 0. Is x prime?
True
Let d(u) = -u**3 - 3*u**2 + 19. Is d(-6) composite?
False
Is 6/((-24)/(-1402))*4/2 a composite number?
False
Let q = 5 - 3. Let a(i) = 48*i**q - 6*i**2 - 7*i**2. Is a(1) a composite number?
True
Suppose -a + 669 - 122 = 4*k, -k + 145 = 3*a. Suppose 0 = 3*z - k + 25. Is z a prime number?
True
Let y(v) = 102*v + 2. Let p be y(8). Suppose 254 = -4*s + p. Is s composite?
True
Suppose -2*g + 863 = 3*f, 0*g + 1145 = 4*f - 3*g. Suppose 3*h - f = -j + h, 3*j + 4*h = 867. Is j prime?
True
Let l = -79 - -222. Is l prime?
False
Let m(l) = -486*l + 7. Is m(-5) composite?
False
Let g(q) = 2*q - 1. Let f be g(2). Suppose f*y - 28 = y. Is y a composite number?
True
Suppose 0 = 13*r - 16*r + 138. Is r a composite number?
True
Let r(b) = -44*b + 13. Is r(-11) composite?
True
Let x(n) = n**3 + 6*n**2 - 9*n + 5. Let q be x(-7). Suppose -q + 0 = -c. Is c a composite number?
False
Suppose 0 = -0*b + 3*b + n - 327, -b + n = -105. Suppose -5*d + 5*k + 285 = 0, -d + k = -3*d + b. Is d a prime number?
False
Let l(k) = 6 - k**3 + 0*k**3 + k**3 - 4*k**2 - 3*k - k**3. Is l(-5) composite?
True
Let a = 463 - 54. Is a composite?
False
Let v(x) be the third derivative of x**4/2 + x**3/6 + 3*x**2. Is v(4) prime?
False
Let h = 2538 - -401. Is h a composite number?
False
Let k be (2/(-7))/((-6)/42). Suppose 3*b - k*b - 11 = 0. Let n = b + -4. Is n a composite number?
False
Let g = 1 + 2. Let q be -3 - (g + -273) - 2. Suppose 5*v - q = -0*v. Is v a prime number?
True
Let m be (-2)/2 + (0 - 0). Let t = m + 10. Suppose -a + 5 = -t. Is a a composite number?
True
Let p = 506 - 241. Is p composite?
True
Suppose -5*m = -4*u + 242, 3*u - 176 = -m + 2*m. Is u a composite number?
True
Let u(r) = -86*r**2 + 2. Let w(q) = 87*q**2 - q - 3. Let o(f) = -6*u(f) - 5*w(f). Is o(-2) a composite number?
False
Suppose 5*g = -0 - 5. Let a(o) = -5*o**2 + 7*o**3 - 1 - 36*o**3 - 5*o**3 + 4*o**2 - o. Is a(g) a prime number?
False
Let u(o) = 4*o**3 - o**2 - 3*o + 1. Let q = -4 + 7. Is u(q) a composite number?
True
Suppose m - 2*q = 10, 0 = -4*m + 3*q + q + 24. Suppose 0 = -3*a - m*a + 185. Suppose 2*g - a - 37 = 0. Is g prime?
True
Let n(i) = 36*i**2 + 3*i + 12. Is n(-3) prime?
False
Suppose 23*q = 22*q + 737. Is q a composite number?
True
Let w = 1 + 3. Let f = 15 + -10. Suppose -x + o = -23, w*o + f = -11. Is x a prime number?
True
Suppose 2*n + 2*n = 1072. Let b(m) = -50*m**2 - 1. Let a be b(1). Let g = a + n. Is g a composite number?
True
Let f be (4 + 4)*(-14)/(-4). Is f/12*(0 - -57) composite?
True
Is 1*(-3 - -4)*419 a prime number?
True
Let w(i) = -i**3 + 2*i**2 + i. Let u be w(2). Suppose 5*l - u*v = -0*v + 381, -4*l = -v - 306. Is l prime?
False
Suppose 5 = 2*m - 3. Suppose l + m*u - 300 = 0, -2*l = 2*l + 3*u - 1252. Suppose 0*g + l = 4*g. Is g composite?
False
Is 428/6*2/8*66 prime?
False
Suppose 255 = 5*l - 300. Is l a composite number?
True
Let b = 1 - 4. Let s be 4/(-6) - 2/b. Let a(l) = -l**2 + 13. Is a(s) a prime number?
True
Let z(p) = -15*p + 3. Is z(-2) prime?
False
Let c(p) be the first derivative of -p**4/4 - 7*p**3/3 - 3*p**2 - 2*p - 2. Let z be c(-6). Is 2 + 1 - (z + -14) a prime number?
True
Suppose 4*u + 2 = 3*k - 18, -3*u = -2*k + 14. Suppose 3*f + 6 - 21 = 0, 0 = 5*t - k*f - 995. Is t prime?
False
Let h = -18 - -110. Let g be -54 - ((-5)/(-1) - 4). Let o = g + h. Is o a composite number?
False
Suppose -3*n + n = 0. Suppose n = -l + 4 - 2. Suppose 4 = l*v - 34. Is v prime?
True
Let w(v) = -3*v**3 - 15*v - 17. Is w(-7) prime?
True
Let u(n) = n**3 - 2*n**2 - 2*n + 3. Let z be u(3). Let h(q) = 0*q**2 + q**3 + 4*q**2 - 7 + 4*q - 2*q**3 + 3*q**2. Is h(z) prime?
True
Let i be (25/20)/(2/8). Suppose i*b - 4*b + 5*v = 15, -4*b + v + 102 = 0. Is b a prime number?
False
Let g(l) = -42*l**3 - 2*l**2 - 17*l - 23. Is g(-6) a prime number?
False
Let k(p) = -p**3 - 9*p**2 + 13. Let d be k(-11). Suppose 0*g + d = 5*g. Is g a prime number?
False
Let x(p) = 1806*p + 23. Is x(2) prime?
False
Let m = 1 + 3. Suppose m = 2*f - 6. Suppose -h + 53 = 5*k, 2 + f = k - h. Is k a composite number?
True
Suppose -177 + 1350 = 3*x. Is x composite?
True
Is 1/(8/668)*2 a prime number?
True
Suppose 0 = -2*l + 10, 0*c - 2178 = -2*c + 4*l. Is c a prime number?
False
Let c(a) = 21*a**2 - a - 1. Suppose -8 = -2*u - 2. Let v be -2 - -1*u - -2. Is c(v) composite?
True
Suppose -l - f + 4 = 0, 6 = 2*f + f. Suppose -3*m - l*a - 6 = -4*a, -2*m - 5*a = -15. Is (m + -26)/(5 + -7) a composite number?
False
Is (-3)/9 + (-16996)/(-21) composite?
False
Let u = -1024 - -1545. Is u composite?
False
Let n(x) = x**2 + x + 2. Let p be 5/(5/(-2)) - -5. Let l = p + -3. Is n(l) composite?
False
Suppose 0 = -2*f + 6*f + 2*o - 3900, -2*o = 3*f - 2927. Is f prime?
False
Let z = -268 - -142. Let d = 245 + z. Is d composite?
True
Suppose 5*k = 2*l - 17, -3*l + 4*k = k - 30. Let d = 15 - l. Suppose -d*g + 146 = -a, g + 6*a - 5*a - 39 = 0. Is g composite?
False
Is (2/(-3))/(24/(-3204)) a prime number?
True
Let q(t) = t**3 + 7*t**2 + 5*t - 4. Let w be q(-6). Suppose 0 = -w*n - 6*m + 2*m + 18, -2*n = m - 21. Is n a prime number?
True
Is (-1)/((-224)/(-76) + -3) a composite number?
False
Is 2/11 + 26535/165 prime?
False
Let a = 96 + 73. Is a prime?
False
Let s(d) = d**3 - 11*d**2 + 16*d - 2. Is s(12) a prime number?
False
Suppose -a - 489 = -4*d, 5*d - 449 - 159 = -2*a. Is d a composite number?
True
Suppose -6*r = -r + 210. Let w be (-4)/14 - 978/r. Suppose -4*p = 7 - w. Is p composite?
True
Let v(a) = -11*a**3 + 7*a + 7. Is v(-4) a composite number?
False
Let t(j) = j**2 - 11*j + 25. Is t(17) a composite number?
False
Let q = 1482 + -827. Is q a composite number?
True
Let q(p) be the third derivative of -p**4/6 + 3*p**2. Let v be q(-1). Is -7*v/(4/(-3)) composite?
True
Let k(y) = -2*y**3 - 9*y**2 - 8*y - 7. Is k(-6) composite?
False
Suppose 3*j - 3840 = 8748. Suppose j - 1491 = 5*v. Is v prime?
True
Suppose 3*n - 9 = 0, g - 38 = -n - 4. Is g prime?
True
Let c = 122 - 33. Is c composite?
False
Suppose 152 = r + 5*b, -r + 2*b = -49 - 68. Is r composite?
False
Let c = 4563 - 2584. Is c composite?
False
Suppose 0*t = 2*t + z - 321, 5*t - 840 = 5*z. Suppose r = 321 + t. Let v = r - 267. Is v a composite number?
True
Is (-4)/2*(-787)/2 a prime number?
True
Let t be 7/3 - (-2)/3. Let p(v) = 7*v**2 - 2*v - 3 + v**2 + 3*v + 2*v**3 - v**t. Is p(-3) a composite number?
True
Let d(j) = j - 7. Let x be d(9). Let u be (-2)/(-4) - 306/(-4). Suppose 3*i = -5*n + 182, -2*n + i + u = -x*i. Is n prime?
True
Suppose -3*s - 2*o + 1281 = -297, 5*o = -3*s + 1578. Suppose -4*p - s = -6*p. Is p prime?
True
Suppose -7*u + 4*u + 1338 = 0. Is u a composite number?
True
Let u be (-2)/(-9) - 1712/(-72). Is 6/u + 103/4 composite?
True
Suppose 8 + 4 = 3*y + 3*o, y = -5*o + 4. Is y/(-6)*(-762)/4 prime?
True
Suppose 3*r + 18 = 3*b - 9, 0 = 3*r. Let x(d) = d**2 - 6*d + 4. Is x(b) a composite number?
False
Let u(a) be the second derivative of 0 - 3/2*a**3 - 2*a + 1/2*a**2. Is u(-4) composite?
False
Let t = 543 + -385. Suppose -t = -5*f - 4*s + 339, 479 = 5*f - 2*s. Is f a prime number?
True
Suppose 5*k = 2*k + 432. Suppose k = -0*o + o. Let r = o + -85. Is r a prime number?
True
Suppose 3*f - 2*f - 291 = 0. Is f a composite number?
True
Let m be (4 + 1)*(-8)/(-10). Suppose -5*n - 23 = -m*z + z, -2*n = -5*z + 13. Is 1/n + (-266)/(-8) composite?
True
Is 24 - 26 - (-93 + 0) composite?
True
Is (-701)/(2 - -1 - 4) prime?
True
Let h(f) = 38*f - 15. Suppose -4*v - 5 + 37 = 0. Is h(v) prime?
False
Let r be (-2)/(-9) + (-384)/27. Let x = 5 - r. Is x a prime number?
True
Suppose -5 - 7 = 2*c - 5*s, 4*c - 4 = 3*s. Suppose -c*a + a = 0. Suppose a = -r + q + 52, -3*q + 48 = r - 0*q. Is r a prime number?
False
Let v be (-1)/2 - (-846)/(-4). Let q = 8 - 4. Is (v/(-8))/(2/q) composite?
False
Let m(h) = h**3 + 16*h**2 - 17*h + 22. Is m(-17) composite?
True
