 425*q**5/12 - q**4/2 + 25*q**3/6 + 170*q**2. Is k(2) a prime number?
True
Let l(o) = 369*o**3 - 16*o**2 + 214*o - 64. Is l(13) composite?
True
Suppose 0 = 4*f - 127 - 3781. Let n = f - 670. Is n a composite number?
False
Let r(s) = 2*s**2 - 63*s - 26. Let i be r(32). Suppose -8*v + i*v = -3086. Is v composite?
False
Let s = -698 - -708. Is ((-9)/(-5))/(-3) - (-130316)/s a prime number?
False
Let j be 8/(4 - -4) + 2. Suppose -j*b - 2*u + 1236 = b, -626 = -2*b + u. Is b prime?
True
Let s = -8606 - -23197. Is s a composite number?
False
Suppose o = 4*b - 140760, 2*b + 5*o = 3*o + 70390. Suppose c - b = -5*r - 0*c, -2*r - 3*c = -14066. Is r a composite number?
False
Suppose -8 = -3*r + 4. Suppose -4*j - 14 = z, r*j = -3*z - 0*j - 26. Is ((-8405)/(-45) + z/(-27))*1 a composite number?
True
Suppose 0 = 2*i - 3*i. Suppose i = -2*f + 2*p, 3*f - 36 + 12 = -5*p. Suppose 2*d - 890 = -f*d. Is d composite?
True
Let q = 114725 - -1416. Is q prime?
True
Suppose 4*x = -48*w + 51*w - 5453, 2*x = 5*w - 9107. Is w prime?
True
Let k(n) = 16*n**2 - 15*n + 19. Let x be k(9). Suppose y - 6*y = -x. Suppose 4*z - 4*s - 300 = 0, 2*z + 72 = -5*s + y. Is z a prime number?
False
Suppose -42 - 16 = 4*z + v, 5*z - 5*v = -85. Is (-24)/16*7970/z composite?
False
Suppose 0 = -35*c + 33*c + 8. Suppose -8*x = -c*t - 9*x + 12076, -3*t - 3*x = -9057. Is t a composite number?
False
Let s = 47 - 72. Let o be (-19)/114 - s/6. Suppose 1364 - 252 = o*h. Is h a prime number?
False
Suppose 3*l + 1167269 = 4*b, -108*b + 291806 = -107*b + 3*l. Is b composite?
True
Let x(p) = -2*p + 14. Let b be x(6). Let g(n) = -6 - 3 + 9*n + b - 8. Is g(8) a composite number?
True
Suppose -192*y = -91*y - 1716899. Is y a composite number?
True
Let m(k) = -k**2 - 52. Let x be m(0). Let g = -52 - x. Suppose 2*d - 5*d = 3, g = 3*s - 3*d - 672. Is s prime?
True
Suppose 11*b = b + 40. Suppose -2*p = f + 1869, 2*f - 3729 = b*p + f. Let a = 1592 + p. Is a composite?
False
Let o = -113809 + 165582. Is o a composite number?
True
Suppose 0 = -113*i + 289*i - 1551952 - 1598976. Is i a prime number?
True
Suppose 114*h - 23435953 = 7334526 + 33618659. Is h prime?
False
Let f(w) = -14529*w**3 - 10*w**2 + 5*w - 11. Is f(-3) a composite number?
True
Suppose -38534 - 455575 = -9*o. Suppose 2*a = -3*l - 2*a + o, 12 = 3*a. Is l a prime number?
False
Suppose 8*p - 37084 + 6311 = 7555. Is p a composite number?
True
Suppose -339063 = -28*a + 78022 - 76913. Is a composite?
False
Let j(q) be the third derivative of 0*q + 0 + 11/6*q**4 + 15*q**2 - 5/6*q**3. Is j(5) composite?
True
Let g(j) = 23960*j + 1423. Is g(17) prime?
True
Suppose 294630 = 8*v - 381362. Is v a composite number?
False
Let r be (0 - -274)/(9/(-11 - 169)). Is 3 + (r + 0)/(-5) prime?
False
Suppose o - 125000 = -s + 5550, -4*s - 1174963 = -9*o. Is o composite?
True
Suppose 0 = 3*u + 3*l - 544260, 5*l - 154806 = 2*u - 517653. Is u a composite number?
False
Let s = 443181 + 592966. Is s a prime number?
False
Suppose -22*f + 25*f - 2745 = 0. Suppose -124766 = -13*s - f. Is s prime?
False
Let y(s) = -345*s**3 + 16*s**2 + 7*s - 6. Let j be y(-4). Suppose -3*a - 3*l = -j, 2*a - 16326 = 3*l - 1463. Is a composite?
False
Suppose -18199640 = 26*f - 66*f. Is f a prime number?
True
Suppose -5*v + 321880 = -404*t + 407*t, 5*v = -5*t + 321890. Is v prime?
True
Suppose 2*t - f - f = -2, -2*t - 5*f = -12. Is (t + 0*(-4)/8)*1039 a prime number?
True
Suppose 6389791 + 5260645 = 28*z. Is z a prime number?
False
Suppose -55*w + 108 = -28*w. Suppose 7*s - 4*f = 11*s - 2992, -w*f - 2230 = -3*s. Is s a composite number?
True
Let n(r) be the first derivative of 3*r**2/2 - 9*r + 15. Let f be n(3). Suppose 4*d + 1770 = 3*m, -2*m - 4*d + f*d + 1160 = 0. Is m a prime number?
False
Let r(t) = -40729*t + 10. Suppose 2*y + 10 = -2*b, 0 = -12*y + 7*y - 20. Is r(b) composite?
False
Suppose -3*m + 168006 = 3*j, -6 = -5*j + 3*j. Is m a prime number?
False
Let v(r) = -14*r**2 - 7*r + 4. Let y be v(-6). Let o(k) = 500*k - 1840. Let j be o(5). Let s = j + y. Is s a prime number?
False
Suppose -115*n - 851192 = -64*n - 59*n. Is n a prime number?
False
Suppose -3*q - 4*s = -4, 2*q + 0*q - 18 = 5*s. Is 1/3 - (q + (-4154)/3) composite?
False
Let r be (-3*(-10)/(-15))/(-1). Suppose 20 = y + 5*x, 3*y + 0 - 9 = r*x. Suppose 5*o - 25 = 0, -5*w = -y*o + 4*o - 2040. Is w a prime number?
True
Let z(s) = 51*s**2 - 5*s + 1. Let i be z(-1). Is 6/i + -1*(-146997)/57 composite?
False
Let v(m) = 40*m - 1. Let g(f) = -39*f + 2. Let w(k) = 3*g(k) + 2*v(k). Let l(z) = -z**3 + 5*z**2 - 2*z + 7. Let s be l(5). Is w(s) a prime number?
False
Let c = 35 - 31. Let l be c/6 + 5/15. Let f = l + 9. Is f a composite number?
True
Suppose 2*l - 2400 - 2224 = -2*i, 0 = 2*i + 10. Is l a composite number?
True
Suppose s + w + 0*w + 82 = 0, 5*w - 390 = 5*s. Let i = s + 127. Let a = i + 110. Is a prime?
True
Is (3 - 8/2) + (140981 - 3) prime?
True
Let x = -596398 - -1004291. Is x a prime number?
True
Suppose -3*y = 12, -y - 2*y - 60 = -3*x. Suppose -2*d = -3*d - 5*h - 1, -2*d = -2*h - 10. Is 1*d/(-6)*(-2712)/x a composite number?
False
Suppose 0 = -21*c + c + 60. Suppose 0 = -n - m + 698, -5*n + 4*n - c*m = -692. Is n a prime number?
True
Suppose v = -0*v. Suppose v*j - j - 12 = -5*a, a + 2*j - 9 = 0. Suppose -3*i - 2*t - a*t = -1596, -2*i + 3*t + 1045 = 0. Is i prime?
False
Suppose 0 = -32*i + 18063281 + 5683631. Is i prime?
False
Suppose 2*f + 1935 = -3*f. Let d = 827 + f. Let r = 1489 - d. Is r a composite number?
False
Suppose 1061 - 9851 = 2*n. Let r(p) = -5*p**2 - 23*p + 118. Let b be r(20). Let j = b - n. Is j composite?
False
Let c(s) = -s**2 + 3*s + 7. Let k be c(5). Suppose -22*p = -18*p - 8. Is (k/p)/(18/(-6780)) prime?
False
Let i = 6171 + -3372. Suppose -5*h - 7325 = 5*d, 4398 = -3*d - 5*h + h. Let a = d + i. Is a a prime number?
False
Suppose 13*v = 2664487 + 3646894 - 1534882. Is v prime?
False
Let z be (-8)/(-20)*(-15)/3. Is ((z + 1)*-3)/(36/9852) prime?
True
Suppose -4*m + 5*t = 12546 - 44694, t + 24111 = 3*m. Suppose -40*i = -49*i + m. Is i a composite number?
True
Suppose -307*b - 4754807 = -326*b. Is b prime?
True
Suppose 0*c = -5*c + 10. Suppose b + 18 = 3*l + c*l, 2*l - 2 = 3*b. Suppose 1257 = l*m - 3179. Is m prime?
True
Let j = -1855 - -6166. Let h be -1 - 1*(-1 - 1). Is h/((-3)/j*-3) a composite number?
False
Let w(u) = -u**3 - 13*u**2 - 3*u + 7. Let k be w(-14). Suppose -5*n = -2*h - k, -5*n + h = -244 - 6. Suppose 0 = -48*i + n*i - 1437. Is i a composite number?
False
Let m(u) = 32*u**2 - 4*u**2 - 5 + 16*u**2 + 3*u + u. Suppose x = -p - 0*x + 4, 5*p + 4*x - 18 = 0. Is m(p) prime?
True
Let s = 1937 + 16. Suppose 5*a - 10*a - v = -s, -v + 389 = a. Is a composite?
True
Suppose z - 1 + 0 = 5*d, -14 = -2*z + 4*d. Suppose 0 = -z*f + 18*f - 3731. Suppose 401 + f = 2*q. Is q a prime number?
True
Let k(m) = 225*m**2 + 7*m + 17. Is k(15) a composite number?
True
Let u be (-53)/6 + 17/(-102). Let n(g) = 4*g + 12. Let v be n(u). Is (6/(v/5884))/(2/(-2)) composite?
False
Suppose 0 = -3*y - o + 54, -51*y + 5*o = -56*y + 80. Suppose -y*w - 16*w = -249235. Is w a composite number?
False
Let g = 43306 - 25247. Let b = g + -8158. Is b a prime number?
True
Suppose 122*p - 2*y = 118*p + 956322, 3*p - 717248 = -5*y. Is p a composite number?
False
Suppose -2*l + 28 + 16 = 0. Suppose 3*o + 9 = 18. Suppose -z + 61 = o*u, 43 = z + u - l. Is z a prime number?
True
Let b(z) = 3910*z**2 + 9*z - 17. Suppose 0*x - 10 = -5*v - x, -6 = -3*v + 5*x. Is b(v) a composite number?
False
Let i(k) = -16*k**2 + 3*k + 13119. Let o(d) = -7*d**2 + d + 6559. Let y(v) = -2*i(v) + 5*o(v). Is y(0) composite?
True
Let k(f) = 445*f**2 + 4*f + 5. Let w(u) = 445*u**2 + 5*u + 6. Let l(j) = 7*k(j) - 6*w(j). Let h be l(-1). Let n = h + -305. Is n prime?
False
Suppose -w = -2*y + 2*w - 190, -94 = y - w. Let z = y - -134. Is -2 + 12/7 - (-3498)/z composite?
False
Let s(m) be the third derivative of -27*m**4/8 + 5*m**3/6 + 3*m**2. Let a be s(2). Is a/(-5) - 16/40 composite?
False
Suppose -34*i + 29*i - 30 = 0, 4*i = -4*p + 610252. Is p prime?
False
Let r(j) be the first derivative of j**4/2 - 5*j**3/3 - 5*j**2/2 + 3*j - 9. Let f be r(5). Let i = 234 - f. Is i a prime number?
True
Suppose -m + 44934 = -2*t + 10183, 0 = -5*t - 3*m - 86850. Let d = t + 26840. Is 