*h, -2*j + 118 = -0*j - 4*h. Is j a composite number?
True
Suppose -6*x = -x - 5435. Is x a prime number?
True
Let g(u) = u**2 + 2. Let n be g(0). Let p(f) = 104*f + 3. Is p(n) prime?
True
Let w(v) = 31*v**2 + v. Let u be w(1). Let y be (16/(-6))/(4/(-6)). Suppose -y*b - 2*s = -4*s - u, 5*b + 4*s = 14. Is b composite?
True
Let r = 3 + -1. Let o = r - 8. Is o/15 - (-628)/20 a prime number?
True
Let z = 4 - 4. Suppose z*q + q - 89 = 0. Is q a prime number?
True
Let a(z) = -60*z**3 + 2*z**2 + 5*z + 1. Is a(-2) a prime number?
True
Suppose -159 - 18 = -3*r. Is r a prime number?
True
Let w be 15/6*(-8)/(-5). Suppose -5*v + 3*q = -957 + 237, -w*q = -3*v + 443. Let j = v + -82. Is j a prime number?
True
Let a(j) = 19*j**2 - 2*j + 2. Let x be a(2). Let l = x + 15. Let n = l - 56. Is n composite?
True
Let s(t) = -3*t**3 - 28*t**2 - 16*t + 11. Is s(-12) a prime number?
False
Let y be (1 - 1)*3/6. Let z be 1*(0 - y/3). Suppose 0 = -f - z*f + 22. Is f prime?
False
Let h(a) be the first derivative of 5*a + 21/2*a**2 + 3. Is h(4) prime?
True
Suppose 9*j = 4*j + 110. Let o = j - -61. Is o a prime number?
True
Suppose -8*v + 3*v + 30 = 0. Is v/30 + 1488/10 a composite number?
False
Suppose 0 = -8*g + 4*g + 20. Suppose -g*u + 543 = -302. Suppose -4*w - 65 = -l, 2*l - u = -0*l - 5*w. Is l a composite number?
True
Suppose 1179 = -l - 2*l. Is (-2 + -2)*l/12 a composite number?
False
Suppose -2 = 5*l - 52. Suppose 2*i - l = -262. Let u = -77 - i. Is u prime?
False
Let k(j) = -j**2 - 4*j - 4. Let h be k(-2). Suppose -5*n = 2*b - 1261, 3*n + 6*b - 4*b - 759 = h. Is n prime?
True
Let c be (-3240)/(-16)*1*2. Suppose 3*x = -2*z + c, -3*z = -x - 182 - 420. Is z a prime number?
False
Let p be (3/(-4))/((-10)/(-40)). Is 2312/(-12)*p - -3 composite?
True
Let f(q) = 23*q**3 + 2*q**2 - q + 1. Let d(u) = -u**3 - 11*u**2 - 11*u - 8. Let h be d(-10). Is f(h) prime?
True
Let q(i) = 21*i**2 + 2*i + 2. Let t be q(-3). Let j = t - 46. Is j a composite number?
False
Let i(r) be the third derivative of r**5/30 + r**4/4 + r**3/6 + 3*r**2. Is i(6) prime?
True
Let p be (-11)/1 - 0/(-5). Let c = p + 22. Let o = 24 - c. Is o composite?
False
Suppose 0 = 3*s - 15, 7*v - 313 = 3*v + 3*s. Is v prime?
False
Suppose 4*q + 14 - 6 = 0. Let c = q - -4. Suppose 5*a + c = 177. Is a composite?
True
Let o(z) = 7*z - 10 - 5*z**2 + 4 + 4*z**2. Let x be o(4). Suppose -x*h = -h - 245. Is h a composite number?
True
Let l be 1/(-2*4/(-40)). Suppose -l*u = -373 + 98. Is u composite?
True
Let d(p) = -9*p**3 + 4*p**2 + 4*p. Is d(-5) a prime number?
False
Is 4/((-12)/(-333)) - 2 prime?
True
Let u(k) = k**3 + 2*k**2 - 3*k + 2. Suppose -9 = -3*i, 4*i - 27 = 4*l - 3. Let h be u(l). Suppose -h*r - r + 66 = 0. Is r composite?
True
Let r be 1/(-1)*-3 + 383. Is r/5 + 3/(-15) a composite number?
True
Suppose 0 = 5*w - 4*c - 3513, 0*c = 3*c + 6. Is w composite?
False
Let y(q) = -q**2 - q + 21. Suppose 5*b = -4 - 6. Let k = b + 2. Is y(k) a prime number?
False
Let h be 3/6*(-2 - 0). Let n(b) = -190*b**3 + b**2 - 2*b - 2. Is n(h) composite?
False
Let f = 3735 + -1402. Is f a composite number?
False
Suppose -5 - 3 = -2*p. Suppose p*c = -116 - 28. Let v = -1 - c. Is v a composite number?
True
Suppose -b + 162 = 7. Is b a prime number?
False
Let c(z) = z**2 + z + 5. Is c(8) prime?
False
Let j = 0 - -2. Suppose -9 = -j*u - u. Suppose 4*q + 2*h - 75 + u = 0, -3*q + 67 = -5*h. Is q composite?
False
Let p = 389 + -749. Let j = -213 - p. Let h = 256 - j. Is h a prime number?
True
Let h(q) = -2*q**2 + 213*q**2 + 116*q**2 - q. Let m be h(-1). Let g = -195 + m. Is g a prime number?
False
Let q = -35 + 55. Suppose m + 17 = q. Is m composite?
False
Let y(v) = -126*v + 13. Is y(-6) a prime number?
True
Let l = 370 - 216. Is 10/(-2)*l/(-35) a prime number?
False
Suppose -5*a + 2*m = -3071, 0 = 4*a - 5*m - 2038 - 429. Is a a prime number?
True
Let l(s) = s**3 + 6*s**2 - 8*s - 5. Let o be l(-7). Suppose y + 29 = v + o*v, -v - 2 = 2*y. Is (318/4)/(v/16) composite?
True
Let v be (2/2 - 1) + 3. Suppose -v*a + 175 + 434 = 2*x, 0 = 2*a + 4*x - 398. Is a a composite number?
True
Let j(v) = v**3 + 4*v**2 + v + 2. Let a be j(-3). Suppose 0 = 4*w - 40 - a. Is w - 1 - (-1)/(-1) composite?
True
Let w = 25 - 6. Let b = -8 + w. Is b a prime number?
True
Suppose 8*k = 4*k + 20. Let s = 0 + 2. Suppose k*m - 3*m = 2*z + 26, s*z = -5*m + 72. Is m prime?
False
Suppose o - 5 = 2*o. Let t = o - -2. Let c = 7 - t. Is c a prime number?
False
Suppose 0 = -5*t + 4*y + 538, -2*t + 232 = 3*y + y. Suppose c = -5*a + 18, -c + t = 4*c + 5*a. Is c composite?
False
Suppose 2*z = -356 - 196. Let r = 478 + z. Is r prime?
False
Let i be 4/18 + (-2)/9. Suppose -3*v - v + 184 = i. Is v a prime number?
False
Let b(f) be the first derivative of f**2 + 5*f - 3*f + 2 - 2*f**2. Is b(-6) a prime number?
False
Let j be -3 + 2/(2/3). Suppose l = -j*l + 115. Is l prime?
False
Suppose -3*z = -3*s - 2*s - 19, 3*s = -5*z + 43. Is 934/6 - z/12 prime?
False
Let j(n) = n**2 + 5*n + 1. Let v be j(-6). Suppose 0 = 3*r - v*r. Suppose b - 38 = -i, r = 5*i - 6 + 1. Is b a composite number?
False
Suppose -3*l + 3 = 0, 127 = -2*r + 7*r + 2*l. Is r a prime number?
False
Suppose 3*i - 28 = 20. Let r = i + 118. Is r composite?
True
Suppose 5*d + 2*c = -1757, d - c - 126 = -476. Let y = d - -616. Is y composite?
True
Let f(a) = -a**3 - a**2 + a + 11. Let b be f(0). Let u(t) = -2 + b - 6 + 6*t. Is u(5) prime?
False
Let t(l) = 4*l**2 + 4*l - 6. Let q be t(5). Is (-2)/3*q/(-4) composite?
False
Suppose 5*f - 19 - 11 = -5*g, -5*g + 5 = 0. Let x be (-4)/5*f/(-2). Suppose a + 425 = 4*i, 2*a + x*a = -4. Is i prime?
False
Suppose 0 = h + 58 - 269. Is h a composite number?
False
Suppose -4*o + 3*v + 585 = 0, 2*o - 2*v = v + 297. Suppose i = 3*i - o. Suppose -7 + i = 5*r. Is r composite?
False
Suppose 5*o - 335 = -3*q + q, 2*q = o - 67. Is o prime?
True
Let y(i) = i**3 - 9*i**2 + i - 5. Let f be y(9). Suppose 3*n - f*d - 3648 = -d, n = 4*d + 1231. Is n a prime number?
False
Let m be (-1)/4 + (-152)/32. Let p be ((-6)/m)/((-15)/(-50)). Suppose -p*y - y = -275. Is y a prime number?
False
Let l = 243 - 122. Is l composite?
True
Suppose -3*t - 45 = -0*t. Let u be 1/(-2 - 33/t). Suppose u = 4*m - 35. Is m composite?
True
Suppose z + 2 = -x, 3*z + 1 = -2*x - 8. Suppose -n + 5 = x, 125 = m - 3*n. Is m prime?
True
Let d = -1139 - -2898. Is d a composite number?
False
Let d = -3 + 6. Suppose -2*g = -3*s + 233, d*s + 69 = g + 304. Is s a prime number?
True
Let q(d) = 29*d + 1. Let u be q(4). Suppose 0*h + 4*h = 16. Suppose -f + h*f - u = 0. Is f composite?
True
Let h = 194 + -85. Suppose -2*r + 1 - 113 = 0. Let u = h + r. Is u a composite number?
False
Let n(z) = -5*z + 10. Is n(-9) a composite number?
True
Is 1085 - (-1)/2*(-32)/(-8) a prime number?
True
Let n = -1 - 0. Let l(i) = 3*i**2 + 2*i + 1. Let z be l(n). Suppose -11 = -3*b + z*b. Is b a prime number?
True
Suppose 0*z - 3*z + l + 7260 = 0, -7260 = -3*z + 4*l. Is (-6)/27 - z/(-36) a prime number?
True
Let c(q) = q + 8. Let z be c(0). Suppose z*s - 51 = 7*s. Is s a prime number?
False
Let d = 6 + -18. Is (-7364)/(-18) - d/(-108) a prime number?
True
Let u(h) = -h**2 + 10*h + 7. Is u(8) prime?
True
Suppose -a + 78 = -94. Let y = 241 - a. Is y a composite number?
True
Let o = 3 - -1. Suppose -o*d - 2*c = -18, -4*d + c + 5 = -4. Suppose -d*p + 57 = -k - 51, -4*p + 4*k = -136. Is p a prime number?
True
Let v = 330 - 139. Is v composite?
False
Let p = 1171 - 504. Is p a prime number?
False
Suppose 0*j = -j - 4*x + 7, -4*j - 2*x + 70 = 0. Suppose -4*k + 24 = -4*h + 8, 4*h = 5*k - 20. Let r = j + k. Is r a composite number?
False
Suppose 3*a - n = n + 11415, -7610 = -2*a + n. Is a composite?
True
Is 16/(8/(-2)) + 81 a prime number?
False
Let f = -1 - -3. Suppose -f*t = -6*t + 460. Suppose -2*m - 12 + 66 = -4*r, 5*r + t = 5*m. Is m a composite number?
False
Suppose -2*j + 353 = -103. Suppose 0 = a + 4*m - 72, -4*a - 3*m = m - j. Let f = a + 54. Is f prime?
False
Suppose -18 = -155*r + 153*r. Let n(s) be the third derivative of -s**6/120 + s**5/6 - s**4/6 - 4*s**3/3 + s**2. Is n(r) composite?
False
Let s = -84 - -122. Is s a prime number?
False
Let g(b) be the third derivative of 1/4*b**4 + 1/3*b**3 + 7/60*b**5 + 0 + 0*b + b**2 + 1/120*b**6. Is g(-5) a composite num