 the second derivative of 53*h**4/3 + 3*h**2/2 - h. Is j(2) a composite number?
True
Let t = -6 - -25. Let d(x) = -18*x - t*x - 3*x + 5*x. Is d(-1) prime?
False
Let z be (90/(-36))/(2/4). Let f = -71 + 41. Is ((-33)/z)/((-6)/f) a composite number?
True
Let d = 15 + 0. Let q be (-125)/(-10)*54/d. Let c = q + -30. Is c composite?
True
Let q = -6367 + 26286. Is q a prime number?
True
Let n(d) = 6*d**2 + 52*d - 7. Is n(-13) a composite number?
False
Suppose 0*u + n = u - 4110, -3*u + 12332 = -5*n. Is u a prime number?
False
Let d(f) = f**2 + 7*f + 1. Let r be d(7). Let c = 722 - r. Is c a prime number?
False
Let u be (-4)/14 - (-28483)/49. Suppose 0 = -5*t + 2*x + 2931, 3*x = -t + 6*x + u. Is t composite?
False
Let t(x) = -4*x**3 + 2*x**2 - 4*x + 4. Let u be t(3). Let m = u + 169. Is m prime?
True
Let o = 4624 + -2413. Suppose 4*q + o = 3*s + 890, -1327 = -3*s + q. Is s a prime number?
True
Let y be (-14)/(-4) - (-9)/6. Suppose 4*z = 4*p, -4*p + 4*z = -y*p. Suppose -5*j + p*j = -275. Is j a composite number?
True
Let o = 111 + 452. Is o prime?
True
Suppose -5*j = -4*q - 139, -4*j + 47 = 4*q - 57. Suppose 0 = -j*d + 24*d + 222. Suppose -4*u = -6*u + d. Is u a composite number?
False
Let d(t) = -t**2 - 12*t - 15. Let l(r) = -2*r**2 - 6*r - 3. Let u be l(-4). Let g be d(u). Let n(p) = -p**3 - 4*p**2 - 6*p - 5. Is n(g) composite?
False
Let r(w) = 5*w**3 - 11*w**2 + 8*w - 5. Let o(g) = -g**3. Let t(k) = -4*o(k) - r(k). Suppose 14 = 2*n - 0*n. Is t(n) composite?
True
Let b(g) be the first derivative of 75*g**4/2 - 2*g**3/3 - 3*g**2/2 + 5*g + 3. Is b(2) a composite number?
True
Let d = 788 - 399. Suppose -1076 = -5*j + d. Is j a composite number?
False
Let s(p) = -229*p**3 + p**2 + 1. Let j be s(-1). Suppose d - 8*d = -j. Is d a prime number?
False
Suppose 5*j + 32 + 13 = 0. Let o = j + 11. Suppose -3*g - 145 - 472 = -o*i, -2*i - 3*g = -587. Is i a prime number?
False
Suppose 4*c - 3*c - 5 = 0. Let q = c + -2. Suppose k + 254 = q*k. Is k prime?
True
Is (-1 - 14034/3)/(6 + -7) a prime number?
True
Let f(v) = -2*v - 8. Let a be f(-4). Suppose -5*x + x + 28 = a. Is 499/x - 6/21 prime?
True
Is 457/3*7/((-7)/(-51)) a prime number?
False
Suppose 4*b - 2*x = -4 + 20, -x = -3*b + 12. Is (b + 16254/(-6))*(0 + -1) a prime number?
False
Let j(p) = 34*p**2 + 6*p - 5. Let b be (3 - 9) + (1 - 0/(-1)). Is j(b) composite?
True
Suppose 0 = -5*a + 20, 5*i + 9*a - 22511 = 5*a. Is i a prime number?
False
Is 9 + (-169715)/(-7) + -3 a composite number?
False
Let b(z) = 4*z**3 + z**2 - 2*z - 7. Let d = 21 + -11. Let u = d + -6. Is b(u) a composite number?
False
Let v(i) = -i**2 - 13*i - 13. Let m(s) = s**2 + 9*s - 1. Let l be (-5)/(15/(-6))*-4. Let h be m(l). Is v(h) composite?
False
Let y(o) = 860*o**2 - 5*o + 8. Is y(7) composite?
True
Let j(o) be the third derivative of o**5/60 - 5*o**4/12 - 2*o**3/3 - 2*o**2. Let i be j(12). Is (-1)/4 + 2225/i a prime number?
False
Let p(f) = 110*f + 2. Let g be p(7). Suppose 2*u - 4*u + 3*n + g = 0, -5*n + 740 = 2*u. Suppose 7*w + u = 11*w. Is w a composite number?
True
Let c = 2739 + -4749. Let x = c - -3647. Is x prime?
True
Let s(x) = 206*x**2 + 9*x + 26. Is s(-3) composite?
True
Let n(g) = -153*g - 2. Let r be n(-4). Suppose 3*c + 2*c = r. Let f = c - 16. Is f composite?
True
Let b be (-10)/(-45) + 4/(-18). Suppose 4*i - 265 = -b*i + q, -q - 1 = 0. Let r = i + -29. Is r prime?
True
Let s = 6872 - 4501. Is s a composite number?
False
Is (13/13)/((4 - 9)/(-26095)) a prime number?
False
Let f be (3 + 3)/(2/(0 - -1)). Suppose f*g = -3*r + 2*g + 3350, -3*g = 3. Is r composite?
False
Let j be (20/(-7) + 2)*-7. Let l be -4*(-23 + 1 - -5). Is (l/j)/(10/555) composite?
True
Let a(p) = 157*p - 265. Is a(6) a prime number?
True
Suppose -4*r + 49*l + 424 = 45*l, 2*r = -4*l + 242. Is r a composite number?
True
Let a = 1168 - 261. Is a a composite number?
False
Suppose 3 - 5 = -2*c. Let r(b) = 305*b**2 + 1 - 167*b**2 + 280*b**2. Is r(c) prime?
True
Suppose 359*q = 363*q - 730316. Is q composite?
False
Let f(m) = -624*m - 43. Is f(-17) a composite number?
True
Let m be 4/14 - 120/(-70). Suppose -m*d - 3*g + 41 = 0, 9*d - 3*g = 4*d + 50. Is (-3)/(2 + (-27)/d) composite?
True
Let t(q) = 2*q - 13. Let u be t(9). Let a(b) = -b**2 - 5*b + 7. Let w(f) = -f**2 - 4*f + 6. Let h(d) = 2*a(d) - 3*w(d). Is h(u) composite?
False
Let m = -3347 - -4694. Is m a composite number?
True
Suppose -14 = -2*o - 0*o + v, 5*o - v - 32 = 0. Let i = o - 9. Is (-289)/(-3) + (-2)/i prime?
True
Suppose -4*x = 5*m + 8168 - 68891, 2*m + x = 24288. Is m prime?
True
Let u(s) = 73*s**2 + s - 1. Let x(k) = -k**3 + 16*k**2 + k - 14. Let c be x(16). Is u(c) a prime number?
True
Let d(b) be the third derivative of b**4/6 + 4*b**3/3 + 4*b**2. Let t be d(-4). Let j(h) = -18*h + 1. Is j(t) a composite number?
True
Let c = 3351 + 418. Suppose 0 = -7*z + 2454 + c. Is z a composite number?
True
Let f be (-2)/(-7) + 6745/35. Suppose -4*r + 4*q = 2*q - 732, -r + f = 2*q. Suppose r = 4*s - 3. Is s a composite number?
False
Suppose -5*s - 978 = 4*o, 4*o - 204 = s + 6. Let j = 288 + 7. Let q = s + j. Is q a prime number?
True
Let a(k) = 12*k - 149. Is a(13) a composite number?
False
Let v = -68 + 64. Let n be 82/6 - 2/(-6). Is (-810)/(-42) + v/n composite?
False
Let a = 3397 - 600. Is a a prime number?
True
Let a = 3148 + -99. Suppose -a + 958 = -3*z. Is z a prime number?
False
Let c(g) = g**3 - 13*g**2 - 28*g + 8. Let n(q) = 2*q**3 - 25*q**2 - 55*q + 15. Let k(f) = 5*c(f) - 3*n(f). Is k(11) a composite number?
False
Let u(v) = v**3 + v**2 - 3. Let i be u(0). Let g be (149/2)/(i/6). Is -2*(-1)/(-2)*g a composite number?
False
Suppose 41*z - 33*z - 166888 = 0. Is z prime?
False
Suppose -8*k + 18 = -2*k. Suppose 0*a - k*a = -417. Let s = -50 + a. Is s a composite number?
False
Let f(d) = 164*d**3 - 4*d**2 - 29*d + 108. Is f(5) prime?
False
Let a be -1354*((-3)/(-9))/(4/(-6)). Suppose -515 = -4*w + a. Is w a composite number?
True
Suppose 0 = 14*i + 14*i - 69412. Is i prime?
False
Suppose 539*k + 16634 = 541*k. Is k a prime number?
True
Let t be 4/(-1) + (1 - -8). Suppose t*a - 5*g - 288 - 7497 = 0, -2*a - 5*g + 3128 = 0. Is a composite?
False
Let h = -14 + -4. Let d(i) = i**3 + 17*i**2 - 19*i + 19. Is d(h) composite?
False
Let n(m) = 41*m + 2 - 2 + 114*m + 1. Let r be n(3). Let v = 677 - r. Is v a prime number?
True
Let k be ((-2484)/24)/((1 + 0)/(-6)). Suppose -217 = -2*r + k. Is r a prime number?
True
Suppose -98 = -u - i - i, 4*u = 5*i + 340. Suppose 2*t - u = 898. Let j = t + -303. Is j a composite number?
False
Let v be -1 + (1 + 2 - -1). Suppose v*j - 5 = 2*j. Suppose -425 = -j*d - 0*i - 5*i, 0 = 4*d + 3*i - 344. Is d prime?
True
Let t = 6434 + -10486. Let p = -2115 - t. Is p prime?
False
Is ((-39)/(-65))/((-2)/(-5))*5458 composite?
True
Let l(s) = -7*s**3 - 14*s**2 - 26*s + 21. Let r(n) = 3*n**3 + 7*n**2 + 13*n - 10. Let p(y) = 6*l(y) + 13*r(y). Is p(-9) a composite number?
False
Suppose -t = 8*t - 4653. Is t composite?
True
Suppose 4*r + 200 = -0*r. Let l = 36 + r. Is (l/(-6))/((-3)/(-207)) a composite number?
True
Let m be (-8559)/(-18)*4/6. Suppose 5*r - 4*r - m = 0. Is r a composite number?
False
Suppose 6*m - 9*m = 6. Let x be (-3 - -4)*2/m. Is x/(-1) - (-177 + 1) composite?
True
Let s(x) = -74*x + 33. Is s(-25) a composite number?
True
Suppose -5*t - 200 + 1195 = 0. Is t prime?
True
Let y be (-9)/6 - 2/(-4). Let p = 158 + y. Is p a prime number?
True
Suppose -3014 = -5*g + 3*c, -2*g + 1204 = -5*c + 3*c. Suppose -g - 389 = -3*y. Is y a composite number?
False
Let k be (-10)/75 + (-8)/(-60). Let q = 8 + -3. Suppose k*p - 1055 = -q*p. Is p composite?
False
Let k be 3 + (1 - -1 - -9). Let o(j) = 2*j**3 - 17*j**2 - 5*j + 33. Is o(k) a composite number?
True
Let f(z) = 4*z**2 + 10*z + 27. Suppose 0 = 3*a - 9, 0 = -4*b - 2*a + 5*a + 19. Is f(b) a prime number?
True
Let a(d) = -d**3 - 2*d**2 + d - 2. Let w be a(-3). Let p = w - 18. Let i = 72 + p. Is i a prime number?
False
Let g(c) = 121*c**2 - 20*c + 43. Is g(-12) composite?
False
Is (-17 + 13)/((-12)/30903) a prime number?
True
Let a = 539 - -1514. Is a a prime number?
True
Let z(i) = 224*i**2 - 10*i + 31. Is z(7) prime?
True
Let a(g) be the second derivative of -g**5/20 + 5*g**4/3 - 35*g**3/6 - 27*g**2/2 - 37*g. Is a(16) composite?
True