 - 4*z + 12. Suppose -q = k - 235, q + z*q = k - 245. Is k composite?
True
Let w be (-3 + 0)/(-1*3). Is (3 - w)/(1/11) prime?
False
Let t(s) = -s**3 - s**2 + 75. Let k be t(0). Suppose -a = -4*b - 56, 3*a + b - 145 = k. Suppose 5*l - 58 = a. Is l prime?
False
Let o(c) = 3*c**2 + c. Let m be o(-1). Suppose -4*u = -4*v + u + 11, m*v - 10 = 4*u. Is (73 + (v - -2))/2 prime?
True
Suppose 0*w + 3*w - 1455 = 0. Is w composite?
True
Let g be 1/(-9)*3*-4113. Let h = -798 + g. Is h a composite number?
True
Suppose a = 3*g + 81, 4*a = g - 0*g + 346. Is a composite?
True
Let j(b) = 13 - 2*b**2 - 4*b**2 + 6*b - 18*b + 8*b**2. Is j(-12) composite?
True
Let n(x) = 24*x - 3. Let w(b) = 71*b - 10. Let k(a) = -7*n(a) + 2*w(a). Let r be k(8). Is ((-6)/(-9))/((-6)/r) composite?
False
Let r = -2 + 4. Suppose -r*f + 7 = -3. Suppose 5*z + 2*d - 295 = d, 2*z = -f*d + 118. Is z prime?
True
Let y(w) = 18*w**3 + 3*w - 2. Let g be y(2). Let n = -79 + g. Is n a prime number?
False
Let d = -7 - -3. Is (-103)/d - (-2)/8 a composite number?
True
Let u(d) = 215*d + 30. Let w(i) = -36*i - 5. Let a(c) = -6*u(c) - 35*w(c). Let p be a(-4). Suppose -2*h = -3*r + 65, -5*r = -3*h - 2*h - p. Is r composite?
False
Suppose -8*m + 3*m = j - 10791, 8 = -2*j. Is m a prime number?
False
Suppose -3*m - 6 + 21 = 0. Suppose -m*u + 2711 = 856. Is u prime?
False
Let j(k) = k**2 + 9*k + 4. Let y be j(-9). Is -2*y/(24/(-1401)) prime?
True
Suppose 2*k = 5*k - 2217. Is k composite?
False
Let r(k) = -k**3 - 3*k - 4 + 4*k + 0*k + 7*k**2. Let q be r(7). Suppose 5*n - 66 = l - q, 4*l - 34 = -2*n. Is n a composite number?
False
Suppose -2*w - 4 = 0, 3*n + 3*w - 1889 = -2*n. Is n prime?
True
Let h be (1 + 0)/(2/(-4)). Let m = 0 - h. Let q(n) = 5*n**2 - 1. Is q(m) a composite number?
False
Let r(c) = -19*c - 5. Let j(o) = -o**3 - 7*o**2 - 6*o - 5. Let g be j(-6). Let z(m) = 10*m + 3. Let s(a) = g*z(a) - 3*r(a). Is s(3) prime?
False
Suppose -8 = -5*v + 7. Suppose -v*r - r = -508. Is r a prime number?
True
Let o(g) = g**2 - 5*g - 5. Let c be o(6). Suppose -y + c - 3 = 0, -2*y = -3*q + 2059. Is q a composite number?
True
Suppose -3*o + 1 = 3*r - 4*o, o - 6 = -4*r. Let t(s) = 89*s**3 - s**2 + 2*s - 1. Is t(r) a composite number?
False
Let j(m) = 12 - 11 + 85*m**3 + 32*m**3. Let s be j(1). Let w = s + 115. Is w a composite number?
False
Suppose -3*z + 623 = 4*z. Is z a prime number?
True
Let x(l) = 3*l**2 - 3*l - 3. Let o be x(-2). Let t be (-8)/12*o/(-2). Suppose 0 = -t*w - 22 + 127. Is w a composite number?
True
Let s(b) = -31*b**3 + 2*b - 1. Let g be s(1). Let r = g - -85. Is r prime?
False
Let i(y) = 9*y + 3. Is i(2) a composite number?
True
Suppose 2*x = a + 4*a + 16, -5*x - 5*a + 5 = 0. Suppose x*q - q - 154 = 0. Is q composite?
True
Is 5/20*(212 - 0) a prime number?
True
Let n = -18 - -25. Let r(u) be the second derivative of 7*u**3/6 - u. Is r(n) composite?
True
Let f be 1/(-2) + 5/2. Let n(i) = -4*i + i + 24*i**2 + 0*i + 3 - i**2. Is n(f) a composite number?
False
Let w be (-2)/(0 - (-2 + 0)). Is (-326)/8*(-5 - w) a composite number?
False
Let k = -577 + 348. Let o be (-2 - -1)/1*k. Suppose -2*x + y + o = x, 0 = -4*x + 5*y + 298. Is x a prime number?
False
Suppose -q = -3 + 18. Let c = 28 + q. Is c composite?
False
Let o = -5 + 2. Is (1 - (o - -5))*-89 prime?
True
Suppose v = 1029 - 152. Is v a prime number?
True
Suppose -2787 = -5*i + 128. Is i prime?
False
Suppose -2*f - 5*w + w = -408, 4*f - 841 = -3*w. Is f prime?
False
Suppose 3*k = -k + 12. Is (-53)/(k + (-8)/2) a prime number?
True
Let u be (-1)/(4/6)*-2. Is (0 - (u - 196)) + -2 a prime number?
True
Suppose 7*d = 2*d + 345. Suppose -92 - 118 = -5*f + 5*c, -2*f + d = 3*c. Is f composite?
True
Let m(i) = 25*i + 26. Is m(9) a prime number?
True
Let f = 12 - 8. Let u = f - -65. Is u composite?
True
Suppose 4*u - 120 = 4*t, 2*u - 70 = 3*t + 4*u. Let o = -11 - t. Is o composite?
True
Let t = -28 + 59. Is t a prime number?
True
Let a(x) = x**3 - 5*x**2 - 10*x - 1. Suppose o - 1 = 0, 5*o + 24 + 3 = 4*f. Is a(f) prime?
False
Let g be (-1)/2 + (-669)/(-6). Let t = -65 + g. Is t a composite number?
True
Let l = 716 - 407. Suppose a + 2*a - l = 0. Is a prime?
True
Let m(n) = n. Let o be m(-1). Is (o/(-3))/((-1)/(-201)) a composite number?
False
Suppose 5*y = -3*v - 0*y + 11028, v - 3*y = 3662. Is v prime?
True
Suppose -2*l - 4*r + 3*r + 575 = 0, 4*l = 2*r + 1146. Is l a composite number?
True
Suppose 0 = -2*z + 7*z - 400. Let b = z + -47. Let w = -20 + b. Is w prime?
True
Let a(y) = y**2 - 7*y - 1. Let z be a(-7). Let j = z - 50. Is j a prime number?
True
Let v(q) = -4*q**2 + 0 + 1 + 3*q**2 - 4*q - 3. Let d be v(-4). Is d/4 - 116/(-8) a composite number?
True
Is -789*5/45*-3 prime?
True
Is ((-7)/14)/(2/(-1676)) a prime number?
True
Let o(g) = 7*g + 43. Is o(16) a composite number?
True
Let w = -8 + 11. Suppose z - 118 = 3*j - 4, -3*j + 330 = w*z. Is z a composite number?
True
Suppose -5*p + 11309 - 4324 = 0. Is p prime?
False
Suppose -335 = -5*l - 4*v, -3*l + 3*v = 2*l - 370. Is l a composite number?
False
Suppose -2*r + 7206 = j, 5*j - 4551 = -2*r + 2671. Is r a composite number?
True
Suppose -2*y + 1881 + 2593 = 0. Is y a prime number?
True
Let u = 6 - 4. Let s(i) = -2 + i**2 - 4*i + 3*i**u - 1. Is s(-2) prime?
False
Let j = 11 - 7. Is 194*(-2 - (-10)/j) a composite number?
False
Suppose 382 = i + 8*t - 3*t, 3*i = 3*t + 1128. Is i a prime number?
False
Let k = 38 - 28. Is k a prime number?
False
Let p(b) = b - 7. Let m be p(9). Let u(y) = -y + 2. Let k be u(m). Suppose k*h + 2*h = 22. Is h a composite number?
False
Suppose -4*z + 16 + 4 = 0. Let d(q) = q**3 - 5*q**2 - 3. Let i be d(z). Is (-117)/i + -2 + 0 a prime number?
True
Suppose r = 4*c - 1160, c + 4*r - 105 = 168. Is c prime?
False
Suppose -g + 4*s + 3470 = 2*g, 3472 = 3*g - 5*s. Is g composite?
True
Suppose -1524 = -0*s + s. Is (s/(-9))/((-4)/(-6)) a composite number?
True
Let w = 10 - 8. Suppose -w*p + 88 = 2*p. Is p a composite number?
True
Suppose -1884 - 4188 = 4*f. Is 2/(4 - f/(-381)) composite?
False
Suppose 6172 = -233*d + 237*d. Is d prime?
True
Suppose h - 2*h = 5*m + 7, -5*h + 17 = -m. Suppose h*y - 5*q = y + 74, 0 = -3*y - 3*q + 111. Is y prime?
True
Let q = -5 + -13. Is (-1030)/q + (-4)/18 a prime number?
False
Let y(n) = -2*n**3 - 10*n**2 + 2*n + 29. Is y(-15) a composite number?
True
Let i be 4/(-3)*12/8. Let r be 5 + (i - 0) + 3. Is (r/(-4))/(3/(-20)) a composite number?
True
Suppose 5*i = 3*l + 15, -2*i = 2*i - 5*l - 12. Suppose i - 8 = x + u, 4*x = -u - 11. Is (0 + (-5)/x)*4 composite?
True
Suppose -6 = -4*t + 14. Let b = 51 + 119. Suppose -3*z + 2*h = -105 - 2, t*z - b = -5*h. Is z a prime number?
False
Let l = 1122 + 89. Is l composite?
True
Let c = 2 + 1. Is 3*(17/c + -2) composite?
False
Let l = 36 - 1. Is 2260/l - (-6)/14 a prime number?
False
Suppose 0 = 2*c + 3*c - 15. Suppose -5*o - 31 = -4*a, -c*a + 6 = -6. Is (17 - (o - -1))/1 composite?
False
Is 7/((-62)/(-61) - 1) a composite number?
True
Let u(j) be the second derivative of j**5/2 - j**4/4 + 2*j**3/3 - j**2 - 2*j. Is u(2) prime?
False
Let n(v) = 4*v**2 + 7*v - 6. Let f be n(4). Suppose f = -0*d + 2*d. Is d composite?
False
Let d(k) = -k**2 - 8*k - 5. Let f be d(-7). Suppose 2*s - 3*n + 2 = 0, 5*n - 22 = -f. Suppose -1032 = -4*t - 2*w, -s*t + 3*w = -0*w - 1301. Is t prime?
False
Let a be 1*(-4 - -2 - -4). Let g(j) = 12*j**a + 2*j + 4 - 5*j + 0*j + j. Is g(-3) prime?
False
Let a be 4446 - (4/(-1))/(-4). Suppose -3*q = 2*q - a. Is q composite?
True
Let c be 3/(-15) - 414/30. Suppose -u + 4*m + 0*m - 4 = 0, -5*m = -2*u - 5. Let p = u - c. Is p prime?
False
Let h(c) = c**3 - c**2 - c - 12. Let f be h(0). Is (268/6)/((-8)/f) composite?
False
Let b(q) = 2*q**2 - 10*q - 5. Let c be b(-7). Is c - (0 - (0 + -2)) a prime number?
False
Suppose 4*h = 8*t - 5*t - 4989, 4*t - 5*h = 6652. Is t composite?
False
Let c be 1 + (2 - 0 - 2). Suppose 0 = -3*d - 10 + c. Is 20/d*3/(-2) a prime number?
False
Let j = 13560 - 7713. Is j composite?
True
Let y be 1*(231/3 - -1). Suppose 2*u = -u + y. Is u a prime number?
False
Suppose -4*b - f = -306, -5*b + 2*f + 383 = 3*f. Is b a composite number?
True
Let p(d) = d + 5. Let l be p(-7). Is 109 + 6/3 + l composite?
False
Suppose 3*a = -6, -i + 0*a = 2*a + 1. Let m be 1/i + 258/9. Is 0 + 0 + 