 = -d*r. Is r prime?
True
Is ((-20)/(-12))/(30/3250134) prime?
True
Let t(p) = -10799*p + 61. Let i(q) = -21594*q + 123. Let c(d) = -6*i(d) + 13*t(d). Is c(-2) composite?
False
Suppose -23764532 + 917838 = -26*g. Is g a composite number?
False
Suppose 4*r - 2*l = 16740, 3087 = 2*r + l - 5275. Is r composite?
True
Let a be 4*(2 + 2*(-34)/16). Is 3*(-5 + 4)*28947/a prime?
True
Let g(v) = 8342*v**2 + 82*v + 7. Is g(-3) a composite number?
True
Suppose -3*a + 2*z = -1, -3*a + 4 + 13 = 2*z. Is -2*a/(-6)*15727 prime?
True
Let f(r) = -2*r**3 + 5*r - 3. Let x be f(-6). Let y be (-18)/(-27) - (-3)/(9/(-875)). Is 4*y*(x/36)/(-7) a prime number?
False
Let b = 1238 - 3074. Let w = 5194 + b. Suppose -2*s - 5*u + 985 = -2373, -2*s = -2*u - w. Is s a prime number?
False
Suppose -5*c - 16 = -2*w, -3 = 3*c + 3. Let p(k) = -48 + k**2 + k**w - k + 13*k**2 + 35. Is p(-12) a prime number?
False
Let c(m) = -3828*m**3 - 2*m**2 - 64*m - 211. Is c(-3) composite?
False
Suppose 2*b + 4*p - 405430 = 0, 0 = b + 15*p - 20*p - 202757. Is b a composite number?
True
Suppose 20*n - 642557 - 469783 = 0. Is n composite?
True
Let n(h) be the third derivative of 7*h**6/8 + h**5/30 - h**4/12 + 7*h**3/6 - 13*h**2 - 3. Let q(j) = j + 2. Let g be q(0). Is n(g) composite?
True
Suppose 4*k = -5*a + 75558, 2*a - 3*k - 14759 = 15501. Is a composite?
True
Is -1671*((-30923)/51)/17 composite?
True
Let t(h) = 2*h**3 + 6*h**2 + 8*h + 10. Let o be t(-4). Let v = -61 - o. Is v/(7 - 0) - (-2223 + 1) composite?
False
Suppose 0 = 51*c - 50*c - 47014. Suppose -186969 + c = -23*s. Is s a composite number?
True
Let r = 4272 - 11050. Let a = 9855 + r. Is a prime?
False
Suppose -5*q - 2*u = -47, -6*u + 3*u = -3. Suppose -6*s + 60735 = q*s. Is s a prime number?
True
Let b = -689 + 2569. Suppose -4*m + b = 3*h, 4*m + 4*h = 1027 + 857. Suppose -4*g + 0*g + 3*k = -623, 3*g - 2*k = m. Is g a prime number?
False
Let z = -4179 + 7568. Is z composite?
False
Let c be (-12)/(-9)*(1 - 7). Let a(o) = 73*o + 26. Let v be a(c). Let t = 1036 + v. Is t a composite number?
True
Is 2170488/42 + 4/(-14) + -7 composite?
True
Let a(q) = 220*q**3 - q**2 + q - 5. Suppose 3*b + 60 - 66 = 0. Let w be a(b). Suppose -115*d + w = -114*d. Is d a composite number?
False
Suppose -1 = -5*v - 6. Let l be v + (4 - 3 - 3). Is (7 - 6)*923*(-2 - l) a composite number?
True
Suppose -u = g - 138862, 3*g - 16*u + 13*u = 416592. Is g composite?
False
Suppose 0 = -2*h - 4*a - a + 545, 0 = -2*h - a + 549. Suppose -3*c + 4*f + h = 0, 7*c - 2*f - 477 = 2*c. Is c composite?
False
Is (1 + 4/(-6))/((-438)/(-5635090314)) composite?
True
Suppose -b + 988 = -3*p, 3*b + p = 2445 + 529. Let u = b + -97. Suppose i = -i + u. Is i composite?
True
Let j = 626 - -1603. Let f = 3942 - j. Is f prime?
False
Let n be (147208/(-16))/((-7)/14). Let k = n + -9940. Is k prime?
True
Let v = 364 + -322. Is ((-6)/v)/((-3)/51639) a composite number?
False
Suppose -2508950 = -2*u + 5*r - 162214, -3*r + 3520167 = 3*u. Is u a composite number?
True
Is (3 - (-2823597)/27) + 3/9 prime?
False
Let q = -1556 - -3264. Suppose -o - 3*o + q = 0. Is o a composite number?
True
Let u be ((-116)/(-5))/((-19)/(-190)). Suppose u = w + 3*w. Is w composite?
True
Let l(h) = 34*h**2 - 16*h + 97. Let n be l(-18). Let q = n - 7610. Is q composite?
True
Let s(c) be the second derivative of c**5/20 - 2*c**4/3 - c**3/6 + 11*c. Let w(q) = q**3 - q - 1. Let b(u) = -s(u) + 2*w(u). Is b(-8) a composite number?
True
Is (14325/(-300))/((-1)/172) a composite number?
True
Let a = 14501 + -6984. Let y = a + -4296. Is y a prime number?
True
Let v(a) = a**2 - 13*a + 21. Let n be v(11). Let c(l) = -l**2 - l + 1. Let q(z) = -2292*z**2 - 9*z + 7. Let s(y) = n*q(y) + 6*c(y). Is s(2) prime?
False
Suppose -2 = -r + 3*r. Let t be r*5/((-25)/(-15)). Is (8 - 5)*(-613)/t a prime number?
True
Let s(q) = 1320*q - 1. Let r = -506 - -509. Is s(r) composite?
True
Suppose 3*t - m + 28 = 4*t, 10 = 5*m. Let k be 10/(10/(-2)) + t. Suppose k*c - 29*c = -1115. Is c a composite number?
False
Let s(k) = k**3 - 10*k**2 + 9*k. Let b be s(9). Suppose b = -t - 2*d + 14697, -6*d + d = 5*t - 73490. Is t a composite number?
False
Suppose -7*n - 90 = 8*n. Let m = 409 + n. Is m composite?
True
Let i(x) = 30*x**2 + 17*x + 40. Let q be (-116)/9 + (944/(-72) - -13). Is i(q) prime?
True
Suppose 8*w - 11*w = -28536. Suppose -4*m = 4*p + p - 9512, 0 = 4*m - p - w. Suppose 5*i - 2*i + s = m, -3980 = -5*i - 5*s. Is i composite?
True
Suppose o = 5*i + 28462 + 19142, 5*i = -4*o + 190541. Is o a composite number?
False
Let n(g) = 12*g**3 + 19*g**2 + 7*g + 13. Let m(q) = 2*q**3 + q**2 - q. Let l(b) = 3*m(b) - n(b). Is l(-9) composite?
True
Let i be ((-12)/14)/((-3)/63). Let m(l) = -l**3 + 14*l**2 - 7*l + 16. Let z be m(i). Let d = 2283 + z. Is d prime?
True
Suppose -y + 1 = 5. Let c(z) be the third derivative of -13*z**4/24 - z**3 - 42*z**2. Is c(y) a composite number?
True
Suppose 0 = -5*q - s + 724082, q - 31*s = -35*s + 144805. Is q composite?
False
Let m = -15468 - -24275. Suppose g - 2*y = -g + 8804, -m = -2*g + y. Is g composite?
True
Suppose 10*d - d = 498744. Suppose d = 22*k - 31330. Is k a composite number?
False
Is (-606 - 0)*(3 - (-705)/(-90)) a prime number?
False
Let a = -248 + 251. Is a/(6475/4310 - (-15)/(-10)) a prime number?
False
Let u = 462 + -459. Suppose -3*p + u = -2*p, 5*j = p + 77002. Is j prime?
True
Let x(l) be the first derivative of 23/2*l**2 + 7 + 9*l. Is x(14) a prime number?
True
Suppose -58*q + 40*q + 246876 = -2486838. Is q composite?
True
Let a(d) = d**3 + 22*d**2 + 20*d - 19. Let b be a(-21). Suppose -220 = b*l - 2220. Let n = l + -561. Is n a composite number?
False
Suppose -7295*b + 7291*b = -2117252. Is b a composite number?
False
Suppose 4*r - 2*l + 4*l + 410 = 0, 0 = 5*r - 3*l + 540. Let g = r - -93. Is (-3)/g - 0 - 1953/(-12) prime?
True
Suppose 4*f - 2*o + 5500 = 0, -9*f + 5*f = 3*o + 5520. Let y = -424 - f. Is y a prime number?
True
Suppose 365 = -7*u + 8. Let b be 0*((-1)/(-3) - 34/u). Suppose 5*w - 7*w = n - 18, 4*w - 2*n - 20 = b. Is w a composite number?
False
Suppose -453*d + 20067 = -450*d. Is d a prime number?
True
Suppose -4*w = 8 + 8, 2*w - 23084 = -f. Suppose -5*d + 3*l = -f - 19237, 4*d - 5*l - 33858 = 0. Is d a composite number?
False
Suppose 4*j + 17444 = -4*z, -j + z = -0*j + 4361. Let t = j - -9118. Is t prime?
False
Let h = -61983 + 134224. Is h prime?
False
Let k(r) = -4273*r**3 + 10*r**2 + 7*r + 1. Is k(-2) a prime number?
True
Let y = 26022 + 116129. Is y a composite number?
False
Suppose -11*f + 34434 = -2*f. Let o = f + -2291. Is o a composite number?
True
Let v(n) be the third derivative of 7*n**5/60 + 73*n**4/24 - n**3/6 + 36*n**2 - 5*n. Is v(23) a composite number?
False
Suppose -v - 113110 = -4*y, 4*v + 28865 = 4*y - 84251. Is y prime?
True
Let c = 120 + -124. Is (28506/(-12))/(2/c) prime?
True
Suppose 77 = -65*j + 76*j. Is 66688/7 - 3/(-147)*j prime?
False
Let y be 1/(2/(-4)*(8 + -6)). Is (3/12)/(y/(-2812)) a composite number?
True
Let z = -16 - -18. Suppose z*t + 105 + 375 = 0. Is ((-2)/(-3))/((-8)/t) + -1 prime?
True
Is 1415918 - ((23 - 4) + -30) a composite number?
False
Suppose 246*x = -103*x + 177112963. Is x a prime number?
False
Let j = -107 + 107. Suppose h - 4619 = -m, 3*m - 9238 = -2*h - j*m. Is h a prime number?
False
Let z(p) = -p**2 + 2*p + 8. Let d be z(-6). Let y = 43 + d. Suppose y*v - 299 = 883. Is v a prime number?
False
Let k(y) = -4*y**3 + y**2 + y + 1. Let z be k(-1). Suppose 361 = -2*h + 3*j + 3579, 4*h - 6392 = -z*j. Let d = -762 + h. Is d prime?
False
Let n(l) = 6*l**3 + 5*l**2 - 9*l - 7. Let f be n(-13). Is f/(-2 - (6 - 7)) a composite number?
False
Suppose -16 = 5*g - f - 26, 4*g + 3*f = 8. Is (26697/165)/(g/110) a composite number?
True
Suppose 20*n - 53 = 21*n. Let f be n/(2 + 315/(-155)). Let d = f - 780. Is d a prime number?
True
Suppose 52*v + 91*v = 44429099. Is v a prime number?
True
Is (-12979567)/(-517) - 6/11 a composite number?
True
Let u(g) = 432945*g**3 + g**2 - 34*g + 35. Is u(1) composite?
True
Let f be ((-2)/(-5))/((-5)/(-100)). Suppose 39*k - 28117 = f*k. Is k composite?
False
Let l(g) = -33*g**3 + 3*g**2 + 3*g + 4. Let z be l(-2). Let h = 683 - z. Is h prime?
True
Is 149683 - (2/4)/(8/(-96)) prime?
True
Let q = 447 - 305. Let t = q -