se 2*n = o + u, -o + 5 - 15 = -3*n. Is n prime?
False
Let b = -438 + 649. Is b prime?
True
Is (-6258)/(-28) - 1/2 a composite number?
False
Let r be 1 + 54 - 1 - 0. Is 1*(1 + -2) + r composite?
False
Suppose -3*o = 2*a - a - 120, 505 = 5*a - 4*o. Suppose 3*v = 1 + 11. Suppose s = v*s - a. Is s composite?
True
Let a be (-3 + 1 - 10)/1. Let t be ((-413)/(-4))/((-3)/a). Suppose -4*o + 2*i = -t + 87, 5*i = -o + 98. Is o prime?
True
Let d(a) = 41*a - 13. Is d(10) a prime number?
True
Let u = -354 - -656. Suppose -4*c - 451 = -3*g, g = -g + 4*c + u. Is g a composite number?
False
Let j(r) = 4*r**3 - 4*r - 2. Let w(g) = 23*g**3 - 23*g - 11. Let n(o) = -34*j(o) + 6*w(o). Is n(2) composite?
True
Let u be ((-2)/4)/((-3)/30). Suppose u*t + j - 171 = 3*j, -4*j = 3*t - 87. Let p = 52 - t. Is p prime?
True
Let w = -8 + 2. Let i = 4 + w. Is -2 - (-2*7 - i) a composite number?
True
Let n(v) = -18*v + 5. Let c(w) be the first derivative of w**2 + 10*w + 1. Let q be c(-9). Is n(q) a composite number?
False
Let h(c) = 4*c**2 + 5*c - 5. Let p be 0*(-3)/6 + 4. Is h(p) a prime number?
True
Let a(c) = -2*c**2 + 8*c - 3. Let f(t) = t**2 - t - 1. Let r(z) = -a(z) - 3*f(z). Let k be r(-5). Let u = k - -9. Is u a prime number?
False
Let t = 46 - 80. Let u = 57 + t. Is u a composite number?
False
Let o(r) = 63*r**2 + 3*r + 7. Is o(-7) a composite number?
True
Let s = -4 - -2. Let q(z) = 5*z**2 + 1. Is q(s) a prime number?
False
Let k be (40/28)/(1/7). Let x = k - -11. Is x prime?
False
Let a(h) = -h**3 - 7*h**2 - 5*h + 8. Let q be a(-6). Suppose -q*r = -348 - 314. Is r a prime number?
True
Let u be 560/(-72) + (-4)/18. Is (-4)/(u/46) - 2 a prime number?
False
Let x be (1/2)/((-2)/(-20)). Suppose x*f + 2*d - 1670 = -233, -5*f + d = -1434. Is f prime?
False
Let l = -22 + 10. Let m be (114/(-4))/(9/l). Let h = m + -25. Is h a prime number?
True
Let t(h) = 3*h + 1. Let x be t(-1). Let j = x + 5. Suppose 2*n = r + 5*n - 314, -643 = -2*r - j*n. Is r composite?
True
Suppose 9409 = 7*v + 918. Is v a composite number?
False
Let n(h) = -h**3 + 8*h**2 - 7*h + 2. Let t be 7 - (3 + 0) - -3. Let m be n(t). Is ((-2)/(-4)*52)/m composite?
False
Suppose -3*t = 2*t - 25. Suppose -8*k + t*k = -117. Is k composite?
True
Let h(r) = 3*r + 3 - 2 + 55*r. Is h(1) a composite number?
False
Let c(r) = -r - 1. Let t be c(-4). Let f be (2 - t) + 1*184. Suppose 0 = -5*j - 2*n + f, -j - 2*n = 3*j - 148. Is j a prime number?
False
Let z = 8 - 8. Is ((-1)/(-3) + z)*345 composite?
True
Let m(u) be the third derivative of u**4/24 - u**3/6 + 4*u**2. Let l be m(5). Suppose l*k - 711 = 325. Is k prime?
False
Let s = -9 - -34. Suppose -2*f = 3*f - s. Let a(p) = 2*p**2 - 7*p - 1. Is a(f) a composite number?
True
Let o = 38 + -16. Suppose 0 - o = -2*n. Is n a prime number?
True
Suppose -3*a + 47 = -259. Let p be 1/3 + 6532/6. Suppose a = n + 4*f - 111, 5*n - p = 4*f. Is n a composite number?
True
Let u = -3 + 8. Suppose -1363 = -4*q + w, q + 2*q - u*w = 1035. Suppose -5*k + q = -295. Is k a prime number?
True
Let b(h) = h**2 + 5*h + 4. Suppose -4*l = -2*z - 32, 10 = -3*z - l - 3. Is b(z) a composite number?
True
Suppose -2*t = -4*t + 2, 5*m - 3*t - 842 = 0. Suppose 0 = -2*k + k + m. Is k a composite number?
True
Let b = -258 + 481. Is b a composite number?
False
Let q be 3*-1 - (-5 + 3). Let i(a) = -8*a**2 + 10*a + 9. Let z(v) = v + 1. Let w(x) = q*i(x) + 6*z(x). Is w(4) a prime number?
True
Let z(f) = -f**3 - 8*f**2 + 10*f + 9. Let y be z(-9). Suppose -3*v = -y*v - 3. Is v/4 + (-123)/(-4) prime?
True
Let v be ((-1)/3)/(3/(-27)). Is -53*(v - (5 - 1)) composite?
False
Let x be -159 - (0 + 1) - 3. Let c = x + 240. Is c prime?
False
Let d(x) = x**2 - 9*x + 7. Let j be d(6). Let c = j - -62. Is c prime?
False
Let h = -35 - -66. Is h a prime number?
True
Let q be 1 - ((-2)/1 - -4). Let p be q*(3 - 2)*0. Suppose 0 = -p*o + o - 65. Is o a composite number?
True
Let z be 1/(-3) - 5/(-15). Suppose z = 5*o - 325 - 790. Is o a composite number?
False
Let t(d) = -144*d - 1. Is t(-2) a prime number?
False
Suppose -16943 = -20*q + 1637. Is q a composite number?
False
Suppose 2*w - 6 = 4*z, -4 = 2*w + z - 3*z. Let d(r) = r + 1. Let x be d(w). Is 8/12 - 350/x a composite number?
False
Suppose 3*t + 10 = 4*t. Let a = 15 - t. Suppose 29 = a*d - 66. Is d prime?
True
Suppose t - 19 = -1. Suppose c + t = 65. Let m = 68 - c. Is m prime?
False
Suppose -5*p + 10*p = 65. Suppose -2*t - 3 = 2*c - p, 0 = 4*c - 8. Suppose -15 = -t*k + 2*k. Is k composite?
True
Let c be (-2)/3 + 514/(-3). Suppose 0 = w + 2*t - 4, -3*w + w - 5*t = -5. Is (c/6)/(w/(-15)) composite?
False
Let i(z) = z - 2. Let o be i(4). Suppose 0 = 3*f + o*w + 2*w - 696, 4*f - 956 = 4*w. Suppose 3*q + q = f. Is q a composite number?
False
Let z = 11 - 7. Let w(o) = -4*o**2 - 7*o - 6. Let h(k) = -4*k**2 - 8*k - 7. Let u(p) = z*h(p) - 5*w(p). Is u(3) a prime number?
True
Let h = 1 - 0. Let r = -9 + h. Is ((-55)/(-4))/((-2)/r) prime?
False
Suppose -7*x + 3*x + 5 = 5*z, -z - 3*x - 10 = 0. Suppose z*l - 50 = -5*w, l - 4*l = 5*w - 50. Is w prime?
False
Suppose -o - 24 = -106. Is o a composite number?
True
Let n = -672 + 1049. Is n prime?
False
Suppose 3*f + 99 = 450. Suppose 14 = -r - 2*w, 0 = r + 3*r + 5*w + 50. Let i = f - r. Is i a composite number?
False
Suppose 3997 = 5*l + 2*l. Is l composite?
False
Suppose 0 = -f - 104 + 579. Suppose -3*c = -512 - f. Suppose -3*a + c = -2*y - 536, y = 3*a - 863. Is a a composite number?
True
Suppose 5*s - 3*c = 958, 3*c = -4*s + 737 + 24. Is s a composite number?
False
Is (-12)/42 + 373/7 a composite number?
False
Suppose 14*s = 11*s + 7377. Is s a composite number?
False
Suppose -2*p = -5*p - 5*s + 2671, s = 2. Is p a composite number?
False
Suppose 5*s = s. Suppose s = 7*p - 3*p - 212. Is p composite?
False
Let b(g) = -4*g + 3. Suppose 8 = -3*p - 4. Is b(p) a composite number?
False
Let m be 1/((6/(-45))/(-2)). Let y = 26 - m. Is y composite?
False
Suppose 0 = 3*u - 4*h - 1423, -u = -6*u + 5*h + 2365. Is u a composite number?
True
Let z be (10/(-1*2))/(-1). Suppose -5*r - z*a + 308 = 53, r - 35 = -5*a. Is r composite?
True
Is 105612/42 - 9/(-21) a prime number?
False
Let m(i) be the first derivative of -i**3/3 - 7*i**2/2 - i + 1. Let r be (-2)/(-7) + 111/(-21). Is m(r) a composite number?
True
Let j(a) = a**2 + 19*a - 13. Let o be j(-11). Let t = 160 + o. Is t prime?
True
Suppose -1809 - 1909 = -5*b + z, 5*b - 3706 = -3*z. Is b composite?
False
Let i(k) = -2664*k + 21. Is i(-2) prime?
False
Let f(n) = -n + 161. Let l(o) = o + 9. Let i be l(-7). Suppose -2*d + 4*p + 2 = 3*p, 5*d + p + i = 0. Is f(d) a prime number?
False
Let u(z) = -14*z**3 - 4*z**2 - 5*z - 4. Suppose 3*o = -4 - 5. Is u(o) prime?
True
Suppose 3*q - 414 = -3*j, -5*j = -3*q - 3*j + 419. Is q a composite number?
False
Suppose -2*c + 1 = -c. Suppose -2*m + 488 = 4*s, -2*m + 229 = -m + 5*s. Suppose 0 = -3*g + c + m. Is g prime?
False
Let h(c) = -2*c - 10. Suppose 0*y - 4*r - 52 = 3*y, -56 = 5*y - r. Is h(y) a composite number?
True
Is (5 - 182)*(-1)/1 prime?
False
Suppose 22*q - 1564 = 18*q. Is q a prime number?
False
Let z(w) = 5*w**3 - w**2 - 4*w + 7. Is z(4) a composite number?
True
Suppose 2*m - 34 = 24. Let t be 2/5 - 48/(-5). Suppose r + r - t = o, 0 = 3*r + 2*o - m. Is r a prime number?
True
Let s(k) = 9*k**2 + 6 + 3*k**2 + 2 - 2*k - 7. Suppose 3*l = 6*l + 6. Is s(l) composite?
False
Suppose -5*q = -27 - 3. Let r be (6/(-3) + q)*-1. Is (524 - -2)*(-2)/r a composite number?
False
Let w = 9 + 33. Let m = 75 - w. Is m prime?
False
Suppose 3*m = 3*a - 3, -3 = -a + 4*m + 1. Suppose 4*r - 621 + 145 = a. Is r composite?
True
Is (-2)/(-10) - ((-1884)/5 - 2) prime?
True
Suppose 2*n - 1 = 13. Suppose -104 = -3*m + n. Is m composite?
False
Let z(a) = a**3 + 7*a**2 + 7*a. Let k be z(-6). Is (k - -2) + (173 - 6) a prime number?
True
Suppose 0 = -4*z - 56 - 156. Let r be z/((-3)/3)*2. Let f = 173 - r. Is f composite?
False
Let b(s) = 32*s - 7. Let v(k) = -64*k + 13. Let m(y) = -11*b(y) - 6*v(y). Is m(7) a prime number?
True
Let h(t) = 7 + 6 - 6 + 4*t. Let g = -3 - -11. Is h(g) a composite number?
True
Let h(w) = w**3 + 16*w**2 + 5*w - 9. Suppose -3*t - 5 = 4*l, 2*t + 2*l = -3*t - 27. Is h(t) prime?
True
Is 8/76 - 29463/(-57) prime?
False
Is (1272 - -1) + -1 + (3 - -2) a prime num