- d**2/2 + 12*d. Is a(16) composite?
True
Let r = -223 + -321. Let k(y) = -341*y**2 + y + 1. Let w be k(-1). Let t = w - r. Is t composite?
True
Suppose -3*t = 5*d + 30 - 4, 0 = -5*t - 5*d - 30. Let u(b) = 34*b**2 + 4*b + 2. Let s be u(t). Suppose -3*w = -3*c - 207, 2*w - s = -0*c - 2*c. Is w prime?
True
Suppose -5*z + 8*z - 1935 = 0. Suppose -7*o + z = -4*o. Let d = o + -109. Is d composite?
True
Let p(d) be the second derivative of d**4/6 - d**3 - 5*d**2/2 + 2*d. Is p(6) composite?
False
Let m = 1548 + -801. Suppose q - m = 876. Is q a prime number?
False
Let n be 128/(-80)*10/(-4). Suppose 4*w + 20 + n = 0. Is (79/w)/(2/(-12)) a composite number?
False
Let c = -731 - -418. Let t = -158 - c. Is t a composite number?
True
Let x = -853 + 1640. Suppose -2*d = -d - x. Is d composite?
False
Suppose -6*y = -3*y - 21. Let d(b) = -b**3 + 7*b**2 + 6*b + 7. Is d(y) composite?
True
Suppose -5*r + 14583 = -2297. Suppose 0*k + 2*k = 4*i - r, -2*k - 847 = -i. Is i a prime number?
False
Suppose -57 = -4*h - 17. Suppose -16 = -2*f - h. Is ((-1)/f)/(4/(-1032)) a composite number?
True
Let d be 20 - (8/2)/(-2). Let m = d + -25. Is m - 1/((-3)/111) a composite number?
True
Let o(w) = -3561*w - 145. Is o(-12) composite?
True
Is ((-33688)/6)/(58/(-87)) a composite number?
True
Let i = 3609 + -1573. Suppose -6*r + r - 3*o + i = 0, 0 = -5*r + 2*o + 2051. Is r prime?
True
Suppose -3635 = -3*h - 209. Suppose s = -0*s + h. Suppose t = 3*t - s. Is t prime?
True
Suppose g + 25 = 10. Let r(s) = -39*s - 14. Is r(g) composite?
False
Let l be (42/(-4))/(15/(-140)). Let c = l - 64. Is c a composite number?
True
Let f(j) = j**2 - 5*j + 4. Suppose 0 = 4*m + m - 2*w - 22, -7 = -2*m - w. Let x be f(m). Suppose -g + 2*o = -199 - x, 0 = -4*g - 3*o + 752. Is g prime?
True
Let f = -25681 + 36502. Is f a composite number?
True
Let l(c) = -c**2 + 7*c + 6. Let q be l(7). Suppose -p = 2*w - 4 - 1, 4*w = 2*p + q. Suppose 1 = w*s - 133. Is s composite?
False
Let g = -65 - -194. Suppose 3*z + 2*h - 48 = -3*h, 0 = -z + 5*h - 4. Suppose -4*o = -g - z. Is o prime?
False
Let s be (1 - 8)/(1/(-1)). Let w = 9 - s. Suppose 4*o - 178 - 93 = f, -w*f = -o + 73. Is o composite?
False
Suppose -5*u + 7*u - 1094 = 0. Let w = u + -260. Is w composite?
True
Let s = -67 - -72. Suppose 4*i - q = 3965, -s*q + 694 = i - 292. Is i a prime number?
True
Suppose 1 = -w, 0*p + 28 = 3*p - 4*w. Suppose 5*k - p = k. Let b(q) = 11*q**2 + 2. Is b(k) prime?
False
Suppose -54*l = -61*l + 413. Is l prime?
True
Suppose 2*y - 24636 = -13*h + 9*h, -2*y + 6159 = h. Is h prime?
False
Let m = 19 - 14. Suppose 2*c - m = -2*q - 3, 4*q = c - 11. Is 222 + c - (-6)/(-3) a prime number?
True
Suppose -19*z + 175671 = 2*n - 20*z, -351317 = -4*n - 3*z. Is n prime?
True
Let b be -3 - (-2552)/5 - 2/5. Suppose -3*p - b = -6*p. Is p a prime number?
False
Let y = 2593 - -250. Is y composite?
False
Let h = -10336 + 23829. Is h a composite number?
True
Let l = -147 + 382. Let k be (-5 - -1) + 7/((-28)/(-16)). Suppose k*s + s - l = 0. Is s prime?
False
Suppose 0*f + 2*f = 6. Suppose z = 3*x - 673, 2*x = f*z - 2*x + 2024. Is 3 + 2*-3 - z a composite number?
False
Suppose 4*f - 844 - 798 = -y, y - 820 = -2*f. Is f prime?
False
Let d = -111413 - -203334. Is d prime?
True
Suppose -17*z = 17441 - 95182. Is z prime?
False
Let q be 542/26 + 4/26. Let k be (q/(-6) - -2)*-42. Is 25/9 + 14/k a composite number?
False
Suppose -4*j - 6 = -h, 2*j - 2*h - 3*h = -12. Let v(a) = 4*a**2 + 1. Let r be v(j). Suppose 0 = -r*p + 4365 + 1250. Is p a composite number?
False
Let z = 16028 + -4990. Is z a prime number?
False
Let f = 4 + -4. Is 581/1*(f + 1) a prime number?
False
Let g(o) = 382*o**2 + 2*o - 1. Let l be g(1). Suppose 3*z + 63 = 2*p - l, -2*p + 462 = 5*z. Is p a composite number?
True
Let j = 54 + -51. Suppose -2 = -g, j*g + 41 = 4*q - 429. Is q prime?
False
Let y = -1727 + 3990. Let m = -1596 + y. Is m a composite number?
True
Suppose -1525*s = -1534*s + 48501. Is s prime?
False
Let b be (0 - 2)/4*0. Let r be ((-4)/(-12)*b)/1. Suppose r*p + 266 = 2*p. Is p a composite number?
True
Let r(i) = 4*i**2 - 21*i - 137. Is r(22) a prime number?
False
Let d(t) = 2*t**3 - 4*t**2 - t - 13. Let g(w) = 4*w**3 - 7*w**2 - w - 25. Let u(o) = 7*d(o) - 4*g(o). Is u(-4) composite?
False
Suppose -204*y = -203*y - 1357. Is y prime?
False
Let k be (23756/(-6))/(1/(-3)). Is ((-5)/(-10))/(1/k*1) a prime number?
True
Let x(u) = 39*u**3 + 2*u**2 + u - 2. Let y be x(2). Let v = -214 + y. Is v a composite number?
True
Let k = 1100 - 471. Let h = 2706 - k. Is h a prime number?
False
Suppose -39*v = -105*v + 398838. Is v composite?
False
Let j be -21 - ((-4)/(-1) + -1). Let k be ((-11)/(-4))/((-6)/j). Suppose 6*g = k*g - 445. Is g composite?
False
Let y(h) = 8*h**3 - 3*h**2 + 2*h + 4. Let b = -14 - -17. Suppose w + b = 2*w. Is y(w) composite?
False
Let r(y) = -156*y - 40. Let c be r(13). Let u = c - -2987. Is u composite?
False
Let y(z) = 566*z**3 - 4*z**2 + 8*z - 3. Is y(5) a composite number?
False
Let h(m) = -m**2 + 18*m - 17. Let b be h(17). Suppose -2*a - 2*z + 3*z - 33 = 0, 5*z - 5 = b. Let r(s) = s**2 + 15*s + 22. Is r(a) a prime number?
False
Let p be -2*6/8*-2. Suppose 2*j = -p*j + 15. Suppose 0*m = -j*m + 165. Is m composite?
True
Let r(a) = a**3 - 23*a**2 - a + 28. Let f be r(23). Suppose -f*w + 441 = -74. Is w a composite number?
False
Let o be (1 - -29)/(0 - (2 - 4)). Let m be 2 + -1 + -2 - -9. Let l = o - m. Is l a prime number?
True
Let j = -32197 + 90036. Is j composite?
False
Suppose 9*b - 57 = -21. Suppose -b = 4*p, -2*q + 122 + 73 = -p. Is q a prime number?
True
Suppose 43*v - 660818 + 110031 = 0. Is v prime?
True
Suppose 7 = 2*b + l, b = l - 2*l + 3. Let n be (-2)/b*-1*4. Suppose 7*m - 185 = n*m. Is m prime?
True
Suppose -5*m - 5*a + 0*a = -280, 108 = 2*m + a. Let p = m + 285. Is p composite?
False
Let h(k) = 4*k**2 + k - k**2 - 2*k**2 - 2. Let s be h(-3). Suppose 0 = 5*x - 2*b - 207, s*b = -5*x + 4*x + 59. Is x a composite number?
False
Suppose -3*u - 5*o = -47364, -11865 = -3*u - o + 35487. Is u prime?
False
Suppose 0 = -4*b - 10 - 2, o + 3*b + 5 = 0. Suppose -19 = o*d - 87. Suppose -4*s + d + 83 = 0. Is s a prime number?
False
Let z(x) = 7*x**2 + 6*x - 6. Let t be 27/4 + (-8)/(-32). Is z(t) a prime number?
True
Suppose 4*l = 9430 + 2138. Suppose 6*o - 10*o = -l. Is o a prime number?
False
Let r = -235 - -1226. Is r composite?
False
Suppose 5*d - 9*d - 4 = 0. Let j be d + (-3 - -7) - 714. Is j/(-15) + (-6)/15 prime?
True
Let z(i) = 185*i**2 - 71*i + 47. Is z(13) a composite number?
False
Suppose 0 = 4*r + 3*w - 88, -3*w = -r + 5 + 17. Suppose -5*v - 5 = 0, 5*u + 3024 = 3*v - 468. Is (-4)/r + u/(-33) a composite number?
True
Let t(q) = 426*q**2 - 11*q + 27. Is t(8) a composite number?
True
Suppose -5*w = -7*h + 2*h - 20, 0 = -3*h. Let a be -2 + 2 - (-2)/1. Suppose 0 = -a*n + 2*u + 2266, -w*n - u = -6977 + 2435. Is n a prime number?
False
Let l(v) = 4*v - 9. Let w be l(3). Suppose 4*d = w*u - 5889, -2*d + 1467 = -3*d - u. Is d/(-5) + (0 - 1) a composite number?
False
Let x = 5232 - 3709. Suppose 3*t - x = 484. Is t a prime number?
False
Let v(w) = 569*w + 20. Let p(g) = -853*g - 30. Let o(c) = -5*p(c) - 8*v(c). Is o(-3) composite?
True
Let z be 2/(-13) + (-68856)/(-52). Suppose z = -3*i + 7*i. Is i composite?
False
Suppose -a - 5*v = -15, 3*v + 35 = 5*a + 8*v. Suppose 0*n = 4*n - a*b - 157, -2*b - 40 = -n. Is n a prime number?
False
Let s be (3/(-12)*0)/(-2). Suppose -691 = -m - s*m. Suppose 3*k + m = 4*k. Is k composite?
False
Let h = 201001 - 120638. Is h a composite number?
False
Suppose -3*a + 2*a + 4 = 0. Suppose 1217 - 3385 = -4*t + 4*w, a = -4*w. Is t a composite number?
False
Suppose -148224 - 126946 = -14*x. Is x composite?
True
Let m = -12 - -9. Let p(k) = -k**2 + 4. Let z be p(m). Let w(f) = -f**3 - 4*f**2 + 5*f + 6. Is w(z) prime?
False
Suppose 2*t = g - 40, 0*g - 5*g + t + 164 = 0. Suppose 5*m + 6 = j - g, 5*j = -2*m + 55. Let d = 28 - j. Is d a prime number?
False
Suppose m + d - 3 = 52, 230 = 5*m - 4*d. Suppose -3*a + 1565 + m = 2*o, 0 = -3*a - 15. Is o a composite number?
True
Suppose 5*d = 4*g + 45497, 7*d - 11*d + 36408 = 2*g. Is d prime?
False
Let s(w) = 16*w**2 - w - 4. Let o be s(2). Suppose f + v + o + 3 = 0, -2*v - 238 = 4*f. Let t = 8