 a be w(b). Is 6/15 - 226/a prime?
True
Let m(s) = -2*s**2 + 20*s - 7. Suppose -u + 3*z = -6, -2*u + 39 = u - 2*z. Let d be m(u). Let l = 744 + d. Is l a prime number?
True
Let t(q) = -12009*q - 323. Is t(-6) a composite number?
True
Suppose 9*q - 12224 = -23*q. Is q composite?
True
Let d = 1 - -3. Suppose -y - d*y = -195. Let c = y - 2. Is c prime?
True
Let y = 8 - 38. Let a = -37 - y. Let d(f) = 7*f**2 + 16*f - 8. Is d(a) prime?
True
Let z(u) = -u - 8. Let v be z(-9). Suppose 15 = -5*a, 2*s - s + v = -5*a. Is s a composite number?
True
Let c(y) be the second derivative of 3/4*y**4 + 0 - 10*y - 3/2*y**2 - 2/3*y**3 - 1/20*y**5. Is c(5) composite?
True
Let f = 5 - -97. Suppose -5*z + 345 = 5*j, j + 5*z - 277 = -3*j. Let r = f - j. Is r a prime number?
False
Suppose -5*s = 3*j - 22, -j + 12 = s + 3*s. Suppose 2*f - 6 = -2*g, -2*g = f + s*g. Suppose k = -q - 2*q + 91, 0 = -5*k + f*q + 417. Is k composite?
True
Suppose -9*d - 198 = 1143. Is (20 - -8)*d/(-4) a prime number?
False
Let z(r) be the second derivative of 47*r**4/12 - r**3/6 - 17*r**2/2 + 10*r. Is z(-4) a composite number?
False
Suppose -2*g - 5635 = -2*t - g, -14092 = -5*t + g. Is t a composite number?
False
Suppose 4*f = -2*n + 6, 0 = -4*n + 1 + 11. Suppose -5*s - i + 1155 = -3*i, 4*s - 5*i - 907 = f. Is s a composite number?
False
Let s = 13169 - 1229. Let v = s + -7613. Is v prime?
True
Let g(f) = 3*f - 99. Let w be g(33). Suppose 5*h + h - 2874 = w. Is h composite?
False
Suppose 4*l - 66396 = -4*g, 2*g - l = -0*g + 33210. Is g composite?
False
Suppose -9*p - 714 = -11*p. Suppose 0 = -4*a + 3*s - 481, 0 = a - 4*a + s - p. Let r = -23 - a. Is r prime?
False
Let y(t) = -t**2 + t - 1. Let z be y(1). Let h be 1*(-2 + z + 6). Suppose 0 = -h*m + r + 32 + 39, 0 = m - r - 25. Is m a prime number?
True
Let p be (-14 - -13) + (1 - 0). Let a = p + 14. Let r = a - -77. Is r prime?
False
Suppose n = 826 + 81. Is n prime?
True
Suppose 0 = -2*m - 2*n - 2, n + 9 = 3*m - 0*n. Let l be 4/m + (-10)/5. Suppose 5*f + 3*s - 198 = l, 0*f - 5*s = -4*f + 151. Is f a prime number?
False
Let s(l) = 2202*l**3 - l**2 + 4*l - 2. Is s(1) a composite number?
False
Let r(k) = k**3 - 10*k**2 + k - 8. Suppose -4*h + 59 = 5*d, -3*d - 22 - 2 = -3*h. Let w be r(h). Is -1 - w*(2 - 3) a composite number?
True
Let a = 7887 + 8198. Is a composite?
True
Suppose 5*n + 8 = 7*n. Let c(s) = 2*s - 5. Let r be c(4). Suppose 0 = -5*g - n*p + p + 740, -r*g = -3*p - 420. Is g a prime number?
False
Suppose 2*o = -2*o + 20. Suppose -10*n + 6*n = -824. Suppose 1261 - n = o*j. Is j composite?
False
Let b = -161 - 14. Let f = b - -324. Is f a prime number?
True
Let p be 8/(-20) - (-96)/(-10). Is (318/(-10))/(2/p) prime?
False
Let h be 4/((-8)/(-6)) - 1. Suppose 216 + 404 = 2*i. Suppose -i = -h*p + 276. Is p prime?
True
Let r(g) = g**2 + g - 10. Let c(s) = s**2 + 2*s - 11. Let p(a) = 5*c(a) - 4*r(a). Suppose 0 = -16*l + 15*l + 14. Is p(l) composite?
True
Let x = -35 - -24. Let z(j) = -10*j - 19. Is z(x) a composite number?
True
Let q(y) = -11*y + 2. Let h be q(6). Let j = 153 + h. Is j a composite number?
False
Let h(v) = v**2 - 2*v + 778. Let t be h(0). Suppose 19*k - t = 17*k. Is k a prime number?
True
Let z(g) = -147*g**3 - g**2 - 27*g + 9. Let v(x) = -74*x**3 - 14*x + 4. Let r(h) = -5*v(h) + 3*z(h). Is r(-4) a prime number?
True
Let j(y) = -3*y**2 + 149*y + 53. Is j(24) a composite number?
False
Let k be (102/8)/(3/16). Let p(j) = j**2 - 4*j + 5. Let v be p(4). Suppose -3*q - k = -v*q. Is q prime?
False
Suppose 4*c = 5*j - 3*j + 3876, 0 = 4*c - 5*j - 3888. Is c composite?
False
Suppose -2*c = -3*v + 3 - 17, 2*v = 4*c - 20. Suppose 0 = -5*q + c*q. Suppose -5*f = -3*f + 3*r - 511, q = -2*r + 6. Is f composite?
False
Let b = -5 + 18. Let w = b + -8. Suppose 0 = 2*z - d - 2091, -4*z - w*d = z - 5190. Is z a composite number?
True
Is -5 - 784/21*(-123)/2 prime?
False
Let g(q) = 9447*q**2 - 4*q - 6. Is g(-1) composite?
True
Let z(y) = -5*y + 12. Let s(g) = -g + 1. Let f(c) = 6*s(c) - z(c). Let j be f(-13). Suppose -2*t - 545 = -j*t. Is t a prime number?
True
Let h be ((-4)/2 - -1)/(61/(-427)). Let v be (-1)/(-2)*(0 + 0). Suppose h*m - 6*m - 37 = v. Is m a composite number?
False
Is (-54790)/(-3) - (-58)/(-174) composite?
True
Let z(a) = -a + 9. Let n be z(8). Let y be (18/(-1))/((-15)/(-10)). Is (8 - n)*(y + 41) a prime number?
False
Let x = 34 + -28. Suppose -20 = k - x*k. Suppose -k*h + 2715 = -h. Is h a prime number?
False
Suppose 0*h = 5*h - 10. Suppose -4 = 4*g - 4*b, h*b - b - 1 = -3*g. Suppose g = -4*i - 5*a + 1950, -2*a = -0*a - 4. Is i a prime number?
False
Let r(j) = j**2 + 4*j - 7. Let i be r(-5). Is (-1 + -2094)/(i/(-6 + 8)) a prime number?
False
Let x = -21 - -23. Suppose 3*g - x*g - 37 = 0. Is g a composite number?
False
Suppose 3*u - 6 = -u - 2*n, 0 = 5*u - 4*n - 14. Suppose 7*r - 2*r - 3938 = 3*x, 5*r - u*x = 3937. Is r a composite number?
False
Let q(f) = 33*f**2 + 13*f + 1. Suppose 2*o = -o - 27. Is q(o) composite?
False
Let n(f) = -248*f**3 + f**2 - 2*f + 3. Let b be n(-3). Let p be -5 + (-1 - (-8)/2). Is (p/(-6))/(6/b) prime?
True
Let x = -2816 - -1415. Is x*(-3 + 16/6) prime?
True
Let q(d) = 5*d**2 - d - 1. Let v = -23 - -50. Suppose v = -3*r + 3*k, -4*r - 3*k = 10 + 5. Is q(r) prime?
False
Suppose -4*v = 5*j - 9, -2 = -4*j - 4*v + 2. Suppose -n + 182 = -0*f - 3*f, -5*f = j. Is n a composite number?
False
Let j(u) = 147*u**2 - u - 39. Is j(14) a prime number?
True
Let d(o) = -3*o + 26. Let h be d(16). Let q(i) = -i**3 - 20*i**2 + 25*i + 31. Is q(h) a prime number?
True
Let y = -50 - -5. Let x = -15 - y. Let z = -19 + x. Is z a prime number?
True
Let b = 348 - 39. Suppose -6*l = -7*l + 436. Let f = l - b. Is f a composite number?
False
Let y(r) = r**2 - r. Let l be y(7). Let q be l/9*(-1 - 2). Is 1/(3 - (-41)/q) a composite number?
True
Let k = 31 + -15. Let w be (-125)/(-3) + (-2)/3. Suppose -k = -m + w. Is m a prime number?
False
Is (-71)/(-284) - 295286/(-8) a composite number?
True
Let a be 3*(-2)/9*(-9)/(-6). Is (33/a)/((-108)/828) a composite number?
True
Is ((-4)/10)/(164/(-20214230)) a composite number?
True
Let h = 12523 + -3950. Is h prime?
True
Let q(f) = -f**2 + 9*f - 14. Let m be q(6). Suppose 259 + 179 = 2*d - 4*t, 1107 = 5*d - m*t. Is d a prime number?
True
Let u be 54*(3/9 - 0). Suppose -4*y = -y + u. Is y/(-12) + 54/4 a prime number?
False
Let m(l) = 49*l + 32. Let z be 22 + 1/(-2)*8. Is m(z) prime?
False
Let w = -1572 - -2687. Is w prime?
False
Let t be 1 + 15*(0 - -74). Suppose 2*i + 2*d = 1880, 3*d - 768 - t = -2*i. Suppose -3*r - 2*m + i = 0, 3*m = -4*r + m + 1258. Is r composite?
False
Suppose -2*a + 4*a - 4 = 0. Suppose 2*q - a*p + 7*p = -159, -q - 2*p - 79 = 0. Let o = q + 164. Is o a composite number?
True
Let m be -2*(0 - 5/2). Suppose -8360 = -0*b - m*b. Suppose 3*g - 5*g + 1265 = 3*d, -4*d + g = -b. Is d prime?
True
Suppose 0 = w + 4*w - 1095. Suppose -2*s + w + 203 = 0. Is s a composite number?
False
Let v be (-3)/(5/(-10340)*3). Suppose -676 = -b - y - 2*y, 3*b - v = -y. Is b composite?
False
Let a(j) be the second derivative of -5*j**3/6 - 2*j. Let f be a(-1). Suppose f*v = 281 + 44. Is v composite?
True
Let v = -17 + 14. Suppose -a = a + 18. Let s = v - a. Is s a composite number?
True
Let g(x) = -6*x - 5. Let t be g(-3). Let l = 17 - t. Suppose -3*h + 2*w = -1000, h - 2*h + 330 = -l*w. Is h a composite number?
True
Let d(m) = 13*m**2 - 8*m + 6. Let f be d(6). Suppose -3*o = -7*o + y + f, 5*y + 204 = 2*o. Is (-2)/(3 + o/(-35)) composite?
True
Suppose 0 = -4*n - 0 - 4. Let o(a) = 110*a**3 + a**2 + a. Let s be o(n). Let m = -67 - s. Is m prime?
True
Suppose 0*v - 46305 = -9*v. Suppose -5*z + v = 2*h, -h = 4*z + 2*h - 4123. Is z a prime number?
False
Suppose 2*v - 22676 = 2*k + 31052, -53713 = -2*v + 5*k. Is v prime?
False
Let k(o) = 4*o**2 + 0*o + 0*o + o**3. Let r be k(-4). Suppose 0 = -r*g + 6*g - 726. Is g a prime number?
False
Is (76/16)/((-3)/(-10644)) composite?
True
Let p = 1002 + -623. Let r = -122 + p. Is r a composite number?
False
Let b = 215 + -52. Is b composite?
False
Let x(d) = 1. Let v(c) = -3*c**3 + 4*c**2 - 16. Let s(j) = -v(j) - 3*x(j). Is s(8) composite?
True
Suppose 3*n + 2 - 7 = f, 4*f + 20 = 5*n. Suppose -6 = -n*q + 3*q. Is 7 + 8 + -2 + q composite?
False
Let t(y) =