y - z, -3*y + z + 12 = 0. Is (4 + d)*15/y a composite number?
True
Suppose 4 = -2*k, -3*p - 77 = -6*k + 4*k. Let n be (1 + -2)*-3 - 16. Let q = n - p. Is q a prime number?
False
Let a(c) = -117*c - 9. Let y be a(-18). Suppose b = -2*b + y. Is b composite?
True
Let d = -3 + 6. Let b(j) = -j**3 + 3*j**2 + j - 4. Let t be b(d). Is t/(-4) + 579/4 a prime number?
False
Suppose 4*b + 2255 = 9*b. Is b a prime number?
False
Suppose -5*h - 3*r + 9042 + 2549 = 0, -h + 2*r + 2313 = 0. Is h composite?
True
Let w(u) = u**2 + 3. Let h(v) = -v**2 - 2. Let b(l) = 3*h(l) + 4*w(l). Let y be b(-6). Let i = 25 + y. Is i a prime number?
True
Let t(z) = -2*z - 6. Let q be t(-4). Suppose 4*p - 6 = -q. Suppose -2*f = -13 + p. Is f composite?
True
Let t be (-5 + 16)*(1 + 0). Let j = t - 8. Suppose 5*z - 72 = -4*v, -j*v + 2*v = -3*z - 1. Is v a prime number?
True
Suppose 5*r - 8 = 2. Let j be (r + -1)/((-2)/(-4)). Suppose j*d - d - 22 = 0. Is d composite?
True
Let y = -40 - -431. Is y prime?
False
Let y(d) = d**2 - 19. Let l be y(0). Let c = l + 30. Is c composite?
False
Let q = 354 + 93. Is q composite?
True
Suppose 35 = -h + k - 12, 2*h - 4*k + 102 = 0. Let n = 13 - 21. Is 4/n + h/(-2) a composite number?
True
Is (-7 + 0)/(16/(-464)) a prime number?
False
Let f(m) = -6*m**3 + m**2 + 4*m + 4. Let y be f(-3). Let n = y + -36. Is n composite?
False
Let o(t) = 2*t**3 + 2*t**2 - 4*t - 1. Suppose 0 = -2*f - 4*k - 8, -3*f + 8 = -0*k + k. Suppose m - f = -0. Is o(m) composite?
True
Let u(p) = 2*p + 4. Let m be u(0). Suppose 0 = -5*s + 5, -m*s + 0*s = -4*l + 84. Is l a composite number?
True
Let h = 2 + 1. Suppose 0 = 5*p + 3*b + 6, h*b = 5*p - b - 8. Suppose 3*n + 0*n - 42 = p. Is n prime?
False
Let q = -682 - -280. Let h = 640 + q. Suppose -2*u + 4*u = h. Is u composite?
True
Let l(o) = 39*o - 4. Is l(7) a prime number?
True
Let u(f) = 22*f + 51. Is u(28) prime?
False
Let j(t) be the first derivative of -t**4/4 + 2*t**3 + t**2 - t - 4. Is j(5) prime?
False
Let p = -309 - -500. Is p composite?
False
Suppose -5*r = -10*r + 10. Is (2/r)/(4/60) composite?
True
Let x(p) = -p + 1. Let g be x(1). Suppose -5*z + 7 + 8 = 0. Suppose g = -z*h - h + 188. Is h composite?
False
Let j = -11 + 20. Let h be 43/9 + 2/j. Suppose h*v - 215 = -60. Is v composite?
False
Let k = -3 + 5. Suppose k*c + 14 = -14. Let y = 1 - c. Is y a prime number?
False
Suppose 0 = -4*p + 7*p. Suppose -4 = 2*q, p*j = -2*j - 4*q - 112. Let v = j + 73. Is v composite?
True
Let n = -108 + 274. Suppose 4*f - 222 = n. Is f a prime number?
True
Suppose -2*w - 2*f + 6 = -4, 0 = 4*w + 2*f - 20. Suppose -w*j = -5*c - 990, c - 250 = -4*j + 567. Is j composite?
True
Suppose -4*s + 4745 = 69. Is s a composite number?
True
Suppose -4*i = 3*j - 304, -5*j - 124 = -2*i + 54. Is i prime?
True
Suppose -2*f = -7*f + n + 673, -f + 2*n + 140 = 0. Is f a composite number?
True
Is (-2)/5 + (-747)/(-5) prime?
True
Suppose 3*y - 489 = -4*d, -2*y - 5*d + 159 = -167. Is y a prime number?
True
Suppose -4837 = -2*g - 0*g + 3*w, w + 1 = 0. Is g a prime number?
True
Let j(r) = -2*r**3 + 5*r**2 - 4*r - 4. Is j(-9) a prime number?
False
Suppose -2*d + 12 = -0. Is d/(-2) - -3 - -149 composite?
False
Suppose -10 - 5 = -5*c, -c = -2*l - 11. Is 58/((-4)/152*l) a composite number?
True
Let y be 36/12*(-10)/3. Is (2 - (-45)/(-6))*y a composite number?
True
Suppose 0 = 4*o - o. Suppose o = 2*m + 3 - 87. Let b = -11 + m. Is b a prime number?
True
Suppose 0 = 5*l + 151 - 786. Is l composite?
False
Let h be 10*4/16*2. Suppose 73 = n + h*m, -30 = -3*n - 4*m + 156. Is n a composite number?
True
Let g(k) = 7*k**2 - 10*k - 19. Is g(-6) prime?
True
Let z(j) = -9*j - 12. Is z(-3) composite?
True
Suppose -5*h = -2*t + 20, 5*h - t + 4*t = 5. Is (h/6)/(9/(-8289)) prime?
True
Suppose 0 = -g - 4*g + 2*n + 25, 2*n + 13 = g. Suppose -289 = -g*u + 146. Is u composite?
True
Let p(x) = -x - 5. Let f be p(-4). Let t be (-1 - (2 - 2))/f. Is 105/12 + t/4 a composite number?
True
Let k(d) = 7*d**3 + 3*d**2 + d. Let o be k(-2). Is (-1)/((-90)/o - 2) a composite number?
False
Suppose 58 + 191 = 3*q. Is q a prime number?
True
Let l = -80 - -126. Suppose -3*f = -2*f - l. Is f composite?
True
Let o = 381 - 213. Let x(p) = -114*p**2 - 1. Let w be x(1). Let q = o + w. Is q prime?
True
Suppose -4 = g - 74. Let m = g + -33. Is m a prime number?
True
Is (4*-127)/(-4)*1 prime?
True
Let i = -5 - -4. Let h(b) = b**3 - 3*b**2 + 2*b + 1. Let s be h(2). Is 7*(0 - i)*s a composite number?
False
Suppose 5*f + 3*s = -2*s + 5, -3*f - 5*s - 3 = 0. Suppose a + f*m = -2*a + 230, -3*a + 3*m = -216. Suppose a = 5*u - 31. Is u a prime number?
False
Suppose -p + 300 = -6*p. Let r = p - -395. Is r composite?
True
Suppose 8 = 3*h + 2. Suppose -h*m + 1061 - 87 = 0. Is m composite?
False
Let x(c) be the second derivative of c**5/20 - c**4/2 - c**2 - 2*c. Suppose -6*g = -2*g - 4*p - 20, p = 4*g - 26. Is x(g) a composite number?
False
Suppose 2*b = -3*f + 4*b + 7, -4*f - 3*b + 15 = 0. Suppose 2*w + 2*u + 2*u = 58, 0 = 3*w - f*u - 69. Suppose y - 6 = w. Is y a composite number?
False
Suppose -125 = -5*h - 0*x + 3*x, 5*h - 5*x - 135 = 0. Suppose -g = 2*s + 22, 0 = -s - s - 3*g - h. Let t = 18 + s. Is t a composite number?
False
Suppose 0 = l - 4*c - 135, -5*l + 270 = -c - 386. Is l a composite number?
False
Suppose 2*n + p = -155, -165 = n + n + 3*p. Let o = 126 + n. Is o composite?
True
Suppose -19 = -w + 2*b + 2*b, 4*b + 17 = 3*w. Let o(x) = x**2 + 7*x - 9. Let s be o(-8). Is 6/2 + (s - w) a prime number?
True
Let u = 1008 + -629. Is u a composite number?
False
Let s(y) = 5*y**3 - y**2 + y - 1. Suppose 3 = 5*q + 4*h - 3, h + 1 = 0. Is s(q) composite?
False
Let y = -137 - -95. Let v = y - -157. Is v composite?
True
Let q = 1528 + -245. Is q prime?
True
Let o be 2 - ((-2)/2 - 1). Suppose -o*q - 927 = -7*q. Let a = q - 182. Is a prime?
True
Let u(k) be the second derivative of 4*k**5/5 - k**3/3 + 3*k**2/2 - k. Is u(2) prime?
True
Suppose 25 = -3*w + 145. Suppose o + w = 131. Is o a prime number?
False
Let y be 3 + 1*(-2)/(-2). Let m = 1 + y. Let p(c) = c**3 - 2*c**2 + c - 1. Is p(m) prime?
True
Is (5570/(-40))/((-2)/8) a prime number?
True
Let y = 7 - 9. Is y/8 + 1143/12 a prime number?
False
Is ((-1072)/24)/((-2)/(-99)*-3) composite?
True
Let s = -10 - -2. Is 3 - s/3*3 a prime number?
True
Let c(d) = 2*d + 4*d + 3 + d**3 + 12*d**2 + 3*d. Is c(-10) a prime number?
True
Suppose 3*y - 124 = 1283. Is y a composite number?
True
Let r = 1344 - 245. Is r prime?
False
Let y(z) = z**2 - 5*z + 5. Is y(15) a composite number?
True
Let l(m) = m**3 + m**2 - 5*m - 2. Let k be l(5). Is -2 + 0 + 2 + k prime?
False
Let y(h) = h**3 + 2*h**2 + h + 761. Is y(0) a prime number?
True
Suppose 317 + 603 = 8*u. Is u a prime number?
False
Let u be (16/4)/((-4)/(-6)). Suppose 4*w - 98 = -2*y, 3 = -3*w - u. Is y composite?
True
Suppose -5*g = f - 0*f - 151, 0 = f + g - 135. Is f composite?
False
Let s = -11 + 13. Suppose -2*h + 4*x + 84 = 2*x, s*h = 3*x + 89. Is h a prime number?
True
Suppose 3*m = -15, 0 = 4*t - 5*m + m - 4. Let f(k) = -31*k + 3. Is f(t) a composite number?
False
Let p = -7 + 5. Is p*3/6 + 84 a prime number?
True
Suppose -5*v + 403 = 4*y, 0 = 2*y - 2*v - 184 - 4. Is y composite?
False
Is -1 + (-3 - -202)/((-3)/(-42)) composite?
True
Let b(a) = 2*a**2 + 13*a + 13. Is b(-14) a composite number?
False
Let p = 6159 - 4120. Is p a composite number?
False
Suppose -20 = 5*k, 3*y + 2*y + 4*k = -16. Suppose y = 4*p - 6*p + 382. Is p a composite number?
False
Suppose -2*h - 59 = -17. Is (-1)/1*h - 2 a prime number?
True
Let d(n) = 6*n - n + 6*n**2 - 3*n - 2 - n. Is d(7) composite?
True
Let q(s) = -s**2 + s - 2. Let v(m) = 6*m**2 - 6*m + 10. Let g(w) = 16*q(w) + 3*v(w). Is g(-3) composite?
True
Let c(g) = g**3 - 8*g**2 - 14*g + 12. Suppose -3*u = -3*i + 21, 5*i - 2*u = -u + 43. Let m be c(i). Let b = 59 + m. Is b composite?
True
Suppose -4*k + 24 = 3*c - 2*c, -k + 21 = 4*c. Suppose -s - s + c = 0. Suppose -o = -0 - s. Is o a prime number?
True
Let d(k) = -k**3 + 15*k**2 + 13*k - 34. Is d(15) composite?
True
Let x(v) = v**2 - v + 7. Let r be x(-12). Let j = 77 - 7. Let a = r - j. Is a a prime number?
False
Let c = -192 - -341. Let t = c - 30. Is t prime?
False
Suppose 16*b + 4652 = 20*b. Is b a prime number?
True
Let c = -4 + 5