5*x + 0*x = -3*f + s, 2*x = 3*f + 10. Suppose -28 = i - x*i. Is i a composite number?
False
Let v = 3 + 3. Let k be (-17)/(-3) + v/(-9). Suppose 82 + 303 = k*a. Is a composite?
True
Suppose -2*y = -5*g - 6 - 55, -70 = -2*y - 4*g. Is y a prime number?
False
Let x(h) = -305*h - 10. Is x(-1) prime?
False
Let b(o) be the third derivative of o**5/60 - o**4/6 + o**3/3 + o**2. Is b(10) composite?
True
Suppose 0 = u + u + 16. Let m be -3 - u*(-51)/6. Let p = m + 108. Is p composite?
False
Let f = -252 + 429. Is f a prime number?
False
Suppose -5*b - 19 = -3*g, -3*b + 5 = -5*g + 26. Let w be (b/(-3))/(2/21). Suppose -33 = -w*f + 4*f. Is f a composite number?
False
Suppose -5*g + 2 = -3. Let b(o) = -g + 0 - 74*o + 2. Is b(-2) composite?
False
Let r be (58/3)/((-2)/9). Let y be ((r - 2) + 0)*-1. Suppose x = -0*x + y. Is x prime?
True
Is (3647/(-42)*3)/(2/(-4)) a composite number?
False
Let m be (3/4)/(13/52). Is 1057/28 - m/4 a composite number?
False
Let k = -373 - -606. Is k prime?
True
Let k(s) be the second derivative of s**4/6 + 2*s**3/3 - 11*s**2/2 + s. Is k(-9) a composite number?
True
Let j = 247 - 144. Is j a prime number?
True
Let b be (-8 - -7)/(1 - 0). Is (2 + b)*161/1 a prime number?
False
Let j = 513 - 206. Is j a prime number?
True
Suppose 0 = 2*q - 5*q - 4*a + 135, -4*a = -3*q + 111. Suppose q = 3*y - 304. Is y composite?
True
Let b(z) = 3*z**2 - 3*z + 0 - 3 - 1. Suppose 5*m - 17 = x, -m = 3*x - 0*x - 13. Is b(x) prime?
False
Let o(n) = 29*n**2 + 2*n - 4. Let g be o(-4). Suppose g = 10*l - 6*l. Is l a composite number?
False
Let c(n) = -n**3 - 10*n**2 - n - 12. Let b be c(-10). Is b + 0 + 3 + 22 composite?
False
Suppose -v + 3*v = 26. Suppose -o - 2 + 29 = 0. Let i = o - v. Is i prime?
False
Let j be ((1 + -7)/(-2))/1. Suppose 210 - 45 = j*r - 3*k, -4*k + 204 = 4*r. Is r a prime number?
True
Let s(r) = r**2 + 2*r**2 + 49 - 4*r**2. Let n(t) = -t - 1. Let a be n(-1). Is s(a) composite?
True
Let c = -44 + 90. Is c a composite number?
True
Suppose -5*p = -309 - 236. Is p a composite number?
False
Suppose 297 = 5*v - 3*l, -4*v + 227 = -4*l - 17. Let f = v - -1. Is f composite?
True
Suppose -4 = 2*y - 3*y. Suppose 42 = 2*m + m + 3*o, -3*m = y*o - 46. Is m/(-15) + (-59)/(-3) prime?
True
Is (-5)/(-1*(-4)/(-2876)) a composite number?
True
Let o = 276 + -137. Is o a prime number?
True
Suppose 0 = y - 1443 - 684. Suppose 0 = -4*o + o + y. Is o composite?
False
Let g = -295 - -2. Is g*(2 + -5 + 2) composite?
False
Let x be (78/8)/((-2)/(-104)). Is 6/8 + x/12 prime?
True
Suppose 12 - 118 = i. Let y = i - -197. Is (13 - 1)*y/28 prime?
False
Let j(l) = l + 14. Let z be j(-12). Let v(c) = 61*c - 3. Is v(z) a composite number?
True
Let u(z) = 499*z + 46. Is u(3) a prime number?
True
Let c(r) = r**2 - 9*r - 11. Suppose -13 - 11 = 3*l. Let u be c(l). Suppose o + 4*o - u = 0. Is o a composite number?
True
Let r(s) be the first derivative of s**4/4 - 4*s**3 - 6*s**2 - 13*s - 2. Let b be r(13). Suppose -3*m + 7*m - 1652 = b. Is m a composite number?
True
Let o(n) = n**2 + 4*n + 6. Let u(g) = 5*g**2 + 15*g + 25. Suppose 2*a + 26 = 4*h, 0*h + 2*a - 28 = -2*h. Let q(w) = h*o(w) - 2*u(w). Is q(5) prime?
False
Let l(v) be the first derivative of 37*v**3/3 - v**2/2 + 1. Let o be l(1). Suppose 0 = -2*n - 2*n + o. Is n a prime number?
False
Let u = 258 - -133. Is u a prime number?
False
Let z = 111 - 65. Is z a prime number?
False
Let m = 5 - 5. Is (25 - 2) + (m - 0) a composite number?
False
Let f(o) = o**3 - o**2 - 1. Let t be f(1). Let g = t + 3. Suppose -k + 586 = g*r, r = 3*r - 2*k - 598. Is r prime?
False
Let h = -6 - -11. Suppose -72 = -n - 5*j, 0 = -h*n - j - j + 383. Suppose -3*u - b = -53, 3*u - n = b + 4*b. Is u a prime number?
True
Let m(y) = -19*y - 32. Is m(-15) a prime number?
False
Let g be ((-68)/16)/(1/4). Is 2 - (-1 + g - -1) a prime number?
True
Is 86 + -2 - 2 - -3 prime?
False
Suppose -3*y = -0*y + 21. Let g = -9 - y. Is -2*(151/g + -3) composite?
False
Suppose -19 + 1 = -3*h. Let a = 1 + 2. Suppose p - a*p = -h. Is p composite?
False
Suppose 0*l + 84 = -2*l. Let w be ((-11)/3)/(2/l). Suppose -a + p + 11 = -9, 0 = -4*a + 5*p + w. Is a prime?
True
Let n(d) = 6*d**2 + 3*d + 5. Let o(i) = 6*i**2 + 8*i + 5. Let y(x) = x**2 + x + 1. Let l(r) = -o(r) + 5*y(r). Let v be l(-4). Is n(v) a composite number?
False
Let v(a) = 43*a**3 + 1. Let k be v(1). Let y = k - -35. Is y a composite number?
False
Let f(s) be the third derivative of s**8/1344 + s**7/840 - s**6/144 + s**5/60 + s**4/12 + 2*s**2. Let t(r) be the second derivative of f(r). Is t(3) composite?
False
Is 1752/3 - (1 - -2) prime?
False
Suppose f - 2*f - 3*v = -6, 5*f - 6 = -3*v. Let y(q) = q**2 + q + 3. Let k be y(f). Suppose 0 = m - k - 0. Is m composite?
False
Suppose v - 4*d + 10 = -0*v, 10 = 2*v + 2*d. Suppose 5*k = -v + 12. Suppose k*c + 4 = 0, c + 32 = -2*l + 136. Is l composite?
False
Let j(f) = f**3 + 7*f**2 - 13*f - 9. Suppose -2*i + 8 - 24 = 0. Is j(i) a prime number?
True
Let o = -9665 + 15100. Is o composite?
True
Suppose u - 4*t - 4589 + 1740 = 0, 8536 = 3*u - t. Is u a composite number?
True
Suppose -2*q + 1582 = -0*q. Is q composite?
True
Let z be 938/(-5) - 12/30. Let d be (-4)/6 + z/(-12). Is 77/5 - 6/d prime?
False
Let g(f) = 36*f**2 - 3*f - 1. Is g(-2) composite?
False
Let k = 8 - 4. Suppose -11 = t - k. Is (-373)/t + 6/(-21) composite?
False
Suppose 0*m + 6 = h - 5*m, 2*h + 3*m - 64 = 0. Is h a prime number?
False
Suppose 0*n = n + 4*x - 167, 0 = 2*n - 4*x - 394. Is n/((-2 + 1)*-1) prime?
False
Is 100412/91 - 6/14 a composite number?
False
Let m = 187 + 82. Let a = 322 - 508. Let q = a + m. Is q prime?
True
Let u(v) be the first derivative of 11*v**2/2 + v + 3. Is u(2) a prime number?
True
Let s(i) = 0*i**2 + 6 - 3 + i**2 + 5*i. Let z be s(-5). Suppose h + 180 = 5*r, 4*h + 91 = -0*r + z*r. Is r prime?
True
Let u(o) = o**2 - 5*o - 4. Let i be u(6). Suppose -3*h + 233 = -i*b, -5*h - b + 3*b = -391. Is h a composite number?
False
Let q(m) = -m + 87. Let k be q(0). Suppose -k = -5*s + 38. Suppose 4*z = 5*z - s. Is z a prime number?
False
Suppose -3*s - 5*i + 105 = 0, 0 = 2*s + 3*s + 2*i - 194. Suppose -2*k - s = -3*o, 45 - 9 = o + 5*k. Let b = 3 + o. Is b composite?
False
Suppose -210 = -f + 162. Suppose -4*s + 516 = 2*p, 3*s = -p + f + 15. Is s a composite number?
True
Let l(v) = -v + 3. Let y be l(-6). Let w be (1 - -1)/((-6)/y). Is (-337)/w - (-8)/12 a prime number?
True
Let i(d) be the first derivative of d**2/2 - d - 1. Let l be i(-6). Let n(r) = 2*r**2 + 7*r. Is n(l) a prime number?
False
Suppose -469 = -m + 282. Is m a composite number?
False
Suppose 4*t = -t + 15. Suppose 3*q + t*i - 251 = -56, 10 = -5*i. Is q a prime number?
True
Let t(h) be the third derivative of 157*h**5/60 + h**4/12 - h**3/6 + h**2. Let n be t(1). Suppose o = -o + n. Is o composite?
False
Let c be 1*((-9)/(-3) + -3). Suppose 5*g - 5 = -4*q - 4, 5*q + 5*g = c. Is 83/((0 + -1)*q) composite?
False
Is (1016/16)/(1/2) prime?
True
Let a = 30 + -16. Is (a/4)/((-3)/(-42)) prime?
False
Let s = 116 - 50. Suppose s + 116 = -l. Let u = -91 - l. Is u prime?
False
Let a(m) = 2 - m + 0*m + 0. Let o be a(-2). Suppose -3*w = -3*z + 150, 0*z = 4*z + o*w - 224. Is z a prime number?
True
Suppose -3*b = -0*b - 3*d - 21, -21 = -3*b + 2*d. Let y = 11 - b. Suppose -5*s + 0*s = -r - 127, 0 = -4*s + y*r + 108. Is s prime?
False
Suppose 3*c + 535 = -r + 3*r, 2*r + 4*c - 514 = 0. Is r prime?
True
Suppose 3*m = -3*n - 0*n + 438, -2*m + 3*n = -287. Is m prime?
False
Let i(b) = b**2 - 10*b - 8. Is i(-9) a composite number?
False
Let q = 6 - -15. Suppose -5*z = w - q, z = -4*w + 38 + 65. Suppose -4*j = -5*j + w. Is j a prime number?
False
Let z(m) = -10*m + 1. Suppose 1 = -2*g - 3. Is z(g) a prime number?
False
Let q be ((-5)/10)/((-1)/32). Suppose 3*y - y = q. Let f(d) = -d**3 + 9*d**2 - 2*d - 1. Is f(y) a composite number?
False
Let n = 134 - -57. Is n a composite number?
False
Let n = 10 - 7. Suppose -y + 18 = -n*y. Let q(l) = -l**2 - 13*l + 1. Is q(y) a prime number?
True
Let j be (-4)/24 + 35/(-6). Let z be (-2)/j + (-50)/15. Let b(a) = -12*a - 1. Is b(z) composite?
True
Suppose -5*h + 422 = 67. Is h a prime number?
True
Let y(p) = -p**3 + 9*p**2 + 2*p + 17. Is y(8) a composite number?
False
Let g = -1636 + 3135. Is g prime?