
Suppose -3*b - 3*k + 4*k + 6996 = 0, 0 = 4*k - 12. Is b prime?
True
Let p = 0 + 1. Let k be 0/(p + -2 + 2). Suppose -3*q + 56 + 1 = k. Is q prime?
True
Let z be (23/1)/(4/(-4)). Let x = 8 - z. Is x a composite number?
False
Let i(f) = f**3 - 5*f**2 + 2*f - 7. Let g be i(5). Suppose 2*y + 55 = g*y. Is y a composite number?
True
Suppose -254 = -h + 215. Let u = h - -580. Is u a prime number?
True
Suppose 0 = 3*a - 3 - 3. Suppose -80 = -3*c + 5*s, 3*s = -c - a + 52. Is c prime?
False
Is (-15)/35 + 5844/14 composite?
True
Let i be 921*2/9*-3. Is (i/(-6))/(2/6) a composite number?
False
Let c be 51/(-6)*(0 + -20). Suppose v - s - 40 = 33, 2*v = -4*s + c. Is v a prime number?
False
Suppose 0 = -5*g + g. Suppose g = -4*r + 3*r + 139. Is r composite?
False
Let i(f) = -178*f + 53. Is i(-5) composite?
True
Let k(p) = -p + 115. Let v be k(0). Suppose 0 = -t + m + 50, -5*m + v = 5*t - 105. Is t prime?
True
Suppose -x - 4*j = 4*x - 937, -x + 4*j + 173 = 0. Is x a composite number?
True
Let w be 3/9 + 286/6. Suppose 133 - w = t. Suppose 5*c = -i + 17 + t, 25 = -5*c. Is i a composite number?
False
Let r(v) = -184*v. Let f be r(1). Let d = -101 - f. Is d prime?
True
Let r be -1 - -8 - (-6)/(-3). Suppose 0*z + 42 = z + u, u - 194 = -r*z. Let h = z + -5. Is h prime?
False
Let a(m) = 1170*m**2 - 1. Is a(1) prime?
False
Is (-2)/11 + (-17316)/(-11) a prime number?
False
Is -4*((-1082)/(-8))/(-1) a prime number?
True
Let m(i) be the first derivative of i**3/3 - i**2/2 - 13*i + 2. Suppose 3*q + 47 = -4*b, q - b = 2*b + 6. Is m(q) composite?
True
Let r be 4/2 - (-1 + -1). Suppose -28 - 184 = -r*j. Is j prime?
True
Is 3/(-6)*(2 + -1544) prime?
False
Suppose -237 = -2*v + 85. Is v a composite number?
True
Let g = -1284 - -1841. Is g a composite number?
False
Let f = 89 + 296. Let g = f - 266. Is g a prime number?
False
Suppose 0 = 3*v - 3*r - r - 310, -5*v = -r - 528. Suppose 4*a = 8, 4*u - 2*a - v = -u. Is u a prime number?
False
Let x be ((-4)/(-3))/(4/(-18)). Let a be (-4)/(x/(-3)) - -128. Is (-3)/4 - a/(-8) prime?
False
Let t(i) = i**3 - i**2 + i + 1. Let g(u) = -7*u**3 + 8*u**2 - u - 10. Let y(c) = g(c) + 6*t(c). Let p be y(3). Suppose p*b + 89 = 3*b. Is b a prime number?
True
Let r be ((-15)/2)/((-1)/106). Suppose -2*q + 3*q - r = w, 4 = 2*w. Is q composite?
False
Let q(d) = d**2 + 4*d. Let v be q(-2). Let l be v/(-2) - (-1 - 20). Suppose t + 3*y = 3*t - 35, l = t + 4*y. Is t a composite number?
False
Suppose -5*b = -2*b - 12. Suppose 9*r - 230 = b*r. Is r a prime number?
False
Let k = -5 - -8. Suppose 4*o - k*o - 95 = 4*v, -4*o + 368 = -4*v. Let l = 128 - o. Is l prime?
True
Let i = 248 - -1229. Is i prime?
False
Let c be ((-3)/(-3) + 0)*135. Let n = -43 + -46. Let k = c + n. Is k composite?
True
Let z = 652 - 273. Is z a prime number?
True
Suppose c - 2*h = 685, -10 - 2 = 4*h. Is c a composite number?
True
Let l = 93 + -56. Is l composite?
False
Suppose h = -h - c + 585, -3*h + 2*c = -881. Is h composite?
False
Is 61*(-70)/5*2/(-4) prime?
False
Let h = -10 - -3. Let t(z) = -24*z - 1. Let k(q) = -8*q. Let b(g) = -8*k(g) + 3*t(g). Is b(h) prime?
True
Let d = -326 + 612. Suppose -d = -2*u + u. Is ((-1)/1)/((-2)/u) a prime number?
False
Suppose 5*b + 4*l = 608, 5*l - 201 = -4*b + 289. Suppose 216 = 4*d - 2*z + 6*z, 5*z - b = -2*d. Is (2 + -1)*(3 + d) a composite number?
False
Suppose -4 = -2*o, -5*o - 85 = 2*k - 7*k. Let z(j) = -j - 2. Let r be z(-5). Suppose -2*g + 68 = -u, 78 = r*g + u - k. Is g prime?
False
Suppose -2 = -x, -l - x + 0 + 2 = 0. Suppose -a - 2 = d, l + 6 = -a - 2*d. Suppose 4*f + a*s - 60 = 2*f, -127 = -4*f + 3*s. Is f a prime number?
True
Let s(k) = -2 + 0*k + 3 + 3*k. Let u be 0 + 4 - (-2)/1. Is s(u) a composite number?
False
Suppose r = -4*r + 1015. Is r a composite number?
True
Suppose -33 = 4*h + 5*z, h - 18 = 3*h + 4*z. Let a(n) = -10*n - 3. Is a(h) composite?
False
Let f be (-3 + 2)/(1/397). Let b = f - -560. Is b a prime number?
True
Let s = 311 - 23. Suppose -3*n - 4*c + 377 + 44 = 0, -c - s = -2*n. Is n prime?
False
Suppose w - 1506 = -2*h + 89, w = h - 796. Is h a composite number?
False
Suppose -93 = -y + 2*g, 2*g = -2*y - 2*y + 352. Is y composite?
False
Let o(p) = 21*p + 2. Let h = 3 - 0. Is o(h) a composite number?
True
Suppose -i + 4 = 0, -2*r - i - 2*i + 8806 = 0. Is r a composite number?
False
Let h(s) = -s + 7. Let m be h(-6). Let f = -7 + m. Is f a composite number?
True
Let v(p) be the third derivative of p**6/360 + p**5/40 - p**4/4 - p**3/6 + 2*p**2. Let z(r) be the first derivative of v(r). Is z(4) prime?
False
Let d(b) = -46*b + 5. Is d(-9) a prime number?
True
Let s be ((-16)/(-8))/(-1 - -3). Suppose -3 = u - s. Is (-1)/((-94)/46 - u) composite?
False
Is (-3)/(-5) + 156/15 a prime number?
True
Suppose 0 = -4*y + y + 12. Suppose -a - y = -1. Is (-542)/(-6) + (-2)/a composite?
True
Let r(j) be the first derivative of 10*j**3/3 + 2*j**2 + 3*j + 1. Is r(-2) composite?
True
Suppose 2*h + 2*v - 318 = 0, 4*h = -h - 2*v + 807. Suppose -4*a = -h - 205. Suppose -3*g + 67 + a = 0. Is g prime?
True
Let v = -9 - -5. Let q be (2/4)/((-1)/v). Suppose 2*g - 129 = 5*x, 0*g - q*g - 5*x = -99. Is g a composite number?
True
Let k(j) = 6*j**3 - j**2 + 3*j - 1. Is k(2) a composite number?
True
Let c(z) = z**3 + 4*z**2 + 2*z - 1. Let l be c(-2). Suppose -5*h + 1260 = -l*d, -767 = -3*h + 3*d + d. Is h a composite number?
True
Let a = -21 - -26. Suppose 44 = y - a*k, 78 = 2*y - k - 19. Is y composite?
True
Suppose -c - 7 = 1. Let b(j) = -j**3 - 9*j**2 - 9*j + 11. Is b(c) a composite number?
False
Let p(g) = -6*g**3 - g**2 - 2*g + 3. Is p(-4) composite?
False
Let v(r) be the second derivative of 1/6*r**3 + 0*r**4 - 1/20*r**5 - r + 0 + 1/2*r**2. Is v(-3) a composite number?
True
Suppose -5*i - 3*y + 3103 = 0, 2*y - 1238 = -5*i + 3*i. Is i a prime number?
False
Let y be 5/1 - (-10 + 7). Suppose -5*z - 4*r = -1031, -4*z = -y*z + r + 808. Is z composite?
True
Let m be (-3)/4 + 310/8. Suppose -m - 15 = -t. Is t a prime number?
True
Let x = -35 - -38. Let z be 2/(-1)*(-4)/2. Suppose 43 = z*s + x*p - 0*p, -2*s = 5*p - 25. Is s a prime number?
False
Let f be 180/(-81) - (-4)/18. Let z be 94/18 + (-2)/9. Let y = f + z. Is y a composite number?
False
Let j(w) be the third derivative of -11*w**6/60 + w**5/30 - w**3/6 + 2*w**2. Suppose 2*l + 7 = 2*m + 3, 2*m - 4*l = 10. Is j(m) a composite number?
False
Let x(w) = w**3 - 4*w**2 + 6*w + 4. Let s(f) be the second derivative of -f**3/6 - 5*f**2/2 - 2*f. Let u be s(-10). Is x(u) prime?
True
Let m = 582 + -361. Is m composite?
True
Let t(f) = -17*f**3 + f**2 + 2*f. Let g be t(4). Let d = g - -1621. Is d a composite number?
False
Suppose -1 = -2*r + x - 2, 5*r + 22 = -4*x. Let w be 216/21 + r/7. Is (-2)/(-10) - (-148)/w a composite number?
True
Is 8/68 - 1662/(-34) a prime number?
False
Let b = 7 + 3. Suppose k - 2*w - b = 0, -2*k - k = -4*w - 26. Is (-296)/(-6) + (-2)/k a composite number?
True
Let d be -2*((-4)/8 + -1). Let p(b) = 5*b**2 - 2. Is p(d) a composite number?
False
Let q be ((-3)/2)/(2/(-4)). Suppose -253 = -5*o - q*w, 0*w = o + 4*w - 37. Is o a prime number?
True
Let o = 2 + -5. Let y = 10 - o. Suppose 93 = 2*b - y. Is b prime?
True
Let p(h) = -6*h**3 - 5*h - 4. Let j be p(-3). Let r = -124 + j. Is r a composite number?
True
Let l = -12 + 18. Suppose -2*z + 0*z = 8. Let y = l + z. Is y composite?
False
Let a(v) = 1. Let q(b) = -13*b - 4. Let l(u) = -3*a(u) + q(u). Is l(-8) a composite number?
False
Let s(t) = t**2 - 6*t - 4. Let c be s(8). Is 3690/c - 2/4 a prime number?
True
Suppose 2*s = 4*s - 5*y + 81, -y = 2*s + 87. Let c = 22 - s. Is c a composite number?
True
Let p be (18/4)/((-6)/(-8)). Suppose -5*v = -4*m + 485, 2*v - 107 + 351 = 2*m. Suppose r + m = p*r. Is r a composite number?
True
Let d(g) = 3*g**2 - 2*g + 9. Is d(5) a prime number?
False
Suppose n + 3*a + 7 = 0, 0 = 2*n - 6*n + a + 11. Suppose -5*m + 3*b = -317 - 482, 0 = -m + n*b + 157. Is m a prime number?
False
Let p(t) = 13*t + 8. Let d be p(6). Let i = 273 - d. Is i composite?
True
Suppose -6*y = -157 - 629. Is y composite?
False
Suppose 3*v - 678 = -0*v. Let f(t) = -6*t**3 - 2*t**2 + t. Let x be f(-2). Suppose x = -4*a + v. Is a a prime number?
True
Let n(z) = 988*z + 1. Is n(1) a prime number?
False
Let v(g) be the second deri