= 4*h + 21012. Suppose 0 = 2*f - 4*l - 10500, -4*l - g = -4*f + l. Let m = f + -1747. Is m composite?
False
Let j = 900 - 367. Suppose -3*i = -2*d - j, 0*i + 2*i = 3*d + 787. Let h = d + 450. Is h prime?
True
Let f be (-200)/(-30)*(0 + 3). Let j be (3/6)/(2/f + 0). Suppose j*o = 2*z + 407, 4*z + 426 - 110 = 4*o. Is o composite?
False
Let x(h) = -126*h - 15. Let z(s) = -126*s - 17. Let j(d) = 3*x(d) - 4*z(d). Let t be j(-6). Let f = t - -1220. Is f prime?
True
Let x = 5087 - -10819. Suppose 178*y - 184*y = -x. Is y composite?
True
Let o = 1039 - 2009. Let b(m) = -5*m**2 - 8*m + 10. Let z be b(-9). Let n = z - o. Is n prime?
True
Let b = 432663 + -293770. Is b prime?
True
Let z be 863/(8/2 + -3). Let o(t) = 4*t + 33. Let v be o(-7). Suppose g - z = -4*d, 3347 = 7*g - 3*g - v*d. Is g composite?
True
Suppose 6*f - 3 = 7*f. Is 15/(225/14690)*f/(-2) prime?
False
Let c = 151510 + -86839. Is c a composite number?
True
Suppose 0 = 10*r - 653562 - 163108. Is r a composite number?
False
Let x(t) = -116*t - 17. Suppose -k + 47 = -5*j, -4*j = -2*j - 3*k + 24. Let i be x(j). Let s = 1506 - i. Is s prime?
True
Suppose 34*y - 42*y + 32 = 0. Suppose -d + 453 = y*v, -v = -9*d + 8*d + 448. Is d a composite number?
False
Let f be 2 + (-6)/9*3/(-2). Suppose f*b + 8 = 14. Suppose 3*p + 2*q - 2611 = -b*q, -5*p - 5*q + 4350 = 0. Is p composite?
True
Let q = 33 - -34. Let r = q - 65. Suppose 2*s - h + 1125 = 7041, -r*s + 3*h + 5912 = 0. Is s composite?
True
Let z be (8 + -3)*-5*(-2)/25. Suppose 7490 = z*g - 7248. Is g a composite number?
False
Let i(t) = t**3 - t**2 + 9. Let h be i(-2). Is (h - (-36)/16)*-11188 prime?
False
Suppose 2724*a - 2618018 = 2698*a. Is a prime?
True
Let q(o) = -18148*o - 26. Let c be q(-2). Let w = -15359 + c. Is w prime?
False
Let u = -1339054 - -1887093. Is u composite?
False
Let q = -463 + -684. Let n be 4/22 + -1 + 7449/(-11). Let a = n - q. Is a prime?
False
Let k(c) = -3*c**3 + 15*c**2 - 31*c - 6. Let d be k(7). Let y = 1236 + d. Is y composite?
False
Suppose 0 = 12*p - 11808763 - 2959937. Suppose -2*u + p = 23*u. Is u a prime number?
False
Suppose 0 = -170*u - 12179615 + 85250545. Is u composite?
True
Suppose 2*a - 68069 = 5*q, -340*q = -3*a - 338*q + 102087. Is a a prime number?
False
Suppose 9 = 2*g - 3. Suppose g*r - 10*r + 8 = 0. Is r/11 + (1769/11 - 4) composite?
False
Let j = 1531 + -728. Suppose 4*l - 4014 = -5*n, 0 = n + l + 1 - j. Let u = 1419 - n. Is u composite?
False
Suppose 5*d + 4*u - 1059 = 0, 2*u - 4*u = 8. Let b be 52/14 + (161/49 - -3) + -6. Suppose o + b*o = d. Is o composite?
False
Let c(u) = -13*u**3 - 4*u**2 - 6*u + 7. Let s be (-34 - -22)*(-2)/(-4). Is c(s) prime?
True
Let q(u) = -4*u**3 - 19*u**2 - 109. Is q(-16) a composite number?
False
Suppose 2*u = -3*u. Suppose -o + 8 = -u. Is (12/o)/(6/956) a composite number?
False
Let a(h) be the second derivative of h**5/4 - h**4/6 + 13*h**3/6 - 21*h**2/2 + 2*h + 1. Is a(4) prime?
False
Let x(i) = 11*i**2 + 8*i - 16. Let d be x(5). Let w = d + 1959. Is w a composite number?
True
Let j = 29834 - 13387. Is j a prime number?
True
Let t = -90566 - -128997. Is t a composite number?
False
Let p be (-1 - -17962) + 27/(162/12). Suppose -4*m = -p - 30609. Is m prime?
True
Let o(j) = -9*j**3 + 7*j**2 - 2*j - 7. Let i be -6*(-8)/6*(-4)/(-8). Let t(x) = -x**3 + 6*x**2 - 10*x + 3. Let c be t(i). Is o(c) prime?
True
Suppose -2*x + 44 = 2*x. Let i(o) = 11*o**3 + 7*o**2 - 96*o - 101. Let d(m) = 2*m**3 + m**2 - 16*m - 17. Let r(h) = 17*d(h) - 3*i(h). Is r(x) composite?
True
Suppose -6*u = 4*u + 40. Let m be 89 + (u - -9)/5. Is (178/(-10))/((-18)/m) composite?
False
Is -346565*(5*3/30)/((-65)/26) a prime number?
True
Let r be 92*335 + 64/16. Suppose -4*g + r = -35024. Suppose -10*q - 2492 = -g. Is q prime?
False
Let v be 6*(-1 + -1 + 0). Is ((-4)/v - (-20)/(-24))*-3898 prime?
True
Let y(b) = b**2 - 11*b + 17. Let q be y(8). Let u(j) = -90*j + 5. Let x be u(q). Suppose -2*z = -z - x. Is z a composite number?
True
Is (-97)/((-5 + (-994)/(-203))/((-18)/(-6))) composite?
True
Let x be (19 + -18)/(1 + (-936)/940). Suppose 218*p = x*p - 5882. Is p a composite number?
True
Suppose -20 = z - 5*z. Let d be 78/(2 + 1) - 54/9. Let v = d - z. Is v a prime number?
False
Let z = -21871 + 59956. Is (60/50)/((-76164)/z + 2) prime?
False
Let l(i) = 6*i**3 - 9*i**2 - 17*i + 35. Let v be l(10). Let d = 3502 + v. Is d composite?
False
Let d(m) = m**2 + 22*m + 13. Let k be d(-17). Let f = 74 + k. Suppose 8*r - 3687 = -3*y + 5*r, 0 = -y - f*r + 1232. Is y prime?
False
Let v(o) = 3*o**3 - 5*o**2 + 2*o - 2. Let q(w) = -4*w**3 + 6*w**2 - 3*w + 3. Let t(m) = -2*q(m) - 3*v(m). Let l be t(4). Is (5/(-10))/((l/(-4))/(-20872)) prime?
True
Let z be 690/9 + (-4)/(-12). Let w = z - 45. Suppose -w = -3*x + 445. Is x a composite number?
True
Let s be 3 - (-10)/5 - 1. Suppose 2*y = -4*c + 738, s*y + y + 2*c = 1837. Is y a prime number?
True
Is -2 - 1507/(-33)*1941 a composite number?
True
Let u be (-45)/10*(-1 - -7). Let k be u/(-18)*1414/3. Let j = k - 484. Is j a prime number?
True
Let g = 124 - 114. Suppose 27*z - g = 22*z. Suppose 6412 = 2*m + z*m. Is m a composite number?
True
Let v be 2/10 + (-10028)/(-10). Suppose d - 5 = 0, -3*d = 7*c - 3*c - v. Is c a prime number?
False
Suppose -g - 197 = -d - 5*g, -3*g = 0. Suppose -t = -2092 + d. Is t prime?
False
Suppose 6*m = -9*m + 138075. Suppose -4*j = 2*s - 18378, -s + 6*j + m = 4*j. Is s prime?
False
Let j(d) = 18*d**2 + 99*d - 8. Let u(o) = -55*o**2 - 296*o + 29. Let m(h) = 7*j(h) + 2*u(h). Is m(3) composite?
False
Suppose 0 = -58*x + 17*x + 1935979. Is x a composite number?
True
Let q(s) = 13*s**3 + 3*s**2 - 2*s + 2. Let x be q(3). Let i = 961 - x. Is i a prime number?
True
Let k = 3 - -1. Suppose 0 = -k*c + 991 + 293. Is c a composite number?
True
Let v be (-4)/(-18) + -4*711/(-324). Suppose v*s - 3*s - 2370 = 0. Is s a composite number?
True
Let c be ((-2)/4)/((-3)/(-36)). Is (-88)/c - (-8)/(-12) a composite number?
True
Let p(k) = 19*k + 13. Let u be p(6). Suppose -2*z = 2*j + 3*j + 302, -5*j - 299 = -z. Let o = j + u. Is o composite?
False
Let j(w) = -160876*w**3 + w**2 - 110*w - 110. Is j(-1) a composite number?
False
Let s(i) = 4083*i + 2561. Is s(10) a prime number?
True
Suppose 3*l = 4*v + 323285, -14*l - 3*v + 323271 = -11*l. Is l prime?
False
Suppose 76*i - 72*i = -24. Let s(w) = -1130*w + 19. Is s(i) composite?
True
Suppose -17*w + 5*w + 4282991 = 19*w. Is w composite?
True
Let d(x) be the first derivative of -x**4/4 + 2*x**3 - x**2/2 + 2*x + 122. Is d(-9) a composite number?
True
Let z(f) = 98*f**3 - 5*f**2 - 243*f - 115. Is z(18) composite?
False
Let a(y) = y**2 + 5. Let o be a(4). Let b be 33/((o/92)/(-7)). Let z = b + 1533. Is z a composite number?
False
Let v be (1/(-1))/(-1) - (0 + 1). Let d be v/(0 + -1) - -3. Suppose -378 = -d*t + 5*g, -g = 4*t + g - 530. Is t prime?
True
Suppose 3*y - 8 = -2*x, -5*y - 33 + 13 = -5*x. Suppose -2*d + 0*f - f = -x, -8 = -4*d - 5*f. Suppose -5*i + b + 5546 = -0*b, 2*i - d*b - 2220 = 0. Is i prime?
True
Let d = 339 + -337. Is 3/d + 100760/16 a composite number?
False
Let u = -117244 - -293871. Is u composite?
True
Let o(k) = k**3 + 2*k**2 - 8*k. Let v be o(-4). Suppose v = -6*i + 8*i - 4. Suppose l = i*l - j - 96, -j - 286 = -3*l. Is l a composite number?
True
Let u be (34/85)/(2/(-10)). Let r(n) = 3 + 2*n**2 - 2*n + 18 - 83*n**3 - 24. Is r(u) prime?
True
Let p = -1 + 1. Let h(a) = -a**2 + 12*a + 14. Let n be h(-1). Is 4/(p - n)*(-2146)/8 composite?
True
Let z(r) = r**2 - 3*r - 4. Let c be z(3). Is (-18)/(-24)*2 - 14174/c a composite number?
True
Is -7*(-6)/147 + (-1543945)/(-35) composite?
True
Let i be -6*(-4 - 0)/8. Suppose -5*k + i*z - 2705 = 0, k + 0*z = 5*z - 563. Is (1/(-2))/(2 + 1077/k) composite?
False
Suppose -y = -2, 5*o + 3*y = 7*y - 58. Let n be (-70448)/(-40) - (-2)/o. Suppose a = 4*v - 181 + 526, 0 = -5*a + 2*v + n. Is a composite?
False
Suppose 1897906 = 7*n + 225473. Is n composite?
False
Suppose -5*z + 4*l + 16 = 0, 0*z - l = 4*z - 17. Suppose -q - 3*q - 25 = 5*p, 0 = -q - z*p - 20. Is (2 - q)/(1/107) composite?
True
Let y = -167 + 171. Suppose -18165 = -5*i + y*j, -3*i - 7283 = -5*i + 5*j. Is i prime?
False
Let m = 171 - 153. Suppose 0 = 20*i - m*i - 2266. Is i prime?
False
Let f(p) be the first d