 g be a(-7). Let i = g - 790. Is i a composite number?
True
Let k = 51 - 49. Suppose 4205 + 1661 = k*s. Is s a composite number?
True
Let b(j) = 55*j - 8. Let w(c) = -54*c + 8. Let t(d) = -5*b(d) - 6*w(d). Is t(7) a composite number?
True
Suppose 0 = w - f, -5*w - 2*f + f + 6 = 0. Is (-2)/(w*-8) + (-46899)/(-324) a prime number?
False
Suppose 3*k + 8394 = 2*m - 197, m - 2*k = 4293. Is m composite?
True
Let l(q) = -q - 5. Let d be l(-9). Suppose 0 = -d*b - g + 799, 2*b = -2*g + 5*g + 389. Is b a composite number?
False
Suppose 0 = -6*t + 9*t - 291. Suppose -3*y + 2 = 8, -2*y = -3*o + t. Is o a prime number?
True
Suppose 3*b - 9091 = -5*p, -4*p = -2*b + 3732 - 10996. Is p a prime number?
False
Let y be (-44)/(-16) - 2 - 1/(-4). Let g(p) = -78*p**2 - 5*p - 2. Let u(b) = 77*b**2 + 6*b + 3. Let h(s) = -4*g(s) - 3*u(s). Is h(y) a composite number?
True
Let o(s) = s + 10. Let q be o(-5). Suppose -4*w = -4*m - m - 1795, 5*m = q. Suppose 2*x = 6*x + 3*z - w, 5*x + 5*z - 565 = 0. Is x prime?
False
Let k(j) = j**3 - 6*j - 4. Let n be k(3). Suppose 2*z = n*t + 402, 3*t + 577 = 3*z + 2*t. Is z prime?
True
Let w(d) = -15*d**3 - 6*d**2 - 21*d - 17. Is w(-7) composite?
True
Let d(a) = -4*a**2 - a - 12. Let i(n) = 13*n**2 + 3*n + 35. Let k(p) = 17*d(p) + 6*i(p). Is k(-5) a prime number?
True
Let q(f) = -4*f**2 - 4*f**3 + 5*f**3 + 0 + 4*f - 2. Let w be q(2). Is w/1*(-1407)/6 a composite number?
True
Suppose 5*p - 3*j - 27 = 0, 6*p - p - 2*j - 23 = 0. Suppose -4*x + 644 = -p*x. Suppose -x = -6*n + 2*n. Is n composite?
True
Suppose 3*t + 22*n - 26*n = 9769, 2*t + 3*n = 6541. Is t a composite number?
True
Let r(h) = 15*h**2 - 21*h + 59. Is r(15) a prime number?
True
Let q = -14109 - -22109. Let z = q - 3799. Is z prime?
True
Let s(t) = -2*t + 27. Let y be s(11). Suppose 0 = -3*n + g + 2635 - 618, y*g + 663 = n. Is n composite?
False
Let q = 6597 + -3830. Is q a composite number?
False
Suppose -12*i = 3*i - 102180. Let s = -4039 + i. Is s composite?
True
Let d be (88/77)/((-2)/(-7)). Suppose 2*a + n = d*n + 1653, 3*a + n = 2496. Is a composite?
True
Suppose 440 = p + 3*b, -3*p + b + 2*b + 1356 = 0. Is p a prime number?
True
Suppose 28*f + 2*i = 26*f + 18040, 5*f - 45090 = 5*i. Is f prime?
False
Let b(y) = -65*y**2 - y - 1. Let a(z) = -65*z**2 - z - 1. Let s(g) = -3*a(g) + 2*b(g). Suppose 6 = -4*v - 2*v. Is s(v) composite?
True
Let z(s) = 4*s**3 - 9*s**2 - 5*s - 1. Let j(f) = f**3 - f**2 - f - 1. Let p(a) = 3*j(a) - z(a). Is p(3) a composite number?
False
Let x = -12 + 14. Suppose 2*m = q + 162, -387 = -3*m - x*m - 2*q. Is m prime?
True
Let d = -1 - -59. Suppose 1184*c + 6 = 1187*c. Suppose -d = -c*i + 204. Is i a composite number?
False
Suppose -2*g + 4*n - 474 = 0, -2*g + n = -0*n + 483. Let j = g - -410. Is j composite?
False
Let y(w) = -w + 2. Let k be y(9). Let d = 10 + k. Let u = d + 10. Is u a prime number?
True
Let l(h) = -4*h - 35. Let y be l(-9). Is y - (546 - -2)*-2 a composite number?
False
Suppose 9*r = 3*r - 390. Is 39/r + (0 - 11776/(-10)) a composite number?
True
Suppose 11419 + 10859 = 6*n. Is n prime?
False
Let o(p) = -157*p. Is o(-17) a composite number?
True
Suppose a + 5*x = 13240, -3*x + 66178 = -3*a + 8*a. Is a a prime number?
False
Let l be 27/(-18)*4/(-3). Suppose 0*f + 2*c = -f + 10, 0 = -l*f + 3*c - 1. Is (89 - 0)/(5 - f) a prime number?
True
Let r = 3 + 16. Let c(g) = -g + 25. Let i be c(r). Suppose -734 = -i*b + 4*b. Is b a prime number?
True
Suppose 1995792 = 55*o - 7*o. Is o prime?
True
Let v = -15 + 15. Suppose v = 5*s - 11*s + 1410. Is s a prime number?
False
Let v(n) = 17*n**2 - 3*n - 8. Let o be v(6). Let l = o - 327. Is l a prime number?
False
Let a be 93/6 + 2/(-4). Let w = 79 + a. Is w a composite number?
True
Let r(a) = -a**2 - 19*a - 81. Let u be r(-12). Let h(k) = k**2 - k - 1. Let y(l) = 6*l**2 - 3*l - 6. Let b(g) = -4*h(g) + y(g). Is b(u) a prime number?
True
Suppose 6*t = 8*t + 286. Let f = t + 520. Is f prime?
False
Suppose 5*q = -735 + 5780. Is q prime?
True
Let m = 119 - 62. Is (-2584)/(-10) + m/95 a prime number?
False
Let p be ((-26)/(-4))/((-3)/(-6)). Let r be 4795/13 + 2/p. Suppose -2*j - j = -r. Is j composite?
True
Is 1*6 + (-435402)/(-54) a prime number?
True
Suppose 2*v - 16 = -2*v + 4*b, 5*b = v - 20. Suppose v = 4*h - 12 - 4. Suppose -5*f + h*t = -381, -f + 76 = 3*t - 4*t. Is f prime?
False
Let y be 4/(-3)*1*45/10. Let z(l) = 2*l**2 - 7*l - 5. Is z(y) a composite number?
False
Let o = 1714 + -368. Is o a composite number?
True
Let d = 2384 + -1261. Is d a composite number?
False
Let m(a) = -54 + 80 + a + 3*a**2 + 3*a**2 - 2*a**2. Is m(-11) a composite number?
False
Let h = 192 + 24. Suppose -8*v = h + 800. Let f = -72 - v. Is f a prime number?
False
Let f(v) = -3*v**3 + 12*v**2 + 7*v - 19. Let d(t) = -8*t**3 + 25*t**2 + 14*t - 37. Let s(w) = 2*d(w) - 5*f(w). Suppose -3*n - 5 - 22 = 0. Is s(n) prime?
True
Let y(n) = -2*n + 10. Let h be y(4). Suppose -h*j - z - 288 = -1824, 0 = 2*j + 4*z - 1530. Is j a composite number?
False
Suppose 7*g + 8*g = 216615. Is g prime?
False
Let x(w) = -13 + 543*w + 1 + 2. Is x(5) prime?
False
Is 1438 + (-22)/33*(-6)/4 composite?
False
Let p = -104 - -105. Is ((2 + 0)*1 + 1227)*p prime?
True
Suppose 0 = -6*z - 27 + 21. Is ((-69)/6)/(z*1/74) composite?
True
Suppose -c = 3, -11*b + 10*b = 5*c - 2996. Is b prime?
True
Suppose -3*b = -2*y - 13, -3*y - 4 = -2*b + 8. Suppose -142 = b*v - 4*v. Is v a composite number?
True
Let l = 4763 - 2286. Is l composite?
False
Let j be 1*52/44 + (-8)/44. Suppose 2*a - 12 = -a. Is (j + 0)*(391 + a) composite?
True
Suppose -6*s + 2*s = 7492. Let k = s + 3470. Is k prime?
True
Suppose -18*n + 19*n = 815. Is n a composite number?
True
Suppose 56*u - 59*u = -6. Suppose -4*p = u*h - 1058, h + 5*p = 46 + 474. Is h a prime number?
False
Suppose -3*i - 282 = -1032. Suppose 0 = z - 3*z + i. Suppose 8*a = 3*a + z. Is a prime?
False
Suppose -u - 3 = 0, -u - 1651 = -5*f + u. Is f a prime number?
False
Suppose -8 = -x - l, 0 = 2*x - 4*x + 4*l - 14. Is x*2/((-12)/(-506)) a prime number?
False
Is 75334*2*17/68 a composite number?
True
Suppose -4*s = -3*x - 20, -3*x = 2*s - s - 5. Suppose 3*a + 2*a - 10 = x. Suppose a*n = -0*n + 764. Is n prime?
False
Let i(z) = -139*z - 4. Let d be i(5). Let c = 389 + d. Let k = -99 - c. Is k a prime number?
True
Let h = -22 + 26. Suppose 0 = 4*x - 7 - 1. Suppose -q - h*i - 69 = -x*q, -2*i = 2. Is q a composite number?
True
Let x(c) = -28*c**3 - 7*c**2 - 10*c - 29. Is x(-3) a composite number?
True
Let p(c) = -c**2 - 14*c - 14. Let g be p(-13). Let a(y) = -25*y - 1. Let x be a(g). Is 3/4 - (-5718)/x a prime number?
True
Suppose 7*t + 90 = 8*t. Let f = 229 - t. Is f a composite number?
False
Suppose 3*n + 22 + 19 = -5*u, -33 = 3*u - n. Let m be (-68)/(-85)*u/(-4). Suppose -m*l = 2*v - 744, 5*l = 5*v + 2*l - 1852. Is v a prime number?
False
Is (50 - 52)/(1*(-6)/8511) a composite number?
False
Let g(x) = -119*x - 20. Let h be g(-5). Let i = 828 - h. Is i prime?
False
Suppose 0 = -c + 4*l + 87319, -5*l - 148197 = -4*c + 201079. Is c a prime number?
False
Let c(j) = -29*j + 11. Let w(g) = 6*g - 5. Let i be w(5). Let p = i - 35. Is c(p) a composite number?
True
Suppose -146 = -2*z + 36. Let m be 182598/z - (-8)/(-14). Suppose -4*j - 713 - 1268 = -3*t, -m = -3*t - j. Is t a prime number?
False
Suppose 55 = 5*x + 2*b, 2*b - 47 = -4*x + b. Suppose 17*g - 1324 = x*g. Is g prime?
True
Let f(w) = -111*w**2 - 6*w + 3. Let l be f(-3). Let o = l - -1499. Is o a prime number?
True
Let h = 7 - 3. Suppose 5*x - 362 = -2*r, -r - 3*x = -h*r + 585. Is r composite?
False
Suppose 6*p - 57 = 3*p. Let y = p + -15. Suppose -5*i = 3*o - 332, 56 = -4*o - y*i + 512. Is o a prime number?
False
Let v = 16 - 13. Suppose -4*y = v*j - 1292, -4*j - 323 = -y - 0*j. Is y a composite number?
True
Is (-83776)/(-21) + (-8)/24 prime?
True
Let u(h) = 4987*h + 34. Is u(3) a composite number?
True
Suppose -6*c = -8*c - 6. Let w(m) = -m**2 + 1. Let s be w(c). Is 6151/3 - s/12 a prime number?
False
Let n be (-6 + 1 - 182/(-3))*3. Let m(g) = -25*g + 2. Let x be m(4). Let q = n + x. Is q a composite number?
True
Suppose z + 3*z = 5*f + 4496, 0 = -4*f - 16. Is z a prime number?
False
Let t(m) = m**2 + 9*m - 8. Let f be 8/(-24)*18/(-2). Let u(c) = -3*c - 2. Let p be u(f). Is t(