et z = b - f. Is z prime?
False
Suppose -88 + 6 = -2*m - 2*a, -2*m + 4*a = -58. Suppose -2*p - t = 2*t + 32, 8 = 2*t. Let v = m + p. Is v a prime number?
False
Let f(c) = 21*c**2 - c - 3. Let w be 4/(-6) - 7/3. Let x be f(w). Let i = x + -80. Is i composite?
False
Suppose 0 = 3*i - 225 - 411. Let x be 4/(2*(-1)/(-2)). Suppose v - 5*v = -x*a - i, -v - a = -61. Is v composite?
True
Let s(t) = 37*t**2 + 5*t - 4. Let m be s(3). Let n = m + -199. Is n composite?
True
Suppose 0 = 5*y - 56 - 4. Is (8/y)/((-2)/(-138)) prime?
False
Suppose -12 = -4*c - 0*c. Suppose 0 = -c*q + 66 + 12. Is (3/2)/1*q prime?
False
Suppose r + 3*r = -5*d + 3231, -5*r = -5*d + 3240. Is d composite?
False
Let g be (-12)/9 + (-4)/6. Let q = 1 - g. Suppose -18 = q*c - 60. Is c composite?
True
Suppose -3*f - 2*b + 65 = 0, 2*f - 3*b + 69 = 5*f. Is f prime?
True
Let d(a) = -258*a + 7. Let h(j) = -259*j + 6. Let s(o) = 5*d(o) - 6*h(o). Is s(1) prime?
True
Let v = -928 - -1779. Is v a prime number?
False
Suppose -2*z = 2*k, 3*k + 2*k + 27 = 4*z. Suppose u + 118 = z*u. Suppose -6*o + u = -5*o. Is o composite?
False
Suppose 5*a - 2*a + 2*c = 357, 0 = -4*c - 12. Is a a composite number?
True
Let q be -30*(3 + (-8)/4). Let b = 64 + q. Is b a prime number?
False
Let i(o) = 2*o**3 - 4*o**2 + 3*o - 2. Let w be i(2). Suppose 41 + 11 = w*k. Is k a composite number?
False
Let a(v) = -6*v + 2 + 5*v - 2*v. Let i be a(4). Is -1*i/4*22 a prime number?
False
Let j be (-644)/(-6) + 6/9. Suppose 5*n - j = 7. Is n a composite number?
False
Is 225/2 + (-48)/32 a prime number?
False
Let o = 5456 + -2953. Is o a prime number?
True
Is (-3 - (-2484)/10)*5 a composite number?
True
Suppose 0*a + 1105 = 5*j - 5*a, 0 = 4*j + 3*a - 856. Is j composite?
True
Suppose -7 = 3*c - 1. Let n(h) = 25*h**2 + 3*h + 3. Is n(c) prime?
True
Let y be -6 + 6/(-3 - -6). Is (262*-2)/y - 0 composite?
False
Let g(h) = 5*h + 5. Let q be g(-4). Let m = q - -42. Suppose -j = -4*x - m, 4*j - x = j + 59. Is j composite?
False
Suppose 0 = 3*o - 422 - 499. Is o a prime number?
True
Let i(f) = 2*f**2 + 8*f - 7. Is i(8) composite?
True
Let z(l) = 11*l**2 - 5*l + 3. Let q(f) = 3*f - 10. Let h be q(4). Is z(h) a prime number?
True
Suppose -u = -5*d - 6 - 7, -d - 1 = 0. Suppose -u*o = -3*o - 180. Is 8/o - (-2127)/27 a prime number?
True
Let a = -12 + 26. Let j be 3*(8/12 + -2). Is 654/a + j/(-14) composite?
False
Let h(c) = 38*c + 11. Is h(10) prime?
False
Let j(t) = 7*t**2 + t + 1. Is j(2) prime?
True
Let o be 2/((-1)/(-1 + -317)). Suppose -4*s + 0*s = -o. Is s a prime number?
False
Suppose 2*d = -3*i + 7, -2*d = -i - 2 - 1. Suppose -2*l = 2*j + 292, d*l + 21 = 2*j - 275. Let m = -78 - l. Is m a composite number?
True
Let n(t) = 92*t**2 + 1. Is n(1) composite?
True
Suppose 5*h = 30 - 5, 5*z - 530 = -h. Suppose -4*r + 27 = -z. Is r a prime number?
False
Suppose 0 = 9*x - 6*x - 597. Is x prime?
True
Is 2290/14 + 12/(-21) composite?
False
Suppose 3*r + 12 - 54 = 0. Is r a composite number?
True
Let u = 337 - 0. Is u composite?
False
Suppose -2*g = -4*g + 2. Let a be (-2 + 0)/g - -1. Is 87/6 + a/2 a prime number?
False
Suppose 75 = d - 5*c, 4*d + 0*c = -2*c + 344. Is d composite?
True
Suppose 0 = 5*t + 4*l + 108, -5*t + l = -l + 126. Let a = -14 - t. Is a a composite number?
True
Suppose 7*g - 2*g - i - 37 = 0, i = 2*g - 16. Let u(w) = -w**3 + 8*w**2 - w - 7. Is u(g) a composite number?
True
Let d = -576 + 342. Let k = d - -503. Is k prime?
True
Suppose 3*s = 3*k - 4*k + 757, 5*k - 5*s = 3745. Is k a composite number?
False
Suppose 0 - 5 = -j. Let u(n) be the first derivative of -n**4/4 + 8*n**3/3 - 7*n**2/2 - 2*n - 3. Is u(j) composite?
True
Is 4/10 + 1266/10 prime?
True
Let c = -8 + 11. Suppose 2*n - 17 = -c. Let w = 26 - n. Is w composite?
False
Let l(r) = -27*r - 4. Let h(w) = w. Let o(y) = 3*h(y) - l(y). Is o(3) a composite number?
True
Let s(a) = -a**2 + 7*a - 2. Let d be s(6). Suppose d*l + 629 = 5*o - 0, -5*l = -20. Suppose -3*p + 0*p = -o. Is p a prime number?
True
Suppose 2*p - 813 = -5*j, -4*j - 1727 - 223 = -5*p. Suppose 114 = 4*c - p. Is c a prime number?
True
Let y(z) = 3*z**2 + 22. Is y(-9) composite?
True
Let z(m) be the second derivative of 2*m**5/5 + m**4/6 - m**2/2 + m. Let f be z(1). Let b = f + -5. Is b prime?
False
Let x(v) = -5*v - 1. Let j = -2 + -38. Let g be (-6)/(-5)*j/6. Is x(g) prime?
False
Let j = -11 + 448. Let q = 648 - j. Is q a prime number?
True
Suppose 2*f + 106 = -5*r, -r = 3*r + 3*f + 89. Is (116/2)/((-8)/r) prime?
False
Let k = 627 - 184. Is k prime?
True
Let b(m) = m + 8. Let t be b(0). Let f(l) = l**2 - l - 10. Is f(t) prime?
False
Let l(c) = c**3 + 10*c**2 - 12*c - 8. Let h be l(-10). Suppose -6 = 2*s - h. Is s prime?
True
Let p = 836 + -483. Is p a prime number?
True
Let k be 23*-2*33/(-2). Suppose -k = -3*x - 0*x. Is x prime?
False
Suppose -a + 1280 = -0*l + 4*l, -5*a = -3*l + 937. Is l prime?
False
Is 3/(-4) + 1817/92 a composite number?
False
Suppose d + 4*d + 4*w + 202 = 0, -91 = 2*d + 5*w. Let k = -224 + 327. Let v = d + k. Is v a composite number?
True
Let l(h) = 3*h**2 + 3*h + 17. Is l(-5) composite?
True
Let d = 548 + 419. Is d composite?
False
Let x(j) = 3*j + 6*j**2 - 3*j**2 + 2 - 28*j**3 + 0. Let s be x(-2). Let f = s - 113. Is f prime?
False
Let s be ((-2)/(-3))/(-1)*-3. Suppose -5*b = -s*b - 462. Let u = 219 - b. Is u a composite number?
True
Suppose 0*s + 6 = 3*s. Suppose 2*k = -s*w + 2, -2*k + 3*w + 7 = -0*w. Is ((-5)/(-10))/(k/268) a prime number?
True
Suppose 2*r - 713 = 105. Is r a prime number?
True
Let s be 96/15 + 2/(-5). Let u(n) = -n**3 + 7*n**2 - n - 7. Is u(s) composite?
False
Let w(d) = -5*d**3 - 2*d**2 - 3*d - 3. Is w(-2) prime?
False
Let u be ((0/3)/3)/2. Suppose -202 = -5*q - 4*y, -4*q + 143 = -5*y + 2*y. Suppose -q = -2*i - u*i. Is i a prime number?
True
Let i(j) = 1. Let n(u) = -7*u - 3. Let p(o) = 5*i(o) + n(o). Is p(-3) a prime number?
True
Let z = 452 - -29. Is z prime?
False
Suppose -2*x + x = -2. Suppose q + x*j = 404, 2*j = -2*j - 12. Suppose -3*o - 2*o = 5*h - q, 3*h - 9 = 0. Is o a composite number?
False
Let b(w) = w**2 - 13*w. Let m be b(9). Let a = 19 + -36. Let j = a - m. Is j a prime number?
True
Is (0 + -1)/(4/(-628)) prime?
True
Let f(c) = -39*c**3 + 3*c**2 + 2*c - 3. Is f(-2) a prime number?
True
Let r(d) = 3*d - 6. Suppose 4*w - 7 - 31 = 2*f, -5*f - 110 = 5*w. Let l = -14 - f. Is r(l) a composite number?
True
Let b(z) = z + 6. Let n be b(-7). Let w = 1 - n. Let r = 8 + w. Is r composite?
True
Suppose -5*k + 11 = -y, -y + 2 = 3*y + 3*k. Let r(u) = 91*u**2. Is r(y) prime?
False
Let t(j) = -j**2 - j + 18. Let m be t(0). Let y = -11 + m. Is y a composite number?
False
Suppose 0 = -x - w + 7, -3*x - 2 = -w - 15. Suppose -x*m + 0*m = -20. Suppose 4*i + r + m - 60 = 0, -4*i = -2*r - 56. Is i composite?
True
Suppose -11516 = -3*o - o + 5*v, -3*o + 2*v + 8637 = 0. Is o prime?
True
Let s(f) = -3*f - 7. Let h be s(8). Is (3 - h)*1 - -3 prime?
True
Suppose -5*p - l = 2*l + 12, 2*p + 3*l = -12. Suppose -5*w + 18 + 17 = p. Is w a prime number?
True
Suppose 7*h - 20 = 3*h. Suppose 3*o = 12, h*r + 2*o + 82 = 575. Is r a prime number?
True
Let q be ((0 + 2)/(-2))/(5/(-420)). Suppose -1 = -v - 2*z, 4*v = 4*z - 0*z + 16. Suppose v*n - q = 9. Is n a prime number?
True
Suppose 14 + 1 = 5*u. Let z(v) = 49*v**2 + 3*v - 7. Is z(u) prime?
True
Let x(p) = p**3 - 4. Let f be x(0). Let b(m) = -3*m - 3. Let j be b(f). Is ((-15)/j)/(3/(-63)) composite?
True
Let z be (16/(-12))/((-4)/(-6)). Let c be 85*7 - 2 - z. Suppose -5*k = w - 206, -345 - c = -5*w + 5*k. Is w a prime number?
True
Let y(p) = 201*p**3 - 5*p**2 + p + 3. Let v be y(3). Is v/60 - 4/5 composite?
False
Let m be (-94)/(-18) - (-2)/(-9). Let p be 2970/m - (0 - 1). Suppose -7*r + p = -2*r. Is r composite?
True
Let m(r) = -2*r**3 - r**2 + 3*r - 1. Suppose -3 = 4*s + 17. Is m(s) prime?
False
Let a(b) = 70*b + 1. Let r be a(3). Let h = r - 132. Suppose h = 3*d - 32. Is d a prime number?
True
Let h = -106 + 76. Is 2/12 - 8125/h composite?
False
Suppose -4*j + t - 28 = 0, 0 = -3*j + t - 5 - 17. Is (-506)/(-6) + (-4)/j prime?
False
Suppose 5*u - 18 = -3. Suppose -27 = -u*b + 3*q + 138, -5*b + 281 = -3*q. Is b a prime number?
False
Let d(f) = -f + 1. Let p(k) = -k**2 + 6*k - 8. Let y(t) = -2*d(t) - p(t). Is y(5) a prime numb