d**2 - 10*d - 17. Let i be g(-5). Is 5400/i - 2/1 a prime number?
True
Let j(y) = -y. Let h(p) = 102*p**2 + p + 6. Let t(d) = -d**2 + d - 1. Let k(r) = h(r) + 5*t(r). Let o(q) = 6*j(q) + k(q). Is o(2) a composite number?
False
Suppose -9*a = -0*a - 18441. Is a prime?
False
Is (-50)/(-375) - (-2 + 491366/(-30)) a composite number?
False
Let a(y) = -1475*y + 71. Is a(-6) a composite number?
True
Let h(a) be the second derivative of -a**5/20 + 11*a**4/12 - 3*a**3/2 + 7*a**2/2 - 3*a. Is h(8) a composite number?
False
Let j(s) = s**3 + 8*s**2 + 3*s + 6. Let r be j(-6). Suppose -5*o + r = n + 2*n, -n - 12 = -o. Suppose 13*a - 49 = o*a. Is a composite?
True
Suppose 0 = -2*b - 2*v + 12, 3*b + 4*v - 6 = 2*b. Let j be 15/b - (-3)/6. Suppose j*o - 59 - 52 = 0. Is o a prime number?
True
Suppose -3*z - 3*r = -2615 - 6928, -4*z + 3*r + 12738 = 0. Is z a prime number?
False
Let k be 6/8*(-4)/(-24)*16. Suppose 0 = -k*r + 7*r + 3*b - 1059, -5*r = -4*b - 1073. Is r prime?
False
Let o be (-46)/(-10) - 18/30. Let n(z) be the second derivative of 16*z**3/3 - 7*z**2/2 - 2*z. Is n(o) a composite number?
True
Suppose -33295 = 4*f - 7*f - 2*s, 3*s = -3. Is f a prime number?
False
Let p(l) = 0*l**3 - 7*l + l**3 + 11*l + 25 - 13*l**2. Is p(17) prime?
True
Suppose -3*z = 13 + 47. Is -1796*(4 + 85/z) prime?
True
Suppose -5*n = -u - 1843, -2*n = -u - 324 - 412. Let c = n - 30. Is c composite?
True
Suppose 16 = -3*g + 28. Is 25/(-50) + 2538/g + 1 composite?
True
Suppose -4*y + 1 = -y - 5*u, 0 = -2*y + u + 3. Suppose -3*p - y*p + 1570 = 0. Is p/(-3)*12/(-8) prime?
True
Let x be 6/(-8)*(-2 - 2). Is x/(-2) + 2823/6 a prime number?
False
Is (18290/15 - -5)*9 a prime number?
False
Suppose -5*k = -4*k + 3*f, 0 = 2*k - 2*f - 16. Is 1828/k*(-33)/(-22) a composite number?
False
Let y(l) = l**2 - 13*l + 17. Let g = -18 - -30. Let r be y(g). Suppose -r*s = -1692 - 323. Is s composite?
True
Suppose -3*u = -8*u + 10. Suppose -u*k + 36 = z, -2*z + 6 = -2*k - 42. Suppose z = -0*s + 4*s. Is s composite?
False
Let o(u) = -58*u**3 - 4*u**2 - 7*u - 5. Is o(-4) composite?
False
Let r(a) be the second derivative of a**5/20 - a**4/2 - 4*a**3/3 - a**2/2 - 27*a. Is r(12) a prime number?
False
Suppose 13 = 3*c + 1. Suppose -8*b + c*b + 5429 = -3*o, -3*b = -o - 4078. Is b a prime number?
True
Suppose 7*j + 0*j - 1127 = 0. Suppose 0 = 4*d + 2*l - 2 - 4, 15 = 5*d - 5*l. Suppose x - 1 - 165 = 3*n, -x = d*n - j. Is x prime?
True
Suppose -3*w - 6000 = -9*w. Suppose 3*k - w = -u, k + 3*k = -u + 1334. Is k composite?
True
Let g(k) = 14*k**2 - 2*k - 2. Let l(o) = -o**2 - 6*o + 2. Let f be l(-6). Suppose 16 = -4*m, f*w = 3*w + 5*m + 17. Is g(w) composite?
True
Let h(g) be the second derivative of 47*g**4/3 + g**3/3 - 10*g. Let o be h(-2). Suppose -5*a = -517 - o. Is a a composite number?
True
Suppose 4*s - 8*s = -82144. Is 9/(-15) - s/(-10) prime?
True
Let r(d) = -d**3 - 3*d**2 - 2*d - 2. Let g(t) = -t**2 - 7*t - 10. Let v be g(-7). Let x be (-1)/2 - v/(-4). Is r(x) a composite number?
True
Is (-19 - -5975) + ((-28)/2)/(-2) a prime number?
False
Let b(c) = 3*c**3 + 4*c - 1. Let f be b(3). Suppose 4*o = 3*g + f, 3*g - 4*g = -5*o + 104. Let w = o - 5. Is w composite?
True
Let d be -4 + (-4)/((-12)/27). Suppose 0*r + d*x = 3*r - 19, 3*x + 9 = 3*r. Let g(h) = 97*h**2 + 1. Is g(r) prime?
True
Suppose 0 = 7*z - 4*z - 9. Suppose -2*u - z*u + 2*f + 1461 = 0, 2*u + 2*f = 576. Is u prime?
False
Let j = 30 + -28. Let d(o) = -1 - 27*o + 2 - 5*o - j*o. Is d(-9) prime?
True
Is (-954567)/(-15) - (-24)/(-30) a composite number?
True
Suppose 4*u = 2*u - 338. Suppose 4*n - 1410 = n. Let q = u + n. Is q a prime number?
False
Let h = 333 + -124. Suppose 0 = 4*b - h - 407. Let k = b + 167. Is k composite?
True
Suppose -3*g + 17 + 26 = -5*l, -4*g + 2*l + 34 = 0. Let n(q) = -1 + 2*q**2 + 5*q - q**3 + 8*q**2 - 12. Is n(g) a prime number?
False
Let l be 8 + -5 - (-3 + 1). Suppose -3*k - 3161 = -l*p, 0 = 5*p + k - 2680 - 473. Is p a composite number?
False
Suppose 4*q = -q + q. Suppose q = -2*i + 805 + 151. Is i a prime number?
False
Let o = -4 - -64. Is (-23020)/o*6/(-2) prime?
True
Let w = 63516 - 16429. Is w a composite number?
False
Let j(c) = -199*c**3 + 5*c**2 + 5*c + 1. Let t be j(-3). Suppose t = -2*l - 4338. Is 12/(-54) - l/9 a prime number?
True
Let n = -10834 - -34407. Is n composite?
True
Let o(l) = 3567*l + 278. Is o(7) a composite number?
False
Suppose 0 = 2*j - k - 1225, -8*j + 10*j = 5*k + 1237. Is j prime?
False
Let c(a) = a + 1. Let r(g) = 5*g**3 - 2*g**2 - 6*g - 8. Let f(i) = 5*c(i) - r(i). Is f(-6) composite?
True
Let j(a) = 4*a + 19. Let c = -53 + 63. Is j(c) a composite number?
False
Is 8 + (48822/6 - -2) composite?
False
Let t = 45 - 29. Let c be 1/(5/90*-2). Let l = t + c. Is l composite?
False
Suppose 0 = -80*n + 70*n + 32990. Is n a prime number?
True
Suppose -2*k - 474 + 2310 = 0. Let l = -287 + k. Is l composite?
False
Let q be (-33)/(-55) - (-34)/10. Suppose 4 = 3*j + 7, -q*h + 7 = 5*j. Suppose -4*v + 353 = -h. Is v composite?
False
Let p(n) = 792*n**2 - 4*n + 85. Is p(8) a composite number?
False
Let u(x) be the third derivative of x**4/24 + 7*x**3/3 - 3*x**2. Let m be u(-10). Is 550/m - 21/(-14) a prime number?
True
Suppose 0*a = -a + 3. Suppose 2*j - 3*j + 1207 = -2*i, 0 = a*i - 15. Is j a composite number?
False
Let m be 45/(-18)*4/5. Let p be (-96)/(-3 + 6) + m. Let h = p - -93. Is h prime?
True
Let s be (-22)/(-4)*(-8)/(-22). Suppose s*h - 3*h = -691. Is h prime?
True
Let x(o) = 6*o**2 - 6*o - 2. Let h be x(6). Suppose 16 = -2*z - h. Let b = 206 + z. Is b prime?
True
Suppose -s + 6673 = d, 24*s - 5*d + 26692 = 28*s. Is s composite?
False
Suppose -x = -44*x + 236887. Is x composite?
True
Let l(o) = 215*o**2 - 19*o - 59. Is l(-4) prime?
True
Let a(n) = 5*n**2 - n - 2. Let l be a(-1). Suppose 5*m - z - l*z = 595, -z = 2*m - 235. Is m composite?
True
Suppose m - 2*s = 3487, 3*m = 5*m - 3*s - 6974. Is m a composite number?
True
Let r be 26955/27 + 1/(-3). Let z be (r + 0)*(-18)/(-12). Suppose -n - 2*n + z = 0. Is n composite?
False
Suppose -t = -6*t + 45. Let b be 2*(t/6 + 0). Suppose 561 = 5*v - b*w, -4*v - 3*w + 5*w + 448 = 0. Is v a prime number?
False
Suppose f + 2*d = -3*f + 3348, -5*d = 4*f - 3336. Is f a composite number?
False
Let s(d) = d**2 - 7*d - 2. Let r be s(7). Is (-4119)/r*(-12)/(-18) prime?
True
Let s(u) = -9*u**3 + 57*u**2 - 1 - 55*u**2 + 23*u**3. Let n be s(1). Is (76/12)/1*n composite?
True
Let u be 6*(-1)/(-6)*10. Suppose -8*g = -u*g + 254. Is g a composite number?
False
Let a(t) = -4742*t**3 - t**2 + 7*t + 8. Is a(-1) a composite number?
True
Let i(u) = u. Let o be i(3). Suppose 4*w + 2*b + o = 17, 0 = w + b - 3. Suppose 53 = w*z - 3*z. Is z a prime number?
True
Suppose 0 = -2*o + 507 + 447. Let j = -140 + o. Is j a prime number?
True
Suppose 3*c - 515 - 2077 = 0. Suppose -4*x = -c - 1508. Is x a composite number?
False
Suppose -4*a + 4 = -4. Suppose a*u = 0, u = -7*g + 4*g + 1143. Suppose 5*f - 2*f - g = 0. Is f a composite number?
False
Let a = 7689 - 2542. Is a composite?
False
Suppose 446*l + 3123 = 449*l. Is l composite?
True
Suppose -2*h - 12 = -6*h. Suppose 4*u - 329 = -5*o, -u - 361 = -5*o + h*u. Is o prime?
False
Let y = -1414 + 2757. Let i = y + -642. Is i prime?
True
Is 1*(-4)/(-20)*5*2759 a composite number?
True
Let q be ((-3)/12)/(3/(-36)). Suppose 0 = 8*n - q*n - 1900. Suppose 3*t = -143 + n. Is t prime?
True
Suppose -7*r - 4 = -8*r. Let k(a) = 2*a**2 + a**2 - 17*a + r - a**2. Is k(9) composite?
False
Suppose 0*n = -5*n - 2770. Let u be -14 - -10 - 2/4*8. Is 5/(-20) + n/u composite?
True
Suppose -3*j - 1594 = -5*s + 1197, -1677 = -3*s + 3*j. Is s a prime number?
True
Let k = 13 + -11. Suppose -11 = -k*j + 3*r + 2*r, r = -3. Is (-72)/(4/j) - 1 composite?
True
Suppose -3*m - 2*q = 2278, -2284 = 3*m + q + 4*q. Let x = m - -1453. Is x a composite number?
True
Let f be 16/10*(11 + -1). Let d(a) = a - 7 + f + 3*a**2 - 4*a**2 + 24. Is d(0) prime?
False
Let d = -7438 + 15495. Is d composite?
True
Suppose -2*k - 3*k = 105. Let d = -16 - k. Is (-1)/(-5) - (-64)/d a composite number?
False
Is (5 + -138 + 6)*-11 a composite number?
True
Let u be (48/18)/((-1)/(-3)). Let l be (32/u)/((-4)/(-11730)). Is 16/(-104) + l/26 prime?
False
Suppose -3*o = -3*b - 2*o - 31, -5*b - 35 = 