w composite?
False
Let b(f) = -3*f**3 - 9*f**2 - 2*f - 12. Let w be b(9). Let k be 6/(-21) - w/21. Suppose k = 2*z - 306. Is z a prime number?
True
Suppose 11376 = 5*j - j + y, -j = 5*y - 2863. Is j a prime number?
True
Suppose -2*t - 5*a + 10 = 0, 4*a - 5 = -t + 5*a. Suppose -3*s + 486 = -5*v, -2*s + 291 = -t*v + 2*v. Is (-2)/(6/v) + 2 composite?
True
Is (-2*2)/(5/((-7075)/10)) composite?
True
Let v(y) = -y**3 - 9*y**2 - 10*y - 10. Let m(n) = n**3 + n**2 - 2*n + 4. Let c be m(-3). Is v(c) composite?
True
Is -1*4 + 4/(12/4383) a prime number?
False
Let n(r) = 1401*r - 2. Is n(1) prime?
True
Suppose 2 = z - 0. Is 1*(z + 0) + 21 prime?
True
Let j = 2232 - -55. Is j a composite number?
False
Let d = -161 + 339. Is d a composite number?
True
Suppose -27*t + 33*t - 22926 = 0. Is t a composite number?
False
Suppose 0 = -2*m - 5*q - 5, 0*m = -3*m + 4*q - 19. Let b = m + 5. Suppose b*x - 35 = -x. Is x a composite number?
True
Is (2/(-8) - (-8463)/(-42))*-4 composite?
True
Let c(m) = m. Let y be c(-1). Let g be 1 + -3 + 2 + y. Is 19 + (g - -2 - 1) composite?
False
Suppose 7*u - 628 = 3*u. Is u composite?
False
Suppose 0 = -t + 5*t + 3012. Let h = t + 1448. Is h a composite number?
True
Suppose 4*u - 2*b - 2*b = 212, -4*b - 264 = -5*u. Let y = -13 + u. Is y prime?
False
Let z(s) = -5*s**2 + 2*s + 1. Let i be z(-1). Let t(c) = -2*c**3 - 5*c**2 + 7*c + 5. Is t(i) a composite number?
True
Let t(f) be the third derivative of 17*f**4/12 + 7*f**3/6 + 3*f**2. Is t(6) a prime number?
True
Let v = 480 - 143. Is v composite?
False
Let w be ((-2)/3)/(8/12). Let u = -3 + w. Is 3/((u/(-2))/14) prime?
False
Let k(t) = -t**2 + 6*t + 7. Let i be k(6). Suppose l + 3 = -4*o - 1, -3*l - 12 = 4*o. Suppose o*g = -g + i. Is g a prime number?
True
Suppose 0*z = -6*z + 2826. Is z prime?
False
Let u(v) = -2*v**3 - 7*v**2 - 4*v - 6. Let t(d) = d**3 - 5*d**2 + 3*d - 1. Let g be t(4). Is u(g) a prime number?
True
Suppose 5*u + 0*i = -2*i + 36, 10 = u - i. Let p = -11 + u. Is (p - -11) + 0 + 1 prime?
False
Suppose -31 = -5*l - 1. Suppose 63 = l*x - 1059. Is x prime?
False
Suppose 3*t + 7 = -5*h + 257, 4*t = 4*h - 168. Is h composite?
False
Suppose 4*g + 14 + 6 = 0. Let l = g - -7. Is (-1 + l)/((-2)/(-110)) prime?
False
Let q(l) = 20*l**3 - l**2 + 3*l - 2. Let y be q(2). Suppose 7*x + 2*u - y = 4*x, 2*u = 3*x - 164. Let p = x + -28. Is p a composite number?
True
Let m = -1 + 3. Suppose -5*z + 8 + 35 = m*v, 0 = 3*z + 3. Suppose -8 = 4*r - v. Is r prime?
False
Let x(p) = -28*p - 1. Let h be x(-4). Suppose -3*r = -0*r - h. Is r a composite number?
False
Suppose a = -0*a + 2. Suppose -o = a*o - 6. Suppose 0*j + 101 = 3*j + s, -8 = o*s. Is j a composite number?
True
Suppose 10*i + 11768 = 18*i. Is i composite?
False
Suppose 0 = -2*z - z + 21. Let w = 10 - z. Is w*16 - (-6)/2 a prime number?
False
Suppose -4*p - 156 + 16 = 0. Let h = p - -70. Is h composite?
True
Let r(d) be the first derivative of -d**3/3 + 17*d**2/2 + d - 4. Is r(7) composite?
False
Let p(j) = -4*j**3 + 9*j**2 - 4*j - 3. Let o(q) = -4*q**3 + 10*q**2 - 5*q - 3. Let v(x) = 5*o(x) - 6*p(x). Is v(4) a prime number?
True
Let g be 10/(-50) + 482/10. Let c = 71 - g. Is c a prime number?
True
Suppose -4*r = -m - 28, 3*r - r - 10 = 0. Let u = m - -2. Let z(p) = -18*p + 5. Is z(u) composite?
False
Let o(z) = z - 6. Let a be o(9). Suppose -a*g = -8*g. Suppose g = 2*q - 8 - 62. Is q a composite number?
True
Suppose 0 = -2*u - 2*u + 16, 0 = -4*d + 3*u + 880. Is d prime?
True
Let c(h) = 16*h + 3. Let k = 20 + 4. Suppose -i + 10 = -3*t, 5*i + 0*i = 2*t + k. Is c(i) a composite number?
False
Let i(a) be the second derivative of -2*a + 0*a**2 + 0*a**3 + 0 + 119/12*a**4. Is i(1) a prime number?
False
Suppose 4*o = -o + 2*j + 8, 7 = 4*o - j. Suppose -2*a + z + z + 362 = 0, -3*z = -o*a + 359. Let c = -101 + a. Is c prime?
True
Let f be 2 + (31 - 2/(-1)). Suppose -4*c + 2*u + 11 = -3*c, 5*u + f = 3*c. Is c a composite number?
True
Let r(d) = 9*d**2 - 3*d + 3. Let m = 4 - 2. Is r(m) composite?
True
Suppose -2*f - f + 15 = 0. Suppose -f*c = 20 - 180. Let v = c + 33. Is v composite?
True
Suppose -2*p = p - 81. Suppose 238 - p = l. Is l a prime number?
True
Let o(p) = p**3 - p + 1. Let s be -3*-1*(-1 - -2). Is o(s) a prime number?
False
Suppose -2*y + 348 = 40. Let u(w) = -4*w**2 - 2*w + 3. Let o be u(-3). Let h = o + y. Is h a prime number?
True
Let n = 625 + -344. Let g = n + -120. Is g a prime number?
False
Suppose -8 = -4*m + 2*m. Suppose r = -m*r + 15. Is 130 - (2 + -2 + r) a prime number?
True
Suppose 4*y + 2*b + 0*b - 382 = 0, 0 = -5*y + b + 460. Is y a composite number?
True
Suppose 2*l - 7*l + 623 = 3*w, -w = -3*l + 385. Is (l - -1) + (-2)/2 prime?
True
Suppose -2*v = -5*p - 3339, 6*v - 4*v = p + 3319. Is v a prime number?
True
Suppose 3*c + 3*a = 66 + 63, -89 = -2*c - 5*a. Suppose 5*k - i - 71 = 0, 3*i - c = -3*k + k. Is k a prime number?
False
Let k be (-2 - -4 - 2)/(-4). Let b = 0 + 2. Suppose k = b*f - f - 25. Is f prime?
False
Suppose -2*k - 2*k + 20 = 0. Suppose k*r - 17 = -2. Suppose r*f + f = 308. Is f a prime number?
False
Let n = 72 + 73. Is n a prime number?
False
Let f(i) = 2*i**2 + i. Let m be f(-2). Suppose -z + m*z = -630. Is 3 + (-5 - -3 - z) composite?
False
Is (-3)/(-2*(-6)/(-1492)) a prime number?
True
Let m(b) = 2*b**2 - 8*b + 17. Is m(13) composite?
False
Is (-27)/(-45) - (-5564)/10 a composite number?
False
Let m be (5 + -4)*(0 - 7). Let d(v) be the first derivative of v**2/2 + 14*v + 1. Is d(m) prime?
True
Let a be 4/3*-3 - -138. Let p be (-1)/(-2) + (-75)/2. Let x = p + a. Is x composite?
False
Suppose -9*r = -6*r - 15. Suppose -149 - 35 = -4*b + 3*w, -r*w = 0. Is b composite?
True
Let i = 3 - 2. Let b(j) = 2*j**2 - j. Let t be b(i). Is -26*(2/4 - t) a composite number?
False
Let i(c) = -c**3 + 11*c**2 - 10*c + 2. Let u be i(10). Suppose -3*b - 137 = -o - u*b, -4*b = 2*o - 304. Is o a prime number?
False
Suppose -3*a + 2*q + 4185 = 0, -q = -4*a + 27 + 5548. Is a composite?
True
Let k(y) = y**3 - 4*y**2 - 7*y + 3. Let l be k(-6). Let b = l - -532. Is b a composite number?
True
Let z = -11 - -14. Suppose z*i - 165 = 2*h, -2*i = -2*h + h - 109. Is i a prime number?
True
Is ((-1399)/(-3))/(2/6) composite?
False
Let j be -2*(0 - 15) - 1. Suppose 2*k = -2*d + 7*d - 194, -28 = -d + 4*k. Let o = d - j. Is o composite?
False
Suppose 0 = 2*z + 4*w - w - 806, 0 = -3*w - 6. Suppose z = 5*y - 3*y. Is y a prime number?
False
Suppose -3*r - 35 = 2*q + 2*q, -2*r = -2*q. Let d be (6/q)/3*-5. Is 23 + (1 - (1 - d)) composite?
True
Let r(b) = 2*b**3 + 4*b**2 + b - 1. Let f be r(3). Let q be (1/2)/(2/112). Is (q/(-16))/((-1)/f) a prime number?
False
Let r = 297 - 98. Is r prime?
True
Suppose 0 = 5*v - 23 + 8. Let c(d) = d**3 + 15*d**2 + 2. Let b be c(-15). Suppose 4*f - 4*h = -f + 563, b*h = -v*f + 329. Is f a prime number?
False
Let h(v) = -4*v - 10 - 10*v + 3. Is h(-3) prime?
False
Suppose 1293 = 10*h - 7*h. Is h composite?
False
Suppose -g = g - 10. Suppose -3*t + 37 = -g*k - 0*t, -2 = 2*t. Is (-5418)/k - (-2)/(-8) prime?
True
Let b = -56 - -3. Is -1*(-1)/((-1)/b) composite?
False
Suppose 0*d = d - 2. Suppose -3*m + 4 = -d*m. Suppose -2*o + 25 - 5 = 2*s, 4*s - m*o = 72. Is s composite?
True
Let z(p) = 2*p**2 - 13*p + 28. Is z(19) prime?
True
Suppose -6659 = -3*z - s, -s + 0 = 4. Is z a composite number?
False
Suppose -8*j + 2*j + 1614 = 0. Is j a prime number?
True
Let y(o) = o + 1. Let i be y(-2). Let d(r) = -2*r + 4*r - r + 2*r**2 - 38*r**3. Is d(i) a composite number?
True
Is 3/(-6)*(-2300 + -2) composite?
False
Let q(w) = 48*w - 3. Let o be q(2). Suppose 3*b = -30 - 0. Let i = b + o. Is i a prime number?
True
Let z(y) = y**3 + 7*y**2 + 8*y + 3. Let p = 5 + 2. Suppose -22 + p = 3*s. Is z(s) prime?
True
Suppose 2*a = 3*q - 5535, 0 = q - 5*q + a + 7385. Is q composite?
False
Let s = 1486 + -399. Is s a prime number?
True
Suppose 0 = 8*z + z - 11457. Is z composite?
True
Let t = 9 + -4. Suppose -p + 6 = i, i - 18 = -2*p - 3*i. Suppose -t + 170 = p*q. Is q a prime number?
False
Let k(s) = 2*s - 2. Let m be k(6). Suppose 5*a = 5*z, -4*z + 5 = -a - m. Suppose -4*h + 4*x = -152, a*h - x - 178 = -0*h. Is h a prime number?
False
Let a = -20 - -29. Is a a prime number?
False
Let d = 5 + 4. Let i be d + -2 + 2/(-2). Suppose 0 = b - 