False
Let o = -287 + 651. Let d(k) = 2*k - 13. Let z be d(9). Suppose -a + z*a - o = 0. Is a composite?
True
Is 97794/22 - 2 - 4/22 a prime number?
False
Suppose -25 = -4*b + 3*b + 2*z, 0 = -3*b + 5*z + 70. Let o(w) = w**3 - 14*w**2 + 14*w - 16. Is o(b) a prime number?
True
Let i(c) = -9*c + 1. Let r be (-4)/(-6) + (-62)/(-6). Suppose 5*g + 2*l = -22, -g - 3*g + 5*l - r = 0. Is i(g) prime?
True
Let z(u) = u**3 + 6*u**2 + 4*u + 2. Let m be z(-5). Suppose m = 3*x + 1. Suppose 0*t = -4*t - 4*b + 108, x*t - 4*b - 78 = 0. Is t prime?
True
Let q(x) = 2*x - 2. Let d be q(8). Suppose 9 = z - d. Is z composite?
False
Suppose b + 0 = 3. Is 158*b/2 + -2 composite?
True
Let y = 2260 - 621. Is y a composite number?
True
Let l(c) = -c - 10. Let n be l(-9). Is ((-2)/4)/(n/8) composite?
True
Suppose 0*s + 1730 = 2*s. Is s prime?
False
Suppose 4*l = 2*c + 6466, -5*l + 5*c = -7516 - 559. Is l prime?
False
Let r = -6 + 11. Suppose -r*o + 3*o = -94. Is o prime?
True
Suppose 3*u = k - 16 - 23, 5*u - 71 = -4*k. Suppose 1 = 5*c - k. Suppose 5*g = -p + c*p + 281, 0 = -5*p - 20. Is g prime?
True
Let z(c) be the second derivative of -1/2*c**2 - c - 9/2*c**5 + 0*c**4 + 0*c**3 + 0. Is z(-1) composite?
False
Let p(f) = -f**3 + 2*f**2 - 4*f - 1. Let d be p(6). Let l = -92 - d. Is l composite?
True
Let n = 121 - -62. Suppose -4*z = -4*b - 8, -4*b + 6*b - 5 = -z. Suppose 2*w - 98 = z*c, -5*w + c + n + 62 = 0. Is w a prime number?
False
Suppose 7*y - 3*y = 0. Suppose 4*u - 7*u + 309 = y. Is u a prime number?
True
Suppose 2*t - 4*z = 942 - 268, -4*z = 0. Is t composite?
False
Suppose 4*v = 208 + 140. Is v a prime number?
False
Let r = 12 - 7. Suppose 0 = -3*n + 5*y + 53 + 78, y = -r*n + 181. Is n prime?
True
Let i(m) = -16*m + 10. Let z(a) = 33*a - 20. Let n(u) = -7*i(u) - 3*z(u). Is n(8) a prime number?
False
Is (4/((-8)/1205))/(1/(-2)) a prime number?
False
Suppose -3*h - 5*d + 1012 = 0, 2*h + 3*h - d - 1640 = 0. Is h a prime number?
False
Let m(j) = -j**2 + 3*j + 2. Let x be m(3). Suppose 2 = a - x. Let z = a - -39. Is z composite?
False
Let b(h) = h + 31. Let x be b(-9). Let r = x + 15. Is r a composite number?
False
Let p be (-324)/(-2) - 36/(-9). Let h = -1 + 6. Suppose q + 4*r = 8*r + 42, -h*q - 2*r + p = 0. Is q a prime number?
False
Let s = 14 + -6. Let q be (-27)/(-2)*(4 - s). Let a = q + 131. Is a a composite number?
True
Let a = -1098 + 1835. Is a a prime number?
False
Let r(k) = 3*k**3 + 2*k**2 + k + 2. Let u(o) = o**3 - o**2 - o. Let f(h) = -r(h) + u(h). Is f(-3) composite?
False
Suppose -2*l - 437 + 101 = 0. Let r = 235 + l. Is r composite?
False
Let i be ((-6)/5)/(1/(-440)). Suppose 5*r - 647 = -0*r + 3*c, -4*r = -5*c - i. Is r a prime number?
True
Let m = 51 - 74. Suppose 6*a + 108 = 3*a. Let s = m - a. Is s prime?
True
Let n(m) = 163*m - 2. Let f be n(2). Suppose -h - 55 = -f. Is h prime?
True
Suppose -j + 2454 = 2*j. Suppose 137 = 5*m - j. Is m a prime number?
True
Let i = 75 - 137. Let s = 129 + i. Is s prime?
True
Let p(o) be the first derivative of o**6/120 - o**5/20 - o**4/24 - o**3/3 + o**2 - 1. Let k(n) be the second derivative of p(n). Is k(4) prime?
False
Is 50 + (1 + 3 - 1) a composite number?
False
Let h = 27 - 17. Let l be (-2 + h)*3/6. Is l*(75/12 + 0) prime?
False
Let n(y) = 2*y**2 + 2*y - 2. Let j be n(-2). Suppose -2*m + j*t - 49 = 19, -48 = 2*m + 3*t. Let o = 35 - m. Is o a prime number?
False
Suppose 0 - 2 = -g. Let z = -2 - -1. Is z/(-4)*g*30 a composite number?
True
Let h(j) = -3*j - 2. Let l be h(-2). Suppose 59 = l*x - 17. Is x a prime number?
True
Let r = 586 - 269. Is r composite?
False
Let y be (8/10)/(4/10). Suppose 4*s = 8, 5*k = y*s - 4*s + 399. Is k prime?
True
Let c(o) = -5*o**3 - 1. Is c(-2) a composite number?
True
Suppose -3*l = -4*l. Suppose 4*y + 3 + 109 = l. Is (-2)/6 + y/(-3) a composite number?
True
Let m(t) = -t**3 - 2*t**2 - 12*t + 2. Is m(-4) prime?
False
Let g be (-3)/(-9)*(1 + 2). Suppose 4*m = -3 - g. Is m*6*(-22)/4 a composite number?
True
Suppose 0 = -2*k + 6*k - r - 28, 20 = k + 3*r. Suppose -22 = -5*v + k. Is v a prime number?
False
Let z = -83 - -183. Suppose 0*k - 5*k = -3*r + 66, -5*r = -5*k - z. Let q = r - 6. Is q a prime number?
True
Suppose 5*w - 32 = w. Suppose -3*i = -2 + w. Is 5/i*-38 + 2 composite?
False
Let k(g) = -g + 3. Let b = 13 - 7. Let x(t) = 2. Let w(q) = b*x(q) - 5*k(q). Is w(8) composite?
False
Is -5 + -1 + 412/4 composite?
False
Suppose 35*p - 37*p + 374 = 0. Is p a prime number?
False
Suppose 0 = 2*v - 4*p + 3*p + 1, -v - 3 = -3*p. Suppose -z + 2*z - 6 = v. Let j(c) = 5*c + 7. Is j(z) composite?
False
Let y be (-6)/(-8)*4*-2. Let k(t) = 3*t**2 + 2*t - 1. Let n be k(y). Suppose -l + n = 4*l. Is l a prime number?
True
Let w be (-3)/12 - 63/(-12). Let c(t) = -t**3 + 7*t**2 - 6*t - 1. Is c(w) prime?
True
Let c = 1100 + -547. Is c composite?
True
Suppose 0 = 5*m - 3*j - 650, 2*m + 153 = 3*m + 4*j. Suppose l = -3*r + m, -5*r - 5*l + 51 = -184. Is r composite?
False
Let p(j) be the first derivative of -j**5/20 + j**4/8 - 2*j**3/3 - 2. Let k(y) be the third derivative of p(y). Is k(-3) a composite number?
True
Suppose 5*d = 2*t - 4*t + 2346, 0 = 3*t + 6. Suppose -d = -r - r. Is r composite?
True
Suppose -9*m + 1480 = -4*m. Let s be ((-12)/(-8))/(3/m). Suppose -4*u = 2*n - 266, u + 0*u + s = n. Is n a prime number?
False
Suppose 12*p - 5 = 11*p. Suppose -p*n + 838 = 4*y - 450, -y = -n - 313. Is y composite?
False
Let z be ((-40)/12)/(3/9). Let r = z - -45. Is r prime?
False
Is 15/(-6)*(-932)/(-20)*-4 a composite number?
True
Let f be (2 + (-6)/4)*0. Suppose -5*j + 5 = f, -384 = -5*i + 4*j - 3*j. Is i a prime number?
False
Let t = 1772 - 1263. Is t composite?
False
Is 1420/6 + (-1)/(-3) prime?
False
Suppose 3*k + 522 + 700 = 4*y, -y + k + 305 = 0. Is y a composite number?
False
Let l be 8/(-12) + 2/3. Suppose 5*c + 750 - 4175 = l. Is c prime?
False
Let x(r) = 2*r**2 - r + 10. Let g be x(5). Is g/(-3)*(-33)/11 a composite number?
True
Suppose -5*g + 0*g - 200 = 0. Let n = g - -29. Let w = n + 30. Is w prime?
True
Suppose -3*t = -1459 - 311. Suppose z = -z + t. Is z a composite number?
True
Let p(y) be the first derivative of y**4/4 - 7*y**3/3 + y + 1. Is p(8) prime?
False
Suppose 3*z + 0 = 4*c - 33, z - 27 = -5*c. Suppose -u - k = -c*u + 15, -6 = u - 2*k. Let w(f) = 104*f - 3. Is w(u) a prime number?
False
Let x(u) = 18*u + 5. Is x(6) prime?
True
Let x be -2*(3/2 - 2). Is 3 - -22*(x + 2) a composite number?
True
Suppose 5*k + 0*z + 4*z = 17, 0 = k - z - 7. Suppose 3*j - 99 = 4*u, j + k*u - 3*u = 33. Is j a composite number?
True
Let u = 2 + 0. Let n(c) = -c**3 + c**2 - 3*c + 2. Let z be n(u). Let y = z + 18. Is y composite?
True
Let o(p) be the third derivative of 3*p**4/8 - 4*p**3/3 - 2*p**2. Let t be o(-8). Is t/(-6) + 6/(-18) prime?
True
Suppose 5*q + 5*d - 60 = 0, -2*q + 0*q = -3*d - 24. Is 222/9*q/8 a prime number?
True
Let d = 744 - 502. Suppose -d = -3*a + 3*u + 409, -4*a - 5*u = -877. Is a a prime number?
False
Let u = -8 + 13. Suppose u*r - 178 = 4*r. Is r a prime number?
False
Let g be (-3)/(-2) - 665/10. Let a = 12 - g. Is a a prime number?
False
Let t = 2384 - -114. Let m = t + -1724. Suppose m = 4*l + 5*a - 267, 4*l = 3*a + 1033. Is l a prime number?
False
Suppose -3*p - 22 = -5*c + c, -4*p + 4*c = 28. Let y be 2/(-6) + 129/9. Is y/(-3)*p/2 composite?
True
Let r = 2149 + -626. Is r composite?
False
Suppose -45 + 167 = 2*v. Let p = v - 22. Is p a composite number?
True
Let x = 749 - 400. Suppose k = -j - 2*j + 346, k - x = -4*j. Is k a prime number?
True
Let d = 70 + 98. Let x be (3/(-6))/((-1)/34). Suppose d + x = 5*s. Is s prime?
True
Let v be 1/2 - 54/4. Let x = 18 + v. Suppose k = -x*t + 106, -8 + 4 = k. Is t a prime number?
False
Let o(m) = 415*m**3 - m**2 + m. Let i be o(1). Suppose n - i = -4*g, 5*n + 5*g - 2*g - 2092 = 0. Is n a composite number?
False
Let c(u) = u**3 - 4*u - 7. Is c(6) prime?
False
Suppose 3*g - 3*a = 9, -4*g - 6 = -6*g + 3*a. Suppose 24 + 921 = g*i. Is ((-6)/(-5))/(18/i) a prime number?
False
Let l = 93 + -62. Suppose -l = -2*t + 5. Suppose 3*h - t = h. Is h prime?
False
Let h = 4370 - 1739. Is h prime?
False
Let q = -4 + 9. Suppose v - q*v - r - 21 = 0, v = r - 9. Is ((-3)/2)/(v/148) a prime number?
True
Let y(i) = i**3 - 13*i**2 - 11*i - 3. Is y(14) a pri