mber?
True
Let d(c) = c**3 + 15*c**2 + 6*c - 13. Let w be d(-12). Let o = -213 + w. Is o composite?
True
Let n(t) = t**2 - 7*t. Let x be n(5). Is 292/6*(-105)/x a prime number?
False
Suppose 9*n - 644 = 2875. Is n a composite number?
True
Let z be (916 - 1) + -3 - -1. Suppose k + 4*k = 4*w + 4621, k = -2*w + z. Is k prime?
False
Let f(c) = c**2 - 18*c + 42. Let k be f(16). Suppose 15*v = k*v + 1775. Is v prime?
False
Let k(f) = 4*f + 38. Let d be k(-9). Suppose -2*t + 4642 = 2*c, 5*c + d*t - 11593 = -0*c. Is c prime?
False
Suppose -5*c + 3*o = -57619, c - o - 1232 - 10291 = 0. Suppose -16*l = -11*l - c. Is l a composite number?
True
Let s = 5618 - 3039. Is s a prime number?
True
Suppose -4*u = x - 699, -3*x = -5*u - 1184 - 930. Is x a prime number?
False
Suppose n + 106 = 110. Suppose n*d - 14201 = -7*d. Is d a prime number?
True
Let a(w) = -127*w**2 + 428*w**3 - 1 - 2*w + 124*w**2 + 5*w. Is a(1) a prime number?
False
Let t = 141 + -58. Let u be 396/14 - (-2)/(-7). Let x = t - u. Is x prime?
False
Let j(i) = -75*i - 1. Let z = 89 + -91. Is j(z) prime?
True
Let q(l) = 356*l**2 + 31*l - 98. Is q(4) prime?
False
Is (-2 - 0)/((-1)/((-2524)/(-8))) prime?
True
Is 26/(-28)*-718 + (-22)/(-77) prime?
False
Let c(d) = 17*d + 1. Let a be c(-2). Let f be (-925)/(-3) - (-11)/a. Let r = f - -305. Is r composite?
False
Suppose 4*t + z - 3*z + 530 = 0, -5*t + z = 664. Let v = t + 254. Is v a prime number?
False
Let b(y) = -40*y - 4. Let m be b(15). Let i = m - -1235. Is i a prime number?
True
Suppose 250 = h + 3*l, -l = h - 3*h + 507. Suppose 3*b = -5*w + h, -3*w + 3*b + 2*b + 179 = 0. Is w composite?
False
Suppose 0 = b - 5*c - 19, 2*b - 3*c - 25 = -2*b. Suppose -b*r + r + 2253 = 0. Is r composite?
False
Suppose -739806 - 940766 = -124*c. Is c a composite number?
False
Is 246/6*(-1 + 8) prime?
False
Let k(c) = -4*c**2 - 11*c + 36. Let n(s) = s**2 + 2*s - 7. Let m(h) = 2*k(h) + 11*n(h). Let i = -160 - -164. Is m(i) a composite number?
False
Let z be (2 + (-118)/4)*-2. Suppose w - 3*w = -144. Let b = w + z. Is b composite?
False
Let t(w) be the first derivative of 13*w**3/3 + w**2 + 18*w - 12. Is t(5) prime?
True
Suppose 0 = 4*q + 2*a + 2*a - 27236, 2*q = 3*a + 13598. Is q a composite number?
True
Let n be (16/14)/(20/70). Suppose n*i - 4476 = i. Suppose 0 = 8*o - 4*o - i. Is o a prime number?
True
Let n(f) = 5*f - f**2 + 76*f**3 - 3*f + 3*f + 1 - 2*f**2. Is n(3) prime?
False
Suppose -2*l = -4*l + 4. Let q be (-5)/10 - 1/l. Is 326/4*(q - -3) prime?
True
Suppose 0 = 3*d + 12, 5*u + 9*d - 3 = 6*d. Suppose -u*s + 185 = -208. Is s composite?
False
Suppose -20*j + 16*j + 24 = 0. Is (-1 - (j/9 - 1))*-1929 prime?
False
Suppose -3*w - p + 2*p = -1049, 0 = -5*w - p + 1735. Suppose -4*t + 4*b = t + w, -5*t - 366 = 2*b. Is (-44120)/t + 2/9 prime?
True
Suppose -2*j - 2917 = -5*r, 0 = -2*r + 4*j + j + 1171. Let i = r - 136. Is i composite?
True
Suppose -7*q + 4 = -5*q. Let j(n) = 117*n - 1. Is j(q) composite?
False
Suppose 41*w + 10059 = 48*w. Is w composite?
True
Suppose 12*t = 69487 - 3835. Is t a composite number?
False
Suppose -50*j + 53*j - 2*l = 55597, -4*l = 20. Is j a composite number?
True
Let r be 1*(-4 - -3) + 3. Suppose 2*l + 3*l = r*k - 11, -4 = -k + 4*l. Is 4/(k/130) + 2 prime?
True
Is (120/(-4))/(12/(-10590)) + -4 a composite number?
True
Let w be 4 - (3 - (4 + 611)). Suppose k + w - 166 = 0. Let u = -245 - k. Is u composite?
True
Let a(z) = z**3 + 4*z**2 - 2*z - 5. Let d be a(9). Suppose -9*v + 4*v - d = -5*h, -2*h + 412 = -3*v. Let s = 47 + h. Is s prime?
False
Let u = -955 - -1621. Suppose k = -5*o + u, -3*o + o = 10. Is k a prime number?
True
Is (182/21 - 8)/(2/86763) a prime number?
True
Let x be (-4287)/3 + 0 - 3. Let u = 2235 + x. Is u a composite number?
True
Suppose -927*o = -915*o - 21612. Is o composite?
False
Let w = -1327 + 884. Suppose 0 = 12*h - 14*h + 3372. Let o = h + w. Is o a prime number?
False
Is -3*((-301405)/15)/13 composite?
False
Let f(r) = -2*r + 428. Let j be f(-45). Let l = 261 - 570. Let h = l + j. Is h prime?
False
Let d = 18 + -13. Suppose -d*x + 630 = 5*w, 2*w + 149 = x + 20. Is x prime?
True
Suppose -6298 = -4*i + 32338. Is i a prime number?
False
Let r(b) = 2*b**2 - 9*b - 4. Let c be r(-6). Let u = 175 - c. Suppose 3*h - u = 13. Is h a composite number?
True
Suppose 3*c - 1006 = -2*m + m, 4*c + 3*m - 1348 = 0. Suppose 4*r = 0, -r + 8447 = 3*x - c. Is x a composite number?
False
Let m(t) = -t**2 + 15*t - 12. Let d be m(14). Suppose -5*q - 1965 = -9*f + 4*f, -766 = -d*f - 3*q. Is f a composite number?
False
Suppose 0 = 3*u + 5*z + 5, 3*u - 4 = -4*z - 11. Let m = u + 7. Suppose 3*w + m*w - 885 = 0. Is w a composite number?
True
Let m = -27726 - -51093. Is m a prime number?
False
Let h(l) = -l**2 + 7*l - 5. Let q be h(5). Suppose -q*p = d - 4417, 10 = 2*d + 3*d. Is p composite?
False
Suppose 4*w - 8*w - 115 = l, 0 = 3*w + 2*l + 80. Let k = 35 + w. Suppose -2*x + 221 + k = -4*c, 0 = -x + 3*c + 112. Is x composite?
True
Let f = 6783 + -3612. Let k = f + -2062. Is k prime?
True
Suppose 0 = -3*b + 678 + 3135. Is b prime?
False
Suppose -12*a + 8*a = -11068. Suppose 2*l - a = 227. Is l a prime number?
False
Suppose -26*h = -33*h + 138922. Is h a prime number?
False
Suppose 6*h = u + 5*h - 5843, 4*u + h = 23352. Is u a composite number?
False
Let g(p) = p**2 + 5*p**2 + 0*p**3 + p**2 + p**3 - 3. Let z = 6 + -12. Is g(z) prime?
False
Let v = 12 - 5. Let y(t) = t**2 - 6*t - 2. Let n be y(v). Suppose n*c = 831 + 1844. Is c prime?
False
Let r(p) be the second derivative of 0 - 5/12*p**4 + 1/10*p**5 - 1/2*p**2 - 1/6*p**3 + 2*p. Is r(4) prime?
True
Let b = 7 + 5. Let i(n) = -n**2 + 14*n - 17. Let v be i(b). Is (0 - v)/(2/(-62)) a prime number?
False
Let w = 9 + -9. Suppose w + 5 = c. Suppose c*i - 724 = i. Is i a composite number?
False
Suppose -3*y = -3*u + 4911, y - 1384 = -5*u + 6801. Is u a composite number?
False
Let q(a) = 54*a**2 - 10*a + 61. Is q(5) a prime number?
True
Suppose 2*p - 1 = 5. Let s = -19 - -21. Suppose p*v = -w + 205, 4*v - s = 5*v. Is w composite?
False
Let x = -4800 + 10133. Is x prime?
True
Let q(s) = 5702*s**2 + 2*s + 1. Suppose -r - 4*r = 3*f - 12, 5*r = -4*f + 11. Is q(f) prime?
True
Let p(q) = -2*q**3 - 17*q**2 + 4*q + 17. Let m(g) = 13*g**3 - g. Let r be m(-1). Is p(r) a prime number?
True
Is ((-9)/(-15))/1 - 3370948/(-70) a prime number?
True
Suppose -5*i - 25 = 0, 0*s + 104 = -4*s + 4*i. Let t = s - -33. Suppose 2*f - 245 = -4*a + 3*f, 56 = a - t*f. Is a a prime number?
False
Let g(n) = n**3 - 11*n**2 + 16*n + 16. Let s be g(13). Let k = s - 181. Is k composite?
True
Suppose -9*z = -t - 5*z + 2169, -t = 2*z - 2145. Is t a prime number?
True
Let v = -704 - -1395. Is v prime?
True
Let g(z) = 11184*z**3 - 2*z**2 + 33*z - 32. Is g(1) prime?
False
Suppose -4*s = -2*q + 7*q - 971, 4*q - 251 = -s. Is s composite?
False
Is (-2)/9 - (-17395780)/180 prime?
True
Let z(l) = l**2 - 2350. Let k(p) = -p + 17. Let a be k(17). Let o be z(a). Let m = o - -3521. Is m prime?
True
Let s(w) = 34*w**2 + 11*w - 21. Let r(k) = 17*k**2 + 5*k - 9. Let b(c) = 5*r(c) - 2*s(c). Let f be 1 + 0 + (0 - 9). Is b(f) a prime number?
True
Suppose 0 = 3*h - 5261 - 9757. Is h prime?
False
Suppose 0 = 5*i - 4*y - 25153, -3*i - 6*y + 15111 = -2*y. Is i prime?
False
Suppose 2*v = -3*j - j - 290, 0 = 5*j + 5. Let x = 88 + -310. Let h = v - x. Is h composite?
False
Let m(l) be the first derivative of -6*l**2 - 19*l + 13. Is m(-15) composite?
True
Suppose -4*d + 3 - 23 = -5*p, -4*d = 0. Suppose -8*g + p*g + 2828 = 0. Is g composite?
True
Is (-16)/14 - 457492/(-196) composite?
False
Let g(y) = -2730*y + 393. Is g(-6) a composite number?
True
Suppose 0 = -2*o + 4*o + 4*s - 464, -s = -5*o + 1116. Suppose 376 + o = 5*x. Let r = -53 + x. Is r a prime number?
True
Suppose 41973 = 9*a - 7644. Is a prime?
False
Let u(a) = a**3 + 13*a**2 - 7*a + 2. Let v be u(-12). Let d(o) = -18 - 36*o + 9 + v*o. Is d(4) a prime number?
False
Suppose n + f = -n + 2, 2*n = 5*f + 14. Suppose -n*g = -0 - 4. Suppose -g*c = -c - 39. Is c a composite number?
True
Suppose -4*s = -20, -5*u - 3*s - 2*s = -22010. Is u a prime number?
True
Let f = 448 + 1209. Is f prime?
True
Suppose -3 = -0*x - x. Suppose 196 = -x*c + 7*c. Suppose -70 = -w + c. Is w a composite number?
True
Let w(u) 