*y + 49 = 8*y - h. Is y a composite number?
True
Is -3 + 6 + -4 + -4 - -26767 a composite number?
True
Let n(q) = -7*q**3 - 10*q - 7. Let y(x) = -6*x**3 - 9*x - 6. Let b(p) = -4*n(p) + 5*y(p). Let t be (-1)/3 + (-8)/3. Is b(t) composite?
False
Let b(h) = h**3 + 5*h**2 + 2*h + 12. Let l be b(-5). Suppose -4*v + 2*f + 2421 = 187, 0 = -v + f + 556. Suppose l*c + c = v. Is c composite?
True
Suppose -3*q + 23 + 19 = 0. Is (q - 13)/((-1)/(-361)) a prime number?
False
Let r(h) = -523*h + 5. Let q be r(-1). Suppose -4*z - 3*n + 6253 = 0, -4*n = z - 1019 - q. Is z a prime number?
True
Suppose 9*s = 64638 + 82125. Is s prime?
False
Suppose 8*a - 12390 = 2*a. Suppose 5*n - w = w + a, -3*n = 3*w - 1239. Is n prime?
False
Is ((-804)/(-9))/(-2)*-3 composite?
True
Is (3/(-9))/(2/(-95622)) a prime number?
True
Suppose -2*s - p + 5972 + 1900 = 0, -s - 3*p + 3931 = 0. Is s a composite number?
True
Suppose 0 = 4*s + 20, 51 = 2*f - 0*f - 5*s. Let z(m) = -3*m + m**2 + f + 2*m + 254 + 0*m**2. Is z(0) prime?
False
Let s(l) = -l. Let r(i) = 2*i + 307. Let j(f) = r(f) + 3*s(f). Is j(0) composite?
False
Suppose -8*v + 5*v = -33. Let y = 19 - v. Is (9 - y)/((-2)/(-1174)) composite?
False
Let k be (-3 - -2 - -2)/(4/16). Suppose -k*w + 1172 = -0*w. Is w a composite number?
False
Is 28973 - 10*12/30 prime?
False
Let i(j) = 2660*j + 119. Is i(45) composite?
True
Let y(p) = 51*p**2 + p + 1. Is y(-5) composite?
True
Suppose -546*u + 537*u = -140517. Is u composite?
True
Let k be 2 - -2*1333/2. Suppose -64 = -p + k. Is p composite?
False
Let j(o) = 1735*o - 2. Let t(i) = -i**3 - 8*i**2 + 9*i + 1. Let g be t(-9). Is j(g) composite?
False
Let v(h) = 97*h**2 + 25*h - 29. Is v(9) a prime number?
True
Suppose 2*r = 6*r - 15940. Suppose 3*u - 5974 = -0*u - y, 2*u - r = -3*y. Is u composite?
True
Let m(y) be the third derivative of 0 + 0*y - 9*y**2 - 23/6*y**3 - 17/24*y**4. Is m(-6) composite?
False
Let o = 3974 - -203. Is o composite?
False
Let d(c) = 118*c**2 + 57. Is d(-8) a composite number?
True
Let q(z) = -3*z**3 - z**2 + 9*z - 10. Suppose p - 4*p - 15 = 0. Let n(w) = -w - 12. Let a be n(p). Is q(a) a prime number?
True
Let g = 112 + -67. Is 3820/g - (-3)/27 prime?
False
Let v = 22 + -17. Suppose -332 = -v*r - 37. Is r a composite number?
False
Let p = -19 - -22. Suppose -5*r + 965 = -5*o - 1615, r + p*o - 508 = 0. Is r a prime number?
False
Let x = 3959 - 1966. Is x a prime number?
True
Let y = 51 - 49. Suppose -4*r + 1366 = -y*r. Is r composite?
False
Suppose -2*i + 71450 = 2*v, 8*v = 5*v + 3*i + 107199. Is v composite?
False
Let l(n) = n**2 - n - 1. Let s(f) = f**2 - 7*f + 7. Let x(w) = -2*l(w) + s(w). Let d be x(-6). Is ((-73)/d)/((-3)/27) prime?
False
Suppose -9*o - 63876 = -21*o. Is o prime?
True
Let r(v) = 988*v - 129. Is r(7) composite?
True
Suppose 5*n - c - 4040 = -6*c, 0 = -2*c + 8. Suppose -2*l - n + 2786 = 0. Is l a composite number?
False
Let c be 5/(-25) - (-36)/5. Let w(r) = r**3 - 8*r**2 + 4*r - 3. Let l be w(c). Let b = l - -89. Is b composite?
True
Let v(z) = z - 10. Let u(g) = g - 1. Let a(y) = 6*u(y) - 2*v(y). Is a(8) a composite number?
True
Suppose -22*h + 6846 = -20*h + 2*q, -2*q - 3417 = -h. Is h a composite number?
True
Let a(u) = 14*u**2 - 29*u + 3. Is a(-28) a composite number?
True
Suppose 5566 - 31192 = -6*m. Is m a composite number?
False
Is (-5 + 89493/(-9))*9/(-6) a composite number?
False
Let c(l) = 4*l**3 + 6*l**2 + 2*l + 1277. Let h(q) = 7*q**3 + 11*q**2 + 4*q + 2555. Let j(y) = -11*c(y) + 6*h(y). Is j(0) composite?
False
Let c = 2581 + -378. Is c composite?
False
Suppose 0 = 4*n - 16, -4*n = v - 4*v + 5. Let t(c) be the third derivative of c**6/120 - c**5/10 + 11*c**4/24 - 7*c**3/6 - 3*c**2. Is t(v) a prime number?
False
Let n be (-2 + 0)*-256 - -2. Let t(k) = -k**3 - 14*k**2 - 13*k. Let z be t(-13). Suppose 0 = 2*j - z*j - n. Is j composite?
False
Let g(t) = t**3 - 11*t**2 - 9*t + 10. Is g(17) composite?
True
Suppose -20*h + 214173 + 31287 = 0. Is h a prime number?
False
Suppose 0 = 44*u - 58*u + 30226. Is u a composite number?
True
Suppose -2*j = -3 - 3, 3*h + j - 14712 = 0. Is h composite?
False
Let t be 3 + 4/4 - -669. Suppose v + t = 2*v. Is v a prime number?
True
Let n be -2 + -1 - 11*-3. Let i = 92 - n. Suppose 0*m - i = -2*m. Is m a prime number?
True
Let w(p) = 6067*p + 7. Is w(1) a composite number?
True
Suppose 0 = n - 6*n - 40. Let d = n - -12. Suppose -2*g - 3*x + d*x = -136, -5*g - x = -347. Is g composite?
True
Suppose 0*u = -5*u + 225. Is (2 - 5 - -5) + u prime?
True
Suppose 4671 = 3*u - 3*a, 5*a + 1033 = -2*u + 4161. Is u a composite number?
False
Let c = 639 - 137. Is 1 + 4 + (-32)/4 + c prime?
True
Is (-4 + 1541 - 6) + 4 a prime number?
False
Let f(j) = j**2 + 5*j - 5. Let i be f(-6). Let o = 5 - i. Suppose -d = 3*d - o, -r + 3*d + 138 = 0. Is r a composite number?
True
Suppose -12*h - 124 = -28. Let z(b) = 1. Let t(l) = -12*l - 7. Let a(m) = t(m) + 4*z(m). Is a(h) composite?
True
Let s = 8 + -3. Suppose 71 + 249 = 5*h + u, s*h + 5*u = 300. Suppose -2*o = 3*l - 67, -o = 3*l + 3*o - h. Is l prime?
True
Suppose 94*g - 88*g - 10806 = 0. Is g composite?
False
Let h(m) = 6*m**3 + 6*m**2 - 12*m + 7. Let v be h(6). Suppose 3*s - 5*f = -s + 1166, -5*s + v = -f. Is s a composite number?
True
Let c be -6 + 3/1 + 1. Let i be (-5)/(20/(-16)) + c. Suppose i*s - 2*f - 1093 = 815, -s = f - 952. Is s a prime number?
True
Suppose 23 = 7*m + 9. Suppose 2*s + m*s - 764 = 0. Is s a composite number?
False
Is 2/3*(-1032855)/(-74) a composite number?
True
Let f(r) be the first derivative of r**3/3 + 5*r**2/2 - 8*r - 4. Let q be f(-7). Is 1685/9 + q/(-27) composite?
True
Let b(i) = -i**2 + 13*i - 9. Let f(u) = u - 8. Let j be f(0). Let w = -2 - j. Is b(w) a prime number?
False
Suppose 7*h + 4*o + 1059 = 8*h, -5203 = -5*h - 3*o. Is h a composite number?
True
Let u = 5 + -2. Suppose 0 = 3*m + d - 1889, u*m - 2*d = -6*d + 1877. Is m a prime number?
True
Let w(f) = f**3 + 7*f**2 + 3*f - 5. Let m be w(-6). Let h = m - 8. Suppose 20 = -h*d + 135. Is d composite?
False
Let s = 6289 + -4358. Is s a prime number?
True
Suppose -3*s + 267 = -4*d, 3*d + 0*s = 2*s - 201. Let l = d - -482. Is l a composite number?
True
Let u(f) be the second derivative of 223/2*f**2 + 1/6*f**3 + 0 - 2*f. Is u(0) prime?
True
Let h(p) = -97*p + 5. Let m be h(-2). Suppose 4*w - m = -27. Is w a composite number?
False
Suppose 5*c = 7*c - 4. Suppose 5*f - h - 128 = 0, -c*f + 80 = f + h. Is f composite?
True
Let j(p) = 256*p**2 + 41*p + 86. Is j(-7) prime?
True
Let n be (6 + -1 - -3)/2. Suppose 1489 = 2*j - 0*s + 5*s, -n*j + 2960 = 4*s. Is j a prime number?
False
Let w(t) = -119*t. Let i(h) = 2*h - 1 + 2*h**2 + 0 - 4*h**2 + 0*h. Let j be i(1). Is w(j) a prime number?
False
Let n = -21340 + 30577. Let b = n - 6418. Is b prime?
True
Is (-15)/25 - 194632/(-20) a prime number?
False
Suppose -48*u = -46*u - 3822. Suppose 4*y - 4*r - 3762 = -2*r, -5*r + u = 2*y. Is y a composite number?
True
Let k(t) be the third derivative of -t**6/120 + t**5/12 + t**4/8 - 4*t**3/3 + 7*t**2. Let b be k(5). Suppose 0 = -12*q + b*q + 635. Is q composite?
False
Let k be (364/8)/7*4/2. Let l(u) = u**3 - 13*u**2 + 15*u + 16. Is l(k) a prime number?
True
Let r be ((700/(-1))/1)/(18 - 19). Let w = -321 + r. Is w composite?
False
Is ((-14)/35)/((-20)/1029950) prime?
True
Suppose -5 = -2*t + g - 2*g, 0 = -2*g - 2. Let a(p) = 2*p. Let d be a(1). Suppose -t*i + 545 = d*i. Is i prime?
True
Suppose 3*j + 2*m - 11443 = 0, -2*j + 5465 = m - 2165. Is j composite?
True
Let r(j) = -274*j + 53. Is r(-17) a prime number?
False
Is (-413965)/(-45) - (-14)/(-63) prime?
True
Let y = 1571 - 397. Suppose 0 = -2*g - 3*l + 1175, -g = g + 4*l - y. Is g a prime number?
False
Let l = 383 + -161. Let j = l + 487. Is j a composite number?
False
Let i(r) = 5*r**2 - 8*r - 6. Let p(o) = 15*o**2 - 23*o - 17. Let m(h) = -11*i(h) + 4*p(h). Is m(-3) a composite number?
True
Let c(i) = 69*i - 9. Suppose -5*t + 2*t - 5*m = -7, -3*m + 9 = 3*t. Is c(t) a prime number?
False
Suppose -24898 = 258*d - 260*d. Is d a prime number?
False
Suppose 0 = -41*w + 47*w - 210. Is w prime?
False
Suppose 25 + 7 = 4*t. Suppose -302 - 714 = -t*m. Is m a composite number?
False
Let g = 71937 - 5368. Is g prime?
True
Suppose 0 = -2*o + 1 + 3. Suppose -o*l + 7*l