e number?
True
Let s(p) = -876*p**3 - p. Is s(-1) composite?
False
Suppose 9*y = 14*y - 590. Suppose -y = -n - n. Is n composite?
False
Let z be (-2)/(-2) - (-6 + 5). Is 164 - (z + (1 - 0)) composite?
True
Suppose v + 0*v = -8. Is (4/v)/((-1)/6) prime?
True
Let j = 3 + 3. Let r be (-2 - 0)*2/(-4). Let d = r + j. Is d prime?
True
Suppose 5*x - 2*d + 0*d - 18 = 0, 0 = -5*x - d + 6. Suppose 0*t - 113 = -2*q - t, x*q = 2*t + 128. Is q prime?
True
Suppose -5*h + 2*h + 3*y = 0, -4*y + 5 = -3*h. Suppose s = h*s - 28. Is s a prime number?
True
Let s = 21 - 49. Suppose x + 3*x = -16. Is (s/(-6))/(x/(-18)) prime?
False
Let n(y) = -y**2 + 10*y - 9. Let c be n(9). Suppose 2*z - 35 = -3*p, c*p - 42 = -3*z - p. Let w = 6 + z. Is w a prime number?
True
Let o be 15/((-1)/44*-6). Suppose -4*g = -3*g. Suppose 6*n - n - o = g. Is n a prime number?
False
Suppose -2*t - 2*t = 0. Suppose 0 = o - t - 1. Let q(n) = 36*n**2 - n. Is q(o) a prime number?
False
Let u = 22 + -14. Suppose -b - 3 + u = 0. Suppose 0 = -4*x - 5*m + 71, 98 = b*x + 2*m - 5*m. Is x composite?
False
Suppose 72 + 9 = 3*k. Let j(m) = 5*m + 10. Let v be j(4). Suppose v = 3*d - k. Is d composite?
False
Suppose r - 5*c - 6 = -2, 0 = -5*r - c + 20. Suppose 4*a - 210 = -r*x + 2*x, 4*a + 355 = 3*x. Is x a composite number?
False
Let m(q) = -4*q + 1. Let g be m(-1). Let n(v) = v**2 - 2*v + 3. Let y be n(g). Suppose 3*w = -p + 33 + 1, 4*w = 2*p - y. Is p a prime number?
True
Let d(p) = p - 9. Let t be d(12). Is (-3)/(0 - t/6) prime?
False
Is (-1)/(4/(2*-26)) a composite number?
False
Suppose -5*h = -6*h + 1459. Is h prime?
True
Let r = -1118 - -1636. Let d = -357 + r. Is d a composite number?
True
Let b(g) = 17*g**2 + 1 + 0*g + 0 + 2*g. Let r be b(-2). Suppose 138 = -2*y + 4*y + 2*q, q = y - r. Is y composite?
False
Is -2*3/4 - 10613/(-2) prime?
False
Let b be (-2)/5 + (-56)/35. Is (-3 + 2 - b) + 81 composite?
True
Suppose -5*s + 3*c + 145 = 0, -4*s - 2*c = -c - 116. Let q = -20 + s. Is q composite?
True
Is -161*(1/1 - 2) composite?
True
Suppose -x = -5*x + 40. Suppose -3*r - 2*r = x. Let w(p) = -7*p - 1. Is w(r) a prime number?
True
Let g(f) = -f**3 + 11*f**2 + f. Let m be g(11). Let q = m + -7. Suppose -11 = q*v - 223. Is v a composite number?
False
Suppose -8*x = -11*x + 75. Is x a composite number?
True
Let z(s) = -193*s**3 - 3*s**2 - s. Is z(-1) composite?
False
Let a(p) = -p**3 + 8*p**2 - 2*p + 4. Let g(z) = -z**2 + z - 1. Let i(l) = -a(l) - 5*g(l). Let t be i(4). Let h(q) = 15*q + 2. Is h(t) a composite number?
True
Let r be 4*(-2 - (-9)/12). Let z(s) = s + 7. Let y be z(r). Suppose -6*h = -y*h - 76. Is h composite?
False
Is 1/2 + 399/6 prime?
True
Let z = 15 + 106. Is z prime?
False
Let t(y) = 6*y - 5. Let o(i) be the second derivative of -i**3/6 + 4*i**2 + 3*i. Let w be o(4). Is t(w) a prime number?
True
Suppose 8*i = 6*i + 62. Is i composite?
False
Let m be (0/(-1))/(-2 + 0). Suppose -20 = 5*w, 92 = -2*h - 4*w - m*w. Let k = 53 + h. Is k composite?
True
Let v = 4 + -5. Is 374 + -2 + v + 0 a composite number?
True
Suppose -3*l + 7*l = -5*v + 37, 2*v = 2*l + 4. Suppose -l*x - 15 = -4*x. Is 6/x + (-183)/(-5) a prime number?
True
Let f = -1 - -3. Is 7*f/(2/7) composite?
True
Let h(u) = -u**3 + 4*u**2 + 9*u - 5. Let d be h(6). Let f = d + 136. Is f a composite number?
False
Let u = -31 - -22. Is (-4371)/u + 2/(-3) a prime number?
False
Let i be 183/15 - (-2)/(-10). Let y(x) be the first derivative of 2*x**3/3 + 5*x - 2. Is y(i) composite?
False
Suppose 24 = -5*p + 4, -3*p + 3913 = 5*h. Is h prime?
False
Suppose -860 = -d - 49. Is d prime?
True
Let a(g) = 35*g**2 + 7*g - 3. Is a(-4) composite?
True
Suppose 3*s - 5*u = -6*u + 3453, 1151 = s + u. Is s prime?
True
Suppose 4*m = 5*z, -m - 4*m = 5*z. Let w(p) = 20*p**2 + 1 + 0 + m*p**2. Is w(1) composite?
True
Let z(i) = -i**3 - 6*i**2 + i - 2. Let t be z(-7). Suppose 4*k + 4*y - t = 44, 5*k - 3*y - 121 = 0. Suppose -2*b + k + 135 = 0. Is b composite?
False
Let s = -10 - -14. Suppose -2*m + p + 519 = 0, 0*m + m = -s*p + 237. Is m a prime number?
True
Suppose -4*v + 9480 = -2*p, 3*p - 4985 = -4*v + 4505. Is v composite?
False
Suppose -3*o + 21 = 2*v, -3*v - 5*o = -0*o - 34. Suppose -106 = -m - v*y, 3*m + 4*y = -m + 400. Suppose 5*b = k + 6 - 25, 3*k - m = 5*b. Is k composite?
True
Let s(f) = 3 - f**2 + 6*f + 0*f + 2. Suppose 0 = l - 3 - 2. Is s(l) prime?
False
Let z(s) = s**3 - 4*s**2 + 4*s - 2. Let r be 2 - (-2 + 2)/3. Let i be z(r). Let h(a) = -5*a**3 + a**2 - 1. Is h(i) a composite number?
False
Let z(a) = -4 + 5 + 3*a - 3*a**3 - a**2 + 4 + 3*a**2. Is z(-2) a prime number?
True
Let a(l) = l**2 - l - 11. Is a(7) prime?
True
Let q = 9 - 7. Suppose -5*g = -q*g - 171. Is g composite?
True
Suppose 3*o + t - 116 = 0, 5*o - o + 3*t = 148. Suppose -2*a - 498 = -3*y - 5*a, -a + 333 = 2*y. Let w = y - o. Is w composite?
False
Suppose 4*x + x = 0. Is 2 + (314 - -3) + x composite?
True
Suppose 494 = 3*c + c - b, -2*c - 2*b = -242. Is c composite?
True
Let l(h) = -127*h**3 - h - 1. Let q(a) = -a - 3. Let b be q(-5). Suppose 0 = -2*w - 0 - b. Is l(w) composite?
False
Suppose 4*a = 3*x + 4, 0*x + 3*a - 3 = 4*x. Let y be 14/4 - (-2)/4. Suppose x*d = -y*d + 16. Is d a composite number?
True
Let j be 4/6 + 144/27. Let f = j - 4. Is (-1 + 6)/(f/10) a composite number?
True
Let f(p) = -p - 5. Let c be f(-5). Let r = 2 + c. Is r a prime number?
True
Let y = -350 + 772. Is y a composite number?
True
Suppose 17 = -5*h + 182. Is h a composite number?
True
Let l(n) = -140*n + 2. Is l(-3) prime?
False
Let s be 2/3*-3 - 6. Let b(h) = -h - 4. Let z be b(s). Is (2/(-3))/(z/(-534)) composite?
False
Let g(r) = 497*r**3 + 1. Let t be g(1). Suppose -3*y + n + t = 3*n, y = 2*n + 166. Suppose -3*k + y = 1. Is k prime?
False
Let b(l) be the second derivative of 0 - 1/6*l**3 + l + 1/12*l**4 - 5/2*l**2. Is b(6) a composite number?
True
Let b = -1 - 3. Let r = -8 - b. Let c = 30 + r. Is c composite?
True
Suppose 6 - 2 = x. Suppose -34 = -f + 3*s, f = 4*f - x*s - 87. Is f composite?
True
Suppose 0 = -k + 4*k. Suppose -3*j + k*j = -111. Is j a prime number?
True
Let z = -7 + 3. Let x be (-2*6)/(6/z). Suppose -2*c - x = g - 123, 0 = -3*g + 3*c + 363. Is g prime?
False
Let k = 1944 - 875. Is k prime?
True
Suppose -3*y + 5*y - 4 = 0. Suppose -4*r - d = -303, 7*d - 360 = -5*r + y*d. Is r prime?
False
Let n(b) = b**2 + 5*b - 2. Let y be n(5). Is 10716/y + (-1)/4 a composite number?
False
Let s = -7 - -13. Suppose 0 = 2*l - s - 0. Suppose l*c = -2*c + 115. Is c composite?
False
Let u(o) = 1 + 7*o + 11 + 2*o**2 - 5 + 3*o**2. Is u(-6) a composite number?
True
Suppose -4*h = 2*h - 5262. Is h composite?
False
Suppose 1769 = 2*c + 2*c + 5*h, 885 = 2*c + 3*h. Suppose -d - 263 = -3*z, -5*z + d + 0*d + c = 0. Is z a composite number?
False
Let d be 70/(-28)*8/(-10). Suppose -1222 = -4*r - 2*a, 3*r - 1547 = -d*r + 4*a. Is r a composite number?
False
Suppose o - 4 = -7, 0 = 4*n + 3*o - 387. Let i = n + -10. Is i composite?
False
Suppose 0 = 5*r + 5*o - 1700, -2*o + 3*o - 1704 = -5*r. Is r composite?
True
Suppose -4*h + 2858 = 5*l - 18656, -21518 = -4*h - 3*l. Is h a composite number?
False
Let i(j) = 12*j**3 + 2*j**2 - 3*j + 2. Let m be i(2). Suppose 0 = -2*q + 230 + m. Suppose -5*z + 3*s = -208 - 525, z + 4*s - q = 0. Is z prime?
True
Is 16 + 6 + (2 - 5) a composite number?
False
Let v = 431 + 252. Is v a composite number?
False
Let f be 878/6 + (-2)/6. Suppose 2*v + 3*s - s - f = 0, -4*v + 278 = -3*s. Is v composite?
False
Let z = -20 - -14. Let k be z/4 - (-90)/4. Suppose -k - 29 = -2*h. Is h prime?
False
Suppose 15 = -h + 6*h. Suppose 6*m - h*m - 15 = 0. Suppose -m*i = -8 + 23, -2*u + 40 = -4*i. Is u a composite number?
True
Suppose -5*d + 4 = 9. Let n(u) = -3*u**3. Let a be n(d). Suppose -v = -w - 23, 0*v + a = v + 4*w. Is v a prime number?
True
Let g be (-3 + -3)*212/6. Let b = g + 305. Suppose 3*z + 0*z - b = 0. Is z prime?
True
Suppose 0 = j - 5*j - 428. Let c(o) = 4*o. Let d be c(-7). Let a = d - j. Is a a prime number?
True
Suppose 25 = 2*q - q. Let h(i) = i**2 + 6*i - 7. Let n be h(-7). Suppose n*x = x - q. Is x a composite number?
True
Let h(j) = j**2 - 12*j + 13. Let q be h(11). Suppose 4*d = -q*y + 314, 322 - 7 = 4*d + y. Is d prime?
True
Suppose -l = 4*q - 5*l - 4, -l - 4 = -2*q. Suppose -q*