rime number?
False
Suppose 0 = 4*i - 2*i - 6. Suppose -5*d - i*h + 104 = 0, -3*d + h = -0*h - 68. Is d prime?
False
Is (165 - 1/1) + (-1)/1 composite?
False
Let l = -21 - -118. Is l a composite number?
False
Suppose 4*f = -0*f + 1788. Is f a composite number?
True
Is 1041 - (-36)/45*(-10)/4 prime?
True
Is 10415/75 - 4/(-30) prime?
True
Suppose y = -5*j - 4, 0 = -2*j - j + 2*y + 8. Suppose 0 = -w - j*w - 3. Is 12 + 1*(-1 - w) a composite number?
True
Suppose -279 = -7*u - 2*u. Is u prime?
True
Let i(z) = 2*z - 8. Let c be i(5). Suppose 0 = c*h - 4 - 74. Is h prime?
False
Let c(n) = 0 - 12*n + 1 - 2*n. Is c(-8) prime?
True
Let t(x) = -23*x - 11. Is t(-12) a prime number?
False
Suppose a = -5*i - 0*a - 37, 4*i + 3*a = -34. Let w be -40*i/(70/156). Suppose -4*b + w = -4*l, 3*b - l = 345 + 121. Is b a composite number?
True
Let r = -202 - -347. Is r a composite number?
True
Let d(z) = 3*z**3 + z + 3 - 4*z**3 - 2*z**2 + 2*z. Let y be d(-2). Let q = y - -10. Is q prime?
True
Let d(c) be the second derivative of c**4/12 + c**3/6 - c**2/2 + c. Let j be (-14)/(-4) - 1/(-2). Is d(j) a prime number?
True
Let z = -23 - -100. Suppose 3*i - z = 28. Is i prime?
False
Suppose 5*o = -5*p - 0*o, -p - 3*o = 2. Is 184/6 + p/3 prime?
True
Let q(a) = 4*a**2 - 2. Let z be q(-3). Let i be (-5)/2*-5*z. Suppose 0 = -3*h - 2*h + i. Is h a prime number?
False
Let s(x) = 53*x**2. Is s(1) composite?
False
Suppose 3*g - 536 - 2443 = 4*b, b - 4*g + 748 = 0. Let s = b - -1051. Is s composite?
False
Suppose 4*y = -y + 5. Is (4 + -14)/(-1*y) composite?
True
Suppose -3 - 3 = -3*n. Suppose -3*p - 62 = -0*t - n*t, 4*t + 3*p = 88. Suppose -s - t = -y, -s = 2*y - 6*y + 88. Is y a prime number?
False
Suppose -5*x = -15, 0 = 4*m - 3*x - 7 - 4. Suppose -m*j = -4*j - 26. Is j a prime number?
False
Suppose -69 = y + 3*z - 841, 3*z = 5*y - 3950. Is y a composite number?
False
Is 60/16*39172/21 prime?
False
Let r be ((-44)/33)/((-4)/(-6)). Let w(j) = -21*j**3 + j**2 - 1. Let n be w(1). Let t = r - n. Is t a prime number?
True
Suppose -424 = w - 5*w. Is w prime?
False
Let i(y) be the third derivative of -y**4/24 - y**3/2 + y**2. Let w be i(0). Is 15 - 3/w - 1 a composite number?
True
Let i = -124 - -378. Is i a prime number?
False
Suppose 4 = r + 2. Is -3 + -68*(-1)/r a composite number?
False
Let j be 2/6 - 9250/30. Let w = j - -611. Is w composite?
True
Is (-16)/(-24) + (-15820)/(-12) composite?
False
Let w = -6 + 6. Suppose w = -z + 3, 4*l - 5*z - 120 = -z. Is l a composite number?
True
Let q = 534 - -715. Is q prime?
True
Let l(z) = 31*z**2 + 5*z + 5. Let r be l(-4). Suppose 3*d - r = -100. Is d a prime number?
True
Let b(g) = g**2 + 8*g + 13. Let r be b(-12). Let x(p) = 3*p - 4. Let l be x(3). Suppose -4*u + 2*u + 4*k = 2, 0 = -4*u - l*k + r. Is u prime?
False
Suppose 2*o - 2 - 14 = -2*a, -o - 5*a + 8 = 0. Suppose 0*s = -3*s + 3. Is 42/o*s*4 prime?
False
Let d(r) be the first derivative of r**3/3 - 2*r**2 + 3. Let l be d(3). Is l/(-2)*(-62)/(-3) prime?
True
Let y = -7620 + 13581. Is y prime?
False
Suppose 23 = -4*f + 5*w, 0*f + 3*f - 4*w + 18 = 0. Let i(r) = 36*r**2 - 4*r - 3. Is i(f) a prime number?
True
Let v(d) be the first derivative of -11*d + 1/3*d**3 + 0*d**2 + 1. Is v(8) prime?
True
Let s = 959 - 451. Suppose -4*z + s = -0*z. Is z a prime number?
True
Let j(g) be the third derivative of 7*g**5/30 - g**4/24 - g**3/6 - g**2. Is j(2) prime?
True
Let f be -5*((-79)/5 - -1). Suppose -69 = 5*o - 2*o. Let a = f - o. Is a composite?
False
Is 176/3 + (-3)/(-9) prime?
True
Suppose -6*r = -2*r + 16, 3*n = r + 40. Let a be ((-6)/(-8))/((-3)/n). Is a*6/9 + 39 prime?
True
Let f(k) = -141*k - 6. Let v(c) = 20*c + 1. Let z(y) = -2*f(y) - 15*v(y). Is z(-2) a prime number?
False
Suppose -5*n + 8*n + 15 = 0. Let r = 12 + n. Is r prime?
True
Suppose -2*b = -3 - 7. Suppose 0 = -3*v + 4*u + 347 + 258, -4*v = -b*u - 806. Suppose x = -3*f + 64, 3*x - 2*f - v = -4*f. Is x prime?
True
Suppose 2 + 43 = 3*d - 3*s, -5*d + 111 = 4*s. Suppose 3*m + a - d = 0, -m - m + a = -6. Suppose -43 = -m*z + 12. Is z composite?
False
Let t = 5923 - 3104. Is t a prime number?
True
Let b(k) = -k**2 + 4*k - 3. Let n be b(3). Suppose 2*l - l + 22 = n. Let x = 41 + l. Is x prime?
True
Suppose 0 = -2*i + 19 - 7. Let p = i + 15. Is p a prime number?
False
Let z be -1*(1 + -1) + 22. Let c = 3 + 0. Suppose z + 53 = c*n. Is n a prime number?
False
Let m(o) = 8*o - 3. Let a = 0 + 3. Is m(a) a composite number?
True
Suppose -v - 5 = 6. Let u = v - 145. Is u/(-5) + (-1)/5 composite?
False
Let y = 17 - -6. Suppose 17 = 5*h - y. Let s(l) = 2*l - 12. Is s(h) a composite number?
True
Let w(h) be the second derivative of h**5/20 + h**4/6 + h**3/6 - h**2 + 2*h. Let s be w(-3). Is (s + -5)*1*-1 composite?
False
Suppose -6 = -5*g + 9. Is g a composite number?
False
Suppose 0*z - 696 = -z - h, -2*z + h + 1407 = 0. Is z composite?
False
Let b(c) = 3*c**2 - 4*c - 9. Let t(a) = -6*a**2 + 9*a + 19. Let w(j) = 13*b(j) + 6*t(j). Is w(-5) a prime number?
False
Let t(r) = 53*r**2 + 5*r + 1. Is t(5) prime?
False
Suppose -3*o - 46 = -5*r, 2*r - 2*o - 6 = -7*o. Let t(d) = -d**2 + 7*d + 5. Let b be t(r). Is (-802)/b*(-3)/(-2) a prime number?
True
Suppose 0 = -11*x + 23819 + 9588. Is x a composite number?
False
Suppose -i + 2 + 1 = 0. Suppose x - i*x - k = -131, 3*k = -x + 58. Is x a prime number?
True
Let c = -59 + 112. Is c composite?
False
Let c be 4 + (0/(-1) - -1). Suppose -n + c = 3. Is (23*-2)/n*-13 composite?
True
Suppose y = -5*b, 0*b = 4*y - 4*b. Suppose y = -3*v + 116 + 142. Suppose s + s = v. Is s a composite number?
False
Suppose 2 = 3*s - 4. Let b(v) = 3*v**s + 8*v**2 + 1 - 6*v**2 + v. Is b(-4) a prime number?
False
Let o(p) = p**3 + 3*p**2 - 4*p + 2. Let i be o(-4). Suppose -56 = -3*x - 4*f, i*x = x - f + 19. Suppose -k = -17 - x. Is k a composite number?
False
Let v(b) = -b - 79. Let i be v(0). Let p(g) = -3*g**2 + 3*g + 6. Let f be p(-4). Let u = f - i. Is u composite?
True
Suppose 0*u + 2940 = 3*h - 3*u, 2*h + 5*u - 1953 = 0. Is h prime?
False
Suppose 2*c + 0*c = 32. Suppose -2*j = 3*t + 33, -7 = 2*t + 3. Let f = j + c. Is f a composite number?
False
Let m be -38*(-2 + 3/1). Let v = -25 - m. Is v composite?
False
Suppose 26 = 4*k + 5*x + 1, 4*x = 3*k - 11. Suppose 0 = -2*p + 3*v + 10, -p - k*v + 0*v = 8. Suppose 40 - 138 = -5*n + z, 0 = 2*n + p*z - 32. Is n composite?
False
Let u(c) = c**2 + 3*c + 2. Let o be u(-3). Suppose s - o*l = 11, 2 = -5*l + 22. Is s composite?
False
Suppose -4*a + 8*a + 2568 = 0. Let h = -379 - a. Is h a composite number?
False
Let o(p) = -10*p - 9. Is o(-10) a composite number?
True
Let b(a) = a**3 + 6*a + 6. Is b(5) a prime number?
False
Suppose -b + 3 = -5. Let f = -6 + b. Suppose -3*n + 3*o = f*o - 144, o - 248 = -5*n. Is n composite?
True
Let h = -2 + 7. Suppose 2*f - 7*f - h*c + 185 = 0, -3*c = -3*f + 111. Is f a composite number?
False
Let d(t) = t**2 - 4*t + 9. Let w(l) = -l**2 - 8*l + 10. Let i be w(-8). Is d(i) composite?
True
Let v(l) = -l + 1. Let b be v(2). Is (455/(-28))/(b/4) a composite number?
True
Let y = 3 + -3. Suppose y = f - 0*t + 3*t - 8, -2*t - 18 = -f. Suppose -4*z + f = -22. Is z prime?
False
Let b = 237 + 0. Suppose b = 4*r - 235. Is r prime?
False
Let m(v) = -v + 6. Let k be m(6). Suppose 5*y - 15 = k, 30 = 2*g + 3*y - 49. Is g composite?
True
Is 355 - (8/(-2) + 0) a composite number?
False
Let a(f) = -f**3 - 7*f**2 + 5*f - 8. Let b be a(-8). Suppose -4*d = -b, 4*i - 464 = 2*d - 5*d. Is i a composite number?
False
Let v(j) = -j + 6. Let x be v(0). Let b(f) = f + 4. Is b(x) composite?
True
Let r(w) = -8*w - 5*w - 6*w. Let i be 1/(1 + 2)*-3. Is r(i) a composite number?
False
Let s = 10 - 8. Is -3 + (397 - s - -1) a composite number?
True
Suppose 6 = -3*z, -4*m + 0*z = -3*z - 26. Suppose -o = 2*o - m*u - 774, o + u = 250. Is o a prime number?
False
Suppose -1563 = -2*y + 323. Is y prime?
False
Let u = 1916 + -723. Is u a composite number?
False
Is 64 + -2 - (0 + 3) a composite number?
False
Is -1*(-3)/3*397 a composite number?
False
Suppose 2*v - 3*w - 2 = 4, 2*w + 10 = 2*v. Is 2/6 - (-600)/v composite?
False
Let f(w) = -w**2 - 13*w - 12. Let k be f(-12). Is (-36 + -1)*(k - 1) composite?
False
Let i(v) = v**3 + 9*v**2 - 9*v + 8. Is i(-9) composite?
False
Suppose -2*s + 0*m - 3*m = 91