v(1). Let g = -167 + o. Is g a prime number?
False
Suppose 0 = -4*d - 5*l + 1184, 3*d - 217 = 5*l + 636. Suppose -o + 4*o = d. Is o prime?
True
Let f = -3 + 7. Suppose -k + 1012 = f*x, -5*k - 20 = -0. Is x/4*(-1 + 3) composite?
False
Let j be (-49)/(-14)*(3 + -1). Let a be 1/(2*1/2). Suppose -3*d = a - j. Is d a prime number?
True
Let t = -9 + 15. Let i(x) be the first derivative of 3*x**2/2 + x - 2. Is i(t) a composite number?
False
Suppose -n - 34 = -0*n. Is n*((-27)/6)/3 a composite number?
True
Let d(y) = y + 6. Let z be d(-6). Let h(f) = f**3 - f**2 + 26. Is h(z) a composite number?
True
Let s = -43 - -72. Let w = -26 - -10. Let y = s + w. Is y a prime number?
True
Suppose -5*t + 6*t + 274 = 0. Is (-8)/36 - t/18 a prime number?
False
Let i = 116 - 30. Is i a composite number?
True
Let p = 3118 + -2131. Let f be 4/3 + 1844/3. Let w = p - f. Is w a composite number?
True
Let j(q) = q**2 - 13*q + 10. Let h(b) = b**2 - b. Let r(s) = 4*h(s) - j(s). Is r(-7) a prime number?
False
Let s = -105 + 160. Let o be 2/(-5) + 12452/s. Suppose 0*l - o = -2*l. Is l prime?
True
Let k(a) = 2*a + 2. Let x be k(2). Is x/(-4) + 177/2 a prime number?
False
Suppose 0 = -3*f + 5*f. Let d(b) = b**2 - b + 253. Is d(f) a composite number?
True
Suppose -3*t = -647 + 14. Is t a prime number?
True
Let c be (-2 - -4)/(-1) - -5. Suppose -133 = -3*n + 4*d, -c*n + 59 = -2*n - 5*d. Let u = 116 - n. Is u prime?
False
Suppose -3*h - 18 = -3*l, 0*l + 3*l = -2*h + 3. Let m be h + 4/(4/5). Suppose -m*y = -3*y + 159. Is y a prime number?
False
Suppose o + 616 = 3*f, 343 = 5*f - o - 685. Is f a composite number?
True
Suppose y = 4*i - y - 1342, -i - 2*y = -343. Is i a prime number?
True
Let v(n) = n + 90. Let t be v(0). Suppose t = 2*m + 4*c, -c = -m + 34 + 23. Let d = m + 24. Is d a composite number?
True
Suppose 5*a - 16 = 4. Suppose h - a*h = -4*n + 355, -5*n + 420 = h. Is n a composite number?
True
Let g(d) = d**3 - 2*d**2 + 6*d - 5. Let a be g(4). Let v(w) = -w**3 + 6*w**2 - 2*w + 1. Let o be v(5). Suppose o = -m + a. Is m prime?
False
Suppose -3*r + 3 = 6, 3*d - 4*r - 2194 = 0. Suppose -6*c + 11*c = d. Is c a prime number?
False
Let i(d) = 5*d**2 - 2*d + 1. Let g be i(1). Suppose -5*k - g*a - 82 = 0, 6*a = a - 15. Let b = 71 + k. Is b prime?
False
Let c = 32 + -19. Suppose 9*p + 332 = c*p. Is p a composite number?
False
Let v be (0/(-1 - 1))/(-1). Suppose 35*y - 38*y + 321 = 0. Suppose 4*w + v*w = -4*g + 224, 2*g = -w + y. Is g a composite number?
True
Let l = 1 + 1. Let m = 1 - l. Is (-47)/((m*3)/3) a prime number?
True
Suppose 3*m - 4*m + 16 = 0. Is ((-356)/m)/(1/(-4)) prime?
True
Suppose -3*t + 4*t = 3668. Suppose 5*g - g = t. Is g prime?
False
Is (195 - -1) + -11 + 9 prime?
False
Let i = -8 - -13. Let g be 96/10*75/2. Suppose r = 4*o - 4*r - 309, 0 = -i*o + r + g. Is o a prime number?
True
Let b = 25 - 0. Suppose 0*g = -5*g - b, 3*g = -i + 64. Is i a composite number?
False
Let s be (-232)/(-24) - (-2)/6. Suppose y = -y + s. Suppose -5*m = -2*g + 315, g - 605 = -3*g + y*m. Is g composite?
True
Suppose 5*g - 4*c - 26 = 0, -2*c = g + 3 + 3. Suppose g*p - 107 = -o, -4*o + 7*o = -2*p + 329. Suppose -4*f + f = -o. Is f composite?
False
Is 5/(-30) - (2 - 4053/18) prime?
True
Suppose 5*l = 4*o + 2, -4*o + 1 + 13 = 3*l. Suppose l*d - 41 - 33 = 0. Suppose -d = -q + 10. Is q a prime number?
True
Let s(d) = d**3 + 23*d**2 + 40*d - 5. Is s(-18) a composite number?
True
Suppose 7*u - 1992 + 74 = 0. Is u a composite number?
True
Let b = 8 - 3. Suppose 7*p - 62 = b*p. Is p a prime number?
True
Let z(k) = -k**3 - 7*k**2 + 9*k + 12. Let n be z(-8). Suppose 3*m + n*d - 25 = 0, -4*d = -3*m + d - 11. Suppose -m*o = o - 508. Is o a composite number?
False
Suppose 601 - 2206 = -5*u. Is u a composite number?
True
Let l = 54 - 27. Is (-6)/27 - (-195)/l a prime number?
True
Let m(z) = z**3 - z + 1. Let u be m(1). Suppose g = -u + 5. Suppose -5*r = -5*x - 105, -g*r - x = -2*x - 90. Is r a prime number?
True
Suppose -2*d + 798 = -n + 3*n, 2*d = 5*n - 1988. Is n a prime number?
False
Let b(a) = -a + 5. Let c be b(6). Let n = 2 - c. Is ((-19)/n)/((-1)/3) composite?
False
Let m(r) be the third derivative of -13*r**7/5040 - r**6/120 + r**5/15 - r**2. Let p(n) be the third derivative of m(n). Is p(-5) a composite number?
False
Let h = -6 - -4. Is (-14)/(1*(1 + h)) composite?
True
Suppose 0 = 5*m - 4*m - 66. Suppose 0 = 4*n + p + m, 30 = -3*n + 4*p - 10. Let z = 10 - n. Is z prime?
False
Suppose 0 = 3*q + 6 + 3. Let o(k) = 12*k**2 + 3*k - 4. Is o(q) a composite number?
True
Let b(t) = t**2 + 2*t + 55. Is b(0) composite?
True
Let m = 41 - 19. Is m prime?
False
Suppose -4*b = -5*h + 343, -h - 4*b = -4*h + 209. Let a be (-4)/(5/(5/(-2))). Suppose y - 64 = -0*y + l, a*l = -y + h. Is y a composite number?
True
Suppose -32 + 1638 = 3*h - l, l + 2676 = 5*h. Is h a composite number?
True
Suppose 5*s + 177 = 6*s. Is s composite?
True
Let y(x) = -x**3 + 9*x**2 - 6*x - 9. Let r be y(8). Is 7/(1/r + 0) a prime number?
False
Let v = -2794 - -4385. Is v prime?
False
Let h(l) = l**2 + 6*l + 6. Let g be (-1 + -2)*(-7)/3. Suppose 5*q + g = d - 1, d + 1 = 2*q. Is h(d) composite?
False
Suppose -3*l + 3275 = l - 5*u, -1639 = -2*l + 3*u. Is l a prime number?
False
Is (157 - 12/2) + 0 + -2 prime?
True
Let z be 592 + 6 + -1 + -2. Suppose -4*g = g - z. Is g a composite number?
True
Let i(s) = 7 + 68*s**2 - s - 7. Let o be 1/((3 + -1)/2). Is i(o) prime?
True
Let k(d) = 35*d + 67. Is k(14) composite?
False
Let n = -18 - -12. Is 4/n - 716/(-12) composite?
False
Is (-4)/8 - 21/(-2) a prime number?
False
Let m(k) be the first derivative of -14*k**2 - k - 1. Is m(-3) prime?
True
Suppose 12 = 3*g - 7*d + 4*d, 0 = -2*g - 2*d + 28. Let o = 14 + g. Is o prime?
True
Is (-716)/(-3) - 2/(-6) composite?
False
Suppose 5*v - 55 = 5*l, 6 + 19 = 5*v + 5*l. Suppose 0 = -2*m + v, -204 = 5*n - m + 75. Is (-730)/(-22) - (-10)/n prime?
False
Suppose 2*y - 276 = 202. Is y prime?
True
Let y(a) = -204*a**2 - a - 1. Let j be y(-1). Let d = 331 + j. Is d a prime number?
True
Let l(r) = 3*r**2 + 4*r**2 + 4 - r**3 + 8*r - 5. Let c = -12 + 19. Is l(c) prime?
False
Let w(a) be the first derivative of -a**3/3 + a**2/2 + 2*a + 1. Let d be w(0). Suppose d*u + 4*p + 157 = 7*u, -126 = -4*u + 3*p. Is u a prime number?
False
Let t(z) = 6*z**2 - 2*z + 4. Let w be t(5). Suppose 7*l + 114 = 3*k + 2*l, -4*k = -4*l - w. Suppose -f + k = -1. Is f a composite number?
True
Let m(x) = 64*x**3 + 3*x**2 - x - 1. Let z be m(2). Suppose 2*p = j + 663, 5*p - 5*j - z = 1149. Is p a prime number?
False
Let j(d) = 13*d**2 + 8*d - 3. Is j(5) a prime number?
False
Suppose -14*q + 14927 = -3*q. Is q a composite number?
True
Let p(a) = a**3 - 5*a**2 - 4*a - 3. Let v be p(4). Let f = 56 + v. Is f composite?
True
Let p(c) = 6*c**3 + 5*c**2 + 10*c - 2. Let z be p(-7). Let j = 4 - z. Is j composite?
False
Is (469/2)/(8/16) composite?
True
Let s = 3 + -10. Suppose 6*x = 2*x - 176. Is (s/(-4))/((-1)/x) composite?
True
Let y(i) = -164*i**3 - i**2 - i + 1. Let j be y(1). Let o = j + 250. Is o a composite number?
True
Suppose g - 5*g = -4*y - 32, 0 = 2*y + 4*g - 14. Is ((-2)/(-6))/(y/(-801)) a composite number?
False
Suppose 2*l + 17 = -4*x - 3, -4*l = -x + 22. Let d be (16/l)/(18/(-27)). Suppose 3*j = -y + 161, 5*y = -5*j + d*y + 271. Is j composite?
True
Suppose 0 = 4*c - 20 - 12. Suppose 3*l + 2*q = 15, 4*l = -2*q + 12 + c. Suppose -3*s = -5*m - 149, 3 = -l*m - 17. Is s a composite number?
False
Let y(j) = 17*j**2 - 12*j + 14. Is y(11) a prime number?
False
Let w = 42 - -911. Is w a composite number?
False
Suppose -3*x + 7*v = 2*v - 16, 2*x + 2*v - 32 = 0. Suppose -238 = 10*m - x*m. Is m prime?
False
Suppose -35 = 2*s - 193. Is s composite?
False
Suppose 8*j - 4*j = -20. Let v(z) = z**2 + 3*z + 4. Is v(j) a composite number?
True
Let w = -2 - 2. Is w/(-3)*45/6 composite?
True
Let d = -2 + 4. Suppose o - 30 = 5*w, -d*w - 2*w = -o + 27. Is o a prime number?
False
Let c = 11 - 7. Suppose -5*b + 0*x = -4*x - 6, -c*b = -5*x - 3. Is (3 - b)/((-1)/(-37)) prime?
True
Let w(n) = -n**2 + 5*n - 1. Suppose 3*b + 4*a = 23, -b - 3*a = b - 16. Let m be w(b). Is -1 - m - 53/(-1) prime?
True
Let y(n) = -24*n - 11. Is y(-2) prime?
True
Suppose -128*c + 1346 = -126*c. Is c a prime number?
True
Suppose 4 =