ppose b*k + 887 = -3*x + 13049, 3*x - 12150 = -k. Is x prime?
True
Let u(v) = -4*v**2 - 10*v + 29. Let w(h) = 2*h**2 + 5*h - 14. Suppose 2*y = -4*i + 26, -10 = -5*y - i + 28. Let x(d) = y*w(d) + 3*u(d). Is x(8) a prime number?
True
Suppose 0 = -4*f + 4, -5*r + 2*f + 6 = -32. Suppose -4*i + 523 = -5*m, 384 = 3*i - r*m + 7*m. Is i a composite number?
False
Let x(t) be the second derivative of -t**5/5 - 53*t**4/12 - 19*t**3/3 - 8*t**2 + 30*t. Is x(-15) a prime number?
True
Suppose -3*j + 27 = 3*v, -3*v + 5*j = -6*v + 35. Is (-28)/8*((-94590)/v - 4) a composite number?
True
Suppose -453*w + 462*w = 109206. Is w composite?
True
Let d = -942 + -221. Let t(m) = -175*m + 29. Let r be t(-11). Let f = r + d. Is f a prime number?
False
Suppose -d + 799 = 4*a + 255, -4*d = -5*a - 2176. Suppose 5*v - d = -w + 1114, -1662 = -w - v. Is w a composite number?
False
Let h = 111644 - 42175. Is h prime?
False
Let k(n) = -4*n - 16. Let d be k(-4). Suppose -190 = -2*r + m, -6*r + r + 5*m + 465 = d. Is r a composite number?
False
Suppose -3*b + 9 = -3*k, -4*k = -b - 1 + 13. Let u be (-84)/(-21) - (b - 4). Is (2 - (-3393)/(-2))/((-4)/u) a composite number?
False
Let l(b) = -3*b**3 + 3*b + 211. Let c(v) = -4*v**3 - v**2 + 3*v + 212. Let j(r) = -2*c(r) + 3*l(r). Is j(0) a prime number?
False
Is 5/(-3)*(-508)/10*527424/5248 composite?
True
Suppose 3*f - 9001186 = -118*f - 42*f. Is f prime?
False
Let q(i) = 10786*i + 3494. Is q(54) a prime number?
False
Let n be (-6)/(-1 - 2/4). Suppose n*z + 5*l = -17, -3 = -0*z - 4*z - l. Suppose 456 = 4*t + z*h, -5*t = 5*h - 442 - 123. Is t a composite number?
True
Suppose 2*j - 2368 = -2*w + 1136, -2*j + 3489 = -3*w. Let h = j - 933. Let f = h - 399. Is f composite?
True
Let l = 76 - 61. Suppose -907 + 8962 = -l*c. Let o = c + 914. Is o a prime number?
False
Let g = 9733 + -14518. Let j = 362 - g. Is j a prime number?
True
Let h(a) = 891*a**2 - 142*a + 34. Is h(-25) a composite number?
False
Suppose 0 = 4*g + 25499 - 100551. Is g a prime number?
False
Let k(p) = -33*p + 7*p**2 + 7 - 5 + 2 + 7. Is k(-21) a prime number?
False
Let f = -905 - -2609. Let b be 1/(-3) - 7136/(-6). Let t = f - b. Is t composite?
True
Let r(c) = 452*c - 55. Suppose 121*w - 123*w = -6. Let s(q) = 451*q - 54. Let d(a) = w*s(a) - 4*r(a). Is d(-5) prime?
True
Suppose -h + 2*u = 53, -h + 5*u - 35 = 12. Is (h/(-6) - 4)/((-2)/(-19132)) a prime number?
False
Suppose 0 = -37*i + 104*i - 21110765 - 20252288. Is i prime?
True
Let x(b) = -8754*b - 2405. Is x(-12) a composite number?
False
Let n be (-216542)/(-22) + -1 - (-6)/33. Suppose 2*w + n = -552. Let o = -3558 - w. Is o a composite number?
True
Let m = 101939 + -47298. Is m composite?
True
Let n(p) = -p**2 + 16*p + 4. Suppose -o + 27 - 11 = 0. Let x be n(o). Suppose s = 4*w - 661, -2*w - 3*w = x*s - 842. Is w a prime number?
False
Let a(j) = 26*j - 182. Let y be a(7). Suppose y = 7*i - 4*i - 16743. Is i a prime number?
True
Let v(h) be the second derivative of h**4/4 + 2*h**3/3 + 8263*h**2/2 - 2*h + 8. Is v(0) prime?
True
Suppose 4*s = -5*r + 1319, -8*r - 646 = -2*s - 6*r. Is 1 + 0/(-1) + 10 + s a composite number?
False
Let m be (4 - (9 + -4)) + (-1)/(-1). Suppose 2120 = f - 3*i, -2*f + m*i = i - 4261. Suppose -u = -3*p + 2119, 0*p + 3*p - f = -4*u. Is p a prime number?
False
Let v = 22 - 12. Suppose -2222 + 795 = 3*t - 4*k, 0 = -2*k + v. Let m = t + 888. Is m composite?
False
Let q(w) = -w**2 + 31*w. Let i be q(13). Let h be i + (2 - (-3 + 6)). Suppose -3*o + 82 = s, -h = -3*s + 3*o + o. Is s a composite number?
False
Let h(j) = -j**3 - j**2 + 2*j + 2121. Let o be h(0). Suppose o = 6*s + 13347. Let n = 5542 + s. Is n composite?
False
Let w(u) be the second derivative of -60*u**3 + 0 - 17/2*u**2 + 3*u. Is w(-5) prime?
True
Let a be 3/4 - (-20)/16. Suppose -i - 5 = -a*i. Suppose -128 = -i*d + 317. Is d composite?
False
Let c(u) = -7*u - 2. Let j be c(3). Let h = j - -25. Suppose h*p - 15 - 1003 = 0. Is p prime?
True
Let j(v) = 3*v**3 - 6*v**2 - 50*v + 9. Let y be j(-9). Let k = 4547 + y. Is k prime?
True
Suppose -4*h - 12 = -7*h. Suppose h*d = -3*u + 977, 4*u + 2*d + 0*d - 1316 = 0. Is u composite?
False
Suppose 4*y = 378 + 2698. Suppose 4*f + 3*v = y, -f - f - 4*v + 382 = 0. Let i = 1608 + f. Is i a prime number?
True
Let j(b) = 7*b - 103. Let g be j(16). Is (1 + 10830)/(g - 8) composite?
False
Suppose -2*c = -6, 3*m = -11*c + 12*c + 119280. Is m composite?
False
Let d be (2/(-6))/(4/60). Let j(p) be the second derivative of -7*p**3 - 7*p**2/2 + 116*p - 2. Is j(d) prime?
False
Let n = -45051 + 110800. Is n prime?
False
Let i be 120/28 - 4/14. Let n(h) = 9*h**2 - 19*h - 1. Let k(o) = o. Let q(t) = i*k(t) + n(t). Is q(-6) prime?
False
Let u(c) = 3*c**3 + 2*c. Let y = -78 + 79. Let t be u(y). Suppose a + 2*a - 2397 = -3*i, -t*i + 2401 = 3*a. Is a a composite number?
False
Suppose -30*t + 26*t = 3*f - 512235, -f + 170732 = -3*t. Is f prime?
True
Suppose 2*u - 3*z - 928426 = 0, 89*z = 3*u + 94*z - 1392639. Is u a prime number?
True
Let f = 61253 - 35082. Is f composite?
False
Let g = 497 - 501. Is -6*(7318/g - 6) a prime number?
False
Let r = 9138 - 1064. Suppose -r = 11*o - 13*o. Is o composite?
True
Is (-53738)/2*(10/(-25))/(6/15) a prime number?
False
Let n(o) be the first derivative of -2*o**3/3 - 3*o**2 - 3*o + 5. Let t be n(-2). Is t*((-2)/(-2) + 144) composite?
True
Let k(j) = -32*j**3 + 10*j**2 - 18*j - 17. Is k(-13) a composite number?
False
Let l be (-1184194)/(-228) - (1 - 1/6). Let q = l - 1786. Is q a prime number?
True
Suppose 0 = -2*f - 0*f - 2. Is ((-1901)/(-2)*-2)/f a prime number?
True
Let d be ((15/9 - 1) + 0)*8412. Suppose 4*q - 2468 - d = 0. Suppose -q = p - 4*p. Is p a prime number?
True
Let a(k) = -k**3 - 8*k**2 - 8*k + 4. Suppose 2*r = -3*z - 19, 0 = 4*z - 3*r + 7*r + 24. Let g be a(z). Suppose 4044 = g*t - 367. Is t composite?
False
Let t(j) = -j**3 + 3*j**2 + 7*j - 26. Let z be t(4). Let d(i) = -1526*i + 3. Is d(z) a composite number?
True
Suppose -2*p + 156 - 142 = 0. Suppose 0 = p*h - 236 - 233. Is h a prime number?
True
Let k(i) = 134*i**2 + 40*i + 77. Let n(p) = -44*p**2 - 13*p - 26. Let m(q) = 3*k(q) + 8*n(q). Let y be ((-10)/4)/(2/4). Is m(y) prime?
True
Let m = -8069 + 14409. Suppose m = 5*b - 0*b. Let d = b - 417. Is d prime?
False
Let s(h) be the second derivative of -463*h**5/20 + h**4/3 + 5*h**3/6 - h**2/2 - 26*h. Is s(-2) a composite number?
False
Let o = 159553 - 107786. Is o a prime number?
True
Suppose -5 = -3*c - 2*c, -2*c + 295070 = 3*t. Suppose -6*j + 2*j + 4*r = -t, -4 = -r. Is j composite?
False
Is (95/57*6/(-4))/(15/(-1181946)) composite?
False
Let b(y) = 3*y**2 + 5*y - 27. Let w be b(3). Let j(c) = -c**3 + 8*c**2 + 10*c - 5. Let t be j(9). Is (502/t)/(5/(w - 5)) a composite number?
False
Let k(q) = q**3 - 4*q**2 - 2*q + 10. Let a be k(4). Suppose 4*p - 386 = a*j, 3*j + 3 = 6. Suppose -3*w - 173 = 4*u - 9*u, -5*w + p = 3*u. Is u a prime number?
False
Suppose 3*r = -2*r - 3*z + 1962359, 4*r - 3*z = 1569898. Is r a composite number?
False
Suppose -2*f + 420 = -6*f. Let a(z) = 13*z**2 + 114*z. Let d be a(-10). Let n = d - f. Is n prime?
False
Suppose 166*o + 10729055 = 177*o + 3827996. Is o a prime number?
False
Let k = -213 + 212. Is (k/2)/((-1)/1076) a composite number?
True
Suppose 0 = 32*j - 28*j - 40. Suppose -j*k + 20267 = 3*k. Is k a composite number?
False
Suppose 0 = -4*j + 4*k, -2*j - 34*k + 31*k + 15 = 0. Is (7563/9)/(6/54*j) a prime number?
True
Suppose 42*j + 20*j = -54476 + 1157022. Is j composite?
False
Let p(k) = -4477*k**3 - 27*k**2 - 104*k - 127. Is p(-6) a composite number?
False
Let b be -18*-8457*(-8)/(-72). Let h = -5515 + b. Is h composite?
False
Suppose -29 = -6*p - 5. Let t be 7 + -7 - 5/((-10)/3508). Suppose p*k - t = 2*k. Is k prime?
True
Let n = 256562 + -130255. Is n a composite number?
False
Let m(p) be the first derivative of -p**2 + 5*p - 1. Suppose 2*f + 2*t = 0, 21*t = 4*f + 22*t + 9. Is m(f) a prime number?
True
Let h(t) = 58*t**2 + 0*t - 25*t**2 - 25*t**2 + 2*t. Let p be h(1). Let a(c) = 2*c**3 - 16*c**2 + 13*c - 9. Is a(p) a prime number?
True
Let m(k) = 54*k - 7. Let p be m(-6). Let z be ((-345)/25 + 5)/(4/(-320)). Let r = p + z. Is r a prime number?
True
Let s be 3 - (-557082)/27 - (-2)/(-3). Suppose 16*t - s = 11*t. Is t a prime n