 - t = 4*z - 1374. Is t prime?
True
Let d(g) = -g**2 - 9*g + 9. Let k be d(-9). Let w(f) = 9*f - 4. Is w(k) composite?
True
Let o(p) = -6*p**3 + p**2 + 2*p - 3. Let r(s) = 18*s**3 - 3*s**2 - 5*s + 9. Let d(y) = -17*o(y) - 6*r(y). Is d(-2) composite?
True
Suppose 3*n + 3 = 3*m, -4*n + 4 = -m - m. Suppose n*i + 23 = 68. Suppose -2*d = -301 + i. Is d prime?
False
Suppose 0 = 4*f + 3*z - 4, -2*f - 6 = 4*z - 18. Let q(v) = v + 2 - 5 - 10*v. Is q(f) a prime number?
False
Let w(j) = -4*j + 0*j**2 + j**2 + 0*j**2 - 8. Let v be w(6). Is 243/12 - (-3)/v a composite number?
True
Suppose -k + 9 = -10. Let n = k + 31. Suppose -r - r + n = 0. Is r a prime number?
False
Suppose 0 = 2*t - 4*r - 3 - 7, -2*t - 4*r = -2. Suppose 0*c + 861 = t*c. Is c a prime number?
False
Let u(w) = -125*w + 7. Is u(-2) composite?
False
Suppose 5*g + 0*q - 718 = -3*q, 0 = 4*q - 4. Is g composite?
True
Suppose 2*l = -2*l + 20. Is 38*l - (4 - 5) prime?
True
Let c be 6/(-8)*(-8 + 4). Suppose 2*m = -10, -120 = c*w - 5*m - 400. Is w composite?
True
Let u be (-3)/9 - 16/(-3). Suppose -x + 4 = u. Let r = x + 7. Is r prime?
False
Suppose 2*h - 69 - 83 = 0. Suppose 5*c - h = -t, 6*c - 3*c = -5*t + 358. Is t prime?
True
Let i(z) = 2*z**2 - 3. Is i(-3) a prime number?
False
Suppose -v - 3 = 0, -3*c - 5*v - 45 = -8*c. Suppose 0 = 3*a - 0*a - c. Suppose u + u + 79 = k, 0 = a*k + 4*u - 182. Is k prime?
False
Let b(u) = -3*u**2 - u. Let z be b(-1). Let i = 2762 - 1154. Is z/3*i/(-16) a composite number?
False
Let l = -30 + 18. Suppose 0*i + n - 85 = 5*i, -4*n - 56 = 2*i. Let k = l - i. Is k prime?
False
Let q be (-21 + 0)/((-6)/(-16)). Let k = 147 + q. Is k a composite number?
True
Suppose -t = 4*t - 15. Suppose 0*b - 3 = 4*a - 5*b, -t*a + 2*b = -3. Suppose z + a*z = 140. Is z composite?
True
Suppose 177 = s - 2*s. Let q = -100 - s. Suppose 17 = -4*y + q. Is y prime?
False
Let m(n) = n**3 - 13*n**2 + 6*n - 29. Is m(13) a prime number?
False
Let k = 110 + -59. Is k a prime number?
False
Let f = -390 + 641. Is f a composite number?
False
Suppose r = 4*r. Suppose 4*g + t - 2288 = r, 0*t + 565 = g + 2*t. Is g a prime number?
False
Suppose 0*z - 5*z + 385 = 0. Is z a prime number?
False
Suppose 4*l - 2*i + 16 = 0, 5*l + 5*i + 50 = -0*l. Let a be 2/5 + l/15. Suppose -d + 4*r + 37 = a, -4*r + 7*r = d - 41. Is d composite?
False
Let f(b) = 15*b + 14. Is f(12) a composite number?
True
Let y(k) = -k + 3. Let l be 21/14 + 9/(-2). Let a be y(l). Is 327/2*4/a a composite number?
False
Let u = 16 + -1. Is 2345/u + 2/3 composite?
False
Let r = 1433 - 840. Is r composite?
False
Let r = -469 - -1858. Is r a composite number?
True
Is (1123/5)/((-4)/5)*-4 composite?
False
Suppose 4*y + 791 = 5*t - 3412, -t + 5*y = -849. Is t a composite number?
False
Let r(g) = 4*g**2 + 10*g + 7. Let n be r(-6). Let u = 148 - n. Is u a prime number?
False
Suppose 0 = -5*d + 1308 - 43. Is d a composite number?
True
Is (1/(-1 - 0))/(7/(-889)) composite?
False
Let p = 1911 + -857. Suppose 2*f + 0*f = p. Is f a composite number?
True
Suppose -5*n = -10*n + 565. Is n a prime number?
True
Suppose 0 = 3*h - 20 + 98. Let p be 1*(h + 3/1). Let m = -14 - p. Is m a prime number?
False
Let g(o) = o - 4*o + 10*o - 8*o + 5. Let h(t) = t**3 - 3*t**2 - 6*t + 2. Let n be h(4). Is g(n) a composite number?
False
Suppose 5 + 22 = 3*t. Let x be 1500/t - (-1)/3. Let k = -54 + x. Is k a prime number?
True
Suppose 2*z + 12 = 5*d, -3*z - 64 - 4 = 5*d. Let r = z - -49. Is r composite?
True
Let x be (8 - 2)*1/2. Suppose 5*s = -x*g + 3*s + 695, g + 5*s - 223 = 0. Is g a prime number?
True
Let u be (-2 - -2) + 17 - 1. Suppose 2*v - u + 0 = 0. Let i(h) = h**2 + 4*h - 1. Is i(v) prime?
False
Is (4 - 5)/(2/(-254)) a prime number?
True
Is (-2)/8*2692/(-1) a prime number?
True
Let o(z) = -z**2 - 9*z + 1. Let s be o(-6). Suppose 0*m = -h - 2*m + s, 0 = -2*m. Is h prime?
True
Is (-2)/4*(-2797 + -1) a composite number?
False
Let t(j) = j - 2. Let w be t(3). Is (-6 + 5)*(w + -14) a composite number?
False
Suppose 0 = 3*w - 14 - 22. Suppose 0 = z + 4*n + 10, -z + 2*n + 8 + w = 0. Is z composite?
True
Let f = -99 - -168. Let b = f + -38. Is b prime?
True
Let i = 9 + -6. Suppose -i*a = -6*a + 3. Is (1 - -2) + (1 - a) prime?
True
Is 257 + ((-12)/(-3) - 2) composite?
True
Let l be 1 - (1 + 1 - 5). Let z(n) = -n - 3. Let v be z(0). Is 6/l*(-20)/v a composite number?
True
Suppose -4*r = -r - 3. Let j(y) = 76*y + 1. Is j(r) composite?
True
Suppose 2 = -5*b - 3. Is (-1 - -185) + 2 + b prime?
False
Let o(i) = i**3 + 11*i**2 + 14*i + 10. Let q be ((-6)/4)/(2/12). Is o(q) a composite number?
True
Let b be (-20 + (-4)/4)*-3. Let n = 330 + b. Is n prime?
False
Suppose 9*v + 149 = 590. Is v a composite number?
True
Is ((-232)/(-2))/(5/((-35)/(-14))) composite?
True
Suppose -2*h = -3*h + 6. Let j be (45/(-6))/(-5)*h. Suppose j + 12 = l. Is l composite?
True
Suppose w + 3*q + 250 = 0, w + w = 3*q - 545. Let v = 486 + w. Is v a composite number?
True
Suppose -2*x = -5 + 1. Suppose -p - 425 = -x*p. Suppose -3*c - 2*c + p = 0. Is c a composite number?
True
Let p = -181 - -510. Is p composite?
True
Suppose -2036 = -13*k + 9*k. Is k composite?
False
Let z(v) = -v**3 + 8*v**2 + 4*v - 6. Is z(7) prime?
True
Suppose 5*x - 9*x + 20 = 0. Is 37 - (3 - (-2 + x)) composite?
False
Suppose -5*c = -5*l - 20, 2*c + 5*l + 1 = -5. Let p(s) = 58*s - 1. Is p(c) a prime number?
False
Let i = -8 + 17. Let b(f) = 22*f - 31. Let l(z) = -15*z + 21. Let r(s) = -5*b(s) - 8*l(s). Is r(i) composite?
True
Suppose 2*x - 751 - 603 = 0. Is x a composite number?
False
Suppose 4*q - 699 = 665. Is q composite?
True
Let l(n) = -25*n**3 - 3*n**2 + n - 4. Is l(-3) composite?
False
Let o(s) = s - 4. Let v(d) = -1. Let y(b) = -o(b) - 3*v(b). Let p be y(5). Suppose p*g - 45 = -3*g. Is g a composite number?
True
Let d be 158/(-4) - 6/(-12). Let g = d + 172. Let w = g + -80. Is w a prime number?
True
Let n = -70 + 136. Let f = n + -32. Is f a composite number?
True
Let o(w) = -w + 5. Suppose -8*y + 3*y + 35 = 0. Let x be o(y). Is x - (-3)/3 - -36 prime?
False
Let o(x) = -3*x**2 - x. Let v(a) = 6*a**2 + 3*a + 1. Let h(t) = -7*o(t) - 3*v(t). Is h(4) a composite number?
False
Let u(q) be the second derivative of q**4/12 + 5*q**3/6 - 5*q**2/2 - 2*q. Let o be u(-6). Is (2 + 34)/o - -2 prime?
False
Let b(c) = -c**3 + 14*c**2 - 12*c - 11. Let s be b(13). Suppose -104 = -s*y + 118. Is y prime?
False
Suppose 3 = 5*j - 22. Suppose -q = -228 - 264. Suppose 83 + q = j*s. Is s composite?
True
Let i = 33 + 52. Is i prime?
False
Let g be (-1)/5 + 52/10. Suppose g*a = 182 + 83. Is a composite?
False
Suppose 4 + 11 = 3*k. Suppose l - 1 + 23 = -k*g, -4*l + 2*g + 22 = 0. Suppose 7*z - 236 = l*z. Is z composite?
False
Suppose 2*q = -5*j + 105, 5*q = 4*j + q - 84. Suppose 0 = -5*u, r + 9 = 2*u - 1. Let l = j + r. Is l a prime number?
True
Suppose 3*r - 370 = -2*p, -p + 2*r = 4*p - 925. Is p composite?
True
Let u(o) be the second derivative of 2*o**4 + o**2/2 - o. Is u(-1) composite?
True
Let b be (0 - -1)*(554 + 7). Suppose -6*y + 2*y + 440 = v, -5*y - 4*v + b = 0. Is y composite?
False
Is -1 - (-4 - -7 - (1168 - -3)) prime?
False
Suppose 5*y - 1645 = v, -3*y - 3*v + 1073 = 86. Is y a prime number?
False
Suppose 6 = -p + 2*u, 16 = 4*p - 0*p + 2*u. Suppose p*o - 55 = -3*o. Let q = 22 - o. Is q a prime number?
True
Suppose 2250 = -5*t + 4*h - 161, 0 = -5*t - 4*h - 2419. Is (-6)/9 + t/(-9) a composite number?
False
Suppose d = 5*d. Let w(v) = -v**2 - v + 185. Is w(d) prime?
False
Let p = 235 + -606. Let m = p - -565. Is m prime?
False
Suppose 0*a - a = -5*g - 294, 2*a - 603 = -5*g. Is a composite?
True
Suppose -w - 12 = -4*w. Suppose 2*v + 1 + 37 = 3*x, -3*x + w*v = -46. Suppose -4*b = -m - x - 3, 4*m = -2*b - 16. Is b prime?
True
Suppose 13*m = 1141 + 7348. Is m prime?
True
Suppose m + 3*t = 10, -t - 5 = -2*m - 4*t. Let g = -45 - -75. Is 254/12 + m/g a composite number?
True
Let f be ((-2)/(-4))/((-4)/(-40)). Suppose 3*o - 61 = 4*u, 2*u - 3 = -f. Is o a prime number?
True
Let q(t) = -38*t - 11. Is q(-4) a composite number?
True
Let a(p) be the first derivative of -19*p**2/2 - 4*p + 4. Is a(-7) a prime number?
False
Let r = -292 - -424. Suppose 4*k = k + r. Let h = 66 - k. Is h prime?
False
Let k(f) = f + 13. Let d be k(-10). Let i = 7 - d. Supp