*l**2 - l. Is w(p) prime?
True
Let u be 1 + -3 + (-3 - -4). Is (5 - 5) + (-15)/u composite?
True
Let v(n) = 6*n + 4. Suppose -3*x + 3 = -2*x. Let j be v(x). Let w = j + -1. Is w a prime number?
False
Let q = -8 + 11. Suppose -4*t - 8 = w - 1, 4*w = 5*t + 35. Suppose -3*s = q*z - 171, w*s - 173 = -3*z + 3*s. Is z composite?
False
Let t = -11 - -15. Let l = 3 + t. Suppose -163 = -5*v + 2*q, l = v + 2*q - 28. Is v a prime number?
False
Suppose p + l + 1 = 0, 5*p = -3*l + 3 - 2. Suppose -q + p = -9. Is q prime?
True
Suppose -5*s + 987 = -1558. Is s a composite number?
False
Suppose i + 4*i = 5. Is i - -32 - (1 - 2) a composite number?
True
Let l be 4 + (-1 - 0)/(-1). Let a(j) = -4*j - 2. Let w be a(-11). Suppose 3*r = l*r - w. Is r a prime number?
False
Suppose -2*z + 337 = 4*t - 333, -169 = -t + z. Let l = 103 - 192. Let k = l + t. Is k a prime number?
True
Suppose 1994 = -0*v + 2*v. Is v prime?
True
Let c be (-8)/36 - (-38)/9. Is 1410/9*6/c composite?
True
Suppose -4*j + 5*c + 19 = 0, 7*j + 5*c - 80 = 2*j. Let p = 3 + j. Is p composite?
True
Let t(x) = -2*x**2 + 2*x + 4. Let s be t(-3). Is (14/4)/((-2)/s) prime?
False
Let t(m) = 401*m**3 - 5*m + 7. Is t(2) a composite number?
True
Let y be -2 + 0 + 0 + 49. Let z(k) = 33*k + 1. Let o be z(3). Suppose -o = -3*x + y. Is x a composite number?
True
Let u(c) be the first derivative of 3*c**2/2 - 8*c - 1. Let v(i) = i**2 + 3*i + 6. Let w be v(-4). Is u(w) a prime number?
False
Suppose 764 = 3*g - 2329. Is g composite?
False
Let r = -18 - -6. Let a be 3/(r/(-5))*16. Let j = 103 - a. Is j a composite number?
False
Let z be -2*3/6 - -5. Suppose c - 2*c = -z. Is (-2)/c - (-267)/2 a composite number?
True
Let u be (-166)/(-4) - (-5)/(-10). Suppose -3*k = -z - 3*z + u, 4*k = 5*z - 50. Is z a composite number?
True
Suppose 0 = -h - h + 4. Suppose h*w = 4*w - 70. Is w prime?
False
Let p(o) = o**3 + 4*o**2 - 5*o. Let n be p(-5). Suppose -y + 3*y = n. Suppose y*s + 4*s = 84. Is s a prime number?
False
Let s(t) = 3*t**3 - t**2 - 3*t - 5. Let o be s(4). Suppose m - o = -5*v, 4*v - 5*m + 2*m - 112 = 0. Is v a prime number?
True
Let c(h) = h**2 - 7*h - 2. Let m = 4 + 3. Let i be c(m). Let n = 6 + i. Is n a composite number?
True
Let x be (-3)/((-9)/3)*-6. Let o = x + 10. Suppose 2*f - 273 = -5*j, -f = -j - o*f + 65. Is j composite?
False
Let n(k) = 484*k**2 + k. Is n(1) composite?
True
Suppose 3*h = -3*l - 570, 5*l - h - 160 = -1140. Let r be 9720/34 - 2/(-17). Let y = r + l. Is y prime?
False
Suppose -14 = -3*v + t, -5*t + 4 = -t. Suppose -5*h = -4*i - 633, -4*h - 418 = v*i + 363. Let p = 320 + i. Is p prime?
True
Let c = -53 + 92. Is c composite?
True
Let k be (-2448)/15 + 3/15. Suppose 5*r + 2*x = -5, 8*x = 4*r + 3*x + 4. Is k/r - 0/1 a prime number?
True
Let m be (-2)/8 + (-9)/(-4). Let o be 0 - -6*(-3)/(-6). Suppose m*y = 2*t - 3*t + 27, y = o. Is t composite?
True
Let m(l) = 22*l + 5. Is m(4) a prime number?
False
Suppose -117 - 727 = -4*a. Is a composite?
False
Let t = -244 + 1743. Is t a composite number?
False
Suppose -9 = 2*f - 5*x, 4*f = 9*f - 4*x - 20. Suppose -4*p = 4*i, -4*p - p - i + f = 0. Suppose p*v + 0*v = 134. Is v composite?
False
Let p(t) = -1. Let n(j) = -6 + j + 2*j - 2*j - 2*j. Let i(g) = -n(g) + 3*p(g). Is i(4) composite?
False
Suppose 4*j - 5*a = -2*a + 24, 4*a - 43 = -3*j. Let y(r) = -r**2 + 11*r - 13. Let l be y(j). Is (119/(-3))/(l/(-15)) a prime number?
False
Suppose 0 = 4*n - 3*r - 391, 3*n + r - 305 = -15. Is n composite?
False
Let x be ((-6)/(-10))/((-4)/(-20)). Let z(r) = -6*r**2 + 4*r - 1. Let q be z(x). Is (q/(-4))/((-1)/(-4)) prime?
True
Let o be (3/2)/((-6)/(-8)). Suppose 0 = -0*p - o*p + 962. Suppose 2*f + 121 = r, 3*f - 72 - p = -5*r. Is r composite?
False
Let f(d) = -7*d**3 + 2*d**2 - d + 1. Is f(-2) a prime number?
True
Suppose 4*n - 2*m = 88, -n + m = -1 - 23. Suppose 0 = -4*g + 5*w + 1027, g + 2*w + w - 244 = 0. Suppose j - g = -n. Is j prime?
True
Is (-9)/6 + (-239)/(-2) a composite number?
True
Suppose -2*p + 5*p - 3932 = -5*q, -4*q = 3*p - 3145. Is q a prime number?
True
Suppose -4*u + 360 = u. Let c = u + -38. Is c composite?
True
Let s be (-10)/4*(-6)/(-3). Let d(c) = c**3 + 6*c**2 + 4*c + 5. Is d(s) prime?
False
Is ((-4296)/36)/(2/(-33)) composite?
True
Let f = -2 - -4. Let m(c) = 67*c**2 - 3*c + 1. Is m(f) a composite number?
False
Suppose c = -c + 4*o + 2078, -4*c - 2*o + 4156 = 0. Is c prime?
True
Let d(s) = s**3 - 2*s - 10. Is d(7) a composite number?
True
Suppose -3*z - 6 - 75 = 0. Let x = z - -48. Is x prime?
False
Let z = 526 - 323. Is z a composite number?
True
Let o(r) be the first derivative of -r**2/2 + 6*r - 4. Let i be o(6). Is 6/3 + (125 - i) a prime number?
True
Is ((-10)/(-45)*9)/((-4)/(-158)) a prime number?
True
Let x(z) be the third derivative of z**5/15 - z**4/12 + z**3/6 + 2*z**2. Let l be x(1). Is l/(((-2)/(-1))/4) composite?
True
Suppose 0 = 4*r - 65 - 1587. Is r a prime number?
False
Is (2438/2)/(-5 - -3 - -3) a composite number?
True
Suppose 2*s - 8 = -0*s. Let a = -2 + s. Suppose a*y - u - 14 = -0*y, -4*y = -u - 28. Is y a composite number?
False
Let w(o) = -77*o**3 + 3*o**2 + o - 4. Is w(-3) composite?
False
Let m(f) = 418*f**2 + 2*f - 2. Let k be m(1). Let a = k + -285. Is a a composite number?
True
Suppose -3*v - 133 = -742. Is v a prime number?
False
Suppose 4*b + b + 19 = 4*t, 4*t - b = 7. Suppose 2*s + 78 + 28 = 0. Is (s/(-1))/(t - 0) a composite number?
False
Suppose -3*a - 59 = -7*a + g, 3*g = 2*a - 37. Suppose 2 = 3*b + a, -1228 = -2*t - b. Suppose 140 = -4*p + t. Is p composite?
True
Let x be 58/(-18) + (-34)/(-153). Is (-23)/x + 22/(-33) a prime number?
True
Suppose v - 14 + 0 = 0. Suppose -k + 89 = 2*k + 5*l, -5*k = -2*l - 138. Let b = k - v. Is b prime?
False
Let m = 4 - 1. Suppose m*l = l + 422. Is l a composite number?
False
Suppose 0*d = 5*g - d - 29, 3*d + 22 = 2*g. Suppose 0 - g = -y. Suppose 3*h = y*f - 2*h - 10, -5*h + 39 = 2*f. Is f a composite number?
False
Let d = 544 + -194. Suppose 630 = 2*i + 3*g, -i - g + 438 = 123. Suppose -5*k + 0*k = -4*l + i, -d = -4*l - 2*k. Is l a prime number?
False
Suppose -4*p - 2*w + 141 = -657, 0 = -2*p - 4*w + 414. Suppose -3*c - 2*u + p = -4*u, 5*u = c - 70. Is c composite?
True
Let g(r) = 2*r**2 + r + 1. Let x be g(-1). Suppose -2*f + 3*j + x*j = -25, 5*j - 5 = -f. Suppose -3*k - a = -21, -5*k + f*k - 2*a - 35 = 0. Is k composite?
False
Suppose 3*s + 0*s - 3*b = 129, 0 = -2*s - 4*b + 98. Suppose -n + s = 10. Is n composite?
True
Let v(q) be the second derivative of 10*q**3/3 + 7*q**2/2 - 4*q. Suppose -2*w = -4*w + 12. Is v(w) composite?
False
Let x(z) = -z + 9. Let v be x(15). Is (3 + -26)/(2/v) a composite number?
True
Suppose 0 = -3*n + 4*n + 3*h + 4, 5*n + 4*h - 13 = 0. Suppose -n*b + 356 = 2*o, -4*o = -9*o + b + 917. Is o prime?
False
Suppose a = -209 - 267. Is (-7)/21 + a/(-6) prime?
True
Let x = -141 - -204. Suppose 3*d = g - 2*g + x, g - 4*d = 77. Is g a composite number?
True
Let z be 2 + 0 + 0 + 333. Suppose 2*r = -3*r + z. Is r a composite number?
False
Suppose r = 6*r - 3425. Is r a composite number?
True
Let r(a) = 3 - 4 + 3 + 33*a - 4. Let w = 5 + 0. Is r(w) prime?
True
Suppose -c = -5 + 2. Let w(s) = s**3 + s**2 - 2*s. Let f be w(-2). Suppose -c*h + f*h = -27. Is h composite?
True
Let b(a) = a**2 - 7*a + 13. Is b(-9) a composite number?
False
Suppose -40 + 15 = -5*q. Suppose -36 = -0*c - 2*c - 2*y, 0 = -c - q*y + 6. Is c prime?
False
Let r(n) = 3*n**2 + 3 + 6*n**2 - 1. Suppose -v + 5*w = -22, v + 4*v + 2*w = 2. Is r(v) a composite number?
True
Let p be 3/((-3)/4)*-1. Suppose 0 = -5*l + 5 - 0, 0 = p*s + 3*l - 103. Is s composite?
True
Let d = -447 + 934. Is d composite?
False
Let o be (-10)/3*3222/4. Is (-1)/6 - o/18 a composite number?
False
Let i = 25 - 18. Let g = i + 3. Is g a prime number?
False
Suppose 5*l = 9*l. Suppose -2*m + j + j = 2, l = -3*j + 3. Suppose m = -2*a + 1 + 43. Is a a prime number?
False
Let r = 539 + -268. Is r composite?
False
Let u = -12 - -689. Is u composite?
False
Suppose -4*h - 708 = -4*j, 0 = j + 3*h - 93 - 68. Suppose 4*a = g + j, -3*g - 3 = -0. Is a prime?
True
Let v = 8 + -6. Suppose -v*a = -0*a. Suppose a = -3*x - 3, -209 = -3*y - 2*x + 4*x. Is y composite?
True
Suppose 0*c - 5*o = 3*c + 21, -4*o - 12 = 0. Is 29*(5 - 2 - c) compos