 Is m prime?
False
Let l(p) = 6*p + 10. Let k be l(4). Suppose 0 = 2*h - k + 94. Let o = 107 + h. Is o prime?
False
Let v(k) be the second derivative of 14*k - 5/2*k**2 - 5/6*k**3 + 11/12*k**4 + 0. Is v(-4) composite?
False
Let b be 12/54*9 + -1 + -1. Let o(v) = -6*v + 3. Let x be o(b). Let t(y) = 53*y**2 + 2. Is t(x) composite?
False
Is (-62357 - -3)/(-3 - (-8 - -6)) a composite number?
True
Suppose -5*u - 2*c + 1966081 = 0, 5*c = 3*u - 284600 - 895030. Is u a prime number?
False
Let a(d) = -1696*d - 385. Is a(-5) prime?
False
Let x(c) = -37*c**3 - 7*c**2 - 2*c - 9. Let b be x(-5). Suppose -20821 = -10*q - b. Is q prime?
True
Let f be (4/(-10))/(3/(-15)). Is ((-622)/f)/(2/(-22)) composite?
True
Let k(i) = -1120*i**3 + i**2 - 7*i - 29. Let f be k(-3). Suppose 3*b + f = 5*m, -5*b - 6043 = -m - 7*b. Is m a composite number?
False
Let n(t) = -287*t - 1143. Let u be n(-4). Suppose 2*c = -287 + 4337. Suppose -c = -u*a - l - l, -a + 3*l = -422. Is a a composite number?
True
Let h(b) = 103*b**2 - 76*b - 136. Is h(29) a composite number?
True
Let h = 68099 + -33024. Suppose 6*d + 7421 - h = 0. Is d prime?
False
Suppose -5*o + 46 + 309 = -3*r, 0 = -4*o + 5*r + 284. Suppose -9 = -o*p + 68*p. Suppose 5*d - 5*x = 60700, 24289 = -d + p*d + x. Is d prime?
True
Suppose -217*j + 212*j + 3194612 = 2*q, 15*q - 23959395 = -5*j. Is q prime?
False
Let k(a) = a**3 - 36*a**2 + 36*a - 24. Let s be k(35). Suppose 0 = s*g - 15*g + 5028. Is g a prime number?
False
Suppose 6*h + 708 = 840. Let b(i) = 10*i**2 + 14*i + 71. Is b(h) a composite number?
True
Suppose 3*p + w - 16 = -w, -3*w + 28 = 5*p. Let s be -4 + 1 - -5 - p. Let n(q) = -6*q - 1. Is n(s) prime?
False
Suppose 67443 = 28*a + 579. Let r = -182 + a. Is r a composite number?
True
Let x(k) = 45*k**2 + 29*k - 77. Let b be x(17). Let h = b + -7902. Is h prime?
True
Suppose 5*k + 5*k - 30 = 0. Suppose 3*z + 5*o = 92261, k*z - 68818 = 4*o + 23461. Is z composite?
False
Let z be -3*(0 - (3 + (-21)/9)). Suppose -4*o + 32 = -z*j, -4*j + 2*j - 4*o - 40 = 0. Is j/(-4)*4/6 + 1256 a prime number?
True
Suppose 5*b - 21 = -1. Let h = 6 - b. Suppose -r - 4*s = -89, 0 = 2*r + h*s - 30 - 148. Is r composite?
False
Suppose 3237 = 3*u - 3*n + 11028, u - 2*n + 2594 = 0. Suppose 0 = w - 3*p + 6*p + 1696, -p = 4*w + 6773. Let l = w - u. Is l a prime number?
True
Suppose -48*a + 107*a - 760451 = 0. Is a prime?
True
Let h = 715725 - 116794. Is h a composite number?
False
Let o(c) = -c**3 + c**2 + c. Let v be o(0). Let m(u) = 2*u**2 + 12*u + 3. Let i be m(0). Suppose -i*l + 1479 = -v*l. Is l composite?
True
Let m(y) = 7*y**2 + 15*y - 59. Let i be 3 - (-1)/(3/(-111)) - -1. Is m(i) a prime number?
True
Let r(x) = 8*x + 104. Let j be r(-10). Is 359*j - (-5 + 6) prime?
False
Let s be (54/(-15))/((-4)/10). Let d(l) = 683*l - s - 5 + 15 - 10. Is d(2) prime?
False
Suppose -76859754 = -89*u - 13*u. Is u a composite number?
False
Suppose 0 = -6*d + 28*d - 5068949 - 11331413. Is d a composite number?
False
Suppose 0 = 4*q - 185106 - 92838 - 313580. Is q composite?
False
Suppose -5*t = -18*t - 13. Let d(h) be the first derivative of -425*h**2 + h - 6. Is d(t) a prime number?
False
Let o(h) = 3542*h**2 - 54*h - 167. Is o(-6) prime?
True
Suppose 228*k - 238*k = -7583630. Is k a prime number?
True
Is 464313 - (28 + (-224)/16) a composite number?
True
Let r(x) = -124*x - 118. Let c be r(-2). Is (2*1)/(c/257855) a composite number?
False
Suppose 0 = -8*k + 57*k - 2901513 - 1534996. Is k a composite number?
True
Suppose 0 = -2752*s + 2903*s - 307043551. Is s composite?
False
Let p(s) = 0*s**2 + 3*s**2 + 6*s**3 + 5*s - 20 + 1 + 8. Let d be p(3). Suppose 5*q - 90 = -k, 2 - d = -2*k + q. Is k prime?
False
Let w(f) = -2*f**3 - 84*f**2 + 191*f + 379. Is w(-60) a prime number?
False
Suppose 3*i - 4*i = 4*h - 46531, -h + 11620 = -4*i. Let o = h + 6801. Is o prime?
True
Suppose 0 = -1011*i + 1025*i - 1401806. Is i a composite number?
False
Let p be (22*2385/72)/((-1)/4). Let n = p - -6736. Is n a composite number?
False
Suppose 0 = -21*s - 34*s - 152*s + 16925769. Is s a composite number?
True
Let y(v) = 4 - 4 + 1 + 7 + 143*v. Is y(3) a composite number?
True
Suppose 4*n = 6*n - 5*r - 349, 15 = 3*r. Is (n/85)/((-2)/(-530)) a composite number?
True
Suppose -48*f + 50*f - 3*j - 706552 = 0, -3*f + 5*j + 1059827 = 0. Is f prime?
False
Is (-17608 + 24 + -25)/(-1 - -2 - 2) a composite number?
False
Let z(i) = -3*i**3 - 10*i**2 - 9*i. Let l be z(-7). Let c = -289 + l. Suppose -5*m = -j + c, m = -j - 0*j + 289. Is j a prime number?
True
Let c(o) = 5*o**2 - 277*o - 163. Let f be c(56). Suppose -r + 45 + 86 = 0. Suppose m = -5*d + 77 + 50, 3*m = -f*d + r. Is d composite?
True
Is (-4)/(-2) - (-435813 + -74) a prime number?
True
Let t(h) be the first derivative of -h**4/4 + 23*h**3/3 - 22*h**2 + 41*h + 56. Is t(17) a prime number?
False
Suppose 14*c = -21*c + 420. Let m(a) = 26*a**2 + 85*a - 13. Is m(c) prime?
True
Let h be 70/30*18/2. Let o(a) = h - 88*a + 409*a - 5 + 7. Is o(6) a composite number?
False
Let v = -259 - -248. Is (0 - v)/(1 - (-1134)/(-1141)) composite?
True
Suppose -4*r + 4*l = -126641 - 19387, 2*l = -5*r + 182542. Suppose -4*z - 9127 = -d, r = 4*d + 9*z - 4*z. Is d composite?
False
Let q(y) = -229*y**3 + 8*y**2 + 4*y + 24. Is q(-5) a composite number?
True
Let i(o) = o**2 - 53*o + 290. Let n be i(6). Is ((210/n)/(-15))/((-2)/2536) prime?
False
Suppose 184 = -2*w - 150. Let a = -123 - w. Suppose 0 = -a*j + 43*j + 109. Is j a composite number?
False
Let v(f) = 2556*f + 635. Is v(11) a composite number?
False
Let a(k) = -157*k + 2. Suppose 2*v - 6 = -j + 7, -3*j = 4*v - 23. Suppose v*d + 6 = 6*d. Is a(d) composite?
True
Suppose 1124478 = 36*k - 690390. Is k a prime number?
False
Is -8 + (-205)/(-25) + (-17831472)/(-40) composite?
True
Suppose -33*q + 65*q = 30*q. Suppose q*f = -y + 2*f + 693, -5*y = f - 3520. Is y a composite number?
True
Is (-420171)/(-45) - 206/1545 a prime number?
True
Let f(c) = -2*c + 40. Let j be f(17). Suppose -3*m - 3 = -3*v, 2*v + m + 7 = j*m. Suppose 0 = v*z - 4, 56 = -2*a + 3*z + 777. Is a a prime number?
False
Suppose 52633 = -24*l + 232609. Is l prime?
True
Let l(r) = -117*r**2 + 18*r - 27. Let z(o) = -118*o**2 + 17*o - 29. Let k(d) = 3*l(d) - 4*z(d). Is k(6) a composite number?
True
Suppose 18*w = 76*w - 8102890. Is w composite?
True
Let w = -1802697 + 2620964. Is w a composite number?
True
Suppose -9*c + 33*c - 5845128 = 0. Is c a composite number?
True
Is 799523*(4 - -7 - 10) a composite number?
False
Suppose 1689111 = 13*o - 1230052. Is o a prime number?
False
Suppose 0 = 284*o - 382*o + 35310478. Is o a composite number?
True
Let w = -444 + 427. Let y(s) = -277*s - 118. Is y(w) a prime number?
True
Let c = 1429 - -3490. Suppose -3663 - c = -2*u. Is u prime?
False
Let j(b) = -2*b**2 - 32*b - 27. Let z be j(-15). Suppose -4326 = -3*u + z*x, 2*u + 8*x - 6*x = 2864. Is u prime?
False
Let i(o) = -24*o + 13. Let b = 148 - 82. Let q = 47 - b. Is i(q) prime?
False
Let n = -102189 - -243326. Is n composite?
True
Let n(x) = 77*x**2 + 4*x + 11. Suppose -10 = 2*r - 6. Let h be 1/r + (-4)/(-8) + 4. Is n(h) composite?
False
Suppose n - 20*g + 23*g - 788560 = 0, -3*g = -5*n + 3942926. Is n composite?
True
Let t(u) = 10*u**2 - 10*u + 5. Let q be t(-6). Suppose 426*r - 274 = q*r. Is r composite?
True
Suppose u - 385 + 47 = 0. Suppose -333*d = -u*d + 3365. Is d composite?
False
Let z = -77 + 112. Let h be (532/z - 7) + 4/5. Suppose -6*y = -h*y + 1761. Is y a composite number?
False
Let v(a) = -a**3 - 9*a**2 + 9*a - 6. Let i be v(-10). Suppose 0*z + 4*z - 20 = 0, 3*y = -i*z + 4778. Let h = y - -885. Is h composite?
True
Let h(g) = -7*g + 7. Let w(n) = -6*n + 7. Let t(b) = 4*h(b) - 5*w(b). Let a be t(2). Is ((-894)/a - -3) + 0 prime?
False
Let c(w) be the third derivative of -w**6/30 + w**5/15 - 3*w**4/8 - 7*w**3/3 + 2*w**2. Let v = -4141 - -4133. Is c(v) a prime number?
False
Let q(f) = -1158*f - 4151. Is q(-8) a composite number?
False
Let l = 11018 + 32835. Is l composite?
False
Suppose -210*v + 29942 = -188*v. Is v a prime number?
True
Suppose -844 = -16*c + 2452. Let m = c + -30. Suppose 3*g - m + 65 = 0. Is g composite?
False
Suppose 140*a - 139*a - 35047 = 0. Is a a prime number?
False
Suppose -115*j = -568543 - 878962. Is j a compo