 + 164 = -4*p, -p + 3*p - 103 = -3*d. Is d composite?
False
Let w = -1 + 10. Is ((-68)/(-6))/(3/w) a prime number?
False
Let s(i) = i**2. Let q be s(2). Let u(m) = 2*m + 3*m + 3 + 0*m. Is u(q) a composite number?
False
Let f(p) = p**3 + 11*p**2 - 10*p - 7. Suppose 2*h + h - 1 = t, 4*t = -5*h - 38. Is f(t) prime?
False
Suppose -5*a = 4*q + 674, 4*a + 2*q + q = -539. Let f = a + 340. Suppose f = 4*j - 30. Is j composite?
False
Let l be (-12006)/(-21) + 4/14. Suppose m = -o - m + 143, 4*o - l = m. Is o a prime number?
False
Suppose -o + 0*o = 18. Let m = 99 + o. Is m - -1 - -1 - 0 prime?
True
Let v be 54/10 + (-2)/5. Suppose v*b = -5*l - 15, -3*l - b + 4*b + 21 = 0. Suppose 5*n = l*w - 22, w + 0*w - 29 = -2*n. Is w a prime number?
False
Suppose 2*m - 935 = -3*m. Is m composite?
True
Suppose -4 = -g - 4*c, -g + 20 = 4*g + 4*c. Let d be 50/g*180/25. Let u = d + -37. Is u a composite number?
False
Suppose 3*u + 4*s = 13, u + 2*s = 7*s + 17. Let m be u/(21/18)*1. Let y(i) = -i**3 + 8*i**2 - 8*i - 1. Is y(m) prime?
True
Suppose 4*v = -3*d + d + 136, -3*v + 15 = 0. Is d a composite number?
True
Let i = 23 - -8. Suppose 2*v = -3*v + 215. Let n = i + v. Is n composite?
True
Is (7380/8)/3 + (-2)/4 prime?
True
Let g be (-178)/14 + (-2)/7. Let s = 76 + g. Suppose 2*a - 47 - s = 0. Is a composite?
True
Suppose 2*v + 3 = k + 8, -4*k = 3*v - 24. Let z be (-60)/5*(-18)/8. Suppose -3*g + 30 = -3*r, 3*r - v = 2*g - z. Is g a composite number?
False
Let w be (-42)/(-9)*(-12)/(-14). Suppose -w*h + 13 = 5. Suppose z + 112 = 3*f, h*z - 34 = -f - z. Is f prime?
True
Let f = 4 - -73. Is f a composite number?
True
Let g(x) = x**3 + 23*x**2 - 13*x + 27. Is g(-22) a prime number?
True
Let l = 18 + -28. Is (514/l)/(2/(-10)) composite?
False
Let c be (-40)/(-6)*(-24)/(-16). Is c/55 + 647/11 a prime number?
True
Let m = 1 + 3. Suppose -m*h + 4*s + 252 = 0, -5*h = -8*h + 5*s + 181. Is h a prime number?
True
Suppose 4919 - 613 = 2*n. Is n composite?
False
Let k = -1 + -3. Let t(i) be the first derivative of i**3/3 + 3*i + 1. Is t(k) a composite number?
False
Let l be 2/4 + (-20)/(-8). Suppose -2*k + 265 = l*k. Is k prime?
True
Let o(r) = -r**3 + 6*r**2 - 4*r - 2. Let b be o(5). Suppose n - 84 = -b*n. Is n prime?
False
Let k(l) = -l**2 + 12*l + 3. Let m be k(12). Is (-4 + m)*(1 + -12) a prime number?
True
Let b(y) = -y**3 + 6*y**2 + y - 4. Let r be b(6). Suppose r*h = 3*s + 253, -2*h + 337 = h + 4*s. Is h composite?
True
Suppose -2*p + 208 + 174 = 0. Is p a composite number?
False
Let k(x) = x**2 + x + 2129. Is k(0) a prime number?
True
Is (57/(-9))/((-2)/6) composite?
False
Let n(i) = 3*i + 6. Let f(o) = -3*o**2 + 4*o - 2. Let u be f(2). Let c be n(u). Let y = c + 27. Is y a prime number?
False
Suppose 0*n + 3*n + 96 = 0. Suppose -4*d + 2*d = p + 94, 0 = 4*p. Let v = n - d. Is v prime?
False
Suppose 0 = -k - k + 148. Suppose 3*u + 2*u + 3*h = k, 2*h - 32 = -2*u. Is u - (-5)/(5/(-2)) a prime number?
True
Suppose -1764 = -2*x + s, 0*x + s = -5*x + 4424. Suppose 3*j + 107 = x. Is j prime?
False
Let w be -1*(-9)/(-2)*-2. Let t be 7*7 + 9/w. Suppose -3*k = -3*q + 14 + 16, -5*q - 4*k = -t. Is q a composite number?
True
Let v be (-8 - -2)*(-3)/(-2). Let l = -14 - v. Let t = 7 + l. Is t composite?
False
Let f = -597 - -1024. Let b = f - 264. Is b a composite number?
False
Let j be ((-1)/(-2))/((-8)/176). Let z(o) = 50*o + 21. Let q(d) = -10*d - 4. Let g(i) = j*q(i) - 2*z(i). Is g(2) a prime number?
False
Let f be (-2)/(-6) + (-10)/(-6). Suppose 4*t + 133 = -179. Is 1/(2/f) - t a prime number?
True
Let c = 16 + -95. Let u = c - -162. Is u a composite number?
False
Is (1/(-3))/((8/(-10938))/4) prime?
True
Let a(h) be the second derivative of 2*h**4/3 - 5*h**3/6 - h**2 + h. Is a(-5) a composite number?
False
Suppose -10*m + 8*m + 830 = 0. Is m prime?
False
Let n(s) = -188*s - 1. Suppose -5*g - 13 = -4*t, -5*t - 4*g + 3*g - 20 = 0. Is n(t) a prime number?
True
Let b be 1/(-3) - (-110)/33. Is (-1 - -179)/(6/b) a prime number?
True
Let y(v) = 31*v + 25. Is y(6) composite?
False
Let n(h) = -h**2 - 4*h + 2. Let w be n(-4). Is 1668/(-4)*w/(-6) prime?
True
Suppose 0 = 2*v + 3*g - 1042, -2*v + 352 = 5*g - 690. Is v prime?
True
Suppose -5*r - 2*v - 4 = -35, 2*v = 5*r - 19. Suppose -r*s = -38 - 257. Suppose 3*g = 2*g + s. Is g a composite number?
False
Let s(t) = 48*t**2 + 1. Let o(c) = -1. Let b(l) = -l - 3. Let x(q) = -b(q) + 4*o(q). Let i be x(2). Is s(i) prime?
False
Let s(k) = 2*k - 12. Let c(a) = a**3 + 5*a**2 - 3*a - 7. Let b be c(-5). Let o be s(b). Suppose -o*d = -0*d - 132. Is d a composite number?
True
Let h be (2/(-5))/(1/35). Is (-4)/h + (-225)/(-21) composite?
False
Let m be -3*3/(-9) - 0. Let w(b) = 5 - b - 5*b + 29*b - 6. Is w(m) prime?
False
Let t(u) = 3 - 7 + 23*u + 57*u + 1. Is t(2) a composite number?
False
Suppose 193 = -4*i + 1797. Is i a prime number?
True
Let h = 375 + -143. Let j be (-2)/6 - (-884)/6. Let r = h - j. Is r a composite number?
True
Let o(c) = c**3 + 16*c**2 + 14*c - 16. Let g be o(-15). Suppose 3*v - 3*d + 312 = 0, 4*v + d = -0*d - 406. Is (g/2)/(1/v) composite?
True
Is -3 - (2 + -4 - 260) a prime number?
False
Let r(l) = -2*l**3 - 12*l**2 - l - 2. Is r(-9) composite?
True
Suppose 3*x = 194 - 23. Suppose -2*k = 2*r - 46, 6*r - 3*r - 3*k = x. Is r composite?
True
Is (5/15)/((-2)/(-2514)) a prime number?
True
Let o(k) = 11*k**2 - 2*k - 12. Let c be o(5). Suppose -l - 42 = -c. Is l a composite number?
False
Let i(l) = l + 529. Is i(0) a prime number?
False
Let b(s) = s**3 - 5*s**2 + 3*s - 9. Let d be b(6). Suppose -4*l = -l - d. Is l a composite number?
True
Let l(z) = 15*z + 18. Let m = 3 - -2. Let f(t) = -22*t - 27. Let u(x) = m*f(x) + 8*l(x). Is u(7) a prime number?
True
Let y(m) = -57*m + 14. Is y(-7) a prime number?
False
Let r(s) = -s**3 - s**2 + 5*s + 1. Let i be r(-5). Suppose i = 3*q + q. Is q a composite number?
False
Let u = -58 + 56. Suppose 2*g + 11 + 10 = 3*h, -2*g = h + 1. Is 2 + (u - g) - -22 a composite number?
True
Let r(k) = 7*k**2 - 5*k + 3. Let n be r(-6). Let l = n + -155. Let p = l + 103. Is p a prime number?
True
Suppose -2*z = -4*c + 10, -5 = -5*z - 5*c + 30. Suppose 6*l - 2*u = z*l + 883, 0 = 5*u + 10. Is l prime?
True
Let p(b) = b**3 + 7*b**2 - 9*b + 3. Let u be p(-7). Let a = u + -29. Is a a composite number?
False
Suppose -n + u = -196, 2*u = -2*n - 0*n + 404. Is n prime?
True
Suppose 0 = 2*g - 4, 0*y - 32979 = -5*y - 2*g. Is y prime?
False
Suppose -2*z + 2878 = -7048. Is z a prime number?
False
Let z = -92 - 95. Let r = 134 + z. Let c = r - -88. Is c a prime number?
False
Let g = -9 - -9. Let i = 6 - g. Is i prime?
False
Let a(d) = 5*d**2 - 13*d - 2. Let q be a(9). Suppose -q = -2*g - 32. Is g prime?
True
Let t(f) = -13*f + 9 - 14*f - 14. Is t(-4) composite?
False
Suppose 3*o - 1372 = 5*g + 855, -2*o = 4*g - 1470. Is o prime?
True
Let b(r) = -53*r**3 - 2*r**2 - 4*r - 2. Is b(-1) composite?
False
Suppose -r + 29 = -28. Is r a prime number?
False
Suppose f + 5*c - 95 = 42, 4*f - 4*c - 572 = 0. Let k = f + -15. Is k prime?
True
Suppose 48 + 300 = 3*t. Let c = t + -61. Is c composite?
True
Suppose -j = -h - 16, 5*h - 4*j + 90 = -j. Let y = 42 + h. Is y a prime number?
False
Let y be ((-6)/(-4))/(4/8). Suppose 2*x + y*x = 745. Suppose x = -l + 2*l. Is l a prime number?
True
Suppose 17 = 4*z - 3*k, 2 - 15 = z + 5*k. Suppose j - 117 = -z*j. Is j prime?
False
Let w = 100 - 59. Suppose -5*c = 14 + w. Let j = c + 21. Is j a composite number?
True
Suppose -4*a - 19 = y + 118, 4 = -2*a. Let v = y + 208. Is v a composite number?
False
Let j(c) = c**2 - 3*c + 8. Let b be j(12). Let f = 70 - b. Let u = f - -77. Is u prime?
True
Let w = -110 - -31. Let k = -40 - w. Is k a composite number?
True
Suppose b = -3*z + 1349, 0*z - 2706 = -2*b - 4*z. Is b prime?
True
Suppose -o - 2*c = -586, 0 = -o + 3*o - 3*c - 1172. Suppose o = 2*x - 0*x. Is x composite?
False
Let v(i) = 103*i**3 - 1. Let w be v(1). Suppose 0 = -3*j + w + 57. Is j composite?
False
Let p(s) = s**2 + 3*s. Let z be p(-4). Suppose 2*x - z*b = 44, x - 3*b = 5*x - 44. Is x prime?
False
Let n(b) = 5*b**2 - 3*b. Let u(f) = 4*f**2 - 2*f. Let i(k) = 5*n(k) - 6*u(k). Let v be i(4). Suppose h - v*h = -3*o + 45, 0 = 3*h - 12. Is o a composite number?
False
Suppose -r - 1 = 0, -3*k - 3*r = -1891