Let b(h) = -7*h**3 + 8*h**2 + 9*h + 1. Is b(i) composite?
False
Suppose 435 = -5*z - 5*b, 0*b - 4*b + 372 = -4*z. Let d be 568/6*z/20. Let c = -241 - d. Is c prime?
False
Let d(i) = 16 - 535*i + 16 - 35 + 54*i. Is d(-2) composite?
True
Let m(g) = -69*g**3 - g**2 + g - 8. Is m(-3) a composite number?
True
Let h be (-2 - 4)*4/6. Let y be 237/21 - h/(-14). Suppose 0 = -z + 11 + y. Is z a composite number?
True
Let s be (2 + (-45)/6)*2. Let y be s/3*(-7 - -76). Let b = -126 - y. Is b a composite number?
False
Is 2/12*2 + (-97724)/(-66) a prime number?
True
Suppose 80 = -3*p + 617. Suppose 2*u + 2*l = 250, 2*u = -5*l + p + 59. Suppose -2*q + 5*q = u. Is q a composite number?
False
Let o(g) be the third derivative of 0 + 0*g + 161/60*g**5 + 6*g**2 + 0*g**4 + 1/3*g**3. Is o(-1) a prime number?
True
Let i(t) = 300*t - 173. Is i(60) composite?
False
Let n(t) = 1560*t**2 + 3*t - 1. Is n(2) a composite number?
True
Let s(g) = 19*g - 13. Let j be s(7). Let c = 25 + j. Is c prime?
False
Suppose r - 12819 = -2*r. Let k be 0 + 1584 - (-3 - (-2 - 4)). Suppose 0 = 5*j + n - k - r, 5*n + 5860 = 5*j. Is j prime?
True
Let o be 0 - (-4)/(8/6). Let p(u) = -u**3 + 8*u**2 + 4. Let c be p(8). Suppose 0 = -2*q - c*k + 410, 8*k - 3*k + 604 = o*q. Is q composite?
True
Suppose 3*r - 56 = -5. Let j = -14 + r. Is j prime?
True
Suppose 64 = 2*d + 14*d. Is 0 - d - (-2 + -148) a composite number?
True
Let n = -3703 - -17588. Is n prime?
False
Let q(b) = -b**3 - 3*b**2. Let z be q(-3). Suppose z*y - 2*y + 44 = 0. Is y a composite number?
True
Suppose 3*h + 783 = 4*h. Let x(m) = -m**3 - 5*m**2 + 10*m + 9. Let v be x(-9). Suppose 5*a + v = 5*r + h, 3*a - 364 = -5*r. Is a a prime number?
True
Suppose 9*v = 4*v + 2*a - 56870, 4*v + 45468 = -4*a. Let g = 17275 + v. Is g a composite number?
False
Is 279081/21 - (32/28)/2 a prime number?
False
Is 66/16 + (-20)/160 - -2517 a prime number?
True
Let y = 1542 + -538. Suppose 4*v - y = 2*v. Is (36/(-24))/((-3)/v) prime?
True
Suppose 5*t = -10, -4*n - 4*t + 663 = -837. Let w = n - 218. Is w composite?
True
Let u = -6305 - -10564. Is u a prime number?
True
Let t = 121 - 244. Let n = t - -338. Is n a composite number?
True
Suppose 5*t = 4*t. Suppose 4*z - 8 = 4*v - t*v, -2*z + 5*v + 4 = 0. Suppose 4*l = -l, -z*m = -5*l - 170. Is m a composite number?
True
Let u(f) = f**3 + 8*f**2 + 6*f - 7. Let p be u(-7). Suppose -n - 4*n = p. Suppose n = -4*g + 1985 + 163. Is g a prime number?
False
Let y be (-32)/12*(-3)/(-2). Let v(h) = h**3 + 2*h + 7. Let f be v(y). Let r = 317 - f. Is r composite?
True
Let w(f) = -374*f + 41. Is w(-4) composite?
True
Let f = 11597 + 17888. Is f composite?
True
Let o(s) = 0*s + 2*s + 15*s - 35*s - 1. Is o(-5) prime?
True
Let x = -14810 - -26373. Is x a composite number?
True
Let k(z) = z**2 + 875. Suppose 0 = 2*h + 2*h. Let s be k(h). Suppose 0 = -4*x - 5*q + s, 15 = -2*q + 7*q. Is x a prime number?
False
Is (-4)/8*(-11731 + -1)/2 a prime number?
False
Let y(m) = 2*m**3 - 3*m**2 + 13*m + 24. Let a be y(16). Suppose 0 = -5*k - z + a, 3*z + 6121 = 2*k + 2*k. Is k composite?
False
Suppose 5*n = 2*o + 26657, -3*n - 5*o + 3539 = -12449. Let f = 7936 - n. Is f a composite number?
True
Suppose -4617 - 950 = -19*z. Is z prime?
True
Let x(k) = 4*k**2 + 16*k + 8. Let s be x(8). Suppose 2*m = 5*l + 3649 - s, -8120 = -5*m + 5*l. Is m composite?
False
Suppose -2 + 12 = 2*v. Suppose -4 = 3*d - v*d. Suppose 8*t = d*t + 348. Is t a prime number?
False
Let o = -3145 + 6723. Is o composite?
True
Suppose -20*a + 3662 = -18*a. Is a prime?
True
Suppose -42 = -11*x + 5*x. Suppose 0 = -x*i - 3*i + 860. Is i prime?
False
Suppose -3*o - 2*t - 93 = t, 2*t = 5*o + 155. Let l = o + 52. Is 8/6*l/2 composite?
True
Suppose 0 = 2*t + 6*t - 2240. Let f = 549 - t. Is f prime?
True
Let l(n) = 431*n**2 - 8*n - 16. Let t be l(-3). Suppose t = 3*z - 6472. Is z a prime number?
False
Let q(h) be the second derivative of h**3/6 + 7*h**2/2 + 3*h. Let s be q(-12). Is 381*((-5)/3)/s a prime number?
True
Let p be (-16)/(-4) - 554/(-1). Let v = 356 + p. Is v composite?
True
Let a be 872/(-36) + (-2)/(-9). Is (-4)/10*(-15)/a*-6484 a prime number?
True
Let y(p) = 213*p - 521. Is y(44) a composite number?
True
Let k be 3*(-1)/(-4)*4. Suppose -243 - 3 = k*t. Let d = 209 + t. Is d a prime number?
True
Is (1 + -7)/((-56)/294812) prime?
False
Let d(i) = -11088*i + 293. Is d(-2) a prime number?
True
Let f(r) = 2*r - 3. Let t = -18 + 21. Let y be f(t). Is (-1)/3*y*-205 a composite number?
True
Let v(f) = -147*f - 11. Let s be (-8)/(-20) - 42/5. Let h be v(s). Suppose 4*b - 3*r = h, -2*r = 3*b - b - 600. Is b a composite number?
True
Suppose -2*c + 36 = o + o, 0 = 4*c - o - 72. Is 5/(90/4) + 446/c composite?
True
Let b be 6 - (-5)/(15/(-6)). Let a(s) = 9*s**2 + 2*s + 6. Is a(b) a composite number?
True
Suppose 105 = -m + 106. Is m*14186/3 + 11/33 a prime number?
True
Suppose -2*y - 2 = -0*k + k, 0 = 3*k - 3*y - 21. Suppose -500 = -5*i - 5*h, -i - k*h = h - 120. Is i prime?
False
Suppose 3*z + 33*r - 35*r = 46693, 0 = 5*z - 4*r - 77823. Is z a composite number?
True
Let a(v) = -62*v. Let r be a(-1). Is r + (-4 - (-8 - -1)) composite?
True
Let o = 8 + -11. Let n(l) = -92*l + 6. Let j be n(o). Suppose -353 = -5*x + j. Is x a prime number?
True
Suppose -d - 1 + 5 = 0. Suppose -3*i = -6, -1314 = -2*m + d*i + 792. Is m composite?
True
Let n be -158 - (-1)/3*-6. Suppose -5*w + 2445 = -5*i, 5*i - 2431 = -5*w + 3*i. Let a = n + w. Is a composite?
True
Suppose 2*l - 2*s = 10, -l - 2 + 1 = s. Suppose l*i - 17 = 59. Is i a prime number?
False
Let n(g) = -18*g**3 - 15*g**2 - 11*g - 27. Is n(-7) a composite number?
True
Let q = -5 + 8. Suppose -5*x = q*f - 192, x - 5*x + 57 = f. Is f a prime number?
False
Let n(f) = -f**3 + 12*f**2 - f - 18. Let r be n(10). Suppose 9*y = 11*y - r. Is y a prime number?
False
Let a(d) = 94*d**2 + 1. Suppose -2*g + k + 6 = 0, -5*g + 2*k + 14 = -0*k. Let j be g - (-3)/6*-2. Is a(j) composite?
True
Suppose -5*z + 10 + 5 = 0, 4*o = 3*z + 55. Suppose 0 = 12*u - o*u + 4540. Is u prime?
False
Let p(d) = d**2 - 6*d + 8. Let b be p(4). Suppose b*w = 4*w - 1516. Is w prime?
True
Suppose 2*j = -2*j. Let f(z) = 421*z - 262. Let w be f(7). Suppose j*c = 3*c - w. Is c a composite number?
True
Let o = -770 + 4261. Is o a prime number?
True
Let q = 17 + -12. Suppose -2*p - o - 706 = -3*p, -2*o + 3509 = q*p. Is p a prime number?
False
Let s(w) = 206*w - 209. Is s(32) composite?
True
Let g(h) = 4*h - 5. Let y = 21 + -19. Let x be g(y). Suppose -4*n - 3*i = -550, x*i + 699 = 5*n + i. Is n a composite number?
False
Let u = -20 + 24. Suppose 2*a - 4*l = -l + 303, 594 = u*a - 2*l. Suppose 2*s - 311 - 265 = -4*n, n - a = s. Is n prime?
False
Suppose -i + 3 = 1. Let d be 658/(-2) + 2/i. Let f = d - -489. Is f composite?
True
Let q = -5 - -9. Suppose -5*c + 56 = 2*s, -c - 10 = -q*s - 30. Suppose -c - 51 = -3*w. Is w prime?
False
Let t = 304 - -7513. Is t a composite number?
False
Let j(z) = z**3 - 17*z**2 + 5*z + 21. Is j(17) a prime number?
False
Suppose 5*b - 3*a - 12 = 0, 1 + 1 = b - a. Suppose 0*v - b*v + 15 = 0. Suppose 480 + 175 = v*k. Is k a composite number?
False
Let p(z) = 2*z**2 - 2*z + 1. Let f(r) = -r**2 + r - 1. Let q(y) = -4*f(y) + p(y). Let x be q(4). Let c = x - 22. Is c a composite number?
True
Let i = -8836 + 21183. Is i prime?
True
Suppose -3*p = 2*p + 2*j + 1163, 2*p = 4*j - 446. Is ((-166)/6)/(11/p) composite?
True
Let n(o) = o**2 - 5*o + 1. Let x be n(5). Let y(i) = 754*i**2 - 4*i + 3. Is y(x) a prime number?
False
Suppose 4*g - 2 = -4*d - 6, 0 = 3*g + 5*d + 13. Suppose 472 = 4*y - 4*h, 9*h - 148 = -y + g*h. Is y a prime number?
False
Let b(f) = -f**2 + 12*f + 5. Let u be b(12). Suppose 0*k = 5*h - k - 2049, u*h - 2029 = -4*k. Is h a composite number?
False
Let a = -6 + 12. Let g(t) = 24*t - 21. Is g(a) a composite number?
True
Suppose -14*j = -3*j - 190201. Is j composite?
False
Is ((-26)/78)/((-2)/57198) a prime number?
True
Let t(f) = 172*f - 125. Is t(23) prime?
False
Let x(o) = -7*o + 9*o - 4*o - 13. Let f be x(-6). Is (-941)/(-6) + f/(-6) composite?
False
Let y = 4560 + 4048. Suppose 4*t = -4*i + y, 6*t - 5*i - 10770 = t. Is t a prime number?
True
Let g(q) = -5938*q - 39. Is g(-4) a prime number?
False
Suppose 963 = 2*w - 6577. Suppose 1893 = j - s,