o + 436, 4*y - 1654 = -3*o. Let n = o - z. Is n prime?
True
Suppose 64*i - 12189874 = -18*i. Is i prime?
False
Let c(p) = p**3 + 4*p**2 - 9*p - 5. Let t be c(-10). Let s = t + 869. Let w = 925 - s. Is w prime?
True
Let m be 1*(5 + -8 + 6). Suppose m*z = -5*q + 79082, 3*z = -q + 10850 + 4964. Is q a composite number?
False
Let m = -122 + 4070. Suppose 12*l - 6*l = m. Suppose 163 = y - l. Is y prime?
True
Let x be (-10)/(-6)*(-231)/(-1). Let u(c) = c**2 - 14*c + 32. Let w be u(16). Let d = x + w. Is d prime?
True
Suppose 3*w - 3*m = 2*w + 14616, 0 = -w + 5*m + 14616. Suppose 2*j - f = w, -12*j - 3*f - 29230 = -16*j. Is j a composite number?
False
Let x(n) = 6*n - 171. Let i be x(30). Suppose -i*r + 4*r + 3198 = 4*a, r = 5*a - 3983. Is a a prime number?
True
Suppose -6*b + 153 = 159. Let q(a) = 829*a**2 - 9*a + 6*a + 2*a - 1. Is q(b) prime?
True
Let x(w) = -273*w - 6287. Is x(-120) composite?
True
Suppose -2*x - 3*s + 1302871 = 0, -5*x - 9*s = -7*s - 3257183. Is x composite?
False
Suppose 0 = 16*q - 209004 + 134014 - 192866. Is q a composite number?
False
Let d(r) = -357132*r**3 + 6*r**2 - 24*r - 23. Is d(-1) prime?
True
Let k be (-9)/(81/(-6)) - 2/3. Suppose k = -2*w - 27 - 17. Is 19 + w - (0 + (-494 - 0)) a composite number?
False
Suppose -4*p = -4*u - 48, -4*u + 5*p - 4*p - 36 = 0. Let t be 9/(-12) - (0 + 10238/u). Suppose h - t = a, -h + a = -a - 1279. Is h a composite number?
False
Suppose 0 = -5*u + 10*u + 4*x - 2393143, -2393139 = -5*u - 2*x. Is u a composite number?
False
Let x(d) = 10*d**2 + 227*d - 1676. Let n be x(8). Let w(y) = 1571*y**2 + y - 1. Let k be w(1). Let i = k - n. Is i composite?
True
Suppose 2*q = -z + 7 + 13, 5*z - 3*q = 35. Suppose -13675 - 2715 = -z*y. Is y a prime number?
False
Let b(l) = -539*l - 1. Let c(k) = -1. Let j(v) = b(v) + 4*c(v). Let y be j(-2). Suppose -4*s + y + 2819 = 0. Is s prime?
False
Let c = -83 - -85. Let a be ((-2)/2 - 539) + c. Let z = a + 915. Is z a composite number?
True
Let b(o) = -o**2 - 2*o - 9. Let z be b(-24). Let d = z + 124. Let v = 884 + d. Is v a composite number?
True
Let s(f) = 14*f**2 + 3*f - 27*f**2 + 17*f**2 + 0*f + 1. Let c be s(-1). Suppose -3*g + c*u = -2015, -6*g = -2*g + 4*u - 2700. Is g prime?
True
Let m be 1026/51 + 2/(-17). Suppose -m = -5*x + 25. Let i(t) = 138*t - 15. Is i(x) a prime number?
False
Let i be ((-4)/((-12)/15))/(2 + -1). Let p be ((-63)/(-15))/((i/5)/15). Let v = 130 - p. Is v prime?
True
Let i(a) = a**2 - 4*a - 10. Let r = 73 + -66. Let f be i(r). Suppose 16*q = f*q + 5015. Is q a prime number?
False
Let w(v) = -2*v**2 - 27*v - 40. Let p be w(-12). Is (-6)/(-3) + p - 2 - -923 a composite number?
False
Let j(x) = -1272*x + 25. Suppose 0 = 7*c + 20 + 8. Is j(c) prime?
True
Suppose 7*m = -51 - 33. Is 2 - 6/4 - 69342/m a prime number?
True
Suppose -13*m + 102 = -16*m. Let t = m - -37. Suppose -3*h + t = 0, d + h - 2*h = 453. Is d prime?
False
Suppose 4*k - 3*u + 5*u - 31772 = 0, k - 7961 = -5*u. Let r = -4180 + k. Is r composite?
False
Suppose -3*a + 20 = 5*w + 2, -5*w - 5*a = -10. Suppose 3*x - h = -w*h - 65, 4*x - h = -56. Is 523 - 5/(x/(-6)) a prime number?
True
Is (-76)/(-304) - (-215115)/4 prime?
False
Let m = -17 - -22. Suppose -2*p + 14014 = -m*f, -3*f + p - 2*p = 8404. Let x = 4976 + f. Is x a prime number?
False
Let h be (-2 + 1 - 2)/(-1). Suppose -k - 312 = h*k. Let s = k - -155. Is s a composite number?
True
Let b = -142020 + 208591. Is b a prime number?
True
Suppose 130*t - 127*t = 1800. Suppose -3*z + 2223 = t. Is z prime?
True
Let t(y) = -2*y**3 - 3*y**2 - 16*y + 12. Let m be t(-9). Let p(f) = -124*f - 94. Let u be p(-26). Let l = u - m. Is l composite?
False
Let z(j) = 5*j**2 + 116*j + 12. Let v be 1*(174/(-6))/(-2 + 3). Is z(v) prime?
True
Suppose 4*a = 2*q + 94032, -7006 = -2*a - 5*q + 39998. Is a prime?
False
Suppose 2*p - 3*i = p + 19789, -3*p + 59447 = 11*i. Is p composite?
False
Let r = 78 + -11. Let y = -64 + r. Suppose 111 - 18 = y*n. Is n prime?
True
Suppose 21*c + 35673 = 22*c - 2*q, -3*q = 4*c - 142681. Is c prime?
True
Suppose 5 = 5*n, -n = 2*m + 3*m - 50956. Suppose 2859 = 3*g - m. Suppose -4*z + 2*a = -g, z + 0*a = 3*a + 1090. Is z a composite number?
False
Is ((-5)/(-20))/((-7)/(-28)) - -283222 a composite number?
True
Let z be 24/((2/107)/(-1)). Let h be ((-1)/(-3))/((-1)/z). Suppose -f - 94 + h = 5*s, 0 = 2*f + s - 677. Is f prime?
False
Let m(x) = -17*x - 62. Let j be m(-4). Is (((-122639)/(-2))/11)/(3/j) composite?
False
Let f = 1286124 + -540287. Is f a composite number?
False
Suppose q + 2*n = 49721 + 27714, 0 = 2*n - 4. Is q prime?
True
Suppose 10 - 24 = -7*v. Is (-11554)/(-2) - (-4)/v a composite number?
False
Let o(j) = 2477*j**2 - 14*j - 23. Let v = -852 + 848. Is o(v) composite?
True
Is (-14)/(98/361991)*3/(-3) composite?
False
Suppose -270*j + 57140548 = -2*j. Is j composite?
True
Is (-1)/27 + (-2586478752)/(-3159) composite?
True
Suppose 6*o + 31269 = 7*o + 2*g, 0 = o + 3*g - 31273. Is o prime?
False
Let w(h) = -11029*h + 3425. Is w(-14) a prime number?
True
Let x = 34270 - 21486. Suppose -5*f = 1209 - x. Is f prime?
False
Let x be (-14)/(-2) - 20867572/(-44). Suppose -11*c = -41*c + x. Is c a composite number?
False
Let c(d) = d + 20. Suppose 3*h + 4*q + 37 = 0, 0 = h - 2*h + 4*q - 23. Let s be c(h). Suppose 0 = -s*v + 5*a + 410 + 620, -2*v + 5*a = -403. Is v prime?
False
Let r be (-4334)/(2 - 25/15). Let x = r + 21639. Is x a prime number?
False
Suppose -60*f + 73*f = 112229. Is f prime?
False
Is (-1 + -3)*(1501487/52)/(-1) prime?
True
Let q = 129 + -133. Is -4*(-4 - ((-4358)/(-8) + q)) a composite number?
False
Let m = -244 + 661. Let y = 1315 - m. Is y a prime number?
False
Suppose -8*y - y = 315. Let z = 37 + y. Suppose -2*c - 3*u = -1043, z*c - 6*c + 2*u + 2126 = 0. Is c a prime number?
False
Let l be 1/4 - 187/(-68). Suppose l*t - s = 411, s = -0*t - 2*t + 279. Suppose -t = -4*b + 2530. Is b a prime number?
False
Let s(p) = p**3 - 25*p**2 - 25*p - 24. Let o be s(26). Let c be o*(-1 + -1)*6378/(-24). Suppose -532 = -11*h + c. Is h prime?
False
Let x be 20/25 - (-2881815)/75. Suppose -3*q = -n - 0*q + x, 4*q - 38439 = -n. Is n prime?
True
Is (237514 + 27 + 9 + -3)*1 composite?
False
Suppose 0 = p + g - 307507, -3*p - g + 922525 = g. Is p a prime number?
True
Suppose 54*z - 37003 = 49*z - 3*y, 3*y - 14794 = -2*z. Is z a composite number?
True
Suppose -6*y = -t + 14983, 28*t = 23*t - y + 75101. Is t composite?
True
Suppose -286*b = -4052351 - 1325307. Is b a composite number?
False
Let x = 5589 - -10792. Is x prime?
True
Let q = 25513 + -13773. Suppose -8*n - q = -12*n. Is n a composite number?
True
Let i(h) = -765*h + 51. Let f be i(9). Let n = f - -15163. Is n a prime number?
True
Let b = 12 - 16. Let a be (2283 - 12/b) + 4/(-2). Suppose 0 = -w - 3*w + a. Is w a prime number?
True
Let b be (84/18)/(-7)*(-17829)/6. Suppose -3*y - b = v - 6950, 2*y - 3308 = -3*v. Is y composite?
False
Suppose 3228*k = 3246*k - 4189338. Is k a composite number?
False
Suppose b = -1, 3*v - 1643 = -b + 8694. Suppose 5*k - 30*l = -33*l + 5748, 0 = -3*k + l + v. Is k a prime number?
False
Let n(i) = -12*i**2 + 5*i + 11. Let d be n(9). Let l be -1 + 1 - (-5)/(30/(-10278)). Let a = d - l. Is a a prime number?
True
Let w be (-1270842)/23*((-4)/(-6))/2. Let s = -6597 - w. Is s composite?
False
Let m(a) = -a**2 + 4*a + 50. Let i be m(10). Let u(f) = -f - 16. Let h be u(i). Is h - (-9)/3 - 520/(-2) composite?
False
Suppose 0 = c - 33 + 30. Suppose c*u + 3*f + 5096 = 4*u, -5*u + 25441 = -2*f. Is u a composite number?
False
Let n(c) = -2*c + 27. Let a be n(11). Suppose 0 = q + a, 3*k + k = 2*q + 10. Let h(f) = -f**2 + 134. Is h(k) a composite number?
True
Suppose c + 29 = 5*p, p + 0*c - 1 = -c. Suppose 0 = 4*o + 2*q - 39604, -4*o + p*q + 36030 = -3574. Is o prime?
True
Let x(p) = p**3 - 2*p**2 - 25*p + 9. Let z be x(6). Suppose -z*w + 19666 = 5*j, -6554 = -w + 18*j - 21*j. Is w composite?
True
Suppose -18830 = -57*v - 20*v + 7026747. Is v prime?
False
Let a be (-62346)/42 + (-3)/(-7). Is (a/(-2))/(7 + -5) prime?
False
Let u be 1 + -1 + 4/(-1) + 14. Let w(t) = u + 6*t**2 - 24*t + 23*t + t**3 - 2 + 3*t**2. Is w(-7) a composite number?
False
Let f(i) = 2*i - 13. Let g(p) = 6*p - 38. Let h(z) = 14*f(z) - 5*g(z). Let d be h(11). Is 614 - d - (-