2, 5*c - 579158 = -q. Is c composite?
False
Suppose d = -5*x + 10, -x + 6*x + 15 = 4*d. Let k(n) be the first derivative of 115*n**3/3 - n**2/2 - n - 3. Is k(x) a composite number?
False
Suppose -4*t = -0*t - 20. Suppose 3*s - 3 = -3*u, -3*u + 2*s + t = 3*s. Suppose 2*g - 366 = 4*k, -u*g - 3*k + 350 = k. Is g prime?
True
Let c = -4407 - -7339. Let a = -185 + c. Is a composite?
True
Let r = -29924 - -82458. Is r a prime number?
False
Let r(d) = 65*d**2 + 8*d + 661849. Is r(0) composite?
False
Let h(q) = 26*q**2 + 11*q + 25. Let f be h(-4). Let v = 1148 - f. Is v composite?
False
Let r = 56397 + -28121. Suppose -2*a = -4*f + r, 9*a = 5*a. Is f a composite number?
False
Let r(w) = -20 - 5 + 27*w**2 + 39*w - w**3 - 5*w**2 - w**2 - 11*w**2. Is r(10) composite?
True
Let o(s) = -757*s**3 + 15*s**2 + 8*s - 113. Is o(-9) a composite number?
False
Let w(q) = -19*q**3 + q**2 + 2*q - 2. Suppose -2*s = -16 + 4. Suppose 0 = -s*d + 11 - 29. Is w(d) a composite number?
True
Let s = 3476 + -2382. Let i = -1616 + s. Is -6*(i/(-4))/(-9) a composite number?
True
Let q(y) = -y**2 - 11*y + 4. Let l be q(-16). Let z(m) = -m**3 + 14*m**2 - 5*m + 1. Let k be z(9). Is k/l*(-117 - -1) composite?
True
Let k(n) = 872*n**2 + 13*n - 50. Is k(7) a prime number?
False
Suppose -103*o - 108*o - 417046 = -213*o. Is o a composite number?
True
Let m = 53308 + -33465. Is m composite?
False
Suppose -3*d - d + 20 = 0. Suppose 3*a + 7 = f, d*a - 8*a = -5*f + 35. Is 8374/2*(8 - f) a composite number?
True
Let t(k) = 12*k**2 - 2*k + 1. Let g be t(1). Suppose -g*v + 18 = -8*v. Is 360 + v/2 - -2 composite?
True
Let m = -37 - -47. Suppose 6*c = m*c - 1016. Suppose 6*a = 8*a - c. Is a prime?
True
Let t be ((-6)/(-5))/(4/130). Let b = 84 - t. Suppose -b - 422 = -a. Is a composite?
False
Let y = 2 + -111. Let q = y + 162. Is q composite?
False
Let z be (6/(-4))/(1/(-2)). Suppose -n + 214 = z*f, 3*n + f + 4*f - 630 = 0. Let s = -14 + n. Is s a prime number?
True
Suppose -4*f + 85 = -167. Let m be ((-4)/1)/(10/(-110)). Let q = f - m. Is q prime?
True
Let t(n) = 30*n**2 + 23*n**2 - 52*n**2 - 3*n - 14. Let p be t(6). Suppose p*x + 0*x + 2*s = 3556, -x + 4*s + 889 = 0. Is x a prime number?
False
Suppose 6*w = -5123 - 655. Let k = w + 2206. Is k composite?
True
Suppose -124 + 418 = 7*k - 175. Is k composite?
False
Let v = 2618 - 1441. Suppose -2 = 4*b - 10. Suppose -v + 75 = -b*n. Is n prime?
False
Let o be (-5 - 0)/((-10)/12). Suppose -3*j = -3*y - o*j + 15696, 2*y - 3*j = 10439. Is y a composite number?
False
Suppose -w = 3*j - 369, 4*w = w + 2*j + 1063. Suppose -2*q - w = z, 0*z - q + 1763 = -5*z. Let r = 906 - z. Is r a prime number?
True
Let i = -31 - -30. Is 3972/4 - 0 - (3 + i) a composite number?
False
Suppose 3*v + 20863 = 3*r + 3202, -2*r = 8. Let q = -2224 - v. Is q a composite number?
True
Let v be 802697/42 + (-3)/(-18). Let l = -7554 + v. Is l a prime number?
False
Is 67903 - (-4*(-3)/3 + 2) composite?
True
Let v be -2 + (1 - (30/(-5) + 4)). Let w(m) = 24*m**2 - 5*m + 4. Is w(v) a composite number?
False
Suppose -583*l = -584*l + 23. Suppose l*y = 3056 + 647. Is y composite?
True
Suppose -c = 5*z + 804, 3*c + 4*z + 331 = -2136. Let x = 453 - c. Is x a composite number?
True
Let j(h) = -2*h**3 + 16*h**2. Let b be j(8). Suppose b = 3*a - 8211 - 9300. Suppose 7*z - 14776 + a = 0. Is z prime?
True
Suppose -j - 3051 = -3*h, -7*h - 9101 = 3*j - 3*h. Is 4 - j*(4 + -3) composite?
True
Suppose -4*f - 5878 = 2470. Let q = f - -9868. Is q a composite number?
True
Let x = 2444572 + -955845. Is x a prime number?
True
Let h be ((-108)/(-81))/(4/2895). Let q = h - -74. Is q a composite number?
False
Suppose -f - 29 = -2*y, -y + f + 11 = -4. Let i be (y/(-5))/((-3)/(-15)). Let m = 53 + i. Is m composite?
True
Suppose t + 11 = 2*n, 5*n - 73 = 5*t + 4*n. Let a be t/(-15) + 1*299. Let r = 587 - a. Is r a composite number?
True
Suppose 16*d - 13555714 = -15*d - 2670219. Is d a composite number?
True
Let q be 2 - 4/12*-9. Suppose q = w, 0 = 2*a - 5*a - 2*w + 35041. Is a composite?
False
Suppose -1416730 + 241713 - 348285 = -34*g. Is g composite?
True
Suppose 3*b - 222*c + 220*c - 739014 = 0, -c + 1231690 = 5*b. Is b composite?
True
Let x be (-496)/(-48) - 4/(-6). Let r(w) = -2*w**2 + x - 4*w**2 - 6*w**2 + 7*w**2 - 11*w**3. Is r(-4) composite?
True
Let u be -1 - (-2 + 4 + -1). Let v be ((-2)/(-9) - (-266)/(-63))/u. Is (-1 - (-130 - 1)) + (v - 5) a prime number?
True
Let f(l) = -53*l. Let w be (3/12)/((-6)/(-48)). Suppose -4*c = 4*i + 20, 4*c = 3*i + w*c - 5. Is f(i) composite?
False
Is 623750/15 + (-13)/3 prime?
True
Let r = 49 - 38. Suppose -r*h - 867 = -7621. Is h composite?
True
Suppose -19 = -10*k + 1. Let r be 4 - 2 - (-460)/k. Suppose r = -2*z + 6*z. Is z composite?
True
Suppose 4*n = -16, 4*n - 18084 = 4*p + 2*n. Let l = 8658 + p. Suppose 4*u - l = 9325. Is u a composite number?
True
Let l = 11822 - -2321. Is l a prime number?
True
Is 2334410/9 - (292/(-36) + 8) a composite number?
False
Let h = 8472 - -2891. Is h a composite number?
True
Let c(p) = -p**2 - 15*p + 10. Let i be c(-16). Is ((-699)/6 - i)/(2/(-4)) a prime number?
False
Suppose -18*y = -80*y - 2233418 + 29726140. Is y a prime number?
True
Suppose 0 = 4*g - 2*z - 98180, 58957 = 3*g - 3*z - 14684. Suppose -2*l + 2*f + 7113 + 2703 = 0, 2*f + g = 5*l. Is l a composite number?
False
Let b = -417691 + 615218. Is b prime?
False
Let r(b) = 9*b**2 + 5*b + 1. Let n be r(-1). Suppose -2321 = 4*i - n*i + 3*l, -2*i + 4*l = -4650. Is i prime?
True
Let a(o) = o**3 + o**2 + o + 268. Let h be a(0). Let n(b) = -2*b**2 + 62*b + 1075. Let z be n(42). Let c = z + h. Is c a prime number?
True
Let w(p) = p**3 + 67*p**2 - 12*p - 361. Is w(-32) prime?
True
Let b(p) = -22*p + 28. Let w(o) = 7*o - 9. Let a(v) = 2*b(v) + 7*w(v). Let j be a(6). Suppose -j*x + 24*x = 79. Is x prime?
True
Let q(s) = -s**2 + 9*s - 20. Let y be q(10). Let p = y - -40. Is (199 - 0)*(-9 + p) composite?
False
Let h be (-16)/120 + (-276994)/(-30) + 0. Suppose -4*z = 3*g - 12989, 0 = 4*g - z - 8073 - h. Is g prime?
True
Suppose -4*t + 2*b = 4362, 16*t - 20*t = -3*b + 4367. Suppose -4*f - 5*k = 1189, -f + 2*k + 101 - 408 = 0. Let p = f - t. Is p composite?
False
Let t(j) = -2*j**3 + 109*j**2 + 709*j + 9. Is t(60) prime?
False
Suppose -2*q = -4*b + 241932, -95*b = -89*b - 5*q - 362890. Is b a prime number?
False
Let o be (-5 - 1) + (-18)/81*-5230647. Suppose 20*c = -20*c + o. Is c composite?
False
Is (-15)/(450/4) + (-306034)/(-30) composite?
True
Let m be 2/4 + (-56)/(-16). Suppose 3*y - 2*y - 413 = -3*t, -m*y + 1673 = 5*t. Is y + 0 + (-2)/(-2)*-3 composite?
False
Let r = 3816063 - 2581832. Is r a prime number?
True
Suppose 12*h - 23169449 = -6736529. Is h/315*(-42)/(-4) composite?
True
Let a be ((-60)/(-9))/(-1)*36/(-20). Suppose 3*t - a = -5*z, -t + 2*t - 4 = -4*z. Suppose 4*y - 4852 - 14088 = z. Is y composite?
True
Let x(b) = 8498*b - 431. Is x(11) a prime number?
True
Suppose -5*o + 9 + 33 = 3*l, 20 = 5*l. Suppose o*a - 900 = -3*a. Let f = a + 1051. Is f prime?
True
Let w(i) = 54837*i**2 - 51*i - 97. Is w(-2) a composite number?
False
Let s be ((-1050)/20)/(-21) + 10/4. Is 12144/7 + (252/49 - s) a prime number?
False
Suppose 0 = -4*u + h - 12, -8 = 2*u - 3*h + 2*h. Let p(x) = -776*x - 35. Is p(u) composite?
True
Is (-594)/2772 + (-706177)/(-14) prime?
True
Is -3 - 41*(-4193 + -9) a prime number?
True
Suppose -27*f = -19*f - 48. Let h(q) = 42*q**2 + 6*q - 5. Is h(f) a composite number?
False
Is 44648 + (-19 - (20 - 20)) prime?
False
Let d = -14643 - -901142. Is d composite?
True
Is 683 - (228/38 - (-2 + 5 + 3)) a composite number?
False
Suppose -z + 2*f = -8285, 13*z = 8*z - 5*f + 41425. Is z a composite number?
True
Is 378321*(-14)/714*-17 composite?
False
Let r = -136545 - -543334. Is r a composite number?
False
Let i = -572 - -563. Suppose -5*v - 58 = -4*u - 5, u - 11 = -v. Is ((-1095)/i)/(4/u) a prime number?
False
Suppose 2*f = -5*r + 1071066, -11*r = 3*f - 13*r - 1606561. Is f prime?
True
Let n(a) = 9*a**2 - 5*a + 21. Suppose 4*t = -14 - 18. Let z(b) = b + 16. Let g be z(t). Is n(g) a composite number?
False
Is (145/(-35))/(36/(-404964)) composite?
True
Let k(o) = -1512*o + 781. Is k(-53) prime?
True
Suppose 5*a - 6*i = -8*i + 8, -5*a - 3*i = -12. Suppose 15*h + 5*h - 27220 = 