mposite?
True
Let s = -7 - -9. Suppose -p + 27 - s = 0. Is -1 + 1 + -6 + p a prime number?
True
Suppose 595 = f + 3*p, 8*f + p - 2919 = 3*f. Is f a prime number?
False
Suppose -2*n - 18 = -5*n. Suppose 0 = n*f - f - 635. Is f a composite number?
False
Let n = 125 + -6. Is n a composite number?
True
Let k(h) = 2*h - 1. Let q be k(3). Suppose q*a - 19 = 4*a. Suppose 0 = -f + m + a, 5 = -f + 2*m - 7*m. Is f composite?
True
Let l be 2 + (-3)/(6/4). Is 353 + 2/(-8)*l prime?
True
Is 7792/5 - 15/(-25) prime?
True
Suppose 2*v - 8 = -8*y + 3*y, 5*v - y - 20 = 0. Suppose -v*u + 304 = -3*b, 0 = -2*b - 4 + 12. Is u composite?
False
Let f be 0 + -1 + -52*3. Suppose 0 = 2*o + 2*o + 936. Let m = f - o. Is m composite?
True
Let i(h) = -11*h**3 + 5*h**2 + 27*h - 19. Let v(t) = -5*t**3 + 3*t**2 + 13*t - 9. Let z(g) = -4*i(g) + 9*v(g). Is z(6) a prime number?
False
Suppose 940 = 2*a + 2*a - 4*v, 5*v - 456 = -2*a. Is a prime?
True
Let a = -8 + 13. Suppose 5 = k - 0. Suppose 15 = -2*s + k*g + 61, 5*s - 185 = -a*g. Is s a prime number?
False
Suppose 0 = -2*h - 5 - 1, 5*p - 4*h = 27. Suppose p*r - 147 = -3. Suppose 3*o - r = 69. Is o prime?
False
Is 321 - (-1 - (-4 - -5)) prime?
False
Suppose 0 = 5*o + 48 + 82. Let x(t) = t**3 + 7*t**2 + 6*t + 7. Let p be x(-5). Let v = p - o. Is v prime?
True
Is 2/(-3) + (-1421)/(-3) composite?
True
Is (-1)/(2/(-5) - 4186/(-10490)) composite?
False
Let k(i) = -i**3 + 4*i**2 - 3*i - 3. Let c be k(4). Let l = c - -23. Let w(x) = 8*x + 5. Is w(l) composite?
True
Is 1 + 1930*(-2)/(-2) prime?
True
Suppose 3*x = -3*y + 6*x + 27, 19 = y - 3*x. Suppose -y*k + 5*k - 4 = 0. Suppose -5*t - 129 = -k*r + 90, -2*t - 108 = -2*r. Is r a prime number?
False
Suppose -5*v + 2 + 13 = 0. Suppose 2*i + v*d - 4 = 0, i + 2*d - 7*d = 15. Suppose -2*p + 12 = -3*m, i*p - 24 = p - 2*m. Is p a composite number?
True
Suppose 2*t - 294 + 120 = 0. Let o = t + -50. Is (-2 - -5)*o/3 prime?
True
Suppose -3*h - 12 = -3*m, h - 5*h - 8 = 0. Is 129 + m*1/1 composite?
False
Let y = -873 + 4384. Is y composite?
False
Let k = 4 + -1. Suppose 0 = -k*m + 195 - 15. Let n = m - -31. Is n composite?
True
Suppose -2*i + 5*b + 143 = 0, -3*i + 246 = i - 2*b. Is i composite?
False
Let k(l) = -2*l + 1. Let x be k(-2). Suppose 0 = x*g - 2*m - 291, -2*g + 126 = m + 3*m. Is g prime?
True
Let p = -25 - -21. Is 12/p + (0 - -152) composite?
False
Suppose 0 = 5*y - 458 - 842. Let m = -1 - -6. Suppose 2*n = m*x + n - y, 0 = -2*x + 2*n + 112. Is x prime?
False
Let z = 332 - 221. Suppose -3*v - 165 = -g, -4*g - v = -z - 601. Is g a composite number?
True
Suppose x = 3*x - 8. Suppose 4*v - 7 = z + 6, 2*z = -x*v + 10. Suppose 12 + 9 = v*p. Is p prime?
True
Let i = 13 - 7. Suppose i*l - 757 = -103. Is l prime?
True
Suppose -3*p + 2 = -2*d, 0*d = -d + 2. Let i(c) = 3*c**2 - 1 + 8*c**3 - c**2 - 4*c**2. Is i(p) composite?
True
Suppose 0 = -7*o + 456 + 7363. Is o a composite number?
False
Let j = -506 + 845. Is j a composite number?
True
Suppose -3*t - 9 = -0, 4*k = -t + 3561. Let d = k - 2292. Is (-4)/(-14) + d/(-21) prime?
True
Suppose 0*v + v - 7121 = 0. Is v a composite number?
False
Let x = 5 - 5. Suppose 3*q - 30 = -2*q - 4*j, x = -4*q - 2*j + 18. Suppose -q*v - 364 = -6*v. Is v a prime number?
False
Let k be 1 - -469 - (0 - 3). Suppose -4*a - 5*z + z + 480 = 0, 4*a - 3*z = k. Suppose 0 = -0*m - m + a. Is m a composite number?
True
Let d = 280 - 165. Let l = d - -64. Is l a prime number?
True
Suppose 0 = 4*h - r + 3*r - 1490, -h + 368 = -r. Is h a prime number?
False
Suppose -5*o = 5*f - 60, 4*f - o = o + 30. Let w(x) = 2*x - 14. Is w(f) composite?
True
Let s(h) = -1009*h + 2. Is s(-1) prime?
False
Let a(t) = -11*t**3 - 2*t**2 + 3*t + 3. Let r = 6 - 5. Let v = -3 + r. Is a(v) a prime number?
False
Suppose 4*n = -5*a - 8, -18 = n - 3*n + 3*a. Let x = n + -3. Suppose -2*c = -x*c + 2, 322 = 3*v + 5*c. Is v prime?
True
Is ((-604)/(-12))/(6/198) a prime number?
False
Let y(u) = u**2 + 6*u + 1. Let k be y(-6). Is ((-1)/3)/(k/(-381)) a composite number?
False
Is -1 - (-496 - 4 - 3) a prime number?
False
Let g be (46/(-1))/(1/(-4)). Suppose -2*z = -0*v - v - 111, 0 = -3*z + 5*v + g. Is z a composite number?
False
Suppose 4 = -2*g - 4. Let d(o) = -2*o**3 + o**2 - 5*o - 5. Is d(g) prime?
False
Let c = 130 + 81. Is c prime?
True
Is 10/4*(7 + -1) prime?
False
Let c(j) = -10*j + 1. Let k be c(4). Let r = -5 - k. Is r prime?
False
Let u(x) = -x + 1. Let j(c) = -10*c - 4. Let p(q) = -2*j(q) + 2*u(q). Let z be p(7). Suppose -3*a + 23 = -z. Is a a composite number?
False
Let h be 6/10 + (-6)/(-15). Let l = 1 + h. Let j(t) = 47*t + 1. Is j(l) prime?
False
Suppose 3*d - 2 = -5*y, 2*d - 2*y + y + 3 = 0. Let r(p) = 113*p**2 - 3*p - 1. Is r(d) a prime number?
False
Suppose 201 = 5*t - 454. Is t composite?
False
Let u(d) = d + 10. Let h = 13 - 20. Let i be u(h). Suppose -5*r = -f - 327 - 53, -r = -i*f - 62. Is r prime?
False
Let d = 6 + -2. Suppose d*n - 60 = -4. Is n a prime number?
False
Let c be ((-225)/6)/(3/(-140)). Suppose -c + 91 = -3*z. Is z composite?
True
Let r = -9 - -5. Let v = r + 8. Suppose v*c = -5*l + 35, 2*l - 4*l - 12 = -c. Is c composite?
True
Let r(n) = n + 19. Let l be r(-14). Suppose l*v - 248 - 537 = 0. Is v prime?
True
Let d(z) = -z**2 - 1. Let v(g) = g**3 + g**2 + 8*g - 3. Let u(b) = -6*d(b) + v(b). Is u(-5) a composite number?
False
Let j be -1 - -1 - (-5 - -2). Suppose 3 = -j*c + 2*c. Is ((-2)/3)/(c/99) prime?
False
Let i be (-12 - -4)*3/(-6). Is ((-129)/3)/(i/(-28)) a prime number?
False
Suppose 0 = 2*t - 2 - 12. Suppose 2*p - t*p + 100 = 0. Let a = -1 + p. Is a a prime number?
True
Suppose 0 = 4*r + 5*f - 32, -r + 2 = f - 6. Is ((-37)/(-2))/(4/r) a prime number?
True
Let o = 234 - 151. Is o a prime number?
True
Suppose -1838 - 5505 = -7*i. Is i composite?
False
Let b be 47 + 6/(1 + 2). Let t = 7 + 11. Suppose g - 33 = -2*n + t, n = -g + b. Is g a composite number?
False
Let p(f) = 718*f + 28. Let v(r) = -239*r - 9. Let x(u) = 2*p(u) + 7*v(u). Is x(-2) a prime number?
True
Let y = 7 + -4. Is 294 - (2 - y/1) composite?
True
Let z(s) = -2*s**3 + 5*s + 1. Is z(-5) prime?
False
Suppose -11 = -3*c + 16. Suppose 4*v = -12, -2*l - 4*v - v - c = 0. Suppose 39 = 6*a - l*a + 5*q, -5*a + 2*q = -65. Is a a prime number?
True
Let p(i) = 48*i + 1. Let r be p(5). Let n = r + -152. Is n a prime number?
True
Let o(v) = 3*v**3 - 5*v**2 - 25*v - 4. Let x(u) = -u**3 + 2*u**2 + 8*u + 1. Let r(d) = 2*o(d) + 7*x(d). Let l be r(4). Let j = -4 + l. Is j a prime number?
True
Suppose 8*j + 892 = 12*j. Is j composite?
False
Let i = 56 + -33. Is i a prime number?
True
Let p = 256 + 37. Is p composite?
False
Let z(p) = 0*p + 4*p**3 - 3*p**3 + 7 + p + 9*p**2 - 2*p**3. Let t be ((-2)/(-3))/((-3)/(-36)). Is z(t) a prime number?
True
Suppose 0 = -3*w + 5*a + 8, 2*w - 2 = 3*w - 4*a. Suppose -j + 60 = -w*j. Is -10*(-2)/(j/(-111)) prime?
False
Suppose -11 = m + 66. Let w = m - -110. Is w a composite number?
True
Let j(q) = q**3 + 4*q**2 - 4*q + 3. Suppose -3*c + 4 = 5*n - 9, -5 = -n. Is j(c) a prime number?
True
Is (3717/(-18) + 3)/((-1)/2) a prime number?
False
Suppose 5*p - 141 = 759. Suppose -r - p = -561. Is r prime?
False
Is (-5)/(-5 - -15) + 3203/2 a composite number?
False
Let i(c) = -c**3 + 17*c**2 + 26*c + 17. Is i(18) prime?
False
Let y(h) = h**3 + 2*h**2 - h + 1. Suppose 3*c + 12 = 2*c - 5*v, 0 = -3*c - 4*v - 14. Is y(c) a prime number?
True
Let p = 19 + -10. Suppose 3*j = -0*j + p. Suppose 2*v + 22 = g - 9, -41 = -g - j*v. Is g composite?
True
Let x be 31 - 0 - (-2)/(-2). Let n = x - 9. Is n prime?
False
Let o = -4 + 2. Is ((-6)/(-8))/(o/(-88)) a prime number?
False
Let z = 1500 + -1069. Is z prime?
True
Let r(t) = -2*t**3 + 7*t**2 + 9*t + 5. Is r(-7) a prime number?
True
Let w = 12 + -9. Suppose -w*h = -h - 370. Is h a prime number?
False
Suppose -92 = -4*m - 0*m. Is m a composite number?
False
Let k = -318 - -529. Is k a prime number?
True
Suppose 0 = -3*n - 2*j - 1462 - 727, 0 = 5*n + 3*j + 3649. Let p = -95 - n. Suppose 0*f + p = 4*f. Is f prime?
False
Suppose 4*a - 2*t = 731 + 153, -t = -3*a + 665. Is a a composite number?
False
Let m(x) = x**2 + 8*x + 4. Let t be m(-8). Suppose 0 = 5*u + 4*k - 312, 3*u - t*k = k + 165. Suppose u + 45 = 3*b. Is b prime?
False
Let b be 2 - (-1 - (165 - 1)). Is (3 + -2)*1