81*l = -a + 177*l + 329055. Is a composite?
False
Let l(c) = -2*c**2 + 23*c + 42. Let q be l(13). Suppose 3*k - k = -2*o + 25394, 5*o - q*k - 63469 = 0. Is o a composite number?
True
Suppose 2*z + 62338 = 4*r, -168*r + 167*r + 15546 = 5*z. Is r composite?
False
Let j(f) = -2*f**3 - 5*f**2 - 9*f + 10. Let k be j(-7). Suppose 0 = -5*q - 25, -2*q - 2*q = g + k. Let z = -177 - g. Is z a prime number?
True
Suppose -67*y = -9803805 - 6000820 - 7191718. Is y a composite number?
True
Let v(a) = -a**3 + 18*a**2 - 31*a - 16. Let l be v(16). Suppose l = 3*u + i - 20193, -35812 = -4*u + 4*i - 8888. Is u prime?
False
Let h(a) = 8782*a**2 + 5*a + 7. Let b be h(-1). Let j = -5563 + b. Is j prime?
True
Let s be ((-1)/(-3))/(6/(-90)). Let j be (s + 0)*(-4)/5. Suppose 0 = -j*r + 8872 + 2236. Is r a composite number?
False
Let z(r) = -58*r - 150. Suppose 2*t + 52 = -6*c + 3*c, 15 = -3*t. Is z(c) a prime number?
False
Suppose -2*t - 3*k + 395002 = 0, 4*t - 178354 = -4*k + 611642. Is t a prime number?
False
Suppose 3*b = 3*c - 1310961, -5*b = 3*c - 2*b - 1310997. Is c a composite number?
False
Suppose 0 = -2*i - 2*s + 367398, -52*i + 50*i = -3*s - 367388. Is i composite?
False
Let x be ((-35)/15)/(-7)*(21 - 6). Suppose -o - 3*q = -2308 - 1888, 5*o + x*q = 20950. Is o a prime number?
False
Let x(w) = 2*w**2 - 8*w + 1. Let q be x(4). Let z be 1*-3*(q/3 - 0). Is (-6525)/z + (-4)/1 prime?
True
Suppose -24*d + 25053 = -21*d. Suppose 18*s - d + 305 = 0. Is s composite?
True
Let a(x) be the second derivative of -11/2*x**2 + 1/12*x**4 + 0*x**3 + 9*x + 0. Is a(-10) prime?
True
Suppose 5*p - 526795 = -4*l + 687144, -3*p + 2*l + 728381 = 0. Is p a composite number?
True
Suppose 163 = 6*d + 61. Suppose -d*u - 750 = -14*u. Let g = u - -667. Is g a composite number?
True
Suppose 10*q = 30*q. Is 1 + (-2 + 0)*-1901 + q prime?
True
Let i(g) = 133797*g**2 + 40*g - 36. Is i(1) composite?
False
Let h = -124 + 128. Suppose 4 = 2*v, -v = 3*q - h*q + 1337. Is q prime?
False
Let l be (-3 - -1)/((-4 - -1) + 2). Suppose k - 560 = -2*x - 13, 3*x = l*k - 1066. Suppose k + 543 = 2*w. Is w a prime number?
True
Let x(y) = -11*y**3 + 3*y**2 - 4*y + 1. Suppose 0 = 3*p + 3*p - 102. Suppose 0 = 3*i + 2*j + p, 0 = i - 0*i + 3*j + 8. Is x(i) a prime number?
True
Let d be 3/(27/84) - (-10)/(-30). Let l be ((82380/d)/(-5))/((-2)/12). Is 2/(3 + (-1 - l/5494)) a composite number?
True
Let i = -314 + 306. Is i/14 + (-1926834)/(-98) a prime number?
True
Let r(i) = -3*i + 112. Let v be r(31). Suppose v*y + 5971 = 20*y. Is y prime?
False
Suppose -3*x = -4*w - 22178 - 15847, 12670 = x - 3*w. Is x a composite number?
True
Let w(m) = 2384*m + 100. Let c be w(6). Suppose -2*s + 7202 = -19*t + 20*t, 4*s + 3*t - c = 0. Is s composite?
True
Let v(n) = 2*n**3 + n + 1. Let o(b) = 21*b**3 + 7*b**2 + 9*b - 12. Let d(z) = o(z) - 5*v(z). Is d(7) a composite number?
False
Let q(j) = 189*j - 53. Suppose -5*c - 20 = -2*y, 2*y - 19 - 1 = -2*c. Let x be q(y). Suppose x = b + 2*h, -2*b + 1666 = 2*h - 2012. Is b composite?
True
Is ((-16)/14)/(-2) + ((-180907506)/119)/(-54) a prime number?
False
Suppose 5*r = -4*c + 158657, -5*r + 158720 = 4*c - 9*r. Is c a prime number?
False
Let o(p) = -p**3 + 17*p**2 + 12*p + 113. Let g be o(18). Is -2 + (11982/g)/(6/15) composite?
True
Suppose -4*b = 4*l - 118880, -11*l + 5*b + 118871 = -7*l. Is l a prime number?
False
Let d = 6068 - 1741. Is d prime?
True
Let y(v) = -v**2 + 8. Suppose 0 = -4*g - 2*n - 12, -3 = g - 2*n - n. Let d be y(g). Is d + (-78)/(-3)*4 prime?
True
Let t = -46 + 72. Let r = -27 + t. Is -2317*((-1 + r)/(-2))/(-1) a prime number?
False
Suppose -t = -4*t - t. Suppose -31*c + 30*c + 2179 = t. Is c prime?
True
Let u(g) = -2195*g - 78. Let c be u(-8). Suppose 47*b - c = 45*b. Is b a prime number?
True
Suppose -25*m - 4*c = -29*m + 325780, -3*m + 244323 = 3*c. Is m composite?
True
Let r = 3056 - -80999. Is r a composite number?
True
Suppose -103 = -4*k - 0*k - 3*z, -2*z = -k + 23. Suppose 72 = k*s - 19*s. Suppose -3661 - 16775 = -s*v. Is v composite?
True
Let x(b) = 1055*b**2 + 20*b + 68. Let p be x(-5). Suppose p = 6*w + 3*w. Is w a prime number?
True
Suppose 4*b = -b + 105. Let o be 70/b*12/5. Suppose 0 = -9*m + o*m + 67. Is m composite?
False
Suppose 34*j - 37*j + 9 = 0. Let i(s) = -s**3 + s**2 - 4*s + j*s - s**2 + 2579. Is i(0) prime?
True
Let r(z) = z**3 - 2*z**2 - 5*z + 3. Let f be r(5). Let u = -54 + f. Is (u - -1372) + (6 - 5 - 1) a composite number?
True
Suppose -58*r + 55*r = 3*q - 1726584, -q = -5*r + 2877598. Is r a prime number?
False
Suppose 610 = -2*c + 148. Let p be (-26)/(-7) - 66/c. Is 2*((-98)/p + -2)*-3 composite?
True
Let l = -6 - -21. Let d(y) = -13 + 223*y**2 - 14*y**2 - l*y**2 + 8*y. Is d(3) a prime number?
False
Let v(l) = 14*l**3 + 10*l**2 - 7*l - 16. Let b(s) = 13*s**3 + 8*s**2 - 6*s - 16. Let o(i) = -4*b(i) + 3*v(i). Is o(-5) a prime number?
True
Let k be (-3)/(-24) + (-297)/72. Is ((-131436)/(-8))/9*k/(-6) prime?
True
Let n = 10 - 60. Let b be (-15)/n*5*6. Suppose 3*y = -b*y + 7608. Is y composite?
True
Suppose 0 = 12*c - 3*c + 612. Let k = 54 - c. Let g = 216 - k. Is g a composite number?
True
Let g = 40 + -38. Suppose q + 5 = -o + g*o, 3*q + 25 = 5*o. Suppose 4*l + 3*d - 353 - 1601 = q, 3*l - 5*d = 1451. Is l a prime number?
True
Let b(s) = 439*s**2 + 6*s - 406. Is b(-21) composite?
True
Let c(h) = -97*h + 356*h - 173*h - 25. Is c(11) prime?
False
Let r(j) = -3*j - 55. Let w be r(-20). Suppose -2*h - 7 = -w*y - 686, 4*h - 3*y = 1379. Is h prime?
True
Let j be (3/(-2))/((-1)/(-6)). Let t(y) = 17*y**2 - 9*y + 11. Let s(r) = -23*r**2 + 17*r - 22. Let k(w) = 2*s(w) + 5*t(w). Is k(j) a prime number?
False
Suppose n = 19 - 12, 3*n + 281596 = u. Is u a composite number?
True
Suppose -4*c + 5*r = -c - 533, 3*c + r - 563 = 0. Let a = c - 96. Suppose -4*h - j - a + 3694 = 0, 3*j = -4*h + 3604. Is h prime?
False
Let n(d) be the third derivative of -d**6/120 + 19*d**5/30 + 5*d**4/4 + 17*d**3/6 - 3*d**2 - d. Is n(20) a composite number?
False
Suppose f - 2738938 = 3*j, -11*f + 8*f = -2*j - 8216807. Is f composite?
True
Suppose 4*q + 6 = -5*d, -3*d + q + 10 = -0*d. Let x be (-1)/(d + 27/(-12)). Suppose x*j - 692 = -120. Is j a composite number?
True
Suppose -3*h - 213380 = -j - 0*j, 640131 = 3*j - 6*h. Is j a composite number?
True
Suppose 0 = -465*w + 461*w + 29132. Is w a composite number?
False
Suppose -109551 = 11*m - 1720028. Is m a composite number?
False
Let z be (0/2 - -18) + 12/6. Let u = 24 - z. Suppose 2*s = 2*c + 644, 2*c - u = -2*c. Is s composite?
True
Suppose -76*t + 26*t + 8*t = -278922. Is t a composite number?
True
Let h be 2/17 + (-264)/(-68). Suppose -173 = -h*i + 3911. Let o = i + -302. Is o composite?
False
Suppose 5213835 = -107*m + 404*m. Is m composite?
True
Let i(d) = 142*d**3 + d**2 - 8*d + 1. Let z(g) = 70*g**3 - 3*g. Let p(m) = -3*i(m) + 7*z(m). Let s = 9 + -7. Is p(s) a prime number?
True
Suppose -16*s + 88 = -8*s. Suppose s*i - 17073 - 3838 = 0. Is i prime?
True
Let m(c) = -40*c**3 + 7*c**2 - 4*c - 31. Let r(s) = 21*s**3 - 4*s**2 + 3*s + 16. Let a(b) = 3*m(b) + 7*r(b). Is a(10) a prime number?
False
Let n(g) = -20*g**2 + 5*g - 8. Let v be n(5). Let s = v + 1362. Is s prime?
False
Let p = -80 - -80. Suppose p = 2*k - 111 + 37. Is k a prime number?
True
Let y(j) = j**3 - 4*j**2 + 6*j - 7. Let t be y(3). Suppose -5*f + 837 = -t*d, 0 = -3*d + 2*d - 4*f - 412. Let p = d + 859. Is p a composite number?
False
Let s = -569 - -569. Let u(m) = m**2 + 11*m + 1039. Is u(s) prime?
True
Let h = 9 - 3. Suppose -3*f = -2*s + 2065, 2*f + h = 4*f. Is s a composite number?
True
Suppose -374*c + 380*c - 42 = 0. Is 196/(-21)*-369 - c a prime number?
False
Suppose -27*m + 16*m + 13288 = 0. Suppose -3*p = h - 917, 4*p + 2*h - m = -3*h. Is p prime?
True
Let y(c) = c - 3. Let g be y(5). Let a(d) = 232*d**2 - 17*d - 142. Let f be a(-6). Suppose -f = -g*p - 6*p. Is p composite?
False
Let j(v) = -2*v + 37. Let m be j(15). Suppose m = -3*x + 16. Suppose 7*n = x*n + 664. Is n a composite number?
True
Suppose -2*i + d = -671697, -4*i + 46*d + 1343429 = 51*d. Is i a composite number?
True
Suppose -23*m = -22*m - 56. Let y = m - -7. Is 875/y + 2/18 composite?
True
Suppose 0 = -3*k - 3*a + 1536921, 0 = 5*k + 78*a - 74*a - 2561539. Is k composite?
False
Let f