, 0*v + i = -2*v + 522. Is v composite?
True
Let h = -47 + 114. Is h a prime number?
True
Suppose -3*f + 11289 = 5*l, f = 3*l + 1782 + 1981. Is f a prime number?
False
Suppose -6*j - j = -3241. Is j prime?
True
Let a = -4 + 4. Suppose -x - 15 + 1 = a. Is -1*(x + 0 + 1) a composite number?
False
Let g be (-2)/2 + (-1004)/(-2). Let x = -278 + g. Is x a prime number?
True
Suppose 4*x = 5*a - 257, 4*x - 2*x = a - 49. Is a composite?
False
Let j(r) = -32*r**3 - r**2 - 2*r - 1. Suppose -3*d + v - 5 = 0, -5 - 3 = -2*d - 5*v. Let n be j(d). Let i = n - 13. Is i prime?
True
Let m(y) = 4*y**2 + 4*y + 3. Let z be m(-3). Let n = z - 17. Is n a prime number?
False
Let d be 6 + (-3)/(-6)*-6. Let r(a) = 16*a**3 + a**2 - a + 1. Is r(d) a composite number?
False
Let d(r) = -18*r + 1. Let x be d(-2). Let v = x - 15. Is v*(27/6 - 1) a prime number?
False
Suppose 0 = -s + 3*i + 2332, 3*s - 3*i - 7001 = i. Is s a prime number?
False
Is 1*7026/24*4 a composite number?
False
Is 709/1*(1 + 0) a prime number?
True
Is 0 + 79 + (2 - 2) composite?
False
Suppose 15 = -3*b, 0 = -p + 2*b + 1851 + 530. Is p a prime number?
True
Suppose 3*z - 487 = 770. Is z a prime number?
True
Let i(p) = -5*p - 4. Let a(t) = -t**2 + 5*t - 7. Let n be a(5). Is i(n) composite?
False
Let z = -5 + 7. Suppose -d + z*n = n - 9, -3*n = 3*d - 9. Is d a prime number?
False
Let r = 228 + -106. Let p be (-1 - -2) + r + -1. Is -1 + p/2 - 1 a composite number?
False
Let j = 10 + -16. Let v = j - -4. Is ((v - 31) + -1)/(-1) a prime number?
False
Let l = -14 - -20. Suppose 4*i - l = i. Is i*-5*(-5)/2 a prime number?
False
Suppose k = -4*q + 3407, 1716 = -4*q + 6*q - 2*k. Is q a composite number?
False
Let o(j) = 7*j - 1 + 7*j - 3*j**2 + 4*j**2 - 11*j. Is o(5) prime?
False
Let c be -2 + 18/2 + -4. Suppose 0 = -4*p + 5*j - 80 + 547, -5*j = -c*p + 349. Is p composite?
True
Suppose -5*n = -n + 4. Let g = n + 156. Is g a composite number?
True
Is (-6148)/(-8) + (-3)/(-6)*1 a prime number?
True
Let s be -46*12/8*2. Let f = s + 295. Is f composite?
False
Suppose p + 2*n = 5682, 5681 = p - 0*p + 3*n. Suppose -5*r - p = -r. Is (r/14)/((-1)/2) a composite number?
True
Suppose t - 21 + 3 = 0. Let g = -7 + t. Is g prime?
True
Is (-10 - 1)*((-6)/(-6) - 24) a composite number?
True
Suppose 2*v - 2*n = 1 + 7, 0 = 3*v + n - 4. Let s(g) = 3 - 6 + 2*g**v - g**2. Is s(4) composite?
False
Let u = 22 - 38. Let f(z) = z**3 + 15*z**2 - 20*z + 7. Is f(u) prime?
True
Suppose -3*z - 18 = -4*p, -3*z = 3*p - 4 + 1. Suppose q = -o + p*q - 31, -4*o - 130 = -2*q. Let u = o - -56. Is u prime?
True
Suppose -5*l = 5*p + 60, 4*p - 45 + 3 = 5*l. Let y = 24 + l. Is y composite?
True
Let d(b) = b**3 - b**2 - b + 3. Let o be d(0). Let h(m) be the second derivative of 2*m**4 - m**3/3 - m**2/2 - m. Is h(o) a composite number?
True
Suppose 5*r = -p - 0*p + 64, 0 = 2*r + 2. Is p composite?
True
Suppose 3*j - 5*a - 252 = -0*j, -j = -a - 82. Is j prime?
True
Let u = 276 - 62. Is u a composite number?
True
Let d(i) be the first derivative of i**4/4 - i**3/3 - i**2/2 + 10*i - 1. Let x be d(0). Is (-2250)/(-14) - x/(-35) a composite number?
True
Let p = 4 + -1. Suppose -p*f + 2*z - 9 = z, -2*f = -3*z + 13. Let a(t) = 2*t**2 - t. Is a(f) composite?
True
Suppose 0*d - 4*d + 124 = 0. Is d a prime number?
True
Suppose 5*t = 3*j + 326, 3*j - 229 - 115 = -5*t. Is t composite?
False
Let j(w) = -w**2 - 7*w - 6. Let n be j(-5). Suppose 6*k = n*k + 86. Let y = -8 + k. Is y prime?
False
Let l be (-3304)/10 + 12/30. Let d = -187 - l. Is d composite?
True
Suppose 0 = -2*g + g - 3*f - 1, 0 = -3*g + 2*f + 19. Suppose -5*d - g*x + 101 = -6*x, 50 = 2*d + 2*x. Is d a prime number?
False
Let h be 2/(-2 + -1 + 5). Let y be (-394)/(6/(-3)*h). Suppose -92 = -s - 3*v, -5*s + 244 = -4*v - y. Is s composite?
False
Let j = 3 + 0. Suppose 0*b = -j*b - 84. Let u = 99 - b. Is u composite?
False
Let r(j) = 843*j + 1. Let p be r(-1). Let o = -337 - p. Is o composite?
True
Suppose 0 = -3*t + 506 + 211. Is t prime?
True
Suppose -2*q - q + 9 = 0. Suppose 4*o = -q*l + 310, 3*l + 30 = o - 55. Is o composite?
False
Is (2/(-6))/(5/(-2325)) composite?
True
Let k(a) = 3*a + 2*a**2 + 0*a**2 + 3 - a**2. Let j be k(-3). Suppose -j*u - 2*u + 416 = 3*h, -u + 4*h + 97 = 0. Is u composite?
True
Suppose k = -5*s + 2220, -2*s + s + 444 = 5*k. Suppose 3 = -3*g, -o = -2*o + 5*g + s. Is o composite?
False
Let h = 3 + -3. Suppose 4*i - 132 + 40 = h. Is i a prime number?
True
Let t = -5 + 156. Suppose -2*f + 42 = -3*x + t, -142 = -4*x + f. Is x composite?
True
Suppose -8701 = -5*c - 2*c. Is c composite?
True
Suppose -v + 2 + 4 = 0. Let c(l) = -3*l + v - 4 + 0*l. Is c(-4) a composite number?
True
Suppose -2*z + 1043 = -627. Is z a composite number?
True
Let l = 77 + 342. Is l prime?
True
Suppose 74 - 608 = -3*b. Suppose 3*s = 5*s - b. Is s a prime number?
True
Let m = -126 - -63. Let t = -42 - m. Is t composite?
True
Is (349*3/6)/((-1)/(-6)) composite?
True
Let z be (-1 - 3)/(14/(-385)). Let h = z - -99. Is h prime?
False
Suppose 3*s + 3*t - 2250 = 7818, 4*t - 10065 = -3*s. Is s a prime number?
True
Let j = 295 - -1362. Is j composite?
False
Let x = -1157 - -1628. Suppose -3*b + 6*b = x. Is b a composite number?
False
Is (-2)/(-4) + 14805/10 a prime number?
True
Let j = -1241 - -1872. Is j a prime number?
True
Let g be (20/(-4))/((-2)/(-68)). Is -2*(g/4 + 1) composite?
False
Let q be 4/14 + 2/(-7). Is (-18)/6 - (q + -34) composite?
False
Let c(u) = -2*u + 7. Let l be c(-7). Let v = -15 + l. Suppose v*a = a + 70. Is a composite?
True
Let y = -2 - -6. Let x(q) = 2 + 6*q + 2 - 3*q - q**2 - y*q - 3*q**3. Is x(-3) composite?
False
Let o(q) = -q**2 - 8*q - 9. Let b be o(-6). Suppose 5*f - b*f - 82 = k, -8 = -2*k. Is f composite?
False
Suppose 3 + 3 = 2*g. Suppose -4*y = -3*b + 505, -4*b + 355 = -g*y - 309. Is b a prime number?
True
Suppose 0 = -0*i + 4*i. Suppose i = -2*p - 5*b + 15 + 9, 5*b - 28 = -4*p. Suppose -4*t = -4*y - 348, 0 = -5*t + y - p*y + 423. Is t a composite number?
True
Suppose 0 = r + 9 - 0. Let q be 0 - (2 + -4 + r). Suppose -q - 12 = -j. Is j a composite number?
False
Let l(k) = -1 - 4 + 49*k**2 - 22*k**2 + 4*k. Is l(2) prime?
False
Let m be -2*(-2 - -1)/1. Let k be (7 + -13)/(m/(-17)). Suppose -k = -3*i + 396. Is i prime?
True
Let k(w) = -w + 83. Let b(q) = -11*q**2 - 25*q + 13. Let v(m) = 5*m**2 + 12*m - 6. Let z(h) = 6*b(h) + 13*v(h). Let x be z(6). Is k(x) a prime number?
True
Let k(x) = x**2 + 3*x + 2. Let a be k(-3). Suppose -2*n = -c + 170, a*c - n = -0*n + 352. Is c composite?
True
Let z = 327 + -164. Suppose -5*l + z + 642 = 0. Is l composite?
True
Suppose s = -k + 3*s + 293, -4*k - 3*s + 1183 = 0. Let f(r) = -5*r**2 - 2*r + 4. Let j be f(4). Let b = j + k. Is b composite?
False
Let u(n) = n**3 - 4*n**2 + n. Let g be u(4). Is 1/(4/496*g) prime?
True
Is (-22782)/(-12) + (-5)/(-2) composite?
False
Suppose -23*z = -18*z - 275. Is z a composite number?
True
Let g(c) = c**2 - 8*c + 3. Suppose 0 = -5*l + 12 + 28. Let h be g(l). Suppose -h*b - 39 = -4*b. Is b prime?
False
Let d = 3 + 2. Let f = -8 + d. Is 3/(f/(-88)) - -1 a composite number?
False
Let l be 6/(-3) + 9 + -2. Let g(m) be the first derivative of m**2 + m + 2. Is g(l) a prime number?
True
Let q = 46 + -83. Let f = 104 + q. Is f a prime number?
True
Let w(c) = c**3 - 7*c**2 - 6*c - 4. Let d be w(5). Let k = d + 287. Is k composite?
True
Is 492 + ((-1)/(-6))/((-12)/(-72)) a prime number?
False
Suppose 2*z + 3*z - 1055 = 0. Is z a prime number?
True
Suppose -3*v + n = 4*n - 1137, -5*v = n - 1907. Is v composite?
True
Let x(r) = 5*r**3 - 3*r**2 + 8*r - 3. Let o(b) = 9*b**3 - 7*b**2 + 15*b - 7. Let h(z) = -3*o(z) + 5*x(z). Is h(-5) a composite number?
False
Suppose -2*w + 249 = w. Is w composite?
False
Let b = 3 + -1. Suppose 3 = -f - b. Let a(l) = -l**3 + l**2 + l + 4. Is a(f) a prime number?
True
Let x = -1185 + 2350. Suppose 6*f = f + x. Is f a composite number?
False
Suppose -d + 0*d = -1. Suppose -p + d = -2. Let l(t) = 7*t - 2. Is l(p) composite?
False
Let g(l) = l**2 + 10*l + 3. Let p be g(-10). Suppose -p*k - 345 = -6*k. Let q = k + -62. Is q composite?
False
Let s(l) = 20*l**3 + 3*l**2 - 11. Is s(6) composite?
True
Suppose -90*d + 93*d = 435. Is d a composite number?
True
Let g(d) = 9*d**2 - 2*d - 8. Is g(7) prime?
True
