7 = 7*u. Is u/(3 - (3 - (-3)/993)) a prime number?
True
Let y(i) = -i**2 - i. Let j be y(-1). Suppose 459 - 1534 = -5*o. Suppose 3*a + 4*p = o, j = 3*a + 6*p - p - 211. Is a composite?
True
Is (82226/(-4))/((-2)/24*6) a prime number?
True
Let z be 58/18 - (-6)/(-27). Suppose -3*m = -z*k + 7 + 8, -m - 7 = -3*k. Is ((-2)/(m/74))/1 a prime number?
True
Suppose -4*l = -5*c - 1225, 2*c + 360 + 137 = 3*l. Let f(g) = -126*g**2 + 3*g + 6. Let r be f(-2). Let w = c - r. Is w a composite number?
False
Suppose -4373 = -3*f + 2929. Is f a composite number?
True
Suppose l - 1 = -0*l. Suppose 0 = -2*a - h - 9, -3 = -2*a - 5*h. Is (a/12)/(l/(-974)) prime?
True
Suppose -3*x + 38 = 7*l - 2*l, -4*l - x = -29. Suppose -3*s + 2*g = -1129, 2*g + 348 = s + l*g. Is s a composite number?
False
Let u = 826 - 399. Suppose 5 = -h, -4078 = -5*o - h - 893. Let b = o - u. Is b composite?
False
Let v = -2128 + 3599. Is v prime?
True
Let s be 19/2 - (-7)/14. Suppose w - 13 + s = 0. Let k = w - -1. Is k a prime number?
False
Suppose -2*f - 4*x - 1408 = -2*x, -3*f + 3*x - 2124 = 0. Let n = f - -1379. Is n prime?
True
Let y = 9 + -5. Suppose 0 = o - y*l - l - 1638, -o + 1635 = -2*l. Is o composite?
True
Let g(y) = y**3 + 7*y**2 - 8*y - 5. Let i(n) = -n**3 - 4*n**2 + 2*n + 3. Let j be i(-4). Is g(j) prime?
False
Is 46581/12 + (-105)/28 + 3 prime?
True
Let v = -20636 - -36985. Is v prime?
True
Suppose 27 - 11 = 4*o. Let m be 2/(-6)*-21 - 4. Suppose 4*w - 39 = m*u - 224, -o*w + 255 = 5*u. Is u a prime number?
False
Let v be (-2)/(6/15 - (-32)/(-30)). Suppose -2184 - 1042 = -v*l + f, 5*l + 4*f - 5405 = 0. Is l prime?
False
Suppose 3 = 4*r - 5*w - 2, 2 = -5*r - 2*w. Let v(p) = p - 2. Let u be v(r). Is u/(3 - (-1546)/(-514)) composite?
False
Let l = 20 + -17. Suppose 0 = l*q - 5*q + 1502. Is q prime?
True
Let o(d) = 885*d**2 + 28*d - 7. Is o(2) a composite number?
True
Let m(y) = y + 10. Let a be m(-11). Let g be (-1 - 0/a) + -94. Let n = -58 - g. Is n composite?
False
Let f be 99/22 - 1/2. Suppose -f*q + 615 = -q. Is q composite?
True
Let r be ((-1)/(-4))/(4/112). Let a(z) = 3 - 4 - 4 + 6*z + r*z**2. Is a(4) prime?
True
Is 2/1*51006*(-7)/(-84) composite?
False
Suppose -2638 - 773 = -9*v. Let w = 94 + v. Is w a prime number?
False
Let l = -94 - -157. Let s be 27 + (-1)/(1/(-3)). Let j = l - s. Is j a composite number?
True
Suppose 3*c - 27 = 3. Suppose c*t + 2188 = 16178. Is t composite?
False
Suppose 5*g = 2*z - 3721, -2*g = 3*z - 4*g - 5565. Is z a prime number?
False
Suppose -22841 = -4*l - n, -5*l - 4*n + 17773 = -10770. Is l prime?
True
Let l(s) = 1077*s**2 - 2*s + 1. Let m be l(1). Let g = -231 + m. Is g/15 + 4/6 composite?
True
Is (-4)/(-24) + 4/(120/4465) prime?
True
Let j = 7 + -6. Is j - (-17)/((-34)/(-420)) a prime number?
True
Suppose 0 = 16*p - 2822 - 12890. Is p composite?
True
Suppose 0 = -5*v - 3*m + 12, v + 4 = 2*v - m. Suppose -17 = -2*u - 3*l, -2*u + v*l = -5*u + 24. Is u a prime number?
True
Suppose -13076 + 49959 = 7*h. Is h composite?
True
Let n = 1628 + 475. Is n prime?
False
Suppose -11*v = -7*v - 244. Let i(k) = -k**3 + 2*k**3 - 8*k**2 - v + 48 + 15*k. Is i(10) a composite number?
False
Let r = -81 + 74. Is (-921)/(4 + (r - -2)) composite?
True
Suppose 24 = 14*t - 10*t. Suppose -5*v + 1471 = -3*g, 5*g = -2*v + t*g + 588. Is v composite?
False
Suppose r - 5*k + 11281 = 5*r, -2*r + 5618 = -2*k. Suppose 17526 = 8*s + r. Is s a prime number?
False
Suppose 0 = -4*c + 4*g + 11416, 2*c = 5*g - 6*g + 5714. Suppose 732 = d - 2*s + 17, 4*d - 4*s - c = 0. Is d a prime number?
False
Suppose r - 5*r - 112 = 0. Let v = -26 - r. Suppose -59 = -v*o + 47. Is o composite?
False
Suppose -15637 = -4*a + 19975. Is a prime?
False
Let k = 692726 - 408891. Is k prime?
False
Let j(o) = -o**3 - 10*o**2 + o + 8. Let i be j(-10). Let t be i*(262/(-4) + 2). Suppose k - t = -0*k. Is k prime?
True
Let g = -25 + -97. Let r = 447 + -104. Let j = r + g. Is j a prime number?
False
Suppose -l = -4*a - 422 - 89, 0 = 3*l + a - 1559. Is l prime?
False
Is ((-39469)/87)/(0 - (-3)/(-9)) prime?
True
Is ((-8312838)/(-212))/((-6)/(-4)) a composite number?
False
Let x(f) = f**3 + 2*f**2 - 3*f + 2. Let r be x(-3). Suppose d = 24 + r. Suppose -4*u = 5*n - 18 - d, -u - n = -10. Is u a prime number?
False
Let s(j) = -3*j + 1. Let v be s(1). Let f be (-932*(0 - -1))/v. Let z = f - 275. Is z a prime number?
True
Let d = -10 - -13. Suppose w = 4, -l - d*w = -3*l - 2. Suppose n = y + 109, 5*y = -l*n + 4*y + 545. Is n a prime number?
True
Let b = 12668 - -3143. Is b a prime number?
False
Let k be 12/(((-42)/(-4))/(-7)). Let z(b) = 2*b + 18. Let v be z(k). Suppose 3*n - 3*m - 414 = 0, v*n + 0*m - 3*m = 271. Is n a prime number?
False
Let r = -9996 + 21379. Is r composite?
False
Suppose -2*z + 2049 = 325. Suppose 2*m = m - 2*v + 431, 0 = -2*m - 2*v + z. Is m prime?
True
Is (-18)/(-4)*(-718008)/(-108) a prime number?
True
Let r(o) = 19*o**2 - 5*o - 18. Let c be r(-5). Let d = c - -81. Is d composite?
False
Let d be -3 + (-10215)/(-12) - (-3)/4. Suppose 4*h - d = 2*r + 3*r, -4*r - 1059 = -5*h. Is h a composite number?
False
Suppose z = -7 + 11. Let w be z/2 - 2/(-1). Suppose 104 = w*p - 4*f - 168, -2*p + f + 135 = 0. Is p composite?
False
Let x(g) = -g**2 + g - 1. Let y be x(2). Let o be -2*((-27)/6 - y). Suppose o*v + 115 = l, -l - 3*l - 4*v = -460. Is l prime?
False
Is (-27)/(-18)*7724/6 a composite number?
False
Let q be ((-63)/(-42))/((-1)/(-2)). Suppose 0 = -3*k - 5*c, q*c - 8 = -k + 4*c. Suppose -s + k*s - 124 = 0. Is s a composite number?
False
Suppose 24*u + 263355 = 27*u + 3*n, -175582 = -2*u + 4*n. Is u composite?
True
Suppose 229971 = 55*a - 100414. Is a a prime number?
True
Suppose 3*l - 51993 = -3*h, 0 = -65*h + 68*h + 6. Is l composite?
False
Suppose 81*o = 84*o - 6. Suppose -484 - 1042 = -o*f. Is f prime?
False
Suppose -2*c + 3571 = -5903. Is c a prime number?
False
Let v = -29 + 34. Suppose 0 = -v*j + 889 - 254. Is j composite?
False
Let r = -2522 + 3781. Is r a composite number?
False
Is (-7 - -5)*(-115086)/12 composite?
False
Let s(c) = 2*c + 22. Let h be s(-11). Suppose 0 = -b + 1 - 5, y + 3*b - 18 = h. Let x = y + -15. Is x prime?
False
Let i(g) = g**2. Let o(r) = -4*r**2 + 4*r + 4. Let h(u) = -2*i(u) - o(u). Let n be h(5). Suppose 0 = 3*w - w - n. Is w a prime number?
True
Let n = 12 + -12. Let z = n + 3. Suppose z*p + 127 = 616. Is p a prime number?
True
Let g be (3 - 8)*-1 + -1. Let z = g + 1. Suppose 4*s + 2*i - 456 = 0, z*s = -4*i + 5*i + 563. Is s a composite number?
False
Let y(c) = -c**3 - 11*c**2 + 15*c + 12. Let k be y(-12). Let i = 45 + k. Suppose 3*w - i = 42. Is w a prime number?
False
Let h(y) = -2 - 7*y + 3 + 5*y**3 + 16*y**2 - 3 - 6*y**3. Is h(15) prime?
False
Suppose -2*f = f + 1494. Let x = 760 + -1469. Let i = f - x. Is i composite?
False
Suppose -208 = -4*w + 3*p, 3*w + 4*p = 2*p + 156. Is ((-26)/w)/(2/(-308)) a composite number?
True
Let b(c) = 312*c - 20. Let i be b(5). Suppose i = 3*g + 2*g. Let v = -151 + g. Is v composite?
False
Suppose -4*g + 2*y = -48806, 5*g + 5*y + 1391 = 62421. Is g prime?
True
Let w be (6/(-4))/(1/(-2)). Let l = -808 + 858. Suppose l = w*q - 151. Is q a prime number?
True
Let u(b) = b**2 + 5*b - 1. Let k be u(-6). Let o be (-6 + k)*(175 + 1). Let x = o + 331. Is x composite?
True
Let l(z) = -z**3 - 9*z**2 - 16*z - 1. Let u(m) = m - 19. Let v be u(12). Is l(v) a composite number?
False
Is 1/1*(124 + 15093) a composite number?
False
Is 8 - (2/9 + (-10351786)/666) a prime number?
True
Is (1 - (-15)/(-6))/((-54)/345636) prime?
True
Suppose -4*z - 2 = -22. Suppose 2*h + z*j = 5, -6 = -4*h - 4*j + 10. Suppose 0 = -k + 3*p + 31, k - 4*k - h*p = -121. Is k prime?
True
Let t(i) = i**3 + 25*i**2 - 17*i + 46. Is t(-21) a composite number?
True
Let j = -67 - -289. Let n(x) = x**2 + 8*x - 5. Let q be n(-9). Suppose -q*a + j = -790. Is a composite?
True
Let k = -8 + 11. Suppose -k*t + 0*t + 6006 = 0. Suppose -2*b - t = v - 5*v, 0 = -3*v - 4*b + 1529. Is v a prime number?
True
Let i(z) = 638*z + 19. Is i(5) a prime number?
True
Suppose 0 = -4*d - w + 13, d + 5*w + 19 = 2*d. Suppose -d*r + 155 + 881 = 0. Is r a composite number?
True
Let g be ((-6)/(-18))/(3/45). Suppose -g*c + 369 + 446 = 0. Is c a prime number?
True
Is (-5137)/(-9) - (-46)/207 composite?
Fals