/(-2))/((-2)/(-4)). Let v = s - 702. Is v a composite number?
True
Let m = 3 + -3. Suppose m = 2*h - 2*l - 2*l - 22, -l = h + 1. Suppose h*c = -p + 15, -5*p + 5*c + 15 = -0*p. Is p a composite number?
True
Suppose 0 = -20*o + 16*o + 3628. Is o a prime number?
True
Let w(k) = 3*k**2 - k - 7. Let j(s) = -5*s**2 + 2*s + 11. Let h(t) = -5*j(t) - 8*w(t). Let x = 13 + -15. Is h(x) prime?
False
Suppose -5*j + 2 + 18 = 0. Let x be 3 + (-100)/(0 - 5). Let i = x - j. Is i a composite number?
False
Let q = -3 - -3. Is 3*(356/12 - q) prime?
True
Suppose 3*q - 4 = -1. Let a = q - 2. Is (-402)/6*1/a a prime number?
True
Let t be ((-4)/(-3))/(2/6). Let w be 2 - t*(-15)/1. Suppose -5*g = -43 - w. Is g a composite number?
True
Suppose 8 = 2*q, 2*q + 439 = 2*d + d. Suppose j = 2*m + d, -3*j + m - 6*m = -414. Is j composite?
True
Suppose 5*h = 3*i - 0*h - 161, -3*i - 3*h + 153 = 0. Suppose -4*j + 8*j = i. Is j a prime number?
True
Let k(n) = -3*n - 3. Let c be k(-2). Suppose l = -4*s + 4, -c*s + 3 = 3*l - 2*l. Let w = l + 6. Is w a prime number?
False
Suppose s - 4*k = 6*s - 193, k = 2. Suppose -2*m = -m - s. Is m prime?
True
Suppose 17 - 41 = -2*x. Let d be x/(-8) - 9/(-2). Suppose 9 = 4*v - d. Is v prime?
True
Suppose 6*h = -4*h + 4220. Is h composite?
True
Suppose 4*i = i + 342. Suppose 0 = 2*k + 40 - i. Is k a composite number?
False
Suppose -3*g - 6 = -3. Let x(y) = -116*y - 6. Let t(f) = 23*f + 1. Let m(c) = -11*t(c) - 2*x(c). Is m(g) composite?
True
Is (1/4)/((-2)/(-5912)) prime?
True
Let q(c) = 4*c**2 + 2*c - 1. Let s be q(1). Suppose 0 = 5*o + 5*m - 60, s*o - m - 53 - 25 = 0. Is o composite?
True
Is 4/30 + (-630799)/(-195) a composite number?
True
Suppose -4*q + 3*z = -2630 + 635, 4*q + 3*z - 2013 = 0. Is q composite?
True
Suppose -4*z + 5 = a - 14, 2*a = -3*z + 18. Suppose z*w - w = 12. Suppose -2*m - 84 = -w*o + 174, -15 = -3*m. Is o a prime number?
True
Suppose f + f = 76. Is f a composite number?
True
Suppose 79 - 287 = -4*t + 5*c, -c + 52 = t. Suppose t = 4*q - 280. Is q a prime number?
True
Suppose -1004 = -2*g - 3*x, 0 = -3*g - 5*x + 803 + 703. Is g a composite number?
True
Let i be (-59)/((-33)/15 - -2). Suppose 0 = -3*o + 2 + 1. Suppose -2*y - o = 5, -2*l = y - i. Is l prime?
True
Let s(u) = 5 - 22 - 26*u + 2. Is s(-6) a composite number?
True
Let f(o) = o**3 - 4*o**2 - 4*o + 3. Let q be f(4). Let t = q - -51. Let l = t - 19. Is l prime?
True
Suppose 5*i = -2*z - 16, 4*i = -0*z - z - 14. Let j(o) = 9 + 3*o**2 + 4*o**2 - o + 3*o**3 + 7*o - z*o**3. Is j(-6) a composite number?
True
Is 18/(-48) + 11830/16 a composite number?
False
Let s = -4 + 4. Suppose x = -4 - s. Is x - -15 - (1 - 3) a composite number?
False
Let x(m) = 3*m**2 + m. Let l be x(-2). Suppose 0 = t - 0*t - l. Suppose -20 - t = -3*w. Is w prime?
False
Suppose -4*k = -950 - 1730. Suppose 3*z - 209 = k. Is z composite?
False
Suppose -175 = -63*u + 56*u. Is u a composite number?
True
Let c = 253 - 673. Let m = -41 - c. Is m a prime number?
True
Suppose -31 = 2*n + q, 2*n - 5*q + 7 = -6. Let v(a) = a**3 + 12*a**2 + a + 5. Let p be v(-12). Let h = p - n. Is h a prime number?
True
Suppose -2*r = -r + 12. Let h be (r/8)/((-3)/42). Is (58/(-2))/((-3)/h) a composite number?
True
Let y(c) = c**3 - 6*c**2 + 3*c - 4. Suppose 11 + 13 = 4*z. Is y(z) a prime number?
False
Suppose -5*v + 16 - 1 = 0. Suppose -2*a + 0*s + v*s = -100, 3*s = 3*a - 153. Is a a prime number?
True
Let l = 2 - 8. Let x(w) = w**2 + 7*w + 9. Is x(l) a composite number?
False
Suppose 0 = -4*h + 4*u + 32, -h = h - 4*u - 24. Suppose 3*l + l + h = 0. Is 7*5*(2 + l) prime?
False
Let f(d) = d**3 + 3*d**2 - d - 4. Let q be f(-3). Let h be (2 + (-19 - -2))/q. Is h - (4/(-2) + 2) a composite number?
True
Suppose 4*i + 3*u = -52, 0*i - 4*u - 26 = i. Let h = i - -32. Is h a prime number?
False
Let x(h) be the first derivative of -37*h**4/4 + 2. Let w(n) = -n**3 + 5*n**2 - n + 4. Let f be w(5). Is x(f) composite?
False
Let x be (-4)/6 - 2/(-3). Suppose -i + 33 = -x*i. Is i composite?
True
Suppose 4*x - 5*d + 32 = 0, x - 2*d - 3*d = -23. Let w = x + 3. Suppose -2*o + 32 = -2*a, -3*o - 3*a + 57 + 21 = w. Is o prime?
False
Let h(s) be the first derivative of s**2/2 - 4*s - 1. Let o be h(4). Suppose -3*v + 3 + 6 = o, 3*v = -2*y + 27. Is y a composite number?
True
Let d = 421 + 19314. Is d a composite number?
True
Let d(k) = 7*k**3 + 4*k**2 - 6*k - 6. Let z be d(6). Suppose i - 5*f - 546 = -f, -4*f = -3*i + z. Suppose -2*n - 112 = -i. Is n composite?
False
Suppose -2*n = -7 + 1. Suppose -n*v + 635 = 2*v. Is v composite?
False
Let t(y) = -2*y**2 - 2*y**3 + y**2 + 68*y**3. Is t(1) a prime number?
False
Let n = -3 - -5. Suppose 4*w = 2 + n. Let a(u) = 8*u**2 - u. Is a(w) a composite number?
False
Let u(r) = r**2 + r - 2. Let t be u(-3). Suppose 339 = -t*z + 7*z. Is z composite?
False
Let z(v) = -v**3 + 7*v**2 - 6*v + 6. Let m be z(6). Suppose m = g - 16. Is g composite?
True
Is (-19056)/(-20) - 4/(-20) a prime number?
True
Let m = 8 - 12. Let w(r) = r**3 - r**2 + 3*r - 2. Let o(l) = -l**3 + l**2 - 4*l + 3. Let p(h) = -3*o(h) - 4*w(h). Is p(m) a composite number?
False
Let t be (54/24)/((-2)/(-8)). Let y(h) = -h**2 + 9*h + 5. Let c be y(t). Suppose c*v = -3*o + 245 - 27, 0 = 5*v - 5*o - 250. Is v a prime number?
False
Suppose -2 = 5*o - 4*l - 13, -5*l = 20. Let a be o/((-5)/2 + 2). Suppose 2*s - 316 = -a*s. Is s prime?
True
Let w(r) = 78*r - 11. Suppose -3*j - 18 = -j - 4*a, j + 4*a + 21 = 0. Let z(q) = -39*q + 5. Let d(o) = j*z(o) - 6*w(o). Is d(3) composite?
True
Let z(y) = 2*y - 6. Let p be z(6). Let l be (-2)/p - 52/(-12). Suppose -l*c = -3*u + 91, -34 = 4*u + 2*c - 126. Is u a composite number?
True
Suppose -1 - 3 = 2*a, x - 2*a = 8. Suppose 5*g = -4*r - 2103, -4*r - x*g + 0*g - 2100 = 0. Is r/(-14) + 4/(-14) a prime number?
True
Suppose -a = 3*t - 3 - 1, -3*a = -3*t + 12. Suppose 19 = 5*p + g, p + g = 1 + t. Suppose 0 = k - p*x - 41, -5*k + 8*x + 265 = 3*x. Is k composite?
True
Suppose -4*h = -2*a + 56, 2 = -a - 3*h - h. Let k = a - -37. Is k prime?
False
Let z = 91 + -54. Suppose 0 = -2*h + z + 353. Suppose 4*b + h = 5*t, 2*t - 5*b = t + 60. Is t a composite number?
True
Let x be 4/(-3)*(-18)/4. Suppose 1204 = -2*a + x*a. Is a composite?
True
Suppose -2*f + 2049 + 681 = 2*t, -t - 3*f + 1373 = 0. Is t a prime number?
True
Suppose 500 = 5*r - 5*i, -r - 5*i = -0*r - 106. Suppose -5*n + 792 = -3*b, 4*n + 0*b = 2*b + 632. Let o = n - r. Is o a prime number?
False
Let d be (1 + -13)/(3/(-16)). Suppose 2*k = d + 66. Is k a prime number?
False
Suppose n + 0*n = -3*d + 116, n - 5*d - 132 = 0. Is (1 - 0)*-1 + n composite?
True
Suppose -2*y + 130 + 22 = -2*o, -340 = -5*y - 3*o. Is y composite?
False
Suppose 2*j + 3*k = -0*j + 7, k + 26 = 5*j. Suppose 0 = 2*w + 3*w + j. Is (w/3)/(6/(-630)) a composite number?
True
Let j(o) = o - 1. Let r be j(4). Suppose 4 - 16 = -r*g. Suppose y = 0, -g*y + 40 = 2*c + 10. Is c a prime number?
False
Let c(s) = s + 12. Let r be c(-8). Let v(t) = t. Let i be v(r). Suppose 94 + 614 = i*k. Is k a composite number?
True
Let z(g) = -2*g**3 + 8*g**2 + 6*g + 4. Let q be z(-6). Let a = 975 - q. Is a composite?
True
Let y(u) = -u**3 + 53. Let o be (0/((-4)/2))/(-3). Is y(o) composite?
False
Suppose -2*h + 2 = 5*n, -4*h - 12 = -h. Let m(k) = -k**n - k + 0*k**2 - 2 - 9*k. Is m(-7) prime?
True
Suppose 2*w + 488 = 3*g, 4*g - 1213 = w + 4*w. Let n = w + 504. Is n a prime number?
True
Suppose 5*m = 2*m - 195. Is ((-586)/5)/(26/m) a composite number?
False
Let s(x) = 3*x**3 - 2*x**2 + 4*x - 2. Suppose 0 = -2*u - 5*d - 6, -4 + 20 = 3*u - 5*d. Is s(u) composite?
True
Suppose -2*h + 5 - 1 = 0. Let w = h + -2. Is 75 + (w + -1)*-2 a prime number?
False
Let c = 2107 - 1256. Is c prime?
False
Let j = 10 - 9. Is (j/3)/(1/381) prime?
True
Suppose c + 4 = 9. Let t(g) = g - g - 1 + 0 + 4*g. Is t(c) a prime number?
True
Suppose 10*k = 4*k + 5502. Is k composite?
True
Suppose -4*d + 3*b + 6 = 0, 5*d = -5*b - 11 + 36. Suppose d*s + 39 = 4*s. Is s a prime number?
False
Let p(s) = -49*s + 9. Is p(-5) a prime number?
False
Suppose 3*b + 0*j = -j + 1, 0 = b + j + 3. Suppose b*s = 4*l + 142, 2 = -2*l - 2. Is s prime?
True
Suppose 4*b - 19 = 5. Let q = b + -3. Suppose q - 55 = -4*j. Is j prime?
True
Let r(u) = -u**3 - 5*u**2 + 4*u + 2. Let h(k) = 2*