 - q = -4*m + 16, -2*q = 0. Suppose -m*j = -5*d + 5815, -2*d = 2*j - 1667 - 659. Is d a prime number?
True
Let b(m) = 2*m**2 + 64*m + 1499. Is b(0) a composite number?
False
Suppose 3*x = 5*n + 16859, 0 = -4*n + 2*x + 2*x - 13492. Let f = n - -7577. Is f prime?
False
Let u be 56/9 + (-2)/9. Let y be (-57)/12 - (-3)/(-12)*-3. Is y/2 + (41 - u) prime?
False
Is 10/(-40)*(-21047 + (-1 - -4)) a prime number?
True
Let t(y) = 228*y + 49. Let c be t(11). Is c/((-6)/(-7 - -1)) composite?
False
Let l(a) be the second derivative of 1/3*a**3 - 4*a + 3*a**4 + 0 + 1/2*a**2. Is l(-1) a prime number?
False
Suppose 0 = c + 2*c - 6. Let t(b) = b**2 - 12*b - 1. Let x be t(17). Let a = x + c. Is a a composite number?
True
Let v(z) = 3*z**2 + 2*z - 9. Let b(s) = -4*s**2 - 3*s + 9. Let t(a) = 2*b(a) + 3*v(a). Suppose -15*x + 24*x + 90 = 0. Is t(x) prime?
False
Let d(x) = -2*x**2 + 6*x + 10. Let r be d(7). Let q = 92 + r. Suppose t = -3*i + 14, -2*t - 2*i + q = 2*t. Is t a prime number?
True
Let h(y) = 5*y**2 + y + 3. Let t be h(3). Let a(o) = -o**3 - 20*o**2 - 20*o - 11. Let z be a(-19). Let x = t + z. Is x a composite number?
False
Let h be (1 - 3)*(-1 + 3/2). Is 184 + (2 - h - 0) a prime number?
False
Let s(b) = 46*b + 26. Let u be s(7). Suppose -4*h - 2*r + u = 0, -3*h + 2*h - 3*r = -77. Is h a prime number?
True
Let j(x) = -9*x**3 + 6*x**2 + 27*x + 29. Is j(-7) prime?
True
Suppose 29*q + 48*q - 5444747 = 0. Is q composite?
True
Suppose 0 = -3*f + 2*f - 30. Is (-3 + f/(-9))*213 composite?
False
Suppose 3*c - 47233 - 60566 = 0. Is c prime?
True
Let r be (-1140)/(-18) + 1/(-3). Suppose -11 = -4*p - r. Is p + 14 - -1*13 a composite number?
True
Suppose 3*u = 17*u - 28. Is 1244/8 - u/4 a composite number?
True
Let q(r) = 79*r**2 - 2*r + 3. Is q(4) a composite number?
False
Suppose 0 = -4*q + 8 + 368. Let u be -5 - -123 - (3 - 3 - -1). Let b = u + q. Is b a prime number?
True
Let h(x) = x**3 - 3*x**2 - 7*x + 16. Let y = 2 - -9. Is h(y) a composite number?
False
Let i = 27 - 17. Suppose -i + 30 = 4*h. Suppose 0 = -h*g + 137 + 128. Is g a prime number?
True
Suppose -6*s = -11*s + 11585. Is s prime?
False
Let l = 97 - 87. Is l*248 - (-5)/(15/(-9)) a prime number?
True
Let w be (114 + -1)*(8 + -15). Let j be (-1268 - 2)*(-3)/(-3). Let n = w - j. Is n composite?
False
Let m(u) = -u**2 + 10*u - 9. Let r be m(8). Suppose w + 2*i - 47 = 0, -4*w + r*i + 224 = 3*i. Is w composite?
False
Suppose 9*c + 5 = 10*c. Let t(r) = -6*r**2 - 23*r - 17. Let l(q) = -5*q**2 - 22*q - 17. Let x(f) = c*l(f) - 4*t(f). Is x(-12) a composite number?
True
Suppose -10*n = 9329 - 35659. Is n a composite number?
False
Suppose -5*q + 0*q - f = 154, -5*q = 4*f + 151. Let a = 68 + q. Is a a composite number?
False
Let b = -44 + 46. Let g be 2*-1 + 7672/4. Suppose -6*n + b*n = -g. Is n a composite number?
False
Let y be 2 - -15 - (5 - 4). Suppose -2*b + y = 2*b. Suppose 0 = -b*u - 90 + 658. Is u a prime number?
False
Suppose -w = -3*w - 220. Let j = 210 + w. Suppose -5 - j = -3*i. Is i a composite number?
True
Let n(f) = 45*f**3 + 3*f**2 + 17*f + 9. Is n(4) prime?
False
Let y(g) = g**3 - 6*g**2 - 15*g - 65. Is y(9) a prime number?
True
Let m = 31 - 38. Is (-911)/(-1) + 0/(m + 5) a prime number?
True
Suppose 6 = 7*z - 15. Is 303 - (z/12)/(2/8) prime?
False
Let q be 10*(3 - 1 - (0 + 1)). Suppose 4*z - 13085 = -c, -q*z - 4*c = -7*z - 9817. Is z a prime number?
True
Let o = -326 + -26. Let u(g) = 3*g**3 + 1. Let z be u(-4). Let d = z - o. Is d a prime number?
False
Let u(d) = 7*d**2 - 72*d - 507. Is u(-50) a composite number?
False
Suppose -11 = -3*k + s, -4*k + 13 = -k - 2*s. Is (-42)/(-14)*118/k a composite number?
True
Let v(q) = q**3 + 24*q**2 + 8*q - 17. Let s be v(-12). Let r(w) = w**2 + 4*w + 6. Let d be r(-4). Suppose y - d*y = -s. Is y a prime number?
False
Suppose -4*v = -0*v. Let j(p) = 0*p + 5*p - 5 + p + v + p**2. Is j(4) prime?
False
Suppose 5*k = 3*t + 3368, -4*t + 230 = -k + 907. Is k composite?
False
Suppose -3*x - q = -6*q - 28, -3*x = 4*q - 10. Is ((-5878)/x)/(2/(-6)) composite?
False
Let a(k) = -274*k - 35. Is a(-76) a composite number?
False
Suppose 4*w + g - 1364 = 2265, -3*w = -g - 2720. Is w a composite number?
False
Suppose -2*y + 6454 = 4*l, -2*l + 1489 = -2*y + 7967. Is y a prime number?
False
Let c(y) = 3*y**3 + y. Let r be c(1). Suppose -177 = -r*i + 2*i - t, -3*i + 3*t + 252 = 0. Is i composite?
True
Suppose -1 = 2*v - 3*v. Is ((-1)/(-3)*3)/(v/83) a composite number?
False
Let f(m) be the third derivative of -9*m**4/8 + 34*m**3/3 + 2*m**2. Is f(-21) a prime number?
False
Suppose -w - 8 = -10. Suppose 2*c - 913 = -3*n, w*n = 6*n + 3*c - 1216. Is n a composite number?
False
Let j = -341 - -1230. Let y = -283 + j. Suppose -2*i = -4*m - y, -7*i + 1440 = -2*i + 5*m. Is i composite?
False
Suppose -f + 365 = -0*f - 5*y, 4*f = -5*y + 1385. Suppose 63 - f = -c. Is c prime?
False
Is 2/(-12) + -6207*11/(-18) a prime number?
True
Suppose 4*n + 140 = -0*n + 4*c, 2*c + 146 = -4*n. Let v = n + 373. Is v a prime number?
True
Suppose 6*s + 32 = 134. Let q(m) = 99*m - 44. Is q(s) composite?
True
Let m = 29463 + -19361. Is m a composite number?
True
Suppose -2*a - 3*a + 430 = 0. Is (4 + (-14)/4)*a composite?
False
Suppose -2*g = -5*c - 65498, 6772 = -g + 2*c + 39521. Is g composite?
False
Let m(j) be the second derivative of -5*j**3 + 37*j**2/2 + 2*j - 4. Is m(-5) a composite number?
True
Let m(v) = -22*v**3 - 13*v**2 + v + 33. Is m(-5) composite?
True
Is 294/147 + (-25011)/(1*-1) a composite number?
False
Let w(c) = 753*c + 24. Is w(13) composite?
True
Suppose 0 = c - 2 - 4. Is (3 - 16/c)*555 composite?
True
Suppose t + 5 = -3*v, t - 3*v - 14 + 1 = 0. Suppose l = 5*a + 14, -3*a - 6 = -t*l + l. Is (0 - l) + 159 + 1 prime?
False
Let l(j) be the second derivative of j**7/2520 - j**6/90 + j**5/24 + j**4/2 - 6*j. Let o(i) be the third derivative of l(i). Is o(-6) a composite number?
False
Suppose 0 = -0*j + 4*j. Suppose j = -s - 13 + 1. Is 8/s - (-3280)/15 prime?
False
Let a(g) = -2 - 631*g + 633*g + 9*g**2 + 955*g**2. Let b be a(1). Suppose 0 = -5*i + b - 159. Is i a composite number?
True
Let p(q) = -860*q + 273. Is p(-4) composite?
True
Let o be 14*(-4)/(-8)*1. Suppose u + o - 35 = 0. Is (-2 - -217) + u/(-7) prime?
True
Let d = -867 + 1642. Let c = d + -448. Is c a prime number?
False
Suppose 35 = -4*q - 4*s - s, -3*q - 29 = s. Is (85/q)/(2/(-332)) a prime number?
False
Suppose 5*w - 1107 = -3*z, 621 + 265 = 4*w + 2*z. Suppose -13*s + 10*s + w = 0. Is s prime?
False
Suppose 0 = 7*m - 11*m + 1680. Suppose 2*i = m - 102. Is i composite?
True
Let v(m) = 87*m - 8. Let u be v(2). Suppose -2*x + u = -88. Is x prime?
True
Suppose 0 = -3*t - 2*h + 793, 0*t + t + 3*h = 269. Let u = t + 218. Is u prime?
False
Let v(y) = 18*y + 2. Suppose 0 = -2*i - 2*i + 4. Suppose 5*b = -15, t + i - 11 = 2*b. Is v(t) prime?
False
Let f(p) be the first derivative of 4*p**3 + 7*p - 4. Is f(3) a prime number?
False
Let z(h) = 16*h - 7. Let n(j) = -16*j + 7. Let u(k) = -2*n(k) - 3*z(k). Is u(-5) composite?
True
Let i(u) = 55*u**2 - 5*u + 3. Is i(1) a composite number?
False
Let h(q) = -q**3 + 4*q**2 + 12*q - 1. Let k be h(6). Let b be (k - -2)*(9 + 228). Suppose -516 = -3*f + b. Is f prime?
True
Let x = -4015 - -7496. Is x composite?
True
Let l be (-122)/18 + (-24)/108. Let a(m) = m**3 - 17*m**2 - 19*m + 15. Let y be a(18). Is y + 2*-40*l a prime number?
True
Is 1025796/21 - (-9)/(-21) a prime number?
True
Suppose 5*c = 25, 11*l = 16*l + 5*c - 118640. Is l a prime number?
False
Suppose 10*f + 5*b - 941 = 8*f, -3*f = 5*b - 1404. Is f prime?
True
Let x(n) = 12*n**2 - 11*n - 6. Let a(m) = 11*m**2 - 10*m - 6. Let j(k) = -6*a(k) + 7*x(k). Let q(u) = 12*u + 1. Let w be q(-1). Is j(w) composite?
True
Let a be ((-3)/2)/((-3)/4). Suppose 4*u - 296 = 2*h, -6*u = -u - 3*h - 368. Suppose -u = a*s - 6*s. Is s a prime number?
True
Let i be -2 - -4 - (-18)/2. Suppose -k + i + 1 = 0. Is ((-8)/k)/(2/(-111)) a composite number?
False
Let s = 732 + -681. Let l be 172/5 - 4/10. Is (l/s)/(4/726) a composite number?
True
Let u = 10 + -2. Suppose -22 = 2*i + u. Let s = i - -226. Is s a prime number?
True
Let s(u) be the third derivative of u**6/180 + 7*u**5/120 + 5*u**4/24 - 3*u**3/2 + 9*u**2. Let c(g) be the first derivative of s(g). Is c(-12) 