= 18*x + 1. Let q be o(1). Let b = q - -12. Is b composite?
False
Let q be ((-54)/4)/(1/12). Let b = q + 311. Is b a prime number?
True
Let r(l) = -80*l**3 - l**2 - l - 1. Let q be r(-1). Let p be (-70)/(-9) - (-18)/81. Let v = p + q. Is v a prime number?
False
Let z(y) = 26*y + 15. Is z(8) prime?
True
Let i = -19 - -11. Let k = i - -13. Suppose l - 7 = -6*n + k*n, -5*n - 3*l = -25. Is n composite?
False
Let f = -96 - -241. Is f composite?
True
Let r(h) be the second derivative of h**4/12 + h**3/2 + 3*h**2 - 4*h. Is r(-4) a composite number?
True
Let q(j) = 22*j**3 + j**2 - 1. Let v = 3 - 2. Let s be q(v). Suppose 18 = w - 3*u, -45 - s = -3*w - 4*u. Is w prime?
False
Suppose 0 = -b + 53 + 75. Let g = 213 - b. Is g a composite number?
True
Let r be (-2 - 5 - -3) + 7. Suppose 0 = -r*u + 208 + 257. Is u a composite number?
True
Let o = 14 + 53. Is o a composite number?
False
Let k be (183/(-9) + 2)*3. Let y = 189 + k. Is y prime?
False
Is (-11)/(-1)*9/3 composite?
True
Suppose t - 3*c + 10 = 0, 5*t + 3*c - 5 - 17 = 0. Suppose 164 = l - 7*q + 2*q, l - t*q - 155 = 0. Is l composite?
False
Suppose q + 2*q + 3*h - 2091 = 0, 0 = 3*h - 6. Is q a composite number?
True
Suppose -5*l + 401 = -604. Is l a prime number?
False
Let d(h) = 15*h**2 - 5*h + 3. Is d(4) prime?
True
Suppose v + 2*v - 2721 = 0. Is v a prime number?
True
Let g = 3 - 3. Suppose g = r + 2*f - 62 - 11, -5*r + f = -332. Is r prime?
True
Let n(t) = -t**2 + 419. Is n(0) a composite number?
False
Let b(r) = -3*r**2 - 2 + 9*r - 6 - r**3 + 3*r**2 - 10*r**2. Let y be b(-11). Suppose y - 80 = -2*k. Is k composite?
True
Suppose 7*w - 3*w - 132 = 0. Is w a composite number?
True
Suppose -118 - 78 = -4*g. Is g composite?
True
Suppose 4*i - 2*i = -16. Is (-116)/i + 3/(-2) composite?
False
Suppose -n + 2*n = 15. Let q = 680 + n. Is q a prime number?
False
Suppose -6*y + 831 - 117 = 0. Let a = -15 - -65. Let c = y - a. Is c a prime number?
False
Suppose 3*l + 2*l - 25 = 0. Let z(a) = -18*a + 7*a - 3 - l. Is z(-7) prime?
False
Let b(l) = l**3 - 7*l**2 + 8*l - 9. Let r be b(6). Suppose u = -3*c - 4*u - 118, c = -r*u - 42. Let t = 91 - c. Is t a prime number?
True
Let r = -1395 - -2236. Is r a composite number?
True
Suppose 3*t + 2*d = 391, -2*d + 5 = -7*d. Is t composite?
False
Let l(a) = 10*a**2 - 17*a - 67. Is l(16) prime?
True
Let d(n) be the third derivative of n**5/12 - n**4/24 - n**2. Let u be d(1). Suppose u*p - 61 = -b + 30, 0 = 3*b - 5*p - 239. Is b prime?
True
Let u = -2 - -3. Is (52 - u) + (-4)/2 a composite number?
True
Suppose 464 = -0*m + m. Suppose m = 4*z - 3*k - 0*k, 0 = -4*z + 4*k + 460. Is z a composite number?
True
Let p = -64 - -1317. Is p a composite number?
True
Suppose b - 5*b = -2900. Suppose 5*l - b = 90. Suppose 2*u + l = 3*j, 0 = -8*j + 3*j - 4*u + 279. Is j a composite number?
True
Let y(c) = -c**2 + 8*c - 8. Let g(s) = s + 2. Let u be (8/(-6))/(1/(-3)). Let w be g(u). Is y(w) composite?
True
Suppose 3*s + 5*i - 26 = 0, -i + 3*i + 33 = 5*s. Is (3/(-3))/((-1)/s) composite?
False
Let t be -3*-2*(-4)/(-8). Let o(n) be the third derivative of n**4/8 - n**3/3 + n**2. Is o(t) a composite number?
False
Is 10449/51 - (-2)/17 composite?
True
Let y = -108 + 219. Is y composite?
True
Let s = 0 - 0. Let d(n) = n**2 + 12. Let h be d(s). Is (-2)/8 + 75/h composite?
True
Suppose 4*f + 359 = -2*a + 5397, -a = -4*f - 2525. Is a a prime number?
True
Let z(s) = -s + 11. Suppose 0 = 3*t - 3*o - 12, 3*o = 2*t - 1 - 2. Let j be z(t). Suppose -j*u + 42 = -0*u. Is u composite?
True
Suppose -2*w + 60 + 112 = 0. Suppose 0 = -l + 3*g + w, -2*g = -l - 2*l + 265. Let s = l - 36. Is s a composite number?
False
Let d(f) = -111*f + 12. Let g be d(-6). Suppose r + 5*p - 810 = -4*r, -2*p = -4*r + g. Is r prime?
True
Let t(a) = -a**3 - a**2 - a + 125. Let b be t(0). Suppose -b = -4*f + 5*d, 3*f + 4*d - 56 + 1 = 0. Let z = f + 12. Is z a prime number?
True
Let k(t) = 7*t**2 + 2*t + 2. Suppose x = 5*x - 20. Is k(x) composite?
True
Let d(z) = -z**2 - 2*z - 1. Let j be d(-3). Is j/20 + (-1296)/(-5) composite?
True
Suppose 2*x + 8 = -8. Is (-1 + 59)*(-12)/x a composite number?
True
Let q(b) = 74*b + 1. Is q(6) a prime number?
False
Let y be (0/(-3))/(0 - 2). Suppose y*b = -2*b + 20. Is b composite?
True
Let i = -144 + 226. Suppose -k = -l - i, -85 = 2*k - 3*k - 2*l. Is k composite?
False
Is ((-35)/15)/(1/(-237)) composite?
True
Suppose -2*v + 106 = -v. Is v a prime number?
False
Let r be -1 - (-119 - (0 + -3)). Suppose 0 = -4*a - 16, 0 = d - 2*a - 16 - r. Is d a prime number?
False
Let o(d) = 9*d**3 + 2*d**2 + d + 3. Is o(3) a prime number?
False
Let k(r) = -r + 4. Let a be k(-4). Let o be a/(-10)*(-30)/(-4). Let q = 7 - o. Is q a composite number?
False
Suppose -4*s - 21 + 77 = 0. Let g be 2860/s - 4/14. Suppose -g = -q - 3*q. Is q composite?
True
Let o(h) = h**2 - 4*h + 5. Let r be o(-4). Let y = r + 12. Is y prime?
False
Let j(r) be the second derivative of -11*r**3/2 - r**2 + 3*r. Is j(-3) composite?
False
Suppose 0 = 6*w - 801 + 279. Is w prime?
False
Let q be 1 + (-1)/(-2)*2. Suppose 0*t - q*u = 3*t - 8, -2*u = 5*t - 12. Suppose 111 = -c + t*c. Is c a composite number?
True
Let z be (0 - 1) + (3 - 0). Let r be 38/9 - z/9. Is (70 - 2)*2/r a prime number?
False
Let l be 4*2*6/8. Suppose 2*o - l*o + 120 = 0. Let h = -20 + o. Is h composite?
True
Suppose 0 = 4*s - s - 1044. Suppose -3*h - 4*k + s + 861 = 0, h = -4*k + 395. Is h a prime number?
False
Let d = 2168 + -1533. Is d composite?
True
Suppose 3*k = 3, -t - 77 = -2*t + 2*k. Is t a composite number?
False
Let j(q) be the third derivative of q**4/8 + 5*q**3/6 + q**2. Is j(7) composite?
True
Suppose 6*q = q. Let a be -1 + (q - (-2)/2). Suppose 3*g + 0*r + 4*r - 85 = a, 100 = 4*g + 2*r. Is g prime?
True
Suppose a + 3*v + 13 = -2*v, 3*a + 2*v = 0. Is (291/(-9))/(a/(-6)) a composite number?
False
Let x(m) = -14*m - 9. Is x(-8) composite?
False
Suppose -m + 30 = b, 2*b + m + 0*m - 61 = 0. Is b prime?
True
Is ((-822)/(-8) - 8)/(1/4) composite?
False
Suppose -7*w + 1055 = -2*w. Is w a composite number?
False
Let d = 326 - 7. Is d prime?
False
Let w = 1 + 126. Is w a composite number?
False
Let m(v) = v**3 + v**2 - v + 2. Let y = 3 + -3. Let c be m(y). Suppose -c*z + 34 = -4*q, q - 33 = -5*z + 30. Is z composite?
False
Suppose 5*r + 257 = -1183. Let x = 585 + r. Suppose -124 - x = -2*l + 5*y, 215 = l - 4*y. Is l prime?
False
Let b(g) be the second derivative of -1/2*g**3 + 1/12*g**4 - 3*g + 3/2*g**2 + 0. Is b(6) prime?
False
Suppose 2*o = 4*i + 4, 4*o + i = -2*i - 3. Let m = o - 0. Suppose -3*t + 10 + 35 = m. Is t a prime number?
False
Let o = 17 - 28. Let i = -7 - o. Suppose u + 2*b - 31 = 0, -i*u + 38 = 4*b - 66. Is u a prime number?
False
Let i(n) = -43*n**3 - 3*n**2 - 2*n + 1. Is i(-2) composite?
False
Suppose 0 = -3*u, 0*t + u + 316 = 4*t. Is t a composite number?
False
Let q(h) = -3*h**3 - h**2 - 3*h + 404. Let x(l) = -7*l**3 - 3*l**2 - 7*l + 808. Let r(i) = 5*q(i) - 2*x(i). Let d be r(0). Is 3/(-9) - d/(-6) composite?
False
Let k(g) = 11*g**2 - g - 7. Is k(5) prime?
True
Suppose 2*f - 2 = -2*s + s, -4*f = s - 8. Is 90/(5 - f) + -2 prime?
True
Suppose 0*f + 1344 = -4*f. Let q = -175 - f. Is q a prime number?
False
Let q = 4 - 6. Let i be 1 - (q - 3/3). Is (-52)/(-5) + i/(-10) a composite number?
True
Let p(j) = 7 + j**2 + 2*j - 2 - 6*j. Suppose -s + 9 - 1 = 0. Is p(s) prime?
True
Let t(r) be the first derivative of -23*r**2 - 3*r - 3. Is t(-2) a prime number?
True
Let m(d) = -d**3 - 3*d**2 + 7*d + 4. Let l(w) be the first derivative of -w**2/2 - w + 1. Let h be l(4). Is m(h) prime?
True
Let k(h) = 3*h**3 + 2*h**2 - 2. Let s be k(-2). Suppose 2*g + 0*g = -6. Is (10/g)/(4/s) a prime number?
False
Let m(r) = 3*r**2 - 8*r + 1. Is m(-20) prime?
True
Let n = 4 + 4. Suppose -3*o - 315 = -8*o. Let m = o - n. Is m a composite number?
True
Let n(f) = f - 5. Let r be n(8). Suppose 4*w - 49 = r*w. Is w prime?
False
Suppose -3*l - l + 16 = 0. Suppose 8*h - 3*h - 124 = -l*w, -93 = -3*w - 4*h. Suppose -5*s + 276 = p, 19 = s - 5*p - w. Is s composite?
True
Let z be (0 - 2)/2*-2. Let m = z - -2. Suppose m*h = h - 2*b + 40, -5*b + 65 = 4*h. Is h composite?
True
Suppose -5*k + 3066 = -2*q, 163 = k - 4*q - 443. Is k a prime number?
False
Let m(l) = -2*l - 7. Let r be m(-6).