e?
True
Let l = 4103 - 1092. Is l prime?
True
Suppose -5*k + 56939 = -13*c + 17*c, 0 = -3*k + 3*c + 34158. Is k a composite number?
True
Suppose -3*z + 17051 = 4*u - 6012, -2*u = 4*z - 11534. Suppose -3650 - u = -5*i. Is i a composite number?
True
Let j be -1 - (-2 + 0 + -1). Let f be ((-759)/j)/(7/14). Let t = -90 - f. Is t prime?
False
Let v(f) = f**3 - 8*f**2 + 8*f - 4. Suppose 2*k = -2*k + 28. Let d be v(k). Suppose -5*r + 155 = -2*n, 0 = -d*r + 2*r - 5*n + 31. Is r a prime number?
True
Let a(p) = 25*p - 16. Let d(b) = 74*b - 48. Let y(r) = 16*a(r) - 5*d(r). Let n be y(7). Suppose 0 = -t - t + n. Is t prime?
True
Is -2 - ((-2143344)/624 + (-2)/13) a prime number?
True
Suppose -13 - 8 = 3*l. Let b(c) = -c**2 - 9*c - 4. Let x be b(l). Is (-704)/(-20) + (-2)/x a prime number?
False
Let s be (-11)/(-1) - 4/1. Suppose s*g + 5*c = 2*g + 170, c = 4. Suppose 2*n = g + 260. Is n a prime number?
False
Let w(d) = 3 + 8 - 171*d + 179*d. Suppose -3*o + 11 = 2*y, -3*o - 5 = 5*y - 1. Is w(o) prime?
True
Let l = -9 - -24. Suppose -r - l = -4*r. Suppose n - 49 = 3*h - 3, -r*n - 4*h = -287. Is n prime?
False
Let t be ((-5656)/(-32))/(5/4 - 1). Suppose -j + 1088 - 377 = p, 3*j - t = -p. Is p prime?
False
Suppose 15 = -3*r + 396. Let h = -58 + r. Is h a prime number?
False
Let h(t) = -127*t - 105. Is h(-38) a prime number?
True
Suppose 5*x + 0*x - 5 = 0. Let i = x - -4. Suppose -i*v - 15 = 0, -2*v + 5*v = -d + 1. Is d a prime number?
False
Let m be (-6)/(-24) + 6/8. Suppose -m - 11 = -4*t, 5*x - 22 = t. Suppose x*a - 293 - 32 = 0. Is a composite?
True
Let c(j) = j**3 - 21 - 5*j - 6*j + 19*j**2 + 9*j. Is c(-12) prime?
False
Suppose 4*z - 4218 = 3*h, 2*z - 5*h - 1261 - 855 = 0. Suppose c - z = b, c + 3*b = 3*c - 2104. Is c a prime number?
False
Let g(x) = -x**3 - 32*x**2 + 23*x - 19. Is g(-34) a composite number?
False
Let g(k) be the first derivative of -153*k**2 + 23*k - 28. Is g(-4) a prime number?
False
Let g = -12 + 15. Suppose -g*h + q + 307 - 76 = 0, -h + 77 = -3*q. Is h composite?
True
Suppose -5*d = -5*k + 18 - 3, -18 = -4*d - 2*k. Suppose -d*i = -4*f - 550, 3*f + 15 = -0*f. Is i a composite number?
True
Let o(g) be the second derivative of -g**5/20 - g**4/4 - 2*g**3/3 - 5*g**2/2 - 4*g. Let k = 6 - 12. Is o(k) composite?
False
Suppose 0 = 2*i - 15 + 19, 2*q - 13792 = 5*i. Is q composite?
True
Let z(f) be the second derivative of -35*f**3/2 + 11*f**2 + 11*f. Is z(-9) a composite number?
False
Suppose 0 = 2*x - 5*x + 96. Let s = -32 + x. Suppose 0 = -2*l - s*l + 258. Is l composite?
True
Suppose -5*z = 3*q - 110, -q - 3*z = -35 + 1. Let p be (1/(-2))/(5/q). Let f(i) = -37*i + 1. Is f(p) a composite number?
False
Let k = 68195 + -25102. Is k a composite number?
False
Let b(k) = -k + 12. Let y(c) = -2*c + 23. Let u(l) = -5*b(l) + 3*y(l). Let o be u(11). Is (-3)/(6/o)*149 a prime number?
True
Let v = -56812 + 104073. Is v prime?
False
Let y(f) be the third derivative of 3*f**6/40 + f**4/12 + f**3/6 + 3*f**2. Let u be y(-1). Is 6/10 - 824/u a prime number?
True
Let x(h) = -h**2 + h. Let g = -5 - -5. Let q be x(g). Suppose q = -0*k + 5*k - 95. Is k a composite number?
False
Suppose 0 = 3*f - 3, -2*f = -4*h - 5*f - 1. Let a(g) = -85*g. Is a(h) a composite number?
True
Let o(z) = -z**2 - 2*z - 1. Let t be o(0). Is (3 - 4)/(t/851) a composite number?
True
Suppose -6*v + 35 + 55 = 0. Let h be 2/v + 336/180. Suppose 9*u - 154 = h*u. Is u a prime number?
False
Suppose -2*z - 8123 = -2*a - 7*z, -z = -5. Is a a prime number?
True
Suppose 42 = 4*k - 4*o + 10, 5*k - 4*o - 37 = 0. Suppose 2*w = 4*p - 471 + 27, 0 = -k*p - w + 569. Is p prime?
True
Is -8 - (324624/(-4) - 9) composite?
False
Let c = 4 + -2. Suppose -645 = -c*u + 253. Is u composite?
False
Let a(i) = 2*i + 2. Let j be a(5). Suppose q - j - 81 = 0. Is q composite?
True
Is (-9660097)/(-119) + (-8)/28 a composite number?
True
Let c be -379 - (3 + 0 + -5). Let k = c - -678. Is k prime?
False
Suppose 3*w - 6 = 0, 2865 = a - 97*w + 98*w. Is a a prime number?
False
Let t(z) = -z**3 - 15*z**2 - 17*z - 21. Let d be (-1)/((27/(-42))/(-9)). Is t(d) composite?
True
Let y(i) be the third derivative of 5/6*i**3 + 0*i - 2*i**2 + 0 - 27/8*i**4. Is y(-4) prime?
False
Let d = 689 - -6258. Is d a prime number?
True
Let x(k) = 9 + 9 - 4 + 18*k**2 + k**3 + 18*k. Let w be x(-17). Is w + 139 + 1 + 4 a prime number?
False
Is 1 - 1 - (-141071)/14*2 a composite number?
True
Let u = 1982 - 1293. Is u prime?
False
Let u(k) be the first derivative of -7*k**2/2 + 5*k - 5. Let l be u(-2). Let a = 0 + l. Is a composite?
False
Suppose j = 5*w + 24, 0 = -j + 4*w + 28 - 8. Is (2153/(-2))/(j/(-8)) a composite number?
False
Let s(f) be the second derivative of 17*f**4/12 + f**3/6 - 13*f**2/2 + 41*f. Is s(4) prime?
True
Suppose 26 = -g + 10. Is (-10)/(-3)*(-2712)/g composite?
True
Is (4413*(-5)/30)/((-4)/136) prime?
False
Suppose 4*w - 40 = 4*t, 0*t - 3*w = t - 10. Let u(a) = -8*a**3 - 8*a**2 - 10*a - 7. Is u(t) a composite number?
True
Let q(y) = -155*y - 51. Is q(-8) a composite number?
True
Let r(f) = -f**2 + 3*f + 2. Let w be r(4). Let k be (2 - -302)/(w/(-3)). Suppose 2*g = -4*b + k, 4*b - 4*g - 583 = -b. Is b a composite number?
True
Is (-2 - -4 - -419) + -2 a prime number?
True
Suppose 0 = 11*b + 25406 - 133987. Is b a composite number?
False
Suppose -2*t - 1202 = -3*c, 3*t + 1244 = 2*c - 569. Let z(q) = -15*q**3 - 9*q - 7. Let p be z(-4). Let v = p + t. Is v prime?
False
Let l be (-10)/4*(-2 - 0). Suppose g + 3*u = 6, -l*g + 4*u - 11 = -3. Suppose -3*n - 3*p = -45, g = 3*n + 4*p - 69 + 20. Is n composite?
False
Is ((36 - 15) + 4730)*(-1 - -2) prime?
True
Let x(t) = -t - 12. Let b(w) = w**3 - 2*w**2 - 2*w - 3. Let y be b(3). Let k be x(y). Let c = 175 - k. Is c a prime number?
False
Is 1577640/(-30)*2*2/(-16) a composite number?
False
Let a(r) = 10*r**2 - 4*r - 11. Suppose j = -4 - 1. Is a(j) composite?
True
Let f(u) = 287*u**2 + 50*u - 36. Is f(-11) composite?
False
Suppose 2929 = s - 5*t, 2*s - 5844 = 3*t - 0*t. Let k = -974 + s. Is k prime?
False
Let t(o) = o + 2. Let h be t(-7). Let v be (-2 + 0)/(h/(-215)). Let i = -39 - v. Is i composite?
False
Suppose 0 = -4*w + 8*w - 6172. Is w a composite number?
False
Suppose -f + 7957 = -4*v, -18*v + 16*v + 31828 = 4*f. Is f a composite number?
True
Is -7 - (-7194*1 + 4) a prime number?
False
Suppose -6*r = 4728 - 25110. Is r a prime number?
False
Let x = 896 - 534. Let r = x - -593. Is r a prime number?
False
Suppose 24*l - 28260 = -2*o + 22*l, -2*o - l + 28261 = 0. Is o a prime number?
False
Let k = 23164 + -9965. Is k a prime number?
False
Let y(d) = -16463*d - 26. Is y(-3) composite?
False
Let a(f) = -4*f**2 + 1. Let t be a(-2). Let x = -10 - t. Suppose -4*g + 2*g = -x*c - 1513, -1501 = -2*g + c. Is g prime?
False
Is 88/(-22) - (-36023)/1 a composite number?
True
Suppose -5*n + 14*x + 32 = 10*x, -4*x = -n. Suppose 0 = -3*i + 8 - 2. Is (-4536)/(-32) + i/n a composite number?
True
Let g(u) = 2*u. Let i be g(-5). Let a(y) = -3*y - 24. Let h be a(i). Let d(t) = 33*t + 13. Is d(h) a composite number?
False
Suppose 14*u - 1197060 + 461696 = 0. Is u composite?
True
Let p(z) = 54*z**2 + 7*z + 30. Is p(-11) prime?
False
Suppose 0 = -3*j - t + 4459 + 10410, 0 = 2*j + 5*t - 9930. Is j prime?
False
Let g = -3298 + 5855. Is g composite?
False
Suppose 102922 = 48*d - 37574. Is d a composite number?
False
Let x = -22 - -24. Suppose 4*j + 750 = 3*l - 0*j, -3*l = -x*j - 756. Suppose -4*z - z - 364 = -4*t, -z = 3*t - l. Is t a prime number?
False
Suppose 12*p = 55*p - 303967. Is p a prime number?
True
Suppose -2*h - 3722 = h - 2*i, -3*i = -3*h - 3726. Let o = h + 2299. Is o a prime number?
True
Let i(w) = 4 - 3 - w**2 + 2*w**2 + 0*w**2. Let n be i(-1). Suppose -2*t + m - n*m = -9, -4*t - m = -15. Is t prime?
True
Let o = 12 + -8. Let c be 3/(7 - o)*563. Suppose 2*n - c = 3*a, -2*a + a + 274 = n. Is n a prime number?
True
Suppose 4*z = 5*w - 36, 0*w - 45 = 5*z + 3*w. Let p be (z/(-3) - 3) + 3. Suppose y = -p*y + 532. Is y prime?
False
Suppose 10*q - 36391 = -10301. Is q a prime number?
True
Suppose -4*q + 3*f = -29732, -2*q - 5942 = 3*f - 20808. Is q prime?
True
Let w be 8/(-8) - 1*14. Let d be ((-20)/w)/((-2)/(-27)). Suppose -4 = s, -3*s - 279 - d = -3*i. Is i a composite number?
True
Let p be 6/10 + 9