z be l(4). Let i = m - z. Is i composite?
True
Is ((-28)/21 + 6)/((-2)/(-57)) composite?
True
Let n(z) = 51*z**2 + 8*z + 14. Is n(7) composite?
True
Let j(i) = 46*i - 31. Is j(7) composite?
True
Suppose 6*f = 7*f - 3. Suppose 0 = f*u - 799 + 22. Is u a composite number?
True
Let f = -53 + 264. Is f a prime number?
True
Is (-2)/(-2) - (-20 + -4) prime?
False
Suppose 0 = -9*t + 5*t + 476. Is t a composite number?
True
Suppose 3*c - 108 = 4*c. Is c/(-16) + (-1)/(-4) composite?
False
Is (2 - 5 - 0) + 98 composite?
True
Suppose -1541 = -4*z + 4*b + b, -3*z - 3*b + 1176 = 0. Is z a composite number?
False
Let u = 6 - 4. Let f be 2 + 865 + (u - 0). Suppose -5*x + f - 119 = 5*s, 2*s - x - 285 = 0. Is s prime?
False
Let j = 22 + -16. Suppose -5*u - 127 = -3*h - 582, 3*h = 0. Let q = j + u. Is q a composite number?
False
Let u(w) = -w**3 - 4*w**2 - 3*w - 2. Let g be u(-3). Let h = -9 - -20. Let c = h - g. Is c a prime number?
True
Suppose 0*n - 5*n + 25 = 5*j, -5 = -5*n. Suppose -2*k + 2*p + 212 = 640, p + 851 = -j*k. Is (-4)/(-6)*k/(-2) prime?
True
Suppose 4*m - n + 6*n = 17, 2*m - 3*n - 3 = 0. Suppose -4*z + 58 = -m*z. Is z a prime number?
False
Is ((-1606)/3)/((-26)/39) a composite number?
True
Let y be 1/(3 + 10/(-4)). Suppose d - y*d = -235. Is d composite?
True
Suppose 3*a = -0*u - u - 9, 4*u - 4 = -2*a. Suppose 2*d + u = 3*d. Is d composite?
False
Is ((-45)/(-20) + 1)*28 a composite number?
True
Suppose 2*f + 2*s - 66 = 198, f - s = 136. Is f a composite number?
True
Let s be -2 - -1*(2 - -2). Suppose 0 = 5*p - 2*p + s*y - 212, -94 = -p + 4*y. Is p prime?
False
Let i be 176121/(-45) + (-1)/5. Is 3/(-12) + i/(-8) a composite number?
True
Suppose 3*u + 4*m + 0*m = -58, -2*m = 8. Let x = -10 - u. Suppose -x*a = l + 4*l - 223, -a - 3 = 0. Is l prime?
True
Suppose -4*p = 5*r - 429, 0 = 4*r + r - 2*p - 453. Is r a prime number?
True
Let v be 0 - (-1 - 4/1). Suppose 300 = 2*z + 2*i + 104, -4*z - v*i = -396. Is z prime?
False
Is 2/(-2) + 616/7 a prime number?
False
Let i = 1 + 1. Suppose 3 + 13 = -4*s, 28 = 5*a - i*s. Is -2*1*(-14)/a composite?
False
Let u be 2603/17 - (-4)/(-34). Is (u - -4) + -4 - -4 a prime number?
True
Let w(o) = 3*o**3 - 7*o**2 + 15*o + 8. Let t(m) = -m**3 + m**2 - m. Let a(s) = 4*t(s) + w(s). Is a(-7) a composite number?
False
Suppose s + 4*s + f - 16800 = 0, -f + 10082 = 3*s. Is s prime?
True
Suppose -3*v - 3*f + 5 = 2, -3*v + 17 = -4*f. Suppose -4*l - 4 = 0, 0 = -i + 2*l - v - 0. Let t = i + 38. Is t composite?
True
Let d be -2 + (-21)/(-3) + -1. Suppose 2*l = l + d. Suppose c - 44 = -4*j + 31, -3*j + 274 = l*c. Is c a composite number?
False
Suppose 5*w + j = -4*j + 25, 2*j - 16 = -5*w. Suppose -6 = -4*z + w. Suppose 2*x = -10 - 0, -z*x + 50 = 4*y. Is y composite?
True
Let i be 2*3 - (-1 - -2). Let s(k) be the third derivative of k**4/3 - 5*k**3/6 + 4*k**2. Is s(i) prime?
False
Suppose -4*a - g = -0*a - 3623, 0 = -2*a + g + 1819. Is a prime?
True
Let x(o) = -221*o + 1. Is x(-2) prime?
True
Suppose x = 58 + 44. Suppose -3*z = -0*z - x. Is z prime?
False
Is -2 - ((-126 - -2) + 3) prime?
False
Let u(q) = 13*q - 3. Let z be u(11). Suppose 5*b - 35 = z. Is b composite?
True
Let x be (-10)/(-6)*(1 + 2). Suppose -2*k - x*t = -3*t - 100, -4*k + 2*t = -212. Let g = k - 27. Is g composite?
True
Let w = -169 + 330. Is w a prime number?
False
Let m = 4 - 2. Suppose -444 = -2*n - m*n. Is n prime?
False
Suppose p + 49 = -5*r - 79, p - 5*r + 88 = 0. Let n = -50 - p. Is n a prime number?
False
Let v = -5 + 5. Let p be (-52 + v + 2)/(-1). Let o = -27 + p. Is o composite?
False
Let p = 2636 - 789. Is p a prime number?
True
Let m = -493 - -696. Is m a composite number?
True
Suppose 0 = -3*q + 11 + 10. Suppose 4*m + 4*v - q = 3*v, -m - 2 = 4*v. Suppose -j - m*j = -105. Is j a composite number?
True
Let i = 2355 - 974. Is i prime?
True
Let t be (3/4)/(4/496). Suppose -112 = -3*z + 2*d + t, -3*d = 6. Is z composite?
False
Suppose f - 2*x - 37 = 0, -4*f + 0*f + 154 = -2*x. Suppose 4*v - 149 = f. Is 2*v + 0 + 1 a composite number?
True
Let j = -5 + 216. Is j a prime number?
True
Let n = 152 - -65. Is n composite?
True
Suppose -f - 1 = k, 0*k - 5*f = 3*k + 9. Suppose -14 = 2*c + k. Let v(d) = -3*d - 9. Is v(c) a prime number?
False
Is 669*(-1 - 0)/(-3) a prime number?
True
Let m(d) = -6*d + 5. Let k(q) = -4*q - 4. Let r be k(3). Let w = 11 + r. Is m(w) a prime number?
False
Let d = -15 - -16. Is 89/(-3)*-3*d a prime number?
True
Suppose 0*p + 2*p - 8 = 0. Suppose 0 = -4*k + 20, 5*a + 0*k - p*k = -40. Is a/(-18) - 1706/(-18) a composite number?
True
Is 3 + ((-6)/3)/(1/(-250)) a prime number?
True
Let v = -15 - -17. Let y(a) be the second derivative of 29*a**4/12 - a**2/2 - a. Is y(v) a composite number?
True
Let t = -100 + -41. Let s = t + 97. Let f = -11 - s. Is f composite?
True
Let m be (411/(-2))/((-4)/8). Suppose -3*j = -0*j - m. Let f = -84 + j. Is f composite?
False
Suppose -4*x - 1280 = -5*p - 9*x, -1012 = -4*p + 2*x. Suppose -4*k = -p - 1254. Is k a prime number?
False
Let f(u) be the third derivative of -u**6/120 + u**5/60 - u**4/24 - u**3/6 - u**2. Let t be f(0). Is (t/(-2))/((-3)/(-114)) prime?
True
Let v = 8 - 8. Let s be -2 + (v - 6/(-2)). Is (215 + -4)*1/s composite?
False
Let k(u) = 1 + 2 + 2*u**2 + 3*u**2 + 7*u**2. Is k(3) a composite number?
True
Let o be 2/(561/555 + -1). Suppose -5*i - 3*p - 2*p + o = 0, i = 4*p + 42. Is (6/3)/(4/i) composite?
False
Let x(z) = -z**3 + 8*z**2 + z + 3. Suppose -3*l = -0*w + 5*w - 45, -5*l = 5*w - 65. Let v be 10/15 - l/(-3). Is x(v) a prime number?
True
Let x(k) be the first derivative of k**4/4 + 8*k**3/3 - 13*k**2/2 - 3*k - 8. Let a(m) = -2*m**2 + 2*m + 3. Let j be a(-2). Is x(j) prime?
False
Suppose 3*a - 3603 = 2*p, -a - 10*p + 1200 = -11*p. Is a a composite number?
True
Let h(i) = -8*i - i - 2 - 3*i. Is h(-2) prime?
False
Let a(d) = -d**2 + 13*d - 16. Let g be a(11). Is (3/g)/((-4)/(-1256)) a composite number?
False
Suppose 2*f - 2*l - 5096 = 0, -3*f + 7473 = 2*l - 156. Is f a prime number?
False
Let w(r) = -r**3 + 9*r**2 + 9*r + 8. Let u be w(10). Is 5 + -4 + (-122)/u composite?
True
Let k(d) = d + 3. Suppose -3*q + 2*y - 7 - 5 = 0, 4*y - 8 = -2*q. Let f be k(q). Is (-15)/(-2)*12 - f a composite number?
False
Let x(w) = 70*w - 27. Is x(11) composite?
False
Let k = -27 - -142. Let f = k + -26. Is f prime?
True
Let r(t) = 3*t**2 - t - 4. Let d(i) = -i**2 - i + 1. Let m(l) = -4*d(l) - r(l). Let o be m(-6). Is (34/(-4))/((-1)/o) prime?
False
Suppose 807 = 3*p - 0*p + 2*z, 2*z - 269 = -p. Let w = 388 - p. Is w prime?
False
Suppose -4*r = r. Suppose 0 = 3*u - r*u. Suppose s + 30 - 87 = u. Is s a composite number?
True
Let f = 3631 - 594. Is f prime?
True
Let f = 841 + -395. Is f a composite number?
True
Suppose -4*t - 132 = -640. Is t prime?
True
Let q(y) = 3*y**2 - 3*y + 1. Let z be q(4). Suppose 3*d - 2*u - 234 - z = 0, -3*d + u + 269 = 0. Is d a composite number?
False
Let q(t) = -124*t**2 - 2*t - 1. Let f be q(-1). Let b = f - -202. Is b prime?
True
Let k(t) = 13*t**2 - 10*t + 14. Is k(7) prime?
False
Let f(c) = -c + 9. Let s be f(7). Let x(r) = r**2 - r + 1. Let j be x(s). Suppose -y - 5*z + 19 = -16, 0 = 5*y - j*z - 175. Is y a composite number?
True
Let i = -1603 - -2346. Is i a composite number?
False
Suppose -1041 = -5*o + 2*o. Is o a composite number?
False
Let i = -592 - -1430. Is i a composite number?
True
Let v(m) be the second derivative of 4*m**2 - 2*m + 0 - 5/6*m**3. Is v(-9) a composite number?
False
Suppose 0 = p - 1676 - 761. Is p a prime number?
True
Let v = -11 + 15. Suppose 0 = z + v*z. Let f(c) = c**3 - c**2 + 89. Is f(z) a prime number?
True
Is (-13882)/(-8) - (-3)/(-12) prime?
False
Let m(t) be the first derivative of t**6/10 + t**4/24 - t**3/3 + 1. Let j(z) be the third derivative of m(z). Is j(1) a composite number?
False
Suppose -s = 2*z + 15 - 4, -5*z = 2*s + 27. Let y = s + 5. Suppose 13 + 63 = y*i. Is i a prime number?
True
Suppose -1027 = -3*a + 74. Is a prime?
True
Suppose -4*z - 381 = -r, 3*r + 2*r = z + 1810. Is r composite?
True
Suppose 3*f + 5*c + 829 = 4*f, 0 = 2*f + 4*c - 1686. Is f a composite number?
False
Let s(p) = p**2 - p. Let i be s(1). Is -7 + 5 + 241 + i prime?
True
Let x(v) = v**3 - 3*v + 1. Let p be x(2). Suppose -t = -p*i - 54 - 11, 5*t = 2*i + 273