number?
False
Let b = 327 + -510. Let s = b + 277. Is s composite?
True
Suppose 1391 = 2*c - 363. Is c a prime number?
True
Let q(d) be the first derivative of d**4/2 - 2*d**3/3 - 2*d**2 + 4*d + 2. Let p be q(4). Let g = p - 25. Is g a composite number?
False
Suppose 2*v - 790 = -4*z + 2*z, 0 = 4*v - 5*z - 1598. Is v a prime number?
True
Let x(p) = 2*p**2 + p - 4. Let u be x(3). Let n be u/5 - (-12)/(-30). Suppose 0 = 3*k + 2*w - 365, w + n*w = 16. Is k prime?
False
Let w = 78 + -275. Let k = -108 - w. Is k a prime number?
True
Suppose 0 = -2*f + f + 121. Let t = f - 68. Is t prime?
True
Let a(x) = -x**3 - 8*x**2 + 3. Let h be a(-8). Let o = h + -3. Suppose o = -r + 3 + 16. Is r composite?
False
Suppose -2*r + 5*r - 9 = 0. Is r prime?
True
Let r = -262 - -513. Is r composite?
False
Let l(t) = -28*t + 4. Suppose -f = 2*f - 15. Let w be l(f). Is w/(-14) - 8/(-28) a prime number?
False
Let d(k) = 12*k - 7. Let y(s) = -8*s + 5. Let o(i) = 5*d(i) + 7*y(i). Is o(1) prime?
False
Let b = 1 - -6732. Is b prime?
True
Let z = 2 + -2. Suppose z = -d - 0*d + 3. Suppose 0*q - q - 2*i = -29, -3*q + d*i + 123 = 0. Is q a composite number?
False
Let c be (-14)/3*24/(-16). Let u = c - 4. Suppose 0 = u*i - 4*m - 155, -4*i - 4*m + 211 = -5*m. Is i a composite number?
False
Suppose 9*c + 212 = 1247. Is c a prime number?
False
Suppose -c - 15 = -5*j, -2*j = 2*c - 0*j + 18. Let b = c + 9. Is (0 + b)*(-1 - 96) a prime number?
True
Let l = 217 - 90. Is l a composite number?
False
Let v(p) = p. Let q be v(4). Let o be ((-2)/q)/(1/(-12)). Let z(b) = 2*b**2 - 3*b - 3. Is z(o) composite?
True
Let j(d) be the first derivative of 7*d**6/180 + d**5/120 + d**4/6 + 4*d**3/3 + 3. Let m(z) be the third derivative of j(z). Is m(3) prime?
False
Suppose -4*j = -3*d + 35 + 129, j = 4*d - 223. Suppose 2*q - d - 174 = 0. Is q composite?
True
Let f(s) = 2*s**2 - s. Let q be f(2). Let d = q - 7. Is d*(2 - (-1 + 22)) a prime number?
True
Let k = -25 + 77. Let d = k + -21. Is d a composite number?
False
Suppose a - 12 = -2*a. Suppose b = -a*b. Is 2 - (2 + (-97 - b)) a prime number?
True
Suppose -4*l + 2438 - 934 = -5*p, 2*l - 5*p = 762. Is l prime?
False
Suppose m - 326 + 33 = 0. Is m prime?
True
Let k(a) = -10*a**2. Let l be k(1). Let f be (l/(-4))/(2/(-8)). Is (-93)/(-15) + 2/f a prime number?
False
Let b(n) = -47*n**2 - n + 1. Let x be b(1). Let s = 382 - 174. Let d = x + s. Is d a prime number?
False
Suppose 3*u - 67 - 2 = 0. Is u prime?
True
Let v be (-9)/6 - 2/4. Let a be 6/3 - 4/v. Suppose -5*s - 201 = -3*u, -u + 335 = a*u + 2*s. Is u a prime number?
True
Suppose 4*k = -j + 648, k + 2*k - j = 486. Let i = k - 65. Is i a composite number?
False
Let d be 42/(-15)*(0 + -5). Let j = 27 - 13. Is 1166/j - 4/d a prime number?
True
Let u(a) = a**3 + 7*a**2. Let d be u(-7). Suppose d = -2*v - 5*q + 321, -v = 2*q + q - 160. Is v a prime number?
True
Let h(w) = 0 + 2 - 7 + 9*w - 37*w. Is h(-6) prime?
True
Let k = 7 + -15. Let l be k/(-32) - (-7)/4. Suppose 0 = -2*o - 2, -y = l*y - 4*o - 271. Is y a composite number?
False
Suppose -2*n - 53018 = -16*n. Is n prime?
False
Let m = -14 - -30. Suppose m = -3*z - 4*i, -2*i - 10 = z - 2. Is 2 - z/1 - -9 a composite number?
False
Suppose 3*p - 6 = p. Suppose -4*f + 8 = -2*u, 4*f = 6*u - p*u + 10. Let c = 8 + f. Is c prime?
False
Let w be (-4)/(-16) + (-86)/(-8). Let m(o) = -o + 14. Let f be m(w). Suppose -151 = -2*k + y, -246 = -f*k - 6*y + y. Is k prime?
False
Let z(x) = -2*x**3 - 2*x**2 - 5. Is z(-4) a composite number?
True
Let s(g) = -g**2 + g - 2. Let l be s(0). Let k = l + 6. Is 4/k - (-126)/1 composite?
False
Let b(g) = 4*g**2 + 1. Let o be b(-1). Suppose 4 + 11 = -5*y - 5*t, -o*t - 15 = -y. Suppose -z = 2*w - 93 - 56, y = -3*w. Is z composite?
False
Let l(n) = 19*n - 6. Let j be l(6). Suppose y + 31 - j = 0. Is y prime?
False
Let g be (-2)/(-1)*3/6. Is g*158*(-1)/(-2) a composite number?
False
Let m = 13 - 21. Let v be (-6)/m + (-9)/(-4). Suppose v*a + 11 = -n + 300, -a = 5*n - 87. Is a composite?
False
Is (3/(-2))/(-1 - (-16780)/16792) a prime number?
True
Suppose 0 = l - 4 - 0. Suppose 5*r - 4*g + 6333 = -2377, l*r = g - 6968. Is (-2)/(-9) - r/18 a composite number?
False
Let k = 20 - 9. Let v = k - -3. Is v a composite number?
True
Let l(t) = 16*t**3 + 4*t**2 + 3*t. Let v be l(-3). Let k = -74 - v. Is k composite?
False
Suppose -d = d - 818. Is d prime?
True
Suppose 0 = 24*n - 20*n - 2972. Is n a prime number?
True
Let m be 25 - 2/(1 + -3). Suppose -3*c + m = -c. Is c prime?
True
Let o = 27 - 81. Let u = 93 - 16. Let p = o + u. Is p composite?
False
Let s = 167 + -81. Suppose -2*p - 149 = -3*c, 0 = 3*c - p - s - 62. Suppose -2*h + c = -19. Is h a prime number?
False
Let h(c) = -27*c + 21. Let u be h(-16). Suppose -2*a + q + 807 + u = 0, 4*a + 3*q = 2530. Is a composite?
False
Let p(c) = 42*c**2 + c + 3. Suppose -4*f = f + 10. Is p(f) composite?
True
Suppose 4 = -3*r - 2*b + b, 0 = 4*r + 4*b + 16. Suppose r*q - 5*q = -1115. Is q prime?
True
Let h be -2 - (-6 - 4/(-2)). Suppose 532 = h*x + 2*x. Is x a prime number?
False
Let r(y) = y**3 + 8*y**2 + 6. Let u be r(-8). Suppose u*t - 5*t + 44 = 0. Is t/6*42/(-4) a composite number?
True
Suppose 4*a + 3*j - 208 = 0, -2*a = 4*j - 35 - 59. Is a prime?
False
Let h(y) = -2*y + 671. Is h(0) a prime number?
False
Let b = -47 - -80. Is b composite?
True
Let p(r) = r**2 + 8*r - 6. Let q be p(-9). Suppose -2*s + 28 = g, q*g + 4*s - s = 75. Is g a composite number?
True
Let t(q) = -q**3 + 3*q**2 + 2*q - 2. Let c = 3 - 0. Let i be t(c). Let d(b) = 5*b**2 - 3. Is d(i) a prime number?
False
Is (-13 + 1)*170/(-40) a prime number?
False
Let y = 1171 + -94. Is y composite?
True
Let h = 8 - 3. Let o(i) = -2*i - i + 2 + i - h + 82*i**2. Is o(-2) a composite number?
True
Let y = 108 + 14. Is y a prime number?
False
Suppose 2*d + 3*d - 10 = 0. Is 42/4*d/3 composite?
False
Let n = 15 + 0. Is -1 + 5/(n/714) composite?
True
Suppose 12*u - 7*u - 1535 = 0. Is u prime?
True
Let s = 637 - 346. Is s composite?
True
Suppose 2*a - 4 = -2*a + 5*n, -3*a + 3 = -4*n. Let t = a - -30. Is t a composite number?
False
Let s = 5 + -9. Let w be (s + 6)/(4/(-42)). Let z = w + 74. Is z composite?
False
Suppose 3*d + d + 20 = 0. Let k = d + 8. Suppose -k*u = 2*l - 62, -u = -4*l + 3*u + 124. Is l prime?
True
Let p = -7 + 8. Let o(j) = -30*j**3 - 2*j**2 + 4*j + 3. Let d(h) = h**3 - h**2 + h + 1. Let g(z) = p*o(z) - 4*d(z). Is g(-1) composite?
True
Let v(c) = 5*c**3 + 15*c**2 - 5*c + 12. Let z(m) = 4*m**3 + 15*m**2 - 5*m + 12. Let d(q) = -3*v(q) + 4*z(q). Is d(-13) prime?
False
Let f be (-133 - 1)/(4 - 5). Let j = 10 + -7. Suppose 0 = -j*d + 73 + f. Is d a composite number?
True
Suppose -g + 17 = -3*d, 2*d + d = -3*g + 3. Let m = d - -8. Suppose -w + 2*z = -4*w + 49, m*z - 79 = -5*w. Is w prime?
True
Let w(x) = 75*x**2. Let c = -1 + 2. Let r be w(c). Let j = -38 + r. Is j a composite number?
False
Let g be (-1)/4 + (-126)/(-24). Suppose -g*s = 2*v - 1110, 0 = 2*s - 0*v - 2*v - 458. Let q = s + -127. Is q a composite number?
False
Let u be 0 + -1*6 + 2. Let r = u - 2. Is (-40)/r*9/6 a prime number?
False
Suppose 14 + 1 = -5*n. Let z(j) = 21*j - 6. Let v(q) = -q + 1. Let p(f) = -4*v(f) - z(f). Is p(n) composite?
False
Suppose -t - 2*p = -p, 2*t = -5*p - 6. Let b be 2/(-8)*-6*2. Suppose b*m - t = 2*m. Is m prime?
True
Let f = -8 - -10. Suppose -f*p - 131 = -5*p + 5*w, 4*p + w = 190. Is p prime?
True
Is (-2)/(-9) - (-1717)/9 composite?
False
Suppose -668 = -4*y - 2*w - w, -w = 5*y - 846. Suppose -5*m - 3*t + y = -2*t, -3*t - 150 = -5*m. Is m a prime number?
False
Let m(v) = v**2 - 4*v - 5. Let g(i) = -3*i - 3. Let t be g(-3). Let l be m(t). Suppose 2*k + 2*f = 70, l*f - 2*f = 10. Is k prime?
False
Let k = 28 + 279. Is k prime?
True
Suppose 4*y = -5*l + 817, 5*l - 3 = 2. Is y a composite number?
True
Let d(n) = -2 + n + 7*n**3 - n**2 - 27*n**3 + 0*n**2 + 3. Is d(-1) a composite number?
False
Let l = -1008 + 3929. Is l prime?
False
Let v be -2*(-1 + 1 + 14/(-4)). Let a = 379 - 47. Suppose a = v*s - 3*s. Is s a prime number?
True
Suppose -6*t = -2*t - 8. Is (2 - 0) + (23 - t) composite?
False
Let j = -20 - -16. Is (-179)/(3/(j - -1)) prime?
True
Suppose -25 = -7*o + 2*o. Suppose 0*j = -o*j + 790. Is j a composite number?
True
Let k = 9 - 5. Sup