m - 26. Is (-1 - 36)/(0 - x) prime?
True
Let r(n) = 39*n**2 - 3*n - 1. Is r(-3) a composite number?
False
Suppose -s + 3*r + 2340 - 54 = 0, 0 = -2*s - r + 4565. Is s prime?
False
Let z(v) = v**3 - 11*v**2 + 12*v + 3. Let m be z(9). Let w = 2 - m. Is w composite?
False
Suppose 2161 = c - q, 2445 = 5*c + 5*q - 8340. Is c a prime number?
False
Let b(a) = -a - 35. Let h be b(0). Let o = -16 - h. Is o a prime number?
True
Suppose -4*u = 2*f + f + 10, 8 = -4*f. Is (-84 - (0 + 3))*u a composite number?
True
Let s = -104 - -169. Let o = 101 + s. Suppose 0 = f + f - o. Is f a composite number?
False
Let h = -1535 - -2794. Is h composite?
False
Suppose 2*t - 3*t = 2. Is t/(-6)*(42 + -3) a composite number?
False
Let p(w) = 118*w. Let t be p(1). Suppose -n + t = n. Is n prime?
True
Let g(d) be the third derivative of d**5/10 - 5*d**4/24 + d**3/2 + 2*d**2. Is g(-4) a composite number?
True
Let k be -1*(2/1 - 29). Suppose 2*t - k = -1. Is t composite?
False
Let l(w) = 10*w. Let o be l(-1). Suppose 3*v - 5*c - 5 = -55, -2*c = 5*v + 73. Is ((-76)/(-6))/(o/v) a prime number?
True
Let b be ((-1136)/(-12))/((-6)/(-45)). Suppose 3*d = -5*o - 177 + b, 0 = 2*o + 5*d - 217. Is o a composite number?
True
Is ((-1035)/10 + 4)/((-4)/8) a prime number?
True
Suppose 0 = 4*h - 5 - 3. Suppose h*d = 5*d - 477. Is d prime?
False
Let x be (-15)/6*(-8)/5. Suppose -3*j = -5*j + 4, -f - x*j = -101. Is f composite?
True
Let x(z) = z**3 - 14*z**2 - 4*z - 16. Is x(15) a composite number?
False
Let h be 1 - (-4)/(4/19). Let c = -35 + h. Let w = c + 80. Is w prime?
False
Let f(r) be the first derivative of r**2/2 + 9*r - 2. Let t be f(-5). Suppose t*v + 2*w - 56 = -0*w, 2*v + 3*w - 24 = 0. Is v prime?
False
Suppose 4*t - 140 = -2*k, 6*k - k - 86 = -2*t. Let n = t + -19. Is n composite?
True
Let j(z) = z**3 + 8*z**2 + 6*z - 5. Let p be j(-7). Suppose 2*a + p*n - 467 = n, 0 = -3*a + 5*n + 694. Is a a composite number?
False
Let w be ((-4)/10)/(2/90). Let k be (48/w)/((-4)/6). Suppose -r - 2*o + 18 = -0*r, -3*o - 28 = -k*r. Is r composite?
True
Suppose -7 = 2*m - 23. Suppose -3*u + 5*u = -2*c + 30, -m = 2*c. Is u a prime number?
True
Let f be 59*1*(-4 - -5). Let p = f - 29. Suppose 5*q - 445 = -p. Is q a composite number?
False
Let u(p) be the third derivative of -7*p**4/24 - 2*p**3 - 5*p**2. Is u(-9) a composite number?
True
Let y(p) = -p - 2. Let b be y(4). Suppose 99 = -i - 2*i. Is i/2*b/9 prime?
True
Suppose -2*n = n + d - 15, -12 = -4*d. Let j be (8 - 9) + 228*2. Suppose -y - y + 231 = -5*m, -n*y + 3*m = -j. Is y composite?
False
Suppose 0*f - 30 = -5*f. Suppose -3*u + 5*s = -684, -f*u + 2*u = 2*s - 886. Is u a prime number?
True
Suppose -5*f - 51 = 3*m - 16, 0 = -2*f - 8. Is (m - -5) + (1 - -1) a prime number?
True
Let w = 984 + -575. Is w a prime number?
True
Let g = -6 + 4. Let c be 19 + -2 + (1 - 2). Let b = g + c. Is b a prime number?
False
Let w(b) = b**2 + 1. Let z(j) = 5*j**2 + 3*j + 15. Let l(q) = 6*w(q) - z(q). Is l(7) prime?
True
Let f = -261 + 496. Is f prime?
False
Let y(t) be the second derivative of 0 - 2*t + 47/2*t**2 - 1/6*t**3. Is y(0) prime?
True
Suppose -2*l = h + 3 + 2, 0 = 5*l - 4*h + 19. Is 85 + l + 0 + 3 a prime number?
False
Let m = 31 - 26. Is 2/(-5) - (-5847)/m a prime number?
False
Suppose g - 5*q = 3 + 1, -q = 4*g - 16. Suppose -2*v = 4*p + 3*v + 2, -g*p = -2*v + 16. Let n = p + 60. Is n composite?
True
Let r(s) = 2*s - 5. Let a be r(4). Is 77/a + 1/3 a prime number?
False
Is ((-1)/(4/2696))/(-4 - -2) prime?
True
Let r(b) = -b - 3*b + 5*b - 5. Let f be r(5). Is f - (-15 + 3/3) composite?
True
Let b(z) = -z**3 - 4*z**2 + z - 5. Let g be b(-4). Let w be ((-84)/g)/(4/18). Suppose 0 = 2*t - 0*t - w. Is t composite?
True
Let x(b) = -16*b**3 + 2*b**2 + 3*b. Let t be x(-2). Suppose -3*w + 58 = n - t, 187 = 3*w + 2*n. Suppose 0 = 5*p - w - 112. Is p a prime number?
False
Suppose -7*j + 13145 = -2*j. Is j prime?
False
Let s = 8 - 5. Let h be s/((-3)/(-29)) - -1. Suppose 4*b - 2*b - h = 4*z, -2*b + 44 = 3*z. Is b a prime number?
True
Let g = 6 + 1. Suppose 0 = 5*h + 17 - g. Is 1/h*-2 + 1 a prime number?
True
Let r(j) = 36*j + 5. Let m(g) = -36*g - 5. Let d(l) = 3*m(l) + 2*r(l). Let b = 5 + -11. Is d(b) a prime number?
True
Let x(w) = -w**2 - w + 2. Let m be x(-3). Is 4 + -2 + m - -337 a composite number?
True
Suppose v = 4*t + 6431, 5*v = 5*t + 427 + 7593. Let z = -377 + t. Is (12/18)/((-4)/z) a composite number?
False
Suppose 3*g = -5*a + 20, a = 4*a - 2*g - 31. Let m(y) = y**3 - 7*y**2 + 2. Let h be m(a). Suppose -24 = -2*f + j + 59, -h*f - j = -73. Is f composite?
True
Let t(k) be the third derivative of k**5/60 - k**4/24 - k**3/6 - 4*k**2. Is t(8) composite?
True
Let h(q) = 12*q - 1. Let c be h(5). Let f be (-6*1)/((-2)/(-2)). Is 4/f + c/3 a composite number?
False
Let q(d) = 2*d**2 + 5*d + 6. Let b(x) = x + 1. Let k(u) = 3*b(u) + q(u). Is k(-6) a composite number?
True
Suppose i = 59 + 74. Is i a composite number?
True
Suppose 2*q - 4*m + 807 + 239 = 0, 0 = -5*q - 4*m - 2573. Let s = -296 - q. Is s a prime number?
False
Let y = -76 + 150. Is y composite?
True
Suppose 5*p - 16343 = -4833. Is p a composite number?
True
Is 2 + (-282)/(-1 - 1) prime?
False
Suppose 5*s = r + s - 549, 2*r + 2*s - 1068 = 0. Is r a composite number?
True
Let t(c) = 770*c**2 - c - 2. Is t(-1) a composite number?
False
Let o be 12/(-6) + 1 + 2. Let p be (-22)/o - (-1 - 1). Is (-25)/(-10)*(2 - p) prime?
False
Suppose 3*p = 5*k, -2*k - 5*p = -0*k - 31. Suppose 4*s = k*c + 3 - 52, -2*s = 5*c - 73. Is c a composite number?
True
Suppose 2*x - 851 - 3495 = 0. Is x prime?
False
Let y(f) be the first derivative of f**4/4 + 13*f**3/3 - 3*f**2/2 + 12*f - 7. Is y(-13) a composite number?
True
Suppose 32 = -5*h + 42. Suppose 0 = -4*n - 0*d - 2*d + 14, -n = d - 4. Suppose -h*a - n*a = -395. Is a a composite number?
False
Suppose 5*l = -8*l + 21749. Is l a prime number?
False
Let l be 24*(-1 - (-27)/12). Is l - (4/(-4) + -2) a composite number?
True
Suppose -2*q = -83 + 265. Let x = q + 240. Is x composite?
False
Suppose 3*q - 1864 = -q. Is q composite?
True
Suppose -7 - 1 = -4*m. Suppose -4*p - 3 = 3*a + 1, p + 6 = -m*a. Is ((-35)/(-2))/(1/p) composite?
True
Let f(t) be the second derivative of t**3/3 - 5*t**2/2 + 3*t. Is f(6) prime?
True
Suppose k - 6*a = -2*a + 250, 0 = -3*a. Let g = k - 161. Let y = -64 + g. Is y prime?
False
Suppose -2*f = -5*h - 5*f + 2647, 2*h + 4*f - 1070 = 0. Is h prime?
False
Let s(l) = l**2 + l. Let o(t) = -t**2 - t - 13. Let k(a) = o(a) + 2*s(a). Suppose 3*c + 0*c + 30 = 0. Is k(c) composite?
True
Let w = 101 + -41. Suppose -w = -3*m + 117. Suppose 2 = -j + 3*j, 4*j - m = -5*y. Is y prime?
True
Let r = -4 + 1. Is -339*(3 - (-10)/r) a prime number?
True
Suppose 5*s + 19 = -2*k - 12, 0 = -2*k - s - 51. Let w = k + 66. Is w a prime number?
False
Let w be (-2)/(-4) - (-710)/(-4). Let j = -100 - w. Is j composite?
True
Suppose -2*r - 2*o = 11 - 75, r - 27 = 4*o. Is r composite?
False
Let c(r) = 6*r**2 - 9*r - 2. Is c(5) composite?
False
Suppose -5*h + 4*h + 89 = 0. Is h a prime number?
True
Let m(n) = 5*n + 66. Is m(-11) composite?
False
Let x = 10 + -14. Let q(n) = n + 5. Let m be q(x). Suppose m = j - 6. Is j a composite number?
False
Let q = 14 + -9. Let l(p) = -p + 6. Let a be l(q). Suppose 5*z = 4*y + a, -z - 14 + 1 = -3*y. Is y prime?
False
Suppose 0 = -l - 3*j - 4, -6 = -3*l + j + 2. Suppose 392 - 152 = l*p. Suppose 4*d - p = 20. Is d a composite number?
True
Let o = 5 + -6. Is 99/4 + o/(-4) composite?
True
Suppose -3*i - 15 = -408. Is i a prime number?
True
Let j be 0*(0 - 1) + 3. Suppose -j*a = -15, 5*g - 3*a - 115 = -0*a. Is g a composite number?
True
Let j(s) = 44*s + 6 - 9 + 2. Is j(2) composite?
True
Let p(i) = -i**3 + 5*i**2 + 9*i + 4. Is p(-9) a prime number?
False
Let m(z) = z**2 + 9*z + 17. Is m(-14) composite?
True
Is 4 + 385 + (1 - 0) + 1 a prime number?
False
Let v be (8 + 0)*2/4. Let f(w) = -2*w**2 - w - 2 + 4*w**3 + 1 + v*w**3. Is f(2) a composite number?
False
Let p be (-6)/9*(-111)/2. Let a = 71 - p. Is a a composite number?
True
Let f = 8125 + -4766. Is f a composite number?
False
Suppose -4*f - 1 + 28 = 5*b, 0 = 4*b - f - 30. Is b a prime number?
True
Let s = 679 - -378. Is s a prime number?
False
Let k be (-2 - 15)*-15 - 3. Suppose 0 = l - 5*l