*v = 5*v - h. Is v composite?
False
Let b = 2 - 1. Let d be 10 - (3 - 2 - 3). Let c = b + d. Is c a prime number?
True
Let a(r) = -31*r**3 - 2*r**2 + r. Let c be a(1). Let q = 35 - c. Is q prime?
True
Suppose -2*k + 715 = -5*g, -2*k + 2*g + 675 = 5*g. Suppose -k = t - 4*t. Is t a prime number?
False
Suppose 4*u - 2*u - 938 = 0. Is u prime?
False
Let s be -640*(2 - 8/20). Is (-2)/6 + s/(-12) a prime number?
False
Suppose 0 = -4*h + 5*h - 2. Let j = h + 5. Is j composite?
False
Suppose u = 2*a - 150, 3*u + 2 = 8. Let m(o) = 2*o**2 - 10*o + 7. Let h be m(6). Let g = a - h. Is g a composite number?
True
Suppose t + 5*z + 27 = 0, -3*z + 10 = t + 27. Is (184/(-12))/(t/6) a composite number?
True
Suppose -5*h + 1594 + 851 = 0. Let t be 2/4 + (-2)/4. Suppose t = 5*j - 2*j - h. Is j composite?
False
Let n be (-4)/1 + 3 - 3. Is n + 206 + -4 + 4 a composite number?
True
Let s(r) = 9*r**2 - r. Let u = -5 + 3. Let f be (-2)/u*(-1 - 0). Is s(f) a prime number?
False
Let c(s) = s - 8. Let t be c(7). Let y(x) = -127*x. Is y(t) a prime number?
True
Let j be 0/(4*1/2). Suppose r + 3*i - 305 = j, -4*r = 2*i - 1229 + 9. Is r a composite number?
True
Suppose -9*a = -8*a - 973. Let y = -682 + a. Is y prime?
False
Suppose -2*i - 6 = 0, -2*i - 11 = s - 2*s. Suppose -s*z + 36 = -229. Is z composite?
False
Suppose -4*d - 3*j + 64 = j, -3*d - j = -52. Suppose -133 = -m - d. Is m a prime number?
False
Let v(a) = -a + 1. Let n be v(-3). Suppose 3*b - 295 - 131 = 5*i, -b - n*i = -142. Is b a composite number?
True
Let z(t) = -3*t**2 - 8*t + 8. Let b be z(8). Let q = -103 - b. Is q a prime number?
False
Let y = -9 + 9. Suppose -4*z + 2292 = -y*z. Suppose -4*m + z = -m. Is m a composite number?
False
Suppose -3*u - 149 = -4*v, -89 = -4*v + 4*u + 63. Is v a prime number?
False
Let r(k) = k + 11. Let c be r(-8). Let w(f) = 3*f + 2. Is w(c) composite?
False
Suppose 4*v + 679 = 11*v. Is v a composite number?
False
Let p(c) be the second derivative of 13*c**4/12 + c**2/2 - 7*c. Is p(2) composite?
False
Let i(w) = 162*w + 67. Is i(6) a composite number?
False
Let g be (-702)/(-169) - 2/13. Suppose 44 = g*a - 152. Is a a prime number?
False
Let f(w) = -8*w - 1. Suppose 3*s + 0*s = 0. Suppose s = -4*t + 9 - 49. Is f(t) a prime number?
True
Suppose 0 = 3*v - 6. Let f = -8 - -13. Suppose -f*m + 3 = -v*m, -3*j - 5*m = -323. Is j a composite number?
True
Suppose -25 = -5*n - 0*n. Suppose -5*c - 63 = -2*o + 35, 0 = 5*c + n*o + 70. Let i = 127 + c. Is i a prime number?
True
Let l(u) = -u**3 + 8*u**2 - 5*u + 1. Let z be l(7). Let t be (-17)/3 - 5/z. Is 662/18 + t/(-27) prime?
True
Suppose 6*h - 272 - 10 = 0. Is h prime?
True
Let p(l) = 6*l**2 + 3*l. Let d be p(-2). Let g = d + -25. Let f = g + 14. Is f composite?
False
Let f(q) be the third derivative of q**6/120 + 13*q**5/60 + 7*q**4/24 + 7*q**3/6 - 2*q**2. Is f(-12) a composite number?
False
Let b be (0 - (1613 + 2))*-1. Suppose 2*c - 7*c + b = 0. Is c prime?
False
Let x = -29 - -69. Is -1 - (6/3 - x) a composite number?
False
Suppose -b + 2*a - 5*a + 1052 = 0, 0 = 4*b - 5*a - 4191. Is b composite?
False
Let c(y) = y**3 - 9*y**2 + 9*y - 1. Suppose 0 = 4*d - d - 54. Let r = -10 + d. Is c(r) a prime number?
True
Let w(o) = o - 6. Let x be w(9). Suppose 3*g - 16 = -k, 4*k + 3*g - g = 44. Let i = k - x. Is i a prime number?
True
Let b(v) = 0 - 3 + v + 9*v**2 + v. Let c(k) = -k - 7. Let i be c(-9). Is b(i) a prime number?
True
Let h(x) = x**2 - 2*x + 7. Suppose -5*u = -d - 9 - 1, 0 = 5*u - 5*d + 10. Let w be -1 + 1 + (u - -3). Is h(w) prime?
True
Suppose 15 - 5 = 5*i. Suppose -w = -2*r + 502, 5*w - 502 = -2*r + i*w. Is r a prime number?
True
Suppose 8 = 5*f - 7*f, -7833 = -3*t - 3*f. Is t composite?
True
Let x be 34 + 4 + -3 + -2. Suppose -2 = -5*v + x. Is v a prime number?
True
Let x(j) be the first derivative of 6*j**2 + 5*j - 3. Is x(12) a composite number?
False
Let p = 8 + -5. Suppose -2*u = -4*o + 16, -p*o - 3*u + 4 = -17. Suppose -o = -t + 57. Is t composite?
True
Let p = -391 - -975. Suppose 3*i + p = 3*o + 215, -3*o = 5*i - 401. Is o a composite number?
False
Let j be (1 - 0)*0 + 16. Let b = 4 - 4. Suppose b = -5*o - j + 111. Is o a composite number?
False
Suppose f - 3*v = 179, 3*f - 537 = -0*v - 2*v. Is f a composite number?
False
Let v(h) = -h**2 - 8*h + 4. Let z be v(-6). Let n = 3 - z. Let y = -4 - n. Is y a composite number?
True
Suppose -2*v = -7*v + 795. Is v composite?
True
Let k(n) = 53*n**2 - 2*n + 3. Is k(2) composite?
False
Suppose 4 = -k + 11. Suppose 4*l = 3*j - 1, 3*j - l = -0 + k. Let r(h) = 6*h**2 - h - 2. Is r(j) composite?
True
Suppose 0 = 2*g + 4*u - 70, -4*g = -2*u + 37 - 127. Suppose -5*v - g = -10*v. Suppose -2*z = -3*x - 29, 3*z + v*x = 4*x + 71. Is z a composite number?
True
Let g(z) = -z**3 - 10*z**2 + 4*z + 7. Is g(-12) a prime number?
False
Let u(y) = -y**3 + 9*y**2 + 7*y + 11. Let m be u(10). Let p = m + 53. Is p composite?
True
Let q be (-2)/7 - 120/(-28). Suppose 2*g + 98 = 4*f, q*f = g - 5*g + 80. Is f composite?
False
Let u(r) be the third derivative of r**4/8 + r**3/2 + r**2. Let k be u(3). Suppose -166 = -4*t - 2*f - k, 4*f = 5*t - 186. Is t a prime number?
False
Suppose -2*t - 52 = 4*d + t, 5*d = t - 84. Let g = d - -33. Suppose 2*i + 5*n = g, -2*n + 42 = 4*i - 0*n. Is i a prime number?
True
Let y be (-2)/4 + 3/6. Suppose y = -3*h + h + 158. Is h a prime number?
True
Suppose i + 9 = 3*z - 0*z, 0 = -z - 4*i + 16. Suppose -j = z*j - 1855. Is j a prime number?
False
Suppose -q + 544 = -243. Is q a prime number?
True
Suppose -2*w + 3417 - 965 = 0. Is w composite?
True
Suppose 524 = 4*b - z, -393 = -6*b + 3*b + z. Suppose 5*v - v - t - b = 0, -t + 107 = 3*v. Is v composite?
True
Suppose 2*l = 5*c + 156, -5*c - 107 - 46 = -l. Let a = c + 187. Is a prime?
True
Suppose 3*k - 4*k + 5 = 0. Suppose k*v + 5 = 0, -2*y + 0*v + 1 = 5*v. Is y prime?
True
Suppose 3*v = c + 8455, 3*v = -9*c + 4*c + 8467. Is v a prime number?
True
Is (-573)/2*(3/9 - 1) composite?
False
Let g be (-2)/10 - (-706)/5. Is g*((-12)/9)/(-4) a prime number?
True
Suppose -40 = -7*x + 11*x. Is ((-148)/x)/(10/25) a composite number?
False
Let i = 115 + -50. Suppose 0 = 3*u - 166 - i. Is u prime?
False
Let f be -2 - 2/(8/(-20)). Suppose 5*v + 4*y + 279 - 3214 = 0, 3*y + 1761 = f*v. Is v composite?
False
Let m(a) = 2*a**2 - 9*a. Let l be m(12). Let v = 5 + l. Is v a prime number?
False
Let z(o) = o**3 + 8*o**2 - 5 - 5*o**2 + o**2 - 5*o**2 + o. Is z(4) a prime number?
True
Let d = 454 + -301. Let x = d + -47. Is x composite?
True
Suppose 0*w - 172 = -4*w. Is w composite?
False
Let y(b) be the first derivative of 2 + 0*b**2 + 2/3*b**3 - 5*b. Is y(6) a prime number?
True
Let l(z) = 12*z**2 - 11*z + 1. Is l(-12) a prime number?
True
Suppose i = -5*x + 68 + 168, -5*x - 4*i + 224 = 0. Let s = -90 + x. Is (-5)/(10/s)*1 a composite number?
True
Let s be (6/(-4))/(1/(-2)). Suppose -4*m + 3*p - 12 = -7*m, -s*p - 12 = -5*m. Suppose m*g - 451 - 344 = 0. Is g prime?
False
Let s be 4*3/6 + 0. Let v = 3 + s. Suppose 56 = v*i - 59. Is i a prime number?
True
Let c(d) = -3*d**2 + 11*d + 12. Let u(n) = n**2 - 5*n - 6. Let h(l) = -2*c(l) - 5*u(l). Let i(a) = a + 2. Let w be i(-6). Is h(w) composite?
True
Let u(l) = 27*l - 4. Is u(3) composite?
True
Suppose 5*d = -5*y + 4*y + 19, 0 = -4*y + 2*d + 10. Suppose y*r + 358 - 1618 = 0. Suppose 2*b + 3*b - 5*s - r = 0, -5*s - 248 = -4*b. Is b a composite number?
False
Suppose -l - 4 = -0*l. Let u(o) = -7*o**3 + 23*o**2 + 6*o + 1. Let c(d) = -3*d**3 + 11*d**2 + 3*d + 1. Let h(z) = l*u(z) + 9*c(z). Is h(-6) prime?
True
Suppose -8*p = -4*p - 12. Suppose 8*f - 860 = p*f. Suppose 5*c = 2*k + 2*c - 101, -4*c = 4*k - f. Is k prime?
False
Let n(h) = -h**3 + 5*h**2 + 2*h - 6. Let q be n(5). Let t be (27/12)/(q/(-112)). Is (29/(-3))/(7/t) a prime number?
False
Let k(r) = 14*r - 2. Let o be k(3). Let l = -73 + o. Let j = -23 - l. Is j a prime number?
False
Suppose -4*l = -9*l + 615. Is l composite?
True
Suppose 4*r - 337 = 87. Suppose -5*c + 243 = -3*a - 197, -c - 3*a = -r. Is c composite?
True
Suppose 3*r = -r + 892. Is r a prime number?
True
Suppose 8 = 3*b - 4. Suppose -b*c = c - 775. Is c prime?
False
Let r = 0 + 2. Suppose 0*x + x - 123 = 4*u, u + 232 = r*x. Is x prime?
False
Let t = -13 - -7. Let c be (-1)/(-6) - (-1)/t. I