)/6 prime?
False
Let b(s) = 17 - 22 + 6 + 381*s. Is b(1) prime?
False
Let q(i) = -7307*i**3 - 3*i**2 - 6*i - 5. Is q(-2) a composite number?
False
Let h = 4912 - 1479. Is h prime?
True
Let o(c) = -c**2 - 7*c - 5. Let y be o(-5). Suppose 0 = y*x - 2*x - 5664. Suppose 108 + x = 4*a. Is a prime?
True
Suppose 11407 = 2*h - 28*g + 25*g, -5*g + 17082 = 3*h. Is h a prime number?
False
Suppose a = -0*p + 4*p - 3, 2*p + 2*a = 14. Suppose -5*h = 0, -p*k - 5*h + 180 = 2*k. Suppose s = -4*v + k, 3*s + 0*v - 90 = 3*v. Is s a composite number?
True
Suppose 4*d - 57097 - 63901 = -2*j, -60494 = -j + 3*d. Is j a prime number?
True
Let u(k) = 2*k**3 - 2*k**2 - k - 8. Let w be (14/21)/((-2)/(-18)). Is u(w) composite?
True
Suppose -4*l = p - 383 - 228, -5*p - 3*l + 3106 = 0. Is (-36)/162 - p/(-9) composite?
True
Let y(f) be the third derivative of 815*f**4/12 + f**3/2 - 14*f**2. Let o be y(2). Suppose -2*p + 5*u + 0*u = -1301, 5*p - 2*u = o. Is p a prime number?
True
Suppose -d - 15 = -19. Suppose 0 = m + d*m - 1415. Suppose 2*n = o + 303, 0*n + 3*o = -2*n + m. Is n prime?
True
Let a(m) = -36495*m + 7. Is a(-1) a prime number?
False
Suppose 3*g - 2*z - 19 = 7, z = 4*g - 43. Let h(s) = s**3 + 8*s**2 + 7*s + 2. Let v be h(-7). Suppose v*k = g + 18. Is k a composite number?
True
Let y(x) = 1 - 8*x + 47*x**2 + 19*x**2 + 8*x. Is y(1) a composite number?
False
Let i = -3 - -5. Suppose 3*g = g, 2*g + 98 = i*y. Suppose 5*h - 126 = y. Is h prime?
False
Suppose -10*b - 2290134 = -52*b. Is b a prime number?
False
Let w(f) = f**2 + 33*f - 149. Is w(34) prime?
True
Let n(r) = 3*r**2 + 17*r + 10. Let u be n(-17). Suppose u = -7*x + 9401. Is x composite?
False
Is 2/(-8)*13/(169/(-24908)) prime?
True
Let b = -1360 + 3813. Is b a prime number?
False
Let s be ((-12)/15)/((-4)/(-10)). Let j = 10 - s. Suppose -j*u + 14*u - 258 = 0. Is u composite?
True
Let k(v) = -v**3 - 7*v**2 - v - 6. Suppose -d - 24 = 2*d. Let s be k(d). Suppose -3*o - s = -495. Is o a prime number?
False
Suppose 2*k = -2*a + 14758, 5*a + 36935 = 4*k + k. Let z = -5254 + k. Is z composite?
False
Let n be 1 + 4 - (2 + -5). Is 1*(0 + n/(-4) + 2101) a composite number?
False
Let u be 1/2 + (-15435)/(-6). Suppose 2*r - 4*p = u + 1537, -3*p = 3. Is r composite?
False
Let y(c) = 5*c - 5. Let d be y(2). Suppose d*o - 13 + 3 = 0. Let m(w) = 160*w - 1. Is m(o) a composite number?
True
Let c = 80 - 77. Suppose -3*j = 5*x + 2*j - 3855, -4*x + 3082 = c*j. Is x composite?
False
Let m(s) be the first derivative of 9*s**4/4 + 2*s**3 - s**2 + 10*s + 35. Is m(7) a prime number?
False
Let q(o) = -136*o**3 + 12*o**2 + 18*o + 57. Is q(-5) composite?
True
Suppose 1425 - 12047 = -2*f. Let m = f - 2876. Is m a composite number?
True
Let t be ((-4)/6)/(7/21). Let z(p) = p**3 + 3*p**2 + 2*p. Let n be z(t). Suppose -3*y + 7*y - 268 = n. Is y prime?
True
Suppose 4*n = -4*m + 6256, 5*n - 3682 = 2*m + 4103. Is n prime?
True
Let s = 3443 - 1412. Is s a composite number?
True
Let t = -1779 + 3506. Suppose -2*p + 21 = -t. Suppose -3*d + p = 340. Is d composite?
True
Let t = 18 - 18. Let d be (t*(2 + -3))/(-1). Suppose 0 = 4*y + g - 3040 - 777, d = 5*g + 15. Is y composite?
True
Let v = -1 - -4. Let a(g) = g**2 - v*g - 2*g + 3*g + 4. Is a(9) prime?
True
Suppose i - 3969 = -5*v - 958, -3*v + i + 1813 = 0. Let h = -124 + v. Is h a composite number?
False
Let u = 8310 + 5439. Is u composite?
True
Let d(h) = -113*h - 6. Let i(y) = 225*y + 11. Let p(q) = 11*d(q) + 6*i(q). Let w be p(1). Suppose 56 + w = l. Is l composite?
False
Let t = 13 - 0. Suppose 789 = -t*k + 10*k. Let i = k - -516. Is i a composite number?
True
Let x(z) be the third derivative of -z**6/120 - z**5/30 - z**4/24 + z**3/3 - 4*z**2. Let t be x(2). Is -4*((-1060)/t)/(-5) composite?
False
Let d(m) = -m**2 + 15*m - 12. Let h(i) = i**2 - 7*i + 14. Let q be h(7). Let p be d(q). Suppose -3*o = -5*o, -p*o + 339 = 3*w. Is w composite?
False
Let c be 139338/72 - (-2)/(-8). Suppose -4*q - 1072 = -2*t + 222, 0 = 3*t - 4*q - c. Is t composite?
False
Suppose -7 = p - 5*z, -z + 47 = 4*p - 9. Suppose -9*s = -p*s + 6772. Is s a prime number?
True
Suppose -393 - 20302 = -5*a. Is a prime?
True
Suppose 6*s + 4697 = 4*z + 3*s, -5*s = -3*z + 3520. Let u = -171 - z. Let y = -679 - u. Is y prime?
False
Let s(h) = -143*h**3 + 4*h**2 - 6*h - 1. Let u be s(3). Let b = -1955 - u. Is b prime?
True
Suppose -6220 - 11404 = -8*h. Is h prime?
True
Let g = -41 + 47. Suppose 0 = 3*h + j - 3469, -8*h + g*h + 3*j = -2320. Is h composite?
True
Let u(o) = -o**3 - 2. Let g(j) = -j**2 - j. Let q be g(0). Let s be u(q). Let c(a) = -18*a - 1. Is c(s) composite?
True
Let n(i) be the second derivative of -5*i**3/2 - 3*i**2 + 10*i. Let m be n(2). Let s = m - -227. Is s prime?
True
Suppose 0 = f + f - 288. Let v(i) = i**2 + 25*i - 113. Let u be v(8). Let m = u + f. Is m a prime number?
False
Let f(a) = 233*a + 67. Is f(6) composite?
True
Suppose 3*z + 2 = z. Let v(y) = y**3 + 13*y**2 - 20*y - 15. Let d be v(-14). Is (d/(-9))/(z/21) a composite number?
True
Let h(u) = -u**2 + 2*u - 5 - 4*u + 9*u**2. Let p be h(-6). Suppose -2*c + 2*v + 100 = 0, 4*v = -2*c - 3*c + p. Is c a composite number?
True
Is (2 + 0)*245661/78 composite?
False
Suppose -3*r = -5*m + 20, 3*m - 16 = -m. Suppose x = -2*t + 1058, t = -r*t + 3*x + 529. Is t prime?
False
Let j(w) = w**3 - 3*w**2 + 3*w - 1. Let n be j(1). Suppose 3*h - 2*h + 3*m - 761 = n, 0 = 5*h - 2*m - 3771. Is h a composite number?
True
Suppose 5*v - 4*v = -3*h - 608, -200 = h + 3*v. Let w = h - -473. Let d = w - 61. Is d prime?
False
Suppose 0*m + 2*m - 113 = 3*b, -227 = -4*m + 5*b. Let v = 158 - m. Let o = v - 54. Is o a prime number?
False
Let n = -70129 + 132980. Is n a prime number?
True
Let u be 243/18 - (-9)/(-6). Suppose u = -t + 71. Is t prime?
True
Let l(z) = 1365*z + 20. Is l(1) a prime number?
False
Let u = 17 + -13. Let d(i) = 201*i**2 + 2*i + 9. Is d(u) a prime number?
False
Let l be (-3)/3*(4 - -247). Let n = 612 - l. Is n prime?
True
Let h(j) = -j**3 - 6*j**2 - 7*j + 1. Let g be h(-5). Suppose -o + 0*v = -3*v - g, o + v = -5. Is 261 - 1*(-3 - o) prime?
True
Let p be ((-2)/3)/(6/(-126)). Suppose 5*z + p = 4. Is 190 + -13 - 0/z a composite number?
True
Is ((-25)/(-75))/((-3)/(-982791)) a prime number?
True
Suppose x + 3*x - 3*l = 32, 5*l = 3*x - 24. Suppose -x*d + 7528 = -960. Is d a composite number?
False
Suppose 2*o - 19 + 7 = 0. Is (2/o)/((-1)/(-69)) a composite number?
False
Suppose 2*q + 576 = 2*w, 3*q = 2*w - 655 + 84. Is w a prime number?
True
Suppose 2*l - 2940 = -2*n, 0 = 2*n + 3*l - 8*l - 2933. Is n a composite number?
True
Let x be (-34)/4*16/(-8). Let t = x - 12. Suppose 5*a + 5*p - 3130 = 0, t*p + 477 = a - 179. Is a a composite number?
False
Let c be 6/(-39) + (-24)/13. Let y be -2 - (-1 - c) - -7. Suppose 0 = -4*o + 12, y*u - 45 = 3*o + 254. Is u a composite number?
True
Let n(k) = -14*k**2 + 23*k - 5. Let o be n(8). Let y = 2182 + o. Is y composite?
True
Is -17 + 5 + -11 + 55510 prime?
True
Suppose 27*x - 29*x = -1678. Let v = -45 + x. Is v a prime number?
False
Let q = 9046 - 14490. Let r = -3265 - q. Is r a composite number?
False
Suppose -2*z = 5*f - 2566, -f + 6461 = 5*z - 0*z. Is z composite?
True
Let q(o) = -2*o - 3. Let a be q(-4). Suppose 0 = -a*j + 922 + 143. Is j composite?
True
Suppose m = -5*m + 2214. Let a = m - 194. Suppose -a - 322 = -s. Is s a composite number?
True
Let q = -50695 + 85230. Is q composite?
True
Let a = -10905 + 23284. Is a prime?
True
Let d(s) = -s**2 + 9*s + 1. Let x be d(9). Let f be x/(-4) + (-2)/(-8). Suppose -2*a = -f*a - 526. Is a prime?
True
Is (-8)/(48/6)*-2203 a composite number?
False
Let n(q) = 187*q**2 - 3*q - 33. Is n(-7) a composite number?
False
Let i(d) = d**3 - 18*d**2 + d - 17. Let h be i(18). Is 1/h*(3593 - -2) a prime number?
False
Let b(h) = h**3 + 8*h**2 + 2*h + 6. Let a be b(-8). Let s(u) = -9*u - 7. Let r be s(6). Let z = a - r. Is z composite?
True
Let q(b) = -b**3 - 10*b**2 + 23*b - 47. Is q(-21) composite?
True
Suppose 1950 = 4*h + 2*s, 0*h - 4*h - 4*s = -1960. Is h composite?
True
Let s(h) = 16*h**2 + h - 23. Let g be s(12). Suppose 4*f = -257 + g. Suppose -2*i + 329 = -f. Is i prime?
True
Let l(d) = 212*d - 12*d - 113*d - 85. Is l(12) prime?
False
Let x = -15 + 18. Suppose s = -1 + x. Suppose -3*a 