lse
Let n(x) = -134*x - 29. Let l(g) = -267*g - 57. Let v(j) = -6*l(j) + 11*n(j). Is v(7) a prime number?
True
Let w = 13 + -6. Is 22139/w + 8/28 a prime number?
True
Let y be 26/(-4) - 8/16. Let f(v) = -v - 7. Let k be f(y). Suppose -q + 0*u + 126 = -3*u, k = u + 5. Is q a prime number?
False
Suppose -4*q = -2*q + t - 9, -q - 8 = -2*t. Suppose q*y - 1592 = -6*y. Is y prime?
True
Let g(o) = o**2 - 7*o + 11. Let t be g(6). Suppose y = 2*z - 2 + 9, t*y - 2*z - 51 = 0. Is y prime?
True
Let x = 15 - 6. Suppose x*f - 2365 = 23222. Is f a composite number?
False
Suppose -2*v + 2*i - 28 = 0, 13 + 58 = -5*v + 4*i. Let a(h) = h**2 + 3*h - 38. Is a(v) composite?
True
Suppose -17*p + 13*p = -16. Suppose -p*t + 1228 = -0*t. Is t prime?
True
Suppose 4*p - 9292 = -3*t, 4*p - 3*p + t = 2323. Let y = -1436 + p. Is y composite?
False
Let c = -19934 + 5876. Is 1/(c/(-3514) + -4) composite?
True
Let i be (1 - -46) + (2 - 1). Let p = 61 - -106. Let v = p - i. Is v a composite number?
True
Let k = -11438 - -22081. Is k prime?
False
Suppose -b - 1 = -2*b. Suppose 0 = y - 0*s + s - 1, 0 = -s - b. Suppose 2*k = -y*p + 98, -2*k = -5*p + 2*k + 245. Is p composite?
True
Let f(g) = -146*g + 31. Let q(t) = 439*t - 94. Let s(d) = -8*f(d) - 3*q(d). Is s(-11) a composite number?
True
Suppose u - n - 180 = 0, -n - 271 = -2*u + 89. Suppose y = u + 298. Is (3/6)/(1/y) a prime number?
True
Suppose 0 = 4*v - l - 62, 0 = -0*v - 3*v - 5*l + 35. Let g be 108/v*(-2 + -3). Is (-2290)/(-18) - (-8)/g a prime number?
True
Let d = -5030 + 3403. Let s = 2448 + d. Is s a composite number?
False
Let t be 1/2 + 0 - 63/(-42). Suppose 0 = -t*l - 5*n + 2466, -l + 0*n + 1239 = n. Is l a prime number?
False
Suppose 5*v + 8 + 37 = 0. Is 13/(1/(2 - v)) prime?
False
Let r(a) = -a**3 - 17*a**2 + 8*a - 49. Is r(-18) prime?
True
Let i(y) = -y**2 - 6*y + 2. Let a(b) = -b**3 - 9*b**2 - 7*b + 2. Let t be a(-8). Let g be i(t). Suppose -g*n + 3425 = 3*n. Is n prime?
False
Let d = 9481 - 2330. Is d composite?
False
Let s = 894 - 209. Is s a prime number?
False
Suppose 2*h - 293 = -1115. Suppose -5*y - 12*j + 3522 = -14*j, 0 = 2*y + 5*j - 1403. Let l = y + h. Is l a prime number?
True
Let g(i) = -23*i - 21. Let x be g(-1). Suppose -2*y + 3 = -11. Suppose -75 = x*k - y*k. Is k prime?
False
Let x(i) = -68*i**3 + 3*i**2 - 1. Let n be x(-2). Let a = -155 - 149. Let d = n + a. Is d a composite number?
False
Suppose -6*s - 100293 = -396831. Is s a composite number?
True
Let t(b) = -b + 2. Let m be t(7). Is 1149 - 0/(7 + m) a prime number?
False
Suppose 6 = 4*x - 5*x. Is -3*(55856/x)/8 composite?
False
Let v(x) = 2*x**2 - 20*x - 40. Let d be v(16). Let m = 409 - d. Is m a prime number?
True
Let o = 3291 + -1972. Suppose -b - o = -2*b. Is b a composite number?
False
Let y = -53157 - -83450. Is y a composite number?
False
Suppose -l = 4*x - 6*l + 7, 5*x = -5*l + 25. Is x/((8/1282)/2) a composite number?
False
Let q(i) = 48*i**3 - 2*i**2 - 2*i - 4. Let p(r) = 2*r**2 + 13*r + 9. Let g be p(-6). Let w be q(g). Suppose -v - 471 = -w. Is v a prime number?
True
Suppose 0 = -13*o + 53*o - 913480. Is o prime?
False
Let m be (-5)/(-10) - 2/4*1. Suppose 2*r = m, 2*p - 38 = 4*r - 2*r. Is p composite?
False
Let h(q) = -256*q. Let c be h(-4). Let o(s) = -2*s**2 + 15*s + 24. Let i be o(21). Let k = i + c. Is k prime?
False
Let q(y) = -23*y**2 + 10*y + 9. Let x be q(-10). Is (x/12)/(3/(-12)) prime?
True
Let a(u) = u**2 - 2*u + 2. Let k be a(5). Suppose 2*l + 3*o - 66 = 0, l - 3 = 5*o + k. Let n = l + -16. Is n prime?
False
Suppose 5*b - 39 + 4 = 0. Is (8 - b) + (0 - -1 - -1212) a prime number?
False
Is (-15668 - -6)*(25/10)/(-5) a prime number?
False
Let q be -1*(-26)/6*9. Suppose -q = 4*k + 13. Let d = k + 156. Is d composite?
True
Suppose -44*p + 2186320 = -28*p. Is p prime?
False
Let i(y) = 26*y**2 + 3*y - 74. Is i(-13) prime?
False
Let k(u) = 1194*u**2 - 12*u + 29. Is k(-4) prime?
True
Let x = 776 - 412. Suppose -p + x = p. Suppose p = 2*a - 44. Is a a composite number?
False
Let u be -2*1*(-831)/6. Let o = u + -164. Suppose 5*j = -c + 340, -j - j = 5*c - o. Is j a composite number?
True
Let o(u) = 63*u**2 + 8*u + 3. Let q be o(7). Let s = 8009 - q. Is s prime?
False
Suppose 6*p - 513 = 3*p. Let f = p + -38. Is f a composite number?
True
Suppose 1932 = 2*a + 2*w, 4*a - 6*a + 1927 = -3*w. Is a composite?
True
Let h(j) = -5*j**2 + 3*j**3 + 9 - 2*j**3 - 2*j + 2*j**2. Is h(5) a composite number?
True
Suppose 485 = p - 571. Suppose 0 = -j - 2, 0 = 5*u + 5*j - p - 179. Is u a composite number?
True
Let p(b) = b + 4. Let s be p(0). Suppose -s*r + 0*h - 4*h - 8 = 0, 2 = 3*r + 5*h. Let m(d) = -2*d**3 + 4*d**2 + 6*d + 1. Is m(r) a prime number?
True
Let y be (-16)/(-5)*495/(-22). Let x be 4/(-18) - 20464/y. Let f = 263 + x. Is f a prime number?
True
Let n = -13086 - -18331. Is n a composite number?
True
Is 140154/30 + 6/5 a prime number?
True
Suppose m - 4*q + 275 - 1062 = 0, -2*m + q = -1553. Let f = m + -1267. Is -2*2 - (9 + f) a composite number?
False
Let y(s) = 6226*s + 41. Is y(6) composite?
False
Let t be (-3)/((-15)/6 + 1). Suppose 3936 = 4*u + 4*v, -t*u + 2*v = 3*v - 1963. Is u a prime number?
False
Suppose 0 = 4*o - q + 9276, 2*o - 2319 = 3*o + 5*q. Let p = o + 3290. Is p composite?
False
Suppose 2*n - 82899 = -5*k, 0 = 2*k - n + 4*n - 33153. Is k prime?
False
Let o(q) = 195*q**2 + q. Let x be o(-1). Suppose -7*f + x = -5*f. Is f a prime number?
True
Is 2/(-14) - (0 + (-499692)/28) prime?
False
Suppose -55 = -5*k + 4*y, -5*k = -0*k - y - 55. Let h = k + -10. Is (h/(-3))/((-6)/1386) a prime number?
False
Let l be -11 + (0 - (1 + -4)). Let o be 2/6 - l/3. Suppose -o*i + 571 = i + 5*d, 5*d = -5*i + 720. Is i a prime number?
True
Suppose -2*g = 30 - 96. Let b = g + 113. Is b prime?
False
Suppose -35239 - 3903 = -2*a. Is a a composite number?
False
Suppose 237 = 3*v - 0*v. Suppose y = -4*i - 1, i + 3*y = y - 2. Suppose -3*z - c + 192 = i, 3*z + 3*c - 265 + v = 0. Is z a composite number?
True
Let i(x) = -x**3 + 7*x**2 - x. Let t = 0 + 7. Let j be i(t). Let v(o) = 15*o**2 + 7*o + 3. Is v(j) a composite number?
True
Let t(m) = -2*m**2 + 5*m - 4. Let k be t(4). Let r = 17 + k. Is r + -2 + 4 + 64 a composite number?
False
Let b(r) = -48*r + 43. Is b(-6) a prime number?
True
Suppose -4*n + 2*u - 8 = -2*u, 4*n + 3*u = -8. Is (6 + n)/2 + -1 - -4326 prime?
True
Let k(y) = -y**2 + 4*y + 1. Let w be k(3). Suppose 4*u - 690 = -v, -6 - 10 = -w*u. Suppose -v = -3*b - 5*r, -445 = -2*b + r - 0*r. Is b prime?
True
Let x be (3 - 3)/(8/(-4)). Suppose 2*l - l - 122 = -4*z, x = -3*l + 3*z + 351. Is l a prime number?
False
Let q be (6/(-4))/(3/(-8)). Suppose -3*u + 4*k - 27 = -k, -2*u + q = 4*k. Is (19/u)/((-7)/84) prime?
False
Let q(c) = -120*c - 40*c - 61*c. Suppose 0 = 3*l - 0*l + 3. Is q(l) a composite number?
True
Let a be -3 - 526/(-10) - 4/(-10). Let b = 177 - a. Is b a composite number?
False
Suppose -32*z = -28*z - 1304. Let l = 71 + z. Is l prime?
True
Let y be 13/(-1)*(3 + -1 + -3). Is 3885/y - 4/(-26) a composite number?
True
Suppose 14*v = 17*v - 2055. Is v a composite number?
True
Suppose 36*j - 192242 - 59362 = 0. Is j a composite number?
True
Suppose 0 = -3*d - 2*i - 416, 4*i = -d + 6*i - 144. Is (19 - 2)/(-3 + d/(-46)) a composite number?
True
Let n(p) be the second derivative of 39*p**4/4 + p**3/3 - 3*p**2/2 + 22*p. Is n(-4) a prime number?
True
Is (-30)/(-5) - (3 - 628) prime?
True
Suppose 4866 = 3*d - 1677. Let g = -907 - 643. Let t = d + g. Is t a prime number?
True
Let i be -10*11/((-220)/24). Suppose 4*w + i = -0. Is -2*(913/(-2) - w) a prime number?
True
Let z = -1464 - -2161. Suppose -l = 5*n + 1894, -n - n - 748 = -2*l. Let w = z + n. Is w a composite number?
True
Let s be (0 + -2)/((-2)/3). Suppose -a - 3 = r, -5 = 2*r + 2*r - s*a. Is 1*(4 + 155) + r prime?
True
Let n(q) be the third derivative of q**5/10 + 11*q**4/24 - 6*q**3 - 14*q**2. Is n(-17) a prime number?
True
Let b = 5850 + 599. Is b a prime number?
True
Suppose -3*m + 4*m + 2 = 0. Let l be -1 - m - 636/(-6). Suppose 2*n - 65 - l = 0. Is n a composite number?
True
Suppose 12*t + 4121 = 13*t. Suppose s - 3*d - t = -s, -5*d - 25 = 0. Is s prime?
True
Suppose -4 = -4*f, a + f + 2 = -0*a. Let p(j) = 611*j**2 - 3*j - 1. Is p(a) a composite number?
False
Let o(c) = 3*c -