5*t**2 - 6*t - 4. Let z be w(4). Let y = z + 127. Is y composite?
True
Let y(k) = -95*k + 41. Is y(-10) composite?
False
Let m = -23240 - -34771. Is m composite?
True
Suppose -7*a + 2*x = -5*a, x = 2*a + 2. Let k be 0/((-3)/(6/a)). Suppose k*n = -4*n + 308. Is n composite?
True
Let i be (-4 - -3) + -1 + 5. Suppose -i*v + 1239 = 4*m, 3*v - 2*m = -232 + 1471. Is v composite?
True
Suppose -2*h + 3*k + 10597 = 0, 5*k = 12*h - 17*h + 26480. Is h a prime number?
True
Suppose -5*k - o + 5 = -0*o, -3*k + 26 = -4*o. Suppose 1317 = k*j + j. Is j composite?
False
Let z be (-3)/(2 + 0 - 3). Is (2/z)/(-4 + 67160/16788) composite?
False
Let u(p) = 2*p**2 - 4*p - 3. Let h be u(5). Is 2 - -3*(-3 + h) a composite number?
True
Suppose 3*g - 2297 = 2*f, -4*g - 5*f + 3870 = g. Is g prime?
True
Let r(a) = -a**3 + 4*a**2 - 1. Let w be r(3). Is 1087*(-2)/w*-4 a composite number?
False
Let c(s) = 160*s**2 + 3*s + 1. Let z be c(3). Suppose z = q + 4*a, 3*a + 5840 = 4*q - a. Suppose -2*i = b - 1481, -q - 2242 = -5*i - 3*b. Is i a prime number?
True
Let b(f) be the second derivative of 44*f**3/3 + 25*f**2/2 - f - 9. Is b(11) a composite number?
True
Let b(k) = k**3 - 11*k**2 - k + 11. Suppose 2*s = -2 + 24. Let x be b(s). Suppose -4*w - w - 5 = 0, x = -3*l + 3*w + 480. Is l composite?
True
Suppose -4*h + 0*h = -180. Let a = h + 37. Is a a prime number?
False
Let q = -24 - -28. Suppose 1019 = 3*j - 4*h, 0 = -j + 3*j + q*h - 666. Is j prime?
True
Let d(h) = -576*h**3 + 4*h**2 - h - 4. Let p be d(-3). Suppose 2*r - 4971 = o, o + p = 5*r + 3155. Is r composite?
True
Let l be (-70)/((-4)/(-20) - (-20)/25). Suppose 0 = x - 2*x - 209. Let c = l - x. Is c composite?
False
Let x be (3/(-9))/((-4)/(-12)). Let i be (x + 5)*(-5)/4. Is (2 + i + 2)*-499 prime?
True
Let v = 507 - -337. Suppose -12*k = -8*k - v. Is k composite?
False
Suppose -g = 5*f - 1, 2*f + 7 = -2*g + 1. Is (1/(-2))/(g/712) a prime number?
True
Let x(o) = o**3 - o**2 - 2. Let y be x(2). Suppose y*f = 602 - 184. Is f composite?
True
Let t be (-100)/8*(-1 + 3). Let l be (-85)/t + (-4)/10. Suppose -3*q = l*z - 66, -3*z = -5*z + 4*q + 68. Is z prime?
False
Suppose 4*f + 10 = 30. Suppose -634 = -4*n + 3*h + 939, f*n - 1973 = -3*h. Is n prime?
False
Let l(j) = -52*j**3 - j**2 + 4. Is l(-3) a prime number?
True
Suppose -1168 + 5258 = 2*g. Is g prime?
False
Suppose 2*x + 66 + 480 = 0. Let o = x - -566. Is o prime?
True
Suppose 774 = q + 83. Is q a prime number?
True
Let p(i) = 16*i**2 - 158*i + 11. Is p(28) composite?
True
Suppose -3*n = 3*j - 24, 5*n + 3*j - 38 = -j. Let k = n - 3. Is k/9 + 496/6 a prime number?
True
Let o(n) = -13*n**3 - 18*n**2 - 19*n + 57. Is o(-12) prime?
False
Let g(y) = -11*y - 1. Let f(m) be the first derivative of m**4/4 - 5*m**3/3 + m**2/2 - 6*m + 11. Let j be f(5). Is g(j) composite?
True
Let v(a) = 53*a + 130. Is v(53) prime?
True
Let v(k) = 2 + 7*k**2 - 2*k**3 - 2*k**2 + 3*k - 3. Suppose 0 = 13*o - 2*o + 66. Is v(o) composite?
False
Let u = 15742 + -8631. Is u a composite number?
True
Let c be 13/65 - (-28)/10. Suppose -w = -4*l + w + 2436, 1849 = c*l + 4*w. Is l a prime number?
False
Let u = 1 + 26. Suppose 2*l = 5*l - u. Is 633/l*(1 + 2) a composite number?
False
Let z(h) = 5*h**3 - h - 1. Let s be z(-1). Let x(i) = -2*i**2 - 10*i + 10*i**2 - 7 + 2*i. Is x(s) composite?
False
Suppose -5*x + 10*x = -48580. Is (1/2)/((-14)/x) a composite number?
False
Let o = -1809 + 4531. Is o composite?
True
Let f = -121 - -27. Let o = 389 + f. Is o a prime number?
False
Suppose -6*t + 18 = -3*t. Let k = -16 + t. Let c = 13 - k. Is c a composite number?
False
Let h(f) = 21245*f**3 + 5*f - 3. Is h(1) prime?
True
Suppose -5 = -5*u + 6*u. Is (-265)/10*u*2 a prime number?
False
Let d be (-4 - (-4)/2)/(-1). Suppose -1001 = -3*q + 2*k, 0 = -d*k + 6*k - 20. Is q composite?
False
Let u = 15473 - 7750. Is u prime?
True
Suppose 2*n = 3*n + 2. Let h = -5 - n. Is 125 + -2*(h + 2) prime?
True
Let u(o) be the third derivative of 0 + 5/6*o**3 - 1/60*o**5 + 0*o + 3*o**2 + 7/12*o**4. Is u(6) prime?
True
Let r = -6 - -10. Let c(i) = -i. Let d be c(-5). Suppose -3*v = -d*y + 958 - 201, -r*v + 729 = 5*y. Is y composite?
False
Is 96/(-912) + (-468050)/(-38) prime?
False
Suppose -32*d - 157094 = -442566. Is d prime?
False
Is (-14)/(42/6) - -10653 a prime number?
True
Let w = -11076 + 48029. Is w a prime number?
False
Suppose -7*f + 273 = -10*f. Let j = f + 410. Is j prime?
False
Is ((-542050)/(-100))/(1/2) a composite number?
True
Let u = -141 + 175. Suppose -3*l + 2 = 8. Is u + -3 + (l - -2) a prime number?
True
Suppose -4*c - 40 = -2*z, -25 = 2*c + c + z. Let q = 11 + c. Suppose -217 = q*u - 3*u. Is u composite?
True
Let c(z) = -14*z - 74. Let d be c(-5). Let h = 104 + -231. Is 0/(12/d) - h prime?
True
Let v(p) = -6 + 1 + 3 + 0 + 3*p. Let w be v(2). Suppose u - 80 + 15 = -4*y, 3*y = w*u - 222. Is u composite?
True
Let p = -21 + 18. Let z(t) = 400*t**2 + 3*t + 4. Let f be z(p). Suppose 3*l - f = -2*l. Is l composite?
False
Let y(b) = b**3 + 23*b**2 + 40*b + 17. Let k be y(-18). Let t = 1928 + k. Is t a composite number?
True
Let h = 15 + -13. Suppose 2 = 2*l - h. Suppose z + 307 = l*z. Is z a composite number?
False
Is 669009/76 + (1 - -1)/8 a composite number?
False
Let b(j) = 190*j**2 + 13. Let k be b(-4). Suppose -1553 = -2*o - 3*s - 336, -5*o - 4*s = -k. Is o a prime number?
True
Suppose 5*x - 6571 = 3*l + 2245, 4*x - 5*l - 7045 = 0. Suppose -6*o + 11*o = x. Is o a prime number?
True
Suppose 451 = 5*u + 2*l - l, -2*u = -2*l - 190. Suppose 5*c - 226 = -u. Is -2 + c + -2 + 3 prime?
False
Is 2*4 + (-274950)/(-50) composite?
False
Suppose -4*r - i = -112, 0 = i + 3*i + 16. Suppose -26*o - 1833 = -r*o. Is o composite?
True
Let m(y) = -301*y + 2. Let p(x) = -1204*x + 8. Let k(s) = 9*m(s) - 2*p(s). Suppose 9*f - 29 = 38*f. Is k(f) a composite number?
True
Let f(u) = u**3 - 13*u**2 - u - 11. Let n be f(13). Let i(v) = -v**2 - 34*v - 26. Is i(n) composite?
True
Is (10 + -2223)/(100/34 + -3) a composite number?
True
Suppose 25*t - 131068 = 146557. Is t prime?
False
Let a = 7385 - -12384. Is a prime?
False
Let b = 698 + -291. Let w be 1 + (2 - 2) - -1. Suppose -95 - b = -w*z. Is z prime?
True
Is ((-42356)/(-6))/((100/15)/10) composite?
False
Let l = -9 + 11. Let f(j) = 0*j**3 - 9 + 0*j**2 - 2*j**3 + 3*j**3 - j - 6*j**l. Is f(7) prime?
False
Suppose 0 = 4*k - 5*k + 2, -4*q + k = -714722. Is q prime?
True
Suppose -2*x + 14484 = -5*g, -3*x - 4*g + 21749 = -0*x. Is x composite?
False
Let h(o) be the third derivative of 7*o**5/30 - o**4/4 - o**3/6 + 3*o**2. Is h(-5) a composite number?
False
Let o(s) = -67*s**3 - 5*s**2 - 5*s - 4. Let m be o(-3). Suppose m = -4*d + 9*d. Is d a composite number?
True
Let n(r) = -5007*r**3 - r**2. Is n(-1) composite?
True
Let a = -3 - -14. Is (15 - a) + 1*75 a composite number?
False
Let f(y) = -165*y**2 + 579*y**2 - 1 + 588*y**2 + y - 39*y**2. Let p be f(1). Suppose 2*v - 1958 = w - 3*w, w + 5*v - p = 0. Is w a composite number?
False
Let w = -6298 - -22824. Is w a composite number?
True
Is 3/(-18)*-42 - -13774 composite?
False
Suppose -5*p - 48 = 2*l, -108 = 4*l - 3*p - 12. Is ((-1096)/(-10))/(l/(-60)) a prime number?
False
Let r = 184 + 1076. Let f = -719 + r. Is f prime?
True
Suppose 0 = -11*d + 5*d + 1518. Is d a composite number?
True
Let f(x) = 656*x - 461. Is f(20) a prime number?
True
Let q(f) = -3*f**3 + 4*f**3 + 12 + 3*f**2 + 6*f + 0*f - 1. Is q(6) a prime number?
False
Let j(s) = -s**3 - 10*s**2 + 6*s - 2. Let i be j(7). Let d be (-2 + 134)*(-17)/2. Let t = i - d. Is t prime?
False
Suppose -v = 2*z - 11698, 3*v - 45665 = -4*z - 10577. Suppose 5*s - v = s. Is s prime?
False
Let g(j) = -25*j - 7. Let z be g(-3). Let c = z + -1. Is c a composite number?
False
Suppose 2*q = 4 + 4. Suppose -104 = q*s + 3*v - 522, 4*v = 8. Is s a prime number?
True
Let y = -402 + 1726. Suppose -31 - y = -5*a. Suppose -h - 2*o = -137, a = 2*h - 2*o + 7*o. Is h a composite number?
True
Suppose -2*u - 9510 = 3*u. Is (3/(-9) + -1)/(4/u) a composite number?
True
Suppose -48912 = -5*i + 60893. Is i a composite number?
False
Is (-164988)/(-27)*(0 - (-9)/6) a composite number?
True
Let w(y) = -642*y**3 + y**2. Let p be w(-1). Suppose -2*x + 474 = x - 5*a, 4*x = 3*a + p. Is x a composite number?
False
Suppose -5*o + 9*o - 6