pose -2*h + 4*a + 6 = 2*a, -2*a + 4 = 0. Suppose -247 = -5*j + 4*n, h*j + 98 = -4*n + 361. Let d = 162 - j. Is d composite?
True
Let y(s) = 30*s - 1. Is y(4) composite?
True
Suppose -3*d + 145 = -110. Is d a composite number?
True
Is (-12)/(-8) - 3308/(-8) composite?
True
Suppose 0 = 4*m + 2*z + 3*z + 17, 3*z + 11 = -2*m. Suppose 0 = 3*a + 4*v - 245, 0*a - 4*v + 166 = m*a. Is a a prime number?
True
Is (-6)/(-4)*(3990/9 - 4) a prime number?
True
Let y(u) = -4*u**2 + 7*u + 4. Let h(g) = 8*g**2 - 13*g - 8. Let x(z) = 6*h(z) + 11*y(z). Is x(5) a composite number?
True
Let y(b) = b + 1. Let z = 14 - 6. Let w be y(z). Suppose -4*h - 185 = -w*h. Is h a prime number?
True
Let l(d) = 14*d - 9. Let w(h) = -3*h + 1. Let t be w(-2). Is l(t) composite?
False
Let z(u) = 40*u + 5. Let x be z(3). Suppose -x = -c + 5*d, c + c - 2*d = 234. Is c composite?
True
Let y be 1 + ((-9)/3)/(-3). Suppose -j = 5*g + 23 + 69, 391 = -5*j - y*g. Let f = -24 - j. Is f prime?
True
Let z = 3 + -5. Let g be -54 - (z + 3 - 0). Let o = g - -92. Is o a prime number?
True
Let r be 21/6 - 2/4. Suppose 74 = -s + r*s. Is s prime?
True
Let x(w) = -4*w - 4. Let s be x(-4). Let m = 7 + s. Is m a prime number?
True
Let i be 7/(-42) + 1046/12. Let x = i + -50. Is x a composite number?
False
Suppose -2*l + 3*t = 2*l - 761, 2*l - 387 = -5*t. Is l a prime number?
True
Let g be -120 + -2 + 3 + -1. Let c = 57 - g. Is c a composite number?
True
Let g(y) = y. Let o be g(2). Is (o + -17*5)*-1 prime?
True
Suppose 0 = 7*z + 5*z - 1356. Is z a prime number?
True
Let o(g) = g**2 - 6*g - 7. Let n be o(7). Is 1*(n - 1) - -48 a prime number?
True
Suppose -5*y = 62 - 532. Is y a composite number?
True
Let i = -6 + 10. Suppose -2*n + 4*n + d - 500 = 0, -i*n + 4*d = -1012. Is n composite?
False
Suppose -5*h = 3*x - 6520 - 2373, -x + 2959 = 3*h. Is x a prime number?
True
Let m(f) = 12*f - 5. Is m(3) prime?
True
Suppose -3*a + 9*k - 4*k = -1609, 541 = a + 3*k. Suppose 5*d + a - 1465 = -2*h, 3*h = 3. Is d composite?
True
Let y = 130 + -51. Is y prime?
True
Let x be 0/((-1)/1*2). Suppose x*s - 1650 = -5*s. Let y = 491 - s. Is y composite?
True
Let x = 182 - 27. Is x prime?
False
Let a(z) = -63*z. Let f be a(1). Is 6/(-2) - f - 2 a prime number?
False
Suppose 7*f - 4*f - 2*c = -15, -5*c = -2*f - 10. Is ((-136)/(-5))/(-4)*f a composite number?
True
Suppose -13*l = -16*l + 1371. Is l a composite number?
False
Suppose -12 = -8*c + 6*c. Is c/(-14) + 7044/21 a prime number?
False
Suppose -3*z + 268 = -329. Is z a prime number?
True
Suppose 14 = 5*l - 6. Suppose -f + t - 101 = -3*f, 232 = l*f - 4*t. Is f composite?
False
Let v = -450 - -262. Let d = -111 - v. Is d a prime number?
False
Let x = 21 + -12. Suppose x = -3*h + 3. Is (-143 + h)/(1 - 2) composite?
True
Let o(x) = 2*x + 3. Let z be o(3). Let v(a) = 3*a - 12. Is v(z) composite?
True
Suppose -3*n + 5*n = 6. Suppose n*k = 5*r + 100, r - 45 = k - 3*k. Suppose j - k = 178. Is j prime?
False
Let q(i) = 251*i**2 - i - 1. Is q(-1) a composite number?
False
Suppose -160 = -k - 3*k - 2*d, 5*d + 133 = 3*k. Suppose 226 = 3*f - k. Is f a composite number?
False
Let k(t) = -t**2 + 13*t + 7. Is k(10) a prime number?
True
Is (-1)/(-2)*(-4910)/(-5) composite?
False
Let j = 320 - 211. Is j prime?
True
Suppose 2*z = 699 + 115. Is z a composite number?
True
Suppose 20*m - 9*m - 11506 = 0. Is m a composite number?
True
Let h = 245 - 162. Is h a composite number?
False
Suppose -4*d - 664 = -2*g, 6 = 2*d - 2. Suppose s + 0*s - 87 = -4*b, -5*s - b + g = 0. Is s a prime number?
True
Is (-4508)/(-6) - 1 - (-4)/6 a composite number?
False
Suppose 3*w = -0*w + 438. Let z = w - -37. Suppose 2*h + 73 = s, 0 = 3*s - 3*h - 24 - z. Is s a composite number?
True
Suppose 2*a = a + 2. Suppose a*c + 4*h - 90 = 0, -165 = -5*c + 6*h - h. Let m = c + 0. Is m a composite number?
False
Suppose 6*v - 15 = v, 0 = -3*u - 5*v + 8238. Is u prime?
True
Suppose 9*i - 20347 = -70. Is i prime?
False
Let r(o) be the first derivative of -o**4/4 - 8*o**3/3 + 7*o**2/2 + 2. Let f be r(-7). Let n = f - -157. Is n a prime number?
True
Let w be (36/(-8))/((-1)/(-2)). Suppose l + 8 = 5*l. Let b = l - w. Is b a prime number?
True
Let w be ((-2)/4)/(4/104). Let u(v) = -v**3 + 8*v**2 - 5*v + 8. Let b be u(7). Let s = b + w. Is s a composite number?
True
Suppose -p = -4*t + 18 + 2, -5*t = -2*p - 25. Let d(f) = -f + 2. Let j be d(p). Suppose 0*c - r = j*c - 39, -c + 24 = -r. Is c a composite number?
True
Suppose 0*p - 3*l + 306 = 3*p, -211 = -2*p + 5*l. Is p composite?
False
Let s = 26 - -11. Is s a composite number?
False
Suppose n - 5*f + 3450 = 6*n, -5*n + 3441 = 2*f. Is n prime?
False
Let v be ((-204)/18)/((-4)/(-30)). Let h = -6 - v. Is h a composite number?
False
Let r = -622 - -1443. Is r a prime number?
True
Suppose 336 - 75 = 3*b. Is b a composite number?
True
Let u be (-2)/(-8) - 21/4. Let z = 40 + u. Is z prime?
False
Let w be (-8)/(-36) - (-788)/18. Suppose -n = 2*u - 73, 3*u - 4*n - 60 = w. Suppose -u = -4*s + 16. Is s a prime number?
True
Suppose 4*s + 20 = -5*x, 3*s = -2*x - 0*x - 15. Suppose -n - 4*n = x. Suppose 0*o - 3*o + 259 = 4*f, 5*o + 3*f - 439 = n. Is o composite?
False
Let o(l) = l**3 + 7*l**2 + 6*l - 8. Let s = -9 + 6. Let k(z) = -2*z**3 - 8*z**2 - 6*z + 9. Let j(a) = s*o(a) - 2*k(a). Is j(6) a prime number?
False
Let r(z) = 2*z**2 - 13*z + 7. Let x(j) = j**3 - 4*j + 3. Let n be x(2). Suppose 0 = 8*q - n*q - 50. Is r(q) a composite number?
True
Let f = 14 + -23. Let z(w) = w**2 + 9*w + 13. Let q(c) = c + 1. Let l(t) = -3*q(t) + z(t). Is l(f) a composite number?
False
Suppose -2*x + 59 = 3*n, 0 = 5*x + 4*n - n - 170. Is x a prime number?
True
Let v(r) = r - 3. Let c(x) = x**3 + 6*x**2 + 5. Let o be c(-6). Let s be v(o). Suppose -s*p + 5*m = -87, 0 = -p + 3*p + 4*m - 42. Is p prime?
True
Let c(v) = 335*v**2 + 2*v + 1. Is c(-2) a composite number?
True
Let s(q) be the first derivative of 4*q**3/3 - q**2 + 2*q - 2. Is s(2) composite?
True
Let a(t) = 72*t**3 + 4*t**2 + 4*t + 3. Let v(u) = -71*u**3 - 5*u**2 - 5*u - 4. Let n(r) = -5*a(r) - 4*v(r). Is n(-1) prime?
False
Suppose -g + 1135 = 4*o, -o - 4612 = -4*g + o. Is g a composite number?
False
Suppose -2247 = 4*w - 7*w. Is w a composite number?
True
Let l(f) = 7 + 4 + 0*f - 9 + 3*f. Is l(4) prime?
False
Suppose -2208 = -5*f + 517. Is (f/4 + 3)*4 a composite number?
False
Is 1844/16 - (-1)/(-4) composite?
True
Let v = 629 + -366. Is v composite?
False
Let o(y) = -3*y**3 - 5*y**2 - 4*y + 1. Is o(-6) a prime number?
False
Suppose -3*x + 7 + 692 = 0. Is x composite?
False
Let o(x) = 4*x - 5 + 23*x - 6*x. Is o(8) a composite number?
False
Let o = -1093 + 2940. Is o a prime number?
True
Let d(c) = -2*c**3 - 13*c + c**3 + 8*c**2 + 9 + 5*c. Is d(6) prime?
False
Let p(t) = 15*t + 5. Let s be p(4). Let b = s - 6. Is b prime?
True
Suppose -1 = 2*u - 11. Let t(c) = 2*c - 6. Let r be t(u). Is (-2 + r)/2*37 a composite number?
False
Let p(i) = -4*i**3 - 5*i**2 - 11*i - 10. Let a be p(-7). Suppose 0 = 5*m - a - 131. Is m a prime number?
False
Suppose -a = -4*c + 20, 2*c + 0*a = 5*a + 10. Suppose 0 = -4*x - 2*s + 9 + 1, -c*s - 3 = -4*x. Suppose 145 = 5*o - 4*g, 3*o - g - 70 = -x*g. Is o prime?
False
Suppose 20*p - 26*p = -4164. Is p prime?
False
Let w(h) = h**2 - 2*h. Let q be w(2). Suppose q = -2*i + 2*n + 44, -4*i - i = n - 110. Let g = 57 - i. Is g a composite number?
True
Let j = -7 + 12. Suppose -2*p + 52 = 4*i - 142, -j*i - 5*p + 250 = 0. Is i prime?
True
Let o(h) be the second derivative of h + 1/2*h**2 + 0 + 7/12*h**4 - 1/6*h**3. Is o(-2) a composite number?
False
Let v(k) = 18*k**2 + 2*k + 3. Let d be v(3). Suppose -6*q + 3*q = -d. Is q prime?
False
Suppose 4*z + 1367 = 5611. Is z a composite number?
False
Suppose 8827 = 7*f - 4102. Is f prime?
True
Suppose -m - 271 = 5*b - 3446, -b + 3*m = -635. Is b prime?
False
Let b(u) = 3*u**3 - 5*u**2 - 2*u + 10. Let p(k) = 6*k**3 - 10*k**2 - 4*k + 19. Let t(a) = -5*b(a) + 3*p(a). Is t(4) prime?
False
Suppose b + 4*b - 20 = 0. Let n = 3 + 0. Suppose -n*d - b*f = -97, -f + 98 = 3*d - 5. Is d a prime number?
False
Suppose 0 = 4*g - 57 - 87. Suppose 4*n = g + 20. Is n composite?
True
Let s(v) = -v**3 - 14*v**2 - 8*v - 3. Is s(-14) prime?
True
Suppose -l = 49 + 17. Let y = -27 - l. Suppose s - 14 = y. Is s a composite 