(-2))/5 a prime number?
True
Let w be (1 - -10) + -6 + 4. Let j = w + -4. Suppose 2*z + j*b - 155 = 0, 5*z - b + 4*b - 340 = 0. Is z prime?
False
Suppose 2*s - 3*a = -0*s - 21, -3*s + 3*a = 36. Suppose f - 3*v = 4*f - 189, 3*v + 245 = 4*f. Let q = f - s. Is q prime?
False
Let d = -609 - -916. Is d composite?
False
Let v be (-6)/(-39) - 3933/(-39). Suppose 0 = -q + 3*i + v, -4*i + 3*i = -2*q + 182. Is q prime?
True
Suppose 0 = -3*a + 3, -4*s - a = -3 - 6. Suppose -54 = -y - 5*t, -189 = -0*y - 5*y + s*t. Is y a composite number?
True
Suppose -5*x + 1901 = -84. Is x a prime number?
True
Suppose 0 = -3*c + c. Suppose -i + 2 = c, 5*g + 3*i = -2*i + 945. Suppose 5*u + 4 = -1, u = -4*t + g. Is t composite?
False
Is 467/6*-2*-3 a composite number?
False
Suppose 5*z = 9007 - 822. Is z prime?
True
Let k = 22 - 24. Is (137 - 11) + k/(-2) a prime number?
True
Suppose 5*y = -3*p + 10, -3*y - 2*y = -3*p + 50. Let m(b) = -b**2 - b**3 + p*b - 6 + 0*b**2 + 7*b**2. Is m(7) prime?
False
Let k = 728 + 4. Suppose 4*w + 0*w - k = 0. Is w a composite number?
True
Let p = -406 - -699. Is p composite?
False
Suppose 5*l = -2*w + 701, 4*l - 3*w + 0*w - 547 = 0. Is l a composite number?
False
Suppose -x + 1 = -2. Suppose 0 = 2*j - x*j + 86. Let f = 145 - j. Is f prime?
True
Suppose 2*f - 3029 = 3*z, -390 = 4*f - 3*z - 6445. Is f composite?
True
Let j = 3 - 6. Is -2 + (-1)/(j/45) a prime number?
True
Let o = -7 + 5. Is 93/6*o/(-1) a composite number?
False
Suppose 3*o + o - 5*x - 74 = 0, -2 = -x. Is o a composite number?
True
Is (4 + 10/(-2))*-901 a prime number?
False
Suppose 0 = 4*j - 3*o - 2*o - 123, 4*o = -4*j + 168. Is j composite?
False
Let a = 644 + -381. Is a prime?
True
Let z = -157 + 236. Let i = 126 + -84. Let a = z - i. Is a a composite number?
False
Suppose -1 - 6 = -c. Suppose -2*h - 680 = -c*h. Suppose 5*g - 139 = h. Is g composite?
True
Let f(y) = -16*y**2 + 1. Let x be f(-1). Is ((-55)/x)/(2/6) a composite number?
False
Let a(m) = -m**3 - 7*m**2 - 7*m - 1. Let b be a(-6). Let c(k) = 18*k - 11. Is c(b) prime?
True
Suppose 4*u + 3 - 19 = 0. Suppose 2*d + 5 + 19 = -u*x, 0 = 4*d - 3*x + 70. Let y = 41 + d. Is y a prime number?
False
Suppose 3*w - 15487 = -4*t + 4609, -5*w - 5001 = -t. Is t a composite number?
False
Let z = 1321 + -422. Is z composite?
True
Let s(w) = 737*w**2 - 6*w - 14. Is s(-3) a composite number?
False
Let h(p) = -2*p + 4. Let c be h(-4). Let n = c + 85. Is n prime?
True
Is ((-2)/2 + 810)/1 a composite number?
False
Let p(o) = -o**2 + 2*o - 1. Let x be p(4). Let t = x + 5. Let w(u) = 2*u**2 + 4*u - 1. Is w(t) a composite number?
True
Let n = 6 + 15. Suppose -4*a = -4*t + 17 + 11, -3*t + a + n = 0. Is t a prime number?
True
Let i = 1 + 1. Let u(j) = 4*j**2 + j - 2*j - 5*j**i + 35. Is u(0) composite?
True
Let t(b) = -b**2 - 7*b - 4. Let m be t(-6). Suppose -w - 24 = m*w. Let d = w + 23. Is d a composite number?
True
Let p(i) = -i + 5. Let o be p(-8). Suppose 5 - o = -4*b. Is (-1)/(b/(-142)) - 2 a prime number?
False
Let m = -200 - -1267. Is m a prime number?
False
Suppose 3*v = 5*v. Suppose v = -5*x - 0*x + 635. Is x composite?
False
Suppose 0 = -2*t + 2*p + 218, -2*p = -2*t + 3*p + 227. Is t prime?
False
Let y be -2*2*(-6)/8. Let p = y + -10. Is ((-2)/2)/(p/623) prime?
True
Suppose 1431 = 4*m + u, 4*u - 1073 = -3*m + 3*u. Is m composite?
True
Suppose 3*x = -2 - 4. Let t = x + 6. Suppose -t*u = -3*o - 536, u + 0*o - 5*o - 151 = 0. Is u composite?
False
Let k be 213*13*1/(-3). Let v = 1366 + k. Suppose 0 = z + u - 88, 5*z + 6*u = 2*u + v. Is z a prime number?
False
Is ((-4238)/39)/((-4)/6) a prime number?
True
Let m be -5*(-1 + 3 + -3). Suppose -371 = -h - 2*s, -m*s = 2*h + 2*h - 1487. Is h prime?
True
Let t(a) = -a**3 - a - 1. Let n(l) = 7*l**3 + 8*l**2 + 8*l + 3. Let b(d) = n(d) + 6*t(d). Is b(-6) a prime number?
False
Suppose -3*j - 3 = 3. Let u = 1 - j. Suppose -5*f = 4*d - 134, -d - u*f = -34 - 3. Is d composite?
False
Suppose 3*d + 9 = 5*n - 10, 4*n + 2*d = 2. Let u be -1 + -1*(0 + -1). Is 18 - (-1 - (n + u)) a prime number?
False
Suppose 5*l + 10 = 0, p - 6*l = -2*l + 339. Is p a prime number?
True
Is (499 - -3)*(-4)/(-4) a prime number?
False
Let x = 167 - 673. Let z = -250 - x. Suppose -54 = -2*t + z. Is t a composite number?
True
Suppose 3*i = -2*i + j + 485, -97 = -i - 2*j. Is i a composite number?
False
Let a(u) = -99*u - 24. Let j(c) = -20*c - 5. Let x(d) = -2*a(d) + 11*j(d). Let i be x(-10). Suppose 3*z - i = -0*z. Is z composite?
False
Suppose 4*d + 3*v = 4*v + 472, -2*d + 258 = 5*v. Is d a prime number?
False
Let b = 19 + -16. Suppose 5*j = 4*c - 1016, 3*c - 134 - 655 = -b*j. Is c a composite number?
True
Suppose 4*d = -53 + 277. Suppose 0 = -4*t + 1596 - d. Suppose -3*a - 2*a = -t. Is a composite?
True
Suppose -6*q + 7*q = 8. Let w = 10 - q. Let f(b) = b**3 + 4*b**2 - 2*b - 1. Is f(w) composite?
False
Suppose 4*r - 20 = 0, g = -r - 2*r + 5. Is (-194)/(-6) - g/15 a prime number?
False
Let s(l) = -840*l + 7. Is s(-2) a composite number?
True
Let g(c) = c**2 - 7*c + 8. Let f be g(6). Suppose 5*y = j + y + 41, -52 = f*j - 2*y. Is (-922)/(-3) + 7/j a composite number?
False
Let s(r) = -r + 4. Let l be s(-7). Suppose 9 = 5*z - l. Suppose z + 47 = x. Is x a composite number?
True
Let x(m) = m**2 - m + 19. Let d(z) = z + 6. Suppose 4*f = -34 + 10. Let c be d(f). Is x(c) prime?
True
Let s(k) = -5*k**3 + 2*k + 1. Let c be s(-1). Suppose 2*f = -2*f + c*w + 212, 2*f - 106 = w. Is f a composite number?
False
Suppose 0 = g + 2*l - 1, -l = -4*l. Suppose 67 = 5*q + 2*x, -x + 0 + g = 0. Is q a prime number?
True
Let u(n) = n**3 - 10*n**2 + n - 13. Let s be u(10). Let m = s - -54. Is m a composite number?
True
Suppose 5*q + 3*z - 725 = 0, 0 = 5*q - 0*q + 4*z - 725. Is q prime?
False
Let a(b) = -b**3 - b**2 + b - 93. Let u be a(0). Let l = u + 164. Is 1 + 2 + -5 + l composite?
True
Suppose 0 = 4*q - q + 6. Let y(l) = 171*l + 9. Let f(p) = -86*p - 5. Let m(o) = -11*f(o) - 6*y(o). Is m(q) a composite number?
True
Suppose -10 = -5*m - 0. Let s(r) = r**2 + r - 2. Let z be s(m). Suppose -228 - 32 = -z*x. Is x a prime number?
False
Suppose g = -19 + 21. Let w(z) = 3 + z**2 - 5 + 0*z**2. Is w(g) composite?
False
Let b(i) = -486*i**3 - i**2 + i + 1. Is b(-1) prime?
False
Suppose -5*y - 2*f = 162 - 529, 4*y = -2*f + 294. Let o be (55/(-2))/(1/(-4)). Let k = o - y. Is k a composite number?
False
Let l = 417 - 218. Is l composite?
False
Suppose 4*z + 12 = 0, 4*z - 2*z = 5*p - 1691. Is p composite?
False
Let r(n) = -7*n**2 + 1. Let z be r(-1). Let m be (3 - 0)*10/z. Let t(k) = k**3 + 8*k**2 - 5*k - 5. Is t(m) a prime number?
False
Let g(c) = -10*c**3 - 2*c**2 - c - 1. Let w be g(2). Is (-710)/(-14) + (-26)/w composite?
True
Let l(o) = -17*o + 3*o - 5*o - 3*o**2 - 15 + 2*o**2. Is l(-14) a composite number?
True
Suppose -4*w - u + 362 = u, 4*w = -5*u + 371. Is w composite?
False
Let z(k) = 16*k + 1. Let y(l) = 32*l + 2. Let i(a) = -2*y(a) + 5*z(a). Let o be i(1). Let b = o - -5. Is b composite?
True
Suppose 3*y + 10488 = 3*f, y + 17460 = 4*f + f. Is f prime?
True
Let i(q) = -27*q + 17. Is i(-10) a prime number?
False
Let p(t) = -t**2 + 4*t + 1. Let y(u) = -u**2 + 7*u + 2. Let m be y(7). Let b be p(m). Suppose -b*s = -4*v - 249, -v + 78 = -4*s + 286. Is s a prime number?
True
Let t = -2 + 2. Suppose -3*p + 12 = -t*p. Is 10/p*(9 - 3) a prime number?
False
Suppose -9*j + 57 = -6*j. Is j composite?
False
Let h = 3 - -7. Suppose -y = y - h. Suppose y*w - 112 = 813. Is w a prime number?
False
Let s = -2 + 5. Suppose 15 = -3*c, -5*c = s*x + 6 - 143. Is 4794/x - 2/(-9) composite?
False
Let j(t) = -28*t + 1. Is j(-6) prime?
False
Suppose 94 = -u + 2981. Is u a prime number?
True
Let a = 3 - 2. Let h = a + -1. Suppose 5*k + p + h = 92, -31 = -k + 4*p. Is k composite?
False
Let p(q) = -6*q**3 - 3*q**2 + 4*q - 13. Is p(-6) prime?
True
Let u(x) = 14*x**2 + x + 1. Is u(-5) a composite number?
True
Let o = -135 - -253. Is o composite?
True
Let x be (3/9)/(1/9). Suppose 2*m + 0 + 20 = 4*y, 4*m + 7 = -x*y. Suppose y*p = -5*z + 42, 10 = -2*p + 3*z + 38. Is p composite?
True
Let q(x) = x**3 + 5*x**2 - x - 3. Let d be q(-5). Let k = 0 + d. Suppose -96 = -k*n - 2*n - w, -20 = -5*w. Is n prime?
True
Suppose -32 = -3*v + 7. Let k = 216 - v. Is k prime?
False
Is -2*(4302/(-4) 