. Let d be z(-2). Let n be ((-411)/(-6))/(d/10). Let o = -102 - n. Is o prime?
False
Suppose -114*o + 879524 + 8617930 = 0. Is o prime?
True
Suppose -32*u = -35*u. Suppose -5*b + 667 + 78 = u. Is b a prime number?
True
Let u = -15 + 13. Let j = -2 - u. Suppose i + 0*i - 74 = j. Is i prime?
False
Let p(q) = q**2 - 2*q + 1. Is p(-10) a prime number?
False
Let u = 25 + -35. Suppose -n = -0 - 5. Is 817/n - (-4)/u composite?
False
Let d(k) = -2*k**3 + 9 - k + 5*k**3 - 10*k**2 + 7*k + k**3. Let g(f) = 7*f**3 - 21*f**2 + 11*f + 17. Let b(o) = 5*d(o) - 3*g(o). Is b(9) a composite number?
True
Let w = -63645 + 111622. Is w prime?
True
Is -2 + -4 - (2487 + 2)/(-1) a composite number?
True
Let l(x) = 42*x + 3 - 43*x + 5. Let p be l(8). Suppose p = 4*s - 902 - 166. Is s prime?
False
Let a(u) = 18*u**2 - 24*u + 511. Is a(-44) a prime number?
False
Let u(f) be the second derivative of f**5/10 + 5*f**4/24 + f**3/3 - 7*f. Let s(x) be the second derivative of u(x). Is s(9) a composite number?
False
Let l be 4/(-2)*(-45)/18. Suppose l*x - 4*s - 764 = 1867, 1 = s. Is x composite?
True
Is (3/12)/((-21)/(-11876172)) a composite number?
True
Suppose -6*s = -s + 4*z - 30, 3*z = -2*s + 19. Suppose 0 = -s*f - 4*p, f = -7*p + 2*p. Let y(t) = 2*t + 157. Is y(f) a prime number?
True
Let f(k) = -89*k - 10. Let r(m) = m**3 + 12*m**2 + 11*m - 4. Let c be r(-11). Is f(c) a composite number?
True
Is 10/15 + 121293/27 a prime number?
True
Let k be 1/1 + (1 - 0). Let p(q) = 2*q**2 - 4*q + 5. Let a be p(k). Suppose 5*l - 5*m - 874 - 1176 = 0, -l + 422 = -a*m. Is l prime?
False
Suppose 0 = -4*s + x + 58361, 5248 = -s + 3*x + 19830. Is s prime?
True
Let a(m) = -m**3 + 7*m**2 + 3*m - 5. Let i be a(8). Let s be 74424/i + (-8)/60. Let x = -767 - s. Is x composite?
False
Is 1/(1 + 8/4)*126183 prime?
True
Suppose 0 = -5*c - 4*m + 36, 2*c + m - 12 = -0*m. Suppose -y - 3*b + 637 = -c*b, 5*y + b = 3173. Is y a prime number?
False
Let r(d) = -3*d**3 + 2*d**2 + d - 2. Let k be r(2). Is 3/12 - 1644/k composite?
False
Suppose 0*h = -h. Suppose -2*d - 4*b - 65 + 521 = h, 2*d = -2*b + 462. Suppose 0 = -s - 5*p + d, -4*s + s + 2*p = -787. Is s prime?
False
Suppose 2*n - 4*g = 10666, 2*g - 7030 - 19623 = -5*n. Is n prime?
False
Let b(v) = 129*v**2 + v - 13. Is b(-4) prime?
False
Suppose 0 = -19*j - 10*j + 171245. Is j a prime number?
False
Let f(t) = 17*t + 4733. Is f(0) a prime number?
True
Is ((7 + -8)*70492)/(-4) prime?
True
Is (-3)/(-15)*5*(2538 + 1) prime?
True
Suppose -2*g - 486 = -2*x, -2*x = 3*x - 4*g - 1214. Let l = -106 + x. Suppose -5*v - l = -881. Is v prime?
True
Suppose -h - 920 + 2776 = 0. Suppose -9995 = -7*z + h. Is z a composite number?
False
Let h(j) = 1008*j**3 - j**2 - 1. Let x be h(1). Suppose -x - 2725 = -7*w. Is w prime?
False
Suppose 4*s - 59 - 276 = -q, -5*s = q - 337. Let z = q - -76. Is z a prime number?
False
Is 2 + -1 + 2 - -107*14 a composite number?
True
Let v(u) = 3*u - 8. Let d(z) = -1. Let c(g) = -6*d(g) + v(g). Let x be c(-4). Is x/21 + (-1582)/(-6) prime?
True
Let d(r) = 6*r + 298*r**2 - 6 - 11*r + 13. Is d(2) prime?
False
Suppose 29936 - 6738 = 2*o. Is o a prime number?
False
Let k(p) = -64*p - 17. Let c(o) = 191*o + 51. Let b(r) = 4*c(r) + 11*k(r). Is b(13) a composite number?
False
Let i = 336 + -160. Let s = i - -151. Is s a composite number?
True
Let l = 5128 + 1507. Is l prime?
False
Let h = -1954 - -8097. Is h a composite number?
False
Suppose 3*c = -5*o - 19 + 449, 4*c - 535 = o. Let h = c - -68. Is h a composite number?
True
Let q be 767/(-9) - 8/(-36). Let b = 244 + q. Is b a composite number?
True
Let l(o) = 62255*o + 18. Is l(1) composite?
False
Suppose 6*j + 5 = 7*j. Let t(s) = -2*s + 12. Let o be t(j). Is -2 - -59 - (o - 0) a composite number?
True
Let s = 32 - 27. Suppose s*o = -0*o. Suppose -2*j - 888 = -4*f, o*f = -3*f - 4*j + 677. Is f prime?
True
Suppose -3*x = -q + 1286, 0*x = 5*q + 4*x - 6373. Is q composite?
False
Suppose 2*j + 781991 = 9*j. Is j a prime number?
False
Let a be 187/(-22) - (-6)/4. Is (a - 255)/(2/(-3)) a prime number?
False
Let k(j) = -345*j + 55. Is k(-10) a composite number?
True
Let v(n) = 134*n**3 + 6*n - 4*n - 82*n**3 + 240*n**3 - 1. Suppose 0 = -4*k - 36 + 40. Is v(k) prime?
True
Let x(t) = -t**3 + 12*t**2 - 11*t - 7. Let y(m) = m + 1. Let l be y(2). Suppose -27 = -l*g + c + 2*c, 3*g - 31 = -c. Is x(g) a prime number?
True
Suppose -3*s = 3, 3*t - 35393 = -2*s + 2876. Is t a prime number?
True
Is 16/(-120) + (-28427)/(-15) composite?
True
Let k be 6 + (8/(-2) - -1). Suppose -k*p + 774 = 3*h, 4*p - 256 = 3*p + h. Is p composite?
False
Suppose -3*u - 2065 = -6034. Let p(n) = -n**3 + 6*n**2 + n - 1. Let y be p(6). Suppose -u = -y*r + i + i, -4*i = -4. Is r prime?
False
Let c(b) = 218*b**2 + 2*b - 1. Suppose 4*n + 2*h - 10 = 0, -2*n = 2*n - 4*h + 8. Is c(n) a composite number?
True
Let b be (-7)/(140/8)*-10. Suppose 0 = b*s + f - 1, 3*s - 7*s + 5*f = 5. Suppose 0 = 5*c - 13 + 3, -2*o - 5*c + 176 = s. Is o a prime number?
True
Suppose -65*l = -1840640 - 4949325. Is l a composite number?
True
Let l(s) = -67*s**3 - 4*s**2 - 10. Let b be l(-3). Let x = -1176 + b. Is x a composite number?
False
Let x be 2 - (-2 - 27) - 1. Is (-468)/(-10) - (-6)/x prime?
True
Let o(m) = 2*m. Let v be o(2). Let z be (-2476)/(5/75*5). Is z/(-20) + v/(-10) composite?
True
Let l(f) = f**3 + 5*f**2 + 6*f + 4. Let u be l(-3). Is u/18 - 132769/(-117) a prime number?
False
Suppose 20*n = 18*n. Suppose n = -2*r + 10*r - 6376. Is r a composite number?
False
Let v(x) be the second derivative of x**5/20 - x**4/12 + 3*x**2/2 + 4*x. Let p be v(0). Suppose -2*c + 0*c + 273 = 5*i, -4*i - p*c = -224. Is i prime?
True
Suppose 0 = 19*j - 11*j - 1480. Let d(w) = w**3 - 2*w**2 + w + 2. Let t be d(2). Suppose t*l - j = -l. Is l prime?
True
Let i(a) = -18*a**2 + 6*a + 7. Let d(m) = -17*m**2 + 5*m + 7. Let v(k) = 5*d(k) - 4*i(k). Let t be v(7). Let u = t - -1116. Is u a composite number?
True
Let u(y) = 812*y**2 - 13*y + 13. Let w(j) = 203*j**2 - 3*j + 3. Let a(r) = -2*u(r) + 9*w(r). Let x be a(1). Let d = 494 - x. Is d a prime number?
False
Let v(l) = l**3 + 6*l**2 - 7*l + 61. Is v(16) a prime number?
True
Let i = 2457 - -3142. Is i a prime number?
False
Suppose -45*m + 50*m = -25. Is (((-1940)/(-16))/m)/((-2)/56) prime?
False
Suppose 2*p - 106287 = -5*f - 7972, 4*p = 2*f - 39302. Is f composite?
False
Let x be (-1 + (-2)/(-4))*0. Let j = 3 + x. Is j + -2 - -2 - -230 a prime number?
True
Let b be 554/(-6)*(-2 - 4). Suppose 5*w - 144 = 5*m - b, -2*m = w - 161. Suppose -c + m = -4*r, -r + 2*r + 1 = 0. Is c a prime number?
False
Suppose 0 = 30*i - 36*i + 14340. Suppose 2*r + 6324 = -2*r. Let v = r + i. Is v prime?
True
Suppose 14*s = 104206 + 132716. Is s prime?
False
Suppose -90*w + 45*w + 1173105 = 0. Is w prime?
False
Let o be (-306)/(-15) - 4/10. Suppose 0 = 5*r + o, 2*x = -r + 560 - 34. Is x a composite number?
True
Let h = -50 - -48. Is (-3069)/h + (-2)/(1*-4) a composite number?
True
Suppose -3*t = -0*t. Let z(x) = -x**3 - x**2 + x + 25. Is z(t) composite?
True
Let n(z) = -18*z**3 + z**2 + 8*z - 9. Is n(-6) a prime number?
False
Let s(z) = 1016*z**2 - 2*z + 1. Is s(-3) composite?
False
Suppose 0 = -2*j - 3*l + 148739, -54*j + 56*j + 2*l - 148744 = 0. Is j composite?
False
Let f(a) = -599*a - 37. Suppose 2*u - 4*n = 0, 5*u + 0*n - 2*n + 24 = 0. Is f(u) composite?
False
Suppose -2*r + 4*w - 26 = 0, -5*r + 4*w = w + 30. Is (-1 + 566)*r/(12/(-4)) a prime number?
False
Is (-20)/(140/21)*17882/(-6) prime?
True
Suppose x + 3*x + 3 = -q, -q - 3 = 2*x. Let k(a) = -a + 322. Let g(p) = 2*p - 645. Let f(s) = 3*g(s) + 7*k(s). Is f(x) a prime number?
False
Let a = 721 - -1024. Is a a composite number?
True
Suppose 4*w - 36916 = 4*u, -w + 9213 = -u - 4*u. Is w composite?
True
Suppose -t + 144746 = -k, 4*t = 3*k - 7*k + 579024. Is t prime?
True
Suppose -10*z = -11*z + 24. Let d = -1 + z. Is d composite?
False
Let u be (-36 - -508)*((-34)/(-4) - 0). Suppose 0 = 3*n - 59 - u. Is n a prime number?
False
Let q be (-4321)/(-8) - (-3)/(-24). Suppose 5*i = j - 5*j + 897, 3*i - q = -3*j. Is i a prime number?
False
Let z(i) = i**3 - 8*i**2 + 5. Let p be z(8). Suppose 0 = -5*r - p*x + 1185, -5*r - 3*x + 1183 = x. Suppose -5*j + 10*j - r = 0. Is j a prime number?
True
Suppose -5*t - 8