 a composite number?
True
Suppose 4*z + 9 = h, z = 3*h - 2*h. Let p be 5 + 3 + h + 0. Suppose -40 = -4*a - 3*u + 2*u, -2*a + p*u = -20. Is a composite?
True
Let x(z) = z**3 - 3*z**2 - 4*z + 2. Let y be x(4). Suppose 123 = y*o - 231. Let c = 254 - o. Is c a prime number?
False
Let k(f) = 0 + f + 7 + f**3 + 5*f**2 - 6. Is k(4) prime?
True
Suppose -8 = -3*d - b + 1, 5*d - 25 = -5*b. Suppose 5*j = 4*s + 37 + 9, 0 = -d*s + 2. Is j composite?
True
Is (-425)/(-1) + (-66)/22 a composite number?
True
Let n be ((-453)/9)/((-1)/(-3)). Let l = 105 + n. Let h = l + 79. Is h prime?
False
Suppose 4*m - 8 = -4*k + 2*k, 0 = -m + 1. Suppose -k*h = -6*h + 292. Suppose n - h = -c - c, -n - 3*c + 68 = 0. Is n composite?
False
Is 2/5 - (-1715)/25 prime?
False
Suppose -5*r + 521 = 5*k - 934, -5*r = 10. Is k composite?
False
Is 2 - (-3 - (3 + 1708))/2 a composite number?
False
Suppose w + 230 = -4*w. Let o = -15 - w. Is o composite?
False
Suppose -7975 = -3*g - 4*z, 4*g - 10630 = z - 3*z. Is g a prime number?
True
Is (6 - 29)/((-2)/34) prime?
False
Let c be 2/3 - 233/3. Let a = 104 - c. Suppose 5*g + 56 = a. Is g composite?
True
Is (4529/(-2))/((-3)/((-54)/(-9))) prime?
False
Let z(c) = c**3 + 13*c**2 + 15*c + 7. Suppose 0 = -4*q + p - 44, 3*p + 2*p - 20 = 0. Is z(q) composite?
False
Is -8 - 156/(-20) - 576/(-5) prime?
False
Let t = 146 + -91. Is t a composite number?
True
Let d = -4 - -15. Let r = -5 + d. Let h(t) = 11*t + 3. Is h(r) prime?
False
Suppose 295 = 5*l + 1045. Let p = 239 + l. Is p composite?
False
Suppose k - 148 = 63. Is k prime?
True
Is 211/(-3)*66/(-22) a composite number?
False
Let h = -22 - -14. Let q(g) = -3*g + 2. Is q(h) composite?
True
Suppose 2*w = 54 + 32. Let i = 100 + w. Is i composite?
True
Let y(t) be the first derivative of t**3 + 15*t**2/2 - 7*t - 1. Is y(-11) composite?
False
Let d be 266 - 4/(-6)*3. Let o = d - 111. Is o composite?
False
Suppose -4700 = -o - 1293. Is o prime?
True
Suppose r - 3*i + i = -1, 3*r + 2*i = 21. Suppose -a + 0*a + r*g = 6, 5*g = -4*a + 26. Suppose 0 = -3*l + a*l - s - 263, -4*l + 1048 = -3*s. Is l prime?
False
Suppose -4*p + 1111 + 85 = 0. Is p prime?
False
Let u(t) = -t**2 - t. Let p(x) = -2*x**2 + 6*x + 11. Let m(j) = p(j) - 4*u(j). Is m(-8) a composite number?
False
Suppose -i - d - 33 = 7, 3*i - 2*d + 100 = 0. Let k = i - -71. Is k a prime number?
False
Let m = -5 + 5. Suppose 7*n - 4*n = m. Suppose n = 2*v + v - 261. Is v a composite number?
True
Suppose 5*p + k - 47 = 0, -p = -3*k - k - 1. Let j = p - 6. Is (-160)/(-14) + j/(-7) a composite number?
False
Let u be (-2 + 1)*-5 + 1. Is ((-2)/u)/((-1)/93) composite?
False
Let u(g) = g**2 - g - 6. Let v be u(10). Suppose v = 5*t - 4*z - 829, 5*t + z = 928. Is t prime?
False
Let g = 53 + -134. Let p = -26 - g. Is p a composite number?
True
Suppose 4*c + 11 = 4*p - 1, c - 12 = 4*p. Let a be 4/c - (-45)/(-6). Is 299/7 + a/(-28) prime?
True
Suppose 5*c - 4 - 11 = 0. Let h(u) = u - 4. Let b be h(7). Suppose -3 = c*t, s + b*t + 271 = 5*s. Is s a prime number?
True
Is -6 + (14 - 5) - 234/(-1) a composite number?
True
Let w(s) = 3*s**2 + 3*s - 2. Let a be w(-3). Suppose -5*n + 35 = -55. Let p = n + a. Is p a prime number?
False
Suppose 5*z = 3*z. Suppose -4*s = a + 16, z*s - 16 = 4*s - a. Let k = 19 + s. Is k a composite number?
True
Suppose 3 = -3*h, 3*h + 0*h - 42 = -3*m. Let c(q) = -14*q + 4 + 14*q**2 + m*q - 3. Is c(-2) a composite number?
True
Let c(i) = -12*i + 1. Let r be c(-4). Suppose -3*b - 4 - 196 = -5*q, 2*q + 5*b - r = 0. Is q a prime number?
True
Suppose 5*h = 10, 4*h + 181 - 45 = i. Let f(d) = 43*d - 2. Let j be f(7). Let k = j - i. Is k prime?
False
Let b be (-3)/(-12) - (-7)/4. Is 127*(4 + (-6)/b) a prime number?
True
Let p(j) = -4*j - 2. Let x be p(-2). Suppose 4*z - 3*d + 15 = 0, -5*z - 14 = -4*d + x. Let f(g) = -g**3 + g**2 + 19. Is f(z) a prime number?
True
Let m be (9/6)/((-9)/(-12)). Is m + 5/(-1) - -68 a prime number?
False
Let m = 509 - -380. Is m composite?
True
Let u = 184 + -91. Is u composite?
True
Suppose 2*v - 230 = -3*v. Let b be 6 + -7 + (v - -1). Suppose -b = -l - i, 0*l = -l + 2*i + 55. Is l a prime number?
False
Let p(t) = 18*t**2 + t - 13*t**2 + 1 - 4*t. Is p(2) a composite number?
True
Let l(a) = 12*a**3 - 2*a**2 + 2*a - 5. Is l(3) composite?
False
Suppose 172 + 492 = 2*x. Suppose -3*j - x = -4*i - 6*j, -5*i + 415 = -4*j. Is i a composite number?
False
Suppose 0 = -0*l + 4*l - 16. Is 846/l - 1/2 prime?
True
Suppose 12 - 3 = 3*f. Let s be -3*(2/1)/2. Is (37 - 1) + s/f a composite number?
True
Suppose 0 = 5*o + 5*t, -2*o - 3*t + 5 = 2*o. Suppose o*d + 0*d - 35 = 0. Is d a composite number?
False
Is -2 + 0/3 - -413 a prime number?
False
Suppose -5*i - 4*h = -40, 2*i = -5*h + 46 - 13. Suppose -2*n = i*o - 110, -118 = -5*o + 5*n - n. Is o prime?
False
Suppose 5*p - b - 138 - 450 = 0, -3*p + 4*b + 346 = 0. Suppose 3*n = -4*f + p, 2*n + n = 5*f - 161. Is f composite?
False
Let a(i) = 8*i**2 - 7*i - 16. Is a(-15) prime?
True
Suppose c = -0*c + 4, -3*c + 37 = -q. Let l = 134 + q. Is l a prime number?
True
Is 5 + (-20913)/(-3) + 3 prime?
False
Let r(i) = 12*i**2 + 8*i - 3. Is r(-4) a prime number?
True
Suppose 2*t + 16 = -3*b + 2, -4*b + 3*t = -4. Is ((-1285)/(-25))/(b/(-10)) composite?
False
Let h(c) be the second derivative of -c**4/12 + 5*c**3/6 + c**2 - 3*c. Let w be h(5). Suppose 0*k - 10 = -w*k, 4*f - 5*k - 51 = 0. Is f a prime number?
True
Let t(n) = n**3 - 3*n**2 - 2*n - 4. Let x be t(4). Let c(m) be the first derivative of m**4/2 + m**3/3 - 3*m**2/2 - 5*m - 1. Is c(x) a composite number?
False
Let x be -2 + 4 - 2*1. Suppose -3*y - 2*y + 115 = x. Is y prime?
True
Suppose -2*h + 64 = 26. Let t = -2 + -7. Let x = t + h. Is x composite?
True
Let t(d) = -d - 8. Let o be t(-5). Let l be o*11*(-24)/9. Suppose 2*x = -5*w + 219, 76 + l = 4*w - 4*x. Is w prime?
True
Let r = 5 - 0. Suppose -5*i + 445 + 17 = 4*t, -r*t - 3*i = -571. Is t a composite number?
False
Suppose 2*u = 2*s - 386, -2*s - 2*u + 386 = -0*s. Let m = s - 114. Is m composite?
False
Is 1379*(-2 - (-8 - -5)) a composite number?
True
Suppose -5*b - 2*s + 1789 = s, 4*b - 2*s = 1418. Suppose c + 3*c - b = 0. Is c composite?
False
Let o = -13 - -1. Let v = 8 + -2. Is (-172)/o + (-2)/v prime?
False
Suppose -w + 0*w = 0. Suppose w = -b - 2*b + 9. Suppose 0 = r + b*r - 332. Is r prime?
True
Is (5/(-15))/(2/(-534)) a prime number?
True
Let b(d) be the second derivative of -d**4/12 - d**3/6 + 113*d**2/2 + 3*d. Is b(0) composite?
False
Let b(p) = -47*p + 4. Let q(d) = d. Let h be q(-3). Is b(h) a composite number?
True
Let y(u) = 7*u**3 + 3*u**2 - 2*u + 75. Let b(n) = -11*n**3 - 5*n**2 + 3*n - 113. Let h(p) = 5*b(p) + 8*y(p). Is h(0) a prime number?
False
Let u = 0 + 6. Suppose u*p - 65 = p. Is p a composite number?
False
Is -58*(-2 + 1 + 0) composite?
True
Suppose 0 = 4*l + l - 2*q, -5*q = 0. Suppose l = -w + 453 + 108. Is (-2)/(-9) + w/27 prime?
False
Let t = -1 - -3. Suppose t*q - 334 = 70. Is q a composite number?
True
Suppose -2*l = -3 - 1. Is -1*(-26 + -3)*l a composite number?
True
Suppose 3*l = 22 + 5. Let k = l - 5. Is k/(-6) - (-59)/3 a composite number?
False
Let z(h) = -5*h - 2. Let m be z(-8). Let k = 135 - 60. Suppose -n + a = -m, 2*n - 2*a + a - k = 0. Is n a prime number?
True
Suppose 4*k - k - 6 = 0. Let q(g) = 41*g**2 - 1. Is q(k) composite?
False
Let d = 8 - 3. Suppose -18 = 3*r - r + 4*z, -4*z = d*r + 27. Let h = 0 - r. Is h a composite number?
False
Is -3*(-339)/(-9)*-1 a prime number?
True
Let r(q) be the first derivative of -q**3/3 - 7*q**2 - 17*q - 4. Is r(-12) a composite number?
False
Suppose -4*s + 25 = s. Suppose 4*r + s - 1 = 0, 4*r - 261 = -5*f. Is f a prime number?
True
Let p(v) = -9*v**3 + 4*v**2 + v - 1. Is p(-4) composite?
True
Suppose -3*v + 3*u = u - 1499, 0 = -3*v + 3*u + 1500. Is v composite?
False
Let z(m) = 7*m**2 - 3*m + 4. Is z(2) a composite number?
True
Let v(c) be the second derivative of c + 39/2*c**2 + 1/20*c**5 + 1/6*c**3 + 1/12*c**4 + 0. Is v(0) a composite number?
True
Let r = 3 + -5. Let n(y) = -y + 1. Let c be n(r). Suppose c*o - 58 = -13. Is o a composite number?
True
Let o(v) = -v**3 - 5*v**2 + 6*v. Suppose 0 = -2*u + 3*u + 6. Let h be o(u). Is (22/1)/(1 - h) composite?
True
Let r be (19/2)/((-5)/20). Let o be (-9)/6 - r/4. Su