 y(a) be the second derivative of a**5/20 - a**4/4 - 4*a**3/3 + 5*a**2/2 - 13*a. Is y(9) a prime number?
True
Suppose v = -3*s + 13, -v - v + 22 = 2*s. Suppose -v*n + 126 + 184 = 0. Is n a prime number?
True
Let n = 31 + -27. Suppose -n*l + 4924 = -2*c - 2194, 2*l - 3569 = 3*c. Is l a composite number?
False
Suppose -3*b + 102943 = -2*o, o + 79 = 77. Is b prime?
True
Suppose -37*a = 3*a - 120440. Is a prime?
True
Let l = -2327 - -5586. Is l prime?
True
Let z(t) = -5*t - 10. Let g be z(-3). Suppose 5*r + 4*m - 2906 = 2083, -2*r - g*m + 1999 = 0. Is r prime?
True
Let q(w) = -w**3 - 15*w**2 - 25*w + 18. Let r be q(-13). Let z be (-2)/(8/3580*r). Is (z/(-4))/(2/8) prime?
True
Let f be ((-4)/30 + (-1)/5)*-39. Suppose -f*n + 9*n = -332. Is n a prime number?
True
Let g be (-2)/11 + (-140)/(-44). Let h be (0 + g)*(-1924)/(-3). Suppose 9*u = 13*u - h. Is u a prime number?
False
Let g = 85514 + 17451. Is g a composite number?
True
Let l(k) = -2*k - 9. Let z be l(-9). Suppose -y + z = 5*o, -o + 5*o = 5*y + 13. Suppose 2*t - g - 178 = -0*t, o*t - 170 = 3*g. Is t a composite number?
True
Let l be ((-2)/(-6)*0)/2. Suppose l = -2*x - 6, 3*x - 1104 = -3*d - 0*x. Is d prime?
False
Let q be -38*(-6)/4*(-20)/(-12). Suppose -3*o - 2957 = -4*f, 2*o - q = f - 828. Is f a prime number?
True
Let g = 36 + -34. Let a be (-12)/g*12/(-9). Let l(x) = -x**3 + 11*x**2 - 8*x - 6. Is l(a) a prime number?
False
Suppose -57*b - 1304 = -65*b. Is b a composite number?
False
Suppose 8 = a - 28. Let o be a/21*(-154)/(-4). Let l = o - 13. Is l a composite number?
False
Suppose -2*s - 2*j + 2116 = 0, -5*s + 5*j + 788 + 4502 = 0. Let z = s - 379. Is z prime?
False
Let q = 123 + -123. Suppose -5*h - 3*j + 12265 = q, 3*h = h - 4*j + 4906. Is h a composite number?
True
Let b(z) = z**2 + 3*z + 4. Let a(r) = -r**2 + 13*r - 2. Let w be a(13). Let g be b(w). Is -3 + (0 - g) + 98 composite?
True
Let j = 4227 + 7514. Is j prime?
False
Let q = 42 + -94. Is 1/(-4) - 4537/q prime?
False
Suppose -3*t + 6 = -3. Let b(j) = 25*j + 4. Let o be b(t). Suppose r - o + 0 = 0. Is r prime?
True
Suppose 2*l = -5*m + 153102, -2*m = 5*l - 0*m - 382797. Is l a composite number?
False
Let a(p) = -p**2 + 10*p + 3. Let b be a(10). Suppose y + b = 2*x, -4*y - 2*x + 5 = -3. Let o(t) = 237*t**3 + t**2 - t. Is o(y) prime?
False
Suppose r - 12963 = -3*j, -j - 5*r + 2555 + 1766 = 0. Is j a prime number?
False
Suppose -4*h - 5*j + 27978 = 0, -6*j + 6991 = h - 3*j. Is h a prime number?
True
Suppose -2*h = -3*m - 2*m + 2591, m - 521 = -h. Is m prime?
False
Let n(o) = -1. Let x(k) = -3*k - 548. Let c(j) = 3*n(j) - x(j). Let u be c(0). Let t = u + -354. Is t composite?
False
Let b be (4/(-3))/(6/(-9)). Let q(h) = 7*h + 0*h + 0 + 8 + h**b. Is q(10) a prime number?
False
Let c = -26 + 34. Suppose 4*i + c = 0, -j - 5*i + 43 = -6. Is j a prime number?
True
Suppose -5*w + 45 = -30. Is ((-93)/w)/(3/(-15)) composite?
False
Suppose y + 2*p = -y + 576, -872 = -3*y - 5*p. Let h = y + 9. Is h a composite number?
False
Let m = 1819 + -458. Is m a prime number?
True
Let h be 2 + 1 - 0/12. Suppose -4*u = h*w - 8*w + 1477, 2*u + 6 = 0. Is w prime?
True
Suppose 3*u = -2*a + 16, 2*a + 10 = a + 3*u. Let d be a + 0 + 2947/7. Suppose -4*y + d - 91 = 0. Is y prime?
True
Let q(x) = -x**2 + 5*x + 17. Let g be q(7). Suppose -g*l - 15 = 3*j, 10 = -j + 4*j - 2*l. Is ((-3)/3 - j)*-127 a composite number?
False
Let c = -5160 - -8953. Is c prime?
True
Let b = 212 - 204. Suppose 5*i - 3*k = 35, -i = -3*k + k. Suppose i*y = b*y + 2402. Is y composite?
False
Suppose 20 = 3*i + 11. Suppose -5 = 2*b + i. Is b/(-14) + (-26273)/(-91) a composite number?
True
Suppose -2*v + 14866 = 3*t, 0 = 2*t - 7*t. Is v a composite number?
False
Let a = 2878 + -1695. Suppose -z - a = -5*g - 5*z, -2*g = 4*z - 466. Is (-4 - 0) + 0 + g prime?
False
Let n(x) = x**2 + 2*x + 2. Let m be n(-3). Let a be 100 + (3 + -2)*-1. Is a - (-2 + m + -1) a composite number?
False
Suppose -4*f + 4*o + 4 = 0, -2*o - 4 - 2 = -4*f. Let b be (4/(-3))/(f/21). Is (-6)/21 - 2286/b a composite number?
False
Let j(a) = -a - 11. Suppose 65 = -5*y - 0*y. Let n be j(y). Suppose 4*g + n*p = 20, 3*g - 4*g = 3*p. Is g composite?
True
Suppose -z + 6 = f + 3, -3*f = -5*z - 17. Suppose n - 3*u = 203, -f*n + 330 = -4*u - 514. Is n composite?
True
Is 1/(-3)*11/((-33)/178623) a composite number?
True
Let q(j) = -5*j - 1. Let s be q(-1). Is ((-4)/(-2))/(s/326) a prime number?
True
Suppose -u = u + 2. Let r be u/4 - 5229/(-36). Let c = r + -98. Is c a composite number?
False
Suppose -3*g = -0*g - 36. Suppose -5*q + 40 = 4*l + l, 5*q - g = 2*l. Suppose -d - 21 = -l*d. Is d a prime number?
True
Let c = -32 + 24. Is (c/12)/(2/(-573)) a composite number?
False
Let f(u) = 13*u**2 + u - 4. Let v be f(-3). Let b(r) = 2*r**3 + 2*r**2 - 13*r + 7. Let y be b(6). Let l = v + y. Is l a composite number?
True
Suppose -10 + 4 = -2*y. Is -2 + 104/y + 2/6 a prime number?
False
Let z(a) = -151*a - 6. Suppose 2*i + 2 = -5*t, 3*t - 41 = 3*i + t. Is z(i) a composite number?
True
Let y(j) = 20*j**2 - 5*j + 12. Is y(5) composite?
False
Is (-48346 - 58)*1/(-2) prime?
False
Is (-11 - -12)/(2/2998) prime?
True
Let o(t) = 51*t**2 + 3*t + 1. Let k be o(3). Suppose 3*b + 1268 + k = 3*m, 4*m + 3*b - 2351 = 0. Is m + 0 + 3/1 prime?
True
Let l(a) = -14*a**3 + 3*a**2 + 11*a + 1121. Let w(c) = -5*c**3 + c**2 + 4*c + 374. Let s(h) = 3*l(h) - 8*w(h). Is s(0) prime?
False
Suppose u - j + 768 = 0, 0*j - 5*j + 752 = -u. Is u/(-6)*(3 - 0) a prime number?
False
Suppose -5*v - 28024 + 102309 = 5*j, 3*v + 5*j - 44579 = 0. Is v prime?
False
Suppose 3*o + q + 4073 = -4994, 15112 = -5*o - 2*q. Let z = 4307 + o. Is z a composite number?
True
Let h(c) = c**2 - 5*c - 8. Let d be h(9). Suppose -5*z + 22 = -4*l + l, 4*z - 5*l = d. Suppose -34 = -q + 5*n, 0 = -2*n + z - 12. Is q a composite number?
True
Let g be (((-198)/12)/(-11))/((-6)/232). Is (-2)/(-4) + (-98165)/g prime?
True
Let q(i) = 6*i**2 + 13*i + 16. Let a be q(-13). Let k = -40 + a. Is k a prime number?
True
Suppose 3*c + 3*y - 42145 - 42431 = 0, -y = -5. Is c composite?
True
Let s(b) = 7*b**2 - 18*b - 2. Let g = 12 - 3. Is s(g) prime?
False
Let b(g) be the third derivative of -g**6/120 + g**5/6 - g**4/4 + g**3/6 + 2*g**2. Is b(7) prime?
False
Suppose 12*w = 9*w + 8883. Let b = w - 1624. Is b composite?
True
Let l(f) = 194*f + 107. Is l(13) prime?
False
Suppose -4 = -10*g + 16. Suppose g*k - f + 161 = 3*k, -k + 4*f = -141. Is k a prime number?
True
Suppose -6*s + 32 = 4*x - 2*s, 5*s = 20. Suppose 0 = -x*i - 1167 - 33. Let c = 619 + i. Is c a prime number?
False
Suppose -5600 - 10713 = -y + 3*f, 0 = -4*y + 5*f + 65266. Is y a composite number?
False
Let p = 2654 - 980. Let q = -613 + p. Is q a prime number?
True
Is 1*1563/21*(21 - 14) composite?
False
Is 3999/(-4 + (-63)/(-9)) a prime number?
False
Suppose -6*x + 3*x = -12. Suppose 3*j = 2*f + 5 + 6, x*j = 20. Is f a prime number?
True
Is 4/(-32) - (-8)/(256/658020) prime?
True
Let f(i) = -i**3 + 1. Let j(t) = -4*t**3 - 9*t**2 + 19*t + 20. Let n(k) = 3*f(k) - j(k). Is n(-8) a prime number?
True
Let q(v) = 41*v**2 - 10*v + 82. Is q(5) prime?
False
Suppose 0 = -2*n - 3*n + 5. Let z be 3/(12/808)*n. Suppose z = 4*q - 162. Is q a composite number?
True
Is 6/(-60)*-5*2938 a composite number?
True
Suppose -5*x + 7241 = -57924. Is x composite?
False
Suppose -w + 7 = -0*w + 3*j, -4*w + 28 = -j. Let l be -4*((-14)/8)/w. Let c(a) = 1088*a**3 + a**2 - 3*a + 1. Is c(l) a composite number?
False
Let l(w) = -1703*w + 384. Is l(-5) composite?
True
Let p(z) = -z**2 + 4*z. Let s be p(2). Suppose s*c + 2*a = 2306, 3*c - 2*a - 579 = 2*c. Is c a prime number?
True
Let c = -43 + 59. Suppose -3*t - 2575 = -3*a + 2*t, 4*t - c = 0. Is a prime?
False
Let q(z) = -3*z**2 + 2*z + 2. Let y be q(-1). Let s be (2 - 4) + (y - 34). Is ((-13)/s)/(2/4302) a composite number?
True
Let p(o) = 964*o**2 + 15*o + 125. Is p(-6) a prime number?
True
Suppose 4*z = -2*m + 41 + 1193, 2*z = 3*m + 605. Is z prime?
True
Let p = 7 - 7. Suppose p = -5*v - 2*u + 2102, -5*u - 442 = -v - 0*u. Is v prime?
False
Let g be 240/56 - 2/7. Suppose -g*l = -7*l + 30. Suppose f - l = 21. Is f a composite number?
False
Let z = 470 - 82. Let p = z + -9. Is p composite?
False
Let n(r) = 53*r**2. Let a(i) = i**3 + 9*