= 0, -2*z - 9 = -2*u + 3*z. Let n be s(u). Suppose n*b = -3*w + b + 113, -115 = -3*w + 2*b. Is w composite?
False
Let u be 3 + 1*-62 - 0. Let a = u - -250. Is a composite?
False
Let w = -4 + 7. Suppose w*s = -s + 20. Let k(u) = u**2 - 2*u - 4. Is k(s) a prime number?
True
Let v(t) be the third derivative of t**8/6720 - t**7/630 + t**6/240 + t**5/60 + t**4/12 + 3*t**2. Let m(w) be the second derivative of v(w). Is m(4) composite?
True
Let n(u) = -11 + 3*u + 22*u**2 + 8 + 7*u**2. Is n(2) a prime number?
False
Let n = -6 - -2. Let x(j) = -32*j - 1. Is x(n) composite?
False
Suppose 0*q + 5*q = 4*f - 117, -3*f + 5*q = -89. Let v(i) = -14*i**2 - 1. Let y be v(-1). Let r = f + y. Is r prime?
True
Suppose 0*o + 745 = 5*o. Is o a prime number?
True
Let k(y) = 4*y**2 + y - 23. Is k(-15) composite?
True
Let q(n) be the second derivative of n**3/3 - 3*n**2 - n. Let r be q(7). Let s = r + -5. Is s prime?
True
Let p(g) = 4*g**2 + 7*g + 17. Let k(j) = -j**2 + 15*j + 7. Let f be k(15). Is p(f) a composite number?
True
Suppose -4*w - 5*w = -621. Is w composite?
True
Let k(a) be the third derivative of -a**4/12 - 5*a**3/3 + 2*a**2. Let p(g) = -g**2 + 10*g + 3. Let l be p(11). Is k(l) prime?
False
Let c(p) be the third derivative of p**6/120 - p**5/12 - 13*p**4/24 + 2*p**3/3 + p**2. Let f = 21 + -12. Is c(f) a prime number?
True
Is (-223)/4*-1*(5 + -1) a composite number?
False
Let h(t) = 21*t**2 - 6. Is h(5) a composite number?
True
Let q(r) = 44*r - 5. Is q(2) a composite number?
False
Suppose 2*g = 4*g - 4. Suppose 5*x + 15 = 0, g*n = -5*x + 10 + 19. Is n composite?
True
Let d be (-104)/(-20) - (-1)/(-5). Suppose -13 + 3 = d*g. Is g/6 - 2904/(-18) a composite number?
True
Suppose 2763 = 4*h - p, -3*h - p + 2071 = -3*p. Is h composite?
False
Let r(h) = -5*h**3 - 1. Let t be r(-1). Suppose 4 = 2*i - t. Is i a composite number?
True
Let k be (-5)/(-2)*(-126)/(-35). Suppose -2*i + k = n - 0*n, -i = 5*n - 72. Is n a composite number?
True
Let k be -3 + (-14)/(-4)*2. Suppose -q - 3*m - 7 + k = 0, -5*q + 5 = -5*m. Let a(d) = d + 19. Is a(q) prime?
True
Let z(m) = -5*m**3 - 4*m**2 - m + 1. Is z(-3) a prime number?
True
Is 9474/15 + 36/(-10) + 3 composite?
False
Let t(y) = -5*y**3 + 7*y**2 - 7*y. Let h be t(5). Let w be (-4)/(-6)*-3 - h. Suppose -a + 289 = 3*v - 2*a, 5*v = 2*a + w. Is v prime?
False
Suppose -18*z + 22*z - 2716 = 0. Is z a prime number?
False
Suppose 2*s - 55 = 333. Is s prime?
False
Is (1/5)/((-3)/(-31935)) a prime number?
True
Suppose r - 20 = -r. Let i be 1/3 - r/(-6). Suppose -2*s + 5*b + 483 = i*s, -4*b = 4*s - 528. Is s a prime number?
True
Let x be 284/6*9/3. Suppose 98 + x = 5*r. Suppose -4*o + r = -12. Is o composite?
True
Suppose -9 - 7 = -4*n. Is (-17691)/(-9) - n/(-3) a composite number?
True
Let n(f) = 13*f**3 - 4*f**2 + 13*f - 340. Let v(s) = -3*s**3 + s**2 - 3*s + 85. Let l be (7 + -1)/3 + 7. Let u(o) = l*v(o) + 2*n(o). Is u(0) prime?
False
Let v = -3 + 5. Suppose -2*x + m - 6 = -v*m, -3*x = -2*m + 4. Suppose -4*j + 644 = -x*j. Is j a composite number?
True
Let p(x) = 133*x - 2. Is p(3) a prime number?
True
Let b be -1 + 1*4244/4. Suppose -g - 2*g = -15, -5*z - g = -b. Is z a prime number?
True
Let m(b) = 4 + 28*b + 0 + 55*b. Is m(3) a composite number?
True
Let v(s) = 7*s - 1. Let n be v(1). Suppose -n*c + 2*c + 996 = 0. Suppose 88 = j + l, -c = -3*j - 0*l + 2*l. Is j a prime number?
False
Is -4 - (3990 - 1)/(-1) composite?
True
Suppose -16 + 0 = 4*m + 4*n, 5*n + 10 = 5*m. Let o be m*1 + -8 + 5. Let f(u) = u**3 + 9*u**2 - 3. Is f(o) a prime number?
False
Suppose 2*o = -3*i - i + 8, -2*o = -3*i + 6. Let y be ((o - -7) + 0)*-1. Is 1*-1 - (y - -4) a prime number?
True
Suppose -3*v = -8*v + 40. Let y = -8 - v. Let t = -7 - y. Is t prime?
False
Suppose z + 8*l = 3*l + 75, 4*z - 5*l = 200. Is z composite?
True
Suppose -14*b + 2605 = -13*b. Is b a prime number?
False
Let v = 50 - 48. Is v a composite number?
False
Suppose 40*y - 36*y = 2804. Is y prime?
True
Suppose -3*b + 107 = 5*n, 5*n - 40 = 3*n - 4*b. Suppose n = m + m. Suppose 9*q - m = 8*q. Is q a prime number?
True
Let g(v) = v**3 - 29*v**2 + 73*v + 4. Is g(31) composite?
True
Suppose -9 = 3*p - h - 154, 0 = 2*p + 5*h - 125. Suppose -3*q - 8 = -p. Is q composite?
True
Let h(a) = -5*a**3 + 2*a**2 - 1. Let c be h(1). Let q = c + 4. Suppose q = -4*x + 322 - 62. Is x composite?
True
Suppose o - 1 - 1 = 0. Let z(b) = -2 + 6 - o - b + 1. Is z(0) a prime number?
True
Suppose -3*k = -k + 18. Let y = 26 - k. Is y a prime number?
False
Let z be 5/(-3) - (-2)/3. Is (-2 - z)*(-493 - -6) a prime number?
True
Suppose 2*w - w - 2*z = 22, -5*w - 3*z = -71. Suppose 5*t - 4*q - w = 435, 364 = 4*t - 4*q. Is t a prime number?
False
Let p = -6 - -9. Is p/(3/60*6) prime?
False
Let t = -372 + 531. Suppose 3*p + 256 = 5*c, 5*c - 5*p - t = 91. Is c a composite number?
False
Suppose 0 = -a + 2*a - 191. Is a a prime number?
True
Let n = 352 - -103. Suppose 5*f = -0*f + n. Is f a prime number?
False
Suppose -d = -5*i - 6*d + 720, -4*i = -2*d - 582. Is i a composite number?
True
Is (1226/(-6))/((-16)/48) composite?
False
Let g = 192 - 1. Is g a composite number?
False
Let f(j) = -3 + 8*j + 3*j - j. Let u be (-36)/(-8) + 1/2. Is f(u) a composite number?
False
Let g = -1 + -2. Is (2/(-1) - -52) + g composite?
False
Let z(b) = -b**3 + 12*b**2 - 7*b - 5. Is z(7) a prime number?
True
Let t(b) = -12*b - 5. Is t(-5) composite?
True
Let v = 22 + -24. Let s(i) = 9*i**2 - 3*i - 3. Is s(v) prime?
False
Let d(l) = l**3 - 4*l**2 - 2*l - 1. Let r be d(5). Suppose -y + 0*y + r = k, -2*y - 3*k = -29. Is y prime?
True
Let d(s) = -s + 12. Let v be d(7). Suppose 3*q + 10 = 5*l, 0*l = -5*q + v*l. Suppose -q*i + 1251 - 136 = 0. Is i composite?
False
Suppose 6 = 2*c + 3*y, -3*c = c + 2*y - 20. Is (-1370)/(-15) - 2/c a composite number?
True
Let h(d) = -d**2 + 203. Is h(0) a prime number?
False
Let p(i) = i**2 + i + 10. Is p(-9) a composite number?
True
Let t = 0 + -2. Let m be t/(4/(-3) + 2). Is 1*m/6*-518 a composite number?
True
Suppose 0 = -4*c - 3*v - 7469, 0*v + 5*v = -5*c - 9335. Is 1/(8/c)*-2 composite?
False
Let q(f) = 15*f**3 - 6*f**2 - 4*f + 1. Let r(x) = -14*x**3 + 7*x**2 + 5*x - 1. Let m(b) = -7*q(b) - 6*r(b). Let w = -1 + 0. Is m(w) a composite number?
True
Suppose -5*d + 2*y - 6 - 3 = 0, 3*d + 3*y - 3 = 0. Let h be 2 + 7 + d + 0. Let z = -2 + h. Is z composite?
True
Let r = 2118 + -992. Is r a composite number?
True
Suppose -4*k + 2*k = -662. Is k composite?
False
Let i = -26 + 57. Is i a prime number?
True
Let p = -106 - -367. Suppose -n = 2*n - p. Is n a prime number?
False
Let p(h) = -265*h. Is p(-1) prime?
False
Suppose -l + 5*o = -17, 2*l + 0*o + 4*o - 90 = 0. Is l composite?
False
Let c(l) = -3*l - 3. Let t be c(-3). Suppose -2*v + 2 = -t. Suppose 100 = v*u - 48. Is u composite?
False
Suppose -3*z - z + 32 = 0. Suppose 0 = i - z + 2. Is (36/(-8))/(i/(-8)) a prime number?
False
Suppose -5*i + 225 = -10. Is i a composite number?
False
Is 4 + 0 - (-8 + -369) a composite number?
True
Let a(i) = -4*i + 1. Let j(u) = u**2 + 5*u - 1. Let f(q) = 3*a(q) + 2*j(q). Is f(-8) composite?
True
Let l = 4853 + -3444. Is l a prime number?
True
Let v(y) = -y - 1. Let r be v(-3). Suppose 0 = -r*h + 2*c - 8, h - 3*c + 8 = -c. Suppose h = 4*u - 0*u - 52. Is u a prime number?
True
Suppose 3*c + c = 8. Suppose 5*p - 4*z - 49 = 0, c*p - 8 - 14 = z. Is p prime?
True
Let k be (-310)/(-4) - (-16)/(-32). Suppose k = -f + 564. Is f a prime number?
True
Let j(f) = -f**3 + 8*f**2 - f - 7. Let l be (2/3)/(2/(-6)). Let b = 9 + l. Is j(b) prime?
False
Suppose 6 = -0*g - 3*g. Is -2*161/4*g prime?
False
Suppose -3*o + 5214 = 2*o - 4*m, 0 = -o + 2*m + 1038. Is o a prime number?
False
Let q(m) = -m - 5. Let u(r) = -r - 9. Let d(p) = -9*q(p) + 4*u(p). Let y be d(-7). Is (0 - y)/(-1 + 3) a prime number?
True
Let s = 2516 + -1399. Is s prime?
True
Let o(x) be the first derivative of x**6/360 - x**5/60 + x**4/4 + x**3/3 + 1. Let y(p) be the third derivative of o(p). Is y(-7) a prime number?
False
Suppose s - 4*m - 3 = 0, 7*s + 4*m - 15 = 2*s. Suppose -3*l - 22 = -2*c, -4*l - 1 + 0 = s*c. Suppose 119 = c*p - 126. Is p a prime number?
False
Let r(h) = h - 5. Let m be r(9). Suppose 4*v + 352 = 4*z, 4*z + 135 = -m*v + 495. Is z prime?
True
Let n(z) = z - 6. 