d + 6 = -2*y, 0 = -2*y - 0*y - 5*d - 15. Let b be (y/2)/(6 - 4). Suppose 4*q + 2*x = 206, b = -q + 3*x - 34 + 96. Is q prime?
True
Suppose -f = -6 + 14. Let p = 6 + f. Is -66*(0 - (-1)/p) a composite number?
True
Suppose x = 5*x - 2612. Is x composite?
False
Let f be 2*(613/2 - -2). Let b = -316 + f. Is b composite?
True
Let j = -34 - 16. Let b = j + 117. Is b a composite number?
False
Let g(k) = -k**2 - 5*k + 6. Let h be g(-5). Suppose 4*u = 20, -y + 5*u + 4 - h = 0. Is y composite?
False
Suppose -3*j = -4*u - 0*u + 5, 0 = -5*j + 5. Suppose -4*v + 7*n + 270 = u*n, -4*n = 4*v - 252. Is v a composite number?
True
Suppose 0*o = 4*o + 8. Is o/13 - 5015/(-65) a composite number?
True
Let i(c) = c**3 + 5*c**2 - 2*c + 1. Let r be i(-4). Suppose a - 3*t = 280, -r = -3*t - 2*t. Is a a composite number?
True
Let l be (-400)/(-4) + (4 - 2). Let k be (-2)/(-9) - l/(-27). Suppose b + 4*b = -m + 655, -k*m = 5*b - 655. Is b a composite number?
False
Let s be (6/4)/(3/(-32)). Let o = -22 - s. Is o/(-12) + 38/4 composite?
True
Let u(s) = -18*s - 4. Let f be u(-4). Suppose f = -2*x + 280. Is x a prime number?
False
Let b = -2 - -6. Suppose 7 = -b*l - 1. Let m(q) = -3*q + 1. Is m(l) a prime number?
True
Let f = -89 - -174. Is f composite?
True
Suppose -11*y + 777 = -8*y. Is y prime?
False
Let l(j) = 2802*j + 7. Is l(1) a prime number?
False
Let a be 4/(-3)*(6 - 3). Let b(o) = -2*o**2 - 1 + 3*o + 8*o**2 + 2*o**2. Is b(a) a composite number?
True
Suppose -5*x - 13 - 87 = 0. Let i be x/(-6) - (-2)/(-6). Suppose 5*w - 123 + 32 = 4*h, -4*w - i*h + 48 = 0. Is w composite?
True
Let o be (-2)/(-6) - 75/(-45). Is 716/o*(-6)/(-12) composite?
False
Let a = 206 - 100. Is a a prime number?
False
Let b = 72 + -8. Let k = b - 38. Let d = k - -9. Is d a composite number?
True
Suppose -y + 0*y = -199. Is y a prime number?
True
Suppose -y + d + 547 = -537, -4*y + 4341 = -5*d. Is y a prime number?
False
Let i = -15 + 8. Let b be 7*(2 - 10/i). Let f = b - -11. Is f a prime number?
False
Is (11*-17)/(-2 - -1) composite?
True
Suppose 2*u = 2*q - 686, 2*q - 1566 = 4*u - 194. Suppose 4*i - i = -360. Let o = i - u. Is o prime?
True
Suppose -v - 2*v = q + 7, -4*q + 32 = -3*v. Suppose -d - 4*d + 3*n = -79, 3*d - 27 = -q*n. Is d a composite number?
True
Suppose 5*h + 362 = -88. Suppose 7*y - 4*y + 6 = 0. Is h/(-5)*y/(-4) prime?
False
Let n = -100 + 218. Is n a composite number?
True
Let h(x) = x**2 - 10*x + 1. Let c be h(9). Let n(g) = 27*g**3 - 26*g**3 + 9*g**2 - 4 + 13 + g. Is n(c) a prime number?
False
Let x be (2/4)/(4/24). Suppose -2*c - x*d + 0*d + 298 = 0, -4*d - 745 = -5*c. Is c a composite number?
False
Let w be 224/(1 - -1) + -3. Let l = -56 + w. Is l composite?
False
Let r(b) = 141*b**3 + 1. Is r(1) prime?
False
Let k(b) be the third derivative of -1/4*b**4 + 2/3*b**3 - b**2 - 1/20*b**5 + 0 + 0*b + 1/60*b**6. Is k(5) a prime number?
True
Suppose 4*f - 25 = 51. Let a(h) = -36*h**3 - 2*h**2 + 1. Let c be a(-1). Suppose -g = -4*y - c, 5*y + 1 = -2*g + f. Is g prime?
True
Let o(m) = 3*m - 2. Let a be o(2). Suppose -1 - 4 = t, -a*t = -j + 20. Suppose j*n = -2*n + 20. Is n a composite number?
True
Let a(y) = y**3 - 4*y**2 + 4*y - 4. Let s be a(3). Let v be 3/(3*s)*-1. Suppose 4 - v = k. Is k a composite number?
False
Is (-3)/(-3) - (-840)/(2 - -2) a composite number?
False
Let a = -82 - -140. Let l = a - 27. Is l a composite number?
False
Let k(s) = 2*s**2 + 14*s + 25. Is k(-17) prime?
False
Let d(c) = c**3 - 4*c**2 + c + 1. Let l be d(4). Suppose -l*s + 672 = -793. Is s a prime number?
True
Is (76/8)/((-1)/(-178)) composite?
True
Suppose -2*g - g = 0. Suppose g = -2*p - p - 549. Is (-1)/(-2 + p/(-93)) prime?
True
Suppose 4*a + 2*g - 216 = 0, -3*a - 2*a + 5*g = -255. Is a a prime number?
True
Suppose 6 = -0*s + s. Is ((-57)/s)/((-1)/2) a prime number?
True
Suppose -4*l = r + 620, 3*r + 7 + 5 = 0. Let u = 375 + l. Is u composite?
True
Suppose 4*w - 3*z = -9, 4*w + 0*z + z = -13. Let n = w - -3. Suppose 0*q + 2*q - 66 = n. Is q a composite number?
True
Suppose 2*j - 380 = 2. Is j a composite number?
False
Let p = 32 - -53. Is p composite?
True
Suppose 3*a + 10 = 25. Suppose 3*j = -j + 204. Suppose 34 - 223 = -4*u + a*i, u - 5*i = j. Is u composite?
True
Is (-1060)/(-9) - (-6 + (-104)/(-18)) composite?
True
Let v be 2/(-1)*25/(-10). Let m(k) be the first derivative of 2*k**3/3 - 5*k**2/2 + k + 1. Is m(v) prime?
False
Suppose -81 - 774 = 5*j. Suppose 2*i - 2*x + 535 = 3*x, -15 = -5*x. Let w = j - i. Is w composite?
False
Let t be (-19)/(-7) - (-2)/7. Suppose 0 = 4*z - 3*z - t*y - 103, -2*z + 196 = -y. Is z a composite number?
False
Let g be 158 + 5 + (-2)/(-1). Suppose 5*q = 2*q + g. Is q composite?
True
Let q be 4/(-10) + 3/(-5). Is (1/1)/(q/(-89)) prime?
True
Let b be 4/(-2)*36/8. Is 2/b + 600/27 composite?
True
Let d(q) = 3*q**2 - 5*q + 6. Let x(f) = f + 4. Let t be 4/(-22) + 2/11. Let s be x(t). Is d(s) a prime number?
False
Let w(q) be the second derivative of q**4/12 + q**3/6 + 17*q**2 - 3*q. Is w(0) a composite number?
True
Let v be (-57)/2*(-28)/2. Suppose -4*o - v = -5*q, 47 + 190 = 3*q - 3*o. Is q a prime number?
True
Let k(c) = c**3 - c**2 - c. Let o = 3 + -3. Let s be k(o). Suppose 4*z = -s*z + 140. Is z prime?
False
Let m = -5 + -2. Let t(b) = b**2 + 6*b - 2. Let o be t(m). Suppose 3*d - 77 = o*j, 5*d - 4*j - 54 = 57. Is d a composite number?
False
Suppose 0*q - 2*q + 1074 = 0. Is q composite?
True
Let p = -4 + 7. Is p*(10/6 + -1) a prime number?
True
Let d = 5 - 3. Let x be 525/77 + (-4)/(-22). Suppose 0 = x*a - d*a - 1015. Is a prime?
False
Let p be (-115)/4 + 2/(-8). Let z = 61 + p. Suppose 3*j = 2*r + z, 3*j = -2*r + 42 + 10. Is j composite?
True
Suppose -2463 = -3*b - 351. Suppose -b = -4*v - 124. Is v a composite number?
True
Let l(r) = 4*r**2 + 10*r - 9. Is l(-8) prime?
True
Suppose -d - s = 2, 11 = -3*d - 5*s + s. Let t be -3 + 2 + d - -2. Suppose 0 = -3*q + 6, 3*b - t*q - 113 = -10. Is b a prime number?
True
Let o = -2 + 4. Suppose o*i = 4*t + 62, 2*i - 20 = -4*t + 42. Is i a prime number?
True
Suppose 0*r - 1 = r. Is (-357)/(-4) - r/(-4) composite?
False
Suppose 2*p + 620 = 4*t + 136, 385 = 3*t + 4*p. Is t a prime number?
False
Suppose -3*l + l + 2*g + 956 = 0, -g + 959 = 2*l. Is l composite?
False
Suppose 4*m = 3*m + 2*w + 49, w - 126 = -3*m. Let c = 5 + -3. Suppose -m = -c*k + k. Is k composite?
False
Suppose -3*u + 4*k + 1785 + 216 = 0, 12 = 4*k. Is u a prime number?
False
Suppose 20*a - 17757 = 11*a. Is a a prime number?
True
Let b be (1 + 3)*(-2)/(-4). Suppose 2*t - 4*r = 12, 3*r + 17 = 4*t - 7. Suppose t*f = b*f + 196. Is f composite?
True
Let o(z) = -18*z - 2*z + 43 - 46. Let k = -12 - -3. Is o(k) a composite number?
True
Let f be ((-8)/(-10))/((-4)/(-130)). Suppose -2*p = -7*p + 4*v + f, 4*v = 4*p - 20. Suppose -q + p*q - 275 = 0. Is q a composite number?
True
Suppose -d = -2*x + 4*d + 434, 4*d = 0. Is x a prime number?
False
Let l = 2 + -9. Let r(p) = 6 - p**2 - 7*p + 3 - p - 3*p. Is r(l) composite?
False
Let b be (-124)/4*(-6)/2. Suppose 15 - 46 = -c - l, -3*c - 5*l + b = 0. Is c prime?
True
Is (0/5)/3 - -1949 prime?
True
Let q(l) be the first derivative of -4*l**2 + 9*l + 2. Is q(-11) prime?
True
Let d(y) = y**2 - 4*y - 13. Let m be d(10). Is 3/((-1)/m*-3) a composite number?
False
Suppose 7 = 4*t - 177. Let h = 173 - t. Is h composite?
False
Suppose s = -s + 98. Is s a prime number?
False
Let l(n) = n**3 + 10*n**2 + 3*n - 7. Is l(-8) a prime number?
True
Let c(m) = -m**3 + 4*m**2 + 4*m - 2. Let r be c(4). Is (-1127)/r*(-2 - 0) prime?
False
Let m(c) = 4*c**2 + 27*c - 35. Is m(-24) composite?
False
Let c be -3 + 1 + 3 + -11. Let p be 1*-5*4/c. Suppose -4*l + 2*l - 5*u + 317 = 0, -485 = -3*l + p*u. Is l prime?
False
Suppose 612 = -6*h + 4*h. Let b = -57 - h. Is b prime?
False
Let g = 0 - 3. Is (-98 + (g - -4))*-1 composite?
False
Let s = 0 - 2. Is 3 - (1 - (-2)/s) a composite number?
False
Let f = 415 - -286. Is f composite?
False
Let z = 4 - -1. Suppose -2*i + 6 = 2*g, -4*g + 5*i - 3 = -3*g. Suppose 3*f - 91 - 61 = -z*y, -g*f - 157 = -5*y. Is y composite?
False
Let x(r) = 15*r + 4. Is x(6) prime?
False
Let o(f) = -11*f**3 + 7*f**2 + 4*f - 3. Is o(-4) prime?
True
Let x(h) be the third derivative of -h**5/60 + h**4/24 + 37*h**3/6 - 3*h**2. Is x(0) comp