Is j a composite number?
False
Let b = -100089 - -152450. Is b composite?
False
Suppose 130*w - 144*w = -80318. Is w a composite number?
False
Suppose -2*f - 3*t = -9, -2*t + 0 + 5 = f. Suppose -3*y - a + 31937 - 854 = 0, -f*y + 4*a + 31068 = 0. Suppose -9629 = -9*o + y. Is o composite?
False
Let f = 221 - 187. Let s(q) = 95*q - 67. Is s(f) prime?
True
Let t(v) = -5012*v**3 + 3*v**2 - 3*v + 2. Let c(z) = 5013*z**3 - 3*z**2 + 2*z - 1. Let r(q) = -3*c(q) - 2*t(q). Is r(-1) a composite number?
True
Let u = -45 + 1. Let i = u - -48. Suppose 3*l = -r + 1656, 3*l + i*r + r = 1668. Is l composite?
True
Let n(h) = -h**2 - 37*h - 172. Let i be n(-6). Suppose -16*z = -i*z - 2714. Is z composite?
True
Let o be (-2)/(-18) + 27060/(-54). Let s = o + 916. Is s prime?
False
Suppose -8*t + 3580019 = -582070 + 209905. Is t a prime number?
True
Is (-48)/288 - 761059/(-6) composite?
True
Suppose 4*n = -2*j + 304, -5*j - 16*n = -17*n - 804. Suppose 5*z + 75 = -2*f, 3*z = -f + 7*z - 5. Let o = j - f. Is o composite?
True
Let d = 39 - 34. Suppose 0 = 3*g - d*g + 38. Is g a composite number?
False
Let a(f) = -19820*f - 2541. Is a(-31) a prime number?
True
Let m be (-4)/(8/(-7718)) + -4. Suppose 0 = -34*s + 29*s + m. Is s a composite number?
True
Let p(b) be the first derivative of 18 + 29/2*b**2 - 18*b. Is p(11) composite?
True
Is 4637406/18 + 16/(-24) prime?
False
Let x(w) = -w**2 + 5*w - 9. Let a be x(6). Let z(n) = 2*n + 34. Let u be z(a). Let g(m) = 69*m + 13. Is g(u) prime?
False
Let x = -16793 + 38676. Is x a prime number?
False
Suppose 0 = -14*i - 22400 + 522512 + 439330. Is i a composite number?
False
Suppose s + 7 = x, x + 3*s + 908 = 895. Suppose 5*y = 2*z + 21, -2*z = 4*y - 0*y - 24. Is (z + -3630)*(-1)/x composite?
True
Suppose -33*v + 4*k + 157840 = -29*v, 3*k + 39478 = v. Is v a composite number?
False
Suppose -3*r = -4*r + 2*a + 680, 0 = -3*a - 9. Is (-3 - 0) + r + (-2 - 0) composite?
True
Let r be 12/(-9)*153/(-6). Suppose r*v = 13*v + 2961. Is v composite?
True
Suppose -2*w + 0 = -20. Suppose w*h - 18 - 2 = 0. Suppose -2*j + 2518 = h*r, -875 = -2*j - 4*r + 1643. Is j a prime number?
True
Let k = -16 + 19. Suppose 18449 = 5*w - k*t, w + 5*t = -w + 7392. Is w a prime number?
True
Let z(x) be the first derivative of -4*x**4 - x**3 - 2*x**2 - 4*x + 31. Let t = 22 - 25. Is z(t) a prime number?
False
Suppose -65*t - 340693 = -5*j - 68*t, 3*t = 4*j - 272576. Is j a composite number?
False
Let h = 1 - -1. Let x(n) = -2*n**2 - 7*n + 7. Let a be x(-4). Suppose 557 = a*r - h*r. Is r composite?
False
Suppose -3*h - a - 52 = 38, 0 = 2*h - 5*a + 60. Let m be (-27)/21 + 1 - h/7. Suppose -3*q = q + 4*b - 3168, 3*b = m*q - 3203. Is q composite?
False
Suppose 578008 + 257079 = 89*i. Is i prime?
False
Let h(i) = -6121*i + 457. Is h(-37) prime?
False
Suppose -w - 5*u - 1 + 10 = 0, -2 = u. Suppose 8*x + 37 = -w. Is (x/(63/174))/((-2)/111) a prime number?
False
Suppose -172*l + 51666603 = 5784055. Is l composite?
False
Suppose 119*z + 4*r = 117*z + 27646, 0 = -2*r + 12. Is z composite?
True
Suppose -1295*q - 6482108 + 1816633 = -1320*q. Is q a prime number?
True
Suppose -5*q - 40 - 130 = 0. Let z = -30 - q. Suppose -3*m - 4338 = -5*b + 1471, 0 = 3*b - z*m - 3481. Is b prime?
True
Suppose -47954655 = -83*u + 126793130. Is u a composite number?
True
Suppose 0 = 73*t + 18*t - 9326863. Is t a composite number?
True
Suppose 0 = 2764*a - 2738*a - 3126058. Is a a prime number?
True
Suppose -120439 = 14671*g - 14682*g. Is g a prime number?
True
Let z be -4 + 8 - 4/2*-1747. Let g = 6447 - z. Is g a composite number?
True
Let a(l) = l + 3. Let d be a(0). Let c be (10 + -24)/(2*-1) + 6. Suppose d*p = c*p - 2990. Is p a composite number?
True
Suppose 2*s + 15 + 13 = 4*b, -4*s = -5*b + 35. Suppose -3*k + 589 - 94 = 0. Suppose b*f - 4*f = k. Is f composite?
True
Let i(p) = 162*p + 136*p + 336*p - 11. Suppose 2 = -3*s + 5*g, s - 4*g + 2 = -2*g. Is i(s) a composite number?
False
Let a = 121584 - 63047. Is a a prime number?
True
Let a be -3*-1*1 - 26/26. Suppose a*f = -b - b + 6184, 0 = -2*f + 4*b + 6166. Is f composite?
False
Suppose 0 = 2*k + 3*x - 5, -4 = -k - 5*x + 2. Let d(r) = -472*r + 3. Let q(i) = i. Let t(o) = k*d(o) - 4*q(o). Is t(-1) a composite number?
False
Suppose a + 159 = 5*s - 2*a, -161 = -5*s + 2*a. Suppose -29127 = -s*b + 12*b. Is b a composite number?
True
Let n = -9639 - -51792. Is n a prime number?
False
Let m = 39 + -11. Suppose 0*c + 4*c = -276. Let p = m - c. Is p a prime number?
True
Let k(a) be the first derivative of -37*a**2 - 64*a - 38. Let t be k(-18). Suppose -2*b + t = 4*g + b, -3*b = 0. Is g a composite number?
False
Suppose -75*c = -79*c + 20. Suppose 2 - c = r, -5*g + r + 8 = 0. Let b(m) = 825*m - 4. Is b(g) a prime number?
True
Let h = -29396 - -80287. Is h a prime number?
True
Let o(c) = -1109*c**3 - 9*c**2 + 28*c + 9. Is o(-4) a prime number?
True
Suppose -3*h - 141 = -5*u, h - 3*u = -7 - 40. Let w be (-1624)/6*((-592)/56 + 8). Let g = w - h. Is g a composite number?
False
Let w(i) = 1810*i + 511. Let k(c) = 1811*c + 512. Let p(n) = 3*k(n) - 4*w(n). Is p(-11) a composite number?
True
Let l = 110 + -105. Suppose -2*j = 5*s - 403, -l = -10*s + 11*s. Is j a composite number?
True
Let d(w) = 24*w**3 - 18*w**2 - 4*w + 17. Is d(15) a composite number?
False
Is -2 + 15 - 9 - -596373 a composite number?
True
Suppose -10*p + 22 = -5*p - 4*o, 0 = -p + 5*o + 17. Suppose -s = 5*w - 929, -4*w - 4645 = -p*s - 3*s. Is s composite?
False
Let d(w) = 49*w + 100. Let i(h) = 4*h + 13. Let n be i(-1). Is d(n) prime?
True
Let l be 8488/16 + (-4 - -1)/6. Suppose -2*q - 10 = 0, -4*u + 1171 = -5*q - l. Is u composite?
False
Is 4057050/27 + (-1)/9 + 8 a composite number?
True
Suppose -72 = -13*c + 201. Let t(i) = 122*i + 110*i - 43 - 26*i - 54*i. Is t(c) composite?
True
Let u be 3*-91*2/(-6). Let c = -913 + 915. Suppose -c*j + 3*s + 181 = 0, j - 2*s = -0*s + u. Is j a composite number?
False
Suppose 108*p = 7*p - 3*p + 58344. Let n = 11 - 6. Suppose -2*r + p = o + 20, 5*r = n*o - 2705. Is o prime?
True
Suppose 0 = -7*y + 11 + 3. Suppose -4*f + h = -8408, 3*h + 2662 = y*f - 1532. Is f prime?
False
Let c(t) = -t**2 + 391 + 2*t + t**2 - 138*t**3 - 390. Let h be c(-1). Is 4/12 + h/3 a composite number?
True
Suppose 0 = -12*r + 14*r + 6982. Let n = -1140 - r. Is n composite?
False
Let f = 53 - 51. Suppose n - f*n = 5. Is (-3363)/n + ((-72)/20 - -4) composite?
False
Suppose -13*u + 129335 = -8946. Is u composite?
True
Let k = -44 - -49. Suppose -9186 = k*j + 379. Let s = -1036 - j. Is s composite?
False
Suppose -i + 821*l - 825*l + 35539 = 0, 177695 = 5*i + 3*l. Is i a prime number?
False
Let k = -1914636 - -2701601. Is k prime?
False
Let g be (360 - -1)/((-15)/(-165)). Suppose 0*j + 12*j - 48 = 0. Suppose -j*y = 823 - g. Is y a composite number?
False
Suppose -t + 4*t - 420 = 0. Suppose 11*z - 15*z - t = 0. Is 3454/14 + (-10)/z a prime number?
False
Let d(w) = -614*w - 134. Let x(y) = 205*y + 45. Let l(c) = 4*d(c) + 11*x(c). Let f be l(-15). Let s = f - 1677. Is s a composite number?
False
Let x(b) = 1144*b**2 + 56*b + 415. Is x(-12) composite?
True
Let r(w) = -11766*w - 1121. Is r(-53) composite?
False
Let o(d) = 47*d**2 - 4*d - 3. Let z be o(-1). Suppose -3*v - k = -z, -2*k + 7*k = 15. Is v a composite number?
True
Suppose -i - i - 770 = 4*m, 5*m - 5*i + 955 = 0. Suppose 2*k - 11 + 1 = 0, 1655 = 4*y - k. Let b = m + y. Is b prime?
True
Suppose 0 = -4*q + 3*p + 52, -2*q + 40 = 24*p - 22*p. Suppose -68367 = 3*u - q*u. Is u a composite number?
True
Suppose 69317 = 3*t - 68*v + 67*v, 115527 = 5*t - v. Is t prime?
False
Let t = -167751 - -112424. Is t/(-5) + -2*2/10 a prime number?
False
Let d(l) = 3*l + 9 - 2*l - 2*l - 4*l. Let r be d(1). Suppose -r*y - 486 = -6626. Is y composite?
True
Suppose 3*x + 21272 - 7538 = 0. Let o = x - -7877. Is o composite?
False
Let r(a) = 1232*a - 250. Let b(t) = 1231*t - 252. Let s(i) = -5*b(i) + 4*r(i). Is s(-7) prime?
True
Let l be 10*1/4 - (-6)/(-4). Let z be 82/7 - (5/7 - l). Is (-6)/z*238/(-1) composite?
True
Let h(q) be the third derivative of 29*q**7/840 + 7*q**6/720 + 7*q**5/40 - q**4/4 + 43*q**2. Let w(a) be the second derivative of h(a). Is w(-5) composite?
False
Is 29 + (-32 - -18) - -278786 composite?
False
Let w be (-1)/(-8) - (-371