187 = 5*o + 2*q + q. Is o composite?
True
Let d be ((-18 - -9) + -25)*(-1 - 1). Suppose d*y - 11361 = 65*y. Is y prime?
False
Let w(r) = 320*r - 4. Let d be w(3). Suppose 54*y - 302750 = 4*y. Let u = y - d. Is u prime?
True
Suppose -20 = -5*r + 2*m, -2*m + m = 0. Suppose -2*y = -r*y + 2*o + 1164, 4*o = -4. Suppose 21*x = 20*x + y. Is x prime?
False
Let a be -2*(-2)/4 + -1. Let w(u) = -u**2 + 29*u - 176. Let c be w(20). Suppose -2*h + a*y + 1181 = -3*y, 4*h + c*y - 2312 = 0. Is h prime?
False
Suppose -33176651 + 9536179 = -247*l + 6485377. Is l composite?
False
Let y(p) = 3506*p + 49. Let d be y(11). Suppose 11*l = 6*l + d. Let a = -3766 + l. Is a composite?
True
Let z = 62696 + 142235. Is z composite?
False
Suppose m + 5*u - 26 = 0, 4*m - 2*m - 31 = -3*u. Suppose 18*k - m*k = 10297. Is k composite?
False
Let y(q) = 9040*q**2 - 11*q + 3. Let c be y(-2). Suppose -107*x = -112*x + c. Is x a composite number?
False
Let z(m) = 4758*m**2 - 26*m + 393. Is z(-13) a composite number?
False
Suppose -5*x = 4*p + 327, 0 = 4*x + 5*p + 358 - 91. Let w be (-14)/x - 33152/(-18). Suppose -5*n = -w - 623. Is n a prime number?
False
Suppose k = 0, 0 = -4*j - 0*k + 4*k. Suppose -5*a - 5*x + 52430 = j, -5*a + 66450 - 14035 = 2*x. Is a prime?
False
Let b(c) = 21*c - 91. Let s be b(16). Suppose -238*i + s*i = 791. Is i a prime number?
True
Let j(t) = -t**3 + 25*t**2 - 25*t + 27. Let w be j(24). Suppose -l = w*l - 13236. Suppose l = -45*b + 48*b. Is b a prime number?
True
Suppose 804*k - 805*k + 167507 = 0. Is k composite?
True
Suppose c + i - 16 = -252, -5*i - 15 = 0. Suppose -4*w + 2*k - 265 = 159, 0 = 5*w + 5*k + 530. Let z = w - c. Is z prime?
True
Let p = 165125 - 324402. Is (p/(-166))/((-1)/(-2)) a composite number?
True
Let r = -173 + 319. Let b = 573 + r. Is b a prime number?
True
Let c(k) = -150100*k + 12447. Is c(-7) composite?
True
Is -103486*(-11 - (-126)/12) a prime number?
False
Let w be (7 - -406)*254/(-2). Let v = w - 17560. Is 2/(-13) - (0 + v/39) prime?
False
Let h(q) = q**3 - q**2 - 4*q - 1. Suppose 6 - 4 = -u. Let c = u + 6. Is h(c) a prime number?
True
Suppose 0 = -20*i - 159 + 39. Let m(p) = -53*p + 89. Is m(i) a prime number?
False
Let t(f) = -2*f - 3. Let a be t(-9). Let m = 20 - a. Suppose -m*c = 5*q - 2030, 809 = -c + 3*c + 5*q. Is c a prime number?
False
Suppose -a + 11 = 4*u + 2, -5*a = -2*u + 21. Suppose -4 = -u*q + 8. Is ((-2302)/4)/((-2)/q) prime?
True
Let c(b) = -844*b + 24. Let z(o) = -843*o + 24. Let y(x) = 5*c(x) - 6*z(x). Let q be y(13). Suppose 0*h + 10*h = q. Is h prime?
True
Let l(n) = 5*n**2 - 31*n + 31. Let s(t) = t**3 - 2*t**2 - 4*t - 1. Let d be s(4). Is l(d) prime?
True
Suppose -6220907 = -4*i + 3*s, 3*s + 1162232 = -2*i + 4272663. Is i a prime number?
True
Suppose 5*p + 3 = m + 4, 3 = -p - 3*m. Suppose p = w + j - 428, -3*w - 432 = -4*w + 3*j. Suppose -2*c + 2267 = w. Is c a composite number?
False
Let t be 24/16 - 218/4. Let r = -49 - t. Suppose -r*s - 1335 = -7*s. Is s a prime number?
False
Suppose 4*f = -0*f - 3*t + 187, 4*f - 184 = -4*t. Let s = -46 + f. Suppose -s*i = -5*i + 1004. Is i a composite number?
True
Is (-3)/6 + 0 - (2 + 176097/(-6)) a prime number?
True
Is (4 - -41319 - 6)/(1 - 0) composite?
True
Let z be -2 + (2 - (5 + -8)). Let p(t) = -t**2 + 3*t. Let j be p(z). Suppose -69*q + 70*q - 631 = j. Is q a prime number?
True
Suppose 3*r + 5*a - 714649 = 0, 2*r = -0*r + 2*a + 476454. Is r a prime number?
True
Let u be ((-13)/(-4) - -2) + 5/(-4). Is ((-8)/u + -164)/(4/(-58)) composite?
True
Suppose -26*r + 24762291 = 21*r + 4792602. Is r prime?
False
Suppose 22*w - 20*w - 223517 = -s, 0 = 5*s + w - 1117540. Is s prime?
True
Suppose -65*g = -2*a - 67*g + 60990, -g = 4*a - 121968. Is a a prime number?
True
Let t(h) = 18394*h**2 - 665*h - 7418. Is t(-11) prime?
False
Suppose 8*g - 3*g + 2*b = 1063891, 0 = -5*g + 8*b + 1063861. Is g composite?
False
Suppose -2*n = -5*i - 503514, 3*n - 7*i = -0*i + 755267. Is n composite?
False
Suppose -3*l - 11*l + 20799531 = 13*l. Is l a prime number?
True
Let j = 19164 + 1957. Suppose -7*q + 3022 = -j. Is q a prime number?
True
Let l = 56466 + -38959. Suppose -1792 = 5*j - l. Is j a composite number?
True
Let c(r) = -2*r**3 + 6*r**2 - 5*r + 6. Let t be c(4). Suppose -21*n - 2865 = -8514. Let s = t + n. Is s prime?
True
Suppose 345953 = -134*p + 11361691. Is p prime?
True
Suppose -8*i = 2*i - 10. Let m be (-3)/(-1)*4/(-6). Is i - (m - (-4 + 1142)) prime?
False
Suppose -518801 = -11*x + 12290. Is x composite?
False
Let s = -75857 + 114202. Is s composite?
True
Let b(x) be the first derivative of -5/2*x**2 + 16*x**3 - 18 + 12*x. Is b(5) prime?
True
Suppose 13*o - 64507 = 60384. Is o a prime number?
False
Let s(p) = -18*p**2 - p + 3. Let q be s(-2). Let w = 116 + q. Let j = 16 + w. Is j composite?
True
Let t(m) = m**2 - 3*m - 13. Let d be t(6). Suppose -d*k - g + 443 = -3*g, 3*g = -12. Suppose -k = -f + 412. Is f a prime number?
True
Suppose -3939921 = 134*i - 215*i. Is i a prime number?
False
Let f = 107 + -255. Let b be f/(-6)*15/10*11. Suppose -5*y - 6*h = -3*h - 2147, y = 5*h + b. Is y composite?
True
Let z = 837 + -832. Is 1635/z - (-24)/6 a composite number?
False
Let z(c) = 9*c**3 - 7*c**2 + 2*c - 7. Let a(n) be the second derivative of n**2/2 + 7*n. Let b(w) = 6*a(w) + z(w). Is b(5) prime?
False
Let w = 240 + -130. Suppose 2*n + 3 = 9. Suppose -w = n*k - 1004. Is k composite?
True
Let l(a) = 2*a**2 + 9*a - 28. Let x be l(-24). Let j(o) = 80*o - 41. Let r be j(23). Suppose 0 = y + 5*b - 1321, 2*y - r = 3*b + x. Is y prime?
False
Suppose 0 = m - 3*m - g - 535, 4*m + 5*g + 1067 = 0. Suppose -b = -4*s + 2300, 3*b - b = 0. Let r = s + m. Is r prime?
True
Suppose -5*u + 3905161 = 8*u. Is u prime?
True
Suppose 7*n - 9*n + 360828 = r, -3*r + 360832 = 2*n. Is n prime?
True
Let l(g) = -g + 4. Let c be l(4). Suppose 4*p - 2 - 2 = c. Is p/3 + (-1840)/(-6) a composite number?
False
Suppose 5*t = -5 - 0. Let r be t - (-384 + -2) - 2. Let a = -36 + r. Is a prime?
True
Suppose 0*u + 19860 = 3*u + 3*a, -4*a = 3*u - 19862. Is (-3)/(18/u)*-5 composite?
True
Suppose 56 = 3*w + 17. Suppose 0 = -w*x - 56 - 22. Is (3296/x + -3)*-3 a composite number?
False
Suppose 6*y = 13*y - 20566. Suppose 3*g - 32959 = -y. Is g prime?
True
Let x = 3637 - -29613. Let s = x - 19683. Is s composite?
False
Let o(f) = 415*f**3 + f**2 + 8*f - 313. Is o(12) a composite number?
False
Let c = -3 - -2. Let p = -27 + 29. Is (-185)/p*2/c a composite number?
True
Let w(g) be the third derivative of -8*g**2 + 1/8*g**4 - 1/2*g**3 + 0*g + 2/15*g**5 + 0. Is w(-4) a composite number?
False
Let v(w) = w**2 + 17*w + 29. Let c(b) = -2*b + 17. Let i be c(10). Let f be (0 - 52/12)/(1/i). Is v(f) a prime number?
True
Let q(b) be the second derivative of -31*b**6/360 - b**5/20 - 13*b**4/12 - 13*b. Let p(m) be the third derivative of q(m). Is p(-14) a composite number?
True
Suppose 0 = -6*t + 2*t + 3*d + 9, -3*t - 4*d = -13. Suppose 0*p = -5*u + 5*p + 15, -3*u = t*p + 9. Suppose -4*i + 1342 = 3*q, -5*q = i - u*i - 344. Is i prime?
False
Let s(l) = 2*l + 16. Let h be s(-8). Suppose 3*p - 12 = h, -6*p + 80 = 5*u - p. Let d(k) = k**3 - 6*k**2 - 6*k + 5. Is d(u) a composite number?
False
Let y(i) = -247*i + 157. Let a(l) = 82*l - 53. Let c(j) = -11*a(j) - 4*y(j). Is c(13) a composite number?
True
Let j = 24 - 2. Let a = j - 267. Let o = 624 + a. Is o a composite number?
False
Suppose 3*f = 4*o + 752463, 4*f + 344*o - 340*o = 1003256. Is f a prime number?
False
Suppose 55 = 4*f - 25. Let q = f - -87. Let r = q + 11. Is r prime?
False
Suppose 0 = -3*n + 7*d + 1125922, -5*d + 7*d = -2*n + 750648. Is n a composite number?
True
Let s(z) = z**2 + 1. Let p(k) = 18*k**2 - 8*k - 18. Let n(j) = p(j) - 5*s(j). Is n(14) prime?
False
Let y(p) = -2*p**2 - 7 - 36*p**3 + 0*p**2 + 3*p**2 + p. Let f(c) = 2*c**2 - 17*c - 267. Let h be f(-8). Is y(h) a prime number?
True
Is -3 - (-475674 + 0)/(315/210) prime?
False
Let g(c) = -3274*c + 1677. Is g(-56) a composite number?
False
Let w(u) = 4547*u - 20. Let z(m) = -4546*m + 18. Let l(i) = -3*w(i) - 2*z(i). Is l(-5) a prime number?
True
Suppose -5*b - 537*l + 534*l + 552553 = 0, 2*b + 2*l - 221026 = 0. Is b prime?
False
Suppose -82*r + 131772 = -737694 - 1175368. Is r composite?
True
Let z = 3137 + 3114. Let w =