umber?
True
Suppose y + 20 = -y + 3*h, -h = -5*y - 24. Let g be (-16)/(-12) + y/(-6). Is (3 - g) + 2 - -130 composite?
True
Suppose -8 = 2*t - 5*f, -6*t = -t - 4*f - 14. Is t a composite number?
True
Let l(r) = 13*r**2 + 6*r - 2. Let o be l(-6). Suppose -3*x + 5*x - o = 0. Let a = x + -146. Is a a composite number?
True
Let w = -3 - -1. Let t be 200/2 - (-1 + w). Suppose 6*y - t = -3*n + 2*y, -5*n + 5*y = -195. Is n composite?
False
Is (-142)/2*(-16 + 13) a composite number?
True
Let r(j) = j**3 - j**2 - j + 248. Let l be r(0). Let a be (36/16)/(3/(-216)). Let h = l + a. Is h composite?
True
Let n = -667 + 201. Is n/(-4)*(-2 - -4) composite?
False
Suppose 3*g - 517 = -2*h + h, -g + 167 = 3*h. Suppose -j + 4*c = -g - 3, 4*c = 2*j - 364. Suppose 2*a + j = 6*a. Is a a prime number?
True
Let s be (-24)/(-2)*(-9)/(-27). Let d be ((-40)/(-16))/(2/s). Suppose -2*i + 167 = n, -2*n + 0*n = d*i - 336. Is n composite?
False
Let t(r) = r**3 - 8*r**2 + 8*r - 4. Suppose 6*y = y + 35. Let p be t(y). Suppose h - 50 = p*m, -2*m = -h + 4*h - 95. Is h a composite number?
True
Let n(s) = -2*s**3 - 9*s**2 + 15*s - 5. Let l(t) = t**3 + 4*t**2 - 8*t + 2. Let x(i) = 5*l(i) + 3*n(i). Is x(-8) composite?
False
Let s(l) be the first derivative of 13*l**3/3 + l**2/2 - l + 7. Is s(4) a prime number?
True
Is (-970)/(4 + -1 + -5) a prime number?
False
Let i be (-1 + 0 + 2)*9. Let n(p) = 6*p**2 + 7*p + 8. Is n(i) composite?
False
Let j(a) = a**3 + 9*a**2 + 13. Suppose -f - 3 = -4. Suppose -2*b - 19 = -f. Is j(b) a composite number?
False
Suppose 2*j - j = 7. Suppose 3*r - j*r = 2*q - 6, -3*r - 34 = -4*q. Suppose -2*v = -3*w - 31, -3*v = -q*v + 3*w + 53. Is v composite?
False
Suppose -3*k + 3*a = -2*k + 11, 5*a + 3 = -k. Let g be (k/10)/(2/(-25)). Is g - (1 + 0 + 2) a composite number?
False
Let b(k) = 8*k**2 + 18*k - 25. Is b(12) a prime number?
False
Let p(o) = -12*o - 2. Let y be p(-4). Let q be -2*(0 - 6/4). Suppose -q*g + 11 = -y. Is g a composite number?
False
Suppose 0 = -t, -2*t + 765 = -j - t. Let x = j + 1072. Is x prime?
True
Let a(d) = 42*d - 41. Is a(10) a prime number?
True
Let q(h) = h**2 + 8*h - 13. Is q(-10) composite?
False
Let m(n) = n**3 - 8*n**2 - 9*n + 4. Let i be m(9). Is 2/i*-158*-1 composite?
False
Suppose 3405 = 2*p + 3*p. Let q = p - 422. Is q prime?
False
Suppose -3*v = -2*o + 180 + 235, 3*v = o - 200. Is o prime?
False
Is 80/24*(-13239)/(-6) a prime number?
False
Let a(v) = 110*v - 1. Is a(6) prime?
True
Suppose 2639 = 6*u - 2407. Is u a prime number?
False
Suppose 9*g = 3182 - 203. Is g a prime number?
True
Let q be 36/(-21) - 2/7. Let y be q/1 + (0 - -1). Is (-10)/y*(2 - 1) a prime number?
False
Suppose 8*u - 9*u + 481 = 0. Is u a composite number?
True
Let s(m) be the first derivative of 13*m**3/3 - m**2 + 4*m + 4. Is s(3) a composite number?
True
Suppose 9 + 1 = -5*d + 5*k, 4*d = 5*k - 12. Let l be (0 - -1)/(-4)*-52. Suppose d*v = 87 - l. Is v a prime number?
True
Let q(t) = t**3 - 14*t**2 + 18*t - 19. Is q(13) a composite number?
True
Let k = 12 - 8. Let g = 6 + k. Suppose -g - 40 = -5*d. Is d composite?
True
Suppose -146 = -5*x - 11. Suppose -x - 30 = -s. Is s prime?
False
Suppose -i + 1778 = 3*d, 0 = d + 5*i - 266 - 350. Suppose -2381 = -4*t + d. Is t composite?
False
Suppose -3*q = -5*a - 3601, 5*a = 2*q + 2*q - 4808. Let c = q + -312. Is c a composite number?
True
Suppose 0 = -3*m - 12, -5*s - 5*m + 15 = -0*m. Suppose -2*l + s*l - 10 = 0. Suppose -l*w + 94 = -w. Is w a composite number?
True
Let r be 3/(-1*(-2)/2). Suppose 3*j + 78 = 3*i, -2*i + 120 = r*i - 3*j. Is i prime?
False
Let u(o) = -14*o - 11. Is u(-7) composite?
True
Suppose -m = 3*m. Is 2 + (47 + m)*1 prime?
False
Let z = 1 - 1. Let h(l) = -2*l - 30. Let n(m) = m - 1. Let c(x) = -h(x) - 3*n(x). Is c(z) a prime number?
False
Suppose -c = c - 3*d - 406, -c - 2*d = -196. Let u be ((-123)/4)/(3/(-12)). Let g = c - u. Is g a prime number?
False
Let k(a) = -7*a - 2. Suppose 0*x = -x + 1, -9 = -4*o + 3*x. Suppose 3*i - 3 = 0, -o*i + 1 = 5*f + 13. Is k(f) a composite number?
False
Suppose 0 = -3*a + 6. Suppose -a*z - 3*z = -215. Is z composite?
False
Suppose 9*o - 4*o + 59 = 2*i, 0 = -i + 3*o + 30. Let a = -6 + i. Is a a prime number?
False
Let m(z) = -2*z - 9. Let n be m(-6). Suppose 4*q - 237 = -3*x - 0*q, -q = n. Is x composite?
False
Let f(x) = 32*x + 43*x + 63 - 64. Is f(1) prime?
False
Let r be -2 + -2*(-2)/(-4). Let y(f) be the third derivative of -13*f**4/12 - 2*f**3/3 - 19*f**2. Is y(r) prime?
False
Suppose -9373 = -6*a - 127. Is a a composite number?
True
Is (9/(-3) - 86)/(-1) prime?
True
Suppose -462 = 2*g + 4*j, g + 5*j + 460 = -g. Let v = -90 - g. Is v composite?
True
Suppose 0 = 4*d + 8, -101 = -i + 3*d + 30. Let g = i - 36. Is g a prime number?
True
Suppose -2*k + 629 = -3*i, -5*k + 1510 = 3*i + 2*i. Is k a composite number?
False
Let n be -2*(-1)/((-1)/(-2)). Suppose -k = k - n. Suppose 0 = k*c + 2*c - 196. Is c prime?
False
Let w(l) = 69*l - 5. Let h be w(-4). Let p = 472 + h. Is p prime?
True
Let f(p) be the second derivative of -p**5/20 - p**4/12 + 307*p**2/2 + 3*p. Is f(0) composite?
False
Suppose 4*s - 880 = -4*r + 76, -3*s + 721 = 5*r. Suppose 0 = -6*j + 3*j + s. Is j a prime number?
True
Let k(a) = 2*a**2 + 21. Is k(10) a composite number?
True
Let b = -4 + 4. Let q be 162 - (-1 + (2 - b)). Suppose 4*c + s = c + q, -4*c = s - 214. Is c a prime number?
True
Suppose 1 = 3*k - 11. Let m(b) = b**3 - b**2 - b - 1. Let a(p) = -3*p**3 + p**2 + 10*p + 5. Let q(x) = a(x) + 6*m(x). Is q(k) a composite number?
False
Suppose -3*t + 12 = -0*t, -4*q + 4*t = 16. Suppose -3*y = -q*y - 1905. Is (-4)/10 + y/25 prime?
False
Suppose -3*f + 14 = -1. Suppose c = f*c - 104. Is c prime?
False
Suppose -57*h - 4542 = -63*h. Is h composite?
False
Let a = -1074 + 1567. Is a prime?
False
Let s be (-456)/(-32) + 2/(-8). Let r(x) = x**3 + 3*x**2 - 3*x - 2. Let u be r(-3). Is (-2)/u - (-830)/s a composite number?
False
Let o = -276 - -512. Let c = o - -21. Is c composite?
False
Suppose 2*m + 8 = 3*h, -5*h - 2*m - 5 + 13 = 0. Is (1676/h - 0)/2 a prime number?
True
Let t = 420 - 13. Is t prime?
False
Let d = 3 + 7. Let h(i) = 12*i + 11. Is h(d) composite?
False
Let m(y) = -4*y**3 - 4*y - 3. Is m(-4) composite?
False
Suppose -3*h + 162 + 1047 = 0. Is h composite?
True
Let c(r) = 3*r**2 - 3*r - 13. Let m(h) = -7*h**3 + h - 1. Let t be m(1). Is c(t) prime?
False
Suppose 9*u - 5*u = 8. Suppose -u*z + 7 + 380 = -o, -3*z - 5*o + 548 = 0. Is z composite?
False
Suppose -3*m = 2*m. Suppose -2*s = -s - 2. Suppose m = 5*t - 20, s*t - 5*t - 83 = -5*r. Is r prime?
True
Let j(x) be the third derivative of -x**6/10 + x**4/12 + x**3/3 - 3*x**2. Is j(-2) a composite number?
True
Let a(l) = -2*l**2 + 39*l - 17. Is a(12) a prime number?
True
Let c = 763 - 453. Let z = -123 + c. Is z prime?
False
Suppose -3*x + 7 = -5. Suppose 4*l = -0*l + 4*q + 412, 0 = -x*l - 5*q + 430. Suppose 35 = -5*a + l. Is a a composite number?
True
Suppose -53*m = -57*m + 1772. Is m a prime number?
True
Let l be (-9)/(-27) + 2/(-6). Suppose -3*w + 8*w - 115 = l. Is w prime?
True
Suppose 6671 = 5*g + 2116. Let f = g - 348. Is f prime?
True
Suppose -4*s + 1 = -3*k, 1 = 2*s - s - k. Is -1 - (-14 - (-2)/s) a composite number?
True
Suppose 3*n - 32 = 148. Suppose x + n = 6*x. Let w = 25 - x. Is w prime?
True
Suppose 2*b + l + 6 = -l, 27 = b - 5*l. Is b/(-3) - (-116)/12 a prime number?
False
Let n(f) be the third derivative of 0*f + 3/8*f**4 - 1/3*f**3 + 0 - 2*f**2. Is n(4) prime?
False
Suppose -5 = -2*v - 3, h + 2*v = 71. Suppose -a + h = 2*i, 3*i + a - 100 = 3*a. Is i a composite number?
True
Suppose 4*z + 5*l = 3, 4*l + 8 = z + 2. Suppose 5*j - 450 = 5*x, -5*j + 448 = -z*x - x. Is j prime?
True
Suppose 4*q = 4*s - 6*s + 7920, 2*s = -q + 7917. Is s a composite number?
True
Let b(l) = -l**3 + 14*l**2 - 17*l + 15. Is b(11) a composite number?
False
Let u = 44 + 387. Is u prime?
True
Let g = 7 + -8. Let a(o) = -293*o**3 + o**2 + 2*o + 1. Is a(g) a composite number?
False
Let m = 749 + 140. Is m prime?
False
Suppose 0*d - 4*d - 12 = 0. Let q be ((-3)/2)/(d/(-8)). Is 207/6*q/(-6) a composite number?
False
Is ((-30)/9)/(4/(-66)) a prime number?
False
Let p = -182 - -331. Suppose -3*c + 8 = -d, -19 = -8*c + 3*c - 4*d. Suppose -c*n = -196 - p. Is 