False
Suppose 0 = j - 4*o - 9 + 1, 0 = 5*j - 4*o - 8. Suppose 4*i = -5*r + 311, i + j*r - 81 = 2*r. Is i a prime number?
True
Let b(l) = -3*l**3 - 2*l**2 - 2*l - 1. Let t be b(-1). Suppose 2*c - 90 - 292 = -3*w, -t*c = -5*w - 382. Is c composite?
False
Suppose 0 = -u - 2*z + 33037, 3*z - 132203 = -4*u + 6*z. Is u a composite number?
True
Let f(g) = -18*g**3 + 5*g**2 + g - 9. Let p be f(-5). Let h = 8276 + p. Is h a composite number?
True
Let t(x) = -194*x + 99. Is t(-5) composite?
False
Is 45726*3*1/18 prime?
True
Let j = 24414 + -11993. Let l = 17588 - j. Is l prime?
True
Let x be (-1984 - -4)*2/(-4) + 1. Is -2 - ((3 - x) + 1) composite?
True
Suppose 0 = 8*a - 4*a - 5424. Is 1 + (a - (-5 + 1)) prime?
True
Suppose -2*k - 4*q + 39264 + 6922 = 0, -5*q = -5*k + 115465. Is k prime?
False
Let d = 1501 + 2262. Is d prime?
False
Suppose 50137 - 9075 = 4*b + 2*r, 4*b - r - 41059 = 0. Is b a composite number?
True
Let t be (0 - 0) + 3*16/12. Let u be 0/1*(-1 + 0). Suppose -5*s - 437 = -c - 2*s, u = t*c - 3*s - 1766. Is c a prime number?
True
Let g(z) = 9*z**2 - 6*z + 7. Let y be g(3). Suppose -5*n + y = -3*n. Let m = n - -412. Is m a composite number?
True
Let r(o) = 25*o**2 + 14*o - 39. Is r(8) prime?
False
Suppose 4*u + 3*r + 1 = 0, -r - 3*r = -4. Let g be (-3)/u*(-10)/(-15). Suppose 62 = g*b - 116. Is b prime?
True
Suppose -5*f + 16 + 19 = 0. Let r = f + -1. Suppose r*z - 1618 = 140. Is z composite?
False
Let b = 12 + -6. Suppose 2*d - 242 = -b. Is (-3*1)/((-3)/d) prime?
False
Suppose 19*p = 16193 - 594. Is p composite?
False
Suppose -1701 + 11446 = 5*u. Is u composite?
False
Is (-2751)/(-7)*445/15 prime?
False
Suppose -12*i + 10005 = 3*i. Is i a composite number?
True
Suppose 3 = 3*g - 2*u - 13, -3*u = 15. Suppose -g*r + 33 + 1 = 0. Let d = 27 - r. Is d prime?
False
Suppose 5*t = 153224 + 4731. Is t a composite number?
True
Suppose 0 = -17*r + 16*r + 3. Is (r/(-3) - (-678 - 0))/1 prime?
True
Let i(h) = 2281*h - 4. Let b(l) = -2283*l + 4. Let w(a) = -4*b(a) - 3*i(a). Is w(3) composite?
False
Suppose 3*l = -4*v + 5*l + 80, -5*v + 91 = 2*l. Suppose v*h = 16*h + 6999. Is h composite?
False
Suppose -2*m - 1941 = -f - 45892, -2*f + 6 = 0. Is m a prime number?
True
Let i(q) = -q**3 + 7*q**2 - 3*q + 6. Let f be i(5). Let h = f + 5. Is h a composite number?
True
Let u = 1238 - 463. Suppose 0 = -w - 3*b + u, -4*b = -7*b - 12. Is w a prime number?
True
Let k = 0 - -3. Suppose c = 5*s, -59 = 3*c + k*s - 5. Is -29*(-2)/((-6)/c) a composite number?
True
Suppose 25 = a - 9*q + 4*q, 0 = -3*a + 2*q + 10. Suppose 2*v + j = 148, v + 3*j - 69 = -a*j. Is -4*(-4 - v/2) a prime number?
False
Let o be 0 + 2/6 - 1810/(-15). Let a = o + -84. Is a a prime number?
True
Let v = 7448 - -454. Suppose -9*u + v = -1377. Is u a composite number?
False
Let q be -1 - -4*1 - -6. Suppose 19 = -2*f - q. Is 6/14 - 2864/f a composite number?
True
Suppose -w - w + 10 = 0. Suppose -3*k - 15 = -w*r, 4*r + k + 3 + 2 = 0. Let j(i) = i + 46. Is j(r) composite?
True
Let t(y) = -213*y - 32. Let s be 3*(-3)/(-27)*(-63)/3. Is t(s) prime?
True
Suppose 50600 = 5*n - 5*j, 5*n + 2*j + 0*j - 50621 = 0. Is n composite?
True
Let a = -96 + 93. Is a/(1*3/(-1594)) composite?
True
Let o(a) = 8 + 2 - 245*a - 4 - 5. Let r be o(-1). Suppose -3*y - 15 = -r. Is y a prime number?
False
Let o(b) = -9*b**3 + b**2. Let t be o(-1). Let d be (306/(-15))/(2/t). Is 5/((-15)/d) - -1 composite?
True
Let l(n) = 5*n + 22. Let h be l(4). Let i(f) = 6*f**2 + 5*f + 3. Let a be i(-4). Let b = a - h. Is b a prime number?
True
Is ((-310044)/336)/((-1)/8*2) a composite number?
False
Let w be ((-1)/(-1))/((6/(-1924))/(-3)). Suppose -3*x + 2*q + w = -x, 8 = -4*q. Is x composite?
False
Suppose 2*q + 65*k = 66*k + 13335, 2*q - 13330 = -4*k. Is q a composite number?
True
Suppose -3 = -4*i - 3*z + 17, 8 = 2*z. Let f be 89*1/(2/i). Suppose -2*w - 31 + 114 = -3*x, 2*w - 5*x = f. Is w a prime number?
True
Let j(w) = -w**3 - 6*w**2 - 2*w - 8. Let o be j(-6). Suppose 2*i = -2*g + 1540, i + 5*g + o = 770. Is i a prime number?
False
Suppose 0 = 3*g + 837 - 42. Is g*(0 + 1)*-1 a prime number?
False
Let i = -24 + 2515. Is i composite?
True
Let w(p) = -42*p + 10. Suppose -2*z - 42 = 4*z. Let m be w(z). Suppose -179 - m = -3*u. Is u composite?
True
Suppose 6*g - 63 = -3*g. Suppose 3*u = g*u - 3476. Is u composite?
True
Let t(v) = -v - 6. Let j(x) = -6 + 1 - 1 + 1. Let m(h) = 7*j(h) - 6*t(h). Is m(9) a composite number?
True
Let p(i) = i**3 + 12*i**2 - 14*i - 16. Let c be p(-13). Is c/4 - (-162063)/36 composite?
True
Suppose 0 = 4*z - 12, 5*z - 2855 - 1551 = -c. Is c composite?
False
Let q be -3 + 2 + (20 - -6). Suppose 0 = -2*v + 93 - q. Is v prime?
False
Suppose -10099 = 8*f - 72123. Is f a prime number?
True
Is (78/(-12) - -6)*-19174 a composite number?
False
Let w be (13/26)/(2/24). Suppose k + 126 = 2*c, -w = -5*k + 14. Is c a prime number?
False
Is ((-13)/13)/((-1)/(1 - -4702)) prime?
True
Let f(v) = -24*v - 74. Suppose -2*g + 78 = -4*u - 0*u, 0 = 5*u + g + 87. Is f(u) a composite number?
True
Suppose z - 331 = 4*n, -4*z + 1270 = -4*n + 6*n. Is z a composite number?
True
Let f = -14 + 11. Let d(a) = -a**3 - 4*a**2 - 3*a + 4. Let l be d(f). Suppose 2*i + 0*v + 5*v - 387 = 0, -761 = -l*i + 3*v. Is i prime?
True
Suppose -2*h - 302 - 1458 = 0. Let l = -612 - h. Suppose -l = -k - k. Is k prime?
False
Let l = -3041 + 1083. Let w = l - -3319. Is w a composite number?
False
Let u = 5004 - 2765. Suppose 1546 = -5*h - u. Let q = -452 - h. Is q a composite number?
True
Let n = 5 - 11. Let y(w) = -2*w**3 + 6*w - 3. Is y(n) prime?
False
Let j = -15 + 35. Suppose -5*i + j = 0, 8*w - 3*i = 3*w + 2853. Is w a prime number?
False
Suppose 3 = -g, 3*d = g - 5*g + 77730. Suppose -3*n + d = 3*n. Is n prime?
False
Let j = 2695 - 6112. Let i = -2368 - j. Is i composite?
False
Let t = -43 - -41. Is (t/(-6))/(1/1419) composite?
True
Let a = 5961 + -2328. Suppose -6*q + a = q. Is q composite?
True
Suppose -2*d + 7*k - 10*k = -66326, d - 33177 = -5*k. Is d composite?
True
Let t(n) be the first derivative of 1/2*n**2 + 0*n - 1 + 952/3*n**3. Is t(1) a prime number?
True
Let o be ((-14680)/30)/((-1)/3). Let z = o - 69. Is z a prime number?
True
Suppose k - 32 = 3*u, -5*k + 3*u = -35 - 65. Let g(x) = 3 - 2 + k*x**2 + 5*x**2 + 4*x. Is g(5) prime?
True
Let w = -1455 - 438. Let l = w - -2966. Is l a composite number?
True
Is 1/3 - (5 + 78873/(-9)) composite?
True
Suppose -5*h + 3*b = -49, -2*h + 12 = -5*b - 0. Suppose x = -n + h, 0 = 2*n + 5*x - 4*x - 17. Let t(f) = 26*f + 7. Is t(n) prime?
True
Let k(j) = 6148*j + 45. Is k(1) a composite number?
True
Suppose -11*v + 8816 = -2151. Is v a composite number?
False
Suppose 3 + 3 = -2*x, 3*c + 3*x - 15 = 0. Let p(v) = 2*v**2 - 6*v + 3. Is p(c) a prime number?
True
Let k be 0*(4 + -1)/3. Let s(b) = 2*b + 1. Let a be s(k). Is (1 - -186) + a + -3 prime?
False
Suppose c - 3 = -2*c. Is (10/30)/(c/63) prime?
False
Suppose 5 = 2*b + 3*b. Let m be (6/(-12))/(b/(-176)). Let o = m + -51. Is o prime?
True
Suppose 5*p + 5*h - 653 = h, -3*p + 4*h + 411 = 0. Suppose 4*u - 20 = 0, 2*l - u - 2*u = p. Is l a composite number?
True
Let w(o) = -o**2 + 12*o - 12. Let v be w(11). Let d be (136 - v) + 3/1. Let i = d - 85. Is i prime?
False
Let q(z) = z**3 - 5*z**2 + 3*z + 6. Let l be q(6). Suppose -6*b = -b - l. Is (-2708)/6*(-18)/b prime?
True
Let a be (-7 + 6)/(2/(-8)). Suppose 0 = a*q - q. Suppose 52 = -q*c + c - 5*y, 2*y - 6 = 0. Is c composite?
False
Let s(p) = -6*p**2 + 11*p + 45. Let b(o) = 5*o**2 - 11*o - 46. Let c(n) = 3*b(n) + 2*s(n). Is c(11) a composite number?
True
Let n(k) be the third derivative of k**6/120 + k**5/5 - k**4/8 - 3*k**3/2 + 19*k**2. Is n(-10) prime?
False
Let k = 877 + -529. Suppose 0 = -5*h + k - 133. Is h a prime number?
True
Suppose -4*d + 3*d = 1949. Let y = d - -3750. Is y a composite number?
False
Let n = 17 + -22. Let m(h) = -59*h - 4. Is m(n) prime?
False
Suppose n - 5*j = -742, -4*n + 81 = -2*j + 2977. Let o = n - -465. Let p = o + 380. Is p a composite number?
True
Suppose -2*u - 1994 + 9182 = 2*d, -3*u - 4*d + 10783 = 0. Is u a prime number?
True
Is (6 - -22857)*(-1 - (-12)/9) a prime number?
True
Let g = -250 + 793. Let k = g - -80. Is k a prime number?
False
Is (-71148)/(-630) + 1/15 a prime number?
True
Let