 -3*g + 15 = 0, 0 = -0*r + 3*r - g - 13426. Suppose -r = -2*b - 1139. Suppose -4*x + 2*x = 2*s - 666, 4*x - b = -5*s. Is s a composite number?
False
Let n(x) = -1121*x - 4. Let b be n(-3). Suppose 2*y - b = -4*c + 3*y, 2*c = 2*y + 1684. Is c prime?
True
Let d = 22 - 18. Let y be 2 - (-2)/d*4. Suppose 0 = -k - 3*z + y*z + 378, -5*k + 1884 = z. Is k a composite number?
True
Suppose -130 + 2266 = -8*m. Let y = m - -493. Is y a prime number?
False
Let p(h) = 0*h**3 - 6*h + 7*h**2 + h**3 + 47 - 40. Is p(-5) a prime number?
False
Let u = -31 - -97. Suppose -2*j + 4986 = 4*o, -j - 5*o + u = -2442. Is j a composite number?
True
Suppose -5*j = 3*i - 41 + 17, -j - i + 6 = 0. Suppose -j*o - 2 = -4*o. Suppose -3*r - o*r = -255. Is r composite?
True
Let x = 8 - 5. Let d be ((-191)/2)/((-6)/60). Suppose -d = -x*l - y, l + 2*y = -4*l + 1593. Is l a prime number?
True
Suppose 5*m = 3*z - 66126, -7*m + 6*m + 44097 = 2*z. Is z a composite number?
True
Let x(o) = -351*o - 5. Is x(-4) a composite number?
False
Suppose o - 2663 = -v - 3*o, v + 2*o = 2667. Is v prime?
True
Suppose 0 = -6*i - 19 - 17. Let y(x) = -28*x + 23. Is y(i) prime?
True
Let s(x) = -x**2 + 8*x - 1. Let p be s(7). Let r be (-10)/p*(-42)/35. Suppose r*i + 262 = 3*i. Is i a composite number?
True
Let b(k) = -k**3 + 3*k**2 + 3*k + 3. Let u be b(3). Let m be (9/u)/((-2)/(-8)). Suppose m*l + 159 = 4*l. Is l prime?
False
Suppose 2*i = 6, 4*i = 5*u - 36242 - 86601. Is u composite?
False
Let z = 27685 - 18156. Is z a prime number?
False
Is ((-873)/18*14)/(-1) a prime number?
False
Suppose -3*c - 6171 = -4*n + 43407, -5*n + 5*c = -61970. Suppose 0 = 11*s - n - 4577. Is s a prime number?
True
Let i be (-1)/(28/(-8))*(-3 - -10). Is i/(-9) - (-43517)/9 a composite number?
True
Let d = -66 - -66. Suppose -4*p = -v - 846, d = p + 6*v - 3*v - 205. Is p composite?
False
Let m be -3*(22/(-24) + (-5)/(-20)). Let z(r) = 1296*r - 5. Is z(m) a prime number?
False
Let v(s) = 2*s**3 + 2*s**2 + 3*s - 4. Let n(q) = -3*q + 5. Let i(b) = -4*b + 4. Let y(a) = -4*i(a) + 5*n(a). Let g be y(-6). Is v(g) a composite number?
True
Suppose 31*l - 28644 = 75671. Is l composite?
True
Let n(q) = 6*q**2 + 2*q - 5. Suppose 4*v + v = 30. Suppose -w - v = -0*w. Is n(w) prime?
True
Let j = -2275 + 1255. Let d be -5 + 3 - j/(-3). Let z = d + 769. Is z composite?
True
Suppose p - 18 - 2 = 0. Let q(l) = -1 - p*l - 9*l - 4*l - 12*l. Is q(-2) prime?
True
Suppose 0 = 12*s + 2*s - 9730. Suppose -s = -46*u + 45*u. Is u prime?
False
Let v = 12 + -14. Let d be -2 + (-4)/v + -94. Let u = d + 181. Is u a composite number?
True
Is (-7 + 75495/(-14))/((-1)/2) composite?
False
Let n(i) be the third derivative of -i**5/60 + i**4/12 + 19*i**3/3 + 25*i**2. Is n(0) a prime number?
False
Let s = -91541 - -189846. Is s composite?
True
Let p = -137002 + 198433. Is p composite?
True
Let u be ((-1)/(-3))/((-3)/9). Let c = u + 6. Suppose c*d = -0*d + 235. Is d a composite number?
False
Is (-16 + 10)*(-30364)/24 a prime number?
True
Let u(m) be the second derivative of -32*m**3/3 - 9*m**2/2 - 12*m. Is u(-10) a prime number?
True
Let j(z) = z**3 - 3 - 1 + 5*z + 14 + 6*z + z**2. Is j(7) a prime number?
True
Let w be -2 - ((-1)/(-1) - 5). Suppose 13188 = -w*p + 14*p. Is p prime?
False
Suppose 6*z + 0*z = -2148. Is 2*2/4 - z composite?
False
Suppose 23 = -4*c - 1. Is (-1)/(-2) + (-4395)/c prime?
True
Let x = 2037 - 1404. Is x composite?
True
Suppose -5*p = 4*s - 4*p - 1956, -1976 = -4*s + 4*p. Let z = 263 + s. Is z a prime number?
False
Let t = 1590 - 2560. Let c = -483 - t. Is c a prime number?
True
Let b(w) = -7*w**3 + 2*w**2 + 7*w + 5. Suppose 4*p = 3*p + 4*a + 18, a + 9 = -2*p. Is b(p) prime?
False
Let j = 365 - 157. Let m = j - 81. Is m/(-1)*(-3 - -2) a composite number?
False
Let k(l) = 40*l**2 - 4*l - 217. Is k(-15) prime?
False
Suppose 155*m + 2*p = 158*m - 6, 0 = -2*p + 6. Let x be (-3243)/(-2) - (-1)/2. Suppose 1462 + x = m*s. Is s prime?
False
Let h = 2137 + -1128. Is h prime?
True
Let b(s) = 5*s**2 - 5*s + 17. Is b(-11) composite?
False
Let y(g) = -g**2 - 14*g + 5. Let k be y(-14). Suppose k*d = 17 + 3. Suppose -2622 = -d*h - 5*r, 3*h + r - 1306 = 655. Is h a composite number?
False
Let p = 20494 - 11941. Is p a composite number?
True
Suppose a = -a - 2. Let u = a - -4. Suppose -5*w + 456 = l, 2*w + u*l - 131 = 54. Is w a prime number?
False
Let v(u) be the third derivative of -4*u**4/3 - 5*u**3/6 - 26*u**2. Is v(-2) composite?
False
Let y(m) = m**3 - 17*m**2 + 6*m + 15. Suppose -a = -4*a + 54. Is y(a) a prime number?
False
Is 60898/6*((-27)/9 - -6) prime?
True
Suppose 3*w - 3074 = 8815. Is w a prime number?
False
Let x(q) = -q**3 + 7*q**2 + 2*q - 2. Let w be x(7). Is (5 - 64/w)/((-1)/2697) composite?
True
Suppose 3*z - 14 + 2 = 0. Suppose 1635 = z*o + 43. Suppose o = 4*r - 2*r. Is r composite?
False
Let n(w) = -w**2 - 9*w + 14. Let d be n(-19). Let h = 427 + d. Is h prime?
True
Suppose 50*p - 32*p = 303822. Is p a composite number?
False
Let j = 141 - 137. Is 2*(3 + 5942/j) a prime number?
False
Suppose -7*r - 55 = 2*l - 2*r, 70 = -5*l + r. Let q be (2 - -2) + -4 - l. Is (-3736)/(-120) + (-2)/q a prime number?
True
Suppose 0 = -2*z - 5*i + 14869, i = 2*z + 774 - 15625. Is z a prime number?
False
Suppose -3*k - 2*l + 6436 + 2387 = 0, 0 = 3*k + 5*l - 8832. Is k a composite number?
False
Let v(b) = 5*b**3 - b**2 + b. Let r be v(1). Suppose -1 = -2*p + r. Suppose 2*h + 1090 = 4*m, 3*m - p*h + 0*h = 822. Is m composite?
False
Let p(f) = 8*f**3 - 11*f**2 + 15*f + 11. Is p(8) a prime number?
False
Let v = 89116 - 33825. Is v composite?
False
Let x(c) = 159*c**2 + 52*c - 112. Is x(-19) prime?
True
Let z(y) = -y + 7. Let h be z(5). Suppose h*r = -r + 2031. Is r prime?
True
Let i(p) = -2*p - 15. Let f be i(-10). Suppose 12*d - 9863 = f*d. Is d a composite number?
False
Let c(g) = 293*g - 41. Let x(p) = 97*p - 14. Let y(r) = -6*c(r) + 17*x(r). Is y(-3) a prime number?
False
Is 2 - 4 - (-1)/((-4)/(-84052)) composite?
False
Let v(x) = 672*x**2 + 2*x - 1. Let w(m) = m**3 + 3*m**2 + m - 1. Let q be w(-2). Is v(q) a prime number?
True
Suppose 0 = -y - 3*n - 8, 5*y + 0*n = 2*n + 11. Let w be 6 - ((-1 - y) + 4). Is 0 + -3 + w + 154 prime?
False
Let o(r) = 5898*r**2 - 10*r + 9. Is o(1) prime?
True
Let q be 3/(6/16)*38. Suppose 4*u - 9*u = -10. Is (-1 - 2) + u + q a prime number?
False
Let q be -1*42/3 + 1. Let c = 66 - q. Is c a composite number?
False
Let h(j) = 42*j**2 - 20*j + 5. Is h(6) prime?
False
Suppose 0*o - 4*u - 1255 = -o, 3*o + 5*u = 3782. Is o composite?
False
Let y(u) = 62*u**2 - 4*u + 29. Is y(-13) a composite number?
False
Let v = 33 - 40. Is (-2)/v - (-73)/7*11 prime?
False
Let z(g) = 9258*g - 125. Is z(1) a composite number?
False
Let k(p) = 211*p - 269. Is k(28) a composite number?
False
Let f be -2 - -1 - (-1 + -5). Let w = -511 + 730. Suppose -136 = -f*d + w. Is d a prime number?
True
Let n = 96 + 5111. Is n composite?
True
Let k be 3 + (12 - (2 + -1)). Let x = k + -9. Suppose 4*v - 131 - 5 = -3*s, -2*s = -x*v + 147. Is v composite?
False
Suppose 0 = -54*r + 59*r - 860. Suppose 5*z - 783 = r. Is z prime?
True
Suppose 0 = 2*l - 3*c - 152449, l - 108625 = -c - 32398. Is l a prime number?
False
Let c(n) = 3*n**2 + n + 19. Let j = 13 + -21. Is c(j) prime?
False
Let o be (-5 - -3) + -1 - -20. Let n = -8 + o. Is -267*(-3 - (-24)/n) composite?
False
Suppose -3*g + 1 = 2*r, -g - 5*r - 8 - 9 = 0. Let l be ((-2)/g)/(4/(-1044)). Let q = 428 - l. Is q a composite number?
True
Let a(g) = -4*g - 6. Let r be a(-3). Suppose 0 = -2*l + 12 - r. Is l/(-9) + (-968)/(-6) composite?
True
Suppose -9423 = -4*b - v, 3*v + 11800 = -0*b + 5*b. Let m = b + -1456. Is m composite?
True
Let b = 37 + -30. Let d(x) be the first derivative of 29*x**2 - 3*x + 5. Is d(b) a prime number?
False
Let n(z) be the third derivative of -2*z**4/3 - 7*z**3/3 + 10*z**2. Let j be n(-6). Let x = j + 7. Is x prime?
True
Let r = 226 + 2377. Is r prime?
False
Let x(n) be the second derivative of -29*n**8/3360 - n**6/360 - n**5/120 + 7*n**4/6 - 10*n. Let g(d) be the third derivative of x(d). Is g(-1) a prime number?
True
Suppose g + z = 357, g - z - 102 = 253. Suppose -5*m = -2601 + g. Is m prime?
True
Let i(h) = -2*h + 40. Let c be i(20). Let v = 62 - 40. Suppose -v*m + 23*m - 7 = c. Is m prime?
T