
Let p(a) be the second derivative of 23*a**3 + 5*a**2/2 + a. Let n(r) = r**3 - 12*r**2 + 15*r - 41. Let m be n(11). Is p(m) composite?
False
Let v(u) = 10004*u + 3049. Is v(50) a composite number?
False
Is 2162/(-188)*(-5044 + 2) a prime number?
False
Let u(v) = 34*v**2 + 8*v - 8. Let a be u(1). Suppose a*o = 50*o - 41264. Is o prime?
True
Suppose -385*r = -404*r + 30032749. Is r composite?
False
Suppose -4*v - 145 - 227 = 0. Let m(a) = 6*a**2 - 16*a - 10. Let k be m(-5). Let x = v + k. Is x a prime number?
True
Let x = -8352 - -23329. Let g = x - 10248. Is g a prime number?
True
Suppose -147*m + 32843348 = -10615291. Is m a composite number?
True
Is 14 - ((-21750)/6 + 4) a prime number?
False
Let w(x) = -5*x + 14. Let k be w(5). Let o = 20 + k. Is 1897/o + 2 + 8/36 composite?
True
Is (-14502151)/(-164) - 1/(8/6) prime?
True
Let f = 439676 - 311095. Is f composite?
True
Let p(s) = -1106*s - 22. Let r be p(-7). Suppose 5*x + 18581 = -u - 707, -2*x - r = -2*u. Let g = 5705 + x. Is g a composite number?
False
Suppose 0 = -3*r + 2*r + 3*d - 3, 5 = -2*r + 5*d. Let k be (1 - (4 + 2))/(-13 + 12). Suppose -q - k*j + 2211 = 444, 3*q - 2*j - 5335 = r. Is q a prime number?
True
Let k = 147 - -674. Suppose -241 + 82 = -n + 3*r, k = 5*n - 2*r. Let x = -110 + n. Is x a composite number?
True
Let a = 25 - 30. Let d(z) = -14*z**3 + 11*z**2 - z - 12. Let j(l) = -15*l**3 + 12*l**2 - 2*l - 12. Let f(y) = a*j(y) + 6*d(y). Is f(-5) a prime number?
False
Suppose -45*n + 43*n = -86194. Is n a composite number?
True
Let l = 763874 - -198317. Is l prime?
False
Let y(c) = -17*c**3 - 2*c**2 - c + 12. Let j be y(6). Let n(u) = -113*u**2 - 6*u + 9. Let w be n(-8). Let z = j - w. Is z a composite number?
True
Suppose 0 = -5*n + 4*h - 4, -2*h + 5 = -4*n + 3*h. Suppose n = -5*s - 2*l, -6*s = -2*s - l. Is (1146/5)/(s + (-2)/(-5)) a prime number?
False
Let l(u) = -64*u - 28. Let n be l(-2). Is 14643/(-2)*(6 - n/15) a prime number?
False
Let c be 4 + 52*6/6. Suppose 96 = 5*f - 94. Suppose -f - c = -i. Is i composite?
True
Let t(f) = 5*f**2 + 12*f + 25. Suppose -16*b - 132 = -4. Is t(b) prime?
False
Suppose -2*z - 2*c + 218138 = -7*c, -2*z + 218138 = -4*c. Is z composite?
True
Let h be (1 + 1)*(0 + -3). Let d = h + 9. Suppose -5*t - d*z + 389 = 0, -6*t + t + 405 = -5*z. Is t composite?
False
Let p(l) = 188*l**2 - 4*l + 7. Let v be p(3). Suppose -3*g + 0*g + 2*f = -66, -g + 15 = -3*f. Let d = v + g. Is d composite?
True
Let a = 54 - 48. Suppose -40527 = 3*n - a*n. Suppose l = -8*l + n. Is l a composite number?
True
Let u(f) = f**2 - 45*f + 203. Let o be u(5). Suppose -r + o*r = -2, -d + 2636 = 5*r. Is d a composite number?
True
Is (-61367256)/(-120)*(-10)/(-6) a prime number?
True
Suppose -25283 = 25*y + 29192. Let s = 3374 + y. Is s prime?
False
Let t(b) = b**3 - 14*b**2 - 42*b - 40. Let y be t(25). Suppose 2*c - y - 3057 = 0. Is c prime?
True
Suppose 2*o = 39 - 91. Let p = 29 + o. Let v(i) = 90*i**2 + 3*i - 4. Is v(p) composite?
True
Suppose -25285 = -9*o - 5908. Suppose -287 = 6*m - o. Is m composite?
False
Let r(p) = 182*p**2 - 8*p - 93. Is r(-19) prime?
True
Let u = 12236 - 57532. Let b be 6/14 + u/112. Let g = b + 1077. Is g prime?
True
Suppose g = -3*j + 79543, 25*g = 30*g + 3*j - 397715. Is g a composite number?
True
Let u = 106713 - 53234. Is u a composite number?
False
Is (458092072/(-516))/((-2)/(-6) - 1) prime?
True
Suppose 4*w - 5185 = -r + 5266, 5*r + 4*w = 52191. Is r a prime number?
False
Suppose 50*d - 55*d + 113640 = -5*l, 5*l - 25 = 0. Is d prime?
False
Suppose 2*y + 2*w - 208 = 0, w + 280 = 4*y - 136. Let j = 0 - -10. Suppose 0 = -j*v + 2*v + y. Is v prime?
True
Let l(w) = 2*w**3 - 10*w**2 - 12*w + 2. Let k(o) be the first derivative of -o**4/4 + o**3/3 + o**2/2 + o + 44. Let x(u) = -k(u) - l(u). Is x(8) a prime number?
True
Suppose m - 18 = -8*m. Let u be (m + (-2 - 0))/4. Is (-141 - -10)/(u + -1) a prime number?
True
Let s = -401 + 345. Is (s/(-42))/(53579/17859 + -3) a composite number?
True
Let r(u) = 143*u - 167. Suppose -29*h + 732 = -196. Is r(h) a composite number?
False
Let x = -28 + 20. Let s be (-8)/12*((-4)/x + 4). Is s/((-12)/76)*1 a prime number?
True
Let a(y) = y**3 + 4*y**2 + 4*y + 2. Let r(o) = o**3 + 8*o**2 + 9*o + 12. Let g be r(-7). Let f be a(g). Suppose -f*j + 1348 = -450. Is j prime?
False
Let b = 34 - 30. Suppose -b*q = -u - 1 - 4, q + 4*u = -3. Is (-256 - 1)*1*q/(-1) a prime number?
True
Is -1*((-2)/1 + (11 - 15)) + 88715 a composite number?
False
Suppose 3*y - 6*c - 70 = -2*c, 4*y - 2*c - 80 = 0. Let r(q) = -q**3 + 28*q**2 - 44*q - 13. Is r(y) a prime number?
False
Suppose 4*g + g - 101530 = -5*k, -5*k + 40597 = 2*g. Is g prime?
False
Let z(d) = -433*d + 2103. Is z(0) a composite number?
True
Is (260886 + -2 - 5)*(1 + 11)/4 a composite number?
True
Let w be (-1108)/1*(1 + 0). Let d(m) = 3*m**2 - 103*m - 176. Let j be d(47). Let n = w + j. Is n composite?
True
Let p = 103 - 97. Suppose 515 = m - p*q + 4*q, 2*q = -5*m + 2575. Is m a prime number?
False
Let d be (-518)/98 - (2 + (-16)/7). Let r be d/(30/1106)*-18. Suppose -5*s = -r + 253. Is s a composite number?
False
Let b(x) = -4569*x + 216. Is b(-5) composite?
True
Let i be (-3216344)/(-40) - 4/(-10). Suppose i = 2*y + 19*y. Is y a composite number?
True
Suppose -4*o - 420 = 5*t, t + 3*o = 3*t + 168. Suppose 3397 = 5*n - 4*v, 2*v = 4*n + 257 - 2971. Let s = n - t. Is s a composite number?
False
Let s(p) = 2*p**2 + 18*p + 1. Suppose 36 = 3*b - 27. Is s(b) a prime number?
False
Let c(f) = 27*f**3 + 28*f - 105. Let x be c(7). Suppose 2*n - 6 = 0, 2*n = -5*o + 3*n + x. Is o composite?
False
Let i = 679746 - 451649. Is i a composite number?
False
Suppose -2*z + 758 = -454. Suppose 4*k - 3*k = -z. Let b = 4525 - k. Is b a composite number?
True
Let n(k) = -k**3 + k**2 + 4*k. Let b(i) = -18*i**3 + i**2 - 24*i - 23. Let q(f) = b(f) + 5*n(f). Is q(-4) a composite number?
True
Suppose -54*t + 52*t + 65527 = 3*s, 65547 = 2*t - s. Is t prime?
True
Let a(q) = 2030*q + 207. Let x be a(-6). Let y = 2428 - x. Is y a composite number?
False
Let r(c) = 71387*c**2 + 28*c - 28. Is r(1) prime?
True
Suppose -4*k = -5*j + 2624037, -32 = -338*k + 342*k. Is j prime?
True
Let s be 14*((-9)/(-7) + -1). Suppose 2*h - 2468 - 7116 = s*t, -3*t = h + 7183. Let c = 3456 + t. Is c prime?
True
Let c(m) = 2*m**2 + 4*m - 17. Let h be c(-5). Let q(d) = 32*d - 16. Let o be q(h). Let b = -163 + o. Is b a composite number?
True
Let k be 2/(3548/886 + -4). Let l = k - -2748. Let d = l - 1794. Is d a composite number?
True
Let l(v) = -241*v + 7. Let w = 44 - 45. Let h be 78/(-18) - w/3. Is l(h) prime?
True
Suppose 56209 = 6*q - 29585. Suppose 0 = 9*b - q - 12692. Is b a prime number?
True
Let l(n) = -n**3 - 13*n**2 - 44*n - 27. Let b be l(-8). Suppose -4*q - 3*a - 4720 + 39332 = 0, 0 = -4*q + b*a + 34612. Is q a composite number?
True
Suppose 0 = -4*d - 217 - 175. Let c = 29 - d. Is c a composite number?
False
Let d = 267 - 252. Is -5*-79*471/d prime?
False
Let d(u) = u**2 + 21*u + 43. Let q be d(-19). Suppose -q*p + 12188 = -2327. Is p a composite number?
False
Is (-3710265)/(-3120) + (-6)/32 a composite number?
True
Suppose 15 = 23*a - 54. Suppose -4*r = -3*c - 25160, 5*r + a*c = 8*c + 31455. Is r a composite number?
False
Let w(p) = -8*p + 102. Let y be w(-27). Suppose 0 = -y*i + 314*i + 18308. Is i composite?
True
Let t(p) be the second derivative of 3*p**2 - 28*p + 0 + 293/6*p**3. Is t(5) composite?
False
Let b be ((-4 + 3)*-8)/2. Suppose n = 6 - b. Suppose -2*t - 3*a + 38 = 0, -n*t = -0*t - 4*a - 52. Is t a composite number?
True
Suppose 66*u = 63*u + 3, 2*v - 67565 = u. Is v composite?
True
Let l = 1233694 - 603677. Is l composite?
False
Let x = -86013 - -210750. Is x a prime number?
False
Suppose 0 = -19*z + 24*z - 290. Let g = 328 + z. Let x = g + -271. Is x a prime number?
False
Let d be 276/(-69)*(-2)/8. Is 2 + -10 + d - -3648 composite?
True
Suppose 19*u - 3504783 = 2874521 - 1416903. Is u a composite number?
True
Suppose 0 = 5*q + h - 625460, 2*q + 3*h - 105840 = 144331. Is q a composite number?
False
Let b = -7588 + 21479. Is b a composite number?
True
Let h(g) = 4312*g**3 - 8*g**2 - 12*g + 9. Let a(l) = -1437*l**3 + 3*l**2 + 4*l - 3. Let x(w) = 11*a(w) + 4*h(w). Is x(1) a composite number?
True
Suppose -6