Is v + (-4 + 2 - 0/(-1)) a composite number?
True
Suppose 2*k - 72 = -n - 2*n, 3*k + 2*n = 103. Let c = 18 - k. Is (-99)/c - 6/(-15) prime?
True
Suppose -4*n + 53 = -71. Suppose -2*f + f + n = 0. Is f a composite number?
False
Suppose 0 = -5*w + 2*v + 40, -4*w + 19 + 10 = -v. Suppose w*c = 3*c + 27. Suppose -5*g + c*g = 460. Is g composite?
True
Let r = 13 - 8. Let z(i) = i**3 - 4*i**2 - 5*i + 4. Let a be z(r). Suppose -5*n + 814 = -a*u, 7*n - 2*n = -3*u + 842. Is n a prime number?
False
Let y = 15 - 10. Suppose 4*t + 76 = -4*o + 2144, -2585 = -y*t + 4*o. Is 3/6 + t/2 composite?
True
Let z(x) = -x**3 + 3*x**2 - x + 4903. Is z(0) a composite number?
False
Let f(q) = -3*q**2 + 7*q + 11. Let g = 16 + -11. Let p(b) = -b**2 + 4*b + 5. Let z(u) = g*p(u) - 2*f(u). Is z(-8) a prime number?
True
Let p be -6 + 1 + 4 + 1. Let x(l) = l**2 + l + 547. Is x(p) composite?
False
Let f(v) = v**3 - 6*v**2 - 9*v + 15. Let n be f(7). Let z(c) = 18*c**2 - 3*c + 4. Is z(n) a composite number?
False
Let f be -2 + 1 + (-12)/(-4). Let v be (-11 - -3)/f + -1. Let j(g) = g**3 + 5*g**2 - 2*g - 7. Is j(v) a composite number?
False
Let j(s) = 71*s + 9. Suppose 3*l + 0*l = 63. Suppose 0 = 5*r + u - l, -4*u = 4*r - 10 - 10. Is j(r) composite?
False
Let m be ((-2 - 7)*(-4)/18)/1. Suppose -5*u + 15 = 0, m*r - 4*u - 385 = r. Is r a composite number?
False
Is 34/2*(-12 + 71) prime?
False
Suppose -13*b - b = -78134. Is b a composite number?
False
Suppose -5*b + 30 = 5*r, -2*b = 2*b - 8. Is (r + -5)*1/(-1) + 5580 a composite number?
False
Suppose 4*a - 55 = 33. Suppose -5*c - a = 2*y - 3*y, 4*c = -5*y - 6. Is 36 + (-1 - -5)/c a prime number?
False
Suppose -71*w + 44*w = -647433. Is w a composite number?
True
Let d(y) = y - 4. Let i be 0 - (-2 + 1) - -4. Let o be d(i). Suppose -o = g - 3. Is g a prime number?
True
Let a = 26 - 24. Suppose -o = -a*o + 4. Suppose -o*z = 4*p - 912, 309 + 597 = 4*p + z. Is p composite?
True
Let l = 72 - 111. Let z = l - -70. Is z composite?
False
Let w(h) = -h**3 + 16*h**2 + 17*h + 3. Let g be w(17). Suppose 3*v = -d + 517, -g*v + 0*d = -2*d - 532. Suppose 272 = 2*x - v. Is x a composite number?
False
Suppose -193391 + 42215 = -8*y. Is y a prime number?
False
Suppose 0 = -5*g - g + 540. Let s = g + -41. Is s prime?
False
Let v(h) = -h**3 - 6*h**2 + 9*h + 7. Let c be v(-7). Is 1/c - 2442/(-42) prime?
False
Let c(w) = 781*w - 36. Is c(5) a prime number?
False
Suppose 21 = 2*a - v, a - v + 3 = 2*a. Let g = a + -4. Suppose 0*k = 3*y + 2*k - 191, 87 = y - g*k. Is y a composite number?
False
Suppose 11316 = 5*l - 11984. Suppose -24*o - l = -28*o. Is o composite?
True
Suppose -601 = -2*l + l. Suppose -4*x - 149 = -l. Is x prime?
True
Let n = 20 + -8. Let t = n + 3. Let x(z) = 3*z - 8. Is x(t) composite?
False
Suppose 4*i = 4942 + 3142. Suppose 0 = -4*k - 4*f + 5032, -4*k = 3*f - i - 3008. Is k composite?
True
Suppose q + 2*z = 63669, 98*q - 5*z = 95*q + 191018. Is q a composite number?
False
Let n = -160 + 113. Let c = 428 + n. Is c prime?
False
Suppose 4*p = 2*p - 3*j + 22, 5*j = 10. Suppose p*c - 36106 = -6*c. Is c composite?
False
Let t be -3 + (-69)/(-9) - (-2)/6. Is (t - 8)*109/(-3) a composite number?
False
Let r(y) be the third derivative of 0*y - 5/24*y**4 + 11/6*y**3 - 2/15*y**5 - 7*y**2 - 1/120*y**6 + 0. Is r(-8) composite?
True
Is (-3)/(90/25)*-14298 composite?
True
Suppose -j - 6 - 12 = 0. Let a = -18 - j. Suppose -5*m = -3*k - 0*m + 152, a = -k - 3*m + 46. Is k a composite number?
True
Let f(q) = -6*q - 10. Let d(j) = -7*j - 11. Let b(h) = -4*d(h) + 5*f(h). Let y be b(-3). Suppose -l + 147 + 64 = y. Is l composite?
False
Suppose 2349 = -3*p + x, -2*p + 3*x - 1559 = -0*p. Let l(k) = 3*k**3 - 30*k**2 + 21*k + 15. Let y be l(12). Let r = y + p. Is r a prime number?
True
Let g be (-8)/(2 + 0) + 9. Suppose -v + 14 + g = w, w - 9 = v. Let h = w - 1. Is h prime?
True
Suppose -4*s - 3*i = -28, 0*s + 5*i = 2*s - 40. Let x be (-885)/s*(-4)/2. Is -2 + x + 3 - -1 a composite number?
False
Let m be 49309/(-13) - (0 + 1). Let d = -1593 - m. Is d a composite number?
True
Let g be -10 + 16/4 - 1. Let p(b) = -b**3 - 6*b**2 - 4*b - 15. Is p(g) composite?
True
Suppose -5 = -o - 3. Is (o/(-6))/(9/(-10557)) composite?
True
Let v be 2 + 0*(-4)/12. Is ((-5)/2 + v)*-1774 composite?
False
Suppose 4*u + 14 - 4 = 2*m, -3*m + 5 = 4*u. Let l be 4*(1/(-2) + u). Let f = 113 - l. Is f a composite number?
True
Suppose 909 = 4*w - 1111. Let m(q) = 6*q - 9. Let d be m(2). Suppose -d*z + w + 482 = 0. Is z prime?
False
Let f be (-3)/(2 - 21/6). Suppose -3*s = f*q - 380, -2*s = 2*q - 7*s - 364. Suppose 2*h = 255 + q. Is h composite?
True
Let b = -161 + 370. Suppose -5*n = 0, -2*h - 2*n - b = -1611. Is h a composite number?
False
Suppose 4*m - 7*m - 90735 = -3*x, 2*m + 6 = 0. Is x a composite number?
True
Let k(p) = 24*p**2 - 5*p - 2. Is k(3) prime?
True
Suppose -2*t + 9709 = 4*z + 4083, -3*z - 14000 = -5*t. Let b = t - 1980. Let w = b + -572. Is w a prime number?
True
Let n = -2204 + 1397. Let a = 372 + n. Let w = -64 - a. Is w a composite number?
True
Suppose 0 = -s - 226 + 4847. Is s a prime number?
True
Let c(f) be the second derivative of f**4/4 + 7*f**3/6 + 7*f**2 + 9*f. Let h be c(7). Suppose 3*i - 39 = h. Is i prime?
True
Let k = -8 + -29. Let y = k + 50. Is y a prime number?
True
Suppose -z + 11 = 6. Suppose -7227 = -z*v + 1558. Is v composite?
True
Suppose 264 - 47 = h. Suppose -d - h = -543. Let q = -231 + d. Is q a composite number?
True
Suppose -8 = -4*d - 0. Suppose -14*c = -9*c - 20. Let j = d + c. Is j composite?
True
Let l(b) = 10*b - 3 - 1 - 5 + 4. Let w be l(9). Let f = w + -26. Is f a composite number?
False
Let m(z) be the third derivative of 23*z**7/504 - z**4/12 - 5*z**2. Let s(n) be the second derivative of m(n). Is s(1) a prime number?
False
Let t = -854 + 1427. Is t a composite number?
True
Let n(z) = 45*z + 4. Suppose 4*j + 3 = w, -2*j + 18 = 2*w + 2*j. Is n(w) a prime number?
False
Let t(g) = g**2 - 6*g + 4. Let h be t(5). Let v(o) = -44*o - 1. Is v(h) composite?
False
Suppose -3*a - 20 = k - 0*a, -9 = 3*a. Let j(q) be the third derivative of q**5/60 - 5*q**4/12 - 4*q**3/3 - q**2. Is j(k) prime?
True
Let s = 76 - -50. Let g(c) = 2*c + 19. Let t be g(-8). Suppose -15 = 3*l, j - t*l = -0*j + s. Is j a prime number?
False
Let s be (-4)/26 - 22/(-143). Suppose s*u - 1 = -u. Is (-11 - -265)*u/2 a prime number?
True
Let u = 9 + -10. Let d be ((-3)/2)/(u/40). Suppose 0 = -4*x - 2*v + 486 - d, x - 3*v - 103 = 0. Is x a prime number?
False
Suppose -4*a + 4*z + 12 + 24 = 0, 12 = -4*z. Suppose 8 = a*t - 322. Suppose j - 94 = t. Is j composite?
False
Suppose 4709 = -3*a + 56240. Is a a prime number?
False
Let p(u) = 6*u**2 - 2*u + 1. Let q = -21 - -12. Is p(q) composite?
True
Let z = 21228 + -4522. Is z a prime number?
False
Let i be 6*((-429)/44)/(9/(-26)). Suppose -s + 12 = 2*s. Suppose 0 = -s*z + 4*h + 1916, h + i = 2*z - 789. Is z a prime number?
True
Let i = -3357 + 4718. Is i a composite number?
False
Suppose -3*j + 121731 = 3*f, j + 19*f - 21*f - 40577 = 0. Is j prime?
True
Let b = 1302 + 475. Is b prime?
True
Suppose -10454 = 80*a - 82*a. Is a a composite number?
False
Let h(i) = 6*i - 3. Let x be h(11). Let v be x/14 + 2/4. Suppose u = -0*u + 1, -4*u - 921 = -v*g. Is g prime?
False
Let u = 3 - 5. Let y = u - -31. Let o = y - -116. Is o prime?
False
Suppose 12*r - 9713 = 30715. Is r prime?
False
Is 3/(-18) - (9 + 723583/(-42)) composite?
True
Let k be 3/(-6)*1*-4. Is ((-2)/k + -6)*-1 a prime number?
True
Let k(u) = -u**3 + u**2 - u - 4754. Let d be k(0). Let c(l) = -96*l**2 + 8*l + 15. Let n be c(6). Let s = n - d. Is s prime?
True
Let o be -9 + 6 + -1 + -2. Is (3899/(-21))/(2/o) prime?
True
Let s = 163966 + -5283. Is s prime?
False
Suppose 2*w = 7*w + 3*q - 49, 0 = w + 2*q - 14. Suppose -212 = 5*k - 2*d, 4*k + 164 = -0*k + 3*d. Is (k/w)/(2/(-28)) a composite number?
True
Let t = -9182 + 16285. Is t a prime number?
True
Let z = 33 + -33. Suppose -6*g + 3*g + 1561 = -4*s, -2*g - 5*s + 1056 = z. Is g prime?
True
Is (7993/3)/((-2)/(-6)) a prime number?
True
Let p(j) = -13 - 6*j**2 - j**3 - 9*j**2 + 15*j + 2*j**2 + 3*j**2. Is p(-12) composite?
True
Suppose -3*t + 673 = -5*z, t - 32*z + 30*z - 224 = 0. Is t composite?
True
Suppose -3*x + 12177 = 4*q, 23*x - 22*x