3 - 6*n**2 - 7*n + 6. Let m be o(7). Let q be -2*1/(m/(-9)). Suppose 4*f - 98 = -q*j, f - 4*j = -f + 60. Is f prime?
False
Suppose -99*g + 92*g = -25781. Is g a prime number?
False
Suppose 11*i + 3*i - 4102 = 0. Is i composite?
False
Suppose 1164 = 4*v - 2*y + 3*y, 3*v - 873 = -2*y. Is v composite?
True
Suppose 2*l - 2*z = 992, 4*l + 2*z - 1546 = 426. Suppose -l - 121 = -5*u. Is u a composite number?
True
Suppose 0 = -2*y - 2 - 4. Let z(m) = -6*m**3 - 4*m**2 - 3. Is z(y) composite?
True
Suppose -11 = -3*b + y, y = -0*b + 2*b - 9. Is -2 + 2/b + 20 a composite number?
False
Suppose -b = -0*b - 201. Is b prime?
False
Let p(g) = g**2 - g - 1. Let a be p(3). Suppose -2 = -i - 0*i. Suppose i*h = 5*m - 15, -a*m - 9 = -8*m + h. Is m composite?
False
Suppose 0 = 11*c - 12*c + 685. Is c composite?
True
Let t(b) = 2*b - 2. Let z be t(3). Suppose -3*v = -15, -2*w - 120 = 2*w - z*v. Is (1 + -2)/1*w composite?
True
Suppose -3*p = -4*p + 6. Suppose 10*d - p*d - 3836 = 0. Is d a composite number?
True
Let w be 419/3 + (-4)/(-12). Is ((-5)/(-10))/(2/w) prime?
False
Let y = -5 - -7. Let j be (-5)/(-3) - 3/(-9). Is 4/j*19/y a prime number?
True
Let l(c) be the second derivative of -c**7/2520 + 7*c**6/720 - c**5/40 + c**4/12 + 3*c. Let y(j) be the third derivative of l(j). Is y(6) composite?
False
Suppose -j - 7 = -3*h, 2 = -2*j - 0*j + 3*h. Suppose -r = 4*b - 9, r + r = j*b + 5. Let k = 2 + b. Is k composite?
False
Let z be (2/6)/(1/(-3)). Is -19*(z*6 + 3) composite?
True
Let a(z) = -z**3 + 13*z**2 - 9*z + 13. Let w be a(9). Suppose 0 = 4*l - 2196 + w. Is l composite?
True
Suppose 0 = -2*y - 2*y. Let v(i) = i**2 + 2. Let r be v(0). Suppose y*p + 190 = r*p. Is p prime?
False
Suppose -o + n + 494 = 0, o = -n - 3*n + 489. Is o a prime number?
False
Let p be (1 + -1)/(-4 - -6). Let h = p - 1. Is (-163)/h + 0/(-3) a prime number?
True
Let x(n) = 4*n**2 + 4*n - 11. Is x(-7) a prime number?
True
Let t(l) = l**2 - 5*l + 1. Let d be t(4). Let m be 0 - -1*(-4 - -6). Is d/3*m + 55 a prime number?
True
Suppose -4*f = 3*g - 2528, -3*g + 7*g = f + 3377. Suppose -2*w + 6*w - g = 0. Is w composite?
False
Is (-3 - -2)*(1 - 258) a composite number?
False
Let s be 4/(-6) + 16/(-3). Let o(h) = h**2 + 4*h + 11. Let m(v) = 3*v**2 + 9*v + 23. Let b(t) = 2*m(t) - 5*o(t). Is b(s) composite?
True
Let t(v) = 2*v**2 - v - 2. Is t(-5) a prime number?
True
Let x = 2 + -4. Is 56 + -3 + 2 - x prime?
False
Suppose 0 = -2*w - 3*w + 1465. Is w a composite number?
False
Let x(f) = 6 - 14*f**2 + 7*f - 1 + 6*f**2 + f**3. Let l be x(7). Suppose b + a - 34 = -4*a, 3*b - 42 = l*a. Is b prime?
True
Let g(i) = 67*i**3 + i**2 - i + 1. Let o be g(1). Suppose h = 3*t + o, 0*t + 15 = -5*t. Suppose -4*c + 0*c + h = -f, 0 = 3*f + 9. Is c a prime number?
False
Suppose -8*w - 9 = -9*w. Suppose -5*g + w = -46. Is g composite?
False
Suppose 3*f = -f + 16. Suppose -281 = -2*x - f*d + 13, -5*d + 141 = x. Suppose -27 = -2*g + x. Is g composite?
False
Let o(d) = 9*d**3 + 4*d**2 - 3*d. Let l be o(3). Suppose 0 = -4*z - 6 - 2. Is l/14 - z/(-7) a composite number?
False
Suppose 5*k - 1 = -4*v + 2*k, 0 = -4*v - 4*k. Let l(h) = 33*h**2. Is l(v) composite?
True
Suppose -4*h - 4*s + s - 1492 = 0, h - 3*s + 373 = 0. Let f = h - -596. Is f a composite number?
False
Let l(k) = k**3 - 6*k**2 + 6*k - 1. Let v be l(5). Suppose 1252 = v*d - 0*d. Is 4/18 - d/(-9) a prime number?
False
Suppose -d - 4*k = k + 7, 2 = -3*d + 4*k. Is (-256)/(-2) + (1 - d) a prime number?
True
Let u(m) be the third derivative of -m**2 + 0 - 5/6*m**3 + 17/12*m**4 + 0*m. Is u(4) prime?
True
Let b be (1 - (-1)/(-3))*3. Let f(k) = 3*k + 10*k**2 + 4*k**b - 2*k - 2. Is f(3) composite?
False
Let v = -243 - -356. Is v prime?
True
Let i(l) be the third derivative of 5*l**4/12 + 5*l**3/6 - l**2. Is i(6) a composite number?
True
Suppose -141*x = -142*x + 3637. Is x a prime number?
True
Let v = -64 - -110. Let l = 9 - -12. Let y = v - l. Is y prime?
False
Suppose -8*w + 844 = -4*w. Is w a prime number?
True
Suppose 6*o - 2572 = 1682. Is o a composite number?
False
Suppose -4*v = v. Suppose v = 3*b - 7*b + 376. Is (1 - -1)*b/4 prime?
True
Suppose -6*d = -2002 - 4700. Is d a prime number?
True
Let c be (-4)/18 - (-12)/54. Suppose 3*m - m - 742 = c. Is m composite?
True
Let g(d) = -d - 32 + 32. Let f be g(0). Suppose -63 = -3*j - f*j. Is j a prime number?
False
Let y(c) = 2*c**2 - 8*c + 7. Is y(6) composite?
False
Suppose -3 = v + 7. Let c(w) = -w**3 + 7*w**2 - 4*w + 1. Let f be c(5). Let m = f + v. Is m a prime number?
False
Suppose 4*c + d = 328, c - d - 63 = -6*d. Is c composite?
False
Let n(i) = i**2 + 6*i - 4. Let b be n(-6). Let o = 2 - b. Suppose -9*y = -o*y - 1659. Is y prime?
False
Let u(v) = v**3 - v**2 - 6*v + 295. Is u(0) prime?
False
Suppose 10*j - 25 = 5*j. Suppose 5 = j*w - 10. Is w a prime number?
True
Let o(a) = -8*a**2 - a - 2. Let w(x) = x**3 + x**2 + x. Let d(h) = -o(h) - w(h). Let u be d(7). Is (-6)/u + 2 + 27 prime?
False
Suppose 7*m - 294 = 4*m. Suppose 12 + m = 2*q. Is q prime?
False
Suppose x - 4 = -x. Let u(f) = f**3 - 3*f**2 - f**2 + 4*f - 5 + x*f + 0*f. Is u(4) a prime number?
True
Let p = 47 + -22. Suppose -65 = 2*q + 2*o - 355, 0 = 5*o - p. Let k = q - 93. Is k a composite number?
False
Let g be 8/(-4) - (-226)/2. Suppose 4*m - 2*d = 124 + 2, 4*m - g = -3*d. Let j = m + -17. Is j prime?
True
Suppose 8 = 5*b - 2. Suppose -26 = -2*s + 2*g, 5*s + b*g - g = 53. Is s a composite number?
False
Is (3 + -2)*(486 + -1) composite?
True
Let i(n) = -n**3 + 12*n**2 + 4*n + 13. Is i(-9) prime?
False
Let k = -14 + 346. Suppose -k = 2*i - 62. Let z = i + 224. Is z prime?
True
Let c(y) = -y**2 + 3*y - 5. Let t be c(5). Is (-1998)/(-10) + 12/t a composite number?
False
Is (42 + -4)/((-4)/(-2)) prime?
True
Suppose 2*q + 5*b = 2*b + 1174, b = 0. Is q a composite number?
False
Suppose 5*j - 1153 = -123. Is (5 - 4)*j/2 prime?
True
Let v(q) = -28*q**3 - q + 1. Let s be v(1). Let n = s + 15. Let a = n - -52. Is a a composite number?
True
Let r(a) = -a**3 + 16*a**2 + 12*a + 19. Is r(16) a composite number?
False
Let u(g) be the third derivative of g**6/30 + g**5/30 - g**4/8 + g**3/2 + 2*g**2. Is u(2) prime?
True
Let x(u) = 2*u. Let g be x(-1). Let c = g + 2. Suppose -3*a + 388 + 113 = c. Is a a composite number?
False
Let p(z) be the first derivative of -49*z**2/2 - 3*z + 9. Let k = 5 - 7. Is p(k) prime?
False
Suppose 29*b = 34*b - 2045. Is b a prime number?
True
Let a(n) = -21*n + 1. Let y be a(4). Let b = y + 120. Is b a composite number?
False
Let p(g) = -41*g - 1. Let d = -1 + -3. Is p(d) prime?
True
Suppose -2*t - c + 8 = -3*c, 5*t - 32 = c. Is 18/42 - (-1474)/t composite?
False
Suppose 2*x = 7*x - 10. Suppose x*u = 3*s - 2*s - 51, 3*u = -3*s + 162. Is s a prime number?
True
Let l be ((-1)/2 - 1)*2. Let t be 15 - 0/l - 0. Suppose t = 5*p, 261 = 2*h + 5*p - 68. Is h composite?
False
Let q(r) = 6*r**3 - r**2 - r. Suppose -4*t + 0 - 4 = 0. Let j be q(t). Let d(l) = l**2 + 2*l + 1. Is d(j) a prime number?
False
Is 1115 + 3*2/3 prime?
True
Let p be -4*-1*6/8. Let s(i) = 2*i + i - 2*i - 79*i**p + 1. Is s(-1) prime?
True
Let q = 61 + -431. Let p = q - -617. Is p composite?
True
Let p be 73/(-4) + 1/4. Is (-4)/p - (-6015)/27 composite?
False
Let y = -11 + 13. Suppose -47 = -y*j + 3*k, -j = -4*k - 11 - 20. Is j a prime number?
True
Let j(d) = -d**3 - 8*d**2 - 6*d + 5. Is j(-8) a composite number?
False
Let m(l) = 2*l - 4. Let u be m(4). Suppose -u*j + 114 = -142. Suppose -c = d - 45, -3*d + 3*c + 59 = -j. Is d a prime number?
True
Let s be 12*(1 + 2/(-4)). Let n be (3/s)/((-2)/8). Is n/(-10) - 19/(-5) a prime number?
False
Let c(f) = -f**2 + f - 3. Let y be c(0). Let p = y + 3. Let r(t) = t**3 - t + 19. Is r(p) composite?
False
Suppose 3*w + 6*w - 171 = 0. Is w prime?
True
Suppose 3*k + 5*f = 35, -k - 4*k = 4*f - 41. Suppose -445 = k*z - 1235. Is z a prime number?
False
Suppose 4 = -r + 3*r. Suppose d + r*d = -189. Let b = -14 - d. Is b prime?
False
Is 45*(-1 - -3) + -1 a prime number?
True
Suppose -1103 = -6*l - 137. Is l a composite number?
True
Let p = -6 + 8. Suppose p*h + h - 2*x - 361 = 0, -240 = -2*h + x. Let l = -28 + h. Is l a composite number?
True
Let i be (6/(-1))/((-3)/2). Suppose -1 = c - i. Suppose -4*d + 125 = c*v, d - v + 170 = 6*d. Is d composite