2/2 + 8*k. Is y(2) composite?
True
Let u(c) = -98*c - 1. Let t be (2/4)/((-6)/36). Is u(t) prime?
True
Suppose -j + 3*j = 5*k + 2427, j - 1941 = 4*k. Let t = k + 5094. Is t a composite number?
True
Let w(a) = 660*a + 683. Is w(63) composite?
True
Let k(u) = 2*u**3 + 16*u**2 + 2*u - 26. Is k(11) composite?
True
Suppose 84 + 43 = m. Is m composite?
False
Let d(l) = 1697*l + 340. Is d(29) a composite number?
True
Is (-162918)/(-20) - 86/(-860) a composite number?
True
Let o(p) = p - 6. Let k be o(12). Suppose -3*d - t = -k*d - 16, 1 = -d - 4*t. Is (-10*1)/d + 249 a composite number?
False
Suppose -2*n = 4*i - 8, 3*i - 5*i + 14 = -4*n. Let q be 5*8/20 - 3 - 733. Is (n + (-6)/(-4))*q prime?
True
Let x(f) = -47 - 2*f + 43 + 4*f + f**2. Let g be x(2). Suppose g*n = -5*o + 3*o + 1670, -3*o = -5*n + 2104. Is n a prime number?
True
Let d(r) = -r**3 - 11*r**2 - 13*r + 8. Let a be d(-10). Suppose 4*f - i = 7, f + 3*i = -0 + 5. Is (a/(-4))/(f/(-8)) composite?
True
Let b(d) = -d**3 - 4*d**2. Let n be b(4). Let g be (15/3 - 3)*n. Is -1*(g*1 + -3) a composite number?
True
Suppose -5*n = -5*w + 4 + 1, 0 = 5*n - 4*w. Suppose n*l + 1087 = 2*j - l, -2*j + 2*l = -1084. Is j a prime number?
True
Let n = 32410 + -7299. Is n a prime number?
True
Let i = 43 + -43. Suppose 318 = b + m, 0 = 5*b + 3*m - i*m - 1582. Is b composite?
True
Suppose 35 = -0*l + 5*l. Let i(d) = -d**2 + 8*d - 4. Let h be i(l). Suppose -4*w - 5*t = -8*w + 883, 666 = h*w - 5*t. Is w composite?
True
Let g be 1719/(-5) - 4/20. Let d = -16 - g. Suppose -4*b + 1516 - d = 2*k, 0 = -3*k + 12. Is b a composite number?
True
Is 35/(-7) - (0 - 19738/1) prime?
False
Let f(j) = 412*j**3 - j + 2. Let r(b) = -b**2 - 6*b + 41. Let p be r(-10). Is f(p) a composite number?
True
Suppose 39*x = 154337 + 423370. Is x a composite number?
False
Is 186/(-15)*(-10860)/24 a composite number?
True
Suppose -2*y - 9016 = -4*s + 3*y, -3*y = 4*s - 8984. Suppose 0 = 3*m - 4*d - s, -m + 4*d + 1019 = 256. Is m prime?
True
Is (74/111)/(2*1/53349) a composite number?
False
Suppose 3*k - 4*d - 46537 = -2*k, -12 = 4*d. Is k composite?
True
Let j(b) = 106*b**2 + 11*b + 5. Suppose -4 = -4*c - 20. Is j(c) a composite number?
False
Suppose 15*b - 19860 = 3*b. Is b a prime number?
False
Let p be (-1)/((-7)/2) - (-266)/98. Suppose -p = -x - 4, 0 = 3*b - 4*x - 1459. Is b a composite number?
True
Let f(y) = -25*y + 8. Let k be f(-13). Suppose -s - b + k = 0, -4*s - b = -5*s + 329. Is s prime?
True
Let z(o) = -o**3 + 22*o**2 + 17*o - 21. Is z(-20) composite?
True
Let i(b) = -b - 1. Let j be i(17). Let f(c) = -8*c + 3. Let t be f(4). Let h = j - t. Is h composite?
False
Suppose 2*l = -l - 4*z - 128, 92 = -2*l - 4*z. Let s = l - -407. Is s composite?
True
Let j(w) = 33*w**3 - w**2 + 1. Let s be j(1). Suppose -6*n + 152 = -2*n. Suppose s*m - 35*m = -n. Is m a composite number?
False
Is 22297 - 27/(-3) - -3 a composite number?
True
Let y = 10 + -9. Suppose 5*w - 2*a - y - 21 = 0, 0 = -w - 2*a + 2. Is w composite?
True
Let m be ((-2)/(-4))/(9/36). Let w(r) = -4*r**m - 7 + 0*r**2 + 6*r**2. Is w(-3) a prime number?
True
Let w be (8 - 4) + -1 - 2158/(-2). Suppose -p - 5*m + 254 = 0, -320 = 3*p - m - w. Is p a composite number?
True
Suppose 12377 = 3*w + 2*c, 5*w + 2*c = -0*w + 20631. Is w composite?
False
Let j be (1 - -1)*(-3)/(-2). Suppose g + 0*v = 2*v + 10, 3*v - 30 = -j*g. Is g a composite number?
True
Let w = -802 + 1241. Suppose -w + 5 = -2*a. Is a prime?
False
Let g(k) = -k**3 + k**2 - k + 1. Let z(u) = -8*u**3 + 10*u**2 - 9*u + 2. Let w(s) = 5*g(s) - z(s). Let t = 10 + -6. Is w(t) prime?
True
Let v = 224 - 135. Suppose 30 = y - v. Is y a composite number?
True
Let s(q) be the first derivative of -61*q**4/4 + 7*q**3/3 + 9*q**2/2 + q - 27. Is s(-2) prime?
True
Suppose -n = -x - 1882, 0 = 2*n - 3*x + 319 - 4079. Let l be (-1 - 2)*(-9 + 8). Suppose -5*r + n = -l*d, 0*d = -r + 3*d + 370. Is r a prime number?
True
Let j be (-22)/(-6) + 8/(-12). Let t(m) = m - 3. Let x be t(j). Suppose 0 = -5*h - x*h + 3*g + 326, -h + 5*g = -52. Is h a prime number?
True
Let v be (-4)/6*(-7944)/16. Let u = v + 16. Is u a prime number?
True
Suppose 104 - 1487 = -o - 5*n, -o + 1401 = -4*n. Is o a prime number?
False
Suppose -861*p + 858*p = -s + 3491, s = -5*p + 3491. Is s a prime number?
True
Let n(d) = d**3 - 32*d**2 - 7*d - 33. Let h be n(31). Let x = h - -1972. Is x composite?
False
Let g = 70642 - 48561. Is g a prime number?
False
Suppose 4*a = -3*k + 15772, 23*k - 20*k = 5*a - 19715. Is a a prime number?
True
Let p(o) = 15*o**2 - 3*o**2 + 3*o + 0 - 7 + 22*o**2. Is p(-6) a prime number?
False
Suppose 829 = w + 2*m, w + m = 3*m + 817. Suppose -3888 = -7*n + w. Is n prime?
True
Let m(f) = 88*f**2 + 18*f + 37. Is m(-10) a composite number?
True
Let a(i) = -i**3 - 14*i**2 - 15*i - 1. Let l be (26/2)/(5 - 6). Is a(l) a composite number?
True
Suppose -3*i + 4 + 8 = 0. Suppose r = -4*r - i*k + 2765, 2*r = -4*k + 1094. Is r prime?
True
Let m(o) = 3207*o**2 - 9*o + 1. Let v be m(1). Suppose n + v = 2*n. Is n composite?
True
Let u be (0 - (3022 - 1))*3/(-9). Suppose 5*l - 3*v - 2712 = 0, -2641 = -3*l - 5*v - u. Is l prime?
False
Let j = 2513 - 2178. Is j a composite number?
True
Suppose -4*c + 27040 = 4*c. Let j = 6733 - c. Is j composite?
True
Let c be (2 + 0 - 3)*-4. Suppose -6 = c*w - 6*w. Suppose -w*h - h + 220 = 0. Is h composite?
True
Let u be 3/(((-10)/(-362))/(-5)). Let l = -245 - u. Is l prime?
False
Let t = -1684 - -3657. Is t a prime number?
True
Let t = -1916 - -2557. Is t composite?
False
Suppose -12352 = -4*q + 30332. Suppose q = 4*j + 1099. Is j prime?
True
Let s(y) = y**2 - 18*y - 20. Let j be s(19). Is (j/(2/(-6602)) + -2)/1 a composite number?
False
Let t be ((-27)/18)/(3/8). Is 6915/(-2)*(-1)/(-6)*t a composite number?
True
Is 9/(-15) + 2788/5 prime?
True
Let q = 4839 - 10406. Let h = q + 7994. Is h a composite number?
True
Let m be (-1 + 3)/(-2 - 3492/(-1737)). Let u be 3/(-2)*(-4)/3. Suppose -m = -u*s + 229. Is s composite?
False
Let t = 449 - 250. Suppose t = 3*u - 0*g - 5*g, -u - 4*g = -38. Is u composite?
True
Suppose -65851 = -2*h + 5*y + 113597, -5*y = 5*h - 448655. Is h a composite number?
True
Suppose -9*v - 1756 = -5*v. Let s = 1104 - v. Is s a prime number?
True
Let b(c) = c**3 - 17*c**2 + 17*c - 4. Let d be b(16). Suppose 17*j - d*j = 2555. Is j a composite number?
True
Is 1 - 7942/(-4) - (-226)/452 a prime number?
True
Suppose 0*d + 5*k - 19451 = -3*d, -5*d = 4*k - 32427. Is d a prime number?
False
Let t(o) = 6*o**2 - 17*o + 3. Let b be t(3). Is (-8)/12 + 9262/b + 0 a composite number?
False
Let z be 2/(-4) + (-244)/(-8). Suppose 0*g = 5*g - z. Is (-2)/g - 4788/(-27) composite?
True
Let i = 49 - -147. Suppose i = 2*w - 934. Is w a prime number?
False
Is 33/77*26439/9 prime?
True
Let v(c) = -588*c - 305. Is v(-11) composite?
False
Suppose n = 2*g - 6729, 0 = -2*g + g + 2*n + 3363. Is g composite?
True
Let m be 2/3 + (4 - 175/15). Let t(h) = 10*h**2 - 5*h + 10. Is t(m) composite?
True
Suppose 46*v - 47*v + 5 = 0. Suppose v*q - 3689 - 1046 = 0. Is q a composite number?
False
Is ((-4)/10)/((-54)/298215) composite?
True
Let l(g) = -2*g**2 - 6*g - 15. Let x(f) = 3*f**2 + 13*f + 29. Let b(w) = 5*l(w) + 3*x(w). Let m be b(10). Suppose 261 = 5*u - m*u. Is u a composite number?
True
Suppose 11 - 68 = -3*y. Suppose -y*l = -23*l + 16. Suppose l*p - 3*z = 1540, 5*z = -2*p - p + 1126. Is p composite?
True
Is -1 + -1*(-3 - 0 - 1985) prime?
True
Suppose -14*v = -7*v - 8491. Is v a composite number?
False
Let f(n) be the second derivative of -3*n**5/4 + n**4/4 - 4*n**3/3 + n**2/2 - 10*n. Is f(-4) a prime number?
False
Suppose -5591 = -d + 3*w, 8*d + 4*w + 11182 = 10*d. Is d a composite number?
False
Let z(i) = i**3 + 22*i**2 + 16*i + 1. Is z(-17) a composite number?
True
Suppose 0*o = -3*o - 4*d - 2, 0 = -o + d - 3. Let s be -1 + (0 - o) - -4. Suppose -142 - 133 = -s*m. Is m composite?
True
Let z(i) = i**3 + 12*i**2 + 5*i + 15. Let j be z(-18). Is ((1 - 16/12)*j)/1 composite?
False
Let f(s) = 2750*s + 661. Is f(7) a prime number?
False
Let s(j) be the first derivative of -j**2/2 - 12*j + 3. Let y be s(-12). Is (1 + y)/1 - -25 prime?
False
Suppose 0 = 5*y + 2*y - 40432. Let h = y - 2915. Is h prime?
True
Let s = 4 + 2. Let d be (-6)/(-18) - (-772)/s. Su