 v composite?
True
Suppose 3*i - z - 1892 = 0, 3*i + 4*z = 2206 - 309. Is i a prime number?
True
Let o be 2 - (21 + -3)/3. Is 1908/16 + 1/o a composite number?
True
Suppose -g + 2*s + 211 = -0*s, g + s - 211 = 0. Is g a composite number?
False
Suppose -5*i + 28 + 9 = 4*u, -13 = -5*i + 4*u. Suppose 0 = g - p - 0*p, -4*g = i*p. Suppose -5*v + 95 = -g*v. Is v prime?
True
Let h(k) be the second derivative of k**5/20 + 5*k**4/12 + k**3/2 + k**2/2 + 2*k. Let z be h(-4). Suppose 0 = -4*c + z + 143. Is c a prime number?
True
Suppose 3*k + 15 = 0, -v = -4*v - 5*k - 25. Suppose v*n + 3*n = 2*j, 17 = 3*j + 4*n. Suppose 4 = -j*b + 10. Is b composite?
False
Let h = -14 + 26. Let u = h - 7. Suppose -u*a = 2*d + d - 20, -4*d + 8 = 4*a. Is a a prime number?
True
Let j = -43 - -43. Suppose -3*m - 2*m = 0. Suppose -4*u - 2*o = -42, -2*o + 2 + m = j. Is u composite?
True
Let z = 37 + 12. Let q = z + 142. Is q a prime number?
True
Suppose -l - 3*l = 4. Let i be (l - -3) + (-2 - 2). Is (-67)/2*(i - 0) a prime number?
True
Let h be (1 - 7)*50/4. Let l = h - -142. Is l prime?
True
Is 1/((-8)/(-7138)) - 6/(-8) a composite number?
True
Let j = 4 - -2. Let m = 7 + j. Is m composite?
False
Let d(r) = -6 + 2 + 0*r + 3*r. Let l be d(5). Is 39/6*(-1 + l) a composite number?
True
Let x = -3 - -6. Let a(b) = -2*b**x - b + b + 4 - 3 - 4*b**2. Is a(-4) composite?
True
Suppose 2*n = 7 - 1. Suppose -n*j = 2*j - 395. Is j composite?
False
Let n be (-2)/5 + 185/25. Is ((-34)/(-6))/(n/273) a prime number?
False
Let l be (-7)/1*(-1 - -2). Let d(j) = -7*j + 10. Is d(l) a prime number?
True
Let s = -134 - -351. Is s composite?
True
Suppose 5*v - 4014 - 941 = 0. Is v a prime number?
True
Let h(a) = -a**3 + 8*a**2 + 2*a - 4. Let u = 80 - 55. Suppose 0 = -5*f + 5, -3*v - 5*f + u = -f. Is h(v) a composite number?
False
Suppose 738 = -0*j + 2*j. Is (-2 + j/(-6))*-2 composite?
False
Let v(l) = 8*l**2 + l + 1. Let b be v(-1). Let p be (b + -11)*4/3. Is p/6 + 473/3 a composite number?
False
Let s = -5 - -4. Let i be (3 - 2)*(57 + s). Suppose 5*w = 5*y - y - 203, i = y - 3*w. Is y composite?
False
Suppose 5*n - 3*z = n + 6, -4*n + 2*z + 8 = 0. Let d = n + -3. Is d + -2 + 0 + 55 composite?
False
Suppose -4*k + 2*c + 828 = 0, -5*k - 85 = -4*c - 1114. Let p = k - -2. Is p composite?
False
Suppose 5*b + 5*l = -10, -5*l - 7 = b + 3*b. Let r(q) be the third derivative of -q**6/30 + q**5/20 - q**4/8 + q**3/6 + q**2. Is r(b) prime?
False
Let k = -34 + 24. Let x = 3 - k. Is x a prime number?
True
Let a be 4*(0 + 202/4). Suppose 0 = -5*d + 687 - a. Is d a prime number?
True
Let l(v) = -v**2 - 7*v + 7. Suppose b - 4*b - 21 = 0. Let g be l(b). Suppose g*h = 5*h + 226. Is h prime?
True
Let f(u) = -2*u**3 - 3*u**2 + u + 1. Is f(-4) composite?
True
Is (3/1)/(-8 - 12953/(-1619)) a prime number?
False
Let f(z) = -9*z - 1. Let i be f(-1). Let o(j) = -45*j - i*j - 138*j. Is o(-1) a prime number?
True
Let a(n) be the third derivative of n**4/24 + 53*n**3/2 + 4*n**2. Is a(0) composite?
True
Let d = 441 + -168. Suppose 3*u = -0*u + d. Is u a prime number?
False
Suppose -4*c + 529 + 1239 = 4*l, c - 427 = -4*l. Is c composite?
True
Let b(t) be the third derivative of 89*t**5/60 - t**4/24 + t**3/6 - 2*t**2. Is b(1) a prime number?
True
Let p(o) = -2*o**3 - 4*o**2 + 8*o - 3. Is p(-7) composite?
False
Let r = 10 + -3. Suppose 0 = -3*y + r*y - 12. Is y composite?
False
Let c = 2016 + -731. Is c a composite number?
True
Let f be (-40)/(-14)*7/2. Let w(c) = 14*c**2 + 3*c - 4. Let a be w(f). Is 4/(-18) - a/(-18) a prime number?
True
Let x(m) = -3*m + 5. Let a be x(5). Let d = 14 + a. Suppose 0 = 3*l - w - d - 1, 5 = 5*w. Is l prime?
True
Suppose 3*l + 1 - 19 = 2*m, 4*l = 2*m + 22. Suppose 0 = -l*v + 29 + 191. Is v prime?
False
Let q = 5 - 1. Let d(i) = -q + 7 + 8 + i. Is d(0) a composite number?
False
Suppose 5*g - 3*g + 182 = 0. Is (-8841)/g - (-2)/(-13) a prime number?
True
Suppose 4*x - 5*b = 1061, 0 = -b - 2*b - 15. Is x composite?
True
Suppose 2*a + g - 10 = 0, 0 = -a + 3*a - g - 2. Suppose 4*u = 3*t + 5*u - 390, 3*t + a*u - 384 = 0. Is t prime?
True
Suppose 2 = 13*k - 12*k. Suppose k*l - 5*o - 295 = -4*o, -4*o = l - 161. Is l a composite number?
False
Let w(m) = -m**3 + 10*m**2 + 6*m - 16. Is w(9) prime?
False
Is ((-274)/(-3))/(16/312) a composite number?
True
Let m be 166/18 - 2/9. Suppose 0*h = -3*h - m, -179 = -2*j - h. Is j a prime number?
False
Suppose -5*c + 95 = -0*c. Suppose 5*x - c - 346 = 0. Let f = x + 220. Is f a composite number?
False
Suppose -5*q = 3*h - 29, 4*h + 3*q = -0*q + 24. Suppose -5*s = -10, -4*f + 730 = -3*s - 2*s. Suppose -h*y + 8*y = f. Is y prime?
True
Let z(b) = -223*b + 2. Is z(-3) composite?
True
Is (-5410)/(-25)*5/2 prime?
True
Let l = -8 + 26. Is (-4)/l - (-2002)/18 composite?
True
Is -2 + (1*-1 - (6 - 388)) prime?
True
Let a = 8 - 15. Let z be 9/6*(-6)/9. Let v = z - a. Is v prime?
False
Let h(o) = -553*o - 3. Is h(-2) a prime number?
True
Let j(b) = 104*b + 3. Is j(2) composite?
False
Let b(u) = 4 - 4*u**2 + 4*u**2 + u**3 - 6*u**2. Let r be b(6). Suppose 2*h - 3*y - 51 = -h, 3*y = r*h - 64. Is h composite?
False
Let z = 407 - 10. Is z prime?
True
Suppose 4*r = -3*p - 10 - 1, -2*r = p + 7. Suppose 0 = p*c - 4*s - 13, c - 3*s + 7*s - 15 = 0. Is c a prime number?
True
Let g = 28 - 25. Suppose h - 3*t = 133, -g*h = h + 5*t - 447. Is h composite?
True
Suppose 2*q - 1156 = 4*b, -3*q + 1537 = 2*b - 173. Let m = -255 + q. Is m composite?
False
Suppose 5*r = 3*r + 382. Is r a composite number?
False
Let y = 1958 - 9. Is y a composite number?
False
Let p = 161 - 76. Let s = p - -17. Let l = s + -65. Is l prime?
True
Let r(c) = -c**3 - 3*c**2 - 2*c + 3. Let a be r(-3). Is 2/((-24)/(-524))*a composite?
True
Let t = -6 - -11. Suppose -y + t = 2*l, -2*l - 5*y - 1 = -5*l. Suppose -89 = l*k - 243. Is k a composite number?
True
Suppose -2*i = 2*i - 4. Let u be (i - 16)*116/(-6). Suppose -g + 3*g - u = 0. Is g composite?
True
Suppose -2*o - 8 = -o. Let h = o - -8. Suppose 0 = -h*d - d + 155. Is d prime?
False
Suppose 55 = t + 4*n, 0 = -5*t - 4*n - 9 + 300. Is t composite?
False
Let r = -4 + 4. Suppose -2*o = 5*n - 181, r*n + n - 23 = 4*o. Suppose -4*c + 2*s - 2 = -88, -c - 4*s = -n. Is c composite?
False
Let i(f) = 0*f + 9 + 5 - f + 2*f. Is i(-8) a composite number?
True
Suppose -3*m - 12 = 0, -u - 401 = -4*u + 2*m. Is u a composite number?
False
Let j = 16 + -3. Suppose -4*g + f = -11, 0 = 5*g + f - 2*f - j. Suppose -g*r + 22 = -54. Is r prime?
False
Let b = 3 + -2. Let k(t) = 270*t**3 + 1. Let h be k(b). Let x = -152 + h. Is x prime?
False
Suppose z + 0*w = -3*w + 6, 0 = z - 4*w + 1. Let k = -14 - -30. Let x = z + k. Is x composite?
False
Let a be 14 - (-3)/(-6)*0. Suppose -2*k - 2*k = -452. Suppose -k + a = -3*m. Is m a prime number?
False
Let z = 3 + -4. Is (-18)/(-6) + (-1)/z a prime number?
False
Is -478*(4/2 - -5)/(-2) a prime number?
False
Let l = -2 - -5. Suppose -5 + 17 = l*j. Suppose -j*p + 60 + 16 = 0. Is p a composite number?
False
Let t(f) = 31*f**2 - 3*f + 2. Let y be t(-3). Let g = -175 + y. Is g prime?
False
Let u = 212 - 99. Is u prime?
True
Let y = -21 - -141. Suppose -k - 136 = -4*f, -y = -4*f + 3*k + 2*k. Is f a prime number?
False
Let j = -15702 - -25447. Is j prime?
False
Let z(t) = 17*t**2 - t + 3. Is z(9) a composite number?
True
Suppose 0 = -t - 8*w + 5*w + 3, -5*t = 5*w - 15. Suppose 2 = -2*m, r - 109 = -t*m - m. Is r prime?
True
Let p(t) = -58*t - 3. Let f(z) = 233*z + 11. Let q(y) = 6*f(y) + 22*p(y). Is q(1) prime?
False
Let h be (-1)/(-4) + (-6)/24. Suppose h = -4*i - 2*z - 122 - 96, -3*i = -2*z + 174. Is ((-1)/2)/(2/i) a prime number?
False
Let r(v) = v + 3. Let u be r(-4). Let a be 1/3*(-9)/u. Suppose x - 6 + 2 = -a*t, -2*t - 10 = 0. Is x a prime number?
True
Let o be 0/(-1 + -2 + 2). Suppose o = 2*j - j - 47. Is j a prime number?
True
Suppose 15 = 3*d - 3*x, -5*d + x - 15 = 6*x. Let l(c) = 4*c**2 - 1. Is l(d) a composite number?
False
Suppose 0 = 11*y - 15*y + 1340. Is y a prime number?
False
Suppose 18 = 3*t - t. Is t a prime number?
False
Suppose -5*h + 1 = 36. Let x(f) = -4*f - 5. Let j be x(h). Suppose 3*d = 4*m + 11, 3*d - m + 0*m - j = 0. Is d prime?
False
Let n(l) = 4*l**3 - l**2 - l - 1. Let r be (-29)/(-9) - 12/54. Let t(b) = 11*b**3 - 2*b**2 - 3*b - 3. L