)*z/(-4) composite?
True
Suppose 4*h + 1 + 5 = -3*w, -h = 3. Suppose -5*y = -w*x - 401, y + 2*x = 49 + 24. Is y a prime number?
True
Suppose -3*m = 2 + 7, -3*q - 4*m = -3. Let x(s) = 0*s - 5 - 8*s**2 - 2*s + 0*s + 10*s**2. Is x(q) composite?
True
Suppose 2*y = -4*l - 0*l + 10, -3*l + y + 10 = 0. Let m(j) be the third derivative of 7*j**4/6 + j**3/6 + 4*j**2. Is m(l) composite?
True
Let z(c) be the first derivative of -c**3/3 - c**2 - 1. Let s be z(-3). Is (4/s)/(6/(-207)) prime?
False
Suppose 3*g - 98 = -g - 2*v, 2*g + 4*v - 46 = 0. Suppose 0 = 2*b - 141 - g. Is b composite?
False
Suppose -5*h + 2*p + 2259 = 0, -3*h - 3*p = -6*p - 1359. Is h a prime number?
False
Let g(b) = 3*b**2 + 1. Let h(u) = 2*u - 6. Let l be h(6). Is g(l) composite?
False
Suppose 2880 = 5*v + 3*b, 0*v + 2*v - 4*b - 1126 = 0. Is v prime?
False
Let y = 1506 - -151. Is y a prime number?
True
Let l(q) = -q**3 - 5*q**2 + 8*q - 9. Let h be l(-7). Suppose 0 = 5*m - f + 69, f = -5*m + 3*f - 68. Let i = h + m. Is i prime?
True
Let k(x) = 263*x**2 + x - 1. Suppose -3*d = -8*d + 5. Is k(d) a prime number?
True
Let z = 353 - 203. Is (z/4 - 2)*2 prime?
True
Suppose 5*z = z + 76. Suppose 2*s + 2*h - 13 - 15 = 0, -s + 4*h = -z. Suppose -2*q - 4*l = -146, 2*l = -3*l - s. Is q composite?
False
Let p be 80/(-25)*(-10)/4. Suppose -p = -n + 41. Is n a composite number?
True
Let x(y) = -1482*y - 5. Is x(-1) composite?
True
Let q = 6978 - 457. Is q prime?
True
Let o(j) = -7*j**3 - 21*j**2 + 7*j + 7. Let d(l) = 2*l**3 + 5*l**2 - 2*l - 2. Let y(m) = 9*d(m) + 2*o(m). Is y(5) a prime number?
False
Let k = 1 - -1. Suppose -k*u + 25 = 3*u. Suppose g + t + 0*t - 111 = 0, g - u*t - 135 = 0. Is g a prime number?
False
Suppose -5*a + 6*a = 5255. Is a prime?
False
Let d = -430 + 127. Let n be -4*(d/6 - 1). Is 2/5 + n/10 a composite number?
True
Suppose 5*d = 8*d - 2634. Is d a prime number?
False
Suppose -9*f + 148 = -5*f. Is f a prime number?
True
Let r be 2/(-4)*14/(-1). Suppose 5*j - 27 = -r. Suppose -182 = 2*z - j*z. Is z composite?
True
Let i(k) = -k**3 + 4*k**2 - k + 4. Let f be i(4). Suppose f = 3*t - 4*c + 91 - 894, 0 = -4*t - 3*c + 1054. Is t prime?
False
Let z(r) = 20*r**3 - 2*r**2 - r. Let t be z(-1). Let q = -78 + 136. Let v = t + q. Is v composite?
False
Suppose m - f = -1006, 5*m + 0*f - f + 5038 = 0. Let b = -313 - m. Is b composite?
True
Let r(s) = s**3 - 7*s**2 - 12*s + 11. Is r(10) a composite number?
False
Let a = 812 - 127. Is a prime?
False
Let v = -230 + 341. Let z = v - -48. Is z prime?
False
Let f = -7 - 8. Let b be (-37)/5 + 9/f. Let g = b - -11. Is g composite?
False
Let k = -4 - -6. Suppose -2*w - k = -4*w, -3*i = -3*w - 579. Is i composite?
True
Let n(a) = 2*a**3 + 3*a**2 + 10*a - 13. Is n(8) a prime number?
True
Let m = 471 + -28. Is m composite?
False
Is (-12)/(-8) + (-297)/(-6) prime?
False
Suppose -447 = -2*m + 3*m. Let r = m - -305. Is (r/(-4))/(1/2) a prime number?
True
Let d(g) = 3*g**2 - g**3 - 3*g - 2*g**2 - 1 - 2 + 2. Is d(-4) a prime number?
False
Let r be ((-345)/(-2))/(1/2). Suppose 0 = -2*u - s - 0*s + 134, -5*u - 5*s = -r. Is u a prime number?
False
Suppose 6*z + 4797 = 15*z. Is z composite?
True
Suppose 0 = c + 3*c - 60. Let s be (2/1)/((-6)/c). Is 35 + (3 - (-2 - s)) a composite number?
True
Let t(n) = -n**3 + 12*n**2 - 12*n + 5. Let z be 9/(189/30)*7. Is t(z) a composite number?
True
Suppose -32463 = -5*v - 4*v. Is v composite?
False
Let g(t) = 29*t**2. Suppose -3 = 4*f - k, -4*f + f - 3*k - 6 = 0. Let l be g(f). Let c = 8 + l. Is c a composite number?
False
Suppose 0 = -5*t + 3*q + 222, 136 = 5*t + 3*q - 92. Suppose 2*a + 2*a + 101 = -3*u, -4 = -4*u. Let w = t + a. Is w a composite number?
False
Let s = 9 + -7. Suppose 5*v = 5*p + 25, -4*v - s*p + 17 = -3*p. Is v composite?
True
Suppose 8 = i - 3*d, i + 2*d + 2 + 5 = 0. Let x be (24/(-15))/(i/5). Is (-52)/(-16) - 2/x a prime number?
True
Let t(n) = 4*n**2 + 2*n + 1. Let q be t(-1). Let b(m) = 79*m - 2. Is b(q) prime?
False
Let k = 7 + -5. Suppose z - k*z = -11. Is z composite?
False
Let a(k) = -k + 1. Let z(b) = -7*b**3 + 6*b**2 + 7*b + 1. Let p(j) = 3*a(j) + z(j). Let v be p(-4). Suppose 0 = d + 3*d - v. Is d a composite number?
True
Let b = -9 - -29. Suppose -t + u + 8 = 0, 4*t - b = -t + u. Suppose n - 2*s + t*s = 9, 4*n - 2*s = 66. Is n a composite number?
True
Let x = 27 + -10. Let o = x - -23. Suppose -3*h = -35 - o. Is h a composite number?
True
Let c(i) = 3*i**2 + 4*i - 1. Let r be c(-3). Let g = r - -6. Suppose -2*t + p + g = -85, 0 = -2*t + 4*p + 90. Is t a prime number?
False
Is (0 - (-1 - -3)) + 79 a prime number?
False
Suppose -4*z - 10 = 3*g, 0 = -5*g + 4*z + 29 - 3. Suppose 3*n - g*w = -647, 0*w = w + 5. Is n/(-4) + (-2)/(-8) a prime number?
False
Let m(h) = h**3 + 2*h**2 - 2*h + 1. Let g be m(1). Suppose d - g*d - 1 = -w, -3*w + 2*d + 3 = 0. Is (15/6)/(w/22) composite?
True
Suppose -4*z + 83 = 371. Let n = z + 123. Is n composite?
True
Suppose -5*a - 5 - 15 = 0. Let k be ((-84)/a)/(3/22). Is k/6 - 6/9 composite?
True
Is 34/2*(3 - 2) - 2 prime?
False
Suppose 0*m = 9*m - 2853. Is m a prime number?
True
Let f(n) = -n**2 - 4*n + 8. Let m be f(-7). Let p be 2/(((-2)/m)/2). Is 1*(p + -3 + 3) a prime number?
False
Is (10/5)/((-6)/(-3639)) prime?
True
Suppose -3 = -2*f + 2*p - 1, -3*f - 5*p = -27. Suppose 0 = 3*o - f*o + 77. Is o a prime number?
False
Let t(v) = v**2 + 9*v + 9. Is t(-11) composite?
False
Let j(b) = 77*b**2 + 1. Let t be j(-1). Suppose -3*m = -189 + t. Is m prime?
True
Let w be (-1)/2 + 1269/2. Suppose 0*z = -2*z - 2*q - w, 2*q = 2*z + 638. Is (8/(-12))/(4/z) a prime number?
True
Let z = -62 - -97. Let n = -84 + z. Let v = -10 - n. Is v composite?
True
Suppose m - 1197 = -0*m + 4*o, 0 = -3*m - 3*o + 3666. Is m a prime number?
True
Suppose 0 = -5*s + 6 + 4. Suppose -q = s*z - 4, -5*q + 7 = -4*z - 13. Suppose 2*i - 118 = -q. Is i a composite number?
True
Suppose -3*w - f + 15 = -2*f, 4*w = -2*f + 20. Suppose 0*h - 59 = 3*j - 4*h, 4*h + 141 = -w*j. Let v = j + 48. Is v a composite number?
False
Is 13821/33 - 2/(-11) composite?
False
Suppose 2*o - 6*o - 2*a = 410, 5*a - 490 = 5*o. Is 2/(-11) + o/(-11) a prime number?
False
Let y(w) be the third derivative of 91*w**5/30 + w**3/6 - 3*w**2. Let t be y(-1). Suppose -92 = -5*m + t. Is m composite?
True
Let n be (-3 - -2)*-2 + -247. Let y = -84 - n. Is y a prime number?
False
Let s = -105 + 189. Suppose -5*m = -5, 3*w - 3*m + 137 = -13. Let g = s + w. Is g composite?
True
Suppose -2*h - 3 = -h. Let q = 6 + h. Let d(p) = 4*p**2 - 2*p + 3. Is d(q) a composite number?
True
Suppose 0 = c - 3. Suppose -4*m - 2*o = -6*o - 108, 65 = c*m + o. Is m composite?
False
Is -3 + 268 - (7 + -5) prime?
True
Suppose 5*t = 2*c + 15, 2*c + 6*t - 2*t = 12. Suppose 0 = 5*u - 10, c = l - 2*l + 3*u + 79. Is l prime?
False
Is (-1)/(1 + 2100/(-2095)) prime?
True
Let i(d) = d**3 - 9*d**2 - 5*d + 3. Is i(10) a composite number?
False
Let y = 3 + -2. Let b(k) = -k**2 - k - 1. Let w(u) = 140*u**2 + 105*u + 105. Let i(z) = 105*b(z) + w(z). Is i(y) composite?
True
Suppose 3*f = 230 + 2401. Is f a prime number?
True
Is 2023/3 - (4/12 + 0) composite?
True
Let s(p) = 11*p + 502. Is s(0) a prime number?
False
Suppose -41 = 4*a + 5*h, -3*h = -3*a - 0*a + 3. Is (-2 + -380)/(-6 - a) prime?
True
Suppose 3*k = 259 + 167. Let n = k - 75. Is n a prime number?
True
Suppose 331 - 52 = 3*c. Is c prime?
False
Let b = 409 + -228. Is b a prime number?
True
Let f(s) = -6*s - 10. Is f(-14) a prime number?
False
Let n be 26/8 + (-1)/4. Suppose 0 = 2*o - n*o. Suppose -6*c + 2*c + 36 = o. Is c a prime number?
False
Let w(y) = 36*y**3 + 0*y**2 + 1 + y - 2*y - y**2. Let u be 15/10 - (-2)/(-4). Is w(u) composite?
True
Suppose d = -4*m + 635, 5*m = -d + 450 + 186. Is d a composite number?
False
Is 680/4*1/2 a prime number?
False
Suppose -200 = -7*h + 206. Is h a composite number?
True
Let y = 464 + 855. Is y a composite number?
False
Suppose -4*j = -9*j + 20. Suppose 0 = -4*v, -j*v - 216 + 31 = -5*u. Is u prime?
True
Suppose 7*m - 10*m - 9 = 0. Is 0/(0 + m) - -115 prime?
False
Suppose -8*a + 7*a = -62. Is a a prime number?
False
Is ((-2)/3)/((-2)/795) composite?
True
Let r(h) = h**3 - 6*h**2 + 6*h + 1. Let o = 9 + -3. Is r(o) prime?
True
Suppose 0 = 4*m - q - 4*q - 5, 0 = -5*m + 2*q + 2. Suppose