ppose -l = 5*z - 2*f + f, 0 = -5*z - 5*f - 1240. Is 12/(-20) - z/5 a composite number?
True
Let g be 4/12*(2 + -2). Suppose 3*h + g*y + 3*y = 84, 2*h - 5*y = 77. Is h composite?
False
Is 3/(-12) - (4293/(-12))/3 composite?
True
Suppose -2*f = -3*s + 4428, -2*s + 4544 - 1585 = f. Is s a composite number?
True
Let p(m) = m**2 - 2*m - 1. Suppose -2*c - 5 - 11 = 0. Is p(c) composite?
False
Let a(q) = -410*q + 1. Is a(-1) composite?
True
Suppose 2*v - h = 6, -4*v = 3*h - 0 + 8. Let c(m) = -21*m. Let i be c(v). Is 4/(-6)*i/2 a composite number?
False
Let t(p) = p**2 - 2*p - 2. Let u be t(5). Suppose -2*d + 2*i + 0*i - 2834 = 0, -5*d - 7087 = -4*i. Is (-2)/u + d/(-13) prime?
True
Suppose 3*m = -2*m + 5*y - 15, 0 = -5*m + y + 1. Let f be 14/2 + m + -3. Suppose -f*z - 35 = -130. Is z prime?
True
Suppose -5*j - 148 = -893. Is j composite?
False
Let q(o) = 6*o**2 - 7*o + 29. Is q(18) a prime number?
True
Suppose -2*h + 3*y = -324, -h - h + 324 = 4*y. Suppose -k - 300 = 3*k. Let b = h + k. Is b composite?
True
Is 7 - ((-25)/5 + 3) composite?
True
Let s(v) = 0*v + 2*v + v**2 - 1 - 2*v**2 - 4*v**3. Let h be s(1). Is (13 - -1)*(-2)/h a composite number?
False
Let c(n) = 57*n**2 - 2*n + 3. Is c(-5) composite?
True
Suppose 5*u + 20 = 0, 3*r + 5*u - 62 - 3341 = 0. Is r prime?
False
Let u be ((-9)/(-2))/((-2)/(-8)). Suppose -s + 71 = u. Is s prime?
True
Is -3*(-8)/12*596/8 a prime number?
True
Let n(f) be the first derivative of -f**4/2 + 2*f**3/3 - 4*f**2 - 6*f + 2. Is n(-5) composite?
True
Let r = 175 - 64. Is r composite?
True
Let h(s) = -s**3 - 8*s**2 - 8*s - 5. Let w be h(-7). Suppose w*t = -4*u + 82, 5*u - 119 - 48 = -4*t. Is t + (0/1 - 0) prime?
True
Suppose -f = 2*f. Suppose 4*k + k - 635 = f. Is k a composite number?
False
Suppose 0 = 4*i - x - 94, i + i + 3*x = 40. Let h = -13 + i. Is h a prime number?
False
Suppose 0 = -4*w + 5 + 3. Suppose 0 = -w*h - 0*h. Is 17/(2/14 - h) a composite number?
True
Let c(z) = -10*z**3 + 2*z**2 - 4*z + 1. Let f be c(-5). Suppose 0 = 3*n - f + 346. Suppose k - 6*k = -n. Is k a composite number?
True
Let a = -4 - 2. Is (a/18)/(2/(-1266)) a prime number?
True
Let s = -15 - -7. Let p = -18 + 33. Let k = p + s. Is k composite?
False
Suppose 0 = -m - 27 + 146. Is m prime?
False
Suppose 4 - 12 = -2*r. Suppose 4*u - r*z = -30 - 66, 34 = -u - z. Let m = u - -50. Is m composite?
True
Let c = -1193 + 2452. Is c composite?
False
Suppose 6*t = 3*t. Suppose 4*m - 2*m - 838 = t. Is m a composite number?
False
Let g = 4945 - 3142. Is g composite?
True
Let q = -7 + 10. Suppose q*g = -3*s, -3*s - 5*g = 3 + 3. Is s prime?
True
Suppose -b = -2*b - 3*p + 10, 4*b - 30 = -2*p. Let f = b - 2. Suppose -332 = -f*w + 138. Is w a prime number?
False
Let q be -2 - 0 - 0 - -4. Let b be (2 - 3)/(q/66). Let a = b - -52. Is a prime?
True
Suppose -3*m - 3 = -12. Suppose -5 = -7*o + 2*o - 3*z, 5 = 5*o - m*z. Is 21*(0 + (2 - o)) prime?
False
Let b(u) = -2*u**2 + 3*u + 3. Let v be b(3). Let s = -2 - v. Suppose -3*w + 476 = -f, w + 6*f - s*f = 147. Is w a prime number?
True
Let w(k) = -k**2 + 10*k + 6. Let q be w(9). Suppose -i + q = -6*i. Is 2/i*14217/(-14) composite?
False
Suppose 3 = 4*u - 5. Is (0 - 0)/u - -317 a prime number?
True
Let k(x) = -x**2 + 5 - 7*x + 0*x + 11*x + 10*x. Is k(6) a prime number?
True
Let o = -4 - -741. Is o a prime number?
False
Suppose -3*h - 2*j + 29 = 2*h, 4*j = 3*h - 7. Suppose -2*o + 638 = -4*f, 2*o + h*f + 258 - 914 = 0. Is o a prime number?
False
Let z = -691 + 1605. Suppose 4*j + 0*x - z = 2*x, 4*j + 5*x = 893. Suppose 0 = -5*n + 4*s + 134 + 241, 3*n - j = 2*s. Is n a composite number?
False
Suppose -380 = -d - 43. Is d composite?
False
Suppose 3*f + 3*c = 4713, 4721 = 3*f + 2*c + 3*c. Is f a prime number?
True
Let x = 74 + -68. Is x prime?
False
Suppose m = -5*z - 440, -2*m - 6*z + 2*z = 886. Suppose -2*q + 767 - 2079 = 0. Let l = m - q. Is l prime?
True
Let d = -3 + 3. Let u(m) = 3*m - 16. Let r be u(6). Suppose d*j + r*j = 26. Is j composite?
False
Let c = 130 + 121. Is c prime?
True
Let s(h) = 22*h**2 + h - 1. Suppose 0 = -6*v + v + 20. Suppose -2 - v = 3*p. Is s(p) composite?
True
Let m(q) = -35*q. Let y be m(-1). Let b = 57 - y. Is b composite?
True
Suppose 4*q + 57 = q. Is (q - 1)*(-7)/14 a prime number?
False
Is (113/(-3))/((-1)/3) a prime number?
True
Suppose 0*g - 3 = 4*r + 5*g, -18 = -r + 5*g. Suppose -2*i - 11 = -2*k - k, r*k - 23 = -4*i. Suppose -h - 4*h + 3*w + 194 = 0, -k*h = 2*w - 179. Is h composite?
False
Let b(y) = -y + 1. Let v be b(2). Is -1*(-1)/v - -24 a composite number?
False
Suppose -3*o + 161 = 44. Is o composite?
True
Suppose p + 3*y = 5, -3*y = -p - y. Suppose -5*m + 0*c + 2343 = -2*c, -2*m - p*c + 940 = 0. Is m prime?
False
Let q = 39 - 16. Suppose 460 + q = 3*r. Is r a composite number?
True
Let t(v) = v**3 + 2*v**2 - 2*v - 8. Is t(7) a prime number?
True
Let k = 80 - 27. Suppose 4*f - k = 455. Is f a prime number?
True
Is 6711*(5/9 - (-4)/(-18)) a composite number?
False
Let p be (-27)/(-18)*(-4)/(-3). Suppose 0*f = -2*v - 5*f + 82, 0 = -v - p*f + 39. Is v a composite number?
False
Suppose 13*g = 8*g + 2930. Is g a prime number?
False
Let k be 163/(-5) + 21/35. Let s = -11 - k. Is s prime?
False
Let b(w) = -w**3 + 8*w**2 + 2. Let d be b(8). Suppose -d*f + 0*f = -114. Is f composite?
True
Let j(q) = -1. Let i(a) = -74*a - 3. Let g(z) = i(z) + 2*j(z). Is g(-2) composite?
True
Let z(i) = 32*i**2 - 7*i + 4. Is z(2) a prime number?
False
Let p = 16 + -26. Suppose -4 = -2*q + 28. Let z = p + q. Is z a composite number?
True
Let r = 61 - 34. Let f = r + 8. Is f prime?
False
Let b(n) = 8*n - 21. Let h(p) = -3*p + 7. Let c(t) = 4*b(t) + 11*h(t). Let f be c(-10). Is ((-92)/6)/((-1)/f) a composite number?
True
Suppose 3*q = 2*w - 17, -4*q + w = -3*w + 24. Let f(c) = c**2 + 6*c + 5. Let i be f(q). Suppose -5*j + i*j = -175. Is j a composite number?
True
Let s(w) = -61*w**3 + 5*w**2 - 5*w + 3. Let h be s(3). Is 2/(-5) - h/10 composite?
True
Suppose -2*a + 0*a + 2 = 0. Let b(z) = -z - a + 1 - 4. Is b(-10) composite?
True
Let p(o) = o**2 - 5*o + 2. Suppose -40 = -5*w - 2*n - 3*n, 4*w + 3*n = 29. Let m be p(w). Suppose 4*h - m*s = 194, h - 2*s - 20 = 27. Is h a prime number?
False
Suppose -5*r + 6141 = 5*a + 926, 4*a - 4164 = -2*r. Is a a prime number?
True
Suppose -3*d + 2*d = -2*t + 27, 0 = -5*t + d + 66. Suppose 0 = -t*x + 9*x + 188. Is x composite?
False
Let i = 1703 - 1205. Suppose -172 - i = -5*p. Is p a prime number?
False
Let n = 225 - 98. Is n a composite number?
False
Suppose 352 = 7*z - 1447. Is z prime?
True
Let h be ((-3)/(-2))/(2/4). Suppose h*l + 0*x - 377 = -x, 4*x - 238 = -2*l. Is l prime?
True
Let d = 15 + -9. Let c = -5 + d. Is ((-298)/(-8))/(c/4) prime?
True
Let w(v) = 3*v**3 - 10*v**2 + 6*v + 5. Is w(6) a prime number?
False
Let y = 32 + 51. Is y prime?
True
Suppose -a + 1259 = 216. Is a composite?
True
Suppose 4*u = 5*r + 1546, -4*u + 3*r + 0*r = -1550. Is u a composite number?
False
Suppose -3*u + 69 = -0*u. Let a = 34 - u. Is a a prime number?
True
Let h(m) = 8*m**2 - 2*m - 5. Suppose -i = -d + 6*d + 18, 20 = -4*d. Is h(i) composite?
False
Suppose -3*g + 1356 = 3*p, g - 1665 = -5*p + 583. Is p composite?
False
Let d(o) = -o + 7. Let i be d(7). Suppose -5*c - 2*u + 395 = i, 2*u + 395 = 5*c + u. Is c a prime number?
True
Let m be (-12 + 6)/((-3)/2). Is 32 - (m/(-4) + -1) composite?
True
Let d(j) = j**2 - 7*j + 2. Let m be d(7). Is m/3*(-201)/(-2) a prime number?
True
Let k(i) be the first derivative of -i**4/4 + 11*i**3/3 - 5*i**2/2 - 5*i + 1. Is k(6) composite?
True
Suppose 4*n + n = 10. Suppose -u = -n*k + 4, 2*u = 6*u + 5*k - 10. Suppose u = x - 2*x + o + 30, -o = -1. Is x a prime number?
True
Let s be ((-3)/(-9))/((-1)/(-9)). Suppose 0*j = 3*c + j - 484, 5*j = -s*c + 488. Is c prime?
False
Let o(l) = -l**3 + l**2 + l + 35. Is o(0) composite?
True
Let c(x) = -11*x**2 + 7*x + 7. Let z(r) = -11*r**2 + 8*r + 7. Let w(h) = -5*c(h) + 4*z(h). Is w(5) composite?
True
Suppose -4 = 4*f + 20. Let s = f + -6. Is -8*(9/s + -2) a prime number?
False
Let h(l) = -l - 3. Let r be h(0). Let x = r - -38. Is x a composite number?
True
Let p(c) = 5*c**2 - 8*c - 11. Is p(10) a prime number?
True
Let t be (-4)/(-1)*1/1. Suppose p = -t*p + 1055. Is p prime?
True
Let c(u) = 39*u - 11. Let m be c(8). 