Let b = -336 - -236. Let s = b - -187. Is s prime?
False
Is 4630/18 + 6/(-27) a prime number?
True
Let v = 1 + 1. Suppose 16 = v*b + 2*b. Suppose -5*h + 219 - 32 = 2*n, 4*h - 144 = b*n. Is h a prime number?
True
Let v = -20 - -28. Let h = -5 + v. Is h*258/9 + 3 a composite number?
False
Let g(o) = o**2 - 9*o - 5. Let l be g(-6). Let v be 3/(-9) - (-358)/(-6). Let t = l + v. Is t composite?
True
Suppose 0*p = -p - s - 63, 3*s = 0. Let l(g) = g**3 + 10*g**2 + 2*g + 14. Let t be l(-6). Let n = p + t. Is n prime?
True
Suppose i = -9 - 18. Let h = 64 + i. Is h a prime number?
True
Let y(o) = -2*o - 12. Let d be y(-9). Let c = 8 - d. Suppose -c*u - 13 = -3*u. Is u prime?
True
Suppose -5*c + 14841 = 4*c. Is c prime?
False
Is 6*5/90*3363 prime?
False
Suppose -358 + 28 = -3*n. Suppose 4*t = 5*a + 412, t + 4*a - n = 7*a. Suppose 0 = 2*q - t + 24. Is q a prime number?
True
Suppose -6 = -2*k + 2. Suppose 553 = -5*b + k*d, -d = 3*d + 12. Is -2 - 1*-2 - b composite?
False
Suppose 0 = -3*r + 4*z + 4915, -2*r + z + 3*z + 3282 = 0. Is r prime?
False
Let i(r) be the first derivative of -77/2*r**2 + 0*r - 2. Is i(-1) a prime number?
False
Suppose -2*v + 9 = -99. Let c = 15 + v. Is c prime?
False
Let p = -8 + -18. Suppose 3*i = 11*i - 632. Let j = i + p. Is j prime?
True
Suppose 3*r - 36 = 42. Let t(x) = -2*x**2 + 3. Let c be t(3). Let h = r + c. Is h a composite number?
False
Let q(w) = -25*w**3 - 2*w**2 - 2*w - 1. Let g be q(-1). Suppose -205 = -t - g. Is t composite?
False
Let z be (2 + -1)/(7/91). Let c = 6 + z. Is c a prime number?
True
Let c(g) = 23*g**2 + g - 1. Let z(k) = k**2 - 10*k + 1. Let p be z(10). Let v = p + 0. Is c(v) a prime number?
True
Suppose -x - 3*p - p + 397 = 0, 2073 = 5*x - 2*p. Is x composite?
True
Suppose 4*t + 35 = -3*i, 0 = -5*t + 3*i - 10. Is 3 - (-5)/(t/(-64)) a composite number?
False
Suppose 36 = -t - 2*l - 10, 4*t + 136 = 4*l. Let j = 30 - t. Suppose -3*m - 26 = -j. Is m a composite number?
True
Let q(o) = -9 + 5*o - 2*o + 2*o**2 - o - o. Is q(-4) composite?
False
Let w = -5 + 2. Let r = -5 - w. Is (-3)/((-9)/345) + r a prime number?
True
Let b be 3/6 - 6/4. Is (0 - b)*130 - 3 prime?
True
Let u(s) be the third derivative of s**5/20 + s**4/24 - s**2. Let j be u(1). Suppose 0 = -4*w + 3*n + 145, -2 = -j*n + 2. Is w prime?
True
Let y(o) = -9*o - 1. Let v(i) = i**2 + 12*i + 21. Let k be v(-9). Is y(k) composite?
False
Is (76/8)/(0 + 2/52) prime?
False
Suppose 5*g + 2*l - 7*l - 940 = 0, -g + 197 = 2*l. Is g composite?
False
Suppose -3*v + 6*v = -234. Let a be (0 + (-2)/6)*v. Suppose 2*o - a = o. Is o a composite number?
True
Let p be 3/12 - 3/12. Suppose p*r + 6 = 3*r. Suppose 0*l + r*l = -4*f + 258, 2*f = 2*l - 228. Is l prime?
False
Let i be 2/6 - (-570)/(-9). Let x = i - 29. Let n = x - -159. Is n prime?
True
Suppose -3*n + 8 = -13. Let t(a) = -4*a**2 + a - a**3 + a**2 + a - n. Is t(-6) prime?
True
Suppose 4*b = 5*q - 4523, 3*b - 1096 = -5*q - 4497. Let f = 1917 - 2718. Let g = f - b. Is g composite?
False
Let s = 1305 - 898. Is s a composite number?
True
Let z = 803 - -314. Is z a composite number?
False
Let c(y) = 11 - 6 + 5 - y. Let k be c(7). Suppose 2*b = -k*r + 169, -4*b = -2*b + 4*r - 166. Is b prime?
True
Let i(d) = d**2 - 6*d + 5. Let m = -7 - -11. Let n be i(m). Is (-246)/(-8) - n/12 composite?
False
Let m be (6846/2*-1)/1. Let g = m + 2282. Is (-8)/(-36) + g/(-9) composite?
False
Is 86/3*198/12 a composite number?
True
Let f(c) = -c + 7. Let k be f(4). Let d be (4/6)/(2/9). Suppose d*s + k*t - 451 = s, 4*s = 2*t + 942. Is s composite?
False
Suppose -5*n = 5*j - 3020, -135 = -4*n + 4*j + 2281. Suppose -t = 3*t - n. Let k = 248 - t. Is k composite?
False
Let f = 23083 - 12870. Is f a prime number?
False
Suppose 6*u - 2*u = 1524. Suppose w - 4*w = -u. Is w composite?
False
Let b(f) = -2*f + 0*f**2 - 9*f**2 - 8 - 3*f - f**3. Let h(i) = i - 6. Let k be h(-3). Is b(k) composite?
False
Let b = -43 - -10. Let z = -65 - b. Is (z/(-6) - 1)*9 prime?
False
Suppose 10 + 16 = 4*m - 3*l, m + l = 3. Is ((-178)/m)/(4/(-10)) composite?
False
Is (15/18 - (-3)/(-9))*1594 composite?
False
Suppose 4*r + 52 = t, -r - 17 - 15 = -5*t. Let m be (-3)/r - (-1)/(-4). Suppose 3*u + m*j = -2*j + 245, 4*j - 16 = 0. Is u a prime number?
True
Let z(q) = q**2 - 3*q - 5. Is z(-11) a prime number?
True
Let v(w) = 1213*w - 7. Let h(p) = 1212*p - 6. Let a(r) = -6*h(r) + 5*v(r). Let u be a(-1). Suppose i - 290 = 5*x, 7*x - 3*x + u = 4*i. Is i a composite number?
True
Suppose 4855 = 5*n + 5*v, 5*v = -4*n + 3*v + 3876. Is n composite?
False
Suppose -2*p = n - 4*p + 14, 0 = 5*p - 15. Let c = n - -7. Is (5 + -164)*c/3 a composite number?
False
Let w(v) = -3*v + 831. Is w(0) a prime number?
False
Is (344 + -15)*(2 + -1) prime?
False
Let a(r) = 2*r**2 - 7*r + 5. Let p be a(5). Suppose -3*h = -8*h - p. Is (h/6)/((-2)/69) a prime number?
True
Suppose -x - 2*x = 0. Suppose -3*a + 2*a + 47 = x. Is a composite?
False
Let m be ((-2)/(-4))/((-1)/(-62)). Suppose 4*y + 3 - 1 = 2*b, -3*y + m = 5*b. Suppose 3*w - 385 = -i, -651 = -b*w + 7*i - 4*i. Is w prime?
False
Let s be -6 + 5 - -5*1. Suppose a = -s*b + 864, 0 = -2*b - 5*a + 549 - 135. Is b prime?
False
Let m be 2/((3/4)/3). Is (-509)/(-3) - m/12 a composite number?
True
Suppose h = -0*h + 30. Suppose -l + h = -28. Is l a composite number?
True
Suppose 5*b - 4832 = s, -s = -0 - 3. Is b composite?
False
Let c = 39 + -18. Suppose -i - 9 = -4*i. Suppose j - i*j + c = -3*k, 4*k = 3*j - 29. Is j a composite number?
False
Let y(c) = -45*c - 1. Is y(-4) a composite number?
False
Let v = 25 + -9. Suppose -3*z - 35 = -m, -2*m = 5*z + 29 + 11. Let p = z + v. Is p prime?
False
Let r = 7 - 9. Let i be (-362)/(-6) - r/3. Suppose 205 = 4*k + 4*g + i, 15 = 3*g. Is k a prime number?
True
Let h(c) = -14*c + 9. Is h(-16) a prime number?
True
Let z(k) = 1455 + 0*k**2 - 2*k + 3*k + k**2. Let q be z(0). Is q/21 - (-2)/(-7) a prime number?
False
Suppose -x = 2*x. Suppose x*q + 5*z - 1170 = -5*q, -q - 5*z = -230. Is q composite?
True
Suppose 2*p - 279 = -3*u, -p = u - 32 - 62. Suppose 266 = 5*j + u. Is j a composite number?
True
Let k(g) = -62*g + 3. Let n be k(-5). Let w be (-9)/(-3) + (-3 - -58). Suppose 3*d = n - w. Is d a prime number?
False
Let o(w) = -3*w - 3. Let a be o(-3). Suppose 0 = 4*f - 28 - 32. Let k = f - a. Is k composite?
True
Let k be 8/20 - (-74)/(-10). Let b(o) = o**3 + 6*o**2 - 5*o + 8. Let c be b(k). Let v(r) = -r**2 - 10*r - 9. Is v(c) a composite number?
True
Suppose -3*x = -11 - 4. Suppose o - 1 = -x. Is 282/42 - o/14 prime?
True
Let n(w) = -w**2 + 4*w + 7. Let u be n(5). Suppose 0 = u*y + 5 + 1, -4*y = 4*z - 72. Is z a composite number?
True
Let n = -10 + 14. Suppose -4*q + 326 = -5*d, -n*d - 161 = -4*q + 163. Is q composite?
False
Suppose 3*s - 5 = 2*v, 0 = 3*v + 2*s - s - 9. Suppose -10 = v*n + 6. Is ((-43)/4)/(2/n) a prime number?
True
Let o be -5 + 4 + 0 + 4. Suppose 2*u + o*g = 2*g + 49, -u + 3*g + 35 = 0. Is u composite?
True
Suppose -16*p + 77155 = -3*p. Is p a prime number?
False
Suppose -u = -8 + 4. Suppose -6*c = -5*y - u*c - 230, 5*y - 5*c = -245. Let h = y - -91. Is h a prime number?
True
Suppose 4*b = -472 + 7532. Is b a composite number?
True
Suppose 78 = -2*q + 2*v, -116 - 50 = 4*q - 2*v. Let m = q + 77. Let p = 4 + m. Is p a prime number?
True
Let f(a) = a - 2. Let s(y) = y**3 + 2. Let w be s(0). Let q be f(w). Suppose 5*r + 20 = q, 3*r + 248 = 5*g + 61. Is g prime?
False
Suppose -v + 124 = d, -2*d + 4*v + 260 = -0*d. Suppose -d = -3*n + n. Suppose -n - 20 = -o. Is o prime?
True
Is (3/6)/(-2 - 372/(-184)) a prime number?
True
Let y be (0 + 0)*(-1)/2. Let t(b) = b**2 - b + 21. Is t(y) a composite number?
True
Let y be 27/45 - (-964)/10. Let r = y + -18. Is r composite?
False
Let h be (1 + 1)*-10*-4. Suppose -h = -0*c + 2*c. Is (c/15)/((-2)/3) composite?
True
Suppose 0 = 5*w + 4*m - 27, -w - 3*m + 13 = 1. Suppose 5*d - s - 190 = -2*s, -w*d = 2*s - 121. Is d composite?
False
Let r(k) = -k**3 - 3*k**2 - 15*k + 8. Is r(-7) a composite number?
True
Suppose 6*m + 844 = 10*m. Is m prime?
True
Suppose -3*j + 0*j = 3. Let y be 1 + (-444 - -3)/j. Let r = -95 + y. Is r composite?
False
Let l be (3/9 - 0)*12. Let k be (-44)/16 + (-1)/l. Is (-4)/6 + (-269)/k a prime number?
True
Suppose 38 = 4*p - 10. Suppose 3*