 Is q prime?
False
Suppose -4 + 3 = -n, -4*i = -5*n - 7871. Is i prime?
False
Suppose -24*g = -19*g - 9110. Is g a prime number?
False
Let n(z) be the third derivative of -z**5/30 - 7*z**4/24 + z**3/6 + z**2. Let x be n(-5). Let s = x - -47. Is s prime?
False
Let a(i) = 227*i**2 + 3. Is a(-2) a composite number?
False
Suppose 0 = l - 5*g + 1 + 3, 2*g = -5*l + 61. Suppose -3*b + 11 = c - l, -26 = -4*b - 2*c. Suppose 4*k - b*k = -50. Is k a prime number?
False
Let j(l) be the first derivative of -l**4/4 - 2*l**3/3 - 5*l**2/2 + l - 1. Let o = -14 + 10. Is j(o) a composite number?
False
Let n = -4200 - -6047. Is n a composite number?
False
Let y = -4 - -8. Suppose 0*p - 5*n = y*p - 23, -4*p + n = -5. Is p prime?
True
Let s = -7 + 7. Suppose -3*m + 48 + 24 = s. Is (-4)/m - 283/(-6) prime?
True
Suppose o = 4*o - 9. Let v(b) = -4 + 4 - 4*b - 2 + o + 2*b**2. Is v(6) composite?
True
Let f(w) be the second derivative of 23*w**3/3 - 7*w**2/2 + 3*w. Is f(5) composite?
False
Let i(t) be the first derivative of -t**2/2 + 8*t + 1. Let o be i(8). Suppose -3*m + 2*m + 53 = o. Is m a prime number?
True
Let u(c) = -c**2 - 9*c - 3. Let n be u(-8). Suppose 3*z - 25 = -n*s, 7 - 26 = -5*z + 3*s. Suppose w = z*w - 148. Is w composite?
False
Let b be (5 - 5)*2/4. Let x = -7 + 12. Suppose 0 = 2*y - b*y + 5*z - 117, -3*z = -x*y + 246. Is y prime?
False
Let n(l) = -l**3 - l**2 + l. Let s(w) = w - 1. Let y be s(1). Let o be n(y). Suppose 0*g - 4*g + 136 = o. Is g a prime number?
False
Suppose -2*u + 5*g = -1884, -u = 2*u - 2*g - 2848. Is u/6 + 2/6 composite?
True
Let q(g) = 6*g**2 + 7*g - 11. Is q(10) composite?
False
Let y(b) = -b - 1. Let s be y(1). Is ((-6)/s)/(6/38) a composite number?
False
Suppose -5*p = -b + 21, 3*p - 56 = -b + p. Is b composite?
True
Let n(k) = k**2 + 7*k + 3. Let w be n(-7). Let f = -3 + w. Suppose f = -2*d + 45 + 17. Is d composite?
False
Let i = -390 + 729. Is i a prime number?
False
Let k be (-135)/(-12) + (-2)/8. Suppose r = k + 8. Is r a prime number?
True
Let w be 1622/5 + 6/10. Suppose 0 = -3*n + 8*n + 2*c - w, -2*c - 211 = -3*n. Is n prime?
True
Let f(g) = -g**3 + g**2 - g + 5. Is f(-4) a composite number?
False
Let o = 58 + -5. Let l be (-2)/(-6) + o/3. Is 633/l + 2/(-12) a composite number?
True
Let w = -4 - -23. Let q = w + -5. Is q prime?
False
Suppose -2*b + 843 = -955. Suppose 3*m - b = 238. Is m composite?
False
Let g be 5/5 - 4*-62. Suppose 4*c = c + g. Is c prime?
True
Suppose 0 = -3*i + 2*s + 1497, i - s = 5*i - 1996. Is i a composite number?
False
Let v(i) be the first derivative of i**4/2 + 4*i**3/3 + i**2 + 6*i + 2. Let n(g) = g**3 + g**2 + 1. Let p(b) = -5*n(b) + v(b). Is p(-3) composite?
False
Is (1 - 0) + 217 + (25 - 24) a prime number?
False
Let p be (-4315)/(-20) - (-3)/(-4). Is (4 - 4 - -2) + p a prime number?
False
Let f = -342 - -1033. Is f prime?
True
Suppose 533 = 4*n + 3*f - 6*f, -4*f - 143 = -n. Is n prime?
True
Let f(u) = -20*u**2 + 4*u - 6. Let g be f(-5). Let d be g/(-4) - (-9)/6. Let m = d - 54. Is m prime?
True
Let u = -22 + 46. Let h = 13 + u. Is h a composite number?
False
Suppose 5*v - 3*m - 184 = 0, 4*m - 93 = -0*v - 3*v. Is v composite?
True
Suppose -5 = -c + 1. Let w(y) = -15*y + 13. Let j(u) = -7*u + 6. Let b(o) = c*w(o) - 13*j(o). Is b(3) prime?
True
Let l = 189 - 4. Is l a composite number?
True
Let n(i) = i**3 - 11*i**2 - i - 1. Let c be n(9). Is (c/6)/((-1)/3) composite?
True
Let f = 371 + 114. Is f prime?
False
Let b be (12/(-21))/(6/(-21)). Let c = b + 33. Is c a composite number?
True
Let p(c) = c**2 - 9*c + 8. Suppose 2*u + 5*v = 6, 2*v = -u + 3*v + 10. Let q be p(u). Suppose -4*g - 24 + 476 = q. Is g composite?
False
Suppose 5*a - 24 = 3*d, 6*a + d = 4*a + 14. Suppose -2*k + a = -0. Is k prime?
True
Suppose -5*j + 14 + 11 = 0. Let g = 8 - j. Is g a composite number?
False
Let y(l) = -16*l - 1. Let s be y(1). Let g = s + 7. Let v = 20 + g. Is v composite?
True
Is (-271973)/(-78) + (-2 - (-26)/12) a composite number?
True
Let v(d) be the third derivative of -2*d**2 + 1/12*d**5 + 0 + 1/6*d**3 + 0*d + 1/24*d**4. Is v(-2) a composite number?
False
Let y(p) = -p**2 - 4*p - 1. Let b be ((-2)/(-4))/(1/(-6)). Let s be y(b). Let m(u) = 27*u - 1. Is m(s) prime?
True
Suppose 8 = 4*u - 0. Suppose u*j - 4*g = 94, 2*g = -4*j + 5*g + 203. Is j prime?
True
Suppose 4*h - 16 = -2*m, -m = -2*h + 3*m + 8. Suppose 386 = 3*n - h*k - 101, 0 = n + 3*k - 158. Is n a prime number?
False
Suppose 9135 = 5*a + 4*q, 5*a + 9130 = 10*a + 3*q. Is a a prime number?
True
Let l(u) = 82*u - 3. Let f be l(5). Suppose -5*w + 653 = -f. Suppose -2*j - w = -6*j. Is j prime?
True
Let t = -254 + 2227. Is t composite?
False
Suppose -i + s = 4*s - 91, -5*i + 455 = 5*s. Is i prime?
False
Let o(g) = 2*g**2 + 1. Let q be o(2). Suppose 0 = z - 0*z - q. Is z a composite number?
True
Let o(z) be the second derivative of 117*z**4/4 + z**2/2 + 10*z. Is o(-2) a composite number?
True
Let c be (-4)/14 - 96/(-42). Is 1162/(-4)*(c + -4) a composite number?
True
Let o(l) = -l**3 - 6*l**2 + 5. Let d be o(-6). Let x(h) = -h**3 + 4*h**2 - h - 2. Let s be x(2). Suppose 3*k - 71 = 2*c, k + s*c + 96 = d*k. Is k composite?
False
Let r(u) = u**2 + 4*u + 7. Is r(-6) a prime number?
True
Suppose 20 = -3*l + 7*l. Let q = l + 0. Let x = q - -10. Is x prime?
False
Suppose -s + 37 = 3*x, -x + 5*x - 37 = -s. Let f = 90 - s. Is f a prime number?
True
Let g(i) = -i - 12. Let l be g(-12). Suppose -t - 18 + 160 = l. Is t a composite number?
True
Let w(b) = 39*b - 19. Is w(8) composite?
False
Is ((-1731)/9)/(14/(-21))*10 a composite number?
True
Suppose 0*n - 3*n - 6 = 0. Let d be (-8)/n + 0/2. Is (2/d)/((-1)/(-70)) composite?
True
Let l = 8312 - 1923. Is l a prime number?
True
Let t = -329 + 666. Is t composite?
False
Suppose 0*q + 245 = 5*q. Suppose 4*k - 365 + q = 0. Is k composite?
False
Suppose 0 = -0*s - 5*s + 930. Suppose j + 2*j - s = -r, 2*j + 4*r - 124 = 0. Let g = j - -7. Is g a composite number?
True
Suppose -3*a + 8 + 7 = 0. Suppose -a*w + 2095 = -0*w. Is w a prime number?
True
Let x(u) = u**3 - 8*u**2 + 13*u + 15. Is x(11) composite?
False
Suppose 3*g = -3*g + 2514. Is g a composite number?
False
Let s(b) = -9*b - 7. Let c(r) = 26*r + 20. Let p(a) = -6*c(a) - 17*s(a). Let t be p(-2). Suppose -6*v + 2*v = 5*u - 271, t*v = u + 375. Is v composite?
True
Suppose -3*l - 2*l - 25 = 0. Let c = 16 + l. Is c composite?
False
Let t(l) = -l**2 - 7*l - 6. Let o be t(-5). Let x(c) = 5*c - 2. Let h be x(o). Is (-4)/h + 256/18 composite?
True
Suppose -19 = 5*p - o + 7, p + 3*o + 2 = 0. Let d = -3 - p. Let k = d + 4. Is k composite?
True
Suppose -2*i + 5*c = -21, c - 6 + 1 = 5*i. Is i/10 - (-21984)/20 a prime number?
False
Let p(s) = -119*s - 95*s - 3 - 2*s. Let r be p(-4). Suppose 2*m = 5*m - r. Is m composite?
True
Let d(h) = 3*h**3 - h**2. Let l be d(1). Suppose 4*j = -4*p + l*j + 134, -4*j = -p + 29. Is p a prime number?
False
Let p = -4754 - -7983. Is p composite?
False
Let a(u) = 77*u**2 - 5*u - 1. Let n(f) = f**2 - f. Let k(y) = a(y) - 5*n(y). Is k(1) a prime number?
True
Let p = -5 - -2. Let u(f) = f**3 - 3 - 3*f - 3 + 7 - 2*f**3. Is u(p) a prime number?
True
Let s be (-1)/5 + (-1728)/(-15). Suppose s = 8*f - 3*f. Is f a prime number?
True
Suppose 4*h = 5*h. Suppose -2*i + 5*l + 0*l + 106 = h, 5*l + 235 = 5*i. Is i composite?
False
Suppose 425 = -z + 6*z. Is z*2*6/20 a composite number?
True
Suppose j - o + 2 = -0*j, 3*o - 22 = -5*j. Is ((-19)/2)/(j/(-8)) a prime number?
False
Let z(i) be the second derivative of i**5/60 + i**4/12 + i**3 + 3*i**2/2 + 2*i. Let c(n) be the first derivative of z(n). Is c(-4) prime?
False
Let s(i) = i**3 - 5*i**2 + 4*i + 3. Let n be s(4). Suppose 2 - 17 = -n*m. Suppose m*b - 117 + 2 = 0. Is b composite?
False
Let b = 32 - 17. Suppose -4*v - h = -b, v - h = -5*h + 15. Suppose v*d - 10 = 11. Is d composite?
False
Let h = 407 + -42. Let p = h - 112. Let x = 366 - p. Is x composite?
False
Let g be 0/(-2 - (0 + 0)). Suppose g = -4*w + 418 - 54. Is w prime?
False
Let c be 1/(9/(-6))*3. Let x(o) = 14*o**2 + o + 3. Is x(c) a prime number?
False
Let n = 66 - -1. Is n a composite number?
False
Let o be (-2)/(-7) - (-18873)/21. Let m = o - 309. Suppose 2*r = -3*c + 443, 3*r = -4*c - 0*r + m. Is c a composite number?
False
Let p(w) = -160*w + 