**2 + 13*m - 37. Let v be s(5). Let n be (-27)/6*4790/(-15). Suppose -q + n = -v. Is q a prime number?
False
Let t be -3*((-9)/(-3) + 14/(-3)). Let a be (t - 3 - -2) + 1. Suppose a*m - h = 785, 0*h + 314 = 2*m - 2*h. Is m composite?
False
Suppose 17*x + 718488 - 3859051 = 0. Is x composite?
True
Suppose -4*l = -3*p + 14, 2*p + 2*l - 6 = -3*p. Suppose 0 = 6*v - 2*v, p*t - 4*v = 308. Suppose -t + 1910 = 2*o. Is o composite?
True
Suppose -6*b + 124948 = 5326. Is b prime?
True
Suppose -3*j - 4*s - 300 = 0, 109*j - 108*j + 5*s + 100 = 0. Let w(p) = -p - 2. Let n be w(2). Is ((-134)/n)/((-10)/j) a composite number?
True
Suppose 2*x - 28 = -4*q, -2*x + x + 35 = -5*q. Let o = 26 - x. Is o/(-10)*-5 - -464 a prime number?
True
Let o be (-10696)/35 + (-6)/(-10). Let t(u) = -7*u - 25. Let h be t(27). Let d = h - o. Is d composite?
True
Suppose 6*k + 15107 = k + p, -2*p = 3*k + 9059. Let c = k + 5122. Is c a composite number?
True
Let m(a) = a**3 + 25*a**2 - 56*a - 36. Let z be m(-27). Is 7 + 520/(-72) + 7114/z a composite number?
True
Let a be ((-8)/6)/((-16)/(-312)). Let f = a - -26. Suppose -2*u + 359 - 137 = f. Is u a prime number?
False
Suppose 8*u + 100 = 12*u. Suppose 172 = -u*a + 29*a. Is a/1 + (0/(-5))/(-2) composite?
False
Let c(i) = -32960*i**3 + 2*i**2 - 2. Let j be c(-1). Suppose -4*k + 1112 = -j. Is k a composite number?
True
Let n = 197800 - 103227. Is n a composite number?
False
Suppose -13*x + 12115 + 5838 = 0. Is x composite?
False
Let i = 6284 - -116355. Is i a composite number?
True
Let k = -194607 - -353306. Is k a prime number?
True
Let h(t) = -46036*t + 1625. Is h(-8) a prime number?
True
Suppose -4*z = -2*b + 1378434, 2*b + 308*z - 309*z - 1378410 = 0. Is b a prime number?
True
Let p be 6/(-1 - (3/(-6) + -2)). Let d be (p - 3)/((-4)/(-12)). Suppose d*o - 547 = 2*h, -o - o = 2*h - 378. Is o prime?
False
Suppose -v - 83 = 3*k, -196*v + 2*k = -192*v + 276. Let r(p) = -61*p - 2. Let c be r(-2). Let u = c - v. Is u a composite number?
False
Suppose 643 = 2*a + d, 53*d = 4*a + 49*d - 1256. Is a a composite number?
True
Let j(d) = -343*d**3 - 5*d**2 + 5*d - 3. Let k be j(3). Is k/(-21) + (-2)/28*-6 prime?
True
Let k = 672 - 667. Suppose -p = 3*p - 5*m - 34019, 2*p = k*m + 17017. Is p a prime number?
True
Let g(f) = 26*f + 1470. Let i be g(0). Suppose -3*n + i = -5*x - 842, 0 = n + 4*x - 765. Is n a composite number?
False
Let o(z) = -z**3 + 5*z + 4*z**2 - 6 + 3 - 3*z - 1. Let w be o(4). Suppose 338 = y - 3*h, -h + 25 = w*h. Is y composite?
False
Let u = -171705 - -271748. Is u a prime number?
True
Let r(h) = 428*h**3 - 2*h**2 - 8*h + 7. Let v be r(3). Suppose -7*z + 10 = -9*z, -3*w + v = 4*z. Is w composite?
False
Suppose 0 = 3*g + 2*u - 208360, -7*u + 12*u = 25. Is g/8 + 2 + (-42)/168 prime?
False
Suppose i = -6*i + 544184 + 30719. Is i a prime number?
True
Let k = 382 + -376. Let h(r) be the second derivative of r**4/12 + 4*r**3/3 - 17*r**2/2 + 6*r. Is h(k) composite?
False
Let s(l) = -1444*l + 239. Is s(-8) a prime number?
False
Let f = -1085 + 2331. Suppose -3*t = 15, 2*t = 2*r - 2*t - f. Is r composite?
False
Suppose 6 + 3 = 9*g. Is -2 + g + (3056/1 - 2) prime?
False
Let h be 24/4*(-1)/2. Let l be (-5)/(0 + (h - -4) + 0). Let j(m) = -m**3 + 2*m**2 + 2*m + 4. Is j(l) a prime number?
False
Suppose -3*s + 4*d - 5 + 11 = 0, 3*s - d - 15 = 0. Suppose -s*x + 766 = -2192. Is x a composite number?
True
Let k(l) = 193*l**2 + 4*l + 2. Let q be k(4). Let a = q - 4990. Is (0 + 1)/(1/(-1)) - a prime?
False
Let o(m) = -m**2 + 17*m + 101. Let q be o(22). Is 1070 + (-24)/(q - -1) composite?
True
Let f(v) be the third derivative of -v**6/120 - v**5/5 - 2*v**4/3 - 29*v**3/6 - 6*v**2. Suppose 3*o - 8*o + 4*t = 60, -5*t = o + 12. Is f(o) a prime number?
True
Let v(g) be the first derivative of 2/3*g**3 - 1/2*g**2 + 1895*g - 20. Is v(0) composite?
True
Let k be (-4)/(-10) - 66/15. Let n = k + -1. Is (-36362)/n - 6*5/(-50) prime?
False
Suppose -2493679 + 1589553 - 4336098 = -32*d. Is d a composite number?
True
Let y = 1105060 - 286898. Is y a composite number?
True
Is 10/4 - 2 - 73860/(-40) a composite number?
False
Let w(k) = 30*k**2 + 155*k - 1046. Is w(161) a prime number?
True
Is 96832 - (-35 - -36)/(1/5) a composite number?
False
Let h(i) = -279*i**3 + i**2 - 2*i + 2. Let l be h(1). Let o be (-182901)/287 + 2/7. Let g = l - o. Is g composite?
False
Suppose -8140505 = -186*h + 71*h. Is h prime?
False
Let x(w) = -152*w - 15. Let g(c) = -305*c - 29. Suppose -42 = -7*k + k. Let s(t) = k*x(t) - 3*g(t). Is s(-11) prime?
True
Let v be (-3)/(-15) - 27/(-15). Is (1/(-2))/(v/(-2876)) a composite number?
False
Let p(c) be the second derivative of -7*c**3 - 11*c**2/2 - c - 20. Is p(-41) composite?
True
Let z(b) = 4889*b**3 - 4*b**2 - b + 7. Let g be z(-2). Let a = 2872 - g. Is a prime?
False
Suppose v - 177943 = -g, -5*v + 457573 = 3*g - 76256. Is g prime?
True
Suppose 12*v + 625374 = 1323599 + 929611. Is v prime?
False
Suppose 0*o = o - 7*o. Suppose o*y = -5*u - 4*y + 30, -4*u + y = -45. Suppose 2*c + 8982 = 4*k, -u = -2*c + 4*c. Is k a composite number?
False
Let r = -25 + 27. Suppose -3*m = r*d - 28017, 5*d - 20 = -5. Is m a composite number?
False
Suppose 3*u + v - 23 = 0, 0 = 2*u + v - 22 + 8. Is 263 + u/((-63)/28) a prime number?
False
Let u(b) = 175*b**2 + 164*b - 97. Let j(r) = -117*r**2 - 109*r + 65. Let f(o) = -7*j(o) - 5*u(o). Let z(v) be the first derivative of f(v). Is z(-16) prime?
False
Suppose 4*a - 2802120 = -607852. Is a a prime number?
True
Suppose 37555739 + 10497901 = 120*b. Is b composite?
True
Let c be 3/5 + 2372/5. Suppose 3*l - 38 - c = 0. Let k = l + -94. Is k composite?
True
Suppose -221429 = -4*f - 9*f. Is f prime?
True
Suppose 3*s - 36034 = l, 4*s + 193*l - 48067 = 190*l. Is s a prime number?
False
Let s(u) = 122 + 123 - 237 + 285*u. Is s(1) composite?
False
Let n = 33732 - -61241. Is n a composite number?
True
Let c be (-4)/(-2)*(-28)/(-14). Suppose 9*g = 4*g - o + 62181, 0 = -5*g + c*o + 62201. Is g composite?
False
Let m(g) = 12*g + 10. Let n be m(0). Let t be -1 + 0 + 24 + n. Suppose -24*r - 27981 = -t*r. Is r composite?
False
Suppose 1271*b = 1285*b - 3365726. Is b a prime number?
False
Is 7*21559 - (-625 + 607) composite?
True
Let c(b) be the third derivative of 0*b**4 + 0*b + 1/4*b**5 + 0 - 8/3*b**3 - 24*b**2. Is c(-7) a prime number?
True
Let c(s) = -50*s - 164. Let b be c(12). Is (2 - (-24)/(-16))*b/(-2) prime?
True
Let z(x) = -5 + 1 - 3*x + 28*x. Let v be z(8). Suppose -3*b = -15, 3*r - 2*b - v = -b. Is r composite?
False
Suppose -5*i + 33777 = -5*x - 51053, 5*x - 33911 = -2*i. Is i composite?
False
Suppose 0 = -330*g + 295109411 + 118208134 - 6571755. Is g prime?
True
Suppose 0 = -3*b + 3*g + 28062, -b + 9348 = 128*g - 131*g. Is b a composite number?
True
Let y(s) = 18*s + 10. Let n be y(0). Is n - -5741 - (-1 - 0 - -5) prime?
False
Let b be 2 + 13/(39/(-87786)) + -5. Let k = b + 49438. Is k a prime number?
True
Let k be (13/(-39))/((-1)/12). Suppose v = -5*v - k*v. Suppose -7*h + 3554 - 1377 = v. Is h a composite number?
False
Let f(q) = 1420*q**3 - 2*q**2 - 2*q + 3. Let p(d) = -d**2 - d + 32. Let x be p(5). Is f(x) a prime number?
True
Suppose 3*v - 4*c - 183 = 0, 6*c - 3*c - 74 = -v. Suppose 5*y + 5 = 0, 5*y - 3*y = -3*g - 179. Let z = g + v. Is z a composite number?
True
Let r be 4856/(-1 + 5) + 2*2. Let q = 2053 - r. Is q a composite number?
True
Let s = -2720 - -3954. Let i = s + -593. Is i prime?
True
Suppose 65923 = 3*d + 3*z - 57251, 0 = 5*d - z - 205296. Is d composite?
True
Let p = -54 + 52. Let x(g) = 947*g**2 + 6. Let j be x(p). Suppose 5*k = j - 279. Is k prime?
False
Suppose c + f = 2160476, -4*c = 16*f - 17*f - 8641889. Is c prime?
False
Suppose 0 = -811*y + 813*y - 4. Suppose 0 = o + 22*d - 26*d - 7857, -31414 = -4*o + y*d. Is o composite?
False
Let s(c) = 7*c + 36. Let a be s(-4). Suppose 3*g = 4*f - 1 + a, 2*g = 4*f + 10. Is 537/1 + (3 - 3/g) prime?
True
Let w = 2463 - 2427. Let h be -21 + 0 - (4 - 2). Let v = w - h. Is v prime?
True
Let v = 13 - 25. Let w(h) = -1439*h + 68. Let i be w(v). Is 21/(-35) + i/10 composite?
False
Suppose 9*r - 13*r = 8*r - 1317660. Is r prime?
False
Suppose 0 = -2*k + 5*d + 29035, -15*d + 11*d - 14525 = -k. Suppose -11257 = -2*a + k. Is a a prime number?
False
Suppose 3*r