- 3. Is z(-4) composite?
True
Let l(b) = -b**3 - 6*b**2 - 7*b - 6. Let f be l(-5). Suppose -44 - 4 = -f*k. Suppose -5*d + n = -13, d + 3*n = -d + k. Is d composite?
False
Let g = 1546 + -884. Is g prime?
False
Let x be (6/(-5))/(16/(-40)). Let o be (2 + 4)*x/(-9). Is ((-49)/(-3))/(o/(-6)) prime?
False
Suppose -5*c = 2*j - 737, -2*j + 95 = 4*c - 495. Let g be c/(-2)*8/(-6). Suppose 3*v + 73 = -3*o + 250, 2*o - 3*v = g. Is o a prime number?
False
Suppose 1055 = 3*u + w - 1772, -2833 = -3*u + 2*w. Is u a composite number?
True
Suppose 333 = 5*t + 4*t. Is t composite?
False
Suppose 5*l - 3*j = 17, 5*l + 3*j - 14 = 9. Suppose q + l*c = 3*c + 144, -3*q = 4*c - 429. Suppose 0 = -4*o - d + q, -o + 186 = 4*o - d. Is o composite?
False
Let q be 2*((-2)/4 + 0). Let f = 1 - q. Suppose 5*n = -f*x - x + 206, -2*n = 4*x - 270. Is x a prime number?
True
Suppose -q = 1596 - 5237. Is q a prime number?
False
Suppose 2*p + 5*d = 772, -3*p + 0*d = 2*d - 1147. Suppose 0*s + 3*s = p. Is s a prime number?
True
Let g = -42 - -61. Let c = -60 - g. Let l = 112 + c. Is l a prime number?
False
Is 0 + 7/((-14)/(-2202)) composite?
True
Let r be (-192)/(0 + -3) - 1. Let v = r - 28. Is v a prime number?
False
Let j = 30 + -15. Is (114/15)/(3/j) a prime number?
False
Is 3 - (0 + -4 + -6664) composite?
True
Suppose -3*x - x + 532 = 0. Is x prime?
False
Suppose -7*v + 932 = -3*v. Is v a prime number?
True
Let r(j) = -373*j + 2. Let f be r(-1). Suppose -1467 - 213 = -3*x. Let o = x - f. Is o a composite number?
True
Let w be 16/(-6)*(-18)/12. Suppose w*k - 4*a - 472 = 192, 2*k - 332 = -3*a. Is k prime?
False
Let r = -394 + 673. Let m = r + -160. Is m a prime number?
False
Let b(m) = 2*m - 7. Let u be b(5). Suppose 157 = 3*q + 4*j, -q - u*j = -3*q + 99. Is q composite?
True
Let a be (67/(-4))/((-5)/20). Suppose -358 = -4*k + 3*f, -2*k + a = -2*f - 111. Is k composite?
True
Suppose 5*s - 16 = 2*d, 0 = 5*d + 2*s - 27 + 9. Is 146 + -2*d/4 a prime number?
False
Let y = 38 + 371. Is y a prime number?
True
Let x(s) = 7*s + 1. Is x(24) prime?
False
Let j be ((-4)/(-1) - 14)/2. Let u(v) = -3*v**3 + 3*v**2 + 7*v + 4. Is u(j) a composite number?
False
Let v = 37 + 47. Suppose o = -4*s - 65, -3*s - 90 = 2*o + 15. Let m = o + v. Is m a composite number?
True
Let w(k) = -2*k**3 - 2*k**2 + 3 - k - 3*k + 3*k**3. Let x(m) = m**2 + 6*m - 3. Let h be x(-7). Is w(h) prime?
True
Suppose 4*h + 269 = -n, 0*h - 1110 = 4*n - h. Let g = n - -536. Is g a composite number?
True
Suppose -3*s = 5 - 14. Suppose 4*o = -5*d + 19, -s*o = 2*o + 4*d - 35. Is o a composite number?
False
Let k(v) = v**3 - 8*v**2 - v + 11. Let z be k(8). Let s be 1/z + (-24)/(-9). Suppose 421 = 5*j - 3*j + 5*p, s*j - 664 = -p. Is j prime?
True
Let z(i) = i**2 + 2*i. Let q be z(-3). Suppose q + 1 = -2*r. Is 2/(3/((-165)/r)) prime?
False
Let d(b) = 203*b**2. Let l be 2 + (2 - 5) + 0. Is d(l) a prime number?
False
Let w be 2/4*(2 + -2). Suppose -t - 2*t + 2146 = -a, 4*t - 2*a - 2864 = w. Suppose 3*x = -h + 881, -134 + t = 2*x - 3*h. Is x a composite number?
False
Let t be (0 + -1)*(-3 - 0). Is (-12)/(-18) - (-145)/t a composite number?
True
Let m = 82 + -49. Is m composite?
True
Let w(x) be the third derivative of -x**6/120 - x**5/30 + 3*x**4/8 + 7*x**3/6 + x**2. Let b(c) = c**2 + 5*c - 6. Let t be b(-5). Is w(t) a composite number?
False
Suppose 25*c - 30*c + 16855 = 0. Is c prime?
True
Let u(t) = -9*t**2 - 3*t - 4. Let k be u(-3). Is (3/(-6))/(2/k) prime?
True
Suppose -5 = -2*m + m. Suppose 5*g + 20 = x + 4*g, 0 = -m*g - 25. Let j = 54 - x. Is j composite?
True
Let g = -2004 + 2995. Is g composite?
False
Let p = -180 - -311. Suppose 0 = 5*b + 26 - p. Is b composite?
True
Let n(f) = 10*f**2 - 2. Let v be n(2). Let i(p) = p**3 - 8*p**2 + 8*p - 4. Let u be i(7). Suppose v + 55 = u*l. Is l prime?
True
Suppose -2*f = -1 + 3. Let s(g) = -89*g. Is s(f) a prime number?
True
Let s = -90 - -42. Let y = s + 137. Is y prime?
True
Suppose 4*p = 0, -4*o + 0*o + 3*p + 8 = 0. Suppose -409 = a - o*a. Is a a prime number?
True
Suppose -5*x = 3*r + r - 26, 4*x = 4*r + 28. Let g be 10*(-3)/x + 2. Is (2/6)/(g/(-99)) prime?
True
Suppose 0 = 4*g + 12, -3*g - 156 = -3*z - 7*g. Let j be (9/(-9))/((-2)/62). Let y = z - j. Is y composite?
True
Is (-104 + -2)*(-1)/2 prime?
True
Let l(s) = 9*s**3 + 7*s**2 - 3*s + 7. Is l(8) prime?
True
Suppose a = -2*x + 12, -1 = a + 4*x - 5. Suppose -4*h - 9 = 3, -2*h + a = 2*q. Is q prime?
True
Let g(o) = -o**3 + 6*o**2 - 6*o. Let h be g(5). Is (-166)/h - (-2)/(-10) prime?
False
Let v = -999 + 1676. Is v a composite number?
False
Let r(l) = -l. Let q be r(-4). Suppose 0 = -9*d + q*d. Is (d - 0/(-1)) + 10 composite?
True
Suppose 3*c + 844 = 6*c - 2*a, 0 = -c + 2*a + 276. Let j = c + -169. Is j a prime number?
False
Suppose -547 = -2*f + c, -4*f + 519 = -4*c - 565. Let s be -1 + -198 - (-3 + 1). Let q = s + f. Is q composite?
False
Suppose 3*z + 4*s = -s + 10, -3*z + 16 = -s. Let m = 123 + -35. Suppose -d = -z*d + m. Is d a composite number?
True
Suppose -3*t + 413 = 146. Is t a prime number?
True
Suppose -5*r = -j + 88, 4*r - 2*j = r - 50. Is 4/(-24) + (-129)/r a composite number?
False
Let s be (-64)/(-36) + 4/18. Suppose 18 + 30 = s*q. Let d = 61 - q. Is d a composite number?
False
Let u(y) = 25*y**2 - 3*y + 3. Is u(-3) a composite number?
True
Suppose 0 = -5*f - 13 + 73. Suppose 0 = -5*s - 2 + f. Suppose s*j + 22 = 3*j. Is j composite?
True
Let i be -4 + (-1)/(1/(-19)). Let l = 176 + i. Is l a prime number?
True
Suppose 0*b + 149 = 3*c + 5*b, b = 2*c - 121. Is c prime?
False
Let c(o) = -o**3 - o**2 - 4*o - 1. Suppose -2*t - d + 11 = -4*t, 0 = 5*t + 3*d + 11. Let l be c(t). Suppose -6*x + 3*x = -l. Is x composite?
True
Is -1 - 9/(27/(-336)) a composite number?
True
Let d = -7 + -7. Let l = d - -27. Is l composite?
False
Suppose 0 = 3*k - 7 - 2. Suppose -q + 2 = 0, -4*i + k*q + 16 + 6 = 0. Is i composite?
False
Let z(n) = -5*n**3 + 2*n**2 - 2*n + 2. Is z(-3) a composite number?
True
Suppose -4*g + g = -1443. Suppose 0 = -5*u - 5*c + 20, 2*c + 9 = -5*u + 29. Suppose 3*h - 483 = -3*x, u*x + 0*x = -3*h + g. Is h a composite number?
False
Let d(i) = i + 5. Let m(v) = -v. Let a be m(3). Let g be d(a). Suppose 100 = 2*q - n - 0*n, -g*q - 2*n + 94 = 0. Is q prime?
False
Suppose -94873 + 13828 = -9*w. Is w a composite number?
True
Let r = 5 - -14. Suppose 2*t - 9 = r. Is t prime?
False
Let v = 51 + -29. Is v a prime number?
False
Let n(l) = l - 1. Let p be n(-1). Let t(y) = y**2 - y - 2. Let o be t(p). Let h(z) = z**3 - 5*z**2 + 6*z - 2. Is h(o) a prime number?
False
Let a(h) = -h**2 + 10*h - 17. Let d be a(7). Is (-1)/(d/260)*-1 composite?
True
Let w(l) = -l. Let f be w(-1). Is 3 + (f - -65*1) composite?
True
Let l(y) = y**3 - y**2 - 6*y + 1. Let h be l(4). Let u = h + -22. Is u prime?
True
Let d = 14 + -9. Let y be (-4)/(-10) - 12/d. Is 57/2*y/(-3) prime?
True
Let g be 30/5*(-1)/(-2). Suppose -d = -2 - 1, -3 = -g*a + 2*d. Is a a composite number?
False
Let f(i) = -10*i**3 + 2*i**2 - i. Let m be f(1). Let x = -21 - -9. Is (-12)/m*x/(-8) a composite number?
False
Suppose 490 = -7*o + 2*o. Let i = 853 + o. Is i composite?
True
Suppose -3*j + 2*j = 0. Suppose j = -5*b - 1 - 4. Is 2 + b/(2/(-18)) a prime number?
True
Suppose 2*c - 4*c = -56. Let v = c - 53. Let k = -11 - v. Is k a composite number?
True
Let b be 2*(18/(-4))/3. Let t = b + 8. Suppose -t*k + 6 = -9. Is k a composite number?
False
Let i = -20 - -41. Suppose 0 = -5*u + i - 6. Suppose u*f - 117 = -2*a - a, -3*f + 4*a + 103 = 0. Is f a prime number?
True
Let o be (-46)/8 + (-2)/8. Suppose 5*i = -3*j, -4*i + 4 = 4*j - 4. Let x = i - o. Is x a composite number?
False
Suppose 5*v + 2*o - 30 = -o, -5*o = 0. Let w be (-2 - (-2 - -2)) + v. Let j = w - -27. Is j prime?
True
Suppose 0 = -5*u + 5. Let c be -2 + 5 + -17 + u. Let x = c - -34. Is x composite?
True
Suppose -5*o + 900 - 210 = 0. Let l = 47 + o. Is l a prime number?
False
Suppose 38 = -0*y + 2*y. Suppose 5*d + i - 1 - y = 0, 25 = 3*d - 2*i. Suppose -3*x = 4*w, -d*x + x - w = -13. Is x a prime number?
False
Let n(t) be the second derivative of 2*t**3 - t**2/2 - 3*t. Is n(5) composite?
False
Let o be 4/(-22) - 45/55. Is o*(3 - 6) - -12 a composite number?
True
Suppose 342 = 5*f - 3*r, 4*f + 4*r - 5*r - 275 = 0. Suppose -f -