u a prime number?
True
Suppose -4*a - w - 1139 + 6046 = 0, -4*w + 1208 = a. Is a*(-3 + (-26)/(-8)) a prime number?
True
Let o(t) = 21*t - 4. Let f be o(3). Let a = -12 + f. Suppose -a = -4*c + 3*c. Is c prime?
True
Is (-4 - (-6 + 4)) + 181 composite?
False
Let f be (12/(-9) - 2)*-3. Suppose -k - 3*k - o + 85 = 0, 2*o - f = 0. Suppose -2*g = -18 - k. Is g composite?
False
Let g be 790/(-15)*3/(-1). Let t = -64 + g. Suppose 0*p - t = -2*s + 4*p, -62 = -s + 5*p. Is s a composite number?
False
Let k(x) = 66*x**2 - 3*x + 1. Is k(2) composite?
True
Suppose 5*a + 5*f - 5 = 0, 2*f + 4 = -0*f. Let o be (a - 1)*2*2. Suppose -o*j + 5*j + 63 = 0. Is j composite?
True
Is 4/3 + 1133/3 composite?
False
Suppose 2*r - 3*y = -4*y + 5415, r = -2*y + 2709. Is r composite?
False
Let a(l) = 8*l**3 - l**2 - 5*l + 9. Let c(m) = 9*m**3 - 6*m + 10. Let n(k) = -5*a(k) + 4*c(k). Is n(-3) prime?
False
Let p(q) = 38*q**2 + 2*q - 2. Let i be p(-3). Suppose 2*m = -4*u + i, 4*m = 2*m + 3*u + 327. Suppose 0*n = 3*r - 4*n - m, -5*r = 3*n - 304. Is r composite?
False
Let r(m) = 3*m - 1. Let h be r(2). Let l(x) = x**3 - 6*x**2 + 6*x + 5. Is l(h) composite?
True
Let j be (30/(-9))/(4/(-6)). Let x = j + -2. Suppose -v - 3*d + 46 = 0, 2*d + 22 = v - x*d. Is v prime?
True
Let y = -11 + 13. Let i(j) = 39*j - 1 + y - 52*j - 53*j. Is i(-1) a prime number?
True
Let o = 8 - 5. Suppose -o*n = n + 2*y + 28, 4*y - 4 = 4*n. Is n/2*(-1720)/50 a prime number?
False
Suppose 2*o + 0*o + 6 = 0. Let n be ((-38)/(-6))/(o/(-18)). Suppose 2*f + n = 148. Is f a composite number?
True
Let g(w) = 13*w - 12. Is g(5) a prime number?
True
Let k(b) = 2*b - 3. Suppose 0 = -w - 3*w + 44. Is k(w) prime?
True
Let v = 285 + -14. Suppose 5*t - 2*z - 3*z = 675, -2*t + 3*z + v = 0. Is t composite?
True
Suppose 5*g = -x - 1, -5*g - 77 = 3*x - 6*x. Is x a prime number?
True
Let f = 71 + 91. Let l = f + -107. Is l a composite number?
True
Let f(n) = -n**2 - 3. Let x(j) = j**2 - j + 2. Let t(u) = -4*f(u) - 5*x(u). Let r(z) = -z**2 + 5*z + 3. Let s(i) = 5*r(i) - 6*t(i). Is s(-5) a composite number?
False
Let q = 8 + -1. Suppose -43 = 6*b - q*b. Is b a composite number?
False
Suppose -2*m + 7*m = -770. Let r = 317 + m. Suppose w + 147 = 3*c - 2*w, 3*c = -5*w + r. Is c composite?
True
Let o = -2031 - -3402. Is o prime?
False
Let o be 2/(-2)*3*-2. Suppose -g = -o*g - 4*k + 267, 5*k + 10 = 0. Is g a composite number?
True
Let w = -3 - -54. Let h be (-2)/6 - 16/(-3). Suppose -3*j - w - 65 = -2*s, -j = -h*s + 277. Is s composite?
True
Let q(x) = x**2 + 4*x - 6. Let j(d) = 2*d**2 + 7*d - 11. Let u(h) = 6*j(h) - 11*q(h). Let w be u(2). Suppose w = -4*g - 6 + 274. Is g composite?
False
Let k(i) = -349*i - 9. Is k(-4) a composite number?
True
Suppose -2*b = b + 9. Let o = b + 1. Is (o + (-62)/4)*-2 a composite number?
True
Let x be ((-3)/(-4))/(2/(-40)). Is 5/(-1)*339/x a prime number?
True
Suppose -168 = 5*b - m - 14, -3*b + 4*m = 89. Let z = 62 - b. Let i = z - 56. Is i composite?
False
Let f(n) = 9*n**2 - 17*n - 59. Is f(-15) composite?
False
Suppose -3*t - 11 = -5*x, 3*t - 8 = -3*x + 13. Suppose -467 = -t*o - 5*q, -2*q - 1 = -9. Is o prime?
True
Suppose a + 2*a = 0. Suppose -4*f + 17 + 43 = a. Suppose -f = d - 73. Is d a prime number?
False
Suppose -4*u = u + 5*g, 2*u - 3*g = 0. Suppose -b + 4*d - 2 + 17 = u, 3*b = -d + 19. Suppose -4*i - 45 = -b*i. Is i a prime number?
False
Let h(c) = c - 2. Let m be h(4). Is (14 - -695)*(m - 1) a composite number?
False
Suppose 2*x = 6*x + 4*i + 24, 2*i = 2*x. Let m(f) = 9*f**2 - 2. Is m(x) a composite number?
False
Suppose -6*c - 4 = -8*c. Suppose -c*j = -3*j + 3, -j + 320 = p. Is p prime?
True
Let q = -17 - -25. Let l be (3/2)/(6/q). Suppose 0*g + 30 = l*g. Is g a composite number?
True
Let q be (3/3 + 0)*3. Suppose -6*u + q*u = -21. Is u prime?
True
Is 83 + -3 - 3/1 a composite number?
True
Let o(f) = -2*f + 141. Let k be o(0). Let i = k + -22. Is i composite?
True
Suppose 4*l - 16 = -0*l. Is (-3)/l + 686/8 a prime number?
False
Suppose -4238 = -2*h - 4*q, 3*h + 7*q - 6357 = 3*q. Is h a composite number?
True
Let y(m) = -10 - 1 + 2 + 8*m - 2*m**2. Let t(d) = -d**2 + 4*d - 4. Let h(j) = -5*t(j) + 2*y(j). Is h(5) a prime number?
True
Suppose -4*s + 39 = 5*x - 107, -2*s + 112 = 4*x. Suppose x = -2*v + 3*v. Is v composite?
True
Suppose -5*a - 5*f + f + 20 = 0, -4*a - 3*f + 17 = 0. Let o = a + 71. Is o composite?
False
Suppose 0 = -0*v + v - 75. Suppose 5*c = -5 + v. Is c a composite number?
True
Let n(a) be the third derivative of -a**6/40 + a**5/30 + a**4/8 + 2*a**3/3 - 5*a**2. Is n(-3) composite?
True
Let q = 0 - 2. Let g(y) = y**3 + 6*y**2 - 5*y + 5. Let j be g(-6). Is q/(-7) + 2895/j prime?
True
Let i = 14 + -32. Let d be i/8*16/(-6). Is (0 - d)/(4/(-6)) prime?
False
Let y = 30 + -61. Let i = y + 110. Is i composite?
False
Let k = 738 + -447. Let w = -136 + k. Is w a prime number?
False
Is (0 + 826)*2/4 a composite number?
True
Let r(y) = y**3 + 10*y**2 + 10*y + 13. Let n be r(-9). Suppose 4*h - 564 = -n*q, 3*h - 5*q - 206 - 177 = 0. Suppose -3*v = -h - 371. Is v a composite number?
True
Suppose -2*t = -0*t - 8. Let a = t - -3. Is a a prime number?
True
Suppose c = -5, 3*x - 5*c = 3501 - 347. Is x composite?
True
Suppose -5*d - 185 = -10*d. Is d prime?
True
Suppose 0 = -3*d - 0*d - 258. Let i = 165 + d. Is i a composite number?
False
Let h = 358 + -107. Suppose 0*o - o = -h. Is o prime?
True
Is (-2 - -48)/((-21)/(-15) - 1) a composite number?
True
Suppose 0 = 5*g - 5*q + 7 - 27, -2*q - 5 = -g. Suppose -5*f = -g*l - 620, l + 3*f + 407 = -l. Is l/(-9) - 8/(-36) composite?
False
Suppose -280 = 3*r - 7*r. Suppose -2*m - 5*d - 1 = -r, -2*d + 37 = m. Is m prime?
True
Suppose 5*y + 1121 = -5*l + 4311, -5*l = y - 3170. Is l a prime number?
False
Suppose -8*j + 17970 = -1318. Is j prime?
True
Let i be ((-273)/(-4))/(51/(-136)). Let c = i + 339. Is c a composite number?
False
Let p = -73 - -138. Is p a prime number?
False
Let z(j) = 2*j**3 - j**2 - 5*j - 3. Let x be z(-5). Let f = x + 128. Let a = -78 - f. Is a composite?
False
Suppose -6 - 4 = 5*n. Is ((-24)/20)/(n/145) prime?
False
Is 2/((-1)/267*-3) a composite number?
True
Suppose 0 = -3*q - 0*q + 414. Let n = q - 93. Suppose 2*h = 5*h - n. Is h a prime number?
False
Suppose -3*t + 5391 = 4*x, 4073 = 4*t - 3*x - 3140. Is t a prime number?
True
Suppose -5*f = -f - 20. Suppose 5*r - 2*s + 4 = 0, -f*s + 2 = -r - 8. Is (r + -1)*37/(-1) composite?
False
Let i = 5 - 1. Suppose -i*t + 3*t + 53 = 0. Is t a prime number?
True
Suppose 5*r - 197 - 638 = 0. Is r a composite number?
False
Suppose -2*x + 2*q - 20 = 0, -3*x + 4*q - 6 = 26. Let f(y) = y**3 - 4*y - y - 6*y + 7*y**2 - 3. Is f(x) composite?
True
Suppose -2*m = -6*m + 2*a + 3606, 0 = -4*m + 3*a + 3607. Is m composite?
True
Is (66/(-4))/(6/(-8)) prime?
False
Suppose -5*q + 10 = -q + 5*x, 5*x - 10 = 4*q. Is (q + 2)*(-508)/(-8) composite?
False
Let c(w) = w**3 + 10*w**2 + 8*w - 7. Let n be 68/(-8) + 2/(-4). Let v be c(n). Suppose -b - v*m = -33, 5*b = -2*m + m + 120. Is b a composite number?
False
Let u be -12*10/8*-2. Let x(f) = -f**3 - 4*f**2 - 20. Let z be x(-5). Suppose -3*y - l + u + 231 = 0, z*y = -5*l + 435. Is y a prime number?
False
Let x(a) = a**2 + 9*a - 39. Is x(20) prime?
True
Let f = 4240 - -1269. Is f a prime number?
False
Let b(t) = t**2 + 7*t + 2. Let i be b(-6). Let u(a) = -2*a - 4. Let j be u(i). Is (-2 + 10/j)*94 composite?
False
Is (-56)/(-5) - 10/50 prime?
True
Suppose -2*i - 33 = i. Let x be (-1)/(-4) + i/(-4). Suppose -76 = -s - x*s. Is s a prime number?
True
Let o(x) = -7*x - 3. Let q be o(-2). Let v = q - -32. Is v a composite number?
False
Let l(q) = q**3 + 3*q**2 - 5*q - 2. Let p be l(-4). Suppose -2*z + 316 = p*z. Is z a prime number?
True
Suppose -3*q - 916 = -x - 0*x, 2*x + 3*q - 1841 = 0. Is x composite?
False
Let k(d) = -d**3 - 6*d**2 + 9*d - 7. Suppose 6 = -8*q + 5*q. Let x be (q + 1)*(0 + 8). Is k(x) a prime number?
False
Suppose -3 = h, -621 = -3*b + h - 2*h. Let f be (-19 + 1)*(-45)/(-10). Let c = b + f. Is c a composite number?
False
Suppose -2*l + 993 = l. Is l a composite number?
False
Let p(g) = -31*g. Let l be (-6)/2 - (-5)/(-5). Let j be p(l). Suppose 0 = -2*w - 22 + j. Is w prime?
False
Let b be -3*(2 + 9/(-3)). Let a(t) = 10*t + 3. Is a(b) a prime nu