*v - 3677, 17*v - 5516 = 14*v - 5*d. Is v composite?
True
Let z = -24 - -34. Suppose -z - 24 = -d. Is d composite?
True
Suppose f = -0*f + 676. Suppose f = -k + 5*k. Is k a prime number?
False
Suppose -4*p - 6 - 2 = 0, -5*p = j - 1627. Is j composite?
False
Let j(g) = -162*g. Let t be j(-1). Suppose 2*w - 4*y - t = 0, 5*y = -3*w - 0*y + 232. Is w a prime number?
True
Is 1/7 - 10132/(-28) a prime number?
False
Suppose 2*k - 140 = 2*t, 5*t - 70 = -k + 18. Is (-1 - k)/(-2) + 0 a prime number?
True
Let q be 2/((-4)/(-23))*2. Let c = -10 + 2. Let x = c + q. Is x prime?
False
Suppose -9*s + 6*s = -6. Suppose -2*f + 3*t = -2137, -5*f + 2317 + 3016 = s*t. Is f prime?
False
Let q(m) = 42*m - 1. Let g = 6 + -5. Let r be q(g). Let n = r + -4. Is n prime?
True
Let k = -64 + 183. Is k a prime number?
False
Let g = 137 - 58. Is g a prime number?
True
Let l be (-2)/(-3) + (-34)/6. Let w(j) = -j**3 + 5*j**2 + 5*j - 6. Let h be w(6). Let d = l - h. Is d a prime number?
True
Suppose 4*u - 828 = 328. Is u composite?
True
Let a = 15 - 10. Let k(s) = s**3 - 5*s**2 - 2*s + 3. Let n(j) = j**3 - 5*j**2 - 2*j + 3. Let h(t) = 2*k(t) - 3*n(t). Is h(a) prime?
True
Let j = 311 + 1244. Is j prime?
False
Let d(o) = -122*o - 1. Let k be 1/(-2*2/4). Is d(k) a composite number?
True
Is (1 + (-640)/6)/((-15)/45) a prime number?
True
Let q = 9 + -9. Let d(t) = t**3 - t**2 - 68. Let s be d(q). Let a = 17 - s. Is a a prime number?
False
Let i(q) = -q - 1. Let b be i(1). Let c be -1 + 5 - (-2)/b. Suppose 2*r + c*r - 30 = 0. Is r prime?
False
Let o = 11 + -5. Suppose -2*m = -o - 0. Let b(q) = q. Is b(m) a prime number?
True
Let h be (-6)/(-4) + (-1)/2. Suppose 0 = -f - h + 5. Suppose -5*v = -f*v - 49. Is v a prime number?
False
Let m(j) = -j**3 + 9*j**2 - 4*j + 5. Suppose -36 = 6*l - 3*l. Let g be (4/l)/((-2)/36). Is m(g) prime?
True
Is (42/(-12))/((-1)/10) prime?
False
Suppose 5*g = 24 - 4. Suppose -g*n - 2*p + 38 = 0, 3*n + 2*p - 32 = 4*p. Let i = n - 6. Is i a composite number?
True
Let f(a) be the first derivative of -a**4/4 - 3*a**3 - 7*a**2/2 + 6*a + 1. Is f(-9) a composite number?
True
Suppose 3*f = 957 - 0. Is f a prime number?
False
Let c = -1345 - -8954. Is c a composite number?
True
Let p = 439 + -296. Is 0 + p + 0/(-2) prime?
False
Suppose i - 799 = -3*a, 0 = -2*a + 5*i + 543 - 33. Is a a composite number?
True
Suppose 0 = 3*s + 14 - 410. Let n = -37 + s. Is n composite?
True
Suppose -372 = -2*x + 2*z, 2*x + x - 563 = -2*z. Is x prime?
False
Suppose 49 = -4*r + 873. Is r composite?
True
Let k(a) = 1 + 0 + 3 + a. Let c be k(-3). Is (34/2)/(c/5) a prime number?
False
Let r(h) be the first derivative of -h**5/60 - h**4/3 - 5*h**3/6 - h**2 - 1. Let m(q) be the second derivative of r(q). Is m(-5) a composite number?
True
Suppose -5 + 14 = 3*f. Suppose i + f*i = 412. Is i prime?
True
Suppose 0 = -6*a - 666 + 3660. Is a prime?
True
Let h = 542 - -17. Let u = h + -372. Is u a prime number?
False
Is 2 + (2 - 4) - -445 a prime number?
False
Let f be (-8)/(-6)*(-6)/(-4). Is 32 - (1 + (f - 4)) composite?
True
Let h(m) be the second derivative of m**4/2 + m**3/6 - m**2 + 2*m. Is h(-3) a prime number?
False
Suppose -3*s + 967 = 5*l, 8*l = 3*l - 5*s + 975. Is l a prime number?
True
Let g(y) = -y**2 + 5*y - 2. Let u be g(4). Suppose a + 0*m = 3*m + 358, 2*a = u*m + 728. Is a a composite number?
False
Let v = 2447 + -1156. Is v prime?
True
Is 2/(2/(-2)) - -129 a prime number?
True
Suppose 5*l - 55 = 5*x, 2*x - 3*x - 43 = -5*l. Let n = l - 1. Is n composite?
False
Is ((-3251)/2)/(13/(-26)) prime?
True
Let w = -622 + 443. Let v = w + 272. Is v prime?
False
Let o(y) = y**2 + 8*y + 9. Let k be o(-7). Let x = k + 2. Suppose -d = x*d - 595. Is d composite?
True
Let a = -5 - -30. Suppose a = -g + 2. Let t = g + 42. Is t a composite number?
False
Suppose -3*a - 5*u = -u - 3047, -5*a = -4*u - 5025. Is a a composite number?
False
Let j be 3 + (-6)/2 + 2. Suppose 5*y - 31 = j*o + 358, -2*y - 3*o = -148. Is y a composite number?
True
Let c = -2 + 4. Suppose 4*m = -5*w + 55, 0 = -c*w - 3*m - 2*m + 5. Is w a prime number?
False
Is 1224 + -25 - (4 - 0/2) composite?
True
Let v(w) = w**3 - 3*w**2 - 6*w + 6. Let d be v(4). Let o be 0 + d + -28 + -1. Let g = -21 - o. Is g prime?
False
Let n(z) = z**3 + z**2 + 87 + 0*z**2 - 2*z**2 - 2. Suppose 2*c = -0*c - 5*r - 5, -1 = -5*c + r. Is n(c) composite?
True
Let v be (-1 - 8)*2/(-6). Suppose -v*t - 1 = -7. Suppose 76 = t*f + 2*f. Is f a composite number?
False
Let j = 2 + 0. Is (-209*1 - j)*-1 composite?
False
Let t be (3 + -2)/1 + 277. Suppose -2*k = 2*k - 3828. Let w = k - t. Is w composite?
True
Suppose 0*d + 2756 = 2*d - 3*r, 4*r = 3*d - 4135. Is d a composite number?
False
Suppose 0 = -7*z + z + 5712. Let h = z + -509. Is h a prime number?
True
Let f = 5810 + -2539. Is f prime?
True
Let s(j) = -43*j + 6. Let o(d) = 86*d - 11. Let v(z) = 3*o(z) + 5*s(z). Let c be v(2). Let y = -6 + c. Is y composite?
True
Let l(v) = -v + 3. Let x(p) = p - 1. Let o(a) = -2*l(a) - 4*x(a). Let c be o(-3). Suppose -3*u = -c*u + 19. Is u composite?
False
Let x(m) = 94*m**2 + 3*m + 2. Is x(-3) prime?
True
Let o(i) = i**3 - 1. Let k(x) = -x**3 - 6*x**2 + 5*x + 5. Let a(m) = k(m) + 2*o(m). Let w be a(5). Is (9/(-6))/(w/(-8)) composite?
True
Let j(b) be the third derivative of -b**6/20 + b**5/120 + b**4/6 - 3*b**2. Let r(z) be the second derivative of j(z). Is r(-4) a prime number?
False
Let i(b) = 3 + 1 - 2 - 9*b. Let l be i(2). Is (-13)/(-4)*l/(-4) a prime number?
True
Suppose 140 = 5*d + 3*i, 4*i - 83 = -3*d + 2*i. Is d a prime number?
True
Suppose -x = -3*g - 7855, -x - 2*g + 2553 = -5322. Is x a composite number?
False
Suppose 0 = -k + 4*k + 5*m + 778, 4*k - 4*m + 984 = 0. Let i = 378 + k. Is i composite?
False
Let t(l) = -4*l - 34. Let q(m) = -3*m - 33. Let f(w) = -5*q(w) + 4*t(w). Let n be f(0). Suppose -h - n = -118. Is h composite?
False
Suppose -3*o = -6*o - 6. Let m be 2/(-5) + 335/25. Let r = m + o. Is r a prime number?
True
Is ((-1115)/(-10))/((-2)/(-4)) a composite number?
False
Suppose 0 = f - 3*f + 10. Suppose f*c - 36 = -6*l + 2*l, 5*c - 12 = 2*l. Suppose l*i = -5*x + 193, 4*x - 6*i + 2*i = 140. Is x a prime number?
True
Suppose -5*i + 1099 + 66 = 0. Is i a prime number?
True
Suppose x = 158 - 25. Let w = x - 66. Is w prime?
True
Let j be (-4)/12 + 470/6. Suppose 4*c - 34 = -2*o, c + 175 - 68 = 5*o. Suppose o = -k + j. Is k composite?
True
Let y(r) = 2*r + 1 + 0*r + 2*r**2 - 2. Is y(-7) a composite number?
False
Suppose -3*c - 1650 = 2*c. Let r = -145 - c. Is r a prime number?
False
Let n = -58 + 84. Is n prime?
False
Let m = -229 - -136. Is 2*2/((-4)/m) a composite number?
True
Let v(t) be the first derivative of t**4/4 - 2*t**3/3 - 3*t + 2. Let g be v(3). Is 2/6*3*g a composite number?
True
Let z = -11 - -21. Is z a prime number?
False
Suppose -s - 5 = -2*i + 3*i, 5*s + 15 = 0. Is (1*286)/i*-1 composite?
True
Let s(r) = -r**2 + 1 - 3*r**2 + 6*r + 5*r**2 - 4. Is s(10) prime?
True
Suppose 2*n = 2*m + 9712, 2*n = -n + 4*m + 14563. Is n prime?
True
Let h be 2/6 + (-34)/(-6). Suppose 0 = -4*p + 2*p + h. Let k(i) = 7*i + 2. Is k(p) composite?
False
Let w(v) be the first derivative of -v**4/4 - 2*v**3 + 3*v**2/2 + 15*v - 5. Is w(-11) composite?
False
Suppose -2*l = 3*m - 68, -3*m - 5*l + 70 = -4*l. Is 3/(m/(-28))*-118 a prime number?
False
Let x be (-5)/10 + (-2)/(-4). Suppose 2*i - 20 - 40 = x. Suppose -i = -s - 2*s. Is s composite?
True
Let t(z) = -z**2 - 9*z + 2. Let o be t(-9). Suppose -c - o*c = -6. Suppose 3*a - 252 = -3*h, 2*a + c*h = 6*a - 330. Is a a prime number?
True
Suppose -5*d + 2043 + 1462 = 0. Is d a prime number?
True
Suppose w + 153 = 4*w. Suppose -2*u = -3*u + w. Is u a prime number?
False
Let b = -39 + 60. Suppose -117 = -3*c + b. Is c prime?
False
Let l be 1/(-4) + 17/4. Let t be 6/l*(0 + -2). Let a = t - -13. Is a a prime number?
False
Suppose -2*u = -1554 - 224. Is u prime?
False
Let o(w) = -8*w**3 + 8*w**2 + 5*w - 1. Is o(-5) composite?
True
Let n(t) = 8*t**2 + t - 1. Is n(6) a composite number?
False
Suppose -2*g - 500 = -7*g + 5*j, 0 = g + 5*j - 76. Let v = 557 + g. Is v a prime number?
True
Let g be (-6)/2 + (9 - 3). Suppose -4*a + 14 = -2, 5*a = -g*l + 383. Is l a prime number?
False
Let i(c) be the third derivative of -5*c**4/12 - c**3/6 