rime number?
True
Let s(v) = 9*v**3 + v**2 + 34*v - 20. Let i be s(-12). Let j = i + 26719. Is j a composite number?
False
Suppose 3 = -c, -4*l + 5677 + 12733 = 2*c. Suppose -1363 - 5550 = -3*x - m, 3*m - l = -2*x. Is x prime?
False
Let j be (-3389)/2*(3 + (-1 - 0)). Let d = -1521 - j. Suppose -d = w - 5*w. Is w a prime number?
True
Let s be 52*4/(-8)*-5. Let z = 3303 + s. Is z prime?
True
Suppose 2*a - 22 + 120 = 4*l, 5*a - 115 = -5*l. Suppose 4*p - l + 4 = 0. Suppose p*n - 1658 = -3*s, 1371 = 4*s - n - 832. Is s a prime number?
False
Suppose -58*x + 22659615 + 9206100 = 5*x. Is x a prime number?
False
Suppose 3*a = -4*u + 791, 5 = 2*u - u. Suppose -93110 = 247*i - a*i. Is i prime?
True
Suppose 3*a + 2*a = 65. Let u(c) = c**2 - 5*c - 145. Let z be u(-12). Suppose -a + z = 2*g. Is g prime?
True
Suppose -16*b + 21*b = 30. Suppose b*l = 2*l + 66388. Is l prime?
False
Let y = -314 + 309. Is (-4 - y)/(4/2924) a prime number?
False
Let u = 494 + -480. Suppose 242564 = u*j + 14*j. Is j prime?
True
Suppose q + 2*j - j = 568598, 0 = 4*q - 4*j - 2274352. Suppose -q = -31*w - 38276. Is w composite?
False
Let q(u) = -1849*u - 1091. Is q(-16) prime?
True
Let x(k) = 2*k**2 + 3*k + 7. Let d be x(7). Suppose d - 19531 = -5*y. Is y a prime number?
True
Suppose 5*t = -3*q + 6, 6*q = 3*q + 4*t + 33. Suppose q*y = -14760 + 44237. Is y a composite number?
False
Let b(u) = 721*u - 2801. Is b(34) a composite number?
False
Is ((-65)/(-390))/((-4)/(-8000808)) composite?
False
Let m = 127 - 122. Suppose -2*j - 2*j + 4*v = -15060, 0 = 4*j - m*v - 15064. Is j a composite number?
False
Suppose 5*s - 22 = -6*s. Let o(w) = -12*w - 6*w**2 - 2*w**2 - w**3 + w**s - 11. Is o(-8) a prime number?
True
Suppose -u = u + 2. Let w(t) = -328*t**3 - 8*t**2 + 6*t + 8. Let c(v) = 985*v**3 + 23*v**2 - 17*v - 23. Let h(x) = -6*c(x) - 17*w(x). Is h(u) composite?
True
Let b be -987886 + (2 - -4) - 6. Is 4/(-30) + b/(-570) a prime number?
True
Let i be 759/(((-54)/(-423))/2). Suppose 5*l = 3*s + 59570, -l + 0*s - 4*s = -i. Is l a prime number?
False
Let h(i) = 2*i + 47. Let v be h(-10). Suppose -46954 = -v*q + 39851. Is q composite?
True
Let l be (-7 - 8190/(-12)) + (-6)/(-4). Suppose -82 = 7*q - l. Let r = q - -134. Is r a prime number?
False
Is 1/(5/690995 + 1 + -1) a composite number?
True
Let n = 319268 + -52525. Is n a composite number?
True
Suppose -10*i + 53006 = -48534. Is i a composite number?
True
Let p be 2 + (-59231)/(-3) + 5/15. Suppose -19*w + w = -p. Is w a prime number?
True
Suppose -2*m - 127 = -2*x - 109, -5*m - 2*x = 10. Let z(s) = -6 - 315*s - 240*s + 100*s. Is z(m) composite?
True
Let o be (54/24 - 2)/(4/160). Is (-28188)/(-16) - o/(-8) composite?
True
Let j(i) = 202*i**2 + 9*i - 194. Is j(-9) composite?
False
Suppose -5*y - 698 = -3338. Let l = y + -271. Suppose 0 = 8*x - 7*x - l. Is x composite?
False
Let u be 2/(-12) + (-112238)/(-12). Let q = u - 6426. Is q a composite number?
False
Suppose 2106*v - 2111*v = -473035. Is v composite?
True
Suppose 6*q - 18*q - 50856 = 0. Let r = q - -9451. Is r composite?
True
Suppose -2*g + 4*g - 2*h = 30, 5*h = 0. Let f be g/6*(-6)/5 - -1891. Suppose -4*n - 540 = -f. Is n a composite number?
False
Suppose 5*l + 5*q - 9 = -39, 0 = l - q + 6. Let p be 3/(l/(-4366)) - -3. Suppose -4*u + p = 3*g, 0*g - 2928 = -4*g - 2*u. Is g prime?
False
Let d(z) = 38*z - 1597 + 896 + 794. Is d(11) composite?
True
Suppose -3*u = a - 13614, 5*u - 346 = -a + 22342. Let v = 8064 - u. Is v a composite number?
False
Let k be ((-7)/(-35) - 256032/(-15)) + 5. Is 1/(15/(-45)*(-3)/k) prime?
False
Let w(p) = p**2 - 21*p - 241. Let c be w(-11). Suppose -2 = 4*r - 22. Suppose -5*j = -g + 85 + c, 960 = r*g - 5*j. Is g a composite number?
False
Suppose -12*p = -267 + 123. Is p/(-54) - 28049/(-63) a composite number?
True
Suppose 2*o - 8 = -0*o, 4*o = -2*r + 13494. Is r a composite number?
True
Let y be 3/(-6)*-8 + 1309. Let t = 2266 - y. Is t a composite number?
False
Let o = 1299 - -859. Suppose 5*y - h = 10826, -4*y - 2*h = -5*y + o. Let z = -515 + y. Is z a prime number?
False
Let q = 546 + -543. Suppose -4*m + 5*t = -17065, -q*m - t = -8*m + 21326. Is m a prime number?
False
Suppose 13*o - 86825 - 44124 = 0. Let x = o + -4702. Is x a composite number?
True
Let x(l) = -l**2 + l + 2. Let d be x(-1). Let t(s) = -86*s**3 + d*s**3 + s + 4 - 41*s**3. Is t(-2) composite?
True
Let x be -1*2*(105/14)/5. Let c(i) = 3*i + 1. Let y be c(x). Is (-2 + (-6956)/y)*4/5 a prime number?
False
Let l be 9/3 - 1 - -15. Let v(r) be the second derivative of r**4/12 - 2*r**3 + 2443*r. Is v(l) a composite number?
True
Suppose 4229 = -2*z - 42*w + 43*w, -3*w = 5*z + 10589. Suppose u = -3*u - 3*m + 12428, 3*u - 9321 = 2*m. Let d = u + z. Is d prime?
True
Suppose -156*y + 153*y + 63813 = x, 42544 = 2*y + x. Is y a prime number?
True
Let z = 73 + -236. Let u = z - -749. Is u a composite number?
True
Suppose 4*n = 20, 17*b - 4*n = 12*b + 29225. Is b a prime number?
True
Suppose 40*a - 14482 = 27*a. Suppose 4*w - 5*w = -a. Is w composite?
True
Let h(c) be the third derivative of 113*c**5/30 - 5*c**4/12 + 23*c**3/6 + 5*c**2. Is h(3) a prime number?
True
Suppose 65*u = 64*u - 549. Let s = -74 - u. Suppose 6*b - s - 1043 = 0. Is b prime?
False
Is 78963660/756 + 2/(-7) prime?
False
Let v be (12 - 3)/((-3)/(-116)). Suppose q + 4300 = -v. Let s = 6965 + q. Is s a composite number?
True
Let l(r) = -3*r**3 - 15*r**2 + 2*r + 42. Let v(s) = -3*s**3 - 15*s**2 + s + 43. Let j(i) = 6*l(i) - 7*v(i). Is j(12) prime?
False
Suppose -3*h = -2*i - 7*h - 14, 4*i = 3*h - 6. Let z(f) = 2*f - f**2 + 2*f**2 - 4 - 44*f**3 + 2. Is z(i) a composite number?
True
Let j = -69 - -22. Let h = j + 49. Suppose -2*a - 2*a + 5808 = -4*p, 5*p = h*a - 2898. Is a prime?
False
Let l(d) = 144*d**3 + 3*d - 9. Let r be l(2). Let s = 2286 - r. Is s a prime number?
False
Let n(o) = -o**2 - 21*o - 3. Let t be n(-21). Let z be ((-3006)/8 + t)*4. Let k = 1030 - z. Is k a prime number?
False
Suppose 26*k - 6*k = 271060. Let l = k - 6142. Is l a prime number?
True
Let q = 141 + -144. Is (408975/(-20))/(-7) - q/(-12) a prime number?
False
Suppose -122*w = 9*w - 30600421. Is w a prime number?
True
Is 1/((-3)/(-3))*(7 + (189030 - -24)) composite?
False
Let d(l) = l**2 + 8*l - 5. Let n be d(5). Let w = -55 + n. Suppose -4*i = -w*c + i + 17875, -2*c + 7147 = i. Is c a prime number?
False
Suppose 0 = 2*c + 172 - 176. Suppose 7663 = 2*q + n, c*n = 3*q - 0*n - 11477. Is q a composite number?
True
Let k be (-10)/(-6)*(-3)/(-1). Suppose k*j - 22 = -37, -2*j + 48899 = 5*v. Is v prime?
True
Let b = 61 - 57. Let l be 5 - (-11700)/(b/1). Suppose -1914 = -4*h + l. Is h a composite number?
True
Let w = -4470079 + 6785262. Is w a prime number?
False
Let b = 242 - 247. Is ((-3)/b)/(9/9495) prime?
False
Let z be ((-21)/(-14))/(3/8). Suppose -z*b + b = 0. Suppose -f - 2163 = -4*i, 0 = -3*i - b*i - f + 1624. Is i a prime number?
True
Let o be 7/(-28) + (-41454)/(-24). Suppose 3 = 7*x - 4*x + 2*j, 3 = -3*x - 4*j. Suppose 4*r = x*f + o, 0 = -2*r + 5*r - f - 1294. Is r a composite number?
False
Let q(a) = 29341*a + 9327. Is q(4) composite?
False
Let u = -50 + 56. Let s(n) = 3*n**2 + 13*n**2 - 5 + 24*n - n**3 + u*n**3 - 6*n**3. Is s(12) a composite number?
False
Let n(g) = -g**3 - 2*g**2 + 2. Let s be n(-3). Suppose -s*w + 1827 = -8*w. Suppose -2*y - w = -5*y. Is y prime?
False
Suppose -12*z + 39 + 9 = 0. Suppose -2*u + 6798 = -z*d, 3*u - 5*d + 10142 = 6*u. Is u prime?
True
Let a = 243 - 237. Suppose 5*s - 25827 = -4*k, -2*s + a*s - 2*k = 20646. Is s prime?
False
Let p(q) = -65*q + 268189. Is p(0) prime?
True
Let c(j) = 80572*j - 2859. Is c(9) composite?
True
Suppose 15*k = 11*k + 2*n + 177878, 44472 = k - n. Is k composite?
True
Let n = 47312 + -24561. Is n a prime number?
True
Suppose -4*a + 4 = 0, -86828 = 3*j - 4*j + 2*a. Suppose 3*s - 4*o - 65106 = 0, 10*s - 2*o + j = 14*s. Is s a prime number?
False
Suppose -5*w = -2*a - 233858, 4*w - 2*a - 63091 = 123995. Suppose -3*k + 4*n = -52847, -2*n = 4*k - 23654 - w. Is k prime?
True
Let k be 4/6 - 11/((-99)/37902). Let t = 7169 - k. Suppose 4*a - 2672 = 4*j + 1276, -3*a + 2*j = -t. Is a a composite number?
False
Let r = 129 - 132. Is 4 + (989/r)/((-4)/12) a composite number?
True
Let y(v) = v**2 + 18*v + 8. Let n b