s p(-2) a composite number?
False
Let m = 1001 + -574. Is m composite?
True
Let a = -506 + 1905. Is a prime?
True
Suppose q - 4681 = -3*b, -640 = b + 4*q - 2215. Is b a composite number?
False
Let c(d) = d + 4. Let w be c(-4). Suppose 3*x + 3*y - 588 = w, -4*x + 2*x = -3*y - 367. Is x prime?
True
Let v be 0 - -2 - 64*-22. Suppose d = 3*d - v. Suppose 3*r - d = -2*p, 4*r + 2*p - 938 = -0*p. Is r a composite number?
False
Is (11/(-22))/((-1)/114) a composite number?
True
Let i = -3 + 9. Suppose -i = -5*w + 2*w. Suppose w*q = 4, -3*z - 2*z - 5*q + 75 = 0. Is z a composite number?
False
Suppose 11*q = 2242 + 13147. Is q composite?
False
Let a(k) = -3*k + 1. Let h be a(-1). Suppose h*d - 270 = -3*n + 599, 5*d - 1110 = n. Is d composite?
True
Is (0 - 1346)/(-2)*1 prime?
True
Let l = 19 - 11. Let n(o) = -o**3 + 11*o**2 + 7*o + 3. Is n(l) prime?
True
Let o = -4 + 7. Suppose 4*b - 19 = -2*h - 3, 0 = -o*b + 5*h + 25. Suppose 5*f - 90 = -5*w, -4*f - f + 40 = -b*w. Is f prime?
True
Suppose 1266 = 7*q - q. Is q a composite number?
False
Let u(w) = 2*w**2 - 5*w + 2. Let q be u(3). Suppose g = 4*y + 73, q*g + y + 80 - 340 = 0. Is g prime?
True
Suppose 0*q - 5*q = -2*b - 4781, -2*q + 1901 = 3*b. Suppose -q = -5*u - 5*l, 0 = -4*u + 2*l + 3*l + 764. Is u prime?
True
Let q(x) = x**3 - 29*x**2 - 32*x + 44. Is q(31) composite?
True
Suppose 0*n - 149 = -n. Is n prime?
True
Suppose -7*v + 433 = -22. Is v a prime number?
False
Let a(m) = m**2 + 7*m - 1. Suppose 4*n + 24 + 8 = 0. Let l be a(n). Suppose u - l = 12. Is u a prime number?
True
Let p(s) = 224*s - 1. Let v = -4 - -5. Is p(v) a composite number?
False
Suppose -i + 3103 = 4*g + 480, 13165 = 5*i - 5*g. Is i composite?
True
Suppose -4*b - 7829 = -5*d, 0 = 3*d - 3*b - 961 - 3737. Is d a composite number?
True
Let m be (-1 - (-1)/(-1)) + 10. Let a = m + -11. Is (-295)/(-4) + a/(-12) composite?
True
Let m(j) = j**3 - 5*j**2 + 4*j + 2. Let i be m(4). Suppose f - i*f = -51. Is f a prime number?
False
Is (-79)/(-4)*(4 - -8) composite?
True
Suppose -4*a + 12 = -4. Let t = 7 - a. Suppose -4*m + 20 = -3*m - x, t*x - 35 = -2*m. Is m a composite number?
False
Suppose -2*v = 2, 6*v + 168 = 3*j + 3*v. Is j a composite number?
True
Let c be -2*9/12*6. Let w be c/(-5) + 3/15. Suppose 4*k = 4, -12 = w*m - 3*m + 3*k. Is m a composite number?
True
Let n = 3 - 0. Let g be 6/(-15) - 60/(-25). Suppose 0 = n*i - g*i - 97. Is i prime?
True
Let i(d) = 76*d**3 + d. Let t = 5 + -3. Suppose -t*f = 4 - 6. Is i(f) prime?
False
Is (-3687)/(-12) - (-2)/(-8) prime?
True
Suppose -3*w + 4*w = 1, -3*r - 2*w = -140. Suppose -5*d + 61 = -4*h, 2*d + 2*d - r = 3*h. Let p = h + 36. Is p prime?
False
Let o = 955 - -100. Is o a prime number?
False
Let t be 14/4 - (-2)/(-4). Is ((-142)/t)/(2/(-3)) a composite number?
False
Let m = 1 + -3. Let z = -1 - m. Suppose o - z = 4, -o + 80 = 5*t. Is t a composite number?
True
Suppose -7 = -2*l + 3. Let i be 3/(l/(20/(-6))). Is (1 + 1)*(-11)/i a prime number?
True
Let k(y) = -y**2 - 2 + 0 + 2*y**3 + 4 + y - y**3. Let n be k(5). Suppose -4*z + 29 + n = 0. Is z a prime number?
False
Let d(r) = 2*r**2 - 11*r - 10. Let x be d(10). Suppose 245 = m + 2*m - 2*u, -m + u + x = 0. Is m composite?
True
Suppose -1001 = -23*z + 1506. Is z a prime number?
True
Suppose 3 = -p + 7. Let g(w) = p - 4 + 1 + 11*w + 0. Is g(6) composite?
False
Suppose 0 = 2*w - 3*w + 53. Is w a prime number?
True
Suppose -5*j + 8 + 17 = 0. Suppose 0 = -j*t + 2*t - b, 2*b = 5*t. Is (-1)/(1 - t)*-7 prime?
True
Let m(o) = -44*o - 5. Let p be m(-7). Let x = p + -161. Suppose -3*s + 5*f + x = -69, 4*s - 270 = f. Is s composite?
False
Is (-25898)/(-18) + (-7)/((-315)/10) prime?
True
Let p(c) = -30*c - 7. Let u be p(-5). Let v = 274 - u. Is v a prime number?
True
Let q(w) = -w**2 - 8*w - 6. Let r be q(-6). Let i = 1 + 1. Suppose -5*o = -i*t + r*t - 23, t - 8 = -2*o. Is o a composite number?
False
Suppose 387 = -8*r + 3371. Is r composite?
False
Let l(x) = x**3 - 2*x**2 + 3*x - 3. Let t be l(2). Suppose 2802 = 3*c + t*c. Is c composite?
False
Suppose 4*d - 5 = 35. Let j = 20 - d. Is j a composite number?
True
Suppose -m = -133 - 24. Is m a composite number?
False
Let w = -111 - -238. Is w prime?
True
Let g be -1 + 4/2 + 2. Let t be g - 0 - 2/2. Is 3 - 2*(t - 17) a prime number?
False
Let a be (8/6)/(4/6). Suppose -5*z + 54 = -2*w, a*z - z = -3*w + 4. Is z a prime number?
False
Let k(n) = -7*n**3 - 1. Let m be k(-1). Let v = 31 + m. Is v a prime number?
True
Let i be (-24)/(-9) - 2/3. Suppose 9 = -3*o - 5*c + 22, 2*c - 14 = -i*o. Is o a prime number?
True
Suppose -v + 16 = x - 3, -56 = -4*v + x. Is v a prime number?
False
Let v = -1 + 4. Suppose -v*i = -6 - 6. Suppose 3*w + 51 = i*w. Is w a composite number?
True
Let n be 2 - (-3)/((-6)/4). Let h = 18 - n. Suppose -h = 3*p - 84. Is p composite?
True
Let g be (148/10)/((-3)/(-105)). Suppose -5*h + 2*y = -y - 521, 4*y = 5*h - g. Is h prime?
False
Let l be (-20)/(-8)*4/(-2). Let a = l - -12. Suppose -2*y - 2*b = -27 - a, 21 = y + 2*b. Is y prime?
True
Suppose -6 = -2*t - 2. Suppose a - t*a = -770. Let m = -513 + a. Is m composite?
False
Is (8/6)/((-132)/(-134739)) a prime number?
True
Suppose -3*a + 3*b + 5394 = 0, -2 = -4*b + 2*b. Is a composite?
True
Suppose 5*i + 4*k = 8 + 18, 22 = 5*i + 3*k. Let n(z) = 4*z**2 + 0 - 3*z**i - 7*z - 1. Is n(8) prime?
True
Let t(q) = -71*q + 19. Let x(m) = 35*m - 10. Let i(a) = 6*t(a) + 11*x(a). Is i(-3) a prime number?
True
Let r be ((-12)/(-9) + -1)*12. Suppose 0 = r*f - 28 - 76. Suppose -2*c - 3*i + 15 = c, -5*c + f = 4*i. Is c prime?
False
Is 12/(-15)*(-230)/4 a composite number?
True
Let i(n) = -72*n**2 - n + 1. Let v be i(1). Suppose 2*h + 0*h = 246. Let a = v + h. Is a a prime number?
False
Is (-7)/(1 + 24/(-22)) prime?
False
Suppose -4*v + 2 + 6 = 0. Is 62*(1/v + 0) composite?
False
Suppose 113 = -a + 826. Is a prime?
False
Let n = -6251 + 12862. Is n composite?
True
Let c(b) = -173*b - 2. Is c(-5) a prime number?
True
Let y be (-28)/(-6)*(-3)/(-2). Is -9 + y - (-10 + 1) composite?
False
Let k be (-2)/8*0 + 10. Let i = k + 24. Is i a composite number?
True
Suppose -f + 1 + 2 = 0. Suppose 5*z - 15 = -g, -z = -3*g - f*z + 45. Suppose -3*y = -5*h + 386, 6*y = y + g. Is h prime?
True
Let a = -149 + 265. Is a - 6/(-2)*1 a composite number?
True
Is 178*(-4)/40*-5 a composite number?
False
Let t(i) = 14*i - 1. Let b be t(-3). Let x = b - -164. Suppose -3*q + 3*c = 5*c - x, 0 = -2*q + 3*c + 59. Is q prime?
True
Suppose -1033 = -4*b + 3*m, -1035 = -4*b + m - 0*m. Is b composite?
True
Let x(p) = -3*p + 2 + 2 - 1 + 7*p. Is x(5) a composite number?
False
Let s = 58 - -201. Is s composite?
True
Let f be (-2)/(-2) - (-3 + -5). Let l be -9 - 1/((-3)/f). Is ((-111)/l)/((-3)/(-30)) composite?
True
Let c(g) = -g**3 - 4*g**2 - 5*g - 6. Suppose -4*m + 15 = -9. Suppose -4*y = -x + 20, -4*y + x - m*x + 4 = 0. Is c(y) composite?
True
Suppose 2 = 3*p - 7. Suppose 4*h = -p*f + 243, 0 = 3*f - 6*f + 3*h + 222. Is f a prime number?
False
Let f(j) = -10*j + 3. Let b be f(6). Let m = b + 142. Is m a composite number?
True
Let a(s) be the third derivative of -s**5/60 + s**4/3 + s**3/2 + s**2. Let v be -1 + 14*(-1)/(-2). Is a(v) a composite number?
True
Suppose 0*v = 4*v + 5*g - 161, -2*v + 3*g = -75. Suppose -4*f + 107 = -181. Let r = f - v. Is r a prime number?
False
Let y(u) = u**3 + 2*u**2 + 2*u - 1. Is y(6) prime?
False
Let a(t) be the third derivative of 5*t**6/144 - t**5/40 + t**4/24 - t**2. Let f(i) be the second derivative of a(i). Is f(4) composite?
False
Let v be 0 + (1 - 1) + -6. Is (-2 - 9/v)*-110 a composite number?
True
Suppose 5 = 2*n - 5. Suppose 0 = -t - 4*l + 557, -n*l - 2411 = -5*t + 274. Is t a prime number?
True
Suppose 26 = -5*h + 2*d, 0 = 2*h - 2*d + 4 + 4. Let k = 6 - h. Is 866/6 + 8/k prime?
False
Let c = -465 - -289. Let z = 259 + c. Is z prime?
True
Let u(s) = -119*s**3 + s. Let q be u(-1). Is ((-3)/6)/((-1)/q) prime?
True
Suppose -4*w + k + 3472 = 5*k, 4*k - 12 = 0. Is w prime?
False
Suppose -268 - 86 = j. Is j/(-10) - 10/25 prime?
False
Let m(h) = -h**3 + 23*h**2 - 42. Is m(19) composite?
True
Suppose -5*n + 6 = -3*d - 23, 0 = 4*d + 5*n + 27. Let v(x) = x**3 + x + 119. Let u be v(0). Let y = d + u. Is y composite?
True
Let c = -21 + 56. Suppose 62 = 3*l + 2*d, 0*d - 4