 - (-1 + -2) - 3 a composite number?
True
Let j(a) = 4*a**2 - 5*a + 1. Let o(i) = 5*i**3 + 7*i**2 + 2*i - 6. Let d(v) = -v**3 - v. Let m(n) = 4*d(n) + o(n). Let t be m(-7). Is j(t) composite?
True
Let i(s) = -2*s + 4. Let z be ((-12)/10)/((-12)/40). Suppose z*m + 18 = -2. Is i(m) a prime number?
False
Let p(l) = 3 - 6*l - 2*l**3 + 2*l**3 - 2*l**2 + 2*l**3 - l**3. Is p(4) a prime number?
True
Let y(k) = 86*k. Let u be y(1). Suppose -t + 15 = -5*s - 7, -2*t - 4*s + u = 0. Is t composite?
False
Let k(d) = 69*d - 31. Is k(8) composite?
False
Let x(y) be the first derivative of -y**4/4 + 4*y**3 + 11*y**2/2 + 17*y - 1. Suppose -g - 5*h + 32 = 0, -4*g + 0*h + 3*h = -36. Is x(g) a composite number?
False
Suppose 4*z - 8 = -0. Let j be (6/(-15))/(2/(-350)). Suppose z*g + j = 4*g. Is g a composite number?
True
Let v(x) = 7*x**3 - x**2 - 2*x. Let j be v(2). Let w be 6*3*3/2. Let y = j - w. Is y a prime number?
False
Let l(h) = h**2 + 18*h - 8. Is l(15) composite?
False
Let a(i) = 28*i**2 - 2*i - 3. Let v be a(-3). Suppose -3*f - 42 = -v. Is f prime?
True
Suppose 3*b - 39 = 2*b + 4*g, 2*g - 2 = 0. Let j(a) = 14*a**2 - 5*a. Let n be j(-4). Suppose b = -3*h + n. Is h a prime number?
True
Let n be (9/(-12))/(3/(-12)). Suppose 3 = n*a - 12. Suppose 4*t - 1153 = -a*u, u + 573 = 3*t - t. Is t prime?
False
Suppose -4*i + 2*c + 251 = -3*i, 1255 = 5*i - c. Is i a composite number?
False
Suppose g - 1 - 5 = 0. Suppose -4*w - 10 = 5*z, -g*z + z = 10. Suppose w = -v - 0 - 2, 0 = -4*n - 3*v + 134. Is n composite?
True
Let a(z) = -z**2. Let v(h) = 4*h**2 + 5*h - 1. Let y(r) = 5*a(r) + v(r). Let d be y(4). Suppose -6*c + d*b = -3*c - 480, -2*c - 3*b = -335. Is c a prime number?
True
Let v(n) = n**2 + 7*n - 2. Let w be v(-7). Is w/(-1 - -5)*-514 composite?
False
Suppose -7 + 19 = 3*b. Suppose z - b*z = -2037. Is z a prime number?
False
Suppose 4*d + d = 15. Suppose 5*y - b = 333, d*y + 337 = 8*y + b. Is y a prime number?
True
Suppose 1563 = d + 2*d. Is d a prime number?
True
Is (-3)/(-3)*0 - -127 prime?
True
Suppose -u + 19 = r - 44, -136 = -2*u + 3*r. Is u a composite number?
True
Let q(h) = h**3 + 7*h**2 + 4*h + 5. Suppose -d = -3, 3*w + 4*d = -3 - 0. Is q(w) a composite number?
True
Let f(u) = 31*u**2 - 9*u - 7. Let m(k) = -16*k**2 + 5*k + 4. Let v(g) = 6*f(g) + 10*m(g). Let s be v(-5). Suppose 3*l + l = s. Is l a prime number?
True
Suppose -6*c + 7 = c. Is c/3*1893/1 prime?
True
Let p = 7 + -2. Suppose 0 = -p*l - 5*d + 70, 0 = 5*d + 10 - 5. Is 1/(1/l*1) composite?
True
Let g(s) = -s**3 - 14*s**2 + 14*s - 1. Is g(-16) a composite number?
True
Suppose 3*u + 4*c - 625 = 0, 3*c + 66 + 362 = 2*u. Is u composite?
False
Is 2290/8 - 27/(-36) prime?
False
Suppose p + 111 = 364. Is p composite?
True
Let l(h) = -h + 1. Let r be l(6). Is (308 - 0) + 4 + r prime?
True
Let r = -12 - -15. Is r prime?
True
Let b be (7 - 298)*1/(-3). Suppose -2*u + 3*u + 2*d = 91, 0 = u - d - b. Is u prime?
False
Let t = 296 + 123. Is t a composite number?
False
Let f be 7016/(-7) - 6/(-21). Let r be (4/6)/((-4)/f). Suppose p - 145 = -3*j, 2*p = 4*j + 123 + r. Is p prime?
False
Let c(a) = -2*a**3 - 10*a + 3. Let b(k) = -3*k**3 - k**2 - 19*k + 7. Let s(p) = 3*b(p) - 5*c(p). Is s(5) a composite number?
True
Let m = -14 + 9. Let b(p) = -3*p**3 + 4*p**2 - 5*p - 3. Is b(m) a prime number?
False
Suppose -4*k = -3*k + 2. Is (38/4)/(k/(-4)) a composite number?
False
Let u(k) = k**2 + 13. Let g be u(0). Let h(v) = -v**2 + 15*v - 12. Is h(g) a composite number?
True
Let t(v) = v**3 + 7*v**2 + 6*v + 9. Let k be t(-6). Let z = -4 + k. Suppose 2*c - 58 = -4*o + c, -o + 25 = -z*c. Is o prime?
False
Suppose 4*a - 456 = -4*u, 0*a + a = 5*u - 564. Is u a prime number?
True
Let c(f) = -f**3 - 6*f**2 - f - 6. Let p be c(-6). Is 213 - (p + (3 - 5)) composite?
True
Let l = 5078 - 2379. Is l a composite number?
False
Suppose 0*m - m = -2, 0 = 5*x - 5*m. Suppose -x*s - 5*h = 25 - 70, -4*s + 2*h + 150 = 0. Is s a composite number?
True
Is 18/12*158/3 a prime number?
True
Let u = 147 - -56. Suppose a - 3*a + 98 = -5*y, -2*y = -5*a + u. Is a a composite number?
True
Is 4869/(-6)*4/(-6) a prime number?
True
Let b(v) = v**3 - 2*v**2 - 9*v + 5. Let t be b(6). Suppose 4*k + k = 5*q - 30, 0 = 4*k + 8. Suppose -4*x + t = j, 6*x + q*j - 104 = 2*x. Is x composite?
False
Suppose -2*o - 20 = 2*v, 4*v = v + 4*o + 5. Let r = v + 18. Is r composite?
False
Let w be 0 + 2 + 2/1. Suppose 93 - 297 = -w*b. Is b a composite number?
True
Let x(a) = -a**3 + 2*a - 1. Let u be x(1). Suppose 4 = 2*w + 3*t, u*w + 5*t + 8 = 4*w. Suppose w*p - 115 = p. Is p a prime number?
False
Let u(t) = 2707*t**2 + 4*t + 2. Is u(-1) prime?
False
Let k = -12 + 0. Let n = k - -8. Is 2 + -2*74/n composite?
True
Let o(z) = -z**3 + 7*z**2 - z + 9. Let l be o(7). Suppose -89 + 247 = l*y. Is y composite?
False
Let c = 11372 - 5515. Is c a composite number?
False
Suppose x = 5*k - 17, -24 = -3*x - x - 3*k. Suppose 3*u + 208 = x*c - 47, -4*u = 3*c - 283. Let a = 176 - c. Is a prime?
False
Let x(s) = -3*s**3 - s**3 - s**3 + s. Let b be x(-1). Is b/6 - (-314)/6 a composite number?
False
Suppose y + 14 = -c - y, 5*y = -2*c - 31. Let g = 23 - c. Is g composite?
False
Let v(f) = f**2 + 10*f + 4. Let d(q) = 2*q**2 + 21*q + 9. Let j(l) = 2*d(l) - 5*v(l). Let h be j(-7). Suppose h*i = 104 + 1. Is i composite?
True
Suppose 0*a - 5*a = -x - 16, -2*x = -4*a + 8. Let k = 51 + x. Is k a composite number?
True
Let m = 2 - -80. Let q = 25 - -22. Let k = m - q. Is k prime?
False
Let y(c) be the third derivative of c**7/2520 - c**6/180 + c**5/20 - c**4/12 - 2*c**2. Let u(a) be the second derivative of y(a). Is u(5) composite?
False
Suppose 0*f + 2142 = 6*f. Suppose -2*h + p + f = 0, 0 = 2*h - 2*p - 167 - 185. Is h prime?
True
Suppose -5*t + 456 + 469 = 0. Is t composite?
True
Suppose t = 4*n + 263, 3*n - 789 = 2*t - 5*t. Is t a prime number?
True
Let o(j) = j**3 + 6*j**2 - j + 7. Let h(f) = -f - 4. Let n(l) = -3*l - 13. Let m(q) = -7*h(q) + 2*n(q). Let v be m(-8). Is o(v) composite?
False
Let d be (-2 - (0 + 3))*-1. Suppose -2 = 3*y - d*y. Suppose 2*q + y = 5. Is q a prime number?
True
Let b(t) = 13*t - 2. Let k = -3 + 6. Is b(k) a composite number?
False
Is (3 - 7/2)*-310 a composite number?
True
Suppose 0 = -3*w - 3*g - g + 2841, 2*g + 6 = 0. Is w composite?
True
Suppose 0*x = 2*x. Suppose 2*m - 6 = 2*z, -5*m + x*m + 2*z + 9 = 0. Is ((-24)/(-28))/(m/7) a composite number?
True
Let j(o) = -o**2 + 6*o + 7. Let i be j(7). Let a be -1*(i - -3)*-1. Suppose -4*m = 20, d + m = -a*d + 135. Is d composite?
True
Let o = -3 - -5. Suppose -2*p + 2*v = o - 10, -v + 8 = 3*p. Suppose p*a = -3*c + 66, -5*a = -2*c + 13 + 10. Is c prime?
True
Let z(y) = y**2 + 3*y - 3. Let g be z(-5). Let m(a) = 6*a - 5 + 1 - 5. Is m(g) composite?
True
Suppose -a = c - 5, 2*a = -5*c + 4*a + 11. Suppose h + c*h = 140. Is h a composite number?
True
Let i = 107 - 60. Is i a prime number?
True
Let j(o) = -o**3 - 6*o**2. Suppose 2*g - 34 = 4*y + y, 0 = -3*y - 5*g - 8. Let q be j(y). Suppose q = 4*i - 0*i - 132. Is i composite?
True
Is 0 + 1 + 506/2 prime?
False
Let u be 0 + (0 - -1 - -1). Suppose -u*z + 237 = z. Is z a prime number?
True
Let y(d) = 143*d**3 - 6*d**2 + 8*d + 2. Is y(3) a prime number?
True
Is (6/(-12))/(3/(-11406)) prime?
True
Suppose -5*b = -0*b - 15. Suppose -b*d = d - 3284. Is d prime?
True
Suppose -3*s + 527 = -343. Suppose 7*a = 4*a + p + s, -3*a - 4*p + 265 = 0. Suppose 0 = 4*c - 8*c - x + 76, 5*c + 5*x - a = 0. Is c a prime number?
True
Let h(j) = -10*j**3 + j**2 + j. Suppose 0 = 3*d - 3*t, 10 = 3*d - 3*t + 5*t. Suppose -d*l - 4 = 2*l. Is h(l) a prime number?
False
Is ((-796)/(-6))/(5/((-165)/(-2))) a prime number?
False
Let w(l) = 5*l**2 - l - 2. Let g be w(-3). Let s(k) = g - k + 0*k + k**2 + 0*k**3 - k**3. Is s(0) prime?
False
Let a(r) be the third derivative of r**5/20 + r**4/24 + r**3/6 + 4*r**2. Is a(3) a composite number?
False
Let y = 136 - 47. Is y prime?
True
Let z(o) = 5*o - 9. Is z(11) a prime number?
False
Is -4 - 4/(12/(-477)) a composite number?
True
Suppose 0 = 2*z - 4*z + 484. Suppose 2*h = z + 180. Is h prime?
True
Suppose 0 = j + 3*j - 12. Is j prime?
True
Suppose f - 2*f = -2. Let p be (0 - 86)*1/(-2). Is p + f - (-1)/1 a composite number?
True
Let z = 4998 - 2879. Is z a composite