l = d - -1. Is ((-33)/3)/(l/(-5)) a prime number?
False
Let l = 5405 + -2538. Is l a prime number?
False
Let m(n) = -n**3 + 13*n**2 - 4*n - 15. Let s(v) = -v**3 + v**2 + v. Let y be s(2). Let g be -2*(3/(-2) + y). Is m(g) composite?
False
Let y(o) be the first derivative of -o**3/3 + 3*o**2/2 + 2*o + 2. Let k be y(3). Suppose 0 = 5*v + l - 590, 5*l = 3*v + k*l - 372. Is v composite?
True
Is 1382/1*(120/16 + -4) a prime number?
False
Suppose -79850 = -385*t + 375*t. Is t a composite number?
True
Let o(t) = 264*t + 17. Let r(v) = -3*v - 6. Let j be r(-3). Is o(j) composite?
False
Let u = 17 + -15. Suppose -620 = -3*q - f, 0*q + u*q - 430 = -4*f. Is q a prime number?
False
Let g be 0 - -1 - (0 - -2). Let f be g/(-3) + 2739/(-9). Let z = -87 - f. Is z a prime number?
False
Let d(z) = -1 - 16*z**2 + 3*z - 3*z + 0*z - 2*z - z**3. Suppose -7*a + 5*a = 32. Is d(a) a composite number?
False
Is ((-5)/5 - 2) + 1046 a composite number?
True
Suppose 4*i = 5*v - 9, 5*v + i - 2*i = 21. Suppose v*g + 357 = -288. Let n = -71 - g. Is n a composite number?
True
Is 25391 - (24/36)/(3/18) a composite number?
True
Suppose -21326 = -2*q - 5*o + 22297, -o - 43593 = -2*q. Is q a composite number?
False
Let s = 97435 - 37586. Is s a prime number?
False
Suppose 0 = -0*y + y. Suppose -b = -y*b - 2045. Suppose b = -5*k + 10*k. Is k prime?
True
Suppose 5*u = -4*w - 4, -w - 3*u = u - 10. Let b(l) = l**3 + 11*l**2 - 5*l + 1. Is b(w) prime?
True
Let p = 6 - -2. Suppose p*n - 5*v - 255 = 3*n, -5*n + 3*v = -257. Suppose -y = -5*y + 4*a + n, -4*y + 3*a + 52 = 0. Is y prime?
True
Suppose 0 = 7*m - 6*m + 2. Is (-15273)/(-15) + m*(-1)/(-10) a prime number?
False
Suppose 0 = 2*g - 7944 - 300. Suppose 0 = -0*b - 4*b - 3*m + 8219, g = 2*b + 4*m. Is b a composite number?
True
Let y = -2 - -4. Let r(g) = 2*g**2 - 2*g - 2. Let z be r(y). Suppose 206 = z*x + 4*w, 0 = -4*x - 5*w + 447 - 20. Is x a composite number?
False
Suppose 4*z - 2*b = -18, -8 = 3*z - 5*b + 23. Is -2*z/(12/285) prime?
False
Let m = 1013 - 663. Let k = -219 + m. Is 1*((1 - 1) + k) composite?
False
Let r = 22345 - 13260. Suppose -h = 4*h - r. Is h composite?
True
Let j(b) = 1142*b**2 - 3*b + 2. Let u be j(1). Suppose 233 = l + p + 3*p, 0 = 5*l - 4*p - u. Suppose 0 = 4*x + l - 1037. Is x prime?
False
Let a = 9 + -3. Suppose 9*c - 10 = 4*c. Is (c/a)/((-1)/(-21)) a prime number?
True
Suppose 16*a - 17*a = 0. Suppose 0 = 3*c + 5*w - 40, a = 2*w - 2 + 4. Is c a prime number?
False
Suppose 0 = 6*u + 14308 + 1028. Let k = u + 4505. Is k a prime number?
True
Let b = 5551 + -179. Suppose 6*o - b = -506. Is o a prime number?
True
Let b be (-8)/(-1)*((-126)/(-24) + -5). Suppose b*t - 4*t - 1272 = -2*x, 5*x = -3*t + 3172. Is x composite?
True
Let r = 66568 - 45425. Is r composite?
False
Let h = -514 + 335. Let d = h + 362. Suppose 0 = -5*p + 668 - d. Is p a prime number?
True
Let g = -177 - 34. Let t = g - -468. Let s = 586 - t. Is s prime?
False
Let h(q) = -q**2 - 9*q - 9. Let p be h(-7). Suppose -4*l + p*s = -0*s - 71, 0 = 3*l - 3*s - 51. Is 3927/l*4/6 prime?
False
Suppose -5*r + 112106 = 2*u, 3*u = -2*r - r + 67260. Let l be r/(-21) + (-2)/7. Is (-2)/(-6)*l/(-4) a composite number?
False
Let r(x) = -x**2 + 7*x - 9. Let m be r(5). Let t(u) = -10*u + m - 2*u - 7 + 2*u. Is t(-8) a prime number?
False
Suppose 2*w + 60 = -w. Let p = 24 + w. Suppose 3*n - 7*n + p*l = -240, -2*l = 5*n - 293. Is n prime?
True
Is 23/(1472/48) + (-32962)/(-8) composite?
True
Let g be -4 + 1 - (22 + -29). Is ((-7638)/(-12))/(g/(-8) - -1) composite?
True
Let p(y) = -y**3 - y**2 - 17*y + 30329. Is p(0) composite?
True
Let n(q) = 92*q**3 + 11*q**2 - 17*q - 19. Is n(5) a prime number?
False
Let w(n) be the first derivative of n**4/4 - 17*n**3/3 + 8*n**2 + 5*n - 2. Let a be w(16). Is 1/a - (-16680)/100 prime?
True
Suppose 0 = -5*r + 10*r - 10. Suppose -3*p = 1 - 28. Suppose 3*n + p = -0*n, 2*n - 160 = -r*f. Is f composite?
False
Let y = 7559 + 1022. Is y composite?
False
Suppose 5*b - 53 = -g, -12 - 38 = -4*b + 3*g. Let t(r) be the second derivative of r**5/20 - 11*r**4/12 + 2*r**3/3 - 7*r**2/2 + r. Is t(b) a composite number?
False
Suppose -2*t + 0*t = -554. Let x = t - 18. Is x prime?
False
Let p(d) be the third derivative of 0*d + 2*d**2 + 1/8*d**4 + 5/6*d**3 + 0. Is p(6) composite?
False
Suppose -j = 5*j + 30. Let g be (j/4)/(2/(-280)). Suppose 2*u + g = 1541. Is u a composite number?
False
Suppose 4*t - 12 = 2*f, -t = 2*f - 1 - 2. Let s(l) = -l**3 - l + 5. Let b be s(f). Suppose b*g - 5271 = -436. Is g composite?
False
Let k(n) = 568*n**3 - n**2 + n - 1. Is k(2) a composite number?
True
Let z(a) = 377 - 4*a - 3*a**2 - 384 + 4*a**2. Suppose -3*m - 30 = 2*m. Is z(m) a prime number?
True
Let f = -41 + 25. Let a be ((-234)/91)/((-6)/28). Is 231/a - (-4)/f prime?
True
Suppose -37500 + 9310 = -10*g. Is g prime?
True
Let g(a) = -439*a - 25. Let q(y) = -219*y - 13. Let s(p) = 6*g(p) - 11*q(p). Is s(-2) a prime number?
True
Let f be ((-333)/2)/(4/56). Let t = 4501 + f. Is t/3 + (-9)/27 prime?
False
Let j be (-12890)/(-3)*(3 + 45/(-25)). Is j + (-1)/3 + (-2)/3 composite?
True
Let p = 89 - 86. Suppose p*y = -2*y, -4*j + 1780 = -y. Is j a prime number?
False
Suppose 0*l + 30 = 5*l. Suppose 0 = 2*k - 12 - l. Suppose 0 = -3*f + k, 3*f - 62 = -x + 50. Is x composite?
False
Let j = 3 - -3. Let f(g) = g**2 + 3*g. Let t be f(-3). Suppose t = j*q - 2*q - 1268. Is q composite?
False
Let n = -2 - -28. Let i be (-162)/14 + 24/42. Let h = n - i. Is h a composite number?
False
Suppose -24*z + 46*z = 200926. Is z a prime number?
True
Is 1*1823/(-2)*-2 a composite number?
False
Suppose -5*c = -10*c + 15. Suppose -4 = -c*n - 19. Is (-5)/(-3 + n/(-2)) prime?
False
Suppose -f = 14 - 19. Suppose -13*z + f*z = -26296. Is z prime?
False
Suppose -3*c + 12 + 15 = 0. Let x = -5 + c. Suppose 0 = x*m + w - 489, -2*m = m + 3*w - 360. Is m a prime number?
False
Suppose 5*y - 1 + 26 = 0. Is 2/y + 1 - 7774/(-10) a composite number?
True
Suppose 0 = 2*n + 17*n - 2020555. Is n composite?
True
Is 1008388/928 - (-3)/8 a prime number?
True
Suppose 0 = -u - 8*u - 27. Let b(s) = 353*s**2 - 8*s - 2. Is b(u) composite?
True
Let l(x) = -x**3 - 5*x**2 + 60*x + 153. Is l(-31) a prime number?
True
Let o = 78 + -73. Let l(j) be the third derivative of j**5/20 + 2*j**3/3 - j**2. Is l(o) prime?
True
Suppose -q - q = 5*t - 117854, -t + 5*q = -23560. Suppose 6*x + 5*z = x + t, -2*z = 3*x - 14139. Is x a prime number?
False
Let i(k) = -141*k**3 - 2*k + 3. Let f be i(-2). Let n = f - 398. Is n composite?
True
Let k = -19 - -19. Suppose 0 = -k*n + 11*n - 4609. Is n a prime number?
True
Suppose -2043 = 120*b - 123*b. Is b a composite number?
True
Suppose 4455 = 4*p + b, 1106 = 4*p - b - 3359. Is p a prime number?
False
Let u = 386 - -16. Let v = u - 239. Is v prime?
True
Suppose 2*c = 10, -5*x + c + 14 + 6 = 0. Suppose 5*l - 15 = -x. Suppose s = -1, 171 + 18 = l*y + s. Is y prime?
False
Is (-14460)/(-21) - 12/(-28) prime?
False
Let v be (2 - 9/6)/(6/10536). Suppose -6 = 3*b + 3, -4*b = 5*x - v. Is x a prime number?
False
Let i(o) = 412*o**2 + 2*o - 1. Let c be -8 + 7 + (0 - 2)/2. Is i(c) composite?
True
Suppose -3*a = -4*v - 2*a + 29, -35 = -4*v - a. Let b(s) = s**2 - 9*s + 7. Let z be b(v). Is (-5 + 84)*(-1)/z composite?
False
Is 1*9/(18/207926) composite?
False
Suppose 0 = -4*u - 2*g + 24, 9 + 19 = 2*u + 5*g. Suppose 6*m - 2582 = u*m. Is m a prime number?
True
Suppose -6*o + 4 = -4*o. Suppose 0*s = 2*s + 4*y - 28, 2*y + 16 = o*s. Is s/15 - (-220)/3 prime?
False
Suppose -3*x = 4*s - 16, s - 4 = -0*x - 5*x. Suppose 0 = -0*a + s*a - 3676. Is a a prime number?
True
Let v(s) = 780*s + 25. Let x be v(9). Suppose 22*k = 17*k + x. Is k prime?
True
Let s(h) = -h**2 - 7*h - 10. Let o be s(-5). Suppose 8*p - 3*p - 655 = o. Is p a prime number?
True
Let t(j) = 227*j**3 - j**2 - 7. Is t(3) a composite number?
False
Let o(v) = -v**3 - 22*v**2 + 47*v - 20. Let h be o(-24). Let c = 531 + 233. Suppose -h*t = -8*t + c. Is t a composite number?
False
Let z(m) = -22*m**3 - 5*m - 4. Is z(-5) a prime number?
False
Is 1*1535 + (-5)/5 + 1 a composite number?
True
Suppose 48 = -4*z + 16. Let p = -5 - z. Suppose -3*r = 2*u - 325, -p*u - 2*u + r = -804. Is u prime?
False
Let u(f) be the third derivative of 11*f**4/8 + 49*f**3/6 + 26*f**2