lse
Let v(a) = 245*a**2 + 2*a - 38. Let w(k) = k**2 + 6*k + 7. Let o be w(-6). Is v(o) a composite number?
False
Let p = 124712 + 205325. Is p prime?
True
Let w = 40461 + -28626. Let z = -8056 + w. Is z composite?
False
Suppose 3*n - 4*j - 5 + 0 = 0, -4*n + 4*j = 0. Let w be 448/n - ((-27)/(-5) - 5). Is 18/w + (-17542)/(-10) a prime number?
False
Suppose 27*r + 2965596 = 9209265. Is r a prime number?
False
Is (-37)/(666/(-144)) + (-22409)/(-1) prime?
False
Let f be 2/(-10) + (-344)/(-20). Suppose -f*p - 47393 = -535480. Is p prime?
True
Let r(o) = 8315*o**2 + 189*o + 39. Is r(10) prime?
True
Suppose -18 = q + 2*q. Let k(z) = 2030*z + 11. Let n be k(q). Let o = 19442 + n. Is o a prime number?
False
Let h(x) = -77*x**3 - 6*x**2 - 12*x - 29. Let u(d) = -76*d**3 - 6*d**2 - 13*d - 30. Let k(c) = 5*h(c) - 4*u(c). Is k(-4) prime?
False
Suppose -2*y = -4*u - 0*u - 62, -4*u = 3*y - 63. Suppose j + 5*l = -2*j + 72, 2*j + 5*l - 43 = 0. Suppose y*v - j*v + 1336 = 0. Is v composite?
True
Let y = -277859 - -559368. Is y prime?
True
Suppose 0 = -3*g - u + 24, -2*g + 2*u - 4 = -12. Suppose -3*n + 2*m = -2*n, m = -3*n + g. Suppose s - 5*i + 335 = 5*s, 0 = 4*s - n*i - 342. Is s prime?
False
Suppose -333*z - 101172839 = -317442020. Is z composite?
False
Let n = -13222 + 25063. Suppose 0 = 9*w - n + 1095. Suppose -w = -5*l - l. Is l a composite number?
False
Is (306/45 + -7)*136601*(0 + -25) a prime number?
False
Let v = -42 + -47. Is -236*(-6)/(-24)*v a prime number?
False
Let d(t) = 40991*t + 231. Is d(2) composite?
True
Let b(d) = -d**3 - 6*d**2 - 7*d - 5. Let a be b(-5). Let m be 1/(a - 1) + (-30229)/(-76). Let j = m - -113. Is j composite?
True
Suppose -4*q + 58 = -5*c, 5*q - 3*c - 92 = -26. Suppose -82348 = -16*l - q*l. Is l a prime number?
False
Suppose 96*t = 129*t - 649473. Is t composite?
False
Is (-4329)/(-117)*(-2446)/(-2) a prime number?
False
Let d(p) = 347*p**2 + 41*p - 26. Let y be d(-16). Suppose -20*x + y = -10030. Is x composite?
False
Suppose 4*w + 38 = 2*t, t = -74 + 73. Let g(q) be the second derivative of -q**5/20 + q**4 - q**3/3 - 17*q**2/2 + 2*q. Is g(w) a composite number?
False
Let w = 8606 - -44955. Suppose -24*q + 5*q + w = 0. Is q a composite number?
False
Let q = 62106 + -17567. Is q a prime number?
False
Let s(h) = 620*h - 491. Is s(5) a composite number?
False
Let b(h) = 12*h - 3*h + 4 - 8*h. Let z be b(-1). Is 2826/(-2)*(-1)/z composite?
True
Let s(x) be the third derivative of -x**6/30 - x**5/6 - 11*x**4/12 + 49*x**3/6 - 74*x**2 + x. Is s(-13) composite?
False
Let n be 3/5 - 36/60. Suppose 3*i - 12 = 0, n*x + 2737 = 3*x - 5*i. Suppose -o = 5*y - 4538, 0 = -0*y - y - 4*o + x. Is y composite?
False
Suppose n = 10*n + 297045. Let p = n - -60206. Is p prime?
False
Let o = 4772 - -52265. Is o a composite number?
False
Let a be (-7 - -4)*(-328)/(-6). Let i(p) = 77*p + 70. Let o be i(19). Let v = o + a. Is v prime?
False
Let k(l) = -3*l**2 + 19*l - 23. Let g be k(10). Let s = 94 + g. Let c = 800 - s. Is c prime?
True
Let q be -5 - (-4)/1 - -2. Let b be 4*q*(-2)/(-4). Suppose -b*p + 2*k + 526 = -214, 1116 = 3*p - k. Is p a composite number?
False
Let x(n) = 4*n**2 - 13*n + 9. Let v(q) = q**2 - q**2 + 4*q + 14 + q**2 + 3*q. Let o be v(-6). Is x(o) a prime number?
False
Let l(x) = -7001*x + 324. Is l(-7) composite?
False
Let x(u) = -798*u + 23. Let z(p) = -1595*p + 44. Let c(r) = 5*x(r) - 2*z(r). Is c(-4) composite?
True
Let i be (1/((-2)/(-2746)))/1*43. Suppose 8*b = 23369 + i. Is b a prime number?
True
Let t = -11522 + 19973. Suppose 6282 = 9*l - t. Is l a prime number?
True
Let n(d) be the second derivative of d**5/20 - d**4/2 + 11*d**3/6 - 4*d**2 + 13*d. Let r be n(4). Is ((-2122)/8)/(1*r/(-16)) a prime number?
True
Let i(x) = -15*x**3 + 6*x**2 + 2*x - 4*x**3 + 1 - 2*x**2 - 2*x**2. Let v be (0 - 4/(-10))*-5. Is i(v) composite?
False
Let r(q) = 2*q - 26. Let y be r(15). Let k(m) = 26*m**3 - 2*m**2 + 8*m + 4. Let x be k(y). Suppose -b + x = -481. Is b prime?
False
Let b = 267 - -634. Let y = 3392 - b. Is y a composite number?
True
Let y(h) = 11728*h**3 - 9*h**2 + 14*h - 4. Is y(1) composite?
True
Let q(s) = 62*s**2 - 141*s + 96. Is q(-65) prime?
True
Let n = -96691 - -270988. Is n composite?
True
Suppose 3*w + 864500 - 3958217 = -3*h, -4*w + 4124950 = 3*h. Is w a prime number?
False
Let r(v) = 5*v**2 + 119*v - 35. Let g be r(-25). Suppose -106*s + g*s = 15669. Is s a prime number?
True
Let b(p) be the first derivative of 6*p**3 - 7*p**2 + 31*p + 33. Is b(12) prime?
False
Let t(b) = -4*b**3 - 8*b**2 - 7*b - 2. Let h be t(-2). Suppose -20*r + 106712 = -h*r. Is r composite?
False
Suppose -13*y = -14*y - 51. Let n = -48 - y. Suppose -v + 1319 = 4*d, -n*d + 1319 = v - 0*v. Is v a composite number?
False
Let g = 1874904 + -743881. Is g a composite number?
False
Let v(w) = 982*w**2 + 5. Let k be v(-3). Let o = k + 12558. Is o prime?
True
Suppose -5*u - 2*r + 0 = -4, 6 = -2*u + 3*r. Suppose 13*m - 5999 - 203678 = u. Is m a prime number?
False
Let w be 1205/5*(0 - -1). Let m = -130 + w. Let i = m + 100. Is i a composite number?
False
Let p be 4/36 + 33486/(-54). Let f = p + 871. Is f composite?
False
Let v(r) = -5*r**3 + 3*r**2 - 2*r + 3. Let q be v(2). Let s = q + 31. Suppose -5*b = -10, s*b - 848 = -0*t - 2*t. Is t a prime number?
False
Let v = 10 - 10. Suppose -7*h + v*h = -63. Is (1743/h)/(2/6) composite?
True
Let a(y) = 32*y**3 - y**2 + 3*y - 2. Let z be a(2). Let x be -178 - (1 + 49/(-21))*3. Let b = x + z. Is b composite?
True
Let f = 567 + -960. Let k be (f - 1)/((-6)/24). Suppose 42*p - 46*p + k = 0. Is p composite?
True
Let d(u) = 67*u**2 - 412*u - 36. Is d(-55) a composite number?
False
Let x = -109 - -104. Is 3413/5 + -6 + (-32)/x prime?
True
Suppose -96*i - 281*i + 3900018 = -23*i. Is i composite?
True
Suppose k - 2*d = 2*d, 4*k + 2*d - 18 = 0. Suppose -k*l = j - 14635, 5261 - 1600 = l - 2*j. Is l a prime number?
True
Let y = -172 - -182. Suppose -y*q + 3*g = -14*q + 2501, 0 = -q + 5*g + 654. Is q a composite number?
True
Let a = -802 + 1231. Let v(y) = 17*y - 2. Let x be v(8). Suppose -g + x = -a. Is g composite?
False
Suppose 3*d + d + 45826 = 5*b, -4*b = -d - 36663. Is (-3)/(-12)*b*(1 - -1) prime?
True
Suppose 68*r = 63*r - 6440. Is -125753*(-2)/14 - 368/r composite?
True
Suppose -3*j + 55 = -2*j. Let w = -51 + j. Suppose -w*q + 1408 = 4*d, -5*d + 1720 = -0*d - 3*q. Is d a composite number?
False
Let o(y) = -16*y**3 - 13*y**2 + 176*y + 376. Is o(-31) prime?
False
Let o(t) = 152*t + 17. Let a be o(3). Suppose -6*w - a = -1727. Is w a prime number?
False
Let d be 168/(-10) + (-24)/(-30). Let p be (-2)/d - (-93)/24. Is ((-32)/(-4))/p - -2047 a composite number?
True
Let d = -42771 + 129218. Is d a prime number?
False
Let p(x) = -44*x**3 - 6*x**2 - 4*x - 3. Let m be p(-2). Let q(n) = -9*n**3 - 5*n**2 + 6. Let j be q(-5). Let h = j - m. Is h composite?
False
Let j(q) = -3962*q - 12133. Is j(-8) composite?
True
Suppose 0 = 199*n + 73*n - 15088826 - 63493878. Is n prime?
True
Let o(p) = -721*p - 123. Let v be o(-6). Suppose -48*u = -57*u + v. Is u a prime number?
True
Suppose 0 = -3*d + y + 40, -4*d + y + 40 = -15. Let c be (d/(-12) - -1) + 189/(-28). Is c*5/(-35)*1*2707 prime?
True
Let g be 19952*(54/6 - 6) + 0. Suppose g = 4*z + 3*r, 0*z - r + 59848 = 4*z. Is z composite?
True
Let t(a) = -15887*a - 1410. Is t(-11) a prime number?
True
Let b = 77 + 131. Let y = 972 - b. Suppose -y = 8*v - 12*v. Is v composite?
False
Is 6 + ((-284592)/(-72) - 2/(-6)) prime?
False
Suppose 177087 = 5*n + 14*s - 18*s, 3*n = -3*s + 106263. Is n prime?
True
Suppose 2059252 = 4*h - 2*y, -58*h + 53*h = -y - 2574077. Is h prime?
False
Suppose 2*q - 456067 = -5*c + 145536, 4*c - 4*q = 481260. Is c prime?
True
Let r(h) = -105*h**3 - 2*h**2 + 3*h + 5. Suppose 18*f - 8 = 22*f. Is r(f) composite?
True
Suppose -3*j + 1 = -4*j. Let o(y) = -253*y**2 - 4*y + 2. Let m(l) = l**2 - l + 1. Let x(t) = 4*m(t) - o(t). Is x(j) a prime number?
False
Let h(d) be the third derivative of 1/30*d**5 + 14*d**2 + 1/24*d**4 + 749/6*d**3 + 0 + 0*d + 1/120*d**6. Is h(0) prime?
False
Suppose -2*x = -0 - 12. Suppose 0 = -x*n + 8*n - 1124. Let b = n + -255. Is b composite?
False
Suppose 4*p + 43894 = 2*g, -2*p + 4*g = 8473 + 13477. Let b = -5524 - p. Is b composite?
False
Suppose -98672