e number?
False
Let k = -811 + 1420. Suppose -5*z - 59 + k = 0. Is (z/6)/((-4)/(-12)) prime?
False
Let r be 4/(-14) + (-23)/(-7). Suppose -35 = -r*k + 7. Is k a composite number?
True
Let s = -2 + 1. Let h be 0/(-6)*s*1. Suppose h*o = -4*d + 2*o + 214, 0 = 3*d + 2*o - 171. Is d a prime number?
False
Let w = 122 - 76. Is w a composite number?
True
Suppose -8 = 4*g, 4*z - 8*g - 10 = -3*g. Suppose z = 5*j - 693 - 242. Is j composite?
True
Let f(l) be the first derivative of l**4/4 + 2*l**3 - 3*l**2/2 + 5*l + 1. Is f(-6) composite?
False
Let x = -22 + 105. Is x composite?
False
Suppose 0*q = -2*s - 3*q - 8, 5*s = -q - 20. Let y be (-1 - 21)/(2/s). Is y/2*(-5)/(-10) composite?
False
Let o(n) = 83*n**2 + 6*n - 7. Is o(6) a composite number?
True
Let h be (4 + -3)/(1*-1). Let u be (-43 + 3)/(h/2). Let s = 115 - u. Is s prime?
False
Suppose 3*v - 5*q - 6 + 35 = 0, -3*v - 4*q = -7. Let f be (0 - 1 - v) + 5. Let a(x) = x - 4. Is a(f) composite?
False
Let y(i) = i**3 - 7*i**2 - 5*i + 10. Let r be y(8). Suppose b + w - 1 = 19, 0 = 2*b - w - r. Suppose -5*m = k - 194, -b = -m - k + 6*k. Is m a prime number?
False
Let g(y) = -y**2 + 5*y + 8. Let z be g(6). Suppose z*w + 0*w - 326 = 0. Is w prime?
True
Is (-2802)/(-4)*(-12)/(-18) prime?
True
Let x = -128 - -217. Is x prime?
True
Suppose -3*n = -0*n. Let o(s) = s**3 - s**2 + s + 4. Let i be o(n). Suppose 91 = -3*k + i*k. Is k a composite number?
True
Let v = 5 + 1. Let i be (-22)/(-8) + v/(-8). Suppose 2*n + 0*u - 14 = 3*u, -28 = -4*n + i*u. Is n a prime number?
True
Suppose 2*n - 4*w = -534, -5*n - 427 = 2*w + 908. Let s = n - -408. Is s a prime number?
False
Is 3/(-12) - (-3054)/24 prime?
True
Let p = 184 + -21. Is p a prime number?
True
Let r = -4 - -7. Suppose r*d + 12 = -3*t, 6*t + 10 = -3*d + t. Let b(y) = 4*y**2 - 8*y - 7. Is b(d) a prime number?
False
Let f = -104 - -245. Let l = -201 + f. Is (-1)/(l/59 - -1) a prime number?
True
Let w(k) = 62*k**3 - k**2 + 1. Let h be w(1). Let r = h - -5. Is r a prime number?
True
Let l be (4/14)/((-2)/(-28)). Is l/(-14) + 25659/63 a composite number?
True
Let p(r) = 29*r**3 + r + 1. Is p(1) prime?
True
Suppose 696 = 5*j - 3*a - 4645, 2*a = 2*j - 2138. Is j a composite number?
True
Let h(a) = a**3 + 8*a**2 + 9*a + 9. Let k be h(-6). Suppose 0 = 4*r - k - 25. Is r prime?
True
Suppose -5*r + 0*r = 40. Is 2*2*(-238)/r a prime number?
False
Suppose -h - 3 = -6. Suppose -2*x - 2*x = 3*g - 621, 2*g = h*x - 487. Is x prime?
False
Suppose -4*a = -2*u + 56, -u + 3*a + a = -38. Let n = -12 + u. Is n/9 + (-103)/(-3) a composite number?
True
Let h = 4 - 1. Suppose 4*j + 70 = -3*v, 0 = -h*v + 3*j - 88 - 17. Let l = 45 + v. Is l prime?
False
Let x(c) = c + 1. Let g be x(2). Suppose g*s = 6*s - 9. Is s prime?
True
Let t be (-3 + 2)/(-1)*3. Suppose 0 = t*a + 3*f - 27 - 159, 5*f + 162 = 3*a. Is a composite?
False
Let v = 9 - 3. Suppose 9 - 3 = 3*x - 3*l, -3*l = 4*x + 13. Is 66 - x - v/3 composite?
True
Suppose 4*i - 5*c - 4 = -11, -4*i + 14 = 2*c. Suppose i*v = -4*y + 20, -8*v + 3*v - 13 = y. Is y composite?
False
Let q = -12 - -2. Let u(z) = -15*z - 3. Let h be u(q). Suppose -h = m - 4*m. Is m prime?
False
Let k be (-58)/(-7) - 2/7. Let n = 0 + k. Suppose -3*y + n*y = 385. Is y a prime number?
False
Suppose -2*v = -i + 95, 4*i - 7*i + 293 = -4*v. Is i composite?
False
Let k = 53 + -14. Suppose -h = -2*h + k. Is h a prime number?
False
Let w(d) = -d**3 + 6*d**2 - 2*d - 5. Let v be w(4). Let a = 70 - v. Let j = a - 18. Is j a composite number?
True
Suppose j + 423 - 1343 = -3*p, 5*j = -p + 4558. Is j prime?
True
Suppose 3*p + 0 = -6. Let t be p/((-4)/(-118)*1). Let v = t - -85. Is v a composite number?
True
Suppose z = 5*n + 3, 3*n + 9 = 4*z - z. Suppose 2*c = -z*c + 155. Is c a composite number?
False
Suppose -438 = 4*h + 902. Let z = h - -546. Is z a prime number?
True
Let l = -1 + 1. Suppose f + l*f + 18 = 0. Is 86/6 - (-6)/f a prime number?
False
Suppose 0 = 3*o - 223 - 35. Let n = 57 + o. Is n composite?
True
Is -123*(2 + 39/(-9)) a composite number?
True
Is (-3 + 320/(-12))*-3 a composite number?
False
Let z(f) = 13*f**3 - 2*f**2 + 1. Let q be z(1). Suppose -y - q = -103. Is y a prime number?
False
Let i(d) = 121*d**3 - d**2 - 3*d + 2. Is i(1) prime?
False
Let j = -33 - -86. Is j composite?
False
Suppose 2*c + 5*v + 4 = -33, -4*v = 2*c + 34. Let j = c + 39. Let r = j - 17. Is r a prime number?
True
Let a(y) = 6*y**2 - 11*y - 2. Let t be a(8). Let v = 457 - t. Is v a prime number?
True
Let q = -5743 - -13872. Is q prime?
False
Suppose -187 = m - 878. Is m prime?
True
Suppose 0 = -5*k + 1343 + 672. Is k composite?
True
Suppose 0 = 20*s - 16*s - 1652. Is s composite?
True
Let b = -66 - -47. Let i be 2/1 + b + -2. Let k = i - -96. Is k composite?
True
Let q = -26 - -50. Let x = q - -29. Is x a prime number?
True
Let l = -3 - -2. Let h(q) = -4*q**3 - q - 1. Let u be h(l). Suppose -3*x - 5*i + 257 = 0, 0 = -u*i + 7 + 9. Is x composite?
False
Suppose 4*a - 24 = -5*g, 3*g = -3*a + 2*a + 13. Suppose c = -g*c + 535. Let y = c - 18. Is y a prime number?
True
Suppose -3*u + 7*u - 508 = 0. Is u prime?
True
Let u(c) = 29*c**2 - 2*c + 2. Is u(3) prime?
True
Suppose -3*z = -249 - 69. Is z a prime number?
False
Let q(y) = 13*y**2 + 5*y + 15. Is q(-8) prime?
False
Let d = -303 + 96. Let f = -78 - d. Is f composite?
True
Suppose 5*o - 14*o + 19161 = 0. Is o a composite number?
False
Let f(r) be the second derivative of 8*r**3/3 - r**2/2 - 3*r. Let j be f(1). Let b = 26 - j. Is b composite?
False
Suppose -z + 31 + 66 = 0. Is z a composite number?
False
Let u = 150 - -11. Is u composite?
True
Let b(r) = -2*r**2 + 16*r + 4. Let y be b(8). Suppose y*f = -5*k + 1128, -3*f - 3*k - 2*k + 841 = 0. Is f prime?
False
Suppose 0 = 3*x + 5*n - 17, 2*n + n = 4*x - 71. Let q = x - -9. Let m = q - 2. Is m a composite number?
True
Let p = 1 + 2. Let j = 1 + p. Suppose 0 = j*m - 119 - 17. Is m composite?
True
Is (-2 - 0/5)*-331 prime?
False
Suppose -2*m = m - 4*u + 6, -m + 2*u = 4. Suppose -3*j - 4*f - 11 = -2*j, 4*j = m*f + 46. Is j a prime number?
False
Suppose -3*y + 532 = 4*m, 4*m + 5*y - 133 = 3*m. Is m prime?
False
Let c be ((-208)/(-10))/((-1)/5). Let d = c + 159. Is d a composite number?
True
Suppose 7*b - 11*b = -2452. Is b a composite number?
False
Let c be 75*4/6 + 0. Let k be c/(-35)*(-2 + -5). Is 5*(2 - (-98)/k) composite?
False
Suppose 0 - 6 = 2*b. Let q = b + 15. Suppose c - 11 = q. Is c a composite number?
False
Suppose -5 = -3*p + 7. Let w be p/((2 - 0)/1). Suppose 6*n - 2*n + 126 = w*s, -5 = n. Is s a composite number?
False
Let f(w) = -4*w**3 + w**2 + 2*w. Is f(-3) a prime number?
False
Suppose -4*y + 4*a + 13 = 3*a, y - 2*a = 12. Let b(g) = -g**2 + 4*g - 3. Let m be b(3). Suppose m = z - 5*z, -y*j + 26 = 2*z. Is j prime?
True
Let c(s) = 68*s + 4. Let o(d) = -67*d - 5. Let z(j) = -3*c(j) - 2*o(j). Is z(-4) a composite number?
True
Let r = 7 + 188. Suppose -r = -8*j + 3*j. Is 1/(((-9)/j)/(-3)) composite?
False
Let n = 579 + -388. Is n a prime number?
True
Suppose -5*h = -3*c - 42 + 15, 0 = -3*h - 4*c - 7. Let y be h*-3*(-3)/1. Let n = y + 6. Is n prime?
False
Suppose -4*m + 0*m = -12. Suppose -a = -m*j - 95, -2*j + 174 = 4*a - 2*a. Is a composite?
False
Let o(c) = 4*c**2 - 7*c - 4. Let s(k) = 3*k**2 - 7*k - 3. Let b(y) = 4*o(y) - 5*s(y). Let w be b(-10). Is w/(-1*(-3)/6) a composite number?
True
Let c(k) = -2*k + 3. Let v be c(5). Let f = v - -11. Let t = f - -3. Is t a prime number?
True
Suppose -v + 3*v - 526 = -2*u, -3*u - 9 = 0. Suppose -2*g - 4*p + p = -v, -5*p = 5*g - 675. Is g a composite number?
False
Let j(d) = -8*d - 1. Let u be ((-6)/(-12))/((-1)/(-4)). Let n(q) = -q**2 - q + 2. Let y be n(u). Is j(y) a prime number?
True
Is ((2 - 1) + -8)*(-367 + -6) a composite number?
True
Let y = 166 + -92. Is y a composite number?
True
Suppose u - 1393 = -500. Is u composite?
True
Let h = 22 + -17. Suppose -2*x - 2*o = -1 - 527, -5*x = -h*o - 1330. Is x prime?
False
Suppose 0 = 4*o - 4, -15 = -n - o + 89. Is n composite?
False
Let v be ((-6)/(-9))/((-2)/96). Let i = -57 - v. Let q = -16 - i. Is q a composite number?
True
Suppose 4*v = -0*t - 2*t + 4, 4*t - 3*v - 8 = 0. Suppose 0 = -t*g - 150 + 404. Is g prime?
True
Let o = 200 - 85. Is o prime?
False
Let d(l) = -2 - 8*l - 2 + 6 - l**2. Let x 