- 80. Let a be r(-10). Is (1095/a)/((-4)/(-224)) - 1 a composite number?
True
Let s(u) be the first derivative of 374*u**3/3 + u**2 + 25*u - 151. Is s(-12) a composite number?
False
Suppose -16*k = 16 - 0. Is 3 + 1 + (2446 - (-4 - k)) a composite number?
True
Let m = 258516 - 124297. Let h = m + -74712. Is h prime?
False
Is (-28346)/(187/(-11) + 15) composite?
False
Suppose -5*w + 8 = -4*x, 4*x + x + 10 = 4*w. Suppose w = l + 6 - 8. Suppose -l*h + 7*h - 3245 = 0. Is h a composite number?
True
Let l(o) = -186*o**3 + 5*o**2 + 104*o + 358. Is l(-13) a composite number?
True
Suppose 90*u = -134*u + 132816724 + 91611340. Is u a prime number?
True
Is 128746*(-4)/10*(-7)/(-28)*-5 a composite number?
False
Let z(t) = t - 11. Let c be z(16). Let a be ((-6)/c)/(1/(-10)). Suppose -5*k - 4669 = -a*k. Is k composite?
True
Suppose t = 2*j - 2*t - 259, 0 = -j + 4*t + 132. Let o = 723 - 812. Let x = o + j. Is x prime?
False
Suppose 1401 = 5*f - 719. Let s = f - -5522. Let c = s + -3047. Is c composite?
True
Let t be 40/5*(0 - 2)/(-4). Let j(m) = -51*m**3 + m**2 + 4*m - 8. Let o be j(t). Let a = o + 4639. Is a composite?
False
Suppose -31*k = -111*k + 38*k + 9301194. Is k prime?
False
Suppose 4*u - 634952 + 113612 = -4*p, 3*p - 391009 = -u. Is p a prime number?
True
Let g(v) = -v**3 + 7*v**2 - 13*v + 9. Let b be g(5). Is 1 + b + 3273 + (0 - -1) a composite number?
True
Let a(l) = -286*l**2 - 3*l + 2. Let n be a(-10). Is (-20)/8*n/20 composite?
False
Suppose 48 = -52*u + 56*u. Suppose 72380 = u*t + 5432. Is t composite?
True
Suppose -5*r + 4*r + 2*y - 2 = 0, 4*y = -r - 2. Let c(n) = 4909*n - 14. Let v be c(r). Is (v/10)/2*(-10)/2 a composite number?
True
Let l(i) = -i**3 + 1. Suppose -3*x = x - 5*h + 21, -x - 5*h + 26 = 0. Let s(t) = 14*t**3 - 3*t**2 + 7*t - 9. Let n(v) = x*l(v) + s(v). Is n(3) a prime number?
True
Let y(u) = -u**3 + 15*u**2 + 4. Let r be (3 - 30/8)/(1/(-20)). Let m be y(r). Is m - (2 - (294 + (2 - 3))) a composite number?
True
Let r = 125199 - 11450. Is r composite?
False
Let v(y) be the third derivative of -5*y**4/2 - 5*y**3/6 + y**2. Let u(w) = -w**2 + 42*w - 367. Let b be u(12). Is v(b) prime?
False
Suppose -j - n = -52009, -4*n = 28*j - 30*j + 104018. Is j a prime number?
True
Let r(p) = -p**3 + 8*p**2 + 27*p + 17. Let j be r(8). Suppose 0 = -234*g + j*g + 5099. Is g a prime number?
True
Suppose 4*j - 4860510 = -3*f - 879781, 0 = 4*j + 4*f - 3980728. Is j prime?
False
Let u(v) be the second derivative of v**4/12 + 5*v**3/6 + 5*v**2/2 + 14*v. Let b be u(-5). Suppose 2*t = b*l - 3733, -1994 = -4*l + t + 990. Is l prime?
False
Let i(r) = 105*r**3 - 19*r**2 - 12*r + 1. Let s(n) = -n**3 + n**2 + 2*n. Let u(v) = -i(v) - 5*s(v). Is u(-3) composite?
False
Let l(w) = 553*w**3 - 25*w**2 + 79*w + 6. Is l(4) a composite number?
True
Is (-267617)/(-3) + 2/39*65 a composite number?
False
Suppose -l = 4*q - 72813, -l + 2*q + 45034 = -27785. Is l prime?
True
Let v(h) = 3*h + 20. Let l be v(-5). Suppose -2*f = -5*d + 3213, 6*d + 6481 = -4*f + l*d. Let m = f + 3780. Is m a composite number?
False
Suppose -3*m = a - 3*a + 9712, 0 = -2*m + a - 6473. Let o(g) = -5334*g - 1. Let j be o(-1). Let t = j + m. Is t a prime number?
True
Suppose 8*l = 10*l - t - 358517, 896276 = 5*l + 3*t. Is l prime?
False
Suppose -9 = -18*d + 15*d. Let z(i) = 67*i**2 + 8*i - 4. Let w be z(d). Suppose -7*n = -8*n + w. Is n a composite number?
True
Let j = -12 + 12. Suppose 3*l + 11 + 181 = j. Let z = l - -2721. Is z prime?
True
Suppose -v + 2*z + 115 = -6, 432 = 4*v + 5*z. Let p = v - 110. Suppose p*m = -234 + 3687. Is m a composite number?
False
Suppose -h + 11 - 2 = 0. Let r be 2 + ((-2)/(-3))/(6/h). Suppose r*u = 576 + 2877. Is u prime?
True
Is (((-5197855)/30)/13)/(((-10)/2)/30) a prime number?
True
Suppose 2*u = -2*n + 33674, -25740 - 7934 = -2*n + 4*u. Is n a composite number?
True
Let h = -219 - 514. Let r = h - -4960. Is r a prime number?
False
Suppose -591*g + 589*g + 12 = 0. Let q(s) = 514*s - 125. Is q(g) composite?
True
Is ((-551084)/(-12) - 0)*(4 + -1) a composite number?
False
Let q(i) be the first derivative of 196*i**3/3 + i**2/2 - i - 1. Let a be 3 + 9*-1 + 62 + -58. Is q(a) a composite number?
True
Let r(l) = 5*l**3 - l**2 - 5*l + 23. Let y be r(7). Let z = y + 2673. Is z a composite number?
False
Suppose 5*a - 21 = -2*u, -2*u - 105 = -7*u + 5*a. Let y = u + -11. Suppose y*x - 555 = 2*x. Is x a prime number?
False
Let q(f) be the second derivative of 31*f**4/12 + 10*f**3/3 - 6*f**2 + 25*f. Let l be q(-6). Suppose l = p + 5*r, 0*r = -p - 3*r + 982. Is p a composite number?
True
Let a = -28 + 39. Suppose 0 = 4*q + 4*o + 4, -23 = 2*q - 18*o + 13*o. Is (-27 + a)/(q/286) + 3 prime?
False
Let y be ((-596)/(-6) + 2)/((-52)/(-390)). Is 80/y + (-6760)/(-38) composite?
True
Let f(w) = -3*w**3 + 24*w**2 - 2*w + 11. Let g be f(8). Is 15/g - (-2710)/1 prime?
True
Let a(i) = -1704*i**3 - 24*i**2 - 5*i + 31. Is a(-8) a prime number?
True
Is 19/(608/1507620) - 3/24 composite?
True
Let b(w) = -4*w**3 + 3*w**2 + 2*w. Let y be b(-1). Let j = 5 - 3. Suppose -i - y*n = -113, -i - n = -j*n - 113. Is i prime?
True
Let g = 1513 + -728. Let s(j) = 267*j**3 + j**2 + j - 1. Let l be s(1). Let b = g - l. Is b prime?
False
Let y = -205980 + 316763. Is y a composite number?
True
Suppose -18 = 14*f - 11*f. Let p(h) = -h**3 - 3*h**2 - 4*h - 1. Is p(f) a composite number?
False
Suppose -6*j = -9*j - 4*c + 42, -4*j + c + 37 = 0. Suppose 16823 = -j*m + 46033. Is m prime?
False
Suppose 8524 = -2*q - 3*l - l, -5*q = 5*l + 21310. Let p = 1714 + -3443. Let j = p - q. Is j prime?
False
Let v = -1146 + 21247. Is v composite?
False
Let y(w) = -567*w**3 + 3*w**2 + w - 11. Let t be y(-3). Let q = t + 12847. Is q a composite number?
True
Suppose 2*v = 4*d - 58804, -2*v = -67*d + 66*d + 14707. Is d composite?
False
Let a be ((-10)/2)/(-5) + (0 - -3). Suppose 7*x - 6 = a*x. Suppose -x*f = -0*f - 138. Is f prime?
False
Let o(g) = 38166*g + 2555. Is o(41) composite?
False
Suppose 0*h - 2 = -2*h. Let d(s) = 15*s**3 - 3*s. Let t(r) = 23*r**3 - 4*r. Let g(z) = -7*d(z) + 5*t(z). Is g(h) a composite number?
False
Is 660/(-45)*(0 - (-287478)/(-24)) composite?
True
Let q(r) = -117*r + 12. Let h be q(5). Let s = -396 - h. Suppose -n + 4*n - s = 0. Is n composite?
False
Let d be (-63)/6*(80 - (-3 + 1)). Let b = d + 1412. Is b a composite number?
True
Suppose 4*m = 4*s + 3*m - 21, 4*s - 5*m = 25. Suppose 0 = -2*d + 5*z + 977, 9*z = -s*d + 8*z + 2456. Is d a composite number?
False
Let t(l) = -9502*l**3 - 10*l**2 + 24*l + 77. Is t(-3) prime?
True
Let p(f) = 21*f**2 - 7*f - 23. Let x be p(20). Let r = x - 4450. Is r a prime number?
False
Suppose 2*r = 21*r - 3242293. Is r composite?
False
Let h be (60/18 - -6)/((-2)/(-6)). Let b(s) = h + 199*s - 196*s - 1 + 506*s. Is b(4) a prime number?
True
Let o(f) = -6838*f**2 + 6*f - 5. Let n be o(-5). Is 4/26 - n/195 prime?
True
Let t(r) = -r**2 - r. Let x be t(6). Let d = -25 - x. Is d/34*1262/1 prime?
True
Suppose 162279 = 11*j - 72164. Is j prime?
True
Suppose -n + c = -13307, 0 = 4*n - 0*c - 2*c - 53230. Is (-2 - n/(-15)) + 92/115 prime?
False
Let d be 1134*66/(-48) + 36/(-48). Suppose 0 = -7*a + 3*a - 4324. Let f = a - d. Is f composite?
False
Suppose 0 = -3*z + 8*z. Suppose z = 2*i + 4*h - 22774, 2*i + 23*h - 22783 = 22*h. Is i composite?
False
Let y(a) = -a**3 + 18*a**2 - a + 10. Let r be y(18). Let k be 3*(r - (3 - 0)). Let x = 194 + k. Is x composite?
True
Suppose -3*w + 0*w = 6, -v = -w - 62. Let m = 162 - -193. Let i = m - v. Is i a prime number?
False
Let x(p) = 8*p**2 + 22. Let i(a) = -2*a + 22. Let v be i(17). Let t be x(v). Let z = 1961 - t. Is z prime?
True
Let o(l) = 46*l**2 + l + 2. Suppose -3*f - 32 = -5*p - 150, 0 = 4*f - 4. Let h = p + 26. Is o(h) prime?
True
Let o = -247 + 66. Let b = 510 + o. Suppose 0 = -12*c + b + 1459. Is c prime?
True
Let d(x) = x**2 - 17*x + 4. Let p be d(16). Is 4/(p/(-36726)*2) prime?
True
Suppose -4*g = -3*t, 0 = -5*t + 2*g + 3*g + 5. Is (t - -872) + (-1)/((-1)/1) prime?
True
Suppose 0 = -o + 4*o + 5787. Let f = 2882 + o. Is 9/((-36)/8) + f a composite number?
True
Let i = -524 + 9411. Suppose i = 10*x - 2623. Is x prime?
True
Let i(f) = -19036*f - 1835. Is i(-9) a prime number?
True
Suppose -10*p + 56 = -6*p. Let v(y) = -p*y + 14*y**