 = 0. Let g = -12 + x. Is g a composite number?
False
Suppose -7*y + 6910 + 559 = 0. Is y a composite number?
True
Let r(m) = 5*m**2 + 3*m + 13. Let p(g) = 2*g**3 - 15*g**2 + 6. Let u(o) = -o**3 + 14*o**2 - 6. Let s(w) = -2*p(w) - 3*u(w). Let k be s(-12). Is r(k) prime?
True
Let m(n) = 3*n**2 + 12*n - 2. Let l be m(-8). Suppose -h + 39 = -l. Is h prime?
False
Let z(p) = -p**3 - 19*p**2 - 10*p + 85. Is z(-26) a prime number?
True
Suppose m + 1210 = 6*m. Let k = -32 - 1. Let x = m + k. Is x a composite number?
True
Let b = -59 - -33. Let m = -23 - b. Suppose a + m = 13. Is a a composite number?
True
Suppose -3*x + 2 = -2*x. Suppose -x*h + 233 = 2*h - 3*q, 5*q = 5. Suppose -y + h = -3*p, y - 47 = -3*p - 0*p. Is y prime?
True
Let q = 7 + -7. Suppose -5*z - 2*d - d + 2687 = q, d = -z + 539. Is z prime?
False
Let n = 2357 - -5306. Is n a composite number?
True
Suppose 26 = -2*o + 4*z, -o + z = 3*z - 3. Let x(b) = 6*b - 10. Let s be x(o). Is (-3408)/s*5/2 a prime number?
False
Let i(k) = -113*k - 1. Let v be i(-2). Suppose 0 = j - 4*j - v. Let h = 266 + j. Is h composite?
False
Let j = 11 + -7. Suppose -2*p = 4, -4*x + p + 5 = 3. Suppose -j*m + 2090 + 1418 = x. Is m composite?
False
Suppose -3 = h - 4. Let o(c) = -231*c**2 + 2*c. Let z be o(h). Let y = -106 - z. Is y composite?
True
Is 2*((-1326906)/(-12))/21 a composite number?
False
Let g(d) = d**3 - 9*d**2 + 9*d + 18. Let o be g(8). Let c = o - -261. Is c a prime number?
False
Let l be 0/(-4 + 2/1). Suppose 3*k - 88 - 194 = l. Let o = k - 61. Is o a prime number?
False
Suppose -3*x - 17 = -5*k, 2*x + 4*k = -x - 8. Let d be 4 + 0*x/(-8). Suppose h + d*h - 290 = -5*c, 5*c = -4*h + 285. Is c a composite number?
False
Let a be 5*8/20 + -306. Let k = a - -562. Let d = k + -139. Is d a prime number?
False
Let n(r) = 2305*r + 281. Is n(12) prime?
True
Is (50/4 - 11)*1402/3 a prime number?
True
Let k be (-3)/(-2) + (-2)/(-4). Suppose 0 = -x + k*x. Is 328/4 + (1 - x) a composite number?
False
Suppose 2 = 2*x - 0*x. Let i be -5 + x + 2 - -5. Suppose 0 = 4*a - 5*r - 11737, -5*r + i*r + 5864 = 2*a. Is a prime?
False
Let k = 15 - 12. Suppose k*q = p + 4, 2*q - q + 5*p - 12 = 0. Suppose -325 = q*j - 7*j. Is j a composite number?
True
Suppose 2*z + 2*p - 2 - 12 = 0, 0 = 4*p - 12. Suppose 0 = -z*a - 5832 + 34036. Is a composite?
True
Is (-2 + 7815/(-6))*8/(-4) composite?
False
Suppose 0 = -3*y - 12, -2*u = -4*y - 2792 - 5202. Is u prime?
True
Suppose p + 2*b = 2*p - 99393, -397558 = -4*p + b. Is p prime?
False
Let d(l) = 193*l**2 + 81*l - 980. Is d(17) a prime number?
False
Let m(c) = 6225*c - 3. Let w be m(1). Suppose 0 = -i - 1, 3*i + w = 3*q - 5898. Is q composite?
True
Let z = -12 - -15. Suppose 2*q - z*x - 3271 = 0, -7 = -5*x - 2. Is q composite?
False
Let f = 2 - -1. Suppose -3*u + 6 = -f*z, -4 = 2*u - 5*z + z. Suppose u*p - 3*p = 489. Is p prime?
True
Let t(k) = k**3 - 12*k**2 + 11*k - 2. Let h be t(11). Is (1*h)/((-8)/596) a composite number?
False
Let m(w) = -w**2 - 13*w + 38. Let q be m(-17). Is q/(-255) + (-21042)/(-34) a prime number?
True
Let j = 331 - 901. Let n = -130 - j. Is (-13 - -16) + 1*n a composite number?
False
Let i(h) = -h**2 - 12*h + 2. Let g be i(-12). Is ((-10325)/(-100))/(g*1/8) composite?
True
Suppose 0 = q - 3*u - 410, -q - 2*u + 425 = -0*u. Is q composite?
False
Suppose -4*t - s - 8 = -2*s, -3*s + 4 = -2*t. Is 1/((-4)/12984*t) a composite number?
True
Suppose 3*f - 18 = -0*f. Suppose 504 = 3*b + f. Is b + 2 - (-2 - -1) composite?
True
Let f(h) = 4*h**2 - 4*h + 79. Let c(o) = -o**2 + o. Let p(u) = 5*c(u) + f(u). Let n be 4/6 + (-6)/9. Is p(n) a prime number?
True
Let x(s) = 39*s**2 - 4 + 2 - 10*s - 5*s + 12*s. Let z be x(-2). Suppose -3*y + z = -131. Is y prime?
True
Let f(v) be the second derivative of 4*v + 0 + 1/6*v**3 + 3*v**2. Is f(0) a composite number?
True
Suppose -4*n + 3*h - 111 = 0, 4*n - h + 25 = -76. Is 247/7 - n/(-84) a prime number?
False
Let f(r) = r**3 + 4*r**2 - 4*r + 6. Let d be f(-5). Let o(i) = 2*i**2 - 3*i**2 + 8*i**2 - 4*i**2 + d + 7*i. Is o(-11) prime?
False
Let t be (-1 - -3)*(-15)/6*-96. Suppose 5*s - 3*s = 12. Suppose 2*m + 613 = s*q - q, m = -4*q + t. Is q prime?
False
Suppose -2*g - 3*r = -8*r + 16, 0 = -g + 4*r - 14. Suppose -3*w - 3*m = g*w - 2685, 3*m - 2148 = -4*w. Is w composite?
True
Let i(z) = -z**3 + 11*z**2 + 13*z - 12. Let g be i(12). Suppose 5*n - u - 47 = g, 0*u + 5 = 2*n - 5*u. Is n a composite number?
True
Suppose -2*m = 26 - 302. Let x = 390 - 387. Suppose -x*b + m = 3*z, 0 = -3*b - 4*z - 50 + 187. Is b prime?
True
Suppose -k + 4*c = 0, -2*k = 3*k + 5*c. Suppose k*b - 627 = -3*b. Let s = b + -88. Is s a prime number?
False
Suppose 3*t + 25 = 5*r + 8*t, 3*r - 2*t - 10 = 0. Is ((18/r)/9)/((-4)/(-1592)) a composite number?
False
Suppose -2*g = -8839 + 1547. Suppose g = 2*a - 3*z, 9311 - 2019 = 4*a - 4*z. Is a composite?
False
Suppose q + 0*q + 4 = 0, -5*o - 5*q = -15. Let d(f) = -f**2 + 8*f - 7. Let c be d(o). Suppose c = 4*j - 24 - 244. Is j a composite number?
False
Suppose 7*y - 4*y = -5*i + 1, -4*i + 14 = -2*y. Suppose 4*g - 2010 = -2*j, i*j - 2*g - 3*g = 2019. Is j prime?
False
Let h be (-222)/7 + 6/(-21). Let y = 35 + h. Suppose -2*v + 343 = 3*c - 984, -y*v - 1302 = -3*c. Is c composite?
False
Suppose -3*r = 9, 5*p + 3*r + 665 = 3*p. Let x = p + 473. Is x a composite number?
True
Let o = 1680 + -591. Suppose -5*v + 2233 = 3*r, o = 4*r - 3*v - 1840. Suppose 844 + r = 4*n. Is n composite?
True
Suppose -g + 24426 = 5*s, 4*g - 53892 - 43692 = 4*s. Is g a composite number?
True
Let g(s) be the first derivative of 181*s**2/2 - 8*s + 38. Is g(7) a prime number?
True
Suppose 2*y + 3*y = f + 18, 0 = 2*y + 3*f - 14. Suppose 14 = 2*q - 2*s + 4*s, -y*s + 4 = 0. Is (q/12)/(1/38) a prime number?
True
Let i(a) = 208*a**2 - 5*a - 187. Is i(-10) a composite number?
False
Let t be 2/(-2*3/870). Let h = t + 871. Suppose -4*j - 137 = -h. Is j prime?
False
Let q be (-3 + 5 - 2) + -20. Let p = q + 33. Suppose p = m - 6. Is m a prime number?
True
Let w(z) = -4*z**2 - 7*z - 29. Let c(v) = -5*v**2 - 6*v - 30. Let n(q) = 2*c(q) - 3*w(q). Is n(-22) composite?
False
Let k(j) = 21*j**3 + 4*j**2 + 9*j + 47. Is k(9) prime?
True
Let b = 126 - 4. Suppose b*z - 120*z = 5410. Is z prime?
False
Let t(l) = 25*l**2 - 31 + 23*l**2 - 40*l**2. Is t(-6) a prime number?
True
Let g = -554 - -3207. Is g composite?
True
Let z(o) = -o**2 + 2*o + 5163. Is z(0) a prime number?
False
Let q(i) = -297*i - 18. Let l be q(8). Is (-17)/(-85) - l/5 a prime number?
True
Let v(k) = -2*k**3 + k**2 + 2*k + 743. Is v(0) prime?
True
Is 67793750/1625 + (-3)/13 a prime number?
True
Is 11002/(((-128)/8)/(-8)) a prime number?
True
Let b(o) = -33*o**2 + 13*o**3 + 0*o**3 + 19*o**3 + 2*o + 36*o**2. Let t be b(3). Suppose 1092 = 4*m - 4*h - 700, -2*m = -h - t. Is m composite?
False
Let r = -5 + 9. Let c(w) be the first derivative of w**4 + w**2/2 + 3*w - 5. Is c(r) prime?
True
Let l(g) = 10*g**3 - 5*g**2 - 5*g - 5. Let a be l(7). Suppose 2*x + k + 509 - a = 0, -x + 2*k = -1323. Is x prime?
True
Let w(y) = y - 1. Let q(k) = -32*k - 5. Suppose 0 = -4*f - 4 + 20. Let t(b) = f*w(b) - q(b). Is t(6) prime?
False
Suppose -5*m + 4*s = -2*m + 569, 3*s - 6 = 0. Suppose 0*a - 4*a = -5*i + 1732, 3*i = -5*a - 2202. Let v = m - a. Is v composite?
False
Let l be ((-2)/(-5) - -2)*(-5)/(-2). Let p(y) = 2*y**3 - 5*y**2 + 7*y - 1. Is p(l) a prime number?
True
Is -3 + 0 + -2 + 336/14 a composite number?
False
Let y(n) = 2*n**2 + 15*n - 34. Suppose -2*j = 2*c - 34, c - 2*j = -0*j + 11. Is y(c) a composite number?
False
Let n be (36 - 0)/3*-1. Let q(p) = 6*p - 35. Let r be q(5). Is (-3442)/n - r/30 prime?
False
Let i(v) be the third derivative of -v**7/240 + v**6/90 - v**5/30 - 2*v**2. Let b(p) be the third derivative of i(p). Is b(-5) a composite number?
False
Let r(w) = 25*w - 3. Suppose -7*c - 45 = -2*c. Let v be r(c). Let y = 451 + v. Is y a composite number?
False
Suppose 2*w - 487 - 1791 = 0. Is w prime?
False
Let q = 1608 - 1294. Is q composite?
True
Let q be 2/(-6)*(0 + -7 - -1). Suppose -4*z = 4*f - 3000, 3*f - q*f - 4 = 0. Is z a composite number?
True
Let i(r) = 83*r**3 + 9*r**2 + 5*r + 10. Is i(7) a prime number?
False
Suppose -10*a - 18160 + 387810 = 0. Is a composite?
True
Let k(u) = 107*u - 12. Let m be k(-