 0 = -f - 2*f. Is 92 + (f + 0 - -3) composite?
True
Let k(s) = s**3 + 5*s**2 + 3. Let g be (-20)/15*3/(-2). Let y be g/((-12)/(-9) + -2). Is k(y) prime?
False
Suppose -2*x + 12 = x. Suppose c + x = -4. Let r(f) = -f**3 - 9*f**2 - 9*f + 2. Is r(c) a composite number?
True
Let c = 22 - 24. Is (1 - c) + -3 + 223 composite?
False
Suppose -601 + 6760 = 3*h. Is h prime?
True
Let l(f) be the third derivative of f**6/18 - f**5/120 + f**4/24 - f**3/3 - f**2. Let o(q) be the first derivative of l(q). Is o(-2) a prime number?
True
Suppose w = 2*i - 4*w, -5*i + 3*w = -19. Suppose 3*y + 2 = o - 0*y, 0 = 2*o + 2*y - 12. Suppose c - 112 = -i*b, -41 = -b + o*c - 3. Is b prime?
True
Suppose 46*l + 1317 = 49*l. Is l composite?
False
Suppose -q + 0*q = 0. Suppose 4*n - 33 - 51 = q. Is n composite?
True
Let k be (-10)/(-2) - (0 + 2). Is (2/6)/(k/333) composite?
False
Let x be (27/36)/(2/632). Suppose -2 = -2*w + 4. Suppose -x = w*a - 6*a. Is a a composite number?
False
Suppose 0 = f + 2*s - 4, 1 = 2*f - 2*s - 1. Suppose -3*i + 15 = f*i. Suppose -o = -3*y + 907, y = i*y + 4*o - 586. Is y a composite number?
True
Let r = 7 - 5. Let q be r + -1 - 42/(-6). Suppose 2*d = 3*a - q*a + 35, 0 = 2*a + 5*d + 7. Is a composite?
True
Suppose l + 5 = 0, -2*i + l = 2*i - 21. Suppose i*x - 8*x + 136 = 0. Is x prime?
False
Suppose -9*y = -5*y + 4. Let d(u) = -254*u. Is d(y) composite?
True
Suppose -y = 4*y. Let s(a) be the second derivative of -a**5/20 + a**4/12 + a**3/6 + 23*a**2 + 7*a. Is s(y) prime?
False
Suppose -4*u + 104 + 172 = 0. Is u composite?
True
Suppose 4 - 22 = -3*n. Let c(o) = o**2 + 8*o + 5. Is c(n) a prime number?
True
Let c be -3 - (3 + -1 + -336). Suppose -3*r - 2*r = 4*t - c, 3*r = 3*t - 282. Is t composite?
False
Let i(v) = -153*v + 1. Let s be i(-3). Suppose 3*r - 41 = 5*g, -5 = -r + g + 6. Suppose 3*t + s = r*t. Is t a prime number?
False
Suppose 11 - 1 = 5*x. Is 2 + (0 - x - -409) prime?
True
Suppose -2*g - 451 = -1785. Is g a composite number?
True
Let m = 16 - 7. Let p be 2/(-9) - (-1541)/m. Let r = 250 - p. Is r prime?
True
Let n(r) be the third derivative of -5*r**4/24 + r**3/6 - 2*r**2. Is n(-4) a prime number?
False
Let t be (1 + -60 - -1)/2. Let v = 24 - t. Is v a prime number?
True
Suppose -13297 - 4363 = -4*u. Is u prime?
False
Let w = 12 + -6. Let r(k) = k**3 + 4*k**2 - 5*k + 4. Let y be r(-5). Is 46/4*(w - y) prime?
True
Suppose 3*w - 3 = 3, -s + 3*w + 7 = 0. Suppose 40 = p - s. Is p composite?
False
Let i(c) be the first derivative of c**4/4 - 3*c**3 + 3*c**2/2 + 8*c + 2. Is i(9) a composite number?
True
Let j be 3 - 2 - (-2 - 0). Suppose j*y = -0*y - 21. Let t = y - -16. Is t prime?
False
Suppose -q + 8889 = 2*w - 3*w, -4*w - 8 = 0. Is q composite?
False
Let a(w) = w**2 + 1. Suppose 5 = 5*n - 0*n. Let d be a(n). Suppose 0*m = -d*m + 50. Is m a prime number?
False
Let v(f) be the second derivative of f**3/2 - f**2/2 - 3*f. Is v(5) prime?
False
Suppose n = 3*n - 674. Is n prime?
True
Let g be (15/6)/((-2)/(-4)). Suppose -g*v - 15 = -6*v. Suppose v = -0*n + n + 2*m, -4*m - 46 = -2*n. Is n a prime number?
True
Let a = 120 - -251. Is a a prime number?
False
Suppose 0 = c + 3*c + 8076. Is c/(-6) - 6/4 a composite number?
True
Suppose 3*v = -v + 388. Is v a composite number?
False
Is (1/(-2) + 1)*74 a composite number?
False
Let h = 225 + -102. Is h prime?
False
Suppose -i + 33 = 3*t + i, 5*t = i + 55. Suppose 4*d = 8, 2*d = -q + d + t. Suppose 2*l - q - 5 = 0. Is l prime?
True
Let c(x) = 7*x + 1. Let a be c(4). Suppose 3*o = a + 55. Suppose -3*g - g = -o. Is g prime?
True
Let s = 439 + 40. Is s composite?
False
Let v(w) = w. Let h be v(4). Suppose -h*i - 5 = -129. Is i a composite number?
False
Let i(p) = 10*p**2 + 10*p - 5. Is i(11) a composite number?
True
Suppose 0 = t - 2*f - 81, -4*t = -0*f - 4*f - 320. Is t composite?
False
Let h = 5 - 4. Suppose -h - 1 = -o. Suppose 3*c = -o*c + 10. Is c a prime number?
True
Let f(k) = 36*k + 13. Is f(7) a prime number?
False
Let n(b) = b**2 + 4*b - 1. Is n(4) composite?
False
Let j(q) be the third derivative of -q**7/280 - q**6/360 - q**5/40 + q**4/12 - q**3/2 - 4*q**2. Let c(h) be the first derivative of j(h). Is c(-3) prime?
True
Suppose -o + 187 = 60. Is o a composite number?
False
Let a = -12 + 17. Suppose 0*u + 313 = a*u + 2*k, -5*k = -20. Let w = u - 12. Is w a composite number?
True
Let v(j) = j**3 + 16*j**2 - 5*j + 16. Let o be v(-16). Let h(d) = -3*d**2 + 9*d - 5. Let b be h(6). Let w = o + b. Is w a prime number?
True
Suppose z = -z + 3414. Suppose -3*s - 542 = 2*f - 2269, 3*f + z = 3*s. Is s prime?
False
Suppose -4*k - 2 = -14. Is (-30)/k*329/(-14) a composite number?
True
Let n(t) = 29*t**2 - 2*t - 1. Is n(2) a prime number?
False
Suppose -16 + 1 = -3*n. Suppose 0 - 5 = 2*b - h, -b - n = -h. Suppose b = 2*t - 23 + 3. Is t composite?
True
Suppose 3*z - 1 = 8. Let r be -21*z/(-3 + 2). Suppose 0 = -2*g - g + r. Is g a composite number?
True
Let j be 10*(-3 + (-81)/6). Let k = -116 - j. Is k prime?
False
Let r = -60 + 34. Let k = -51 - r. Let b = k + 46. Is b composite?
True
Let c(p) = -p**3 - 5*p**2 - 4*p - 5. Is c(-6) composite?
True
Let a(d) = -7*d. Let z = -2 + 8. Let x = z + -8. Is a(x) a prime number?
False
Let h(o) be the third derivative of o**4/6 - o**3/2 + 6*o**2. Is h(3) a composite number?
True
Let n(o) = 43*o**2 + 2*o + 1. Let k be n(-1). Let x = 1 + 3. Is (-464)/(-24)*k/x a composite number?
True
Let p = -9 - -13. Suppose p*q + 37 - 345 = 0. Is q prime?
False
Let g = 30 - -60. Let v(i) = 172*i**2 + 3*i - 2. Let a be v(1). Let u = a - g. Is u a composite number?
False
Let f(a) = -28*a + 10. Let o(w) = -14*w + 5. Let h(j) = -3*f(j) + 7*o(j). Is h(-6) a prime number?
True
Suppose -3*t = -2*w + 3, -3*w + 0*t - 15 = 2*t. Is 3452/16 + w/4 a prime number?
False
Suppose -4*k + 10 = k. Is (k/3)/((-2)/(-201)) composite?
False
Let o(b) = 12*b**2 - 11*b + 10. Is o(7) a prime number?
True
Let w = 2 + 0. Let i = w - -3. Suppose 0 = -i*m + 4*m + 2. Is m a prime number?
True
Let o = 9 - 6. Let y be ((-1)/o)/((-3)/45). Suppose 3*q - 3*m = -2*m + 116, y*q - m = 194. Is q a composite number?
True
Let h be (-68)/20 - (-2)/5. Is (-3 + 4)*(-345)/h a composite number?
True
Let z(i) = 73*i**2 - i + 3. Let o be z(-4). Suppose 5*u - v = o, 2*u - 3*v - 470 = 2*v. Suppose 2 + u = 3*w. Is w a composite number?
False
Let v = 618 - 414. Let o = v + -113. Is o prime?
False
Suppose 8 + 55 = -5*w + 2*r, 0 = -2*w - 3*r - 29. Let b(u) = -u**3 - 9*u**2 + 3*u - 14. Is b(w) a prime number?
False
Suppose 0 = -2*p + 119 - 9. Is p prime?
False
Let r = 31 + -55. Let b be 0 - r - (3 - 6). Suppose 4*u - 12 = 0, -2*a + 5*u + b + 4 = 0. Is a a prime number?
True
Let f(x) = 175*x + 7. Is f(10) prime?
False
Let n = 183 - 74. Is n prime?
True
Let l = -131 + -2. Let t be (l + 2)/(5 + -6). Let h = t + -16. Is h a prime number?
False
Let j = 12 + -8. Suppose -2*u - 3*u - 51 = -m, 108 = 4*m + j*u. Is m a composite number?
False
Let b = 355 - 146. Suppose -3*n - s = -n - 161, -5*s = 4*n - 313. Let l = b - n. Is l prime?
True
Let t be (-3)/(-2 - (-103)/50). Let y = t - -173. Is y a prime number?
False
Let g be (-813)/(2 + (-21)/6). Is (16/4 - g)/(-2) a composite number?
False
Let t(c) = c**3 + 19*c**2 - 23*c + 23. Is t(-20) composite?
False
Is (-1)/(-2) - 2610/(-4) composite?
False
Let j = -1 + 3. Suppose -j*d = 2*d - 36. Is d a prime number?
False
Is ((-6)/9)/((-1)/237) prime?
False
Suppose 4*i - 6 = 2*i. Suppose i*q = q + 14. Is q a prime number?
True
Suppose -t = 3*h - 386, 0 = 5*t - h - 189 - 1789. Let m = 606 - t. Is m composite?
False
Let w = -3 + 2. Let m be 9/4*w*4. Is (-138)/(-4)*(-6)/m a prime number?
True
Let t = 9 - 6. Let p(v) = -1 + 2*v**t - 5*v**3 + 2*v**3 - v**2. Is p(-2) composite?
False
Suppose -5*y + 9 = 2*m, -4*m + 10 = y + 1. Suppose 3*j - 4 = h + j, 2*h - j = y. Suppose 4 = 4*g, h*k + 3*g - 28 = g. Is k a prime number?
True
Let u be -8*(2/(-4))/1. Suppose 0 = a + 4*n - 150 - 267, -u*a + 4*n = -1568. Is a prime?
True
Suppose q - b = -5*b + 1573, -2*q - b + 3125 = 0. Is q a composite number?
True
Suppose 4*o = 4*r - o - 3051, 0 = -4*o + 20. Is r prime?
True
Let v(r) = 2 + r + 7 + 0. Let m be v(-4). Suppose 2*l + 0*i + m*i = 24, -3 = l - 5*i. Is l composite?
False
Suppose 4*l = -3*o + 9, -4*l + 2*o + 14 = -0*o. Let k(