-435 - l. Is n prime?
True
Let x(w) = -4*w + 4. Let a be x(-4). Suppose a = d - 26. Is d a composite number?
True
Suppose -4*q - 3*h + 7 = -2*h, 4*q + 4*h - 4 = 0. Is (-127)/1*(-2)/q a prime number?
True
Suppose 0 = -4*k + 12*k - 4648. Is k a prime number?
False
Suppose -3*o - 2992 = 4*v, -o - 2*o = -v + 2987. Let i = o + 481. Let c = -354 - i. Is c a composite number?
True
Let z be -78 - (-3*2)/(-3). Let o = z - -55. Let b = 46 + o. Is b a prime number?
False
Let a(d) be the first derivative of -12*d**2 + d - 1. Is a(-5) a prime number?
False
Suppose -8*a + 26144 + 11624 = 0. Is a a prime number?
True
Suppose 4*p + 0*w = 3*w + 692, 0 = -5*w + 20. Suppose -5*h + 9 = -p. Is h composite?
False
Let l be (-3 - -9)/(0 - -2). Suppose 2*d - 530 = 736. Suppose l*h = -0*h + d. Is h prime?
True
Suppose 0 = -2*l + 149 + 67. Let v = l - -19. Is v prime?
True
Let p = 20 + -11. Let b(c) = -c**2 + 9*c + 7. Is b(p) a composite number?
False
Suppose -3*n - 9 = -0*n. Is -159*((-2)/n - 1) prime?
True
Let v(w) = -w**2 - 8*w. Let h be v(-8). Suppose -4*r = -8 - h. Suppose 0 = x + r*x - 393. Is x prime?
True
Let i(k) = -269*k + 5. Let u be i(3). Let h = 1139 + u. Is h composite?
False
Let x = -86 - -119. Is x a prime number?
False
Let i be (-1 - (1 - 0)) + 2. Suppose 5*o + 3*s - 15 - 11 = i, o - s - 10 = 0. Is o a composite number?
False
Suppose -2*h - 11 = -3. Let v(k) = -3*k**3 + 4*k**2 - 2*k + 3. Is v(h) a composite number?
True
Suppose 0*b - 4*b + 24 = 0. Let x(k) be the third derivative of k**5/60 - k**4/24 - 7*k**3/6 + k**2. Is x(b) a prime number?
True
Suppose -3*d - 5*w - 1 = 0, -5*d - 5*w + 11 = -3*w. Suppose 17 + d = 4*o. Suppose 5*q - 104 = q + o*r, -27 = -q + r. Is q a prime number?
True
Let q = 5 - 0. Suppose 6*g = 4*g + 4*b, 5*b - q = 0. Suppose 0 = -j + g*j - 127. Is j composite?
False
Let u(m) be the second derivative of -m**5/20 + 2*m**4/3 + m**3/2 + 7*m**2/2 - 8*m. Is u(4) a prime number?
True
Let g(v) = -3*v**2 - 10*v - 4. Let k(t) = -2*t**2 - 9*t - 5. Let y(x) = 3*g(x) - 4*k(x). Let n be y(7). Is 0 - (0 - 19)/n a prime number?
True
Suppose 0 = 2*p - 5*t - 2 + 23, -p + 2*t - 9 = 0. Let k = 4 + p. Is k/(-1 + 10/8) composite?
True
Suppose -7 = -g - 3. Let i be ((-6)/g)/((-1)/6). Suppose -c - i + 32 = 0. Is c composite?
False
Let x = 127 + -56. Suppose -4*t = -2*s - x - 149, 5*s - 220 = -4*t. Is t a prime number?
False
Let x(a) = -a**2 - 3*a + 4. Let i be x(-3). Suppose 0*s = i*s - 88. Is s a prime number?
False
Let r(h) be the second derivative of h**3/6 + 3*h**2/2 + 3*h. Let d be r(0). Suppose d*z - 566 = -5*s, -4*s + 457 = z - 0*z. Is s a composite number?
True
Is (-213288)/(-104) + (-11)/13 + 1 a prime number?
False
Is (-42)/6 + 5 + 3661*1 composite?
False
Suppose 4*u + 3*h + 30 = -0*u, -2*u + 3*h = 24. Let z be 4/6 + (-12)/u. Is 6 - (z + (2 - 2)) composite?
True
Suppose -2*f - 3*m = 2*m - 1881, 2*f + m = 1901. Is f a prime number?
True
Let c be (-1853)/(-7) - (-2)/7. Suppose 3*i - c = 5*t + 343, 0 = -i + 4*t + 191. Is i a prime number?
True
Suppose 0 = -4*g - 4*y + 9*y + 2277, 0 = 2*g + 3*y - 1111. Is g composite?
False
Suppose 1220 - 336 = 4*b. Suppose 5*l = t + 579, 4*l + 2*t - 673 = -b. Is l a prime number?
False
Suppose 10 = 2*v + 4. Suppose -2*q + v = -21. Suppose q = 4*p, -x + 2*p + 242 = 3*x. Is x a prime number?
False
Let d be 1 + 5 - (0 + 2). Is (d/((-4)/7))/(-1) composite?
False
Let q(c) = 50*c**2 + 3*c + 4. Is q(-3) a composite number?
True
Let s = -3 - -5. Let z(k) = 8 - 3 - s - 4*k. Is z(-4) a prime number?
True
Let d be 1 + (-1 + 20 - -1). Suppose 3*p = -2*p - 40. Let z = p + d. Is z a prime number?
True
Let b be 388/6*(-9)/3. Let w = -67 - b. Is w a composite number?
False
Let c(f) = -2*f**3 + 2*f**2 + 3*f + 3. Let g be c(-2). Suppose -2*i - g = -83. Is i prime?
True
Suppose 351 - 103 = -4*r. Let j = r + 91. Let t = -10 + j. Is t composite?
False
Let y(i) = 4*i - 1. Let g be y(1). Let d(f) = 2*f**3 - 3*f - 1. Let b be d(g). Let c = b - 23. Is c composite?
True
Let x = 18 - 16. Suppose -3*g = x*w + 3*w - 4265, -w + 2*g = -853. Is w prime?
True
Let j(p) = 56*p + 37. Is j(12) composite?
False
Let o(v) = 2*v**3 + 9*v**2 - 15*v - 13. Let c(r) = -r**3 - 4*r**2 + 7*r + 6. Let a(h) = -13*c(h) - 6*o(h). Let s be a(-1). Is (4 + s - 76)/(-2) prime?
True
Suppose 1638 = 4*w + 110. Is w a composite number?
True
Let j be -3*(28/(-3))/4. Suppose 2*t - 3*n = j*t + 26, 2 = -n. Let g(r) = 7*r**2 + 6*r + 1. Is g(t) composite?
False
Suppose g + 3*c = -2*g + 24, -32 = -4*g + 4*c. Let b be (-36)/g*(-8)/6. Let z = 9 - b. Is z prime?
True
Let n be (-2)/5 + (-171)/(-15). Suppose 4*h = -4*c - 4, 3*h = 2*h - 3*c - 1. Is (-7)/h*(n + 0) composite?
True
Let y = 11480 - 2871. Is y a prime number?
True
Suppose 1 = -2*c + 3. Let y = -2 + c. Let h(v) = -22*v + 1. Is h(y) prime?
True
Suppose -2*a + 4*w - 61 = 3*a, -w + 31 = -3*a. Let c = 31 + a. Is c prime?
False
Let a = 4 - 8. Let x be a/(-6) - (-16)/12. Suppose -k = 5*y + 4*k - 320, k + 137 = x*y. Is y composite?
False
Let v(w) = -w**2 + 5*w + 6. Let h be v(6). Let k = h + 3. Is (-30)/(-5 - (-9)/k) prime?
False
Suppose 4*d + 111 - 363 = 0. Let x = -44 + d. Is x prime?
True
Suppose 0 = -4*i + 715 + 289. Is i a prime number?
True
Let k(y) = 7*y - 2. Let c be k(3). Let x = c + 172. Is x prime?
True
Suppose -3*k - 2*k = -155. Is k*2 + (3 - 6) a prime number?
True
Let m(g) = -g + 1. Let t be m(9). Let c(v) = 2*v**2 - 11*v + 7. Is c(t) a prime number?
True
Suppose -g + 2 - 1 = 0. Let c(i) = 3*i - 1. Let r be c(g). Suppose r*y = -2*f + 80, f - y - 28 = 2*y. Is f a composite number?
False
Suppose 1291 = 5*k - 4254. Is k a composite number?
False
Suppose 2956 = -27*t + 31*t. Is t composite?
False
Suppose 16163 = 5*l - 5*o + 9*o, 2*l - 6485 = 5*o. Is l prime?
False
Let z be (-13)/(-4) - 2/8. Suppose 7*w = z*w + 236. Is w composite?
False
Let t = -5 - -2. Let h(q) = -2*q**3 - 5*q**2 - 2*q + 4. Is h(t) a composite number?
False
Suppose 5 = 2*c - 5. Let n = c - 6. Is ((-4)/10)/(n/35) composite?
True
Suppose -2*o + 4*g = 3*g - 1, 3*g = 3. Let w be (-2 - -3) + o - -233. Suppose 5*t = -65 + w. Is t composite?
True
Let b = 109 - 74. Let u = -12 + b. Is u a composite number?
False
Let v(i) = -11*i - 3. Let o be 1 + -2 + 1/1. Suppose -x - 2 = -o*x. Is v(x) prime?
True
Suppose 3*k - 102 = 72. Let r = -15 + k. Is r a prime number?
True
Suppose -5*l + 247 = 3*m, 5*l + 178 = 3*m - 109. Is m a composite number?
False
Let j be (-95)/20 + 1/(-4). Let p(q) = -2*q**3 - 4*q**2 + 5*q - 6. Let a be p(j). Suppose 43 = -4*y + a. Is y composite?
False
Let r = -6 + 6. Suppose -y + r*y - 3*l + 6 = 0, 0 = y - 4*l + 15. Let b = 36 + y. Is b a prime number?
False
Let y be (-5 - -3) + -2 + 1. Let g = -2 - y. Is (-3)/(-3)*21/g a prime number?
False
Suppose 0 = -5*n - 5 - 10. Let m(v) = v**3 - v. Let b(s) = -3*s**3 + s**2 + 5*s - 2. Let j(q) = b(q) + 2*m(q). Is j(n) a composite number?
True
Let h = -48 + -159. Let a = 418 + h. Is a prime?
True
Let r = 1 + 3. Let w = r + 3. Is w a prime number?
True
Suppose -2 = 5*v + 23. Let n(r) = -r + 7. Let p be n(5). Is (-24)/10*v/p a composite number?
True
Is (27/6 - 3)*2636/3 a prime number?
False
Suppose 0*q - q - 1 = 0. Let j = 1 - q. Suppose 54 = 4*x - 2*a, j*a - a - 3 = 0. Is x prime?
False
Let t(k) = -2*k - 3. Let b be t(-6). Let l(h) = 9*h + 2 + 0*h - 14. Is l(b) composite?
True
Let s(o) = -o**3 + o**2 - 2*o - 1. Is s(-6) a composite number?
False
Let w = -15 + 27. Suppose -5*q - 5*h + 20 = 0, -7*q + 4*q = 2*h - w. Is (10/q)/((-2)/(-12)) prime?
False
Let o be 4/(48/9)*124. Let c be o/21 + 6/(-14). Is 248/c*(-15)/(-6) a composite number?
True
Let o be ((-5)/(-3))/(2/6). Suppose -5*b + 50 = -o*j, 11 + 9 = -5*j. Let d(u) = -u**2 + 12*u - 1. Is d(b) prime?
False
Let g = -7 - -1. Let y(h) = -h**3 - 7*h**2 - 7*h - 5. Let d be y(-6). Is 4*(d - g/8) composite?
False
Let s(x) = -x**3 - 2*x**2 - 5*x - 4. Let a be s(-6). Let z = 66 + 15. Let g = a - z. Is g composite?
False
Let c = 197 - 10. Is c a prime number?
False
Is 12/42 - (-8214)/14 composite?
False
Let l be -1 - 22 - -1 - 2. Let q = 15 + l. Is 2/(-3) + (-699)/q a composite number?
True
Let a(z) = -8*z**3 + 2*z**2 - 2*z - 7. Is a(-4) a composite number?
True
Is (-20046)/(-21) + (-9)/(-21) composite?
True
Is 6/(-21) - 2655/(-7) a prime number?
True
Suppose 56