c prime?
False
Suppose 5*u - 183377 = 5*w - 1428192, u - 8 = 0. Is w a prime number?
True
Suppose 18*s + i = -4*i + 1637298, -s + 90961 = -2*i. Is s a prime number?
False
Let o(n) = -n**3 - 2*n**2 + 2*n + 4. Let s be o(-3). Let a(c) = 15*c**3 - 9*c**2 - 2*c - 45. Is a(s) composite?
True
Let s(b) = 6 - 128*b + 2 - 1. Let h(t) = 2*t**2 - 102*t + 1277. Let w be h(23). Is s(w) prime?
False
Is 5/35*1*328685 composite?
True
Let k = -148 + 208. Suppose -10*d = -14*d - k. Is ((-985)/d - 2)*3 composite?
False
Suppose 2*i + 12148 = 3*t + 3375, 0 = -t + 7*i + 2899. Is t prime?
True
Suppose 0 = 2*x - 4*w - 18, -x + 3*w + 8 + 4 = 0. Suppose -22556 = -5*b + 2*t, t + 5862 = x*b - 7672. Suppose -10*i + 10922 = b. Is i prime?
True
Let y(h) = 5*h + 1. Let b be y(-1). Let g = b - -9. Suppose -g*d + 144 = -266. Is d a prime number?
False
Let c(v) = 14*v**2 + 27*v - 26. Let b be c(-12). Let s = b - -177. Is s a prime number?
False
Is 2/16 + (-57554559)/(-1416) a composite number?
True
Let a be (-1)/2 - 0 - (-10)/4. Suppose 0 = b + 5*z + 12, b - a*b = -2*z - 2. Let f(i) = 262*i**2 - 7*i - 1. Is f(b) composite?
False
Let s(m) be the third derivative of -m**5/60 + 7*m**4/24 - 8*m**3/3 + 10*m**2. Let x be s(4). Is 510/4*x/6*-1 a composite number?
True
Let c = 16609 - 1989. Suppose 73165 = 4*v + v - 2*l, v = 3*l + c. Is v prime?
False
Let v(c) = c**3 - 14*c**2 + 2*c - 1. Suppose -7*b + 70 = -2*b. Let w be v(b). Is 1251/w - (-2)/(-6) composite?
True
Suppose 14*s + 2229618 = 31*s. Suppose -10*n + 139336 + s = 0. Is n composite?
True
Suppose -16*b + 687223 = -902841. Is b prime?
False
Let z be (-6)/(2380/(-1189) - -2). Suppose -16*y + z = -19*y. Let v = -408 - y. Is v prime?
False
Let d(f) = 76178*f**2 - 1002*f + 1001. Is d(1) prime?
False
Suppose -4*n = -5*w - 93923, 2*n - 2*w + 6225 = 53189. Let k = n + -12850. Is k composite?
True
Let a be 4/18 - (-4 + 59275/45). Let v = 2134 + a. Is v prime?
True
Suppose 1439 = -8*f - 14537. Let b = f - -4126. Is b a composite number?
False
Let g = -57647 + 134128. Is g a prime number?
True
Is (-463923)/(-21) - 92/161 composite?
False
Suppose -12 = -4*v - d, -1 = v + d - 7. Suppose -j - v*w + 12 = -w, j - 18 = -3*w. Suppose -5*i + j*i = 1076. Is i a prime number?
True
Let r(a) = -3*a**3 - 6*a**2 + 11. Let k(u) = -u**3 - 4*u**2 + 13*u + 6. Let m be k(-6). Suppose -c - 4 = -w + 3, m = -4*c - 5*w - 19. Is r(c) composite?
False
Let m(v) = 8*v**3 - 2*v**2 - v + 3. Let i be m(1). Suppose -22010 - 8206 = -i*b. Is b composite?
True
Let k(w) be the second derivative of w**4/12 - 5*w**3/6 - 19*w**2/2 - 25*w. Let d be k(8). Suppose 2*f = d*o - 939 + 3671, f - 5*o - 1371 = 0. Is f composite?
False
Is ((-56)/(-24) - 7)*-3531 + -1 a prime number?
True
Suppose -5*h + 20*h = -15. Let u be ((-14)/(-8))/(h/(-1492)). Suppose -37*q + 36*q = -u. Is q a composite number?
True
Let p(r) = 3*r**3 + 2*r - 4. Let x be p(2). Let s = -4 + x. Is 4*(-545)/s*-2 a prime number?
False
Let q be (-616)/66*4167/(-2). Suppose -3*r - 3 = 0, 5*s + 2*r - q = 24377. Is s composite?
True
Suppose x + 9 = a, -4*x - 15 = -x. Let m = 4 - a. Suppose m = 6*t + t - 1897. Is t prime?
True
Suppose 0 = 5*r + 5*r - r - 1386387. Is r a prime number?
True
Let t = 175 - 170. Suppose 3*z - 38563 = v, 2*z - t*v - 10315 - 15411 = 0. Is z composite?
False
Suppose 16*s = 25 + 7. Suppose 15 = 5*f, -2*p + 7*f = s*f - 18167. Is p composite?
False
Let u = -117006 - -219527. Is u prime?
False
Suppose 91 = 7*v - 7. Suppose -v*d + 5*l = -9*d - 2955, l - 1753 = -3*d. Is d a composite number?
True
Suppose -r + 3773 = -14262. Is r composite?
True
Suppose -3*v + 1508 = 2*v + 4*y, 4*y = 3*v - 924. Let f(d) = 50*d + 3. Let s be f(-3). Let t = s + v. Is t composite?
False
Let m(t) = 2*t**3 + 92*t**2 - 54*t + 163. Is m(-33) a prime number?
True
Let s = -147 - -149. Let k(m) = 279*m. Let n be k(3). Suppose -s*x + 1393 = -n. Is x composite?
True
Suppose 5*k = -5*r + 225, 2*r - 9*k - 80 = -13*k. Let g be (-92325)/r*3*-2. Suppose -28*p - g = -31*p. Is p composite?
True
Is 1*7855475/(6 - -19) prime?
True
Let x(h) = 1127128*h**3 + 6*h**2 + 5*h - 4. Is x(1) composite?
True
Suppose 2*f - 3*j = 445210, -f + 4*j + 890428 = 3*f. Suppose 16*n - f = -15*n. Is n a composite number?
True
Suppose 0 = -s + 1 - 6, -z - 4*s - 17 = 0. Suppose 2*w = -2*l + 424, 0 = -2*l - z*w + 4*w + 421. Is l composite?
False
Let s = 3 - 413. Let d = s + 717. Is d a prime number?
True
Let l be (-3)/((-204)/39 + 5). Suppose l*k = 17*k - 204. Is k a composite number?
True
Suppose -5*h = -12 - 8. Suppose 3*z = h*z - 4911. Suppose 10*l - z = -821. Is l composite?
False
Suppose -5*y = 2*j + 2899, -2893 = 5*y - 51*j + 50*j. Suppose 3*m = 3037 + 2357. Let k = y + m. Is k a prime number?
False
Let l(f) = -23*f**3 - 14*f**2 - 6. Let n be l(14). Is -2 - (-12)/16 - n/24 a prime number?
False
Suppose 5*l - 2*q - 26829 = 0, 4 = -2*q - 0. Suppose 2*x = 889 + l. Is x a prime number?
False
Let k(o) = 147*o**2 + 14*o + 38. Let g(c) = c**2 - 55. Let u be g(-8). Is k(u) a composite number?
False
Suppose 0 = -1084*b + 1314*b - 3754060. Is b a composite number?
True
Let c(x) = -8*x**2 - 8*x + 20. Let d(w) = 17*w**2 + 16*w - 40. Let s = -46 + 41. Let p(m) = s*c(m) - 2*d(m). Is p(9) composite?
True
Let y be 11*(0/(-1) - -2). Let c be 7 - ((-280)/(-252))/((-6)/(-27)). Is 49401/y + 1/c a prime number?
False
Let r = -15 - -9. Let u be r/(-4)*20/(-30). Let j(s) = 1024*s**2 - 4*s - 1. Is j(u) prime?
False
Let b(p) = -248*p**2 + 44*p - 233. Let l be b(6). Let j = l - -12538. Is j composite?
True
Let m(j) = -25*j**2 - j + 1. Let z = 23 - 28. Let i(u) = -51*u**2 - 3*u + 2. Let l(p) = z*m(p) + 2*i(p). Is l(3) a prime number?
False
Let h = -23 - -990. Let c = h - 446. Is c a prime number?
True
Is (1/(-2))/((2/(-16))/((-70276)/(-16))) prime?
True
Let l be -309*1*(-9)/(-2)*4/(-18). Let k(p) = 78*p**2 - 2*p + 1. Let f be k(2). Suppose -3*y + l = -f. Is y composite?
True
Let n = -56231 - -99892. Is n prime?
True
Let m = 7444 - -208449. Is m a composite number?
False
Let d = 20 - 28. Let w be d + ((3 + -3)/3 - 1). Is 120 - -3*(-3)/w a composite number?
True
Suppose -31*d = -186 + 31. Suppose 3*q + 14 = 23, d*l = 2*q + 154069. Is l a composite number?
True
Suppose 572 - 5907 = -5*p. Suppose 777 = 3*w + 4*o, 6*w - 5*o = 2*w + p. Is w composite?
False
Let r(l) be the third derivative of -2*l**6/15 + 7*l**5/60 + 5*l**4/6 + 95*l**3/6 + 97*l**2. Is r(-6) a composite number?
True
Let u = 1512 - 2600. Let c be 21/((-7)/(-1)) - u/(-1). Let y = c - -1626. Is y a prime number?
True
Let l be (17 + 0 + 22/(-11))*1. Let z be ((-20)/l + (-50)/(-24))*4. Let h(t) = 103*t**2 + 10*t - 4. Is h(z) a prime number?
True
Let x(r) = 137*r**3 - 3*r**2 - 6*r - 6. Let j be x(-2). Let w = j + 1997. Suppose 9*c - 8*c - w = 0. Is c prime?
False
Let v be (-447)/3 + 3 + 2 + -2. Let k = v - -231. Suppose h + 30 = k. Is h a prime number?
False
Let a(t) = -215*t + 44. Suppose 4*u - 7 + 31 = 0. Let g be a(u). Suppose 5*b - 7651 - g = 0. Is b a prime number?
False
Let q(s) = s**3 + 3*s - 5. Let b be q(2). Suppose -b*n - 1090 = -14*n. Suppose -n = -z - z. Is z a composite number?
False
Suppose 8*r - 7637 = 3*r + 3*s, -4*r + 6092 = 2*s. Let v = r + -782. Is v a composite number?
False
Let m = 34655 + -12688. Is m a composite number?
True
Let x(t) = 75 + 384*t - 70*t + 47*t - 79*t + 257*t. Is x(13) composite?
True
Let a(f) = -368*f - 365*f - 23*f**3 + 1 + 731*f - 11*f**3 - 6*f**2. Suppose -4*k = -0 + 8. Is a(k) a composite number?
True
Let p = 99 + -94. Suppose -5*t = -2*u - 136, 3*u - 7*u - 242 = p*t. Is u/(-42)*2164/6 composite?
False
Let g(r) = 1270 + 194*r - 1209 + 138*r. Is g(5) a prime number?
True
Let c be 5*1 + 13 + -17. Suppose 0 = -2*r - c + 5. Suppose r*n + 1941 = 5*n. Is n prime?
True
Let m(g) = -4*g - 13. Let i be m(-3). Let d be (-3 - -1)*i - 1353. Is d/(-1) - 2 - (-1 - -1) composite?
True
Let u(t) be the first derivative of 735*t**2 + 3*t - 6. Let d be u(1). Suppose 7*x - 5240 = d. Is x a composite number?
True
Is ((-3)/4)/((-10663221)/1523316 - -7) a prime number?
True
Let z = 52598 - 30189. Is z prime?
True
Is ((-507406)/(-3))/(31 - (-2912)/(-96)) a prime number?
True
Suppose -4*t + 210356 = 8*x, 0 = 3*t + 60*x - 61*x - 157809. Is t a composite number?
True
Let f(k) = -k**3 - 29*k**2 - 27*k. Let s be f