, -v = -z + 4540. Is z a prime number?
False
Let z be (4/5)/(28/(-1330)). Let i = z + 239. Is i composite?
True
Let m(r) = 5*r**2 + 19*r + 163. Is m(-9) composite?
False
Let v(g) = -143*g**3 - g**2 - g - 1. Let a be v(-1). Let f = a - -445. Is f prime?
True
Let v be (-2)/(-4) - 6/4. Let a(u) = -12*u - 1. Let h be a(v). Let f = 66 + h. Is f composite?
True
Suppose 2*u - 3*u + 268 = 0. Suppose 0 = -7*h - u + 1577. Is h a prime number?
False
Suppose 0 = -2*b + 390 + 702. Suppose -6*g + 8988 = -b. Is g composite?
True
Suppose -44 + 19 = -5*k. Suppose 0 = -4*y - q - 29, y - 2*y + k*q = 2. Is (-4308)/(-84) - (-2)/y a prime number?
False
Let l = -16 - -41. Suppose 5*y = -5*s + 3191 + 959, -l = 5*s. Is y prime?
False
Suppose -2*b - b + 540 = 0. Suppose 3*c - b = -0*c - o, -174 = -3*c + o. Is c composite?
False
Let i be (-2)/((-10)/3105) - (-3 + 1). Let g = 1102 - i. Is g prime?
True
Let g = 12 - 7. Suppose g*m - 949 = -159. Is m a composite number?
True
Let v = -792 - -5339. Is v a prime number?
True
Let a(k) = -5518*k - 55. Is a(-12) a composite number?
False
Let d be 18/42 + 174/(-14). Let x be (8/d)/(3/(-36)). Let g = x + 545. Is g a composite number?
True
Let u be 1/(-1)*7/7. Let t = u + 5. Is 1/((-2)/(-472)*t) composite?
False
Suppose 10 = -5*d + 5*f, 0*f + 14 = -d + 4*f. Let o be 2 - (0 - (d - -1367)). Let h = o + -748. Is h prime?
False
Let f(b) = 279*b**2 - 5*b + 19. Let m be f(3). Let w = 7 - -28. Suppose w*g - m = 30*g. Is g a prime number?
True
Suppose -5*f = 4*u - 10873, -3*f = -5*u + 6595 + 7024. Suppose -21*s + 19*s + u = 0. Is s a composite number?
False
Let s = 581 + -208. Suppose 5*q - 142 = s. Is q a prime number?
True
Let s(z) = 73*z - 3. Let u = -13 + 7. Let n(t) = t + 8. Let m be n(u). Is s(m) prime?
False
Let i = -1259 + 4992. Let y = i - 2594. Is y prime?
False
Let h(n) = 242*n**2 - 4*n - 29. Is h(15) prime?
True
Let k be (4/24)/(1/6). Let b be -1 - (k + -2 + 0). Is (-1 - (-98 - b))*1 prime?
True
Suppose 5571 = 5*g - 3*z + z, 2*g - 2220 = 5*z. Is g prime?
False
Let n(k) = 26555*k**2 + 2*k. Is n(1) prime?
True
Suppose -30*f = -34*f + 44788. Is f prime?
True
Suppose 91*k - 71*k - 122860 = 0. Is k a composite number?
False
Let s = 72 + -46. Is -3118*(s/12 + -2)*-3 composite?
False
Suppose x - 441 - 380 = 0. Suppose -2*g - 3*d + 1090 = 2*g, 4*d - x = -3*g. Is g composite?
False
Is (-4 + 30/6)*4055 + -6 a composite number?
False
Suppose 0 = -4*f + 5*h + 102693, -h + 18431 + 84232 = 4*f. Is f a composite number?
False
Let o = -281 + 51. Let w = 779 + -418. Let t = w + o. Is t a composite number?
False
Suppose -6 = -3*s, l - 4*l - 4 = 4*s. Let a be l/(-12)*(2 + -2). Suppose n - 445 = -4*n + 5*z, a = -2*z + 10. Is n a composite number?
True
Let z be (-383)/(-5) + (-4)/(-10). Let b be (3/(-6))/(1/92). Let g = b + z. Is g prime?
True
Let c be (8/(-14))/(2/(-14)). Suppose c*j - 876 = -4*r, 442 = 2*j + 3*r - 2*r. Is j a prime number?
True
Let z(x) = -x**3 + 15*x**2 + 15*x + 19. Let v be z(16). Suppose 5*j + 2*g + 2673 = 0, -2*g - 2676 = 5*j - v*g. Let y = j + 1056. Is y a prime number?
True
Let d(o) = -9*o**3 + 29*o**2 + 16*o + 41. Is d(-12) a prime number?
True
Let d(x) = -4*x + 5003. Is d(0) a prime number?
True
Suppose 0 = l - 21734 - 13577. Is l prime?
True
Let q(r) = 4*r**3 - 13*r**2 - 11*r - 26. Let z(n) = -7*n**3 + 25*n**2 + 21*n + 52. Let o(h) = -5*q(h) - 3*z(h). Is o(11) composite?
False
Is 131142/176 - (-2)/(-16) a prime number?
False
Let m be 4/(-12)*(-8 + -1). Suppose m*b = 888 - 177. Is b prime?
False
Let i(d) = 6*d + 6. Let y be i(6). Let n be 10*((-3)/(-2))/3. Suppose 2*x = 10, y = -0*m + m - n*x. Is m a prime number?
True
Let q = -1242 - -689. Let d = 1022 + q. Is d composite?
True
Let w(g) = 7 - g + 4*g + 9*g**2 - 12. Let m = -15 + 11. Is w(m) composite?
False
Let q(y) = -y + 8. Let p be q(5). Suppose 5*g = -p*i + 8, 0*g - 18 = -2*i + 3*g. Suppose -4*j + 560 = 4*x, 410 = 3*j - x - i. Is j prime?
True
Let z = -4531 - -9790. Is z composite?
True
Let l be 4/2 + -702 + 0. Let c = -1732 - l. Is c/(-40) + (-8)/10 a prime number?
False
Let o be (9 - 8) + 17 + (3 - 2). Suppose -25*b + o*b = -330. Is b composite?
True
Let g = -85 - -103. Is 3/g + 2513/6 composite?
False
Let i(o) = 6964*o - 17. Is i(1) a prime number?
True
Suppose -4*h = -5*g - 69494, -28*h + 4*g - 52105 = -31*h. Is h prime?
False
Suppose -2*i = n - 8231, -5*i - 5*n + 19286 = -1284. Is i composite?
True
Let i(f) = -f**2 + 10*f - 2. Let q be i(10). Is 1/2 - (2379/q - 3) a composite number?
False
Let k = 2 + -1. Let g be 21 + 1/k*-2. Suppose 0*z = -z + g. Is z composite?
False
Suppose -2*v = 4, d - 2*v + 2 = 11. Suppose -f + 16326 = d*f. Is f a composite number?
True
Suppose 12 = 3*h + 63. Let g = 415 + h. Let j = g + -99. Is j prime?
False
Let t be 4/18 + (-203124)/(-108). Let p = t + -981. Suppose p = 2*i + 3*i + 5*l, 0 = -3*i + 5*l + 532. Is i prime?
True
Suppose 0 = 2*j + 4*q - 21310, -q + 5*q + 16 = 0. Is j a composite number?
False
Let b(g) = -20 + 310*g - 20 + 61 - 28. Is b(5) composite?
False
Suppose -869796 = -66*h + 1588242. Is h a prime number?
True
Suppose 2*l = v + 56, 3*l - 5 - 7 = 0. Let g be (-6 - -4)*-1 - v. Suppose -4*w + 522 = -g. Is w a composite number?
True
Is (1259/(-1))/(-4*5/20) composite?
False
Suppose -8 = -19*p + 15*p. Suppose -100 = p*v - 1578. Is v a composite number?
False
Suppose 0 = -p - 3*r + 1369, -2*p + 3*r = -2*r - 2705. Is (-6)/18 + p/12 a prime number?
True
Suppose -5*z + 4384 = -2561. Let w = z - 967. Is w a prime number?
False
Let j(n) = 10*n**2 - 3*n - 2. Let b be j(-1). Let i = b + -6. Suppose 0 = 4*s - i*p - 503, 4*s - 131 - 374 = 3*p. Is s composite?
False
Let z(u) = 52*u**2 + 49*u - 14. Is z(20) composite?
True
Is 11/((-33)/(-24)) - -44289 prime?
False
Suppose -4*u - 2*k = -3*k - 10921, 2*k = -2. Suppose 0*i + 4*n + u = 2*i, -5*i + 6815 = -5*n. Is i prime?
True
Is (((-74916)/(-16))/9)/((-1)/(-4)) composite?
False
Suppose 5*u + n = 16933, 0*u = 3*u - 4*n - 10146. Is u composite?
True
Let m = 26 + -2. Suppose 3*z - m = -4*r, -4*r - 4*z + 22 = -2*r. Is 238/r + (-19)/57 a composite number?
False
Let b(s) = 15*s**3 + 2 + 61*s**3 + 39*s**3 + 7*s**2 - 4*s + 1. Is b(2) composite?
True
Let t(i) = -62*i - 123. Is t(-22) a composite number?
True
Suppose 3*h + 1 = -2, 3*h = 3*r + 609. Let v = r - -562. Suppose -4*t + 1319 = -w, -4*t + 2*w = -v - 956. Is t a composite number?
False
Suppose 3*o - 2*j - 611 = 0, 3*o + 429 = 5*o + 3*j. Let s = o - 104. Is s prime?
True
Suppose 4*j = -2*a + 16562, -3*j + a = -0*a - 12414. Is j a composite number?
False
Let x(d) = -86*d - 3. Let f = 36 + -40. Is x(f) composite?
True
Let y = 5 - -3. Let b = y - 6. Is (4 - b)/(-4)*-206 a prime number?
True
Suppose 6*k = 4*k + 5*j + 1625, -4*j - 2441 = -3*k. Is k a composite number?
True
Suppose 0 = -5*u + 4*l + 10874, 0 = -6*u + 3*u + l + 6530. Let q = u - 1123. Is q composite?
True
Let x be (-66)/(-8) - 18/(-24). Suppose -5*p = x - 14. Is (-595)/14*(-3 + p) composite?
True
Let a(i) be the third derivative of i**5/30 - i**4/6 + 2*i**3/3 - 4*i**2. Let q be a(5). Let l = q - 21. Is l a composite number?
False
Suppose 109285 = -5*k + 16*k. Is k prime?
False
Suppose -2*v + 24523 = 3*n - 4937, 0 = -3*n - v + 29457. Let j = -5709 + n. Is j prime?
False
Suppose 3*c = r - 655, 2673 + 546 = 5*r - c. Let j = r - -100. Is j prime?
True
Suppose -2*j = 9*j - 39523. Is j prime?
True
Suppose 19 = -3*r + 28. Is (3/(-9))/(r/(-333)) - 2 composite?
True
Let b = -1383 - -2064. Suppose 244 = -a + b. Is a a prime number?
False
Suppose 7*f = 24194 + 733. Suppose 2*x - 5*x + f = 0. Is x prime?
True
Suppose 82135 = -12*f + 17*f. Is f a prime number?
True
Let c = -1450 + 17945. Is c prime?
False
Let j(g) = 14*g + 7 - 4 - 7. Is j(7) composite?
True
Suppose 3*m - 4*m + 15 = 0. Is ((-3810)/25)/((-6)/m) a prime number?
False
Suppose 5*j - 22*x - 15 = -23*x, 3*j = -2*x + 2. Let h be (-6069)/(-12) - 1/(-4). Suppose -530 = -j*t + h. Is t a prime number?
False
Suppose 5*z - 2*o - 82 = -12, -4*z + 2*o + 58 = 0. Is 9/54 + 5818/z composite?
True
Let z(l) = -6*l - 1. Let w be z(-1). Suppose -w*t - 13 = 2. Let f(d) = -24*d**3 + 5*d**2 + 4*d + 4. Is f(t) composite?
True
Let j(f) = 731*f**2 + 2*f + 16. Is j(5) a composite number?
False
Let q = 181 - 22. Let s = 292 - q. Is s composite?
True
Let 