5. Is x(l) a prime number?
True
Let d = 3074 + -1029. Is d composite?
True
Let v(m) = -m**2 - 2*m + 1. Let z be v(0). Let a(s) = 27*s - 1. Let f be a(z). Suppose -3*b = 4*y - f - 1398, 2*y = -b + 714. Is y a prime number?
True
Let v(q) = -4*q + 4*q - 4*q + 2. Let c be v(-3). Let x(r) = r**2 - 4*r - 9. Is x(c) prime?
True
Let b = 5479 + -932. Is b a composite number?
False
Let i(t) = 42*t + 15. Let y be i(-11). Let s be 10*-1*y/(-6). Let c = s - -1422. Is c prime?
True
Let o = 17230 + -8450. Suppose -55*r = -59*r + o. Is r a composite number?
True
Let p be ((-3)/(-9))/(4/60). Suppose -4*u - 5*z = -13 + 4, p*u + 5*z = 15. Is 3*(1322/u + 2) a prime number?
False
Let w(f) = -f**2 + 3*f + 6. Let x be w(4). Suppose x*m + 162 - 56 = 2*l, -3*l + m = -159. Is l composite?
False
Let k be (6/(-4))/((-1)/2). Suppose k*x = -x. Suppose x = -o - o + 62. Is o composite?
False
Suppose 3 = -2*i + 5, -o + 3*i + 2 = 0. Suppose 5*n + 4695 = o*t, 0*t + 4*t = -3*n + 3742. Is t prime?
True
Let f(p) = -2358*p + 209. Is f(-21) a prime number?
True
Suppose -364811 = -16*i - 56603. Is i a prime number?
False
Suppose -11*m = -8*m - 3*f - 5115, -20 = -5*f. Is m prime?
True
Suppose 31*u = 7*u + 164712. Is u a prime number?
True
Let z be (-5 - -2) + 2 + (2 - 5). Is 346/3*(-12)/16*z a composite number?
True
Let b be 1*2 + (6 - 8). Suppose 2*t - 130 = -3*j + 24, b = 4*j + 8. Suppose 0 = 2*m - h + t - 583, 4*m - 1021 = 5*h. Is m a composite number?
True
Suppose -5*r + 946 = -2474. Suppose -11*d - r = -15*d. Suppose 3*p - 816 = -d. Is p a prime number?
False
Suppose 4*l - 4*z = 860, -2*z + z + 427 = 2*l. Let a = -87 + l. Is a a prime number?
True
Let z(o) = 1719*o**3 + 6*o**2 - 18*o + 11. Is z(2) a prime number?
True
Let x(q) = -296*q - 13. Let n be -27 + 29 - 9*4/6. Is x(n) a prime number?
True
Suppose 10*n - 7*n = 9. Suppose -n*i - 3*g - 8 + 359 = 0, 4*i - 496 = 3*g. Is i a prime number?
False
Let q be 2/(-8) + 17/4. Suppose 3*l = q*l. Suppose -3*x + 5*j + 50 = 0, -5*j + 4*j - 1 = l. Is x a prime number?
False
Suppose 0*p - 1348 = 2*p + 5*y, -3*p = 4*y + 2015. Let z = 1700 + p. Is z a composite number?
False
Let w = -89 + 89. Suppose w = -2*g + 5*x + 4233, g + 0*x = 2*x + 2119. Is g composite?
False
Suppose -5*r + 12*r = 84. Suppose 5*n + 553 = r*n. Is n a prime number?
True
Let o(c) = -4*c + 7. Let j = -10 - -3. Is o(j) composite?
True
Let z = -18172 + 25793. Is z a composite number?
False
Let u(t) = -18 - t + 5*t**2 - 6*t + 19. Is u(5) a composite number?
True
Suppose -3*v + 45 = 216. Let g = 83 + v. Is g prime?
False
Let z be (-125)/(-30) + (-1)/6. Suppose z*i = 3*y + 1984, i = 3*i + y - 982. Let c = -272 + i. Is c a composite number?
True
Let q(h) = 162*h + 23. Let t be q(22). Suppose -t = -14*r - 3*r. Is r a prime number?
True
Suppose -3*v + 38 = 14. Suppose -9*l = -v*l. Suppose l = -5*y + 4*j + 365, y + 3*j - 63 = 29. Is y a prime number?
False
Suppose 5*d - 3*u - 5300 = 0, -4*u - 7 = 13. Suppose 4*z = -5*f + 724, 4*f - 297 = 4*z - d. Suppose -2*t + 184 + z = 0. Is t composite?
True
Suppose 0 = 5*q + 74 + 26. Let d be ((-10)/q)/(2/(-48)). Is 634*(d/(-8) + -1) prime?
True
Let f = 402 - 223. Suppose -5*r = -2*k + 302, f = 4*k - r - 461. Is k a composite number?
True
Suppose -5*a + a = -12436. Let v = a + -1486. Is v a composite number?
True
Suppose -57*c + 689533 = -3924788. Is c a composite number?
False
Let r = -7 + 7. Suppose 5*w - 300 = -2*g, g + r*g = 3*w + 172. Suppose 84 = 2*s - g. Is s a prime number?
False
Let q(j) = -5*j**3 - 5*j**2 - 2*j + 21. Let m(s) = s**3 - s - 1. Let i(n) = 4*m(n) + q(n). Is i(-7) a composite number?
False
Let m be (1/(-2))/(2/(-344)). Let w = 126 - 146. Let v = m - w. Is v composite?
True
Suppose 10*c = 13*c - 447. Is c a composite number?
False
Let i = 3 - -11. Let h = 14 - i. Suppose f = -2*f - 5*b + 548, b + 5 = h. Is f composite?
False
Suppose 3*p + 4*d = 26, 3*p + 9 = -d + 4*d. Let u = p + 3. Is 63/u + 4/10 a composite number?
False
Let i(s) = s**3 - 5*s**2 - 4*s - 2. Let h be i(-7). Is h/(-18) - ((-80)/(-45))/8 a prime number?
True
Suppose f = 3*f - 8. Suppose 2*t - 820 = -5*h, 0 = -0*t - t - f*h + 404. Suppose r = -u + 87, 2*u = -7*r + 2*r + t. Is r a prime number?
False
Let q(t) = 829*t**2 + 2*t + 2. Suppose -6*z - 3 = -3*z. Is q(z) prime?
True
Suppose -2*d - 2*d - 740 = -5*j, 296 = 2*j + 3*d. Let q = 383 - j. Is q prime?
False
Suppose -15*d - 3*t + 17206 = -10*d, 0 = t + 3. Is d a composite number?
True
Suppose 7*a - 768 = 10*a. Let g be (11/(-2))/(2/a). Let x = 1051 - g. Is x composite?
False
Let o(j) = 7*j + 26557. Is o(0) a composite number?
False
Let m = -456 + 308. Let r = 1907 + m. Is r a prime number?
True
Suppose -3*s - 4*r + 12 = -2*s, -r + 2 = 0. Suppose -5*h + 3606 + 884 = 0. Suppose k = -3, q - h = -q + s*k. Is q a composite number?
False
Let g = 622 + 633. Is g a composite number?
True
Let o = 8 - -13. Let c = -18 + o. Is c a composite number?
False
Let g(j) be the third derivative of -j**6/120 + 2*j**5/5 - 29*j**4/24 - 17*j**3/6 + 56*j**2. Is g(21) composite?
True
Let q(c) be the second derivative of -67*c**3/6 - 7*c**2/2 - 9*c. Is q(-6) a composite number?
True
Let v(b) = -4490*b**3 - 3*b**2 - 43*b - 80. Is v(-2) prime?
False
Let j(n) be the third derivative of 69*n**5/10 + n**4/24 - n**3/3 - 10*n**2. Is j(1) composite?
True
Let b(o) = 3 + 3 + 0 - 80*o + 1. Is b(-3) a prime number?
False
Suppose -6*w + 7*w = -4*u + 2971, 0 = 3*w - 2*u - 8843. Is w a composite number?
True
Suppose -7*k + 3*k = h - 20697, 3*h - 5*k - 62057 = 0. Is h a composite number?
True
Let n = 842 + -1476. Let b = -288 - n. Is b composite?
True
Let y(w) = 5*w**2 + 2*w + 2. Let n be y(-1). Suppose -h + v = -1714, -n*v - 23 = 2. Is h a prime number?
True
Let o = 396 - -783. Suppose -o = r - 4*r. Suppose -s = -t + 4*s + 131, 5*s - r = -3*t. Is t a composite number?
False
Let z = 5494 - 1527. Is z prime?
True
Suppose 11*s - 37968 = -4*f + 9*s, -4*f = -4*s - 37956. Is f a prime number?
True
Let v be 2/8 + (4 - 17/4). Suppose v = -5*q - o + 3*o + 917, -2*q + 378 = 2*o. Is q a composite number?
True
Let m(v) = -68*v - 5. Suppose 20 = -17*c + 13*c. Is m(c) a prime number?
False
Let v(o) = 70*o**3 - 4*o**2 + 67*o + 23. Is v(10) prime?
False
Suppose -5 = -2*f + 1. Suppose 0 = f*z - 5*z + 10. Suppose 1512 - 269 = 3*l - 4*p, -4*l = -z*p - 1657. Is l a prime number?
False
Is (-2)/((-4)/1494) + -1 composite?
True
Let y be 1 + 6 + 6 + -9. Suppose -y*t - 4*m - 73 = m, -m = 5. Is -422*3/t*2 prime?
True
Is -1*14*142647/(-102) a composite number?
True
Let f(x) be the third derivative of 83*x**4/24 - 5*x**3/6 - 2*x**2. Is f(6) a prime number?
False
Let m be (1/(-3) + 1)/(4/1158). Let d = -66 + m. Is d composite?
False
Suppose -150*a = -156*a + 50658. Is a composite?
False
Suppose -u = -j - j + 10, u = -4*j + 14. Is 0 + u/5 + (-70389)/(-135) prime?
True
Let r = 4346 - 2066. Suppose 0 = 3*g - 7341 + r. Is g prime?
False
Suppose 3*x - 618 + 4472 = 5*s, -3857 = -5*s + 4*x. Is s composite?
False
Let i(x) = 7*x**2 - 2*x + 15. Let q be 6/10 + 86/(-10). Is i(q) prime?
True
Suppose -2094 = -4*f + 23054. Is f prime?
True
Let r be (-3)/(-4) + 25/20. Suppose f + 18 = -r*f. Let k(a) = 2*a**2 + 3*a - 1. Is k(f) a prime number?
True
Let q = -23 - -33. Let f be (-1 + q/6)*6. Let k(v) = 7*v**3 + v**2 - 5*v + 5. Is k(f) a composite number?
False
Suppose 5*m + 7 = -8, 5*h - 2*m + 44 = 0. Let t = h - -12. Suppose 145 = -t*z + 3*z. Is z a prime number?
False
Let w(c) = -343*c - 13. Let m be 7/((-1)/1*1). Let r(p) = 172*p + 6. Let n(v) = m*r(v) - 4*w(v). Is n(3) prime?
False
Let u = -12944 - -53555. Is u a composite number?
True
Let p = 51 - 3. Is 22*p - (-4 - -5) prime?
False
Suppose 0 = y - 4 + 2. Let q(v) = -1 + 2 + 60*v + 38*v - 35*v. Is q(y) a composite number?
False
Let a(r) = 40*r**2 - r + 2. Suppose -21 = -3*g - 4*g. Is a(g) a composite number?
False
Suppose -8 = 2*n, -3*a = -6*a + 5*n + 92201. Is a a composite number?
False
Let z(h) = h**2 - 2*h - 13. Let l be z(-3). Is (-13)/(l + -2 - 1) prime?
True
Let p = -25 - -47. Let i = 1857 - p. Is i prime?
False
Suppose -4*y - 2364 = 3*w, 5*y - 3*w + 2955 = -2*w. Let u = -808 + 1664. Let n = y + u. Is n composite?
True
Let y(t) = t - 3. Let j(v) = -v**3 + 6*v**2 + 9*v - 9. Let h be j(7). Let f be y(h). Suppose -f*a - 138 = -2*n, 2*