. Let o = f + -21. Is o a prime number?
True
Let f be (-1)/(3/24*-2). Suppose 0 = 2*a + 6 - 4, -4*v + 52 = -f*a. Let m = 7 + v. Is m a prime number?
True
Let c(p) = 7*p**2 - 3*p. Let i be c(2). Suppose -4*x - 6 + i = 0. Suppose 218 = x*j + 78. Is j a prime number?
False
Let j(b) = 13*b**2 - 7*b + 5. Is j(5) prime?
False
Suppose 0 = -k - 2*k + 924. Suppose -4*r + 0*r = -k. Is r a prime number?
False
Let y = 95 - -619. Suppose 3*p - 6 = 5*h, 4*h + 4 = 3*p - p. Is y/9 + p/(-6) a prime number?
True
Let i(b) = 6*b**2 - b**2 - 12 - 1 - 9*b. Is i(-6) a composite number?
True
Let c = -54 - -103. Is c a prime number?
False
Suppose -2*g - 3*f + 21 = -95, -5*f = -3*g + 174. Suppose 0 = -3*u - g + 1081. Is u a composite number?
True
Is 1*3*2335/15 a prime number?
True
Let g(q) = 14*q - 1. Let w be g(-4). Let s = w + 272. Is s a prime number?
False
Is (-1019)/(-2) + (-11)/22 prime?
True
Let g be 657/(-39) - (-6)/(-39). Is (-5 - g) + 0 + -1 a composite number?
False
Let a(o) = o - 3. Let i be a(3). Suppose i = 3*k + 4 + 2. Is (-1 + 15/k)*-14 composite?
True
Suppose 2*i - 2*w - w - 1777 = 0, 4*i - 2*w = 3550. Is i prime?
True
Let b(j) = 2*j**2 + 3*j + 1. Suppose 6*t - 4*a + 28 = t, 5*a = 3*t + 22. Let i = 2 + t. Is b(i) prime?
True
Let g = -8 - -15. Let y = g - -3. Is y composite?
True
Let k(c) = -3*c**3 + c. Let o be k(-1). Is (-1 + (-363)/(-6))*o a composite number?
True
Suppose 220 = 4*j + 2*h, 2*j - 2*h = -7*h + 110. Let w = 6 + 13. Suppose j = 2*g - w. Is g composite?
False
Suppose 2*c + 21 = -3*d, 2*d - 5*c + 21 = -d. Let k(m) = 2*m**2 + 2*m - 5. Is k(d) a composite number?
False
Suppose 2122 = 5*s - 3*s. Is s prime?
True
Suppose -2*i = -i - 127. Suppose h - q - 85 = 45, -h + i = -2*q. Is h a composite number?
True
Let y(w) = 145*w + 2. Let u be y(4). Suppose -18 + 18 = 2*o. Suppose o = -4*q - 18 + u. Is q a prime number?
False
Let q(b) = b**3 - 9*b**2 + 9*b + 1. Is q(10) prime?
True
Suppose -4*z = z - 40. Suppose 5*a - 103 = -z. Is a a prime number?
True
Suppose -3*y - 2*y = -5*a + 20, 0 = 3*a - 12. Suppose -2*t - 5*d - 7 = y, -5*d = 2*t - d + 2. Let c = -3 + t. Is c prime?
False
Suppose 177 = g - 0*g. Is g composite?
True
Suppose 1572 = 4*w - 3*g, -2*w - 2*g = -6*w + 1572. Is w prime?
False
Let h(y) = 36*y**2 + 4*y - 13. Is h(5) prime?
True
Suppose -974 = 22*i - 24*i. Is i composite?
False
Let v be -32*(1*-3 + 1). Let x = v - 31. Suppose -180 = -3*l - x. Is l a composite number?
True
Let s(j) = -j**3 + 9*j**2 + 9*j + 7. Let g be s(10). Is (-38)/g*6/4 prime?
True
Let u(f) = f**3 - 2*f**2 + 6*f + 2. Let z be 9/((18/4)/3). Let n be u(z). Suppose -6*t + n = -4*t. Is t a prime number?
False
Let q be (-2)/3 - (-24)/9. Suppose 4*p - 52 = -q*n, 5*p + 5*n - 2*n - 66 = 0. Is (-78)/(-5) + p/(-20) a composite number?
True
Let i = 86 - 1. Is i a composite number?
True
Let x = 5 - 2. Suppose x*u + 7 = 4*u. Is u a prime number?
True
Let a = -1 - -1. Let z be a + 3 - (0 - 1). Suppose -z*y = -y - 129. Is y composite?
False
Suppose 2*r + 5*b = -0*r - 23, -5*b - 15 = 0. Let y be 2 - 54 - r/(-2). Let t = y - -97. Is t a prime number?
True
Let f(y) = 35*y + 4. Let z be f(-4). Let k = z - -227. Is k a prime number?
False
Let i = 482 + -259. Is i prime?
True
Let w(u) = u**2 + 3*u + 1. Let n = 11 - 8. Is w(n) composite?
False
Suppose c = b + 6*c - 19, 4*c = -5*b + 53. Let s(x) = 3*x**2 - 6*x - 1. Let p(y) = 7*y**2 - 12*y - 1. Let o(k) = b*s(k) - 4*p(k). Is o(-4) composite?
False
Let u(m) = -m**3 - m**2 - 5*m. Let g be u(-7). Suppose 3*q + q + 4 = 0, -4*q - g = -5*l. Is l a prime number?
False
Let y be (-1 - 0) + (4 - 1). Let a(u) = 58*u - 2. Let n be a(y). Suppose -4*k - 86 = -2*t, 0*k = -2*t - 3*k + n. Is t prime?
False
Let x be (-7 - -8)*401*3. Suppose 5*r - x + 428 = 0. Is r composite?
True
Is 6*-1*253/(-33) composite?
True
Suppose 2*f - 6*f + 3*g + 3185 = 0, 0 = -f + 4*g + 793. Is f prime?
True
Let c(v) = -v**3 + 12*v**2 + 3*v - 21. Is c(-10) a prime number?
False
Suppose d - 3*g - 289 = -5*g, 2*g = 4*d - 1156. Is d composite?
True
Let s be (-3)/(-2) - (-1)/2. Is (-1)/(3/(-534)*s) a composite number?
False
Let k be 10/(-4)*(1 + -3). Suppose n = -k + 52. Is n a prime number?
True
Let d = 307 - 196. Is d a prime number?
False
Suppose 6*b - 2*b - 10 = -5*p, -2*b - 5*p = 0. Suppose 1067 - 22 = b*a. Is a composite?
True
Suppose -13 = -4*g - 3*r, -4 = -r - 5. Suppose -g*z = z - 15. Suppose 481 = z*h + 2*h - y, 3*y - 12 = 0. Is h a composite number?
False
Suppose 10*b = 11*b - 1867. Is b prime?
True
Let s(h) = h**2 + h. Let k be s(0). Suppose -o + 0 - 2 = k. Is (28/6)/(o/(-51)) a composite number?
True
Suppose 472 + 524 = 4*x. Is x composite?
True
Suppose 0 = 3*v + 8*h - 5*h - 4080, 2*v - 2711 = h. Is v a prime number?
False
Suppose -5*f + 3 = -2. Let i be f*2*(-195)/(-6). Suppose -l = -i + 12. Is l a prime number?
True
Suppose 165 = -2*w + 7*w. Let n = 4 + -12. Let i = n + w. Is i a prime number?
False
Let v(k) = 3*k**2 - 6*k - 1. Let m be v(7). Let b = 147 - m. Is b a composite number?
False
Suppose -74*k = -77*k + 17637. Is k composite?
False
Is ((-20)/8)/(-5)*422 prime?
True
Let w be 12 + -2*3/3. Suppose -r = 4*f + 28, 0*f = -2*r + 5*f + 9. Is ((-24)/r)/(2/w) composite?
True
Suppose -z - 4967 = -3*l, 2*l - 5*z - 1591 - 1703 = 0. Is l prime?
True
Suppose 0*w = -2*w + 4. Suppose 2*n - 4*o + 20 = 0, 15 = 5*n + w*o + o. Suppose 2*s - 47 = -b, -5*b + n*b = -25. Is s a composite number?
True
Let v(q) = 70*q**2 + 26*q - 29. Is v(10) prime?
False
Let i(k) = 2*k**3 - 6*k**2 - 5*k + 2. Is i(7) a prime number?
True
Let w(c) be the second derivative of -5/6*c**3 + 0 - 1/20*c**5 - 3/2*c**2 + 1/2*c**4 - 2*c. Is w(4) a composite number?
True
Let a be 0/(0/(-2) + -2). Let x(h) = -h + 1. Let t(k) = 6*k - 11. Let b(u) = -t(u) - 5*x(u). Is b(a) composite?
True
Let r be 2 + 4/4*3. Suppose 2*i + 5*z = 4*i - 158, 2*z + 437 = r*i. Is i composite?
False
Let s(i) = 4*i**3 - 8*i**2 - i - 5. Is s(4) composite?
True
Suppose 4*n - 873 = n - 2*x, x = -3*n + 873. Is n composite?
True
Suppose -k - 970 = -3*k. Suppose -5*b + o = -745, -4*b + 5*o + 111 = -k. Is b prime?
True
Suppose -4*w = -0*w - 20. Let c = 10 + w. Is c a prime number?
False
Suppose -4*l + 5*x + 792 = 0, 4*x + x = l - 183. Suppose -3*n - 3*o = -0*o - 213, 2*n = 2*o + 146. Suppose t - 5*h = n, 4*t - t = 2*h + l. Is t a prime number?
True
Let h be (-28)/(-98) - 38/(-14). Suppose 3*j - 3*s - 45 = 0, -h*j - 3*s = s - 10. Is j a prime number?
False
Let m(s) = -2*s + 1. Let y be m(4). Let v(c) = -2*c - 6. Let g be v(y). Let o = g + 2. Is o a prime number?
False
Let v(r) = -18*r**2 - 4*r - 5. Let n be v(-5). Is (-3 - (-32)/12)*n prime?
False
Suppose 3*t - 4 - 2 = 0. Suppose 0*l + 437 = 5*y + t*l, -352 = -4*y - l. Is y composite?
False
Let q(c) = c**2 - 2*c - 1. Let n be q(3). Let h be 185 + 0/((-2)/1). Suppose 5*b + 5*g = h, n*g + 150 = 4*b + 7*g. Is b composite?
True
Let s(g) = g**3 - 14*g**2 + 23*g + 15. Is s(17) a prime number?
False
Let p(w) = w - 11. Let t be p(11). Suppose -m + 271 = -t*m. Is m composite?
False
Let n = 10 + -5. Let z = n - 3. Suppose t + 5*p = -4, z*p = t - 0*p - 31. Is t prime?
False
Suppose 0 = -5*g - 2 - 13. Let i be (2 - g) + -2 - -3. Suppose i*a - a - 175 = 0. Is a composite?
True
Let o = 188 + -47. Is o composite?
True
Let a(o) = -8*o**3 - o**2. Let w(v) = v**3 - 8*v**2 + 6*v + 6. Let q be w(7). Is a(q) prime?
True
Let u(i) = i**3 + 8*i**2 - 10*i + 7. Let c(v) = 7*v - 1. Let p be c(-1). Is u(p) a composite number?
True
Is 3 - 3*(-16)/12 composite?
False
Let q(j) be the first derivative of 2*j**3/3 + 5*j**2 - j + 5. Is q(9) a prime number?
True
Let b(u) = -u**2 - 9*u + 11. Let f(q) = 1. Let k(g) = -b(g) + 6*f(g). Let z be k(-10). Suppose -449 = -z*l + 2*p, -2*p + 0*p + 85 = l. Is l a composite number?
False
Suppose 9 + 5 = 2*y. Let u = y - -30. Is u a composite number?
False
Let m be (0 + 1)/(2/46). Let z = 126 + m. Is z a prime number?
True
Let b(q) be the third derivative of 0 + 1/8*q**4 - 7/6*q**3 + 1/60*q**5 - q**2 + 0*q. Is b(5) prime?
False
Is (-656)/28*7/(-2) prime?
False
Suppose 2*l + 2 = -2*u, -8*u + 25 = -3*u - l. Let c be (-12)/20 + 2383/5. Suppose u*m = -0*m + c. Is m a composite number?
True
Suppose -4*l + 459 = -2081. Is l prime?
False
Let y(t) = t + 8. Let x be y(-8). Suppose 3*l - 35 - 298 = x. Is