Let t = 388 - b. Suppose -p + 272 + 48 = 4*z, 0 = 3*z + 4*p - t. Is z prime?
True
Let l(d) = 3*d - 43. Let v be l(17). Let j be (-3)/6*(-10 - -2). Suppose 0 = 2*h + v, 1642 - 26 = j*y - h. Is y prime?
False
Is 4/8 - ((-19923995)/26 + 7) a composite number?
False
Is ((-29817312)/(-1120))/(6/50) composite?
True
Let h = -97 + 97. Suppose -2*c - i + 2640 = h, c = 3*i - i + 1315. Is c prime?
True
Is (229088 - (3 + (-1 - 10))) + -11 a prime number?
False
Let k = -5595 - -15277. Let h = 1306 - k. Is 5/((-50)/h) - 18/(-45) a prime number?
False
Let f(p) = 21*p - 25. Let v(z) = 11 - 35 + 62*z - 21 - 28. Let d(a) = 8*f(a) - 3*v(a). Is d(-6) a composite number?
False
Let x(q) = -63*q + 86. Let s be x(18). Let b = s - -1717. Is b composite?
True
Let o(f) = -6510*f**3 - 4*f**2 + 36*f + 127. Is o(-3) composite?
False
Let h be 2 - (-10)/(-8) - 46/8. Let g(y) = -3*y - 13. Let c be g(h). Is 18948/30 + 13/(-5) + c a prime number?
True
Is (-29050)/(-14) + (-18)/(-3) prime?
True
Let y = 2 - -12. Let d(v) = v**2 - 60*v - 396. Let n be d(-6). Suppose n = 3*x - 5*h - 5438, y*h = 10*h - 4. Is x composite?
False
Let l(q) = q**3 - 3*q**2 + 9*q - 4. Let n be l(5). Let d = 470 - n. Is d composite?
False
Let g(m) be the third derivative of 7*m**6/15 - m**5/15 + m**4/6 - 13*m**3/6 - 125*m**2. Is g(5) a prime number?
True
Let d = 68236 + 347403. Is d a prime number?
False
Let q = -136 - -61. Is (-6835)/(-2) - q/50 a prime number?
False
Let s be (-13)/(-1) + -7 - 1. Suppose s*x - 24852 = 41763. Is x a prime number?
False
Let l(f) = 8*f**2 + 5*f + 1. Let h = 26 + -22. Suppose -3*s - z = 26, 2*z - 4 = h. Is l(s) composite?
False
Suppose 44600 = -2*q + 27*q. Suppose -19*p + 11*p = -q. Is p composite?
False
Let v = 50 - 41. Let g be 3/v - (-2800)/(-3). Let k = 1391 + g. Is k prime?
False
Let t(z) = 3*z**2 + 147*z - 296. Let y be t(2). Suppose 6*w = w - 2*k + 271, -159 = -3*w - 3*k. Is 20 - (-11)/(w/y) prime?
False
Suppose 10*v = 9*v - a + 1, 4*a + 24 = 3*v. Suppose -2*u - v = 0, -3*u + 0*u + 21927 = 3*k. Is k a prime number?
False
Let t = 35 + -35. Suppose -2*c - b + 4 = t, 0*b = 5*c + b - 13. Suppose -188 = -2*i + 5*v + c, 0 = v + 5. Is i a composite number?
False
Let l = -255412 + 451911. Is l composite?
False
Let u be -128 + (4 - 5) - 0. Let c = 47 + u. Let k = c + 161. Is k a prime number?
True
Let u(f) be the third derivative of -f**5/60 + 5*f**4/24 + f**3/2 + 16*f**2. Let d be u(-3). Is ((3/(-2))/(d/10024))/2 prime?
False
Let d = 21771 - 8237. Let g = d - 6207. Is g a prime number?
False
Let y = 13 + -8. Suppose 0 = 4*f + y*v - 2635, f = -3*v + 344 + 306. Let c = -34 + f. Is c a composite number?
False
Suppose -3*d - d - 5*s = 0, 0 = -2*d + s. Suppose -4*k + 5*n + 7474 = 0, 4*n + d*n = 4*k - 7476. Is k a composite number?
False
Suppose -3*y + 0*y + 22 = -5*j, 0 = -3*y + 4*j + 20. Suppose -4*m + 304273 = -7*b + y*b, -2 = -2*b. Is m a prime number?
False
Let k(m) = m**2 + m - 4. Let z be k(4). Let i be ((-3)/((-18)/(-2638)))/(2*5/(-420)). Suppose -z*v + i = -2*v. Is v composite?
False
Let j(g) = 2385*g**2 + 78*g - 687. Is j(10) prime?
False
Suppose n + 4*x = 23, 2*n - 12 - 14 = -4*x. Suppose -n*b + 192 = -3. Suppose 2*s - s = -3*d + b, s + 5*d - 61 = 0. Is s prime?
True
Let w = -71 - -81. Suppose -4*r - o - 1 = 9, 3*r + 2*o + w = 0. Is 0 + (235*3 - (6 + r)) a composite number?
False
Let a(y) = -7*y**3 + 10*y**2 + 8*y - 16. Let r be (((-42)/(-4))/(-3))/(18/36). Is a(r) a composite number?
False
Is ((-286)/(-5005) - 6621002/(-70)) + 1/5 a composite number?
True
Suppose -v - 8 = -2*z, -v - 10 = -5*z + 10. Let g be (-1)/z - 53/(-4). Suppose 1174 = g*j - 11*j. Is j prime?
True
Suppose 4*x = -3*z + 52 - 13, 3*x = 0. Suppose z*y - 21*y + 135544 = 0. Is y a prime number?
True
Let j(p) = -1065*p + 506. Is j(-71) composite?
True
Let t(u) = -3*u**3 + 4*u**2 + 25. Let w be t(-12). Let y = -2 - -7. Suppose -y*i + w = -0*i. Is i composite?
True
Suppose 4*b - 15561 = k + 7*b, 4*b = 5*k + 77900. Let j = 28919 + k. Is j prime?
False
Let r(o) = -58*o - 40. Let q(i) = -290*i - 199. Let p(b) = -2*q(b) + 11*r(b). Let m be p(-5). Suppose 3*c = 2*g - 0*g - m, -2*g - c = -256. Is g a prime number?
True
Let w be (4/(-3))/((-36)/135). Let u(z) = z**3 - 5*z**2 + z - 1. Let f be u(w). Suppose -114 = -4*j + 2*n, -f*n + 51 = -0*j + j. Is j prime?
True
Let z(k) = -36*k + 31. Let q be (1 - 11)*-8*(-3)/30. Is z(q) composite?
True
Suppose 22942 = 6*c + 9094. Suppose -5*m + 0*h = -2*h + 3857, -c = 3*m + 5*h. Let n = m - -1438. Is n a composite number?
True
Suppose -3*c = -49 + 91. Let n(d) = d**3 + 16*d**2 - 12*d - 6. Is n(c) a prime number?
False
Let r(q) = 60 + 69 - 16 - 49 + 2923*q + 80. Is r(5) prime?
True
Let j(f) = f**3 + 7*f**2 - 14*f - 23. Let n be j(-9). Let x = n - -64. Suppose -5*t + x*b = 2*b - 886, -b - 892 = -5*t. Is t prime?
True
Let u(o) be the third derivative of -o**5/60 - o**4/12 + 287*o**3/6 + 4*o**2 + 6. Let b(v) = -v**3 - 7*v**2 - 6*v. Let w be b(-6). Is u(w) a composite number?
True
Suppose -3*t + 5*t = -516. Let o = 420 + t. Let d = 343 - o. Is d composite?
False
Let b(g) = -23*g**2 - 11*g + 11. Let s(q) = 45*q**2 + 22*q - 23. Let h(r) = 7*b(r) + 4*s(r). Is h(9) composite?
True
Let c = 2704369 + -1106508. Is c composite?
False
Let t(l) = -l**3 + l**2. Let m(v) = 4*v**3 + v**2 - 24*v - 13. Let i(b) = -m(b) - 3*t(b). Is i(-12) a prime number?
True
Let p = 1317 - 615. Let g = -885 - -1334. Let l = g + p. Is l a prime number?
True
Suppose 2*d - 861 - 1411 = 0. Suppose 0 = -5*h - 3*v + 6000, 5*h - 5*v - 4824 = d. Suppose 8*k - h = 491. Is k a prime number?
True
Let l = 202129 - 140934. Is l prime?
False
Is (1/3)/(76/1735764) a prime number?
False
Suppose -2*j + 2*t = -422, -1308 = -5*j - 4*t - 244. Suppose 0 = -2*k + 4*c - 1082, 960 = -2*k - 5*c - 77. Let w = j - k. Is w prime?
True
Let o(f) = -240*f**2 + 57363. Is o(0) prime?
False
Let a(d) = -80*d - 61. Suppose 21*l - 3*l + 162 = 0. Is a(l) a prime number?
True
Let v be 7425/7 + ((-180)/70)/(-9). Suppose v = 5*t - i + 312, -i = 3*t - 443. Is t a composite number?
False
Suppose -358*z = -70092097 - 75002797. Is z a prime number?
False
Let m(i) = 87*i**2 - i - 3. Suppose 0*z = -5*z + 120. Suppose 5*f = 4*p + z, 0 = f + 3*f + 4*p - 12. Is m(f) composite?
True
Let s = 6347 + -1362. Suppose -3*c - c - 4*i = -3992, -s = -5*c - 4*i. Is c a prime number?
False
Suppose -13*p + 451527 = -420578. Is p composite?
True
Let a be 4 + -5 - ((-1)/(-1) + 0). Let q(f) = 21*f**2 - 3*f + 3. Is q(a) prime?
False
Let s(j) = 277*j + 17. Let h be s(11). Suppose 4*n - 4*y - 17696 = 0, 5*n - 6*n + 2*y = -4423. Let g = n - h. Is g composite?
False
Let d(m) = m**3 + m**2 - 12*m. Let o be d(-3). Let w(y) = 658*y - 331. Is w(o) composite?
True
Let t(s) be the first derivative of s**4/4 - 17*s**3/3 + 7*s**2 + 32*s + 1. Let f be t(16). Suppose f = 16*y - 14*y - 8090. Is y composite?
True
Let t(y) = 2*y**2 + 17*y + 12. Let d be t(-8). Is 4/d - 4/4 - -1543 a prime number?
True
Suppose -1266*t - 945981 + 4193877 = -1242*t. Is t composite?
False
Let p = 18 + -6. Suppose -p*z + 9*z = -2919. Suppose -13*t = -6*t - z. Is t a prime number?
True
Let q = -51208 - -127415. Is q composite?
False
Suppose 5*a + 4*w = 274, w = a + 8 - 61. Suppose 24*r = 21*r + a. Suppose -1592 = 10*q - r*q. Is q prime?
True
Suppose 17*h - 15*h - 4*o - 56 = 0, 0 = -5*h - o + 151. Suppose 2*i - 7350 = 2*l, 4*i + h*l - 29*l - 14720 = 0. Is i a composite number?
True
Let d = -3139 + 6345. Suppose 3*b = -m + d, 4*b + b = -5*m + 16080. Is m a prime number?
True
Let i = 183135 + -90356. Is i a composite number?
False
Suppose -208*u + 3870 = -213*u. Let y = 215 - u. Is y a composite number?
True
Let p(m) = -m**3 + 20*m**2 + 2*m - 45. Let k be p(20). Let v(f) = -89*f**3 + 15*f**2 + 2*f - 7. Is v(k) composite?
False
Let c = -43655 + 62646. Is c composite?
True
Suppose -2*w + 55309 = 5*h, -w + 27644 = -23*h + 24*h. Is w composite?
True
Suppose n + 2 = 6. Suppose n*p + 0*p + 8 = 0, 0 = -5*u + p + 17. Suppose u*s = -2*s + 385. Is s prime?
False
Let p(s) = -12*s - 135. Let q be p(-12). Let a(m) = m**3 + 5 + 5 + 0*m**3 + 10 - 6*m**2 - 8*m. Is a(q) composite?
False
Let j = 48 + -80. Let q be (3/(-2))/((-12)/j). Is -131*(-1 - q - 4) a prime number?
True
Suppose -22 = -4*r + 2*b, -2*b = 3*r - 0 + 1. Suppose 0 = -r*