8 = -0*r, 5*k = -5*r + 1105. Is k composite?
False
Is 35/(-14)*1492/(-10) composite?
False
Let x = 3 + -1. Is (10/(-4))/(x/(-28)) a composite number?
True
Let f(j) = 55*j**3 - j - 1. Let b be f(-1). Let d = 148 + b. Suppose t - 1 = -3*y + d, 5 = y. Is t prime?
True
Let t(b) = b**3 + 11*b**2 - 12*b - 7. Is t(-10) composite?
True
Suppose -2*l + t = 92, 0 = l - 3*t - 33 + 84. Let k be (-6)/3 - (l + 0). Suppose 5*y = -z + 1 + 4, -4*z + k = -3*y. Is z prime?
False
Let r = 10 + -6. Suppose -2*w + r = -3*i, 3*w = 2*i - i + 6. Suppose i = -6*m + 2*m + 76. Is m a composite number?
False
Suppose 10*w = 5*w + 15. Let p = w - 2. Suppose -h = 4, -2*v + h = -p - 23. Is v composite?
True
Let p(f) = 162*f + 7. Is p(7) a prime number?
False
Suppose x - 3100 = -3*q + 984, q - x - 1360 = 0. Is q prime?
True
Let n(v) = 3*v**2 + 5*v + 29. Is n(-7) a prime number?
False
Let p(i) = i**3 + 9*i**2 + 9*i + 10. Let w be p(-8). Suppose 16 = -w*v + 90. Is v prime?
True
Let z(j) = j**3 + 17*j**2 - 9*j + 31. Is z(-10) a composite number?
False
Let w be -1*(-205)/(2/(-2)). Is 2/(-1) + 0 - w a prime number?
False
Let d = -80 - -113. Is d a prime number?
False
Let v(d) be the second derivative of d**5/20 + 3*d**4/4 + 5*d**3/3 + 9*d**2/2 - 3*d. Let x be (-14)/(-1)*(-1)/2. Is v(x) composite?
False
Let k(v) = -v**2 - 7*v - 5. Let u be k(-7). Let l(t) = 7*t**2 + 7*t - 4*t**2 - 7*t + 4. Is l(u) a composite number?
False
Let c(u) = -u**2 + 9*u - 2. Let k be c(7). Let r be 3/2*k/9. Suppose -2*b - d + 38 = 0, -3*b - 6*d = -r*d - 47. Is b a prime number?
False
Suppose 463 = -2*u + 53. Let p = 304 + u. Let t = 194 - p. Is t composite?
True
Suppose 0 = -3*d + 3363 - 702. Is d composite?
False
Suppose z - 112 - 79 = -5*p, 4*z + 5*p - 824 = 0. Is z prime?
True
Suppose -5*h - 9 - 11 = 0. Let b = 229 - h. Is b a prime number?
True
Suppose -5*g - v + 0 = -8, 3*v - 5 = 4*g. Suppose 2*l - 5 = -g. Suppose -t = l*x - 35, x = 6*x. Is t a prime number?
False
Let j(m) = 8*m**2 + 7*m - 6. Let p be j(-7). Suppose 5*y - 562 = 3*f, -2*f - p = -3*y - 0*f. Is y a composite number?
False
Let u be (2/(-2))/(5/(-15)). Let p = 4 + -8. Let g = u - p. Is g a composite number?
False
Suppose -d - d - 46 = 0. Let u = 10 - d. Suppose -u = -3*a - 0*a. Is a a composite number?
False
Let k be (1 - 2)/(1/(-3)). Suppose c - 4 = 5*m + k*c, 3*c = 3*m - 6. Suppose 4*w + 3*i - 331 = 0, -3*w + m*w = 4*i - 257. Is w composite?
False
Suppose -3*g = 2*r - 4*g - 328, 6 = -3*g. Is r a composite number?
False
Let f = -6 + 8. Suppose f*n = -0*n + 26. Is n a prime number?
True
Let k(l) = 5*l - 4. Let g(y) = -4*y + 5. Let t(q) = 4*g(q) + 3*k(q). Let r be t(9). Is (25/15)/(r/(-9)) a composite number?
True
Suppose -3*r - 1 = -7. Suppose -3*v + r*v = -3*n + 113, -n + 3*v = -27. Suppose 2*p - n = -p. Is p composite?
False
Suppose q = r + 218, -2*r + 506 = 2*q + 86. Is q a composite number?
True
Let t(f) = f - 2. Let b be t(3). Let h be 1/1*(-2 - -1). Is (-11)/h + (1 - b) prime?
True
Let g = -10320 - -20221. Is g a prime number?
True
Let g = 865 - 506. Is g a prime number?
True
Let o = -16 + -2. Suppose 3*i = 1 - 10. Let n = i - o. Is n a prime number?
False
Let t(k) = -k**3 + 3*k**2 + 6*k - 5. Let c be t(4). Suppose 0 = 2*q + 5*n - 42, 0 = -c*q - n + 37. Suppose -2*z + q = 3*o, -z - o + 21 = z. Is z composite?
False
Let f = 2325 + -668. Is f a composite number?
False
Is 2/(-1) - 14*-6 composite?
True
Suppose -s - c = 6, -2*s - 15 = 7*c - 2*c. Is (-116)/(s/((-5)/(-2))) prime?
False
Suppose -2*u + 0*u = r + 14, -4*u - 12 = -2*r. Let x be 74/u*(-2 + 7). Is (-1 - -3)*x/(-4) prime?
True
Suppose -5*n = -i + 1394, -2*n = -4*i + 642 + 4880. Is i a prime number?
False
Is ((-4)/2)/((-8)/812) a composite number?
True
Let w(j) = -j**2 + 6*j + 10. Let c be w(7). Let t(u) be the first derivative of u**3/3 - u**2 + 3*u + 1. Is t(c) a prime number?
False
Let w = 95 - 76. Is w composite?
False
Suppose -3*k = -7 - 8. Suppose k*j = 2*j + 3*q + 384, -4*j + 513 = -5*q. Is j a composite number?
False
Let x(o) be the third derivative of -5*o**4/8 - 5*o**3/6 + 4*o**2. Is x(-8) composite?
True
Let y = 4 - 0. Suppose 8*p - y*p - 40 = 0. Suppose -p = -4*q + 138. Is q a composite number?
False
Let j(d) = -259*d. Is j(-1) a prime number?
False
Let f(s) = -s**2 - 5*s + 2. Let o be f(-5). Suppose -3*l = -o*l - 139. Is l a composite number?
False
Let n = 7 - 5. Suppose -3*b + 4*d - 25 = 0, -b = n*d + 5 + 10. Let l = b + 48. Is l prime?
True
Let z(u) = -5*u - 4. Suppose -4*k - 4*c = 16, 3*c - 2*c = k + 6. Is z(k) a prime number?
False
Suppose -3*b + 450 = c + 2*c, -5*b + 740 = -5*c. Is b prime?
True
Let s(x) = 5*x**2 - 4*x - 5. Let t(j) = j**3 - 4*j**2 - 2*j - 1. Let i be t(4). Let z = i + 13. Is s(z) prime?
True
Let q be (-2)/(-5) + (-6)/15. Suppose 53 = h + 5*g, 3*h - h + 3*g - 78 = q. Is h prime?
False
Suppose 3*q = -5*c + 74 + 2159, -4*q = 16. Is c a prime number?
True
Suppose g + 4*c = -13, 5*g - c - 19 = -0*c. Suppose 0*s = -g*s - 12. Is (242/s - 3)*-2 prime?
True
Let t(h) = -3*h**3 - 11*h**2 + 7*h + 3. Let j(c) = c**3. Let x(m) = 5*j(m) + t(m). Is x(8) prime?
True
Suppose -14*i = -13*i + 5. Let n(r) = -5*r**3 + r**2 - 7. Let y(s) = -6*s**3 + s**2 + s - 7. Let c(h) = 5*n(h) - 4*y(h). Is c(i) a prime number?
True
Let u = 741 + -450. Is u a composite number?
True
Let d = 68 - -73. Is d a prime number?
False
Let p(a) = 5*a**3 - 3*a**2 + 3. Let w be p(5). Let x = 17 - 12. Suppose 5*r = 5*s - w - 182, 0 = -3*s - x*r + 409. Is s a composite number?
True
Let g be -1*2 - (-17 + 12). Suppose -g*r + 828 = -51. Is r composite?
False
Let r = 57 - 42. Is r a composite number?
True
Let x(m) = 122*m - 1. Let p be x(2). Suppose 0 = 4*r - p - 5. Suppose 4*n = 9*n + v - r, -4*v + 40 = 4*n. Is n a prime number?
True
Is 317 - -1 - (2 - -2) composite?
True
Let t = 12 + 3. Let d = 40 - t. Is d composite?
True
Is 2/9 + 3902/18 composite?
True
Let x(y) = 14*y - 9. Is x(4) composite?
False
Let d be (6/(-7))/((-18)/84). Suppose 5*p - 754 = -2*r, d*r - 3*p - 815 = 641. Is r a composite number?
False
Let v = -273 + 904. Is v a composite number?
False
Suppose -3*s - 4585 = -2*r, -r - 2*s + 4*s = -2293. Is r prime?
False
Suppose 0 = -3*m - 5*c - 10, 4*c + 5 + 3 = -3*m. Suppose m = -t - t + 10. Suppose 0 = v + 4*v - 5, -3*v = -t*y + 32. Is y a composite number?
False
Let p(s) be the first derivative of -s**4 + s**3/3 - s**2 + 5*s + 4. Let z be p(-4). Let b = z - 172. Is b composite?
False
Let r(p) = 127*p - 10. Is r(3) prime?
False
Let f(t) = -24*t - 5. Is f(-5) a prime number?
False
Suppose -5*f - 4*r + 4953 = 0, -f + 4*r = -4*f + 2967. Suppose 2*y + y = f. Suppose 0*x + x - 91 = -4*c, 5*c = -4*x + y. Is x composite?
False
Let i(a) = 7*a - 3. Let p be i(4). Suppose 4*c = -c + p. Suppose 3*d - 417 = -2*t, -2*d = 3*d + c*t - 695. Is d prime?
True
Let t(p) = 523*p**2 + 10*p + 8. Is t(-3) composite?
True
Let j be (2/4)/((-4)/(-24)). Suppose 2*p - 5*z = 68, 12 - 121 = -j*p + 4*z. Is p composite?
True
Is 3/(6/4426)*2/2 prime?
True
Suppose -108 = -2*b + 1054. Is b a composite number?
True
Let q(g) be the first derivative of -g - 3 - 81/2*g**2. Is q(-2) a prime number?
False
Let z = 154 - -237. Is z composite?
True
Suppose 4*l + 5*m = -4 - 0, 2*l - 5*m - 28 = 0. Suppose l*a - 5 - 11 = 0. Is (89/a)/((-1)/(-4)) a prime number?
True
Let s be 0 + 29 + 2 - 2. Suppose 5*u = 3*u. Suppose -k - 2*g + g + s = u, k - 4*g = 39. Is k a composite number?
False
Let u(o) = -20*o + 1. Let g be u(1). Let j = 40 + g. Is j composite?
True
Let a(g) = -4*g - 24*g + 17 + 10*g - 17*g. Is a(-10) a prime number?
True
Let g(i) = 7*i**2 - 3*i + 28. Is g(6) a prime number?
False
Let l = 1023 + -556. Is l composite?
False
Let r be 6/27 + 50/18. Suppose -2*p = 4*n + 2, r*n + 2*n - 5*p = -25. Is (49 - n) + 1 + 1 prime?
True
Let w be -2 + 4 + -3 - -1. Suppose s - 2 = -w. Suppose -4*z + 6 = 2*u, 2*z = s*u - 4*u + 16. Is u composite?
False
Let o = 260 - 149. Is o composite?
True
Suppose -3008 = -5*z - 143. Is z composite?
True
Let o be (-11 + 3)/(-4) + -6. Let z = o + 110. Is z composite?
True
Let j be (-111)/15 + 6/15. Let w = j + 11. Suppose 2*k - h + 6*h = -3, 0 = w*k + 2*h - 18. Is k prime?
False
Suppose -2*y = -5*y + 2682. Is 10/4*y/15 a prime number?
True
Let v be ((-71)/(-2))/(1/2). Let o = -40 + v. Is o a composite number?