- 4*g + g, -u*k + 58 = 5*g. Let d = k - -48. Is d a composite number?
True
Let f(b) = -42*b + 1. Let n(d) = d**3 + 5*d**2 - 4*d + 7. Let o be n(-6). Is f(o) a composite number?
False
Let a(c) = -c**2 - 2*c + 2. Let r be (-2)/(-1) - (-10)/(-2). Let j be a(r). Let z(g) = -15*g. Is z(j) a composite number?
True
Let x(m) = 8*m**2 + 3*m - 7. Is x(-8) composite?
True
Let y = 0 - -3. Let b(a) = 14*a + 12. Let l(i) = -15*i - 11. Let v(s) = y*l(s) + 2*b(s). Is v(-8) a prime number?
True
Let o(s) = -10*s + 7. Let x be o(10). Let j = 118 - x. Is j prime?
True
Let j(p) = -p + 13 + 0*p + 3 - 3. Let h be j(9). Suppose 0 = 4*s - h*u - 1000, -5*s + 3*u + 1256 = 4*u. Is s composite?
False
Let k(i) = -i**3 - 4*i**2 + 5*i. Let m be k(-5). Suppose 3*d - 37 + 13 = -3*w, -2*d = -w + 14. Suppose m = -4*u + 3*o + 53, u - 3*u + w = 4*o. Is u prime?
True
Let w(s) = -69*s**3 + 2*s**2 - 2*s - 1. Is w(-2) a composite number?
False
Is 1/1*(-4 + 383) a composite number?
False
Let l = 5242 - 1457. Is l a composite number?
True
Let c = -1 - -3. Suppose -c*u + i = 6, -4*i + 5 + 16 = -5*u. Let t(f) = -34*f**3 + 2*f**2 - 1. Is t(u) composite?
True
Let k(q) = 2*q**3 - 3*q**2 + 4*q - 2. Let w be k(2). Suppose 0*x = 5*x - w. Suppose x*h = -h + 57. Is h prime?
True
Let d(o) = 2*o**2 + 0*o**2 - 5*o**3 - o + 6*o**3. Let s be d(1). Is 31/s - 2/4 composite?
True
Suppose y - 5*i = 326, i + 992 = 2*y + y. Is y a composite number?
False
Let b(c) = c - 6. Let z be b(6). Suppose z = -5*a - 0 + 20. Suppose -2*g - 2*g + 224 = a*n, 0 = 2*n + 3*g - 113. Is n a prime number?
False
Let q be 0 + 226 + 6/3. Suppose 3*f - 4*b = -0*f + 166, 0 = 4*f - 4*b - q. Is f a prime number?
False
Is ((-15)/(-4) - 3) + (-22045)/(-20) composite?
False
Let h(f) = 52*f + 1. Suppose -2*o + 3*o + 8 = 0. Let v = o - -9. Is h(v) a prime number?
True
Suppose 3*a - a - 6 = 0. Suppose 3*l = -l + a*o + 8, -4*l + 5*o + 8 = 0. Is 3/1 + 256/l composite?
False
Suppose 2*d + 1117 = w + 4*d, 5*w - 5580 = -5*d. Is w composite?
True
Let t(w) = -w**3 - 5*w**2 + 5*w - 10. Let f be ((-3)/(-6))/(2/(-28)). Is t(f) a composite number?
False
Let q(z) = z + 4. Let k be q(0). Is (410/15)/(k/30) a composite number?
True
Let f = -407 + 100. Let h = f - -181. Let k = 181 + h. Is k composite?
True
Let u(t) = -t**2 + 12*t - 10. Let x be u(11). Let i = x + 1. Is ((-10)/(-4))/(i/44) prime?
False
Is (-2)/(-5) - 8169/(-15) prime?
False
Let o be 1 - ((-4)/(-4) - -2). Is 238/4*(-4)/o prime?
False
Let r = -445 - -752. Is r composite?
False
Suppose -5*n + x = -1, 2*n = -2*n + x + 1. Suppose t - 6 + 3 = 0. Is 60 + 2 + t + n a prime number?
False
Suppose k = -k + 6. Suppose -o - 8 = k*o. Let y(j) = -93*j - 3. Is y(o) composite?
True
Suppose 20 = 5*i, -i = -f + 1093 + 880. Is f composite?
True
Let n be -1 + 2/(1 - -1). Suppose -b = -n*b + 4*u - 115, 256 = 2*b - 5*u. Is (-2 + -1)/((-3)/b) composite?
True
Let k be (-3)/(1/(-4 - -1)). Suppose 3*i - n + 4*n = 798, 0 = 3*n - k. Is i a prime number?
True
Let s = -175 + 298. Is s a composite number?
True
Let f be ((-8)/3)/((-3)/63). Suppose 138 = 2*y - f. Is y prime?
True
Let m = 12 - 27. Let b = -10 - m. Suppose 0 = b*a - 235 - 190. Is a a composite number?
True
Let q be ((-8)/(-4))/((-2)/(-5)). Suppose -316 = -9*t + q*t. Is t a prime number?
True
Is 4/(-14) - 970/(-14) prime?
False
Let t(q) = q + 6. Let w be t(0). Let z be -1*8/w*3. Let h = z + 10. Is h a prime number?
False
Let o(p) = p**3 - 6*p**2 - 5*p - 9. Let t be o(7). Suppose 2*d - 523 = -t*n, d + 2*n + 257 = 2*d. Is d prime?
False
Let n(x) = 4*x**2 - x - 1. Let v be n(-3). Let o = -38 - -65. Let m = v - o. Is m a composite number?
False
Let a = -230 + 409. Is a prime?
True
Let l = -3 + 7. Suppose 3*r - 5*u = 7*r + 4, -2*r = 4*u - l. Is 65/(-2)*(r - -4) a composite number?
True
Let c = 2 + 1. Suppose -c*h - 5 + 23 = 0. Let t(w) = w**3 - 5*w**2 - 5*w + 7. Is t(h) composite?
False
Suppose 75*g = 70*g + 1465. Is g a prime number?
True
Let b = 140 + -46. Is b a prime number?
False
Suppose 2*i + 9 = -i. Is 6/((-1)/i*2) composite?
True
Let n(m) = 6*m**2 - 3*m**2 + 69*m**3 - 4*m**2 + 1. Let j be n(1). Let f = j - 30. Is f a prime number?
False
Let k(o) = -4*o - 5. Let u be k(-6). Suppose -y - u = -l + 29, -102 = -2*l - 4*y. Is l composite?
True
Let a be -3 - 0 - 9/(-6)*6. Let t be (2/4)/((-2)/4). Is 2/(a/(-39)*t) a prime number?
True
Suppose -4*m + m - 1242 = 0. Let c = -223 - m. Is c composite?
False
Suppose z + 1 - 3 = 0. Let l(g) = -4 + 2*g - g**z + 226*g**3 + 3 - 63*g**3 + 0. Is l(1) a prime number?
True
Let y(z) = z**2 - 3*z - 9. Let a(w) = w**2 - 3*w - 9. Let h(p) = 5*a(p) - 6*y(p). Let l be h(7). Let m = l + 56. Is m a prime number?
True
Let c(f) = f**2 - 2*f - 5. Suppose 2*x + 3*x = 20. Let g be c(x). Suppose m - 4*m + 138 = -g*j, 0 = -2*m + 3*j + 95. Is m prime?
True
Suppose -14*f + 15*f = 4. Suppose -3*u = -f*v - 1241, -4*v - 1009 = -4*u + 647. Is u a composite number?
True
Is -555*(-4 + (-68)/(-12) - 2) a composite number?
True
Let q = 3774 - 181. Is q a prime number?
True
Suppose 0*m - 4033 = -4*m - 3*j, 0 = -m - 4*j + 1005. Is m a composite number?
False
Let h be (-5)/(-2) - 1/2. Let g = h + 1. Suppose -g = 3*v, 2*v - 184 = -5*p + v. Is p a composite number?
False
Suppose -5*u + 620 = 5*p, -u = -20*p + 25*p - 128. Is u a composite number?
True
Let t = -39 - -97. Is t composite?
True
Let a = -27 + 11. Let f be 4/(-18) + 418/18. Let p = a + f. Is p composite?
False
Let j = 1168 + -725. Is j prime?
True
Suppose -3*n = -o + 322 + 893, -2*o + 4*n + 2432 = 0. Suppose -o = -4*s + 10. Is s prime?
True
Let u be -3*(-1)/(-3)*-5. Suppose 2*n - n - 4 = 2*y, y = -u*n + 20. Is 51/n + (-4)/(-16) composite?
False
Let s(p) = 1309*p - 6. Is s(1) prime?
True
Let o = 152 - 59. Let y = o + -58. Is y prime?
False
Let s(f) = -1 + 0*f + 4*f + f - f. Is s(5) composite?
False
Suppose 9*i - 20*i = -32417. Is i composite?
True
Let o(l) be the first derivative of 4*l**3/3 - 7*l**2 + 11*l - 7. Is o(9) a composite number?
True
Suppose -k + 5*c + 198 = 0, 3*c = 4*k - 0*k - 843. Let m = 23 + k. Suppose m = 4*f - 4*i, 0 = -f - 5*i + 25 + 10. Is f prime?
False
Suppose 3*l + 2*l = 235. Suppose 0 = -n + 6 + l. Is n a composite number?
False
Is -2*(-3729)/6 + (-16)/(-4) composite?
True
Let g(w) = -w**2 - w + 65. Let z be g(0). Let n = -34 + z. Is n a prime number?
True
Let l = 798 + -561. Is l a prime number?
False
Let g = 3033 - 2078. Is g a prime number?
False
Suppose 3*p = 5*m - 31151, m - 2*p - 4497 - 1736 = 0. Is m composite?
False
Is (-1 - 2) + 2 + 204 a prime number?
False
Let g(q) = -q**3 - 6*q**2 + 3*q + 6. Suppose 0 = -3*k - 12 - 9. Let z be g(k). Suppose z = p + 3. Is p a prime number?
True
Suppose -4*s = 3*l - 2, -3*s - 2*l = s - 4. Let k(z) = -z**3 + 4*z**s - 12*z**2 - 9*z + 2 + 3*z + 1. Is k(-8) prime?
False
Let z = 0 - -5. Suppose -5*l + 4*l = 3. Is -11*z*l/3 prime?
False
Let x(w) = w**2 + 11*w - 3. Let v be x(-9). Is 7/v + 200/6 prime?
False
Let i be (-38)/(-14) - 8/(-28). Suppose -5*o = -i*v - 150, -5*o - 4*v + 92 = -58. Suppose -25 = -b + o. Is b a composite number?
True
Let j be (40/16)/((-2)/(-4)). Let v(q) = 13*q**2 + 2*q - 6. Is v(j) composite?
True
Let u = 101 - 57. Let d = u + -66. Let l = 41 + d. Is l a composite number?
False
Suppose -2*l - 18 = 4*z - 6, l + z = -6. Let u be ((-6)/2 - -2)/(-1). Is 36 + l/(u - 3) a prime number?
False
Suppose 2*m + 2*m = 20, -3*i + 4*m + 4 = 0. Let n be (-1)/(-1) + 16 - 1. Is 396/n + 2/i prime?
False
Let f(i) = i**2 + 7*i - 1. Let s be f(-7). Let a(g) = -35*g + 2. Is a(s) composite?
False
Suppose -4*g + 2178 = f, -g - 1641 = -4*g + 3*f. Is g prime?
False
Let j = 0 - -5. Suppose 0*l - j*l = 40. Is 262/3*(-12)/l composite?
False
Suppose -4*a = 2*b - 2*a + 6, -2*a = 4. Is (47 + b)/(20/170) a prime number?
False
Let p(o) = o**3 - 7*o**2 + 6*o + 3. Let z(x) = 2*x + 2. Let g be z(2). Let l be p(g). Suppose h - l*f = 38, 2*f - 7*f = -3*h + 94. Is h prime?
True
Is 62/(((-4)/5)/(-2)) prime?
False
Let w = 149 - 70. Is w a composite number?
False
Let v(f) be the second derivative of f**5/20 - f**4/6 - f**3/2 - 7*f**2/2 - f. Let s(n) = -n**2 - 5*n - 1. Let j be s(-3). Is v(j) a composite number?
False
Let k(x) = x**3 + 4*x**2 - 5*x + 3. Let b be k(-5). Suppose -4*i = -i - b*p - 192, 0 = -5*i + 2*p + 329. Is i composite?
False
Suppose 