 7*l - 115. Let j = l - -7. Let f = j + 26. Is f composite?
True
Suppose q + 99 = -2*k, 2*k + 0*k = 5*q + 459. Let b be q/(-6) + (-2)/(-4). Suppose 2*x + b = 338. Is x composite?
True
Let y be 0/((-3)/(1 + 2)). Let f(x) = -x - 2. Let s be f(y). Is (s + 4)/((-6)/(-885)) a prime number?
False
Let s be (-1)/2 + 50/4. Let k = s + -43. Let i = 34 - k. Is i composite?
True
Suppose 0 = 2*k - 11 + 1. Suppose -k*n = -125 - 100. Let l = 114 + n. Is l composite?
True
Let a(h) = -127*h**2 - 12*h - 21. Let n(k) = 0 - 3 - 1 - 3 - 42*k**2 - 4*k. Let r(g) = -6*a(g) + 17*n(g). Is r(-3) a prime number?
False
Let u be (-1)/(-2)*(22 - 0). Suppose 0 = -g + 4*z + u, -4*g = -4*z - 1 - 19. Suppose 163 = 4*d - g*m, d - 3*m - 34 = -0*m. Is d a composite number?
False
Is -2 + 1/((-5)/(-22115)*1) a composite number?
False
Let r = 65082 - 37291. Is r a prime number?
True
Let q(z) = -90*z**3 + z**2 + z + 1. Let w(n) = -n**2. Let b(f) = q(f) + 2*w(f). Is b(-1) a composite number?
False
Suppose -8999 = -o - 4*s + 4284, 5*o = 2*s + 66459. Is o composite?
False
Suppose 15*h = 7708 + 11357. Is h a prime number?
False
Let l(o) = 54*o**2 - 4*o - 6. Let p be l(5). Suppose -p = -11*k + 7*k. Is k composite?
False
Suppose h - 9 = -10. Is h/((1 + -2)/127) a composite number?
False
Let a = 11 - 7. Suppose -2*l - a = 0, 0*s - 5*s + 192 = -l. Is s a composite number?
True
Let s = 45 + -40. Suppose -4*k + 457 = s*x, -4*k + 7 = -3*x + 294. Is x a prime number?
False
Let x(r) = -r + r**3 + 16*r**2 + 10*r**2 + 3 - 25*r**2. Let o be x(2). Let y = 78 - o. Is y composite?
True
Let y(w) = w**3 + w**2 - 1. Let p(s) = 7*s**3 + 3*s**2 - 26*s - 31. Let a(t) = p(t) - 6*y(t). Is a(12) a composite number?
True
Let m(g) = -3*g + 12. Let o be m(8). Let w be 14628/(-8)*o/9. Suppose h - 2*l - 493 = 0, 5*h + l - w = 2*l. Is h prime?
True
Let b be 5/((-25)/(-15)) + 1 + -2. Is (-1 - -1) + (170 - 6/b) a composite number?
False
Is 3918/48*2 + (-1)/4 a prime number?
True
Let f(g) = -14*g**2 + 17*g + 14. Suppose 2*n + 5 = -7. Let v(u) = -7*u**2 + 9*u + 7. Let p(x) = n*f(x) + 11*v(x). Is p(-5) a composite number?
True
Suppose 0 = -3*l + 3, 3*o - 3*l - 19067 = 20623. Is o prime?
False
Let f(t) = -8*t**3 + 22*t**2 - 20*t - 7. Is f(-6) a composite number?
False
Let z(t) = 2*t + 21. Let q be z(-8). Suppose 308 = q*j - 87. Is j a composite number?
False
Let z = -768 + 1339. Is z prime?
True
Suppose -4*b + 5*i - 1 = -b, -4*b - 12 = 4*i. Is 74*(-2 + (-9)/b) a composite number?
True
Suppose 0 = 9*l - 7*l + 20. Is 178*(25/l - -4) prime?
False
Is 20950/15 - 1*(-1)/3 prime?
False
Suppose -3*h = 4*v - 28129, 2*v + 37552 = 4*h - 2*v. Is h a prime number?
False
Suppose -41177 = -k + 4*o, 13*o - 15*o - 164750 = -4*k. Is k prime?
True
Suppose -10 = -0*w - w. Suppose -2*q = w, -105 = -3*c - 5*q + 1829. Suppose 2*n = 3*b + 671, -2*n + c = -0*n + 3*b. Is n prime?
True
Let x = -15 - -15. Suppose x*o - 21 = -3*o. Suppose 2*i + 1595 = o*i. Is i composite?
True
Let s(l) = -l**3 - 2*l - 1. Let b be (-6 + 1)/(1 + 0). Is s(b) composite?
True
Suppose 84*x - 88*x + 3464 = 0. Let o = -180 + -1. Let z = x + o. Is z a composite number?
True
Let h be (11/(44/(-24)))/(-1). Suppose -3*f - 1305 = -h*f. Suppose 3*u + 0*u + 4*w - f = 0, w - 435 = -3*u. Is u a prime number?
False
Let g = -17 + 26. Let h(z) = 7*z**2 - 11*z - 2. Is h(g) a composite number?
True
Suppose 0 = -8*b + 4*b - 1320. Let g = b + 883. Is g prime?
False
Let a = -269 - -492. Is a composite?
False
Let z(m) = m**3 + 3*m**2 - 28*m - 127. Is z(21) composite?
True
Let c(u) = -4*u - 7. Let a be c(-3). Suppose -4*j - 265 = -4*i + 1655, -a*i + 2403 = -2*j. Is i a prime number?
False
Let p be ((-70)/6)/((-1)/(-33)). Let s = -182 + 46. Let j = s - p. Is j a composite number?
True
Let q(m) = -215*m**3 - 16*m**2 - 5. Is q(-4) prime?
True
Let a(v) = 26*v**2 + v - 6. Suppose -2*r - 11 = -21. Is a(r) a prime number?
False
Let f = -261 - -167. Let q = f + 253. Is q a prime number?
False
Let y = 54 - 46. Suppose -y*w + 1266 = -2*w. Is w a composite number?
False
Let d = -71 - -431. Let s = -67 + d. Is s prime?
True
Let n(h) = -8*h**3 - 3*h**2 - 10*h + 9. Let u be n(6). Let z = -1078 - u. Is z prime?
True
Let m(p) = p - 3. Let k be m(3). Let b be ((-20)/(-25) - k)*185. Let n = 235 - b. Is n a prime number?
False
Let q = 2380 - 738. Let a be ((-21)/(-35))/(2/10). Suppose -2*z = -2*s + a*s - 327, -3*z + q = 5*s. Is s prime?
False
Suppose 0 = 393*q - 414*q + 39753. Is q a composite number?
True
Suppose 0 = 26*k - 34145 + 4999. Is k prime?
False
Let r be 988/((-28)/(-40) + (-2)/10). Suppose 8*o - 33888 + r = 0. Is o a composite number?
False
Suppose -5*l - 4*h + 350 = h, 0 = 3*l - 3*h - 240. Suppose l = b - 6*b. Is (-3587)/(-15) - (-2)/b composite?
False
Suppose a + 4*u - 18763 = 0, -8*a = -9*a + 2*u + 18787. Is a prime?
False
Let f(a) = -4 - a**2 + a**3 + 2 + 1 - 9*a - 3*a**2. Let k be f(7). Suppose 2*m + 13 = k. Is m a prime number?
False
Is (7 - (-4788)/7)/(5 + -4) composite?
False
Suppose -2*p + 46191 = 3*p - 4*h, -2*p - 5*h = -18483. Is p prime?
True
Suppose 4*t + 2*y - 8586 = 0, -3*t = 21*y - 18*y - 6438. Is t a composite number?
True
Suppose 216461 = 7*h - 78204. Is h a prime number?
False
Is 7 - (1 + -3) - -5574 prime?
False
Let l(m) = 37*m**3 + 3*m**2 - 2*m - 3. Suppose -5*s = -18 - 2. Let d be l(s). Suppose -d = 3*x - 8*x. Is x a composite number?
True
Let r(z) = z**2 - z + 1. Let c(m) = -7*m. Let q(i) = c(i) - 3*r(i). Let p be q(4). Let x = -30 - p. Is x composite?
False
Suppose -5*c - 9 = 11. Is (8 + c)*602/8 composite?
True
Let j(q) be the first derivative of -q**2/2 - 4*q + 6. Let b be j(-7). Suppose -5*t + 4*w + 588 = -t, -b*w - 727 = -5*t. Is t composite?
True
Let a be (-4)/6*(-10 - 323). Suppose 2*p + a = 8*p. Is p prime?
True
Suppose -8*x + 95845 = 33917. Is x composite?
False
Let h be ((-36)/(-21))/(3/1638). Suppose h + 1338 = 6*u. Is u prime?
True
Let x(z) = -3*z**3 + 13*z + 91. Is x(-8) a prime number?
True
Let t = -2332 + 3273. Suppose -7*p = -3840 - t. Is p a prime number?
True
Let h be (-4 - 290/(-4))*2. Let i = h + -60. Is i a composite number?
True
Suppose t = 2, -4*m + 0*t + 146 = -3*t. Let y = 72 - m. Is y prime?
False
Let f(x) = -54*x**3 + x. Let y be f(-1). Let d = y - -1. Suppose 5*n + 3*w - 180 = 0, n - 5*w - d = -2*w. Is n a composite number?
True
Suppose 0 = 5*c - 15, 0 = 4*o - 18*c + 22*c - 31888. Is o a prime number?
False
Suppose -5*n + 4*b = -0*b - 28, 3*b + 6 = 0. Suppose n*a = 3*a + 5. Suppose -a*c + 529 + 16 = 0. Is c a composite number?
False
Let t(s) = -4*s - 1. Let o be 282/10 + 3/(-15). Suppose 3*h - 2 + 10 = -5*x, 5*h = 2*x + o. Is t(x) composite?
True
Let k = 54 + 253. Is k composite?
False
Let k = 10 + -4. Let j be 6/4*(k + 8). Is 478/6 - 14/j a composite number?
False
Let b(r) = r**3 + 11*r**2 - 12*r + 9. Let c be b(-12). Suppose -5*v + c = -1. Suppose -3*j = -3*k - 387, 5*j - v*k = -k + 653. Is j a prime number?
True
Let s be 20/(132/(-263) - (-5)/10). Is (-9)/((-36)/s)*1/(-2) a composite number?
True
Suppose 194*h - 181*h = 146783. Is h prime?
False
Let p(y) = -241*y - 7. Let c be p(5). Is (-2)/(-4)*c/(-2) prime?
False
Suppose -4*d + 6 = -38. Suppose 10 = d*x - 6*x. Suppose -x*p + 8*p = 1506. Is p a prime number?
True
Suppose 12*y = 15150 + 12078. Suppose -y - 3823 = -4*a. Is a composite?
False
Suppose -2*q - 5*m + 4833 = -1557, -4*q + 12840 = -5*m. Is q composite?
True
Suppose 10*z = 31272 + 42218. Is z composite?
False
Suppose p = 5*u + 1871, -4*p = 4*u - 4456 - 3052. Let q = -411 + p. Is q composite?
True
Suppose -6562 = -5*i + 4*t, -3*i - t - 441 = -4368. Suppose 11*r = 6*r + i. Let c = r + -51. Is c prime?
True
Suppose -3*s + 2*x + 9 = 0, 16 = -s + 5*s - 4*x. Is (7715/25)/(2/10*s) a composite number?
False
Let x(i) = 2*i - 43. Let c be x(17). Let l(h) = h - 4*h + 1 + 7. Is l(c) prime?
False
Let a be (-8955)/(-5)*1 - -1. Suppose -2*w = -2*r + 884, 2*r + 2*r + 2*w - a = 0. Is r composite?
True
Let v = 511 + 118. Is v composite?
True
Let p(w) = -104*w - 42*w - 25*w + 10. Is p(-4) prime?
False
Let t(y) = -y**2 + 2*y - 1. Let d be t(2). Let l be 0 - -521 - 1/d. Suppose b + 3*m - l = -2*m, 0 = 5*b - 5*m - 2460. Is b prime?
False
Let i(c) = -4*c - 4. Let q be i(-1). Suppose q = z - 763 + 66. Is z a composite number?
True
Let a be ((-46)/(-2))/((-16)/