True
Let h = -23 - -141. Suppose -h - 147 = -5*k. Is k prime?
True
Let p be 22/5 + 3/5. Suppose p*a - 395 = -130. Is a composite?
False
Let w(g) = 2*g**3 - 15*g**2 + 3*g + 19. Is w(14) a prime number?
True
Let l be (10/(-6))/((-2)/(-174)). Let s = l - -41. Let r = s - -151. Is r a composite number?
False
Let m = 38 - 25. Is m a composite number?
False
Let r = -26 - -17. Let f = 42 + r. Is f composite?
True
Let y(u) = 128*u**2 - 1. Is y(-1) composite?
False
Let g be 2145/20 - 2/8. Let u = g - 22. Suppose -u = -5*w + 90. Is w prime?
False
Suppose -4*r = -3*r + 3, -2*o + 6 = 4*r. Let y be (-2)/(-9) - (-25)/o. Suppose -39 = -4*w + y*w. Is w prime?
False
Let v(k) = 7*k - 8. Is v(6) prime?
False
Is (4/(-14))/1 + (-120584)/(-56) a prime number?
True
Suppose -5*r - 2*d = -6*d - 18, 4*r + 2 = -5*d. Suppose -5*i + 4*x = -130, r*i - 20 = -5*x - 1. Is i a composite number?
True
Suppose k + 389 = 2*k + 4*c, -4*k - 3*c = -1504. Is k a composite number?
False
Is 2*4/8 + 264 prime?
False
Let c(x) = x**2 + 4*x - 8. Let k be c(-7). Suppose z + d = 3*z - 54, -5*z + 2*d = -136. Let p = z - k. Is p a composite number?
True
Let c(n) = -33*n + 16. Is c(-11) prime?
True
Suppose 488 = -3*n + 1415. Is n a composite number?
True
Suppose 0 = -6*b + 2616 + 11394. Is b a prime number?
False
Let x(a) = 4*a**2 - 4*a + 9. Is x(-5) composite?
True
Suppose -k + 5 = -0. Suppose 0 = k*d - 303 - 262. Is d a prime number?
True
Suppose 5*h = -0*h + 55. Let w = 30 - h. Is w a prime number?
True
Let j(d) = -2*d**3 - d**2 + 3*d - 2. Let m be j(6). Is m/(-4) + (3 - 1) a prime number?
False
Let y = -1 - -3. Let w(s) = -s**2 - s + 2. Let z be w(0). Suppose -2*d = 5*g - 33 - 56, -y*g - z = 0. Is d prime?
True
Suppose 9*w - 4*w - 20 = 0. Let j(q) = q**2 - 3*q. Let d be j(w). Suppose d*o - 10 = 3*o. Is o a prime number?
False
Let x be (1 - -2)*(8 - -1). Suppose 3*b - a + 5 = 0, x - 2 = 5*a. Suppose 5 - 1 = -4*j, 2*z + 5*j - 57 = b. Is z composite?
False
Let n be (4 + -2)*(-1 + 0). Is 3/n*2086/(-21) prime?
True
Let c be ((-1662)/9)/((-10)/45). Suppose -5*w + 4*y + c = 0, -5*y + 197 = w + 25. Is w a prime number?
True
Let o be (50/(-15))/((-2)/147). Suppose 4*y + o = 669. Is y composite?
True
Suppose -5*o = 3*y - 9976, 5*y - 1961 = 5*o + 14679. Is y a prime number?
False
Let u(j) = 8*j + 9. Let p(w) = -7*w - 8. Let r(s) = -6*p(s) - 5*u(s). Is r(10) prime?
True
Let n(u) = u**3 + u - 1. Let g be n(4). Let h = -16 + g. Is h a composite number?
True
Suppose -2*o = o - 1965. Is o composite?
True
Is ((-3)/(-2) - 1)*1082 prime?
True
Let g(p) = p**3 - 7*p**2 + p - 4. Let a be g(7). Suppose 5*j = 2*t - 39, -t = -a*j + 7*j - 13. Let k = t - 8. Is k composite?
True
Suppose -4*w = 3*f - 125, 2*f + 2*w - 82 = -0*f. Is f prime?
False
Suppose -5*c - 25 = -5*f, 4*c = -4*f - 0*c + 12. Suppose -h + 62 = 4*s - 97, 0 = -f*s + 16. Is h composite?
True
Suppose 10645 = 7*w - 2*w. Let s = w - 1487. Suppose 4*d = m - 205, 0*m + 3*m - s = 3*d. Is m a composite number?
True
Let l(a) = 9*a + 1 + 8*a + 12*a - 8*a. Let s be l(2). Let q = s - 6. Is q a prime number?
True
Let w = -1025 - -1512. Is w a prime number?
True
Let p = 41 - 23. Let m = 16 + -7. Is 479/m - 4/p a prime number?
True
Let o be 100/45 - 4/18. Suppose o*c - 2*i - 10 = 0, 2*c - 4*i = -c + 15. Let r(y) = 9*y**2 - 7*y + 1. Is r(c) prime?
True
Let f(q) = -q**3 + q**2 + 2. Let a be f(0). Suppose -o = o + a. Let t = 3 + o. Is t composite?
False
Let l(n) = -n - 1. Let m be l(-6). Suppose -q + 43 = -3*y, 180 = 4*q + y - m*y. Is 1 + 0/(-2) + q a composite number?
False
Suppose 0*k - 2*k + 4*u + 24 = 0, 5*u = -4*k + 9. Let x be (-33)/2*k/(-9). Let o = 64 - x. Is o a prime number?
True
Suppose -y + 0*y = -5*c + 5, -2*y = -5*c. Suppose 5 = -y*m + 70. Suppose 4*b + m = 5*b. Is b prime?
True
Let u(k) = 9*k**2 + 4*k - 2. Let z be u(-4). Let r = 205 - z. Is r prime?
True
Let m(r) = -r**3 - 8*r + 30. Is m(-9) composite?
True
Let t = 82 - 49. Let h be ((-7)/(-2) + 0)*-4. Let w = h + t. Is w a prime number?
True
Let y(a) be the second derivative of a**5/10 - 5*a**4/12 - a**3/6 - 13*a**2/2 + 4*a. Is y(10) a composite number?
True
Let u be 8/1 + -4 + 2. Is (444/10)/(u/15) a composite number?
True
Let j be (-32)/6 - 2/(-6). Let g(d) = -d**3 - 7*d**2 - d**3 + 3*d**2 - 6*d - 3. Is g(j) a prime number?
False
Let b = 44 - -65. Let t = -62 + b. Suppose -5*l = y + y - 49, -5*l - y = -t. Is l composite?
True
Let q(f) = 2*f**2 + 2*f + 1. Suppose 4 = a - 0, -5*n = 2*a + 32. Is q(n) a prime number?
True
Let v be 10/25 + 23/5. Let a = -3 + v. Is a prime?
True
Suppose -2*f - w = -5*w - 16, -5*w - 9 = 3*f. Suppose f*m - 42 = 5*m. Is (-1)/(4/22)*m prime?
False
Let s(t) = t - 4. Let u be s(4). Suppose u = 3*x + x - 8. Suppose x*c = 2 + 44. Is c composite?
False
Is ((-1)/3)/((-13)/11739) a composite number?
True
Let k be ((-21)/3)/(-2 - -1). Let w = k - 5. Suppose w*a + 54 = 2*m, -3*m + m + a + 53 = 0. Is m a composite number?
True
Suppose 4*w - w - 1257 = -4*l, -2*l + 639 = 5*w. Suppose -l = -4*j + 4*y, -4*y = j + 61 - 164. Let i = 136 - j. Is i prime?
True
Suppose -1970 = 5*h - 0*h. Let g = 725 + h. Is g a composite number?
False
Suppose 33 = 3*i - 3*v, 0*i + 4*v = i + 1. Suppose 2*u = -1 + i. Is u a composite number?
False
Let m(s) = s**2 + 5*s - 3. Let z be 50/(-6) - (-2)/(-3). Is m(z) a composite number?
True
Let w(t) = t**3 - 2*t**2 + t. Let d be w(1). Suppose d = -4*v - v + 10. Suppose -v*p + 3*g - 21 = -95, -2*g = 0. Is p composite?
False
Suppose 2400 = 2*i + 4*i. Suppose -2*d + i = 2*f + 108, f - 161 = 4*d. Is f a composite number?
False
Let w be 0/(-2 + -1 + 1). Suppose 0 = -4*s - w*s + 1172. Is s a composite number?
False
Let w(d) = 2*d**2 - 3*d - 5. Let o(u) = -u**2 + 3*u + 5. Let p(g) = 3*o(g) + 2*w(g). Is p(-5) a composite number?
True
Let l be 14/2 + (2 - 5). Is ((-134)/(-4))/(l/40) a prime number?
False
Is (-2530)/(-12) + 10/60 a prime number?
True
Let h(t) be the first derivative of -t**4/4 - t**2/2 - 1463*t - 1. Let x be h(0). Is x/(-28) - 6/(-8) composite?
False
Suppose -i - 2*r = -10, -3*i - 3*r + 16 = -2. Let a be 0*(-2)/(i - 4). Suppose -2*o + a*o = -42. Is o a composite number?
True
Let r(j) = 5*j + 30. Is r(-4) a composite number?
True
Let a be 12/(-16) - 70/(-8). Let s be a*3 - (-5)/(-5). Let k = s - 10. Is k composite?
False
Suppose 3681 = 11*u - 2*u. Is u a composite number?
False
Let j(s) = -2*s**2 + 3*s**3 - 6*s + 5 - 4*s**3 - 3*s**2. Let d = 11 - 16. Is j(d) a composite number?
True
Let i(f) = f**3 + 3*f - 2*f**3 + 2*f**3 + 1 + 4*f**2. Let q be i(-7). Let y = -102 - q. Is y a composite number?
True
Is -3 + 0 - (-6 + -108) a prime number?
False
Let a(i) = i**2 + 7*i - 3. Let z be a(-8). Suppose 9*x = -5*q + z*x + 1519, -2*q + 3*x + 626 = 0. Is q a composite number?
False
Let q(j) = -4*j - 7 + j**2 + 4 - 6 - 4. Is q(-10) prime?
True
Let m(s) = -1 - 3 + 2*s + 0. Let a be m(5). Is (-186)/(-10) + a/15 prime?
True
Suppose -2*h - 809 = -3*h. Is h composite?
False
Suppose -4*s + 136 = -0*s. Is s prime?
False
Let h(a) be the first derivative of -17*a**2/2 - 6*a - 3. Is h(-5) composite?
False
Let k(n) = 71*n - 15. Let j(b) = 24*b - 5. Let v(a) = -8*j(a) + 3*k(a). Is v(4) composite?
False
Suppose 0 = 4*x - 12 - 4. Let s be 56/2 + 1*2. Is ((-56)/(-12))/(x/s) prime?
False
Suppose -7 = -k - 3. Suppose u - k*u - 102 = 0. Let y = u - -69. Is y composite?
True
Suppose 0 = -0*l + 5*l - 40. Suppose -g + 2 = 0, -4*i = -g - l - 18. Is i prime?
True
Let j(q) = q - 1. Let k be j(5). Suppose -r + 157 = -k. Is r a composite number?
True
Let m = -4 + 6. Let h(o) = 1 + o - o**2 - 3*o**3 + 2*o + o**m - o**2. Is h(-2) prime?
False
Let w(j) = -11*j + 4. Let h be w(8). Let k be (38/(-3))/(8/h). Let z = -56 + k. Is z a prime number?
False
Let y = 10 + -36. Let f = y + 48. Is f composite?
True
Let x = 4 + -3. Let v be (-124)/(-8)*4/x. Suppose c - 99 - v = 0. Is c prime?
False
Suppose -m - 1 = -3. Is 65/((m - 3) + 2) a prime number?
False
Let r(b) = b**3 + 2*b**2 - 3*b. Let x be r(-3). Suppose 15 = -x*l + l - 2*a, 5*a = -l - 6. Let z = 100 - l. Is z prime?
False
Suppose -4*z - 61 = 3*w, -2*z - w = 3*z + 68. Let r(d) = d**2 - 9*d + 9. Is r(z) prime?
False
Let c be 103/3 + (-4)/12. Let k = 53 - c. Is k prime?
True
Is 7254/15 - -1 - (-12)/30 a composite number?
True
Suppose -3 = 3*s - 5*k - 7, 0