. Suppose i = -b - b + 222. Is b composite?
True
Is ((-249)/9)/((-2)/66) composite?
True
Let l = -812 - -1279. Is l a prime number?
True
Let o be 1 + (4 - 1) + -2. Suppose -59 = -2*r - 3. Suppose o*l = r + 18. Is l a prime number?
True
Suppose 5*t + 20 = -5*r, r + 1 + 3 = -4*t. Suppose 3*d + d - 328 = t. Is d composite?
True
Is ((-94)/4)/((-12)/312) a prime number?
False
Let g = -965 - -1768. Let j = 5 - 5. Suppose 5*p - 492 - g = j. Is p a prime number?
False
Let u be -2*((-12)/8 + 3). Is 2/u + 1005/9 composite?
True
Is 4/20 - (-4602)/15 prime?
True
Let j(d) = d**3 - d. Let u be j(-1). Let f(k) = k. Let l be f(u). Suppose l = -4*b - 3*y + 37, y + 31 = -0*b + 2*b. Is b prime?
True
Suppose y + 3*s - 307 = 0, 8*s - 5*s + 307 = y. Is y prime?
True
Suppose -3*x + 3*s = -21, -4*x = -0*s - s - 13. Suppose 3*k - 2326 = -3*c - x*k, -4*c - 5*k + 3093 = 0. Is c prime?
False
Let n(b) = b - 60. Let c be n(0). Is ((-11)/(-4))/((-3)/c) a composite number?
True
Let p(b) = -62*b**3 + 2*b**2 - 2*b + 1. Let i(y) = y**3 + y. Let w(o) = 4*i(o) + p(o). Is w(-1) composite?
False
Is (-4 - 0)*2282/(-56) prime?
True
Let i = 11 - 18. Let r(g) = 2*g**2 + 7*g + 10. Is r(i) a composite number?
False
Let s = 643 + -194. Is s a prime number?
True
Let b = -4 + 3. Let z be ((-58)/(-6))/(b/(-6)). Suppose -3*q = -z - 179. Is q a composite number?
False
Suppose 4*f = -0*f - 20. Let m = -3 - f. Suppose -32 = -m*a + 3*n + 51, a + 5*n - 22 = 0. Is a a composite number?
False
Suppose -4*r - 704 = k - 1797, 2*k - 2200 = -r. Is k a prime number?
False
Let t(s) = 5*s**2 - 3*s + 5. Let i(r) = -r**3 - 11*r**2 + 2*r + 16. Let d be i(-11). Is t(d) composite?
True
Let n(t) = -3*t**2 + 2*t + 4*t**2 - 1 - 2*t**2 - 6*t**3. Is n(-2) a composite number?
True
Let f be (-440)/(-6) - (-2)/(-6). Let k = f - 50. Is k a prime number?
True
Suppose -o - 4 = 0, 5*n - 62 + 3 = o. Is n a composite number?
False
Suppose -2*u + 186 = -52. Is u a composite number?
True
Let v = 15 - 12. Suppose v*f = 100 + 167. Is f prime?
True
Suppose -h - 2*h - 2 = -k, -5*h - k = -2. Let w be (-1 - (h - 1)) + 37. Is w + (1 - 3 - 0) a prime number?
False
Let b(v) be the third derivative of 19*v**4/24 - v**3/6 + v**2. Is b(2) a prime number?
True
Let l(t) = -t**2 - 11*t - 3 + 5*t**2 + 16 - 3*t**2. Let a be l(9). Is (17 + 2)*-1*a composite?
True
Suppose 3*r - 7*r = 4*q - 24, 4*q - 9 = -r. Suppose -38 = -r*u + 3*u. Is u prime?
True
Let p(v) = 12*v**2 - v + 1. Let i be p(1). Let l be 981/i - (-3)/12. Suppose 6*f + 4*k - 118 = f, 0 = 4*f - 3*k - l. Is f prime?
False
Let t = -1778 - -3177. Is t prime?
True
Let w be 6/8 - 111/(-12). Suppose 3*d - 51 + w = -n, -60 = -4*d + 4*n. Is d composite?
True
Suppose -4 = 5*k - 7*k. Suppose -k*w + 33 = 11. Is w a prime number?
True
Let z(n) = 5*n**2 - 7*n - 1. Is z(8) a composite number?
False
Suppose -2182 = 2*y - 4*y + 4*b, 3*b = -4*y + 4309. Is y a prime number?
False
Suppose u + 1 = -2*w, 2*u + 2*w + 2 = -w. Let l = u + 3. Suppose q - l = 13. Is q prime?
False
Suppose -21 = -3*l - 3. Let k be 3/(-6)*l*-45. Suppose -2*d + 5*b + k = 0, -b + 185 = 3*d - 5*b. Is d prime?
False
Let a be (-24)/16*(-14)/(-3). Let j = -5 - a. Suppose -4*q + j*q = -74. Is q a composite number?
False
Suppose 5*o + 37 + 13 = 0. Is 148*(o/8 - -2) a prime number?
False
Let z(h) = -46*h - 15. Is z(-7) prime?
True
Let j(q) = 22*q**3 - 2*q**2 - 1. Is j(2) composite?
False
Let v = -6 + 10. Is 274/v + 9/(-6) composite?
False
Let k = 1 + -1. Suppose 6*o - 5*o = 5. Suppose w - o = k, i - w = 3*w + 101. Is i prime?
False
Let t be 3/(-9) - 3/(-9). Let r = 0 - t. Suppose 2*n - 74 = -r*n. Is n prime?
True
Suppose 4*g = g. Suppose -4*a + 6*a - 22 = g. Suppose 2*d - 4 = -2*b, -4*b - 5 - a = -2*d. Is d composite?
True
Suppose 2*u - 3*u = -3. Suppose u*j = 4*j - 3*v - 19, 4*j - 3*v = 58. Is j composite?
False
Suppose -1 + 17 = 4*q, -3*n + 8 = 2*q. Suppose -4*c + 2 - 82 = -2*m, 3*m - 2*c - 116 = n. Is m a prime number?
False
Let k(u) = 3*u**3 - 1 - u**2 - u**2 - 11*u**3 - 2*u. Is k(-2) a composite number?
False
Let v = 6 - 1. Suppose v*b - b = 216. Suppose 4*w + b + 986 = 4*p, 5*w = 2*p - 523. Is p composite?
True
Let q = 354 + -244. Suppose -3*y - t + q = 0, -y - t - 75 = -3*y. Suppose 0 = -4*v - 13 + y. Is v a composite number?
True
Let l = -426 + 605. Is l prime?
True
Suppose 0 = 23*m - 1185 - 3944. Is m a composite number?
False
Let j(p) = 127*p**2 + 2*p - 1. Let l be j(1). Let a = -36 + l. Let m = -61 + a. Is m a prime number?
True
Let m(l) be the first derivative of 41*l**2 + l + 6. Suppose t + k = 6*k - 14, 2*t - k + 1 = 0. Is m(t) prime?
True
Suppose 4*h = -11 + 27. Let m(r) = -r**2 + 5*r - 4. Let y be m(h). Suppose y = -i + 2*g - 7*g - 3, -2*i + g = -49. Is i a prime number?
False
Let x(b) = 11*b**2 + b. Let j be x(-1). Suppose 2*y - 3*q = 225 + j, 2*q - 478 = -4*y. Is y a prime number?
False
Let l(z) = z**3 - 10*z**2 + 9*z + 16. Let u be l(12). Suppose -a + u = 3*a. Is a a composite number?
False
Suppose 12*w = 4*w + 8072. Is w prime?
True
Suppose 8*u = 3*u + 605. Is u composite?
True
Let b(g) be the third derivative of g**6/120 - 7*g**5/60 + g**4/6 - g**3/6 + 2*g**2. Let o be b(7). Suppose -a = -3*l + 73 + 22, -l = 2*a - o. Is l composite?
False
Let g be 6/10 + 5334/35. Let b = 232 - g. Is b prime?
True
Suppose y - 4*s + 3*s = -3, -2 = 4*y - 2*s. Suppose -5 = -y*h + h. Suppose -59 - 136 = -5*t + h*w, 183 = 5*t + w. Is t prime?
True
Let c be 6/4 - 1/(-2). Suppose -4*m = -5*f + 151, -3*f - c*m + 19 = -76. Is f a composite number?
False
Let d(w) = 3*w**2 - w. Let v be d(1). Let m(j) = -j + 2. Let l be m(v). Suppose 5*u - 109 - 6 = l. Is u composite?
False
Suppose -3*i = 3*n, -4*n - n = -5*i + 20. Is ((-22)/i)/((-2)/4) a composite number?
True
Suppose 0*h = h - 32. Suppose -5*s + j = -115, 0*j - 2*j - h = -s. Is s composite?
True
Suppose -4*p + 4 = -0*p. Let w be (p + (0 - 1))/2. Suppose -d - 2*v - 105 = -6*d, 2*d + v - 42 = w. Is d a prime number?
False
Let r = 21 - 15. Let h be (-12)/(-9)*r/4. Suppose -6*j + h*j = -140. Is j a composite number?
True
Let z(l) = 17*l - 8. Let h(v) = 17*v - 7. Let n(y) = 3*h(y) - 2*z(y). Is n(6) a prime number?
True
Let g(k) = -k + 40. Let p be g(0). Suppose -5*i + 61 = d, 70 = 2*d + 4*i - p. Is d a prime number?
False
Let x(i) = 9*i**2 + 2*i - 1. Suppose 3*f - 7*f + 4*q = 12, -5*f + 21 = 4*q. Is x(f) a prime number?
False
Let z(u) be the third derivative of u**5/60 + u**4/24 + u**3/2 - u**2. Is z(7) prime?
True
Suppose -i - i = 0. Is 67*(3 + (i - 2)) prime?
True
Suppose -5*a + 475 = 4*p, 5*p - 214 = 5*a - 644. Is a a prime number?
False
Let z(j) = 3*j - 2. Let b be z(3). Let x(m) = -m + 10. Let t be x(b). Suppose 8*p - t*p - 65 = 0. Is p a prime number?
True
Suppose -3196 = -5*m + 2139. Is m prime?
False
Suppose 4*t - 594 = 466. Is t a prime number?
False
Let k = 6 + -6. Let z = 4 + k. Suppose -2*v - 3 + 61 = 4*y, 88 = z*v + y. Is v a composite number?
True
Suppose -5*j + 4*y = -1039, -2*j + 414 = -0*y - 2*y. Is j prime?
True
Let i(v) = -6*v**3 + v. Let l be i(-1). Suppose -2 = -l*z - 12. Let a(t) = -7*t + 1. Is a(z) composite?
True
Suppose 0 = g + x - 13, 9 = 5*g - 5*x - 6. Let m = 8 - g. Suppose 0*s + j - 143 = -4*s, m = -s + j + 32. Is s a composite number?
True
Let j be 62/4 - 5/10. Suppose 0 = 5*p + j, -107 = -2*l - 5*p + 132. Is l prime?
True
Let q = 4 + -2. Is (q*46/(-4))/(-1) prime?
True
Suppose 4*p + 608 = 4*o - 112, -5*o - p = -900. Suppose -d + 228 = 5*r, -2*r - 2*d = 2*r - o. Is r prime?
False
Let s = -889 - -1740. Is s a composite number?
True
Let c(f) = -28*f + 5. Suppose -v = 5*q + 25, -3*v - q - 10 - 9 = 0. Is c(v) a prime number?
False
Suppose 0 = -3*j + 167 - 2. Suppose -j = 2*t - 15. Is (t/6)/(2/(-6)) a prime number?
False
Suppose 0 = 5*m + 6 - 16. Let h(g) = g**2 - g + 2. Let y be h(m). Suppose -2*f - s = 2*f - 77, 0 = 4*f + y*s - 80. Is f a prime number?
True
Let h = 6 + -4. Suppose 3*f = 3*z - 3, 6*z = z + h*f + 8. Is 31 + -1*z + 4 a composite number?
True
Let s(t) be the third derivative of -t**4/24 + t**3/3 + 3*t**2. Let o be s(-2). Suppose 0 = o*l + 5*z - 2*z - 89, -21 = -l - z. Is l composite?
True
Suppose 3*u + 2*u = 2*i - 525, 2*i - 546 = -2*u. Let b = i + -137. Is b composite?
True
Let t(v) be the third derivative of v**4/12 + v**3/6 + 8*v**2. Let x = 3 + 4. Is 