 = 956 - 325. Is j prime?
True
Suppose -4*n = -y - 20, -5 = -5*y - 0*n - n. Let w(a) = -a**3 + y*a**2 + a**2 - 7 + 5*a**2 + a. Is w(5) composite?
False
Suppose 0 = p + 5 - 36. Let l = 18 - p. Let k = l - -27. Is k prime?
False
Is (2/(-1))/((-2)/557) composite?
False
Suppose -50*c + 69933 = -47*c. Is c composite?
False
Let j(f) = 8*f - 1. Let h(v) = 1. Let s(i) = 2*h(i) - j(i). Is s(-5) a composite number?
False
Is (-4)/2*8657/(-22) a prime number?
True
Let w(v) = 4*v - 17. Let n(y) = 2*y - 9. Suppose 0 = -b + 2*b - 3. Let a(h) = b*w(h) - 5*n(h). Is a(6) composite?
True
Let c(i) = -2*i + 12. Let o be c(8). Is (-6528)/(-10) + o/(-20) composite?
False
Suppose 3*k = -4*z + 1950, 4*z - 5*k = 709 + 1225. Suppose 3*s - z = 1203. Is s a composite number?
False
Suppose 0 = 3*u - 4 - 2. Suppose 4 = -4*q, 7*j - u*j = -q + 284. Is j a prime number?
False
Let a(x) = 3*x - 5. Let m be a(4). Let n(q) = 3*q**2 - 8*q - 2. Let r(j) = -3*j**2 + 8*j + 1. Let w(v) = -5*n(v) - 6*r(v). Is w(m) composite?
True
Let l(v) = -v**2 - 15*v + 23. Is l(-12) a composite number?
False
Let q = 998 + -663. Suppose 6*u = u + q. Is u composite?
False
Let q(n) = 2*n**3 - 3*n**2 - 7*n + 9. Is q(6) prime?
False
Let r(h) = -2 + 5 - 5 - 1 + 62*h. Is r(2) a prime number?
False
Suppose 2*u + 24 = 726. Suppose 0 = 2*h - 2*d - 516, -4*h - d - u + 1408 = 0. Is h prime?
True
Let w = -216 + 146. Let x = -3 - w. Is x a composite number?
False
Is 0 - (-2 + -1 + -1046) a composite number?
False
Suppose 5*u - 158 = 847. Suppose -y = 2*y - u. Is y prime?
True
Suppose 7*i + i - 27928 = 0. Is i a prime number?
True
Let s = 614 + -261. Is s composite?
False
Suppose -6 = -0*a + 3*a, 5*a - 2 = -3*q. Let l(z) = z**3 - 4*z**2 - z + 3. Let k be l(q). Is (-1)/(k*3/57) a composite number?
False
Suppose -4*h + 2*y - 4 = 0, 4*h - 4*y = -y - 8. Is h - 2 - -11 - 3 a prime number?
True
Suppose 2*k + 3*w + 192 = 5*k, -2*w = -4*k + 262. Is k prime?
True
Suppose -4*n + n + 12 = 0. Suppose 0 = -3*j + 2*z + 151, -n*z + 25 = j - 44. Suppose -3*i + 2*i + j = 0. Is i a composite number?
False
Let q be (-28)/(-12) - (-2)/3. Suppose 4 - 19 = -q*v. Suppose p - v*p = -92. Is p composite?
False
Is (-122 - 4)/(-6) - -2 composite?
False
Let p(o) = -82*o + 3. Let j be p(-3). Suppose -3*m + j = 39. Is (-1 + -1)/((-4)/m) composite?
True
Let h(w) = -22*w - 95. Is h(-6) prime?
True
Is (-2)/4 + (-1030)/(-4) a prime number?
True
Suppose 0 = h - 5*h + 656. Let z = 275 - h. Suppose -l + 0*l + z = 0. Is l composite?
True
Suppose 4*a - 14 + 2 = -4*v, -2*v + a + 12 = 0. Suppose r + 5*o = 66, v*r - 3*o - 465 = -o. Is r prime?
False
Let i = -2837 - -5050. Is i a prime number?
True
Let n = 380 + -33. Is n composite?
False
Let f = -317 + 764. Is f composite?
True
Let q(m) = 318*m. Let g be q(1). Suppose -4*x = -h - g, 0*x + 2*h = -2*x + 154. Is x a composite number?
False
Suppose g + 15 = 5*t, -4 = 2*t + 2*g + 2. Suppose 2*m = -t, 2*n - n - 3 = m. Suppose -2 = -n*q + 4*q, 5*d = 4*q + 129. Is d a prime number?
False
Let t(a) = -11*a + 2. Let u(y) = -11*y + 3. Let s(j) = -6*t(j) + 5*u(j). Let z(q) = 17*q + 4. Let i(b) = 8*s(b) - 5*z(b). Is i(5) a composite number?
False
Suppose -2 = -0*p - p, -4*v - 3*p + 62 = 0. Suppose 6 = 5*r - v. Suppose r*c = 3*c + 34. Is c prime?
False
Suppose -4*t + 5*t = 3. Suppose t*j = 3*z + 53 + 31, -30 = -j - z. Suppose -3*k + 3*c = c - j, -5*c - 41 = -4*k. Is k prime?
False
Let x be ((-12)/10)/((-6)/15). Let d(c) = -c**3 - 4*c - c**2 - c**2 + 1 + 0*c**x. Is d(-3) composite?
True
Let p(a) be the first derivative of -a**4/4 + 2*a**3 + 4*a + 2. Let h be p(4). Is h - 3/(-1)*-1 composite?
True
Let n(c) = 35*c**2 + 2*c + 1. Suppose 2*m - 2 + 0 = 0. Let r be (m/(-2))/((-4)/(-8)). Is n(r) a composite number?
True
Let m be (-721)/(-28) - 2/(-8). Suppose 0 = j - m - 85. Is j a composite number?
True
Is 1441/(3*5/15) a composite number?
True
Suppose -3*y - 2801 = -3*i - 644, y - 723 = -i. Is i prime?
False
Suppose -a = -0*a - 122. Let d = a - 17. Suppose -v - 3*n - 2*n + 47 = 0, 3*v - 3*n = d. Is v prime?
True
Is 2*2/((-16)/(-820)) prime?
False
Suppose -2*w + 6*w = 8. Let p be ((-6)/(-5))/(w/5). Suppose 0 = -p*j - q + 164, -3*q = 4*j - 0*q - 227. Is j a composite number?
False
Is 0/15 + -2 + 213 composite?
False
Let k be 1 + 11 + (0 - 0). Suppose -4*h + k = -28. Is h a composite number?
True
Let d = -162 + 425. Is d a prime number?
True
Let y = -70 - -1291. Suppose -l = -4*l + y. Is l prime?
False
Let p = 214 + -75. Is p a composite number?
False
Let d(j) be the first derivative of -9*j**4/4 - j**3/3 + 3*j + 1. Is d(-3) a prime number?
False
Let t(p) = 7*p - 10. Is t(11) composite?
False
Let q(w) = w + 11. Let z be q(-9). Suppose -4*t + 16 = 0, -l - z*t = -0*t - 3. Is 10*(-3 - l)/2 a prime number?
False
Let n be (-3 + 1)*(-24)/16. Is (-33)/(-2)*10/n a composite number?
True
Let k(f) = f**2 - 8*f + 5. Let l be ((-14)/8)/((-1)/4). Let b be k(l). Is (-3 + 2)*b - -35 a prime number?
True
Suppose j + 0*q + 65 = -3*q, 4*j + 215 = 3*q. Let a = j - -113. Is a a composite number?
True
Suppose -6*w + 11*w - 5585 = 0. Is w a composite number?
False
Suppose -5*s = 2*k - 445, 4*s = -5*k + s + 1084. Is k composite?
True
Let a(n) = 13*n + 3. Suppose 0 = 2*w + 3*w + c - 63, 4*c = 12. Is a(w) prime?
False
Let o = 23 + 71. Is o a composite number?
True
Let z(k) = -90*k - 3. Let b = 6 + -8. Is z(b) a composite number?
True
Suppose 5*n = -j + 80 + 74, 4*j + 5*n = 571. Is j a prime number?
True
Let h(u) be the third derivative of 1/8*u**4 - 2*u**2 + 0 - 1/2*u**3 + 0*u + 1/30*u**5 + 13/120*u**6. Is h(2) a composite number?
True
Let a = 19 - 25. Let h(b) be the first derivative of -b**4/2 - 3*b**3 - b**2 - b + 1. Is h(a) a composite number?
True
Let n(t) = 19*t - 1. Is n(2) prime?
True
Let x = 2 + 1. Suppose x*a + 4*k - 20 = 11, 4*a + k = 37. Suppose 0 = -2*z - 3 + a. Is z prime?
True
Suppose -k - o + 898 = -0*k, 3*k - 5*o = 2670. Is k a composite number?
True
Suppose 2*b - 86 = 5*a - a, 5*b - 3*a - 201 = 0. Let m = 20 + b. Is m prime?
True
Suppose 0 = -l - 2*l + 21. Let m = l + -2. Suppose m*c + 25 = 320. Is c prime?
True
Let v = -3 - -4. Let n = -1 + v. Suppose n = -0*k + k - 85. Is k prime?
False
Let s(k) = -k**3 - 4*k**2 - 4*k + 2. Let y be s(-6). Suppose -5*j + y = -3*j. Is j prime?
False
Let c(n) = 4*n**2 + 2*n. Let z be c(2). Suppose 36 = 5*m + 4*u, 2*u - z = 2*m - 5*m. Suppose r + 3*t - 176 = -0*t, m*t = -r + 171. Is r prime?
True
Is (-4)/22 + 136626/154 composite?
False
Is 2150/12 + -2*3/36 a composite number?
False
Suppose -3*l = t - 26, -5*l = 4*t - t - 74. Let o = 38 - t. Suppose 47 = 2*g - o. Is g a composite number?
False
Suppose j = 2*z - 3 + 1, 2*j + 4 = -3*z. Suppose 2*h = 2*b - h - 11, 2*b - h = 5. Is (z + -1)/(b/(-115)) a composite number?
True
Let w = -1 - -2. Suppose n + 2*a - 4 = -2*n, 5*a + w = -2*n. Suppose 0 = -5*x + 4*g + g + 40, n*x = 5*g + 1. Is x composite?
False
Let q(v) = 3*v + 5. Let n be q(5). Suppose n = 3*l - 91. Is l a prime number?
True
Suppose 474 = 3*o - 237. Suppose 42 + o = 3*i. Is i a prime number?
False
Let b(n) = 90*n - 1. Let k(x) = x**2 - 2*x - 4. Let g be k(4). Let u = g - 3. Is b(u) a prime number?
True
Let j = 2 - -30. Let p = j + -1. Is p composite?
False
Let z = -23 + 18. Let y = z + 12. Is y composite?
False
Suppose 0 = -3*t + 3*f - 0*f + 6, 5*f = 2*t + 8. Let w(n) = -n**3 + 9*n**2 - 3*n + 7. Is w(t) a prime number?
True
Let m(d) = 5*d**2 + 2*d + 4. Let n be m(3). Suppose -x + i + 21 + n = 0, 2*i = -4*x + 298. Let g = 128 - x. Is g a prime number?
True
Is (1 - -540)/(2 - 1) prime?
True
Let d = -9 - -15. Suppose -3*g = -d*g + 9. Suppose 2*l - 317 = b, -619 = -4*l - 0*l - g*b. Is l prime?
True
Let y(d) = 14*d**3 + 3*d + 1. Let j = 1 - 3. Let a be y(j). Let l = a + 170. Is l a prime number?
True
Let w be ((-6)/4)/(3/(-4)). Let k be 2/w*(0 + -59). Is k/(-3) + (-8)/12 a composite number?
False
Suppose -5*b + 53 = -352. Let o = 114 - b. Is o composite?
True
Suppose -197 = -4*s + 15. Is s prime?
True
Suppose 0 = -q + 2, 3*p - 6 = -p - 3*q. Suppose p = x + x - 184. Suppose r + r = x. Is r composite?
True
Suppose -a + c + c = -2, 3*a - 38 = -2*c. Is a prime?
False
Let a(w) = 3*w**2 - w**3 - 12*w**2 + 7 + 16*w - 27*w. Suppose 5*u + 40 = -h, 0*h - 2*h + 8 = -u. Is a(u) a composite number?
False
Suppose 