lse
Let z be (-4)/6 - 22*2/(-3). Suppose 33*l = z*l + 11647. Is l a prime number?
True
Is (9*7/42 - 6983)*2/(-1) composite?
False
Suppose v - 41721 = -6*a + 7*a, 5*v - 3*a = 208601. Is v composite?
False
Suppose 0 = 19*r + 4 - 4. Suppose -2*j - 2*h + 12764 = 0, r = -4*h + 6 - 26. Is j prime?
False
Suppose -5*z + 69251 = 25491. Let l be 8754/(-16)*(-42 - -34). Suppose -3*h + 7*h + z = 4*y, h + l = 2*y. Is y a prime number?
False
Suppose 73*c - 23212869 - 3094642 = 31393222. Is c a prime number?
True
Suppose 3*w + 882 = 222. Suppose 0 = -2*v - 3*v + 3145. Let l = w + v. Is l composite?
False
Is -3*(-60 - 7)/(3/1009) a composite number?
True
Let g(f) be the third derivative of 23*f**6/120 + 4*f**5/15 - f**4/2 + 7*f**3/6 + 2*f**2 + 53*f. Is g(6) a composite number?
False
Let s(a) = 2*a**2 - 28*a + 32. Let t be s(13). Suppose -4*i = t*i - 30. Is i prime?
True
Let r(i) = -19*i + 66. Let a be r(3). Let c(y) = 17*y**2 + 2*y - 4. Let t(u) = 69*u**2 + 7*u - 17. Let z(h) = 9*c(h) - 2*t(h). Is z(a) a prime number?
True
Is 100/360*-9*1923368/(-10) prime?
False
Let j(q) = 182*q**3 - 13*q**2 - 7*q - 23. Is j(5) prime?
True
Suppose -4*b - 5*g = -195091, 2*b + 195136 = 6*b - 4*g. Is b prime?
True
Let z(u) = u**2 - 16*u - 33. Let m be z(18). Let i(o) = 4*o + 8*o**2 + 4 + 1 + 0 - o**m - 4. Is i(6) a prime number?
True
Let n(w) = -3577*w + 92. Is n(-11) a prime number?
True
Suppose s = -3*a - 13, -17 = 20*a - 16*a + s. Is 14151 + (10 - a) + -6 prime?
True
Suppose -4*s = -f - 2141209, 3*f = s - 128368 - 406926. Is s a prime number?
True
Let o be 840/204 - 8/68. Suppose -o*u = -h + 7801, -5*h - 11*u = -13*u - 38951. Is h prime?
True
Suppose -1652861 = 1158*f - 1165*f. Is f composite?
True
Suppose 407*y + 683415 = 452*y. Is y a composite number?
False
Suppose 5*z - 1854 = 27856. Let d = -1501 + z. Is d prime?
True
Is (-2)/((-4)/(-210010))*262/(-1310) a prime number?
True
Suppose -797411 - 695027 = -94*k. Is k prime?
True
Let x be 68/8 + 10/20. Let n(w) = 97*w**2 - 27*w - 13. Is n(x) composite?
True
Let b(r) = -2*r**2 - 16*r + 22. Let i be b(-9). Let k be -6*i/(-40) + (-12322)/(-5). Suppose -16*d + k = -11*d. Is d a prime number?
False
Let d(n) = -29*n + 103. Let g(j) = -29*j + 139. Let v(r) = 4*d(r) - 3*g(r). Let m(o) = -o**3 + 3*o**2 + 3*o + 2. Let t be m(4). Is v(t) a prime number?
True
Let y = -1848 + 1242. Let i = y + 3908. Suppose -i = -0*b - 2*b. Is b composite?
True
Let q(f) = -15*f**2 + 2*f - 4. Let a(b) = -b**2. Let z(y) = -6*a(y) - q(y). Let k be z(4). Suppose 0 = -2*x + 4*x - k. Is x composite?
True
Let l(s) be the first derivative of 39*s**4/4 + 5*s**3/3 + 5*s**2 - 18*s - 24. Let j be l(6). Suppose -4*q + 5902 + j = 0. Is q a composite number?
False
Suppose -5*d + 4*b - b - 20 = 0, -4*d + 5*b - 3 = 0. Let q(v) = -269*v + 24. Let f be q(d). Suppose -3*k + 243 = g - 1643, g = 4*k + f. Is g composite?
True
Let x(t) = 360*t + 111. Let q = 165 + -142. Is x(q) prime?
False
Suppose n = 5*t - 354610, 0 = 3*t + n + 141845 - 354611. Is t a prime number?
False
Suppose 38*y - 33*y = 75. Suppose y*d = 110477 - 25412. Suppose -15*j = 76 - d. Is j composite?
False
Let h = -398 - -400. Let n(u) be the first derivative of 76*u**3/3 - 3*u**2 + 3*u - 3. Is n(h) a composite number?
True
Let u(g) = -2 + 21*g**2 + 4*g**3 - 2*g**3 + 6*g + 6 - g**3. Let x be u(-12). Is (x/(-6))/(-2 - (-16)/12) prime?
True
Is (-11)/(7/((-98203)/42088) - (-2 + -1)) composite?
True
Suppose 5*o + 5*y + 6939 = -15421, 4*y + 4484 = -o. Is (0 + 36/(-8))/6*o prime?
False
Let r(n) = n**3 - 12*n**2 - 10*n - 5. Let u be r(6). Let w = 38 - u. Suppose -11*p + 21230 = w. Is p prime?
True
Suppose 0 = -2*d + 5*v - 48 + 453, -5*d - 3*v = -935. Suppose -193*x = -d*x - 2559. Is x a prime number?
True
Let v(h) = h**2 + 30*h + 21. Let m be v(-9). Let i = 587 + m. Is i composite?
False
Let r(y) = -98*y**3 - 7*y**2 + 17*y + 83. Let j be r(-7). Suppose -b - j = -3*l + 21370, 0 = -2*l + b + 36404. Is l composite?
True
Is (1 + 15/6)/(1*3/92406) a prime number?
False
Let u(l) = -12*l**3 + 64*l**2 + 10*l - 595. Is u(-62) a composite number?
False
Let t = 4339 + -1409. Suppose -3*f + t = -f. Is f a composite number?
True
Let r = -15301 + 29280. Is r a composite number?
True
Let o = 75 + -171. Let k = 100 + o. Suppose 0 = 5*i + k*l - 373, -49 = -i + l + 31. Is i prime?
False
Is (-1464092)/14*(-143)/26 prime?
False
Let z = 4465 - 3686. Is z composite?
True
Suppose 561*w = 560*w - 6. Is w/(-4)*(-218)/(-1) prime?
False
Suppose 16 = 2*z + v, 5*z - 2*v - 46 = -3*v. Suppose 3*u - 15155 = 4*g, 0 = -2*g - 0 - z. Is u a composite number?
True
Let t(b) = b**3 - 3*b - 626. Let g be t(0). Let d = g - -1099. Is d a prime number?
False
Let a = -56 - -61. Suppose -4*y = -2*b - 6766, a*b - 8468 = -5*y + 4*b. Is y composite?
False
Let a = -59 - -60. Is a*((-858)/(-9))/(8/12) composite?
True
Let k(v) = -49*v + 38. Let r be 4/6 + 0 + (-230)/30. Let f be k(r). Suppose -19*s + f = -16*s. Is s a composite number?
False
Suppose 3*r = 1 - 16. Let v(k) = 12*k - 880 + 882 + 4*k**2 + k**2. Is v(r) composite?
False
Let n(x) = -3*x - 24. Let d be n(-8). Suppose d = 3*u + 187 + 185. Let o = u + 755. Is o prime?
True
Let i = 86 + -82. Suppose -i*k + 8811 = s - 6*k, s - k - 8815 = 0. Is s a composite number?
False
Let g(i) = i. Let t be g(5). Suppose 0 = -13*r + 10*r + 438. Suppose t*o - o - 785 = -5*x, x - r = -3*o. Is x a composite number?
True
Suppose 0 = 20*c - 17*c - 13497. Is c + (-5)/(25/(-10)) composite?
True
Is ((-2)/(4/(-3967)))/((-160)/(-320)) a prime number?
True
Suppose -9 = -3*y - 3. Let o(n) = -125*n + 255. Let s be o(2). Suppose 4*g + s*u = 229, 0 = 5*g - u - y*u - 240. Is g a composite number?
True
Let g(z) = -z**3 + 13*z**2 - 4*z + 9. Let o be ((-24)/(-20))/(2/5). Let k be (o*5/30)/((-1)/(-20)). Is g(k) a prime number?
True
Suppose 2*g = -g + 15. Suppose 0 = -3*o - 5*l + 1274, -270 - 1382 = -4*o + g*l. Suppose 4*x - 2*x = -t + 827, -x + o = -t. Is x a composite number?
True
Let t be 0/(0 - 5 - -1). Suppose t = 2*x - 3*x - 2. Is ((3272/(-20))/(-1))/(x/(-5)) composite?
False
Suppose 26*t - 25766122 = 19938316. Is t a prime number?
True
Let t be (-2)/15*5*-3. Let v(h) = 91*h**3 + 2*h**2 + 7*h - 13. Is v(t) prime?
False
Suppose 5*u - 539165 = 8*x - 13*x, -2*x = -3*u - 215636. Is x a prime number?
True
Let m(o) = -1588*o + 4158. Is m(-20) prime?
False
Suppose 1134*v - 1146*v = -10837716. Is v composite?
False
Suppose -2*t - 185859 + 943917 = 2*o, 2*o = -t + 379035. Is t a prime number?
False
Let p = -268755 + 508492. Is p a composite number?
False
Suppose 46*o = 162*o - 5329388. Is o prime?
True
Suppose -11*q = -24*q + 52. Suppose 0 = 4*s - 5*t - 4968, q*t - 5470 - 781 = -5*s. Is s prime?
False
Suppose -i = i + 5*w - 36, -5*i = 4*w - 56. Let z(y) = i*y + 10 - 3 + 12*y**2 - 1 + 5. Is z(8) a prime number?
False
Let q be (9 - 5) + 397 - -5. Let h = -3194 - -1699. Let g = q - h. Is g composite?
False
Let s be (-24)/(-120) + (-3884)/(-5). Suppose -2*r = 2*l - 772, 3*l - s = l - 3*r. Is l a composite number?
True
Let h be -4 - (4 + -3 + -28). Let i(n) = -n + 155 + h*n**2 - 77 - 79. Is i(2) prime?
True
Let d = -449354 - -698832. Is d a composite number?
True
Let c be (-1 - -241)*((-82)/(-6) - 3). Let d = c + -1023. Suppose -6*r + 305 = -d. Is r a prime number?
True
Let h = -17670 + 641381. Is h composite?
True
Suppose 296*j - 299*j = -c + 800, -1597 = -2*c + 3*j. Is c prime?
True
Suppose -4*y = -g - 665086, 30*y - g - 498813 = 27*y. Is y prime?
True
Suppose 0 = 3*d + 6*d - 45. Suppose -10*y = -d*y - 29395. Is y prime?
True
Suppose -3*g + 189659 = z, 44*g - 40*g + 4*z = 252868. Is g a prime number?
False
Let v = -102 + 104. Let z(f) = 3*f**v + 12 + f**2 - 4*f - 2 - f**2. Is z(-4) prime?
False
Let l = -49 + 47. Let q be ((-3)/(-2))/((-4)/(76*l)). Suppose -910 = -p - q. Is p composite?
False
Let h(d) = 826*d**2 + 16*d + 73. Is h(18) composite?
True
Suppose 8 = 3*h - 2*f, 0 = 4*h - 2*h + 3*f - 1. Let q(n) = n - 23 + 8*n**h - 2*n**3 + 3*n**3 + 0*n**2. Is q(-5) a prime number?
True
Let m(q) = 2551*q - 223. Let z(t) = 1277*t - 112. Let r(f) = 3*m(f) - 5*z(f). Is r(10) a prime number?
False
Suppose -t - 9476 = -3*s, -2*s - 2*s = -5*t - 12631. Suppose -s = 5*h - 16894. Is h a prime number?
False
Let i = 41 + -36. Suppose i = k - 1. Is 3*(-2)/k*-33 a com