k/((-18)/10 + 2). Let c = y - -78. Is c prime?
True
Suppose 2*h - 8 = -0*h. Suppose h*p = 226 + 90. Is p prime?
True
Suppose -2*c = -581 + 79. Is c prime?
True
Suppose -3*z = -2 - 4. Suppose 4 = w, -z*n - 3*w + 14 = 6. Is (-10)/(-15)*(-141)/n a prime number?
True
Suppose 0*g = -5*q - 5*g + 65, 2*q - 25 = -3*g. Is (-1*6)/(q/(-119)) a prime number?
False
Let p = 18 + -13. Suppose 3*h + p*g = 260, -5*h + g = 46 - 470. Is h a prime number?
False
Suppose 0 = 4*w - 5*n + n - 16, 2*w - 4*n = 2. Suppose u - w = 39. Is u a composite number?
True
Suppose 9*g = 6*g + 159. Is g composite?
False
Is (-3)/(9/127)*-3 a prime number?
True
Suppose 2*p = -4*f, 20 = 2*f + 4*p - 8*p. Suppose 3*a - f*a + 41 = 0. Let n = a + 94. Is n composite?
False
Let a = -148 + 233. Suppose -389 = -3*c + a. Is c a prime number?
False
Let f = 10 + -7. Let x be (f/9)/((-1)/(-255)). Suppose -11 + x = 2*t. Is t a prime number?
True
Suppose -2*n + 3*n - 148 = 0. Let l = n + -71. Is l a composite number?
True
Suppose -5 = 3*j - 23. Suppose -j = 3*t - 765. Is t a prime number?
False
Suppose -p = 3*j - 11, 4*j = -0*j + 12. Let u = 35 + p. Is u composite?
False
Let w = 417 - 28. Is w a composite number?
False
Let l = 2 + -3. Let o be (42 - l) + -1*2. Suppose -3*a + o = -16. Is a a prime number?
True
Suppose -2*d - 196 - 136 = 0. Let w = 223 - d. Is w a prime number?
True
Let p = -1886 + 2877. Let r = 1668 - p. Is r a prime number?
True
Suppose 0 = l - 0 - 3. Suppose -l - 42 = -s + 2*f, 2*f = 3*s - 143. Is s prime?
False
Let h(s) = -s**3 - 11*s**2 - 9*s + 9. Let q be h(-10). Let p = q + 8. Is p composite?
False
Let q(m) = 2*m**2 - 2*m + 1. Let p = -1 - -2. Let w be q(p). Is (-3)/(6/(-16)) - w prime?
True
Suppose -3*x = -j + 191, 3*x = -j + 107 + 108. Is j prime?
False
Let f(h) = -h**2 - 7*h - 6. Let k be f(-6). Suppose k*o = -2*o. Is (1 - o) + 65 + -1 composite?
True
Let o(q) = 56*q**2 - 2*q - 2. Let h be o(-3). Suppose 0 = 3*l + l + h. Is (-2 + 1)*(0 + l) composite?
False
Suppose -7*l + 316 = -3*l + 5*q, -4*q = 4*l - 316. Is l a prime number?
True
Suppose -4*w - 4*i = 24, 2*w + 5*i + 25 = 1. Let f = w - -17. Is f prime?
False
Is (-41)/(8/228*84 + -3) composite?
True
Is -4083*(56/12 + -5) composite?
False
Is 716/12*-1*-3 a prime number?
True
Suppose -n + 5*n - 8 = 0, -2322 = -2*f + 4*n. Is f a composite number?
True
Suppose -8*i + 3*i = -5585. Is i a composite number?
False
Let q = -357 + 694. Is q a prime number?
True
Let n = 4746 + -1543. Is n prime?
True
Let z(j) = 2*j - 9. Let o be z(7). Suppose -o*p + f + 1263 = 0, 0*f = 5*p + 3*f - 1271. Is p a prime number?
False
Let u(m) = 2*m**3 - 8*m**2 - 6*m - 9. Let d be u(-6). Is 6/(-9)*d/6 a prime number?
False
Let w(l) = 10*l**2 + 2*l - 1. Let q be ((-3)/(-1))/(-3)*-2. Is w(q) prime?
True
Let x(j) = -j - 4. Let f be x(-7). Let a be (-18)/(-4) - (-1)/(-2). Suppose o - w - 114 = -a*o, 4*w - 73 = -f*o. Is o prime?
True
Let g = -20 + 22. Let s(f) = -6*f - 1. Let a be s(-1). Suppose a*j + 20 = 0, -x - 3*j = -g*x + 26. Is x composite?
True
Let t be (-1 - -2)*(-4)/(-2). Suppose -t*v + 165 = -117. Is v prime?
False
Suppose 4*u + 88 = -4*s, u + u - 52 = 2*s. Let o(n) = -n**3 + n**2 + 6*n + 5. Let d be o(-4). Let w = d + s. Is w a prime number?
True
Is ((-4)/(-6))/((-12)/(-468)) prime?
False
Let p = -5 - -10. Suppose p*i - 5*q - 35 = 0, 3*q = i - 12 + 1. Suppose -2*m + k + 72 = 0, i*m - 175 = -3*k + 16. Is m a prime number?
True
Suppose 4*z - 4*x - 12 = 0, 5*z + 2*x - 4*x - 21 = 0. Let o(c) be the third derivative of c**4/3 - 5*c**3/6 - c**2. Is o(z) a prime number?
False
Let x(z) = 8*z**2 - 7*z - 32. Let s(j) = -3*j**2 + 2*j + 11. Let u(q) = -11*s(q) - 4*x(q). Suppose 2*r - g = -2 - 4, 0 = r + 3*g + 17. Is u(r) a prime number?
True
Suppose 0 = s - 0*s - 19. Let i(a) = a**2 + 5*a - 5. Let j be i(-5). Let g = s + j. Is g a prime number?
False
Suppose 2*x + 0*x + 2*c = 6038, 4*x - 12076 = 3*c. Is x a composite number?
False
Let w = -94 + 396. Suppose -5*x + 108 = -w. Is x prime?
False
Suppose 15 = -d + 6*d. Suppose d*b - 597 = -0*b. Is b prime?
True
Let i(p) = -432*p - 1. Let j = 1 + -2. Is i(j) prime?
True
Suppose 5*l - 22 = a + 8, 3*l - 3*a - 18 = 0. Suppose 0 = -3*v - 0 + l. Suppose -23 = -k + v*i, -5*k - 2*i + 34 = -81. Is k a composite number?
False
Suppose 0*v + v = 6. Suppose -2*z = -v*z + 24. Suppose -z - 5 = -t. Is t a composite number?
False
Let x = 7 - 3. Let b be 1 + 3/6*x. Suppose 2*h = 4*a + 10, -3*h + 8 = b*a - 16. Is h prime?
True
Suppose -3*o - s + 1 = 0, -5*s - 10 = -4*o - 2*s. Let g be 4/o*26/4. Let p = g + 9. Is p a composite number?
True
Suppose 3*i + 2*x - 22 = 0, 2*i - 4*i + 20 = 4*x. Is -2 - (-15)/i*6 a composite number?
False
Suppose -8 = u - t + 3*t, 3*t + 5 = 2*u. Let a be 1/(u + (-22)/(-10)). Suppose 596 = a*q - q. Is q a composite number?
False
Let y be 44/6 - 3/9. Let o be 2 + 2 + y - -2. Let w = -6 + o. Is w a composite number?
False
Let a(z) be the third derivative of 1/60*z**5 - 1/24*z**4 + z**2 - 5/6*z**3 + 0*z + 1/60*z**6 + 0. Is a(5) a prime number?
False
Suppose 0 = z + 15 + 11. Let u = 52 + z. Is u prime?
False
Let i(y) = 58*y**3 + 2*y**2 - 1. Let g(f) = f**2 + 7*f - 7. Let a be g(-8). Is i(a) a composite number?
False
Let v(m) = -53*m**3 - 6 + 2 - m + 4 - m**2. Is v(-1) composite?
False
Let n = 7 + -11. Is 894/n*(-4)/6 prime?
True
Let o be (-2)/5 + 6135/25. Let w = o - 84. Is w prime?
False
Suppose -3*b = -168 + 21. Let s = b + -26. Is s composite?
False
Let y(u) = 2*u**2 - u. Let q be y(2). Suppose -3*l - q*a + 3*a + 570 = 0, 4*a = -2*l + 378. Is l a composite number?
False
Suppose 2*r = 4*r + 16. Let k = r - -11. Suppose -l + 34 = -k. Is l a prime number?
True
Let p(l) = l**3 - 2*l**2 + 2*l + 1. Let x be p(2). Suppose -3*t = 3*d - 13 - 5, x*t = -2*d + 18. Is (79/d)/((-3)/(-12)) a composite number?
False
Let d = 851 - 404. Is d a composite number?
True
Suppose 5*m - 3*p - 2363 = 0, p - 943 = -0*m - 2*m. Let d be (370/4)/(4/(-8)). Let n = m + d. Is n a prime number?
False
Let w be ((-4)/6)/((-6)/27). Let x be 6*((-27)/(-6))/w. Let s = 2 + x. Is s prime?
True
Suppose -w + 86 = -41. Is w prime?
True
Suppose 0 = 2*p + 5*d - 772, 2*d + 1915 = 5*p + 7*d. Is p a prime number?
False
Suppose -g = -5*n + 2, 0 = 3*n - 0*g + 3*g - 12. Is (-40 - 7)/(0 - n) composite?
False
Let p(j) = -1689*j**3 + j**2 - 1. Is p(-1) composite?
True
Let p(k) = -k**3 + k + 5. Let c be p(0). Let s(z) = 2*z**2 + 8*z - 3. Is s(c) a composite number?
True
Suppose 0 = -g + 9. Is (-3)/g*-3 + 556 a composite number?
False
Suppose -g = -355 - 60. Is g a composite number?
True
Let s = -2584 + 925. Let f be (1 - 0)/((-3)/s). Suppose -3*x = 2*w - 347, -8*x + 3*w + f = -3*x. Is x prime?
True
Is (7 - 4)/((-3)/(-19)) a composite number?
False
Suppose -2*f = -3*w + 9, 3*f = -0*f + 9. Is (156/10)/(2/w) a prime number?
False
Suppose 0 = t - 5*t. Suppose 3*z - 142 + 1 = t. Is z composite?
False
Let l(i) = 17*i**2 + 11*i + 3. Is l(-11) a prime number?
False
Let s(d) = -3*d + 4. Let r(y) = -4*y + 5. Let g(o) = 4*r(o) - 5*s(o). Let t be g(-2). Suppose -t*a + 70 = -0*a. Is a composite?
True
Let q = 189 + 70. Is q a prime number?
False
Suppose -3*m - 9 = -0*m. Let z(r) = r**3 + 4*r**2 + 2*r - 2. Let c be z(m). Suppose -5*j = 4*a - 26, a + 5*j + c = -0*j. Is a prime?
False
Let v(i) = 13*i**3 - 20*i**2 - 10*i + 3. Let w(m) = 7*m**3 - 10*m**2 - 5*m + 1. Let c(y) = -6*v(y) + 11*w(y). Is c(10) a prime number?
True
Suppose v - 387 = -2*v. Is v composite?
True
Let v(f) be the second derivative of 2*f**3 + 7*f**2/2 - 10*f. Is v(13) a prime number?
True
Let z = 39 - 25. Is 7/(z/(-4)) + 69 a composite number?
False
Suppose 0 = -3*j + 14 - 5. Suppose 13 = 5*p + j. Suppose -b = -p*b + 79. Is b composite?
False
Let q be ((-5)/(-4))/((-1)/4). Let r = 60 + -144. Let i = q - r. Is i a prime number?
True
Suppose 0 = -t + h + 155, -38 = 2*t - 5*h - 336. Is t composite?
True
Let l(i) = -i + 12. Let o be l(7). Is (89/o)/((-1)/(-5)) composite?
False
Let j be 9 + 6/(-2) - 1. Suppose 5*s + 254 + 68 = 4*m, s = -j*m + 417. Is m composite?
False
Suppose -20 = 2*r - 7*r. Let z = 1 - r. Is 0/z + (2 - -221) a composite number?
False
Let s be 1 - (-1 + -2)*1. Let p = 8 - s. Suppose -p*j + 165 = j. Is j a prime number?
False
Is 52/(-13) + 0 + 159 a prime number?
False
Suppose 760 = 5*u + 5*p, 