85 = -5*x - 2*c, 0 = -c - 5 - 0. Is x a composite number?
True
Let j be (3/(-12))/(3/12). Let x(u) = -2098*u + 1. Is x(j) composite?
False
Suppose -547*h = -566*h + 142633. Is h composite?
False
Let j be (0 - 28)*30/4. Is j/(-63)*(-237)/(-2) composite?
True
Let u be 3/(-39)*2 - (-73032)/156. Suppose -6742 + u = -2*n. Is n a prime number?
True
Suppose -3*i = -3205 - 3308. Suppose k = i + 1903. Is (-1)/4 + k/8 a composite number?
False
Let l = 4118 + -1127. Is l prime?
False
Let t = -6373 - -12371. Is t a prime number?
False
Let d = -215 - -305. Let z = 19 + d. Is z prime?
True
Suppose -y + 3665 = -3*j, -10995 = -3*y - 2*j + 6*j. Is y prime?
False
Let j = -4 + -17. Let i = -25 - j. Is -2 - (-264 + i + 3) composite?
False
Suppose 0 = -2*i - 3*j + 3927, -i + 1944 = -0*i - 5*j. Is i a composite number?
True
Suppose 5*l - 15 = 5. Suppose -5*a + l*a = -2. Suppose 0 = 5*d - 3*v - v - 63, -a*d + 27 = -v. Is d a composite number?
True
Suppose o - 17 = 7. Suppose 4*m = -0 + o. Is m/9 + (-1029)/(-9) a prime number?
False
Let v = 461 + 428. Is v prime?
False
Is (-1 - -6967) + (-91)/(-13) a composite number?
True
Let q be 1/2 + 6/4. Suppose -4*o + z = -q*z + 15, -4*o = -4*z + 20. Suppose -f = -0*f + 3*w - 71, -3*f + 3*w + 237 = o. Is f a prime number?
False
Let l(y) = -y**3 - 15*y**2 + 13*y - 29. Let c be l(-15). Let j = -83 - c. Is j a prime number?
False
Let w = -28 - -44. Let g(t) = t**2 + 16*t - 33. Is g(w) composite?
False
Let m(r) = 2*r + 176. Let j(l) = 3 - 8 + 4. Let o(t) = -3*j(t) + m(t). Is o(0) composite?
False
Let q = -20 + 45. Suppose 0 = -0*k - 5*k + q. Suppose 0*u + k*u - 87 = -2*b, -4*b - 2*u = -134. Is b composite?
False
Suppose 15 = 3*a + 2*a. Suppose 2*l - w = 0, 4*l - a*w + 0*w = -4. Is 149*(l - (-1)/(-1)) prime?
True
Suppose -4*c - 5 = -29. Let j(u) be the first derivative of u**3/3 + u**2/2 + 11*u + 5. Is j(c) prime?
True
Suppose 3*w + 3*t - 2099 = 7*t, -5*w + 5*t = -3490. Suppose -4*b = -5*a - 5093, -b = 3*a - w - 559. Is b composite?
True
Let q = -1 + 3. Suppose l = -2*m - q*l + 150, -3*m + 4*l = -191. Is m composite?
True
Let q = 371 + 1298. Is q a composite number?
False
Suppose 20*n - 24*n = -44. Suppose -n*v = -9*v - 16138. Is v a prime number?
True
Suppose -789606 = -69*j + 1572333. Is j a composite number?
False
Suppose 73 = q - 65. Suppose q = x - 28. Suppose 5*n + x = 1821. Is n a prime number?
True
Let m(n) be the third derivative of n**7/840 - n**6/120 + 11*n**5/120 - n**4/24 + 7*n**2. Let z(o) be the second derivative of m(o). Is z(12) composite?
True
Suppose -3*s + 5*l = -2576, -4*s + l + 3412 = -34. Let f = s - 359. Is f prime?
True
Suppose -53*p + 67*p = 16898. Is p prime?
False
Suppose -12*c + 17*c - 5155 = 0. Is c composite?
False
Is -9*23871/(-12) - (-3)/(-12) prime?
True
Suppose 5*j = 25, -v - 4*j - 2552 = -5*v. Suppose -5*x + 97 = -v. Let b = -83 + x. Is b composite?
True
Let f = 19940 - -6006. Is f a prime number?
False
Is 6/(-3)*24/32*-2362 a prime number?
False
Suppose 50*b = 15*b + 999565. Is b composite?
False
Suppose 63*h - 10*h - 720535 = 0. Is h composite?
True
Suppose 3*y - 6*y - 2*r + 18 = 0, 0 = 3*r - 9. Let x = y - 1. Is (508/12 - 0)*x prime?
True
Suppose 2*w + 3729 = 4*v - 165, 4*v + w = 3909. Suppose 5*q - x + v = 12444, 5*x - 2278 = -q. Is q prime?
True
Let x = 2571 + 1756. Is x a composite number?
False
Let i(h) = -45*h**3 + 5*h**2 - 11*h - 19. Is i(-2) prime?
True
Suppose -7*k = -4*k - 240. Let s = k - -86. Suppose -s = -2*g - 8. Is g composite?
False
Suppose -2*b = -5 - 5. Suppose -12 = b*x + x. Is x*(4 - 4707/6) a composite number?
True
Suppose -4*v = -2*c - 19278 - 15368, 0 = -2*v - 5*c + 17293. Is v a composite number?
True
Let u be (370/6)/((-1)/(-3)). Suppose -2*x = -107 + 299. Let m = x + u. Is m a composite number?
False
Suppose 170 = -4*a + 2*l, a - 5*l = 2*a + 70. Is (-4)/(-18) - 16775/a a prime number?
True
Let a(t) = 120*t**2 - 1. Let k(d) = d**3 + 5*d**2 + 4*d + 2. Let h be k(-3). Let z be h/28 - (-10)/14. Is a(z) prime?
False
Let q(a) = -9*a + 28. Let c be q(3). Let g(y) be the first derivative of 38*y**3/3 - y**2/2 + 1. Is g(c) prime?
True
Suppose u - 2*a + 6*a - 16 = 0, u - 2*a = -2. Suppose 2*x - 4 = -2*x - 3*v, -u*x = -3*v - 28. Suppose x*o = 5*o - 131. Is o a composite number?
False
Suppose 54*k - 57*k = -13263. Is k a composite number?
False
Let i = -41432 + 74623. Is i a prime number?
True
Let a = 23 + -18. Suppose -4*j - a - 11 = 0. Let i(v) = -68*v - 13. Is i(j) composite?
True
Let z(h) = 35*h - 12. Let b be z(-10). Let u = b + 996. Is u composite?
True
Suppose -4*w + 8*w + 236 = 0. Let h be 12*(-170)/40*(-8)/6. Let j = h - w. Is j prime?
True
Suppose d - 6 = 24. Suppose d*w - 13*w = 4403. Is w composite?
True
Let v(u) be the first derivative of 2*u**3/3 + 7*u**2 - 11*u - 5. Let t be v(-12). Suppose -r + 4*x + t = 26, -r + 5*x = -83. Is r prime?
True
Suppose 0*h = -4*h + 4*f - 7084, -4*f - 4 = 0. Let q = h + 3279. Is q a composite number?
True
Let h(k) = -k**3 - 11*k**2 + 13*k + 18. Let i be h(-12). Suppose 0 = -0*g + 3*g - i. Suppose 6*z - g*z - 3*d = 224, 2*d = 4*z - 228. Is z composite?
False
Let n = -1308 + 11639. Is n composite?
False
Suppose -27*j = -25*j - 45610. Is j composite?
True
Let b be (-2688)/104 + 4/(-26). Let w = -71 + 120. Let d = b + w. Is d a prime number?
True
Let c = -19 - -23. Suppose -1389 = d - c*d. Is d a composite number?
False
Let j(p) = 4*p - 1. Suppose -v + 27 = -b, -4*v + 109 - 15 = 3*b. Suppose g + 41 = 5*g - 3*m, -v = -2*g + 3*m. Is j(g) composite?
False
Is (-444895)/(-33) + 20/15 a prime number?
False
Let p(n) = -77*n**3 + 5*n**2 + 4*n - 9. Is p(-3) prime?
False
Suppose -n - 3 = -6. Suppose t = -n*t - 4. Let i(f) = -159*f. Is i(t) a prime number?
False
Let y = 1713 + -1090. Is y a prime number?
False
Suppose -30*r - 1722 = -31*r. Suppose 2*h = 8*h - r. Is h composite?
True
Suppose 5*u + 5195 = 10*u. Is u prime?
True
Let b(r) = -507*r - 56. Suppose -g + 7 = -3*n - 12, -5*g = 4*n. Is b(n) a composite number?
True
Is (7*9/(-63))/((-1)/8263) a prime number?
True
Let j(b) be the first derivative of -b**2/2 + 2*b + 9. Let h be j(2). Suppose -q - 3*q + 484 = h. Is q a prime number?
False
Suppose -4*f = -k - 12249, -5*f + 23*k = 18*k - 15330. Is f a composite number?
False
Let d(p) = 4*p**3 + 10*p**2 + 1 - 3*p**3 + 20*p - 20*p. Let v be d(-10). Is (-1 - v) + (21 - 0) a prime number?
True
Is 47329/7 - 122/427 a prime number?
True
Suppose 0 = 4*i - 270 + 90. Let u be 2/9 - 100/i. Is (127/u)/(5/(-10)) a composite number?
False
Let r(s) = 67*s + 102. Is r(16) a prime number?
False
Is (-2)/7 + 11/((-462)/(-64314)) a prime number?
True
Let h be (-4)/(-5 + (4 - 0)). Suppose 2*s - h*d = s + 33, -71 = -3*s + 5*d. Is (651 - s)*(-1)/(-2) a composite number?
False
Let l be (6/3 - 1)*5. Suppose -l*y - 1817 = -667. Let j = 561 - y. Is j a prime number?
False
Let c = 1638 - 13395. Let s = 17884 + c. Is s prime?
False
Let x(h) = h - 4. Let f be x(6). Suppose -3*g + 4 = -2*b + 6, 0 = f*g + b - 1. Suppose o - 3*y = -4*o + 1049, g = -3*o + y + 631. Is o a prime number?
True
Let t(m) = 77*m**2 - 2*m + 1. Let y be t(1). Let a = 44 - y. Let g = a - -121. Is g prime?
True
Let l(x) = -x**2 - 2*x + 2. Let w be l(-2). Let p be (444/30)/(w/30). Suppose -5*u + 523 = -p. Is u a prime number?
True
Let t = -37 - -25. Let q be 2/(-6) - (-32)/t. Let c(y) = -7*y**3 - y**2 - 3*y + 2. Is c(q) a composite number?
False
Suppose -l + 1 + 1 = 0, -r = 4*l - 13. Suppose 0 = -r*a + 30 + 1240. Suppose -a = -4*y + 22. Is y composite?
True
Is 6385 + ((-2)/(-17) - 6/51) prime?
False
Let p(m) = m**3 - 6*m**2 - 8*m + 9. Let i(n) = n + 13. Let l be i(-6). Let j be p(l). Suppose k - 903 = -j*k. Is k a composite number?
True
Suppose l = 5*r + 42 - 10, l = -3*r. Let m be 0/((-1 + -3)/2). Suppose 8*w - l*w + 1148 = m. Is w prime?
False
Suppose -d - 24 = 7*d. Is 1/d*(-13)/((-52)/(-996)) prime?
True
Suppose w - 6314 = v, -2*v = 6*w - 4*w - 12624. Is w a composite number?
True
Let r be (-20)/(-8)*3/10*4. Suppose 1067 = 2*q + 2*w - 3007, -r*w - 2053 = -q. Is q a prime number?
False
Is 2*(437990/84 + 6/(-9)) prime?
True
Suppose -t + 1 = -3*c - 6, 7 = -3*t - 5*c. Suppose 2*h = -2*b + 402, h + 0*h + 5*b = 193. Is (h - t)*84/24 prime?
False
Suppose -2*s + 16986 = 2*i, -5*s - 520 = -2*i + 16494. Is i prime?