6*w - 4. Let z be f(7). Let q be k(z). Suppose -3*x + q*x = -19. Is x a prime number?
True
Let s(p) be the second derivative of -p**5/20 + 3*p**4/4 - 4*p**3/3 + 9*p**2/2 - 2*p. Is s(6) composite?
True
Suppose 5*h + 449 = w, -2*w + 5*h + 463 = -455. Is w composite?
True
Let x be 2 - (-13)/(2 + -1). Let w = 0 + x. Is w a prime number?
False
Let w = -207 + 303. Suppose -4*f - w = -308. Is f a composite number?
False
Suppose 1513 = -11*b + 13052. Is b prime?
True
Let i = 3 - -1. Let c = -1 + i. Suppose -4*b = 4*h - 92, c*b + h = 6 + 55. Is b a composite number?
False
Suppose -2*x = -o - 833, -15 = 7*o - 2*o. Is x prime?
False
Suppose -70 = -r - r. Is r a prime number?
False
Let g(t) be the third derivative of t**7/2520 + t**6/720 + t**5/120 - t**4/12 + 2*t**2. Let c(r) be the second derivative of g(r). Is c(4) a prime number?
False
Suppose 586 + 102 = 2*t. Let m = 232 - t. Let v = -45 - m. Is v prime?
True
Suppose -2*s - 4*q = -1042, 4*q = 3*s - q - 1541. Is s prime?
False
Let q = 1617 - 1118. Is q prime?
True
Let o = 21 + -9. Is (-4227)/(-18) - (-2)/o composite?
True
Let b(k) = -k - 4. Let z be b(-5). Let j be (-9)/6*(-3 + z). Suppose -2*s = 5*u - 453, 4*u + j*s - 186 = 182. Is u prime?
True
Let u = -25 + 50. Suppose -u = -5*h - 85. Let a = h + 26. Is a a prime number?
False
Suppose -6*d = -628 - 266. Is d composite?
False
Let g(i) = 10*i - 3. Suppose 3*a + n + 4 = 13, -a + 4*n + 16 = 0. Suppose -a*z + 18 + 2 = 3*f, 0 = -3*z + 6. Is g(f) a composite number?
False
Let k = 31 - -16. Is k a prime number?
True
Let m = 1402 + -901. Is m composite?
True
Is (6366/(-24))/(1/(4/(-1))) composite?
False
Let h = 7 - 5. Let l be (0 + 51)*h/6. Let i = l - -20. Is i a prime number?
True
Is (-1 + 2658)*((-20)/(-5))/4 a composite number?
False
Suppose -10 = s + 2*c, -4*s + c - 15 = 4*c. Suppose 3*q - 4*q + 4 = s. Suppose 3*n + 283 = 4*m + 6*n, 0 = 5*m - q*n - 315. Is m a prime number?
True
Is 813 + ((-64)/12 + 4)*3 prime?
True
Let h(q) = -848*q**3 - q**2 - q. Let r be h(-1). Let y = r - 555. Is y a composite number?
False
Suppose -5*y + 1168 = 3*j - 1641, -2242 = -4*y - 5*j. Is y prime?
True
Let n be (1 - 27/2)*2. Let x = n + 78. Is x prime?
True
Let i(f) = 2*f**3 + 2*f**2 + f - 12. Is i(5) composite?
False
Suppose -13*k = -18*k + 3505. Is k a prime number?
True
Suppose 0*z = z + 2. Let h(u) = -30*u - 3. Is h(z) a prime number?
False
Suppose 6*z - 2*z + t = 536, -5*t = -2*z + 246. Is z prime?
False
Suppose 2*b - 3461 = 5*s + 16772, -b + 10109 = -4*s. Is b prime?
False
Let f = -7 - -18. Suppose 0 = 5*o - 3*p + f, o - 6 - 5 = 5*p. Let j(g) = -2*g + 2. Is j(o) composite?
True
Let u = -371 - -1210. Is u prime?
True
Suppose 2*o + 14 = -14. Suppose 3*x + 65 = 2*m, 35 = -2*m + 3*m - x. Let f = m + o. Is f a composite number?
True
Suppose 61 + 2 = -3*x. Let a = -14 - x. Is a a prime number?
True
Let h(i) be the first derivative of 7*i**5/60 + i**2/2 - 3. Let f(r) be the second derivative of h(r). Is f(1) a prime number?
True
Let g be (-2)/(-4) + 10/4. Is g/(-21) + (-324)/(-14) a prime number?
True
Suppose 0 = -g + 3 - 1. Suppose -g*n - 2*n = -892. Is n composite?
False
Let u(p) = -7*p**2 + 2*p - 8. Let g(v) = 13*v**2 - 5*v + 16. Let j(z) = 6*g(z) + 11*u(z). Let b be j(7). Is 6/3 - (-23)/b composite?
True
Suppose 3*q = 6*q. Let y = q - 22. Let a = 41 + y. Is a a prime number?
True
Let n(t) = 16*t**2 + 6*t - 5. Let k(h) = 16*h**2 + 6*h - 5. Let x(p) = 7*k(p) - 6*n(p). Is x(-5) prime?
False
Let p be 2/(-1)*(-8)/2. Suppose 4*r - p = -0*r. Is (-7 + 5)/(r/(-67)) a prime number?
True
Let g = 188 + -111. Is g prime?
False
Suppose 10*w = -0*w + 4090. Is w composite?
False
Let o be (-2514)/(-24)*(-4)/(-1). Suppose -5*n = -o - 6. Is n a prime number?
False
Suppose -4*z = -0*i - i - 14, 10 = i + 4*z. Let n = 112 - i. Suppose n = f + 37. Is f a composite number?
True
Is (-5 + (-5058)/12)*-2 a composite number?
False
Let r(f) = -f**3 - 4*f**2 - 6*f + 10. Is r(-7) a composite number?
False
Is (4559 - 12/(-3)) + -2 a composite number?
False
Suppose t + 3*o = 5*o + 1925, 2*t - 3856 = -2*o. Is t a prime number?
False
Suppose 11*n - 19*n = -2344. Is n prime?
True
Let y(k) = k**3 + k**2 + k - k. Let r be y(-1). Suppose 0 = -r*n - 3*n + 21. Is n prime?
True
Is (-63)/(-9)*(-142)/(-7) a prime number?
False
Let z be (-45)/6*(-4)/6. Suppose z*q = -2*u + 238 - 57, 4*u = -q + 335. Is u a prime number?
True
Let z(y) = 13*y**2 + 3*y - 3. Let l be z(2). Let n(m) = -2*m**3 + 4*m**2 - 2*m. Let v be n(2). Let k = l - v. Is k a composite number?
False
Let z be 0 + 9 - 4 - -1. Suppose 0 = -4*j - 4*c + 1024, -2*c = -3*j - z*c + 773. Is j a composite number?
False
Let g(m) = m + 8. Let q be g(-6). Suppose 0*w = q*w + 2*a - 468, 4*w - 4*a = 928. Is w prime?
True
Let y(k) = -163*k + 1. Let o be y(-1). Suppose 9*t = 4*t - 2*v - o, 2*t + 68 = -2*v. Let p = 223 + t. Is p composite?
False
Suppose -u = -1, u = 2*j + 2*u - 11. Suppose -j*l + 207 = -223. Is l a prime number?
False
Let v(b) be the third derivative of -b**4/24 + 5*b**3/2 + 2*b**2. Let l be v(12). Let w = l + -1. Is w a prime number?
True
Let r(l) = 20*l**2 + 6*l - 17. Is r(-6) prime?
False
Let q(i) = -78*i**3 + 2*i**2 + 2*i + 2. Let f be q(-2). Suppose 2*p - 319 = p - 3*c, 4*c - f = -2*p. Is p composite?
False
Suppose 2*y - 89 - 29 = 0. Suppose 2 = -3*h + y. Is h a composite number?
False
Is 2/8*(-1 + 125) a composite number?
False
Let m(l) = -l**2 + 10*l + 7. Let b(u) = 3*u + 2. Let c(n) = 17*b(n) - 6*m(n). Is c(7) a composite number?
False
Let c be 18/(-14) - 2/(-7). Let r = 1 + c. Suppose r = v - 4*f - 19 - 22, -5*f - 190 = -5*v. Is v composite?
False
Suppose -5*p + 2*g + 31 = 0, 5*g = 4 - 19. Suppose -4 = -f + q + 6, 28 = 3*f - 2*q. Let l = f - p. Is l a prime number?
True
Suppose 252 = 2*g + 2*m, 5*g + 5*m - 4*m - 634 = 0. Is g composite?
False
Let f = 63 - 25. Suppose d = 3*d - f. Is d composite?
False
Let d = 7 - 7. Suppose d = -3*v + 12 + 351. Is v a composite number?
True
Is (-1 - 1)*(-2386)/4 a composite number?
False
Let r(q) = -17*q - 15. Is r(-14) a composite number?
False
Suppose -4*n + 3*u = -10 - 5, 7 = n - 4*u. Let w(h) = -n*h**2 + 15 + 4*h**2 - 3*h + 4*h. Is w(0) prime?
False
Suppose -2*z + 9867 = 5*o, -1975 = -o - 6*z + 4*z. Is o composite?
False
Suppose -s + 3*u = s - 319, u - 484 = -3*s. Is s a composite number?
True
Let n(y) = y**3 - 2*y + 3. Let z be n(-3). Let l be 3/6*(z - 0). Let h(s) = -s**3 - 9*s**2 - 5*s + 2. Is h(l) prime?
True
Let w = -12 + 15. Suppose -3*j - 3*i + 381 = 0, w*i + 0*i = 5*j - 635. Is j a composite number?
False
Let r be (4/(-6))/(2/(-6)). Suppose -1 = r*k - 7. Is (-2)/6 + 274/k a composite number?
True
Suppose -5*g = -3*g + 230. Is 3/((-118)/g + -1) prime?
False
Suppose 3*z = 5*h + 348, 2*z - 4*h - 593 = -3*z. Is z a prime number?
False
Suppose 0*n - 5*n = 0. Let j(c) = 2*c - 13. Let i(f) = 3*f - 25. Let u(o) = -3*i(o) + 5*j(o). Is u(n) prime?
False
Suppose 6*u - 26*u + 39700 = 0. Is u prime?
False
Let c be 2 - ((-1)/(-1) - 2). Let n = 11 - c. Suppose -245 = 3*o - n*o. Is o a prime number?
False
Suppose -3*t - 48 = 39. Let u = t + 62. Is u a prime number?
False
Let j(v) = -v**3 + 9*v**2 + 7. Let w(g) = -g**3 + 7*g**2 - 6*g + 9. Let f be w(6). Let h be j(f). Suppose -s - h = -40. Is s composite?
True
Suppose -2*r = -11*r + 1665. Is r a prime number?
False
Let p(m) = -4*m + 4. Let b = 2 - 0. Let i(g) = -7*g + 8. Let n(u) = b*i(u) - 5*p(u). Is n(3) composite?
True
Let y be (0 - -6)*(-1)/(-2). Is (-3225)/(-20) - y/12 composite?
True
Suppose 113 = -3*g + 308. Suppose 811 = 2*n + g. Is n a composite number?
False
Suppose 0 = -4*u + 3*u + 209. Is u prime?
False
Let h be -1 + 7 - 6/3. Suppose h*v - 8 = 3*r, 0*v + v - 15 = 4*r. Is (-2)/((-6)/(-21))*v a prime number?
True
Is (1644/9 + -2)*9/6 a composite number?
False
Let u be (-1 + 5)/((-4)/6). Let w be 0 - 8/u*3. Suppose -2*p - w*k = -6*k - 20, -3*p + 55 = 2*k. Is p prime?
False
Let x be (0 + 12)/((-3)/(-2)). Let g(h) = 14*h + 1. Is g(x) a prime number?
True
Is (-1)/(-15)*3 - (-218)/10 a composite number?
True
Suppose 2*y + 4 = 3*y. Let v = -72 - y. Let k = 37 - v. Is k composite?
False
Suppose -5315 = -5*s - 5*t, -5*s = 5*t - 3*t - 5309. Is s a composite number?
False
Is 1/(-6) - (-7574)/12 composite?
False
Suppose 2*q - 6 = -q. Suppose -424 = -2*o - 5*l, l