se
Let a = 862 - 802. Is 199444/12 + (-80)/a a prime number?
True
Suppose -2325 + 37 + 128443 = 5*l. Is l a prime number?
False
Let c(j) = 2*j - 13. Let p be c(8). Suppose 3 + 3 = p*f. Suppose -f*n - 983 = -4*n + 3*u, -2432 = -5*n - u. Is n prime?
True
Let i(d) = 348*d**2 + 24*d + 31. Let s be i(-6). Let q = -5736 + s. Is q a composite number?
False
Suppose -6366099 = -69*v + 3111672. Is v a composite number?
False
Let q(i) = 5189*i - 31. Let v be q(11). Suppose 10*s = -1652 - v. Is s/(-22) + (-27)/33 + 1 a composite number?
True
Let y(o) = 20611*o**2 + 29*o - 6. Let k be y(3). Is 1 + -4 + k/45 prime?
False
Let a be 4/1 + 362 + -249. Let z(h) = 7*h**2 - h + 4. Let q be z(-4). Suppose a + q = 3*f. Is f composite?
False
Let l be (-1663)/2 + (-54)/36. Let a = 1920 + l. Is a prime?
True
Suppose -535*x + 14981655 = -496*x. Is x a composite number?
True
Suppose 6*h = -4*h + 140. Suppose h*f = 11129 + 7337. Is f a prime number?
True
Let r = 162480 - 109931. Is r a prime number?
False
Is -2122519*((-1)/35)/((-29)/(-145)) composite?
False
Let z = 47144 + 59163. Is z prime?
True
Suppose 5*q - 177098 = 3*z, -3*z + 35501 = -2*q + 106342. Is q a composite number?
False
Is (8/12 - 168320/5)/((-34)/51) composite?
True
Let j(n) = 105*n**3 + 7*n**2 + 12*n + 12. Let t be j(9). Suppose 53*d = 56*d - t. Is d/24 - 2/(-6) composite?
True
Let l = 12851 - 120329. Is 8/(-3)*(l/(-24))/(-7) a prime number?
False
Suppose 2*y = 4*k - 8, -7*k + 12 = -2*k - 2*y. Is 10362/9 + 3*k/(-36) a composite number?
False
Suppose 3*p + 6 = 3*b, -p - 18 = -5*b - 0*b. Suppose k = b*z - 8519, -38 = -4*k - 50. Is z a prime number?
True
Let r be 15*1/(-10)*8. Let b be 3 - (r/(-2))/(-3). Suppose 0 = x + q - b*q - 431, 4*q + 1261 = 3*x. Is x a composite number?
True
Suppose 1693838 = 4*g - 2*t, 0 = -t + 68 - 73. Is g a composite number?
False
Let s be 188/(-1034) + (-3)/((-33)/398). Is 195870/135 - (-4)/s prime?
True
Let k = -4221 + 7409. Suppose -12*l = -k - 136840. Is l a prime number?
False
Let l = -218 + 195. Let q(s) = -2*s**2 - 8*s - 25. Let r be q(-12). Is (l/(-46))/(r/218 + 1) composite?
False
Let i(g) = 98*g**3 - 32*g**2 + 3*g - 7. Let t(x) = -33*x**3 + 11*x**2 - x + 2. Let j(s) = -4*i(s) - 11*t(s). Is j(-5) prime?
False
Suppose 11*n - 16 = 39. Suppose -n*a - 5*k + 5585 = -105, 0 = 3*a + 2*k - 3411. Is a a prime number?
False
Let t be (-1 - -5)/(12/(-42)). Let q(w) be the second derivative of -95*w**3/6 + 8*w**2 + 5*w. Is q(t) composite?
True
Suppose 8*x - 3618109 = -2*q + 5*x, 5*x - 7236221 = -4*q. Is q prime?
False
Let f(p) = -12*p**3 - p**2 - 20*p - 17. Is f(-6) composite?
False
Suppose 8*g = 24 + 16. Suppose -g*c + x + 17 = 0, -4*x + 0*x + 24 = 3*c. Suppose -c*n = 5*m - 3399, 0 = 2*n + 2*m - 3*m - 1703. Is n composite?
True
Is (8 + 3*(-14)/6)*89909 a prime number?
True
Let d = 3049 + -6832. Let u = d - -21568. Is u a composite number?
True
Let l be -2*3*(-36)/(-2). Let t = -252 + 49. Let x = l - t. Is x prime?
False
Suppose 0 = 24*w - 28 - 68. Suppose 0 = 2*b - v - 16193, 4*b + w*v = b + 24306. Is b composite?
True
Suppose -10*u = -61 + 11. Suppose -2*b + 3*h + 2691 = 0, 3*h + 1341 = b - 9. Suppose -3*s + b = 3*d, -191 = -2*d - u*s + 697. Is d composite?
False
Let w = -22162 + 38022. Let f = w - 9221. Is f a prime number?
False
Suppose -2 = 12*l - 13*l. Suppose -7 = -l*v + 7. Suppose -y - 2802 = -v*y. Is y a composite number?
False
Let k = 167 + -165. Suppose -7*b = -3*b - 5*l - 16921, k*l = -2. Is b composite?
False
Let q(o) = 338*o**3 - 17*o**2 + 14*o + 13. Is q(6) a prime number?
True
Suppose 3*b - 281 = -290. Let g(n) = -3745*n - 58. Is g(b) prime?
True
Let u(p) = 2*p + 13. Let t be u(-4). Suppose -t*j = 5*j - 18000. Suppose 5*w - 245 = j. Is w a composite number?
False
Let v be (-4)/6*(-1252 + -32). Suppose 4*g + 4*n - v = 0, 511 = 3*g + 5*n - 137. Is g composite?
False
Let a(g) = 276*g**2 + 37*g - 100. Is a(11) a composite number?
False
Let x(p) = p + 27. Let q be x(24). Suppose -4*f - 55 + q = 0. Let t(w) = -145*w**3 - 3*w**2 - 2*w + 1. Is t(f) composite?
True
Let j(i) = i + 685. Let p(t) = t**3 - 2*t**2 - 10*t - 6. Let q be p(5). Let z = q + -19. Is j(z) composite?
True
Let a(r) be the third derivative of -17*r**6/30 + r**5/10 - r**4/4 - 17*r**3/6 - 112*r**2. Is a(-5) prime?
True
Suppose 4*c - 5*c - 24 = 0. Let h be 2*(-4)/c + (-7702)/(-6). Suppose 0*z - 2*z + 4*g = -h, 4*z - 3*g - 2548 = 0. Is z a composite number?
True
Let v be (24/(-28))/(-3) + (-106390)/(-35). Let y = v + -1763. Is y composite?
False
Let k = -17205 - -37209. Suppose -18*u + 49398 = k. Is u a prime number?
False
Let c be 0/(2 + 0) - (0 - -1). Let f be 1195/1 + (1 - c/1). Suppose -3*j = -2550 - f. Is j a composite number?
False
Suppose 7419 = 4*i - 7*i + 3*m, 3*m = -3*i - 7395. Let r = 6436 + i. Is r prime?
True
Is (3 - (-48)/(-15))/((-12)/143940) composite?
False
Is 168/20 - 18/(-30) - (-18 - 166208) a composite number?
True
Let s(f) be the first derivative of 2*f**3 + 3*f**2/2 - 4*f + 1. Let u be ((-4)/(-2))/(25*(-6)/(-225)). Is s(u) a composite number?
False
Let h = 9559 + -5628. Suppose 4*q - 6*l - 15706 = -7*l, -2*l - h = -q. Suppose 0 = 4*b + 763 - q. Is b prime?
False
Let x(r) = 3*r + 26. Let j be x(-7). Suppose n - 290 = 4*v, 6*n - j*v - 295 = 5*n. Suppose 4*k = 2*p - n, 5*p - 711 = k - 3*k. Is p prime?
False
Suppose 0 = b - o - 203, -3*o = 4*b - 6*o - 812. Let s(z) = 88*z - 8. Let f be s(6). Let j = f - b. Is j a composite number?
False
Suppose -5*c + 885050 = 3*t - 429194, -4*t - 525734 = -2*c. Is c prime?
True
Suppose 5*c - 5*d + 12030 = 0, 0 = -c + 6*c + 3*d + 12038. Let u = -961 - c. Let b = u + -863. Is b prime?
False
Let b = -11241 - -76568. Is b a prime number?
True
Let u = 13721 - 21498. Let q = u - -58478. Is q a prime number?
False
Let q(j) = 5*j - 78. Let p be q(25). Suppose p*m = 19*m + 3556. Is m composite?
False
Suppose -123 = -7*d + 7570. Let m be -1*393*(-2)/3. Let g = d + m. Is g composite?
False
Suppose j = -4*v + 405, -2*j = 2*v - 88 - 110. Let s = v + 171. Suppose 4*g = 7*g - s. Is g a composite number?
True
Suppose -2*u = j - 5*u, j = -4*u. Suppose -490 = -8*w + 6*w. Suppose v - 1032 + w = j. Is v a prime number?
True
Let j be (108/(-22))/6 - (-6)/(-33). Is (10/4 + j)*(-13457978)/(-447) prime?
True
Is (1415 - 0)*6/10 a composite number?
True
Let h be 565389 + (3 - (7 + 4)). Suppose -238521 = -22*a + h. Is a composite?
False
Let d = 14579 - 2005. Let f = d + -7487. Is f a prime number?
True
Let f = 45167 - -468882. Is f prime?
True
Let w(o) = -478*o**2 + 26*o - 83. Let x be w(4). Let y = -2004 - x. Is y prime?
True
Let w = -25 + 31. Let k be 0/(w*4/(-8)) - 14. Is (k - -16)/((-4)/6) + 505 composite?
True
Suppose 4*s + 23 = -5*f, 4*s + 11 = -105*f + 104*f. Let p(d) = 168*d - 3. Let r be p(2). Is s*(1 + r/(-6)) composite?
False
Let y(q) = -64*q - 10. Let d be y(-4). Suppose 247*v - 6031 = d*v. Is v prime?
False
Let g(w) = -w**2 - 15*w - 14. Let u be g(-14). Let o be 1/1 + 4 - u. Suppose -6*f = -o*f - 2605. Is f prime?
False
Let f(b) be the second derivative of -b**3/6 + b**2/2 - 6*b. Let o be f(-3). Is (-2 + -1256)*(o + 9/(-2)) a composite number?
True
Suppose -212*z + 394244946 = -23*z - 126988893. Is z a prime number?
True
Let l(s) = 638*s**3 - 6*s**2 + 29*s - 221. Is l(8) a composite number?
True
Let o be -6 - (-7)/1 - (-2)/(-2). Suppose -12*i + 17*i = f - 356, 2*i + 6 = o. Is f a composite number?
True
Suppose -g - 2*o + 21 = 0, -8*o + 5 = -3*o. Suppose 21*p - 27508 = g*p - 3*h, 3*p - 4*h = 41245. Is p composite?
False
Let z = -420 - -4673. Is z a prime number?
True
Let o(d) = 6*d + 13*d**2 + 10*d**2 + 32 - 23*d - 4*d**2. Is o(9) prime?
False
Let j(d) = 64*d**2 - 139*d + 2. Let a = 924 - 909. Is j(a) a prime number?
False
Let j(k) = 9229*k - 2895. Is j(8) prime?
True
Suppose 4*c + 5*f = 90709, 5*c - f + 12337 = 125745. Is c composite?
True
Is 1738722/22 + (-1608)/(-132) + -12 composite?
True
Suppose -5470 = 7*z - 298833. Let l = -29268 + z. Is l a composite number?
False
Suppose -5 = -5*m, -m - 6071 + 43758 = 3*q. Suppose -5*s = -1323 - q. Is s a prime number?
True
Suppose 4*s - 5 = 9*s. Let i be (2/s)/((-7)/(-56)*-4). Suppose i*c = 70344 - 16564. Is c prime?
False
Let x(s) = 119247*s - 106. Is x(1) a composite number?
True
Let f(q) = 1058*q**3 + 8*q**2 + 8*q + 5. Let 