/((-21)/2)*-699 a prime number?
False
Suppose 5 = 4*u - 11. Let b be (-3030)/u*(-6)/9. Suppose -5*q + b = -210. Is q composite?
True
Let r be 1/((-42)/(-9) - 5). Is r/((-60)/54428) - (-6)/10 a prime number?
False
Suppose -36*b = -80487 - 106101. Is b composite?
True
Suppose -440*a + 449*a - 227709 = 0. Is a a composite number?
False
Is (2077/4)/((-19)/(-76)) prime?
False
Let k(n) = 4*n**2 - n - 8. Let a be k(-2). Suppose 0 = -12*p + a*p + 1066. Is p a composite number?
True
Suppose 0*d = -4*d + 12. Suppose d*i + 5*v = 2*i + 1097, -v - 4 = 0. Is i prime?
True
Let o = 6 + 1. Suppose 3*u - 5*h + 4*h + 2 = 0, 2 = -5*u + 3*h. Is o*(u - -1 - -3) composite?
True
Let r(b) = 1522*b**2 - 8*b - 7. Is r(-1) composite?
False
Let n = -56 + 57. Is -838*((-3)/6)/1*n a composite number?
False
Suppose 8154 = 5*r + 26644. Let n = r + 5457. Is n composite?
False
Let c be (2/(-3))/(1/(-3)). Let h = 16 + -14. Suppose -b + 0*b - 711 = -4*a, 0 = -c*a - h*b + 348. Is a a composite number?
True
Let a be 1/(102/26 - 4). Let t(c) = -59*c + 20. Is t(a) prime?
True
Let o(i) = i**3 + 2*i + 106. Let x be 1*(3 - (3 + 0)). Let v be o(x). Let a = v + -23. Is a prime?
True
Let q = -8 - -7. Let i be q/4 - (-8124)/(-16). Let p = -349 - i. Is p prime?
False
Let k(c) = -146*c - 26. Let b(x) = 72*x + 13. Let n(q) = 9*b(q) + 4*k(q). Let r be ((-4)/(-5))/((-4)/(-30)). Is n(r) prime?
True
Let f be (-3)/(-2 + (-22)/(-12)). Let p be 1 + f*4/8. Suppose p + 74 = 4*b. Is b prime?
False
Let m = 820 + -123. Is m composite?
True
Suppose 0 = -3*y - 4*x + 9, -x = y + 4*y + 2. Is (-2)/(1 - -1)*(y + -466) composite?
False
Suppose 0 = -3*c + c - z + 31389, c = -4*z + 15677. Is c a composite number?
True
Let n(t) = t + 1686. Let i be n(0). Let y = -1053 + i. Is y a composite number?
True
Suppose -4*l + 5*q = 3, 2*l - 2*q + 3 = q. Suppose 7 = -2*b + l. Is (664/(-16))/(b/4) a prime number?
True
Let q = -30 + -1. Let g(i) = i**2 - 8*i - 1. Let n be g(-5). Let t = n - q. Is t composite?
True
Suppose -13*g + 11318 + 46415 = 0. Is g prime?
True
Let f(z) = -z + 6. Let c be f(4). Suppose u = -4*u + c*t + 8, 2*u = 4*t. Suppose -d - 449 = -u*g, -d + 6 = -3*d. Is g a prime number?
True
Suppose 3*t = -13*t + 213584. Is t prime?
False
Suppose 3*f - 1247 = 9730. Is f composite?
False
Suppose x - 2*w - 6287 = 0, -x + 2*x - 3*w - 6284 = 0. Suppose -3*d - 3780 = -3*b, 0*d + 2*d - x = -5*b. Is b composite?
False
Let x(i) = i**2 + 5*i + 11. Let g(m) = -m. Let r(a) = g(a) + x(a). Is r(6) composite?
False
Suppose -l - 283 = -2*l. Suppose -5*o + l = -2*o + 4*m, m - 4 = 0. Is o composite?
False
Let y(x) = x**2 + 12*x - 9. Let u be y(-13). Let k(i) = -2*i + 12. Let a be k(5). Suppose u*b - 730 = a*b. Is b composite?
True
Suppose 2*c + 46*h = 41*h + 25452, -4*c - 3*h + 50918 = 0. Is c a prime number?
False
Suppose 6*h + 14 = 44. Suppose h*c - 12 = 6*c. Is 18/(-4)*c/9 composite?
True
Let s be 3/(-6)*-6 - -8. Suppose h + i = 5, 2*h = 4*h + 3*i - s. Suppose -h*z + 3*z = -529. Is z prime?
False
Let v = 3 - 9. Let h be v/9*-2*3. Suppose -3*w + w + 160 = -z, h*w + 4*z - 308 = 0. Is w a composite number?
False
Let v = -68 - -61. Is ((-7)/(v/254))/(2/5) a prime number?
False
Let t(q) = 55*q**2 - 10*q + 16. Is t(-3) prime?
True
Suppose -34 = -5*c - 3*m, c - 5*m = -2*c. Suppose -p + c*i = -87, 3*i + 2 = -1. Is p prime?
False
Let c(q) = 3*q - 1. Let z be c(-2). Let g = 7 + z. Suppose -3*j + 4*f + 469 = g, f - 5 = -0. Is j composite?
False
Let p(q) = 173*q + 11. Let b(n) = -87*n - 6. Let j(x) = 5*b(x) + 2*p(x). Let d be j(3). Let o = d - -802. Is o a composite number?
True
Suppose 0 = 2*y - 1 - 1. Suppose -u + y = -4, -20 = d - 5*u. Suppose h + h + 1459 = d*k, h - 296 = -k. Is k composite?
False
Let v = -76 - -112. Suppose m - r - v = 0, -2*r = 4*m - 40 - 122. Is m prime?
False
Let i = -3115 + 5636. Is i prime?
True
Suppose -2250 - 2775 = -15*l. Is l a composite number?
True
Suppose 4*p - 45594 = 5*c, 3*p - 4*p + 11407 = 3*c. Is p prime?
False
Let r(x) = -x**3 - 7*x**2 - 3*x + 1. Let q(a) = -a**3 + 3*a**2 - a + 1. Let u be q(2). Suppose -u*v - 12 = -2*v - k, -k + 4 = 0. Is r(v) composite?
False
Let n(s) = 26*s**2 + 18*s + 195. Is n(28) composite?
True
Let g = -306 - -185. Let t = 598 - g. Is t a prime number?
True
Suppose -2*c + 8242 = -4*i, 6*i - 5*i = 3*c - 12378. Is c prime?
True
Suppose 0 = -4*m + 8*m + 4. Is 6/36 + (m - 1486/(-12)) composite?
True
Let d(r) = -r**2 + 10*r + 8*r**2 - r + 10*r**2 - 3. Is d(5) a composite number?
False
Suppose -11*m + 4000 = -4701. Is m a prime number?
False
Let k(l) = -l**2 - 5 + l**3 - 4*l + 4*l + 15 - 2*l. Let v be k(5). Is (v/30)/((-4)/(-30)) a prime number?
False
Suppose 0 = -21*b + 7*b + 175210. Is b a composite number?
True
Let a(p) be the second derivative of -641*p**3/6 + 3*p**2 - p + 5. Is a(-1) prime?
True
Let v = 1726 - 246. Suppose 0 = -4*j - 2*u + v, 4*j - 1743 = -u - 261. Is j composite?
True
Let b = 24090 - 16573. Is b a composite number?
False
Let d be (16/(-6))/(4/(-6)). Is -11*1*(-273 + d) a composite number?
True
Let l be -2 - 0/((-2)/2). Let c(t) = -2*t + 1 + 20*t**2 + 0*t**2 + 4*t. Is c(l) a composite number?
True
Let u(c) = 382*c**2 - 38*c + 17. Is u(-9) a composite number?
True
Suppose 16810 + 56025 = 5*r. Is r a prime number?
False
Let d = -205 + 431. Let n be 2 - 5 - (-2 - 1). Suppose n = -3*o + o + d. Is o composite?
False
Suppose 2*g - 3178 = -k - 2*k, -5*g = 3*k - 7927. Suppose m + 307 = -c, -5*m = -4*c + g - 21. Let j = m + 729. Is j prime?
True
Let v be 0*((-3)/3 - 0). Suppose -6 = 3*d - a + 4*a, d - a - 8 = v. Suppose -d*l - 2*l + 2*s + 1473 = 0, 0 = 3*s + 12. Is l composite?
False
Suppose 5*k - 140094 = 84451. Is k composite?
False
Suppose -15 = -2*v - 3*t, 5*t - 3*t - 10 = -2*v. Suppose -3*w + 6 = v, -2*y = -0*y + w - 150. Suppose 2*z - 44 - y = 0. Is z composite?
False
Let k(l) = 95*l**2 + l + 1. Suppose -y - 4 = -2*j, j + 4 = -j - 3*y. Is k(j) prime?
True
Suppose 0*x - 6 = -3*x. Let u be (20/30)/(x/(-78)). Is 6/5*(-13715)/u a composite number?
True
Suppose -5*h - 5*x + 5 = 0, -2*h + 0*x + 5 = -x. Let m(c) = c + 13*c**h + 1 - 2 + 0. Is m(-2) composite?
True
Let j(o) be the third derivative of o**5/60 - 7*o**4/24 - o**3 - o**2. Let r be j(8). Suppose -2*p = -7*x + r*x - 89, -x = 4*p - 145. Is p a prime number?
True
Suppose -20*i + 41287 = 21*i. Is i a prime number?
False
Is (-17 - -4)*-280 + 1 a composite number?
True
Let a(f) = -2*f**3 - 24*f**2 + 6*f - 33. Is a(-23) composite?
False
Suppose -15*l + 67*l = 235508. Is l composite?
True
Let r = -907 + 27398. Is r prime?
False
Let b = 1329 - -2108. Is b prime?
False
Let u(f) be the first derivative of f**4/4 + 7*f**3/3 - 4*f**2 + 3*f + 2. Let g be u(-8). Is -377*(g - 3 - 1) composite?
True
Suppose 4*u - 80816 = 2*i + 2*i, 2*i - 20201 = -u. Is u a prime number?
False
Let q(j) = 3*j**2 + 3*j + 41. Is q(-15) composite?
True
Let a be 2/(-13) + 48/(-26). Let q = 2 + -1. Is q/a + 636/8 a prime number?
True
Let n(l) = 80*l**2 - 3*l + 12. Let h be (-10)/(-35) + (-38)/(-14). Is n(h) a composite number?
True
Is 36196/12 - 4/(-6) a prime number?
False
Suppose 8464 + 5778 = 2*n. Is n a prime number?
True
Suppose 0 = -3*b - 2*b + 2*q + 82537, -3*b + 49543 = 4*q. Suppose 2*i - 8183 = 3*y + 2843, 3*i + 3*y = b. Is i composite?
False
Suppose 14*v + 1929 = 9307. Is v a composite number?
True
Suppose -4*s + 8 = -4*z, z = 4*s - 0 - 2. Suppose -2*l - 6*l + 3848 = s. Is l a prime number?
False
Let x = 293267 + -202668. Is x a prime number?
True
Let d = -5 + 7. Suppose -v - d*v = -24. Let a(p) = -p**3 + 8*p**2 + p - 1. Is a(v) a composite number?
False
Suppose 12 = 4*x, 2*z = x + 4*x + 1. Suppose 4 + z = 3*b. Suppose -5 = -2*n + 3*n, 3*f - b*n = 653. Is f composite?
False
Let z(v) be the first derivative of -2663*v**2/2 + 8*v - 11. Is z(-1) composite?
False
Let n(r) = 105*r - 376. Is n(35) a prime number?
True
Is ((-374)/(-136))/((-2)/(-3272)) a prime number?
False
Is 2/4*210698/17 composite?
False
Let d(p) = -p**3 + 2*p**2 - 2*p + 1. Let l be d(1). Suppose l*c = -5*c. Suppose -5 = -h, -373 = -2*w - c*w + 5*h. Is w a prime number?
True
Suppose -24 - 1 = -5*j. Suppose 12 = j*k - 3. Suppose -5*o + 1429 = 2*g, -k*g = 3*o - 2*o - 2124. Is g a prime number?
False
Suppose 50944 = 4*w - 4*s, -w + 2*s + 50934 = 3*w. Is w a composite number?
True