 25*k - t*k + 11*k**2 + 15*k. Is u(7) prime?
True
Let h(u) = 1012*u**2 - 6*u - 98. Let n be h(-11). Suppose 2*j - 122426 = -0*j + 4*a, -2*j + n = 2*a. Is j a prime number?
True
Suppose -3049 + 16929 = 4*f. Suppose 4*q + f = 14*q. Is q prime?
True
Suppose -696948 = -10*b + 2336680 + 788442. Is b a composite number?
True
Let o(w) = w**2 + 3*w - 1. Let p be o(-4). Suppose -2*r = -p*r + 2*r. Is (r - -3)/(-9*4/(-7044)) prime?
True
Is ((-156973)/4)/((-80)/140 - (-18)/56) prime?
False
Let s(r) = 33238*r**2 + 8*r + 19. Is s(-2) prime?
False
Suppose 0 = 2*h + k - 51 - 59, 126 = 2*h - 3*k. Suppose -433476 = -h*v + 264831. Is v a prime number?
True
Let m(c) be the third derivative of -219*c**6/20 + c**5/60 + 3*c**4/8 + 13*c**3/6 - 6*c**2 + 6. Is m(-2) a prime number?
False
Let t(w) be the third derivative of -35*w**4/12 - 13*w**3/6 - w**2. Let l be t(-4). Let p = 386 - l. Is p a composite number?
True
Is (-53150)/(-4) - 28/8*3/(-7) composite?
True
Suppose -14*f + 23379 = -9*f + 4*k, -5*k = 2*f - 9338. Is f a prime number?
True
Let l(v) = 486*v**2 + 98*v - 1391. Is l(12) prime?
False
Let u be (4/10)/(488/(-120) + 4). Let n be 72528/(-18) + (-2)/u. Let q = -2080 - n. Is q a prime number?
True
Suppose -3*a = 5*i - 28, -9 = 3*i - 5*i + a. Let f(d) = 19*d**3 - 14*d**2 + 6*d - 8. Is f(i) a composite number?
True
Let y(b) = 168*b**2 - 9*b - 949. Is y(-38) a prime number?
False
Suppose -2*q - 389*h + 8533 = -386*h, -2*q + 8539 = h. Is q prime?
True
Let c(x) be the third derivative of -1/120*x**6 - 7*x**2 - 7/24*x**4 - 1/12*x**5 + 0*x + 0 + 8/3*x**3. Is c(-7) a composite number?
False
Let g(t) = 4*t**2 + 28. Let o be g(-16). Let f = o - 511. Is f prime?
True
Let d(l) = 652*l**3 + 2*l**2 + 88*l + 151. Is d(13) a prime number?
True
Is -278*36624/(-96) + (-1 - (2 - 1)) prime?
False
Suppose -29*z + 4 = -33*z, 3*u - 316204 = -5*z. Is u a composite number?
True
Let c(v) = 112*v**2 - 31*v - 4. Let q(z) = -11*z - 84. Let s be q(-7). Is c(s) a composite number?
False
Is ((53/530)/(4/(-593310)))/((-12)/368) a prime number?
False
Is 16 + (94339 - 23 - 11) prime?
True
Let a(v) = 4812*v. Let t(h) = 2406*h. Let k(x) = 6*a(x) - 11*t(x). Let c be k(1). Suppose -3*d + 3537 = -c. Is d a prime number?
False
Let c be ((-43)/(-1))/(19 + -18). Suppose 22830 = 58*u - c*u. Is u a composite number?
True
Let q = 602677 + -300930. Is q prime?
True
Let h be ((-9990 - 8)/(2/15))/1. Is 30/105 - (h/(-7))/(-3) a composite number?
False
Let y(k) = -k - 2. Let t(c) = -8*c**3 + 4*c**2 - 10*c - 27. Let s(r) = -t(r) + 4*y(r). Is s(8) prime?
True
Let b = 131894 + 643317. Is b a prime number?
False
Suppose 2*w - 20 = -2*v, 5*v - 3*w = w + 59. Suppose -3*b - 3176 = -v*b. Is b a composite number?
False
Let z = -96 - -141. Let u be z/10*(-5 - -3 - 0). Let j(p) = 4*p**2 - 4*p - 13. Is j(u) prime?
True
Let k(r) = 17180*r - 327. Is k(11) a composite number?
False
Suppose 26*j - 37*j = 110. Suppose 3*n = 209 + 88. Let k = j + n. Is k a prime number?
True
Let g(s) = 3*s**3 - 3*s**2 - 5*s - 17. Let v(a) = -2*a**3 + 3*a**2 + 8*a + 17. Let i(r) = 3*g(r) + 2*v(r). Is i(8) a composite number?
True
Suppose 0 = 3*v + 5*a - 2439 - 59457, 0 = a - 3. Is v a prime number?
True
Let i(y) = 3*y + 620. Let v be i(0). Suppose -48 - v = -2*m. Is m prime?
False
Let k(z) = -z**3 + 6*z - 196. Let p be k(0). Let c = p + 1317. Is c a prime number?
False
Let y = -111 + 140. Suppose 0 = -0*c - 3*c. Suppose -y*n + 28*n + 37 = c. Is n a composite number?
False
Suppose -70*y - 40 = -75*y. Let l = y - -303. Let a = l + 210. Is a a prime number?
True
Let b = 148184 - -87983. Is b prime?
True
Let h = -26 - -31. Suppose -3*t = h*q - 59459, -5*t + 17693 = 2*q - 6083. Is q composite?
True
Is (-1611088)/(-64)*4 - -6 prime?
True
Let v(j) be the third derivative of -j**5/60 + j**4/3 - 4*j**3/3 - 2*j**2. Let f be v(6). Is f - ((-1 - 144) + 0) composite?
False
Is 3/((-45)/(-8149710))*2/4 a prime number?
True
Let a(d) = 70*d**2 + 51 - 27 - 18 - 14*d + 37 + 34. Is a(-9) prime?
False
Let f(r) = r**3 - 8*r**2 + 7*r + 15. Let c be f(6). Let d be 2/(((-50)/c)/(-5)). Is (d + -7)/2*(-1535)/5 prime?
False
Let c be 21/(-21) + (-2 - (-2)/1). Let j be 701/(c - 4/(-8)). Let k = -883 - j. Is k composite?
True
Is -12 + 3 + -4 + 109086 a prime number?
True
Suppose -2*f + 5*f = -z - 5, 5*f = 3*z + 15. Suppose f = -10*h + 14*h. Is 1 + h + -2 - -663 a composite number?
True
Suppose 7*t + 43 = 1. Is (217/(-14) + 14)*2732/t a prime number?
True
Suppose 0 = -10*h - 114 + 104. Is ((-27517)/(-4) - (-9)/12) + h a prime number?
False
Let h be -1 + -4 - (-378)/54 - 2. Let p be 2 + -14 - (0 + 0). Is h - 6/(p/50) composite?
True
Let d(l) = -5*l**3 - 5*l**2 - 8*l + 73. Is d(-15) a composite number?
True
Is (118329756/18)/(-23)*18/(-12) prime?
True
Suppose 15 = 2*k + 3*u, -9*k + u + 3 = -7*k. Suppose -k*q + 1721 = 314. Suppose 10*r = 3661 + q. Is r a composite number?
True
Suppose -22867 = -2*b + 5*a, 6*a - 5*a - 11451 = -b. Suppose -6*o + 6548 + b = 0. Is o a composite number?
False
Let c be 3/2 - (-295836)/24. Let s = c - 3415. Is s a composite number?
True
Let v(i) = -112*i**2 - 12*i + 72. Let d be v(11). Let p = 24153 + d. Is p prime?
False
Let k = 5267 - -552. Is -12*2/4 + k prime?
True
Suppose -4*m - 197 = -0*c + c, -4*m - 3*c = 191. Let k = m + 50. Suppose k = 2*s - 3*s + 917. Is s prime?
False
Let i(x) = 8*x**3 - 4*x**2 - 15*x + 15. Suppose 13*l + 170 = 8*l. Let u be l/(-5) + 60/(-75). Is i(u) a prime number?
False
Let f be (30/(-25) + -2)/(4/(-10)). Suppose 2*k - 96743 = -3*w, 28 = -4*k + f. Is w a composite number?
False
Let d be (-1458)/(-8) + (-104)/416. Suppose 5*n = -2*k + 34 - 8, 0 = 3*n + 5*k - 8. Suppose -n*a + 711 = -2*a - 3*x, a = 5*x + d. Is a prime?
False
Let r(z) = z**3 - 14*z**2 - 5*z + 84. Let j be r(14). Let h(a) = a**2 - 9*a - 47. Is h(j) prime?
True
Suppose -3*h - 29*z + 24*z = -229111, -z = 3*h - 229103. Is h composite?
False
Is (0 - -1)/(218/54794954) a prime number?
True
Suppose -19673*x + 19658*x = -46636575. Is x a prime number?
False
Suppose 8*p - 2300 = 4*p. Let d = p - -60. Is d a prime number?
False
Let l(v) = -102*v**3 - 2*v**2 - 257*v + 72. Is l(-11) composite?
True
Suppose b - i = 1130781, -b + 2*i - 269756 = -1400541. Is b composite?
False
Let b be (-9)/21 + (-295)/(-35) - 2. Suppose -119 - 2863 = -b*l. Is l a composite number?
True
Is 52/(-702) + (-42342837)/(-81) composite?
True
Let i be 2/11 - 392/(-22). Suppose -4*y - i = 2*k - 66, -3*k = 2*y - 52. Is k a prime number?
False
Let t = -444547 - -682034. Is t a prime number?
True
Let i(g) = -g**3 + 12*g**2 + 16*g - 30. Let k be i(13). Let h(u) = 3*u - 4*u**2 + 25 - 11*u + 6*u**2. Is h(k) a composite number?
True
Let m(d) = -79*d + 28247. Is m(0) composite?
True
Let m(y) = -7*y**3 + 13*y**2 + 13. Let f(i) = i**2 + 9*i + 9. Let l be f(-8). Let g(k) = k**3 + k**2 + k - 1. Let n(x) = l*m(x) + 6*g(x). Is n(9) composite?
True
Let m = 7006 + -1578. Suppose 5*r - 15087 = m. Is r composite?
True
Let p = 70687 - 48146. Is p composite?
False
Suppose 80*l = 64*l + 61*l - 2813985. Is l composite?
False
Suppose 0*f - 2*m = -f + 17, -5*m = 4*f - 81. Let n = 18 - f. Is n/(-3) + 44112/72 a composite number?
False
Let l = -9 - -12. Suppose l*p = 2*x - 21334, -x + 3220 + 7457 = -4*p. Is x a composite number?
True
Let r = 8662 + -4929. Is r a prime number?
True
Suppose 35*f - 42*f - 442098 + 1981391 = 0. Is f composite?
True
Let z(j) = 1. Let g(y) = 60*y - 20. Let o(x) = g(x) - 5*z(x). Let v be 9/(-4)*156/(-117). Is o(v) a prime number?
False
Let t(m) = -3*m**2 + 11*m + 22. Let n be t(-2). Is ((-44)/n)/(1/2631) a composite number?
True
Is -7*5/(-70) - (-745674)/4 a composite number?
False
Let q(o) = -17*o**2 + 34*o - 10. Let k(d) = d**2 + 4*d + 1. Let v(a) = 3*k(a) - q(a). Is v(-15) prime?
False
Let x(f) be the third derivative of 11*f**5/20 - 3*f**4/4 + 109*f**3/6 + 152*f**2. Is x(8) composite?
True
Suppose 34*w - 35*w + 53767 = 3*i, 2 = -i. Is w prime?
True
Let n be (-2 - (3 + -2)) + 8. Suppose i + 2*i + n*j = 104, 3*j = -5*i + 168. Let w = i + 976. Is w a composite number?
False
Suppose -1914697 = -22*s - 9*s + 655482. Is s prime?
False
Let h = -41 + 44. Suppose 0 = -7*x + h*x. Suppose x = 3*u - 4*s - 1543, -u + 6*u = -2*s + 2615. Is u composite?
False
Is 69668/4*(48/6)/8 composite?
False
Suppose 0