1 = -4*n - t. Is n a composite number?
True
Let n(y) = -82*y**2 + y. Let g be n(5). Is (2/(-1))/(((-20)/g)/(-2)) prime?
True
Let v = 20 - 27. Is (1 + v)/(4/(-74)) a composite number?
True
Suppose 5*t + 40 = t. Let h be t*2*(-3)/12. Suppose -3*j + r = -560, -h*r + 0*r - 182 = -j. Is j prime?
False
Let w(b) = 2*b**3 - 5*b**2 - 29*b - 32. Is w(15) a prime number?
False
Let y(i) = 911*i + 3. Is y(4) composite?
True
Let j be -88 + (2 - (-3)/(-1)). Let i = j + 243. Suppose -5*b - 3*n = -235, i = 3*b + 2*n + 13. Is b composite?
False
Let g(r) = r**3 + r**2 - 6*r + 1. Let t be g(-4). Let h = t + 39. Is 61330/26 + h/104 a composite number?
True
Suppose -3*x - 2*w = -5, -3*x + 7*x = 4*w - 20. Is (2 + -2941 + 0)/x*1 a prime number?
True
Let y = -541 - -82. Let g = 592 - y. Suppose 3*w - g + 209 = -5*z, 2*z - 342 = 4*w. Is z a prime number?
False
Let j = -13 - -10. Let o(z) be the second derivative of 5*z**4/12 - 5*z**3/6 - 3*z**2/2 - 5*z. Is o(j) prime?
False
Let t(y) = 2*y - 7. Let b be t(5). Suppose -3*z - 3143 = -b*p + z, 0 = -p + z + 1048. Is p a composite number?
False
Suppose h + 22 = 3*t - 7*t, -60 = 4*h + 2*t. Let f be (-696)/h - (-2)/7. Let c = f + -28. Is c composite?
True
Suppose 9*v = 15*v - 114816. Suppose -2*z + 4*z - v = -4*x, 5*x - 23919 = -2*z. Is x prime?
True
Let j = -6020 + 14799. Is j composite?
False
Let b = 59 - 96. Let l = b + 26. Let y = 30 + l. Is y a composite number?
False
Let z = -25126 - -64485. Is z composite?
False
Let j = -387 + -420. Let y = j - -1292. Is y a prime number?
False
Suppose -p = -3*z + 11, p + 4*z - 5 = 5. Is (10/(-20))/(p - (-2342)/1172) prime?
True
Let v(h) = h + 6. Let l be v(-3). Let a be 2/1*198/l. Suppose a = 4*c + 4*u, -c - c = u - 70. Is c composite?
False
Let f = -13 - -15. Let t be (-1)/(2*2/(-16)). Is 282*2/t + f a composite number?
True
Let n(s) = -23*s - 24. Let u be n(8). Let k = -89 - u. Is k a prime number?
False
Let c = 57 + -40. Suppose 0 = c*o - 12*o - 110. Is o a prime number?
False
Let h(d) = 20*d + 17. Let u(w) = -2*w**3 + w + 4. Let p be u(-2). Is h(p) a composite number?
True
Let l(v) = -v**2 + 6*v - 4. Let b be (4/14)/(2/28). Let o be l(b). Is ((-44)/o)/((-1)/7) a composite number?
True
Let i(v) = -471*v + 3. Let j be i(-3). Suppose 0 = s - j + 275. Is s a prime number?
False
Let c be 2014 + (-6)/(-2) + 0. Suppose 12*w - c = 11*w. Is w a prime number?
True
Suppose 5*b + 4*p = 3*p + 1067, -413 = -2*b - 5*p. Let o = b - -415. Is o composite?
True
Suppose -4*q = 13 - 29. Suppose -20 = -j - 3*j. Suppose -3*v - 4*y = -465, -q*v + v + 462 = j*y. Is v prime?
False
Suppose -243431 = -9*n + 29242. Is n prime?
False
Let b = 10 + -8. Suppose 269 = 5*o + x, b*x - 5*x = 3. Let i = o + 59. Is i a composite number?
False
Suppose 0 = -4*k + 5*j + 7676, 4*j = -3*k + 2*j + 5757. Is k a prime number?
False
Let p = 101 + 293. Suppose 2*b + 3*u = 1489, b - 345 = 4*u + p. Is b a prime number?
True
Suppose 2*i + 132 = -112. Let w = 23 + i. Let n = -8 - w. Is n prime?
False
Let a(v) = 6*v**3 + 7*v**2 + 19*v - 11. Is a(5) a composite number?
False
Let n(z) = 29*z - 3 + 13*z + 20*z + 2*z. Is n(6) a prime number?
False
Suppose 2*a = c - 63, 0*a - 2*a = 3*c - 165. Suppose -s + l + 0*l + c = 0, -4*l - 280 = -5*s. Suppose s = -3*p + 163. Is p prime?
True
Suppose 0 = 4*n - 6*n + 1004. Suppose -2*m + n = -0*m. Is m a prime number?
True
Suppose 188 = -2*x + 658. Suppose 3*f - s = -6*s + x, 4*s + 441 = 5*f. Suppose 5*m - f = 4*m. Is m a composite number?
True
Suppose 22757 = 6*u + u. Is u a composite number?
False
Let q be (-3 - 13)/(-4) - 0. Is -949*(-5)/(20/q) composite?
True
Suppose 4386 = 2*y - 5*q, -y - 2*q = -1447 - 764. Is y a prime number?
True
Suppose -2*n + 4*f = -24, -19 = 5*f - 4. Let l be (4 - n)/(4/674). Is l/(-3) - 4/(-6) a composite number?
False
Let h = 2537 + -4283. Let d = h - -2749. Is d composite?
True
Let g(r) = 17*r**2 - 10*r - 2. Suppose -l - 10 = -3. Is g(l) a composite number?
True
Is ((-25 + 5)/4 - -5085) + -1 a composite number?
True
Let g(h) = h**3 + h - 1. Let l(q) = -8*q**3 + 5*q + 1. Let x(f) = -2*g(f) + l(f). Is x(-2) a prime number?
False
Suppose 0 = 4*s - 14893 - 15727. Is s prime?
False
Suppose -15*x = -982 - 23. Is x a composite number?
False
Let o(i) = -5*i**3 - 2*i**2 + 2*i + 4. Let j(k) = -5*k**3 - k**2 + 2*k + 5. Let d(v) = 2*j(v) - 3*o(v). Is d(3) composite?
False
Let t(n) = 23*n**2 + 12*n - 8. Let w be t(-18). Suppose -233 = 5*h - w. Is h prime?
True
Let o(f) = 4 + 4*f + 2*f - 4*f + 2*f**2 - 7*f. Let r be o(2). Suppose 25 = -4*g - 2*s + 73, 5*g - r*s - 78 = 0. Is g a composite number?
True
Let n(b) = -6*b**2 - b - 4. Let y be n(5). Let m = y - -277. Suppose g + m = 3*g. Is g prime?
True
Suppose 3*h = -h. Let k be (h + -20)/(14/(-217)). Suppose -b + k = b. Is b prime?
False
Suppose -12*q + 18795 = 9*q. Is q composite?
True
Suppose z + 161 = 2*j, 3*z + j + 2*j + 447 = 0. Let n = -76 - z. Is n a prime number?
False
Suppose -3*z - 5*i + 55062 = 0, -5*i - 55032 = -15*z + 12*z. Is z a composite number?
True
Let q be 9901 + (9/3 - 0). Suppose h - 3*z = 5*h - q, 3*h - 3*z = 7449. Is h prime?
False
Let p(q) be the first derivative of 769*q**3/3 + q**2 + 22. Is p(-1) composite?
True
Let s(b) = 0*b - b**2 - b**3 + 3*b**2 + b + b**2 - 7. Let u be s(3). Is (2 - u/(-2)) + 398 a prime number?
False
Let w(v) = 158*v**2 - 4*v - 7. Let b be w(-2). Suppose r = b + 332. Is r composite?
True
Let w = -86 + 84. Is (w/(-5))/(8/41060) a prime number?
True
Suppose q + i - 1387 = 898, 3*q - 6851 = -2*i. Is q composite?
False
Let h = -21 + 26. Let s be 231/55 + (-1)/h. Is 7242/24 - (-1)/s prime?
False
Let b be 13070*((-11)/(-5) - 3). Is b/(-88) + 4/22 a composite number?
True
Let m(p) = 3*p**2 + 67*p + 75. Is m(28) prime?
False
Let k(f) = 3215*f - 45. Is k(2) prime?
False
Let b(w) = -293*w + 216. Is b(-7) prime?
True
Let r(p) = 12823*p - 38. Is r(1) a composite number?
True
Let a be (-20108)/(-33)*(-6)/(-4). Suppose h = -h + a. Is h composite?
False
Let k(a) = a**3 + 6*a**2 + 4*a + 1. Let l be k(-5). Suppose 2*g - 2 = 8. Suppose 5*p - g*u + l*u - 560 = 0, -p = -u - 118. Is p composite?
False
Let b = -2602 - -1779. Let v = b + 2330. Is v prime?
False
Suppose -134 - 116 = 2*q + 5*l, q + 2*l + 125 = 0. Suppose 29*p - 636 = 26*p. Let o = p + q. Is o a prime number?
False
Suppose -2*a - 18 + 2 = 0. Let n = 10 + a. Suppose -3*u - n*u = -265. Is u composite?
False
Let v = 29464 + -7167. Is v a prime number?
False
Suppose -4*n - 2*v + 10119 = v, -3*n - 3*v = -7587. Is n/20 + 6/15 a composite number?
False
Let y be -2*38/12*(-7 + -44). Is (y - (5 + -3)) + -2 composite?
True
Let s = -1011 - -2212. Let w = s - 380. Is w composite?
False
Let v = 19 + 8. Let u = 25 + v. Let r = u + -33. Is r a composite number?
False
Suppose -2*z + 2*r + 10 = -2, 3*z - 10 = -5*r. Let s = -3 + z. Suppose 6 = s*c + 5*w + 1, 95 = 5*c - 4*w. Is c composite?
True
Let a(m) = 5 + 3*m + 6*m**2 - 8*m - 4 + 4. Is a(6) composite?
False
Suppose 25 = -4*x + 41. Suppose 0*d + x*j = 5*d - 1307, 2*d - 530 = 4*j. Is d a composite number?
True
Suppose c = -c. Let z = 46 - c. Is z a prime number?
False
Suppose 3*o - 6 = 3*d - 0, o + 2*d = 8. Let z(v) = -v**3 - 5*v**2 - 2*v - 6. Let r be z(-5). Suppose -r*x + 3*i + 835 = 0, 358 = 5*x - o*i - 685. Is x prime?
True
Let x be ((-4)/5)/((-2)/5). Suppose -6*y = -x*y. Suppose y = s + s + 5*t - 1086, -2128 = -4*s + t. Is s a prime number?
False
Let i = 10 - 13. Is 53 - (2 + (i - -3)) a composite number?
True
Let w(j) = 177*j - 586. Is w(11) composite?
False
Let h(s) = -4 + 1 + 12 + 5 - s**2 - 10*s. Let r be h(-11). Suppose 0 = -r*x - 3*w + 1170, x + 3*w = 85 + 303. Is x a prime number?
False
Let y(b) = 12*b**3 + 17*b**2 - 8*b + 1. Is y(4) composite?
False
Let m(c) = -887*c - 799. Is m(-24) composite?
True
Let c = -172 + 14. Suppose 6*r = 2*r + 3*n - 322, 0 = 2*r + 4*n + 150. Let o = r - c. Is o prime?
True
Suppose 12*a + 8538 = 18*a. Suppose 5*m - 4648 = w, 4*m = 2*m - 4*w + 1868. Let n = a - m. Is n composite?
True
Let u = 33 - 33. Suppose -p = -l - u*p + 203, p - 400 = -2*l. Is l a composite number?
True
Let t = 23431 - 11852. Is t a prime number?
True
Let b be (11/2)/(4*(-6)/(-48)). Let h(l) = l**2 - 3*l - 9. Is h(b) prime?
True
Let o(x) = 27*x**3 - 3*x**2 - 4*x - 17. Let i be 18 + -15 + (1 - -1). Is 