ose 0 = -63*l + 54*l + 34002. Is l a composite number?
True
Is 4 + ((-24)/40)/((-6)/311730) composite?
False
Let r = 8098 - 3770. Suppose -4*d + r = 1188. Is d prime?
False
Is (-23771)/44*8/(-2) a prime number?
True
Suppose -166*x = -168*x + 652. Is x composite?
True
Suppose 156*y = 157*y - 10307. Is y a prime number?
False
Is 6/(-39) + (0 - 58489/(-13)) a composite number?
True
Let i(u) = 7 + 15*u + 10 - 12 - u**3 + 3 + 9*u**2. Is i(7) composite?
False
Is -1 + (-9)/(-7) + (-76801019)/(-3451) a prime number?
False
Let h(f) = 8*f**2 + 17*f + 100. Is h(31) a prime number?
False
Suppose 11*y - 288486 = -0*y. Suppose 31*x - 13*x = y. Is x prime?
False
Suppose -76 + 76 = 19*i. Suppose 2*g = 3*y + 3 - 15, 5*y = -2*g + 4. Suppose d = p - i*d - 92, -4*d - 190 = -y*p. Is p prime?
True
Is -1003*2105/(-75) + 6/45 composite?
False
Let q(o) = 186*o**2 - 22*o - 17*o + 38*o. Is q(1) a prime number?
False
Let b be (72/(-15))/((-1)/285). Let s = b + 71. Is s composite?
False
Let h be ((-11)/(55/12))/(4/(-20)). Is 3/(-9) - (-3 - 9436/h) prime?
False
Let h be 2128/6*9/4. Suppose -r + h = u, -u - 4*r - 2387 = -4*u. Is u composite?
False
Suppose -12*p + 8480 + 11308 = 0. Is p a prime number?
False
Let c(v) = -v**3 + v**2. Let g(f) = f**3 - 12*f**2 - 3*f + 1. Suppose 0 = 5*d - 3*s + 1, -3*d - s - 3 = 6. Let j(t) = d*c(t) - g(t). Is j(-5) composite?
False
Let d(k) = 24*k**3. Let f be d(1). Suppose 4*b = 15*b + 2772. Is (-8)/6*b/f a prime number?
False
Let x(d) be the second derivative of 7*d**4/12 + d**3 - 27*d**2/2 + 5*d. Is x(-8) a composite number?
False
Is -15*(-7)/(-21) - -6916 composite?
False
Let d be (1 - 2)/(2/(-6)). Suppose 3*t + 16 = 1, -4*t = -d*h + 653. Is h composite?
False
Let i = -7 + 3. Let u(m) = -2*m**3 + 7*m - 2. Let b be u(i). Suppose 2*h - 4*g - b = 0, -3*h - 2*g + 151 = -6*g. Is h prime?
True
Let v = -390 - -877. Is v a composite number?
False
Let o = -2894 + 5681. Is o a composite number?
True
Let q = 718 - 431. Let u = q + -146. Is u prime?
False
Let r be 34/(-4) + (-2)/4. Let j be 826/3 - (-3)/r. Suppose 5*w - j = -0*w. Is w prime?
False
Let b(g) be the first derivative of 5*g**2/2 + 1797*g + 9. Is b(0) composite?
True
Let s(m) = 2*m + 109. Let t be 5/((-15)/6)*-2. Suppose -2*r = -t*r. Is s(r) prime?
True
Suppose k - 1 - 4 = 0. Suppose -3*g - 3*a = 9, k*a + 19 = -6*g + 3*g. Suppose -g*o - 163 = -3*o. Is o prime?
True
Suppose -2*s + 3 = 2*c + 1, 3*s + 2*c = 6. Suppose -3*v - 2*o + 423 = 0, s*v - 289 - 289 = 2*o. Is v a composite number?
True
Suppose -6*r = -9*r - 15, -5*y + 5*r = -59120. Is y a composite number?
True
Let v(o) = -o**2. Let k be v(0). Let d(l) = 2*l. Let m(u) = 12*u + 67. Let n(q) = -5*d(q) + m(q). Is n(k) a prime number?
True
Let c(z) = 2*z**3 - 6*z**2 + 3*z - 5. Let w be -13*(-2 - (-3)/3). Suppose 6*y - 11 - w = 0. Is c(y) a prime number?
False
Let q = -4664 - -32688. Is q/72 + 2/(-9) a composite number?
False
Suppose 7 = u - 3. Let b(i) = 31*i. Let m be b(u). Suppose m + 44 = 2*t. Is t prime?
False
Suppose -6*v + 5*v = -2647. Is v composite?
False
Suppose -2941067 = -64*v + 1520309. Is v a prime number?
True
Suppose 3*y = y + 8, 2*s + 14 = 2*y. Let u be 1 - (s - 1384/4). Suppose u = h - 5*n, 4*n + 1083 = -0*h + 3*h. Is h prime?
False
Let l = 3965 + -1394. Is l composite?
True
Let c(s) = -41*s - 168. Is c(-19) a composite number?
True
Suppose 4*m + 4*t + t = 27, -2*m + 5*t = 9. Let k(o) = 0*o**m + 3 - 9*o**2 + o**3 + 12*o**2. Is k(-3) prime?
True
Let u(a) be the second derivative of -a**5/20 + 2*a**4/3 - a**3/2 + 7*a**2/2 + 15*a. Suppose -5*d + 15 = -20. Is u(d) composite?
True
Suppose 3*s + 12 = -s. Let x(d) = -1 - 2*d - 3 + 8. Is x(s) a prime number?
False
Suppose 0 = 3*j + 9, 4*f - j + 3 = 6. Suppose -3*d - 6*d + 7335 = f. Is d composite?
True
Let o(g) = 47*g**3 - 14*g**2 + 63*g + 11. Is o(9) a composite number?
True
Let o = 36 + -32. Suppose o*b - 1623 = b. Is b prime?
True
Let q(k) = 13*k**2 - 9*k + 19. Let h = 1 + 12. Is q(h) a prime number?
True
Let v(r) = -468*r - 36. Let f be v(-6). Let p = f - 785. Is p prime?
True
Suppose 0 = 44*l - 27*l - 937295. Is l prime?
False
Let q = -3676 - -5327. Is q prime?
False
Is 338219/57 + (40/12 - 2) prime?
False
Let b = -18 + 26. Is ((-15656)/12)/(b/(-12)) prime?
False
Suppose 4*c + 523 - 2915 = 0. Let y be (3 - (-15)/(-6))*c. Let r = y - 160. Is r composite?
False
Let w = 4 + -2. Suppose -p + 5*i = p - 10, -15 = -3*p + w*i. Suppose p*q - 3653 + 1498 = 0. Is q composite?
False
Let i(h) = h**2 - 7*h + 6. Let o be i(6). Suppose o = 9*x + 472 - 4495. Is x a composite number?
True
Let w = 206 + -65. Let p = 14 + w. Is p composite?
True
Let s(p) = -p**3 - 14*p**2 + 4*p + 2. Let b(n) = -3*n**3 - 41*n**2 + 13*n + 5. Let a(c) = 2*b(c) - 7*s(c). Is a(-11) composite?
True
Let t(o) = 4*o**3 - 2*o**2 - o + 1. Let b(z) = -z**3 + 13*z**2 + z - 12. Let w be b(13). Let q be t(w). Suppose 183 = p + q*c, 0*c = 4*c + 8. Is p prime?
False
Suppose 87*g - 3074497 = -376714. Is g a composite number?
True
Is (-1)/(-5) + 36756/(-30)*-9 a prime number?
True
Let p be 56/(-6)*(-9)/(-2). Let t be (8 - 1)*(-12)/p. Let j(s) = 47*s - 1. Is j(t) a prime number?
False
Let m(g) = 2*g**3 + 9*g**2 + 8*g - 4. Let p be m(8). Suppose 0*a - 1668 = -4*a - 2*i, 0 = -4*a - 4*i + p. Is a a composite number?
False
Let d(v) = 214*v + 84*v + 96*v - 115*v - 1. Is d(6) prime?
False
Let g(i) = -i - 11. Let z be g(-11). Suppose z = -6*x + 4*x + 8. Suppose -x*q = -0*q - 436. Is q a composite number?
False
Let f = 221 - 121. Let b be (-60)/f - 8358/(-5). Suppose -b = o - 4*o. Is o a composite number?
False
Let n = -13 + 20. Suppose -5 - n = -4*m. Suppose -48 + 219 = m*b. Is b a composite number?
True
Let f be 3*(2/(-3) - 0). Suppose -3*o + 12 = -q, -34 = 3*q + 4*o + 41. Let g = f - q. Is g composite?
False
Let n(i) = -2215*i + 144. Is n(-17) composite?
False
Let o(i) = 14314*i**2 - 12*i + 1. Is o(1) composite?
False
Let o(a) = a**3 - 9*a**2 - a + 11. Let w be o(9). Let c be (-3 - 101)*1 - w. Let i = -51 - c. Is i a composite number?
True
Suppose 5*j = -3*t - 2, -5*t - 12 = -j + 5*j. Let b be 1/(-2) - (-11)/j. Suppose 25 = 6*p - b*p. Is p composite?
True
Let k be (-2 + -2)/(-2 - (-1 + 1)). Let f = 829 + k. Is f a composite number?
True
Let x be (-7)/(-84)*4 - 15238/(-6). Suppose -x - 4166 = -2*q. Is q composite?
True
Suppose -12423 = -5*i - 3193. Suppose 0 = l - 1, -4387 - i = -4*g + 3*l. Is g a composite number?
False
Let n(w) = 16*w + 3. Let x be n(2). Let b = -28 + x. Is -2 + 61 + (b - 11) composite?
True
Suppose -2*n = -7*n - 70. Let g be 50/n + 20/35. Is (-2 - g)*(498 + -5) prime?
False
Let g = -5 - -10. Suppose -4*u - 6 = -3*x, -u - g = 2*u - 2*x. Is ((-3311)/21)/(1/u) a prime number?
False
Let p = 3349 - 1112. Is p a composite number?
False
Suppose -4*k = 4*n - 28012, 2*n = 8*k - 3*k + 13978. Is n prime?
False
Let f(g) = -g + 10. Let s be f(5). Suppose -3*d + 0*d - 4*i + 105 = 0, -s*d + 149 = -2*i. Is d a prime number?
True
Let c(n) be the third derivative of -n**6/120 + n**5/12 + n**3/3 - 2*n**2. Let u be c(5). Suppose -6*h + h + 45 = -2*r, -u*h = r - 9. Is h a prime number?
True
Suppose 0 = -i + 4*i + a - 57597, 5*a - 76796 = -4*i. Is i composite?
True
Let t(s) = 5*s + 1. Let y(m) = -m. Let z(k) = t(k) + 6*y(k). Let f be z(-2). Let d(a) = 7*a**3 - a - 1. Is d(f) composite?
True
Let g = 1716 + 571. Is g composite?
False
Suppose -249*i + 261*i = 3252. Is i a composite number?
False
Suppose -5*i - 1 + 2941 = 0. Suppose 5*r + i = 3*v, 4*r + 41 = 2*v - 353. Is v composite?
False
Let d(n) = -n**3 + 12*n**2 + 26*n + 7. Let a be d(14). Is a/(-49) - 4768/(-14) composite?
True
Suppose -18*v = -v + 67830. Is 36/(-48) - (1 + v/8) a composite number?
True
Let l(o) = 43*o - 139. Is l(30) composite?
False
Suppose y = 3*y - 2, g - 14 = 3*y. Let x = g - -32. Is x a prime number?
False
Let d(g) = g**3 + 33*g**2 - 54*g - 139. Is d(-34) prime?
True
Let d(x) = x**2 - 11*x + 17. Let v be d(9). Is v/6 + (-8540)/(-120) prime?
True
Let d(g) = -g - 11. Let p be d(-11). Suppose p = v + 5*q - 4, -2*q + 44 = 5*v - q. Is (v + -83)*(-10)/4 prime?
False
Let l(z) be the second derivative of -z**3/6 + 5*z**2/2 + 12*z. Let m be l(3). Suppose -907 = -y - m*a, -y + a + 546 = -367. Is y composite?
False
Let c(i) = -i**3 + 9*i**2 - 9*i + 8. Let d be c(8). Let 