lse
Let z be 8 + -9 + (7 - 1). Suppose -z*h + 2428 + 9949 = 2*s, 0 = 4*h + s - 9904. Is h composite?
False
Suppose 22*x - 38*x + 237824 = 0. Suppose 13*l - x = 72457. Is l prime?
False
Let u = 289015 - 135278. Is u prime?
False
Is 43/((-258)/12) + 100269 composite?
False
Suppose -4*f + 18 = -3*t, 0 = 2*f + 3*f + 5*t - 5. Suppose -f*g = 3, 2*g = 5*z - 2*g - 107169. Is z a composite number?
False
Let h(x) be the first derivative of -x**4/4 - 4*x**3/3 + x**2/2 + x - 1. Suppose -5*k + 45 = -5*z - 2*k, z - 5*k + 31 = 0. Is h(z) a composite number?
False
Is (-328 - -322) + 17*2251 composite?
False
Suppose -z - 299968 = -2*y, 5*y + 107*z - 99*z = 749983. Is y composite?
True
Let i be (-4)/(-3)*(-30)/(-8). Suppose 2*k = -0*k - 4*r + 204, -i*k + 545 = 3*r. Let g = k + -35. Is g composite?
True
Let o = 17987 - -67158. Is o a composite number?
True
Suppose -2*a + 4*s - 1978 = 0, 3*a + 1465 + 1499 = 3*s. Let u = a - -2084. Is u a composite number?
False
Suppose s - 3*s - 3*j - 6 = 0, 5*s - j = 19. Suppose -3*l + 9 = -s. Suppose -2938 = -l*m + 2*m + 4*p, -m = -3*p - 1474. Is m a composite number?
False
Let y(w) = -20*w - 11. Let r be y(-1). Suppose 0 = -4*u - 5*s + 2754, -4*s = -r*s - 10. Is u prime?
True
Let b(f) = -15*f**3 - 2*f**2 - 2*f - 1. Let g be b(-1). Suppose -g*z - 914 = -15*z. Suppose -u + 3*u = z. Is u prime?
True
Suppose 373*g = 369*g + 344108. Is g composite?
False
Let z(h) = 229949*h + 422. Is z(3) a composite number?
False
Suppose -5*x - 121905 - 70962 = -2*p, -3*p + 289291 = 2*x. Is p composite?
False
Suppose -2*a - y + 0*y = -3, -3*a + 3*y = 9. Suppose -f + 5*n + 2507 = a, 12625 = 6*f - f + 5*n. Suppose f = 6*r + 296. Is r a prime number?
False
Suppose -a + 4 = 4*g, g + 11*a - 8*a + 10 = 0. Suppose s + 2*s = -3*u + 6156, g*u + s - 4105 = 0. Is u composite?
False
Let s = 478438 + -270157. Is s composite?
True
Is ((-1139)/(-68) + -20)*(-17635 + 1 + -2) a prime number?
False
Let q be 8/(-12) + 63/(-27). Let s be 4/22 + 20/(-110). Is s + (-2759)/(-3) - (-2)/q a prime number?
True
Suppose -38011 = -z - 3*z + 3*g, 4*z = 4*g + 38016. Suppose -3*b - z - 11390 = 0. Is (1 + (3 - 3))/((-3)/b) prime?
False
Let c(a) be the second derivative of 1/3*a**3 + 43/12*a**4 + 0 - 4*a + 4*a**2. Is c(-3) a composite number?
False
Let m be 1012/18 + ((-96)/(-54) - 2). Is 94336/m + 8 - (-3)/7 a prime number?
True
Suppose 0 = -q - 0*q. Suppose -c = 3*r - 2, q = -2*c - 5 - 3. Suppose -r*v + 834 = -248. Is v a prime number?
True
Let r(f) = -5*f**3 + 5*f**2 + 8*f + 10. Let u be r(-6). Let o(q) = 160*q + 5. Let z be o(-5). Let d = u + z. Is d composite?
True
Let q be ((-57201)/9)/(-1)*(-42 + 39). Let p = -13510 - q. Is p prime?
True
Suppose -17*v - 385 = -28*v. Suppose -36*m + 10007 = -v*m. Is m composite?
False
Suppose 48*y - 62734 = 13*y + 172081. Is y a composite number?
False
Let y(c) = -126*c - 55. Suppose -46*p = -39*p + 42. Is y(p) a composite number?
False
Suppose 0 = 166*h + 145780 - 1020434. Is h a prime number?
False
Let q = -354117 - -848444. Is q composite?
False
Let a(d) = 400*d - 5. Let h be (27/81)/((-1)/(-39)). Suppose 28 = 5*y + h. Is a(y) a prime number?
False
Is 88118 - (12 + -5)/7 a prime number?
True
Let m = -254219 + 450922. Is m composite?
True
Let z(p) = -314968*p - 117. Is z(-1) composite?
False
Suppose -4*k + 19631 = -d, 9*d = -5*k + 14*d + 24520. Is k a prime number?
True
Let f(p) = 79*p**3 + 3*p**2 - 4. Let c(a) = 80*a**3 + 4*a**2 + a - 5. Let l(x) = 2*c(x) - 3*f(x). Let q be l(-2). Let b = q - 401. Is b composite?
True
Suppose 3*k = -s + 6, 4*k - 4*s - 10 + 2 = 0. Let a(m) = m**k - 1 + 58*m - 56*m - 28. Is a(22) a composite number?
False
Let v = 13185 + -1322. Is v/(20/5 - 3) a prime number?
True
Let k = -1170074 - -2593255. Is k prime?
True
Suppose 26*h - 28*h - 100 = 0. Let f = 47 + h. Is (0 + (-22)/f)/(18/1917) a composite number?
True
Is ((-63052)/24)/(2/(-12)) a composite number?
True
Let m = 1189 - -556. Let w = m + -826. Is w a prime number?
True
Let c(r) = -r**3 - 7*r**2 - 5*r. Let l be c(-6). Let z be 219/6 + l/12. Is (-2)/8 + 20277/z composite?
False
Let s(a) = -a + 13. Let g be s(7). Suppose -15 = 3*b + g. Is (b/(-21))/((-1)/(-2283)) a prime number?
True
Let v(x) = 3589*x**2 + 97*x + 747. Is v(-8) a prime number?
False
Let v(d) be the third derivative of 5*d**4/3 + 61*d**3/6 + 236*d**2. Let m(k) = -2*k + 1. Let c be m(-3). Is v(c) composite?
True
Suppose r - 3*g = -4*r + 98, -r + 21 = -2*g. Suppose -r*n + 29*n = 51610. Is n prime?
False
Suppose 2*d + 2*z = 10, -10*d + 6*d + 20 = -3*z. Suppose l - 411 - 29 = -d*y, y - 99 = 2*l. Is y a prime number?
True
Suppose 4*n - 322577 = 37*u - 40*u, -4*n = -u + 107499. Is u a composite number?
True
Is 72445 + 13 + -23 - (0 - -2) a composite number?
True
Let y(x) = -5*x + 35. Let d be y(10). Let h be d/10*(-16)/6. Is (67/h)/((6/(-120))/(-1)) composite?
True
Suppose -193*m - 328*m + 1064225190 - 55468637 = 0. Is m composite?
True
Suppose -4*z + 272 = 28. Suppose -64*t + 22443 = -z*t. Is t prime?
True
Let t(d) be the second derivative of -d**3/3 + 13*d**2/2 + 21*d. Let h be t(9). Is 1*(3 + 1210) + h + 5 composite?
False
Let x be -4 - 4*10/(-10). Let j(v) = v**2 - 21. Let r be j(0). Is (-13257)/r - x - (-2)/(-7) a composite number?
False
Let t be (-6 - -4 - -2)/4. Suppose t = 2*b - 4, -z - b + 5135 = 2*z. Let h = -1014 + z. Is h a composite number?
True
Is 33/(-9) + (-5567426)/(-381) composite?
True
Let d(o) = 44*o**2 - 29*o + 59. Is d(-24) a prime number?
True
Let w(u) = -u**3 + 14*u**2 + 35*u - 45. Let z be w(16). Suppose -2*p = 3*k - 40853, 5*p + z*k - 34930 = 67216. Is p prime?
True
Let r(x) = -x**3 + 6*x**2 - 11*x + 11. Let v be r(3). Suppose -v*n + 69946 = -28359. Is n composite?
False
Let t(q) be the first derivative of 3*q**4 - 2*q**3/3 - 3*q**2/2 + q + 39. Is t(6) a composite number?
False
Suppose -16*i + 320 + 256 = 0. Is (-16491)/(-27) + 4/i*2 composite?
True
Suppose 5286 = -2*s - 3*q, 0*s = 3*s + 3*q + 7935. Let z = 7743 + s. Suppose -z + 1682 = -4*o. Is o prime?
True
Let f = -16579 - -62430. Is f a composite number?
True
Let v(n) = -8 - 1 + 26*n - 9*n. Let y(x) = -5*x - 17. Let g be y(-5). Is v(g) prime?
True
Let r be 7/(1/((-1)/(-2)) - 3). Let u(z) = -106*z - 23. Is u(r) a composite number?
False
Let l(o) = 5*o + 162. Let q be l(-30). Let v(t) = 94*t + 53. Is v(q) prime?
True
Let z be ((-45048)/20)/(6/(-15)). Suppose -j = -3*d + 4*j + 8450, -2*d = -j - z. Is d a composite number?
True
Let l = 410850 - 216199. Is l a prime number?
False
Let q(p) be the second derivative of 217*p**3/3 + 145*p**2/2 - 129*p. Is q(6) prime?
True
Suppose -2*z + 497428 = -3*c, -994860 = -4*z + 62*c - 58*c. Is z prime?
False
Let o be 1/(-2) - (-738654)/(-4). Is o/(-48) + (21/18)/(-7) prime?
True
Suppose 10381484 - 32738127 = -157*h. Is h composite?
True
Let r(s) = 4*s**2 - 1. Let l be r(1). Suppose -b - 4*f = -l*b + 102, b = 5*f + 42. Let j = -42 + b. Is j a prime number?
False
Let p = 114 - 109. Suppose 2*o - 4*c + 4 = 0, 0*o - p*o = 2*c - 14. Is (7*(-7)/(-98))/(o/7012) a prime number?
True
Let q = -73 - -71. Let a be q/(-2 + 20/15). Suppose -a*n + 3*k - 609 = -1905, 4*k = 2*n - 854. Is n prime?
False
Suppose 10 = -j - 10. Let i be (-1)/((-9 - -10)/(j*1)). Suppose 4*h + b = 4157 + 3644, 4*b = i. Is h prime?
True
Let z = -22340 + 34297. Is z prime?
False
Let f(r) = -85*r**3 + 4*r**2 + 5*r - 2. Let y be f(-5). Suppose -4*z + 5930 = 2*i - y, -5*i - 12497 = -3*z. Is z prime?
True
Let i(u) = 44*u + 751. Let m be i(-17). Let k = 1263 + 4282. Suppose -4*r - q + 7386 = -2*q, -k = -m*r - 2*q. Is r prime?
True
Let v(f) = -54*f + 6119. Is v(0) a composite number?
True
Is (7 + -5 + 102367)*(-12)/(-36) a composite number?
False
Let x = 501 + -486. Let y(j) = -j**3 + 12*j**2 + 58*j - 32. Is y(x) prime?
True
Suppose -2*w = -3*w + 5*m + 2130, 4*w + 2*m - 8410 = 0. Suppose -4834 = -2*d + 4*l, 0 = 5*d + 3*l + w - 14164. Is d prime?
False
Suppose -4*r + 6 = -4*n - 2, -12 = 2*n - 4*r. Suppose -u = n*u. Suppose 2*w = 2*f + 216 + 596, u = -w + 4*f + 391. Is w prime?
False
Let n(k) = k**2 - 4*k + 2. Let m(d) = -d**2 + 4*d - 2. Let x(f) = 4*m(f) + 5*n(f). Let z be x(4). Suppose 0 = 7*o - z*o - 615. Is o a composite number?
True
Let s(h) = 2083*h - 147. Let w be s(6). Let i = w - 6188. Is i a prime number?
True
Suppose 4*v 