Is d(-3) prime?
False
Let a(o) = -3 + o - 3 + 4. Let d be a(-2). Is (-5885)/(-45) - d/18 a prime number?
True
Let r = -45 - -24. Let y(s) = s**3 - 4*s**2 + 2*s - 10. Let w be y(4). Let h = w - r. Is h a prime number?
True
Suppose 0 = 4*y + 2*y + 138. Let o(r) = 2*r**3 + 2*r**2 - 1. Let n be o(1). Let l = n - y. Is l composite?
True
Suppose 2*x - 3*x - 2 = 0, -5*l = -4*x - 5028. Let p = l + 263. Is p prime?
False
Let m(w) = -w**2 - 19*w - 5. Let b be ((-1)/2)/((-3)/(-30)). Let v be 53/b - 4/10. Is m(v) composite?
False
Let f(s) = -3879*s - 47. Is f(-2) a composite number?
True
Let h = -102975 + 167166. Is h a composite number?
True
Is 11/((-110)/(-81940)) - (1 + -4) a composite number?
True
Let t = -8653 + 16900. Is t composite?
True
Let g = 3140 - -1497. Is g prime?
True
Let u be 4/(-10)*(19 + -4). Let y = -11 - u. Is y/(10/(-6)) + 71 composite?
True
Let r = 13 + -480. Let j = r - -958. Is j composite?
False
Let h be (4 - 12/2) + 0. Let n be 24/(-10)*(6 + -1). Is h/(-8) - 441/n a prime number?
True
Let b(n) = -n - 2. Let f be b(5). Let a = f - -7. Suppose a*k = -4*k + 28. Is k prime?
True
Let b(m) = 152*m + 2. Let p be b(-2). Let w = -1145 - -716. Let y = p - w. Is y a composite number?
False
Let k(h) = -293*h. Let r be k(2). Is (r/(2 - 1))/((-14)/7) a prime number?
True
Let j(x) = 6912*x - 85. Is j(2) composite?
True
Let o(m) be the second derivative of -64*m**3/3 - 21*m**2/2 - 8*m. Is o(-10) a prime number?
True
Let j be ((-1)/(-3))/(2/(-12)) + 10. Suppose j = 2*n, 4*l + 3*n - 348 = 5*n. Is l a prime number?
True
Suppose -2*l = 20901 - 6563. Let c = -3324 - l. Suppose -c + 331 = -2*z. Is z a composite number?
True
Suppose 2*u - 5*i - 29198 = -9445, -u - 3*i + 9860 = 0. Is u prime?
False
Suppose u + 0*u = 8. Suppose -60*n = -55*n - 1340. Suppose 4*m + n = u*m. Is m prime?
True
Suppose 3*h - 2*q = 15523, 5*h + 5751 = q + 31618. Is h composite?
True
Let l = -49568 - -199590. Is l composite?
True
Let y be (-3 + -1)/4*-97. Suppose y = -d + 5. Let c = 57 - d. Is c a prime number?
True
Let x = 70 + -42. Is 18507/12 + 21/x a composite number?
False
Let c(a) = 764*a**3 - 13*a**2 + 29*a - 5. Is c(3) a composite number?
False
Is -2 - -3 - (-6200)/(-30)*-60 a prime number?
True
Suppose 2*v = 5*c - 2301, 4*c - 2*v - 1840 = -0*v. Suppose 0 = -6*u + c + 277. Suppose -103 - u = -2*y. Is y prime?
True
Suppose 4*i + 12 = -2*m - 2*m, m = -5*i + 1. Let v(a) = 2*a - 1 - 10*a**3 - 6*a**2 - 6*a - 2. Is v(m) a prime number?
True
Let y(g) = 480*g + 19. Is y(1) prime?
True
Suppose 5*f - 2*y - 12 = 0, -2*f - 5*y = -3*f - 16. Suppose -f*r = -7*r + 177. Is r prime?
True
Let s(n) = 1936*n - 377. Is s(16) a prime number?
False
Suppose -6*c + 290 = -682. Suppose -257 = -h + c. Is h a composite number?
False
Let p = 39 + -40. Let v(a) = -48*a - 1. Is v(p) prime?
True
Let n be 2 + -2*2/(-4). Let l(p) be the first derivative of 35*p**4/4 - 5*p**3/3 + p**2/2 + 4*p + 143. Is l(n) a composite number?
False
Let r be 2099/5 - (-6)/30. Suppose 3*j = -3*d - r, -4*j - 125 = d - 0*j. Let k = 216 + d. Is k a composite number?
False
Suppose p + 363 = l, 5*l + 2*p - 3*p = 1831. Suppose 4*c = t + 385, -3*c + l = 3*t + 67. Let u = c + -30. Is u a prime number?
True
Let c = 2220 - -7894. Suppose -11*p - 137 = -c. Is p composite?
False
Is -4279*(4 - (2 + 3)) a prime number?
False
Suppose 5*l = -4*t + 11, 9*t - 4*t = -l + 19. Let z(c) = -73*c**3 - c**2 - c - 1. Let p be z(l). Suppose m = -0 + 1, m - p = -v. Is v a prime number?
True
Suppose -5*d = -4*p - 2*d + 3195, 0 = p - 3*d - 801. Suppose 0 = 4*l - 6242 + p. Is l composite?
False
Let b be 2*(-2)/(1*(-4)/8). Suppose b*p - 4073 - 6479 = 0. Is p prime?
True
Let d be 2 - -3783 - (5/(-1))/5. Suppose 5*t - 4*k - 12 = 0, 5*k = -4*t - 0*k - 15. Suppose t = -11*b + 5*b + d. Is b prime?
True
Suppose 33*v - 57*v = -474648. Is v a prime number?
True
Let x be 3 + 0 + (-7 - -13). Let t = -12 + x. Let b(p) = 2*p**2 + p - 1. Is b(t) prime?
False
Suppose 7*r + 9 = 4*r. Is -3*r/(-6)*(-27076)/6 composite?
True
Let y = 38259 - 18874. Is y composite?
True
Suppose -8*r + r - 35 = 0. Let c(j) = -3*j**3 + 6*j**2 - 2*j + 11. Let a be c(r). Suppose -2*w = 112 - a. Is w a composite number?
True
Let x(g) = -2 + 3*g**3 + 1 + 0 + 9*g + 6*g**2. Let d(z) = z**2 + 2*z + 3. Let l be d(-3). Is x(l) composite?
True
Is (137502/12 - 0) + 3/6 a composite number?
True
Let w = -932 - -1858. Suppose 0 = -3*j + w - 68. Let o = j - 71. Is o composite?
True
Let a(t) = 238*t + 12. Suppose 4 = 2*c - 2*l - 6, 0 = c + 4*l + 5. Let j be a(c). Let h = 1633 - j. Is h prime?
True
Is (-10 + -316928)/(-6) - -6 a composite number?
True
Let y = -233 + -178. Let i = -294 - y. Let d = -4 + i. Is d prime?
True
Suppose 2*a + 1 - 17 = 0. Suppose -7*n - 3 = -a*n. Suppose -n*v + 7*v = 568. Is v prime?
False
Let c be 0/(1/1*-1). Suppose c*q = q. Suppose q = -3*v - v + 316. Is v composite?
False
Suppose 0 = 3*w - 5851 - 11156. Is w composite?
False
Let b = 8 - 13. Let s = 4 + b. Is -127*(1 - (s - -3)) composite?
False
Suppose 3*s - 5*y = 7*s - 25709, -4*s - y = -25689. Is s prime?
True
Let h(w) = w + 121. Let g(m) = -m**2 + 9. Let x be g(-3). Is h(x) a prime number?
False
Let u = 6263 - 1981. Is u a prime number?
False
Suppose 0 = -6*h + 19 - 67. Let s(o) = 8*o**2 + 10*o + 11. Is s(h) prime?
True
Suppose 6*m - 27 = -9. Suppose -m*t = -5*k - 218 - 51, -340 = -4*t + 2*k. Is t a composite number?
False
Suppose 0 = 8*n - 29*n + 178311. Is n prime?
False
Let a(h) be the first derivative of -19*h**2/2 - h - 4. Let k be a(-4). Suppose k + 515 = 2*v. Is v composite?
True
Let z = -4 + -2. Let q = z + 10. Suppose 265 = w + q*w. Is w a prime number?
True
Suppose -5*m + 2 - 17 = 0. Let k be (m + 3 - 32)*29. Let w = -509 - k. Is w a prime number?
True
Let z be 3/5 + 1272/(-20). Let u be z/(-14)*(-458)/(-3). Let x = u + -430. Is x composite?
False
Let k(i) = -2*i**3 - 13*i**2 - 4*i. Let d be k(-6). Let j = 89 + d. Is j prime?
False
Let o be 1 - 0 - (-17 + -2). Is 8/o + (-9765)/(-25) a composite number?
True
Let y = -20425 + 42522. Is y a prime number?
False
Suppose 3*z + 68854 = 515827. Is z prime?
True
Is 2/(-5) - (175656/5)/(-8) composite?
False
Is -2 - 0 - (-68 + -24505) prime?
True
Suppose 0 = -4*m - 4*g + 40, 4*m - g = 6*m - 16. Let r(h) = 4*h**2 + 9*h - 15. Is r(m) a composite number?
True
Is 1/4 - ((-81729)/12 + -10) composite?
True
Suppose -5*w = 2*q + 5, 3*w - 14 = -4*q - 3. Suppose 5*z + 25 = q*o + 3*z, z = 5*o - 20. Suppose -o*i + 82 = d, 0 = 5*i - 13 + 38. Is d a prime number?
True
Is (-47)/423 + (-128)/(-18) a prime number?
True
Let b = -22 - -45. Let k = b + 420. Is k composite?
False
Let c(i) = 39*i + 9. Let p(r) = -40*r - 8. Let v(d) = 3*c(d) + 2*p(d). Is v(6) a composite number?
False
Suppose -6771 - 14436 = -3*u. Is u composite?
False
Let k(d) be the first derivative of 1/2*d**2 - 1/3*d**3 - 3 + 55*d. Is k(0) prime?
False
Suppose -4*v + 5*c = -31, 2*c = -v - 3 + 1. Suppose -747 = -3*a + 2*r, 211 = 2*a - v*r - 279. Is a a prime number?
True
Suppose -51*f + 48*f = -2055. Is f a prime number?
False
Is (189/(-49))/(-9) - 288556/(-28) a composite number?
True
Suppose 2*x - 4*l - 8686 = 4*x, 0 = x - 3*l + 4353. Is 2/8 + x/(-4) composite?
False
Suppose 3*k + 1 = -u + 6*k, 0 = k - 1. Suppose 498 = u*g - 2*r - 80, 5*g - 3*r - 1441 = 0. Is g prime?
False
Let b(n) = 42*n - 6. Let p be b(2). Is 20/(-24)*p/(-20)*148 composite?
True
Let m(r) = 222*r**2 + 2*r - 1. Let y be (-3 - 0) + 1 + 3. Is m(y) a prime number?
True
Suppose 0 = -0*r + r + 8. Let d(v) = -v**3 - 3*v**2 + 9. Is d(r) composite?
True
Suppose 0 = 2*d - 3*d. Suppose -4*w + d*w + 20 = 0. Suppose -2*o - 2*t + 986 = 0, -w*o + 2465 = 2*t - 4*t. Is o a composite number?
True
Suppose 50734 = 2*k + w, k - 4*w = -k + 50734. Is k a prime number?
True
Let c = -7 - -6. Let l be ((-2 - c)*6)/(-2). Let a = l + 198. Is a composite?
True
Let z(h) = 8*h**2 - h - 8. Suppose j + 6 = y, -3*j - 4*y = -2*j + 11. Is z(j) prime?
False
Suppose 0 = -5*r - o - 533, 0*r + r = 4*o - 115. Suppose -5*s + 4*s - 2*z + 254 = 0, -4*s - 4*z = -1020. Let p = r + s. Is p a composite number?
False
Let f(x) be the third derivative of -13*x**6/24 + x**4/24 - x**3/2 + 2*x**2. Is f(-2) prime?
False
Let l be (18/12)/((-3)/(-8)). Suppose l*x - 725 = -2*q + 801, -3*q = -3*x - 2253. Is q a c