*p + 1796 = 2*k, 0 = -p + 4*k + 199 + 679. Suppose l + 29 = p. Is l prime?
False
Suppose 0 = r + r - 602. Is r prime?
False
Suppose -5*w - 3441 = -2*v, w + 3*w + 3446 = 2*v. Is v a composite number?
False
Let g = -9 - 0. Let l(y) = -6*y + 11. Is l(g) a composite number?
True
Let c = -123 + 418. Is c a prime number?
False
Suppose 2*y = -2*i + 5152, 0 = -2*i - i + 5*y + 7752. Is i composite?
False
Let u(i) = 6*i**2 + 5*i + 5*i**2 - 2 - 3*i**2. Is u(5) prime?
True
Let t(q) be the third derivative of q**8/4032 + q**7/2520 - q**6/180 + q**5/20 - 3*q**2. Let s(x) be the third derivative of t(x). Is s(-3) a composite number?
True
Suppose -4*s + s = -12. Suppose s*j - 1099 = -9*v + 4*v, 1111 = 5*v + j. Is v prime?
True
Let a = 102 + 109. Is a a composite number?
False
Let k = -30 + 16. Let c = k - -20. Suppose c = i - 4. Is i composite?
True
Let z(m) = m - 7. Let j be z(7). Suppose 2*x + 0*x = j. Suppose 4*w - 16 = x, t - 3*w - 18 = 1. Is t composite?
False
Let p(l) = -3*l**3 - 4*l**2 - 2*l + 3. Is p(-4) composite?
False
Suppose -3*d + p = -1942, 5*d + p - 2452 - 798 = 0. Is d a composite number?
True
Is 2 - -250*(-15)/(-10) composite?
True
Let i(x) = 8*x**3 + 19*x**2 + 6*x - 9. Let r(j) = 7*j**3 + 18*j**2 + 6*j - 8. Let n(p) = -6*i(p) + 7*r(p). Is n(-9) prime?
False
Let g(b) = -77*b. Is g(-1) a prime number?
False
Is 8/12 - 4034/(-6) a prime number?
True
Let z(i) be the second derivative of i**4/4 - i**3/2 + i**2/2 + i. Let g(c) be the first derivative of z(c). Is g(4) composite?
True
Suppose -125*a = -121*a - 6628. Is a a composite number?
False
Let s = 285 - 116. Is s composite?
True
Suppose -332 - 3 = -5*y. Is y composite?
False
Let u(r) = 68*r**2 + r. Is u(1) a prime number?
False
Let h(a) = -20*a**2 + 2*a + 2. Let q be h(-3). Let j = -93 - q. Is j a prime number?
False
Let i = 75 - -148. Is i composite?
False
Let w(p) = -p**3 - 11*p**2 - 7*p - 8. Is w(-11) prime?
False
Suppose 4*k + 104 = 5*k. Suppose -26 = p - k. Is p/9 - 1/(-3) a prime number?
False
Let c = 1822 - -2961. Is c composite?
False
Let r(s) be the third derivative of s**6/120 - 3*s**5/20 + s**4/8 + 7*s**3/2 + 10*s**2. Is r(12) a prime number?
False
Let y(t) = 39*t**2 + 2*t - 2. Let n be (8/10)/((-12)/(-30)). Let x be y(n). Is (x/4)/((-2)/(-4)) prime?
True
Let b be (16/3)/((-8)/(-12)). Is (b/(-12))/((-4)/786) composite?
False
Let f(p) = 9*p + 1901. Is f(0) a composite number?
False
Let s = -85 + 46. Is (-3 - 25)*s/12 prime?
False
Let y be 56 - (-3 + 0/(-2)). Suppose 2*u = 4, d - 5*u - y = 40. Is d a prime number?
True
Let z(s) = -s**3 + 3*s**2 + 2*s + 1. Let d be z(2). Suppose -6*m + d*m - 279 = 0. Is m composite?
True
Suppose -982 = -6*c + 4*c. Is c composite?
False
Suppose 2*r - 3*r = -90. Suppose -3 = -3*k, k + r = 2*n + 5*k. Is n prime?
True
Let g(l) = -2*l**2 - 4*l - 1. Let m(x) = 2*x**2 + 4*x + 1. Let q(f) = -4*g(f) - 3*m(f). Is q(7) composite?
False
Let m(j) = -j**3 - 9*j**2 + 8*j + 3. Let p(c) = -2*c**3 - 19*c**2 + 16*c + 5. Let r(w) = -9*m(w) + 4*p(w). Let t = 11 - 16. Is r(t) a composite number?
True
Suppose -2*i = -4*k - 18, 3*i + 29 = -2*k - 0*k. Let b = k - -42. Let t = b - -32. Is t prime?
True
Suppose 15075 = 3*t - 3*a, -2*t - a - 25133 = -7*t. Is t a prime number?
False
Let k(l) = -431*l - 2. Let n be k(-5). Suppose 459 = 4*t - n. Is t a prime number?
True
Let v(z) = -13*z + 9. Let p be v(-7). Let a = p + -47. Is a composite?
False
Let k be (-2)/(-7) + (-38)/(-14). Suppose -5*n + 5 = 20, 4*u - k*n = -1715. Let s = -272 - u. Is s composite?
True
Suppose v - 4 = 0, h - 2*v + 177 - 1712 = 0. Is h a composite number?
False
Suppose 2*w = -0*w + 4. Let m(b) = -1. Let z(j) = -5*j + 4. Let o(q) = w*m(q) - z(q). Is o(5) composite?
False
Let v = 14 + 1. Is v prime?
False
Suppose -3*i + 9 = -0. Suppose -i*m - 8 = -7*m. Let g(l) = 10*l**3 + l**2 + 4*l - 3. Is g(m) prime?
True
Let h = -15 + 10. Let k be 2/(-10) + (-21)/h. Suppose -k*x = 4*z - 308, -6*x = -x - 4*z - 385. Is x composite?
True
Let p = 459 + 442. Is p a prime number?
False
Let b(t) be the second derivative of -14/5*t**5 + 0 + 0*t**4 + 1/2*t**2 + 0*t**3 - t. Is b(-1) a prime number?
False
Let v be (-12)/(-9) + (-2)/(-3). Let x(u) = -u**3 - u - u + 3*u + v*u**2. Is x(-2) composite?
True
Let j = 1919 - 1248. Is j a prime number?
False
Let q = 14 - -9. Suppose 162 = -3*f + 6*f. Let i = q + f. Is i a prime number?
False
Suppose 3*i - 6*z + 6 = -z, -4*i + z = 25. Let o = 20 + i. Is o prime?
True
Suppose 4*y - 541 = 3*y. Is y prime?
True
Suppose -3*h - 7*b = -3*b - 2914, 966 = h + 4*b. Is h prime?
False
Let c(i) = -i**3 - 3*i**2 + 3*i + 1. Let n = 5 - 7. Let l be c(n). Let f = l + 15. Is f composite?
True
Let n be 4/10 + (-2)/5. Let w(p) = -2 - 27*p + 0 + n. Is w(-3) composite?
False
Suppose 0 = -i + 1, -5*b + i + 677 = -937. Is b composite?
True
Suppose 2*r = 3*s + 1, 3*r = -3*s + 4*r + 4. Let o = 30 + s. Is o a prime number?
False
Suppose -2*m + 22 + 18 = 0. Suppose -5*j + m = i, -3*j + 10 = i - 2. Is ((-1)/(-2))/(j/152) prime?
True
Suppose -z = z - 332. Let j = 287 - z. Is j a prime number?
False
Let t(n) = n**3 - 2*n**2 - 7*n - 7. Is t(6) prime?
False
Suppose 4 = -n - 2. Let d(l) = -l**2 + l + 1. Let i(k) = -2*k**2 + 11*k. Let y(t) = 3*d(t) - i(t). Is y(n) a prime number?
False
Is (-4)/(-3) - 10242/(-54) a prime number?
True
Let s(x) = 2 - 2 + 2*x - 1 + 0*x. Let u(b) = b. Let r(d) = -s(d) + 3*u(d). Is r(8) prime?
False
Let a = 256 - 127. Is a composite?
True
Let c = -467 + 957. Let n = c - 142. Suppose -n = a - 5*a. Is a composite?
True
Suppose -402 = -3*q + 267. Is q a prime number?
True
Let y(m) = 37*m - 9. Is y(2) prime?
False
Let m(p) = -p**2 - p + 1. Let y(q) = -q**3 + 15*q**2 - 4*q + 8. Let j(r) = 3*m(r) + y(r). Is j(9) a composite number?
False
Let b(n) = n**3 - 14*n**2 + n - 5. Let p be b(14). Let f be 2*1 - (2 + -2). Suppose p = q - 2*l, -f*q - l - 14 = -3*q. Is q a prime number?
True
Suppose 0 = 3*u, -5*u = 5*q - 1553 - 582. Is q a prime number?
False
Let b be -2*1 - (-156)/(-6). Let f = b - -41. Is f a prime number?
True
Suppose 2*r = 6506 - 2616. Is r a composite number?
True
Let m be (-1)/(-2)*-2 - -4. Suppose -k = k + b - 9, -3*k + m*b = 9. Suppose -2*n = 3*s - 112, -s - 7 = k*n - 51. Is s a composite number?
True
Let g(s) = s. Let t be g(1). Is t/(-1) + 22 - 2 a prime number?
True
Is (-2)/(-8) + (-657)/(-12) prime?
False
Let a(t) = t**3 - 7*t**2 + 6*t - 4. Let c be a(6). Is 1*2/c*-26 a composite number?
False
Suppose 2*o + 4*l = 904, -2*l - l = -5*o + 2221. Is o a composite number?
True
Suppose 10 = -2*r, a + 2*r - 5*r = 334. Is a composite?
True
Let n = 327 - -215. Suppose -5*g + 3*t = -n, 5*g + 4*t - 373 - 141 = 0. Is g composite?
True
Let h(g) = 15*g - 32. Is h(17) a composite number?
False
Suppose 3*q = -2*d - q - 8, -3*d - 20 = -2*q. Let z(m) = -14*m - 5. Is z(d) a prime number?
True
Suppose 8*c - 3056 - 872 = 0. Is c prime?
True
Suppose -2*y = -3*y + 5*l + 19, -26 = -y - 2*l. Is (1 + -47)/(y/(-132)) a composite number?
True
Let l be ((-16)/20)/(1/(-5)). Suppose -18 = 5*s - 2*k + 27, 0 = l*s + 4*k + 8. Let h = s + 126. Is h a composite number?
True
Let t = 1952 - 1155. Is t composite?
False
Let w = 7 - 2. Suppose 5*l = w - 0. Is l*-26*1/(-2) prime?
True
Suppose -2*r + 3 + 1 = 0. Let h(s) = 6*s**3 - 4*s**2 + 2*s + 1. Let d be h(r). Suppose -2*c + d = -c. Is c prime?
True
Let s be (-29)/(((-4)/2)/2). Let x = s + -42. Let h = 27 + x. Is h a prime number?
False
Let m(o) = 2*o + 14. Let d be m(-10). Let u be (-2)/1 - (d - 0). Suppose -40 = -u*n + 20. Is n a prime number?
False
Suppose 0 = -7*l + 9*l - 136. Suppose -c = 3*q - 43, q - 4*c = -3*q + l. Is q a composite number?
True
Let b be 1*12/15*10. Let f = b - -2. Is f + (-2)/(2 - 4) composite?
False
Let p(u) = u**2 + 3*u - 23. Is p(12) a composite number?
False
Suppose 3*r - 1927 = -2*n, r - n + 5*n = 649. Is r a prime number?
True
Let h be ((-12313)/28)/((-1)/4). Let j = h - 858. Is j a prime number?
False
Suppose -k - 27 = -4*k. Is 2/k + (-110677)/(-63) a prime number?
False
Let b = 13 + -9. Let h = 192 + -14. Suppose -b*p + 18 = -h. Is p prime?
False
Let p(b) = b**3 - 5*b**2 + 4*b + 1. Let s be p(4). Let y(t) = -12*t**3 - 4*t**2 - 6*t + 4. Let c be y(-5). Is s/(-2) + c/12 composite?
True
Suppose 5*u - 9 = 1, 0 = 3*k - 2*u - 8579. Is k prime?
True
