n - b. Is a prime?
True
Let a(v) = -3*v - 9. Let w be a(-7). Suppose w = c + c. Is c prime?
False
Let d(s) = s**3 + 10*s**2 - s + 7. Is d(-8) composite?
True
Let h = 1175 - 478. Is h a composite number?
True
Suppose -13*o = -15*o + 892. Is o prime?
False
Suppose 0*f + 12 = 4*f, -f - 2225 = -4*n. Is n composite?
False
Is (3 - (-22)/(-8)) + (-417)/(-12) a composite number?
True
Is -2*2/(4/(-74)) composite?
True
Let x(p) = p**2 + 3*p + 9. Suppose -13 = -2*f - g, -2*f + 19 = -0*f - g. Is x(f) composite?
False
Let r = 62 - -231. Is r a composite number?
False
Let g = 154 + -82. Let i = 46 + -9. Let x = g - i. Is x composite?
True
Let n = 26 - -2. Let m = -76 + n. Let a = -29 - m. Is a composite?
False
Let c = -3 + 5. Let t = 4 - c. Is ((-91)/14)/(t/(-28)) a composite number?
True
Suppose 3*v = -4*g + v + 514, 4*g + 5*v = 523. Is g a prime number?
True
Let p(y) = -2*y + 1 + 15 - 4. Is p(-11) a prime number?
False
Suppose 5*s - 2*c - 35 = 0, s - 3*c - 30 + 10 = 0. Let u(z) = z**3 - s*z**2 - 2 - 5*z + 0 - 4*z. Is u(7) a prime number?
False
Let r(y) = 2*y**2 + 26*y + 14. Is r(-13) a composite number?
True
Suppose -5*y + 7942 = 2507. Is y prime?
True
Let o = -507 - -838. Is o prime?
True
Let o(u) = -41*u + 1. Let l(p) = -40*p + 1. Let h(w) = -3*l(w) + 4*o(w). Is h(-3) a prime number?
False
Let q be 1 + -8*(-2)/4. Suppose -2*v - 12 = -4*u, -41 = -6*v + 2*v - q*u. Suppose -v*p = 8 - 220. Is p composite?
False
Is (-6987)/(-5) - ((-64)/40)/(-4) a prime number?
False
Let p be (-130)/(-35) - (-4)/14. Is 194/p - 1/(-2) prime?
False
Is (-4)/10 - 2361/(-15) prime?
True
Is 35140/112 + (-2)/(-8) prime?
False
Suppose 3*f - 123 = 81. Suppose 191 = p - f. Is p a composite number?
True
Let y(d) = 125*d**2 - 2*d + 2. Let z be y(1). Let k be -5*(0 + 8/(-5)). Suppose -k*p + 3*p = -z. Is p prime?
False
Let l be (2/3)/((-2)/(-6)). Suppose 0 = 2*c - 4 + l. Suppose -g + c = -d, -3*g - 3*d + 10 = -23. Is g a composite number?
True
Let h(b) = -b**2 - 11*b + 15. Is h(-9) prime?
False
Let i = -706 + 433. Let m = i + 646. Is m prime?
True
Let l be 85 + (-1 - (-1 - 0)). Let i = 28 - 26. Suppose -i*z - l = -3*z. Is z a prime number?
False
Suppose 924 + 3665 = 13*z. Is z prime?
True
Let i = -208 + 367. Let y(v) = -2*v**2. Let j be y(2). Is 2/j - i/(-12) composite?
False
Suppose -4*a + 3*a + 1 = 0. Suppose -2*u + 8 = -4*u, 0 = v + 2*u - a. Is v a prime number?
False
Suppose -18 = s - 3*a - 2*a, 0 = 3*s - a + 12. Let y be (-1 - 0)*(s + 1). Suppose -y*z + 0*z + 231 = 5*m, 0 = 5*m + 4*z - 227. Is m prime?
True
Is (-68185)/13*1/(-5) a composite number?
False
Suppose -u - 5*m + 236 = -540, -5*u - 4*m = -3901. Is u a prime number?
False
Let g(d) = -220*d + 37. Is g(-4) prime?
False
Suppose 2*b - 87 = 5*f, -f = b - 10 - 37. Let s be b/10 + 2/5. Suppose -s*u + 33 + 82 = 0. Is u composite?
False
Let z = 544 + -309. Is z a composite number?
True
Is (131/(-4))/(4 - (-51)/(-12)) a prime number?
True
Suppose 3*f - 24 = -0*f. Let q = f - 2. Suppose 3*j = -q, -2*j = -6*p + 3*p + 97. Is p a prime number?
True
Let i(s) = 5*s + 293. Let d(z) = 9*z + 586. Let y(k) = 4*d(k) - 7*i(k). Let r be (-2 + 1/1)*0. Is y(r) composite?
False
Let y be (-423)/(-2) + (-4)/(-8). Suppose 4*r = 104 + y. Is r composite?
False
Let v(x) = 2*x + 10. Let b be v(-7). Let g(c) = c**2 + c - 5. Is g(b) prime?
True
Let a = -393 - -604. Is a a composite number?
False
Let a(i) = -8*i + 1. Let n be a(-3). Let v = -2 + n. Is v prime?
True
Suppose -4*a + 2*a + 26 = 0. Is a a prime number?
True
Let s = -4 + -1. Let m be ((-38)/s)/(4/(-20)). Is (m/(-3))/((-2)/(-3)) a composite number?
False
Let q(g) = 3*g**2 - 6 + 6*g + 5*g**2 - g**3 - 4*g. Let l = 8 - 1. Is q(l) composite?
True
Let n(f) = 13*f**3 - f**2 + 6*f - 7. Is n(3) composite?
False
Let g(o) = 12*o**2 - o + 4. Suppose 0 = -q - 4 + 1. Is g(q) prime?
False
Let r(q) = 8*q**2 - 3*q + 6. Let j(z) = -8*z**2 + 4*z - 7. Let y(v) = 4*j(v) + 5*r(v). Suppose 4*l - 3*l - 5*w = 13, -5*w = -2*l + 16. Is y(l) composite?
True
Let b(p) = 25*p - 3. Suppose 3*u = 2*u + 4. Let z be b(u). Suppose -62 = -i + 5*o, 0 = 3*i - o - z - 19. Is i composite?
False
Let g be (40/(-70))/(2/(-7)). Suppose -2*f - 3*s + 16 = 0, 0*f + 5*s = 5*f - 40. Is (4/f)/(g/308) composite?
True
Let i be 2*(0 + 34/4). Let p be (-12)/(2 - 3) + -2. Let a = i - p. Is a composite?
False
Suppose -a - 2*a = -483. Suppose 65 - a = -3*l. Let n = l + -17. Is n composite?
True
Let f = 78 - -9. Is f composite?
True
Let b = 0 + 46. Is b prime?
False
Suppose j + 4*j = -5. Is -1*(67/1)/j prime?
True
Suppose -3*r - 4 - 1 = -h, -3*h + 15 = 2*r. Suppose -t + h*a = -52, 0 = 2*t + t - 2*a - 169. Is t prime?
False
Suppose -6*l + 8*l = 118. Is l a composite number?
False
Let v(k) = -k**2 + 8*k - 7. Let n be v(6). Suppose 5*s = d - 116, n*d - s - 602 = 2*s. Is d a prime number?
False
Suppose 2*b - 14 = 4*f, 5*f + 8 = 2*b - 7. Is (-3)/(-1)*(0 + b) prime?
False
Suppose -1 = -5*i + 14. Let s(a) = 0 - 9*a + i + 2*a. Is s(-4) prime?
True
Suppose -b - 4552 = -5*g - 0*b, -4*g + 3656 = 4*b. Suppose -l = -3*t + g - 283, -t + 5*l + 186 = 0. Is t a composite number?
False
Suppose -c = 3*z - 258, -2*z - 3*z - 15 = 0. Is c prime?
False
Let s(h) = 25*h**2 - 2*h. Let o be s(5). Suppose 2*q + l - 270 = -3*l, 5*q - o = 5*l. Is q a prime number?
True
Let q = -1 + 6. Let v be -43 - q/((-5)/3). Let y = v + 75. Is y a prime number?
False
Let z = 8 - 10. Is 1*(0 + z + 193) a prime number?
True
Suppose -9294 = -14*x + 128. Is x prime?
True
Let u = -3993 + 8194. Is u prime?
True
Let q = -964 - -1383. Is q composite?
False
Suppose t = -t - 2. Let o(h) be the third derivative of -7*h**4/12 + h**3/6 - h**2. Is o(t) composite?
True
Suppose g + 4*g + 45 = 0. Let r(a) = a**2 + 2*a - 10. Is r(g) a composite number?
False
Let d(x) = 2*x**2 + 11*x - 8. Is d(-9) composite?
True
Suppose 2*q + 4*b + 120 = -0*q, -b - 240 = 4*q. Let g = q - -84. Let w = g - 13. Is w a composite number?
False
Let v be (-6 - -2)*(-146)/8. Let u = 94 + v. Is u composite?
False
Let n = -14 - -18. Suppose -4*j = -n*m - 695 + 155, 5*j - 3*m - 671 = 0. Is j prime?
False
Let w = 418 - 47. Is w prime?
False
Suppose -5*w + n - 39 = 0, n = -w - 2*n - 11. Is 459/4 + (-2)/w prime?
False
Suppose -5*z + 5*j + 340 = 0, -z - 6*j = -3*j - 84. Let c = z - -17. Is c a composite number?
False
Is 9695/15*(2 - -1) prime?
False
Suppose 6998 = 5*o - 3*g, 132 - 1546 = -o - 3*g. Is o composite?
True
Suppose z = 4*w + 18 + 199, -5*w = -4*z + 912. Is z composite?
False
Let x(k) be the first derivative of k**5/10 + k**4/6 - k**3/2 - 2*k**2 + 3*k - 3. Let f(n) be the first derivative of x(n). Is f(3) a composite number?
False
Suppose 0 = -2*x + 6*x - 3556. Is x prime?
False
Let z(g) = -12*g + 17. Suppose 0 = -a - 2*h - 18, -3*a = h - 6*h + 21. Is z(a) a prime number?
False
Suppose 0 = -0*q - 5*q + 10. Let b(n) = q - 2 - 2 - 33*n. Is b(-3) a prime number?
True
Suppose -4*g - 2*j + 652 = -534, -g - 2*j = -295. Let z = g + -134. Is z a composite number?
False
Let j(p) = -438*p**3 + p**2 - 1. Let l be j(-1). Let w = -247 + l. Is w a prime number?
True
Let q be (-160)/(-15)*(-3)/2. Let k = 25 + q. Is k prime?
False
Suppose -t + 17 = 5*a, -a - 4*t + 19 = -9*t. Suppose 5*p + a*g = -0*g + 85, p + 4*g - 1 = 0. Suppose -4*o - p = -73. Is o a composite number?
False
Let g = -27 - -43. Suppose 0*l = -4*t + 5*l + g, -2*t - 3*l = -8. Suppose 0 = -t*b - 36 + 128. Is b a composite number?
False
Suppose 2*y - 1940 = -4*f, f - 485 = -3*y + 7*y. Is f prime?
False
Suppose -4*x = -452 - 1336. Suppose -x = -5*g + 2*g. Is g a composite number?
False
Suppose 2*n - 162 = -n - 4*r, n + 5*r = 43. Let j = -21 + n. Is j a prime number?
True
Suppose 5*l - 658 = 1237. Is l a composite number?
False
Suppose b = -q - 2*q + 94, -5*q = -25. Is b prime?
True
Let d be 8/36 + 70/9. Let o = 4 - d. Is (39/o)/(2/(-8)) a composite number?
True
Is 1162 - (-4 + -5 + 4) a prime number?
False
Is (210/(-20))/((-1)/2) a prime number?
False
Let n(b) = b + 169. Let t be n(0). Suppose 2*j + 34 + 37 = s, 2*s = -5*j + t. Is s prime?
False
Suppose 3*c = -0*c - 456. Let g = 445 + c. Is g prime?
True
Let p(y) = 7*y**2 - 4. Is p(-3) a prime number?
True
Suppose -120 = -24*w + 20*w. Let b = w - -1. Is b composite?
False
Let y(j) = 49*j**3 + j**2 - 21*j + 2. Is y(5) prime?
True
Suppose 0