er?
True
Is 6*((-208135)/4)/(54/(-36)) a composite number?
True
Suppose 0 = -2*d - 9 - 15. Let q = d + 17. Let w(x) = 16*x**3 + 2*x**2 - 2*x + 5. Is w(q) a composite number?
True
Suppose -12 = -g - 2*g. Suppose -g*x + 172 = -1792. Is x a composite number?
False
Is (-4)/(-18) - 724438/(-198) prime?
True
Suppose 6*d - 2*d = -704. Let b = 86 - d. Is b a prime number?
False
Let y(s) be the second derivative of s**4/6 - 5*s**3/6 - 5*s**2/2 - 19*s. Let z = -8 + 0. Is y(z) composite?
False
Suppose 27*k - 23280 - 885 = 0. Is k prime?
False
Let d = -4 + 7. Let f be (d - 2) + 936/3. Let i = f - 6. Is i a composite number?
False
Is (12/18 - -3)*7233 a composite number?
True
Suppose 9*i + 1720 = 4*x + 5*i, 2*i - 2 = 0. Is x composite?
False
Let n(a) = -a**3 + a**2 + 2*a. Let p be n(2). Suppose 0 = -2*y + x + 8, p*y + 2*x + 6 = -y. Suppose -d - 2*f - 34 = -255, 4*d - 834 = y*f. Is d a prime number?
True
Suppose 0*x + 5*m = 2*x + 20, -3*x + 2*m - 8 = 0. Suppose -b - 3*k + 1 = 98, -5*b - 5*k = 525. Is 3 - (2 - x)*b prime?
False
Suppose -2*o + 17 = 1. Suppose 13*y - 20 = o*y. Is (12/(-2))/(y/(-194)) composite?
True
Let z(l) = l**2 - 9*l - 25. Let r be z(12). Suppose r*j + 23638 - 63755 = 0. Is j a prime number?
False
Let d = 70 + 23. Let q = d + -5. Let m = -39 + q. Is m a composite number?
True
Let l be 20/3 + (-9)/(-27). Suppose -2*j - 6905 = -l*j. Is j a composite number?
False
Let o(s) = s**2 - 11*s + 2. Let n be o(11). Let l = n - 0. Is l/(-8) + (-1326)/(-24) composite?
True
Let x be ((-4)/(-5))/(6/15). Is (-331)/(x/12*-2) a composite number?
True
Suppose -7*o = -o - 18. Is ((-38451)/28)/(o/(-4)) a prime number?
True
Suppose 3*o - 2*g = -34561 + 159878, g = o - 41773. Is o composite?
False
Let y be (-2 - -12)*(-1 - 0). Let r be 8/(-4) - y*5. Suppose 2*t = 4 + r. Is t a prime number?
False
Let m(r) be the first derivative of 137*r**5/120 + r**4/6 + 10*r**3/3 + 2. Let h(w) be the third derivative of m(w). Is h(3) prime?
False
Let y(a) = -12*a**2 - 6*a + 2. Suppose 5*q - 2*b - 29 = 0, -2*q + 3*b + 0*b + 16 = 0. Let r be y(q). Let l = 81 - r. Is l a composite number?
False
Suppose -3*r = -66840 + 26739. Is r a prime number?
True
Let t(p) = -p**3 + 3*p**2 + 3*p + 6. Let d be t(4). Suppose -d*j - j + 5013 = 0. Is j a prime number?
False
Suppose 38138 = 2*t + 4*g, 0*g - 3*g = t - 19070. Is t a prime number?
False
Suppose -45*f = -46*f. Suppose -t + 2157 = -2*l, f = -3*t - 4*l + 1303 + 5218. Is t a composite number?
True
Is 17126/6 + 12/18 composite?
True
Let z = 35496 + 6933. Is z a prime number?
False
Let g = 20094 - 13427. Is g prime?
False
Let y = 1750 - 7. Let m = y + -892. Is m a prime number?
False
Suppose -318 = -4*v - 2*k, 303 = 4*v + k - 4*k. Let p = v + -117. Let l = 70 + p. Is l a prime number?
True
Suppose -1150 = -3*l + 128. Let t = -215 + l. Is t a prime number?
True
Let s = 10288 - 7269. Is s composite?
False
Suppose -471*q + 464*q + 17521 = 0. Is q composite?
False
Suppose -103 - 47 = -5*p. Let w = 89 + p. Is w a composite number?
True
Suppose 58 = 5*w - 182. Let j be 15538/12 + 8/w. Suppose 7*b + j = 5*u + 2*b, 0 = -5*u + 3*b + 1285. Is u composite?
True
Suppose f + 78 = 4*v, -4*v + 3*f + 36 + 38 = 0. Is (-5)/v - (-874)/8 a prime number?
True
Is (-1122)/(-748) - 922*(-10)/8 a composite number?
True
Let f be ((-20)/6)/((-21)/(-9) + -3). Suppose 405 - 2360 = -f*o. Is o a prime number?
False
Let a(g) = 1. Let u(l) = -8*l - 5. Let y(o) = 5*a(o) - u(o). Let w be y(8). Suppose 0 = -f + 3*f - w. Is f composite?
False
Let w(j) = 2*j**2 + 12*j - 9. Let a be w(-7). Suppose a*g - 5*k = 660, 0*k - 270 = -2*g + 4*k. Is g a composite number?
True
Let x(m) = m**3 - 4*m**2 - 24*m + 27. Let b be x(6). Let i be 5 - (1 - 1) - 1. Let k = i - b. Is k a composite number?
True
Suppose 0 = -p - 4*g - 5, 0*p + 3*g = p - 9. Suppose 0 = -4*t + 16, 0 = -p*f - 0*t - 4*t + 4639. Is f composite?
True
Suppose 1032 = 3*f + 162. Let z be ((-2)/(-5))/(2/f). Let i = z - 21. Is i a prime number?
True
Let t = 1995 + -1142. Is t a composite number?
False
Let o = -52 - -25. Let i = o - -78. Is i composite?
True
Let j = -15 - -21. Suppose j*i = 4*i + 26. Let h = i + 246. Is h composite?
True
Is ((-59116)/(-16))/(13/52) prime?
True
Let g = 28322 + -13309. Is g a prime number?
True
Let a(v) = -v**2 - 10*v - 4. Let c be a(-9). Suppose 3501 = c*f - 49. Suppose m = -m + f. Is m a composite number?
True
Let l = 853 - 488. Suppose -5*p = 4*o - 6656, 2*p + l = o - 1312. Is o a prime number?
True
Let c(h) = -673*h - 10. Let w(z) = -449*z - 7. Let a(k) = -5*c(k) + 7*w(k). Let u be a(1). Is 1*(u + 3 + -3) prime?
True
Suppose -6*w + 3699 = -3795. Is w composite?
False
Suppose 3*k = -5*v + 4, 0 = 2*k + k + 3*v - 6. Let r be ((-8)/(-14))/(280/(-49) - -6). Suppose -r*h - 257 = -k*h. Is h composite?
False
Let z(b) = -5*b**3 + 4 - 3*b**2 + b + 4*b - b - 2*b. Is z(-3) a composite number?
True
Suppose -10*w + 6*w = -12. Suppose w*a + 155 = u + 7*a, -2*u + 2*a + 330 = 0. Is u a prime number?
True
Suppose -n + 36572 - 11639 = 0. Is n composite?
True
Let j be (2 - 6)/4 - 1387. Is (j/8 + -3)*-2 a prime number?
True
Let i be (-27)/36 - 6878/(-8). Let u = -338 + i. Is u a prime number?
True
Let n be (-943)/2 + 0 - 9/(-6). Suppose 2*v - 4*z - 41 - 185 = 0, -4*v + 4*z = -460. Let f = v - n. Is f a prime number?
True
Suppose 26*m = 513318 + 144404. Is m composite?
True
Let i(s) = -20*s**3 - 4*s**2 - 3*s - 1. Suppose f = -f + 10. Let j(t) = t**2 - 5*t - 2. Let g be j(f). Is i(g) a composite number?
False
Let v = -518 - -2622. Let q = 4773 - v. Is q prime?
False
Suppose 194 + 379 = 3*m. Suppose 160 = -2*a - 96. Let w = m - a. Is w composite?
True
Suppose -3*q + 3*i + 9 = 0, 5*q - i - 18 = i. Suppose -b + 8 = -2*r - 107, -q*r = -b + 121. Let y = 162 + b. Is y prime?
True
Let n = 63 - 47. Suppose 257 = n*o - 15*o. Is o composite?
False
Suppose -3*t + 5*c = 36, 4*c - 50 = 5*t - c. Let z(k) be the third derivative of k**6/120 + 11*k**5/60 + k**4/4 + k**3/2 - 4*k**2 + 6. Is z(t) prime?
True
Let k = -17 - -9. Let o(j) = -17 + j**2 - 4*j - 8*j + 28*j - 14*j. Is o(k) a prime number?
True
Suppose -9*v + 1334 = -15181. Is v prime?
False
Let b = -766 + 1917. Is b a prime number?
True
Let l(u) = -u**3 + 10*u**2 + 2*u + 7. Is l(9) a composite number?
True
Let a be ((-21)/(-9))/((-7)/2331). Let n = 1156 + a. Is n prime?
True
Let q(w) = w**3 - 7*w**2 - 2*w + 9. Let f be q(7). Let i = -4 - f. Suppose -g = -8 + i. Is g a prime number?
True
Let w(o) be the first derivative of 136*o**3/3 + o**2 + o + 8. Is w(-2) prime?
True
Let j(q) = -10*q**3 - 13*q**2 + 4*q - 11. Is j(-6) composite?
False
Suppose c + 0*j - 9 = -2*j, c - 3*j = 9. Let y be 10/45 - (-1393)/c. Suppose 0*g + y = 5*g. Is g prime?
True
Is 203944/14 + 36/(-84) a composite number?
True
Let w = 3 - 9. Let d be 2/w - 1627/(-3). Suppose 5*b - 1072 = b + c, 2*b + c - d = 0. Is b prime?
True
Let w(m) = -1067*m - 40 - 32 + 74. Is w(-1) a prime number?
True
Let g be 2 + (15 - (-9)/(-3)). Suppose 2*d = 3*c - g, 0 = -2*c - 3*d - 0*d + 5. Is 2/c - 1422/(-12) a prime number?
False
Suppose d = 4*d + 5*r + 25, d + 15 = -3*r. Is -3 - ((-1)/4*d - 721) composite?
True
Suppose 4*k - 4*d + 104 = 0, k + 22 = d + d. Let x = k + 6. Is (-113)/(-5) + x/(-60) composite?
False
Suppose -199 - 94 = -o. Suppose 2*h + o = 3*f - 1139, 2370 = 5*f + 5*h. Let j = f - 123. Is j a prime number?
True
Let p(k) be the second derivative of -k**3 + 0 - 1/2*k**2 - 5*k. Is p(-13) composite?
True
Let l be (-3)/(3/4)*-1. Suppose -5*o - 890 = -5*j, -l*j - 4*o + 712 = -o. Is j a composite number?
True
Let b be (5/15)/((-1)/(-12)). Suppose k + 10890 = b*i, -5*k = 4*i - 0*i - 10878. Is i a composite number?
True
Suppose 0 = -6*j - 13 - 11. Is j/(-22) + 6548/132*3 prime?
True
Suppose -2*s - 522 = -3*s - 5*g, -5*g = 3*s - 1536. Suppose 3*p + 72 = s. Is p composite?
True
Is (-11206922)/(-266) + 4/(-14) composite?
False
Suppose 3*p = 18*p - 20205. Is p prime?
False
Let s(c) = c - 3. Let m(i) = 1. Let n(g) = m(g) - s(g). Let p be n(0). Suppose p*o + 0*o = 748. Is o composite?
True
Suppose 12*y - 13729 = 9227. Is y a composite number?
False
Let f(r) = 127*r**2 - 2*r - 7. Let y be f(5). Suppose y = 3*j - 4*p - 1609, -p + 1582 = j. Suppose -2*u + j = 3*u. Is u composite?
False
Is 393252/16 + 195/(-156) composite?
True
Is 1