Is g composite?
True
Let z = 1 + 1. Suppose 0 = 3*i + 2*t - 15, t - 17 = -2*i + z*t. Let h(x) = x**2 + 3*x - 3. Is h(i) a composite number?
False
Is (1/(-3))/(0 + 7/(-29715)) a composite number?
True
Let h = -7 - -7. Let x be (150 + h)*(-5)/(-10). Suppose -400 = -5*m + x. Is m a composite number?
True
Suppose -8*h + 496 = -408. Let v = 1 - 1. Suppose -5*w + h + 42 = v. Is w a prime number?
True
Let g = 930 - 89. Is g a composite number?
True
Let y be 130*((-3)/(-6))/1. Suppose -3*m - 54 = -18. Let k = y + m. Is k a prime number?
True
Let b be 203 + -1*(2 - 2). Is b + (3 + -5 - 0) composite?
True
Suppose -2*m - 14 = -3*m + 2*j, 3*m - j = 37. Suppose -2*t - t - m = 0, -4*w + 4*t = -740. Is w a prime number?
True
Let a = -170 + 765. Suppose -v = 4*v - a. Is v a composite number?
True
Let l = 5 - 32. Let z = 89 + l. Is z prime?
False
Is (-19349)/(-66) - 1/6 prime?
True
Let n = -2 - -33. Let r(h) = -7*h**3 + 2*h - 3*h - n*h**3. Is r(-1) a prime number?
False
Let w(n) = 270*n**3 - 4*n**2 + 5*n - 5. Is w(2) a prime number?
False
Let m(d) = -d**2 - 11*d + 12. Let t be m(-12). Suppose 2*w - 4*w + 28 = t. Is w a composite number?
True
Suppose -5*f - 24 = -4. Let s(d) = 29*d**2 - 3*d - 3. Is s(f) prime?
False
Let z(u) = 18*u**2 - 3*u - 6. Let y be z(5). Let p be 4/(((-48)/10)/(-6)). Suppose -p*r = -2*r - y. Is r prime?
False
Let z(i) be the second derivative of -47*i**6/720 - i**5/12 - i**4/6 + 3*i. Let a(h) be the third derivative of z(h). Is a(-7) prime?
False
Suppose -2*b = -2 - 2. Suppose x = -2*u - 4*x - 18, -b*u + 14 = -3*x. Is 8 + -2 - u*-1 prime?
True
Let c(y) = -y - 5. Let h be c(-5). Let j(v) = v**2 - v + 95. Is j(h) prime?
False
Let r = -799 - -1686. Is r composite?
False
Let q = -16 + 54. Is q prime?
False
Suppose -158 = -4*q + 302. Is q composite?
True
Let g(i) = -i**3 + 4*i**2 + 3*i + 3. Is g(-4) a composite number?
True
Suppose -m = 3*v - 6, -10 = 5*m - 3*v - 2*v. Let w(i) be the third derivative of -i**6/120 + i**4/24 + 53*i**3/6 - 13*i**2. Is w(m) prime?
True
Let s(f) = -8*f + 1. Let l = -5 - -2. Is s(l) a composite number?
True
Suppose 0 = x + 2*x - 2*m + 4, m - 3 = x. Suppose x*y - 405 = -u, -5*u + 22 - 7 = 0. Suppose 0*d + y = 3*d. Is d a prime number?
True
Suppose 2*i + 20 = 4*i. Let z(r) = 1 - i*r + 29*r + 2*r + 34*r. Is z(2) a prime number?
False
Suppose 4 = -a, -4*n + 3*a = -2*n - 478. Is n prime?
True
Let j = -5659 - -9650. Is j a prime number?
False
Suppose r = x + 2*r - 214, 0 = 5*x + 4*r - 1065. Is x a composite number?
True
Suppose 2 = 4*p + 10. Suppose s + 4*s = -350. Is (s/4)/(1/p) composite?
True
Suppose p = -p - 8. Let a = 6 + p. Suppose a*d - 24 - 50 = 0. Is d a prime number?
True
Let m = 5 + -1. Is ((-6)/4)/(m/(-104)) a composite number?
True
Suppose -4*f - 2825 = -5*i, 0 = f + 4*f. Is i prime?
False
Let h(s) be the second derivative of s**5/30 + s**4/24 - s**3/6 - s**2/2 + s. Let d(a) be the first derivative of h(a). Is d(2) a prime number?
False
Suppose -4*w - t - 3 = 4*t, -9 = -4*w - t. Is -127*(2 - (w + 0)) composite?
False
Let z be ((-1)/(-2) + 0)*4. Is (11/z)/(4/88) composite?
True
Let n be 2 - -3*4/(-6). Suppose n = -i + 6*i. Is 34 + 0 + i + 1 prime?
False
Let u = -115 - -486. Suppose q + 2*y = u, y = -4*q - 56 + 1547. Is q a prime number?
True
Suppose y = -2*i + 7, 3*i + 8 = 2*y - 6. Let a = y - -62. Is a a composite number?
True
Let i(q) = -38*q - 1. Suppose 0*c + 4*c = 4. Let t = c - 2. Is i(t) a composite number?
False
Let d(c) = -2*c - 7. Let s be d(4). Is s/24*-2*908 a prime number?
False
Suppose d = -5*u + 140 - 6, -5*d + 770 = 5*u. Is d a composite number?
True
Let o(r) be the second derivative of -13*r**5/120 - r**4/12 - r**3/6 - 4*r. Let y(w) be the second derivative of o(w). Is y(-3) a composite number?
False
Let u(f) = f**3 - 2*f**2 - 2*f - 1. Suppose -30 = n - 6*n. Is u(n) composite?
False
Let j = 138 + -85. Let q = -48 + 34. Let g = j - q. Is g prime?
True
Let i = 540 + -383. Is i a prime number?
True
Suppose 0*w - 2965 = -5*w. Is w composite?
False
Let t be 26/5 + (-4)/20. Suppose 106 + t = 3*f. Is f composite?
False
Let w be (-210)/49 - -6 - (-4)/14. Let j be 2/((-1)/3 - -1). Suppose 0 = -4*f + w*m + 142, j*m - 8*m = -2*f + 91. Is f composite?
True
Suppose -5 = -2*x - 3. Let n(m) = 114*m**2 + m. Is n(x) composite?
True
Suppose 2*m - 18 = -m. Let b(j) = j**3 - 12*j**2 + 5*j - 3. Let k(l) = -l**3 + 11*l**2 - 6*l + 4. Let x(r) = 3*b(r) + 4*k(r). Is x(m) a prime number?
False
Let d = 39 - -14. Suppose 0 = 4*v - 3*v - d. Is v composite?
False
Let c(p) = -5*p**2 + 2*p**2 + 2*p**2 - 10*p + 21*p + 5. Is c(10) a composite number?
True
Let i = 1 + 10. Suppose -i = 5*l - 76. Is l a prime number?
True
Suppose 3*x + 12 = w - 2*x, -2 = 2*w + 3*x. Let i be (18/3)/(3/w). Suppose -i*d - 11 + 99 = 0. Is d a composite number?
True
Let p be (-2)/(-8) + 45/12. Suppose -v = p*v - 110. Let d = 75 - v. Is d a composite number?
False
Let i = 5 - -10. Suppose -3*n = -3*g + 7 + 2, -n = 5*g - i. Is g a prime number?
True
Suppose -19527 = -4*z + 5*c, -3387 = -z + c + 1495. Is z a prime number?
False
Suppose 3*b = -5*m - 11, -1 - 5 = -3*m. Let j = b + 8. Is 1/(((-3)/(-45))/j) a prime number?
False
Suppose -3*m + h + 3*h + 6503 = 0, 8654 = 4*m - 2*h. Suppose 2*i - 4*c = 1086, -2*i + 6*i - m = -3*c. Is i prime?
True
Let a = -4 - 5. Let g(y) = 3*y**2 + 7*y + 11. Is g(a) composite?
False
Is 6/(-4)*(-33 - -7) a prime number?
False
Suppose -3*y + 6*y = 12. Suppose -y*d - 931 = -5*r - 3*d, 5*r + 4*d = 951. Is r a prime number?
False
Suppose 3*h + 4*p = 155, 0*h - 3*p = -2*h + 92. Is 1015/h + 4/14 a composite number?
True
Suppose b + 20 = 3*b. Suppose -38 + b = 2*a. Let y = -3 - a. Is y a composite number?
False
Let f(y) = -y**3 + 9*y**2 - y + 11. Let o be f(9). Is 119 + 0*o/8 composite?
True
Let f = 1408 + -770. Let k be 1/(-2) + f/4. Suppose -2*w + k = 3*n - 5*w, 0 = 5*n - 2*w - 277. Is n a composite number?
True
Let z(y) = -y**2 - 1. Let s be z(2). Let a = 10 + s. Suppose 0 = a*u + 5*w - 25, -2*u + w - 5 = -21. Is u composite?
False
Suppose 4*r - 10 = 2*r, -3*l + 5*r = -644. Is l prime?
True
Suppose 0 = 3*q - 16 + 4. Suppose q*i - 249 + 37 = 0. Is i a prime number?
True
Let i = -4 + 11. Let r(q) = -q**2 + 10*q - 6. Is r(i) a prime number?
False
Let v(c) = -3*c + 3. Let l(r) = -10*r + 8. Let s(x) = -2*l(x) + 7*v(x). Let z be s(4). Let b = 2 + z. Is b prime?
True
Suppose h - 57 = 1916. Is h prime?
True
Suppose -2*h + 24 = -4*h. Let l = h - -15. Is l prime?
True
Suppose -4*m - 1451 = -3*s - 5*m, -5*s + 2413 = 3*m. Suppose v = 5 - 0. Suppose 0*c + s = v*c. Is c a composite number?
False
Let s(c) = 8*c**2 - 6*c + 3. Let j be (-7)/(7/(-2)) - -19. Let r be (-7)/j + (-28)/6. Is s(r) a composite number?
False
Let c(l) = -l**2 + l. Let j be c(-1). Let r be 1 - (3 - (j + 4)). Suppose s - 4*s + 66 = r. Is s composite?
True
Suppose 2*s = -u - 184, -s - 5*u + 19 = 120. Let p = -21 - s. Suppose 0 = -q + 3*y + p, -4*y + 4 + 251 = 5*q. Is q a prime number?
False
Let k(q) = -1 + 4 - 3*q**3 + 4*q + 2*q**3 + 4*q**2 + 2*q. Let w be k(5). Let l(y) = 16*y - 9. Is l(w) a prime number?
False
Suppose 0*o - 10 = -2*o. Suppose -o*m + 101 = 26. Is m a composite number?
True
Suppose 5*r - 19 = 586. Let p(u) = u**2 - 4*u - 3. Let z be p(5). Suppose 3*i = 2*j - r, j = i + z*i + 68. Is j prime?
True
Suppose -2*o - 2*h = o - 4387, -4367 = -3*o + 2*h. Is o a composite number?
False
Let y(z) = z**3 + 3*z**2 + 2*z - 1. Let l be y(-2). Is (2/l)/((-2)/34) a prime number?
False
Let y(s) = -97*s**2 - 2*s + 1. Let a be y(-4). Let h = a + 953. Is -1*h/(4/2) a composite number?
True
Suppose 4*k - 9*k = -7085. Is k prime?
False
Let r be (409/(-3))/(2/12). Let y = r - 724. Is (2/(-6))/(2/y) composite?
False
Let s be (-8)/36 + 29/9. Suppose 32 = s*d + 2. Is d prime?
False
Suppose 20 = -2*p - 0. Let n be ((-12)/p + 0)*5. Is 3*n*1 + -3 a prime number?
False
Is (-158 - 25/5)/(-1) a composite number?
False
Let b(y) = -3*y**2 - 5*y + 16. Let a(x) = x**2 + x - 1. Let p(w) = 4*a(w) + b(w). Let o be p(0). Suppose o = t - 7. Is t prime?
True
Let b(z) = z**3 - 8*z**2 - 10*z + 13. Let o be b(9). Suppose 140 + 72 = o*n. Is n a prime number?
True
Let m = -15 + 20. Suppose m*u - 193 = b, -5*b + 6 + 4 = 0. Is u a composite number?
True
Let a = -161 - -235. Suppose -9 = r - a. Is r prime?