2*p - 154 - 1 = -u. Is u a prime number?
True
Let w(q) = 62*q**2 + 2*q + 13. Is w(-4) composite?
False
Let c(w) = w + 16. Let j be c(-10). Suppose -j*v = -9*v - 42. Is 2202/14 + 4/v composite?
False
Let z(y) = 3*y - 8. Let q be (-12)/8*2 - -10. Is z(q) composite?
False
Suppose 5*y + 4 - 9 = 0, -5*c = 5*y - 550. Suppose 5*a + 4 - c = 0. Is a a composite number?
True
Let s(f) = f**2 - 1 + 0*f + 2*f + 2*f. Is s(-8) prime?
True
Suppose 10 = -0*d + d. Let j = d - 7. Suppose -454 = -j*b - 169. Is b prime?
False
Suppose h = 2*g - 11019, 0 = -4*h - 4 - 0. Is g prime?
False
Suppose -q = -j - 4, 3*j - 2*q = -5 - 2. Suppose -j + 15 = u. Is u a prime number?
False
Suppose -4*x + 377 + 1927 = 0. Let y = x - 325. Is y a prime number?
True
Is 0 + 1 + -3 + 189 prime?
False
Let c(k) = k**3 - 5*k**2 + k + 1. Is c(8) a prime number?
False
Suppose 0 = -p - i + 95, -3*i - 279 = -3*p - 6. Is p prime?
False
Suppose 1753 = -17*s + 18*s. Is s composite?
False
Let t(g) = 2*g - 19. Is t(25) prime?
True
Suppose 3*t = 10*t - 5131. Is t a composite number?
False
Let b(h) = 23*h + 2. Let o be b(5). Suppose -2*a = 4*g + 24, -5*a + 24 - o = -g. Is (-1)/6 - 957/a composite?
False
Is 10128/72*(-6)/(-4) composite?
False
Let n be (-10)/(-3) + 4/(-12). Suppose -n*o + 131 + 91 = 0. Is o composite?
True
Let g(i) be the second derivative of i**3/2 - 11*i**2/2 - 2*i. Is g(7) composite?
True
Let k(u) = -38*u. Let z be k(-1). Suppose -z = -2*h - 0*h. Is h prime?
True
Let y = 4 - 1. Let r(p) = p**3 - 3*p**2 - p + 3. Let n be r(y). Suppose -4*g + g + 111 = n. Is g a prime number?
True
Suppose h = -4*q + 6, 5*q = 4*h - 38 + 14. Let c = -7 + h. Let z(m) = 34*m**2 - m. Is z(c) prime?
False
Is (-285)/(-2) - 1*(-4)/8 a prime number?
False
Is 1047 + (1 + -3)*-1 a prime number?
True
Suppose 0 = -4*d + 473 + 3035. Is d composite?
False
Suppose -2*z - z = 102. Suppose -2*c = -2*f + 44, 2*c - 5*f + 68 = -c. Let u = c - z. Is u composite?
False
Suppose 40 = -5*l - 670. Let o = l - -645. Is o prime?
True
Let m be -2 - (1 - (5 - 1)). Suppose -3*b + 4*p - 14 = 0, b = 4*b + 5*p - 4. Is (-34)/b - (m - -2) composite?
True
Suppose -2*s - 3*s = 0. Suppose -19 = -4*q - z, -2*q - z + 10 - 1 = s. Suppose -2*r = 2*m - r - 50, -q*r + 20 = 0. Is m prime?
True
Let j = 9 - 15. Is 42/(-4)*44/j a prime number?
False
Let z be (1/(-3))/(2/(-36)). Let q be -3*(-5)/(45/z). Suppose -q*f - 382 = -2*o - 14, 743 = 4*o + 3*f. Is o a composite number?
True
Let z(t) = -1 - 1 + 0 - 4 + 91*t. Is z(7) a composite number?
False
Let w be 8/(-14)*(-21)/6. Suppose -w*z = -3*z + 47. Is z a composite number?
False
Let q(x) = -33*x - 5. Is q(-4) a composite number?
False
Suppose 67 = 3*c + 2*i, 0*i + 2*i + 71 = 3*c. Suppose 2*j - j - c = 0. Is j composite?
False
Let p(i) = 5*i**3 - 5*i**2 + 3*i + 1. Let l(u) = -2*u**3 + 2*u**2 - u. Let j(k) = -9*l(k) - 4*p(k). Is j(-3) a composite number?
True
Let r(x) = -243*x - 1. Is r(-8) prime?
False
Let f(o) = -9*o**2 - 31*o - 23. Let z(n) = -5*n**2 - 15*n - 11. Let l(w) = 4*f(w) - 7*z(w). Is l(-12) a prime number?
False
Let n(k) = k**3 - 8*k**2 + 15*k - 17. Let l(p) = p**2 + p - 1. Let w(z) = 4*l(z) - n(z). Suppose 4*y - 15 = 21. Is w(y) composite?
False
Let z be 21/12 + 1/4. Suppose -z*a = -0*a - 94. Is a composite?
False
Let q(o) be the second derivative of o**5/20 - o**4/12 + 5*o**3/6 + o**2/2 + 3*o. Is q(4) prime?
False
Let u(i) = -i**3 - i**2 + 6*i - 8. Let j be u(-7). Let f = j - 167. Is f composite?
True
Let t = -1 + 13. Let c(w) = -7*w. Let v be c(3). Let o = t - v. Is o composite?
True
Is ((-16)/24)/(2/(-3201)) prime?
False
Let j be -1*((-714)/(-2) - 2). Let a = -194 - j. Is a a prime number?
False
Suppose 3*y - 3*z - 3 = 3, -5*y - 3*z + 50 = 0. Let q(l) = 1 - 5*l**2 + l**3 - 1 - 2*l + 1. Is q(y) a composite number?
True
Suppose -5*r = -5*y + 70, -3*r - r - 62 = 2*y. Is r/10*268/(-6) a prime number?
True
Is 4/(-10) - (-1 + (-134)/10) prime?
False
Suppose 0 = z - 2*z + 3. Let l be (4*21)/z - 2. Suppose x + l = 3*x. Is x composite?
False
Let v = 12 - 7. Let r be v/((-49)/(-48) - 1). Suppose -3*m + 4*p + 241 = 0, 3*m - 2*p - r = p. Is m a composite number?
False
Suppose -4*t + 262 = 3*d - 181, 2 = t. Suppose 0 = 5*j - 10 - d. Is j a composite number?
False
Suppose 0*d - 4*h = -d + 17, -16 = 2*d + 2*h. Let w be 0/(-3 - d - 1). Suppose r - 33 = -w*r + 2*k, 3*r - 121 = -5*k. Is r composite?
False
Suppose -4*s + 1827 = -2569. Is s a prime number?
False
Suppose 0 = -4*y + 5*f + 1062, -5*f + 799 = 3*y - 10*f. Is y a prime number?
True
Suppose 0 = 4*r + 260 + 1332. Let y = r - -244. Let m = 63 - y. Is m prime?
False
Suppose 0 = -3*t + 256 + 167. Is t prime?
False
Suppose 5*x + 2*o = 7*o + 4435, 5*o = -20. Is x prime?
True
Let g be (-35)/15 + 2/6. Let d = 6 + g. Suppose 0 = v + 2*h - 17, -3*h + 32 = d*v - 11. Is v a composite number?
False
Suppose -6*p - p + 10108 = 0. Suppose -3*x - 12 = 0, -5*q = -x - p - 455. Is q prime?
True
Let c = 2 - -2. Suppose t - 10 = 2*r - c*t, -r + 8 = 4*t. Let w(u) = -u**2 + u + 19. Is w(r) prime?
True
Suppose 4*q = 2*y + 5539 + 1439, 0 = 4*q + 2*y - 6982. Is q a composite number?
True
Let c be (-6)/(-9) + 13/3. Suppose -3*n + 191 + 388 = 3*m, m + 959 = c*n. Suppose 0 = -5*i - 0*i - 10, -2*f + 5*i + n = 0. Is f a prime number?
False
Suppose -4*s = -5*s + 57. Suppose -s = 3*q - 6*q. Is q prime?
True
Let w be 11/(-4) - (-2)/(-8). Let j be (w/(-9))/(2/18). Suppose -4*v + 8 = 0, -3*a + j*v = -0*v - 153. Is a prime?
True
Let m(s) = -s**3 - 5*s**2 + s + 7. Let z be m(-5). Suppose 0 = 5*x - y - 782, 0*y - 4*y = -z*x + 302. Is x prime?
True
Suppose 2*g = -u + 17, -3*u + 5*g + 9 = -64. Let c be 57/u + 2/7. Is 3 - (-68 + c + -6) prime?
False
Suppose 4*g = -g - 2*z + 827, z - 163 = -g. Is g prime?
True
Suppose -172 = -2*k + 1152. Is k prime?
False
Let o = -718 - -1239. Is o prime?
True
Suppose 0*i + 76 = -4*i. Suppose 10 = -2*v - 0*v. Let s = v - i. Is s a composite number?
True
Let d(t) = -t - 3. Let o be -1*(-15)/(-3) - -3. Let l be d(o). Is (-50)/(-4) - l/2 prime?
True
Let d(t) = 28*t**2 - 3*t - 2. Is d(-3) prime?
False
Let z(u) be the second derivative of u**5/20 + u**4/12 + u**3/6 + 5*u**2 + u. Let v = 11 + -11. Is z(v) prime?
False
Suppose -2*v - 634 = s, -3*s + 0*s = -5*v - 1563. Let d = v + 481. Is d prime?
False
Suppose -3*o + 70 + 21 = -5*j, -o + 4*j + 42 = 0. Is o composite?
True
Suppose 2*r - 45 - 11 = 0. Suppose i = r + 5. Is i composite?
True
Suppose o - 2*o + 4 = 0. Suppose -4*h + 3*a - o*a + 185 = 0, -150 = -3*h - 3*a. Let t = h - -8. Is t prime?
True
Let j(t) = t**3 + t**2 - t + 319. Let a be j(0). Suppose 5*p - 954 + a = 0. Is p a prime number?
True
Suppose -x - 5*a + 160 = 0, -2*a + 89 = -5*x + 1024. Is x composite?
True
Let u = -438 - -731. Is u a prime number?
True
Let r(t) = t**3 - t**2 - t + 2. Let y be r(0). Suppose -y*v - j + 74 = -107, 4*v - 3*j - 367 = 0. Is v composite?
True
Suppose -5*c + y = -y, 5*c + 4*y = 30. Let o be 2/10*c*10. Suppose 0 - 36 = -o*n. Is n composite?
True
Let f = -2 + 4. Suppose f*n + n = 0. Suppose -c + 2*j = -2*j - 37, 3*j = n. Is c composite?
False
Let x(l) = 7*l**2 - 6*l - 11. Let p be 8*((-1)/1 - 0). Is x(p) a prime number?
False
Let l = -92 - -318. Is l prime?
False
Let z be -1 - (-1)/(1/5). Let v(u) = 7*u**2 - u + 2. Let a be v(-3). Suppose -z*c = 2*p - a, -3*p = -c - 0*p + 3. Is c a prime number?
False
Suppose -2*i + 2 = -3*i. Let a(q) = -20*q - 3. Is a(i) composite?
False
Suppose 52*a + 5243 = 59*a. Is a a composite number?
True
Suppose 3*k - 4565 = 7156. Is k prime?
True
Let v(n) = n**3 + 4*n**2 - 6*n - 5. Let y be v(-5). Suppose -2*r + 42 = -y*r. Is r a composite number?
True
Let w(c) = -c**2 - 9*c - 9. Let s be w(-7). Suppose 0 = -s*d - 3*y + 457, 2*d - 95 = 2*y + 75. Is d a composite number?
False
Let x(z) = 468*z**2 - 6*z + 7. Is x(3) a composite number?
False
Suppose -5*l - 134 = -r, -3*r + 6*l - 4*l + 467 = 0. Is r composite?
True
Let c = 434 - 286. Let r = c + -3. Suppose 3*l = -2*l + 5*z + r, -z = -4. Is l prime?
False
Suppose -5*g + 13 = -7. Suppose 106 = -2*m + g*m. Is m composite?
False
Suppose 0 = 3*f - 6 - 0, f = 3*i - 109. Let z = 90 - i. Is z composite?
False
Let f be (164/(-6))/(6/(-18)). Let i = 121 - f. Suppose -4*t = -157 - i. Is t a prime number?
False
Let o = 66 - -125. Is o composite?
False
Suppos