= -38977 + 66624. Is v prime?
True
Let u = -532240 + 937595. Is u composite?
True
Let l(c) = c**3 - 8*c**2 + 2*c + 63. Let j be l(6). Is (j - 2)/((-48)/(-711408)) a prime number?
True
Let k(p) = 3074*p**2 - 5*p + 16. Let d be k(-6). Suppose -d = -92*q + 82*q. Is q composite?
False
Suppose 3*b + 4*n = 71, 3*n = -5*b + 5*n + 127. Suppose -b*d + 93552 = -d. Is d a composite number?
True
Let n(b) = -12*b - 4. Let f(v) = -4*v - 1. Let g(t) = 11*f(t) - 4*n(t). Let m be g(0). Suppose -479 = -h - m*k, 5*h - 1411 = 2*h - 2*k. Is h composite?
True
Suppose 0 = -5*m + 25, 4*m - 3784915 = 22*l - 27*l. Is l a composite number?
True
Is (-143 - -145) + (2 - 1/((-1)/153007)) a prime number?
False
Let m(q) = 4*q**3 + 8*q**2 - 241*q + 11. Is m(14) a prime number?
True
Let y(a) = -a**2 + a + 61. Suppose 2*l + 5*u + 7 = -22, -4*l - 31 = u. Let v be y(l). Suppose -v*z = s - 312, -3*s + 516 + 406 = z. Is s a prime number?
True
Let r = 232 + -232. Suppose 10*m - 12601 + 2931 = r. Is m a composite number?
False
Let z = -64 + 58. Let v(q) = q**3 - 4*q**2 - 6*q + 2. Let s be v(z). Let g = 415 - s. Is g composite?
True
Let a(v) = 2*v**3 - 13*v**2 + 5*v + 9. Let d be a(6). Suppose -d*n + 5*q = -24, 3*q - 2 = -3*n + 22. Is (n/12)/(1/2217) a composite number?
True
Let l be (-2)/(-6)*(5 - 3 - -4). Suppose -3*p + 3765 = l*p. Is (-6 - (-19)/3)/(1/p) a prime number?
True
Suppose 9*m - 54 = -36. Suppose -225 = -p - 4*p - 5*q, m*p + 4*q - 88 = 0. Is p composite?
True
Suppose -57*i = 58*i + 6154377 - 16638122. Is i prime?
True
Suppose 0 = -2*k - 5*i + 90, 166 = 4*k - 0*i + 3*i. Let d be (-4912)/(-6)*-30*(-5)/k. Suppose 0 = -0*u - 5*u + d. Is u a composite number?
True
Suppose 0 = 15*f - 13*f + a - 25207, -a - 50399 = -4*f. Is f a prime number?
True
Suppose -787 = 4*p - 5*d, 5*p + 598 = 2*p - 4*d. Suppose l = -4*b + 4*l - 2054, b = 4*l - 507. Let y = p - b. Is y a composite number?
False
Suppose o + 3*p = 468250, 0 = 2*o + 7*p - 14*p - 936409. Is o prime?
False
Let z(m) = 2*m**2 + 7*m. Let l be z(-7). Let n = 2701 + -2691. Let u = l + n. Is u composite?
False
Suppose 3*p = -5*g + 700550, 5*g + 324*p - 323*p = 700560. Is g a composite number?
True
Let n(s) = -8*s**2 + 56*s + 8. Let i be n(7). Let j be (-2 - 12/(-15))*5. Is i/j - (-716)/6 a composite number?
True
Suppose 0 = 3*b + 5*t - 34, 3*t + t - 26 = -2*b. Suppose b*k + k - 11704 = 0. Suppose 5*i = 4*a - k + 629, 0 = -2*a + 5*i + 1151. Is a a composite number?
True
Let x be (-5)/((-10)/(-2))*-2420. Suppose 5*n + m = -x, 4*n - 14*m + 10*m + 1912 = 0. Let w = 700 + n. Is w composite?
True
Let z(k) = -6*k**3 - 3*k**2 - 5*k. Let u be z(7). Let h = -1459 - u. Let a = 1472 - h. Is a a prime number?
True
Let d = 711371 - 454948. Is d composite?
False
Let w = 83 - 80. Let n = w + 28. Suppose 5*c = n + 384. Is c a composite number?
False
Is (-73689)/(-14)*(-110)/(-15) + (3 - 9) prime?
True
Is 5 + -16 + 3 + 4059*19 composite?
True
Suppose -197*a = -188*a + 1962. Let p = 253 + a. Is p a composite number?
True
Let v be (-27)/(-18)*(-10)/(-3). Suppose -3*o + 0 = -12, -3*c + 1825 = -v*o. Suppose 3*x - 8*x = -c. Is x a composite number?
True
Let c(k) = 202*k - 231*k + 6*k**2 - 301 + 0*k**2. Is c(-18) a composite number?
True
Let h = -2061 + 7329. Let j = h + -3757. Is j composite?
False
Let v(n) = 8*n - n + 22 - 4*n**2 - 34 - 64*n**3. Let t be v(3). Let r = t - -2864. Is r a prime number?
True
Suppose 23*n - 1076416 - 2520015 = 3709542. Is n composite?
False
Is 2*(-24)/(-192) - 335430/(-8) a prime number?
False
Let t be (701/2)/(3/(-6))*-14. Suppose -t = -2*m - 4*z + 1032, 20 = 4*z. Suppose m = 3*n - 4028. Is n a composite number?
True
Let o(z) be the third derivative of -115*z**4/12 + 4*z**2. Let k be o(4). Is (9 + k)*(-2 - -1) a prime number?
True
Suppose 4*g - 28 = 4. Suppose 3*o + 2*m + g = 3*m, 0 = 2*o - 3*m + 3. Let d = o - -137. Is d composite?
True
Suppose 487291 - 35867 = 16*r. Is r composite?
True
Let m = -111230 - -418723. Is m a composite number?
True
Suppose 2*t - 3 = -r, 2*r - 3*r = -3*t - 28. Let d be r*2/(-1)*(-655)/(-10). Let c = -850 - d. Is c composite?
False
Suppose 168 = -9*t + 4515. Suppose 0 = 4*c - t - 229. Suppose 3*d = -r - 0*r + c, 241 = 4*d + 5*r. Is d composite?
False
Let j(v) = v**3 - 9*v**2 - 31*v + 20. Suppose 2*f = 5*f + 24. Let l be ((-26)/f - 3) + (-236)/(-16). Is j(l) a prime number?
False
Suppose 0 = 128*o - 1106639 - 1592241. Is o a composite number?
True
Let r be -1*(4 - (-18)/(-3)). Suppose 0 = -r*s - 0 + 2. Is (s - (3 - 3))/((-1)/(-8887)) prime?
True
Suppose -g - 35 = 4*g. Let k(d) = -16*d**3 - 8*d**2 - 4*d - 10. Let h be k(g). Suppose -3*f = 1535 - h. Is f composite?
False
Let o(q) = -19*q + 15. Let z be o(3). Let y = z - 33. Let s = y + 126. Is s prime?
False
Is (7/(-2))/((-308)/222728) composite?
False
Suppose -3*m - 4*s = -57977, 7*m - 38646 = 5*m - 4*s. Suppose 3*a - 4*c - m = 21780, 5*c = -2*a + 27415. Is a a prime number?
False
Suppose 139*o - 134*o - 845 = 0. Let u(f) = -11*f**3 - 2*f - 329*f**2 - 4*f**3 + 162*f**2 + o*f**2 + 11. Is u(-4) a prime number?
False
Let h(y) = -4*y**2 - 15*y + y + 10*y - 17 + 8*y**2 - 4*y**3. Is h(-9) composite?
False
Let q(d) = 78 + 70 - 8387*d - 166. Is q(-1) a composite number?
False
Let s be (-4 + 10)/(-3) - -10 - -1. Suppose 1 = -4*y + s, 2*h = -3*y + 242. Is h prime?
False
Let u(d) = 6*d**2 + 26*d - 12. Let y be u(39). Suppose -4*p - 4*h = -15992, -y - 9861 = -5*p - 4*h. Is p composite?
True
Let c(g) = 293*g + 828. Let d be c(-14). Let y = 3268 - -2893. Let u = d + y. Is u a prime number?
True
Let z be (-6901)/(-7) - 18/(-126). Suppose 2*q = d - 0*q + 2, -d = -3*q + 4. Suppose -n + 3*c + z = -0*n, d*c + 10 = 0. Is n prime?
True
Let i(y) = 9*y**3 - 4*y**2 - 12*y + 38. Suppose -t - 3 = -s, s + 0*t - 8 = -4*t. Is i(s) composite?
True
Suppose 420612 = 16*j - 10*j + 6*j. Is j composite?
False
Suppose c + 2*z = 0, 2*c - 3*z - 1 = 6. Suppose -x - 5*l = -3129, 0*x - 5*l - 6318 = -c*x. Is x composite?
True
Suppose 12788 = 3*s + 4*z - 5148, 2*s - 2*z - 11948 = 0. Suppose -20*x + s = -84964. Is x composite?
False
Suppose c = 13*c - 96. Let q be (4/22)/((-6)/(-66)). Is (q/11 - c/44) + 1461 a prime number?
False
Let j(z) = 59*z + 48*z - 765 + 622 + 35*z. Is j(18) prime?
False
Suppose -2531 - 1831 = -3*f. Let c = 2715 - f. Is c a prime number?
False
Let a(c) = -10631*c + 56. Is a(-15) a prime number?
True
Suppose 0 = -37*j + 68 + 6. Suppose 2*n + j*i + 2590 = 15292, 0 = 4*n + i - 25410. Is n composite?
False
Let c(z) = -5*z + 10. Let r be c(0). Suppose -r - 50 = -3*u. Suppose -2*h = -32 - u. Is h a composite number?
True
Let w be (1/2)/(1/(-144)). Suppose 0 = -7*z + 12 - 5. Is (-99852)/w + z/6 a composite number?
True
Let k(w) = -65*w**3 + 9*w**2 + 6*w + 25. Let d be k(-10). Suppose -30*a = -15*a - d. Is a composite?
False
Let k(j) = -150*j**3 - 2*j**2 + 45*j + 1132. Is k(-21) composite?
True
Let n = 830357 + -377274. Is n prime?
False
Let g(l) = -5326*l - 863. Is g(-15) a composite number?
True
Suppose -23*n = -25*n - 5*s + 43102, 0 = 3*s. Is n a prime number?
False
Let c = -90 - -93. Suppose -6 = -c*n - 5*p - 1, 4*p = -n - 3. Suppose -t - 53 + 532 = 5*y, 5*t - 495 = -n*y. Is y a prime number?
False
Suppose 44*x + 153279596 = 137*x + 95*x. Is x prime?
True
Let m be (-4)/(-6 - -4) + -24. Is 4/m - ((-21470)/110 - -4) a composite number?
False
Let s be (3 - 3) + (-2 + -1)/(-3). Let l be s/((-45)/6) + 1442924/105. Is l/10 - 2 - (-20)/25 a composite number?
False
Suppose -4*m + 5*a + 146 = 1272, 0 = -5*a + 10. Let i be (1188/(-10))/(-3) - (-18)/45. Let k = i - m. Is k a prime number?
False
Let a = -2677 - -1852. Let y(c) = -26*c + 22. Let d be y(10). Let u = d - a. Is u a prime number?
True
Let n(t) = -51*t + 1. Let h be n(-1). Let m(f) = 35*f + h - 57 + 44*f. Is m(6) a composite number?
True
Suppose 4*l = 5*h + 305577, -6*l + 381962 = -l + 3*h. Is l a composite number?
True
Let q = -35798 - -25491. Let a = q + 17656. Is a a composite number?
False
Suppose 4*x + 4*i = -0*i + 12, 2*x - i = 6. Suppose 0 = x*v + 7 - 13. Is (-33477)/(-9) + v/(-3) a composite number?
False
Let f = 28929 + 57169. Is f composite?
True
Suppose 0 = -19*g + 15231 + 527485. Suppose -2*x + 11*t + 11410 = 7*t, 5*x + 3*t = g. Is x a prime number?
True
Let y(t) = 3*t. Let c be y(-2). Let m(s) = 9*s + 14. L