h**2 + 2*h + 1. Let t = 5 - 6. Let r be g(t). Suppose 5*y - 15 = r*y. Is y composite?
True
Let t(r) = r**3 - 28*r**2 - 24*r + 46. Is t(29) composite?
False
Let y = 501 - 340. Is y a prime number?
False
Let l(m) = -4*m**2 + 4*m - 11 - 2*m + 5*m**2. Is l(-8) a composite number?
False
Let i(a) = -27*a**3 + a**2 + 2*a + 1. Let m be i(-1). Suppose 4*h = -t + 3*h + m, 4*h + 53 = 3*t. Is t composite?
False
Let f = -753 - -1100. Is f composite?
False
Let l = 3 + -9. Is (-178)/(-12) + (-1)/l a prime number?
False
Let k(m) = 4 + 7*m**3 - 4*m**3 - 3. Let c be k(-1). Is 9 + c/(-3)*-3 composite?
False
Let v = -763 + 1094. Is v prime?
True
Let d(v) = -v**3 - 8*v**2 - 7*v + 10. Let q(i) = -i**2 + 12*i + 3. Let r be q(10). Suppose o + o - 3*h = -r, -2*h = -o - 13. Is d(o) prime?
False
Let y be 1*2/2 - -2. Suppose y*k + 4*o - 411 = 0, -6*o + 3*o + 674 = 5*k. Is k a prime number?
False
Let m = 240 - 130. Suppose -4*b + 36 = -5*f - 249, 5*f = -4*b + 315. Let u = m - b. Is u a composite number?
True
Let s(w) = -46*w - 67. Is s(-16) prime?
False
Suppose -4*g = -3*g - 1. Is -22*g/(-8)*12 a composite number?
True
Is 12828/60 + (-1)/(-5) a composite number?
True
Let z(l) = -99*l**2 + 1 + 311*l**2 + 0*l - 2*l. Is z(1) prime?
True
Suppose 3*q - 170 = -u, 124 = q + q - 2*u. Is q a composite number?
True
Suppose -5*i + 4*i + 4 = -3*p, p + 4 = 0. Let m(j) = 2*j**2 - 8*j - 3. Let x(q) = 3*q**2 - 12*q - 4. Let r(w) = -7*m(w) + 5*x(w). Is r(i) a composite number?
False
Is (-6)/12 - ((-4669)/2 - -1) composite?
False
Let u(b) = -137*b - 6. Let s(y) = 6*y + 1. Let a be s(-1). Is u(a) composite?
True
Let x(y) = y**3 + 7*y**2 + 7. Let h be x(-7). Let u = h - 1. Is u a composite number?
True
Suppose 4*g = 3*g + 844. Let t be g/14 - (-2)/(-7). Let m = t - 34. Is m composite?
True
Let k = -21 + 34. Is k composite?
False
Let g(y) = -y**3 - 4*y**2 - 3*y + 3. Let w be g(-3). Suppose -4*z = f - 31, f + w*z = -2*f + 129. Is f prime?
True
Suppose -a + 5*a - 12 = -4*b, b - 5*a - 3 = 0. Suppose z + 0 - b = 0. Is z composite?
False
Let s(m) = -m**3 - 5*m**2 + 12*m + 7. Let r be (-4)/8*(14 + 4). Is s(r) a composite number?
False
Let u = 108 - 348. Let j = -3 - u. Is j prime?
False
Suppose 2*a - 221 = 177. Is a prime?
True
Suppose -40 = -3*r + 8. Suppose -4*h - g = -r - 734, 364 = 2*h - 5*g. Is h a prime number?
False
Let r(v) = -85*v**3 + v**2 - v + 4. Let a(j) = -341*j**3 + 5*j**2 - 4*j + 17. Let q(p) = 2*a(p) - 9*r(p). Is q(1) prime?
True
Suppose 1749 + 2493 = 6*c. Is c composite?
True
Let x(g) = -299*g**3 - 3*g - 5. Is x(-2) prime?
True
Suppose 6*b - 7385 = 5533. Is b a prime number?
True
Is 10/8*(-16 + 84) composite?
True
Let m = 3 - 0. Suppose -b + 76 = 4*n + m, 368 = 4*b - 3*n. Is b a composite number?
False
Let t = 3348 + -721. Is t a composite number?
True
Let n(d) = -d**2 + 12*d - 11. Let p be n(9). Let l = p + -11. Suppose 46 = 3*i + 5*f, -l*i + 2*f = f - 30. Is i a composite number?
False
Let z be -6 + 2 + -2 + 807. Suppose 2*o - z = -5*g, 0 = 2*g + o - 3*o - 326. Is g prime?
False
Suppose 0 = 2*x + 4*b - 90, -2*b = 2 - 10. Is x a prime number?
True
Let v(x) be the first derivative of x**2/2 + 31*x - 4. Is v(0) a composite number?
False
Let a = 755 + -258. Is a prime?
False
Let s(f) = -3*f + 4. Let n be s(5). Let x = n - -45. Suppose -10 - x = -2*t. Is t a composite number?
True
Is -2*(-1 - (-514)/(-4)) a composite number?
True
Let f be 1/(0 - (-2)/6). Suppose -379 = -f*u - 2059. Is (u/(-24))/((-2)/(-3)) a composite number?
True
Let m(s) = 112*s - 3. Is m(4) prime?
False
Suppose 2*v - 4 = 6*q - 2*q, 2 = v + q. Is v/3*114/4 a composite number?
False
Is (4 - 6)*1/((-4)/1742) prime?
False
Let f(z) = 39*z**2 - 3. Let u be f(3). Suppose -2*p + 5*p - u = 0. Suppose -3*j = -q + p, 0 = 2*j + j - 6. Is q prime?
False
Let r = 12 - 9. Let i be ((-36)/(-1))/((-1)/(-4)). Is (r - (-12)/(-2)) + i a composite number?
True
Suppose 3*u = u - 10. Is ((-106)/8)/(u/20) a prime number?
True
Suppose -411 = -h + 4*o - 5*o, 4*h + o - 1656 = 0. Suppose 18*w = 13*w + h. Is w a prime number?
True
Suppose -3*i + 6 = -4*b - 0, 3*i = 2*b + 6. Suppose i*j = 3*j - 83. Is j a prime number?
True
Suppose 5*g + 3*c = 10, -c - 4*c + 4 = 2*g. Let q(j) = 3*j**2 - 2*j**2 - j - 2*j**g - 1 + 168*j**3 + 2. Is q(1) a prime number?
True
Let d(s) = 2*s**2 - 1. Let u be d(-1). Suppose -u = -c - 0*c. Is (-31)/(1*(0 - c)) a composite number?
False
Let z(b) = 358*b**2 + 9*b - 9. Is z(2) composite?
True
Suppose -3*s + 13 + 125 = 0. Is s - (0 - 2 - -2) composite?
True
Let m = 26 + -14. Let h = m + -9. Suppose -h*r = -2*a - 2*r + 67, r = -a + 32. Is a a composite number?
True
Let b(y) = -y**3 - y**2 + y + 2. Let m be b(0). Suppose -m*l + 3*l = -u + 311, 2*l + 3*u = 626. Is l prime?
True
Suppose 0 = 3*z + 2*r - 3*r - 8, -11 = 4*z + 3*r. Let f(v) = 11*v - z + 0 + 2*v + 25*v. Is f(3) a composite number?
False
Let v be (-15)/21 + (-4)/14. Let k be -5 + 4/2 + v. Let m(n) = -13*n - 5. Is m(k) a composite number?
False
Let f be (-1 - (1 + -2))*1. Suppose f*h + 4*h = -252. Let j = h + 100. Is j a composite number?
False
Let l(m) = 3 - 3*m**2 + m + 2*m**2 - 10 + 8*m. Is l(6) a composite number?
False
Suppose 5*p = p + 8. Suppose -p*a + 0*a = -6. Suppose -3*k - 286 = -8*c + a*c, 0 = 2*c + 3*k - 127. Is c a prime number?
True
Let h = -3 + 5. Suppose 2*p - p - 238 = -h*k, 5*k - 595 = -5*p. Is k a composite number?
True
Let h(a) = -a**2 - 4*a - 4. Let w be h(-6). Let s = 6 - w. Suppose -24 - s = -2*u. Is u prime?
True
Is (-1)/((-2)/1028) - -5 a prime number?
False
Suppose -6*s = -11*s. Suppose -4*m - 1186 = -4*k - 2*m, -3*k + m + 892 = s. Is k a composite number?
True
Let s be (-4)/(-6)*(-9)/(-6). Suppose 3*d + s + 2 = 0, -3*d = -5*b + 3. Suppose b = x + 9 - 44. Is x prime?
False
Let k be -113*(1 + -2) - 2. Suppose 4*m = -3*b + 383, -3*b + 82 + k = 2*m. Suppose 2*l + m = 3*l. Is l prime?
False
Suppose -3*n - 3*s + 744 = 0, -5*n + 5*s + 975 = -275. Suppose -2*l + 4*x + 170 = 0, 0 = 5*l - 2*l - 4*x - n. Is l composite?
False
Suppose 4*q - 31 = -5*z, 4*q + 2*z = -0*z + 22. Let r = 6 + 26. Suppose -2*v = -2*u + r, 6*u = q*u + v + 30. Is u a prime number?
False
Suppose b = 2*l - 5*l + 13, 5*l + 5*b = 5. Is l a prime number?
False
Let t be 8*((-9)/12)/(-1). Let n = t - 34. Is n/6*15/(-10) a prime number?
True
Let y(q) = 2*q**2 + 17*q + 69. Is y(16) a composite number?
False
Suppose -5*h + h = -20. Let t = 40 - h. Is t composite?
True
Suppose -4*s + 3*u + 14 = 0, 0*u = 4*s - u - 10. Suppose -4*x - 2*t = -10, -3*t + 3 - 8 = -4*x. Suppose -140 = -x*z - s*z. Is z a prime number?
False
Let z(w) = -6*w - 16. Is z(-7) prime?
False
Let v = -1 - -5. Let p be (-1 + -65)*2/v. Let q = 48 + p. Is q prime?
False
Let a(z) = 11*z**2 + z - 5. Is a(-3) composite?
True
Let c = -4568 + 6491. Suppose 3*r + 2*j - c = 0, -j + 3205 = 5*r - 2*j. Is r a composite number?
False
Let l = 641 + -346. Is l a composite number?
True
Let n = 237 - -92. Is n composite?
True
Suppose 17 = -v + 2*p + p, 2*p = 0. Let m = 7 + -6. Is 1*(m - 3 - v) prime?
False
Is -1*(8889 - 0)*(-1)/3 prime?
True
Is 10/45 - 1339/(-9) composite?
False
Suppose 2 + 1 = v. Suppose 0 = -3*a + 5*l - 266, -4*l = -v*l - 1. Let m = a - -166. Is m a prime number?
True
Let z(y) = -y**3 - 4*y**2 - y - 4. Let r be z(-4). Suppose -4*d = -r*d - 356. Is d prime?
True
Is (-1)/3 - (-658)/3 a composite number?
True
Let q(d) = 3*d**2 + d - 12. Is q(-5) prime?
False
Suppose 5*i - 23 = -4*o, 4*o + 5 = 5*i - 2. Suppose -i*s + 44 = 2. Is s a prime number?
False
Let o(p) = p. Let y be o(0). Suppose -3*x + 46 + 23 = y. Is x a prime number?
True
Let g = 465 + -320. Is g prime?
False
Let t(n) = n**2 - 5*n + 1. Let a(r) = 2*r**2 + 3*r - 4. Let w be a(-3). Suppose -w*b + 18 + 12 = 0. Is t(b) composite?
False
Suppose 0 = 4*q + 5*h - 262, q + 2*h = 40 + 24. Let p be (q/(-5))/(1/5). Let n = -37 - p. Is n a prime number?
True
Let g be 2/9 + 12586/63. Let x = g + 11. Is x a prime number?
True
Suppose -r = 2*r + 9. Let p be (5/r)/(6/(-414)). Let j = -76 + p. Is j composite?
True
Suppose 0 = -4*w - 4*g - 44, -35 = 4*w + 2*g + 3. Let a(c) = -c - 8. Let h be a(w). Suppose h = -0*d + 3*d - 138. Is d a composite number?
True
Let p(c) = 3 + 8*c + 8*c - 6*c. Let m be (-76)/(-14) + (-30)/70. Is p(m) a composite number?
False
Let g be 20/15*(-3)/(-2)