*4/24 - 7*o**3/6 + 3*o**2. Let h(y) = -y**3 - 12*y**2 + 13*y - 4. Let x be h(-13). Is v(x) composite?
True
Let f(h) = 4*h**3 - 6*h**2 - 13*h - 23. Suppose -12*x - 17 = -137. Is f(x) a composite number?
True
Let v be 390*(-8)/((-64)/20). Let z = v - -2276. Is z composite?
False
Suppose 0 = 3*t + 3*y, 2*t - t + 6 = -3*y. Suppose -13*n - 23 = t. Let l(i) = -26*i**3 - i**2 - i + 3. Is l(n) a prime number?
False
Let h(b) = b**3 + 6*b**2 - 8*b - 4. Let n be h(-7). Let v = -190 - -190. Suppose n*i - f - 3167 = v, -3*i + 2112 = -i - f. Is i prime?
False
Let l(i) = 84*i**2 - 40*i - 255. Is l(31) prime?
True
Suppose -4*j + 7*j + 5 = -5*q, 2*q - 14 = 2*j. Suppose 4*l + q*o - 41302 = 0, -9318 = -3*l - 2*o + 21657. Is l a composite number?
True
Let w be (18/(-3) + 8)*12/3. Let j(i) = 2854*i - 75. Is j(w) composite?
True
Suppose -12*g + 50 = -10. Suppose 0 = 3*m + 1 + g, m - 8250 = -4*f. Is f prime?
True
Suppose -90 = -4*w + 3*x, -3*x - 192 + 78 = -5*w. Let r be ((-80)/w)/(2/(-3)). Suppose b = r*m + 6*b - 1560, 4*m - 3*b - 1213 = 0. Is m composite?
False
Let s(i) = 0*i**2 + 19 - 4*i**2 - 7*i**2 + 51*i + 20*i**2. Is s(-16) a prime number?
False
Suppose 4552*s - 4544*s - 852784 = 0. Is s a composite number?
True
Let j(g) = -g**2 + 4*g - 4. Suppose -4*o - 12 = -2*z, -2*z + 5*o + 9 + 5 = 0. Let s be j(z). Suppose s = -6*h + 8*h - 982. Is h a composite number?
False
Suppose -1409 = -3*a - 2*x + 1928, 5563 = 5*a + 3*x. Suppose 0 = -2*g - a + 5663. Suppose g = -c + 7*c. Is c prime?
True
Is 445/(-2)*1165910/(-775) composite?
True
Let d(j) be the second derivative of -47*j**5/5 + j**4/12 - 11*j**2/2 - 98*j. Is d(-2) a composite number?
True
Let d be 42*3/(-6)*(-2)/(-6). Is (-7)/d + (-6456)/(-3) a composite number?
False
Suppose 25*z - 376 = -22*z. Let b(s) be the third derivative of 7*s**5/60 - 5*s**4/12 + 7*s**3/3 + 5*s**2. Is b(z) a composite number?
True
Suppose -60*y - 49 = -53*y. Is (-2 - y - 6)*-503 composite?
False
Let n(f) = -f**3 + 142*f**2 - 350*f + 156. Is n(55) composite?
True
Let p(s) = 3068*s - 527. Is p(9) prime?
False
Let r(m) = -m**3 - 31*m**2 + 66*m + 3. Let k be r(-33). Suppose -28*n + 1 = -27*n, 1584 = 3*l - k*n. Is l prime?
False
Suppose -9*o - 25*o + 2671333 = 15*o. Is o prime?
True
Let s = 1 - 1. Suppose 12*q - 10*q + 8 = s. Is (-20678)/(-28) + (-3 - -1)/q a composite number?
False
Let y(c) = c**2 - 12*c - 18. Let d be 2/(-3)*18 - -2. Let o be y(d). Suppose 0 = -4*h + 20, h + 906 = 3*r - o. Is r a prime number?
False
Let a be 4 + (4 - (-4 + -1336)). Suppose -2*d = -4*x + 1264, 3*x = -3*d - 418 + a. Is x prime?
False
Suppose -3*r = a - 11, -2*a = a - r - 23. Suppose a*p = -p - 486. Let l = -31 - p. Is l prime?
True
Let f(w) be the second derivative of 7*w**5/20 - w**4/6 - w**3 + w**2 + 5*w. Let y be f(3). Suppose -5*s + 860 = k + 85, -3*k + y = s. Is s a composite number?
True
Let g = 172 - 159. Suppose g*b - 5*b - 26008 = 0. Is b a prime number?
True
Let d be 280/3*54/45. Let c(h) = h**3 - 3*h**2 - 10*h + 11. Let o be c(6). Let v = d - o. Is v a prime number?
True
Suppose 0 = 11*n - 238978 - 19071. Is n a prime number?
True
Suppose 1399 = 7*g + 601. Suppose 0 = v, 2*v + 205 = h + 3*v. Let o = h + g. Is o composite?
True
Let c = -65 + 66. Is c - (-1496)/2 - 4 prime?
False
Let v(z) = -114*z + 91. Let o be v(-7). Suppose -5*y + 1112 = 3*q, o = 4*y + 9*q - 6*q. Is y a prime number?
True
Let p(y) = 67319*y**2 + 7*y - 11. Is p(-2) a prime number?
True
Let g(o) = -o**2 + 11*o - 13. Let w be g(7). Suppose -w*b + 1349 = -3586. Is b a composite number?
True
Let m(i) = -4*i - 4. Let s be m(-2). Suppose -33*v - 1404 = -21*v. Is 3 + -6 + s - v a composite number?
True
Let z(c) = -c**2 - 9*c - 15. Let p be z(-6). Suppose -38565 = -p*f + 1752. Suppose 13430 = 4*y + 2*a, a + f = 2*y + 2*y. Is y prime?
True
Let q = -55 - -58. Let w(d) = -14*d + 4*d**3 - 3*d**3 - d + 9*d**2 + 0*d**q. Is w(-7) a composite number?
True
Let w(o) = -o**3 - 7*o**2 - 13*o - 10. Let b be w(-4). Let p be 4/(6/(-18)*9/b). Let z(q) = 56*q**2 + 12*q - 9. Is z(p) a prime number?
True
Let w = 99 - 126. Let f = 32 + 21. Let o = w + f. Is o prime?
False
Let o(y) = -106589*y + 647. Is o(-4) prime?
False
Let h(x) = 27 + 3*x**2 + 66*x - 32*x - 42*x. Let s(f) = -6*f - 20. Let v be s(-6). Is h(v) a composite number?
True
Let x(n) = 5*n**2 - 54*n - 7. Let c be x(-9). Let i = 6 + 494. Suppose 0 = -4*h + i + c. Is h prime?
False
Suppose -435*t - 159644 = -444*t - 9083. Is t prime?
True
Let q be -31631*18/(-51) + 24/204. Suppose -2*t = o - 4465, 5*t - 8*o + 11*o = q. Is t a composite number?
True
Suppose 2*r + 96 = 10*r. Suppose -1050 = -2*b + r*b. Let v = b + 111. Is v prime?
False
Is 4 - 7 - 7/((-56)/1436000) a composite number?
False
Suppose -696 - 904 = -8*t. Let g = 409 + t. Suppose 3*r - r - v = g, 0 = r + 3*v - 322. Is r a composite number?
False
Let u(o) = 12*o**2 - 55*o + 642. Is u(55) composite?
True
Let p = 22339 - 15612. Let q = 1886 - 1884. Suppose -p = -q*n - 2421. Is n prime?
True
Suppose 0 = 3*o - 2*n - 177, o = 4*o + 5*n - 156. Suppose 38487 = o*v - 54*v. Is v a composite number?
False
Let g = 1821 + -1837. Let q(s) be the third derivative of -95*s**4/24 - 7*s**3/6 + s**2. Is q(g) a composite number?
True
Let n(m) = -8*m**3 - 46*m**2 - 119*m + 54. Is n(-29) a composite number?
False
Suppose o + 9*o = 240. Suppose -4*b + 0*b - o = -4*p, 2*b + 2 = 0. Is ((-60)/(-32))/p + 6740/32 composite?
False
Let k(s) = -3*s + 8. Suppose 3*j - 45 = -5*f - 2*j, -2*f + 3 = -j. Let g be k(f). Is (-2 - 6/g)/(4/(-760)) a prime number?
False
Let t(q) = 2. Let i(f) = 93*f + 36. Let b(d) = -i(d) - 6*t(d). Let k be b(-19). Suppose 0 = -8*u + k + 1569. Is u a composite number?
True
Let o be (3*2/18)/(1/30). Let a be 3162/(-5) - (-4)/o. Is (-9)/6*a/6 a composite number?
True
Let o(q) = 259*q - 282. Let g be o(21). Suppose -x + g = 8*x. Is x composite?
True
Suppose -13*t + 3852 = 4*d - 8*t, 2*d = 4*t + 1952. Let p = d - -63. Is p prime?
True
Suppose 25*u + 1488665 = 15*u + 15*u. Is u composite?
True
Suppose 0 = -3*q - 5*o + 52175 + 18233, 0 = -2*q - 3*o + 46940. Let k = 39383 - q. Is k composite?
False
Suppose -3*b + 4533 = 549. Suppose -b*v + 1329*v - 1471 = 0. Is v a composite number?
False
Let r = -25681 + 48840. Is r a prime number?
True
Let c be ((-50)/4 + -4)*-26. Suppose -2*v + c = -1061. Is v a composite number?
True
Let q(i) be the first derivative of -1711*i**2/2 - 24*i - 150. Is q(-7) a composite number?
False
Suppose -117587 = -y + m + 71218, -6*y + 1132848 = 3*m. Is y a prime number?
False
Let m(h) = -4682*h - 781. Is m(-16) a prime number?
True
Let g(f) be the first derivative of -f**4/4 + 8*f**3/3 + 4*f**2 + 13*f - 6. Let x be g(9). Suppose x*o - 1896 = 3508. Is o composite?
True
Suppose -2313 = -3*q + 2*i - 5*i, 0 = 2*i. Suppose -3*v + 4*j - 1512 = 0, -v + 5*j - 54 - 439 = 0. Let y = v + q. Is y prime?
True
Suppose -23*z = -25*z + 3*y + 48269, 0 = -4*z + 5*y + 96541. Is z composite?
True
Let j = -50 - -69. Suppose 26085 = -j*t + 78658. Is t a prime number?
True
Suppose -i = -2*u - 66013, -2*i = -2*u + 3*i - 66017. Let t be 8/20 + 0 + u/15. Let f = -843 - t. Is f a composite number?
True
Let u = 131597 - 41466. Suppose 85774 = 27*m - u. Is m a prime number?
False
Suppose 0 = 8*n + 7 - 143. Let c(d) = 2*d**2 + 15*d + 26. Let o be c(n). Is o + 1*(1 - -3) a composite number?
False
Let c be (140202/15)/(21/(-70)). Is (-4)/5 - (-4 + c/20) prime?
False
Suppose -19 = -2*h - 349. Suppose -300 = 2*w + 164. Let c = h - w. Is c composite?
False
Let j be 3/6*(12 - 10) + 82. Suppose -j*l = -50*l - 578061. Is l a composite number?
True
Let k = -37032 - -109645. Is k prime?
True
Suppose 2*p - 8 = 0, -l + 2*p + 1737 = -13450. Suppose 2*k = -3*k + l. Suppose k = 3*a + 408. Is a a prime number?
True
Suppose 69*j + 288*j = 44*j + 13990787. Is j a composite number?
False
Let a = -954 - -956. Suppose -2*s - a*p + 5458 = 3*p, -s + p = -2715. Is s prime?
True
Suppose -9 + 13 = 2*w. Suppose -4*z + 2*z - 3*c + 4877 = 0, 0 = 2*c - w. Is z composite?
False
Suppose h - 18333 = -2*l, 25*h = 30*h + 5. Is l composite?
True
Suppose -6*n = -3*i - n + 28, 3*i = -2*n + 14. Suppose 3953 = s - 5*m, -4*s - i*m + 15764 = -2*m. Is s composite?
False
Suppose -16*d = 16*d - 27*d - 4224055. Is d a prime number?
False
Suppose 176 = n +