osite?
True
Let g(u) = u**3 + 6*u**2 + 7*u + 5. Let j be g(-5). Let w = 8 + j. Let y(q) = 3*q**3 + q**2 - q + 4. Is y(w) composite?
True
Let j = 491 - 282. Is j prime?
False
Let m(p) = 61*p + 8. Is m(9) a prime number?
True
Let f be (2 - 5) + (-10 - -3). Let d = f + 63. Is d composite?
False
Is (921/6)/(2/4) prime?
True
Suppose 4*f - 12 = 0, -2*j = -4*j + 2*f + 464. Is j composite?
True
Suppose 2*c = -6*z + z + 11, -9 = -4*c + 3*z. Suppose -223 = -4*v - s, 3*s = -c*v - 0*v + 156. Is v composite?
True
Let i(r) = -192*r**3 - 2*r**2 - 2*r - 5. Is i(-2) prime?
False
Let a be -8*(2 - 10/4). Suppose 12 = -k - 2*k - 3*v, 16 = 5*k - a*v. Suppose 2*x = x - 4*n + 53, k = 2*x - n - 97. Is x composite?
True
Let j(z) = -z**3 + z**2 - 5. Let x = -1 - 2. Is j(x) prime?
True
Let o be 3*(-2 - (-10)/6). Let l = 3 - 8. Is o/l - 174/(-5) a composite number?
True
Suppose -17*l + 21*l - 5588 = 0. Is l composite?
True
Let p(u) = 24*u**2 + u + 1. Let m be p(-1). Suppose 27 = -3*i - 3*o, 4*i + 0*i - 2*o + m = 0. Let b(k) = k**2 + 5*k - 4. Is b(i) composite?
True
Let t = -10 + -5. Is ((-12)/(-10))/((-2)/t) a prime number?
False
Suppose -i = -8*f + 4*f + 19, 0 = 2*i - 2*f + 14. Let d(w) = 3*w**2 - 4*w - 1. Is d(i) a prime number?
False
Suppose n + n - 13 = 5*r, -5*n + r + 21 = 0. Suppose -n*j = j - 1580. Suppose -5*a + 2*a + 5*u = -210, 5*a + 3*u - j = 0. Is a prime?
False
Let t(x) = -x**2 - 5*x - 4. Let r(p) = -2*p**3 - 2*p**2 + 2*p - 1. Let g be r(1). Let u be t(g). Suppose 0 = -5*d - y + 39, 6*d + 5*y = u*d + 48. Is d prime?
True
Is 1238*(-4)/(-8) + 4 a prime number?
False
Is 694/(9/(-3) + 5) prime?
True
Let d = -2 - -21. Is d prime?
True
Let j be (-997)/(-6) - (-2)/(-12). Suppose -150 = -2*o + 4*t, -3*o + 4*t = -5*o + j. Is o a composite number?
False
Let a(v) = -v - 1. Let z(u) = 596*u + 745. Let l(d) = 745*a(d) + z(d). Let r be l(-5). Suppose 5*m - 570 = r. Is m composite?
False
Let o(h) = 8*h**2 - 2*h + 1. Suppose 3*c - 6 = c. Is o(c) composite?
False
Let t(j) = -j**3 + 11*j**2 - 3*j - 11. Suppose 4 = x, -5*r + 5*x - 18 = -3*r. Let k be r - -10 - (9 - 8). Is t(k) composite?
False
Let t be (5/2)/((-1)/(-2)). Let f = 129 + t. Is f a prime number?
False
Is 82 - 1/(1/3) a prime number?
True
Suppose -58 - 2 = -5*p. Let r = 31 - p. Is r prime?
True
Is 4 + (-3185)/(-20) + 4/(-16) prime?
True
Is 4/(-10) - 557/(-5) composite?
True
Let l be 3 + 1 + 2 + -3. Suppose -3*h = 2*h - 2*n - 449, -4*h - l*n = -350. Is h composite?
False
Is 4 + (-8 - -3) - -296 a composite number?
True
Let b = 25 + -11. Let w(p) = 3*p + 11. Is w(b) a prime number?
True
Let x = -2813 + 4996. Is x a composite number?
True
Suppose -3*t = -1787 - 844. Is t composite?
False
Let v(u) = 14*u - u**2 + u + 3 - 5*u. Let z be v(10). Suppose 0 = p + z*m - 28, 3*m - 4*m = -2. Is p a prime number?
False
Let x(h) be the third derivative of -h**4/24 + h**3/2 - h**2. Let b be x(-3). Is (-1 - 2) + 150/b a prime number?
False
Let b(c) be the first derivative of 4*c**3/3 + 3*c - 3. Is b(4) composite?
False
Let z be (24/4)/(0 - 1). Let u = z - -8. Is u composite?
False
Suppose 5*v - 20 = 0, -2*a + 3*v - 4 = -0. Is (6/a)/3*74 a composite number?
False
Suppose 4*s + x - 4*x - 347 = 0, 0 = 2*s + 4*x - 146. Is s prime?
True
Suppose 187 = -3*h + 1537. Suppose 4*d + 3*u = 1306 - h, 5*u - 442 = -2*d. Is d prime?
True
Let h(d) = -21*d**2 + d - 3. Let f(x) = -62*x**2 + 4*x - 10. Let o(v) = 2*f(v) - 7*h(v). Let p be o(-3). Suppose 20 = -5*i + p. Is i prime?
True
Let b(a) = -a**2 + 3. Let c be b(0). Suppose -c*d = d + n - 14, 12 = 2*d + 3*n. Suppose 2*f + 26 + 203 = 5*q, -q + d*f = -38. Is q a prime number?
True
Suppose -4*z + t + 10 = -2*t, 2*t - 24 = -5*z. Is ((-308)/16)/((-1)/z) a prime number?
False
Let p be 0 - 1 - 1 - -10. Suppose 5*v - 8 = 2*l, -4 = l + p*v - 3*v. Is 84 - (l - -2)/(-2) a composite number?
False
Let w(x) = 2*x - 5. Let k be w(5). Is ((-218)/8)/(k/(-20)) composite?
False
Let f(a) = -8*a - 3. Let q = 2 + 1. Suppose 4*g + 5 = q*g. Is f(g) composite?
False
Let c be (-2)/2 + 7 - 1. Suppose -3170 = -c*h + 1155. Is h prime?
False
Let r be 2*1 - (-170)/(-10). Is (-8)/(-10) - 1233/r a composite number?
False
Let c = -116 - -222. Suppose 5*a = 4*p + 48 - 329, 4*p + 118 = -2*a. Let u = c + a. Is u a prime number?
False
Let o(s) = s**3 - 10*s**2 + 10*s - 7. Let i be o(9). Is 0/1 - (-134)/i a composite number?
False
Suppose 0 = -g - 3*g - 12, g + 3168 = 5*r. Is r prime?
False
Let c = 16 + -27. Let j(q) = -q**3 - 8*q**2 - 9*q + 14. Let d be j(c). Suppose -p + d = 3*p. Is p a prime number?
False
Let z = 6 + -4. Suppose -5 = 3*f - i + z*i, -3*i - 15 = 3*f. Suppose f = -4*w - w + 70. Is w a composite number?
True
Suppose 10 = 6*u - u. Suppose -240 = -u*h + 206. Is h prime?
True
Let o be 2 - ((-1 - -4) + -1). Is 1 + (o - -1) + 147 prime?
True
Is (5 + -4)*103/1 prime?
True
Let f = 82 - 156. Suppose -j - d - 39 = 0, -3*d + 2*d = -4*j - 156. Let b = j - f. Is b a prime number?
False
Let g = -15 + 28. Let w(i) = i**2 - 13*i + 2. Let y be w(g). Suppose 107 = y*s - 23. Is s composite?
True
Let s(m) = m + 6. Suppose 0 = 2*w + 6. Let y be s(w). Suppose -5*n + 143 = 3*r - 177, 15 = -y*r. Is n a prime number?
True
Let r(p) = p**3 + 21 + 10*p + 11*p**2 - 10 + 9*p - 8*p. Let n be r(-8). Suppose -d + n - 41 = 2*i, 3*d = -4*i + 152. Is i prime?
False
Suppose -5*p + 4653 = -2*p + 5*w, -5*p + 2*w + 7786 = 0. Let s = p - 1015. Is s a composite number?
False
Let b(o) = o**3 + 6*o**2 - 5*o + 1. Is b(11) a composite number?
False
Suppose -4*w = -0*w - 8. Is -47*w/(-3)*3 prime?
False
Let y(o) = o. Let f be y(-4). Let z be -1 + (-4)/(f/(-25)). Is (-2)/2 - (z + 3) a prime number?
False
Let s = 5 + -15. Let a = 8 + s. Is a + (25 - (2 + 0)) a prime number?
False
Suppose -4*m - 1 = -17. Is 726/8 + m/16 a composite number?
True
Suppose 2*o = 3*r + o - 1182, 4*r + 3*o = 1563. Is r prime?
False
Let a(o) = 14*o**2 - o + 4. Is a(3) a composite number?
False
Let s = 10 + -15. Let i(y) = y**3 + 6*y**2 - 3*y - 6. Is i(s) prime?
False
Let i(h) = 18*h**2 + 6*h + 37. Is i(10) composite?
True
Let v(i) = -i**3 + 4*i**2 + i - 2. Let d be v(4). Suppose 1320 - 3825 = -5*j + 5*l, -d*j = 5*l - 988. Is j a prime number?
True
Let g = -395 - -726. Is g a composite number?
False
Let y = 1 - 11. Let p(b) = b + 14. Let i be p(y). Suppose 4*h - h = 3*f + 168, 5*f - 197 = -i*h. Is h a composite number?
False
Let g(k) = 42*k**2 + 4*k + 15. Is g(7) a prime number?
False
Let s(b) = -b**3 + b**2 - 1. Let m be s(3). Let a = m - -38. Is a prime?
True
Let x = 1460 + 501. Is x prime?
False
Let a be ((-5)/(-3))/((-15)/90). Is -68*a/(-24)*-3 prime?
False
Let r(d) = -56*d + 6. Let y be -2 + 3 - (-2 - -5). Is r(y) composite?
True
Let t(l) = -2*l**3 - 11*l**2 + 9*l - 13. Let c be 64/(-6) + (-10)/(-15). Is t(c) a composite number?
False
Let h = -74 + 111. Is h a prime number?
True
Let j be 2/(1 + 22/(-18)). Let r be 11*1 - j/(-3). Is (-1)/(-4) - (-14)/r prime?
True
Suppose 35 = 2*b - 5*r, b = 3*r - 6*r - 10. Suppose b*u = 3*u + 154. Is u composite?
True
Let k = 268 + -104. Suppose 1499 = 3*i + k. Is i a composite number?
True
Suppose 0 = 2*q - 3*d - 1281 + 219, -d + 2152 = 4*q. Is q prime?
False
Let v(s) = -s**2 + 24*s + 7 - 10*s - 6. Is v(6) prime?
False
Suppose -b - 370 = -3*b. Is b prime?
False
Let a = 725 + -276. Is a a composite number?
False
Let a(w) = -4*w - 56*w**3 + 20*w**3 - 2*w**2 + 6*w**2 + 6*w - 1. Is a(-2) a composite number?
True
Let r be (-1)/(1*(-1)/212). Let j be ((-4)/(-2) + 1)/1. Suppose -r = -h - j*h. Is h prime?
True
Let i be (3 - 0)/(0 - -1). Is 14*((-28)/(-8) + i) prime?
False
Let p be (-440)/(-6)*(-15)/(-5). Suppose -2*k + p = -2*l, -2*k + 3*l - 360 = -5*k. Is k a prime number?
False
Let q(z) = 23*z**3 + z**2 + 3*z - 3. Let t be q(2). Suppose -2*c - l + t = 0, l - 95 = -0*c - c. Suppose 5*w = -3*p + 66 + c, 4*p - 2*w = 190. Is p composite?
True
Suppose 0*z - 2*z = 4*y - 834, -z = -4*y - 393. Is z composite?
False
Let m(o) = 17*o + 4. Is m(17) a composite number?
False
Suppose 4*l = 2*l - 2*h + 6, 4*h + 8 = 0. Suppose x = -l*q + 47, 195 = 5*x + 4*q + q. Is x prime?
True
Let k be (-25)/15*3*1. Let h be (3/2)/(k/(-10)). Suppose -4*w = h*l - 166, -5*w + 132 + 93 = -5*l. Is w composite?
False
Let c(y) be the third derivative of -23*y**4/12 + 7*y**3/6 + y**2. Let p(l