11645 = p*f + 3*k. Is f a prime number?
True
Let a(l) be the third derivative of l**7/840 - l**6/60 + l**5/12 - 5*l**4/24 + l**3/6 + 3*l**2. Let r(d) be the first derivative of a(d). Is r(8) composite?
True
Let l = -15 - -16. Is (17 + 148)*l/3 prime?
False
Suppose 0 = 9*b - 115176 - 42495. Is b a composite number?
False
Let v = -3148 - -9155. Is v a composite number?
False
Let r = 420 + -867. Let n = 430 - r. Is n a composite number?
False
Let n(d) = 2*d**2 - d - 10*d - 9 + 0*d**2 - d**3 + 11*d**2. Let f be n(12). Suppose -5*q = -2*g + f*g - 254, -5*q - 1041 = -4*g. Is g prime?
False
Suppose -4 = 3*l - 5*l. Is 1/l*(-2 + 424) a prime number?
True
Let i be (-2)/((0 - (-4)/20)/1). Let a = -6 + 3. Let g = a - i. Is g prime?
True
Let b(h) = 5*h - 16. Let f be b(7). Let y be f/(812/204 + -4). Let t = 1678 + y. Is t prime?
True
Is ((-10)/(-20))/(-3 + (-106243)/(-35414)) a prime number?
True
Let v(u) = 261*u**2 - 8*u + 36. Is v(5) composite?
False
Let z be (8485 - -3)*6/8. Suppose -4*l - 2*q = -z, -2240 = -4*l + q + 4141. Is l a composite number?
True
Suppose i - 202 = 191. Suppose j + 38 + 43 = u, -i = -5*u + j. Let z = u + -29. Is z composite?
True
Suppose -36*n + 18*n + 21132 = 0. Is n a composite number?
True
Suppose -3*g + g - 6 = -2*y, -4*g - 5*y + 33 = 0. Suppose -2 - 24 = 4*x + 2*k, -2*k = g. Is (255/x)/((-1)/2) a prime number?
False
Let n be ((-1)/(-3) - 52/12)/(-2). Suppose i - 14137 = -3*p + n*i, 4*p + 5*i = 18824. Is p prime?
False
Suppose -2*f = -f + 4*m - 13997, -f = 5*m - 13997. Is f composite?
False
Let h be 52 - 4/(4/3). Suppose h + 83 = -3*f. Is ((-1265)/f)/((-1)/(-4)) prime?
False
Suppose -2*t + 12 = -z, -z - 8 = -4*t - 3*z. Let k be (-10)/t*26/13. Is (k/(-10))/((-1)/(-370)) a composite number?
True
Let i be 162/(-21) + 4/(-14). Let y = i + 11. Let j(u) = 55*u - 4. Is j(y) composite?
True
Suppose 7 = 3*n + 13. Let q(h) = 42*h**2 + 1. Let i be q(n). Let x = -110 + i. Is x a composite number?
False
Suppose -2*w - 2*l - 6 + 1358 = 0, -2*l - 2053 = -3*w. Suppose -3*x + 2022 = -w. Is x prime?
False
Is 4256 + (6 - 18)/4 composite?
False
Let g be (0 - 6/(-8))*8. Let b be g*(-3 + 33/9). Suppose b*q + 275 = 9*q. Is q prime?
False
Let y(p) = p - 7. Let d be y(22). Suppose -4*m - d*m = -24814. Is m composite?
True
Is (3 + 333/27)/(2/111) prime?
False
Let j be (6 - 8)*(-1954)/(-4). Let s = 2688 - j. Suppose -z + a + 726 = 0, 5*z - s = -6*a + 4*a. Is z a prime number?
False
Let c = 897 - 386. Suppose 5*j = -c + 3906. Is j a prime number?
False
Suppose u + 3924 = 4*u. Let n = u + -859. Is n a composite number?
False
Let u(o) = 26*o**3 + 5*o + 9. Is u(4) prime?
True
Is ((-3)/2 - -2)/((-3)/(-498)) prime?
True
Let s(m) = -2*m**3 + 16*m**2 - 17*m + 17. Is s(6) prime?
True
Let l(o) = -6*o + 2. Let z be l(-3). Let y(q) = -52*q - 4. Let b be y(-9). Suppose -4*n + z + b = 0. Is n a prime number?
False
Let a = -36 + 36. Is -3 + 1 - -8943 - a composite?
False
Let k(b) = -18*b**3 + b - 1. Let l = 17 - 8. Suppose x - 3*v = -0*v + 7, l = -3*x - v. Is k(x) composite?
True
Let h(m) = -m**3 + 16*m**2 + 18*m - 21. Let w = 20 - 3. Let y be h(w). Is y/(-20)*0 + 55 composite?
True
Let d = -3120 + 5938. Is d a prime number?
False
Let h = -20253 - -45970. Is h composite?
False
Suppose -4*m - 2*t = -44052, 11*t - 7*t = 2*m - 22046. Is m a composite number?
True
Suppose 3*o - 151 - 134 = 0. Let d = 152 + o. Is d a prime number?
False
Let k = -722 + 1129. Is k composite?
True
Suppose 6*i = 3*g + 3*i - 6918, -g + 5*i + 2322 = 0. Is g a prime number?
False
Let d be 28*2*4/4. Suppose -53*z = -d*z + 2757. Is z prime?
True
Let i = -2474 - -3492. Is i a composite number?
True
Suppose -1 = -4*f + 7. Let d be (6/8)/(f/472). Suppose a + 92 = q - 87, -a + d = q. Is q a composite number?
True
Let y be 3*-1*(-284)/(-6). Let m = 22 + 493. Let o = m + y. Is o prime?
True
Let j(b) = b**2 - 8*b + 5. Let u = 21 - 12. Let v(z) = -4*z**2 + 33*z - 19. Let y(q) = u*j(q) + 2*v(q). Is y(-12) a prime number?
True
Is (2 + 2)*11708/16 prime?
True
Let o(h) = -1072*h**3 - 10*h**2 - 12*h - 7. Is o(-3) a prime number?
False
Suppose 5*c - 693 = 297. Suppose 2*f - b = c, 0 = -5*f + 3*b - 6*b + 473. Is f prime?
True
Suppose -3*k = 2184 + 786. Let n = -583 - k. Is n a composite number?
True
Suppose 20345 = 3*g + 4*t, g - 13552 = -g + 3*t. Is g prime?
True
Suppose 4*i + 2*s - 1588 = 6*s, 794 = 2*i + 2*s. Is i composite?
False
Let d = 3 - -140. Is d composite?
True
Let k be (-5 - -1)/((-7)/28). Let r(z) = z**3 - 7*z**2 - 4*z + 17. Is r(k) a composite number?
True
Suppose 65655 = -28*u + 43*u. Is u composite?
True
Let u = 993 + -700. Is u a prime number?
True
Let b(r) = 2*r**2 - 10*r + 10. Let k be b(5). Suppose -4*g + k + 26 = 0. Is 12/3 + g + 382 a prime number?
False
Let m be 0/(-6 - -3 - (0 - 2)). Suppose -2*x = -m*x - 886. Is x a prime number?
True
Suppose 3*w = -5*x - 2, -3*x - w + 2 = -0. Let j be -4*x*9/(-24). Suppose -3*t = j*p - 1023, -4*t + 7*t + 1336 = 4*p. Is p a prime number?
True
Suppose -6616 = -j - 4*b - 1055, 0 = j - 4*b - 5601. Is j a composite number?
False
Suppose 5*s + 8*t - 18310 = 3*t, 0 = 5*s + 4*t - 18307. Is s composite?
False
Suppose -4*c - 2 = -18. Let g be 3/((-3)/c*2). Is ((-148)/g)/(-3 - -5) composite?
False
Let k(x) = -12*x + 35 - 16 + 22*x**2 - 24. Is k(5) a prime number?
False
Suppose 2*r = -0*r. Let v(o) = 97*o + 26. Let s be v(4). Suppose 4*z + 4*h = 3*h + 527, r = 3*z - 3*h - s. Is z a prime number?
False
Let l(h) = 5*h**3 - 9*h**2 + 10*h - 11. Let k be l(6). Let j = 1724 - k. Is j composite?
False
Let w(t) = t**3 + 8*t**2 + 3*t + 35. Let z be w(-8). Let p(u) = u**3 - 4*u**2 - 8*u - 22. Is p(z) composite?
True
Let a(k) = -44*k - 10. Let v(y) = y - 1. Let c(w) = a(w) - 5*v(w). Is c(-4) prime?
True
Let o = 90 - 120. Is 5 + 144/o + (-8688)/(-10) composite?
True
Suppose 70030 = -53*g + 63*g. Is g composite?
True
Let s = 61 + -37. Let v = 75 + -116. Let j = s - v. Is j a composite number?
True
Suppose 0 = 5*d + 4*l, -d + 4*d - 4*l = 32. Let p = d - 2. Suppose 0 = -f + 5*h + 166, p*f + 4*h = -2*f + 784. Is f a prime number?
True
Is 4/(-7 - -5)*(-2177)/2 a prime number?
False
Let u(i) be the first derivative of 7*i**3/3 + 3*i**2/2 - 3*i + 15. Is u(4) composite?
True
Let x be (-2)/(-10) + 145/25. Suppose -x*d + 465 = -297. Is d composite?
False
Let i(h) = 12*h**2 + h + 28. Is i(33) a composite number?
True
Let j(c) = c**3 - 12*c**2 + 15*c + 79. Is j(28) a prime number?
True
Let l = 3 - -2. Suppose -3*a + 2826 = 3*c - 0*c, 0 = -5*c + 3*a + 4702. Suppose -l*d = -c - 1124. Is d composite?
True
Suppose s - 12 = -3*s. Suppose s*x - 3*b + 1706 = 10814, -3*x + 9106 = -5*b. Is x prime?
True
Let i = -28 + 34. Suppose 8*x - 382 = i*x. Is x a prime number?
True
Let z = -235 - -564. Suppose -2*t + 4*v - 79 = -z, 4*t + 3*v - 467 = 0. Is t a prime number?
False
Suppose 6*o + 13 = 253. Suppose o*i - 45*i + 9685 = 0. Is i a composite number?
True
Let a(n) = -35*n**3 + n**2 + 44*n + 11. Is a(-6) prime?
False
Let z(i) = 3*i + 6. Let l(w) = -2*w - 4. Let f(u) = -7*l(u) - 5*z(u). Let q be f(-4). Suppose r + 61 = 5*x - 125, -q*x + 5*r = -79. Is x prime?
True
Suppose p + 3 = 0, 0 = 2*y - 0*p + 2*p. Suppose y*o - 3710 = -7*o. Is o a composite number?
True
Let j(o) = 388*o**2 + 3*o - 4. Let f be j(3). Suppose 0 = 5*c + 3*g - f, c = 2*g + g + 703. Let b = c - 365. Is b prime?
False
Let s = -1020 + 10883. Is s prime?
False
Let y be (3 - 0/(-5)) + 7. Suppose -s - 6*u + 315 = -y*u, -2*s - 4*u + 582 = 0. Is s composite?
True
Suppose 3*d + 4 = -d, 3*k - 594 = 3*d. Let t be 3 - (1 - 0) - 77. Let m = k + t. Is m a prime number?
False
Let d(b) = -36186*b - 263. Is d(-5) composite?
False
Let q be (-21 - 3)*(-2)/6. Let t be (252/(-15))/(q/(-180)). Suppose -2*b + t = -4*z, 0 = 2*b - 5*z - 413 + 32. Is b prime?
False
Let x(w) = w**3 + 12*w**2 + 11*w + 3. Let y be x(-11). Suppose y*b - v - v - 73 = 0, -4*b - 2*v + 88 = 0. Let h = b - 10. Is h a prime number?
True
Let t(x) = 6*x**3 - 14*x**2 - 6*x - 11. Is t(7) a prime number?
True
Suppose -2*b = 5*l - 17, b + b = -2*l + 2. Suppose 5*i - 9870 = -l*z, 0*i + 5*i = 3*z - 5914. Is z composite?
False
Let u = -28870 + 52121. Is u prime?
True
Let z(d) = 6*d**3 - 3*d**2 + 11*d - 1. Is z(4) prime?
True
Let i(p) = 451*p**2 + 3*p - 3. Let c be i(3). Suppose c = 4*w - 587.