number?
False
Let b(k) = -8*k**3 - 4*k**2 + 6*k + 3. Is b(-4) a prime number?
False
Let l(p) = 911*p**3. Is l(1) a composite number?
False
Suppose w + 0*w = 1, -s + 88 = 2*w. Is s a prime number?
False
Is ((-11028)/(-9))/((-2)/(-3)) a composite number?
True
Suppose -3*i = -0 - 12. Suppose -d = 2, i*x + 2*d + 221 - 869 = 0. Is x composite?
False
Suppose 0 = g - 3, -4*o = 4*g - 470 + 58. Suppose n = -n + o. Suppose c = n - 16. Is c a prime number?
False
Let o(j) be the second derivative of -19*j**3/6 - 2*j**2 - 6*j. Is o(-3) composite?
False
Let t(i) = -32*i**3 + 4*i + 1. Is t(-3) a prime number?
True
Let f(d) = d**3 + 6*d**2 + 7*d + 4. Let r be f(-4). Suppose 0 = -5*x, -r = -4*b + 2*x + 3*x. Let a = b + 51. Is a a composite number?
False
Let m = 335 - -42. Suppose 2*b = 5*q + 82 + 152, 0 = -3*b + q + m. Is b composite?
False
Let m(d) = d - 2. Let s be m(2). Let a(l) = l**3 - l + 11. Let i be a(s). Let t(z) = -z**3 + 11*z**2 + 3*z + 2. Is t(i) a composite number?
True
Suppose -1 = k + 4. Let u(d) = 6*d - 1. Let x be u(k). Let n = x + 78. Is n prime?
True
Suppose 5*n + 3*t = 19, 2*t = 2*n - n + 4. Suppose -5*a + a = 0. Suppose 0*b - n*b - s + 19 = a, 15 = -5*s. Is b a composite number?
False
Suppose -h - 67 = -2*t, -11 = -t - 0*h - 4*h. Suppose t - 3 = 4*u. Let l = 13 - u. Is l composite?
True
Suppose -4*x = 3*t + 24099, t - 1 = 2*t. Is (2/(-8))/(6/x) a prime number?
True
Let v(l) = 51*l**2 - 6. Is v(-3) a composite number?
True
Suppose 0 = 4*g - 6*g + 330. Suppose -i - 2*i = -g. Is i composite?
True
Let k(q) = 2*q**3 - 17*q**2 - 14*q - 5. Is k(12) prime?
False
Let u = -768 - -1323. Suppose u = 4*y - b, -b - 4 = -5. Is y a prime number?
True
Let b = -3 - -3. Suppose -35 = -p + g, b*p - 4*g - 70 = -2*p. Is p prime?
False
Suppose 2*x + 0*x = 20. Let b(u) = u**3 - 8*u**2 - 16*u + 11. Is b(x) composite?
True
Let r be 18/4 + (-2)/4. Suppose -7*m + 2*m = 0. Suppose m = r*y + 6 - 458. Is y prime?
True
Suppose -5*q = -1430 - 1440. Suppose 0 = w - 4*z - q, -3*z + 1341 = 3*w - 456. Suppose 12 = -4*r, 5*s - 364 = r + w. Is s prime?
True
Let g(j) = -4*j + 0*j**2 + 15 - 6*j + j**2 - 13*j**2 - j**3. Is g(-11) prime?
False
Let i be (0/2 + 0)/(-1). Suppose -v + 4*r + 14 = 0, 0 = 5*v + 4*r - i*r - 46. Let n = v - -109. Is n a prime number?
False
Suppose 5*i = 5*s + 1630, i - 324 = 5*s - 2*s. Is 12/(-4) + 5 + i a prime number?
False
Let j(c) = c**2 - 1 + 6*c**2 - 5*c**3 + 5*c + 4*c**3. Is j(6) prime?
False
Suppose 3*m - b + 5*b - 4139 = 0, -2*m + 3*b + 2782 = 0. Is m a composite number?
True
Let o = 7829 + -4440. Is o a composite number?
False
Let g be ((-21)/(-12))/((-3)/(-12)). Let d(t) = t**2 + t + 2. Let j be d(g). Let h = -35 + j. Is h a composite number?
False
Suppose 0 = -4*s - 3*z + 16, -4*s + 5*z - 18 = -2*s. Is (s + 0)/((-3)/(-33)) prime?
True
Suppose 5*h - 5*f + 0 = 5, 0 = 5*h + f - 17. Suppose -4*y = -109 - 39. Is y + (-3*2)/h composite?
True
Let j(n) be the second derivative of 4*n**5/5 + n**4/12 - 2*n**3/3 + 3*n**2/2 - n. Let x be 2/(-13) - ((-320)/52 - -4). Is j(x) prime?
True
Suppose -2*j - 8 = -0*j. Let q = j + 6. Suppose p - 5*z = 36, q*z + 13 = -3*p + 70. Is p composite?
True
Suppose -28 - 26 = -h. Let d = -76 + h. Let f = d - -31. Is f composite?
True
Suppose 1461 = 5*r - 2*r. Is r a prime number?
True
Suppose 5*p - 459 = 26. Is p a composite number?
False
Let v = -3 + 3. Let f(h) = h**2 + 3*h - 7. Let y be f(-5). Suppose v*o = -y*o + 111. Is o prime?
True
Let v = 8 + -5. Let q(j) = -j + 4 + 2*j**2 + 18*j**v + 2 - 6. Is q(1) a composite number?
False
Let k = 1408 + -903. Is k a prime number?
False
Let y(f) = 2*f**3 - f**2 + 2*f - 1. Let q be ((-6)/6)/(1 + -2). Let j be y(q). Suppose -j = -g - 3*a + 5, -5*g = a - 105. Is g prime?
False
Suppose -2*w = -w - 22. Is w prime?
False
Suppose b + 0*b + 5*s - 5132 = 0, -4*b + 4*s = -20600. Is b prime?
True
Is (-68)/(-8)*(0 + 6) composite?
True
Let k = -4548 + 8819. Is k prime?
True
Let x(b) = 2*b**2 - b. Let w be x(3). Let k = w - 10. Suppose -2*v = -0*p + 2*p - 54, k*v = -2*p + 123. Is v prime?
True
Let n(x) = 0 + 2*x**3 - x + 3*x**2 - x**3 - 2. Let m be n(-2). Is (-558)/(-30) - m/(-10) a composite number?
False
Suppose -2*i + 2 = -0, 3*y = -4*i + 349. Is y a prime number?
False
Let f(n) = -n**3 - 7*n**2 - 6*n + 5. Let x be f(-5). Let b = 35 + x. Let k = b - 6. Is k prime?
False
Let t = -4 + 6. Suppose x - 4 = t. Suppose -x*m + m + 1285 = 0. Is m prime?
True
Let b be (3 - 1) + (-19 - -19). Let o(z) = -39*z**2 + 11*z - 2. Let q(m) = 19*m**2 - 5*m + 1. Let l(w) = 6*o(w) + 13*q(w). Is l(b) a prime number?
False
Let v = 226 + -132. Is v composite?
True
Suppose -5*k + k - 34 = -n, -n - 3*k = -34. Is n prime?
False
Let i(b) = 34*b - 13. Is i(9) composite?
False
Suppose g - 89 = -34. Is (-10)/g - (-277)/11 a composite number?
True
Suppose -3*y + 813 = -1956. Is y a prime number?
False
Let g(i) = -34*i**3 - i**2 - 14*i - 10. Is g(-5) prime?
False
Suppose 4*h - 1 = -2*w + h, 3 = -3*h. Let p(z) = 4*z**2 - z - 5*z**w - 3 + 5*z**2. Is p(-4) a prime number?
False
Suppose -3*j - 91 = -382. Is j a prime number?
True
Suppose -5*x + 4395 = -2*x. Is x a composite number?
True
Let h(w) = -514*w - 2. Let z be h(-2). Is z/2 - (-3 - -7) prime?
True
Let z be 2 + -4 + (-8)/(-2). Suppose z*m - 8 = -2*m. Let j(s) = 4*s**2 - 2*s - 1. Is j(m) a prime number?
True
Let k = 1 - -3. Let x(o) = o**2 + 6*o + 4. Let h be x(-5). Let f = h + k. Is f composite?
False
Suppose -k - 1292 = -5*k. Is k a composite number?
True
Suppose -7*b + 1766 + 4653 = 0. Is b composite?
True
Let o = 6 + 4. Is 4040/25 + (-6)/o a composite number?
True
Suppose 0 = -12*j + j + 407. Is j a composite number?
False
Let h = 181 + -102. Is (h/2 + 2)*2 composite?
False
Let r be (-20)/(-16)*-4*1. Let x(t) = 3*t**3 + 14*t**2 + 34*t + 37. Let z(a) = 2*a**3 + 9*a**2 + 23*a + 25. Let h(f) = r*x(f) + 7*z(f). Is h(-7) a prime number?
True
Let v(t) = t**2 - 7*t - 1. Suppose 48 = -3*w + 123. Suppose 5*i + 4*s - 36 = 0, 8*i = 5*i + s + w. Is v(i) a prime number?
True
Let a = 127 - -1697. Suppose 0 = -4*m - 0*m + a. Let f = m - 233. Is f a prime number?
True
Suppose 3*g = -12, 0*m = -m - 5*g - 16. Suppose -2*t + m*t - 2 = 0. Is (t + -2 + 3)*5 a prime number?
False
Let i = 75 + 43. Is i composite?
True
Suppose -6*n - 174 + 648 = 0. Is n a composite number?
False
Let j = 69 - 7. Let n = 231 + j. Is n a composite number?
False
Let z be ((-9)/6)/(3/(-4)). Suppose 0 = -c - z*c. Suppose 3*p - 42 - 21 = c. Is p a prime number?
False
Suppose -6 = h + 3*r, -2*h + 5*r + 11 - 1 = 0. Let d be ((-16)/(-2) - h) + 1. Suppose -y + 5 = -d. Is y prime?
False
Let x(r) = 3*r - 3*r - r - 2 + 5*r**2. Let o be x(-2). Let i = o + 15. Is i prime?
False
Suppose -4*u = -3*v - 4691, 0 = 4*u + 3*v + 2*v - 4651. Is u a composite number?
True
Suppose -1341 = -4*i + 487. Suppose -i - 598 = -5*j. Is j a composite number?
False
Let h be 53/2*(-2)/(-1). Let a = h - -38. Is a a prime number?
False
Suppose 2*z - 274 = 4*l, -6*z + 4*z + 2*l = -264. Is z a composite number?
False
Let x be -2 - (1 + (-4 - 1)). Suppose -3*u + 14 = -x*u. Suppose -5*p + 120 = o - u, -3*o - 3*p = -366. Is o prime?
False
Let g = -19 + 19. Is (-2)/4*(-74 - g) composite?
False
Let x(r) be the second derivative of -49*r**3/3 - 3*r**2/2 - 4*r. Is x(-5) prime?
True
Let o(w) = -98*w - 5. Is o(-2) prime?
True
Let b(s) be the third derivative of 37*s**5/30 + 2*s**2. Let h be b(1). Suppose 3*g - h = g. Is g a composite number?
False
Let g = 2812 + -1821. Is g a prime number?
True
Let z = -12 - -6. Let w(c) = 5 + 4*c - c + 5*c**2 + 6*c. Is w(z) prime?
True
Is 3780/24 + 1/(-2) prime?
True
Let f be 19/7 + (-2)/(-7). Suppose 149 = f*k + 4*v, 3*v = -0*v - 12. Is k prime?
False
Let x(g) = 5*g**3 + 6*g**2 - 5*g + 1. Is x(4) a prime number?
True
Suppose -5*y + 2*y + 15 = 0. Suppose -k + y*b = -34, 3*k + 33 - 96 = 2*b. Suppose 4*v - 45 = -d, 4*d - 4*v = -k + 139. Is d composite?
True
Let x(a) = a**3 + 8*a**2 + 11*a + 15. Is x(17) composite?
True
Let f(i) = i**3 - 5*i**2 + 5*i - 4. Let h be f(-6). Let o = h + 615. Is o prime?
False
Let x be 99/21 - (-14)/49. Suppose -20 = -x*s + 25. Is s prime?
False
Suppose -23 = -5*j + 27. Suppose -t + 2*o = t - j, 0 = 3*t + o - 3. Suppose -51 = -t*u - 5*r, -8 = -5*r - 3. Is u a prime number?
True
Suppose 1 = 5*g - 1