11 + 19. Let b = -5 + p. Let m = b + 16. Is m composite?
False
Suppose -20 = 5*v - 9*v. Let u be 6/(-4)*-1*2. Suppose -5*t - 2*m = -u*m - 331, -v*m = -20. Is t prime?
True
Let n = 2 + -2. Suppose h - b - 2 = n, -h = -0*b - 3*b. Suppose 4*l = h*l + 127. Is l composite?
False
Is ((-1838)/5)/(0 - (-10)/(-25)) prime?
True
Let p = -2 - -3. Is p/(2 - (-9)/(-6)) a prime number?
True
Let o = -369 + 578. Is o composite?
True
Let s = 469 + 30. Is s prime?
True
Suppose 501 = 3*v - 3*t, -v + t + 167 = -4*t. Is v prime?
True
Let j = 57 - -112. Is j prime?
False
Let z(p) = -2*p**3 + p**2 + 3*p + 3. Suppose 3 - 7 = 2*i. Let q be z(i). Suppose 2*b - q + 85 = 2*j, 0 = 4*j - b - 148. Is j prime?
False
Suppose g = -0*g + 3. Let h be 4*2/6*g. Suppose 2*m = -5*s + 113, h*s = -2*m + 27 + 87. Is m composite?
False
Suppose -4*h = 5 - 17. Let p(b) = 7*b**2 + 2*b**3 - 3*b**h + 2*b + 0*b**3 - 5. Is p(5) prime?
False
Let d(z) = -1. Let v(i) be the third derivative of i**4/4 + i**3/3 - i**2. Let o(l) = 3*d(l) - v(l). Is o(-6) composite?
False
Let x(b) = b**2 + 6*b - 1. Let z be x(-8). Let v be z/10*16/2. Suppose 5*m = 2*c - v - 6, -4*m + 78 = 5*c. Is c composite?
True
Let p be -6*47*1/(-2). Suppose u - p = 2*c, -3*u + 0*u + 5*c + 427 = 0. Is u a prime number?
True
Let r(i) = i**3 + 13*i**2 - 13*i - 16. Let q be r(-11). Suppose 0 = 3*d - 2*f - 202 - q, -5*d + 960 = 5*f. Is d a composite number?
False
Let v(o) = 2*o**2 - 2*o - 2. Is v(-9) a composite number?
True
Let o = 3 - 3. Suppose 2 = c - o. Is 18*(-9)/(-2) - c a prime number?
True
Let a(y) = -y**2 + 7*y + 20. Let u be a(9). Is 367 + u - (8 - 4) a prime number?
False
Suppose 0 = -3*s - 2*s + 120. Suppose 4*v + s = 152. Suppose -34 = -2*x + v. Is x a prime number?
False
Let x be 4/10 - (-372)/(-5). Let u = -17 - x. Let m = -36 + u. Is m prime?
False
Suppose 6*j = 6067 + 335. Is j composite?
True
Let u be 1/(-5) - (-48)/15. Suppose 2*o - 128 = 2*m + m, -3*o = -u*m - 195. Is o prime?
True
Let h be 12/(-2)*4/(-12). Suppose -h*c - 1251 = -5*v, 2*v = -0*c - 5*c + 512. Is v prime?
True
Let p = -5 - -8. Suppose 0*x = x - p. Is x composite?
False
Let a(q) = -2*q**3 - 2*q**2 + 3*q - 4. Suppose 4*y = 5*g - y + 20, 0 = -2*g - 2*y - 4. Let d be a(g). Suppose 23 = 2*w - d. Is w composite?
False
Suppose 3*q + 102 = 429. Is q prime?
True
Let g = -9 - -3. Let n(z) = 3*z**2 + 4*z + 7. Is n(g) prime?
False
Let o(c) = -323*c - 32. Is o(-5) a composite number?
False
Let g be ((-4)/6)/((-2)/15). Suppose 4*i = -g*r - 818, 0 = -r + 2*r - 3*i + 156. Let d = -80 - r. Is d prime?
False
Let p(q) = -3 - 5*q**2 + 4*q**2 - 4*q + 4*q**2 + q**3. Let m be p(4). Suppose 0 = -5*w + s + m, 0 = -w + 6*w + 4*s - 103. Is w prime?
True
Let z(h) be the second derivative of h**6/60 - h**5/60 + h**4/24 + h**3/2 + 3*h. Let l(y) be the second derivative of z(y). Is l(4) composite?
False
Let s(m) = 1. Let c(a) = -20*a - 2. Let l(v) = c(v) + 5*s(v). Let r be l(3). Let g = 20 - r. Is g prime?
False
Let a(s) = -s - 6. Let d be a(-11). Suppose -4*z - 4*k = 508, 3*z = z + d*k - 254. Let c = 206 + z. Is c composite?
False
Let c(k) = -k**3 - 5*k**2 - 2*k - 9. Is c(-8) a composite number?
False
Suppose 4*s - 1892 = 4*y, -3*s + 1051 + 366 = -2*y. Is s a prime number?
False
Suppose 120 = -5*r - 3*i, 120 = -3*r - 2*r + 4*i. Let q = r + 80. Suppose 2*g + 0*g + q = 5*m, -m + 13 = -g. Is m a composite number?
True
Let v(g) = 3 - g + 2*g + g. Let b = 24 + -15. Is v(b) prime?
False
Is ((-2)/4)/((-11)/15466) composite?
True
Let l(n) = 4*n**3 - 9*n**2 + 6*n - 1. Let z be l(6). Suppose -3*v + 359 = -5*h + h, -2*h - z = -5*v. Is v composite?
False
Suppose 31*n - 29*n - 262 = 0. Is n composite?
False
Let h(v) = -5*v**3 - 7*v**2 - 6*v + 1. Is h(-6) composite?
True
Let s be (-3)/(-3) - (-82)/2. Let t = s + -19. Is t a composite number?
False
Let g be (28/(-6) + 3)*-3. Is 2078/g - 3/5 a prime number?
False
Let h be 3 + (-2)/(-4)*-6. Suppose 4*n = 2*o - 194, h = 2*n + n. Is o a composite number?
False
Suppose 3*v - 2 = 4, 3*h + 2*v = 4. Let r be -1 + 13 + -2 + h. Is (-6)/r + 316/10 a prime number?
True
Suppose 2*f - 87 = -2*g + 667, 0 = -2*f. Is g composite?
True
Suppose -187 = -x + 34. Is x composite?
True
Suppose k = 6*k. Suppose 5*r + 36 + 84 = k. Let v = r + 215. Is v a prime number?
True
Suppose -4*z + 3*m = -m - 424, 5*m = 2*z - 200. Suppose 4*f = -12, -z = -5*k - f + 212. Is k prime?
False
Let w(y) = 2*y - 4. Let m = -4 - -9. Let r be w(m). Let f(u) = 2*u**2 + 2*u - 7. Is f(r) a composite number?
True
Let u be 4*1*13/(-4). Let y = 18 + u. Suppose -124 = -y*i + i. Is i a prime number?
True
Let w(q) = 3*q**2 - 1. Let k be (-3)/(-9)*3 - 0. Let n be w(k). Suppose 19 = -n*z + 205. Is z a prime number?
False
Suppose 2*w = 6*w - 2676. Is w composite?
True
Suppose -1 = 4*n + 19. Is (795/12)/n*-4 a composite number?
False
Suppose 2*x - 7 = -1. Suppose x*m - 5*o = 287, -4*m + 0*o = o - 352. Suppose 3*b = 4*b - j - 93, -5*j - m = -b. Is b a composite number?
True
Let m = 1 + -1. Suppose -r + 53 = -3*o, r + o - 57 = -m. Let x = r + 53. Is x composite?
False
Suppose p - v + 2*v - 658 = 0, 0 = 4*v - 20. Is p a prime number?
True
Suppose 0 = -5*b - 3 - 27. Is -1*-62*(-3)/b composite?
False
Let w be -3 + 5 + -3 - 190. Let l = 270 + w. Is l a prime number?
True
Suppose -4*o = -o - 6. Suppose -2*h = r - 835, 4*r = o*h - 414 - 436. Is h prime?
True
Suppose -5*b + 38 = 2*l - 3*b, 2*l + 4*b = 38. Is l a prime number?
True
Suppose -5*o + 65 + 90 = 0. Is o composite?
False
Suppose 0 = -v + 3*c + c + 24, 0 = 2*v + 3*c + 7. Let i(j) = j**2 - 5. Is i(v) a prime number?
True
Let w = -112 - -44. Let f = w - -147. Is f composite?
False
Let d(i) = 11*i**2 + 12 - 8*i - 30 + 7 + i**2. Is d(9) a prime number?
False
Suppose 0 = g + 8 - 4. Is 553/4 - 3/g a composite number?
False
Let z(r) = -56*r**3 + 2*r**2 + r. Let a be 4 + -2 + (-9)/3. Is z(a) a prime number?
False
Let d(w) = -w - 4. Let s be d(-7). Suppose 8*b = s*b + 395. Is b a prime number?
True
Suppose -3*s = -3*i + 1923, i = -s + 607 + 34. Is i a composite number?
False
Let d = 12 + -8. Suppose 362 + 122 = d*f. Suppose -f = -j - 2*t, t = -4*j + 2*t + 511. Is j composite?
False
Let z be 1*(-3 - (-168)/2). Let d = z + 46. Is d a prime number?
True
Let j(d) = d + 2*d**3 + 7*d**2 - 1 - 7*d**2. Let l be j(1). Suppose l*t - 273 = -7. Is t a composite number?
True
Suppose o = -3*s - 0*o, 3*s = -2*o. Suppose s = -2*z - z + 3021. Is z prime?
False
Is -5 - -2 - (-7065 - -1) prime?
False
Let i(a) = -27*a + 4. Let k(x) = -x - 1. Let r = -1 + 7. Let l(b) = r*k(b) + i(b). Is l(-3) a prime number?
True
Let h = 87 + 136. Is h a composite number?
False
Let m = 3 + -2. Let a be 1*-2 - m - -1. Is a - (-3)/((-6)/(-26)) prime?
True
Let x(f) = 3*f**2 + 3*f. Let l be x(-2). Suppose 1112 = 10*n - l*n. Is n a prime number?
False
Suppose d - 416 = 65. Is d composite?
True
Let k be 4 + 2/4*4. Suppose -3*v + k*v = 66. Is v a prime number?
False
Let o(k) be the first derivative of -9*k**2/2 - k - 1. Is o(-6) a prime number?
True
Suppose 443 = 7*y - 6*y. Is y a prime number?
True
Let m(a) = 2*a**3 + 2*a**2 - 1. Let f be m(1). Suppose 0 = -5*v - 3*u + 21, -13 = -0*v - f*v - 2*u. Is v a prime number?
True
Let l be (-1202)/(-8) + 1/(-4). Let j(z) = 23*z + 7. Let f be j(5). Suppose -g - 3*x + l = 2*g, -3*g + 4*x + f = 0. Is g composite?
True
Let n = -1772 + 4275. Is n prime?
True
Suppose -2*m + 321 = -m. Is m a prime number?
False
Suppose -4*k + 0*h = 3*h - 25, 3*k - 6 = 2*h. Suppose -k*r + 16 = 0, 0*c = 4*c + 3*r - 88. Suppose -c - 51 = -5*v. Is v a composite number?
True
Let l = -14 + 10. Let v be (-6)/(-9)*(-1 - l). Suppose 7*f - 275 = v*f - 2*m, -3*f - 3*m = -165. Is f a composite number?
True
Let a(c) = c**2 - c - 5. Let i be a(-4). Is (-5)/(i/(-99)) - 2 a prime number?
True
Let z be 8/28 - (-38)/14. Suppose 0 = 3*u - 4*f - 2, f = -4*u + z*f + 6. Suppose -37 = -3*t + u. Is t a composite number?
False
Let o = 29 - 15. Let i = 45 + o. Is i a composite number?
False
Let p(i) = -6*i**3 - 9*i**2 - 4*i - 5 + 5*i**3 + 6. Is p(-9) a prime number?
True
Let w = -86 + 180. Is w composite?
True
Let q = -34 + 17. Let j = 2 - q. Is j a composite number?
False
Let m(t) be the second derivative of t**5/20 - 2*t**4/3 + 7*t**3/6 + 9*t**2/2 + 2*t. Is m(7) a prime number?
False
Suppose -3*s + 3*a - 9 