prime?
False
Let c(y) = 6*y + 15131. Is c(0) a composite number?
False
Let m(i) = 423*i**2 + 8*i - 114. Is m(-11) composite?
True
Let m = -3315 - -6926. Is m a prime number?
False
Let n(h) = 913*h + 559. Is n(64) prime?
True
Suppose 7*n = 4*n. Let z be (-8 + -6)*2/(-7). Suppose 0*a - z*a + 204 = n. Is a a prime number?
False
Let c be 1948/7 + 2/(-7). Let h = -456 - c. Let l = h - -1411. Is l composite?
False
Suppose -5*t = -2*t + 36. Suppose 0 = -431*l + 426*l + 150. Is (276/(-15))/(t/l) composite?
True
Suppose 3*a - 12 = 4*s, 2*a = s - 0*a + 8. Let g be 2 + 3/(-9)*s. Suppose 3*b - 46 = -o, g*b = 6 - 4. Is o a composite number?
False
Let h = -658 - -1204. Suppose -h = -b - 1. Is b a prime number?
False
Let u(g) = 14*g**2 - 4*g + 27. Let m(h) = 27*h**2 - 8*h + 53. Let k(c) = 3*m(c) - 5*u(c). Is k(-9) a composite number?
True
Suppose -4*n - 5*z - 27 = 0, -n + 9*z - 4*z - 13 = 0. Let o = n - -16. Let l(u) = 34*u - 15. Is l(o) a prime number?
True
Let o = 3820 - 119. Suppose 1287 + o = 4*h. Is h a composite number?
True
Suppose -3*r - 4 = -7. Let f(d) = 1690*d + 3. Is f(r) prime?
True
Suppose -2*g = -2*m - 20, -3*m - 40 = m + 2*g. Let s(o) = 2*o**2 + 4*o - 15. Is s(m) prime?
False
Let u = -45491 - -76848. Is u a composite number?
False
Let k(c) = c**2 + c + 3. Let d be k(-4). Let n(s) be the second derivative of 91*s**3/6 + 10*s**2 - 11*s. Is n(d) a composite number?
True
Let o = 2 - -250. Let i = -89 + o. Is i a prime number?
True
Let c(b) = b**3 + 6*b**2 + 3*b + 8. Let h be c(-6). Let u be h/(-5)*(-3)/(-2). Suppose u*n = -o + 1625, 6*o - 3*o + 535 = n. Is n prime?
True
Suppose -5*f - 38636 = -3*a, 10 = -4*f + 6. Is a a prime number?
False
Is (-16)/(-72) + (-113162)/(-18) a prime number?
True
Suppose 5*o - 647 = 493. Suppose 3*a - 5*a = -o. Let k = a - -31. Is k a prime number?
False
Let r = -20 - -22. Suppose 0 = -2*c + 5*k + 11, -c + 1 = -r*k - 4. Suppose 635 = 4*y - c*y. Is y a prime number?
False
Suppose 3*x + 5 = o, 3*o + 3*x + 2 + 7 = 0. Let k(t) = -645*t + 4. Is k(o) prime?
False
Let t = 7435 + 1216. Suppose t + 16293 = 16*r. Is r a prime number?
True
Suppose -b - 2*b = 4*m - 10, 5*m - 5 = -3*b. Suppose 2*a - 2 = b. Suppose 0 = -5*d + a*d - 19. Is d a prime number?
True
Let o = -80 + 83. Suppose o*a + 2*a - 3*v = 970, -3*a + 3*v = -588. Is a composite?
False
Let c = 144 + -96. Let a = 12 + -38. Let b = c + a. Is b a prime number?
False
Let a be (-1745)/(-4) + 4/(-16). Let r be (459/18)/((-2)/(-4)). Let g = a + r. Is g a prime number?
True
Let v = 31 - 19. Suppose -2*z = 2*j - 4*j - 2, v = -2*j + 4*z. Suppose 0*a = -2*a - j*f + 162, 3*a + 2*f = 259. Is a a prime number?
True
Let q be 2 - -2 - 1 - -181. Suppose q = 4*s - 556. Is s prime?
False
Let c = 348 - -346. Let y = c + -65. Is y composite?
True
Let w(t) = -140*t**3 + t**2 + 3*t + 4. Let z be w(-3). Suppose -9*j + j = -z. Is j prime?
False
Suppose 7*m = w + 12*m - 6, -4*w - 44 = 3*m. Is (4/w)/(-2) - (-25394)/14 prime?
False
Suppose -3*q - 10 = -q, 2*g + 2*q + 12 = 0. Let t be -33*(g + -1*10). Suppose t = -4*s + 1207. Is s prime?
True
Let u(l) = -l**2 + 4*l + 16. Let g be u(7). Let x(q) = -174*q + 25. Is x(g) a composite number?
True
Suppose 2*z - 5*j + 7 = 0, 4*z - 4*j = -0 + 4. Suppose 6*k - 13970 = -z*k. Is k a composite number?
True
Let n be 1 + (-2)/6*-9. Suppose -24 = n*t - d, -3*t = -4*d + 23 + 8. Let j = 136 + t. Is j a composite number?
False
Suppose 2619 = 4*a - 4065. Is a a composite number?
True
Let n be 3*3/((-135)/(-6))*1970. Is n/3 - 2/(-6) a composite number?
False
Suppose 0 = -12*y + 10*y + 4, 4*p = 3*y + 148658. Is p a composite number?
True
Let l(q) = -q**2 - 5*q + 6. Suppose 5*v = -27 - 3. Let a be l(v). Suppose a = -4*j - 5*z + 216, -j + 5*z + 16 = -13. Is j a composite number?
True
Suppose 0 = -i + 12*i - 0*i. Is 2 + -1355*(i - -2)/(-2) prime?
False
Let q(p) = p**3 - 15*p**2 - 14*p + 18. Let t be q(15). Let w = 662 + -1065. Let s = t - w. Is s a composite number?
False
Let x(q) = -3*q**3 - 30*q**2 - 55*q + 11. Is x(-18) a composite number?
True
Suppose -37 + 499 = 3*r. Suppose 2*y = -444 + r. Let u = 890 + y. Is u prime?
False
Suppose 5*f - 19*l + 21*l - 51385 = 0, l = -4*f + 41111. Is f a prime number?
False
Suppose 3*d - 3 = 3. Suppose d*n + 182 + 12 = 0. Let i = -58 - n. Is i prime?
False
Let z(c) = 12*c**2 + 4*c + 3. Let a be z(-2). Suppose 446 = j + a. Is j prime?
False
Let m be -2 + (1 - (9 + -3)). Let c(k) = -40*k + 14. Let n be c(m). Suppose 5*o + 6 = -19, n = 3*p - 3*o. Is p a prime number?
False
Let f = 161 + -38. Suppose x + f - 377 = -o, -498 = -2*x - 4*o. Is x prime?
False
Suppose -o + p = 1, 33 - 4 = -5*o - 3*p. Let s(g) = -2*g**3 - 8*g**2 - g - 1. Let c be s(o). Is 1/(((-6)/(-298))/c) composite?
False
Let s(g) = -g**3 - g**2 + 149. Let z be (-6 + 6)*(-2)/(-4). Let l be s(z). Suppose j - 182 - l = 0. Is j prime?
True
Let r(q) = 5*q + 27 - q**2 + 6 + 5*q**2 + 2*q. Is r(-14) composite?
False
Suppose 16 = 2*b - 4. Let u = 10 - b. Suppose 3*g - 357 = -2*x, u = -4*g + x + x + 476. Is g a composite number?
True
Suppose 1644 = d + 109. Is 3/(15/d*1) composite?
False
Suppose -27 = -5*u - 17. Suppose 2*p + 2858 = u*b - 3*p, 2*p = 8. Is b a composite number?
False
Let s = -6 - -8. Let p(u) = -4*u + 23. Let a be p(5). Suppose -5*m - 232 - 140 = -s*i, -a*m + 6 = 0. Is i composite?
False
Suppose -v = -3*g - 4, 0 = 2*v + g + 4*g + 14. Let u be v/7 - (-10)/35. Suppose -5*k + 5*n + 140 = u, -3*k + 52 = 4*n - 11. Is k a composite number?
True
Let r(i) = -2*i**3 + 3*i**3 + 2*i**3 + 12*i**2 + 2*i - 2*i**3 - 2. Let u(t) = -8*t + 3. Let d be u(1). Is r(d) composite?
False
Suppose -6*l = 2*t - 2*l - 20, -4 = l. Let o(j) = j**2 - 6*j + 5. Is o(t) prime?
False
Let u be (10/4)/((-8)/(-16)). Suppose 0*k - r + 721 = u*k, k - 4*r = 161. Is k a prime number?
False
Let r = -6614 + 14077. Is r composite?
True
Suppose 13*j - 416063 = 136580. Is j a composite number?
True
Let l = 3703 - -1444. Is l a prime number?
True
Let h(s) = 2*s**2 + s + 2. Let w be h(2). Suppose 14*a = 12*a + w. Is (2*381/a)/1 a prime number?
True
Is ((-80)/(-15) - 5) + 106034/3 a composite number?
True
Let p(u) = 10*u**3 - 2*u**2 + 3*u - 2. Let q be p(1). Let w(f) = 5*f**2 - 3*f + 11. Is w(q) prime?
True
Let w(p) be the first derivative of -p**4/4 - 5*p**3/3 + 13*p**2/2 + 3*p - 5. Let v be w(-9). Suppose 0 = 4*j - 2 - v. Is j a composite number?
False
Suppose t - 4*i - 437 = -3*i, -16 = 4*i. Suppose 240 = m - t. Is m prime?
True
Let m(k) = 5*k - 2*k + 1 + k - 3*k. Let f(l) = 71*l - 1. Let a(t) = f(t) + 4*m(t). Is a(4) prime?
False
Suppose s = -0 - 4. Let h(q) = q**2 + 4*q + 4. Let a be h(s). Suppose -w - 5*n + 50 = 6, -4*w + 128 = -a*n. Is w prime?
False
Let b be ((-8)/4)/(2/13). Is 1 + b/11 - (-59795)/55 composite?
False
Let k(d) = 7*d**3 - 4*d**2 + d. Let a(r) = -8*r**3 + 3*r**2. Let o(w) = -3*a(w) - 2*k(w). Let b be o(3). Suppose -q + b = 4*q. Is q prime?
False
Let x be -1 + 1 + 0 + 0. Let q(y) = -y**2 - y + 3. Let f be q(x). Suppose f*d + 582 = 2*h - d, 2*h - 584 = 5*d. Is h a prime number?
False
Let s(o) be the second derivative of -o**5/20 + 5*o**4/4 - 10*o**3/3 - 5*o**2/2 - 2*o. Is s(11) composite?
True
Suppose 0 = -k - 14*k + 27705. Is k composite?
False
Suppose -8 = -3*r + 1. Suppose -r*v + 37 = 7. Let t(c) = 6*c - 1. Is t(v) a prime number?
True
Let o = 15919 - 10146. Is o a composite number?
True
Let w(h) = 8*h + 18. Let a be w(-14). Is -4*33/24*a prime?
False
Let j = 4978 + 1259. Suppose 0 = 14*b + j - 22295. Is b a composite number?
True
Let g(q) = -2 - 2*q + 0*q + 6 + 17. Let c be g(14). Let a = 173 + c. Is a composite?
True
Is (0 + 27334)*((-3)/(-6) + 0) a composite number?
True
Suppose 0 = 8*o - 6*o - 2448. Suppose -3*g - 3*z = -o, -624 + 204 = -g + 3*z. Is g a prime number?
False
Is ((-5)/(-10))/(5457/(-5458) - -1) a composite number?
False
Let q be (-1074)/(-9)*(-3)/(-2). Let w = 120 - 202. Let u = w + q. Is u a prime number?
True
Suppose 2*m = -2*m - 8. Suppose -2*s - 8 = 2*h, 5*h - 30 = -0*h + 5*s. Is (h + m)*(3 - 126) composite?
True
Let y(p) = -110*p**3 + 16*p**2 + 39*p + 3. Is y(-2) a prime number?
False
Suppose 768*g - 766*g - 14434 = 0. Is g a composite number?
True
Let t(b) = 22*b**2 - 93*b + 54. Is t(23) composite?
True
Suppose a + 8 - 5 = 0. Let z be -2 - 1 - a - -3. Suppose 153