Is y a prime number?
False
Let w(o) = o + 21. Let g be w(-9). Let h = g - -75. Is h prime?
False
Let y = 71 + -12. Is y a composite number?
False
Suppose 586 - 58 = 4*n. Let h = n - -759. Is h/7 - (-8)/(-28) a composite number?
False
Suppose 0 = 3*d - 15 + 66. Let m = 128 - d. Is m a composite number?
True
Suppose -4*o = 4*b - 3 - 77, -o + 66 = 3*b. Is b prime?
True
Is (5642 - 18) + (2 - -1) a composite number?
True
Let y = -7 + 8. Suppose 5*z - 16 = 3*j, y + 5 = -3*j. Is z composite?
False
Let d = 24 + 175. Is d prime?
True
Let z(n) be the first derivative of -n**3/3 + 3*n**2/2 - 2*n - 2. Let l be z(3). Is l/13 - 552/(-39) composite?
True
Suppose -5*w + 20 = -4*m, -6*m = -5*m - 3*w + 12. Is (2 + (-68 - m))/(-2) composite?
True
Let y = 457 - -360. Is y composite?
True
Is (-22686)/(-19) - (0 + 5) a prime number?
False
Let c = 141 + 776. Is c prime?
False
Let c(r) = -69*r - 4. Is c(-2) prime?
False
Let a(n) = n**2 + 19*n + 43. Is a(-21) a composite number?
True
Suppose 5*m = 2*w - 4*w + 7, 0 = -5*m - 5*w - 5. Is (1/m)/((-4)/(-2148)) a composite number?
False
Suppose 44*y = 52*y - 40. Let s be 1 - 1 - 0/2. Suppose s*k + 370 = y*k. Is k a composite number?
True
Suppose -18 = -2*q - 2*m, 4*q + 3*m = 2*m + 21. Suppose q*i = -127 + 579. Is i composite?
False
Let c(v) = 2*v**2 - 2*v - 1. Let m(u) = 2*u**2 + 2*u - 2. Let k be m(-2). Suppose 0 = -3*d + k*h - 0*h - 13, -5*d + 3*h - 20 = 0. Is c(d) prime?
True
Let c be 1/1 - -1 - -4. Suppose 3*y - 2714 = 5*x - 117, 0 = 3*x - c. Is y a composite number?
True
Let m be 26/4 - 3/2. Suppose -2*v - 2*f + 66 = 2*f, 0 = 5*v + m*f - 170. Is v prime?
False
Let y = -7 + 16. Let g be 0 - (y*51)/1. Let s = g + 674. Is s a composite number?
True
Let y(c) = 7*c**2 - 3*c - 14. Let v(g) = -11*g**2 + 5*g + 21. Let p(x) = 5*v(x) + 8*y(x). Let j(i) = i**2 - 4*i - 6. Let t be j(6). Is p(t) a prime number?
False
Suppose -t + 22 = -12. Suppose 2*d - 447 = -k, -2*k = 3*d + t - 926. Is k a composite number?
False
Let y be 1/(-2) + 15/6. Suppose -j + 127 = -o, j - y*o - 127 = o. Is j a composite number?
False
Let a = -46 + 78. Let b = 51 - a. Is b composite?
False
Suppose 3*h + 206 = 2*z, 103 = -4*z + 5*z + 4*h. Is z composite?
False
Suppose -3*m + k = -16, -5*m = -10*m - k + 16. Suppose -2*h + 442 = 4*f, -m*h - 196 = -0*f - 2*f. Let t = 199 - f. Is t a composite number?
True
Is 5451*(-10)/(-12)*(-40)/(-100) composite?
True
Suppose 0 = -0*b + b + 3*a + 6, a - 18 = 3*b. Let x(c) = -c**3 - 12*c - 8. Let n(z) = -z**3 - z**2 - 11*z - 7. Let t(r) = -7*n(r) + 6*x(r). Is t(b) prime?
True
Let k = 11 - -1. Let z be 33/k*4*1. Is 0 + 0 - z*-5 a composite number?
True
Let n = -1 - -4. Suppose -3*w = 2*w - 3*p - 341, 205 = n*w - 2*p. Is w prime?
True
Suppose v + 0*g + 4 = 2*g, 24 = 2*v + 4*g. Suppose 334 = v*h - 86. Let k = h + -59. Is k a prime number?
False
Let b = 9 - 4. Suppose -u = -a - 199 + 33, b*u - a = 818. Is u a composite number?
False
Let h = 632 + -451. Is h prime?
True
Let h = 3111 + -1582. Is h composite?
True
Is (-5 + 6)/((-1)/(-2521)) a prime number?
True
Let b be (-150)/(-12) - 1/2. Is (-1)/((b/316)/(-3)) prime?
True
Let a(f) = -f**2 + f + 2. Let i be a(2). Suppose 1608 = 3*b + 3*u, i = -3*b + 5*u - 517 + 2165. Is b a composite number?
False
Let g(u) = -u**3 - 3*u**2 - 10*u - 7. Suppose c - 11 = 4*c - 2*n, 5*n + 11 = 2*c. Is g(c) a prime number?
False
Suppose 4*l - 1631 = -z, -5*z + 5*l + 1672 = -6608. Is z composite?
True
Suppose 2*d + 325 = 2411. Is d a composite number?
True
Let x = 10 - -6. Let f(p) = -p**3 + 16*p**2 + 5*p + 17. Is f(x) a prime number?
True
Let v(q) = q - 18. Let m be v(13). Is 1/((-20)/296)*m composite?
True
Suppose 6 = -2*s + 3*w + 13, 4*s - 4 = -4*w. Suppose s*d + 471 = 5*d. Is d composite?
False
Let x be -3 + (-1)/(-2)*-2. Let g(q) = q + 7. Let z be g(x). Suppose 0*b + 30 = z*b. Is b prime?
False
Suppose -4 = 2*c + 2*p, -c + 5*p = -0*p + 26. Let z be 1/(13/c - -2). Is 1/(1 - z/(-7)) prime?
True
Let v(d) = 6*d**2 - 1. Let r be v(-1). Suppose 3*p = 2*k + r, 3*k + 5*p = p + 35. Suppose k*u - 28 - 15 = -2*n, u = 4*n + 13. Is u a composite number?
True
Let s(z) = 2*z**3 - 11*z**2 + 9*z - 17. Is s(9) a composite number?
False
Is (140/(-40))/(1/(82/(-1))) composite?
True
Suppose 5*t + 0*t + 2*b = 5029, t - 1007 = -b. Suppose j = -4*j + t. Is j a composite number?
True
Let q(b) = 5*b**2. Let k(s) = -s - 5. Let i be k(-4). Let r be q(i). Suppose r*m + 359 = 1014. Is m composite?
False
Let n(p) = p**2 + 5*p - 3. Let i be n(-6). Suppose 4*d - 4*k - 118 = -d, 0 = -4*d + i*k + 94. Is d composite?
True
Suppose -2*i + 463 = -39. Is i composite?
False
Let n = 739 - 282. Is n a prime number?
True
Suppose 0 = 2*a + 2*a - 12. Is (-1)/((-3)/(a*201)) prime?
False
Let f be (-1 - 127)/(-1) + -1. Let d = 206 - f. Is d a composite number?
False
Let q = -496 + 1159. Let v = q + -160. Is v composite?
False
Let i(z) be the second derivative of -16*z**3/3 + z**2/2 + 3*z. Let f be i(-1). Let g = f + 4. Is g a prime number?
True
Let a(j) = 32*j - 2. Let r be a(-5). Let d = -90 - r. Suppose 4*k = 436 - d. Is k composite?
True
Let c = 5 - 4. Suppose -t = -3*n + c - 3, 5*t - 2*n = 49. Is t a prime number?
True
Let h = 19 - 13. Let q be 0 + 0 - (-8 + h). Suppose 5*m + 10 = 0, 4*m + 90 = q*p + 8*m. Is p composite?
True
Let m = 20 + -14. Suppose -m*c + 4*c + 76 = 0. Is c a prime number?
False
Let w = 13 - 9. Suppose -5*t - 517 = w*l, -t - 3*l - 28 = 82. Let q = t - -220. Is q a prime number?
False
Suppose o - 40 = -4*o. Suppose -3*q - 10 = -o*q. Suppose 3*z = -q*z + 155. Is z a prime number?
True
Is ((-2)/8)/(1/(-5524)) a composite number?
False
Let q(r) = 38*r**3 + r**2. Let v be q(1). Let n = v + 44. Is n a prime number?
True
Let w = 6498 + -4537. Is w prime?
False
Let b = 2 + 0. Is b/4 - 109/(-2) composite?
True
Suppose 0 = -3*h + 8 + 7. Suppose d = -5*v + 640, 533 = v + 3*v + h*d. Is v composite?
False
Is 2/(-14) + (1 - (-22208)/28) composite?
True
Let l(k) = k**3 - 10*k**2 - k - 11. Let w be l(8). Suppose 4*d + 0*d = 1184. Let v = d + w. Is v prime?
True
Let d = -15 - -22. Is d prime?
True
Let o = 2018 + 203. Is o a prime number?
True
Let z be -3*(-548)/12 + -4. Suppose q - z - 58 = 0. Is q a prime number?
True
Suppose -148 = 4*z + 5*d, 4*d + 164 = -4*z + 3*d. Let b = 252 - z. Let w = b - 209. Is w prime?
False
Suppose -2*v = -0*v. Suppose x + 12 = -v*x. Is (-951)/x - 1/4 composite?
False
Let f(t) = 19*t - t**2 - 5*t**2 - t**3 - 5*t**2. Let m be f(-13). Is m/1 - (-1 - -3) a composite number?
False
Suppose k - v = 0, 5*v = 2*k + k - 6. Is k/((-416)/(-139) - 3) a composite number?
True
Suppose -251 = -5*z + 44. Is z composite?
False
Let t(l) = 444*l**3 - 2*l**2 + 1. Is t(1) prime?
True
Is 719 - 0/(-3 + 7) a composite number?
False
Suppose 0*b + b + 3*r - 8 = 0, -27 = b - 4*r. Let q = 44 + b. Is q a composite number?
False
Let n(s) = -6*s - 4. Let w be n(-6). Let o = 6 + w. Suppose o = x - 29. Is x prime?
True
Let h(m) = m - 1. Let x be h(5). Is x + -3 + (-58)/(-1) a composite number?
False
Let o be (-78)/(-4)*(-2)/(-1). Let r = -56 - -30. Let h = r + o. Is h prime?
True
Let m(t) be the third derivative of -11*t**6/720 - t**5/40 - t**4/6 + 4*t**2. Let a(f) be the second derivative of m(f). Is a(-2) composite?
False
Is (-537)/(2/8*-1*6) a prime number?
False
Suppose y - 5 = 6*y. Is 0/(-1) + (-89)/y composite?
False
Suppose -7*j = -4*j. Suppose j*l + 85 = l. Is l composite?
True
Let m(x) = x**2 + 8*x + 3. Suppose -3*w = 5*g - 143, 0 = -5*g - 0*w + 5*w + 175. Let s = 21 - g. Is m(s) composite?
False
Let i(z) = z. Let r(u) = -9*u**2 + 6*u + 5. Let l(f) = 5*i(f) - r(f). Is l(-3) prime?
True
Suppose 4*k = 2*h + 1172, k - 5*h = -37 + 330. Is k a prime number?
True
Let f(x) = 32*x. Let k be f(7). Let j = k - 139. Is j a prime number?
False
Suppose -3*c = c - 212. Is c a composite number?
False
Let a = 10 - 6. Let w = a - 1. Suppose -5*g - w*k = -1253, -3*k + 0*k - 771 = -3*g. Is g composite?
True
Let k be 235/4 + (-4)/(-16). Let a(l) = -125*l - 3. Let q be a(-3). Suppose 0 = h - 4*p - 161, -5*p + k = -2*h + q. Is h a prime number?
True
Suppose -5*d + 152 = 4*q, -5*q - d + 0*d + 190 = 0. Is -2*(0 - q/4) prime?
True
Let q(u) = 3*u**2 + 2*u - 2. Let d be q(-2). Let y be 8/6*d/(-4). Is y/(-8) - 393/(-12) prime?
False
Let k(y) = -11*y**2 - 7*y