6)/m*-1*31256/12 prime?
True
Let w(o) = o + 3. Let j be w(-8). Let a(z) = -z**3 - 4*z**2 + 4*z - 5. Let m be a(j). Is 54 + (4 - (m + 1)) prime?
False
Let l(g) = g**3 + 27*g**2 + 3*g - 87. Is l(-20) a composite number?
True
Suppose -24*z = -48*z + 519672. Is z composite?
True
Suppose -4*z - z = -3720. Is (1 - 3 - -1) + z a composite number?
False
Suppose -3*r = 3*n - 3 + 12, 4*r + 8 = 0. Is (3895/(-10) + -4)*(n - 1) composite?
False
Let n(l) be the first derivative of 3*l**2 - 23*l - 13. Is n(18) a prime number?
False
Suppose 0 = -28*u + 902286 - 28658. Is u a prime number?
False
Is 73/((-30)/(-120) - 49/212) composite?
True
Let j be 4/6 - (-91)/21. Is 1 + (75/j - 2) a composite number?
True
Suppose -66*f = -65*f - w - 7494, -4*f + 3*w + 29975 = 0. Is f prime?
False
Let k(h) = -h**3 - 3*h**2 + h + 3. Let t be k(-3). Let r(o) = 3*o + 407. Is r(t) a composite number?
True
Is 32823 + 1 + (-21 - -24) a prime number?
False
Suppose -3*f + v = -3145 - 5732, 0 = -4*v. Is f composite?
True
Let z be ((-3)/6)/((-3)/30). Suppose -k + z*k = -16. Is k/22 + 30429/77 prime?
False
Is (-3699748)/(-130) - ((-8)/20 + 1) a composite number?
True
Let r(d) = d**3 - 5*d**2 - 6*d + 8. Let m be r(6). Is 1114/5 - m/(-40) composite?
False
Let b(w) = -w**3 + 11*w**2 - 10*w - 29. Is b(7) composite?
False
Suppose 30*v + 6020 = 35*v + 5*w, -2429 = -2*v + 5*w. Is v prime?
False
Suppose 5*s - 5 = 0, -g + 3*s = -0*s. Suppose 7*x - g*x = -200. Is 40/x + 339/5 prime?
True
Suppose 6*k = k - 45. Is 1899*((-1)/6 + k/(-18)) prime?
False
Is 191620/33 + 3/9 a prime number?
True
Suppose u = -2*w + 5982, 0*u + 3*w = -u + 5978. Suppose -6*v - 4*v + u = 0. Is v prime?
True
Let d be (-6 + 2)*(-21)/12. Let b = d - 4. Suppose b*l + 2*x - 259 = 0, -5*x + 3*x - 364 = -4*l. Is l prime?
True
Let r = 8 + 12. Suppose -8*i - 79 + 31 = 0. Is i/27 - r/(-9) a prime number?
True
Let i(r) = -6*r + 4. Let n be -3 - (-9)/12*-4. Let t be i(n). Is 3150/t - 1/(-4) prime?
True
Suppose 129 = 5*y + 14. Suppose y*d + 9 = 26*d. Suppose d*z + 0*z = 111. Is z prime?
True
Is (-15060)/(-17) + (-40)/(-340) a prime number?
False
Let d = 14634 + -8323. Is d prime?
True
Suppose 0 = -4*q + 530 + 4166. Is q composite?
True
Let s(q) = -q + 19. Let a be s(7). Suppose a = -3*i, -5*i + 757 - 32 = n. Is n a composite number?
True
Let i = 1760 - 2802. Let p = i + 1779. Suppose 2*x = 3*d - 439, 5*d + 0*x - p = 2*x. Is d a prime number?
True
Let a(b) = b**3 + 3*b**2 + 3*b + 2. Let f be a(-2). Suppose -y + 6 = -f*y. Let v(o) = 64*o - 11. Is v(y) composite?
False
Let m be 52*((5/4)/(-5))/(-1). Let r(w) = -w**2 + 21*w + 11. Is r(m) composite?
True
Let l(y) = 4354*y + 13. Is l(1) a composite number?
True
Suppose h + 16384 = 55907. Is h prime?
False
Suppose 8*q = 167191 - 24287. Is q composite?
False
Suppose 4*g = 0, -23*f - 5*g = -24*f + 17077. Is f a prime number?
True
Let i = 17343 + -9032. Is i composite?
False
Suppose q - 4 = -2. Suppose 3*h - 469 = q*h. Is h prime?
False
Is (-4)/8*6/(-9)*393 prime?
True
Let i(v) be the third derivative of v**6/120 + v**4/12 + 443*v**3/3 + 9*v**2. Is i(0) a composite number?
True
Suppose w = -3*p - 189, 3*w - 4*p = -404 - 176. Let m = w - -301. Is m a composite number?
False
Let c = 1 - -17. Let x(j) = -j**3 + j**2 - 1. Let f(i) = -2*i**3 - 15*i**2 - 6*i + 19. Let p(l) = -f(l) + 3*x(l). Is p(c) prime?
False
Let w = 39 + -45. Let l(f) = -42*f + 7. Is l(w) a composite number?
True
Let h(b) = 811*b - 57. Is h(10) prime?
True
Suppose 4*f = 5*l - 69525, 131*l - 127*l - 55579 = -5*f. Is l composite?
False
Let a(i) = 885*i**2 + 19*i - 9. Is a(4) prime?
False
Let f be (135/(-6))/(2/(-12)). Suppose k - 835 = -2*k + 5*i, -i + 281 = k. Suppose -k - f = -5*l. Is l a composite number?
False
Let o = 15 - 19. Let v be 4 + o + 0 + 3. Is ((-191)/3)/(v/(-9)) a prime number?
True
Let c = -70 + 75. Let t(n) = 173*n + 6. Is t(c) a composite number?
True
Suppose -4*x = 3*p - 57139, -28*x + 2*p + 42833 = -25*x. Is x composite?
False
Let x(g) = -g**3 - 8*g**2 - 1. Let d be x(-8). Let v be (d/1)/((-8)/296). Let k = -15 + v. Is k a prime number?
False
Let x(a) = 45*a**3 + 25*a**2 - 32*a + 115. Is x(11) a composite number?
False
Let g = 342 + 6631. Is g composite?
True
Let z(b) = 239*b - 17*b + 17*b + 18. Is z(5) a prime number?
True
Let w(x) = x**3 - 20*x**2 - 10*x + 110. Is w(24) prime?
False
Let s(g) = -460 + 4*g - 2*g + 0*g**2 - g**2 + 153. Let n be s(0). Let j = -42 - n. Is j composite?
True
Let q(b) = 32*b + 4111. Is q(0) a composite number?
False
Suppose -3*z + 29 - 92 = 0. Is (-233)/(1/4 - z/(-36)) composite?
True
Is 4/(-16) + (-1)/4*-10013 prime?
True
Suppose 2*i = -l + 2598, -2*l - 2588 = -2*i + 2*l. Suppose 2*u = 2*v + i, 2*u + v = 5*u - 1955. Is u a prime number?
True
Let q(l) = -l**3 + 32*l**2 + 9*l - 77. Is q(29) composite?
False
Let f(k) = 52*k**3 - 2*k**2 + 3*k - 2. Let r be f(1). Suppose -2*i - r = -1453. Is i composite?
False
Suppose 2*l = f - 93, 457 = 8*f - 3*f - 2*l. Is f a prime number?
False
Let c be 472/(-5*(-2)/20). Suppose 2*w = c - 238. Is w composite?
False
Let u = 4045 - -555. Suppose 3*k = -5*g + u, -k + 3479 = 4*g - 194. Is g a prime number?
False
Is (-2864)/(-96)*(1 + 5) a prime number?
True
Let s(z) be the third derivative of -z**6/120 - 11*z**5/60 - 13*z**4/24 + 3*z**3/2 + 13*z**2. Let q be s(-10). Suppose -4*c + 7*c = q. Is c prime?
True
Let l(w) = w**2 - 6*w - 7. Let i be l(7). Suppose z = 5*y + 23, i*z + y = 3*z - 13. Suppose f = -z*f + 76. Is f prime?
True
Suppose 4*g - 29927 = 5621. Is g a prime number?
True
Let x(b) = 15*b**2 - 6*b - 31. Is x(24) prime?
False
Let b be 5 + -2 + -5 + 5. Suppose 0*k = 3*w + k - 11, 4 = -b*w + 2*k. Is w/(-6) - 304/(-12) a prime number?
False
Let d(y) = y**3 - y - 1. Let p(l) = 5*l**3 - 16*l**2 + 15*l + 13. Let a(j) = 6*d(j) - p(j). Is a(-17) composite?
True
Let q(u) = -6*u - 34. Let p(c) be the third derivative of c**4/24 - c**3/6 - 8*c**2. Let s(j) = -5*p(j) - q(j). Is s(0) prime?
False
Is 24/36 - (0 - (-4969)/(-3)) a prime number?
True
Let v(p) = 2*p - 1. Let d be v(1). Let u be ((-1)/d)/((-2)/306). Suppose -u = -3*f + 2*c, 2*c - 16 = -5*f + 223. Is f a prime number?
False
Let v = 2858 - 1751. Let f be 0*(-2)/70*-7. Suppose f = -g + v + 62. Is g a prime number?
False
Suppose -y + 0*y - 5*k = 18, -2*y - 4 = 2*k. Let m = -218 + 576. Suppose -c - 8*d + 3*d = -84, 4*c = y*d + m. Is c a prime number?
True
Let m(u) = 35*u - 19. Let t be m(3). Suppose -3*l = -3*x - 8*l + t, 4*x - 72 = 4*l. Is x a composite number?
True
Let k = 38 - -342. Suppose -305 = -i + k. Is i a composite number?
True
Suppose -18*i + 25*i = 29589. Is i prime?
False
Let j = -28 + 27. Is -3 - (-3 - (1694 + j)) a composite number?
False
Let h(s) = -14 + 10*s + 6*s**2 - 4*s**2 - 3*s**2. Let t be h(8). Suppose 3*l - 4*l = f - 678, 0 = 4*f - t*l - 2682. Is f prime?
True
Suppose 0 = 16*n - 4626 - 46. Let m = 410 - n. Is m composite?
True
Let i(j) = -j + 2. Suppose -2 + 14 = 3*l. Let d be i(l). Is d/(-9) - (-3427)/9 composite?
True
Suppose 0 = 3*d - d - 4. Let w(o) = -111*o**2 + 2*o + 19. Let q(u) = 55*u**2 - u - 9. Let x(y) = 13*q(y) + 6*w(y). Is x(d) a prime number?
True
Suppose -6*d + 2*d = -20. Let b(j) = -6*j**2 + 11*j + 8. Let s(a) = -12*a**2 + 21*a + 15. Let i(k) = d*b(k) - 3*s(k). Is i(-6) a prime number?
False
Let s be (-2)/(-13) + 126/26. Suppose 0 = 5*b - 5*d - 85 - 530, -2*b + 243 = d. Suppose 75 = -s*u + a + 679, -b = -u - a. Is u composite?
True
Let c(o) = 3*o**2 - 77*o + 52. Let w be c(25). Suppose 3*f = -f + 10872. Suppose 4*s - f = 2*t, -s + w*t + 652 = 7*t. Is s a composite number?
False
Is (44/6)/(18931/6303 + -3) prime?
False
Suppose 2*h - 3*y = 1745, 0 = -0*h + h - 5*y - 862. Is h a composite number?
False
Let r = 1379 - 368. Suppose 5*m - x - 1685 = 0, -r = m - 4*m + 3*x. Is m composite?
False
Suppose -3*g + 88531 = -50372. Is g a composite number?
False
Suppose 0 = -t + 2*w + 23603, 5*t - 2*w - 21349 - 96650 = 0. Is t a prime number?
True
Let j(v) = 4*v**3 + v**2 - 2*v. Let k be j(1). Suppose 17121 = k*d - 9648. Is d a prime number?
True
Let f(p) = p**2 - 8*p + 6. Let v be f(5). Let u be (-70)/(-3) + 3/v. Let d = u - 0. Is d composite?
False
Let u be (5816/12)/((-8)/12). Let j = -420 - u. Is j a composite number?
False
Let f = -2 + 8. Suppose -f*g = -g - 20. Suppose 5*k 