s c(10) a composite number?
True
Suppose 0*b = 5*b + h - 24, -3*h - 8 = -b. Suppose 3*c - 38 = -n, -n - b*c = 3*n - 173. Is n composite?
False
Let w(c) = c**3 - c + 6. Let b be w(0). Suppose -26 + b = -5*h. Let q(i) = i**2 + 5. Is q(h) composite?
True
Let x be (-2 - 4*-1) + 7. Let i(f) = 6*f - 1. Is i(x) prime?
True
Let h(d) be the first derivative of 9*d**2/2 - 4*d + 1. Let v be 4/4*(4 - 1). Is h(v) composite?
False
Let d(p) be the first derivative of -p**6/120 - p**5/30 + p**4/24 + p**3/6 + p**2 - 1. Let x(f) be the second derivative of d(f). Is x(-3) composite?
False
Let f be (-20)/(-6) - 3/9. Suppose -144 = -f*y + 57. Is y composite?
False
Let n(j) = -13*j + 1. Is n(-4) prime?
True
Let p = -8 + 14. Suppose 4*f - p - 2 = 0. Let t = f + 11. Is t a prime number?
True
Is 994 + (-9 - (-16)/4 - -4) composite?
True
Suppose 3*q - 38694 = -5*p - 10974, -9223 = -q + 4*p. Is q composite?
True
Let z = 6 - 1. Is z*148/(3 - -1) prime?
False
Let a = -9 - -6. Let x(d) = 14*d + 5. Let p(y) = -119*y - 42. Let s(g) = 5*p(g) + 42*x(g). Is s(a) composite?
True
Let r(a) = a**2 + 6*a + 3. Let f be r(-6). Suppose -56 = j + f*j. Let x = j - -27. Is x a composite number?
False
Is (6/(-9))/((-6)/3114) a prime number?
False
Is 3 - 4 - 28*-3 prime?
True
Let a be (58/8 + -3)*8. Let y = 108 - a. Is y prime?
False
Suppose 3*d + d - 76 = 0. Let s = 28 - d. Suppose s = q - 46. Is q composite?
True
Suppose 409 = -5*k + 1464. Is k a prime number?
True
Let v be -5 + 4 - (-1 - 2). Suppose 2*z - v = 4. Suppose -z*k = -l - 8, 2*l - l - 4 = -3*k. Is k a composite number?
False
Is -5 - 6396/((-36)/6) prime?
True
Is (-10120)/(-6) - (-1)/3 prime?
False
Let k = 514 + 289. Is k prime?
False
Suppose -2*o + 242 = 4*g, 4*o = -g + 2*g + 511. Is o a prime number?
True
Suppose -4*r = 5*y - 11, -11 = -2*r + 3*y - 0*y. Suppose 0 = f - 4*f + r*m + 3625, 6 = 3*m. Is f a composite number?
True
Let i be (196/6)/((-1)/(-3)). Let s(o) = -o**2 - 12*o - 20. Let r be s(-10). Suppose r*j + 2*j - i = 0. Is j a composite number?
True
Suppose 1 = -3*v - 2, 4*i = 5*v - 279. Let p be i*(1 + 0)*-4. Suppose -4*x + p = -48. Is x a prime number?
True
Let t = -3 + 3. Suppose 0*d + 4*d - 380 = t. Is d a composite number?
True
Let d(z) = -z + 11. Let x be d(9). Let i be x/7 + (-12)/(-7). Suppose 2*y = 2*l + 162, -l + 36 - 202 = -i*y. Is y prime?
False
Let l(r) = 2*r**2 - 4*r**2 + 2*r**3 + 3 - r**3 - 5*r. Let b(g) = -g**3 - 7*g**2 - 2*g - 9. Let z be b(-7). Is l(z) prime?
True
Let s(t) = 28*t**3 - t**2 + 5. Let u(d) be the third derivative of 29*d**6/120 - d**5/60 + d**3 - 2*d**2. Let g(b) = 6*s(b) - 5*u(b). Is g(1) prime?
False
Let a(s) = -s**3 - 9*s**2 - s - 10. Let p be a(-9). Is (1*p)/(12/(-3804)) composite?
False
Let r be (32/(-6))/((-12)/18). Suppose r = d - 17. Is d prime?
False
Let y(r) = 204*r - 2. Let j be y(2). Suppose -5*m + 264 + j = 0. Is m composite?
True
Suppose v + 2*l = 549, 2*v = -0*v - 3*l + 1099. Is v a prime number?
False
Let t(c) = 3*c**3 - 2*c**2 + 2*c - 3. Suppose 3*n = 3*r - 27, r - 5*n = 3 + 26. Let s be t(r). Suppose -4*h + s = -h. Is h a composite number?
True
Let x(z) = z**3 + 5*z**2 + 5*z + 6. Let t(d) = -4*d**3 - d**2 - d + 1. Let n be t(1). Let r be x(n). Let v = -4 - r. Is v a composite number?
True
Suppose -n = -3*n + 8. Suppose -145 + 5 = -n*w. Is w prime?
False
Let p = 1306 - 633. Is p a prime number?
True
Let v be ((-2)/6)/((-1)/3). Suppose v = 2*p - 1. Is (-111)/(-3) - -2*p prime?
False
Let u = -4 + 4. Suppose u = -l - 3*l + 92. Is l a prime number?
True
Let y(p) = p**2 - 10*p + 9. Let v be y(8). Let j(i) = i**3 + 9*i**2 + 9*i - 2. Is j(v) prime?
False
Let o(w) = -2*w - 6. Let a be o(-5). Let s(u) = u**3 + a + 0*u**2 + 3 + 6*u**2 - 9*u. Is s(-7) prime?
False
Let h = 17 - 10. Suppose -h*b - 40 = -2*b. Let l(y) = -y + 11. Is l(b) prime?
True
Suppose 72 = 2*a - 5*k - 7, -2*a + 67 = -k. Is (a - -1)*(-2)/(-6) a composite number?
False
Suppose 2*p + 4 = 0, 2*z + z = -5*p + 1679. Is z a prime number?
True
Suppose 977 = 2*u + u + 4*d, 5*u - 3*d = 1667. Is u a prime number?
True
Let c(w) be the second derivative of -3*w**5/20 - w**4/12 + w**3/3 + 3*w**2/2 - 12*w. Let m = -4 + 2. Is c(m) a composite number?
False
Let m(d) = 75*d**2 + 4*d + 3. Let y be m(-2). Let i = -175 + y. Let w = i + -23. Is w prime?
True
Suppose -2*v + 6 = -2*k - 8, 0 = v - 2*k - 11. Is v prime?
True
Is (-4 - -1)/(24/(-248)) prime?
True
Suppose -o + 13 = -4*h, -4*o - 11 = 3*h - 5*o. Suppose 0*j - 4*j + 3*z = -264, -3*z = 3*j - 177. Is (h - j)*1*-1 a prime number?
False
Let g be -6*(-2 - 6/(-4)). Suppose 8*b - g*b - 130 = 0. Is b prime?
False
Let w(y) = -y**3 + 3*y**2 + 2*y + 2. Let g be w(3). Is -2*2/g*-94 a prime number?
True
Is (-1)/(-2) + (-2121)/(-2) composite?
False
Let j = -141 - -212. Let t = -40 + j. Is t prime?
True
Let l = 793 + -368. Suppose q + 4*q = l. Is q prime?
False
Let k(o) = 110*o**2 - 5*o + 22. Is k(-7) a prime number?
False
Let d(c) = 8*c - 1. Let q(x) = x + 13. Let u be q(-6). Is d(u) prime?
False
Suppose 2*b - 999 = 2443. Is b a composite number?
False
Let g be 113 + 0 + -2 + 0. Let r = 16 + g. Is r composite?
False
Let c(o) = o**3 + o**2 + o - 142. Let z be c(0). Let l = 257 + z. Is l composite?
True
Let p(b) = b - 8. Suppose n - 16 = -n. Let t be p(n). Suppose 2*c - 134 = -4*v, t = -3*v + 4*c + 22 + 95. Is v prime?
False
Let k = 19 + -2. Suppose 84 = -0*v + 3*v. Let q = v - k. Is q a composite number?
False
Let a(f) = 0 - 7*f + 1 - 3*f. Let p(w) = 9*w - 2. Let l(t) = 4*a(t) + 5*p(t). Is l(5) composite?
False
Is (-34)/(-4)*(37 + 1) a composite number?
True
Let k be (-4)/(-6)*6/4. Suppose -5*o + 286 = k. Is o a prime number?
False
Suppose -164 = -2*n - 2*n. Suppose -80 - 33 = -5*s + m, -2*s - m = -n. Is 334/s - (-4)/(-22) prime?
False
Suppose -1 = g + 1. Let o = -5 - g. Is -10*(-3)/o*-1 a composite number?
True
Let t(k) = 20*k - 1. Let w = -3 + 1. Let q be -4*((-1)/w - 1). Is t(q) composite?
True
Let v = 11 - 7. Let i(w) = w**3 - 3*w**2 - 3*w - 2. Let j be i(v). Suppose 3*r + d = 2*d + 34, -d - 21 = -j*r. Is r a composite number?
False
Suppose -4*q + s + 2*s + 5021 = 0, 3*q - 3750 = -3*s. Is q prime?
False
Let q(c) = -c + 2. Let u be (-4 + 4)/(4 - 2). Let t be q(u). Suppose -t*n = -3*f - 33 - 8, 0 = -2*n - 3*f + 35. Is n composite?
False
Let r = -131 - -462. Is r prime?
True
Suppose -3*f = -3*w - 13 - 11, 4 = 5*f + 4*w. Let m(x) = 2*x**2 - 4*x - 2. Is m(f) composite?
True
Suppose 0 = 3*a - 52 + 10. Is a a prime number?
False
Let l = 10 + -25. Suppose -4*a + 100 = o + 8, 0 = -4*o - 3*a + 433. Let q = o + l. Is q composite?
False
Let m(k) = 1734*k**2 + 2*k - 1. Is m(1) composite?
True
Is ((-10)/30)/((-2)/132) a prime number?
False
Suppose 4*y + 2*x - 366 = 0, -2*x + x - 440 = -5*y. Is y prime?
True
Let u(v) = 2*v**2 + 18*v + 17. Let m = -34 - -22. Is u(m) a composite number?
False
Let k = 316 - 146. Suppose -2*l + k = 3*l + h, 2*h = 10. Is l a prime number?
False
Let y = -59 - -128. Is y a prime number?
False
Let j(a) = a**2 + 4. Let n be j(0). Suppose n = -3*d + 10. Suppose 466 = 2*g + d*i, 5*i + 480 = -g + 3*g. Is g a prime number?
False
Suppose 4*t - 1 = 59. Suppose -2*q = 3*q + t. Is q/(-3)*-2 + 23 prime?
False
Let g be 8/(-6)*6/(-4). Suppose 0*l - 15 = -g*l - 3*j, 3*l - 2*j = -10. Suppose -4*b - b + 35 = l. Is b a composite number?
False
Suppose -2*y = -f + 12, 20 = -3*y + 3*f + 2. Let z be ((-12)/8)/(y/16). Suppose -3*t + 149 = -z*l, -3*t - 71 = -5*t - 3*l. Is t a composite number?
False
Let r = 4 - 2. Let j be (2 + -4)/4*-8. Suppose -r*t = -2*l - 10 + 48, j*l - 40 = -5*t. Is l composite?
True
Let k(i) = -5*i**3 + 4*i**2 + 4*i - 4. Is k(-5) a composite number?
False
Suppose d + 15 = -3*n, -n = -3*d + 2 + 3. Let m = n + 7. Suppose -5 = 5*c, -2*i - m*c - 2*c = -24. Is i prime?
False
Suppose -2*h = -3*h - 4. Let k be ((-3)/3)/(2/h). Is 3*k/(-6)*-49 composite?
True
Let c(i) = 8*i**2 - i + 2. Let m be 60/(-25) - (-2)/5. Let v be c(m). Suppose -y + 31 = -v. Is y composite?
False
Let i be 0 - (-8 + 1 + -2). Let b be -204*(1 - i/6). Suppose 0 = m + 7 - b. Is m a composite number?
True
Suppose 5*m - 35 = 40. Suppose p - 2*l = 28, -3*l - 2*l = -m. Is p a prime number?
False
Suppose 47 = 4*g - 9. Suppose 10 = 5*a, a + a = -2*p + g. Suppose -r + 48 = 5*d, -r - p*d = r - 86. Is r composite?
True
