= -k - 354, 0 = -3*s + 4*k + 259. Is s prime?
True
Let g(k) = 15*k**2 + 10*k - 1. Let i(m) = -14*m**2 - 9*m + 1. Let a(q) = 5*g(q) + 6*i(q). Let l be a(-4). Is (-2)/(2/l)*1 prime?
True
Let c = 15 - -62. Is c prime?
False
Let h = 75 - 172. Let q = 11 - 9. Is (h/q)/((-6)/12) a composite number?
False
Let l be 14*(1 - -9 - 2). Suppose -2*s + l = 2*s. Let q = 63 - s. Is q a prime number?
False
Let p(r) = r**2 + 7*r + 2. Let b be p(-7). Let t(q) = b*q**2 + 10 - 5 - 3*q + q**3 + 6*q. Is t(4) a prime number?
True
Suppose -4*n - g = 23 - 335, -5*g = -3*n + 257. Is n a composite number?
False
Let v(u) = -u**2 + 11*u + 2. Let y be v(11). Suppose a + y*g - 219 = 0, 5*a + 4*g = 676 + 425. Is a a composite number?
True
Let j = -135 + 1483. Let v be 1/(-4) - j/(-16). Let u = -35 + v. Is u a prime number?
False
Let m = -113 - -584. Suppose 3*i - m - 408 = 0. Is i prime?
True
Let k(a) = -2*a + 1 + 4*a + 3*a. Let x = 32 + -26. Is k(x) a composite number?
False
Let p = 429 + -302. Is p a prime number?
True
Let d = 11 + -2. Let t be 0 + (4 - (-2 + 8)). Is 132/d + t/(-6) a prime number?
False
Suppose -3*o + 1536 = -150. Let h = -263 + o. Is h a prime number?
False
Let u(w) = -2299*w - 15. Is u(-2) composite?
False
Suppose 0 = 2*g - 5*a + 17, 3*a - 12 = 3. Let l(u) = -131*u. Let y be l(-1). Suppose -y - 101 = -g*r. Is r composite?
True
Let r(t) = -t**3 + t**2 - t + 1. Suppose 2*n = -0*n. Let l be r(n). Let o = 7 - l. Is o composite?
True
Let q(p) be the first derivative of p**4/4 - 3*p**3 + 2*p**2 - 10*p - 5. Is q(9) composite?
True
Suppose -f + 5*f = 3*z - 15251, f = -2*z + 10149. Is z prime?
True
Suppose 4*z - 32 = 3*g + g, 5*g = -4*z + 23. Suppose -6*m - z = -7*m. Is m a composite number?
False
Is 3 + 7*(-3 - -7) composite?
False
Suppose 0 = -5*p - 2 - 3, -1810 = 3*t + 4*p. Let m = t - -861. Is m a composite number?
True
Let t(w) = w**3 + 9*w**2 - w. Let v(n) = 2*n**3 + 19*n**2 - n - 1. Let x(r) = 5*t(r) - 2*v(r). Is x(-7) prime?
True
Let h(x) = -x**3 + 13*x**2 + 6*x + 4. Is h(9) prime?
False
Let z be (6/(-6))/((-2)/344). Let b = z + -114. Is b prime?
False
Suppose 5*z = 6*z - 44. Suppose 0 = -4*i + 5*i. Suppose -2*c = -i - z. Is c a composite number?
True
Suppose -3*r - 673 = -4*r. Is r a composite number?
False
Let g(w) be the second derivative of w**4/6 - w**3 - 3*w**2/2 - 3*w. Is g(-4) prime?
True
Suppose 5*s = 4*j + 3906, -3909 = -8*s + 3*s + j. Let h = s - 283. Is h composite?
False
Let y(g) = 10*g - 12 + 6 + 15. Is y(5) composite?
False
Suppose 4*n + 11693 = 3*x, -4*x - 5*n = 8995 - 24627. Is x composite?
True
Let w = 204 + 281. Is w composite?
True
Let b = 201 + -104. Is b a prime number?
True
Suppose 4*b - 221 = 55. Is b a composite number?
True
Let h be 190/30*(-1 + 19). Let k = -61 + h. Is k composite?
False
Let x = 144 - 251. Suppose -5*a - 386 = -46. Let f = a - x. Is f composite?
True
Let t be (-2)/(-4) - (-2)/(-4). Suppose t*m = -m + 2. Is (m + -5)/(-1 + 0) composite?
False
Suppose 23*h - 28027 - 976 = 0. Is h a prime number?
False
Let n(o) = 5*o**2 - 7*o - 1. Let u(p) = -6*p**2 + 2*p + 1. Suppose 0 = 3*m - 0*m + 3. Let l be u(m). Is n(l) composite?
False
Let a(b) = -6*b**2 - 8*b + 9. Let t(o) = -5*o**2 - 8*o + 8. Let l(v) = -4*a(v) + 5*t(v). Let n = -11 - -4. Is l(n) prime?
True
Suppose 4*n - 5*m - 72 = 0, m - 77 = -5*n + 4*m. Is n prime?
True
Let u = -5 - 0. Let r = u - -5. Let x(t) = -t + 19. Is x(r) composite?
False
Suppose 5*m - 1062 = 2533. Is m composite?
False
Suppose -4*n - 22 = 4*c - 6, -5*c = -4*n - 7. Is c*2 - (-4 + -116) a composite number?
True
Let f be (0 + -1)/((-2)/10). Suppose -2*a = -f*a + 15. Suppose -a*r = 2*u - 76, 2*u = 4*r - r - 36. Is r prime?
False
Is ((-7918)/6)/(-1) + (-8)/12 composite?
False
Suppose 3*f - q = 0, -4*f = -5*f + 3*q - 8. Is (-117)/(-36)*f*44 composite?
True
Let k(t) = t + 5 + 5*t**3 + 1 - 3*t**2 - 6*t**3. Let p be k(-5). Is p*(1 + -1 - -1) prime?
False
Let f(w) = -291*w + 1. Is f(-2) prime?
False
Let d(x) = -2*x - 1. Let z be d(-3). Suppose -n + 8 = -z. Is n a prime number?
True
Let l = 768 + -324. Suppose -7*v = -3*v - l. Is v a composite number?
True
Suppose -4*x + 2*u + 730 = 0, -4*x - 4*u = -7*u - 725. Is x composite?
True
Let r = 1 - -2. Suppose -191 = -4*o + r*o. Is o a composite number?
False
Let p(k) = 7 + 16*k + 0 - 2 - 3. Let c be p(-5). Is -1*(c - (-3 - -2)) prime?
False
Is 693/55 - 2/(-5) a composite number?
False
Let k be (-2 + 1)/(1/(-3)). Suppose -298 = h - k*h. Is h prime?
True
Suppose -17*l + 18*l = 3883. Is l prime?
False
Is 8*(-961)/(-10) - (-66)/330 composite?
False
Suppose 0 = 2*m - 4*m + 3*g + 12, -3*m + 5 = 2*g. Let t(y) = -y**2 - 2*y - y**m + 5 + 4*y - 4. Is t(-5) composite?
True
Let m = -9017 + 13402. Is m a prime number?
False
Let u be 16/(-10)*5/(-2). Suppose r - 3*k = -r - 9, k - 3 = -u*r. Is 83*((r - -2) + -1) prime?
True
Suppose 3*x - 15 - 6 = 4*c, 2*c + 38 = 4*x. Let q = -2 + x. Is q a composite number?
True
Suppose 4*p = -5*u + 106 - 40, -5*u - 5*p + 70 = 0. Let h = u - 8. Suppose 7 + h = -3*l, 4*l - 284 = -4*q. Is q composite?
True
Let j = -1539 + 3053. Suppose 5*z - 581 = -5*y + j, 4*z - 1676 = 4*y. Is z composite?
False
Is (1 - -94) + -3 + -3 a prime number?
True
Let z(j) = -32*j + 1. Let t be z(1). Let g = 0 - t. Let o = -10 + g. Is o a prime number?
False
Let s(k) = -3*k + 4. Let u(m) = m**2 + 7*m + 1. Let o be u(-6). Is s(o) a composite number?
False
Let s(w) = 25*w + 1. Suppose 0 = -4*k + 6*k - 5*h + 14, -3*h = -2*k - 6. Let t be s(k). Suppose -2*p + t = -58. Is p composite?
False
Suppose 2*k = -0*p - 2*p + 6, 11 = 3*p + k. Suppose -77 = -3*v + s, -99 = -3*v + p*s - 16. Is v composite?
True
Let f(c) = -c - 2. Let g be f(0). Let p(h) = -16*h**3 - 2*h**2 - 2. Is p(g) a prime number?
False
Let d = -11189 + 15940. Is d prime?
True
Let g = 438 + -293. Is g a composite number?
True
Let v(p) = 361*p - 2. Is v(1) prime?
True
Suppose -3*p + 15 = 2*p - z, -5*z = -2*p + 6. Is (p - 1)/1 - -119 composite?
True
Suppose 6*i - i - 20 = 0. Suppose 2*b = i*b - 110. Is b composite?
True
Let q = -8 - -11. Suppose -q*f + 15 = -0*f. Suppose w + 479 = 4*v - 2*w, -f*v + 2*w = -597. Is v a composite number?
True
Let h(r) = 4*r**2 - 6*r - 39. Is h(-16) a composite number?
True
Suppose 10*j + 24580 = 30*j. Is j composite?
False
Let w(o) be the first derivative of -o**3/3 - o - 1. Let f be w(-1). Is (f/(-1))/(2/53) composite?
False
Let o = -7 + 5. Is o - 1 - 58/(-1) a composite number?
True
Let h = -8 - -6. Is 2 - h/(-2) - -76 a prime number?
False
Suppose z - 3*x - 151 = 0, -3*z - 255 = -x - 684. Is z composite?
True
Is (-76)/18*-177 - 12/9 a composite number?
True
Suppose i + 11690 = 11*i. Is i a composite number?
True
Suppose 20 = -5*z, -3*z - 38 = -2*m - 7*z. Suppose -n + m = -b, 4 + 15 = 2*n + 5*b. Is n prime?
False
Let y(q) = -10*q + 3. Let c be y(9). Let r = c - -152. Is r composite?
True
Let b be (14/70)/(1/1115). Let a(g) = 2*g - 9. Let h be a(6). Suppose v - b = -4*n, 0 = v - h*n - n - 199. Is v a composite number?
False
Let k = -7 - -11. Let l be 56/10 + k/10. Suppose 4*q - l*q = 3*g - 260, q - 133 = -3*g. Is q composite?
False
Is (-44)/((-10)/(4 - -1)) a prime number?
False
Let v(x) = -5*x + x**2 - 8 + 5*x + 5*x. Let s be v(6). Suppose 0*n + 2*a = -4*n + 202, a + s = n. Is n a prime number?
True
Let q = -1518 - -3463. Suppose 5*z - 4866 = -h, -3*z = -z - h - q. Is z prime?
False
Suppose -5*j = 5*q + 40, -4 - 4 = 3*q - j. Let a be (66/q - -2)*2. Let d = a + 156. Is d a prime number?
True
Let r(j) = 2*j**2 - 14*j + 3. Is r(14) a prime number?
True
Let x(k) = 8*k + 3. Let c be x(4). Suppose -3*q = -58 - c. Is q composite?
False
Let v(x) = -118*x - 1. Let a be v(4). Let p = a + 946. Is p composite?
True
Let o be 5/2 - 1/2. Suppose -2*f = -5*q + 389, 3*q - 304 = -q - o*f. Is q a composite number?
True
Let m(x) = 167*x - 2. Is m(11) composite?
True
Let h(c) = c + 111. Is h(0) prime?
False
Let g be (-75)/10*(-166)/3. Suppose -3*s + 68 = -g. Is s a composite number?
True
Let z(g) = g**2 + 11*g + 11. Is z(-20) composite?
False
Suppose 0 = 4*j - 6*j + 262. Is j a prime number?
True
Let s be (186/9)/(4/6). Suppose -2*t + s = -67. Is t prime?
False
Let z(r) = r**3 + 7*r**2 + 6*r + 5. Let h be z(-6). Suppose -2*y - h = -s, 0*s + s + 1 = -y. Is (s + (-9)/6)*-28 prime?
False
Let w = 1062 + -