 - j - 263 + 22, w*p - 78 = 5*j. Is p composite?
True
Suppose -51 = -3*n + 9. Suppose 0 = -4*r - n, 5*r + 15 = -3*w - 4. Let b(m) = 53*m**2 - 2*m + 3. Is b(w) a prime number?
True
Let f(k) = 4*k - 3. Let g(q) = -5*q + 3. Let a(b) = 6*f(b) + 5*g(b). Let d = 14 - 19. Is a(d) a composite number?
False
Is (-8)/(-3)*9/24*214 prime?
False
Suppose j = 3 - 0. Suppose -884 - 132 = -j*p - 5*d, -2*p + 669 = -5*d. Is p a prime number?
True
Suppose -3*h = -3*x - 2628, -5*h + 2*x + 4388 = 5*x. Is h composite?
False
Suppose -j + 28 = a + 95, 284 = -4*a + 4*j. Let z = -10 - a. Is z composite?
False
Let j = 8 + -3. Let c(a) = -2*a + j*a - 2*a. Is c(6) prime?
False
Let w = -175 + 344. Is w a composite number?
True
Let a(m) = -m**3 - m**2 + 53. Let z(h) = h - 5. Let b(d) = -5*d. Let v be b(-1). Let o be z(v). Is a(o) composite?
False
Let p = 1841 + -404. Is p a composite number?
True
Let l(c) = -c**3 + 11*c**2 + 8*c + 5. Suppose -r - 4 = -2*r - 2*y, 0 = -r + 5*y + 25. Is l(r) composite?
True
Let p(k) = -2*k + 11. Let l = 33 + -46. Is p(l) a prime number?
True
Suppose -5*v - 146 - 79 = 0. Let c = 21 - v. Suppose -f = -3*g + 79 + 55, 2*g - c = -4*f. Is g prime?
True
Let u(j) = j**2 + 2*j - 3. Let g be u(3). Is ((-39)/g)/(2/(-8)) composite?
False
Let k = 3960 - 415. Is k prime?
False
Suppose 4*h - 31 = -0*n + 3*n, -3*n - 2*h - 7 = 0. Is (4/n)/(2/(-55)) composite?
True
Suppose -3*f = -2*k + 112, 0 = -0*f - f + 2. Is k prime?
True
Let y be 6/(-3*(-2)/(-3)). Is (-158)/y*9/6 a composite number?
False
Let z = 21 + -19. Suppose z*g - 404 = -w + 122, 534 = 2*g - w. Is g prime?
False
Suppose 2*m = 4*m + 10. Let t(u) = 2*u**3 + u**2 - 4*u. Let q be t(m). Let k = -120 - q. Is k composite?
True
Suppose -2*n + 0 = 4. Suppose 0 = -4*g - 19 + 7, 18 = 3*s - 5*g. Is ((-33)/n + s)*2 prime?
False
Let t(k) = -23*k**3 + 3*k**2 - 6*k + 1. Let f be t(4). Let c = f + 2094. Is c composite?
False
Let x(z) = 53*z - 1. Let i be x(1). Suppose 3*c - 2*o = i, o - 37 = -c - 2*c. Is c prime?
False
Suppose 5*n = n. Suppose -2*v = -n*v - 22. Is v a prime number?
True
Let l(o) = -3*o + 5. Is l(-6) composite?
False
Suppose -8 - 8 = -4*f. Suppose -f*u + 4 + 6 = -2*w, 5*w + u + 14 = 0. Is (-13)/(-1)*(w - -4) a prime number?
True
Let o = 5 + 9. Is (-1)/((-1)/o + 0) a prime number?
False
Suppose 380 = 11*p - 7*p. Is p a prime number?
False
Let o(v) = 2*v**2 + 12*v + 15. Let g be o(-10). Let a = g + 109. Suppose -5*d + 71 = -a. Is d a prime number?
False
Let l be (-18)/21*(-3 + 10). Let m = l + 43. Is m a composite number?
False
Suppose z - 1 - 2 = 0. Let i(g) = 11*g + 2. Is i(z) prime?
False
Suppose -3 = -3*h, 3*h + 2*h = d. Suppose -t = d*s - 1710, 350 = 3*s + 5*t - 698. Is s prime?
False
Let u(p) = 0*p + 0 + p + 6*p**2 - 2*p - 5. Suppose -i = -3*i - 8. Is u(i) composite?
True
Let j(a) be the second derivative of a**4/12 - 22*a**2 + 2*a. Let b be j(0). Let s = b - -97. Is s composite?
False
Let c = -13 - -11. Is (c - -121) + (-4)/1 a prime number?
False
Let r(n) = n**3 + 2*n**2 - 2*n + 3. Suppose 4*o + 2*z + 23 = 5, 9 = -4*o + z. Let s be r(o). Suppose -2*x = -5*a + a - 4, -3*a = s. Is x a composite number?
False
Suppose 3*n - 3 = -0, -5*s + 1060 = -5*n. Is s a composite number?
True
Let u = 6 + 0. Suppose 0 = -0*f + 2*f - u. Is 2/f + (-21)/(-9) composite?
False
Is (4/(-6))/(2/(-633)) composite?
False
Is (3 - 22/8)/(2/20632) prime?
True
Let p(t) = -228*t - 2. Is p(-1) a prime number?
False
Suppose 4*j - 39 = -343. Let r = j + 113. Is r a prime number?
True
Suppose 0*m = 4*m - 4. Let v be m*2 + 3 + 270. Suppose 0*p = 5*p - v. Is p composite?
True
Let w be (-2)/(-3) - 40/6. Is (2/w)/((-1)/339) prime?
True
Let k be -2 - 4/(4/(-2)). Let f be k/(-5)*1/(-2). Let m(y) = -y**2 + 23. Is m(f) composite?
False
Let z = 912 - 23. Is z a prime number?
False
Let k(p) = -9*p + 12. Let v be k(-9). Let c = 306 + -182. Let y = c + v. Is y composite?
True
Is (1 - 0)*(-1341)/(-9) prime?
True
Let u(c) = 16*c**2 + c - 1. Let z be u(1). Let j = 39 - z. Is j composite?
False
Let h(y) = -36*y**3 - 6*y**2 - 4*y + 7. Is h(-4) composite?
True
Let i(m) = -8*m - 4 - 5*m**2 + 4*m**2 - m**3 + 11*m**2. Let t be i(9). Suppose -o = -3*d + 7*d - 47, -37 = -2*d - t*o. Is d composite?
False
Suppose -w - 5*l = -0*l - 2, 5*w + 3*l = 10. Suppose 0 = -w*b + b + 7. Is b prime?
True
Let g = -892 + 2399. Is g composite?
True
Suppose -f = 3*f - 44. Let z(k) = -2 - 1 + f*k + 2. Is z(2) prime?
False
Suppose 17815 = -22*k + 27*k. Is k a prime number?
False
Let k = 304 - 165. Is k prime?
True
Let n = 6 - 3. Let a = 5 - n. Suppose -a*y = -v + 29, 0*y - y = 2*v - 33. Is v a composite number?
False
Suppose 5*p = -0 + 15. Let u(q) = -19*q - 18. Let y be u(-8). Is (y/p)/(16/24) composite?
False
Let v be ((-2)/(-6)*0)/2. Suppose -4*q + 6*q - 3*j - 25 = v, 0 = q - 3*j - 20. Suppose 0 = 3*g - 4*p - 31 + q, -3*g - 4*p = -10. Is g a prime number?
False
Suppose -4*o + 1075 = o. Is o a composite number?
True
Suppose -331 = 5*f - g - 1807, -4*f + 4*g = -1184. Is f prime?
False
Let k(l) = 131*l**2 - l. Let g be k(-1). Suppose g = 3*j - 159. Is j a composite number?
False
Suppose -553 = -5*r + 3*h, h = -r - 51 + 160. Is (-8)/(-12) + r/6 composite?
False
Let m be (-6)/8 + (-36)/(-48). Is 133 - (m + 3) - 3 composite?
False
Let k be (-4)/6 + 20/(-6). Let y = k - -7. Suppose y = 2*p + p, -4*a + 2*p = -122. Is a prime?
True
Let j be (-78)/(-30) + 4/10. Suppose 0*l - j*l = 0. Suppose l*m - 3*m = -2*n + 295, 591 = 4*n - 5*m. Is n prime?
True
Let y(d) = 1. Let a(l) = 5*l + 4. Let j(r) = -a(r) - 3*y(r). Let g be j(5). Let x = g + 53. Is x prime?
False
Suppose z + z - 4*w = 39782, -z + 19921 = 4*w. Is z a composite number?
True
Let j = -19 - -54. Is j a prime number?
False
Is 36/63 + 6303/7 a prime number?
False
Suppose 2*q = -4*a + 498, -4*q - a + 999 = 4*a. Is q a composite number?
False
Suppose 0 = -6*r + 3*r + 30. Suppose 0 = -2*z - 16 - r. Let q = 6 - z. Is q composite?
False
Suppose 3*q + 5*m + 1 = 0, 0*q + 2 = -3*q - 4*m. Let b be 17 - -2*q/(-4). Suppose -t + b = -25. Is t a composite number?
False
Let q be (2/6*0)/(-1). Is (q - -246)*1/2 a prime number?
False
Suppose 785 = 4*m + 3*l, -4*m + 2*m + 379 = -3*l. Is m a composite number?
True
Suppose -5*f + 7 = -3. Suppose f*k = 79 + 75. Is k prime?
False
Let l(j) = 4*j - 1. Let u(s) = -s**2 + s. Let b(p) = l(p) - u(p). Let d be b(-4). Is -2 + d + 6/3 prime?
True
Let z(g) = 7*g + 1. Let u be z(-4). Suppose -109 = k - 3*k - b, 2*k - 99 = b. Let d = k + u. Is d a composite number?
True
Suppose 0*q + q + 32 = 0. Let h = q - -62. Is (h/8)/(6/16) a composite number?
True
Suppose -m - 44 = -5*m. Let q(r) = -8*r + 33. Let w(o) = 3*o - 11. Let i(h) = m*w(h) + 4*q(h). Is i(8) prime?
True
Let h(i) = -5*i - 4. Let w = -21 - -13. Let v be h(w). Suppose -2*f = -2*j - v, j + 25 + 8 = 2*f. Is f a composite number?
True
Suppose 8*o - 3*o - 70 = 0. Suppose 0 = 3*y + 2*d + o, 6 = -0*d + 3*d. Is (-2 + (-69)/y)*2 prime?
True
Let w(t) = 14*t**3 + 2*t**2 - 1. Is w(3) composite?
True
Suppose 0 = 3*u - 9, 5*v - 2*u + u = 632. Is v prime?
True
Let a = 5 + -3. Suppose 3*x - 4*o = -0*o + 141, a*x - 2*o = 94. Is x composite?
False
Is (-2 - 4)/(-2) + 1202 + -4 composite?
False
Let m(r) = r**2 - r + 11. Let d be m(0). Let u = d + 2. Is u prime?
True
Let p(w) = -47*w - 16. Is p(-15) prime?
False
Suppose -p = z - 87 - 264, 0 = 3*z - 3*p - 1083. Suppose -z = -5*s + s. Is s a prime number?
True
Let s(p) = -p**3 - 7*p**2 - 6*p + 4. Let n be s(-7). Suppose -2*i = -c - n, -i + 10 + 13 = 3*c. Is i prime?
True
Let g = 4 + -8. Is (-10*218/g)/1 a prime number?
False
Is 7/((-21)/(-186))*1 composite?
True
Suppose 0 = 6*u - u - 20, 4*r = 3*u + 20. Let q be (-12)/16 - (-14)/r. Let j = q + 6. Is j prime?
True
Let k(c) = -c**2 - 13*c - 8. Let m(s) = -s**3 + 2*s**2 + 6*s - 4. Let h be m(4). Let p be k(h). Is ((-46)/p)/(1/(-2)) a prime number?
True
Suppose 2*y + 3*y + 4*p = -2, -p + 8 = -3*y. Let i = 3 + y. Is i + -1 + 2*5 prime?
False
Let y be ((-6)/4)/((-3)/20). Suppose 3*b - y = -2*b. Suppose 0 = v - 3, 3*g - b*g - 178 = -5*v. Is g a composite number?
False
Is 2134/6 - 12/18 a prime number?
False
Let d = -2 - -8. Suppose -2*b + 0*b = 4. Is (-1 - b)*d + 1 a composite number?
False
Let z be 3*(-6)/27*12. Let f be (0 - 0)*(-4)/z. Suppose k + k - 38 = f. Is k composite