Let r(w) = -w**3 - w**2 + 13*w - 3. Let c(y) = 6*y + 38. Let o be c(-7). Let i be r(o). Let p(h) = 6*h**2 - 5*h. Is p(i) a composite number?
True
Suppose 3*h + 283*c - 285*c = 362587, c = -5*h + 604316. Is h a composite number?
False
Is (167740/(-5))/((-8)/22) a prime number?
False
Is (6 - 59706/12)*118/(-3) a prime number?
False
Let w = 57087 - 34509. Suppose 7*r = 13*r - w. Is r a composite number?
True
Let g be 29/5 + (-20)/(-100). Let v be ((-9)/g - -1)*0. Suppose 0 = -3*q - q - 3*k + 923, -4*k - 12 = v. Is q a prime number?
True
Let g(p) = -5*p - 4. Let v be g(3). Suppose -831 = 6*t - 945. Let b = t - v. Is b prime?
False
Let b = -78674 + 216208. Is b composite?
True
Let q be ((-3 - -7) + -7)*151/(-3). Is (-48)/12 + q*11 composite?
False
Let q = -781700 - -1101727. Is q a composite number?
False
Let j(i) = -4035*i + 2026. Is j(-75) prime?
True
Suppose -4*z - z = -440. Let c(d) = -12 + z*d - 492*d + 7 + 12. Is c(-2) a prime number?
False
Suppose a - 11 = -p + 5, -42 = -2*a + 3*p. Let k(h) = 82*h + 29 + 107*h - a*h - 23*h. Is k(9) a composite number?
False
Let p(r) = 42*r**2 + 4*r - 11. Let b(v) = v**2 - 4*v - 8. Let j be b(6). Is p(j) prime?
True
Let o(v) be the first derivative of -v**2/2 + 22*v + 15. Let u be o(20). Suppose 0 = -u*d + 5*r + 1252, 0 = 2*d - 3*d + 3*r + 625. Is d a prime number?
True
Let n(l) = 8*l**2 - 73*l - 2441. Is n(-80) a composite number?
True
Let j be 1/6 - 14/84. Suppose -2*c - n + 0*n = -1960, -5*c - 4*n + 4903 = j. Is c a composite number?
True
Is ((-30)/(-8))/(-5) + (-11383905)/(-156) composite?
False
Let d = -135 + 139. Is (5747/(-14))/(1/d*-2) prime?
True
Suppose -31 - 21 = 13*k. Is k/(-20) - (-12894)/5 prime?
True
Suppose 6 = -7*f + 4*f, 1172 = 4*o - 2*f. Let d(c) = -35*c + 440. Let j be d(12). Is 3 - j/(-8)*o prime?
True
Suppose 4*g = -3*t - 28, -2*t - 7 - 13 = 3*g. Is ((-138)/g - -1)/(13/1118) a composite number?
True
Let x be -6 + 9 - (1 - 8). Let u be 6*x/45*(-9)/6. Is (u/(-4))/(2/(9334 + -2)) composite?
False
Suppose -r - s = -135, -2*s + 3 + 1 = 0. Let t = r + -145. Is t/(-2) + -2 + 1807 a composite number?
False
Suppose 46*v = 40*v + 24. Suppose -3*p + 3*c + 1273 = -1058, 3*p - v*c = 2336. Let d = p - 461. Is d a prime number?
True
Let y = 131485 + -71874. Is y prime?
True
Let y = -543621 + 863767. Is y a prime number?
False
Let c(z) = -9*z + 19 - 16 + 8*z. Let u be c(3). Suppose -4*w + w = -s + 1330, u = 4*s + 3*w - 5395. Is s a prime number?
False
Let y = -209024 + 305572. Suppose 0 = -2*k - 14322 + y. Is k a composite number?
False
Let v(k) = -2*k**3 + 117*k**2 - 7*k + 121. Is v(57) composite?
True
Suppose 8*j + 54 - 22 = 0. Is ((-18118)/4)/((j - -1)/6) prime?
True
Suppose 2*d + 4*x = 6, 4*d - 9*d + 3*x = -2. Let v be (-3 + (2 - -1))/d. Suppose 3*t - 6722 - 6529 = v. Is t a composite number?
True
Suppose -z + 45 = 2*z. Let o = 28531 + -956. Suppose 10*a = z*a - o. Is a prime?
False
Suppose 0 = 2*h + 2*o - 227786, -3*o = 4*h - 8*h + 455558. Is h composite?
False
Suppose 0 = -3*d - 4*y + 378921, -2*d - 2*y + 196445 + 56169 = 0. Is d a composite number?
False
Let q(x) = -2283*x**3 + 4*x + 10. Is q(-2) composite?
True
Suppose 4*a - 18832 = -4*j - 0*a, 2*j - 9422 = a. Let s = j + 2411. Is s prime?
True
Let k(l) = -2574*l**3 - 2*l**2 - 3*l + 2. Let o be k(-2). Suppose 0*p = 5*n - 3*p - 25723, p = -4*n + o. Is n a composite number?
False
Let a(u) be the third derivative of -56*u**4/3 + 53*u**3/6 - 203*u**2. Is a(-3) prime?
False
Let h = 54 + -53. Let b(v) = -254*v**2 - 1. Let l be b(-1). Is -4 - l*h/1 composite?
False
Suppose -2*u + 2403168 = 73*o - 69*o, -3*u + 600797 = o. Is o a composite number?
False
Let b(f) = 12 - 7 - 4 - 626*f. Let o be b(-2). Suppose -4*p - 2103 = -5*w, -2*w - 2*p = w - o. Is w a composite number?
False
Let u(p) = 12*p - 72. Let h be u(11). Suppose -50*i = -h*i + 79070. Is i composite?
False
Suppose 0 = 5*g + 16*r - 11*r - 189635, 0 = -r + 5. Suppose -5*n = g - 215277. Is n a prime number?
False
Let h = 104 - -24. Suppose l - 86 = -l - c, -3*l = 2*c - h. Suppose 43*z + 365 = l*z. Is z composite?
True
Suppose -298 + 258 = -10*u. Is (-53 + 51)/(u/(-10490)) prime?
False
Let n = -53 + 53. Suppose -2*x - 28 = -4*i + 3*x, -5*i - 3*x - 2 = n. Is i/(-6) - 1762/(-3) a prime number?
True
Suppose 1812*y - 3976493 = 1789*y. Is y composite?
True
Let o = 1 - -3. Suppose o*p + 117 - 137 = 0. Let r(c) = 14*c**3 + 6*c**2 - 2*c - 25. Is r(p) a prime number?
False
Let g = 5 + -1. Let p(r) = -4*r**2 - 2*r**2 - 9 - 16*r + 9*r**2 + 3 + 5*r**2. Is p(g) prime?
False
Let j(w) = w**3 + 7*w**2 + 12*w + 2. Let m be j(-4). Suppose -5*z + m*t + 4961 = 0, 4*z - 2*t - 3962 = 3*t. Is z a prime number?
False
Let l(c) be the third derivative of -755*c**4/12 + 7*c**3/2 - 16*c**2 + 2. Is l(-2) a composite number?
False
Let a(u) = 2 - 6*u**3 - 2*u + 4*u**3 - u - 18*u**3 + 2*u**2. Let t be a(-4). Suppose -5*m - t = -4*z, 7*m - 2*m - 319 = -z. Is z a composite number?
True
Let h(x) = -32*x + 43. Let s(a) = 30*a - 41. Let k(q) = 6*h(q) + 5*s(q). Is k(-32) a composite number?
True
Let z(x) = 48*x**2 - 10*x + 33. Let u be z(-12). Is ((-2)/(-3))/(30/u) prime?
True
Suppose n - 3285 = 4*w + 6343, 0 = 3*n + 12. Let b = w + 3925. Is b a composite number?
True
Suppose 5*n + 20 = 4*k, 5*n - k - 2 = -7. Suppose l + 5*h + 0*h + 18 = n, -3*l - 2 = 2*h. Suppose -92 + 4 = -b - i, -437 = -5*b - l*i. Is b a composite number?
True
Suppose a - k = -2*a + 590557, 0 = 2*a - 2*k - 393702. Is a a prime number?
True
Suppose 0 = 2*x + 41 - 47. Suppose 0 = -2*i + 8, -3*y + 3145 = x*i - 58244. Is y a composite number?
True
Let k(m) = 198*m**2 - 22*m - 427. Is k(-12) prime?
True
Suppose -56*u + 163354 = -52078. Is u prime?
True
Suppose 6*i + 0*i + 418513 = 25*i. Is i composite?
False
Suppose -412*o + 16476583 = 83*o - 48064982. Is o composite?
True
Let d be (6/(-4))/((-9)/(-18))*-425. Suppose d = 5*s + 15595. Is 2/3 - (s/6 - 3) composite?
True
Let l(q) = 3*q**2 - 7*q - 92. Let t(p) = -29*p**2 - p. Let i be t(1). Is l(i) a composite number?
True
Suppose -22*n = -16*n + 52608. Let k = 13753 + n. Is k prime?
False
Suppose 63*d - 218251 = 52*d. Is d a composite number?
False
Let i be 7*(618 + 1/(3/(-15))). Let j = i - 2582. Is j prime?
True
Suppose 2*g = 8, -3*g - 1229 = -4*i - 73. Suppose i*q - 786 = 286*q. Is q a composite number?
False
Suppose 4*p = r + 777367, p - 181576 = -5*r + 12750. Is p prime?
False
Let c(h) = 10*h**2 + 225*h - 1517. Is c(-156) a prime number?
False
Let h(w) = -2250*w**3 + 1. Suppose -4*u + 16 = -4*d, -4*d + 7*d - 6 = -3*u. Is h(d) a composite number?
False
Let l = 44 - -14. Let k = l + -56. Suppose 0 = -6*j + k*j + 4*w + 1388, -2*j = w - 694. Is j a composite number?
False
Is (-4)/(((-280)/148253)/10) composite?
False
Suppose 355*n - 106103776 = -19666232 + 1695821. Is n composite?
True
Suppose -3*h = -8*h - 2*u - 285, 2*u = 10. Let w = -56 - h. Suppose w*c = c + 3382. Is c prime?
False
Let x = -221 + -470. Let t = x - -1624. Suppose 3*y - 1584 = t. Is y prime?
True
Let s(w) = -w**3 + 28*w**2 - w - 91. Let v be (26 - (-10)/(-10)) + 1 + -1. Is s(v) prime?
True
Suppose 2 = 5*y + 17. Is (34625/(-75))/(1/y) a prime number?
False
Let h(p) = 4*p**3 + 11*p**2 - 7*p + 9. Let c be h(10). Suppose 0*z + 4*z - c = -3*f, -5*f + 8403 = 2*z. Is f prime?
False
Suppose 8*o = -159255 - 9001. Let g be o/(-13) - (-26)/169. Suppose -g = -14*a + 12*a. Is a a composite number?
False
Let n(t) = -10969*t**3 + 3*t**2 - 2. Let w be n(-1). Let j = 142 + -138. Suppose w = 5*g - o, j*o - 20 = -0*o. Is g prime?
False
Let q be (-6*(-5)/30)/((-2)/4). Let m be 8/6*((-3)/q + 0). Is 687 + 1 + 3/(-3 + m) a composite number?
True
Let r = -138 - -233. Let f = 0 + r. Let y = f - -1376. Is y a prime number?
True
Let h(g) = 2*g. Let q be (-12)/(-14)*(-5 - 2). Let b be h(q). Is b/(-8)*-2 + (-1 - -195) prime?
True
Suppose 43*i - 46*i - 41798 = -g, 2*g + 5*i = 83519. Is g a prime number?
True
Suppose -3*o = 5*y + 29, 0*o - 3*y = -o - 5. Is 295*(6 + o - -3) composite?
True
Let x(a) = 307*a**2 - 11*a + 15. Let s be x(-8). Let k = -7240 + s. Is k prime?
True
Suppose -3*a + 0*a - 5*u + 2580 = 0, 5*a = 5*u + 4340. Suppose a = 2*m - 239. Suppose -18*l + m + 4110 = 0. Is l composite?
True
Suppose 2*a + a - 6 = 0. Suppose -45 = -2*j - 3647. Is (-10 + 8)*j/a a composite nu