 v = -40 - -60. Suppose 0*f = -f - v. Is y(f) a composite number?
False
Suppose 40*j = 29*j + 22. Suppose -5*f + u = -71404, 3*f = -5*u + j*u + 42846. Is f a composite number?
False
Is 187396/2 + (-1050)/70 a prime number?
True
Let y be -3 - (-3 - 2 - 4). Let u(s) = 434*s + 364*s - 108*s - 181*s - 17. Is u(y) a prime number?
True
Suppose -82859630 = -86*m + 16*m. Is m a prime number?
True
Let s be 5 - 6 - -11 - 7. Suppose -4*g + s*g = 5*x - 7633, 0 = -3*x - g + 4579. Is x composite?
True
Let y = -51687 + 120664. Is y a composite number?
True
Let m(y) = -y**3 - 13*y**2 + 2*y - 19. Let z = 48 - 64. Let d be m(z). Suppose -740 - d = -3*o + 2*n, -8 = -4*n. Is o a composite number?
False
Let s(w) = 0*w + 1117*w**3 + 134 - 137 + 4*w**2 - 5*w. Is s(2) a composite number?
True
Let t = -1395 + -1657. Let k = t - -4808. Suppose 4*n + 0*n - k = 0. Is n prime?
True
Let n(o) = 2 + 0*o**3 + 4*o - 1 - 4*o**3 - 8. Let f be (-7)/14*10 - (0 - 1). Is n(f) composite?
False
Let k be (-8)/12 + (-30)/(-18). Let n(g) = -3 - 14*g + k - 4 - 53*g. Is n(-11) a prime number?
False
Suppose 1344250 - 85605 = 28*u - 989559. Is u prime?
False
Let q = -1266 + 10419. Let i = q + -3852. Let r = i - 3774. Is r prime?
False
Let a(q) = q**2 + 18*q + 82. Let z be a(-7). Let o(h) = 745*h**2 + 7*h - 25. Is o(z) a prime number?
False
Let a be (-4)/(-6) - (-280)/12. Let s be 1/(-6) + 4/a. Suppose -794 = -2*w - 5*j, -830 = -2*w - s*j + 4*j. Is w a composite number?
True
Is (-602)/(-1806)*(1 - -861656) a prime number?
True
Let t = 507 - 2180. Let g be 3/12 - 21774/(-8). Let d = t + g. Is d composite?
False
Let f(m) be the second derivative of m**5/20 + 7*m**4/6 + m**3/6 + 17*m**2/2 + 13*m. Let i be f(-14). Suppose -4*p = i*p - 5327. Is p prime?
True
Let a(n) = 42924*n + 1397. Is a(11) prime?
False
Let q = -40 + -168. Suppose 4*k - 979 - 441 = 0. Let h = k - q. Is h a composite number?
False
Let t be 1/(-3 - -4) + 306. Suppose 4*s - 16 = 0, -2*o + 4*s + 27 = -t. Let f = o - -612. Is f prime?
True
Let q(h) = -h**3 + 21*h**2 - 2*h + 9. Let j be q(21). Let l = j + 30. Is (12/14)/l + (-93684)/(-84) a composite number?
True
Suppose 4*a - 1842224 - 2234936 = 1566156. Is a prime?
False
Suppose 4*a = 16, 0 = g + g + a - 69872. Let z = -16297 + g. Is z a prime number?
True
Let y(l) = 7*l**3 - 13*l**2 + 64*l + 7. Let w(m) = 12*m**3 - 27*m**2 + 128*m + 15. Let i(s) = 3*w(s) - 5*y(s). Is i(26) prime?
False
Let s(i) = 265*i**2 + 77*i - 1425. Is s(26) a prime number?
True
Let t(x) = 5 + 16*x - 28*x + 9. Let q be t(-19). Suppose 7*l - 2047 - q = 0. Is l a prime number?
False
Let d(z) be the first derivative of z**4/4 + 2*z**3 - 13*z**2 + 17*z - 22. Is d(10) composite?
True
Suppose 0*c + 5*c - 253 = q, 209 = 4*c - 3*q. Is 2/(-10)*-2423 + 20/c composite?
True
Suppose 0 = 64*l - 54*l + 140. Is 46582/(-2 - 0)*(l - -13) composite?
False
Suppose v = -103*q + 98*q + 101058, -2*q = 5*v - 505313. Is v prime?
True
Let g = 174 + -171. Is -5701*6/(-3 - g) prime?
True
Let h be (-1148 + 1)/(-4 - (-22)/6). Let a = h - -109. Suppose -z - a = -11*z. Is z composite?
True
Let p be (-2336)/(-10) - (-2)/5. Let r(k) = -59*k + 357. Let s be r(7). Let h = s + p. Is h composite?
True
Suppose -3277868 = -23*y + 2670093. Is y a composite number?
False
Suppose v = -5*c - 0*v + 2334, 0 = -3*c + 2*v + 1403. Suppose -c = -q + 120. Is q a prime number?
True
Let x(b) be the first derivative of 7 + 10/3*b**3 + 1/4*b**4 + 9/2*b**2 + 5*b. Is x(-7) a composite number?
False
Is ((-8)/((-32)/(-985996)) - 9)/(-2) prime?
False
Suppose 3*c - 18146 = c. Let k = c - 6338. Is k composite?
True
Let s(o) = 3*o**3 - 5*o**2 + 12*o - 3. Suppose -3*y - 10 = -19. Suppose -4*m - y = 3*v - 38, 0 = 2*m - v - 5. Is s(m) composite?
False
Let l(i) = -143*i - 118. Let z be l(16). Let j = z - -5441. Is j composite?
True
Let l be 124/(-434) - (2 - 814/7). Let b = -840 - -1429. Let p = b + l. Is p a composite number?
True
Suppose 0 = -14*k + 17*k - 9. Let q(v) = 7*v + 37*v**2 - 9*v - k*v + 0*v - 1. Is q(-6) a prime number?
True
Let v = 30 + -25. Suppose -k - 12 = -v*k. Suppose k*c - 418 = 29. Is c a composite number?
False
Is 76033 - (-5 + (-17)/(-17)) composite?
True
Suppose 0 = -27*d + 26*d + 3*c + 3349, -d - 3*c + 3325 = 0. Is d a composite number?
True
Let t be -5 + 3 - (-1 - -1 - -2720). Let a = t + -1225. Let k = a - -7048. Is k composite?
True
Suppose 2*b = -3*b. Let y be 3488 - (-8)/(b + -4). Suppose -4*m + y = 2*m. Is m a composite number?
True
Suppose -3*y = -2*y - 29*y + 569212. Is y composite?
True
Let p(w) = 270*w - 35. Let a be p(18). Suppose -4*r + a + 4459 = 0. Is r prime?
False
Let z = 121 - 154. Let s = z + 246. Is s a composite number?
True
Let g = -587883 - -876062. Is g a composite number?
False
Suppose 64*f - 7475473 + 2193617 = 0. Is f prime?
True
Let n(v) = -4176*v**3 - 11*v**2 + 26*v + 83. Is n(-4) a prime number?
False
Suppose -5*t - 24 = 4*p, 0*p + t + 2 = 2*p. Let d be (-2)/((p - 4)/(-15)). Let z(q) = -46*q - 25. Is z(d) a prime number?
True
Let q(w) = -8*w**2 - 6*w - 5. Suppose -4*c + 5*o - 19 = 0, 0 = 2*o - 0 - 6. Let u be q(c). Let r(h) = -2*h**3 - 6*h**2 + 10*h + 9. Is r(u) prime?
True
Let f(o) = 156726*o - 26. Let k be f(1). Suppose -5*w - 5*u + k = -0*u, 3*u = 5*w - 156724. Is w a composite number?
True
Suppose 56*d - 51*d = 105. Suppose -d*f + 2*f + 211489 = 0. Is f a prime number?
True
Suppose 0 = -6*n + 2*n - 36. Let l(p) = -106*p - 43. Is l(n) prime?
True
Let l(n) = 0*n + 8*n - 13*n**2 + n**3 + 9*n - 15. Suppose 16*y - 14*y + 5*s - 18 = 0, -2*s - 4 = 0. Is l(y) a prime number?
True
Let c = 402 + -492. Is ((-18)/c)/(2/3110) a composite number?
False
Let p = -71 + 68. Let u(h) = -3*h - 7. Let o be u(p). Suppose -5*t = -2*m + 2461, -m + 2*t + 3675 = o*m. Is m prime?
True
Suppose -4*r - 29*z + 206734 = -28*z, 3*r - 3*z - 155073 = 0. Is r prime?
False
Let r be (1 + 1)*1700/25. Suppose -r*z + 137*z = 33045. Suppose -22*s = -7*s - z. Is s a composite number?
False
Is ((19380/(-153))/(-38))/(0 + (-2)/(-3747)) a prime number?
False
Let y(a) be the second derivative of -1181*a**4/12 + 2*a**3/3 - 7*a**2/2 - 8*a. Let w be y(3). Is 3/(-7) + w/(-28) prime?
True
Let x be 4*(-2 + -1*9/6). Let u be (-3)/((-21)/(-58)) + x/(-49). Let j = u + 27. Is j composite?
False
Suppose -6*x = -x - 165. Suppose x*l = 5*l + 1018724. Is l a composite number?
False
Let x = -63293 + 34090. Let c be x/11 - (-2)/(-11). Is 2/((-6)/c) + 4 a prime number?
False
Let p(q) = -23*q - 24. Let o be p(-9). Suppose 0 = o*l - 178*l - 19235. Is l a composite number?
False
Let f(d) = 4474*d**2 + 28*d + 1. Is f(3) a composite number?
False
Let n(s) be the first derivative of s**4/4 + 14*s**3/3 + 12*s**2 + s - 21. Let l be n(-12). Is (l - -906)*(-8 - -15) a prime number?
False
Let i = -448597 + 945299. Is i composite?
True
Let f be 20/8*5968/10. Let v = f - 591. Suppose -2679 = -2*t - v. Is t a composite number?
True
Suppose 0 = -p + 3*p - p. Suppose p = -7*s - 1748 - 1367. Let a = s - -1596. Is a prime?
True
Let n = 30 + 1. Suppose 0*s = -4*q - s + 51, 5*s = -4*q + n. Is (q/(-91) + 46/130)*25985 a composite number?
False
Suppose -23*b + 2560723 = -589426. Is b a composite number?
False
Let k be (-1 - -10)*(-12)/(-36). Suppose -5*t + 809 = 2*w, 1218 = k*w - t + 4*t. Let f = 656 - w. Is f a composite number?
True
Let y(k) = -975*k + 98. Is y(-17) a prime number?
True
Suppose -4*r + 4*i + 512384 = 0, 86*r - 83*r - 384300 = -i. Is r composite?
False
Let w = 176 + -158. Let u(g) = 197*g**2 + 7*g - 15. Let d be u(6). Suppose 0 = -w*k + 27*k - d. Is k composite?
True
Let l(n) be the second derivative of 2*n**5/15 + 5*n**4/24 + 13*n**3/6 - n**2/2 + 10*n. Let o(t) be the first derivative of l(t). Is o(6) composite?
False
Suppose -5*n - 10 = 0, 0 = -2*t - 5*n + 2*n - 2. Let s(v) = -14*v**2 + t*v + 5*v - 3*v**3 - 3*v - 7. Is s(-6) composite?
False
Suppose -4*l + 18 = 2*t, 3*l + 3*t + 13 = 7*l. Suppose -l*n - q + 23 = -16, q = n - 11. Suppose 0 = n*c - 23*c + 7579. Is c a composite number?
True
Let h(d) = -11*d - 114. Let v be h(-39). Let c = 568 - v. Is c a prime number?
False
Let z(l) = 3*l + 24. Let n be z(-4). Is ((-10204)/n + -2)/(1/(-3)) a composite number?
False
Suppose 12*f = -15*f - 67*f + 14387546. Is f a composite number?
False
Let n = 1323963 + -745898. Is n composite?
True