 prime number?
False
Let g = -11 - -212. Suppose g = 3*k + 2*v - 226, -2*k + 298 = -2*v. Is k a prime number?
False
Let q = 35 - -156. Is q a composite number?
False
Let a(s) = 3*s**3 - 4*s**2 + 9*s - 9. Is a(7) a prime number?
True
Let s = -346 + 860. Is s a composite number?
True
Let v(m) be the third derivative of m**5/10 + m**4/2 - 11*m**3/6 + m**2. Let j be v(9). Suppose -301 = -4*b - 5*d + 284, 4*b - j = -3*d. Is b prime?
False
Suppose -2*m + 2 = -2. Let u = m + 1. Suppose -21 = -u*o - 2*i + 26, -5*i = 25. Is o a composite number?
False
Suppose 0 = 4*l - 12, 3*o - 3 = 4*l + l. Let s(x) = -x**3 + 7*x**2 - 5*x + 1. Let a be s(o). Let v(d) = d**2 + 8*d + 4. Is v(a) prime?
True
Let z = 24 + -12. Let l be (2 - z) + 0 + 3. Is 9/(-21) - 164/l a prime number?
True
Let f = -2 - -4. Suppose -4 = f*a, 771 - 293 = 4*d + 3*a. Is d a composite number?
True
Let h = -4 + 3. Let y be 36 + 6 + h + -2. Let a = 136 - y. Is a composite?
False
Suppose -1322 = -4*g + s, 2*g + 4*s + 403 = 1073. Is g a prime number?
True
Let t(m) = m**3 - 5*m**2 + m + 1. Let l be t(4). Let g(p) = -p**2 - 25*p + 3. Is g(l) composite?
False
Suppose -2*b + 5*y - 6 = -38, 2*y = b - 14. Let a(s) = 0*s + s**2 - s + 0 + 7. Is a(b) composite?
False
Let u(f) = -f**2 + 1. Let m(v) = v. Let w(h) = -3*m(h) - u(h). Is w(8) a composite number?
True
Let m(z) = -z**3 - 5*z + 4. Let h be m(-5). Let k = 287 - h. Is k a prime number?
False
Let b be -4*1/(-2) + 402. Let v = -273 + b. Is v a composite number?
False
Suppose 4*f = -16 - 8. Let k(t) = t + 6. Let m be k(f). Suppose m = 3*z - 3*s - 441, -4*z = -3*s - 452 - 138. Is z prime?
True
Suppose 0 = 3*b + 2*b + 1725. Is -2*(b/(-6))/(-5) composite?
False
Let n(z) be the third derivative of 9*z**4/2 - 2*z**2. Let o be n(1). Suppose -3*y + 87 = -o. Is y a composite number?
True
Let n = 3 - 1. Suppose -5*v = -n*v - 39. Is v composite?
False
Suppose -h - 1 = h + 3*i, 2*h + 7 = -5*i. Let j(o) = -9*o + 5*o - 1 + 9*o**2 - o**3 + 4*o. Is j(h) prime?
True
Suppose -4*h = 4*l - h - 10069, 0 = -h - 5. Is l composite?
False
Let m(h) = 6*h**2 + 5*h - 2. Let f(d) be the second derivative of -7*d**4/12 - 2*d**3/3 + d**2 + d. Let g(n) = -3*f(n) - 2*m(n). Is g(3) composite?
True
Let d = 2 + 2. Let j be (-171)/(-36) - (-3)/(-4). Suppose 0*o + j*o - d*l - 228 = 0, 2*l = 4. Is o a prime number?
True
Let d = -34 - -67. Suppose 0 = o + 2*o - d. Is o*2/((-2)/(-3)) composite?
True
Let s = -1 - -2. Let x be (-1 + 2)*44 + s. Suppose -5*u + 4*u = -3*q - 20, u + 2*q = x. Is u a composite number?
True
Suppose -6167 = -11*x - 876. Is x prime?
False
Suppose 2*z = 24 + 30. Suppose -z = -2*h - 1. Is h a composite number?
False
Suppose -6*l = -2*l - 4. Suppose 5*g = 5*i - 34 + 14, -l = g. Suppose 134 = -y + i*y. Is y a composite number?
False
Suppose 0 = -5*w - 5*p + 477 - 172, -w = -p - 65. Suppose w = 4*b - 121. Is b prime?
False
Is (20/(-20))/((1/(-161))/1) prime?
False
Let t(y) = y**2 + y + 6. Let d = 3 + -3. Let s be t(d). Is ((-26)/s)/(1/(-6)) a composite number?
True
Let k be -2 + -4*2/(-4). Let q be -7*(-28 + k + 3). Let n = q - 32. Is n composite?
True
Let a(q) = q**2 + 56. Let l be a(0). Let s be (-4)/8*(-41 + -1). Let t = l - s. Is t a composite number?
True
Suppose 4*v + 5*f - 2331 = 4*f, v - 5*f = 588. Is v composite?
True
Suppose 7*r = 2*r + 4*g - 42, -g + 33 = -5*r. Let a be ((-171)/r - 0)*2. Is ((-1)/3)/((-1)/a) a prime number?
True
Suppose -i = -102 - 101. Is i a composite number?
True
Suppose -2*b + 3672 = -4*d + 2*d, -4*d = -5*b + 9185. Is b prime?
False
Let q(y) = y + 7. Let r be q(0). Let w(k) be the first derivative of 2*k**2 - 2*k + 4. Is w(r) composite?
True
Let o be (-2 - -1) + 4/(-4). Is (354/12)/(o/(-4)) a prime number?
True
Let z(h) = h**3 + h**2 + h - 59. Let i be (-2)/(-10) - (-4)/(-20). Let t be z(i). Let w = -10 - t. Is w a prime number?
False
Is ((-203)/4)/(1/(-4)) composite?
True
Suppose 2*o = o - 1. Let a(q) = 2*q**2 + 1. Let g be a(o). Suppose x + 154 = g*x. Is x a composite number?
True
Let q be 2/(-7) - 11694/(-14). Suppose 4*u = q + 49. Is u a prime number?
False
Let s(n) = -n**2 + n + 1. Let r be s(2). Is 2*(r + (-61)/(-2)) composite?
False
Suppose 3*b - 8*b = -75. Is b prime?
False
Let x(y) = -9 + 3*y + 20*y + 9. Is x(1) prime?
True
Suppose 7*q - 4*q + 3*n - 39 = 0, 4*n + 12 = 4*q. Let z = -5 + q. Suppose -z*d + 0*d = -147. Is d a prime number?
False
Let x(y) = -4*y + 2. Let b be x(-1). Suppose 0 = -s + b*s - 635. Is s a prime number?
True
Suppose -2*a = -4*a. Suppose 5*g - 5*f - 2360 = a, g - 215 = -2*f + 260. Is g a prime number?
False
Suppose 2*i = -2*i + 12. Suppose 0 = -i*y + 2*y - 10. Is y/(-4)*1*14 composite?
True
Suppose 2*p + 2998 = 4*p. Is p a composite number?
False
Suppose -4*x + 31 = d + x, 2*d - 2*x - 2 = 0. Is (3 - d)/6*-26 composite?
False
Suppose -2*u - 3*f + 318 = -91, u = -3*f + 200. Is u a composite number?
True
Let j(v) = 5*v**2 - 10*v + 10. Let y(m) = 10*m**2 - 20*m + 21. Let d(t) = 7*j(t) - 3*y(t). Is d(6) a composite number?
False
Let y = 1117 - 647. Is y*(5/2 - 2) composite?
True
Suppose 5*h = 1 + 34. Suppose -2*s + h + 3 = 0. Suppose 2*g = -s*z + 134, 0 = 4*g - 3*z - 219 - 101. Is g composite?
True
Let v(f) = -f**3 + 4*f**2 + 7*f - 7. Let s be v(5). Suppose 2*n - 2195 = -s*n. Is n a prime number?
True
Let u = 70 + -17. Suppose -w + u = 16. Is w composite?
False
Let s = 17 - 12. Suppose s*i + 0*u = -3*u + 506, 3*u - 197 = -2*i. Is i a composite number?
False
Let c be -1 + (-4)/(-2) - -4. Suppose -4*f + 13 = 5. Suppose c*w + 75 = 2*r, -r - f*w = r - 40. Is r a composite number?
True
Let k(h) = -67*h. Suppose 0 = -y - 2 - 0. Let x be k(y). Suppose 2*o + 69 = t, 4*t - 3*o + x = 385. Is t a prime number?
True
Let q(h) be the second derivative of -h**3/6 + h**2 + h. Is q(-5) composite?
False
Let g(r) = -r**2 + 15*r - 10. Let w be g(10). Suppose 4*c = -5*z + w, -4*z - c - c + 26 = 0. Is (-24)/16 - (-370)/z prime?
False
Let q(w) = w**3 - 5*w**2 + 6*w - 6. Let a be q(4). Let t be -42*(a - (0 + 3)). Suppose -6*u + 2*u = 3*s - 34, 3*u - t = -5*s. Is s composite?
True
Let z be 1/2*2*59. Suppose -4*w + 2583 = z. Is w a prime number?
True
Let o(t) = 12*t**2 + 2*t + 1. Let v be o(-1). Let g = 6 + -4. Suppose -g*w + 19 = -v. Is w a prime number?
False
Let l(u) = 2 + 7*u - 7 + 3 - 7 - u**2. Let s be l(6). Is (-2)/(1*s/33) a composite number?
True
Let t = -45 - -122. Is t a composite number?
True
Suppose 2*m - 114 = 4*g, 2*m - 32 - 73 = -5*g. Is m a composite number?
True
Suppose -3*z = -4*x - 28, -3*z = -3*x - 15 - 18. Is ((-24)/z)/((-3)/116) a composite number?
True
Let z = 9 - 7. Let d(k) = z*k + 0 + 1 - 3 + 1. Is d(8) composite?
True
Let s be (-10)/35 - 16/(-7). Suppose s*d - 3*d = -257. Is d a composite number?
False
Suppose 0 = -2*q - 4*r - 52, -4*q + 2*r = 64. Suppose 3*d + 4*h - 3*h + 52 = 0, -4*d = h + 70. Is (-1202)/d + (-4)/q composite?
False
Let r = -4 + 7. Suppose 0*w + 20 = r*w - 5*d, 4*d = 8. Let q = w + 52. Is q a prime number?
False
Let z = 11 - 12. Let c(m) = 126*m**2 - 2*m - 1. Is c(z) a prime number?
True
Let q = -3364 + 5247. Is q a prime number?
False
Suppose 0 = 2*u - 3*m - 2791, -u + 2*m = -3*m - 1392. Is u a composite number?
True
Let r(w) = 17*w**3 + 2. Let v be r(-2). Is (1 + (-6)/4)*v a prime number?
True
Suppose 1 - 7 = -2*i. Let w(k) = 0*k**3 + 3 - k + 7*k**2 - k**3 + 1. Is w(i) composite?
False
Let a = -780 + 1861. Is a prime?
False
Let c(z) = -9*z**2 + 4*z - 5. Let s be c(4). Let y be (-13 + 1)*s/14. Is 1/(y/(-117) - -1) a prime number?
False
Let w(x) = 88*x**2 - 1. Let y be w(2). Suppose 3*a - y = 282. Is a a composite number?
False
Let y(d) be the second derivative of -d**6/360 + d**5/120 + 31*d**4/24 + d**3/3 + d. Let n(t) be the second derivative of y(t). Is n(0) a composite number?
False
Suppose 170 = -3*v + 38. Let j = 94 - v. Suppose 2*a = 5*b + 96, 5*a - j - 121 = 3*b. Is a a composite number?
False
Suppose -2*b = 2*b - 552. Let x = b - 51. Is x prime?
False
Suppose -9 = -3*w - 0. Suppose 59 = -w*b + 455. Let x = b + -77. Is x a composite number?
True
Let g(n) = n**3 - 2*n**2 + 7*n - 1. Let v be g(5). Suppose -3*b + v = -1142. Is b prime?
False
Let g be 1171 - (-4 - (2 + -9)). Suppose -277 = -5*v + g. Is v composite?
True
Let y(p) = p**3 + 6*p**2 + 6*p + 5. Let h be y(-5). Let l(f) = -f**2 