 y(l) prime?
False
Suppose -5*u + 33 = -4*d, -4*u = -5*u - d + 3. Let j = u + -7. Is 1*(-263)/2*j prime?
True
Let x(t) = 6*t**2 - 3*t + 1. Let m be x(1). Suppose -141 = 5*y - 2*i - 510, m*y = -i + 290. Let g = y + -42. Is g prime?
True
Let d(k) = 41*k**3 + 8*k - 7. Is d(2) a composite number?
False
Let k(w) = -2*w**3 - 9*w**2 + 8*w - 7. Is k(-6) a composite number?
False
Suppose k - 16 = -3*k - d, -2*k + d + 14 = 0. Suppose 4*b - k = 7. Let w(a) = a**3 + 2*a**2 - 2*a - 2. Is w(b) composite?
False
Let p(z) = -z**3 - 5*z**2 + 12*z - 12. Let a be p(-7). Suppose 0 = -4*x - 4*o + 400, 6*x - 2*o - 382 = a*x. Is x a composite number?
False
Suppose -z + v + 6 = -v, -v - 17 = -4*z. Suppose z*s - o - 7 = 0, -4*s + 8*s = -3*o + 11. Is (5/15)/(s/1122) prime?
False
Suppose 68626 = -30*q + 32*q. Is q a prime number?
True
Suppose 0 = -132*k + 135*k - 147219. Is k composite?
True
Let h = 6168 + 14971. Is h composite?
False
Let k be 1/(-1) - -2 - -4. Suppose k*s - 40 = -3*n, 5*n - 2*s - 15 = -0*n. Suppose 603 = n*w + 4*t, -3*w - 4*t = -t - 363. Is w composite?
True
Let n(u) = -u**2 + 9*u + 56. Let d be n(13). Suppose -1962 = -p + 3*w, 0*w - 7840 = -d*p + 4*w. Is p a composite number?
True
Suppose -4 = -2*k - 0. Suppose -3*j + 72 = -5*t - 6, -4*j + 4*t = -104. Suppose 5 = -y + 4*f, 5*y - j = -k*f + 15. Is y a prime number?
True
Is 9*1/6*(-5676)/(-18) a prime number?
False
Let n = 1373 + -576. Is n prime?
True
Let h(t) be the second derivative of 137*t**6/360 + t**5/60 + t**4/24 + t**3/3 - 2*t. Let m(c) be the second derivative of h(c). Is m(2) a composite number?
True
Let l = -8122 - -12449. Is l a composite number?
False
Suppose 0 = -37*c + 816229 + 613192. Is c prime?
False
Suppose 0 = -5*v + 2*v - 279. Let k = 160 + v. Is k a prime number?
True
Let r(k) be the second derivative of -k**5/10 + k**4/2 + k**3 - k**2/2 + 13*k. Suppose o + 23 = -4*p, 5*o - 2 = 4*p + 3. Is r(o) a composite number?
False
Let w be (6/4)/((-14)/(-28)). Suppose w*b + 5*o - 1152 = 0, -b + 2*o + 382 = 3*o. Is b a composite number?
False
Let l(h) = -4*h - 7. Let j be l(-3). Suppose 0 = 3*x - 2*x - j*n - 368, -3*x + 1124 = 5*n. Is x a prime number?
True
Let f be 10 - (-1 - 1 - -3). Let l be f/(-12) - 18/8. Is (-2)/4*(-65 - l) composite?
False
Let k = -17 - -7. Let q = k + 8. Is 251/2 + (-3)/q composite?
False
Let y = 35 - 33. Suppose -4*c + 6*c = 4. Suppose -c*h = -y*a - 82, -16 - 17 = -h - a. Is h prime?
True
Let u = -5 - -9. Let t(d) = 10*d**3 + d**2 + d - 11. Is t(u) a composite number?
True
Suppose 0 = -7*f + 295739 + 243408. Is f a composite number?
True
Suppose 4*g - 110 = 5*p, 4*p + g + 88 = -g. Is 4770/22 - 4/p prime?
False
Let u(c) = 17*c - 3. Let l be u(3). Let p be ((-6)/(-2))/((-9)/l). Let r(a) = 2*a**2 + 20*a + 19. Is r(p) composite?
False
Let v(f) = 3*f**2 + 2*f - 29. Let k be ((-2)/(-6))/((-2)/(-30)). Let g be 1/k + 610/(-50). Is v(g) a composite number?
False
Let i(l) = -14*l + 22. Let j(v) = 5*v - 7. Let n(q) = 4*i(q) + 11*j(q). Let h be n(9). Suppose 5*y - 126 = -2*b, -4*y = -y - h*b - 82. Is y a composite number?
True
Let i(z) be the second derivative of 0 + 1/6*z**4 - 111/10*z**5 - 1/6*z**3 + 4*z - z**2. Is i(-1) a prime number?
True
Suppose 4*i - s - 47 = 0, 45 = 4*i - 2*s - s. Is ((-2998)/(-3))/((-40)/i - -4) composite?
False
Let u(g) = -11*g - 12. Let t be u(-3). Suppose 25*l - 28 = t*l. Suppose 3*k = l*k - 4316. Is k composite?
True
Let j be (0 + -1)/((-1)/3). Let a = 968 + -456. Suppose -j*h + 1557 = -0*h - 2*y, 0 = -h + 3*y + a. Is h prime?
True
Let j = 653 - 402. Let o = -138 + j. Is (1 - (1 - 1))*o composite?
False
Suppose -4*p + 62155 = p. Is p prime?
False
Let s = -456 - -917. Suppose 5*g - 17514 = s. Is g a prime number?
False
Let t be (8/(-4) - -4) + 3. Suppose -3*m = -t*m. Suppose 0 = -0*j + j + 3*r - 32, m = -5*r - 25. Is j prime?
True
Suppose -9*l = -4*l. Suppose 0 = j + 4*s - 97, -3*j + 277 = -l*s + 5*s. Suppose 0 = -u + 60 + j. Is u composite?
False
Suppose -23*c + 30 = -26*c. Let b be 17780/100 + (-2)/c. Let r = 305 - b. Is r a composite number?
False
Let q(x) = 6*x + 5. Let k be q(5). Let n = 247 - 233. Is n/k - 1846/(-10) prime?
False
Let b be 1/((-7114)/(-3556) - 2). Suppose 20 = 4*q, -3*q = 3*m - 4787 + b. Is m a prime number?
False
Let u be ((-2)/7)/(3/(-21)). Let c be 1/u*4*2. Is ((-102)/4)/((-2)/c) a composite number?
True
Suppose -4*n = -3*c - 13944, -4*c - 11332 = -3*n - 881. Is n a prime number?
False
Let y be 4/(-4) + (4 - 3). Suppose -n - 674 - 287 = y. Is (-3 - n)*(-2)/(-4) prime?
True
Let k be 64/40 + 4/10. Suppose k*u - 254 = -2*o, 2*o - 635 = -3*o - u. Is o a composite number?
False
Suppose 2*g - l - 10 = -3*l, -l = -4*g + 10. Let j be (598/g)/(4/(-12)). Let t = 837 + j. Is t a prime number?
True
Suppose 3359 = -480*i + 481*i. Is i composite?
False
Suppose -7*x + 19491 = 5162. Is x prime?
False
Suppose -o + 4*b = o - 4418, 3*b = -5*o + 11084. Suppose -d + 2*a = 60 - 803, 3*d + a = o. Is d a composite number?
False
Let u = 3471 - -1280. Is u a composite number?
False
Let q = -11095 + 16476. Is q prime?
True
Let l(u) be the second derivative of -89*u**3/6 - 13*u**2/2 - 16*u. Is l(-6) prime?
True
Let n(g) = 136*g**2 - 11*g - 61. Is n(-12) prime?
False
Let p(h) = -2*h**3 - 41*h**2 - 54*h - 37. Is p(-26) prime?
True
Is (-91965 + 0)*(-21 - -29)/(-24) prime?
False
Let p(v) = 2503*v - 19. Suppose l = 4*d - 10, 4*l + 23 - 7 = 4*d. Is p(d) a prime number?
True
Let u = -23 - -13. Let t be ((-362)/5)/(2/u). Suppose -3*x = 71 - t. Is x a prime number?
True
Suppose -1862*t + 35765 = -1857*t. Is t composite?
True
Let c(f) = -f**3 - 4*f**2 - 3*f + 1. Let l be c(-4). Let a = l + -11. Suppose u = 1 + a. Is u composite?
False
Suppose 0*i + 2*i - 10 = 0. Let a be i*-1*8/(-20). Suppose -5*s + a*o + 80 = 7*o, 5*s - 4*o - 53 = 0. Is s prime?
True
Let m = -144 - -147. Suppose 5*y = 2*q - m*q + 7056, -3*y + 4229 = -4*q. Is y composite?
True
Let a = 18 - 46. Let n = -14 - a. Is n composite?
True
Let s(r) = 440*r + 299. Is s(6) a composite number?
False
Is 20/(-4) + 2634 + 2 a prime number?
False
Suppose 0 = 4*b + 5*v + 15 + 211, 4*v - 154 = 3*b. Is (-220923)/b + 1/(-6) a prime number?
True
Let k be 68/18 - ((-22)/18 + 1). Suppose k*j - 9*j + 10365 = 0. Is j composite?
True
Let v be 17/(-17) - (-376)/(-1). Let c = -110 - -60. Let w = c - v. Is w a composite number?
True
Let z(c) = -c**3 + 16*c**2 + 2*c - 37. Let f be z(16). Is 3/f + (-424)/(-40) composite?
True
Is (51/(-9))/((-5)/1605) prime?
False
Let i(v) = 900*v**3 - v**2 - 2*v + 6. Let u be i(2). Suppose 0 = -5*b - m + u, 3*m = -5*b + 3*b + 2887. Is b a composite number?
False
Suppose 0 = -5*l - 5, 3*w - 10 = -3*l + 7*l. Suppose 0 = w*a + 3*v + 7, 0*a - 4*v = a - 4. Let o(c) = -8*c + 5. Is o(a) a prime number?
False
Suppose 3*k - 24629 = 4822. Is k a prime number?
True
Suppose -2098 + 18302 = 4*y + 2*t, y - 4041 = 2*t. Is y prime?
True
Let y = 2084 - 785. Let x = y - 632. Is x prime?
False
Let w = 5757 + -3874. Let f = w + -1260. Is f a prime number?
False
Let d = -3232 - -5967. Is d a composite number?
True
Let v(p) = p**3 - 5*p**2 + p + 11. Suppose 0 = 9*y - 6*y - 18. Is v(y) a composite number?
False
Let f(h) = -h**3 - 9*h**2 - 7*h + 13. Let y be f(-8). Suppose -6058 + 1453 = -y*v. Is v a prime number?
False
Let a = 15043 - -22908. Is a composite?
False
Let j(t) = -87*t**3 + 2*t**2 - t - 5. Is j(-2) a prime number?
True
Let f = -51 - -53. Suppose -2 = 4*x - 22. Suppose -o + x = 0, f*o = -4*v - 502 + 1660. Is v composite?
True
Let c(k) = -7462*k + 257. Is c(-12) composite?
True
Let f = -40850 + 57729. Is f a prime number?
True
Suppose 0 = 8*m - m - 2982. Suppose 4*q - 146 = m. Is q a prime number?
False
Let p = 547 - -4164. Is p a composite number?
True
Let s be 1 + -13 - -1 - 0. Let v be 74/2 - (8 + s). Let n = 71 - v. Is n a composite number?
False
Let x be (10/(-3))/((-3)/9). Let d(p) = -p**3 + 15*p**2 - 14*p + 13. Let h be d(x). Let s = h + -188. Is s prime?
False
Let g = -4829 + 12976. Is g composite?
False
Let a be ((-54)/(-63))/(3/14). Suppose -4*f - 204 = a*t, -3*f - 112 - 47 = t. Is (-9)/(f/20)*3 a composite number?
True
Let x = 8 - 12. Let w(l) = l**3 + 4*l**2 - 2*l - 5. Let d be w(x). Suppose d*k = k + c + 817, 4*k - 1637 = -c. Is k prime?
True
Suppose -a + 363 = 4*w - 0*a, a + 267 = 3*w. Le