 p + 1. Let w be r(0). Let y be 9/(-6)*w*2. Let i(u) = 3*u**2 + u - 3. Is i(y) a composite number?
True
Let m(t) = 2*t**2 + 2*t + 1. Let u be m(5). Let o = 100 - u. Suppose 2*h - 5*h + o = 0. Is h prime?
True
Suppose h - 2*w - 76 = -26, -4*h - 4*w + 176 = 0. Let y = 10 - 6. Suppose 2*b - l - 3*l - h = 0, -y*l - 69 = -3*b. Is b a composite number?
False
Suppose 3*l + 398 - 5 = 3*v, -2*v = -3*l - 395. Let r(o) = -8*o**2 - 6*o + 6. Let i be r(5). Let c = l - i. Is c composite?
True
Let i(f) = 30*f**2 + 2*f - 1. Suppose 5*l = 2*l + 6. Let n be 2 + -3 + (4 - l). Is i(n) a prime number?
True
Let w(p) = -p**3 - p**2 + 35. Let n(t) = -t - 4. Let u be n(-9). Suppose 2*j - 2*h - 3 = -h, 2*j = -u*h - 15. Is w(j) a prime number?
False
Suppose -2*y - 1269 = -h, -5*h + 5051 = -h - 3*y. Is h composite?
False
Suppose -4*o + 5*k = -15152, 0 = -10*o + 5*o - 4*k + 18981. Is o a composite number?
False
Let z(w) = 11*w - 7. Let x(m) = -2*m**3 - 3*m**2 - 2*m - 2. Let f be x(-2). Is z(f) composite?
False
Let k = 0 - -7. Let w(j) = j**3 - 8*j**2 + 9*j + 9. Is w(k) composite?
False
Suppose 0 = -5*m + 135 + 195. Suppose 0 = 4*r - b - 89, -3*r + 2*b - b + m = 0. Is r prime?
True
Suppose 0 = -4*t + m - 0*m + 185, -2*m = 2*t - 90. Suppose 2*y = -4 + t. Is y a prime number?
False
Let u(n) = n + 4. Let k(r) = r + 3. Let i be 14/((-1 - 1)/(-1)). Let a(q) = i*k(q) - 5*u(q). Is a(9) composite?
False
Let v(o) = 5*o**2 - 3*o - 1. Let s be 3*(-12)/9*-6. Let r be 19/(-6) + 4/s. Is v(r) prime?
True
Let y(s) be the third derivative of -13*s**4/8 + 2*s**3/3 + s**2. Suppose -4*x + x - 9 = 0. Is y(x) prime?
False
Let n(x) = -x**2 - 10*x - 6. Let h be n(-7). Is 4422/h + 3/15 a prime number?
False
Suppose 0 = -n + 37 + 21. Let f = n - -88. Is f prime?
False
Is 2/((-87)/(-85) - 1) composite?
True
Suppose 5*i + 633 = -4*n, 0*i - 3*n = -3*i - 396. Let g = -67 - i. Is g a prime number?
False
Suppose -5*i = -i - 20. Suppose 5*z + p = -p + 268, 0 = -i*z + 4*p + 244. Let l = -17 + z. Is l a composite number?
True
Suppose 150 = 5*y - 155. Let r(v) = -2*v - 6. Let w be r(-4). Suppose 3*t - y = w*u, 30 = t + t + 4*u. Is t composite?
False
Let w = 526 + 79. Suppose 3*g - 355 = -j, 4*j + w = 5*g - j. Is g a composite number?
True
Let z(a) = -a**2 - 5*a + 3. Let u be z(-4). Let f be (1/1)/((-3)/(-9)). Suppose f*y = -6, -4*s + y = -u*s + 247. Is s prime?
True
Let o = 254 - 105. Is o composite?
False
Suppose 3 - 10 = -f. Let w = f + -7. Suppose -3*y = -w*y - 291. Is y a prime number?
True
Suppose 5*b + 3*c = 143, -2*b - 3*c = -2*c - 58. Is b a prime number?
True
Let f(d) = 2*d**2 - 3*d + 1. Let l be f(3). Is (-9)/3 + 13*l composite?
False
Let s = -15 + 19. Suppose s*h + h - 288 = -q, q - 294 = h. Is q a prime number?
True
Let s be 56/70*(-30)/4. Is (-124)/s*(-6)/(-4) a composite number?
False
Suppose -s - 15 = -0*s. Let j = 31 - s. Is j a prime number?
False
Let n(y) = 4*y + 2. Let b(j) = -9*j + j + 1 - 4. Let h(z) = -3*b(z) - 5*n(z). Is h(5) prime?
True
Let n(f) = -6*f**3 + 3*f**2 - 2. Let j = 3 + -5. Is n(j) a composite number?
True
Let t(y) = y**3 - y**2 + 2*y - 6. Let c(p) = -p - 2. Let o be c(-7). Let r be t(o). Is ((-7)/4)/((-2)/r) a prime number?
False
Suppose 10*k + 2785 = 15*k. Is k a prime number?
True
Suppose 2*n - 2*r = -r + 3663, 0 = n - 2*r - 1833. Is n a prime number?
True
Let g(w) = 2*w**2 - 3*w - 8. Let y be 46/6 - (-4)/(-6). Is g(y) a prime number?
False
Suppose -42 + 183 = 3*w. Let l = 15 - 65. Let j = w - l. Is j a composite number?
False
Suppose -388 = -i + 2*f - 3*f, 3*i - 3*f - 1182 = 0. Let u = i + -132. Is u a composite number?
True
Suppose r + r - 38 = 0. Is r a prime number?
True
Is 67478/12 + (-4)/24 prime?
True
Let s = 12 - 8. Suppose 18 = -s*r - b, -5*r - 17 = 4*b + 11. Let p(c) = 6*c**2 + 4*c - 3. Is p(r) a composite number?
True
Let l(c) be the third derivative of c**6/120 + c**5/60 + c**4/8 + c**3/2 - 2*c**2. Is l(4) prime?
False
Suppose -23 - 143 = -2*h. Is h prime?
True
Is ((-59)/2)/(6/(-84)) a composite number?
True
Suppose 3*q - 3 = -5*b, -2*q = -4*b - 1 - 1. Let r = 2 + b. Suppose 4*w - 255 = -w - r*k, 3*w = -4*k + 139. Is w a prime number?
True
Suppose 3*h = 5*p + 12, p + 2*h = -p + 8. Suppose 4*s + 0*s + 12 = p. Is s/1*14/(-3) composite?
True
Let k(i) = 127*i**2 + 3*i + 3. Is k(-1) composite?
False
Let i(k) = -k**3 - 3*k**2 - k + 4. Let g(x) = -x**3 - 5*x**2 - 3*x + 1. Suppose -18 = 4*c + u, -2*c - u - 6 = -c. Let n be g(c). Is i(n) composite?
False
Is (-2 - (-5 - -2))*191 prime?
True
Suppose k + 149 = 2*k. Is k a composite number?
False
Is (-6)/(-27) + 56116/36 a composite number?
False
Suppose 4*g = -3*x - 2*x + 424, -234 = -2*g + 3*x. Suppose -1326 = -3*v + g. Is v composite?
False
Suppose 4*a - 4 = 2*v, 4*v = -a + 8 + 11. Suppose -140 = -7*z + 3*z. Suppose v*g = 5*g - z. Is g composite?
True
Let m = -145 - -394. Let x = m + -100. Is x prime?
True
Let c be 3 + 1/((-4)/(-104)). Is c/4 + (-5)/20 a composite number?
False
Suppose 5*s + 72 = 247. Let f = s - 10. Is f composite?
True
Suppose 0 = j + 3*j - 3*a - 2160, 5*a = 5*j - 2705. Is j a composite number?
True
Suppose 2*v + 4*v + 306 = 0. Let g = 304 + v. Is g composite?
True
Let i(q) = 2 - 4 + 15*q**2 + 4 - 3 + 2*q. Is i(-2) a prime number?
False
Let q(g) be the second derivative of -g**3/2 - 4*g**2 + 2*g. Suppose 20 = x - 3*x. Is q(x) prime?
False
Let t(c) = c**2 + 3*c - 21. Is t(-9) composite?
True
Suppose h - 5258 = -2*t - 87, t = 4*h + 2599. Is t a composite number?
True
Let x(a) = -a**2 - a. Let d be x(6). Let z = d - -79. Is z prime?
True
Let v be (3/(-9))/(1/(-21)). Let r(n) = n**2 - 6*n + 5. Let o be r(v). Is 11/(o/9 - 1) a prime number?
False
Suppose 7 - 17 = -5*h. Suppose q = 2*v + 2, -28 = -h*q - 2*q - 2*v. Is q a prime number?
False
Suppose 0 = -r + 2*g + 53, g - 95 = -3*r + 50. Is 623/r - (-2)/7 composite?
False
Suppose 0 = o + 31 - 294. Is o prime?
True
Is (4770/(-36))/((-1)/2) a composite number?
True
Suppose 5*v + 4 = 4*v, -3*x - 3*v - 36 = 0. Is (-1290)/(-8) + x/32 prime?
False
Suppose 5*u - 45 + 15 = 0. Is ((-2)/u)/((-2)/258) a composite number?
False
Let s = -6 - -8. Suppose z = -t + 5*t + 31, -s*t + 88 = 4*z. Is z a prime number?
True
Let k(f) = -6*f**2 + f + 2. Let y be k(-5). Let o = 243 + y. Is o + (0 - 3) + -2 prime?
False
Suppose 3*x = -5*o - 274, o - 161 = 2*x - 0*x. Let n = x - -136. Is n prime?
True
Let y(x) = 2*x**2 + 10*x + 9. Let m be y(-6). Suppose -2*a = -m - 31. Is a a composite number?
True
Let c(l) = -6*l**3 + 9*l**2 - 2*l + 5. Is c(-4) a composite number?
False
Suppose -4*n - 2301 = -5977. Is n composite?
False
Let a be 3/(6/(-28)) - 2. Let v = 37 + a. Is v prime?
False
Let u = 14 + -7. Suppose -4*i + 1 + u = 0. Suppose -16 - 26 = -i*n - 4*z, -4*n - 4*z + 88 = 0. Is n prime?
True
Let t be 10/(-6)*9/(-3). Suppose -5*g = -n - 75, t*g - 2*n = 2*n + 90. Is g a composite number?
True
Let g = 332 + -528. Let y be -2 - 0 - -2 - g. Is 4/18 - y/(-9) prime?
False
Let r(s) = 3*s**2 - 43*s - 1. Let x = -25 - -18. Let t(v) = v**2 - 14*v. Let i(j) = x*t(j) + 2*r(j). Is i(7) composite?
True
Suppose -610 - 216 = -2*r. Is r a composite number?
True
Let p(i) = 3*i**2 + 3*i + 5. Let z(y) = -y**2 - 1. Let m be z(-2). Is p(m) a prime number?
False
Suppose 5*w - 74 = -2*a, -4*w + 0*a + 58 = 2*a. Suppose 3*y - w = 4*j, 6*y = j + 2*y + 17. Is (-1)/(240/(-237) - j) a composite number?
False
Suppose -5 = -5*v + 15, 76 = -m + 4*v. Let l = 145 - m. Is l prime?
False
Suppose 2*m - 4*m = 0. Suppose m = -4*w + 24 + 24. Is (-630)/(-8) - (-3)/w a prime number?
True
Let o be (-29)/(-9) + (-16)/72. Suppose 0 = -6*p + o*p + 267. Is p prime?
True
Let p(f) = 12*f**2 + 5*f - 4. Is p(-9) a prime number?
False
Let q(k) = -2*k - 2. Let p be q(7). Let w = p - -38. Is w a prime number?
False
Let q be 161 - (-1)/(-2)*-6. Let l = 489 + q. Is l composite?
False
Let n(o) = 9*o**2 + 3*o + 2. Is n(4) prime?
False
Let f(c) = -101*c + 3. Let i be f(-5). Suppose -8*h = -4*h - i. Is h a prime number?
True
Let j(n) be the third derivative of 0 + 5/6*n**3 + 0*n - 2*n**2 + 1/12*n**4. Is j(7) prime?
True
Let h(j) be the third derivative of j**6/120 - j**5/15 + j**4/8 - j**2. Let y be h(3). Suppose y*a + 39 = 3*a. Is a a prime number?
True
Let q(a) = 166*a - 15. Is q(4) prime?
False
Let a(y) = 2*y**2 - 5*y - 2. Let v(f) = -f**