+ l + 4*f = -m. Is l a prime number?
False
Is (-1)/5 + (-3912)/20*-2 composite?
True
Suppose v = 2*v - 5. Suppose 5*z - 754 = 2*z - o, -746 = -3*z - v*o. Let c = -103 + z. Is c prime?
True
Let k(c) = 11*c - 1 + 5 - c. Is k(3) composite?
True
Suppose 3*u - 5*u - 422 = 0. Let o = -56 - u. Is o a prime number?
False
Let a(l) be the third derivative of -l**5/60 - l**4/3 - l**3/6 - 3*l**2. Is a(-4) composite?
True
Let o(y) = 319*y**3 - y + 1. Is o(1) a prime number?
False
Let a = 1 + 0. Suppose -5 = 3*o + a. Is (446 - 4)*o/(-4) a prime number?
False
Suppose -i = -0*i - 743. Is i a prime number?
True
Let h = -73 + 206. Is h composite?
True
Let t(x) = -4*x**3 - 16*x**2 - 1. Is t(-7) prime?
True
Let b(g) be the first derivative of 1/2*g**2 + 1 + 69*g. Is b(0) composite?
True
Suppose 0*a - 3*a = 0. Suppose a = -2*q - 0*q + 58. Let k = q + -15. Is k composite?
True
Suppose -2*r - 1138 = -3*w, 2*w - 3*r = -0*r + 752. Is w a composite number?
True
Let o(h) = -3*h**3 + 4*h**2 - h - 7. Is o(-3) prime?
True
Suppose 0*r + 32 = -4*r. Let d = r + 21. Is d a composite number?
False
Let z(k) = 2*k**3 - 12*k**2 + 3*k - 16. Is z(6) prime?
True
Let b(s) be the second derivative of s**4/12 + 5*s**3/6 - 3*s**2/2 + 3*s. Let y be (2/4)/((-6)/96). Is b(y) composite?
True
Let p be ((-1)/(-2))/(3/246). Let c = 158 + -95. Let j = c - p. Is j composite?
True
Suppose 0 = -5*x + 22 + 163. Is x composite?
False
Let x(s) = 8*s + 4. Let v be x(7). Let b = v - 32. Let y = -3 + b. Is y a prime number?
False
Let t(j) = 33*j**2 - 33*j**2 - j + 148*j**2. Is t(-1) composite?
False
Let c(y) = 112*y - 1. Is c(2) a composite number?
False
Let r(n) = 3*n - 3*n + 1 + 34*n**2. Let h = -15 - -14. Is r(h) a composite number?
True
Let z = 4 - 1. Is ((-55)/z)/(2/(-6)) prime?
False
Suppose -1329 = -c + 1438. Is c a prime number?
True
Let l be (6/8)/((-3)/(-12)). Let f = l - -1. Suppose f*i + 231 = 7*i. Is i composite?
True
Suppose 2*a - 3*a = -287. Is a a composite number?
True
Suppose -5*q + 12 = -q. Suppose 281 = 3*r + 4*d, -3*r - 2*d + 256 = -q*d. Let c = r + -54. Is c a prime number?
False
Let b = 23 - 21. Suppose -3*n - b*n = -1775. Is n a prime number?
False
Let j = 130 - 17. Suppose 0 = l + 2*z + 2*z - j, -3*z = -3. Is l a composite number?
False
Let m = 35 - -104. Is m composite?
False
Is (-7 - -9)*(-1)/(-2)*149 prime?
True
Let g = 5 + -1. Suppose -g*h + 46 = -2*h. Is h a composite number?
False
Let z = 2988 + -1208. Suppose 5*u = u + z. Is u a prime number?
False
Let c(z) = z**2 + z. Let t be c(1). Suppose 0 = -t*u + 4*f + f + 418, -f = 2*u - 394. Is u composite?
False
Let o(i) = 7*i**2 - 2. Let k(y) = 3*y**2 - 3*y**2 - y**2 - 2*y**3 + 5*y**3. Let f be k(1). Is o(f) prime?
False
Let j = -2 - 0. Let t(u) = -3*u - 2. Let w be t(j). Suppose 2*f = -4*c + 3*f + 577, w*f - 409 = -3*c. Is c composite?
True
Is (-8 + 7)/(2/(-106)) a prime number?
True
Let u(n) = -4*n - 5. Let m(f) = -f - 6. Let d be m(0). Is u(d) a composite number?
False
Suppose 4*k - 3*q = 1346, -q = 3*k - 0*q - 1003. Is k composite?
True
Let p(o) = 4*o**2 - 4*o + 1. Let f be 3 + -3 + (-3 - 0). Is p(f) a prime number?
False
Let f = 220 - 136. Let r = f + -53. Suppose r = 3*i - 2*i. Is i a composite number?
False
Suppose 2 = y - 4*b, y + b - 2 = 2*b. Suppose 5*u - 761 = y*f + 48, -2*f = u - 169. Is u a prime number?
True
Let n(w) = w**2 + 27. Is n(-14) a composite number?
False
Suppose 4*p + 4*n = 28, 3*p + 2*n + 3*n - 27 = 0. Suppose 0 = v - p, -o = -0*o + 4*v - 37. Is o prime?
False
Let y(i) = 48*i. Let q be y(3). Suppose 2*r = -r + q. Let c = -29 + r. Is c a composite number?
False
Let j(n) = -4*n - 1. Let c be j(-1). Suppose c*h - 225 = 4*o - 2*o, 0 = -4*o + 12. Is h a prime number?
False
Suppose 0 = 5*h - 3*b - 740, 3*b + 735 = 5*h + b. Is h a composite number?
True
Let o(r) = 2*r**2 + 3*r + 1. Let n be o(-2). Suppose -c + 6*c = 10. Suppose c*k = -n*z + 15, 17 = -5*z - 8. Is k a prime number?
False
Let i = 517 - 1461. Let t = -129 - i. Is t prime?
False
Let u(j) = 13 - 2 - j**3 - 5*j**2 + 0*j**3 - 3*j**2 - 12*j. Is u(-10) prime?
True
Let f(z) = -z**2 - 6*z + 5. Let k be f(-7). Is 7/((-2)/k) - 0 prime?
True
Let v(x) = -x**2 - 11*x + 4. Let c be v(-7). Let g = -21 + c. Is g prime?
True
Suppose m = 10 - 7. Suppose 641 = 2*s + 4*k - m*k, 0 = -2*s + 4*k + 626. Is s composite?
True
Let g be (24/(-16))/((-3)/2). Let d be (-42)/(1/11*g). Let o = -211 - d. Is o a prime number?
True
Let f be (-4)/20 - (-1)/5. Suppose f*j = -5*j + 1015. Is j a composite number?
True
Suppose -2*q - 10 + 174 = 0. Let r = q - 15. Is r prime?
True
Suppose 24540 = 5*k + 2*n - 7*n, -2*n - 2 = 0. Is k a prime number?
False
Let r be 4*1/2 + 25. Suppose -3*h - h - y = -117, 0 = -4*h + 5*y + 87. Suppose -s + h + r = 0. Is s a prime number?
False
Let h(g) = -2*g + 16. Let n be h(7). Is 0 - n - 639/(-3) prime?
True
Let m(l) be the second derivative of l**7/630 - l**6/360 + l**5/120 + l**4/12 + 2*l. Let z(d) be the third derivative of m(d). Is z(2) prime?
True
Let c be 1*(-1 + 11 + 0). Suppose -3*h = -4*q - 181, -h = 2*q - 2*h + 93. Let v = c - q. Is v composite?
False
Suppose -3*i + 28 = -206. Let d = -45 + i. Is d prime?
False
Let d(v) = -v**2 + 3*v. Let m be d(3). Let g(t) = -t**2 + 4. Let y be g(m). Suppose 4*f - 5*i = -0*f + 155, y*i = -12. Is f a prime number?
False
Let q = 1 - -17. Let j be 1 - q/(1*-2). Let z = j - 7. Is z a composite number?
False
Let n(d) be the third derivative of 29*d**4/24 + d**3/2 - d**2. Is n(10) composite?
False
Suppose 4*m = -5*v + 501, -5*m + 610 = -0*m + 3*v. Suppose -m - 477 = -2*l. Is l a composite number?
True
Let c be 9/(-6)*176/(-12). Suppose c = 5*h - 33. Is h prime?
True
Let a(c) = 292*c - 7. Is a(6) a prime number?
False
Let y = 711 - 170. Is y a composite number?
False
Let y be 0 - (0 + (-260)/2). Is 1 + y/(-1 + 2) composite?
False
Let n(x) = -x**2 + 0*x**3 + 0*x + 3*x + 3 - 42*x**3. Is n(-2) a composite number?
True
Suppose v + 11 = 4*h + 6*v, 0 = 5*h - 5*v - 25. Suppose -4*p - 3*m + 13080 = -4*m, 6554 = 2*p - h*m. Is (-2)/(-7) + p/49 prime?
True
Let p be (-17)/(-5) - (-14)/(-35). Let g be p + -3 - -2 - -1140. Is g/4 - 12/(-8) a prime number?
False
Let r(c) = 2*c + 2. Let g be r(3). Let q(w) = 2*w**3 + 6 - 3*w**3 + 4*w - 2*w**3 + 4*w**3 - 8*w**2. Is q(g) a composite number?
True
Suppose 5*b + 6*p = p - 5, 0 = -3*b - 5*p - 9. Suppose 4*n - b*n = 42. Is n a composite number?
True
Suppose 5*n + 0*y - 294 = y, 2*n + 5*y = 123. Is n prime?
True
Let z(r) = -r**2 - 9*r + 3. Let p be z(-9). Suppose -5*t + u + 721 = 0, p*u + 419 = 3*t - u. Is t prime?
False
Let m(k) = k**3 + 6*k**2 - 2*k - 5. Let q be m(-6). Let l(c) = c**2 - 7*c. Let j be l(q). Is (j + -2)*70/(-4) prime?
False
Let k be 578*(3 + (-5)/2). Let x = -102 + k. Is x prime?
False
Let u(p) = 2*p - 12. Let z be u(8). Let i be (z - 4)/(-1*1). Suppose r + 3*k - 85 = i, 0 = -5*r - 5*k - 94 + 519. Is r prime?
False
Suppose 0 = 6*f - f - 25. Suppose f*c - 334 = 3*c - 4*v, 802 = 5*c - v. Is c a prime number?
False
Let t(y) = y - 6. Let x be t(5). Is x*1/2*-106 a composite number?
False
Let r(s) = s**2 - 12*s + 4. Let o be r(12). Let m(k) = -k**3 + 2*k**2 - 2*k + 5. Let i be m(-5). Suppose o*z - i = -z. Is z prime?
False
Let o(d) = -d**3 + 7*d**2 + 2*d - 2. Let a be o(7). Let v = a + -25. Let u = 22 - v. Is u a prime number?
False
Suppose 0 = -2*n + 257 - 3. Is n prime?
True
Let x be -2 + 0 + (0 - -5). Suppose 0 = x*q - 7 - 8. Suppose 111 = q*s - 19. Is s prime?
False
Let z be (-6)/5*40/(-12). Let b be (-8 - 1)*(-6 + -1). Suppose -2*d - 4*t + b = t, z*d - 144 = -4*t. Is d a composite number?
True
Let u(t) = 3*t - 1. Let a be u(1). Let p(d) = -1 - 18*d**3 - 4*d**3 - a*d**3. Is p(-1) prime?
True
Suppose -3*j = 4*b + 206, 4*j - b + 87 = -194. Let x = j - -32. Let p = 120 + x. Is p composite?
True
Let d(s) be the first derivative of -s**5/20 + s**4/24 + s**3 - 3. Let y(v) be the third derivative of d(v). Is y(-3) a prime number?
True
Let h = 8 - 32. Let n = 27 - h. Is n a prime number?
False
Let p(n) = -4*n**2 + 14*n - 7. Let h(i) = -17*i**2 + 57*i - 29. Let d(r) = 2*h(r) - 9*p(r). Is d(12) a composite number?
False
Suppose 0*l = l. Suppose 3*y - 139 = 4*v, l = -y + 5*v + 21 + 7. Is y a composite number?
False
Let s be -7*(3 - 69/21). Is s - (-49 - 6/3) a composite number?
Fa