8*k**3 - 28*k**3 + 25*k**3. Is s(v) a composite number?
False
Let k be ((-4)/12)/((-1)/(-3)). Let c be k + (1 - 2) - -52. Is (c/4)/(2/4) a composite number?
True
Let o(l) = 4*l**3 - 7*l**2 - 2*l + 3. Let g be o(3). Suppose g = 3*f - 0*f. Is f composite?
True
Let v(z) be the second derivative of z**4/2 - 4*z**3/3 + 11*z**2/2 + 7*z. Is v(11) a prime number?
False
Let i(b) = 38*b + 1. Let c be i(3). Let n be ((-42)/(-56))/(-1 - (-11)/8). Suppose -5 + c = n*l. Is l a composite number?
True
Is -40345*((-5)/20)/(20/16) a composite number?
False
Let h(r) = 22*r + 1. Let x = 16 + -15. Suppose -x + 7 = 2*i. Is h(i) prime?
True
Suppose -5*j - 15 = 0, 628 = 3*k + 3*j - 380. Is k prime?
False
Let w be ((-5 + 6)*0)/(-1). Suppose -8*c + 8496 + 712 = w. Is c prime?
True
Suppose -5*r - 15 = 0, 2*k + 2*k = r + 9271. Is k composite?
True
Let t(o) = -307*o + 3. Let u be t(-10). Let w be 8/(-24) - u/(-3). Suppose 4*y - 2788 = w. Is y a prime number?
True
Let j = 168 - -35. Is j a composite number?
True
Let q(d) = 1 + 4*d - 2 + 9*d**2 - 3*d - 2*d**2. Let k be (1 - 7)*(-12)/24. Is q(k) a prime number?
False
Is (-10)/(-2) + (12 + 56)*13 a prime number?
False
Let d(s) = -29*s + 18. Let o = -96 + 89. Is d(o) a composite number?
True
Suppose 0*j + j - 25 = -5*u, -4*u + 20 = 5*j. Suppose 0 = 5*s + 20, -44 = u*p + 2*s + 34. Is (-1 - 1) + (-994)/p a composite number?
True
Suppose v - 880 = -3*t, 3*t = -3*v - 0*t + 2640. Suppose 0*l + f + 4388 = 5*l, -l + f = -v. Is l a prime number?
True
Let i(b) = -22*b**3 - 3*b**2 + 4*b + 7. Let m be i(7). Let v be 18/24 - m/8. Suppose l - 3*l = -v. Is l prime?
True
Suppose -1 = k, -6*u = -10*u - 5*k + 19871. Is u a prime number?
True
Suppose 0 = 3*z - 0*z + 9. Is 1039/(z + -1 + 5) prime?
True
Let h(j) = -j + 16. Let c be h(-14). Suppose s - c = 4*d + 37, -4*d + 107 = s. Is s prime?
False
Suppose 0 = h - 6*t + 2*t - 4029, 5*h + 3*t = 20168. Is h a composite number?
True
Suppose -5*c = -5, 2*j + 2*j + 2*c - 22 = 0. Suppose -j*h + 2*n + 58 = -378, -5*n = 15. Let w = 3 + h. Is w prime?
True
Suppose 3 = -8*c + 5*c. Is 267*c*(-6)/18 a composite number?
False
Is ((-7)/(-56)*-13196)/(1/(-2)) prime?
True
Let r(g) = 439*g + 15. Is r(8) composite?
False
Suppose -23*r - 20 = -28*r. Suppose -2*q + 2664 = -3*o - 2*o, r*q + 3*o - 5354 = 0. Is q a prime number?
False
Suppose 2*l - f - 105 = 1177, -1923 = -3*l - 4*f. Is l composite?
False
Let d = -199 + 348. Is d a prime number?
True
Let s be (-42520)/(-12) + (-24)/18. Suppose -s - 1703 = -5*w. Is w composite?
False
Let g(l) = 5*l**2 - 13*l + 3. Let t be g(6). Suppose 9*r + t = 12*r. Is r composite?
True
Suppose 2*k + 3*g - 2 = 3*k, 4*k - 2*g = 12. Suppose -k*l + 6*l - i - 521 = 0, 2*l = 2*i + 516. Is l prime?
True
Let w = 20 - 9. Let v(t) be the first derivative of t**2 + 15*t - 2. Is v(w) composite?
False
Let n = -2459 - -5335. Suppose 2*a - 3*a + n = 0. Suppose 3*j - a = -983. Is j a composite number?
False
Let i(m) = -10715*m + 8. Is i(-1) composite?
False
Suppose d + 3*x = 11837 + 16361, 5*d + 5*x = 140980. Is d prime?
False
Suppose -19*s - 6031 = -21*s - t, 5*s = -3*t + 15080. Is s composite?
True
Suppose 7 = 3*y - 2. Suppose -3*o - 9 = 2*g + g, 1 = -2*g + y*o. Is (12/g)/3 - -129 prime?
True
Let o = -9648 + 24895. Is o composite?
True
Let s(f) = -17*f**3 - 12*f**2 - 10*f - 23. Is s(-10) prime?
True
Let y = 20 + -16. Suppose -y = t - 7. Suppose t*a - 301 = 122. Is a a prime number?
False
Suppose -3*p + 5*n + 26 = 0, -2*p + 0*n - n = 0. Suppose -6*b + 3*b - 6799 = -5*y, 0 = -4*y + p*b + 5440. Is y prime?
True
Let t(w) = -1591*w**3 + w**2 + 14*w - 7. Is t(-3) prime?
False
Let x(v) = 6228*v + 61. Is x(2) composite?
False
Suppose -2*w = d - 113509, -227025 = -4*w + 2*d + 3*d. Is w prime?
False
Let m(q) = -130*q**2 - 12*q - 35. Let n be m(-4). Suppose 5*s - 8*s = 4170. Let b = s - n. Is b a prime number?
True
Is -73*-3*6/9 a composite number?
True
Let y be 12/(-15) + (-344)/20. Let v = -13 - y. Let k = 102 - v. Is k a prime number?
True
Let j be (4 - (-6957)/2)*-6. Is (-4)/22 + j/(-33) a prime number?
False
Let t(d) = 2*d**3 + 2*d**2 - 2*d - 1. Is t(7) a prime number?
True
Suppose 170655 = 5*b + 56080. Is b a prime number?
False
Suppose 91 - 31 = 60*s. Let g(n) = n**2 - 3*n. Let h be g(2). Is s/h + (-1545)/(-6) a composite number?
False
Let s = 95 + -91. Suppose 4*h + 20 = 0, 4*i + 104 = -s*h + 5104. Is i a composite number?
True
Let p(i) = -i**2 + i + 6. Let y be p(-3). Is y/9 + 0 + 952/6 a prime number?
False
Let h(j) = -6*j**3 + 3*j**2 + 3*j - 4. Let n be h(-5). Suppose -5*g - r + 6123 = 0, -4*r = -2*g - r + 2456. Let q = g - n. Is q prime?
True
Suppose -2*c + 37 - 33 = 0, -4*f + c = -5162. Is f prime?
True
Let m = 6562 + -2595. Is m a composite number?
False
Let t(u) = 5*u**2 - 26*u - 56. Is t(-19) a composite number?
False
Suppose -69 = -4*o + 7*o. Let l = o + 3. Is ((-235)/l + -4)*12 a composite number?
True
Is (154/11)/(8/7724) prime?
False
Let l = -3851 + 8434. Is l prime?
True
Let i(n) be the first derivative of 305*n**4/4 - n**3/3 + n - 11. Let k be i(1). Is k + -3 + 1 + 4 prime?
True
Suppose 4*y - 4*f + 2*f - 21534 = 0, 0 = 3*y + 2*f - 16133. Is y a composite number?
False
Let c = -8386 - -23309. Is c a prime number?
True
Let w(t) = -21*t + 5. Let g be w(-25). Let v = g - 307. Is v prime?
True
Suppose 0*j = 3*j - 48. Let g be (-333)/(-5) - -5*4/50. Let k = g - j. Is k composite?
True
Suppose 4045*s + 381505 = 4050*s. Is s a prime number?
False
Let w(n) = 2*n**2 - 24*n - 131. Is w(33) a composite number?
True
Suppose -w = -2*w - 5*k + 231, 3*w - 4*k = 636. Suppose 0 = i - w - 365. Is i a composite number?
True
Let k = -28430 - -59859. Is k composite?
True
Let j(c) = -c**2 + 2*c - 8*c + 3*c. Let m be j(-1). Suppose -2*u + 6*y - y = -281, 285 = m*u - y. Is u a composite number?
True
Suppose -7*y = -22*y + 304635. Is y composite?
True
Let a = -572 - 241. Let y = a + 1507. Is y a composite number?
True
Let r be ((-10)/2)/((-85)/102). Is ((-406)/10)/(r/(-30)) prime?
False
Let g = 821 - 167. Suppose 0 = -3*p - 2*q + g, 4*q - 8 = 4. Let h = 77 + p. Is h composite?
False
Let s = -1653 - -2784. Suppose -11*m + s = -8*m. Is m a prime number?
False
Let o(i) be the third derivative of i**6/120 + 7*i**5/60 - i**4/4 - 2*i**3/3 - 6*i**2. Let g be o(-6). Suppose 2*h - 38 = g. Is h a composite number?
False
Let c be (-1)/(12/4 + -2). Is (1 - (0 - 1)) + 820 + c a composite number?
False
Suppose -634 = -13*l + 3253. Is l a prime number?
False
Let y(r) = -r**3 + 7*r**2 + 16*r + 3. Let k be y(12). Let f = k - -878. Is f a composite number?
False
Suppose -19 = -4*f - 7. Suppose 5*h - 300 - 1102 = -f*a, -2*a - 4*h + 936 = 0. Suppose 23 + a = v. Is v composite?
False
Suppose -5 = 9*p - 8*p. Let g be (-2 - p - 2)*4. Suppose -g*m - 745 = -9*m. Is m a prime number?
True
Let u be ((-3)/6)/(1/(-106)). Let o = u + -80. Is 446/4 - o/18 a composite number?
False
Suppose -21*u - 53302 = -50*u. Is u prime?
False
Let i(u) = 16*u**2 + 13*u - 26. Suppose -45 = 4*r - 9*r. Is i(r) a prime number?
False
Let u = 1477 + 94. Is u prime?
True
Let q(x) = 55*x**3 + 7*x**2 - 3*x + 23. Is q(4) prime?
True
Let p = 87 + -21. Let m = p - -273. Is m prime?
False
Suppose -3*d + 267 = 4*m, -4*d = -3*m - m + 232. Suppose 5*w + m - 283 = -5*j, 5*j - 180 = 5*w. Is j/12*174/4 prime?
False
Suppose 0 = -29*w + 38*w - 3411. Is w - (12/3 - 4) prime?
True
Is (412/(-8))/((-3980)/568 - -7) prime?
False
Let o(a) = 4*a**3 + 2*a**2 + 8*a + 15. Let t(q) = 7*q**3 + 5*q**2 + 15*q + 29. Let h(r) = 5*o(r) - 3*t(r). Let i be h(-12). Let p = -647 + i. Is p prime?
True
Let x = 6 + -1. Suppose x*g - 12 = 8. Suppose 2*j + g*n = j + 441, -3*n = -j + 455. Is j composite?
False
Suppose 22*y - 7*y = 75. Suppose -y*k - 6940 = -19695. Is k a prime number?
True
Suppose 3*x - 22 + 4 = 0. Let k(u) = -6*u - 7*u**2 - 5 + 3 + x*u**3 - 5*u**3 - u**2. Is k(9) composite?
True
Let b(l) = 2*l**2 - 2*l + 1. Let f be b(-2). Let v(o) = 4*o**2 - 2*o - 3. Is v(f) composite?
False
Let w(u) = 93*u**2 + 23*u - 1. Is w(15) a composite number?
False
Let c(s) = -4*s**2 + 18*s. Let f(p) = 14*p + 5*p**2 + 9*p - 42*p - 1. Let b(a) = 4*c(a) + 3*f(a). Is b(8) composite?
False
Let h be 460/(-24) - (-2)/12. Let w = h - -19. Suppose -4*d + 6*d - 178 = w. Is d a prime number?
True
Let o(z) = -9107*z*