mber?
True
Let m = 8 + -5. Suppose 9 = m*q, 0 = p - 3*q + 2*q. Suppose 703 = p*a + 64. Is a a composite number?
True
Suppose 0 = k + k - 16. Let u be 268/k*(-3 - -1). Let n = u - -152. Is n composite?
True
Is 10766746/442 - (-4)/(-26) a prime number?
True
Suppose -13*a = -14*a + 16. Suppose -k = -2, -w + 5*k - a = -3*w. Suppose w - 415 = -4*j. Is j a prime number?
True
Is 24753/6*-2*(-17)/17 composite?
True
Suppose u - 9 = -5*c, u - c - 8 = 1. Let a(b) = b**2 - 8*b - 7. Let k be a(u). Is 1 - (-70 + (k - 0)) composite?
True
Suppose -7*v + 5*v = 0. Suppose q = -4*l + 352, 5*l - 2*l + 3*q - 273 = v. Let i = l + -52. Is i a composite number?
True
Let i(b) = 4*b**2 + 75*b - 414. Is i(-73) prime?
True
Let b(m) = -5*m**3 + m**2 + m - 1. Let i be b(-1). Suppose -z + 4 + i = -5*h, h + 8 = -3*z. Is -2 - (z + 5*-379) a composite number?
True
Let x be (1 - 2)/(2/(-28864)*-4). Let t = x - -6997. Is t prime?
True
Suppose -3*l + 865 = 127. Let t = l + 95. Suppose 2*z = t + 15. Is z prime?
False
Let y(i) = i**3 - 5*i**2 + 3*i + 4. Let k be y(4). Let f be 3 + k + (-2 - -2). Is 68 + 4*f/4 a prime number?
True
Let m(y) = -4*y**3 + 2*y**2 + 2*y + 2. Let n be m(-1). Suppose d = n*d + 3*x - 779, 0 = x + 2. Is d prime?
True
Let d(m) = -8*m - 15. Let n(w) be the first derivative of -w**3/3 - 5. Let j(u) = d(u) - n(u). Is j(-14) a composite number?
False
Let o(g) = g**2 - 7*g + 6. Let l be o(3). Is 3/l*(2 + (-903 - 1)) prime?
False
Let y(x) = 1989*x - 65. Is y(4) prime?
False
Let n(o) = 5*o + 46. Let q(j) = -2*j - 15. Let u(i) = 3*n(i) + 8*q(i). Let t be u(13). Suppose 49 = w - t*a, 2*w = 3*w + 5*a - 49. Is w a composite number?
True
Let z(s) be the first derivative of 17*s**3/3 + s**2/2 - 13*s + 42. Is z(-5) a prime number?
False
Let x = -3077 - -4731. Suppose 5*i = x - 13354. Is 3 + (i/3)/(-3) a prime number?
True
Let k be 7 + (-3 - (0 + -3)). Suppose 2*d = -2*d - 5*h - k, 0 = 4*d + 4*h + 4. Suppose -d*f + 2*z - 4*z + 20 = 0, 3*f - 9 = 4*z. Is f a prime number?
True
Let d(c) = -463*c**3 - 4*c**2 - 7*c - 5. Is d(-3) composite?
True
Suppose -2*i - 3*i = -25. Suppose 4*v = y - 123, i*y + v - 286 = 287. Is y a composite number?
True
Let g(r) = 191*r**2 - 12*r + 1. Is g(-2) a prime number?
False
Let i(q) be the second derivative of -q**4/12 - q**3 - q**2/2 + 5*q. Let o be i(-6). Let p(w) = -156*w**3 - 1. Is p(o) a composite number?
True
Let n(t) = -t**3 + 10*t**2 - 9*t + 3. Let i be n(9). Suppose 0 = -18*j + 15*j + 9. Suppose 0 = 5*z + i*u - 367, -3*u - j = -0. Is z prime?
False
Suppose -7*d + 2*d - 4*x = -8981, -2*d + 2*x = -3578. Is d a prime number?
False
Suppose k + 14 = 4*z, 2*k = -4*z - 5 + 25. Suppose z*m = -m + 1315. Suppose -2*j + 159 = c, -3*c + 3*j + 223 + m = 0. Is c prime?
False
Let v(z) = -z + 22. Let w = 31 + -31. Is v(w) prime?
False
Suppose -3*g = -2*n + 3883, -14*g - 5827 = -3*n - 10*g. Is n prime?
True
Let u(h) = 22*h + h**2 - 7 - h**3 + 15*h**2 - 2*h**2 + 3*h. Is u(13) prime?
True
Let h be (-1*(4 - 7))/(9/78). Suppose -h*w + 31*w - 3455 = 0. Is w a prime number?
True
Let p(k) be the third derivative of -3521*k**6/120 + k**5/60 - k**3/6 - 15*k**2. Is p(-1) prime?
False
Suppose 1834 = -0*f - f + 3*s, -3*f - 5470 = -s. Is f*(4 + 9/(-2)) composite?
False
Let p(i) = -7*i**2 - 2174 + 2189 - i**3 - 6*i + 0*i. Is p(-8) prime?
True
Suppose -21*b + 23*b - 5182 = 0. Is b a composite number?
False
Let a(b) = 5153*b - 22. Is a(5) a prime number?
False
Is (-37)/7 + (-40)/(-140) - -5956 composite?
True
Let h(o) = -5*o**3 + 6*o**2 - 14*o - 68. Is h(-15) prime?
True
Let a be 4 - (1 + -2 - -3). Suppose 3*v - 7835 = -4*c, 0 = -a*v + 3*c - 269 + 5481. Is v a prime number?
True
Let f be ((-2)/3)/((-12)/18). Suppose f + 3 = -4*l. Is ((-58)/(-4))/(l/(-6)) a prime number?
False
Let r(y) = -2*y**3 - 13*y**2 + 6*y - 22. Is r(-9) prime?
False
Let o = -13 + 31. Let i = o - -15. Is i prime?
False
Suppose -g = r - 613, 2*r = -4*g + r + 2443. Suppose -6*z = -g - 10760. Is z composite?
True
Let l = -99 + 101. Is l/5 - 23408/(-80) prime?
True
Suppose 5*j = 4*j + 8. Let z(r) = 2*r**3 - 8*r**2 - 15*r - 3. Is z(j) composite?
False
Suppose -2*l + 4*l = 3180. Suppose -t = -7*t + l. Is t prime?
False
Suppose 2*x - 5 - 7 = 0. Suppose x*a - 9 = 3*a. Suppose 5*o - 53 = 3*b + 820, 2*o = a*b + 342. Is o composite?
True
Let f(k) = k**3 - 28*k**2 - 57*k + 59. Is f(30) a prime number?
True
Let u(w) = -w**2 + 24*w - 8. Let m be u(-18). Is ((-12)/(-8))/((-6)/m) a prime number?
True
Let t = 310 + -143. Suppose -4*k - t = -1051. Is k a composite number?
True
Is 10116 - (8 + -1)/((-51)/51) a prime number?
False
Let u(o) = 519*o**2 - 5*o - 25. Is u(4) prime?
False
Suppose 0 = 4*n + 2744 + 6424. Let s = n + 3547. Is s composite?
True
Let w = -27 + 30. Let t(i) = -i**w + 8 - 2*i**2 - 6*i**2 - 3. Is t(-10) composite?
True
Suppose -4*u + 2*j = 22, u - 5*j + 27 = -2*u. Let n(d) = d**3 + 3*d**2 - 3*d - 1. Let l be n(u). Is (-2)/10 + (-1856)/l composite?
True
Let p(g) be the third derivative of g**4/12 + 23*g**3/6 + 5*g**2. Let x be p(-10). Suppose -3*v - 154 - 307 = -4*n, x*n = -5*v + 382. Is n composite?
True
Let f = 216891 - 138424. Is f a composite number?
False
Suppose -3*c = c. Is 53*(c + -1)*-1 composite?
False
Suppose 0 = -g - 2*f + 8925, -3*g + 8*g = 3*f + 44612. Is g composite?
False
Let v = 81 - 49. Is (-1555)/(-2)*v/40 prime?
False
Let d(m) = 5*m + 5 + 7*m**2 - 8*m**2 + 40*m**2. Is d(-5) prime?
False
Suppose -3*q + 5*i = -49, -22 = -7*q + 3*q - 2*i. Let f be (-70)/q - (-27)/36. Is -1 - (f/(-4) + -422) a composite number?
False
Let g(d) = -d**2 - 3*d + 3. Let p be g(-3). Suppose -4*v + p*m = -155, -4 = -2*m + 2. Suppose -4*q + 5*o - 2*o + 43 = 0, -v = -3*q + 4*o. Is q composite?
False
Let t = 9867 - 6740. Is t prime?
False
Suppose 4848 = 2*z + 2*m, 12165 = -2*z + 7*z - 4*m. Is z a prime number?
False
Suppose 5208 = 5*m - 3*a, 2*m + a = 3121 - 1040. Let c = m + -722. Is c composite?
True
Suppose 0 = 2*d - 5*u - 3, -2*d - 3*u = 3*d - 23. Suppose -5*j - 428 = -4*z - j, -d*j + 349 = 3*z. Is z a composite number?
True
Is ((-1179)/27)/(((-1)/(-21))/(-1)) composite?
True
Let g = -2669 + 5536. Let k = 6906 - g. Is k composite?
True
Let c(h) = -h**3 - h**2 + 2*h + 134. Let l = 16 + -16. Is c(l) prime?
False
Suppose -m - 1 = -3. Suppose 2*f - m - 2 = 0. Suppose -165 = -u - f*u. Is u prime?
False
Suppose -2610 - 442 = -b + 3*o, 0 = -3*b - o + 9146. Is b composite?
False
Let n = 81 + -78. Let o = -57 - -114. Suppose -n*y + 396 = o. Is y a prime number?
True
Let i(m) = 5*m - 17. Let o be i(4). Let u(n) = 213*n - 4. Is u(o) prime?
False
Let n(u) = 93*u**3 - 2*u**2 - 3*u + 19. Is n(5) composite?
False
Suppose 0 = 5*j + 5*d - 21650, -2*j = -0*j + 4*d - 8666. Is j prime?
True
Suppose 3*o = 3*m - 606, 3*o - 4 - 2 = 0. Let b = m + 169. Is b composite?
False
Suppose 2*z = r - 11171, -17*r + 15*r + 3*z + 22345 = 0. Is r a prime number?
True
Let x = 7163 + 8336. Is x a composite number?
True
Let f(d) = d**2 - 2*d - 3. Let c be f(-2). Suppose -c*x = -3*q + 5*q + 130, 5*q - 2*x + 354 = 0. Is 6/2*q/(-6) composite?
True
Let z be -3*(-16)/(-12)*-1. Let a be 3 + (0 + z)/(-4). Suppose 880 = 4*n - 3*p, -5*n + n - a*p = -900. Is n a composite number?
False
Suppose 24985 = 32*q - 264775. Is q prime?
False
Let k be (52/5)/((-22)/(-495)). Suppose -k = -3*z + 267. Let n = 252 - z. Is n a prime number?
False
Suppose 2*q - 37*m = -34*m + 13711, -3*q = 3*m - 20574. Is q a composite number?
False
Let p = -1537 - -912. Let i = p - -1096. Let h = i + -238. Is h composite?
False
Let z(o) = 8*o + 2*o**2 - 9 + 0*o**2 + 2*o**2 - 5*o**2. Let t be z(6). Suppose t*c = 820 + 137. Is c a prime number?
False
Suppose 4*b = 2*y - y + 1, 2*b = -2*y + 8. Suppose y = -5*r + 23, 360 = 4*l - r. Is l a prime number?
False
Let l = 1 + -2. Let v(o) = -1159*o - 2. Let y be v(l). Let m = y - 804. Is m a composite number?
False
Let r be (-100)/6 + 6/(-18). Let j(b) = b**2 - 10*b + 28. Is j(r) prime?
True
Let h be (2 + -3)*-1*(12 - -2). Let s = h - -207. Is s prime?
False
Is (178002/(-14) - 240/420)/(-1) composite?
True
Let h be (-52)/8 - (-2)/(-4). Let w(m) = -m**2 + 337. Let l(x) = 2*x**2 - 674. Let r(d) = h*w(d) - 4*l(d). Is r(0) prime?
True
Let k(j) = 14 - 118*j - 8 - 9. Is k(-5) a prime number?
True
Let o(x) be the second derivative of -67*x**3/3 - 13*x