- 3*b = -b - 2107. Is x a prime number?
True
Let i(r) = 36*r**2 + 2*r - 9. Let p be i(-4). Let m = 2546 - p. Is m prime?
True
Is (-2721)/(-6)*2*(-3)/(-3) prime?
True
Suppose -16 = -b + 5*b. Let r be b/(-8)*(0 - -10). Suppose -r*i + 145 = -100. Is i composite?
True
Let b = 723 + -316. Is b a prime number?
False
Let v(g) = -2*g + 5. Let n be v(5). Let k be ((-1242)/n)/((-36)/(-600)). Is k/35 + 4/(-14) a composite number?
True
Let t(j) = -j**2 - 14*j - 22. Let g be t(-11). Suppose 3*i = 9, 3*o - 2*i = 2*o - g. Let f(p) = -2*p**3 - 7*p**2 - 2*p + 4. Is f(o) a prime number?
True
Suppose 3*w - 46 = -2*c, 3*w = c + w - 37. Suppose 5*k - 214 = 1166. Suppose c*a - 33*a = -k. Is a prime?
False
Let v = 56832 + -12481. Is v prime?
True
Is (-1 - -2)/(27/1455111) a prime number?
False
Let j(a) be the second derivative of -109*a**3/6 + 7*a**2/2 + 15*a. Let g be j(-7). Suppose -200 = -2*k + g. Is k prime?
False
Suppose 0 = -3*z + 5*m + 20239, -9749 = -4*z - 4*m + 17215. Is z composite?
True
Let f = -3 - -41. Suppose 4*z + 8 = 0, -2*z - f = 5*c + 2*z. Let o(i) = -i**3 - 5*i**2 + 3*i - 12. Is o(c) a composite number?
True
Suppose 2*l = -5*p + 20, -p = -3*l + 3*p - 16. Let y(h) = -h**3 + h**2 + h - 263. Let g(q) = -q**3 + q**2 + q + 1. Let c(m) = 2*g(m) - y(m). Is c(l) prime?
False
Let h = 2233 - 898. Let o = h + -458. Is o composite?
False
Let n be (0 + 75)/(6/68) - -2. Suppose 15*f - 11*f = n. Is f a composite number?
True
Let v(b) be the third derivative of 3*b**4/4 - 19*b**3/6 - 9*b**2. Is v(10) prime?
False
Let q = 75695 + -25510. Is q a prime number?
False
Suppose 7*y = 29 + 76. Is y a prime number?
False
Suppose -8*q = -3*q - 15. Let n = q - -318. Is n composite?
True
Is (7/14)/((-2)/(-4756)) prime?
False
Let q = -5352 - -21409. Is q prime?
True
Is ((-194)/8 - -2)/((-57)/28956) a composite number?
True
Let d be (-3)/(-6)*-1*0. Suppose 7*a + d*a = 1393. Is a a prime number?
True
Is 46/69*47997/6 a composite number?
False
Suppose 2*t = -3*t + 2*d - 29, -3*t - d = 13. Is 7*(-395)/t - (-5 + 1) composite?
False
Is -6*130532/(-24) - -8 composite?
True
Suppose 0*n - 20*n + 27580 = 0. Is n composite?
True
Let q be (3 - 2)/((-1)/(-19)). Let c = q - 23. Let i(s) = 12*s**2 + 7. Is i(c) a prime number?
True
Let i be 5/30 + (-195)/(-18). Let g = -6 + i. Suppose -g*k = -39 - 11. Is k a prime number?
False
Let l(x) = 12*x**2 + x + 5. Let f(y) = -y**3 + 6*y**2 + 7*y + 3. Let z be f(7). Suppose o + 24 = -z*o. Is l(o) a composite number?
False
Is (2 + 1281)/(1/3 - 0) prime?
False
Suppose -3*m + 1 = -3*f + 4, -4*f - 2*m = -16. Is 4783 + (f - (-1 + 6)) a composite number?
True
Is 10 - 18 - -55*127 composite?
False
Let w = -840 + 575. Let p = w + 582. Is p composite?
False
Suppose t + 4*t = 3*i - 9654, -3229 = -i - 2*t. Is i a composite number?
True
Let z(o) be the third derivative of 73*o**6/30 - o**5/60 + o**4/12 - 6*o**2. Is z(1) composite?
False
Suppose 2*n - 3*n - 7 = l, -l + 29 = -3*n. Is (-3)/(n/(-382))*(-6)/4 a composite number?
False
Suppose 6*c + 9 = h + 7*c, -h = -5*c - 9. Suppose 2*v = -2*v + 16. Is 36 - ((2 - h) + v) prime?
False
Suppose 357*w - 351*w - 15594 = 0. Is w a composite number?
True
Let l(y) = 275*y + 479. Is l(6) prime?
True
Suppose 3*k - 107310 = 6*k. Let w be (-50)/(-75) - k/(-6). Is w/(-15) - (-2)/(-5) a composite number?
False
Let i(s) = -96*s + 8. Let u(y) = y + 1. Let j(a) = -i(a) + 3*u(a). Is j(4) prime?
False
Let w(v) = -v + 3. Let n be w(6). Let c(k) = -4*k - 1. Let a be c(n). Let f(b) = 23*b + 4. Is f(a) a composite number?
False
Let n(q) = -q**3 + q. Let s be n(-1). Suppose s*v = -2*v - 12. Is ((-542)/(-4))/(v/(-12)) prime?
True
Let p = 55 - 51. Suppose p*c + 4*o - 1210 = 3354, 0 = -3*c + 4*o + 3409. Is c prime?
False
Let z(t) = -5*t + 7. Let q be z(9). Let m = -23 - q. Suppose 3*g = -5*v + 55, 2*g = 5*g + m. Is v a composite number?
True
Let z be (4 - (3 + -3)) + -2. Let p be (z/2)/(9/3519). Suppose 3*k = k + 3*o + 272, 3*k + 4*o - p = 0. Is k a composite number?
True
Suppose -9*z + 118 = -7*z. Let g = z + 84. Is g composite?
True
Suppose 5*o = 4*k - 0*k + 14, -2 = -2*k - 2*o. Is (k/(-4))/((-3)/(-9228)) composite?
False
Let a(c) = 1540*c**2 - 9*c - 15. Is a(-2) composite?
False
Suppose 2*o + 0 = -z - 4, 2*o + 12 = -3*z. Let r(y) = -107*y + 5. Let w(v) = -36*v + 2. Let g(f) = 3*r(f) - 8*w(f). Is g(z) a composite number?
False
Suppose 2*q - 56 = 4*b, 40 = -2*b + 2*q - 7*q. Let s(u) = -u**3 - 14*u**2 + 11*u - 7. Is s(b) a composite number?
False
Suppose -2*q + 1498 = 3*g, 5 = -3*q + 11. Suppose x = -4*b + 514, -x + g = -2*b - 34. Is x a prime number?
False
Suppose -4*o = 24 - 20. Is 2/(-4) + o + 3364/8 composite?
False
Let a(j) be the third derivative of j**5/15 - 2*j**3/3 - 7*j**2. Let s be a(3). Suppose 4*g - s = 12. Is g a prime number?
True
Let a = -1049 + 2186. Is a composite?
True
Suppose 0 = 3*n - 22*a + 24*a - 23215, -2*a = 2*n - 15474. Is n a composite number?
False
Let z(k) = 51*k**2 - 3*k - 1. Let v(u) = u**2 - 12*u + 16. Let w be v(11). Let f(c) = c**2 - 2*c - 12. Let q be f(w). Is z(q) a composite number?
False
Suppose 0*j + 4*j = 0. Suppose 457 = d - o - 4*o, j = -4*d - o + 1870. Is d a composite number?
False
Is ((-50324)/(-184))/(1/46) composite?
True
Let n(t) = t**2 + 4*t - 140. Is n(-43) a prime number?
False
Suppose 0*b = -13*b + 137098. Is b composite?
True
Is 2 + 3162 - (10 - 9) a prime number?
True
Let d = 11 + -19. Let j be ((-372)/d - 2)*2. Suppose 4*t = -3*x + 129 - 38, -2*x + 3*t + j = 0. Is x composite?
False
Suppose 5*r + 3*d - 39 = 0, 4*r = 2*r - 5*d + 8. Suppose 89 = -8*x + r*x. Is x a prime number?
True
Suppose 0 = -4*v + n + 1283, -4*n - 533 = -4*v + 759. Let f = 1171 - v. Is f a prime number?
False
Suppose -5*l = -s + 22, s + 0*s = -5*l - 18. Suppose 0 = 5*b - s - 8. Suppose -b*p + 683 + 111 = 0. Is p a prime number?
True
Let d(i) = i**3 + 12*i**2 - 9*i - 21. Suppose 4*v - 2*v - 3*g = -16, -4*v + 5*g = 32. Is d(v) a prime number?
True
Suppose -525392 = -o - 15*o. Is o a composite number?
True
Let w(o) be the second derivative of o**5/10 - o**4 - o**3/6 + 9*o**2/2 + 7*o. Is w(8) prime?
True
Let g be (-3*10 + -2 + 0)/1. Let v(q) = 25*q + 2. Let t be v(5). Let p = t - g. Is p composite?
True
Suppose -2*t + 210 - 554 = 0. Let d be (-12)/(-9) + t/(-6). Suppose i + 0*k + 5*k = d, -5*i + k + 176 = 0. Is i composite?
True
Let f(z) = 146*z**2 + 53*z + 497. Is f(-10) a prime number?
False
Suppose -64339 = -10*k - k. Is k a composite number?
False
Suppose -v + 4312 = v. Let q = v + -1019. Suppose 0 = -3*m + q + 120. Is m prime?
True
Let o(z) = 5*z - 13. Is o(28) a prime number?
True
Suppose -5*v + 38912 = 3*c - 0*c, -51896 = -4*c - 4*v. Is c a prime number?
True
Let w = 9 + -9. Suppose w = -4*m - 21 - 7. Let n(v) = 3*v**2 - v - 9. Is n(m) a composite number?
True
Let x(c) = c**3 - c**2 - 3*c + 1. Let m be x(3). Suppose m = 4*f + f. Suppose -4*d + 2 = -2, -f*d + 375 = p. Is p a composite number?
False
Is (-36)/162 + (-315562)/(-18) a prime number?
False
Let u = 155 + -107. Suppose -12*r + 19*r - 1001 = 0. Let p = u + r. Is p a composite number?
False
Suppose 3*h - 12052 = 1295. Is h a composite number?
True
Let x = 73 + -68. Suppose 0 = -13*p + x*p + 17608. Is p a composite number?
True
Suppose h - 4972 = 5*i, 7102 = 2*h - 5*i - 2857. Is h a composite number?
False
Is ((-19)/(-3))/((-117)/(-79677)) prime?
False
Let a be (-5)/1*(-4)/10. Let s = a + -5. Is 3/s + 37 + 1 a composite number?
False
Let j(o) = -7*o - 1. Let n be j(-1). Suppose -v = v - n. Suppose -v*w = 8*x - 5*x - 108, -4*w - 4 = 0. Is x composite?
False
Let y(w) = 2*w**2 - 4*w + 3. Let l be y(2). Suppose -57 = -s - l*b + 55, 219 = 2*s + b. Is s a prime number?
True
Let o(q) = q**3 + 7*q**2 - 9*q - 14. Let w be o(-8). Is 8/w + (-21642)/(-18) prime?
True
Let c = 32 - 32. Suppose c = -2*m - 3*w + 226, -2*m + 7*m = -w + 565. Is m a composite number?
False
Let b be ((-2)/(-2))/((-4)/(-8039 + -5)). Let x = b - 1092. Is x prime?
True
Let f(a) = 639*a**2 + a + 1. Let n be f(-1). Let i = -346 + n. Is i a prime number?
True
Suppose 24*h + 3 = 25*h. Suppose 7*r = h*r + 740. Is r composite?
True
Let c = -98 - -426. Suppose 83 = -w + c. Suppose 191 + w = 4*g. Is g composite?
False
Let y be 1/(-4) + 3/12. Let v(m) = 3*m**2 + 53. Let a(o) = -10*o**2 + o - 159. Let l(h) 