k - 4816. Is k composite?
True
Let u = 18 - -47. Is u a composite number?
True
Suppose j = -2*j - 2*q + 12, 0 = 4*j + 3*q - 15. Let h be ((-20)/8)/((-3)/j). Suppose -h*g + 455 = -4*a, -g - 3*g + 373 = -5*a. Is g a prime number?
False
Suppose 0 = -k - 4*d + 332, 0 = -2*k - d + 556 + 143. Suppose k = 3*v - 527. Is v composite?
False
Suppose -3*q + 5*y = -260 - 106, 5*q + 4*y - 610 = 0. Suppose -25 = 5*o, -4*o = -d + o + q. Is d prime?
True
Suppose -5*k + 5*d = 20, 3*k + k - 5*d + 20 = 0. Suppose -s - 3 = k, 0 = j - 0*s - 5*s - 142. Is j composite?
False
Let i be 4*((-13236)/(-8))/(-3). Is 4/26 - i/26 a composite number?
True
Suppose 2*u - 2 = -4. Let p(f) = -22*f. Is p(u) composite?
True
Let i be 498/4*4/6. Suppose 2*y = 95 + i. Is y a composite number?
False
Suppose 9*l - 5*l = 0. Suppose -58 = -2*m + 3*d, -3*d - d - 8 = 0. Is (l - m)/(8/(-12)) a prime number?
False
Let p(c) = 2*c - 2. Let d(r) = -3*r - 3. Let k be d(-2). Let x be p(k). Suppose 3*v - x*n - 216 = -v, 4*n - 208 = -4*v. Is v a prime number?
True
Let j(z) = -24*z**3 + 2*z**2 - 2*z - 1. Suppose 12 = -3*m + 3*k, 0*m + 5*m + 4*k + 2 = 0. Is j(m) a composite number?
True
Suppose 1467 = 3*h - 2*h + d, -3*h = -2*d - 4421. Is h a prime number?
True
Suppose -5 = 5*b + 5*t + 15, -3*t - 12 = -3*b. Is (-2 - -4) + b + 199 composite?
True
Let d = -6 + 6. Suppose m - 2*w = -20, d = -5*m - 3*w + 5*w - 140. Let p = -7 - m. Is p composite?
False
Let b = 116 - -107. Is b a composite number?
False
Let g be -2*(-2)/((-8)/(-10)). Let v = g - 1. Suppose -8*n = -4*n - 5*q - 804, v*q = 4*n - 804. Is n a composite number?
True
Suppose -5*t = -3*t + 2. Is t - -2 - 3 - -23 composite?
True
Suppose -5*q - 3*h = 55, -2*q - 8 = 3*h + 14. Let z = -8 - q. Suppose -217 = -z*v - 58. Is v composite?
False
Let h be 2 + -6 - 3/(-1). Let k be 1*(2 + 940)*h. Is (-4)/12*k/2 prime?
True
Is (9 + -2)/(5 - (-1194)/(-239)) a prime number?
False
Suppose 2031 = 3*z - 270. Is z a prime number?
False
Suppose v = 5*k + 209 + 129, -4*k - 1774 = -5*v. Is v prime?
False
Let b(a) be the first derivative of a**2 + 4*a + 2. Let x(o) = 2*o**2 + 2*o - 1. Let c be x(1). Is b(c) a composite number?
True
Let c(g) = -19*g - 16 - 7*g + 17. Is c(-3) a composite number?
False
Let t(s) = s**3 + 18*s**2 + 21*s - 8. Let p be t(-16). Suppose 3*a + 3*r - p = 0, -a + 22 = 3*r - 40. Is a a prime number?
True
Let b be (-6)/4*(-6)/(-9). Is (4 + -2 - 16)*b a composite number?
True
Let b = -226 - -465. Suppose 0*j - 3*x - b = -4*j, -3*x - 180 = -3*j. Is j a composite number?
False
Let w = 990 + -275. Suppose 0 = 5*a + 2*l - w, 4*a + 4*l - 572 = -l. Is a prime?
False
Let t(r) be the second derivative of -r**3/6 + r**2/2 + 2*r. Let s be t(-4). Suppose -s*n + 197 = 3*o, -o = 4*n - 0*o - 152. Is n a composite number?
False
Let q = -7 + 9. Suppose -411 = -p - q*p + 3*u, -p + 5*u + 129 = 0. Is p a prime number?
True
Let r be 4 + (-3)/(2 - 5). Suppose -2*x - 17 = -r. Let u = 25 + x. Is u prime?
True
Suppose 3*d - 4218 - 1926 = 3*r, 0 = 3*d - 5*r - 6134. Is d prime?
True
Suppose 0 = -10*j + 5*j + 605. Is j a composite number?
True
Let z be 0/((-4)/2) - -246. Suppose 4*a = -z + 1010. Is a a prime number?
True
Suppose -2404 + 117 = -x. Is x prime?
True
Suppose -2*u - 3*u = -10. Suppose u*d + 885 - 47 = 4*s, -424 = d - s. Let a = -226 - d. Is a a prime number?
False
Let x(f) be the third derivative of f**5/30 - f**4/6 + 7*f**3/6 - 5*f**2. Let h(o) = o**2 - 4. Let a be h(-3). Is x(a) composite?
False
Let c = -5 - -9. Suppose 0 = 3*i + i + c. Is (2/(-4))/(i/94) a prime number?
True
Let t(q) be the first derivative of -9*q**4/2 - 2*q**3/3 - 2*q**2 - q - 5. Is t(-3) composite?
False
Let r(j) = 42*j + 1. Is r(3) a composite number?
False
Let z = 627 + -220. Is z composite?
True
Suppose -6*u + 8 = -4. Suppose -4*t = 5*g - 4575, -u*g - 358 + 2155 = -5*t. Is g a prime number?
True
Suppose 3*p + 0*m - 276 = 3*m, 5*p + 5*m = 430. Is p a prime number?
True
Suppose 5*j = 4*r - 0*j - 22998, -3*r = 5*j - 17231. Is r prime?
False
Let w(p) = p**2 - p - 3. Is w(-15) a composite number?
True
Let j(t) = 90*t**2 + t. Is j(-1) prime?
True
Let c = 9 - 21. Let r = 34 + c. Is r prime?
False
Suppose 15*u + 3948 = 19*u. Suppose -403 = -5*b + u. Is b a composite number?
True
Let g = -18 - -497. Is g a prime number?
True
Let c(n) = n**3 + 4*n**2 + 3*n. Let b be c(-2). Is (4 - -9)/(b/2) prime?
True
Let c(j) be the third derivative of j**5/60 - 5*j**4/24 + 5*j**3/6 + 7*j**2. Is c(7) prime?
True
Let q(z) = -z**2 - 3*z + 4. Let u be q(-3). Suppose -u*t + 0*t = -332. Is t composite?
False
Let s = 63 + 78. Is s prime?
False
Let i(z) = -z**3 + 5*z**2 - 6*z + 1. Let b(f) = -3*f**3 + 16*f**2 - 19*f + 4. Suppose -4*j - 22 = 10. Let x(g) = j*i(g) + 3*b(g). Is x(6) a composite number?
True
Let t(h) = 71*h + 14 - 5 + 65*h. Is t(4) prime?
False
Let k be ((-16)/(-10))/((-2)/(-5)). Suppose 0 = 9*l - k*l. Suppose -3*z + 146 - 41 = l. Is z prime?
False
Let n(w) = w**2 + 7*w - 7. Let o be n(-8). Suppose -2*p = -0*p - 36. Let z = p + o. Is z prime?
True
Suppose l + 5 = -5*k, 2*k + 3*l + 9 = -6. Suppose w - 5*u - 103 = k, -352 = -4*w + 3*u + 2*u. Is w a prime number?
True
Let t be (-4)/(-6)*9/(-6). Let w(u) = -14*u**3 + u**2 + u. Let o be w(t). Suppose -5*m + o = -3*m. Is m composite?
False
Suppose 0 = -2*c + 10, 0*l - 2*c + 8 = -l. Let m be 1653/12 + l/8. Is (m/10)/((-4)/(-20)) prime?
False
Suppose -3*j + 392 = -574. Let l = j + -191. Is l prime?
True
Is (-2544)/(-4) + 2/(-2) a prime number?
False
Suppose -v = 3, 4*v = -0*j + j - 1423. Is j prime?
False
Let f = -2 + 2. Let h(s) = -5*s + 9*s**2 + f*s - s**3 + 3*s + 7. Is h(8) prime?
False
Let p = -1338 - -2387. Is p a prime number?
True
Let b = -21 + 12. Let v(j) = j**3 + 9*j**2 - 10*j - 11. Is v(b) a prime number?
True
Let r(k) be the first derivative of 4*k**3/3 + k**2 - 4*k + 2. Is r(-3) a composite number?
True
Let r be (-30)/12*8/(-10). Suppose -j + 0*j = r. Is j/5 + (-107)/(-5) a composite number?
True
Let h(n) = n**3 + 3. Let d be (1 + 0 - 1)*-1. Is h(d) composite?
False
Let f = -2 + 5. Suppose -f*d = d - 996. Let m = d + -152. Is m composite?
False
Let a(o) = -2*o**2 + 2 - 4*o + 3*o**2 + 8*o. Is a(7) a composite number?
False
Suppose -r + 3*z + 65 = -66, 4*z - 445 = -3*r. Is r prime?
False
Let y = -795 - -1142. Is y prime?
True
Let j(l) = -l**3 + 3*l**2 + 5*l - 2. Let y be j(4). Suppose q = -4*q + 25. Is y/(q/((-350)/(-4))) composite?
True
Suppose i = -2*f - 2*i - 3, 0 = 5*f + 3*i + 21. Is (f + 4)/(2/(-97)) prime?
True
Let v(i) = -2*i**2 - 2*i + 1. Let s(h) = -3*h**2 - 3*h + 1. Let o(l) = -5*s(l) + 7*v(l). Is o(4) prime?
False
Let q be ((-4)/(-1))/(1/31). Is q - (3*-2 + 3) prime?
True
Suppose -4*p = -8*p + 6000. Let x = 2219 - p. Is x a composite number?
False
Is 2/(-3)*3036/(-8) composite?
True
Let h(r) = r - 2. Let v be h(6). Suppose -v*z = -4*b + 1792, 0*b - 1816 = -4*b - 4*z. Is b prime?
False
Let g(z) = 12*z + 2. Let u be 12/(-10)*40/(-12). Suppose 2*x - 5*t + 0 + 6 = 0, 0 = 2*t - u. Is g(x) a prime number?
False
Let n(z) = -z**2 + 4*z - 1. Let f be n(3). Suppose -s + 0*s + r = 0, 3*r = 4*s - f. Suppose -3*o - 4*i + 360 = -i, 597 = 5*o + s*i. Is o composite?
True
Let y(m) = -m - 1. Let o(r) = 0 - 7 + r**3 + 5*r**2 + 4*r - 12*r. Let h(z) = o(z) + y(z). Is h(-6) prime?
False
Let y = -434 + 1707. Is y a composite number?
True
Let v = -640 - -1755. Is v a prime number?
False
Let k(n) = n**3 + 7*n**2 + 2. Let b be k(-7). Suppose -j - b*j + 633 = 0. Is j composite?
False
Let a be 2 + 0/(2 + -1). Is -14*(-15)/12*a a composite number?
True
Suppose n - 2*n = -113. Is n composite?
False
Let o(g) = g**3 - 8*g**2 + g - 11. Suppose 4*j + 3*y = 2*j + 12, -5*y - 37 = -3*j. Is o(j) composite?
False
Let l(s) = -s**3 + 10*s**2 - s + 8. Let m be 0/((-4)/2) + 9. Let i be l(m). Let r = i - -5. Is r prime?
False
Let r(j) = -41*j**3 - 2*j**2 + j - 1. Let k(h) = 42*h**3 + 3*h**2 - 2*h + 2. Let s(p) = -2*k(p) - 3*r(p). Let n be s(1). Suppose 360 = 3*l - n. Is l prime?
False
Suppose -19 - 1 = 5*j. Let c = 7 - j. Let f = c + 4. Is f a composite number?
True
Let s(h) = -44*h - 3. Is s(-2) a composite number?
True
Suppose b + 2*b - 12327 = 0. Is b prime?
False
Suppose -p + 10 - 137 = -3*x, 5*p - 225 = -5*x. Is x prime?
True
Let f = -3 + 5. Suppose 0 = -5*s - 2*j + 9, 0 = -s + 