14 + f. Is a prime?
False
Let u = 7 + 78. Is u composite?
True
Let m = 4 - 6. Let w be -1 + (3 - m - 1). Is 162 + -3*(-1)/w a prime number?
True
Let v = -25 + 27. Suppose 4*h = 3*a - v*a + 873, 0 = h - a - 222. Is h a composite number?
True
Suppose 0 = -3*y + 136 + 149. Suppose -71 = -2*j + y. Is j prime?
True
Let l(w) = 2*w**2 - 9*w + 8. Let t be l(4). Suppose 2*u = -3*y + 361 - 71, t*u - 540 = 4*y. Is u a prime number?
True
Let u = 28 - 1. Let c = 26 + u. Is c composite?
False
Let z(m) = 2*m**2 - m. Let n = -4 + -2. Let g = 4 + n. Is z(g) prime?
False
Suppose -3*k + 6*k + 21 = 0. Let h = k - -9. Suppose -5*v - n + 428 = 0, 0 = -v - h*n + 73 + 18. Is v prime?
False
Let o = 5 + -3. Suppose -o*p = 2*p - 572. Suppose -p = -k - 0*k. Is k prime?
False
Let d = 54 + -35. Is d composite?
False
Let l = 594 - 87. Is 1/4 - l/(-4) a prime number?
True
Let l = 1368 - 257. Is l prime?
False
Let r(h) = -37*h. Let s be r(-1). Let z = s - -108. Is z a composite number?
True
Let b(c) = -101*c - 29. Let l(q) = 151*q + 44. Let o(z) = -8*b(z) - 5*l(z). Is o(5) a composite number?
False
Let n(k) be the first derivative of -k**3/3 + 18*k - 1. Let o be n(0). Let b = 5 + o. Is b prime?
True
Let w = 274 - -637. Is w a composite number?
False
Suppose -2*s + 2 = 8. Is ((-158)/6)/(1/s) a prime number?
True
Is 1 - -86 - (1 + 1) prime?
False
Let q = 6156 + -4027. Is q prime?
True
Let o(j) be the first derivative of j**3/3 - 9*j + 3. Is o(8) prime?
False
Let f(p) = -14*p + 4. Let d be f(-4). Is ((-13)/4)/((-3)/d) a prime number?
False
Let l = 1942 - 1362. Suppose 5*v - 65 = l. Is v a prime number?
False
Let o(j) = 4*j - 1. Let l be (-11 - 1)/((-9)/(-6)). Let p be (-6)/l*(6 + 2). Is o(p) prime?
True
Let b = -3 + 5. Suppose -b*k - 195 = -7*k. Is k prime?
False
Suppose -2*k - 9 = -5*k. Let t be 4/(-12) - 47/3. Is (t + k)*(-2)/2 prime?
True
Suppose -2*i + 11000 = 2*c, -i - 3*i - 27509 = -5*c. Is c composite?
False
Suppose -2*l + 9 = z + 40, l - 4*z + 2 = 0. Is l/6*(2 + -11) composite?
True
Suppose 7*l - 936 = 1997. Is l composite?
False
Is (0 + -2 - 393)*-1 a prime number?
False
Let p = 8201 + -4090. Is p a composite number?
False
Let m(b) = b**3 + 8*b - 3. Let d be m(5). Suppose -o = -4*u + 812, u = 5*o + 41 + d. Is u prime?
False
Suppose -3*l - l + 1364 = 0. Is l a prime number?
False
Suppose 2*w - 5*w + 93 = -5*a, 3*w + 5*a = 93. Suppose 7 = -2*r - 5*y + w, 2*y - 8 = 0. Let u(b) = 65*b + 1. Is u(r) a prime number?
True
Let a(i) = -13*i - 5. Let d(r) = 7*r + 3. Let v(p) = -4*a(p) - 7*d(p). Let w be v(2). Suppose 46 = w*t - 3*t. Is t prime?
True
Suppose 2*n - s - 42 = 261, -5*n + 2*s + 756 = 0. Let t = n - -19. Suppose 5*y - 4*q = t, 6*y - y - 5*q - 165 = 0. Is y composite?
False
Let q = 55 + -31. Suppose 0 = -0*d + d - 172. Suppose -q = 4*s - d. Is s a composite number?
False
Let d = -2338 + 3587. Is d composite?
False
Suppose 9342 = 4*m + 2*p, 5*m - 2*p - 11645 = 2*p. Is m prime?
True
Let x = 1012 - 125. Is x prime?
True
Is (1 + -2)*(-633 + 4) a prime number?
False
Is (-2452)/8*-2*1 prime?
True
Suppose -2*y + 4*y = 4*l + 26, -y = 2*l + 3. Suppose -4 - 8 = 4*d, -6 = -3*w + y*d. Is (130/6)/(w/(-9)) prime?
False
Suppose y = 5*y - 32. Let d(s) = s**2 + 11*s + 5. Is d(y) composite?
False
Suppose 5*k - 5*x - 25 = 0, -5*x + 6 + 5 = 4*k. Suppose -6*d + 2*d + k = 0. Let c = 24 - d. Is c a prime number?
True
Suppose -z - 4*z - 5*k = 60, -2*z - 30 = 4*k. Let b be (-48)/(-9) - (-3)/z. Suppose b*t = -0*t + 15. Is t a composite number?
False
Suppose 4*b - p - 202 = 0, -b - p = -27 - 26. Is b a prime number?
False
Let v(f) = f**2 - 9*f + 10. Let d be v(7). Is (1163/(-1))/(d + 3) a composite number?
False
Let u(x) = 17*x - 1. Let l be -3 + (3 - 2) + 7. Let m be u(l). Suppose 0 = 3*b - b + 2*p - 96, 4*p + m = 2*b. Is b composite?
True
Suppose -2*k = -4*t - 12, 2*k - 3*t = 2*t + 17. Let h be -3*k/6 + -5. Is (-2)/h*(-114)/(-4) composite?
False
Let i be -1 - (18/(-3) - -2). Suppose -i*q + 206 = 2*b, 0*b = b + 2. Is -3*q/(-18)*3 a composite number?
True
Let d(p) = p**3 + p**2. Let t(a) = 3*a**3 - 5*a**2 + 2*a - 1. Let b(s) = 5*d(s) + t(s). Is b(2) prime?
True
Let x be (12/15)/((-6)/(-15)). Suppose 4*n = x*n + 242. Is n prime?
False
Suppose -573 = -4*f + f. Is f a prime number?
True
Suppose 2*b - p - 1170 = -b, -5*b = 4*p - 1967. Is b a prime number?
False
Let u(m) = -6*m - 6. Let d be u(-11). Suppose -2*q + 75 = 3*q - 4*y, -d = -4*q + 2*y. Is q a composite number?
True
Let o(g) = -g**2 - 1. Let x be o(0). Let b be (-210)/(-12) + x/(-2). Suppose 3*y - 24 - b = 0. Is y prime?
False
Let u(i) = -i**2 + 6*i - 6. Let g be u(4). Suppose -b - g*b + 1329 = 0. Is b a composite number?
False
Let i(u) = -95*u + 24. Is i(-5) a composite number?
False
Let y(z) = 5 - 3*z - 4*z - 2*z - z**2 + 6. Let x be y(-8). Is -5*(x/(-5) + 1) composite?
True
Suppose -3*u = -8*u + 19955. Is u a composite number?
True
Suppose -4*n - 2421 = -3*u + 9292, 3*u + 4*n - 11681 = 0. Is u a prime number?
False
Let x be 34/6 - 8/12. Suppose -3*h - 2*w = -243, -14 - 1 = -x*w. Is h composite?
False
Let x = -430 + 968. Is x a composite number?
True
Let z be (1 + -3)/((-6)/537). Suppose -o - 66 = -z. Is o prime?
True
Let o(f) = -20*f + 8. Let d be o(7). Is (-6)/(-4)*d/(-9) prime?
False
Suppose 2*i = 2 + 2, 5*m = 4*i + 37. Suppose 3*n + m = 3*r - 9, 4*r = -4*n - 8. Suppose 2*y - 194 = -4*d, -r*d + 4*y + 275 = 3*d. Is d a prime number?
False
Let p be (-192 - 3) + (1 - 1). Let a = 358 + p. Is a composite?
False
Let n = 85 + -423. Let h = -43 - n. Is h composite?
True
Let b be (4 - 4)/(0 + -1). Is b - (-4)/((-12)/(-339)) a composite number?
False
Let h(w) = -14*w**3 + 3*w**2 + 2*w - 4. Is h(-3) prime?
False
Suppose -2*t + 0*t = -138. Let c = -124 + t. Let d = -36 - c. Is d composite?
False
Suppose -5*q + 19366 + 13449 = 0. Is q prime?
True
Let l(x) = -x - 2. Suppose 0 = -0*z + 2*z - 8. Let r be l(z). Let g = r - -37. Is g composite?
False
Let p(m) = 1 + 11*m + 27*m - 6*m. Let v = 6 - 3. Is p(v) a composite number?
False
Suppose 2*f + c = 2231, f + 9*c - 1105 = 5*c. Is f a prime number?
True
Suppose -3*j + 2039 = 2*n, 2*n = -5 - 5. Is j prime?
True
Let t(p) = p**3 + 2*p**2 - 4*p + 1. Let k be t(-3). Let o = 29 - k. Is o a prime number?
False
Let c be 46/(-8) - (-7)/(-28). Suppose -r + 0*h + 4*h = -22, 2*h + 2 = -4*r. Is 87 + c/r - -1 a prime number?
False
Let q be (-1)/(-1 - 13/(-14)). Suppose 4*m + 82 = 2*g, g = -5*m + q + 6. Is g a composite number?
True
Let i(u) = u**3 - 2*u**2 - u - 3. Let m be i(3). Suppose -4*x + 657 = n, m*n = -5*x + 2*n + 822. Suppose 0 = 5*k - 2*k - x. Is k a composite number?
True
Let s(f) = f**2 + f - 2. Let v be s(-3). Suppose 0 = -2*m + v*u + 203 + 43, -2*u + 258 = 2*m. Is m a composite number?
False
Let a(p) = -776*p - 9. Is a(-2) a prime number?
True
Let g(l) be the second derivative of 0 - 5/2*l**2 - 1/3*l**3 + 4*l + 1/4*l**4. Is g(4) a composite number?
True
Let d(v) = v**3 + 2*v**2 + 6*v - 3. Is d(8) composite?
True
Suppose -x = -5*x - 1432. Let o = -212 - x. Is o a prime number?
False
Is -2 - (-200 + 2 + 2) a prime number?
False
Let c(p) = -p**2 + 11*p - 8. Let m(b) = b**2 - 11*b + 9. Let q(z) = 6*c(z) + 5*m(z). Is q(7) a prime number?
False
Suppose -3*y + 12 + 423 = 0. Is y prime?
False
Suppose 3*i - 27 = 642. Is i a prime number?
True
Let n be 3*2/(-6)*-5. Let o(k) = 14*k - 3. Is o(n) prime?
True
Let y(d) = 3*d**3 + 2*d**2 + 1 + 13*d - 4*d**3 - 8*d**2. Is y(-9) prime?
True
Let k(b) = -61*b - 54. Is k(-7) composite?
False
Let g be 329/(-21) + 2/(-6). Let l(r) = -2*r + 12. Let i be l(9). Let n = i - g. Is n a composite number?
True
Suppose 4*a - 6192 = -0*a. Let m = a + -1063. Is m a prime number?
False
Suppose -b = -5*a + 10, 2*b = 3*a - b - 6. Suppose -6 = i - 11. Suppose a*s = -i*z + 225, 0 = 5*s + 3*z - 344 - 228. Is s prime?
False
Suppose -2*d + 6*d = 348. Is d prime?
False
Let y = 5 - 3. Suppose -y*d + 2*v = -52, -3*d - v + 108 = 2*v. Is d a composite number?
False
Suppose 3*w - 336 + 9 = 0. Is w prime?
True
Let u(j) = 586*j**2 + j. Is u(1) a prime number?
True
Let f(h) = -8*h**2 - 3*h - 2. Let s(x) = 23*x**2 + 10*x + 7. Let m(t) = 8*f(t) + 3*s(t). Is m(-6) composite?
False
Let i be (-930)/(-5)*4/6. Suppose -77 = -3*d + i. Is d a prime number?
True
Let o be 88/(-20) - 2/(-5). Let t(s) = s**3 + 6*s*