w prime?
True
Let w(i) = 3*i + 9. Let u be w(-3). Suppose -2*j + 0*p + 2*p = -46, -4*j + 2*p + 86 = u. Suppose j = -q + 466. Is q prime?
False
Let o(z) be the second derivative of 119/2*z**2 + 1/2*z**3 - 1/6*z**4 + 1/20*z**5 + 0 + 29*z. Is o(0) a composite number?
True
Let o(p) = 63235*p**2 - 4*p + 2. Is o(-1) composite?
False
Let t = 336 + -330. Is 2064/(-64)*(-232)/t prime?
False
Let q(b) = -3*b**3 - 15*b**2 + 2*b + 16. Let u be q(-5). Is (-46)/u*(-53 - -20) prime?
False
Let t be -1 + -5 - (-9)/9. Let m = 7 + t. Suppose -10*j + m*j + 2360 = 0. Is j composite?
True
Suppose 5*i - 616 = -4*h + 1259, 2*i + 5*h = 733. Suppose -118*t = -117*t - i. Is t a prime number?
True
Let c(w) be the first derivative of w**4/4 - w**3 - w**2 - 6*w - 30. Let d be c(4). Suppose 3*h + d = 5, 0 = -2*y + h + 2425. Is y prime?
True
Suppose -183612 = -2*q + m + 79200, q + m - 131409 = 0. Is q composite?
True
Let v(h) = 4*h**2 + 16*h - 3. Let b be v(12). Let w = b - 178. Is w prime?
True
Suppose -5*x + 2*z - 19 = 9, -15 = 2*x + 3*z. Is (16654/(-84) - (-9)/21)*x a composite number?
False
Let w be 3 + 11*(-1 - 3). Let d = w + 592. Is d composite?
True
Suppose 4*m = -45103 + 601531. Suppose -9643 + m = 8*n. Is n composite?
False
Let x = 33392 - -22973. Is x composite?
True
Suppose -4*d + 0*r = -2*r + 3598, -2*r - 4484 = 5*d. Let g = 2441 + d. Is g a composite number?
False
Is (747364/(-12))/(-1)*(-47 + 50) prime?
True
Suppose 5*m - q = 2660, -513 = -m - 2*q + 6*q. Let t = 1342 - m. Is t composite?
False
Let g = 570408 - -226711. Is g prime?
True
Suppose -o = -2*x + 2546, -x + 3*o = 5*o - 1278. Let h = x + -692. Let u = -255 + h. Is u a prime number?
False
Suppose -15*v = 5*v - 39040. Suppose 5*b + v - 8817 = 0. Is b prime?
True
Let i(b) = -728*b + 55. Let s(r) = -244*r + 18. Let j(h) = 4*i(h) - 11*s(h). Is j(-7) prime?
False
Suppose 5*y - i + 6*i - 14370 = 0, -2*i + 14373 = 5*y. Suppose 4*w - 4*f = -5*f + y, 0 = 4*f + 4. Is w a prime number?
True
Suppose -1395 = -7*z + 15384. Suppose -3*h = -3*v + z, -4*v + 5*v = -5*h + 799. Is v a prime number?
False
Let f(d) = -8*d + 4. Let h(x) = 0*x - 17 + 12 + 8*x. Let l(t) = -2*f(t) - 3*h(t). Is l(-2) composite?
False
Suppose -27*y - 20 = -29*y. Suppose g = -2*r + 813, -y*g + 2050 = 5*r - 11*g. Is r a composite number?
False
Suppose -12*u - 3*b = -18*u + 2724573, 1362276 = 3*u - 5*b. Is u a composite number?
True
Suppose 2*j - 14 = -4*q + 14, 0 = -q + 3*j + 21. Let o(v) = v**2 - 6*v - 21. Let g be o(q). Is (-5925)/(-45) - 4/g a prime number?
True
Is (-95 + -237237)*(-1)/4 a prime number?
True
Let v(u) = -85*u**3 + u**2 + 3*u + 3. Let f be v(-2). Let d be (-6 + 14/3)/((-12)/(-13626)). Let b = f - d. Is b prime?
False
Let m(y) = 4*y - 5. Let j be m(6). Let u(p) = p**2 - 11*p + 43. Let g be u(j). Suppose -2*k + 5*k = g. Is k a composite number?
True
Is (2 + -3 + 8*3479)*(9 - 8) a prime number?
False
Suppose -3*l + 12726 = 3*o, 0*o - l + 16956 = 4*o. Suppose 2920 + 2391 = 5*s - 3*h, -4*s - 3*h + o = 0. Is s composite?
False
Let b be ((-108456)/(-36))/((-1)/6). Let j = -4929 - b. Is j composite?
False
Let t(l) = -51314*l - 2269. Is t(-4) a composite number?
False
Let w be ((-2)/(-1 - -3))/((-14)/(-28)). Let m be ((-2)/(-2)*0)/1. Is w/7 + m + (-6453)/(-21) a composite number?
False
Let j(h) = 2160*h**3 + 43*h**2 - 3*h - 3. Is j(4) a prime number?
False
Suppose 0 = 8*i - 6*i - y - 8400, 0 = 4*i - 4*y - 16808. Is i a composite number?
True
Let n(r) be the third derivative of 1/2*r**3 + 0*r + 0 - 1/120*r**6 + 1/6*r**5 - 3/8*r**4 + 5*r**2. Is n(8) prime?
True
Suppose 2*u = 84 + 4. Let i = u - 44. Suppose -c = -i*c - 121. Is c composite?
True
Let v = 244 - 241. Is 638*v + 1 + (-20)/10 a prime number?
True
Let f(u) = 2000*u**2 + 507*u + 1528. Is f(-3) prime?
False
Let o(m) = -2*m**3 - 9*m**2 - m + 15. Let k be o(-4). Suppose -30691 = -5*f - l + 3*l, 3*f + l = 18419. Suppose 4*w = -k*w + f. Is w a composite number?
False
Let s = -649 + 3117. Let v = s - 1709. Suppose 14*d - 6457 = -v. Is d a prime number?
False
Let f(a) = 146*a - 31. Let p(h) = h**3 + 13*h**2 + 24. Let z be p(-13). Let k = 31 - z. Is f(k) a prime number?
True
Let d = -996 - -553. Let q = 300 - d. Is q a prime number?
True
Is (903287 - -64)*-4*3/(-36) prime?
False
Let y(u) = u**3 + 6*u**2 + 7*u + 10. Let t be y(-4). Suppose t*r - 197459 = 57747. Is r composite?
False
Suppose -10 = 996*g - 998*g. Suppose -k + 1403 = -3*i + 5*i, 0 = -3*i + g*k + 2098. Is i composite?
False
Is (-3 - -2 - -4)*2237049/621 a prime number?
False
Suppose 647549 = 3*p + 5*m, p - 285*m = -286*m + 215847. Is p composite?
False
Suppose 0*s = 10*t + 3*s - 1882511, -5*t + s + 941238 = 0. Is t a prime number?
True
Is (-147 - -403916) + -13 + 1 a composite number?
False
Let g(q) be the first derivative of -q**2/2 - 4*q - 9. Let x be g(-10). Is 2/x - 36062/(-57) composite?
True
Let u(t) = -80*t - 17. Suppose -59 = -0*a + 5*a + 2*v, 5*v = -3*a - 43. Is u(a) prime?
True
Let r(i) = -2*i**2 - 94*i**3 + 182*i**3 - 90*i**3 + 6 - 7*i. Is r(-8) composite?
True
Let h = 101 + -103. Let p be (-672)/(-176) - h/11. Is (p/(-6))/(2 - 21280/10632) a prime number?
True
Let j(x) = 2*x**3 - 11*x**2 - 5*x - 3. Let i be j(6). Is 4/6*63489 - i composite?
False
Let m be (-6 - (-8 + -267))/(1/31). Let k = m - 5250. Is k a prime number?
True
Let m(f) = 95*f**2 + f + 39. Suppose 143*g = 150*g + 42. Is m(g) a composite number?
True
Is ((-6)/66)/((-4)/2591116) a composite number?
False
Let p(o) be the third derivative of 137*o**4/12 - 85*o**3/6 + 271*o**2. Is p(21) a prime number?
True
Suppose 2083475 = 112*n + 101*n - 188*n. Is n composite?
False
Let c(l) = -898*l + 89. Suppose 11 = -r + k, -9*r = -10*r + 2*k - 11. Is c(r) a composite number?
False
Let b(z) = 281*z**2 + 1487*z - 9. Is b(-17) prime?
True
Suppose -3*n = -5*y + 631, 8*y - 3*y + 454 = -2*n. Let t = n + 14784. Is t a composite number?
True
Let l(q) = q**3 - q**2 - 26*q + 5. Let v be (-8 + (-5 - -14))*(10 - 1). Is l(v) a composite number?
False
Let r(l) be the third derivative of 1391*l**4/24 + 3*l**3 - 254*l**2. Is r(1) a prime number?
True
Let x(z) = -18516*z + 4249. Is x(-48) prime?
False
Suppose -4384132 = -25*i + 1854943. Is i prime?
True
Let h(x) = 150*x**2 + x - 3. Let j be h(1). Suppose -53 = 19*d - j. Suppose d*f + 998 = 5*m - 4*m, -5*m + 3*f + 5012 = 0. Is m composite?
True
Let f(p) be the third derivative of p**6/120 - p**5/3 + 5*p**4/6 - 7*p**3/2 + 12*p**2. Let j be f(19). Is (36/(-54))/(j/1623) composite?
False
Let h(q) = 37 - 9*q - 13*q**3 - 106*q**3 - 58. Is h(-4) composite?
True
Suppose -8 + 8 = -2*o. Suppose 4*g - 216 - 52 = o. Suppose -4*x = -3*x - g. Is x a composite number?
False
Let y = 226714 + -66737. Is y a composite number?
False
Let f be 1/(2 - 0 - (-803)/(-407)). Suppose 15*m = f*m - 26686. Is m composite?
False
Suppose 0 = -3*c + 34 - 31. Let o be (3 - -56) + -4 + c. Let z = 21 + o. Is z prime?
False
Let v(s) = -30*s - s**2 + s**2 + 7*s**2 + 5*s**2 + 33 + 188. Is v(14) a prime number?
True
Let g(y) = -2*y**3 - 3*y**2 + 9*y + 48. Let f(l) = 10*l + 246. Let a be f(-26). Is g(a) a composite number?
True
Let w be (-2 - 171/(-18))*(-17316)/(-15). Suppose -4*g + 124020 + w = 2*y, -5*g + y = -165830. Is g a prime number?
False
Let w(g) = 164*g**3 - 3*g**2 + 44*g - 367. Is w(8) a prime number?
True
Let l(k) = -42*k**2 + 39*k + 6. Let x be l(-15). Let p = 4160 - x. Is p composite?
True
Let i(h) = -3*h**2 + 6*h - 6. Let z be i(2). Is (-2)/((-3)/(481977/z)*-3) a composite number?
False
Suppose -3*g + 160630 = 4*z, -5*g = 69 - 59. Is z prime?
False
Let h be 1/(-2)*0*(-62 + 63). Suppose 3*y - 4*y + 4*a = -5643, 4*y - 2*a - 22642 = h. Is y a prime number?
False
Suppose 20*r - 21*r + 11 = 0. Suppose -r*n = -8*n + 51. Let s(v) = -v**3 - 9*v**2 + 10*v + 17. Is s(n) composite?
True
Suppose q - 340846 = -18*q + 8*q. Is q a composite number?
True
Let v = -544972 + 867339. Is v composite?
True
Suppose 131*y - 269*y = -35528238. Is y a prime number?
False
Is (-1 + 2)*-24589*1/(-1) prime?
False
Let m(o) = 3342*o + 445. Is m(79) a composite number?
False
Is (((-3)/2)/((-1)/(-37)))/(75/(-1308550)) prime?
False
Suppose 4*r - 302123 = -5*z + 257643, -5*r + z = -699693. Is r a prime number?
True
Suppose 18*w = 83722 - 24340. Is w prime?
True
Suppose -2*g + 10308 = 3*g + 2*