5 composite?
True
Let b be (2/6)/(2/18). Suppose -2*s + m + 90 = s, 4*s = b*m + 115. Is s a prime number?
True
Let p = -367 + 822. Suppose 0 = -4*n + u + p, -5*n - 198 = 4*u - 751. Suppose -3*g = 3*y - 135, -3*g + 13 = -2*y + n. Is y a composite number?
False
Suppose -1214 = -3*l + 481. Is l composite?
True
Let n(s) = -s**3 - 6*s**2 + 12*s + 5. Suppose 0 = p + 4*h + 12, 5*p + 0*h + 5*h = 0. Suppose -p*m - 18 - 14 = 0. Is n(m) a prime number?
True
Let i be (134/8)/(2/(-8)). Let h = -30 - i. Is h a composite number?
False
Is 1/(1 + (-2)/68*33) composite?
True
Let f(l) = 45*l**2 - 2*l + 3. Is f(2) composite?
False
Is (-1)/(((-8)/(-422))/(-4)) prime?
True
Suppose -5*p + p = -4*d + 20, -d - 3*p + 25 = 0. Suppose -c + 2*c + d = 0. Let l = c - -131. Is l a composite number?
True
Suppose -3*r = -3*h - 6*r + 2577, -3*h - 5*r = -2577. Is h composite?
False
Suppose -5 = -2*c - 1. Suppose -c*n + 0*n = -2. Suppose 0*k = -2*k - 3*h + 11, 0 = -h - n. Is k composite?
False
Let b be (-2 - -6 - 1)*2. Let f = b - -1. Let x = f + 30. Is x a composite number?
False
Suppose a - 7 = 12. Suppose 6*g - g + a = -r, 0 = -r + 5*g - 19. Let d = -4 - r. Is d a prime number?
False
Let d = -368 + 5218. Is d/40 + 2/(-8) a prime number?
False
Let t(c) = 10*c - 13. Is t(10) composite?
True
Is 0 + -3 + 3436*1 prime?
True
Let w = 2344 + -477. Is w composite?
False
Let a(o) = -193*o**3 + 3*o**2 - 5*o - 5. Is a(-2) prime?
False
Suppose 9*u + 0*u = 3051. Is u a composite number?
True
Is 3*(-235)/(-3)*1 composite?
True
Suppose l - 2*l - 27 = -2*c, 5*c - 2*l - 70 = 0. Suppose 3*o = 2*i + 2 - 10, 4*i = 4*o + c. Suppose -5*p = -20, -i*p - 35 = -4*x + 25. Is x a composite number?
False
Let a be (-4)/10 + 48/20. Suppose 3*f - 4*u - 1188 = -65, -10 = -a*u. Is f prime?
False
Suppose -65 = -2*m - 0*v + 3*v, -v = m - 20. Is m a prime number?
False
Suppose -4*m = 5*i - 10, 2*m + 11 = i + m. Let a be (i/(-1))/(-1 - 1). Suppose -a*s + q + 649 = -0*q, -2*s - q + 436 = 0. Is s a prime number?
False
Is (116/6)/(-2)*-15 composite?
True
Let t(a) = a**3 + 18*a**2 - 4*a - 10. Let x be t(-11). Suppose 245 = k - x. Is k/10 + (-2)/(-5) composite?
False
Suppose 2*q + 24825 = 17*q. Is q a composite number?
True
Let x(l) = -4*l**3 - 8*l**2 - 2*l. Let a(c) = -3*c**3 - 8*c**2 - c + 1. Let w be (0 + 1)/(2/8). Let r(m) = w*x(m) - 5*a(m). Is r(4) a composite number?
False
Let b = -13 - -11. Is 2/b + (53 - 9) prime?
True
Let h(c) = c**2 - 5*c - 7. Suppose g + 2*k = 2*g + 1, -3*g = k + 24. Is h(g) a composite number?
True
Suppose -h = -2 + 36. Let y = h + 71. Is y a prime number?
True
Let x = -701 + 2244. Is x a composite number?
False
Let i = 1 - -3. Suppose -i*z + 11 = -5. Is z a composite number?
True
Suppose -u + 4*p = p - 293, 2*u - 586 = 4*p. Is u prime?
True
Suppose -2*l + 3*l = 2*p + 10, -p + 4*l = -2. Let t be (-3 - (-746)/p)*-3. Suppose 0 = w + w - t. Is w a composite number?
False
Let f = 62 + 99. Is f prime?
False
Let j be 60/14 + 2/(-7). Let s(x) = 16*x**2 + 10*x - 8. Let a be s(-6). Suppose 4*q + p - 508 = 0, 6*p - 3*p + a = j*q. Is q a prime number?
True
Suppose -3*l + 51 + 198 = 0. Let c = -49 + l. Is c a prime number?
False
Suppose 3*w + 9 = 0, -o + 795 = -w - w. Is o a prime number?
False
Suppose 2715 = 4*o + 799. Is o composite?
False
Suppose -q + 5*i = -187 - 284, 4*q - 3*i - 1867 = 0. Is q prime?
False
Let x(n) = 14*n - 7. Let g(j) = -2*j - 1. Let y be g(-5). Is x(y) a prime number?
False
Suppose 6 = -11*z + 13*z. Is (z/6)/((-1)/(-1086)) a composite number?
True
Suppose -4*h = 20, -5*q + 2*h + 5820 + 11075 = 0. Is q prime?
False
Let f(v) = -v**3 + 6*v**2 - v + 8. Let c be f(6). Suppose -3*j + 21 = c*m + 2*j, 6 = m + j. Suppose -m*d + 252 = 15. Is d composite?
False
Suppose 5*i + 3*c = 19, -2*i + 15 + 4 = 5*c. Suppose -i*b + 393 = b. Is b a prime number?
True
Is ((-2174)/(-6))/(-1 + 8/6) composite?
False
Let q = -8 + 14. Suppose -q + 4 = -y. Suppose -y*m + 0*m + 110 = 0. Is m composite?
True
Let m(q) = q**2 + 7*q - 2. Let o be m(-8). Let z be (2/(-4))/((-3)/o). Is 3 + -2 + 19 - z composite?
False
Let z be 75/(-5)*4/(-6). Suppose -777 = 5*c - z*c - 4*n, 2*c = -4*n + 306. Is c composite?
False
Suppose b - 306 = -5*k, -4*b + 861 + 291 = -4*k. Suppose -3*j + 6*o = 2*o - b, 4*j - 5*o = 388. Is j composite?
False
Is (11/11)/((3/(-2705))/(-3)) prime?
False
Suppose u - 2568 = -t, -4*u + 5*t = -4907 - 5320. Is u prime?
False
Let o(h) = -85*h - 2. Let m be o(2). Let p = -121 - m. Is p a prime number?
False
Is (-2 - -3)*(-60 + 1)*-17 prime?
False
Let s(w) = 5*w**3 - 4*w**2 - 6*w - 6. Let o(g) = -11*g**3 + 9*g**2 + 13*g + 13. Let d(p) = -4*o(p) - 9*s(p). Is d(-2) a composite number?
True
Let p(v) = -4 + 883*v - 2*v**2 + 3*v**2 - 876*v. Let c(s) = -4*s + 3. Let k be c(3). Is p(k) composite?
True
Suppose -2*v - w + 0*w + 6 = 0, -2*w + 15 = 5*v. Suppose 4*u = v*a + 853, -3*a + 858 = 5*u - 188. Is u a prime number?
True
Let d(j) be the first derivative of j**4/4 + 4*j**3 - j**2/2 - 6*j + 4. Let f be d(-12). Is (f + -3)/(2/94) composite?
True
Let w be 1*(0 + -1) + 11. Let d(f) = f - 1. Let q(u) = -7*u - 18. Let x(z) = 5*d(z) - q(z). Is x(w) a composite number?
True
Suppose -5*h + 18 = -12. Is h a prime number?
False
Suppose -228 = 4*q - 0*l - 2*l, -5*q + 3*l - 285 = 0. Let o = -10 - q. Is o composite?
False
Suppose x = -2*u - 13 - 17, 3*u + 45 = 5*x. Let k = u + 28. Suppose a = 80 - k. Is a prime?
True
Let y be (2 + 8*-1)*-614. Is ((-2)/(-4))/(6/y) a composite number?
False
Let n = 213 - 92. Is n a prime number?
False
Let b = 5 - 4. Let z be (b*-3)/(-3)*97. Suppose -f + z = 3*c + f, 2*c - 5*f - 71 = 0. Is c prime?
False
Suppose 2*k - 4 - 2 = 0. Let m = -3 - k. Is 15/4*(-16)/m a prime number?
False
Suppose -5*z + 5*a + 34 = a, 5*z + 3*a - 27 = 0. Let u be 0*(0 + (-3)/z). Suppose -4*n = 8, u*i = -5*i - 2*n + 106. Is i prime?
False
Let b(h) = -2*h - 1 + 0*h**2 + 2*h**3 + h**2 - 4*h**3. Let m be -1*(-3 - -3 - -2). Is b(m) a prime number?
True
Suppose 6*g - 591 = g - 2*a, 4*a - 230 = -2*g. Let c = -63 + g. Suppose 5*t - 179 = c. Is t a composite number?
False
Suppose -2*f + 79 = f + 2*p, -2*f + 2*p = -56. Let u = 10 + f. Is u composite?
False
Let h(r) = r**3 + 7*r**2 + 5*r + 9. Suppose 4 = -2*q + 24. Suppose 4*z + 34 = q. Is h(z) composite?
True
Let r be 57/4 + 12/16. Suppose -4 = -4*p + 8, -4*d - p + r = 0. Is ((-1)/d)/(3/(-711)) prime?
True
Let c = 128 + 75. Is c a prime number?
False
Let a = -8 - -117. Is a prime?
True
Let s(z) = -5*z**3 - 3*z**2 - 2*z - 2. Let k be s(-3). Suppose 4*c - k = 4*n, -15 = -n - 4*n. Is c a composite number?
False
Let c be -7 + 11 - (1 - -1). Suppose 4*k - 1481 = -o, c*o - 2 + 8 = 0. Is k a prime number?
False
Let z = 86 + -50. Suppose -8*b + 124 = 20. Suppose 3*d + 3*f = z, -15 - b = -2*d + 2*f. Is d a composite number?
False
Suppose h = q + 329, 3*q + q = -2*h + 670. Is h a prime number?
True
Is (-4)/(-14) - 64458/(-42) prime?
False
Let n be 2/6 - (-160)/24. Suppose 2*f - n - 35 = 0. Is f a composite number?
True
Suppose -9 = 6*n - 3*n. Let v = n - -4. Is 3 + -1 + 87*v composite?
False
Let f be (-3 - (2 + -5))/(-1). Suppose -4*v - 4*w + 328 = 0, v - 79 = -f*v - 4*w. Is v a prime number?
True
Let d = -129 + 272. Suppose 0 = -4*i + 5*h + d, -2*i = -3*h - 106 + 35. Is i composite?
False
Let y be (-3 - (-4)/1)*-37. Let o = y + 52. Is o composite?
True
Let i(q) = -q**2 - 5*q + 3977. Is i(0) a composite number?
True
Is (2/(-15))/(7/483)*-5 a prime number?
False
Suppose -4*x - 2*z - 8 = -0*z, -x = -4*z + 11. Let w(c) be the first derivative of -99*c**2/2 - 4*c + 1. Is w(x) composite?
False
Let m = -279 - -424. Let d = 491 - m. Is d prime?
False
Let t be 217/(-3) + 4/12. Let k = t - -125. Is k a prime number?
True
Let f(r) = -8*r**3 - 3*r**2 - 4*r - 2. Suppose 0 = 2*k - k + 2. Is f(k) prime?
False
Let x be ((-10)/4)/(2/(-4)). Let f(d) = -15*d. Let y(a) = 209*a. Let h(t) = -57*f(t) - 4*y(t). Is h(x) composite?
True
Let g(r) = -11*r - 1. Let q be g(1). Is (1506/9)/((-8)/q) composite?
False
Let n(v) = -24*v - 1. Let b = -5 - -4. Let s = b + -1. Is n(s) a composite number?
False
Suppose -l + 757 = -3*i, 0*l + 3*i - 733 = -l. Is l a composite number?
True
Let z(c) = 2*c**2 + 4*c - 2. Is z(4) a composite number?
True
Let h = 537 - 786. Let f = -160 - h. Is f a prime number?
True
Let g = 5 - 3.