 -t*k, 5*b - 7310 = -5*k. Is b composite?
False
Suppose 118*n - 116*n + 921716 = 2*u, 4*n - 1843440 = -4*u. Is u composite?
True
Let n(u) = -64*u**3 - 13*u**2 + 42*u - 13. Let v be n(6). Let r = v + 23616. Is r prime?
False
Let z = -863 + 784. Let n = z + 270. Is n a composite number?
False
Let n(m) be the first derivative of m**4/4 - 22*m**3/3 + 11*m**2/2 - m + 5. Suppose 400 = 15*c + c. Is n(c) prime?
False
Let g(t) = 16*t + 3. Let u(f) = 32*f + 7. Let p(j) = 5*g(j) - 2*u(j). Let x(k) = 15*k + 1. Let i(d) = 6*p(d) - 5*x(d). Is i(6) a prime number?
True
Let i(g) = -3*g**2 - 8*g + 21. Let w be i(-4). Let r(u) = -31*u - 13. Let t(z) = -30*z - 13. Let l(h) = 6*r(h) - 7*t(h). Is l(w) a prime number?
False
Let t(m) = 181876*m - 63. Is t(1) prime?
True
Let o(f) = -4*f**2 + 4*f + f**3 - 5 - 7*f**3 + 2*f**3. Is o(-11) a prime number?
False
Suppose 4*y + 5*l = -10, -l - 2 = -18*y + 14*y. Suppose y = -23*m + 20*m + 8943. Is m prime?
False
Let j(c) = -2*c - 13 + 14*c + c - 4*c**3 + 3*c**2. Let u(v) = -v**2 + v. Let x(p) = -j(p) + 2*u(p). Is x(6) a prime number?
True
Let f = 143075 + -72698. Is f a composite number?
True
Let s = -2405 + 3560. Suppose t - 1540 = -4*o, -5*o + s = -2*o + 2*t. Suppose -o = -2*h + 193. Is h prime?
False
Let i be (2/(8/238))/((-5)/(-710)). Let m = i + -4800. Is m a prime number?
False
Suppose -4*s - o + 104920 = 0, -o = -298*s + 300*s - 52458. Is s a prime number?
False
Let q(t) be the second derivative of 5/6*t**3 + 0 - 1/10*t**5 - 7/2*t**2 - 5/6*t**4 - 11*t. Is q(-8) composite?
False
Suppose 61*u - 1400729 = 32*u. Is u composite?
True
Let x(y) = 3*y. Let p be x(1). Suppose 117 = -u + 120. Suppose -u*q - 4*s = 2*q - 2314, 1386 = 3*q + p*s. Is q prime?
False
Let p be (1 - 0/1) + -451 + 220. Let m = p + 281. Is m a composite number?
True
Suppose 3*r = g + 971, -g + 5*r = -5*g - 3867. Let p = 16540 - g. Suppose -p = -0*v - 12*v. Is v prime?
True
Let o(v) = 11*v**3 + v**2 - 18*v + 4. Let f be o(7). Suppose 0 = -8*y - f + 14892. Is y composite?
False
Suppose 0 = -i - 5*q + 111, -3*q = -i + 21 + 66. Is (120/i)/(2/2488) prime?
False
Is -8*(-23)/(-736)*-3108124 composite?
False
Let h = -129794 - -387231. Is h composite?
False
Suppose -5*o - 1 = 14, 3*h - 15 = -5*o. Let v be 4/h*10/1. Suppose 1170 = v*w - 10. Is w a prime number?
False
Let v(h) = 3*h**3 + 15*h**2 - 16*h + 28. Let g be v(10). Suppose -p - 3*w + 2185 = 0, p + p - g = -5*w. Is p a prime number?
True
Suppose -8091 = -4*z + 2794657. Is z a prime number?
False
Suppose -4*a + c = -32 + 71, 4*a + 5*c + 21 = 0. Is 2/((108/(-23838))/a) prime?
False
Suppose 83780 = 21*m - 11224. Let l = m - 1517. Is l composite?
True
Let q = -33107 - -61104. Is q a composite number?
False
Let s(a) = 1016*a**2 - 3*a - 764*a**2 - 78 - 14*a. Is s(-7) a prime number?
False
Suppose 4*b - 6 = 5*p, -3*b + 8 = -4. Let y = 7 - 4. Suppose 1737 = 3*t + p*c, -463 = 3*t - y*c - 2215. Is t composite?
True
Let a(s) = 2309*s - 1343. Is a(30) prime?
True
Suppose 0 = -17*n + 22*n - 5. Let k be (n - 0) + (-9)/(-9). Is 863 + (2/3)/(k/6) composite?
True
Suppose -83*t + 72*t = -911163. Is (2/(-3))/((-1)/t*2) prime?
True
Let g(m) = 3*m**2 - 17*m + 6. Let q be g(8). Let h = -255 - q. Let x = 528 + h. Is x a composite number?
False
Let k(f) = -f**3 + 6*f**2 + 29*f - 13. Let n be k(9). Suppose n*q = -2*v + 12227, -v + 3*q = 1057 - 7187. Is v a prime number?
True
Is (9 - 1029/105) + (-5)/((-25)/590094) prime?
False
Suppose -3*d = 4*p - 17 - 66, 0 = 4*p + d - 81. Suppose -3*r - 8 = -p. Suppose 5*u - 13838 = -j + 2*j, r*u + 4*j - 11056 = 0. Is u composite?
False
Suppose 14*m + 3531 = 25*m. Let u = 32 + m. Is u a prime number?
True
Suppose 2849592 = 13*t - 2425561. Is t a composite number?
False
Let f(o) be the third derivative of -o**5/30 - o**4/2 + o**3/2 - 36*o**2. Let i be f(-6). Suppose 0 = d + i*d - 8, 2*l = 4*d + 3078. Is l a prime number?
True
Let o(u) = -u**2 + 13*u - 26. Let x be o(10). Suppose x*g - 1039 = -r, 2*r - 2374 = 5*g - 231. Is r a composite number?
True
Let l(m) = 4*m + 2. Let p be l(1). Suppose 23*r - 20*r = p. Suppose -r*h + 4*g - 647 = -7*h, 0 = -h - g + 130. Is h composite?
False
Let y(h) = 38*h**2 - 32*h + 181. Let p(t) = -8*t + 51. Let n be p(5). Is y(n) a composite number?
True
Is (-24841083)/(-15) - ((-84)/(-35))/(-3) a prime number?
True
Let l(c) = 1550098*c**2 + 229*c + 230. Is l(-1) a composite number?
False
Let v(q) be the second derivative of 51*q**4/4 + q**3/6 - 5*q**2/2 - 16*q. Let s(y) be the first derivative of v(y). Is s(1) a prime number?
True
Suppose 746023 = 102*c - 17830523. Is c composite?
False
Suppose -240*o + 238*o + 17894 = 0. Is o prime?
False
Let y(r) = -6*r - 1. Let s be y(-4). Suppose -16*u = -s*u + 14. Suppose -805 = -5*h + m, 198 + 124 = 2*h - u*m. Is h a composite number?
True
Let k(r) be the third derivative of r**6/120 - 7*r**5/30 + 9*r**4/8 + 19*r**3/6 - 179*r**2. Is k(20) composite?
True
Let s(f) = 248*f + 0 - 42*f - 6 + 149*f. Is s(5) a composite number?
True
Let t(w) = w**3 - 22*w**2 - 25*w + 70. Let l be t(23). Suppose 7*s - l*s = -10727. Is s prime?
True
Suppose -i + 2*j = -4, 4*i - 5*j - 10 = -0. Suppose i = -5*d - 815 - 685. Let u = 578 + d. Is u prime?
False
Suppose 0 = 3*j - 6*g + 3*g + 21, -5*g - 25 = 0. Let x be (31 - 41) + 6/1 + 6. Is ((-76)/j)/(x/6) a prime number?
True
Let g(i) = 5*i + 17 + 6*i**2 - 4*i**2 + 4 + 10. Suppose 4*t - 20 = 28. Is g(t) a composite number?
False
Let m be (4 + -5)*-5 + (-5 - -2). Suppose s = 2*d - 2117, 2*d - m*s + 1071 = 3*d. Is d prime?
True
Suppose 7*f = -0*f + 98. Let y be (-6)/f + 11648/196. Suppose 5*o - y = -3*u, -2*o - 3*u = o - 39. Is o a prime number?
False
Let j(l) be the third derivative of l**5/60 + l**4/8 + 102*l**3 - 22*l**2. Let h be j(0). Is (-2 - h)/((-10)/5) prime?
True
Let f be 18/14 + -1 + 76980/70. Suppose 4*j = 8*j - f. Let k = j - 116. Is k a prime number?
False
Suppose -d + 6*d = -10. Let x be (d - -11759)/3 - (1 - 4). Suppose -4*o - 16 = 0, 2*w = -3*o - 0*o + x. Is w a prime number?
False
Let p(j) = -12*j - 13. Let q be p(-6). Is (q*1)/(21/6 - 3) a composite number?
True
Suppose 0 = 3*w - n - 99455 - 45391, -3*w = 4*n - 144831. Is w a composite number?
False
Let q = -7487 - -32080. Is q composite?
False
Suppose 4*w + 300417 = 5*h + 13314, 0 = 4*h + 4*w - 229740. Is h a prime number?
True
Let l = 813778 + -541749. Is l prime?
True
Suppose -476051 = -16*b - b. Is b prime?
False
Suppose -2*l + 31000 + 13462 = -4*i, -3 = -i. Is l composite?
True
Suppose 6*d - d + 3*c - 359794 = 0, -5*c - 71942 = -d. Is d composite?
True
Let p(a) = a**3 - 2*a**2 + 2*a + 1. Let w be p(3). Suppose 0 = -10*m + w + 4. Suppose -1916 = -4*g + 4*s, -3*g = -m*s - 20 - 1417. Is g composite?
False
Let k(m) = -m**3 + 47*m**2 - 66*m + 89. Let f be (-226)/(-6) + ((-154)/(-42))/11. Is k(f) a composite number?
True
Let t = 25 - 43. Is (-40)/t - 2/9 - -3179 prime?
True
Let h(q) = 273*q + 2. Let d be 6/((-18)/(-15)) - 4. Let y be h(d). Suppose -w = 4*w - y. Is w a composite number?
True
Suppose -6*n - n = -7. Is (108 + -25)/(n/5) a composite number?
True
Is 1 + 238896 + -3 - (-9 - -12) a prime number?
False
Let a(k) = -11122*k + 9455. Is a(-22) a composite number?
True
Suppose -5*c - 3*v - 119 = -3*c, 4*v = c + 43. Let i = c - -43. Is (5 - 2620/i) + 2/(-6) a composite number?
False
Let b be (531 + 3)*(-4)/(-3) + 4. Let n = b + 339. Is n a composite number?
True
Suppose 0 = -i + 3*k - 6, 3 = -2*i - 3*k + 9. Suppose -6*a - 9024 + 32466 = i. Is a a prime number?
True
Let z be (1910/6 - -1)*3. Suppose -4*i + 2099 + 7096 = 3*t, 3*i + 3052 = t. Let f = t - z. Is f prime?
False
Let f(m) = m - 1. Let k be f(5). Suppose 2*v = i - 2388, -2387 = -i - 8*v + 11*v. Suppose -k*q = -2358 - i. Is q composite?
False
Let r(k) = 18882*k**2 - 7*k - 162. Is r(-5) a prime number?
True
Suppose 0 = 6*m - 473 - 409. Let j = m + 184. Is j a composite number?
False
Let a = -203 + 178. Let s = 3612 + a. Is s a prime number?
False
Let f(i) = -i**2 - 6*i + 17. Let b be f(-9). Let y be 2/(-12)*3*b. Suppose -y*z + 2616 = 3*a, 4*z = 5*a + 3*z - 4388. Is a a composite number?
False
Let c = -6969 - -28072. Is c composite?
True
Let z(u) = u**3 + 16*u**2 + 18*u - 20. Let l(w) = w**3. Let a(h) = 2*l(h) - z(h). Let o be a(17). Suppose 20 = m - o. Is m prime?
True
Suppose 0 = 