e number?
False
Let k(l) = l**3 - 16*l**2 + 13*l + 35. Let b be k(15). Suppose -521 = -u - 0*u + b*o, -2*u = 5*o - 1102. Let n = 718 + u. Is n a composite number?
False
Suppose -4089525 - 529907 = -317*y + 10923395. Is y a prime number?
True
Is (-1)/((-2)/187463*(90/(-12) - -8)) a prime number?
True
Let n be -2 + 9 + 3 + -2. Suppose 2*q + 144 = 444. Let w = q + n. Is w a composite number?
True
Suppose 12*f - 1083238 = 6677030. Is f a composite number?
True
Let u = 374 + -372. Suppose 4*n - 28596 = -4*d, -n - u*d + 3024 + 4123 = 0. Is n a prime number?
True
Let s(z) = 13*z**2 + 2*z - 5. Let o be s(8). Suppose -3*u = 2*g + 2*g + 506, 0 = -4*u - 4*g - 676. Let l = o + u. Is l composite?
False
Let z(b) = -3*b**3 - 5*b**2 + 10*b + 11. Let f(k) = 11*k**3 + 20*k**2 - 39*k - 45. Let h(t) = 2*f(t) + 9*z(t). Let q be h(-6). Let o = q + -574. Is o prime?
True
Suppose 0 = -112*l + 143*l - 1750881 - 639498. Is l a composite number?
True
Is (1 - 194812)*183/(-549) a prime number?
True
Suppose 5*h + 9*p - 8*p + 1128322 = 0, -3*h - p - 676992 = 0. Is ((h/(-22))/11)/(2/4) composite?
True
Let n(d) be the first derivative of d**4 + 10*d**3/3 + 5*d**2 + 7*d - 70. Is n(5) a prime number?
False
Let d(s) = 2*s**2 - 23*s + 41. Let c be d(10). Is ((-11)/c)/(1/(-33479)) a prime number?
True
Suppose 8549236 + 15547698 = 101*p + 1563531. Is p composite?
False
Let o(c) = 3*c**3 - 6*c**2 - 9*c + 8. Suppose -3*v - v - 5*j - 40 = 0, v + 3*j = -17. Let w be o(v). Is (w/(-32))/(2/8) a prime number?
True
Let b(r) = -136*r**3 - 10*r**2 - 24*r - 59. Is b(-6) a prime number?
True
Let c(y) = -214450*y - 701. Is c(-8) prime?
False
Suppose -1415 = -w + 1385. Let l = w + -1439. Is l a composite number?
False
Suppose 3 = m - 14. Let h = -2 + m. Suppose h = 4*j + j. Is j a composite number?
False
Suppose 0 = 4*u - 4*z - 2683312, -980443 + 309354 = -u - 28*z. Is u a prime number?
False
Suppose -4*m + 187409 = 3*v, -8*m - 249812 = -4*v - 5*m. Is v prime?
True
Suppose j = 3*a + 155306, -16*j + 14*j + 310639 = 3*a. Is j a prime number?
False
Let t(r) = 56*r**2 - 6*r + 179143. Is t(0) composite?
False
Let n(q) = -4544*q**3 + q**2 - 5*q + 10. Let r(c) = c**3 + c - 3. Let m(o) = -n(o) - 3*r(o). Is m(1) a prime number?
False
Suppose -41*u = -27 - 55. Suppose 0 = 7*a - 3*a + 40. Is (4 + (-7785)/a)*u a prime number?
False
Let g = -204 + 195. Let n(p) = 173*p**2 + 2*p + 2. Is n(g) prime?
True
Suppose 0 = -3*l + 2*w - 345, -5*l - 211 = 3*w + 345. Let d = -174 + l. Let u = d - -616. Is u composite?
True
Suppose 3*v = -a + 420723, 18*a = -v + 19*a + 140241. Is v prime?
False
Suppose -2*k + 6 = 2. Suppose -a + 3*c = 3*a - 35755, -k*a = -3*c - 17885. Is a a composite number?
True
Let c(p) = 2*p**2 + 3*p + 2. Let l be c(-2). Let s(w) = -4*w + 6. Let h be s(l). Let b(i) = -2*i + 31. Is b(h) a prime number?
False
Let n(b) = -121*b**2 + 3*b + 122. Let p(x) = 61*x**2 - 2*x - 62. Let d(f) = 2*n(f) + 5*p(f). Is d(-11) a composite number?
True
Let z(j) be the first derivative of 5531*j**2/2 + 3*j + 39. Is z(2) prime?
False
Is (19/((-855)/124170))/(2/(-21)) prime?
False
Suppose 0 = -5*d + 7*d + 46229 - 173107. Is d a prime number?
True
Let p be (-4)/(19/(-76)*(-8)/(-17722)). Suppose -4*h + 10868 = 4*s - p, 5*s + 4*h - 57885 = 0. Is s prime?
False
Suppose -225710 = -15*c + 478585. Let t = -32980 + c. Is t a composite number?
True
Let g = 101 + -94. Suppose 0 = -g*o - 1428 + 8911. Is o a prime number?
True
Let o(x) = 13 + 7*x**2 - 17*x + 23 + x**3 - 24 + 0*x**2. Let w be o(-9). Suppose -w*n = f - 1518, 1500 = -2*f + 3*f - 3*n. Is f a prime number?
False
Let t(c) = 3*c**2 - 40*c + 15. Let k be t(13). Let w(u) = 581*u**3 + u**2 + 5*u + 1. Is w(k) a prime number?
True
Let j(h) = 3*h**3 - 137*h**2 + 138*h - 141. Is j(49) composite?
False
Let u(d) = -5*d - 131. Let z be u(-27). Suppose -2098 = -3*n - z*k, 4*n - 2*k - 2788 = 2*k. Is n a prime number?
False
Let j(n) = 6010*n**2 + 6*n + 42. Let g be j(-7). Suppose 13*p = g - 48387. Is p a prime number?
False
Let f(v) = -10*v**3 + 2*v**2 + 3*v + 2. Let l be f(-2). Let o(w) = l*w + 8*w**3 - 3*w**3 - 2*w**2 + w**2 - 85*w. Is o(2) prime?
False
Is 58/(-203) + (1 - 10389/(-21)*258) a composite number?
False
Is ((-2131623)/(-6) - 1)*22/(-3 - -14) composite?
True
Is (-2)/3*1805952/(-256) prime?
True
Let l = -355 + 5752. Let d = 19594 - l. Is d prime?
True
Suppose 0 = 66*c - 966489 - 106697 - 553648. Is c composite?
True
Let p = -166998 + 334735. Is p a prime number?
False
Let l(j) = 6*j + 4. Let s(a) = 5*a + 4. Let f(z) = 6*l(z) - 7*s(z). Let y be f(4). Suppose 5*p - 8 + 28 = y, 3*r - 2*p = 905. Is r prime?
False
Let v(x) = 108 + 1385*x**2 - 117 + 11*x - 12*x. Is v(-3) prime?
False
Let w = -9352 + 233897. Is w composite?
True
Suppose 0 = 4*g - 36, -28*s - 11*g = -29*s + 2132998. Is s a composite number?
False
Let q(m) = 17*m**2 + 5*m - 109. Is q(-15) composite?
True
Let w(d) = -233*d**3 + 86*d**2 + 19 - 58*d**2 - 31*d**2 + 8*d. Is w(-3) composite?
True
Let u(w) = -w**3 - 13*w**2 - 2*w - 121. Is u(-35) a composite number?
True
Let i(j) = -2*j + 41. Suppose -2*u = u + 4*q - 39, -4*u + 52 = 4*q. Let s be i(u). Let v(x) = -x**3 + 24*x**2 - 36*x - 14. Is v(s) prime?
True
Suppose -2*u + 3*f - 30 = 0, 0 = 4*u - 2*u - 2*f + 32. Let n be (-8)/(-6)*(-27)/u. Suppose -995 = -n*b - 241. Is b prime?
False
Let m(l) be the third derivative of 11*l**6/120 + l**5/12 - 17*l**4/24 + 10*l**3 + 11*l**2 + 5*l. Is m(11) prime?
False
Let b(u) = u**3 + 19*u**2 - u - 17. Let g be b(-19). Suppose c + f = 1320, 3*c = -c - g*f + 5278. Is c composite?
False
Suppose -4*b + 3*u = -3625, 2*b - u = -3*b + 4523. Let c = 5527 - b. Suppose 7*r - 4*r - c = 0. Is r a composite number?
True
Suppose -2 = h - 1. Let o be ((-144)/40)/(6/(-20)). Is (o/h)/4 + 24 a prime number?
False
Is (-84)/(-21)*(-258845)/40*-2 prime?
True
Suppose 7*m - 4*m = 18858. Let v = 2198 + -625. Suppose 4*d - m = r, 5*r - 6*r = -d + v. Is d a composite number?
False
Suppose -4*s - 203409 = -j - 5*s, 2*j + 5*s = 406806. Is j prime?
False
Suppose 3*j - 8 = -5*m + 5*j, -4*j = 3*m + 16. Let f be m + (2 - -11 - (2 - 1)). Suppose -f*s + 15*s - 2229 = 0. Is s a prime number?
True
Let y = 158 - 270. Let j(b) = 9*b**3 + b**2 - 6*b - 5. Let v be j(-3). Let x = y - v. Is x a composite number?
False
Let i = -73 - -990. Let o = i - -2. Let f = -270 + o. Is f a composite number?
True
Suppose 7*p = 18 + 10. Suppose 0 = -k - n + 1526, p*k + 4*n = 2*k + 3060. Let a = k - 849. Is a prime?
True
Let f(l) be the third derivative of l**5/30 - l**4 + 25*l**3/2 - 79*l**2. Is f(-14) prime?
False
Suppose -26*i + 173*i - 7354013 = 5693560. Is i a prime number?
False
Let d be 16657 + (-12 + 8)*-1. Let o = 28292 - d. Is o a composite number?
True
Let x(o) be the second derivative of o**5/20 + 19*o**4/6 + 43*o**3/6 - 35*o**2/2 + 189*o. Is x(-16) prime?
True
Suppose -2*g + 29 = 25. Suppose 4*m = 0, -5*m = -3*x - g*m. Suppose 3*z - 3348 = -3*q, -2*q = 3*z - x*q - 3349. Is z prime?
True
Suppose 4*k = 5*m - 1350018 - 508531, 743446 = 2*m + 5*k. Is m prime?
False
Let k(q) = -72*q**2 + 13*q + 12. Let c(u) be the first derivative of -71*u**3/3 + 6*u**2 + 11*u + 15. Let h(a) = -7*c(a) + 6*k(a). Is h(-2) a prime number?
False
Suppose 2*m = 470741 + 353477. Is m prime?
True
Let b(q) = -3*q**2 + 71*q - 43. Let d be b(23). Is (-1)/d - 265789/(-201) composite?
True
Suppose -71*o - 1916120 = -79*o. Is o a prime number?
False
Let p(c) = 9*c**2 - 14*c + 3. Let w(h) = -26*h**2 + 41*h - 9. Let a = -38 - -27. Let i(d) = a*p(d) - 4*w(d). Is i(-8) prime?
False
Suppose 2565 - 82569 = 12*k. Is (68 + -69)/(1/k) composite?
True
Let y be ((-4)/(-6) - 2)/((-22)/33). Let f be y/5*(1*-24 - -4). Let c(d) = d**3 + 10*d**2 + 10*d + 5. Is c(f) a composite number?
False
Let z = 2 - -2581. Let g = 1978 + z. Is g prime?
True
Let r = 5800 - -307281. Is r composite?
False
Suppose 0 = -29*b + 85586 + 741759 + 2560406. Is b prime?
True
Let k(m) = 376*m**2 - 12*m - 9. Let t be k(-13). Let r = t + -33560. Is r prime?
False
Let j = 141101 + 62796. Is j a prime number?
True
Let q = 487493 + -192540. Is q a composite number?
False
Let k(d) = -d**2 - 35*d - 13. Suppose 0 = -5*n + 3*o - 1, -4*n + 4*o = 3*o - 2. Let w be (n + -2)*(-34)/(-2). Is k(w) a prime number?
True
Let o = 27 + -25. Suppose 0 = 4*p - 15 + 27, 4*t