, -5*o - 197 = m + m. Let f = m - -240. Is f composite?
True
Let p = 1764 - -1429. Is p composite?
True
Let v = -14 + 10. Let i be ((-10)/(-15))/(v/(-30)). Suppose 2*a + 47 = -3*d + 177, i*a = -3*d + 307. Is a a prime number?
True
Let p = -14 + 14. Suppose g - 490 + 127 = -2*k, -k - 5*g + 204 = p. Let x = 366 - k. Is x a composite number?
True
Suppose -a = 2*d - 3 - 5, 4*d - 12 = 0. Suppose -3*t + 7345 = 4*j + 1887, t - a = 0. Is j a composite number?
True
Let q(i) = -i**3 + 7*i**2 + 8*i + 3. Let c be q(8). Is (-3)/((-432)/(-148) - c) a prime number?
True
Suppose -3*x + 2 = -4. Suppose -g = -3*n - 14 - 120, x*g + 2*n - 236 = 0. Suppose y + 258 = 4*w + 6*y, y + g = 2*w. Is w prime?
False
Let s be 3/7 - 5403/(-21)*-5. Let k = 1565 + 872. Let i = k + s. Is i prime?
True
Is (-1 + 3)/(2/331) prime?
True
Let r(x) = 4*x**2 + 8*x - 5. Let s(i) = 5*i - 7. Let t be s(3). Suppose 3*m + 24 = -2*o, -7 - t = m + 3*o. Is r(m) a prime number?
False
Suppose -3*q = 3*r - 19485 + 7533, -4*q = 3*r - 15941. Is q a prime number?
True
Let w(l) = 427*l + 518. Is w(5) prime?
False
Let i be -3 - 1 - 1167*-2. Suppose 4*z + 3*s - 1162 = 3*z, -4*s + i = 2*z. Is z composite?
False
Let a = -36 - -38. Suppose a*j - 1066 = -2*j + 3*p, 5*p - 785 = -3*j. Is j a prime number?
False
Let s = 10861 - 7572. Suppose -3*i = -1622 - s. Is i prime?
True
Let q(j) = -j**3 - 4*j**2 - 9*j - 3. Let z(l) = -2*l**3 - 8*l**2 - 20*l - 8. Let s(x) = 7*q(x) - 3*z(x). Suppose 0 = 2*t + 10 - 2. Is s(t) composite?
True
Suppose 3 = -2*h + 13. Suppose -h*j + 283 = -52. Suppose x - j + 0 = 0. Is x a prime number?
True
Let c(i) be the first derivative of 13*i**5/20 + i**4/12 - 2*i**3/3 + 3*i**2/2 - 3*i - 8. Let u(j) be the first derivative of c(j). Is u(2) composite?
False
Let x(w) = -2*w - 2. Let t be x(-2). Suppose t*j - 4 = 2. Suppose j*b - 8*b + 235 = 0. Is b a composite number?
False
Let w be ((-8)/18)/2 - 12/(-54). Suppose 6*m = 5*c + 3*m - 2690, w = -c - 5*m + 566. Is c a prime number?
True
Let c be 0 + (-14)/(-21) - (-8)/6. Suppose 0 = 4*b - 3*b. Suppose 4*h + 2*r - 616 - 1346 = 0, -c*h + 4*r + 1006 = b. Is h prime?
False
Let d be (-4)/18 - (-580)/180. Suppose x - 627 = 4*f, -d*x + 2532 = 2*f + 581. Is x a prime number?
True
Let y = -2969 - -5028. Is y prime?
False
Suppose -33*c = -30*c - 50637. Is c composite?
False
Let r be (-16836)/(-8) + 3/2. Suppose -2*j + r = -412. Is j composite?
False
Let v = -58 + 60. Suppose 3*p + 967 = -2*b + 5037, v*p - 6115 = -3*b. Is b a prime number?
False
Let n(x) = 11146*x - 63. Is n(2) a prime number?
True
Suppose 3*n + 3*s - 24 = 0, 2*s = 4*n + 5*s - 29. Suppose 5*k - 3*k - 3*y - 4784 = 0, 7177 = 3*k - n*y. Is k a prime number?
True
Suppose 4*y - 4*z + 990 - 7126 = 0, -y + 5*z = -1530. Suppose -4*u + y = u. Is u a composite number?
False
Suppose -20*u - 83438 = -2*q - 24*u, 3*q = -2*u + 125157. Is q composite?
False
Is 13839/18 + 8/48 prime?
True
Let z = -16 - -77. Let q = -8 + z. Is q a composite number?
False
Suppose 5*p + 0*p + 60 = 0. Is 3 + 1 - 3/(p/5020) a prime number?
True
Let p = 79 + -74. Suppose 4*q = -p*z + 4611, 5*q + 0*z - z - 5742 = 0. Is q a prime number?
False
Let z(m) = -m + 1. Let c(h) = -888*h**2 + 2*h - 3. Let l(x) = -c(x) - 2*z(x). Let i(b) = b - 13. Let n be i(12). Is l(n) a prime number?
False
Let g(y) = 108*y**3 - 8*y**2 + y + 11. Is g(4) a composite number?
True
Suppose -k = 5*l + 20, -2*l - 5 = -5*k - 6*l. Suppose 3334 = -k*r + 12204. Is r a composite number?
True
Let c = -45 + 41. Is c/((-24)/491)*3*2 composite?
False
Let p(j) be the third derivative of 3*j**5/4 + j**4/3 - 13*j**3/6 - 4*j**2. Is p(4) a prime number?
True
Suppose 5*k - 8586 = 4*u, -4*u - 188 = 2*k - 3628. Let w = k + 267. Is w prime?
False
Let u(t) = t**3 + 6*t**2 + 6*t. Let s be u(-4). Suppose -2*x = -s*x + 1212. Is x prime?
False
Let m be (516/(-8))/(6/40). Let u be m/(-6) - 4/6. Suppose -i + u = -78. Is i prime?
True
Let k(s) be the third derivative of -59*s**4/8 + s**3/6 - s**2. Let b = -27 - -25. Is k(b) composite?
True
Let z = -1405 - -2972. Is z a composite number?
False
Let g = -641 - -5990. Suppose 8*n = 13405 - g. Is n a composite number?
True
Let v be -9*6 + 16/4. Is 37/(2*(-5)/v) a composite number?
True
Is (-28)/35 - (-319836)/20 a prime number?
True
Suppose g + 15 = 3*g - 3*i, -18 = -2*g + 4*i. Suppose -3*n + 14 = -4*p, -g*p - 4*n + 1 + 1 = 0. Is 81 + 0 + 1*p composite?
False
Let k = 33 - 24. Suppose -771 = -k*h + 6*h. Is h a composite number?
False
Let n(j) = 48*j**2 + 19*j + 12. Is n(-5) composite?
False
Let c = -3110 + 15105. Is c composite?
True
Let b(z) = -z**3 - 10*z**2 - 9*z + 3. Let l be b(-9). Suppose -2*m - 1092 = -u, 2*m + 3276 = 6*u - l*u. Is u/5 - 6/15 a composite number?
True
Let a(v) = 465*v**2 - 38*v + 29. Is a(-4) prime?
True
Let b = -2 + -9. Let a = 13 + b. Suppose -4*f - 1 = -v, 22 = a*v + f - 25. Is v composite?
True
Suppose 5 = -4*d + 17. Suppose 4*n = d*o - 1939, o - 628 = -n + 6*n. Is o a prime number?
True
Let i = -247 + 348. Let a = i + 78. Is a a prime number?
True
Let a = 510 + -62. Suppose -5 = 2*j - 3*j, 2*k = 5*j + 353. Let w = a - k. Is w a composite number?
True
Let b = 10968 + 63001. Is b a prime number?
False
Suppose -2*b + 7*o = 6*o - 2722, -2*b = -5*o - 2722. Is b a composite number?
False
Let t be (0 - 0 - 1)*6. Is t/(-14) - 11048/(-28) a composite number?
True
Let z(n) be the third derivative of -n**5/60 + n**4/4 + n**3/3 - n**2 - 10. Suppose 2*b = -8, 4*h - b - 16 = -3*b. Is z(h) a composite number?
False
Let w be 18/(-15)*(-10)/6. Is (w/3)/(8/5820) a composite number?
True
Suppose 4*q + 3*k = 2*q + 3, -q - 9 = 5*k. Suppose 4*l = q*l - 1070. Is l a composite number?
True
Let s = 3 - 33. Let h = s - -13. Let k = h - -104. Is k composite?
True
Suppose -4*n + 4*r = -108, n - 6*n = 2*r - 170. Let j = n - 28. Suppose -4*g - 2*h + 300 = 0, 2*g - 3*h = j*g - 142. Is g prime?
False
Suppose 0 = 4*x + 2*t - 7*t - 27649, -x - 3*t + 6908 = 0. Is x prime?
True
Let b(p) = p**3 - p + 8279. Is b(0) prime?
False
Suppose 0 = 5*i + 5*d - 365, 4*i + 2*d - 75 = 3*i. Suppose 6 = t - i. Is t composite?
True
Suppose 172388 = 24*j + 1484. Is j prime?
True
Suppose -27 + 2 = -5*g - 5*z, 0 = 5*z - 10. Let r(o) = 2*o**2 + 14*o + 29. Let j be r(-9). Suppose -y = -2*b + j, -5*y = -2*b - g + 64. Is b a composite number?
True
Suppose -t + 177 = 2*s - 1228, 0 = 4*t - 3*s - 5587. Is t prime?
True
Let d be 1/((-1 + 5)/4052). Suppose d = -n + 2*n. Suppose -4*h = -v - n, 0 = h + 5*v - 71 - 198. Is h composite?
True
Let s = 112775 + -56436. Is s prime?
False
Suppose -40*x = -33*x - 58289. Is x a composite number?
True
Let a(l) = 2*l**2 - 6*l + 2. Let c be a(-6). Is c + -2*(-4)/(-8) composite?
False
Let r = 27571 + -12588. Is r a composite number?
False
Let l = -2470 - -6045. Is l/8 - ((-62)/(-16) + -4) prime?
False
Let l(k) be the third derivative of 12*k**6/5 - k**5/30 + k**4/12 - k**3/6 + 17*k**2. Is l(1) a composite number?
True
Let x = 0 - -7. Let w(q) = -q**2 + 9*q - 8. Is w(x) a composite number?
True
Suppose 0*u - u = 5, -5*b - 3*u = 10. Is b + (1 - 4) + 337 a composite number?
True
Let b(x) = x**2 + 2*x + 1. Let v be b(0). Is (-1208)/(-48) + v/(-6) a composite number?
True
Let y(f) = 4*f - 10. Let u be y(9). Suppose l + 0*l = -u. Is l*((-9)/2 + 1) prime?
False
Suppose -3*x + 9 = -12. Let o(w) = 16*w - 6*w + w**2 - 16*w + 14. Is o(x) prime?
False
Let m = -16 - -156. Suppose 0*n + 2*n - m = 0. Suppose -66 = 2*f - 4*f - r, 2*r - n = -2*f. Is f prime?
True
Let r(u) = 55*u - 9. Is r(4) prime?
True
Suppose 33*o - 31*o = 6. Suppose w + o*d - 4*d = 236, -w = -5*d - 248. Is w a prime number?
True
Let p(m) = m**3 + 3*m**2 - 2*m - 1. Let h be p(-3). Is (3/(-9))/(h/(-2745)) a prime number?
False
Let x be ((-9)/(-2))/(((-3)/4)/1). Let a(l) = -45*l + 23. Is a(x) a prime number?
True
Let v = -927 + 390. Let o = 26 - v. Is o composite?
False
Let m = 8432 - 5323. Is m composite?
False
Let i(y) = -8*y - 14. Let p(x) = x - 17. Let f be p(13). Let k be i(f). Is (3 + 0)/(27/k) prime?
True
Let m(g) be the second derivative of -g**5/10 - g**4 + 13*g**3/6 - 29*g**2/2 - 18*g. Is m(-12) a composite number?
False
Suppose 5*n - 10*n = -23845. Is n composite?
True
Let f = 34 + 190. Suppose j - 3*j = -4*b + 200, 0 = -5*b - 4*j + f. Suppose b = g - 17. Is g prime?
False
S