lse
Let r be (44/(-8))/11*-72424. Suppose 2*n - r = -9*n. Let u = n - 2025. Is u composite?
True
Suppose 0 = -2*t + 3*o - 1, 0 = 5*t - 3*o - 20. Let g(b) = 33*b**2 + 8*b + 58. Is g(t) a composite number?
True
Suppose 0 = 7*i - 25460 - 73541. Is i a prime number?
True
Let a(m) = m - 5. Let y be a(8). Let h be 255 - 3/(-9)*-24. Suppose -200 - h = -y*c. Is c prime?
True
Let g(b) = b**2 - 12*b + 13. Let c be g(11). Let k(z) = -12*z**c - 49*z**3 - 51*z**3 - 14 + 99*z**3 + 36*z. Is k(-15) composite?
True
Let b = -101 + 102. Is (-19254)/b*(-2)/4 a prime number?
False
Suppose -5*l + 391896 = -2*q, -2*q + 19237 - 175987 = -2*l. Is l prime?
False
Let y(q) = 12*q + 1. Let s be y(6). Is ((-3)/(24/142))/(s/(-28324)) a composite number?
True
Let m be (661 - 1)*(378/(-28) - -11). Is -7 - (-1 + m + -5) a composite number?
True
Is ((-96006)/(-4))/((96/(-512))/((-1)/4)) a prime number?
False
Let p = 3639 + 3072. Let h = p + -4294. Is h prime?
True
Let f = 7507 + -2437. Let c = 7187 - f. Is c prime?
False
Let v(g) = 18867*g + 412. Is v(5) prime?
True
Suppose 5*r - 5*p = -3*p + 7, -3*r - 1 = 4*p. Let w be r - -4*2/(-8). Suppose w = -5*k - 3*k + 3032. Is k prime?
True
Is (-77)/(1771/(-414)) - -2458729 a composite number?
False
Let u = 2148 - 435. Let z = -1214 + u. Is z prime?
True
Let a(g) be the second derivative of 173*g**4/4 + g**3/3 + g**2/2 + 59*g - 1. Is a(2) prime?
True
Let q(j) = 300*j**2 + 148*j + 45. Is q(-52) prime?
True
Let l(j) = 3223*j**2 + 113*j - 63. Is l(-13) composite?
True
Let m(c) = c - 1. Let i(n) = 149*n + 2. Let b(g) = 2*i(g) + 6*m(g). Let o be (4/((-4)/2))/(-2). Is b(o) a composite number?
True
Suppose -9*k + 15 = -4*k. Suppose 4*p - 5*l - 4649 = 0, 1312 = 2*p - k*l - 1011. Suppose -2*r - 2951 = -5*f, -2*f + 4*r = -4*f + p. Is f a composite number?
True
Let j be 4*2/4*(-369)/(-82). Let x(q) = -2*q + 267. Is x(j) a composite number?
True
Is 83092 - ((-4)/8*-3)/((-4)/(-8)) a prime number?
True
Let r be ((-1126)/(-3) + -3)/(5/90). Suppose r = 11*t - 53237. Is t a prime number?
True
Let x(a) = -4399*a + 1379. Is x(-6) a prime number?
True
Let w = -11 - -35. Let m = 28 - w. Is m/(-30) - (-43954)/30 a composite number?
True
Let c(q) = -5*q**3 - 8*q**2 - 2*q - 19. Let u(n) = -2*n**2 - n + 11. Let p be u(3). Is c(p) a prime number?
True
Let j = -21 - -52. Suppose 54190 = j*u - 21*u. Is u composite?
False
Suppose -34*l + 22*l + 1509324 = 0. Is l a composite number?
False
Let r be 2 - (-48)/1 - (1 - -3). Let v = -42 + r. Suppose -5*s - 3*a + 5043 = -4*a, -s - v*a + 1017 = 0. Is s a prime number?
True
Let o(z) be the second derivative of 35*z + 0 - 45/2*z**2 + 26/3*z**3 - 1/12*z**4. Is o(26) a composite number?
False
Let b(g) = -45077*g + 68. Is b(-3) a composite number?
True
Is 20598 - ((-7 - -12)/(-30) - (-31)/6) a composite number?
False
Let f(o) = -o + 8. Let b be f(-3). Suppose -b*t + 32615 = -0*t. Is t prime?
False
Suppose -15*v = -12*v - 6. Let h be 35 + (-2 + 4 - v). Suppose -h*z - 295 = -40*z. Is z a composite number?
False
Suppose 12 - 24 = -6*g. Suppose -9465 = -5*n - 4*f, 3*f = g*n - 4*n + 3793. Is n a prime number?
True
Let l = 40 + -70. Let x = l + -169. Let h = x - -408. Is h a composite number?
True
Let k = 355 - 353. Suppose 0*m = k*q - 2*m - 2172, -4*m - 5431 = -5*q. Is q a composite number?
False
Suppose -20*k = -24*k + 40. Suppose k*r - 8*r - 12 = 0. Is 183/27 + r/27 a composite number?
False
Let a = -24 + 27. Let b = 5 - a. Suppose 5*f + b*f = 8813. Is f composite?
False
Suppose 0 = -6*c - 5*c + 209. Let t(i) = -2*i + 39. Let x be t(c). Is (322/(4/2))/(x - 0) prime?
False
Let g(h) = 12*h - 25. Let t(n) = -14*n + 24. Let z(k) = -3*g(k) - 2*t(k). Is z(-5) a prime number?
True
Let n(d) = 840*d + 253. Let u(k) = 420*k + 123. Let p(b) = -4*n(b) + 9*u(b). Is p(15) a composite number?
True
Is (43324/(-3))/((2496/72)/(-26)) a composite number?
False
Suppose 2*p = z - 3981, z - 4123 + 140 = p. Is z prime?
False
Suppose -9 = -2*n - 2*n + 3*y, -5*n + y = -14. Let g be n + -7 + (-28)/(-4). Suppose g*w - 2*l = 23705, -4*l + 10 - 14 = 0. Is w prime?
True
Suppose 0 = -5*c + 28 - 18. Suppose 0 = -5*n + q + 4014, -7*q + 808 = n - c*q. Is n*(-2 + 4 - 1) a composite number?
True
Let j(b) = b**3 + 10*b**2 + 21*b + 4. Suppose -4*i + 0 - 3 = n, -4*n = 2*i - 2. Let y be ((-6)/9 + 0)/(n/9). Is j(y) composite?
True
Suppose 4*p - 5*d + 85 = 0, p - 3*d = -d - 25. Let i be 10/p + (-10)/(-6). Is (0 - 1) + i + 3 + 704 a prime number?
False
Let s = 215 + -151. Let k(u) = 73*u + 1. Let m be k(2). Suppose x - s - m = 0. Is x a prime number?
True
Let a = 14 - 10. Suppose -a*b = -3*b + 6. Is (-6)/4*((-27536)/b)/(-4) composite?
False
Let z(q) = 1742*q - 101. Suppose -3*g + 2*g = d - 12, -3*g = 5*d - 52. Is z(d) a prime number?
False
Let w(m) = 23*m**2 - 22*m - 80. Let p be w(-11). Suppose -r + p = -5064. Is r a prime number?
True
Suppose 0 = 42*y - 37*y - 40. Let t be 4/y - (-2 + 21/(-2)). Suppose g - 58 = t. Is g a prime number?
True
Let t = 107 + -104. Suppose s - t*s = -3*o - 6194, -3*s - 5*o = -9291. Is s a composite number?
True
Suppose 542526 - 15571439 = -23*w. Is w prime?
True
Suppose -4*h - 208 = -2*w, 4*w - 170 = 3*h - w. Let z = -75 + h. Let c = -91 - z. Is c prime?
False
Let w(b) = 2*b**3 - 7*b**2 - 4*b + 40. Let g(s) = 2*s**3 - 4*s**2 - 3*s + 27. Let c(r) = 7*g(r) - 5*w(r). Suppose 2*p + 30 = 7*p. Is c(p) a composite number?
True
Let m be (1/((-2)/(-1053)))/(12/(-24)). Let k = 3720 + m. Let v = k + -718. Is v prime?
True
Let l = 122 + -122. Let u(q) = -q**3 + 2*q**2 - 2*q + 7853. Is u(l) prime?
True
Suppose 48*l + 1792812 = 132*l. Is l prime?
False
Suppose 16*j = 43*j - 2619351. Is j a composite number?
True
Let t = -66 - -52. Let d(s) = s**3 + 21*s**2 + 16*s - 25. Is d(t) a composite number?
False
Let x = -26 + 31. Suppose -4*q - 2*j + 2128 = 0, x*q + j - 534 = 4*q. Suppose 13*t + q = 15*t. Is t a prime number?
False
Suppose 432 = 10*f + 23342. Let i = f - -5110. Is i a prime number?
True
Let h(y) = 230*y**3 + 20*y**2 - 94*y + 107. Is h(5) a prime number?
False
Let n = -3636 + 3835. Suppose -3 = 3*t - 18. Suppose -k + 219 = -0*k + 5*a, t*a = k - n. Is k composite?
True
Suppose -2*h + 5*b - 12323 = 0, b + 3*b = 5*h + 30765. Let c = 9706 + h. Is c composite?
False
Is 38/(4560/23993240) - 2/3 prime?
False
Is ((-909418)/((-18)/(-9)))/(-1) a prime number?
True
Suppose -2*n + 4*g = 250, 5*n + 272 = g - 344. Let c = -113 - n. Is (-10 - -5)*((-804)/c + 1) prime?
True
Let j = 184 + -113. Suppose -j*t = -86*t + 217335. Is t a composite number?
False
Let m be 2/(-5) + 441/15. Let r(l) be the first derivative of 5*l**2/2 + 42*l + 88. Is r(m) a composite number?
True
Let c = -9785 + 22118. Suppose 0 = 145*a - 148*a + c. Is a composite?
False
Let p = 1226122 + -688131. Is p a composite number?
False
Suppose -2*g - 129*w + 124*w = -344772, 5*w + 861825 = 5*g. Is g a prime number?
False
Let y = 43 - 40. Let w be y/(-1) - 0 - -8. Suppose 0*c - 3*k - 2972 = -c, -w*k - 2962 = -c. Is c a composite number?
True
Suppose 22*d + 27*d = 21*d + 1791076. Is d prime?
False
Let m = 316 - -630. Suppose 0 = -12*w - 238 + m. Is w a composite number?
False
Let p be (-2)/7 + (-204)/21. Let q(l) = 2*l**3 - 7*l**2 + 22*l + 5. Let w(t) = -2*t**3 - 2*t**2 - 5*t + 1. Let y(g) = q(g) + 2*w(g). Is y(p) prime?
True
Let t = -20 - -20. Suppose -112232 = -4*r - o, t = -8*r + 11*r + 3*o - 84174. Is r a composite number?
True
Let k(o) = 2*o**3 - 3*o**2 + 3*o + 1. Let r be k(5). Let i = r + -87. Is 2*4/(-8) + i*1 prime?
True
Suppose -53*p + 87*p + 642645 = 43*p. Is p composite?
True
Suppose -2*q - p = -778712, -2*q + 1106726 = -5*p + 328002. Is q a prime number?
True
Let a(n) = 1153*n**2 - 117*n - 803. Is a(-7) a composite number?
True
Let d = -33 + 36. Suppose 0 = 3*j - d*w - 2168 - 2164, -4*w + 1459 = j. Let y = j - 882. Is y a prime number?
False
Suppose u - 130914 = -5*c, 3*u - 25*c - 392751 = -31*c. Is u composite?
True
Is 92806 - -3*(88/66 + 3 + -2) prime?
False
Let r(b) = 27*b - 1. Let l(u) be the third derivative of -55*u**4/24 + u**3/3 - 28*u**2. Let w(f) = -3*l(f) - 5*r(f). Is w(16) a prime number?
True
Suppose -105 = 5*x + 5*h, 0 = 4*x + 3*h - 23 + 102. Let m(s) = s**2 + 16*s + 11. Let g be m(x). Suppose 7*o + 1864 = g*o. Is o prime?
False
Is (9418/(-408))/(3/(-9708)*1)*3 a prime nu