25. Let k = -779 + 782. Is t(k) prime?
False
Suppose 0 = 2*p + p + 3*u - 26247, -5*u = 2*p - 17504. Is p composite?
False
Let r be -4 + (-8)/10*(-315)/14. Suppose 0 = r*d + 3*d - 85. Is (-16758)/(-30) + 2/d - -4 prime?
True
Suppose 83*n + 5*s - 190449 = 81*n, 5*s + 476210 = 5*n. Is n prime?
False
Let q(g) = g**2 + 6*g - 27. Let s be q(-9). Suppose 3*h - 17695 = -s*r - 4*r, 0 = 5*h + 3*r - 29488. Is h a prime number?
True
Let n(q) = 14580*q + 424. Let x(i) = -3645*i - 106. Let b(r) = -2*n(r) - 9*x(r). Is b(3) prime?
False
Let b(u) = 318*u - 17. Suppose 2 = -2*y + 6. Suppose 2*p - 16 = -4*a, y*a + 2*p - 4 = 4. Is b(a) prime?
False
Let k be -19*((-40)/8 - -6). Let l(i) = 32*i**2 + 27*i + 158. Is l(k) composite?
False
Let v(s) be the first derivative of s**3 + 16*s**2 + 10*s + 28. Let z be v(-11). Is (z/14)/(1/2) - -10 a composite number?
False
Let k be 9*(-7)/126 - (-42)/4. Is k/(-20) + -1 - 761/(-2) composite?
False
Let t(g) = -g**2 + 3*g + 10. Let a be t(5). Let o be 4/(6 - 28/6). Suppose 4*y - h - 1230 = a, -o*y + y - h + 612 = 0. Is y prime?
True
Let z(r) = r**3 + 4*r**2 - r + 91909. Is z(0) prime?
True
Suppose -2*r + 24224 = 2*d, -r = 3*d - 9482 - 2638. Let b = r + -6775. Is b prime?
True
Suppose 0 = -5*s + 34*s - 2268931. Is s prime?
False
Let f = 393 - -21. Let g = 613 - f. Is g composite?
False
Suppose -70 = -16*n + 9*n. Is 4/n - (1 + (-10828)/5) a prime number?
False
Is ((-40561)/2)/(((-215)/(-172))/(5/(-2))) a composite number?
True
Is (-30)/(-45) - (-3930846)/18 a composite number?
False
Suppose -13 = -5*c + 37. Suppose -12 = -5*o + z, o + 5*z - c = 8. Suppose 2*k = 3*h + 5144, 4*k + 2*h = o*k + 2565. Is k composite?
True
Let a = 2873 - -2345. Is a prime?
False
Let z be -2*(1 - (-6)/4). Is ((30/(-3))/z)/((-6)/(-7611)) a prime number?
False
Let n = -117449 - -386580. Is n prime?
True
Suppose -5*b + 3*b - 2*k = -256604, 513215 = 4*b - 3*k. Is b prime?
False
Suppose -26*o - 320 = -21*o. Let t be o/(-6)*(-3)/(-2). Is (-6708)/(-16) - 4/t composite?
False
Let k(w) = -w**3 + 4*w**2 + 14*w - 7. Let g be k(6). Suppose -5*s + 0*q + 4*q = -20, g*s + 15 = -3*q. Let c(a) = -a**3 - a + 191. Is c(s) a composite number?
False
Let t(v) = 15*v**2 + 0 + 14*v + 2 + 12 + v**3. Let r be t(-14). Suppose -r*a - 5558 = -16*a. Is a a composite number?
True
Let i(m) = -2297*m**2 + 34*m - 58. Let s(q) = -1531*q**2 + 23*q - 39. Let k(b) = -5*i(b) + 7*s(b). Is k(2) a composite number?
True
Let t be (31 + -28)/(6/(-544)). Let n = 1239 - t. Is n prime?
True
Suppose 0 = 31*n - 27*n - 12476. Suppose 27*i - 32*i + 15643 = 2*l, 0 = -i + 2*l + n. Is i a prime number?
False
Suppose -7 - 33 = 2*t. Let o(h) = -557*h + 61. Let z(w) = 283*w - 30. Let k(j) = 3*o(j) + 5*z(j). Is k(t) composite?
False
Let n(h) = -h + 3. Let m = 114 + -114. Let z be n(m). Suppose 4*i + 3*s - 6283 + 1412 = 0, s = z*i - 3650. Is i a composite number?
False
Is 703736/10 - ((-72)/(-180) + 1/5) prime?
True
Suppose -7*o + 4*l = -416779, 4*o + l - 238158 = 3*l. Is o a prime number?
False
Suppose 5*o = 2*h + 3677789, 1471116 = 2*o - 18*h + 17*h. Is o prime?
True
Let l be -121*(138/5)/((-6)/15). Let h = l - 4360. Is h a composite number?
False
Let w(v) = 396*v**2 - v - 1. Let g be w(1). Suppose -1822 + g = -12*y. Let h = y - -38. Is h a prime number?
True
Is (-1177008)/(-10) - 7/140*-4 a prime number?
True
Suppose 57 = -5*k + 152. Suppose -16*u - 6303 = -k*u. Is u a composite number?
True
Let d(u) = 4*u**3 + 41*u**2 - 54*u + 60. Let a(z) = z**3 + z - 1. Let j(q) = -5*a(q) + d(q). Is j(28) prime?
False
Let z(w) = 10*w - 16. Let b be z(2). Is ((-986)/b)/((-9)/18) a composite number?
True
Let r(v) = 2*v + 23. Suppose 0 = -j - 4 - 1. Let k be r(j). Suppose -3*y - k = -274. Is y a prime number?
False
Let m(k) = 174*k**2 + 96*k + 89. Is m(74) a prime number?
True
Suppose 2*w - 409025 = -3*g, 2*w - 310480 = 5*g - 992167. Is g prime?
False
Suppose -16*s + 39372 = s. Suppose -s - 2258 = -2*d. Is d a prime number?
True
Let a = -113 + 115. Suppose a*c - 114 = -4*s, 2*c = 7*c + 15. Suppose s*r - 32*r = -5090. Is r a composite number?
True
Let v(m) = -107*m - 26. Suppose 3 = 5*f - 7, 0 = 4*t + f + 42. Is v(t) a composite number?
False
Suppose 3*s - 2426 = -5*r, r - 494 = -4*s - s. Suppose m - 147 = r. Is m a prime number?
True
Suppose q + 3208709 = 4*o, -461*q + 456*q = o - 802172. Is o a composite number?
False
Let a be (-2*(1 + 0))/(1/(-4)). Let t be a/6*(-4 + -2). Let k = 141 + t. Is k prime?
False
Suppose -3*r = z - 375967, -r + 66015 = 3*z - 59302. Is r composite?
True
Suppose -14756 + 3476 = 15*o. Let r = o - -5023. Is r composite?
False
Is -1*(-7799 - 24/(-2)) a prime number?
False
Let h = 144216 - 38009. Is h a prime number?
True
Suppose 3*z = -12, 5*c + 0*z - 36427 = 3*z. Suppose 0 = -5*r - 25, -c = -y + 2*r + 3414. Is y a prime number?
True
Let h be (724/6)/((-5)/15). Let n be (4 - 0) + (7 - (217 + 7)). Let i = n - h. Is i composite?
False
Suppose 12*r - 8*r - 29072 = 0. Let g be 0*(7/3 + -2). Suppose 4*z + g*z - r = 0. Is z composite?
True
Suppose 2*o + 19001 - 4573 = 0. Is (18/(-36))/(1/o) a prime number?
True
Let c be -1 + (-3 - -4)/((-1)/(-1641)). Suppose 4*l = 8*l + c. Let b = 1147 + l. Is b a prime number?
False
Let f(i) = 31*i**2 + 2*i - 2. Let s be f(1). Let c = 5400 + -2821. Suppose -30*p + s*p = c. Is p a prime number?
True
Let p = 56659 + 33580. Is p a prime number?
True
Let v(w) be the third derivative of w**5/60 + 5*w**3/6 + 14*w**2. Is v(-22) prime?
False
Suppose -69*x + 1190353 - 645554 + 1195312 = 0. Is x prime?
True
Let y(o) = 3184*o - 2447. Is y(7) a prime number?
True
Let l be (38/9)/(20/90). Suppose -3*o = -15 - 0, -4*w + 19180 = 4*o. Suppose 9*n + w = l*n. Is n a prime number?
True
Let s = 16590 - 9862. Let p = 8879 - 4874. Let k = s - p. Is k composite?
True
Suppose -62854916 = -73*f + 5*f. Is f prime?
True
Let k(s) = -2*s**3 + 9*s**2 + s + 3. Let m be k(4). Suppose 0 = m*u - 13*u - 163010. Is u prime?
True
Let u(d) = 1370*d**2 + 2*d - 7. Let k(s) = 29*s + 0 - 28*s - 1. Let j(q) = -5*k(q) + u(q). Is j(-1) a prime number?
False
Suppose -2*h + 23157 = 3*a, 3*h - 38588 = -5*a + 2*h. Suppose 5*p - a - 10738 = 0. Is p a prime number?
True
Let f(x) = 9531*x - 214. Let m be f(-4). Is -5*((-54)/513 + m/38) a composite number?
True
Suppose -5*g = -q + 34, 5*g + 5*q - q = -14. Let z be ((-381)/g)/(4/200). Suppose 6*y - y = z. Is y composite?
True
Is ((-4306)/2)/(20/(-580)) prime?
False
Suppose 13653 = 5*a - 2*a. Let b(m) = -7*m**2 - 11*m - 8. Let x be b(-17). Let l = a + x. Is l a prime number?
True
Let w(s) be the third derivative of -265*s**4/24 + 7*s**3/6 + 10*s**2. Let d be w(-3). Suppose 0 = 2*f - 3*h - 399, -d = -4*f + 3*h - h. Is f composite?
True
Suppose 6*z = -20 + 38. Suppose 11069 = z*o + 5*x, -4*o = -4*x + 9*x - 14752. Is o composite?
True
Suppose 0 = 2*p + 8*h - 4*h - 2441570, -2*p + 3*h = -2441612. Is p prime?
True
Let r be 20/4 - 6 - -5. Suppose -j = j - r. Is (-19)/(-57)*5754/j a prime number?
False
Is (-1763834)/(-14)*2*7*(-10)/(-20) composite?
False
Suppose -k - 8 = -3*k. Suppose -7*d + 4945 + 5576 = 0. Suppose -y + 1381 = -k*m, -5*m = -3*y + d + 2668. Is y prime?
False
Suppose -16 = h - 5*d, h - 92 = -3*d - 76. Suppose -27*v + 28*v = g - 10934, 54625 = 5*g + h*v. Is g prime?
False
Is -3*((-1)/2)/(288/4178496) prime?
False
Let k be (-40)/(-60)*6*3/2. Suppose k*p - 268 = -28. Suppose m - 63 = p. Is m prime?
True
Suppose -3*w - 2*h = -128, -61 = -3*w - 3*h + 71. Let z = 197 + w. Is z a composite number?
True
Suppose 0 = -24*m + 9184927 - 854506 + 6037011. Is m composite?
False
Suppose -18 = 134*n - 137*n. Is (-4)/(-4) + (n - -36584) a composite number?
True
Let j(y) = -3*y - 10. Let m be j(-4). Suppose 479 = 9*k - 439. Suppose -36 - k = -m*f. Is f composite?
True
Let g be 6/27 - -2*(-215)/(-90). Suppose -4*n - h = -8866, -g*h + h = 3*n - 6643. Is n a prime number?
False
Suppose -2*g + g - 75715 = -2*b, -4*b + 151433 = g. Let r = b + -21237. Is r a prime number?
False
Let k(x) be the second derivative of x**4/6 + x**3/6 - 5*x**2 + x. Suppose 0 = 10*q + 7*q + 153. Is k(q) a prime number?
False
Is -2*18017400/(-54) - (-18)/(-162) a composite number?
True
Let b = 6607 - 2536. Suppose -b + 469 = -2*r. Is r composite?
False
Let c(n) be the first derivative of n**4/4 + 8*n**3/3 - n**