(-10) + 2/(-5). Is b(q) a composite number?
True
Suppose 0*z = 5*z + 215. Let j = z - -78. Is j a prime number?
False
Let i be 1214 - 2/4*-2. Suppose 0*c = -5*c + 4*n + i, 4*c + 5*n = 1013. Is c a composite number?
True
Let h(z) = -4 - 6 + 3 + 0 - 9*z. Let u = 12 + -20. Is h(u) a composite number?
True
Let z(m) = -5*m + 2. Let k be z(2). Let b(d) = d**3 + 8*d**2 + 5*d + 3. Let q be b(k). Let g = -24 - q. Is g a composite number?
False
Suppose -2*k + 2*l + 18 = 2*k, -2*k + 5*l + 13 = 0. Let d(j) be the second derivative of j**3/3 + j**2 - j. Is d(k) prime?
False
Let d = -6 + 9. Suppose -d*o + 1068 = 189. Is o prime?
True
Let a(l) = 3*l + 3. Let y be a(3). Suppose 3*s - y = -s. Suppose -3*p + 0*x + 73 = -x, -p - s*x + 11 = 0. Is p composite?
False
Let y = 7 + -5. Suppose -k = y*k + 12. Is 134/10 - k/(-10) a prime number?
True
Suppose 2*x + 15 = 5*x. Suppose 0 = x*n + 10 - 5. Is (670 + n)/3*1 a prime number?
True
Let p(n) = -43*n. Let h be p(1). Let s = h - -90. Is s a prime number?
True
Suppose 5*h - 7095 = 260. Is h a prime number?
True
Suppose 0 = 2*c + 232 - 974. Is c prime?
False
Suppose 2*j - 6*j - 5*c - 28 = 0, 2 = -5*j + 2*c. Let u(q) = -20*q + 3. Is u(j) a prime number?
True
Suppose 2*d = -3*x + 26, 3*d - 6 - 35 = -4*x. Is d composite?
False
Let i = 5279 + -3480. Is i composite?
True
Let n(t) = -62*t + 5. Is n(-3) prime?
True
Let x(a) = -4*a**3 - 10*a**2 - 12*a - 1. Let f(i) = -i**3 + i**2 - i. Let y(l) = -3*f(l) + x(l). Is y(-14) a prime number?
False
Suppose -s = 2*s + 5*b - 1465, -5*s + b = -2423. Suppose 0 = -p + 3*d + 184, 5*p + 3*d - s = 399. Is p a composite number?
True
Let t be (-9)/(-2)*8/12. Suppose -t = 5*l + 2. Is 38 + (-6 - (l + -2)) prime?
False
Let h(j) = 40*j**2 - 3*j - 3. Let n be (3/(-2))/((-12)/(-16)). Is h(n) prime?
True
Let u(h) = -h**3 - 6*h**2 + h + 8. Let t be u(-6). Suppose t*z = 5*z - 84. Let i = z + -13. Is i prime?
False
Suppose 0 = 4*i + i - 1000. Let x = i - 115. Is x a composite number?
True
Suppose -236 + 5 = -4*a + u, -a - 5*u + 84 = 0. Is a a composite number?
False
Suppose -2*j + 256 = 3*m - 331, -j + 297 = -2*m. Let f = -146 + j. Is f a prime number?
True
Let x(h) be the first derivative of -h**4/4 + 7*h**3/3 - 3*h**2/2 - 7*h + 2. Let r be ((-12)/15)/((-4)/30). Is x(r) prime?
True
Is (-1 + 2)/((-2)/(-3602)) composite?
False
Let d = -2266 - -4427. Is d prime?
True
Let k(q) = -q**2 - 6*q - 2. Let g be k(-5). Suppose g*r + 3*f - 33 = 0, 2*f - 23 = -3*r + 5. Is r + (-2 - -1 - -2) prime?
True
Suppose i = -2*i + 5*n + 5272, i = -5*n + 1744. Is i a composite number?
True
Let p = -34 - -16. Let h be 10/(-45) - 40/p. Is h/(-4*(-1)/118) a prime number?
True
Let v be 76 + -2 + 3/3. Let l = v - 50. Is l a composite number?
True
Let v(y) = 4*y**3 - y**2 + 2*y + 1. Is v(4) composite?
True
Let f(r) = 1 + 0*r**2 + 0 - r**2 - r**3. Let z be f(-2). Suppose 5*j + z*y - 7 - 173 = 0, -3*y - 156 = -5*j. Is j prime?
False
Let v(m) = 154*m + 19. Is v(10) a prime number?
True
Let q(b) = -b**3 - 12*b**2 - 12*b + 12. Let p(y) = 3*y - 7. Let w be p(-5). Let z = 11 + w. Is q(z) prime?
True
Suppose 1447 = 5*p - 4*j, -3*j + 740 + 139 = 3*p. Suppose 2*i + p = 7*i - 3*y, -y = 2. Is i prime?
False
Let x(p) = p**3 - 2*p**2 - p - 3. Is x(7) a composite number?
True
Let u(l) = 3*l**2 - 3*l - 17. Is u(9) composite?
False
Let v = 839 - 369. Is v/8 - 5/(-20) composite?
False
Suppose -3*q = 3*j - 2 - 4, 3*j - 4*q + 8 = 0. Suppose -k + 4*k + 3*d - 63 = j, 15 = k - 2*d. Is k a prime number?
True
Suppose 1213 = 3*x - 329. Is x a prime number?
False
Let s = 5 - -29. Let q = 50 - s. Suppose 0 = 4*d - 0*d - q, 0 = c + 3*d - 49. Is c composite?
False
Let u(b) = 157*b**2 - 4*b + 3. Is u(2) a composite number?
True
Let j = -4 - -1. Let i be j/(-2)*(-6)/(-9). Let g(s) = 8*s**2 - 2*s + 1. Is g(i) composite?
False
Suppose 0 = -2*s + 4*k + 24, -5 = -3*s - 2*k - 1. Let g(z) = 3*z**2 + 5*z + 1 + 0*z**2 + 2*z**3 - 9*z**2. Is g(s) composite?
False
Let m = 1115 - 294. Is m a prime number?
True
Suppose 0 = 3*r - 681 - 66. Is r a prime number?
False
Let n be -1 - (7 + 0) - -2. Let t be ((-10)/(-6))/(2/n). Is 32 - (1 + (t - -2)) prime?
False
Suppose -b + 2*r + 297 = 0, 1164 = 7*b - 3*b + 4*r. Is b a prime number?
True
Let n(b) = -2*b**3 + b**2 - 2*b - 4. Is n(-3) a prime number?
False
Let t(r) = -18*r - 3. Let m be t(-2). Let d(w) = 2*w**2 + w + 1. Let h be d(-1). Suppose -h*o + m = -o. Is o a prime number?
False
Suppose 4*k + 3*x - x = 4806, 0 = -5*k - 4*x + 6009. Is k composite?
False
Let j(h) = h**2 + h. Let w be j(0). Suppose 5*s = -10 - w. Is (41 - s)/(0 + 1) composite?
False
Let t(j) = -j**2 - 11*j - 1. Is t(-8) a prime number?
True
Suppose -36 = 2*j - 5*j. Suppose -j - 51 = -3*i. Suppose c = -2*c + i. Is c prime?
True
Suppose 3*z = -r + 2*r + 1627, 2*z + 2*r - 1074 = 0. Is z a composite number?
False
Let n(z) = 11*z - 1. Let x be n(2). Suppose -w + 13 = -x. Is w composite?
True
Let q = 205 + 56. Suppose 3*s - q = -0*s. Is s a composite number?
True
Suppose 4*s + 9 = -2*h - h, -3*s + 2*h - 11 = 0. Let w be (-3)/(1*s/10). Is 466/10 + (-6)/w a composite number?
True
Let h = 37 - -202. Is h a prime number?
True
Let p(q) = 4*q**3 + 6*q**2 + 10*q + 13. Is p(9) composite?
True
Suppose 9*j - 2155 + 346 = 0. Is j prime?
False
Suppose -3*c - c + 5342 = 5*u, -c + 5*u + 1323 = 0. Is c composite?
True
Suppose 0 = 4*r + 4*r - 3176. Is r composite?
False
Suppose 0 = v - 4*c - 307, -2006 = -4*v + 2*c - 722. Is v a composite number?
True
Let f be 44/10 + 8/(-20). Suppose 5*b + 10 = f*s + 3*b, 2*s + 10 = -2*b. Let h = s - -53. Is h a composite number?
False
Let z(w) = -21*w**2 + 5*w. Let c be z(-5). Let h = -137 - c. Suppose -5*t + h = 4*j, -4*t + j = 105 - 448. Is t a composite number?
True
Let y(o) = -o**2 - 6*o - 2. Let j be y(-5). Suppose 2*u - h = 3*u - 2, -j*u + 2*h + 6 = 0. Is (0 - u)/((-8)/460) prime?
False
Let v be (-1)/((-2)/(30/(-3))). Let l = 5 + v. Suppose l*c - 5*x - 18 = -3*c, 3*c - 4*x - 18 = 0. Is c prime?
False
Let d = -624 + 319. Let m = -156 - d. Is m prime?
True
Let z(u) = -20*u**3 + 23*u + 20. Let i(s) = 7*s**3 - 8*s - 7. Let v(p) = 17*i(p) + 6*z(p). Let g be v(-2). Suppose g*b - 53 = 52. Is b a prime number?
False
Suppose 0 = 2*l - l - 149. Is l prime?
True
Let q be (-4 - 0)*(-62)/8. Suppose 0 = 4*l - 3*l - q. Is l prime?
True
Let a = -6 - -5. Let n = 0 - a. Suppose n = q - 32. Is q a prime number?
False
Let t(s) = 17*s**2 - 2*s - 10. Is t(-3) prime?
True
Let p(q) be the second derivative of q**3/6 + 4*q**2 + 3*q. Let m be p(-6). Suppose -39 = -5*h + m*h. Is h prime?
True
Suppose 143 = c + 4*k, 5*c - 4*k - 761 = -k. Suppose -795 = -5*a + 5*z, -a + c = -0*a + z. Is a a prime number?
False
Let l = -140 - -825. Is l composite?
True
Let v(j) = -j + j**2 + 8 - 1 + 7*j. Let r(c) = c. Let w be r(-6). Is v(w) a prime number?
True
Suppose 12 = -4*f - 0*f. Let h be f*44/(-3)*1. Suppose h - 138 = -2*w. Is w a prime number?
True
Let v(q) = q**3 + q**2 + 4*q + 55. Is v(0) prime?
False
Let m(a) = -3*a. Let c be m(-1). Let r = c - -28. Is r prime?
True
Let r be (-13)/(-5) - 4/(-10). Suppose 5*z - r*n = 0, 4*z + 2 = -2*n + 24. Suppose -z*t - 2*t = -1085. Is t composite?
True
Is 1039 + 1*(-20)/(-5) composite?
True
Is (-4)/10 + ((-2654)/(-10) - 0) a composite number?
True
Let q(z) = z**2 - 4*z - 1. Let o be q(4). Is (7/o)/(6/(-42)) a prime number?
False
Suppose t = 6*t. Let j = t - -2. Suppose 0 = -p + 9 + j. Is p a composite number?
False
Suppose -4*t = -2*u + 1636, -4*t + 9*t + 1636 = 2*u. Is u prime?
False
Suppose -7 = -4*i + l, -2*i + 5*i - 18 = 5*l. Let p(s) = 37*s**3 - s + 1. Is p(i) composite?
False
Let a = 7 - 4. Suppose a*v + 3*c = 15, 2 = -4*v + c + 7. Is 38 - 5 - (0 + v) a prime number?
True
Suppose -20*q - 2327 + 17227 = 0. Is q a prime number?
False
Let r be 3*(-1 + 2/1). Suppose -l + 0*y + r*y + 60 = 0, -5*l = -4*y - 267. Is l a composite number?
True
Let n = -3391 - -5154. Is n prime?
False
Suppose -6*k - 91 = -433. Is k a composite number?
True
Suppose 12 = 4*z + 4*c, -4*z - 2*c = 3*c - 13. Suppose -q - 12 = z*q. Let u = q - -10. Is u prime?
False
Let p = 6959 - 4003. Let h = p + -1791. Is h prime?
False
Let o(f) = 8*f**2 + 4*f - 2. Is o(-5) prime?
False
Let c(b) = b**3 + 3*b**2 - 4. Let r be c(-3). Let i = 7 + r. Suppose 38 = i*d - d. Is d prime?